[{"oa":1,"language":[{"iso":"eng"}],"citation":{"ama":"Zhechev SY. Algorithmic aspects of homotopy theory and embeddability. 2019. doi:<a href=\"https://doi.org/10.15479/AT:ISTA:6681\">10.15479/AT:ISTA:6681</a>","short":"S.Y. Zhechev, Algorithmic Aspects of Homotopy Theory and Embeddability, Institute of Science and Technology Austria, 2019.","ieee":"S. Y. Zhechev, “Algorithmic aspects of homotopy theory and embeddability,” Institute of Science and Technology Austria, 2019.","chicago":"Zhechev, Stephan Y. “Algorithmic Aspects of Homotopy Theory and Embeddability.” Institute of Science and Technology Austria, 2019. <a href=\"https://doi.org/10.15479/AT:ISTA:6681\">https://doi.org/10.15479/AT:ISTA:6681</a>.","ista":"Zhechev SY. 2019. Algorithmic aspects of homotopy theory and embeddability. Institute of Science and Technology Austria.","mla":"Zhechev, Stephan Y. <i>Algorithmic Aspects of Homotopy Theory and Embeddability</i>. Institute of Science and Technology Austria, 2019, doi:<a href=\"https://doi.org/10.15479/AT:ISTA:6681\">10.15479/AT:ISTA:6681</a>.","apa":"Zhechev, S. Y. (2019). <i>Algorithmic aspects of homotopy theory and embeddability</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/AT:ISTA:6681\">https://doi.org/10.15479/AT:ISTA:6681</a>"},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","supervisor":[{"orcid":"0000-0002-1494-0568","first_name":"Uli","last_name":"Wagner","full_name":"Wagner, Uli","id":"36690CA2-F248-11E8-B48F-1D18A9856A87"}],"month":"08","department":[{"_id":"UlWa"}],"file":[{"relation":"main_file","checksum":"3231e7cbfca3b5687366f84f0a57a0c0","file_name":"Stephan_Zhechev_thesis.pdf","content_type":"application/pdf","access_level":"open_access","file_id":"6771","file_size":1464227,"date_created":"2019-08-07T13:02:50Z","date_updated":"2020-07-14T12:47:37Z","creator":"szhechev"},{"file_size":303988,"date_created":"2019-08-07T13:03:22Z","date_updated":"2020-07-14T12:47:37Z","creator":"szhechev","file_id":"6772","file_name":"Stephan_Zhechev_thesis.tex","content_type":"application/octet-stream","access_level":"closed","relation":"source_file","checksum":"85d65eb27b4377a9e332ee37a70f08b6"},{"file_id":"6773","creator":"szhechev","date_updated":"2020-07-14T12:47:37Z","file_size":1087004,"date_created":"2019-08-07T13:03:34Z","checksum":"86b374d264ca2dd53e712728e253ee75","relation":"supplementary_material","access_level":"closed","content_type":"application/zip","file_name":"supplementary_material.zip"}],"has_accepted_license":"1","abstract":[{"lang":"eng","text":"The first part of the thesis considers the computational aspects of the homotopy groups πd(X) of a topological space X. It is well known that there is no algorithm to decide whether the fundamental group π1(X) of a given finite simplicial complex X is trivial. On the other hand, there are several algorithms that, given a finite simplicial complex X that is simply connected (i.e., with π1(X) trivial), compute the higher homotopy group πd(X) for any given d ≥ 2.\r\nHowever, these algorithms come with a caveat: They compute the isomorphism type of πd(X), d ≥ 2 as an abstract finitely generated abelian group given by generators and relations, but they work with very implicit representations of the elements of πd(X). We present an algorithm that, given a simply connected space X, computes πd(X) and represents its elements as simplicial maps from suitable triangulations of the d-sphere Sd to X. For fixed d, the algorithm runs in time exponential in size(X), the number of simplices of X. Moreover, we prove that this is optimal: For every fixed d ≥ 2,\r\nwe construct a family of simply connected spaces X such that for any simplicial map representing a generator of πd(X), the size of the triangulation of S d on which the map is defined, is exponential in size(X).\r\nIn the second part of the thesis, we prove that the following question is algorithmically undecidable for d < ⌊3(k+1)/2⌋, k ≥ 5 and (k, d) ̸= (5, 7), which covers essentially everything outside the meta-stable range: Given a finite simplicial complex K of dimension k, decide whether there exists a piecewise-linear (i.e., linear on an arbitrarily fine subdivision of K) embedding f : K ↪→ Rd of K into a d-dimensional Euclidean space."}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"file_date_updated":"2020-07-14T12:47:37Z","publication_status":"published","publication_identifier":{"issn":["2663-337X"]},"day":"08","author":[{"first_name":"Stephan Y","id":"3AA52972-F248-11E8-B48F-1D18A9856A87","full_name":"Zhechev, Stephan Y","last_name":"Zhechev"}],"oa_version":"Published Version","title":"Algorithmic aspects of homotopy theory and embeddability","date_created":"2019-07-26T11:14:34Z","degree_awarded":"PhD","status":"public","date_published":"2019-08-08T00:00:00Z","year":"2019","related_material":{"record":[{"id":"6774","relation":"part_of_dissertation","status":"public"}]},"page":"104","ddc":["514"],"article_processing_charge":"No","alternative_title":["ISTA Thesis"],"doi":"10.15479/AT:ISTA:6681","publisher":"Institute of Science and Technology Austria","_id":"6681","date_updated":"2023-09-07T13:10:36Z","type":"dissertation"},{"month":"06","department":[{"_id":"BeVi"}],"oa":1,"language":[{"iso":"eng"}],"issue":"7","citation":{"ieee":"G. Cossard, M. A. Toups, and J. Pannell, “Sexual dimorphism and rapid turnover in gene expression in pre-reproductive seedlings of a dioecious herb,” <i>Annals of botany</i>, vol. 123, no. 7. Oxford University Press, pp. 1119–1131, 2019.","short":"G. Cossard, M.A. Toups, J. Pannell, Annals of Botany 123 (2019) 1119–1131.","ama":"Cossard G, Toups MA, Pannell J. Sexual dimorphism and rapid turnover in gene expression in pre-reproductive seedlings of a dioecious herb. <i>Annals of botany</i>. 2019;123(7):1119-1131. doi:<a href=\"https://doi.org/10.1093/aob/mcy183\">10.1093/aob/mcy183</a>","apa":"Cossard, G., Toups, M. A., &#38; Pannell, J. (2019). Sexual dimorphism and rapid turnover in gene expression in pre-reproductive seedlings of a dioecious herb. <i>Annals of Botany</i>. Oxford University Press. <a href=\"https://doi.org/10.1093/aob/mcy183\">https://doi.org/10.1093/aob/mcy183</a>","mla":"Cossard, Guillaume, et al. “Sexual Dimorphism and Rapid Turnover in Gene Expression in Pre-Reproductive Seedlings of a Dioecious Herb.” <i>Annals of Botany</i>, vol. 123, no. 7, Oxford University Press, 2019, pp. 1119–31, doi:<a href=\"https://doi.org/10.1093/aob/mcy183\">10.1093/aob/mcy183</a>.","ista":"Cossard G, Toups MA, Pannell J. 2019. Sexual dimorphism and rapid turnover in gene expression in pre-reproductive seedlings of a dioecious herb. Annals of botany. 123(7), 1119–1131.","chicago":"Cossard, Guillaume, Melissa A Toups, and John  Pannell. “Sexual Dimorphism and Rapid Turnover in Gene Expression in Pre-Reproductive Seedlings of a Dioecious Herb.” <i>Annals of Botany</i>. Oxford University Press, 2019. <a href=\"https://doi.org/10.1093/aob/mcy183\">https://doi.org/10.1093/aob/mcy183</a>."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","author":[{"last_name":"Cossard","full_name":"Cossard, Guillaume","first_name":"Guillaume"},{"orcid":"0000-0002-9752-7380","first_name":"Melissa A","full_name":"Toups, Melissa A","id":"4E099E4E-F248-11E8-B48F-1D18A9856A87","last_name":"Toups"},{"first_name":"John ","last_name":"Pannell","full_name":"Pannell, John "}],"scopus_import":"1","day":"04","oa_version":"Published Version","title":"Sexual dimorphism and rapid turnover in gene expression in pre-reproductive seedlings of a dioecious herb","volume":123,"article_type":"original","date_created":"2019-07-28T21:59:15Z","abstract":[{"text":"Sexual dimorphism in morphology, physiology or life history traits is common in dioecious plants at reproductive maturity, but it is typically inconspicuous or absent in juveniles. Although plants of different sexes probably begin to diverge in gene expression both before their reproduction commences and before dimorphism becomes readily apparent, to our knowledge transcriptome-wide differential gene expression has yet to be demonstrated for any angiosperm species.","lang":"eng"}],"intvolume":"       123","publication_identifier":{"eissn":["1095-8290"],"issn":["0305-7364"]},"publication_status":"published","year":"2019","isi":1,"external_id":{"pmid":["30289430"],"isi":["000493043500004"]},"publication":"Annals of botany","status":"public","pmid":1,"date_published":"2019-06-04T00:00:00Z","doi":"10.1093/aob/mcy183","article_processing_charge":"No","publisher":"Oxford University Press","date_updated":"2023-08-29T06:42:22Z","_id":"6710","type":"journal_article","page":"1119-1131","main_file_link":[{"url":"https://doi.org/10.1093/aob/mcy183","open_access":"1"}],"quality_controlled":"1"},{"publication":"eLife","status":"public","pmid":1,"date_published":"2019-06-06T00:00:00Z","year":"2019","isi":1,"external_id":{"pmid":["31169497"],"isi":["000473588700001"]},"related_material":{"record":[{"id":"9804","relation":"research_data","status":"public"},{"status":"public","relation":"dissertation_contains","id":"11388"}]},"ddc":["576"],"quality_controlled":"1","doi":"10.7554/eLife.42014","article_processing_charge":"No","publisher":"eLife Sciences Publications","date_updated":"2024-03-25T23:30:11Z","_id":"6713","type":"journal_article","oa":1,"language":[{"iso":"eng"}],"citation":{"ama":"Castro JP, Yancoskie MN, Marchini M, et al. An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice. <i>eLife</i>. 2019;8. doi:<a href=\"https://doi.org/10.7554/eLife.42014\">10.7554/eLife.42014</a>","short":"J.P. Castro, M.N. Yancoskie, M. Marchini, S. Belohlavy, L. Hiramatsu, M. Kučka, W.H. Beluch, R. Naumann, I. Skuplik, J. Cobb, N.H. Barton, C. Rolian, Y.F. Chan, ELife 8 (2019).","ieee":"J. P. Castro <i>et al.</i>, “An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice,” <i>eLife</i>, vol. 8. eLife Sciences Publications, 2019.","chicago":"Castro, João Pl, Michelle N. Yancoskie, Marta Marchini, Stefanie Belohlavy, Layla Hiramatsu, Marek Kučka, William H. Beluch, et al. “An Integrative Genomic Analysis of the Longshanks Selection Experiment for Longer Limbs in Mice.” <i>ELife</i>. eLife Sciences Publications, 2019. <a href=\"https://doi.org/10.7554/eLife.42014\">https://doi.org/10.7554/eLife.42014</a>.","ista":"Castro JP, Yancoskie MN, Marchini M, Belohlavy S, Hiramatsu L, Kučka M, Beluch WH, Naumann R, Skuplik I, Cobb J, Barton NH, Rolian C, Chan YF. 2019. An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice. eLife. 8, e42014.","mla":"Castro, João Pl, et al. “An Integrative Genomic Analysis of the Longshanks Selection Experiment for Longer Limbs in Mice.” <i>ELife</i>, vol. 8, e42014, eLife Sciences Publications, 2019, doi:<a href=\"https://doi.org/10.7554/eLife.42014\">10.7554/eLife.42014</a>.","apa":"Castro, J. P., Yancoskie, M. N., Marchini, M., Belohlavy, S., Hiramatsu, L., Kučka, M., … Chan, Y. F. (2019). An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice. <i>ELife</i>. eLife Sciences Publications. <a href=\"https://doi.org/10.7554/eLife.42014\">https://doi.org/10.7554/eLife.42014</a>"},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","month":"06","department":[{"_id":"NiBa"}],"file":[{"access_level":"open_access","content_type":"application/pdf","file_name":"2019_eLife_Castro.pdf","checksum":"fa0936fe58f0d9e3f8e75038570e5a17","relation":"main_file","creator":"apreinsp","date_updated":"2020-07-14T12:47:38Z","date_created":"2019-07-29T07:41:18Z","file_size":6748249,"file_id":"6721"}],"article_number":"e42014","has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"intvolume":"         8","abstract":[{"text":"Evolutionary studies are often limited by missing data that are critical to understanding the history of selection. Selection experiments, which reproduce rapid evolution under controlled conditions, are excellent tools to study how genomes evolve under selection. Here we present a genomic dissection of the Longshanks selection experiment, in which mice were selectively bred over 20 generations for longer tibiae relative to body mass, resulting in 13% longer tibiae in two replicates. We synthesized evolutionary theory, genome sequences and molecular genetics to understand the selection response and found that it involved both polygenic adaptation and discrete loci of major effect, with the strongest loci tending to be selected in parallel between replicates. We show that selection may favor de-repression of bone growth through inactivating two limb enhancers of an inhibitor, Nkx3-2. Our integrative genomic analyses thus show that it is possible to connect individual base-pair changes to the overall selection response.","lang":"eng"}],"publication_status":"published","file_date_updated":"2020-07-14T12:47:38Z","author":[{"last_name":"Castro","full_name":"Castro, João Pl","first_name":"João Pl"},{"first_name":"Michelle N.","full_name":"Yancoskie, Michelle N.","last_name":"Yancoskie"},{"full_name":"Marchini, Marta","last_name":"Marchini","first_name":"Marta"},{"full_name":"Belohlavy, Stefanie","id":"43FE426A-F248-11E8-B48F-1D18A9856A87","last_name":"Belohlavy","first_name":"Stefanie","orcid":"0000-0002-9849-498X"},{"last_name":"Hiramatsu","full_name":"Hiramatsu, Layla","first_name":"Layla"},{"first_name":"Marek","full_name":"Kučka, Marek","last_name":"Kučka"},{"full_name":"Beluch, William H.","last_name":"Beluch","first_name":"William H."},{"first_name":"Ronald","last_name":"Naumann","full_name":"Naumann, Ronald"},{"first_name":"Isabella","last_name":"Skuplik","full_name":"Skuplik, Isabella"},{"first_name":"John","full_name":"Cobb, John","last_name":"Cobb"},{"first_name":"Nicholas H","orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","last_name":"Barton"},{"first_name":"Campbell","last_name":"Rolian","full_name":"Rolian, Campbell"},{"last_name":"Chan","full_name":"Chan, Yingguang Frank","first_name":"Yingguang Frank"}],"scopus_import":"1","day":"06","oa_version":"Published Version","title":"An integrative genomic analysis of the Longshanks selection experiment for longer limbs in mice","volume":8,"date_created":"2019-07-28T21:59:17Z"},{"department":[{"_id":"CaGu"}],"file":[{"checksum":"317a06067e9a8e717bb55f23e0d77ba7","relation":"main_file","content_type":"application/pdf","access_level":"open_access","file_name":"2019_Frontiers_Igler.pdf","file_id":"6722","creator":"apreinsp","date_updated":"2020-07-14T12:47:38Z","file_size":246151,"date_created":"2019-07-29T07:51:54Z"}],"article_number":"1171","month":"06","citation":{"ista":"Igler C, Abedon ST. 2019. Commentary: A host-produced quorum-sensing autoinducer controls a phage lysis-lysogeny decision. Frontiers in Microbiology. 10, 1171.","chicago":"Igler, Claudia, and Stephen T. Abedon. “Commentary: A Host-Produced Quorum-Sensing Autoinducer Controls a Phage Lysis-Lysogeny Decision.” <i>Frontiers in Microbiology</i>. Frontiers, 2019. <a href=\"https://doi.org/10.3389/fmicb.2019.01171\">https://doi.org/10.3389/fmicb.2019.01171</a>.","apa":"Igler, C., &#38; Abedon, S. T. (2019). Commentary: A host-produced quorum-sensing autoinducer controls a phage lysis-lysogeny decision. <i>Frontiers in Microbiology</i>. Frontiers. <a href=\"https://doi.org/10.3389/fmicb.2019.01171\">https://doi.org/10.3389/fmicb.2019.01171</a>","mla":"Igler, Claudia, and Stephen T. Abedon. “Commentary: A Host-Produced Quorum-Sensing Autoinducer Controls a Phage Lysis-Lysogeny Decision.” <i>Frontiers in Microbiology</i>, vol. 10, 1171, Frontiers, 2019, doi:<a href=\"https://doi.org/10.3389/fmicb.2019.01171\">10.3389/fmicb.2019.01171</a>.","ama":"Igler C, Abedon ST. Commentary: A host-produced quorum-sensing autoinducer controls a phage lysis-lysogeny decision. <i>Frontiers in Microbiology</i>. 2019;10. doi:<a href=\"https://doi.org/10.3389/fmicb.2019.01171\">10.3389/fmicb.2019.01171</a>","ieee":"C. Igler and S. T. Abedon, “Commentary: A host-produced quorum-sensing autoinducer controls a phage lysis-lysogeny decision,” <i>Frontiers in Microbiology</i>, vol. 10. Frontiers, 2019.","short":"C. Igler, S.T. Abedon, Frontiers in Microbiology 10 (2019)."},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa":1,"language":[{"iso":"eng"}],"volume":10,"date_created":"2019-07-28T21:59:18Z","day":"03","scopus_import":"1","author":[{"first_name":"Claudia","id":"46613666-F248-11E8-B48F-1D18A9856A87","full_name":"Igler, Claudia","last_name":"Igler"},{"full_name":"Abedon, Stephen T.","last_name":"Abedon","first_name":"Stephen T."}],"oa_version":"Published Version","title":"Commentary: A host-produced quorum-sensing autoinducer controls a phage lysis-lysogeny decision","file_date_updated":"2020-07-14T12:47:38Z","publication_status":"published","has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"intvolume":"        10","abstract":[{"lang":"eng","text":"With the recent publication by Silpe and Bassler (2019), considering phage detection of a bacterial quorum-sensing (QS) autoinducer, we now have as many as five examples of phage-associated intercellular communication (Table 1). Each potentially involves ecological inferences by phages as to concentrations of surrounding phage-infected or uninfected bacteria. While the utility of phage detection of bacterial QS molecules may at first glance appear to be straightforward, we suggest in this commentary that the underlying ecological explanation is unlikely to be simple."}],"isi":1,"year":"2019","external_id":{"isi":["000470131200001"]},"date_published":"2019-06-03T00:00:00Z","publication":"Frontiers in Microbiology","status":"public","project":[{"_id":"251EE76E-B435-11E9-9278-68D0E5697425","grant_number":"24573","name":"Design principles underlying genetic switch architecture (DOC Fellowship)"}],"_id":"6717","date_updated":"2023-08-29T06:41:20Z","type":"journal_article","article_processing_charge":"Yes (via OA deal)","doi":"10.3389/fmicb.2019.01171","publisher":"Frontiers","quality_controlled":"1","ddc":["570"]},{"quality_controlled":"1","ddc":["000"],"page":"77:1-77:12","type":"conference","_id":"6725","date_updated":"2021-01-12T08:08:40Z","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","alternative_title":["LIPIcs"],"doi":"10.4230/LIPICS.ICALP.2019.77","conference":{"location":"Patras, Greece","end_date":"2019-07-12","start_date":"2019-07-08","name":"ICALP 2019: International Colloquim on Automata, Languages and Programming"},"date_published":"2019-07-01T00:00:00Z","ec_funded":1,"publication":"46th International Colloquium on Automata, Languages and Programming","status":"public","project":[{"_id":"25FBA906-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"616160","name":"Discrete Optimization in Computer Vision: Theory and Practice"}],"external_id":{"arxiv":["1803.02289"]},"year":"2019","file_date_updated":"2020-07-14T12:47:38Z","publication_status":"published","publication_identifier":{"issn":["1868-8969"],"isbn":["978-3-95977-109-2"]},"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"intvolume":"       132","abstract":[{"lang":"eng","text":"A Valued Constraint Satisfaction Problem (VCSP) provides a common framework that can express a wide range of discrete optimization problems. A VCSP instance is given by a finite set of variables, a finite domain of labels, and an objective function to be minimized. This function is represented as a sum of terms where each term depends on a subset of the variables. To obtain different classes of optimization problems, one can restrict all terms to come from a fixed set Γ of cost functions, called a language. \r\nRecent breakthrough results have established a complete complexity classification of such classes with respect to language Γ: if all cost functions in Γ satisfy a certain algebraic condition then all Γ-instances can be solved in polynomial time, otherwise the problem is NP-hard. Unfortunately, testing this condition for a given language Γ is known to be NP-hard. We thus study exponential algorithms for this meta-problem. We show that the tractability condition of a finite-valued language Γ can be tested in O(3‾√3|D|⋅poly(size(Γ))) time, where D is the domain of Γ and poly(⋅) is some fixed polynomial. We also obtain a matching lower bound under the Strong Exponential Time Hypothesis (SETH). More precisely, we prove that for any constant δ<1 there is no O(3‾√3δ|D|) algorithm, assuming that SETH holds."}],"has_accepted_license":"1","date_created":"2019-07-29T12:23:29Z","volume":132,"oa_version":"Published Version","title":"Testing the complexity of a valued CSP language","scopus_import":1,"day":"01","author":[{"first_name":"Vladimir","id":"3D50B0BA-F248-11E8-B48F-1D18A9856A87","full_name":"Kolmogorov, Vladimir","last_name":"Kolmogorov"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"ieee":"V. Kolmogorov, “Testing the complexity of a valued CSP language,” in <i>46th International Colloquium on Automata, Languages and Programming</i>, Patras, Greece, 2019, vol. 132, p. 77:1-77:12.","short":"V. Kolmogorov, in:, 46th International Colloquium on Automata, Languages and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 77:1-77:12.","ama":"Kolmogorov V. Testing the complexity of a valued CSP language. In: <i>46th International Colloquium on Automata, Languages and Programming</i>. Vol 132. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2019:77:1-77:12. doi:<a href=\"https://doi.org/10.4230/LIPICS.ICALP.2019.77\">10.4230/LIPICS.ICALP.2019.77</a>","apa":"Kolmogorov, V. (2019). Testing the complexity of a valued CSP language. In <i>46th International Colloquium on Automata, Languages and Programming</i> (Vol. 132, p. 77:1-77:12). Patras, Greece: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPICS.ICALP.2019.77\">https://doi.org/10.4230/LIPICS.ICALP.2019.77</a>","mla":"Kolmogorov, Vladimir. “Testing the Complexity of a Valued CSP Language.” <i>46th International Colloquium on Automata, Languages and Programming</i>, vol. 132, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019, p. 77:1-77:12, doi:<a href=\"https://doi.org/10.4230/LIPICS.ICALP.2019.77\">10.4230/LIPICS.ICALP.2019.77</a>.","chicago":"Kolmogorov, Vladimir. “Testing the Complexity of a Valued CSP Language.” In <i>46th International Colloquium on Automata, Languages and Programming</i>, 132:77:1-77:12. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2019. <a href=\"https://doi.org/10.4230/LIPICS.ICALP.2019.77\">https://doi.org/10.4230/LIPICS.ICALP.2019.77</a>.","ista":"Kolmogorov V. 2019. Testing the complexity of a valued CSP language. 46th International Colloquium on Automata, Languages and Programming. ICALP 2019: International Colloquim on Automata, Languages and Programming, LIPIcs, vol. 132, 77:1-77:12."},"language":[{"iso":"eng"}],"oa":1,"file":[{"file_id":"6738","file_size":575475,"date_created":"2019-07-31T07:01:45Z","date_updated":"2020-07-14T12:47:38Z","creator":"dernst","relation":"main_file","checksum":"f5ebee8eec6ae09e30365578ee63a492","file_name":"2019_LIPICS_Kolmogorov.pdf","content_type":"application/pdf","access_level":"open_access"}],"department":[{"_id":"VlKo"}],"month":"07","arxiv":1},{"date_published":"2019-06-29T00:00:00Z","conference":{"end_date":"2019-07-11","start_date":"2019-07-09","name":"AFRICACRYPT: International Conference on Cryptology in Africa","location":"Rabat, Morocco"},"ec_funded":1,"project":[{"name":"Teaching Old Crypto New Tricks","grant_number":"682815","call_identifier":"H2020","_id":"258AA5B2-B435-11E9-9278-68D0E5697425"}],"status":"public","publication":"Progress in Cryptology – AFRICACRYPT 2019","year":"2019","quality_controlled":"1","main_file_link":[{"url":"https://eprint.iacr.org/2019/068","open_access":"1"}],"page":"157-180","type":"book_chapter","series_title":"LNCS","date_updated":"2023-02-23T12:50:15Z","_id":"6726","editor":[{"first_name":"J","full_name":"Buchmann, J","last_name":"Buchmann"},{"first_name":"A","last_name":"Nitaj","full_name":"Nitaj, A"},{"full_name":"Rachidi, T","last_name":"Rachidi","first_name":"T"}],"publisher":"Springer Nature","doi":"10.1007/978-3-030-23696-0_9","article_processing_charge":"No","user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","place":"Cham","citation":{"apa":"Walter, M. (2019). Sampling the integers with low relative error. In J. Buchmann, A. Nitaj, &#38; T. Rachidi (Eds.), <i>Progress in Cryptology – AFRICACRYPT 2019</i> (Vol. 11627, pp. 157–180). Cham: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-23696-0_9\">https://doi.org/10.1007/978-3-030-23696-0_9</a>","mla":"Walter, Michael. “Sampling the Integers with Low Relative Error.” <i>Progress in Cryptology – AFRICACRYPT 2019</i>, edited by J Buchmann et al., vol. 11627, Springer Nature, 2019, pp. 157–80, doi:<a href=\"https://doi.org/10.1007/978-3-030-23696-0_9\">10.1007/978-3-030-23696-0_9</a>.","chicago":"Walter, Michael. “Sampling the Integers with Low Relative Error.” In <i>Progress in Cryptology – AFRICACRYPT 2019</i>, edited by J Buchmann, A Nitaj, and T Rachidi, 11627:157–80. LNCS. Cham: Springer Nature, 2019. <a href=\"https://doi.org/10.1007/978-3-030-23696-0_9\">https://doi.org/10.1007/978-3-030-23696-0_9</a>.","ista":"Walter M. 2019.Sampling the integers with low relative error. In: Progress in Cryptology – AFRICACRYPT 2019. vol. 11627, 157–180.","ieee":"M. Walter, “Sampling the integers with low relative error,” in <i>Progress in Cryptology – AFRICACRYPT 2019</i>, vol. 11627, J. Buchmann, A. Nitaj, and T. Rachidi, Eds. Cham: Springer Nature, 2019, pp. 157–180.","short":"M. Walter, in:, J. Buchmann, A. Nitaj, T. Rachidi (Eds.), Progress in Cryptology – AFRICACRYPT 2019, Springer Nature, Cham, 2019, pp. 157–180.","ama":"Walter M. Sampling the integers with low relative error. In: Buchmann J, Nitaj A, Rachidi T, eds. <i>Progress in Cryptology – AFRICACRYPT 2019</i>. Vol 11627. LNCS. Cham: Springer Nature; 2019:157-180. doi:<a href=\"https://doi.org/10.1007/978-3-030-23696-0_9\">10.1007/978-3-030-23696-0_9</a>"},"language":[{"iso":"eng"}],"oa":1,"department":[{"_id":"KrPi"}],"month":"06","publication_identifier":{"issn":["0302-9743","1611-3349"],"isbn":["978-3-0302-3695-3"],"eisbn":["978-3-0302-3696-0"]},"publication_status":"published","intvolume":"     11627","abstract":[{"text":"Randomness is an essential part of any secure cryptosystem, but many constructions rely on distributions that are not uniform. This is particularly true for lattice based cryptosystems, which more often than not make use of discrete Gaussian distributions over the integers. For practical purposes it is crucial to evaluate the impact that approximation errors have on the security of a scheme to provide the best possible trade-off between security and performance. Recent years have seen surprising results allowing to use relatively low precision while maintaining high levels of security. A key insight in these results is that sampling a distribution with low relative error can provide very strong security guarantees. Since floating point numbers provide guarantees on the relative approximation error, they seem a suitable tool in this setting, but it is not obvious which sampling algorithms can actually profit from them. While previous works have shown that inversion sampling can be adapted to provide a low relative error (Pöppelmann et al., CHES 2014; Prest, ASIACRYPT 2017), other works have called into question if this is possible for other sampling techniques (Zheng et al., Eprint report 2018/309). In this work, we consider all sampling algorithms that are popular in the cryptographic setting and analyze the relationship of floating point precision and the resulting relative error. We show that all of the algorithms either natively achieve a low relative error or can be adapted to do so.","lang":"eng"}],"date_created":"2019-07-29T12:25:31Z","volume":11627,"oa_version":"Preprint","title":"Sampling the integers with low relative error","author":[{"first_name":"Michael","orcid":"0000-0003-3186-2482","id":"488F98B0-F248-11E8-B48F-1D18A9856A87","full_name":"Walter, Michael","last_name":"Walter"}],"day":"29","scopus_import":"1"},{"publication":"IEEE Transactions on Signal Processing","status":"public","date_published":"2019-11-15T00:00:00Z","year":"2019","external_id":{"arxiv":["1903.09203"]},"main_file_link":[{"url":"https://arxiv.org/abs/1903.09203","open_access":"1"}],"quality_controlled":"1","doi":"10.1109/TSP.2019.2944738","article_processing_charge":"No","publisher":"IEEE","date_updated":"2021-01-12T08:08:51Z","_id":"6750","type":"journal_article","oa":1,"language":[{"iso":"eng"}],"issue":"22","citation":{"apa":"Hashemi, S. A., Condo, C., Mondelli, M., &#38; Gross, W. J. (2019). Rate-flexible fast polar decoders. <i>IEEE Transactions on Signal Processing</i>. IEEE. <a href=\"https://doi.org/10.1109/TSP.2019.2944738\">https://doi.org/10.1109/TSP.2019.2944738</a>","mla":"Hashemi, Seyyed Ali, et al. “Rate-Flexible Fast Polar Decoders.” <i>IEEE Transactions on Signal Processing</i>, vol. 67, no. 22, 8854897, IEEE, 2019, doi:<a href=\"https://doi.org/10.1109/TSP.2019.2944738\">10.1109/TSP.2019.2944738</a>.","ista":"Hashemi SA, Condo C, Mondelli M, Gross WJ. 2019. Rate-flexible fast polar decoders. IEEE Transactions on Signal Processing. 67(22), 8854897.","chicago":"Hashemi, Seyyed Ali, Carlo Condo, Marco Mondelli, and Warren J Gross. “Rate-Flexible Fast Polar Decoders.” <i>IEEE Transactions on Signal Processing</i>. IEEE, 2019. <a href=\"https://doi.org/10.1109/TSP.2019.2944738\">https://doi.org/10.1109/TSP.2019.2944738</a>.","ieee":"S. A. Hashemi, C. Condo, M. Mondelli, and W. J. Gross, “Rate-flexible fast polar decoders,” <i>IEEE Transactions on Signal Processing</i>, vol. 67, no. 22. IEEE, 2019.","short":"S.A. Hashemi, C. Condo, M. Mondelli, W.J. Gross, IEEE Transactions on Signal Processing 67 (2019).","ama":"Hashemi SA, Condo C, Mondelli M, Gross WJ. Rate-flexible fast polar decoders. <i>IEEE Transactions on Signal Processing</i>. 2019;67(22). doi:<a href=\"https://doi.org/10.1109/TSP.2019.2944738\">10.1109/TSP.2019.2944738</a>"},"user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","month":"11","arxiv":1,"department":[{"_id":"MaMo"}],"article_number":"8854897","intvolume":"        67","abstract":[{"text":"Polar codes have gained extensive attention during the past few years and recently they have been selected for the next generation of wireless communications standards (5G). Successive-cancellation-based (SC-based) decoders, such as SC list (SCL) and SC flip (SCF), provide a reasonable error performance for polar codes at the cost of low decoding speed. Fast SC-based decoders, such as Fast-SSC, Fast-SSCL, and Fast-SSCF, identify the special constituent codes in a polar code graph off-line, produce a list of operations, store the list in memory, and feed the list to the decoder to decode the constituent codes in order efficiently, thus increasing the decoding speed. However, the list of operations is dependent on the code rate and as the rate changes, a new list is produced, making fast SC-based decoders not rate-flexible. In this paper, we propose a completely rate-flexible fast SC-based decoder by creating the list of operations directly in hardware, with low implementation complexity. We further propose a hardware architecture implementing the proposed method and show that the area occupation of the rate-flexible fast SC-based decoder in this paper is only 38% of the total area of the memory-based base-line decoder when 5G code rates are supported. ","lang":"eng"}],"publication_identifier":{"issn":["1053587X"]},"publication_status":"published","author":[{"full_name":"Hashemi, Seyyed Ali","last_name":"Hashemi","first_name":"Seyyed Ali"},{"first_name":"Carlo","last_name":"Condo","full_name":"Condo, Carlo"},{"first_name":"Marco","orcid":"0000-0002-3242-7020","last_name":"Mondelli","id":"27EB676C-8706-11E9-9510-7717E6697425","full_name":"Mondelli, Marco"},{"first_name":"Warren J","last_name":"Gross","full_name":"Gross, Warren J"}],"scopus_import":1,"day":"15","oa_version":"Preprint","title":"Rate-flexible fast polar decoders","volume":67,"article_type":"original","date_created":"2019-07-31T09:51:14Z"},{"type":"journal_article","_id":"6752","date_updated":"2023-08-29T07:02:13Z","publisher":"ACM","article_processing_charge":"No","doi":"10.1145/3340295","quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1705.01433"}],"related_material":{"record":[{"status":"public","relation":"earlier_version","id":"950"}]},"external_id":{"arxiv":["1705.01433"],"isi":["000487714900008"]},"isi":1,"year":"2019","date_published":"2019-07-16T00:00:00Z","status":"public","publication":"Journal of the ACM","project":[{"_id":"25F42A32-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"Z211","name":"The Wittgenstein Prize"},{"_id":"25F2ACDE-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"S11402-N23","name":"Rigorous Systems Engineering"},{"_id":"264B3912-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Formal Methods meets Algorithmic Game Theory","grant_number":"M02369"}],"date_created":"2019-08-04T21:59:16Z","volume":66,"title":"Infinite-duration bidding games","oa_version":"Preprint","day":"16","scopus_import":"1","author":[{"last_name":"Avni","full_name":"Avni, Guy","id":"463C8BC2-F248-11E8-B48F-1D18A9856A87","first_name":"Guy","orcid":"0000-0001-5588-8287"},{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","full_name":"Henzinger, Thomas A","last_name":"Henzinger","orcid":"0000−0002−2985−7724","first_name":"Thomas A"},{"first_name":"Ventsislav K","last_name":"Chonev","full_name":"Chonev, Ventsislav K","id":"36CBE2E6-F248-11E8-B48F-1D18A9856A87"}],"publication_identifier":{"eissn":["1557735X"],"issn":["00045411"]},"publication_status":"published","abstract":[{"lang":"eng","text":"Two-player games on graphs are widely studied in formal methods, as they model the interaction between a system and its environment. The game is played by moving a token throughout a graph to produce an infinite path. There are several common modes to determine how the players move the token through the graph; e.g., in turn-based games the players alternate turns in moving the token. We study the bidding mode of moving the token, which, to the best of our knowledge, has never been studied in infinite-duration games. The following bidding rule was previously defined and called Richman bidding. Both players have separate budgets, which sum up to 1. In each turn, a bidding takes place: Both players submit bids simultaneously, where a bid is legal if it does not exceed the available budget, and the higher bidder pays his bid to the other player and moves the token. The central question studied in bidding games is a necessary and sufficient initial budget for winning the game: a threshold budget in a vertex is a value t ∈ [0, 1] such that if Player 1’s budget exceeds t, he can win the game; and if Player 2’s budget exceeds 1 − t, he can win the game. Threshold budgets were previously shown to exist in every vertex of a reachability game, which have an interesting connection with random-turn games—a sub-class of simple stochastic games in which the player who moves is chosen randomly. We show the existence of threshold budgets for a qualitative class of infinite-duration games, namely parity games, and a quantitative class, namely mean-payoff games. The key component of the proof is a quantitative solution to strongly connected mean-payoff bidding games in which we extend the connection with random-turn games to these games, and construct explicit optimal strategies for both players."}],"intvolume":"        66","article_number":"31","department":[{"_id":"ToHe"}],"month":"07","arxiv":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"chicago":"Avni, Guy, Thomas A Henzinger, and Ventsislav K Chonev. “Infinite-Duration Bidding Games.” <i>Journal of the ACM</i>. ACM, 2019. <a href=\"https://doi.org/10.1145/3340295\">https://doi.org/10.1145/3340295</a>.","ista":"Avni G, Henzinger TA, Chonev VK. 2019. Infinite-duration bidding games. Journal of the ACM. 66(4), 31.","mla":"Avni, Guy, et al. “Infinite-Duration Bidding Games.” <i>Journal of the ACM</i>, vol. 66, no. 4, 31, ACM, 2019, doi:<a href=\"https://doi.org/10.1145/3340295\">10.1145/3340295</a>.","apa":"Avni, G., Henzinger, T. A., &#38; Chonev, V. K. (2019). Infinite-duration bidding games. <i>Journal of the ACM</i>. ACM. <a href=\"https://doi.org/10.1145/3340295\">https://doi.org/10.1145/3340295</a>","ama":"Avni G, Henzinger TA, Chonev VK. Infinite-duration bidding games. <i>Journal of the ACM</i>. 2019;66(4). doi:<a href=\"https://doi.org/10.1145/3340295\">10.1145/3340295</a>","short":"G. Avni, T.A. Henzinger, V.K. Chonev, Journal of the ACM 66 (2019).","ieee":"G. Avni, T. A. Henzinger, and V. K. Chonev, “Infinite-duration bidding games,” <i>Journal of the ACM</i>, vol. 66, no. 4. ACM, 2019."},"issue":"4","language":[{"iso":"eng"}],"oa":1},{"pmid":1,"date_published":"2019-07-01T00:00:00Z","status":"public","publication":"Genome biology and evolution","isi":1,"year":"2019","external_id":{"pmid":["31273378"],"isi":["000484039500018"]},"quality_controlled":"1","page":"1909-1922","ddc":["570"],"date_updated":"2023-08-29T06:53:58Z","_id":"6755","type":"journal_article","doi":"10.1093/gbe/evz133","article_processing_charge":"No","publisher":"Oxford Academic Press","issue":"7","citation":{"ama":"Picard MAL, Vicoso B, Roquis D, et al. Dosage compensation throughout the Schistosoma mansoni lifecycle: Specific chromatin landscape of the Z chromosome. <i>Genome biology and evolution</i>. 2019;11(7):1909-1922. doi:<a href=\"https://doi.org/10.1093/gbe/evz133\">10.1093/gbe/evz133</a>","short":"M.A.L. Picard, B. Vicoso, D. Roquis, I. Bulla, R.C. Augusto, N. Arancibia, C. Grunau, J. Boissier, C. Cosseau, Genome Biology and Evolution 11 (2019) 1909–1922.","ieee":"M. A. L. Picard <i>et al.</i>, “Dosage compensation throughout the Schistosoma mansoni lifecycle: Specific chromatin landscape of the Z chromosome,” <i>Genome biology and evolution</i>, vol. 11, no. 7. Oxford Academic Press, pp. 1909–1922, 2019.","chicago":"Picard, Marion A L, Beatriz Vicoso, David Roquis, Ingo Bulla, Ronaldo C. Augusto, Nathalie Arancibia, Christoph Grunau, Jérôme Boissier, and Céline Cosseau. “Dosage Compensation throughout the Schistosoma Mansoni Lifecycle: Specific Chromatin Landscape of the Z Chromosome.” <i>Genome Biology and Evolution</i>. Oxford Academic Press, 2019. <a href=\"https://doi.org/10.1093/gbe/evz133\">https://doi.org/10.1093/gbe/evz133</a>.","ista":"Picard MAL, Vicoso B, Roquis D, Bulla I, Augusto RC, Arancibia N, Grunau C, Boissier J, Cosseau C. 2019. Dosage compensation throughout the Schistosoma mansoni lifecycle: Specific chromatin landscape of the Z chromosome. Genome biology and evolution. 11(7), 1909–1922.","mla":"Picard, Marion A. L., et al. “Dosage Compensation throughout the Schistosoma Mansoni Lifecycle: Specific Chromatin Landscape of the Z Chromosome.” <i>Genome Biology and Evolution</i>, vol. 11, no. 7, Oxford Academic Press, 2019, pp. 1909–22, doi:<a href=\"https://doi.org/10.1093/gbe/evz133\">10.1093/gbe/evz133</a>.","apa":"Picard, M. A. L., Vicoso, B., Roquis, D., Bulla, I., Augusto, R. C., Arancibia, N., … Cosseau, C. (2019). Dosage compensation throughout the Schistosoma mansoni lifecycle: Specific chromatin landscape of the Z chromosome. <i>Genome Biology and Evolution</i>. Oxford Academic Press. <a href=\"https://doi.org/10.1093/gbe/evz133\">https://doi.org/10.1093/gbe/evz133</a>"},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","oa":1,"language":[{"iso":"eng"}],"department":[{"_id":"BeVi"}],"file":[{"file_name":"2019_GenomeBiology_Picard.pdf","content_type":"application/pdf","access_level":"open_access","relation":"main_file","checksum":"f9e8f6863a406dcc5a36b2be001c138c","date_created":"2019-08-05T07:55:02Z","file_size":580205,"date_updated":"2020-07-14T12:47:39Z","creator":"dernst","file_id":"6765"}],"month":"07","publication_identifier":{"eissn":["1759-6653"]},"publication_status":"published","file_date_updated":"2020-07-14T12:47:39Z","has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"Differentiated sex chromosomes are accompanied by a difference in gene dose between X/Z-specific and autosomal genes. At the transcriptomic level, these sex-linked genes can lead to expression imbalance, or gene dosage can be compensated by epigenetic mechanisms and results into expression level equalization. Schistosoma mansoni has been previously described as a ZW species (i.e., female heterogamety, in opposition to XY male heterogametic species) with a partial dosage compensation, but underlying mechanisms are still unexplored. Here, we combine transcriptomic (RNA-Seq) and epigenetic data (ChIP-Seq against H3K4me3, H3K27me3,andH4K20me1histonemarks) in free larval cercariae and intravertebrate parasitic stages. For the first time, we describe differences in dosage compensation status in ZW females, depending on the parasitic status: free cercariae display global dosage compensation, whereas intravertebrate stages show a partial dosage compensation. We also highlight regional differences of gene expression along the Z chromosome in cercariae, but not in the intravertebrate stages. Finally, we feature a consistent permissive chromatin landscape of the Z chromosome in both sexes and stages. We argue that dosage compensation in schistosomes is characterized by chromatin remodeling mechanisms in the Z-specific region.","lang":"eng"}],"intvolume":"        11","acknowledged_ssus":[{"_id":"CampIT"}],"volume":11,"article_type":"original","date_created":"2019-08-04T21:59:18Z","author":[{"last_name":"Picard","id":"2C921A7A-F248-11E8-B48F-1D18A9856A87","full_name":"Picard, Marion A L","orcid":"0000-0002-8101-2518","first_name":"Marion A L"},{"orcid":"0000-0002-4579-8306","first_name":"Beatriz","last_name":"Vicoso","full_name":"Vicoso, Beatriz","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87"},{"first_name":"David","last_name":"Roquis","full_name":"Roquis, David"},{"first_name":"Ingo","full_name":"Bulla, Ingo","last_name":"Bulla"},{"full_name":"Augusto, Ronaldo C.","last_name":"Augusto","first_name":"Ronaldo C."},{"first_name":"Nathalie","last_name":"Arancibia","full_name":"Arancibia, Nathalie"},{"full_name":"Grunau, Christoph","last_name":"Grunau","first_name":"Christoph"},{"last_name":"Boissier","full_name":"Boissier, Jérôme","first_name":"Jérôme"},{"last_name":"Cosseau","full_name":"Cosseau, Céline","first_name":"Céline"}],"day":"01","scopus_import":"1","title":"Dosage compensation throughout the Schistosoma mansoni lifecycle: Specific chromatin landscape of the Z chromosome","oa_version":"Published Version"},{"status":"public","publication":"Astronomy and Astrophysics","project":[{"grant_number":"M62909-18-1-2038","name":"Toward Computational Information Topology","_id":"265683E4-B435-11E9-9278-68D0E5697425"},{"_id":"2561EBF4-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"I02979-N35","name":"Persistence and stability of geometric complexes"}],"date_published":"2019-07-17T00:00:00Z","external_id":{"isi":["000475839300003"],"arxiv":["1812.07678"]},"year":"2019","isi":1,"ddc":["520","530"],"quality_controlled":"1","publisher":"EDP Sciences","article_processing_charge":"No","doi":"10.1051/0004-6361/201834916","type":"journal_article","_id":"6756","date_updated":"2023-08-29T07:01:48Z","language":[{"iso":"eng"}],"oa":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"apa":"Pranav, P., Adler, R. J., Buchert, T., Edelsbrunner, H., Jones, B. J. T., Schwartzman, A., … Van De Weygaert, R. (2019). Unexpected topology of the temperature fluctuations in the cosmic microwave background. <i>Astronomy and Astrophysics</i>. EDP Sciences. <a href=\"https://doi.org/10.1051/0004-6361/201834916\">https://doi.org/10.1051/0004-6361/201834916</a>","mla":"Pranav, Pratyush, et al. “Unexpected Topology of the Temperature Fluctuations in the Cosmic Microwave Background.” <i>Astronomy and Astrophysics</i>, vol. 627, A163, EDP Sciences, 2019, doi:<a href=\"https://doi.org/10.1051/0004-6361/201834916\">10.1051/0004-6361/201834916</a>.","ista":"Pranav P, Adler RJ, Buchert T, Edelsbrunner H, Jones BJT, Schwartzman A, Wagner H, Van De Weygaert R. 2019. Unexpected topology of the temperature fluctuations in the cosmic microwave background. Astronomy and Astrophysics. 627, A163.","chicago":"Pranav, Pratyush, Robert J. Adler, Thomas Buchert, Herbert Edelsbrunner, Bernard J.T. Jones, Armin Schwartzman, Hubert Wagner, and Rien Van De Weygaert. “Unexpected Topology of the Temperature Fluctuations in the Cosmic Microwave Background.” <i>Astronomy and Astrophysics</i>. EDP Sciences, 2019. <a href=\"https://doi.org/10.1051/0004-6361/201834916\">https://doi.org/10.1051/0004-6361/201834916</a>.","ieee":"P. Pranav <i>et al.</i>, “Unexpected topology of the temperature fluctuations in the cosmic microwave background,” <i>Astronomy and Astrophysics</i>, vol. 627. EDP Sciences, 2019.","short":"P. Pranav, R.J. Adler, T. Buchert, H. Edelsbrunner, B.J.T. Jones, A. Schwartzman, H. Wagner, R. Van De Weygaert, Astronomy and Astrophysics 627 (2019).","ama":"Pranav P, Adler RJ, Buchert T, et al. Unexpected topology of the temperature fluctuations in the cosmic microwave background. <i>Astronomy and Astrophysics</i>. 2019;627. doi:<a href=\"https://doi.org/10.1051/0004-6361/201834916\">10.1051/0004-6361/201834916</a>"},"month":"07","arxiv":1,"article_number":"A163","file":[{"file_name":"2019_AstronomyAstrophysics_Pranav.pdf","content_type":"application/pdf","access_level":"open_access","relation":"main_file","checksum":"83b9209ed9eefbdcefd89019c5a97805","file_size":14420451,"date_created":"2019-08-05T08:08:59Z","creator":"dernst","date_updated":"2020-07-14T12:47:39Z","file_id":"6766"}],"department":[{"_id":"HeEd"}],"intvolume":"       627","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"We study the topology generated by the temperature fluctuations of the cosmic microwave background (CMB) radiation, as quantified by the number of components and holes, formally given by the Betti numbers, in the growing excursion sets. We compare CMB maps observed by the Planck satellite with a thousand simulated maps generated according to the ΛCDM paradigm with Gaussian distributed fluctuations. The comparison is multi-scale, being performed on a sequence of degraded maps with mean pixel separation ranging from 0.05 to 7.33°. The survey of the CMB over 𝕊2 is incomplete due to obfuscation effects by bright point sources and other extended foreground objects like our own galaxy. To deal with such situations, where analysis in the presence of “masks” is of importance, we introduce the concept of relative homology. The parametric χ2-test shows differences between observations and simulations, yielding p-values at percent to less than permil levels roughly between 2 and 7°, with the difference in the number of components and holes peaking at more than 3σ sporadically at these scales. The highest observed deviation between the observations and simulations for b0 and b1 is approximately between 3σ and 4σ at scales of 3–7°. There are reports of mildly unusual behaviour of the Euler characteristic at 3.66° in the literature, computed from independent measurements of the CMB temperature fluctuations by Planck’s predecessor, the Wilkinson Microwave Anisotropy Probe (WMAP) satellite. The mildly anomalous behaviour of the Euler characteristic is phenomenologically related to the strongly anomalous behaviour of components and holes, or the zeroth and first Betti numbers, respectively. Further, since these topological descriptors show consistent anomalous behaviour over independent measurements of Planck and WMAP, instrumental and systematic errors may be an unlikely source. These are also the scales at which the observed maps exhibit low variance compared to the simulations, and approximately the range of scales at which the power spectrum exhibits a dip with respect to the theoretical model. Non-parametric tests show even stronger differences at almost all scales. Crucially, Gaussian simulations based on power-spectrum matching the characteristics of the observed dipped power spectrum are not able to resolve the anomaly. Understanding the origin of the anomalies in the CMB, whether cosmological in nature or arising due to late-time effects, is an extremely challenging task. Regardless, beyond the trivial possibility that this may still be a manifestation of an extreme Gaussian case, these observations, along with the super-horizon scales involved, may motivate the study of primordial non-Gaussianity. Alternative scenarios worth exploring may be models with non-trivial topology, including topological defect models.","lang":"eng"}],"has_accepted_license":"1","file_date_updated":"2020-07-14T12:47:39Z","publication_status":"published","publication_identifier":{"eissn":["14320746"],"issn":["00046361"]},"title":"Unexpected topology of the temperature fluctuations in the cosmic microwave background","oa_version":"Published Version","day":"17","scopus_import":"1","author":[{"first_name":"Pratyush","full_name":"Pranav, Pratyush","last_name":"Pranav"},{"first_name":"Robert J.","last_name":"Adler","full_name":"Adler, Robert J."},{"last_name":"Buchert","full_name":"Buchert, Thomas","first_name":"Thomas"},{"first_name":"Herbert","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","full_name":"Edelsbrunner, Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Bernard J.T.","full_name":"Jones, Bernard J.T.","last_name":"Jones"},{"last_name":"Schwartzman","full_name":"Schwartzman, Armin","first_name":"Armin"},{"first_name":"Hubert","id":"379CA8B8-F248-11E8-B48F-1D18A9856A87","full_name":"Wagner, Hubert","last_name":"Wagner"},{"first_name":"Rien","full_name":"Van De Weygaert, Rien","last_name":"Van De Weygaert"}],"date_created":"2019-08-04T21:59:18Z","article_type":"original","volume":627},{"intvolume":"        26","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"We consider the graph class Grounded-L corresponding to graphs that admit an intersection representation by L-shaped curves, where additionally the topmost points of each curve are assumed to belong to a common horizontal line. We prove that Grounded-L graphs admit an equivalent characterisation in terms of vertex ordering with forbidden patterns. \r\nWe also compare this class to related intersection classes, such as the grounded segment graphs, the monotone L-graphs (a.k.a. max point-tolerance graphs), or the outer-1-string graphs. We give constructions showing that these classes are all distinct and satisfy only trivial or previously known inclusions.","lang":"eng"}],"has_accepted_license":"1","publication_identifier":{"eissn":["10778926"]},"publication_status":"published","file_date_updated":"2020-07-14T12:47:39Z","oa_version":"Published Version","title":"On grounded L-graphs and their relatives","author":[{"last_name":"Jelínek","full_name":"Jelínek, Vít","first_name":"Vít"},{"last_name":"Töpfer","id":"4B865388-F248-11E8-B48F-1D18A9856A87","full_name":"Töpfer, Martin","first_name":"Martin"}],"day":"19","scopus_import":"1","article_type":"original","date_created":"2019-08-04T21:59:20Z","volume":26,"language":[{"iso":"eng"}],"oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"3","citation":{"short":"V. Jelínek, M. Töpfer, Electronic Journal of Combinatorics 26 (2019).","ieee":"V. Jelínek and M. Töpfer, “On grounded L-graphs and their relatives,” <i>Electronic Journal of Combinatorics</i>, vol. 26, no. 3. Electronic Journal of Combinatorics, 2019.","ama":"Jelínek V, Töpfer M. On grounded L-graphs and their relatives. <i>Electronic Journal of Combinatorics</i>. 2019;26(3). doi:<a href=\"https://doi.org/10.37236/8096\">10.37236/8096</a>","mla":"Jelínek, Vít, and Martin Töpfer. “On Grounded L-Graphs and Their Relatives.” <i>Electronic Journal of Combinatorics</i>, vol. 26, no. 3, P3.17, Electronic Journal of Combinatorics, 2019, doi:<a href=\"https://doi.org/10.37236/8096\">10.37236/8096</a>.","apa":"Jelínek, V., &#38; Töpfer, M. (2019). On grounded L-graphs and their relatives. <i>Electronic Journal of Combinatorics</i>. Electronic Journal of Combinatorics. <a href=\"https://doi.org/10.37236/8096\">https://doi.org/10.37236/8096</a>","ista":"Jelínek V, Töpfer M. 2019. On grounded L-graphs and their relatives. Electronic Journal of Combinatorics. 26(3), P3.17.","chicago":"Jelínek, Vít, and Martin Töpfer. “On Grounded L-Graphs and Their Relatives.” <i>Electronic Journal of Combinatorics</i>. Electronic Journal of Combinatorics, 2019. <a href=\"https://doi.org/10.37236/8096\">https://doi.org/10.37236/8096</a>."},"month":"07","arxiv":1,"article_number":"P3.17","file":[{"file_name":"2019_eJourCombinatorics_Jelinek.pdf","access_level":"open_access","content_type":"application/pdf","relation":"main_file","checksum":"20fc366fc6683ef0b074a019b73a663a","date_created":"2019-08-05T06:46:55Z","file_size":533697,"creator":"dernst","date_updated":"2020-07-14T12:47:39Z","file_id":"6764"}],"department":[{"_id":"DaAl"}],"ddc":["510"],"quality_controlled":"1","publisher":"Electronic Journal of Combinatorics","doi":"10.37236/8096","article_processing_charge":"No","type":"journal_article","date_updated":"2022-03-18T12:32:02Z","_id":"6759","project":[{"call_identifier":"H2020","grant_number":"665385","name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425"}],"status":"public","publication":"Electronic Journal of Combinatorics","date_published":"2019-07-19T00:00:00Z","ec_funded":1,"external_id":{"arxiv":["1808.04148"]},"year":"2019"},{"language":[{"iso":"eng"}],"oa":1,"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","citation":{"chicago":"Friesecke, Gero, and Michael Kniely. “New Optimal Control Problems in Density Functional Theory Motivated by Photovoltaics.” <i>Multiscale Modeling and Simulation</i>. SIAM, 2019. <a href=\"https://doi.org/10.1137/18M1207272\">https://doi.org/10.1137/18M1207272</a>.","ista":"Friesecke G, Kniely M. 2019. New optimal control problems in density functional theory motivated by photovoltaics. Multiscale Modeling and Simulation. 17(3), 926–947.","mla":"Friesecke, Gero, and Michael Kniely. “New Optimal Control Problems in Density Functional Theory Motivated by Photovoltaics.” <i>Multiscale Modeling and Simulation</i>, vol. 17, no. 3, SIAM, 2019, pp. 926–47, doi:<a href=\"https://doi.org/10.1137/18M1207272\">10.1137/18M1207272</a>.","apa":"Friesecke, G., &#38; Kniely, M. (2019). New optimal control problems in density functional theory motivated by photovoltaics. <i>Multiscale Modeling and Simulation</i>. SIAM. <a href=\"https://doi.org/10.1137/18M1207272\">https://doi.org/10.1137/18M1207272</a>","ama":"Friesecke G, Kniely M. New optimal control problems in density functional theory motivated by photovoltaics. <i>Multiscale Modeling and Simulation</i>. 2019;17(3):926-947. doi:<a href=\"https://doi.org/10.1137/18M1207272\">10.1137/18M1207272</a>","short":"G. Friesecke, M. Kniely, Multiscale Modeling and Simulation 17 (2019) 926–947.","ieee":"G. Friesecke and M. Kniely, “New optimal control problems in density functional theory motivated by photovoltaics,” <i>Multiscale Modeling and Simulation</i>, vol. 17, no. 3. SIAM, pp. 926–947, 2019."},"issue":"3","month":"07","arxiv":1,"department":[{"_id":"JuFi"}],"intvolume":"        17","abstract":[{"text":"We present and study novel optimal control problems motivated by the search for photovoltaic materials with high power-conversion efficiency. The material must perform the first step: convert light (photons) into electronic excitations. We formulate various desirable properties of the excitations as mathematical control goals at the Kohn-Sham-DFT level\r\nof theory, with the control being given by the nuclear charge distribution. We prove that nuclear distributions exist which give rise to optimal HOMO-LUMO excitations, and present illustrative numerical simulations for 1D finite nanocrystals. We observe pronounced goal-dependent features such as large electron-hole separation, and a hierarchy of length scales: internal HOMO and LUMO wavelengths < atomic spacings < (irregular) fluctuations of the doping profiles < system size.","lang":"eng"}],"publication_identifier":{"issn":["15403459"],"eissn":["15403467"]},"publication_status":"published","oa_version":"Preprint","title":"New optimal control problems in density functional theory motivated by photovoltaics","day":"16","scopus_import":"1","author":[{"first_name":"Gero","full_name":"Friesecke, Gero","last_name":"Friesecke"},{"orcid":"0000-0001-5645-4333","first_name":"Michael","last_name":"Kniely","full_name":"Kniely, Michael","id":"2CA2C08C-F248-11E8-B48F-1D18A9856A87"}],"date_created":"2019-08-04T21:59:21Z","volume":17,"publication":"Multiscale Modeling and Simulation","status":"public","date_published":"2019-07-16T00:00:00Z","external_id":{"arxiv":["1808.04200"],"isi":["000487931800002"]},"isi":1,"year":"2019","page":"926-947","quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1808.04200"}],"publisher":"SIAM","article_processing_charge":"No","doi":"10.1137/18M1207272","type":"journal_article","_id":"6762","date_updated":"2023-09-05T15:05:45Z"},{"quality_controlled":"1","page":"5804-5809","date_updated":"2023-08-29T06:53:34Z","_id":"6763","type":"journal_article","doi":"10.1039/c9sm00756c","article_processing_charge":"No","publisher":"Royal Society of Chemistry","pmid":1,"date_published":"2019-07-15T00:00:00Z","publication":"Soft Matter","status":"public","isi":1,"year":"2019","external_id":{"isi":["000476909200002"],"pmid":["31305853"]},"publication_status":"published","publication_identifier":{"issn":["1744683X"],"eissn":["17446848"]},"abstract":[{"text":"When grape-sized aqueous dimers are irradiated in a microwave oven, an intense electromagnetic hotspot forms at their point of contact, often igniting a plasma. Here we show that this irradiation can result in the injection of mechanical energy. By examining irradiated hydrogel dimers through high-speed imaging, we find that they repeatedly bounce off of each other while irradiated. We determine that an average of 1 lJ of mechanical energy is injected into the pair during each collision. Furthermore, a characteristic high-pitched audio signal is found to accompany each collision.\r\nWe show that both the audio signal and the energy injection arise via an interplay between vaporization and elastic deformations in the region of contact, the so-called ‘elastic Liedenfrost effect’. Our results establish a novel, non-contact method of injecting mechanical energy into soft matter systems, suggesting application in fields such as soft robotics.","lang":"eng"}],"intvolume":"        15","volume":15,"article_type":"original","date_created":"2019-08-04T21:59:21Z","author":[{"first_name":"Hamza K.","last_name":"Khattak","full_name":"Khattak, Hamza K."},{"last_name":"Waitukaitis","id":"3A1FFC16-F248-11E8-B48F-1D18A9856A87","full_name":"Waitukaitis, Scott R","orcid":"0000-0002-2299-3176","first_name":"Scott R"},{"first_name":"Aaron D.","last_name":"Slepkov","full_name":"Slepkov, Aaron D."}],"scopus_import":"1","day":"15","oa_version":"None","title":"Microwave induced mechanical activation of hydrogel dimers","issue":"29","citation":{"apa":"Khattak, H. K., Waitukaitis, S. R., &#38; Slepkov, A. D. (2019). Microwave induced mechanical activation of hydrogel dimers. <i>Soft Matter</i>. Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/c9sm00756c\">https://doi.org/10.1039/c9sm00756c</a>","mla":"Khattak, Hamza K., et al. “Microwave Induced Mechanical Activation of Hydrogel Dimers.” <i>Soft Matter</i>, vol. 15, no. 29, Royal Society of Chemistry, 2019, pp. 5804–09, doi:<a href=\"https://doi.org/10.1039/c9sm00756c\">10.1039/c9sm00756c</a>.","chicago":"Khattak, Hamza K., Scott R Waitukaitis, and Aaron D. Slepkov. “Microwave Induced Mechanical Activation of Hydrogel Dimers.” <i>Soft Matter</i>. Royal Society of Chemistry, 2019. <a href=\"https://doi.org/10.1039/c9sm00756c\">https://doi.org/10.1039/c9sm00756c</a>.","ista":"Khattak HK, Waitukaitis SR, Slepkov AD. 2019. Microwave induced mechanical activation of hydrogel dimers. Soft Matter. 15(29), 5804–5809.","ieee":"H. K. Khattak, S. R. Waitukaitis, and A. D. Slepkov, “Microwave induced mechanical activation of hydrogel dimers,” <i>Soft Matter</i>, vol. 15, no. 29. Royal Society of Chemistry, pp. 5804–5809, 2019.","short":"H.K. Khattak, S.R. Waitukaitis, A.D. Slepkov, Soft Matter 15 (2019) 5804–5809.","ama":"Khattak HK, Waitukaitis SR, Slepkov AD. Microwave induced mechanical activation of hydrogel dimers. <i>Soft Matter</i>. 2019;15(29):5804-5809. doi:<a href=\"https://doi.org/10.1039/c9sm00756c\">10.1039/c9sm00756c</a>"},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","language":[{"iso":"eng"}],"department":[{"_id":"ScWa"}],"month":"07"},{"ddc":["580"],"quality_controlled":"1","doi":"10.1038/s41467-019-11471-8","article_processing_charge":"No","publisher":"Springer Nature","date_updated":"2023-08-29T07:02:44Z","_id":"6778","type":"journal_article","project":[{"call_identifier":"H2020","grant_number":"742985","name":"Tracing Evolution of Auxin Transport and Polarity in Plants","_id":"261099A6-B435-11E9-9278-68D0E5697425"},{"_id":"26538374-B435-11E9-9278-68D0E5697425","grant_number":"I03630","name":"Molecular mechanisms of endocytic cargo recognition in plants","call_identifier":"FWF"},{"_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","name":"International IST Postdoc Fellowship Programme","grant_number":"291734"}],"status":"public","publication":"Nature Communications","pmid":1,"ec_funded":1,"date_published":"2019-08-02T00:00:00Z","year":"2019","isi":1,"external_id":{"isi":["000478576500012"],"pmid":["31375675"]},"related_material":{"link":[{"relation":"press_release","description":"News on IST Homepage","url":"https://ist.ac.at/en/news/when-plant-roots-learned-to-follow-gravity/"}]},"has_accepted_license":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"text":"An important adaptation during colonization of land by plants is gravitropic growth of roots, which enabled roots to reach water and nutrients, and firmly anchor plants in the ground. Here we provide insights into the evolution of an efficient root gravitropic mechanism in the seed plants. Architectural innovation, with gravity perception constrained in the root tips\r\nalong with a shootward transport route for the phytohormone auxin, appeared only upon the emergence of seed plants. Interspecies complementation and protein domain swapping revealed functional innovations within the PIN family of auxin transporters leading to the evolution of gravitropism-specific PINs. The unique apical/shootward subcellular localization of PIN proteins is the major evolutionary innovation that connected the anatomically separated sites of gravity perception and growth response via the mobile auxin signal. We conclude that the crucial anatomical and functional components emerged hand-in-hand to facilitate the evolution of fast gravitropic response, which is one of the major adaptations of seed plants to dry land.","lang":"eng"}],"intvolume":"        10","publication_identifier":{"issn":["2041-1723"]},"publication_status":"published","file_date_updated":"2020-07-14T12:47:40Z","author":[{"orcid":"0000-0003-2627-6956","first_name":"Yuzhou","last_name":"Zhang","full_name":"Zhang, Yuzhou","id":"3B6137F2-F248-11E8-B48F-1D18A9856A87"},{"first_name":"G","last_name":"Xiao","full_name":"Xiao, G"},{"full_name":"Wang, X","last_name":"Wang","first_name":"X"},{"first_name":"Xixi","orcid":"0000-0001-7048-4627","id":"61A66458-47E9-11EA-85BA-8AEAAF14E49A","full_name":"Zhang, Xixi","last_name":"Zhang"},{"last_name":"Friml","full_name":"Friml, Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596","first_name":"Jiří"}],"scopus_import":"1","day":"02","oa_version":"Published Version","title":"Evolution of fast root gravitropism in seed plants","volume":10,"article_type":"original","date_created":"2019-08-09T08:46:26Z","oa":1,"language":[{"iso":"eng"}],"citation":{"mla":"Zhang, Yuzhou, et al. “Evolution of Fast Root Gravitropism in Seed Plants.” <i>Nature Communications</i>, vol. 10, 3480, Springer Nature, 2019, doi:<a href=\"https://doi.org/10.1038/s41467-019-11471-8\">10.1038/s41467-019-11471-8</a>.","apa":"Zhang, Y., Xiao, G., Wang, X., Zhang, X., &#38; Friml, J. (2019). Evolution of fast root gravitropism in seed plants. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-019-11471-8\">https://doi.org/10.1038/s41467-019-11471-8</a>","chicago":"Zhang, Yuzhou, G Xiao, X Wang, Xixi Zhang, and Jiří Friml. “Evolution of Fast Root Gravitropism in Seed Plants.” <i>Nature Communications</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1038/s41467-019-11471-8\">https://doi.org/10.1038/s41467-019-11471-8</a>.","ista":"Zhang Y, Xiao G, Wang X, Zhang X, Friml J. 2019. Evolution of fast root gravitropism in seed plants. Nature Communications. 10, 3480.","short":"Y. Zhang, G. Xiao, X. Wang, X. Zhang, J. Friml, Nature Communications 10 (2019).","ieee":"Y. Zhang, G. Xiao, X. Wang, X. Zhang, and J. Friml, “Evolution of fast root gravitropism in seed plants,” <i>Nature Communications</i>, vol. 10. Springer Nature, 2019.","ama":"Zhang Y, Xiao G, Wang X, Zhang X, Friml J. Evolution of fast root gravitropism in seed plants. <i>Nature Communications</i>. 2019;10. doi:<a href=\"https://doi.org/10.1038/s41467-019-11471-8\">10.1038/s41467-019-11471-8</a>"},"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","month":"08","department":[{"_id":"JiFr"}],"article_number":"3480","file":[{"relation":"main_file","checksum":"d2c654fdb97f33078f606fe0c298bf6e","file_name":"2019_NatureComm_Zhang.pdf","access_level":"open_access","content_type":"application/pdf","file_id":"6798","file_size":6406141,"date_created":"2019-08-12T07:09:20Z","creator":"dernst","date_updated":"2020-07-14T12:47:40Z"}]},{"external_id":{"isi":["000477911800012"],"arxiv":["1907.05860"]},"year":"2019","isi":1,"project":[{"_id":"25681D80-B435-11E9-9278-68D0E5697425","call_identifier":"FP7","grant_number":"291734","name":"International IST Postdoc Fellowship Programme"}],"publication":"Physical Review E","status":"public","date_published":"2019-07-25T00:00:00Z","ec_funded":1,"publisher":"American Physical Society","doi":"10.1103/physreve.100.013112","article_processing_charge":"No","type":"journal_article","date_updated":"2024-02-28T13:13:00Z","_id":"6779","ddc":["532"],"quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1907.05860"}],"arxiv":1,"month":"07","article_number":"013112","department":[{"_id":"BjHo"}],"language":[{"iso":"eng"}],"oa":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","issue":"1","citation":{"ista":"Suri B, Pallantla RK, Schatz MF, Grigoriev RO. 2019. Heteroclinic and homoclinic connections in a Kolmogorov-like flow. Physical Review E. 100(1), 013112.","chicago":"Suri, Balachandra, Ravi Kumar Pallantla, Michael F. Schatz, and Roman O. Grigoriev. “Heteroclinic and Homoclinic Connections in a Kolmogorov-like Flow.” <i>Physical Review E</i>. American Physical Society, 2019. <a href=\"https://doi.org/10.1103/physreve.100.013112\">https://doi.org/10.1103/physreve.100.013112</a>.","apa":"Suri, B., Pallantla, R. K., Schatz, M. F., &#38; Grigoriev, R. O. (2019). Heteroclinic and homoclinic connections in a Kolmogorov-like flow. <i>Physical Review E</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physreve.100.013112\">https://doi.org/10.1103/physreve.100.013112</a>","mla":"Suri, Balachandra, et al. “Heteroclinic and Homoclinic Connections in a Kolmogorov-like Flow.” <i>Physical Review E</i>, vol. 100, no. 1, 013112, American Physical Society, 2019, doi:<a href=\"https://doi.org/10.1103/physreve.100.013112\">10.1103/physreve.100.013112</a>.","ama":"Suri B, Pallantla RK, Schatz MF, Grigoriev RO. Heteroclinic and homoclinic connections in a Kolmogorov-like flow. <i>Physical Review E</i>. 2019;100(1). doi:<a href=\"https://doi.org/10.1103/physreve.100.013112\">10.1103/physreve.100.013112</a>","ieee":"B. Suri, R. K. Pallantla, M. F. Schatz, and R. O. Grigoriev, “Heteroclinic and homoclinic connections in a Kolmogorov-like flow,” <i>Physical Review E</i>, vol. 100, no. 1. American Physical Society, 2019.","short":"B. Suri, R.K. Pallantla, M.F. Schatz, R.O. Grigoriev, Physical Review E 100 (2019)."},"oa_version":"Preprint","title":"Heteroclinic and homoclinic connections in a Kolmogorov-like flow","author":[{"first_name":"Balachandra","full_name":"Suri, Balachandra","id":"47A5E706-F248-11E8-B48F-1D18A9856A87","last_name":"Suri"},{"first_name":"Ravi Kumar","full_name":"Pallantla, Ravi Kumar","last_name":"Pallantla"},{"first_name":"Michael F.","full_name":"Schatz, Michael F.","last_name":"Schatz"},{"full_name":"Grigoriev, Roman O.","last_name":"Grigoriev","first_name":"Roman O."}],"day":"25","scopus_import":"1","article_type":"original","date_created":"2019-08-09T09:40:41Z","volume":100,"abstract":[{"text":"Recent studies suggest that unstable recurrent solutions of the Navier-Stokes equation provide new insights\r\ninto dynamics of turbulent flows. In this study, we compute an extensive network of dynamical connections\r\nbetween such solutions in a weakly turbulent quasi-two-dimensional Kolmogorov flow that lies in the inversion symmetric subspace. In particular, we find numerous isolated heteroclinic connections between different\r\ntypes of solutions—equilibria, periodic, and quasiperiodic orbits—as well as continua of connections forming\r\nhigher-dimensional connecting manifolds. We also compute a homoclinic connection of a periodic orbit and\r\nprovide strong evidence that the associated homoclinic tangle forms the chaotic repeller that underpins transient\r\nturbulence in the symmetric subspace.","lang":"eng"}],"intvolume":"       100","publication_status":"published","publication_identifier":{"issn":["2470-0045"],"eissn":["2470-0053"]}},{"department":[{"_id":"KrCh"}],"file":[{"access_level":"open_access","content_type":"application/pdf","file_name":"oopsla-2019.pdf","checksum":"3482d8ace6fb4991eb7810e3b70f1b9f","relation":"main_file","date_updated":"2020-07-14T12:47:40Z","creator":"akafshda","date_created":"2019-08-12T15:40:57Z","file_size":1024643,"file_id":"6807"},{"access_level":"open_access","content_type":"application/pdf","file_name":"2019_ACM_Huang.pdf","checksum":"4e5a6fb2b59a75222a4e8335a5a60eac","relation":"main_file","date_updated":"2020-07-14T12:47:40Z","creator":"dernst","date_created":"2020-05-12T15:15:14Z","file_size":538579,"file_id":"7821"}],"article_number":"129","month":"10","arxiv":1,"citation":{"ama":"Huang M, Fu H, Chatterjee K, Goharshady AK. Modular verification for almost-sure termination of probabilistic programs. In: <i>Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications </i>. Vol 3. ACM; 2019. doi:<a href=\"https://doi.org/10.1145/3360555\">10.1145/3360555</a>","ieee":"M. Huang, H. Fu, K. Chatterjee, and A. K. Goharshady, “Modular verification for almost-sure termination of probabilistic programs,” in <i>Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications </i>, Athens, Greece, 2019, vol. 3.","short":"M. Huang, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications , ACM, 2019.","ista":"Huang M, Fu H, Chatterjee K, Goharshady AK. 2019. Modular verification for almost-sure termination of probabilistic programs. Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications . OOPSLA: Object-oriented Programming, Systems, Languages and Applications vol. 3, 129.","chicago":"Huang, Mingzhang, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Modular Verification for Almost-Sure Termination of Probabilistic Programs.” In <i>Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications </i>, Vol. 3. ACM, 2019. <a href=\"https://doi.org/10.1145/3360555\">https://doi.org/10.1145/3360555</a>.","apa":"Huang, M., Fu, H., Chatterjee, K., &#38; Goharshady, A. K. (2019). Modular verification for almost-sure termination of probabilistic programs. In <i>Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications </i> (Vol. 3). Athens, Greece: ACM. <a href=\"https://doi.org/10.1145/3360555\">https://doi.org/10.1145/3360555</a>","mla":"Huang, Mingzhang, et al. “Modular Verification for Almost-Sure Termination of Probabilistic Programs.” <i>Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications </i>, vol. 3, 129, ACM, 2019, doi:<a href=\"https://doi.org/10.1145/3360555\">10.1145/3360555</a>."},"user_id":"8b945eb4-e2f2-11eb-945a-df72226e66a9","oa":1,"language":[{"iso":"eng"}],"volume":3,"date_created":"2019-08-09T09:54:20Z","day":"01","author":[{"full_name":"Huang, Mingzhang","last_name":"Huang","first_name":"Mingzhang"},{"first_name":"Hongfei","full_name":"Fu, Hongfei","last_name":"Fu"},{"last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","full_name":"Chatterjee, Krishnendu","orcid":"0000-0002-4561-241X","first_name":"Krishnendu"},{"full_name":"Goharshady, Amir Kafshdar","id":"391365CE-F248-11E8-B48F-1D18A9856A87","last_name":"Goharshady","first_name":"Amir Kafshdar","orcid":"0000-0003-1702-6584"}],"oa_version":"Published Version","title":"Modular verification for almost-sure termination of probabilistic programs","file_date_updated":"2020-07-14T12:47:40Z","publication_status":"published","has_accepted_license":"1","license":"https://creativecommons.org/licenses/by-nc/4.0/","tmp":{"name":"Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc/4.0/legalcode","image":"/images/cc_by_nc.png","short":"CC BY-NC (4.0)"},"abstract":[{"text":"In this work, we consider the almost-sure termination problem for probabilistic programs that asks whether a\r\ngiven probabilistic program terminates with probability 1. Scalable approaches for program analysis often\r\nrely on modularity as their theoretical basis. In non-probabilistic programs, the classical variant rule (V-rule)\r\nof Floyd-Hoare logic provides the foundation for modular analysis. Extension of this rule to almost-sure\r\ntermination of probabilistic programs is quite tricky, and a probabilistic variant was proposed in [16]. While the\r\nproposed probabilistic variant cautiously addresses the key issue of integrability, we show that the proposed\r\nmodular rule is still not sound for almost-sure termination of probabilistic programs.\r\nBesides establishing unsoundness of the previous rule, our contributions are as follows: First, we present a\r\nsound modular rule for almost-sure termination of probabilistic programs. Our approach is based on a novel\r\nnotion of descent supermartingales. Second, for algorithmic approaches, we consider descent supermartingales\r\nthat are linear and show that they can be synthesized in polynomial time. Finally, we present experimental\r\nresults on a variety of benchmarks and several natural examples that model various types of nested while\r\nloops in probabilistic programs and demonstrate that our approach is able to efficiently prove their almost-sure\r\ntermination property","lang":"eng"}],"intvolume":"         3","year":"2019","related_material":{"record":[{"id":"8934","status":"public","relation":"dissertation_contains"}]},"external_id":{"arxiv":["1901.06087"]},"ec_funded":1,"date_published":"2019-10-01T00:00:00Z","conference":{"start_date":"2019-10-23","end_date":"2019-10-25","name":"OOPSLA: Object-oriented Programming, Systems, Languages and Applications","location":"Athens, Greece"},"status":"public","publication":"Proceedings of the 34th ACM International Conference on Object-Oriented Programming, Systems, Languages, and Applications ","project":[{"grant_number":"ICT15-003","name":"Efficient Algorithms for Computer Aided Verification","_id":"25892FC0-B435-11E9-9278-68D0E5697425"},{"_id":"25863FF4-B435-11E9-9278-68D0E5697425","name":"Game Theory","grant_number":"S11407","call_identifier":"FWF"},{"grant_number":"279307","name":"Quantitative Graph Games: Theory and Applications","call_identifier":"FP7","_id":"2581B60A-B435-11E9-9278-68D0E5697425"},{"_id":"267066CE-B435-11E9-9278-68D0E5697425","name":"Quantitative Analysis of Probablistic Systems with a focus on Crypto-currencies"},{"_id":"266EEEC0-B435-11E9-9278-68D0E5697425","name":"Quantitative Game-theoretic Analysis of Blockchain Applications and Smart Contracts"}],"_id":"6780","date_updated":"2025-06-02T08:53:47Z","type":"conference","article_processing_charge":"No","doi":"10.1145/3360555","publisher":"ACM","quality_controlled":"1","ddc":["000"]},{"month":"07","article_number":"e1007168","file":[{"checksum":"7ded4721b41c2a0fc66a1c634540416a","relation":"main_file","access_level":"open_access","content_type":"application/pdf","file_name":"2019_PlosComputBiology_Ruess.pdf","file_id":"6803","creator":"dernst","date_updated":"2020-07-14T12:47:40Z","date_created":"2019-08-12T12:27:26Z","file_size":2200003}],"department":[{"_id":"CaGu"},{"_id":"GaTk"}],"language":[{"iso":"eng"}],"oa":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"mla":"Ruess, Jakob, et al. “Molecular Noise of Innate Immunity Shapes Bacteria-Phage Ecologies.” <i>PLoS Computational Biology</i>, vol. 15, no. 7, e1007168, Public Library of Science, 2019, doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1007168\">10.1371/journal.pcbi.1007168</a>.","apa":"Ruess, J., Pleska, M., Guet, C. C., &#38; Tkačik, G. (2019). Molecular noise of innate immunity shapes bacteria-phage ecologies. <i>PLoS Computational Biology</i>. Public Library of Science. <a href=\"https://doi.org/10.1371/journal.pcbi.1007168\">https://doi.org/10.1371/journal.pcbi.1007168</a>","ista":"Ruess J, Pleska M, Guet CC, Tkačik G. 2019. Molecular noise of innate immunity shapes bacteria-phage ecologies. PLoS Computational Biology. 15(7), e1007168.","chicago":"Ruess, Jakob, Maros Pleska, Calin C Guet, and Gašper Tkačik. “Molecular Noise of Innate Immunity Shapes Bacteria-Phage Ecologies.” <i>PLoS Computational Biology</i>. Public Library of Science, 2019. <a href=\"https://doi.org/10.1371/journal.pcbi.1007168\">https://doi.org/10.1371/journal.pcbi.1007168</a>.","short":"J. Ruess, M. Pleska, C.C. Guet, G. Tkačik, PLoS Computational Biology 15 (2019).","ieee":"J. Ruess, M. Pleska, C. C. Guet, and G. Tkačik, “Molecular noise of innate immunity shapes bacteria-phage ecologies,” <i>PLoS Computational Biology</i>, vol. 15, no. 7. Public Library of Science, 2019.","ama":"Ruess J, Pleska M, Guet CC, Tkačik G. Molecular noise of innate immunity shapes bacteria-phage ecologies. <i>PLoS Computational Biology</i>. 2019;15(7). doi:<a href=\"https://doi.org/10.1371/journal.pcbi.1007168\">10.1371/journal.pcbi.1007168</a>"},"issue":"7","oa_version":"Published Version","title":"Molecular noise of innate immunity shapes bacteria-phage ecologies","day":"02","scopus_import":"1","author":[{"last_name":"Ruess","full_name":"Ruess, Jakob","id":"4A245D00-F248-11E8-B48F-1D18A9856A87","first_name":"Jakob","orcid":"0000-0003-1615-3282"},{"full_name":"Pleska, Maros","id":"4569785E-F248-11E8-B48F-1D18A9856A87","last_name":"Pleska","orcid":"0000-0001-7460-7479","first_name":"Maros"},{"last_name":"Guet","full_name":"Guet, Calin C","id":"47F8433E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6220-2052","first_name":"Calin C"},{"first_name":"Gašper","orcid":"0000-0002-6699-1455","full_name":"Tkačik, Gašper","id":"3D494DCA-F248-11E8-B48F-1D18A9856A87","last_name":"Tkačik"}],"date_created":"2019-08-11T21:59:19Z","article_type":"original","volume":15,"abstract":[{"text":"Mathematical models have been used successfully at diverse scales of biological organization, ranging from ecology and population dynamics to stochastic reaction events occurring between individual molecules in single cells. Generally, many biological processes unfold across multiple scales, with mutations being the best studied example of how stochasticity at the molecular scale can influence outcomes at the population scale. In many other contexts, however, an analogous link between micro- and macro-scale remains elusive, primarily due to the challenges involved in setting up and analyzing multi-scale models. Here, we employ such a model to investigate how stochasticity propagates from individual biochemical reaction events in the bacterial innate immune system to the ecology of bacteria and bacterial viruses. We show analytically how the dynamics of bacterial populations are shaped by the activities of immunity-conferring enzymes in single cells and how the ecological consequences imply optimal bacterial defense strategies against viruses. Our results suggest that bacterial populations in the presence of viruses can either optimize their initial growth rate or their population size, with the first strategy favoring simple immunity featuring a single restriction modification system and the second strategy favoring complex bacterial innate immunity featuring several simultaneously active restriction modification systems.","lang":"eng"}],"tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"intvolume":"        15","has_accepted_license":"1","file_date_updated":"2020-07-14T12:47:40Z","publication_status":"published","publication_identifier":{"eissn":["1553-7358"]},"related_material":{"record":[{"id":"9786","status":"public","relation":"research_data"}]},"external_id":{"isi":["000481577700032"]},"isi":1,"year":"2019","status":"public","publication":"PLoS Computational Biology","project":[{"name":"Effects of Stochasticity on the Function of Restriction-Modi cation Systems at the Single-Cell Level","grant_number":"24210","_id":"251D65D8-B435-11E9-9278-68D0E5697425"},{"_id":"251BCBEC-B435-11E9-9278-68D0E5697425","grant_number":"RGY0079/2011","name":"Multi-Level Conflicts in Evolutionary Dynamics of Restriction-Modification Systems"}],"date_published":"2019-07-02T00:00:00Z","publisher":"Public Library of Science","article_processing_charge":"No","doi":"10.1371/journal.pcbi.1007168","type":"journal_article","_id":"6784","date_updated":"2023-08-29T07:10:06Z","ddc":["570"],"quality_controlled":"1"},{"external_id":{"arxiv":["1807.11238"],"isi":["000467402900001"]},"year":"2019","isi":1,"date_published":"2019-05-08T00:00:00Z","publication":"Physical Review X","status":"public","project":[{"_id":"26031614-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Quantum rotations in the presence of a many-body environment","grant_number":"P29902"}],"type":"journal_article","_id":"6786","date_updated":"2024-02-28T13:12:48Z","publisher":"American Physical Society","article_processing_charge":"No","doi":"10.1103/PhysRevX.9.021026","quality_controlled":"1","ddc":["530"],"article_number":"021026","file":[{"creator":"dernst","date_updated":"2020-07-14T12:47:40Z","file_size":1193550,"date_created":"2019-08-12T12:14:18Z","file_id":"6802","content_type":"application/pdf","access_level":"open_access","file_name":"2019_PhysReviewX_Hubert.pdf","checksum":"065ff82ee4a1d2c3773ce4b76ff4213c","relation":"main_file"}],"department":[{"_id":"MiLe"}],"arxiv":1,"month":"05","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"short":"C. Hubert, Y. Baruchi, Y. Mazuz-Harpaz, K. Cohen, K. Biermann, M. Lemeshko, K. West, L. Pfeiffer, R. Rapaport, P. Santos, Physical Review X 9 (2019).","ieee":"C. Hubert <i>et al.</i>, “Attractive dipolar coupling between stacked exciton fluids,” <i>Physical Review X</i>, vol. 9, no. 2. American Physical Society, 2019.","ama":"Hubert C, Baruchi Y, Mazuz-Harpaz Y, et al. Attractive dipolar coupling between stacked exciton fluids. <i>Physical Review X</i>. 2019;9(2). doi:<a href=\"https://doi.org/10.1103/PhysRevX.9.021026\">10.1103/PhysRevX.9.021026</a>","mla":"Hubert, Colin, et al. “Attractive Dipolar Coupling between Stacked Exciton Fluids.” <i>Physical Review X</i>, vol. 9, no. 2, 021026, American Physical Society, 2019, doi:<a href=\"https://doi.org/10.1103/PhysRevX.9.021026\">10.1103/PhysRevX.9.021026</a>.","apa":"Hubert, C., Baruchi, Y., Mazuz-Harpaz, Y., Cohen, K., Biermann, K., Lemeshko, M., … Santos, P. (2019). Attractive dipolar coupling between stacked exciton fluids. <i>Physical Review X</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevX.9.021026\">https://doi.org/10.1103/PhysRevX.9.021026</a>","ista":"Hubert C, Baruchi Y, Mazuz-Harpaz Y, Cohen K, Biermann K, Lemeshko M, West K, Pfeiffer L, Rapaport R, Santos P. 2019. Attractive dipolar coupling between stacked exciton fluids. Physical Review X. 9(2), 021026.","chicago":"Hubert, Colin, Yifat Baruchi, Yotam Mazuz-Harpaz, Kobi Cohen, Klaus Biermann, Mikhail Lemeshko, Ken West, Loren Pfeiffer, Ronen Rapaport, and Paulo Santos. “Attractive Dipolar Coupling between Stacked Exciton Fluids.” <i>Physical Review X</i>. American Physical Society, 2019. <a href=\"https://doi.org/10.1103/PhysRevX.9.021026\">https://doi.org/10.1103/PhysRevX.9.021026</a>."},"issue":"2","language":[{"iso":"eng"}],"oa":1,"date_created":"2019-08-11T21:59:20Z","article_type":"original","volume":9,"title":"Attractive dipolar coupling between stacked exciton fluids","oa_version":"Published Version","day":"08","scopus_import":"1","author":[{"last_name":"Hubert","full_name":"Hubert, Colin","first_name":"Colin"},{"last_name":"Baruchi","full_name":"Baruchi, Yifat","first_name":"Yifat"},{"last_name":"Mazuz-Harpaz","full_name":"Mazuz-Harpaz, Yotam","first_name":"Yotam"},{"last_name":"Cohen","full_name":"Cohen, Kobi","first_name":"Kobi"},{"last_name":"Biermann","full_name":"Biermann, Klaus","first_name":"Klaus"},{"id":"37CB05FA-F248-11E8-B48F-1D18A9856A87","full_name":"Lemeshko, Mikhail","last_name":"Lemeshko","orcid":"0000-0002-6990-7802","first_name":"Mikhail"},{"full_name":"West, Ken","last_name":"West","first_name":"Ken"},{"first_name":"Loren","full_name":"Pfeiffer, Loren","last_name":"Pfeiffer"},{"last_name":"Rapaport","full_name":"Rapaport, Ronen","first_name":"Ronen"},{"first_name":"Paulo","full_name":"Santos, Paulo","last_name":"Santos"}],"file_date_updated":"2020-07-14T12:47:40Z","publication_identifier":{"eissn":["2160-3308"]},"publication_status":"published","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"intvolume":"         9","abstract":[{"lang":"eng","text":"Dipolar coupling plays a fundamental role in the interaction between electrically or magnetically polarized species such as magnetic atoms and dipolar molecules in a gas or dipolar excitons in the solid state. Unlike Coulomb or contactlike interactions found in many atomic, molecular, and condensed-matter systems, this interaction is long-ranged and highly anisotropic, as it changes from repulsive to attractive depending on the relative positions and orientation of the dipoles. Because of this unique property, many exotic, symmetry-breaking collective states have been recently predicted for cold dipolar gases, but only a few have been experimentally detected and only in dilute atomic dipolar Bose-Einstein condensates. Here, we report on the first observation of attractive dipolar coupling between excitonic dipoles using a new design of stacked semiconductor bilayers. We show that the presence of a dipolar exciton fluid in one bilayer modifies the spatial distribution and increases the binding energy of excitonic dipoles in a vertically remote layer. The binding energy changes are explained using a many-body polaron model describing the deformation of the exciton cloud due to its interaction with a remote dipolar exciton. The surprising nonmonotonic dependence on the cloud density indicates the important role of dipolar correlations, which is unique to dense, strongly interacting dipolar solid-state systems. Our concept provides a route for the realization of dipolar lattices with strong anisotropic interactions in semiconductor systems, which open the way for the observation of theoretically predicted new and exotic collective phases, as well as for engineering and sensing their collective excitations."}],"has_accepted_license":"1"},{"external_id":{"isi":["000487036900008"],"arxiv":["1807.06781"]},"year":"2019","isi":1,"publication":"Annales Henri Poincare","status":"public","project":[{"grant_number":"694227","name":"Analysis of quantum many-body systems","call_identifier":"H2020","_id":"25C6DC12-B435-11E9-9278-68D0E5697425"},{"_id":"B67AFEDC-15C9-11EA-A837-991A96BB2854","name":"IST Austria Open Access Fund"}],"date_published":"2019-10-01T00:00:00Z","ec_funded":1,"publisher":"Springer Nature","article_processing_charge":"Yes (via OA deal)","doi":"10.1007/s00023-019-00828-w","type":"journal_article","_id":"6788","date_updated":"2023-08-29T07:09:06Z","ddc":["510"],"page":"3471–3508","quality_controlled":"1","arxiv":1,"month":"10","file":[{"creator":"dernst","date_updated":"2020-07-14T12:47:40Z","date_created":"2019-08-12T12:05:58Z","file_size":681139,"file_id":"6801","access_level":"open_access","content_type":"application/pdf","file_name":"2019_AnnalesHenriPoincare_Leopold.pdf","checksum":"b6dbf0d837d809293d449adf77138904","relation":"main_file"}],"department":[{"_id":"RoSe"}],"language":[{"iso":"eng"}],"oa":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"chicago":"Leopold, Nikolai K, and Sören P Petrat. “Mean-Field Dynamics for the Nelson Model with Fermions.” <i>Annales Henri Poincare</i>. Springer Nature, 2019. <a href=\"https://doi.org/10.1007/s00023-019-00828-w\">https://doi.org/10.1007/s00023-019-00828-w</a>.","ista":"Leopold NK, Petrat SP. 2019. Mean-field dynamics for the Nelson model with fermions. Annales Henri Poincare. 20(10), 3471–3508.","apa":"Leopold, N. K., &#38; Petrat, S. P. (2019). Mean-field dynamics for the Nelson model with fermions. <i>Annales Henri Poincare</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00023-019-00828-w\">https://doi.org/10.1007/s00023-019-00828-w</a>","mla":"Leopold, Nikolai K., and Sören P. Petrat. “Mean-Field Dynamics for the Nelson Model with Fermions.” <i>Annales Henri Poincare</i>, vol. 20, no. 10, Springer Nature, 2019, pp. 3471–3508, doi:<a href=\"https://doi.org/10.1007/s00023-019-00828-w\">10.1007/s00023-019-00828-w</a>.","ama":"Leopold NK, Petrat SP. Mean-field dynamics for the Nelson model with fermions. <i>Annales Henri Poincare</i>. 2019;20(10):3471–3508. doi:<a href=\"https://doi.org/10.1007/s00023-019-00828-w\">10.1007/s00023-019-00828-w</a>","ieee":"N. K. Leopold and S. P. Petrat, “Mean-field dynamics for the Nelson model with fermions,” <i>Annales Henri Poincare</i>, vol. 20, no. 10. Springer Nature, pp. 3471–3508, 2019.","short":"N.K. Leopold, S.P. Petrat, Annales Henri Poincare 20 (2019) 3471–3508."},"issue":"10","oa_version":"Published Version","title":"Mean-field dynamics for the Nelson model with fermions","day":"01","scopus_import":"1","author":[{"last_name":"Leopold","id":"4BC40BEC-F248-11E8-B48F-1D18A9856A87","full_name":"Leopold, Nikolai K","first_name":"Nikolai K","orcid":"0000-0002-0495-6822"},{"full_name":"Petrat, Sören P","id":"40AC02DC-F248-11E8-B48F-1D18A9856A87","last_name":"Petrat","first_name":"Sören P","orcid":"0000-0002-9166-5889"}],"date_created":"2019-08-11T21:59:21Z","article_type":"original","volume":20,"intvolume":"        20","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","image":"/images/cc_by.png","short":"CC BY (4.0)"},"abstract":[{"lang":"eng","text":"We consider the Nelson model with ultraviolet cutoff, which describes the interaction between non-relativistic particles and a positive or zero mass quantized scalar field. We take the non-relativistic particles to obey Fermi statistics and discuss the time evolution in a mean-field limit of many fermions. In this case, the limit is known to be also a semiclassical limit. We prove convergence in terms of reduced density matrices of the many-body state to a tensor product of a Slater determinant with semiclassical structure and a coherent state, which evolve according to a fermionic version of the Schrödinger–Klein–Gordon equations."}],"has_accepted_license":"1","file_date_updated":"2020-07-14T12:47:40Z","publication_identifier":{"issn":["1424-0637"],"eissn":["1424-0661"]},"publication_status":"published"},{"publication_identifier":{"eissn":["14692120"],"issn":["00246093"]},"publication_status":"published","intvolume":"        51","abstract":[{"lang":"eng","text":"The Regge symmetry is a set of remarkable relations between two tetrahedra whose edge lengths are related in a simple fashion. It was first discovered as a consequence of an asymptotic formula in mathematical physics. Here, we give a simple geometric proof of Regge symmetries in Euclidean, spherical, and hyperbolic geometry."}],"date_created":"2019-08-11T21:59:23Z","article_type":"original","volume":51,"oa_version":"Preprint","title":"The Regge symmetry, confocal conics, and the Schläfli formula","day":"01","scopus_import":"1","author":[{"last_name":"Akopyan","id":"430D2C90-F248-11E8-B48F-1D18A9856A87","full_name":"Akopyan, Arseniy","orcid":"0000-0002-2548-617X","first_name":"Arseniy"},{"last_name":"Izmestiev","full_name":"Izmestiev, Ivan","first_name":"Ivan"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","citation":{"ama":"Akopyan A, Izmestiev I. The Regge symmetry, confocal conics, and the Schläfli formula. <i>Bulletin of the London Mathematical Society</i>. 2019;51(5):765-775. doi:<a href=\"https://doi.org/10.1112/blms.12276\">10.1112/blms.12276</a>","ieee":"A. Akopyan and I. Izmestiev, “The Regge symmetry, confocal conics, and the Schläfli formula,” <i>Bulletin of the London Mathematical Society</i>, vol. 51, no. 5. London Mathematical Society, pp. 765–775, 2019.","short":"A. Akopyan, I. Izmestiev, Bulletin of the London Mathematical Society 51 (2019) 765–775.","ista":"Akopyan A, Izmestiev I. 2019. The Regge symmetry, confocal conics, and the Schläfli formula. Bulletin of the London Mathematical Society. 51(5), 765–775.","chicago":"Akopyan, Arseniy, and Ivan Izmestiev. “The Regge Symmetry, Confocal Conics, and the Schläfli Formula.” <i>Bulletin of the London Mathematical Society</i>. London Mathematical Society, 2019. <a href=\"https://doi.org/10.1112/blms.12276\">https://doi.org/10.1112/blms.12276</a>.","apa":"Akopyan, A., &#38; Izmestiev, I. (2019). The Regge symmetry, confocal conics, and the Schläfli formula. <i>Bulletin of the London Mathematical Society</i>. London Mathematical Society. <a href=\"https://doi.org/10.1112/blms.12276\">https://doi.org/10.1112/blms.12276</a>","mla":"Akopyan, Arseniy, and Ivan Izmestiev. “The Regge Symmetry, Confocal Conics, and the Schläfli Formula.” <i>Bulletin of the London Mathematical Society</i>, vol. 51, no. 5, London Mathematical Society, 2019, pp. 765–75, doi:<a href=\"https://doi.org/10.1112/blms.12276\">10.1112/blms.12276</a>."},"issue":"5","language":[{"iso":"eng"}],"oa":1,"department":[{"_id":"HeEd"}],"arxiv":1,"month":"10","quality_controlled":"1","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/1903.04929"}],"page":"765-775","type":"journal_article","_id":"6793","date_updated":"2023-08-29T07:08:34Z","publisher":"London Mathematical Society","article_processing_charge":"No","doi":"10.1112/blms.12276","date_published":"2019-10-01T00:00:00Z","ec_funded":1,"status":"public","publication":"Bulletin of the London Mathematical Society","project":[{"call_identifier":"H2020","name":"Alpha Shape Theory Extended","grant_number":"788183","_id":"266A2E9E-B435-11E9-9278-68D0E5697425"}],"external_id":{"isi":["000478560200001"],"arxiv":["1903.04929"]},"year":"2019","isi":1}]