[{"file":[{"file_size":381306,"date_created":"2021-06-28T20:23:13Z","content_type":"application/pdf","success":1,"access_level":"open_access","date_updated":"2021-06-28T20:23:13Z","relation":"main_file","file_id":"9616","creator":"mdvorak","file_name":"Convex-Grabbing-Game_CCCG_proc_version.pdf","checksum":"45accb1de9b7e0e4bb2fbfe5fd3e6239"},{"file_name":"Convex-Grabbing-Game_FULL-VERSION.pdf","checksum":"9199cf18c65658553487458cc24d0ab2","date_updated":"2021-08-12T10:57:21Z","relation":"main_file","creator":"kschuh","file_id":"9902","access_level":"open_access","file_size":403645,"date_created":"2021-08-12T10:57:21Z","success":1,"content_type":"application/pdf"}],"conference":{"location":"Halifax, NS, Canada; Virtual","end_date":"2021-08-12","start_date":"2021-08-10","name":"CCCG: Canadian Conference on Computational Geometry"},"publication_status":"published","title":"Massively winning configurations in the convex grabbing game on the plane","date_created":"2021-06-22T15:57:11Z","oa_version":"Published Version","keyword":["convex grabbing game","graph grabbing game","combinatorial game","convex geometry"],"arxiv":1,"author":[{"orcid":"0000-0001-5293-214X","id":"40ED02A8-C8B4-11E9-A9C0-453BE6697425","first_name":"Martin","full_name":"Dvorak, Martin","last_name":"Dvorak"},{"first_name":"Sara","last_name":"Nicholson","full_name":"Nicholson, Sara"}],"month":"06","department":[{"_id":"GradSch"},{"_id":"VlKo"}],"oa":1,"article_processing_charge":"No","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by-nd/4.0/legalcode","name":"Creative Commons Attribution-NoDerivatives 4.0 International (CC BY-ND 4.0)","short":"CC BY-ND (4.0)","image":"/image/cc_by_nd.png"},"publisher":"Canadian Conference on Computational Geometry","day":"29","citation":{"ista":"Dvorak M, Nicholson S. 2021. Massively winning configurations in the convex grabbing game on the plane. Proceedings of the 33rd Canadian Conference on Computational Geometry. CCCG: Canadian Conference on Computational Geometry.","ama":"Dvorak M, Nicholson S. Massively winning configurations in the convex grabbing game on the plane. In: <i>Proceedings of the 33rd Canadian Conference on Computational Geometry</i>. Canadian Conference on Computational Geometry; 2021.","chicago":"Dvorak, Martin, and Sara Nicholson. “Massively Winning Configurations in the Convex Grabbing Game on the Plane.” In <i>Proceedings of the 33rd Canadian Conference on Computational Geometry</i>. Canadian Conference on Computational Geometry, 2021.","ieee":"M. Dvorak and S. Nicholson, “Massively winning configurations in the convex grabbing game on the plane,” in <i>Proceedings of the 33rd Canadian Conference on Computational Geometry</i>, Halifax, NS, Canada; Virtual, 2021.","short":"M. Dvorak, S. Nicholson, in:, Proceedings of the 33rd Canadian Conference on Computational Geometry, Canadian Conference on Computational Geometry, 2021.","mla":"Dvorak, Martin, and Sara Nicholson. “Massively Winning Configurations in the Convex Grabbing Game on the Plane.” <i>Proceedings of the 33rd Canadian Conference on Computational Geometry</i>, Canadian Conference on Computational Geometry, 2021.","apa":"Dvorak, M., &#38; Nicholson, S. (2021). Massively winning configurations in the convex grabbing game on the plane. In <i>Proceedings of the 33rd Canadian Conference on Computational Geometry</i>. Halifax, NS, Canada; Virtual: Canadian Conference on Computational Geometry."},"has_accepted_license":"1","external_id":{"arxiv":["2106.11247"]},"language":[{"iso":"eng"}],"_id":"9592","abstract":[{"lang":"eng","text":"The convex grabbing game is a game where two players, Alice and Bob, alternate taking extremal points from the convex hull of a point set on the plane. Rational weights are given to the points. The goal of each player is to maximize the total weight over all points that they obtain. We restrict the setting to the case of binary weights. We show a construction of an arbitrarily large odd-sized point set that allows Bob to obtain almost 3/4 of the total weight. This construction answers a question asked by Matsumoto, Nakamigawa, and Sakuma in [Graphs and Combinatorics, 36/1 (2020)]. We also present an arbitrarily large even-sized point set where Bob can obtain the entirety of the total weight. Finally, we discuss conjectures about optimum moves in the convex grabbing game for both players in general."}],"quality_controlled":"1","type":"conference","date_published":"2021-06-29T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["516"],"year":"2021","date_updated":"2025-05-14T11:23:45Z","publication":"Proceedings of the 33rd Canadian Conference on Computational Geometry","file_date_updated":"2021-08-12T10:57:21Z","license":"https://creativecommons.org/licenses/by-nd/4.0/","status":"public"},{"intvolume":"       151","ddc":["510"],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","year":"2021","date_published":"2021-06-09T00:00:00Z","external_id":{"isi":["000702280800002"]},"language":[{"iso":"eng"}],"_id":"9602","abstract":[{"text":"An ordered graph is a graph with a linear ordering on its vertex set. We prove that for every positive integer k, there exists a constant ck > 0 such that any ordered graph G on n vertices with the property that neither G nor its complement contains an induced monotone path of size k, has either a clique or an independent set of size at least n^ck . This strengthens a result of Bousquet, Lagoutte, and Thomassé, who proved the analogous result for unordered graphs.\r\nA key idea of the above paper was to show that any unordered graph on n vertices that does not contain an induced path of size k, and whose maximum degree is at most c(k)n for some small c(k) > 0, contains two disjoint linear size subsets with no edge between them. This approach fails for ordered graphs, because the analogous statement is false for k ≥ 3, by a construction of Fox. We provide some further examples showing that this statement also fails for ordered graphs avoiding other ordered trees.","lang":"eng"}],"quality_controlled":"1","type":"journal_article","day":"09","citation":{"mla":"Pach, János, and István Tomon. “Erdős-Hajnal-Type Results for Monotone Paths.” <i>Journal of Combinatorial Theory. Series B</i>, vol. 151, Elsevier, 2021, pp. 21–37, doi:<a href=\"https://doi.org/10.1016/j.jctb.2021.05.004\">10.1016/j.jctb.2021.05.004</a>.","ieee":"J. Pach and I. Tomon, “Erdős-Hajnal-type results for monotone paths,” <i>Journal of Combinatorial Theory. Series B</i>, vol. 151. Elsevier, pp. 21–37, 2021.","short":"J. Pach, I. Tomon, Journal of Combinatorial Theory. Series B 151 (2021) 21–37.","apa":"Pach, J., &#38; Tomon, I. (2021). Erdős-Hajnal-type results for monotone paths. <i>Journal of Combinatorial Theory. Series B</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.jctb.2021.05.004\">https://doi.org/10.1016/j.jctb.2021.05.004</a>","ama":"Pach J, Tomon I. Erdős-Hajnal-type results for monotone paths. <i>Journal of Combinatorial Theory Series B</i>. 2021;151:21-37. doi:<a href=\"https://doi.org/10.1016/j.jctb.2021.05.004\">10.1016/j.jctb.2021.05.004</a>","ista":"Pach J, Tomon I. 2021. Erdős-Hajnal-type results for monotone paths. Journal of Combinatorial Theory. Series B. 151, 21–37.","chicago":"Pach, János, and István Tomon. “Erdős-Hajnal-Type Results for Monotone Paths.” <i>Journal of Combinatorial Theory. Series B</i>. Elsevier, 2021. <a href=\"https://doi.org/10.1016/j.jctb.2021.05.004\">https://doi.org/10.1016/j.jctb.2021.05.004</a>."},"has_accepted_license":"1","status":"public","page":"21-37","license":"https://creativecommons.org/licenses/by/4.0/","scopus_import":"1","file_date_updated":"2021-06-28T13:33:23Z","date_updated":"2025-04-15T07:16:52Z","publication":"Journal of Combinatorial Theory. Series B","isi":1,"publication_identifier":{"issn":["0095-8956"]},"title":"Erdős-Hajnal-type results for monotone paths","date_created":"2021-06-27T22:01:47Z","oa_version":"Published Version","publication_status":"published","file":[{"success":1,"content_type":"application/pdf","date_created":"2021-06-28T13:33:23Z","file_size":418168,"access_level":"open_access","relation":"main_file","file_id":"9612","date_updated":"2021-06-28T13:33:23Z","creator":"asandaue","checksum":"15fbc9064cd9d1c777ac0043b78c8f12","file_name":"2021_JournalOfCombinatorialTheory_Pach.pdf"}],"article_processing_charge":"No","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"corr_author":"1","publisher":"Elsevier","doi":"10.1016/j.jctb.2021.05.004","oa":1,"acknowledgement":"We would like to thank the anonymous referees for their useful comments and suggestions. János Pach is partially supported by Austrian Science Fund (FWF) grant Z 342-N31 and by ERC Advanced grant “GeoScape.” István Tomon is partially supported by Swiss National Science Foundation grant no. 200021_196965, and thanks the support of MIPT Moscow. Both authors are partially supported by The Russian Government in the framework of MegaGrant no. 075-15-2019-1926.","volume":151,"author":[{"full_name":"Pach, János","last_name":"Pach","first_name":"János","id":"E62E3130-B088-11EA-B919-BF823C25FEA4"},{"full_name":"Tomon, István","last_name":"Tomon","first_name":"István"}],"month":"06","department":[{"_id":"HeEd"}],"article_type":"original","project":[{"grant_number":"Z00342","call_identifier":"FWF","_id":"268116B8-B435-11E9-9278-68D0E5697425","name":"Mathematics, Computer Science"}]},{"date_updated":"2025-07-10T12:01:56Z","publication":"Leibniz International Proceedings in Informatics","file_date_updated":"2021-06-28T13:11:39Z","ec_funded":1,"scopus_import":"1","status":"public","citation":{"ista":"Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. 2021. Counting cells of order-k voronoi tessellations in ℝ<sup>3</sup> with morse theory. Leibniz International Proceedings in Informatics. SoCG: International Symposium on Computational Geometry, LIPIcs, vol. 189, 16.","ama":"Biswas R, Cultrera di Montesano S, Edelsbrunner H, Saghafian M. Counting cells of order-k voronoi tessellations in ℝ<sup>3</sup> with morse theory. In: <i>Leibniz International Proceedings in Informatics</i>. Vol 189. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2021.16\">10.4230/LIPIcs.SoCG.2021.16</a>","chicago":"Biswas, Ranita, Sebastiano Cultrera di Montesano, Herbert Edelsbrunner, and Morteza Saghafian. “Counting Cells of Order-k Voronoi Tessellations in ℝ<sup>3</sup> with Morse Theory.” In <i>Leibniz International Proceedings in Informatics</i>, Vol. 189. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2021.16\">https://doi.org/10.4230/LIPIcs.SoCG.2021.16</a>.","short":"R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, M. Saghafian, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.","ieee":"R. Biswas, S. Cultrera di Montesano, H. Edelsbrunner, and M. Saghafian, “Counting cells of order-k voronoi tessellations in ℝ<sup>3</sup> with morse theory,” in <i>Leibniz International Proceedings in Informatics</i>, Online, 2021, vol. 189.","mla":"Biswas, Ranita, et al. “Counting Cells of Order-k Voronoi Tessellations in ℝ<sup>3</sup> with Morse Theory.” <i>Leibniz International Proceedings in Informatics</i>, vol. 189, 16, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2021.16\">10.4230/LIPIcs.SoCG.2021.16</a>.","apa":"Biswas, R., Cultrera di Montesano, S., Edelsbrunner, H., &#38; Saghafian, M. (2021). Counting cells of order-k voronoi tessellations in ℝ<sup>3</sup> with morse theory. In <i>Leibniz International Proceedings in Informatics</i> (Vol. 189). Online: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2021.16\">https://doi.org/10.4230/LIPIcs.SoCG.2021.16</a>"},"day":"02","has_accepted_license":"1","language":[{"iso":"eng"}],"_id":"9604","abstract":[{"text":"Generalizing Lee’s inductive argument for counting the cells of higher order Voronoi tessellations in ℝ² to ℝ³, we get precise relations in terms of Morse theoretic quantities for piecewise constant functions on planar arrangements. Specifically, we prove that for a generic set of n ≥ 5 points in ℝ³, the number of regions in the order-k Voronoi tessellation is N_{k-1} - binom(k,2)n + n, for 1 ≤ k ≤ n-1, in which N_{k-1} is the sum of Euler characteristics of these function’s first k-1 sublevel sets. We get similar expressions for the vertices, edges, and polygons of the order-k Voronoi tessellation.","lang":"eng"}],"quality_controlled":"1","type":"conference","date_published":"2021-06-02T00:00:00Z","intvolume":"       189","article_number":"16","ddc":["516"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2021","volume":189,"author":[{"orcid":"0000-0002-5372-7890","id":"3C2B033E-F248-11E8-B48F-1D18A9856A87","first_name":"Ranita","last_name":"Biswas","full_name":"Biswas, Ranita"},{"last_name":"Cultrera di Montesano","full_name":"Cultrera di Montesano, Sebastiano","orcid":"0000-0001-6249-0832","id":"34D2A09C-F248-11E8-B48F-1D18A9856A87","first_name":"Sebastiano"},{"first_name":"Herbert","id":"3FB178DA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-9823-6833","last_name":"Edelsbrunner","full_name":"Edelsbrunner, Herbert"},{"full_name":"Saghafian, Morteza","last_name":"Saghafian","first_name":"Morteza"}],"month":"06","department":[{"_id":"HeEd"}],"project":[{"grant_number":"788183","_id":"266A2E9E-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","name":"Alpha Shape Theory Extended"},{"_id":"268116B8-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","grant_number":"Z00342","name":"Mathematics, Computer Science"},{"name":"Persistent Homology, Algorithms and Stochastic Geometry","grant_number":"I4887","_id":"0aa4bc98-070f-11eb-9043-e6fff9c6a316"}],"oa":1,"doi":"10.4230/LIPIcs.SoCG.2021.16","article_processing_charge":"No","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","file":[{"file_name":"2021_LIPIcs_Biswas.pdf","checksum":"22b11a719018b22ecba2471b51f2eb40","file_id":"9611","date_updated":"2021-06-28T13:11:39Z","relation":"main_file","creator":"asandaue","access_level":"open_access","date_created":"2021-06-28T13:11:39Z","file_size":727817,"content_type":"application/pdf","success":1}],"conference":{"end_date":"2021-06-11","location":"Online","name":"SoCG: International Symposium on Computational Geometry","start_date":"2021-06-07"},"publication_status":"published","alternative_title":["LIPIcs"],"title":"Counting cells of order-k voronoi tessellations in ℝ<sup>3</sup> with morse theory","date_created":"2021-06-27T22:01:48Z","oa_version":"Published Version","publication_identifier":{"isbn":["9783959771849"],"issn":["1868-8969"]}},{"publication_identifier":{"isbn":["9783959771849"],"issn":["1868-8969"]},"arxiv":1,"oa_version":"Published Version","date_created":"2021-06-27T22:01:49Z","alternative_title":["LIPIcs"],"title":"Computing the multicover bifiltration","publication_status":"published","conference":{"location":"Online","end_date":"2021-06-11","start_date":"2021-06-07","name":"SoCG: International Symposium on Computational Geometry"},"file":[{"success":1,"content_type":"application/pdf","file_size":"1367983","date_created":"2021-06-28T12:40:47Z","access_level":"open_access","creator":"cziletti","date_updated":"2021-06-28T12:40:47Z","file_id":"9610","relation":"main_file","checksum":"0de217501e7ba8b267d58deed0d51761","file_name":"2021_LIPIcs_Corbet.pdf"}],"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","article_processing_charge":"No","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"related_material":{"record":[{"relation":"later_version","id":"12709","status":"public"}],"link":[{"url":"https://arxiv.org/abs/2103.07823","relation":"extended_version"}]},"doi":"10.4230/LIPIcs.SoCG.2021.27","oa":1,"acknowledgement":"The authors want to thank the reviewers for many helpful comments and suggestions.","month":"06","department":[{"_id":"HeEd"}],"volume":189,"author":[{"last_name":"Corbet","full_name":"Corbet, René","first_name":"René"},{"full_name":"Kerber, Michael","last_name":"Kerber","first_name":"Michael"},{"first_name":"Michael","full_name":"Lesnick, Michael","last_name":"Lesnick"},{"full_name":"Osang, Georg F","last_name":"Osang","first_name":"Georg F","id":"464B40D6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8882-5116"}],"ddc":["516"],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2021","intvolume":"       189","article_number":"27","date_published":"2021-06-02T00:00:00Z","quality_controlled":"1","type":"conference","external_id":{"arxiv":["2103.07823"]},"_id":"9605","abstract":[{"lang":"eng","text":"Given a finite set A ⊂ ℝ^d, let Cov_{r,k} denote the set of all points within distance r to at least k points of A. Allowing r and k to vary, we obtain a 2-parameter family of spaces that grow larger when r increases or k decreases, called the multicover bifiltration. Motivated by the problem of computing the homology of this bifiltration, we introduce two closely related combinatorial bifiltrations, one polyhedral and the other simplicial, which are both topologically equivalent to the multicover bifiltration and far smaller than a Čech-based model considered in prior work of Sheehy. Our polyhedral construction is a bifiltration of the rhomboid tiling of Edelsbrunner and Osang, and can be efficiently computed using a variant of an algorithm given by these authors as well. Using an implementation for dimension 2 and 3, we provide experimental results. Our simplicial construction is useful for understanding the polyhedral construction and proving its correctness. "}],"language":[{"iso":"eng"}],"citation":{"short":"R. Corbet, M. Kerber, M. Lesnick, G.F. Osang, in:, Leibniz International Proceedings in Informatics, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.","ieee":"R. Corbet, M. Kerber, M. Lesnick, and G. F. Osang, “Computing the multicover bifiltration,” in <i>Leibniz International Proceedings in Informatics</i>, Online, 2021, vol. 189.","mla":"Corbet, René, et al. “Computing the Multicover Bifiltration.” <i>Leibniz International Proceedings in Informatics</i>, vol. 189, 27, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2021.27\">10.4230/LIPIcs.SoCG.2021.27</a>.","apa":"Corbet, R., Kerber, M., Lesnick, M., &#38; Osang, G. F. (2021). Computing the multicover bifiltration. In <i>Leibniz International Proceedings in Informatics</i> (Vol. 189). Online: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2021.27\">https://doi.org/10.4230/LIPIcs.SoCG.2021.27</a>","ista":"Corbet R, Kerber M, Lesnick M, Osang GF. 2021. Computing the multicover bifiltration. Leibniz International Proceedings in Informatics. SoCG: International Symposium on Computational Geometry, LIPIcs, vol. 189, 27.","ama":"Corbet R, Kerber M, Lesnick M, Osang GF. Computing the multicover bifiltration. In: <i>Leibniz International Proceedings in Informatics</i>. Vol 189. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:<a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2021.27\">10.4230/LIPIcs.SoCG.2021.27</a>","chicago":"Corbet, René, Michael Kerber, Michael Lesnick, and Georg F Osang. “Computing the Multicover Bifiltration.” In <i>Leibniz International Proceedings in Informatics</i>, Vol. 189. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. <a href=\"https://doi.org/10.4230/LIPIcs.SoCG.2021.27\">https://doi.org/10.4230/LIPIcs.SoCG.2021.27</a>."},"day":"02","has_accepted_license":"1","status":"public","scopus_import":"1","file_date_updated":"2021-06-28T12:40:47Z","publication":"Leibniz International Proceedings in Informatics","date_updated":"2025-07-10T12:01:57Z"},{"issue":"6","scopus_import":"1","status":"public","date_updated":"2025-07-10T12:01:58Z","publication":"Physical Review A","isi":1,"date_published":"2021-06-01T00:00:00Z","main_file_link":[{"url":"https://arxiv.org/abs/2009.06491","open_access":"1"}],"intvolume":"       103","article_number":"L061303","year":"2021","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","day":"01","citation":{"ista":"Tononi A, Cappellaro A, Bighin G, Salasnich L. 2021. Propagation of first and second sound in a two-dimensional Fermi superfluid. Physical Review A. 103(6), L061303.","ama":"Tononi A, Cappellaro A, Bighin G, Salasnich L. Propagation of first and second sound in a two-dimensional Fermi superfluid. <i>Physical Review A</i>. 2021;103(6). doi:<a href=\"https://doi.org/10.1103/PhysRevA.103.L061303\">10.1103/PhysRevA.103.L061303</a>","chicago":"Tononi, A., Alberto Cappellaro, Giacomo Bighin, and L. Salasnich. “Propagation of First and Second Sound in a Two-Dimensional Fermi Superfluid.” <i>Physical Review A</i>. American Physical Society, 2021. <a href=\"https://doi.org/10.1103/PhysRevA.103.L061303\">https://doi.org/10.1103/PhysRevA.103.L061303</a>.","short":"A. Tononi, A. Cappellaro, G. Bighin, L. Salasnich, Physical Review A 103 (2021).","ieee":"A. Tononi, A. Cappellaro, G. Bighin, and L. Salasnich, “Propagation of first and second sound in a two-dimensional Fermi superfluid,” <i>Physical Review A</i>, vol. 103, no. 6. American Physical Society, 2021.","mla":"Tononi, A., et al. “Propagation of First and Second Sound in a Two-Dimensional Fermi Superfluid.” <i>Physical Review A</i>, vol. 103, no. 6, L061303, American Physical Society, 2021, doi:<a href=\"https://doi.org/10.1103/PhysRevA.103.L061303\">10.1103/PhysRevA.103.L061303</a>.","apa":"Tononi, A., Cappellaro, A., Bighin, G., &#38; Salasnich, L. (2021). Propagation of first and second sound in a two-dimensional Fermi superfluid. <i>Physical Review A</i>. American Physical Society. <a href=\"https://doi.org/10.1103/PhysRevA.103.L061303\">https://doi.org/10.1103/PhysRevA.103.L061303</a>"},"_id":"9606","abstract":[{"text":"Sound propagation is a macroscopic manifestation of the interplay between the equilibrium thermodynamics and the dynamical transport properties of fluids. Here, for a two-dimensional system of ultracold fermions, we calculate the first and second sound velocities across the whole BCS-BEC crossover, and we analyze the system response to an external perturbation. In the low-temperature regime we reproduce the recent measurements [Phys. Rev. Lett. 124, 240403 (2020)] of the first sound velocity, which, due to the decoupling of density and entropy fluctuations, is the sole mode excited by a density probe. Conversely, a heat perturbation excites only the second sound, which, being sensitive to the superfluid depletion, vanishes in the deep BCS regime and jumps discontinuously to zero at the Berezinskii-Kosterlitz-Thouless superfluid transition. A mixing between the modes occurs only in the finite-temperature BEC regime, where our theory converges to the purely bosonic results.","lang":"eng"}],"language":[{"iso":"eng"}],"external_id":{"isi":["000662296700014"],"arxiv":["2009.06491"]},"type":"journal_article","quality_controlled":"1","article_processing_charge":"No","publisher":"American Physical Society","volume":103,"author":[{"last_name":"Tononi","full_name":"Tononi, A.","first_name":"A."},{"orcid":"0000-0001-6110-2359","first_name":"Alberto","id":"9d13b3cb-30a2-11eb-80dc-f772505e8660","full_name":"Cappellaro, Alberto","last_name":"Cappellaro"},{"id":"4CA96FD4-F248-11E8-B48F-1D18A9856A87","first_name":"Giacomo","orcid":"0000-0001-8823-9777","full_name":"Bighin, Giacomo","last_name":"Bighin"},{"last_name":"Salasnich","full_name":"Salasnich, L.","first_name":"L."}],"article_type":"letter_note","month":"06","department":[{"_id":"MiLe"}],"acknowledgement":"G.B. acknowledges support from the Austrian Science Fund (FWF), under Project No. M2641-N27. This work was\r\npartially supported by the University of Padua, BIRD project “Superfluid properties of Fermi gases in optical potentials.”\r\nThe authors thank Miki Ota, Tomoki Ozawa, Sandro Stringari, Tilman Enss, Hauke Biss, Henning Moritz, and Nicolò Defenu for fruitful discussions. The authors thank Henning Moritz and Markus Bohlen for providing their experimental\r\ndata.","oa":1,"doi":"10.1103/PhysRevA.103.L061303","title":"Propagation of first and second sound in a two-dimensional Fermi superfluid","date_created":"2021-06-27T22:01:49Z","oa_version":"Preprint","publication_identifier":{"issn":["2469-9926"],"eissn":["2469-9934"]},"arxiv":1,"publication_status":"published"},{"status":"public","page":"1355-1359","issue":"6536","ec_funded":1,"scopus_import":"1","file_date_updated":"2021-09-23T14:00:05Z","date_updated":"2025-04-14T07:52:05Z","publication":"Science","isi":1,"intvolume":"       371","year":"2021","ddc":["539"],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","date_published":"2021-03-26T00:00:00Z","language":[{"iso":"eng"}],"_id":"9618","abstract":[{"text":"The control of nonequilibrium quantum dynamics in many-body systems is challenging because interactions typically lead to thermalization and a chaotic spreading throughout Hilbert space. We investigate nonequilibrium dynamics after rapid quenches in a many-body system composed of 3 to 200 strongly interacting qubits in one and two spatial dimensions. Using a programmable quantum simulator based on Rydberg atom arrays, we show that coherent revivals associated with so-called quantum many-body scars can be stabilized by periodic driving, which generates a robust subharmonic response akin to discrete time-crystalline order. We map Hilbert space dynamics, geometry dependence, phase diagrams, and system-size dependence of this emergent phenomenon, demonstrating new ways to steer complex dynamics in many-body systems and enabling potential applications in quantum information science.","lang":"eng"}],"external_id":{"isi":["000636043400048"],"pmid":["33632894"],"arxiv":["2012.12276"]},"type":"journal_article","quality_controlled":"1","has_accepted_license":"1","day":"26","citation":{"short":"D. Bluvstein, A. Omran, H. Levine, A. Keesling, G. Semeghini, S. Ebadi, T.T. Wang, A. Michailidis, N. Maskara, W.W. Ho, S. Choi, M. Serbyn, M. Greiner, V. Vuletić, M.D. Lukin, Science 371 (2021) 1355–1359.","ieee":"D. Bluvstein <i>et al.</i>, “Controlling quantum many-body dynamics in driven Rydberg atom arrays,” <i>Science</i>, vol. 371, no. 6536. AAAS, pp. 1355–1359, 2021.","mla":"Bluvstein, D., et al. “Controlling Quantum Many-Body Dynamics in Driven Rydberg Atom Arrays.” <i>Science</i>, vol. 371, no. 6536, AAAS, 2021, pp. 1355–59, doi:<a href=\"https://doi.org/10.1126/science.abg2530\">10.1126/science.abg2530</a>.","apa":"Bluvstein, D., Omran, A., Levine, H., Keesling, A., Semeghini, G., Ebadi, S., … Lukin, M. D. (2021). Controlling quantum many-body dynamics in driven Rydberg atom arrays. <i>Science</i>. AAAS. <a href=\"https://doi.org/10.1126/science.abg2530\">https://doi.org/10.1126/science.abg2530</a>","ista":"Bluvstein D, Omran A, Levine H, Keesling A, Semeghini G, Ebadi S, Wang TT, Michailidis A, Maskara N, Ho WW, Choi S, Serbyn M, Greiner M, Vuletić V, Lukin MD. 2021. Controlling quantum many-body dynamics in driven Rydberg atom arrays. Science. 371(6536), 1355–1359.","ama":"Bluvstein D, Omran A, Levine H, et al. Controlling quantum many-body dynamics in driven Rydberg atom arrays. <i>Science</i>. 2021;371(6536):1355-1359. doi:<a href=\"https://doi.org/10.1126/science.abg2530\">10.1126/science.abg2530</a>","chicago":"Bluvstein, D., A. Omran, H. Levine, A. Keesling, G. Semeghini, S. Ebadi, T. T. Wang, et al. “Controlling Quantum Many-Body Dynamics in Driven Rydberg Atom Arrays.” <i>Science</i>. AAAS, 2021. <a href=\"https://doi.org/10.1126/science.abg2530\">https://doi.org/10.1126/science.abg2530</a>."},"article_processing_charge":"No","publisher":"AAAS","pmid":1,"acknowledgement":"We thank many members of the Harvard AMO community, particularly E. Urbach, S. Dakoulas, and J. Doyle for their efforts enabling safe and productive operation of our laboratories during 2020. We thank D. Abanin, I. Cong, F. Machado, H. Pichler, N. Yao, B. Ye, and H. Zhou for stimulating discussions. Funding: We acknowledge financial support from the Center for Ultracold Atoms, the National Science Foundation, the Vannevar Bush Faculty Fellowship, the U.S. Department of Energy (LBNL QSA Center and grant no. DE-SC0021013), the Office of Naval Research, the Army Research Office MURI, the DARPA DRINQS program (grant no. D18AC00033), and the DARPA ONISQ program (grant no. W911NF2010021). The authors acknowledge support from the NSF Graduate Research Fellowship Program (grant DGE1745303) and The Fannie and John Hertz Foundation (D.B.); a National Defense Science and Engineering Graduate (NDSEG) fellowship (H.L.); a fellowship from the Max Planck/Harvard Research Center for Quantum Optics (G.S.); Gordon College (T.T.W.); the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation program (grant agreement no. 850899) (A.A.M. and M.S.); a Department of Energy Computational Science Graduate Fellowship under award number DE-SC0021110 (N.M.); the Moore Foundation’s EPiQS Initiative grant no. GBMF4306, the NUS Development grant AY2019/2020, and the Stanford Institute of Theoretical Physics (W.W.H.); and the Miller Institute for Basic Research in Science (S.C.). Author contributions: D.B., A.O., H.L., A.K., G.S., S.E., and T.T.W. contributed to the building of the experimental setup, performed the measurements, and analyzed the data. A.A.M., N.M., W.W.H., S.C., and M.S. performed theoretical analysis. All work was supervised by M.G., V.V., and M.D.L. All authors discussed the results and contributed to the manuscript. Competing interests: M.G., V.V., and M.D.L. are co-founders and shareholders of QuEra Computing. A.O. is a shareholder of QuEra Computing. Data and materials availability: All data needed to evaluate the conclusions in the paper are present in the paper and the supplementary materials.","oa":1,"doi":"10.1126/science.abg2530","volume":371,"author":[{"first_name":"D.","full_name":"Bluvstein, D.","last_name":"Bluvstein"},{"first_name":"A.","full_name":"Omran, A.","last_name":"Omran"},{"first_name":"H.","full_name":"Levine, H.","last_name":"Levine"},{"first_name":"A.","full_name":"Keesling, A.","last_name":"Keesling"},{"last_name":"Semeghini","full_name":"Semeghini, G.","first_name":"G."},{"first_name":"S.","last_name":"Ebadi","full_name":"Ebadi, S."},{"last_name":"Wang","full_name":"Wang, T. T.","first_name":"T. T."},{"last_name":"Michailidis","full_name":"Michailidis, Alexios","first_name":"Alexios","id":"36EBAD38-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8443-1064"},{"first_name":"N.","full_name":"Maskara, N.","last_name":"Maskara"},{"full_name":"Ho, W. W.","last_name":"Ho","first_name":"W. W."},{"first_name":"S.","full_name":"Choi, S.","last_name":"Choi"},{"full_name":"Serbyn, Maksym","last_name":"Serbyn","id":"47809E7E-F248-11E8-B48F-1D18A9856A87","first_name":"Maksym","orcid":"0000-0002-2399-5827"},{"first_name":"M.","full_name":"Greiner, M.","last_name":"Greiner"},{"last_name":"Vuletić","full_name":"Vuletić, V.","first_name":"V."},{"full_name":"Lukin, M. D.","last_name":"Lukin","first_name":"M. D."}],"article_type":"original","project":[{"grant_number":"850899","call_identifier":"H2020","_id":"23841C26-32DE-11EA-91FC-C7463DDC885E","name":"Non-Ergodic Quantum Matter: Universality, Dynamics and Control"}],"month":"03","department":[{"_id":"MaSe"}],"publication_identifier":{"issn":["0036-8075"],"eissn":["1095-9203"]},"arxiv":1,"keyword":["Multidisciplinary"],"date_created":"2021-06-29T12:04:05Z","title":"Controlling quantum many-body dynamics in driven Rydberg atom arrays","oa_version":"Preprint","publication_status":"published","file":[{"file_name":"scars_subharmonic_combined_manuscript_2_11_2021 (2)-1.pdf","checksum":"0b356fd10ab9bb95177d4c047d4e9c1a","relation":"main_file","date_updated":"2021-09-23T14:00:05Z","creator":"patrickd","file_id":"10040","access_level":"open_access","date_created":"2021-09-23T14:00:05Z","file_size":3671159,"content_type":"application/pdf","success":1}]},{"date_published":"2021-06-20T00:00:00Z","intvolume":"     12810","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","ddc":["000"],"year":"2021","citation":{"apa":"Alistarh, D.-A., &#38; Davies, P. (2021). Collecting coupons is faster with friends. In <i>Structural Information and Communication Complexity</i> (Vol. 12810, pp. 3–12). Wrocław, Poland: Springer Nature. <a href=\"https://doi.org/10.1007/978-3-030-79527-6_1\">https://doi.org/10.1007/978-3-030-79527-6_1</a>","mla":"Alistarh, Dan-Adrian, and Peter Davies. “Collecting Coupons Is Faster with Friends.” <i>Structural Information and Communication Complexity</i>, vol. 12810, Springer Nature, 2021, pp. 3–12, doi:<a href=\"https://doi.org/10.1007/978-3-030-79527-6_1\">10.1007/978-3-030-79527-6_1</a>.","ieee":"D.-A. Alistarh and P. Davies, “Collecting coupons is faster with friends,” in <i>Structural Information and Communication Complexity</i>, Wrocław, Poland, 2021, vol. 12810, pp. 3–12.","short":"D.-A. Alistarh, P. Davies, in:, Structural Information and Communication Complexity, Springer Nature, 2021, pp. 3–12.","chicago":"Alistarh, Dan-Adrian, and Peter Davies. “Collecting Coupons Is Faster with Friends.” In <i>Structural Information and Communication Complexity</i>, 12810:3–12. Springer Nature, 2021. <a href=\"https://doi.org/10.1007/978-3-030-79527-6_1\">https://doi.org/10.1007/978-3-030-79527-6_1</a>.","ama":"Alistarh D-A, Davies P. Collecting coupons is faster with friends. In: <i>Structural Information and Communication Complexity</i>. Vol 12810. Springer Nature; 2021:3-12. doi:<a href=\"https://doi.org/10.1007/978-3-030-79527-6_1\">10.1007/978-3-030-79527-6_1</a>","ista":"Alistarh D-A, Davies P. 2021. Collecting coupons is faster with friends. Structural Information and Communication Complexity. SIROCCO: International Colloquium on Structural Information and Communication Complexity, LNCS, vol. 12810, 3–12."},"day":"20","has_accepted_license":"1","external_id":{"isi":["001292788400001"]},"abstract":[{"lang":"eng","text":"In this note, we introduce a distributed twist on the classic coupon collector problem: a set of m collectors wish to each obtain a set of n coupons; for this, they can each sample coupons uniformly at random, but can also meet in pairwise interactions, during which they can exchange coupons. By doing so, they hope to reduce the number of coupons that must be sampled by each collector in order to obtain a full set. This extension is natural when considering real-world manifestations of the coupon collector phenomenon, and has been remarked upon and studied empirically (Hayes and Hannigan 2006, Ahmad et al. 2014, Delmarcelle 2019).\r\n\r\nWe provide the first theoretical analysis for such a scenario. We find that “coupon collecting with friends” can indeed significantly reduce the number of coupons each collector must sample, and raises interesting connections to the more traditional variants of the problem. While our analysis is in most cases asymptotically tight, there are several open questions raised, regarding finer-grained analysis of both “coupon collecting with friends,” and of a long-studied variant of the original problem in which a collector requires multiple full sets of coupons."}],"_id":"9620","language":[{"iso":"eng"}],"quality_controlled":"1","type":"conference","ec_funded":1,"scopus_import":"1","page":"3-12","status":"public","date_updated":"2025-09-10T10:04:46Z","publication":"Structural Information and Communication Complexity","isi":1,"file_date_updated":"2021-07-01T11:21:40Z","title":"Collecting coupons is faster with friends","alternative_title":["LNCS"],"date_created":"2021-07-01T11:04:43Z","oa_version":"Preprint","publication_identifier":{"issn":["0302-9743"],"eissn":["1611-3349"],"eisbn":["9783030795276"],"isbn":["9783030795269"]},"file":[{"content_type":"application/pdf","file_size":319728,"date_created":"2021-07-01T11:21:40Z","access_level":"open_access","file_id":"9621","relation":"main_file","creator":"pdavies","date_updated":"2021-07-01T11:21:40Z","checksum":"fe37fb9af3f5016c1084af9d6e7109bd","file_name":"Population_Coupon_Collector.pdf"}],"publication_status":"published","conference":{"location":"Wrocław, Poland","end_date":"2021-07-01","start_date":"2021-06-28","name":"SIROCCO: International Colloquium on Structural Information and Communication Complexity"},"article_processing_charge":"No","publisher":"Springer Nature","author":[{"orcid":"0000-0003-3650-940X","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","first_name":"Dan-Adrian","last_name":"Alistarh","full_name":"Alistarh, Dan-Adrian"},{"full_name":"Davies, Peter","last_name":"Davies","orcid":"0000-0002-5646-9524","id":"11396234-BB50-11E9-B24C-90FCE5697425","first_name":"Peter"}],"volume":12810,"month":"06","department":[{"_id":"DaAl"}],"project":[{"name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020"}],"doi":"10.1007/978-3-030-79527-6_1","oa":1,"acknowledgement":"Peter Davies is supported by the European Union’s Horizon2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 754411."},{"status":"public","scopus_import":"1","date_updated":"2024-10-09T21:00:40Z","publication":"Materials Today Physics","isi":1,"article_number":"100452","intvolume":"        20","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","year":"2021","date_published":"2021-06-03T00:00:00Z","external_id":{"isi":["000703159600010"]},"abstract":[{"lang":"eng","text":"SnSe, a wide-bandgap semiconductor, has attracted significant attention from the thermoelectric (TE) community due to its outstanding TE performance deriving from the ultralow thermal conductivity and advantageous electronic structures. Here, we promoted the TE performance of n-type SnSe polycrystals through bandgap engineering and vacancy compensation. We found that PbTe can significantly reduce the wide bandgap of SnSe to reduce the impurity transition energy, largely enhancing the carrier concentration. Also, PbTe-induced crystal symmetry promotion increases the carrier mobility, preserving large Seebeck coefficient. Consequently, a maximum ZT of ∼1.4 at 793 K is obtained in Br doped SnSe–13%PbTe. Furthermore, we found that extra Sn in n-type SnSe can compensate for the intrinsic Sn vacancies and form electron donor-like metallic Sn nanophases. The Sn nanophases near the grain boundary could also reduce the intergrain energy barrier which largely enhances the carrier mobility. As a result, a maximum ZT value of ∼1.7 at 793 K and an average ZT (ZTave) of ∼0.58 in 300–793 K are achieved in Br doped Sn1.08Se–13%PbTe. Our findings provide a novel strategy to promote the TE performance in wide-bandgap semiconductors."}],"_id":"9626","language":[{"iso":"eng"}],"quality_controlled":"1","type":"journal_article","citation":{"chicago":"Su, Lizhong, Tao Hong, Dongyang Wang, Sining Wang, Bingchao Qin, Mengmeng Zhang, Xiang Gao, Cheng Chang, and Li Dong Zhao. “Realizing High Doping Efficiency and Thermoelectric Performance in N-Type SnSe Polycrystals via Bandgap Engineering and Vacancy Compensation.” <i>Materials Today Physics</i>. Elsevier, 2021. <a href=\"https://doi.org/10.1016/j.mtphys.2021.100452\">https://doi.org/10.1016/j.mtphys.2021.100452</a>.","ama":"Su L, Hong T, Wang D, et al. Realizing high doping efficiency and thermoelectric performance in n-type SnSe polycrystals via bandgap engineering and vacancy compensation. <i>Materials Today Physics</i>. 2021;20. doi:<a href=\"https://doi.org/10.1016/j.mtphys.2021.100452\">10.1016/j.mtphys.2021.100452</a>","ista":"Su L, Hong T, Wang D, Wang S, Qin B, Zhang M, Gao X, Chang C, Zhao LD. 2021. Realizing high doping efficiency and thermoelectric performance in n-type SnSe polycrystals via bandgap engineering and vacancy compensation. Materials Today Physics. 20, 100452.","apa":"Su, L., Hong, T., Wang, D., Wang, S., Qin, B., Zhang, M., … Zhao, L. D. (2021). Realizing high doping efficiency and thermoelectric performance in n-type SnSe polycrystals via bandgap engineering and vacancy compensation. <i>Materials Today Physics</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.mtphys.2021.100452\">https://doi.org/10.1016/j.mtphys.2021.100452</a>","mla":"Su, Lizhong, et al. “Realizing High Doping Efficiency and Thermoelectric Performance in N-Type SnSe Polycrystals via Bandgap Engineering and Vacancy Compensation.” <i>Materials Today Physics</i>, vol. 20, 100452, Elsevier, 2021, doi:<a href=\"https://doi.org/10.1016/j.mtphys.2021.100452\">10.1016/j.mtphys.2021.100452</a>.","ieee":"L. Su <i>et al.</i>, “Realizing high doping efficiency and thermoelectric performance in n-type SnSe polycrystals via bandgap engineering and vacancy compensation,” <i>Materials Today Physics</i>, vol. 20. Elsevier, 2021.","short":"L. Su, T. Hong, D. Wang, S. Wang, B. Qin, M. Zhang, X. Gao, C. Chang, L.D. Zhao, Materials Today Physics 20 (2021)."},"day":"03","article_processing_charge":"No","corr_author":"1","publisher":"Elsevier","doi":"10.1016/j.mtphys.2021.100452","acknowledgement":"This work was supported by National Natural Science Foundation of China (51772012), National Key Research and Development Program of China (2018YFA0702100 and 2018YFB0703600), the Beijing Natural Science Foundation (JQ18004). This work was also supported by Lise Meitner Project (M2889-N) and the National Postdoctoral Program for Innovative Talents (BX20200028). L.D.Z. appreciates the support of the High Performance Computing (HPC) resources at Beihang University, the National Science Fund for Distinguished Young Scholars (51925101), and center for High Pressure Science and Technology Advanced Research (HPSTAR) for SEM measurements.","volume":20,"author":[{"full_name":"Su, Lizhong","last_name":"Su","first_name":"Lizhong"},{"first_name":"Tao","last_name":"Hong","full_name":"Hong, Tao"},{"first_name":"Dongyang","last_name":"Wang","full_name":"Wang, Dongyang"},{"full_name":"Wang, Sining","last_name":"Wang","first_name":"Sining"},{"first_name":"Bingchao","last_name":"Qin","full_name":"Qin, Bingchao"},{"first_name":"Mengmeng","full_name":"Zhang, Mengmeng","last_name":"Zhang"},{"first_name":"Xiang","full_name":"Gao, Xiang","last_name":"Gao"},{"id":"9E331C2E-9F27-11E9-AE48-5033E6697425","first_name":"Cheng","orcid":"0000-0002-9515-4277","full_name":"Chang, Cheng","last_name":"Chang"},{"first_name":"Li Dong","last_name":"Zhao","full_name":"Zhao, Li Dong"}],"department":[{"_id":"MaIb"}],"month":"06","article_type":"original","publication_identifier":{"eissn":["2542-5293"]},"title":"Realizing high doping efficiency and thermoelectric performance in n-type SnSe polycrystals via bandgap engineering and vacancy compensation","date_created":"2021-07-04T22:01:24Z","oa_version":"None","publication_status":"published"},{"date_updated":"2024-10-09T21:05:06Z","publication":"Proceedings of the Edinburgh Mathematical Society","isi":1,"issue":"3","scopus_import":"1","page":"443-447","status":"public","day":"01","citation":{"mla":"Lenz, Daniel, et al. “Self-Adjoint Extensions of Bipartite Hamiltonians.” <i>Proceedings of the Edinburgh Mathematical Society</i>, vol. 64, no. 3, Cambridge University Press, 2021, pp. 443–47, doi:<a href=\"https://doi.org/10.1017/S0013091521000080\">10.1017/S0013091521000080</a>.","ieee":"D. Lenz, T. Weinmann, and M. Wirth, “Self-adjoint extensions of bipartite Hamiltonians,” <i>Proceedings of the Edinburgh Mathematical Society</i>, vol. 64, no. 3. Cambridge University Press, pp. 443–447, 2021.","short":"D. Lenz, T. Weinmann, M. Wirth, Proceedings of the Edinburgh Mathematical Society 64 (2021) 443–447.","apa":"Lenz, D., Weinmann, T., &#38; Wirth, M. (2021). Self-adjoint extensions of bipartite Hamiltonians. <i>Proceedings of the Edinburgh Mathematical Society</i>. Cambridge University Press. <a href=\"https://doi.org/10.1017/S0013091521000080\">https://doi.org/10.1017/S0013091521000080</a>","ama":"Lenz D, Weinmann T, Wirth M. Self-adjoint extensions of bipartite Hamiltonians. <i>Proceedings of the Edinburgh Mathematical Society</i>. 2021;64(3):443-447. doi:<a href=\"https://doi.org/10.1017/S0013091521000080\">10.1017/S0013091521000080</a>","ista":"Lenz D, Weinmann T, Wirth M. 2021. Self-adjoint extensions of bipartite Hamiltonians. Proceedings of the Edinburgh Mathematical Society. 64(3), 443–447.","chicago":"Lenz, Daniel, Timon Weinmann, and Melchior Wirth. “Self-Adjoint Extensions of Bipartite Hamiltonians.” <i>Proceedings of the Edinburgh Mathematical Society</i>. Cambridge University Press, 2021. <a href=\"https://doi.org/10.1017/S0013091521000080\">https://doi.org/10.1017/S0013091521000080</a>."},"external_id":{"arxiv":["1912.03670"],"isi":["000721363700003"]},"language":[{"iso":"eng"}],"_id":"9627","abstract":[{"lang":"eng","text":"We compute the deficiency spaces of operators of the form 𝐻𝐴⊗̂ 𝐼+𝐼⊗̂ 𝐻𝐵, for symmetric 𝐻𝐴 and self-adjoint 𝐻𝐵. This enables us to construct self-adjoint extensions (if they exist) by means of von Neumann's theory. The structure of the deficiency spaces for this case was asserted already in Ibort et al. [Boundary dynamics driven entanglement, J. Phys. A: Math. Theor. 47(38) (2014) 385301], but only proven under the restriction of 𝐻𝐵 having discrete, non-degenerate spectrum."}],"quality_controlled":"1","type":"journal_article","date_published":"2021-08-01T00:00:00Z","main_file_link":[{"open_access":"1","url":"https://doi.org/10.1017/S0013091521000080"}],"intvolume":"        64","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","year":"2021","volume":64,"author":[{"first_name":"Daniel","full_name":"Lenz, Daniel","last_name":"Lenz"},{"full_name":"Weinmann, Timon","last_name":"Weinmann","first_name":"Timon"},{"orcid":"0000-0002-0519-4241","first_name":"Melchior","id":"88644358-0A0E-11EA-8FA5-49A33DDC885E","full_name":"Wirth, Melchior","last_name":"Wirth"}],"month":"08","department":[{"_id":"JaMa"}],"article_type":"original","doi":"10.1017/S0013091521000080","oa":1,"acknowledgement":"M. W. gratefully acknowledges financial support by the German Academic Scholarship Foundation (Studienstiftung des deutschen Volkes). T.W. thanks PAO Gazprom Neft, the Euler International Mathematical Institute in Saint Petersburg and ORISA GmbH for their financial support in the form of scholarships during his Master's and Bachelor's studies respectively. The authors want to thank Mark Malamud for pointing out the reference [1] to them. This work was supported by the Ministry of Science and Higher Education of the Russian Federation, agreement No 075-15-2019-1619.","article_processing_charge":"No","corr_author":"1","publisher":"Cambridge University Press","publication_status":"published","title":"Self-adjoint extensions of bipartite Hamiltonians","date_created":"2021-07-04T22:01:24Z","oa_version":"Published Version","publication_identifier":{"eissn":["1464-3839"],"issn":["0013-0915"]},"arxiv":1},{"scopus_import":"1","ec_funded":1,"page":"733–744","status":"public","isi":1,"publication":"Nature Cell Biology","date_updated":"2025-04-14T07:52:26Z","main_file_link":[{"open_access":"1","url":"https://www.biorxiv.org/content/10.1101/2020.05.13.094359"}],"date_published":"2021-06-21T00:00:00Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","year":"2021","intvolume":"        23","citation":{"mla":"Yang, Qiutan, et al. “Cell Fate Coordinates Mechano-Osmotic Forces in Intestinal Crypt Formation.” <i>Nature Cell Biology</i>, vol. 23, Springer Nature, 2021, pp. 733–744, doi:<a href=\"https://doi.org/10.1038/s41556-021-00700-2\">10.1038/s41556-021-00700-2</a>.","ieee":"Q. Yang <i>et al.</i>, “Cell fate coordinates mechano-osmotic forces in intestinal crypt formation,” <i>Nature Cell Biology</i>, vol. 23. Springer Nature, pp. 733–744, 2021.","short":"Q. Yang, S. Xue, C.J. Chan, M. Rempfler, D. Vischi, F. Maurer-Gutierrez, T. Hiiragi, E.B. Hannezo, P. Liberali, Nature Cell Biology 23 (2021) 733–744.","apa":"Yang, Q., Xue, S., Chan, C. J., Rempfler, M., Vischi, D., Maurer-Gutierrez, F., … Liberali, P. (2021). Cell fate coordinates mechano-osmotic forces in intestinal crypt formation. <i>Nature Cell Biology</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41556-021-00700-2\">https://doi.org/10.1038/s41556-021-00700-2</a>","ama":"Yang Q, Xue S, Chan CJ, et al. Cell fate coordinates mechano-osmotic forces in intestinal crypt formation. <i>Nature Cell Biology</i>. 2021;23:733–744. doi:<a href=\"https://doi.org/10.1038/s41556-021-00700-2\">10.1038/s41556-021-00700-2</a>","ista":"Yang Q, Xue S, Chan CJ, Rempfler M, Vischi D, Maurer-Gutierrez F, Hiiragi T, Hannezo EB, Liberali P. 2021. Cell fate coordinates mechano-osmotic forces in intestinal crypt formation. Nature Cell Biology. 23, 733–744.","chicago":"Yang, Qiutan, Shi-lei Xue, Chii Jou Chan, Markus Rempfler, Dario Vischi, Francisca Maurer-Gutierrez, Takashi Hiiragi, Edouard B Hannezo, and Prisca Liberali. “Cell Fate Coordinates Mechano-Osmotic Forces in Intestinal Crypt Formation.” <i>Nature Cell Biology</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1038/s41556-021-00700-2\">https://doi.org/10.1038/s41556-021-00700-2</a>."},"day":"21","quality_controlled":"1","type":"journal_article","external_id":{"isi":["000664016300003"],"pmid":["34155381"]},"_id":"9629","abstract":[{"lang":"eng","text":"Intestinal organoids derived from single cells undergo complex crypt–villus patterning and morphogenesis. However, the nature and coordination of the underlying forces remains poorly characterized. Here, using light-sheet microscopy and large-scale imaging quantification, we demonstrate that crypt formation coincides with a stark reduction in lumen volume. We develop a 3D biophysical model to computationally screen different mechanical scenarios of crypt morphogenesis. Combining this with live-imaging data and multiple mechanical perturbations, we show that actomyosin-driven crypt apical contraction and villus basal tension work synergistically with lumen volume reduction to drive crypt morphogenesis, and demonstrate the existence of a critical point in differential tensions above which crypt morphology becomes robust to volume changes. Finally, we identified a sodium/glucose cotransporter that is specific to differentiated enterocytes that modulates lumen volume reduction through cell swelling in the villus region. Together, our study uncovers the cellular basis of how cell fate modulates osmotic and actomyosin forces to coordinate robust morphogenesis."}],"language":[{"iso":"eng"}],"pmid":1,"publisher":"Springer Nature","article_processing_charge":"No","corr_author":"1","department":[{"_id":"EdHa"}],"month":"06","article_type":"original","project":[{"name":"Design Principles of Branching Morphogenesis","call_identifier":"H2020","_id":"05943252-7A3F-11EA-A408-12923DDC885E","grant_number":"851288"},{"grant_number":"P31639","_id":"268294B6-B435-11E9-9278-68D0E5697425","call_identifier":"FWF","name":"Active mechano-chemical description of the cell cytoskeleton"}],"author":[{"first_name":"Qiutan","last_name":"Yang","full_name":"Yang, Qiutan"},{"last_name":"Xue","full_name":"Xue, Shi-lei","first_name":"Shi-lei","id":"31D2C804-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Chii Jou","last_name":"Chan","full_name":"Chan, Chii Jou"},{"last_name":"Rempfler","full_name":"Rempfler, Markus","first_name":"Markus"},{"first_name":"Dario","last_name":"Vischi","full_name":"Vischi, Dario"},{"first_name":"Francisca","last_name":"Maurer-Gutierrez","full_name":"Maurer-Gutierrez, Francisca"},{"first_name":"Takashi","last_name":"Hiiragi","full_name":"Hiiragi, Takashi"},{"id":"3A9DB764-F248-11E8-B48F-1D18A9856A87","first_name":"Edouard B","orcid":"0000-0001-6005-1561","full_name":"Hannezo, Edouard B","last_name":"Hannezo"},{"full_name":"Liberali, Prisca","last_name":"Liberali","first_name":"Prisca"}],"volume":23,"doi":"10.1038/s41556-021-00700-2","oa":1,"acknowledgement":"We acknowledge the members of the Lennon-Duménil laboratory for sharing the mouse line of Myh9-GFP. We are grateful to the members of the Liberali laboratory and the FMI facilities for their support. We thank E. Tagliavini for IT support; L. Gelman for assistance and training; S. Bichet and A. Bogucki for helping with histology of mouse tissues; H. Kohler for fluorescence-activated cell sorting; G. Q. G. de Medeiros for maintenance of light-sheet microscopy; M. G. Stadler for scRNA-seq analysis; G. Gay for discussions on the 3D vertex model; the members of the Liberali laboratory, C. P. Heisenberg and C. Tsiairis for reading and providing feedback on the manuscript. Funding: Q.Y. is supported by a Postdoc fellowship from Peter und Taul Engelhorn Stiftung (PTES). This work received funding from the European Research Council (ERC) under the EU Horizon 2020 research and Innovation Programme Grant Agreement no. 758617 (to P.L.), the Swiss National Foundation (SNF) (POOP3_157531, to P.L.) and from the ERC under the EU Horizon 2020 Research and Innovation Program Grant Agreements 851288 (to E.H.) and the Austrian Science Fund (FWF) (P31639, to E.H.).","oa_version":"Preprint","date_created":"2021-07-04T22:01:25Z","title":"Cell fate coordinates mechano-osmotic forces in intestinal crypt formation","publication_identifier":{"issn":["1465-7392"],"eissn":["1476-4679"]},"publication_status":"published"},{"tmp":{"image":"/images/cc_by_nc.png","short":"CC BY-NC (4.0)","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"},"article_processing_charge":"No","publisher":"Institute of Science and Technology Austria","status":"public","license":"https://creativecommons.org/licenses/by-nc/4.0/","related_material":{"record":[{"id":"10029","status":"public","relation":"used_in_publication"}]},"oa":1,"file_date_updated":"2021-07-07T20:37:28Z","date_updated":"2025-04-15T06:54:43Z","author":[{"full_name":"Higginbotham, Andrew P","last_name":"Higginbotham","orcid":"0000-0003-2607-2363","id":"4AD6785A-F248-11E8-B48F-1D18A9856A87","first_name":"Andrew P"}],"department":[{"_id":"AnHi"}],"year":"2021","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2021-01-01T00:00:00Z","date_created":"2021-07-07T20:43:10Z","title":"Data for \"Breakdown of induced p ± ip pairing in a superconductor-semiconductor hybrid\"","oa_version":"Submitted Version","_id":"9636","type":"research_data","has_accepted_license":"1","citation":{"chicago":"Higginbotham, Andrew P. “Data for ‘Breakdown of Induced p ± Ip Pairing in a Superconductor-Semiconductor Hybrid.’” Institute of Science and Technology Austria, 2021.","ista":"Higginbotham AP. 2021. Data for ‘Breakdown of induced p ± ip pairing in a superconductor-semiconductor hybrid’, Institute of Science and Technology Austria.","ama":"Higginbotham AP. Data for “Breakdown of induced p ± ip pairing in a superconductor-semiconductor hybrid.” 2021.","apa":"Higginbotham, A. P. (2021). Data for “Breakdown of induced p ± ip pairing in a superconductor-semiconductor hybrid.” Institute of Science and Technology Austria.","short":"A.P. Higginbotham, (2021).","ieee":"A. P. Higginbotham, “Data for ‘Breakdown of induced p ± ip pairing in a superconductor-semiconductor hybrid.’” Institute of Science and Technology Austria, 2021.","mla":"Higginbotham, Andrew P. <i>Data for “Breakdown of Induced p ± Ip Pairing in a Superconductor-Semiconductor Hybrid.”</i> Institute of Science and Technology Austria, 2021."},"file":[{"access_level":"open_access","date_created":"2021-07-07T20:37:28Z","file_size":3345244,"success":1,"content_type":"application/zip","file_name":"figures_data.zip","checksum":"18e90687ec7bbd75f8bfea4d8293fb30","relation":"main_file","date_updated":"2021-07-07T20:37:28Z","creator":"ahigginb","file_id":"9637"}]},{"publisher":"Elsevier","tmp":{"image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"article_processing_charge":"No","pmid":1,"acknowledgement":"This work was supported by a European Research Council Advanced Grant 694539 to Ryuichi Shigemoto.","oa":1,"doi":"10.1016/j.nlm.2021.107486","project":[{"grant_number":"694539","call_identifier":"H2020","_id":"25CA28EA-B435-11E9-9278-68D0E5697425","name":"In situ analysis of single channel subunit composition in neurons: physiological implication in synaptic plasticity and behaviour"}],"article_type":"original","department":[{"_id":"RySh"}],"month":"06","volume":183,"author":[{"last_name":"Fredes","full_name":"Fredes, Felipe","first_name":"Felipe"},{"last_name":"Shigemoto","full_name":"Shigemoto, Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","first_name":"Ryuichi","orcid":"0000-0001-8761-9444"}],"publication_identifier":{"issn":["1074-7427"],"eissn":["1095-9564"]},"oa_version":"Published Version","date_created":"2021-07-11T22:01:16Z","title":"The role of hippocampal mossy cells in novelty detection","publication_status":"published","file":[{"checksum":"8e8298a9e8c7df146ad23f32c2a63929","file_name":"2021_NeurobLearnMemory_Fredes.pdf","date_updated":"2021-07-19T13:46:06Z","creator":"cziletti","relation":"main_file","file_id":"9694","access_level":"open_access","success":1,"content_type":"application/pdf","date_created":"2021-07-19T13:46:06Z","file_size":1994793}],"status":"public","scopus_import":"1","ec_funded":1,"license":"https://creativecommons.org/licenses/by-nc-nd/4.0/","file_date_updated":"2021-07-19T13:46:06Z","isi":1,"date_updated":"2025-07-10T12:02:00Z","publication":"Neurobiology of Learning and Memory","year":"2021","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","ddc":["610"],"intvolume":"       183","article_number":"107486","date_published":"2021-06-30T00:00:00Z","type":"journal_article","quality_controlled":"1","_id":"9641","language":[{"iso":"eng"}],"abstract":[{"text":"At the encounter with a novel environment, contextual memory formation is greatly enhanced, accompanied with increased arousal and active exploration. Although this phenomenon has been widely observed in animal and human daily life, how the novelty in the environment is detected and contributes to contextual memory formation has lately started to be unveiled. The hippocampus has been studied for many decades for its largely known roles in encoding spatial memory, and a growing body of evidence indicates a differential involvement of dorsal and ventral hippocampal divisions in novelty detection. In this brief review article, we discuss the recent findings of the role of mossy cells in the ventral hippocampal moiety in novelty detection and put them in perspective with other novelty-related pathways in the hippocampus. We propose a mechanism for novelty-driven memory acquisition in the dentate gyrus by the direct projection of ventral mossy cells to dorsal dentate granule cells. By this projection, the ventral hippocampus sends novelty signals to the dorsal hippocampus, opening a gate for memory encoding in dentate granule cells based on information coming from the entorhinal cortex. We conclude that, contrary to the presently accepted functional independence, the dorsal and ventral hippocampi cooperate to link the novelty and contextual information, and this dorso-ventral interaction is crucial for the novelty-dependent memory formation.","lang":"eng"}],"external_id":{"pmid":["34214666"],"isi":["000677694900004"]},"has_accepted_license":"1","day":"30","citation":{"apa":"Fredes, F., &#38; Shigemoto, R. (2021). The role of hippocampal mossy cells in novelty detection. <i>Neurobiology of Learning and Memory</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.nlm.2021.107486\">https://doi.org/10.1016/j.nlm.2021.107486</a>","mla":"Fredes, Felipe, and Ryuichi Shigemoto. “The Role of Hippocampal Mossy Cells in Novelty Detection.” <i>Neurobiology of Learning and Memory</i>, vol. 183, 107486, Elsevier, 2021, doi:<a href=\"https://doi.org/10.1016/j.nlm.2021.107486\">10.1016/j.nlm.2021.107486</a>.","ieee":"F. Fredes and R. Shigemoto, “The role of hippocampal mossy cells in novelty detection,” <i>Neurobiology of Learning and Memory</i>, vol. 183. Elsevier, 2021.","short":"F. Fredes, R. Shigemoto, Neurobiology of Learning and Memory 183 (2021).","chicago":"Fredes, Felipe, and Ryuichi Shigemoto. “The Role of Hippocampal Mossy Cells in Novelty Detection.” <i>Neurobiology of Learning and Memory</i>. Elsevier, 2021. <a href=\"https://doi.org/10.1016/j.nlm.2021.107486\">https://doi.org/10.1016/j.nlm.2021.107486</a>.","ama":"Fredes F, Shigemoto R. The role of hippocampal mossy cells in novelty detection. <i>Neurobiology of Learning and Memory</i>. 2021;183. doi:<a href=\"https://doi.org/10.1016/j.nlm.2021.107486\">10.1016/j.nlm.2021.107486</a>","ista":"Fredes F, Shigemoto R. 2021. The role of hippocampal mossy cells in novelty detection. Neurobiology of Learning and Memory. 183, 107486."}},{"article_processing_charge":"No","publisher":"Association for Computing Machinery","doi":"10.1145/3453483.3454076","oa":1,"acknowledgement":"This research was partially supported by the ERC CoG 863818 (ForM-SMArt), the National Natural Science Foundation of China (NSFC) Grant No. 61802254, the Huawei Innovation Research Program, the Facebook PhD Fellowship Program, and DOC Fellowship No. 24956 of the Austrian Academy of Sciences (ÖAW).","author":[{"full_name":"Asadi, Ali","last_name":"Asadi","first_name":"Ali"},{"first_name":"Krishnendu","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee"},{"last_name":"Fu","full_name":"Fu, Hongfei","first_name":"Hongfei","id":"3AAD03D6-F248-11E8-B48F-1D18A9856A87"},{"orcid":"0000-0003-1702-6584","first_name":"Amir Kafshdar","id":"391365CE-F248-11E8-B48F-1D18A9856A87","full_name":"Goharshady, Amir Kafshdar","last_name":"Goharshady"},{"last_name":"Mahdavi","full_name":"Mahdavi, Mohammad","first_name":"Mohammad"}],"month":"06","department":[{"_id":"KrCh"}],"project":[{"call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications"},{"name":"Quantitative Analysis of Probabilistic Systems with a focus on Crypto-Currencies","_id":"267066CE-B435-11E9-9278-68D0E5697425"}],"publication_identifier":{"isbn":["9781450383912"]},"title":"Polynomial reachability witnesses via Stellensätze","date_created":"2021-07-11T22:01:17Z","oa_version":"Submitted Version","conference":{"end_date":"2021-06-26","location":"Online","name":"PLDI: Programming Language Design and Implementation","start_date":"2021-06-20"},"publication_status":"published","page":"772-787","status":"public","ec_funded":1,"scopus_import":"1","date_updated":"2025-07-10T12:02:00Z","publication":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","isi":1,"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","year":"2021","date_published":"2021-06-01T00:00:00Z","main_file_link":[{"open_access":"1","url":"https://hal.archives-ouvertes.fr/hal-03183862/"}],"external_id":{"isi":["000723661700050"]},"abstract":[{"lang":"eng","text":"We consider the fundamental problem of reachability analysis over imperative programs with real variables. Previous works that tackle reachability are either unable to handle programs consisting of general loops (e.g. symbolic execution), or lack completeness guarantees (e.g. abstract interpretation), or are not automated (e.g. incorrectness logic). In contrast, we propose a novel approach for reachability analysis that can handle general and complex loops, is complete, and can be entirely automated for a wide family of programs. Through the notion of Inductive Reachability Witnesses (IRWs), our approach extends ideas from both invariant generation and termination to reachability analysis.\r\n\r\nWe first show that our IRW-based approach is sound and complete for reachability analysis of imperative programs. Then, we focus on linear and polynomial programs and develop automated methods for synthesizing linear and polynomial IRWs. In the linear case, we follow the well-known approaches using Farkas' Lemma. Our main contribution is in the polynomial case, where we present a push-button semi-complete algorithm. We achieve this using a novel combination of classical theorems in real algebraic geometry, such as Putinar's Positivstellensatz and Hilbert's Strong Nullstellensatz. Finally, our experimental results show we can prove complex reachability objectives over various benchmarks that were beyond the reach of previous methods."}],"_id":"9645","language":[{"iso":"eng"}],"quality_controlled":"1","type":"conference","day":"01","citation":{"apa":"Asadi, A., Chatterjee, K., Fu, H., Goharshady, A. K., &#38; Mahdavi, M. (2021). Polynomial reachability witnesses via Stellensätze. In <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i> (pp. 772–787). Online: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3453483.3454076\">https://doi.org/10.1145/3453483.3454076</a>","mla":"Asadi, Ali, et al. “Polynomial Reachability Witnesses via Stellensätze.” <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, Association for Computing Machinery, 2021, pp. 772–87, doi:<a href=\"https://doi.org/10.1145/3453483.3454076\">10.1145/3453483.3454076</a>.","ieee":"A. Asadi, K. Chatterjee, H. Fu, A. K. Goharshady, and M. Mahdavi, “Polynomial reachability witnesses via Stellensätze,” in <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, Online, 2021, pp. 772–787.","short":"A. Asadi, K. Chatterjee, H. Fu, A.K. Goharshady, M. Mahdavi, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 772–787.","chicago":"Asadi, Ali, Krishnendu Chatterjee, Hongfei Fu, Amir Kafshdar Goharshady, and Mohammad Mahdavi. “Polynomial Reachability Witnesses via Stellensätze.” In <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, 772–87. Association for Computing Machinery, 2021. <a href=\"https://doi.org/10.1145/3453483.3454076\">https://doi.org/10.1145/3453483.3454076</a>.","ama":"Asadi A, Chatterjee K, Fu H, Goharshady AK, Mahdavi M. Polynomial reachability witnesses via Stellensätze. In: <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>. Association for Computing Machinery; 2021:772-787. doi:<a href=\"https://doi.org/10.1145/3453483.3454076\">10.1145/3453483.3454076</a>","ista":"Asadi A, Chatterjee K, Fu H, Goharshady AK, Mahdavi M. 2021. Polynomial reachability witnesses via Stellensätze. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 772–787."}},{"article_processing_charge":"No","publisher":"Association for Computing Machinery","doi":"10.1145/3453483.3454102","oa":1,"acknowledgement":"We are very thankful to the anonymous reviewers for the helpful and valuable comments. The work was partially supported by the National Natural Science Foundation of China (NSFC) Grant No. 61802254, the Huawei Innovation Research Program, the ERC CoG 863818 (ForM-SMArt), the Facebook PhD Fellowship Program and DOC Fellowship #24956 of the Austrian Academy of Sciences (ÖAW).","author":[{"first_name":"Jinyi","last_name":"Wang","full_name":"Wang, Jinyi"},{"first_name":"Yican","last_name":"Sun","full_name":"Sun, Yican"},{"id":"3AAD03D6-F248-11E8-B48F-1D18A9856A87","first_name":"Hongfei","last_name":"Fu","full_name":"Fu, Hongfei"},{"full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87","first_name":"Krishnendu","orcid":"0000-0002-4561-241X"},{"orcid":"0000-0003-1702-6584","id":"391365CE-F248-11E8-B48F-1D18A9856A87","first_name":"Amir Kafshdar","full_name":"Goharshady, Amir Kafshdar","last_name":"Goharshady"}],"month":"06","department":[{"_id":"KrCh"}],"project":[{"name":"Formal Methods for Stochastic Models: Algorithms and Applications","grant_number":"863818","call_identifier":"H2020","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"},{"name":"Quantitative Analysis of Probabilistic Systems with a focus on Crypto-Currencies","_id":"267066CE-B435-11E9-9278-68D0E5697425"}],"publication_identifier":{"isbn":["9781450383912"]},"arxiv":1,"date_created":"2021-07-11T22:01:18Z","title":"Quantitative analysis of assertion violations in probabilistic programs","oa_version":"Preprint","publication_status":"published","conference":{"start_date":"2021-06-20","name":"PLDI: Programming Language Design and Implementation","location":"Online","end_date":"2021-06-26"},"page":"1171-1186","status":"public","ec_funded":1,"scopus_import":"1","publication":"Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation","date_updated":"2025-04-15T07:55:05Z","isi":1,"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","year":"2021","date_published":"2021-06-01T00:00:00Z","main_file_link":[{"url":"https://arxiv.org/abs/2011.14617","open_access":"1"}],"external_id":{"isi":["000723661700076"],"arxiv":["2011.14617"]},"_id":"9646","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"We consider the fundamental problem of deriving quantitative bounds on the probability that a given assertion is violated in a probabilistic program. We provide automated algorithms that obtain both lower and upper bounds on the assertion violation probability. The main novelty of our approach is that we prove new and dedicated fixed-point theorems which serve as the theoretical basis of our algorithms and enable us to reason about assertion violation bounds in terms of pre and post fixed-point functions. To synthesize such fixed-points, we devise algorithms that utilize a wide range of mathematical tools, including repulsing ranking supermartingales, Hoeffding's lemma, Minkowski decompositions, Jensen's inequality, and convex optimization. On the theoretical side, we provide (i) the first automated algorithm for lower-bounds on assertion violation probabilities, (ii) the first complete algorithm for upper-bounds of exponential form in affine programs, and (iii) provably and significantly tighter upper-bounds than the previous approaches. On the practical side, we show our algorithms can handle a wide variety of programs from the literature and synthesize bounds that are remarkably tighter than previous results, in some cases by thousands of orders of magnitude."}],"quality_controlled":"1","type":"conference","citation":{"mla":"Wang, Jinyi, et al. “Quantitative Analysis of Assertion Violations in Probabilistic Programs.” <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, Association for Computing Machinery, 2021, pp. 1171–86, doi:<a href=\"https://doi.org/10.1145/3453483.3454102\">10.1145/3453483.3454102</a>.","ieee":"J. Wang, Y. Sun, H. Fu, K. Chatterjee, and A. K. Goharshady, “Quantitative analysis of assertion violations in probabilistic programs,” in <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, Online, 2021, pp. 1171–1186.","short":"J. Wang, Y. Sun, H. Fu, K. Chatterjee, A.K. Goharshady, in:, Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation, Association for Computing Machinery, 2021, pp. 1171–1186.","apa":"Wang, J., Sun, Y., Fu, H., Chatterjee, K., &#38; Goharshady, A. K. (2021). Quantitative analysis of assertion violations in probabilistic programs. In <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i> (pp. 1171–1186). Online: Association for Computing Machinery. <a href=\"https://doi.org/10.1145/3453483.3454102\">https://doi.org/10.1145/3453483.3454102</a>","ama":"Wang J, Sun Y, Fu H, Chatterjee K, Goharshady AK. Quantitative analysis of assertion violations in probabilistic programs. In: <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>. Association for Computing Machinery; 2021:1171-1186. doi:<a href=\"https://doi.org/10.1145/3453483.3454102\">10.1145/3453483.3454102</a>","ista":"Wang J, Sun Y, Fu H, Chatterjee K, Goharshady AK. 2021. Quantitative analysis of assertion violations in probabilistic programs. Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation. PLDI: Programming Language Design and Implementation, 1171–1186.","chicago":"Wang, Jinyi, Yican Sun, Hongfei Fu, Krishnendu Chatterjee, and Amir Kafshdar Goharshady. “Quantitative Analysis of Assertion Violations in Probabilistic Programs.” In <i>Proceedings of the 42nd ACM SIGPLAN International Conference on Programming Language Design and Implementation</i>, 1171–86. Association for Computing Machinery, 2021. <a href=\"https://doi.org/10.1145/3453483.3454102\">https://doi.org/10.1145/3453483.3454102</a>."},"day":"01"},{"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","ddc":["004"],"year":"2021","intvolume":"       893","date_published":"2021-06-04T00:00:00Z","quality_controlled":"1","type":"journal_article","external_id":{"isi":["000710180500002"]},"_id":"9647","abstract":[{"text":"Gene expression is regulated by the set of transcription factors (TFs) that bind to the promoter. The ensuing regulating function is often represented as a combinational logic circuit, where output (gene expression) is determined by current input values (promoter bound TFs) only. However, the simultaneous arrival of TFs is a strong assumption, since transcription and translation of genes introduce intrinsic time delays and there is no global synchronisation among the arrival times of different molecular species at their targets. We present an experimentally implementable genetic circuit with two inputs and one output, which in the presence of small delays in input arrival, exhibits qualitatively distinct population-level phenotypes, over timescales that are longer than typical cell doubling times. From a dynamical systems point of view, these phenotypes represent long-lived transients: although they converge to the same value eventually, they do so after a very long time span. The key feature of this toy model genetic circuit is that, despite having only two inputs and one output, it is regulated by twenty-three distinct DNA-TF configurations, two of which are more stable than others (DNA looped states), one promoting and another blocking the expression of the output gene. Small delays in input arrival time result in a majority of cells in the population quickly reaching the stable state associated with the first input, while exiting of this stable state occurs at a slow timescale. In order to mechanistically model the behaviour of this genetic circuit, we used a rule-based modelling language, and implemented a grid-search to find parameter combinations giving rise to long-lived transients. Our analysis shows that in the absence of feedback, there exist path-dependent gene regulatory mechanisms based on the long timescale of transients. The behaviour of this toy model circuit suggests that gene regulatory networks can exploit event timing to create phenotypes, and it opens the possibility that they could use event timing to memorise events, without regulatory feedback. The model reveals the importance of (i) mechanistically modelling the transitions between the different DNA-TF states, and (ii) employing transient analysis thereof.","lang":"eng"}],"language":[{"iso":"eng"}],"day":"04","citation":{"ama":"Petrov T, Igler C, Sezgin A, Henzinger TA, Guet CC. Long lived transients in gene regulation. <i>Theoretical Computer Science</i>. 2021;893:1-16. doi:<a href=\"https://doi.org/10.1016/j.tcs.2021.05.023\">10.1016/j.tcs.2021.05.023</a>","ista":"Petrov T, Igler C, Sezgin A, Henzinger TA, Guet CC. 2021. Long lived transients in gene regulation. Theoretical Computer Science. 893, 1–16.","chicago":"Petrov, Tatjana, Claudia Igler, Ali Sezgin, Thomas A Henzinger, and Calin C Guet. “Long Lived Transients in Gene Regulation.” <i>Theoretical Computer Science</i>. Elsevier, 2021. <a href=\"https://doi.org/10.1016/j.tcs.2021.05.023\">https://doi.org/10.1016/j.tcs.2021.05.023</a>.","mla":"Petrov, Tatjana, et al. “Long Lived Transients in Gene Regulation.” <i>Theoretical Computer Science</i>, vol. 893, Elsevier, 2021, pp. 1–16, doi:<a href=\"https://doi.org/10.1016/j.tcs.2021.05.023\">10.1016/j.tcs.2021.05.023</a>.","short":"T. Petrov, C. Igler, A. Sezgin, T.A. Henzinger, C.C. Guet, Theoretical Computer Science 893 (2021) 1–16.","ieee":"T. Petrov, C. Igler, A. Sezgin, T. A. Henzinger, and C. C. Guet, “Long lived transients in gene regulation,” <i>Theoretical Computer Science</i>, vol. 893. Elsevier, pp. 1–16, 2021.","apa":"Petrov, T., Igler, C., Sezgin, A., Henzinger, T. A., &#38; Guet, C. C. (2021). Long lived transients in gene regulation. <i>Theoretical Computer Science</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.tcs.2021.05.023\">https://doi.org/10.1016/j.tcs.2021.05.023</a>"},"has_accepted_license":"1","status":"public","page":"1-16","scopus_import":"1","file_date_updated":"2022-05-12T12:13:27Z","isi":1,"date_updated":"2025-04-15T06:25:56Z","publication":"Theoretical Computer Science","publication_identifier":{"issn":["0304-3975"]},"oa_version":"Published Version","title":"Long lived transients in gene regulation","date_created":"2021-07-11T22:01:18Z","publication_status":"published","file":[{"success":1,"content_type":"application/pdf","file_size":2566504,"date_created":"2022-05-12T12:13:27Z","access_level":"open_access","date_updated":"2022-05-12T12:13:27Z","creator":"dernst","file_id":"11364","relation":"main_file","checksum":"d3aef34cfb13e53bba4cf44d01680793","file_name":"2021_TheoreticalComputerScience_Petrov.pdf"}],"publisher":"Elsevier","article_processing_charge":"No","tmp":{"image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"corr_author":"1","oa":1,"doi":"10.1016/j.tcs.2021.05.023","acknowledgement":"Tatjana Petrov’s research was supported in part by SNSF Advanced Postdoctoral Mobility Fellowship grant number P300P2 161067, the Ministry of Science, Research and the Arts of the state of Baden-Wurttemberg, and the DFG Centre of Excellence 2117 ‘Centre for the Advanced Study of Collective Behaviour’ (ID: 422037984). Claudia Igler is the recipient of a DOC Fellowship of the Austrian Academy of Sciences. Thomas A. Henzinger’s research was supported in part by the Austrian Science Fund (FWF) under grant Z211-N23 (Wittgenstein Award).","month":"06","department":[{"_id":"ToHe"},{"_id":"CaGu"}],"project":[{"call_identifier":"FWF","_id":"25F42A32-B435-11E9-9278-68D0E5697425","grant_number":"Z211","name":"Formal methods for the design and analysis of complex systems"}],"article_type":"original","volume":893,"author":[{"first_name":"Tatjana","last_name":"Petrov","full_name":"Petrov, Tatjana"},{"last_name":"Igler","full_name":"Igler, Claudia","id":"46613666-F248-11E8-B48F-1D18A9856A87","first_name":"Claudia"},{"first_name":"Ali","id":"4C7638DA-F248-11E8-B48F-1D18A9856A87","full_name":"Sezgin, Ali","last_name":"Sezgin"},{"first_name":"Thomas A","id":"40876CD8-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-2985-7724","last_name":"Henzinger","full_name":"Henzinger, Thomas A"},{"first_name":"Calin C","id":"47F8433E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6220-2052","last_name":"Guet","full_name":"Guet, Calin C"}]},{"citation":{"ama":"Han H, Adamowski M, Qi L, Alotaibi S, Friml J. PIN-mediated polar auxin transport regulations in plant tropic responses. <i>New Phytologist</i>. 2021;232(2):510-522. doi:<a href=\"https://doi.org/10.1111/nph.17617\">10.1111/nph.17617</a>","ista":"Han H, Adamowski M, Qi L, Alotaibi S, Friml J. 2021. PIN-mediated polar auxin transport regulations in plant tropic responses. New Phytologist. 232(2), 510–522.","chicago":"Han, Huibin, Maciek Adamowski, Linlin Qi, SS Alotaibi, and Jiří Friml. “PIN-Mediated Polar Auxin Transport Regulations in Plant Tropic Responses.” <i>New Phytologist</i>. Wiley, 2021. <a href=\"https://doi.org/10.1111/nph.17617\">https://doi.org/10.1111/nph.17617</a>.","mla":"Han, Huibin, et al. “PIN-Mediated Polar Auxin Transport Regulations in Plant Tropic Responses.” <i>New Phytologist</i>, vol. 232, no. 2, Wiley, 2021, pp. 510–22, doi:<a href=\"https://doi.org/10.1111/nph.17617\">10.1111/nph.17617</a>.","short":"H. Han, M. Adamowski, L. Qi, S. Alotaibi, J. Friml, New Phytologist 232 (2021) 510–522.","ieee":"H. Han, M. Adamowski, L. Qi, S. Alotaibi, and J. Friml, “PIN-mediated polar auxin transport regulations in plant tropic responses,” <i>New Phytologist</i>, vol. 232, no. 2. Wiley, pp. 510–522, 2021.","apa":"Han, H., Adamowski, M., Qi, L., Alotaibi, S., &#38; Friml, J. (2021). PIN-mediated polar auxin transport regulations in plant tropic responses. <i>New Phytologist</i>. Wiley. <a href=\"https://doi.org/10.1111/nph.17617\">https://doi.org/10.1111/nph.17617</a>"},"day":"01","has_accepted_license":"1","external_id":{"isi":["000680587100001"],"pmid":["34254313"]},"_id":"9656","abstract":[{"lang":"eng","text":"Tropisms, growth responses to environmental stimuli such as light or gravity, are spectacular examples of adaptive plant development. The plant hormone auxin serves as a major coordinative signal. The PIN auxin exporters, through their dynamic polar subcellular localizations, redirect auxin fluxes in response to environmental stimuli and the resulting auxin gradients across organs underly differential cell elongation and bending. In this review, we discuss recent advances concerning regulations of PIN polarity during tropisms, focusing on PIN phosphorylation and trafficking. We also cover how environmental cues regulate PIN actions during tropisms, and a crucial role of auxin feedback on PIN polarity during bending termination. Finally, the interactions between different tropisms are reviewed to understand plant adaptive growth in the natural environment."}],"language":[{"iso":"eng"}],"quality_controlled":"1","type":"journal_article","date_published":"2021-10-01T00:00:00Z","intvolume":"       232","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","ddc":["580"],"year":"2021","date_updated":"2025-04-14T07:45:00Z","publication":"New Phytologist","isi":1,"file_date_updated":"2021-10-07T13:42:47Z","issue":"2","ec_funded":1,"scopus_import":"1","status":"public","page":"510-522","file":[{"access_level":"open_access","date_created":"2021-10-07T13:42:47Z","file_size":1939800,"success":1,"content_type":"application/pdf","file_name":"2021_NewPhytologist_Han.pdf","checksum":"6422a6eb329b52d96279daaee0fcf189","date_updated":"2021-10-07T13:42:47Z","file_id":"10105","relation":"main_file","creator":"kschuh"}],"publication_status":"published","date_created":"2021-07-14T15:29:14Z","title":"PIN-mediated polar auxin transport regulations in plant tropic responses","oa_version":"Published Version","publication_identifier":{"issn":["0028-646x"],"eissn":["1469-8137"]},"volume":232,"author":[{"last_name":"Han","full_name":"Han, Huibin","id":"31435098-F248-11E8-B48F-1D18A9856A87","first_name":"Huibin"},{"full_name":"Adamowski, Maciek","last_name":"Adamowski","first_name":"Maciek","id":"45F536D2-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6463-5257"},{"id":"44B04502-A9ED-11E9-B6FC-583AE6697425","first_name":"Linlin","orcid":"0000-0001-5187-8401","full_name":"Qi, Linlin","last_name":"Qi"},{"full_name":"Alotaibi, SS","last_name":"Alotaibi","first_name":"SS"},{"full_name":"Friml, Jiří","last_name":"Friml","first_name":"Jiří","id":"4159519E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-8302-7596"}],"department":[{"_id":"JiFr"}],"month":"10","project":[{"grant_number":"742985","call_identifier":"H2020","_id":"261099A6-B435-11E9-9278-68D0E5697425","name":"Tracing Evolution of Auxin Transport and Polarity in Plants"},{"grant_number":"I03630","call_identifier":"FWF","_id":"26538374-B435-11E9-9278-68D0E5697425","name":"Molecular mechanisms of endocytic cargo recognition in plants"}],"article_type":"original","oa":1,"doi":"10.1111/nph.17617","acknowledgement":"We are grateful to Lukas Fiedler, Alexandra Mally (IST Austria) and Dr. Bartel Vanholme (VIB, Ghent) for their critical comments on the manuscript. We apologize to those researchers whose great work was not cited. This work is supported by the European Research Council under the European Union’s Horizon 2020 research and innovation Programme (ERC grant agreement number 742985), and the Austrian Science Fund (FWF, grant number I 3630-B25) to JF. HH is supported by the China Scholarship Council (CSC scholarship, 201506870018) and a starting grant from Jiangxi Agriculture University (9232308314).","pmid":1,"article_processing_charge":"Yes (via OA deal)","corr_author":"1","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publisher":"Wiley"},{"file_date_updated":"2021-07-19T12:13:34Z","publication":"Plant Cell","date_updated":"2024-10-21T06:02:03Z","isi":1,"page":"2981–3003","status":"public","issue":"9","scopus_import":"1","external_id":{"isi":["000702165300012"],"pmid":["34240197"]},"abstract":[{"lang":"eng","text":"To overcome nitrogen deficiency, legume roots establish symbiotic interactions with nitrogen-fixing rhizobia that is fostered in specialized organs (nodules). Similar to other organs, nodule formation is determined by a local maximum of the phytohormone auxin at the primordium site. However, how auxin regulates nodule development remains poorly understood. Here, we found that in soybean, (Glycine max), dynamic auxin transport driven by PIN-FORMED (PIN) transporter GmPIN1 is involved in nodule primordium formation. GmPIN1 was specifically expressed in nodule primordium cells and GmPIN1 was polarly localized in these cells. Two nodulation regulators, (iso)flavonoids trigger expanded distribution of GmPIN1b to root cortical cells, and cytokinin rearranges GmPIN1b polarity. Gmpin1abc triple mutants generated with CRISPR-Cas9 showed impaired establishment of auxin maxima in nodule meristems and aberrant divisions in the nodule primordium cells. Moreover, overexpression of GmPIN1 suppressed nodule primordium initiation. GmPIN9d, an ortholog of Arabidopsis thaliana PIN2, acts together with GmPIN1 later in nodule development to acropetally transport auxin in vascular bundles, fine-tuning the auxin supply for nodule enlargement. Our findings reveal how PIN-dependent auxin transport modulates different aspects of soybean nodule development and suggest that establishment of auxin gradient is a prerequisite for the proper interaction between legumes and rhizobia."}],"_id":"9657","language":[{"iso":"eng"}],"quality_controlled":"1","type":"journal_article","day":"07","citation":{"apa":"Gao, Z., Chen, Z., Cui, Y., Ke, M., Xu, H., Xu, Q., … Chen, X. (2021). GmPIN-dependent polar auxin transport is involved in soybean nodule development. <i>Plant Cell</i>. American Society of Plant Biologists. <a href=\"https://doi.org/10.1093/plcell/koab183\">https://doi.org/10.1093/plcell/koab183</a>","short":"Z. Gao, Z. Chen, Y. Cui, M. Ke, H. Xu, Q. Xu, J. Chen, Y. Li, L. Huang, H. Zhao, D. Huang, S. Mai, T. Xu, X. Liu, S. Li, Y. Guan, W. Yang, J. Friml, J. Petrášek, J. Zhang, X. Chen, Plant Cell 33 (2021) 2981–3003.","ieee":"Z. Gao <i>et al.</i>, “GmPIN-dependent polar auxin transport is involved in soybean nodule development,” <i>Plant Cell</i>, vol. 33, no. 9. American Society of Plant Biologists, pp. 2981–3003, 2021.","mla":"Gao, Z., et al. “GmPIN-Dependent Polar Auxin Transport Is Involved in Soybean Nodule Development.” <i>Plant Cell</i>, vol. 33, no. 9, American Society of Plant Biologists, 2021, pp. 2981–3003, doi:<a href=\"https://doi.org/10.1093/plcell/koab183\">10.1093/plcell/koab183</a>.","chicago":"Gao, Z, Z Chen, Y Cui, M Ke, H Xu, Q Xu, J Chen, et al. “GmPIN-Dependent Polar Auxin Transport Is Involved in Soybean Nodule Development.” <i>Plant Cell</i>. American Society of Plant Biologists, 2021. <a href=\"https://doi.org/10.1093/plcell/koab183\">https://doi.org/10.1093/plcell/koab183</a>.","ista":"Gao Z, Chen Z, Cui Y, Ke M, Xu H, Xu Q, Chen J, Li Y, Huang L, Zhao H, Huang D, Mai S, Xu T, Liu X, Li S, Guan Y, Yang W, Friml J, Petrášek J, Zhang J, Chen X. 2021. GmPIN-dependent polar auxin transport is involved in soybean nodule development. Plant Cell. 33(9), 2981–3003.","ama":"Gao Z, Chen Z, Cui Y, et al. GmPIN-dependent polar auxin transport is involved in soybean nodule development. <i>Plant Cell</i>. 2021;33(9):2981–3003. doi:<a href=\"https://doi.org/10.1093/plcell/koab183\">10.1093/plcell/koab183</a>"},"has_accepted_license":"1","intvolume":"        33","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","ddc":["580"],"year":"2021","date_published":"2021-07-07T00:00:00Z","doi":"10.1093/plcell/koab183","oa":1,"volume":33,"author":[{"first_name":"Z","last_name":"Gao","full_name":"Gao, Z"},{"first_name":"Z","full_name":"Chen, Z","last_name":"Chen"},{"last_name":"Cui","full_name":"Cui, Y","first_name":"Y"},{"full_name":"Ke, M","last_name":"Ke","first_name":"M"},{"full_name":"Xu, H","last_name":"Xu","first_name":"H"},{"last_name":"Xu","full_name":"Xu, Q","first_name":"Q"},{"last_name":"Chen","full_name":"Chen, J","first_name":"J"},{"first_name":"Y","full_name":"Li, Y","last_name":"Li"},{"full_name":"Huang, L","last_name":"Huang","first_name":"L"},{"first_name":"H","full_name":"Zhao, H","last_name":"Zhao"},{"first_name":"D","full_name":"Huang, D","last_name":"Huang"},{"first_name":"S","last_name":"Mai","full_name":"Mai, S"},{"first_name":"T","full_name":"Xu, T","last_name":"Xu"},{"last_name":"Liu","full_name":"Liu, X","first_name":"X"},{"last_name":"Li","full_name":"Li, S","first_name":"S"},{"full_name":"Guan, Y","last_name":"Guan","first_name":"Y"},{"first_name":"W","full_name":"Yang, W","last_name":"Yang"},{"id":"4159519E-F248-11E8-B48F-1D18A9856A87","first_name":"Jiří","orcid":"0000-0002-8302-7596","full_name":"Friml, Jiří","last_name":"Friml"},{"full_name":"Petrášek, J","last_name":"Petrášek","first_name":"J"},{"first_name":"J","last_name":"Zhang","full_name":"Zhang, J"},{"full_name":"Chen, X","last_name":"Chen","first_name":"X"}],"department":[{"_id":"JiFr"}],"month":"07","article_type":"original","article_processing_charge":"No","tmp":{"image":"/images/cc_by_nc_nd.png","short":"CC BY-NC-ND (4.0)","name":"Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0)","legal_code_url":"https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode"},"publisher":"American Society of Plant Biologists","pmid":1,"publication_status":"published","file":[{"access_level":"open_access","date_created":"2021-07-19T12:13:34Z","file_size":10566921,"success":1,"content_type":"application/pdf","file_name":"2021_PlantCell_Gao.pdf","checksum":"6715712ec306c321f0204c817b7f8ae7","creator":"cziletti","file_id":"9691","date_updated":"2021-07-19T12:13:34Z","relation":"main_file"}],"publication_identifier":{"eissn":["1532-298x"],"issn":["1040-4651"]},"title":"GmPIN-dependent polar auxin transport is involved in soybean nodule development","date_created":"2021-07-14T15:32:43Z","oa_version":"Published Version"},{"issue":"1","scopus_import":"1","status":"public","date_updated":"2023-02-23T14:04:20Z","publication":"Nature Communications","file_date_updated":"2021-07-15T13:55:46Z","date_published":"2021-01-26T00:00:00Z","article_number":"588","intvolume":"        12","user_id":"6785fbc1-c503-11eb-8a32-93094b40e1cf","ddc":["530","540"],"year":"2021","citation":{"ama":"Reinhardt A, Cheng B. Quantum-mechanical exploration of the phase diagram of water. <i>Nature Communications</i>. 2021;12(1). doi:<a href=\"https://doi.org/10.1038/s41467-020-20821-w\">10.1038/s41467-020-20821-w</a>","ista":"Reinhardt A, Cheng B. 2021. Quantum-mechanical exploration of the phase diagram of water. Nature Communications. 12(1), 588.","chicago":"Reinhardt, Aleks, and Bingqing Cheng. “Quantum-Mechanical Exploration of the Phase Diagram of Water.” <i>Nature Communications</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1038/s41467-020-20821-w\">https://doi.org/10.1038/s41467-020-20821-w</a>.","mla":"Reinhardt, Aleks, and Bingqing Cheng. “Quantum-Mechanical Exploration of the Phase Diagram of Water.” <i>Nature Communications</i>, vol. 12, no. 1, 588, Springer Nature, 2021, doi:<a href=\"https://doi.org/10.1038/s41467-020-20821-w\">10.1038/s41467-020-20821-w</a>.","short":"A. Reinhardt, B. Cheng, Nature Communications 12 (2021).","ieee":"A. Reinhardt and B. Cheng, “Quantum-mechanical exploration of the phase diagram of water,” <i>Nature Communications</i>, vol. 12, no. 1. Springer Nature, 2021.","apa":"Reinhardt, A., &#38; Cheng, B. (2021). Quantum-mechanical exploration of the phase diagram of water. <i>Nature Communications</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41467-020-20821-w\">https://doi.org/10.1038/s41467-020-20821-w</a>"},"day":"26","has_accepted_license":"1","external_id":{"arxiv":["2010.13729"],"pmid":["33500405"]},"language":[{"iso":"eng"}],"_id":"9669","abstract":[{"lang":"eng","text":"The set of known stable phases of water may not be complete, and some of the phase boundaries between them are fuzzy. Starting from liquid water and a comprehensive set of 50 ice structures, we compute the phase diagram at three hybrid density-functional-theory levels of approximation, accounting for thermal and nuclear fluctuations as well as proton disorder. Such calculations are only made tractable because we combine machine-learning methods and advanced free-energy techniques. The computed phase diagram is in qualitative agreement with experiment, particularly at pressures ≲ 8000 bar, and the discrepancy in chemical potential is comparable with the subtle uncertainties introduced by proton disorder and the spread between the three hybrid functionals. None of the hypothetical ice phases considered is thermodynamically stable in our calculations, suggesting the completeness of the experimental water phase diagram in the region considered. Our work demonstrates the feasibility of predicting the phase diagram of a polymorphic system from first principles and provides a thermodynamic way of testing the limits of quantum-mechanical calculations."}],"quality_controlled":"1","type":"journal_article","extern":"1","pmid":1,"article_processing_charge":"No","tmp":{"short":"CC BY (4.0)","image":"/images/cc_by.png","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publisher":"Springer Nature","author":[{"last_name":"Reinhardt","full_name":"Reinhardt, Aleks","first_name":"Aleks"},{"full_name":"Cheng, Bingqing","last_name":"Cheng","orcid":"0000-0002-3584-9632","first_name":"Bingqing","id":"cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9"}],"volume":12,"month":"01","article_type":"original","doi":"10.1038/s41467-020-20821-w","oa":1,"date_created":"2021-07-15T13:48:13Z","title":"Quantum-mechanical exploration of the phase diagram of water","oa_version":"Published Version","arxiv":1,"publication_identifier":{"eissn":["2041-1723"]},"file":[{"date_updated":"2021-07-15T13:55:46Z","creator":"asandaue","file_id":"9670","relation":"main_file","checksum":"8b5e1fbe2f1ab936047008043150e894","file_name":"2021_NatureCommunications_Reinhardt.pdf","content_type":"application/pdf","success":1,"date_created":"2021-07-15T13:55:46Z","file_size":1180227,"access_level":"open_access"}],"publication_status":"published"},{"quality_controlled":"1","type":"conference","external_id":{"arxiv":["2005.07761"]},"_id":"9678","language":[{"iso":"eng"}],"abstract":[{"text":"We introduce a new graph problem, the token dropping game, and we show how to solve it efficiently in a distributed setting. We use the token dropping game as a tool to design an efficient distributed algorithm for stable orientations and more generally for locally optimal semi-matchings. The prior work by Czygrinow et al. (DISC 2012) finds a stable orientation in O(Δ^5) rounds in graphs of maximum degree Δ, while we improve it to O(Δ^4) and also prove a lower bound of Ω(Δ). For the more general problem of locally optimal semi-matchings, the prior upper bound is O(S^5) and our new algorithm runs in O(C · S^4) rounds, which is an improvement for C = o(S); here C and S are the maximum degrees of customers and servers, respectively.","lang":"eng"}],"day":"06","citation":{"mla":"Brandt, Sebastian, et al. “Efficient Load-Balancing through Distributed Token Dropping.” <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>, 2021, pp. 129–39, doi:<a href=\"https://doi.org/10.1145/3409964.3461785\">10.1145/3409964.3461785</a>.","ieee":"S. Brandt, B. Keller, J. Rybicki, J. Suomela, and J. Uitto, “Efficient load-balancing through distributed token dropping,” in <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>,  Virtual Event, United States, 2021, pp. 129–139.","short":"S. Brandt, B. Keller, J. Rybicki, J. Suomela, J. Uitto, in:, Annual ACM Symposium on Parallelism in Algorithms and Architectures, 2021, pp. 129–139.","apa":"Brandt, S., Keller, B., Rybicki, J., Suomela, J., &#38; Uitto, J. (2021). Efficient load-balancing through distributed token dropping. In <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i> (pp. 129–139).  Virtual Event, United States. <a href=\"https://doi.org/10.1145/3409964.3461785\">https://doi.org/10.1145/3409964.3461785</a>","ama":"Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. Efficient load-balancing through distributed token dropping. In: <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>. ; 2021:129-139. doi:<a href=\"https://doi.org/10.1145/3409964.3461785\">10.1145/3409964.3461785</a>","ista":"Brandt S, Keller B, Rybicki J, Suomela J, Uitto J. 2021. Efficient load-balancing through distributed token dropping. Annual ACM Symposium on Parallelism in Algorithms and Architectures. SPAA: Symposium on Parallelism in Algorithms and Architectures , 129–139.","chicago":"Brandt, Sebastian, Barbara Keller, Joel Rybicki, Jukka Suomela, and Jara Uitto. “Efficient Load-Balancing through Distributed Token Dropping.” In <i>Annual ACM Symposium on Parallelism in Algorithms and Architectures</i>, 129–39, 2021. <a href=\"https://doi.org/10.1145/3409964.3461785\">https://doi.org/10.1145/3409964.3461785</a>."},"user_id":"D865714E-FA4E-11E9-B85B-F5C5E5697425","year":"2021","main_file_link":[{"url":"https://arxiv.org/abs/2005.07761","open_access":"1"}],"date_published":"2021-07-06T00:00:00Z","publication":"Annual ACM Symposium on Parallelism in Algorithms and Architectures","date_updated":"2025-04-14T07:50:55Z","status":"public","page":"129-139","scopus_import":"1","ec_funded":1,"publication_status":"published","conference":{"location":" Virtual Event, United States","end_date":"2021-07-08","start_date":"2021-07-06","name":"SPAA: Symposium on Parallelism in Algorithms and Architectures "},"arxiv":1,"publication_identifier":{"isbn":["9781450380706"]},"oa_version":"Preprint","date_created":"2021-07-18T22:01:22Z","title":"Efficient load-balancing through distributed token dropping","doi":"10.1145/3409964.3461785","oa":1,"acknowledgement":"We thank Orr Fischer, Juho Hirvonen, and Tuomo Lempiäinen for valuable discussions. This project has received funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie grant agreement No. 840605.","month":"07","department":[{"_id":"DaAl"}],"project":[{"_id":"26A5D39A-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"840605","name":"Coordination in constrained and natural distributed systems"}],"author":[{"first_name":"Sebastian","last_name":"Brandt","full_name":"Brandt, Sebastian"},{"first_name":"Barbara","full_name":"Keller, Barbara","last_name":"Keller"},{"full_name":"Rybicki, Joel","last_name":"Rybicki","id":"334EFD2E-F248-11E8-B48F-1D18A9856A87","first_name":"Joel","orcid":"0000-0002-6432-6646"},{"last_name":"Suomela","full_name":"Suomela, Jukka","first_name":"Jukka"},{"first_name":"Jara","last_name":"Uitto","full_name":"Uitto, Jara"}],"article_processing_charge":"No","related_material":{"record":[{"relation":"earlier_version","id":"15074","status":"public"}]}},{"_id":"9696","language":[{"iso":"eng"}],"abstract":[{"lang":"eng","text":"Most water in the universe may be superionic, and its thermodynamic and transport properties are crucial for planetary science but difficult to probe experimentally or theoretically. We use machine learning and free energy methods to overcome the limitations of quantum mechanical simulations, and characterize hydrogen diffusion, superionic transitions, and phase behaviors of water at extreme conditions. We predict that a close-packed superionic phase with mixed stacking is stable over a wide temperature and pressure range, while a body-centered cubic phase is only thermodynamically stable in a small window but is kinetically favored. Our phase boundaries, which are consistent with the existing-albeit scarce-experimental observations, help resolve the fractions of insulating ice, different superionic phases, and liquid water inside of ice giants."}],"external_id":{"arxiv":["2103.09035"]},"type":"preprint","publication_status":"submitted","day":"16","citation":{"chicago":"Cheng, Bingqing, Mandy Bethkenhagen, Chris J. Pickard, and Sebastien Hamel. “Predicting the Phase Behaviors of Superionic Water at Planetary Conditions.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2103.09035\">https://doi.org/10.48550/arXiv.2103.09035</a>.","ista":"Cheng B, Bethkenhagen M, Pickard CJ, Hamel S. Predicting the phase behaviors of superionic water at planetary conditions. arXiv, 2103.09035.","ama":"Cheng B, Bethkenhagen M, Pickard CJ, Hamel S. Predicting the phase behaviors of superionic water at planetary conditions. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2103.09035\">10.48550/arXiv.2103.09035</a>","apa":"Cheng, B., Bethkenhagen, M., Pickard, C. J., &#38; Hamel, S. (n.d.). Predicting the phase behaviors of superionic water at planetary conditions. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2103.09035\">https://doi.org/10.48550/arXiv.2103.09035</a>","short":"B. Cheng, M. Bethkenhagen, C.J. Pickard, S. Hamel, ArXiv (n.d.).","ieee":"B. Cheng, M. Bethkenhagen, C. J. Pickard, and S. Hamel, “Predicting the phase behaviors of superionic water at planetary conditions,” <i>arXiv</i>. .","mla":"Cheng, Bingqing, et al. “Predicting the Phase Behaviors of Superionic Water at Planetary Conditions.” <i>ArXiv</i>, 2103.09035, doi:<a href=\"https://doi.org/10.48550/arXiv.2103.09035\">10.48550/arXiv.2103.09035</a>."},"article_number":"2103.09035","arxiv":1,"year":"2021","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","date_published":"2021-03-16T00:00:00Z","title":"Predicting the phase behaviors of superionic water at planetary conditions","date_created":"2021-07-20T06:42:29Z","oa_version":"Preprint","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2103.09035"}],"doi":"10.48550/arXiv.2103.09035","oa":1,"publication":"arXiv","date_updated":"2025-06-26T11:49:07Z","author":[{"orcid":"0000-0002-3584-9632","id":"cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9","first_name":"Bingqing","last_name":"Cheng","full_name":"Cheng, Bingqing"},{"full_name":"Bethkenhagen, Mandy","last_name":"Bethkenhagen","first_name":"Mandy"},{"last_name":"Pickard","full_name":"Pickard, Chris J.","first_name":"Chris J."},{"last_name":"Hamel","full_name":"Hamel, Sebastien","first_name":"Sebastien"}],"month":"03","article_processing_charge":"No","status":"public","extern":"1","related_material":{"record":[{"relation":"later_version","status":"public","id":"19909"}]}}]