[{"author":[{"first_name":"Paul","full_name":"Rubel, Paul","last_name":"Rubel"},{"full_name":"Fayn, Jocelyne","last_name":"Fayn","first_name":"Jocelyne"},{"first_name":"Peter W.","full_name":"Macfarlane, Peter W.","last_name":"Macfarlane"},{"full_name":"Pani, Danilo","last_name":"Pani","first_name":"Danilo"},{"id":"45BF87EE-F248-11E8-B48F-1D18A9856A87","first_name":"Alois","orcid":"0000-0002-5621-8100","last_name":"Schlögl","full_name":"Schlögl, Alois"},{"first_name":"Alpo","last_name":"Värri","full_name":"Värri, Alpo"}],"file_date_updated":"2024-04-09T06:49:47Z","publication_identifier":{"issn":["2673-3846"]},"language":[{"iso":"eng"}],"publication":"Hearts","citation":{"ieee":"P. Rubel, J. Fayn, P. W. Macfarlane, D. Pani, A. Schlögl, and A. Värri, “The history and challenges of SCP-ECG: The standard communication protocol for computer-assisted electrocardiography,” <i>Hearts</i>, vol. 2, no. 3. MDPI, pp. 384–409, 2021.","short":"P. Rubel, J. Fayn, P.W. Macfarlane, D. Pani, A. Schlögl, A. Värri, Hearts 2 (2021) 384–409.","ista":"Rubel P, Fayn J, Macfarlane PW, Pani D, Schlögl A, Värri A. 2021. The history and challenges of SCP-ECG: The standard communication protocol for computer-assisted electrocardiography. Hearts. 2(3), 384–409.","apa":"Rubel, P., Fayn, J., Macfarlane, P. W., Pani, D., Schlögl, A., &#38; Värri, A. (2021). The history and challenges of SCP-ECG: The standard communication protocol for computer-assisted electrocardiography. <i>Hearts</i>. MDPI. <a href=\"https://doi.org/10.3390/hearts2030031\">https://doi.org/10.3390/hearts2030031</a>","chicago":"Rubel, Paul, Jocelyne Fayn, Peter W. Macfarlane, Danilo Pani, Alois Schlögl, and Alpo Värri. “The History and Challenges of SCP-ECG: The Standard Communication Protocol for Computer-Assisted Electrocardiography.” <i>Hearts</i>. MDPI, 2021. <a href=\"https://doi.org/10.3390/hearts2030031\">https://doi.org/10.3390/hearts2030031</a>.","ama":"Rubel P, Fayn J, Macfarlane PW, Pani D, Schlögl A, Värri A. The history and challenges of SCP-ECG: The standard communication protocol for computer-assisted electrocardiography. <i>Hearts</i>. 2021;2(3):384-409. doi:<a href=\"https://doi.org/10.3390/hearts2030031\">10.3390/hearts2030031</a>","mla":"Rubel, Paul, et al. “The History and Challenges of SCP-ECG: The Standard Communication Protocol for Computer-Assisted Electrocardiography.” <i>Hearts</i>, vol. 2, no. 3, MDPI, 2021, pp. 384–409, doi:<a href=\"https://doi.org/10.3390/hearts2030031\">10.3390/hearts2030031</a>."},"publication_status":"published","year":"2021","article_processing_charge":"Yes","oa_version":"Published Version","page":"384-409","acknowledgement":"This research received no external funding. The authors thank the large number of researchers, engineers, cardiologists, and clinicians from academia, industry, and normalization organizations who contributed to the development and testing of the SCP-ECG standards.","date_updated":"2024-04-09T06:51:50Z","_id":"15285","intvolume":"         2","title":"The history and challenges of SCP-ECG: The standard communication protocol for computer-assisted electrocardiography","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"ddc":["610"],"month":"08","volume":2,"oa":1,"keyword":["General Medicine"],"day":"24","status":"public","abstract":[{"text":"Ever since the first publication of the standard communication protocol for computer-assisted electrocardiography (SCP-ECG), prENV 1064, in 1993, by the European Committee for Standardization (CEN), SCP-ECG has become a leading example in health informatics, enabling open, secure, and well-documented digital data exchange at a low cost, for quick and efficient cardiovascular disease detection and management. Based on the experiences gained, since the 1970s, in computerized electrocardiology, and on the results achieved by the pioneering, international cooperative research on common standards for quantitative electrocardiography (CSE), SCP-ECG was designed, from the beginning, to empower personalized medicine, thanks to serial ECG analysis. The fundamental concept behind SCP-ECG is to convey the necessary information for ECG re-analysis, serial comparison, and interpretation, and to structure the ECG data and metadata in sections that are mostly optional in order to fit all use cases. SCP-ECG is open to the storage of the ECG signal and ECG measurement data, whatever the ECG recording modality or computation method, and can store the over-reading trails and ECG annotations, as well as any computerized or medical interpretation reports. Only the encoding syntax and the semantics of the ECG descriptors and of the diagnosis codes are standardized. We present all of the landmarks in the development and publication of SCP-ECG, from the early 1990s to the 2009 International Organization for Standardization (ISO) SCP-ECG standards, including the latest version published by CEN in 2020, which now encompasses rest and stress ECGs, Holter recordings, and protocol-based trials.","lang":"eng"}],"date_created":"2024-04-03T09:03:31Z","publisher":"MDPI","date_published":"2021-08-24T00:00:00Z","quality_controlled":"1","issue":"3","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.3390/hearts2030031","file":[{"relation":"main_file","creator":"dernst","file_name":"2021_Hearts_Rubel.pdf","checksum":"f67142b1e1e8ca5cd7a6a6798f46375e","success":1,"access_level":"open_access","file_id":"15302","file_size":3539897,"date_created":"2024-04-09T06:49:47Z","date_updated":"2024-04-09T06:49:47Z","content_type":"application/pdf"}],"article_type":"review","has_accepted_license":"1","department":[{"_id":"ScienComp"}]},{"DOAJ_listed":"1","author":[{"first_name":"Laura","last_name":"Morcom","full_name":"Morcom, Laura"},{"first_name":"Ilan","last_name":"Gobius","full_name":"Gobius, Ilan"},{"first_name":"Ashley PL","last_name":"Marsh","full_name":"Marsh, Ashley PL"},{"last_name":"Suárez","full_name":"Suárez, Rodrigo","first_name":"Rodrigo"},{"last_name":"Lim","full_name":"Lim, Jonathan WC","first_name":"Jonathan WC"},{"first_name":"Caitlin","full_name":"Bridges, Caitlin","last_name":"Bridges"},{"first_name":"Yunan","full_name":"Ye, Yunan","last_name":"Ye"},{"last_name":"Fenlon","full_name":"Fenlon, Laura R","first_name":"Laura R"},{"full_name":"Zagar, Yvrick","last_name":"Zagar","first_name":"Yvrick"},{"id":"de5f6fda-80fb-11ef-996f-a8c4ecd8e289","first_name":"Amelia May Barnett","orcid":"0000-0001-5398-6473","last_name":"Douglass","full_name":"Douglass, Amelia May Barnett"},{"first_name":"Amber-Lee S","last_name":"Donahoo","full_name":"Donahoo, Amber-Lee S"},{"first_name":"Thomas","last_name":"Fothergill","full_name":"Fothergill, Thomas"},{"first_name":"Samreen","full_name":"Shaikh, Samreen","last_name":"Shaikh"},{"last_name":"Kozulin","full_name":"Kozulin, Peter","first_name":"Peter"},{"first_name":"Timothy J","last_name":"Edwards","full_name":"Edwards, Timothy J"},{"first_name":"Helen M","last_name":"Cooper","full_name":"Cooper, Helen M"},{"last_name":"Sherr","full_name":"Sherr, Elliott H","first_name":"Elliott H"},{"last_name":"Chédotal","full_name":"Chédotal, Alain","first_name":"Alain"},{"last_name":"Leventer","full_name":"Leventer, Richard J","first_name":"Richard J"},{"last_name":"Lockhart","full_name":"Lockhart, Paul J","first_name":"Paul J"},{"last_name":"Richards","full_name":"Richards, Linda J","first_name":"Linda J"}],"language":[{"iso":"eng"}],"publication_identifier":{"eissn":["2050-084X"]},"publication":"eLife","article_number":"61769","publication_status":"published","citation":{"ieee":"L. Morcom <i>et al.</i>, “DCC regulates astroglial development essential for telencephalic morphogenesis and corpus callosum formation,” <i>eLife</i>, vol. 10. eLife Sciences Publications, 2021.","short":"L. Morcom, I. Gobius, A.P. Marsh, R. Suárez, J.W. Lim, C. Bridges, Y. Ye, L.R. Fenlon, Y. Zagar, A.M. Douglass, A.-L.S. Donahoo, T. Fothergill, S. Shaikh, P. Kozulin, T.J. Edwards, H.M. Cooper, E.H. Sherr, A. Chédotal, R.J. Leventer, P.J. Lockhart, L.J. Richards, ELife 10 (2021).","apa":"Morcom, L., Gobius, I., Marsh, A. P., Suárez, R., Lim, J. W., Bridges, C., … Richards, L. J. (2021). DCC regulates astroglial development essential for telencephalic morphogenesis and corpus callosum formation. <i>ELife</i>. eLife Sciences Publications. <a href=\"https://doi.org/10.7554/elife.61769\">https://doi.org/10.7554/elife.61769</a>","ista":"Morcom L, Gobius I, Marsh AP, Suárez R, Lim JW, Bridges C, Ye Y, Fenlon LR, Zagar Y, Douglass AM, Donahoo A-LS, Fothergill T, Shaikh S, Kozulin P, Edwards TJ, Cooper HM, Sherr EH, Chédotal A, Leventer RJ, Lockhart PJ, Richards LJ. 2021. DCC regulates astroglial development essential for telencephalic morphogenesis and corpus callosum formation. eLife. 10, 61769.","ama":"Morcom L, Gobius I, Marsh AP, et al. DCC regulates astroglial development essential for telencephalic morphogenesis and corpus callosum formation. <i>eLife</i>. 2021;10. doi:<a href=\"https://doi.org/10.7554/elife.61769\">10.7554/elife.61769</a>","chicago":"Morcom, Laura, Ilan Gobius, Ashley PL Marsh, Rodrigo Suárez, Jonathan WC Lim, Caitlin Bridges, Yunan Ye, et al. “DCC Regulates Astroglial Development Essential for Telencephalic Morphogenesis and Corpus Callosum Formation.” <i>ELife</i>. eLife Sciences Publications, 2021. <a href=\"https://doi.org/10.7554/elife.61769\">https://doi.org/10.7554/elife.61769</a>.","mla":"Morcom, Laura, et al. “DCC Regulates Astroglial Development Essential for Telencephalic Morphogenesis and Corpus Callosum Formation.” <i>ELife</i>, vol. 10, 61769, eLife Sciences Publications, 2021, doi:<a href=\"https://doi.org/10.7554/elife.61769\">10.7554/elife.61769</a>."},"year":"2021","article_processing_charge":"Yes","oa_version":"Published Version","pmid":1,"OA_place":"publisher","OA_type":"gold","date_updated":"2025-07-10T11:51:41Z","_id":"19472","title":"DCC regulates astroglial development essential for telencephalic morphogenesis and corpus callosum formation","intvolume":"        10","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"oa":1,"month":"04","volume":10,"external_id":{"pmid":["33871356"]},"day":"19","status":"public","abstract":[{"lang":"eng","text":"The forebrain hemispheres are predominantly separated during embryogenesis by the interhemispheric fissure (IHF). Radial astroglia remodel the IHF to form a continuous substrate between the hemispheres for midline crossing of the corpus callosum (CC) and hippocampal commissure (HC). Deleted in colorectal carcinoma (DCC) and netrin 1 (NTN1) are molecules that have an evolutionarily conserved function in commissural axon guidance. The CC and HC are absent in <jats:italic>Dcc</jats:italic> and <jats:italic>Ntn1</jats:italic> knockout mice, while other commissures are only partially affected, suggesting an additional aetiology in forebrain commissure formation. Here, we find that these molecules play a critical role in regulating astroglial development and IHF remodelling during CC and HC formation. Human subjects with <jats:italic>DCC</jats:italic> mutations display disrupted IHF remodelling associated with CC and HC malformations. Thus, axon guidance molecules such as DCC and NTN1 first regulate the formation of a midline substrate for dorsal commissures prior to their role in regulating axonal growth and guidance across it."}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.7554/eLife.61769"}],"publisher":"eLife Sciences Publications","date_created":"2025-04-03T12:29:29Z","scopus_import":"1","date_published":"2021-04-19T00:00:00Z","quality_controlled":"1","type":"journal_article","doi":"10.7554/elife.61769","extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","has_accepted_license":"1","article_type":"original"},{"day":"15","abstract":[{"lang":"eng","text":"Let K be a cyclic number field of odd degree over \r\n𝑄 with odd narrow class number, such that 2 is inert in 𝐾/𝑄. We define a family of number fields {𝐾(𝑝)}𝑝, depending on K and indexed by the rational primes p that split completely in 𝐾/𝑄, in which p is always ramified of degree 2. Conditional on a standard conjecture on short character sums, the density of such rational primes p that exhibit one of two possible ramified factorizations in 𝐾(𝑝)/𝑄 is strictly between 0 and 1 and is given explicitly as a formula in terms of the degree of the extension 𝐾/𝑄. Our results are unconditional in the cubic case. Our proof relies on a detailed study of the joint distribution of spins of prime ideals."}],"main_file_link":[{"open_access":"1","url":"https://doi.org/10.1007/s40993-021-00295-5"}],"status":"public","quality_controlled":"1","date_published":"2021-11-15T00:00:00Z","publisher":"Springer Nature","date_created":"2025-04-05T10:50:51Z","scopus_import":"1","type":"journal_article","has_accepted_license":"1","article_type":"original","doi":"10.1007/s40993-021-00295-5","extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","language":[{"iso":"eng"}],"publication_identifier":{"issn":["2522-0160"],"eissn":["2363-9555"]},"author":[{"full_name":"Chan, Yik Tung","last_name":"Chan","orcid":"0000-0001-8467-4106","first_name":"Yik Tung","id":"c4c0afc8-9262-11ed-9231-d8b0bc743af1"},{"last_name":"McMeekin","full_name":"McMeekin, Christine","first_name":"Christine"},{"first_name":"Djordjo","full_name":"Milovic, Djordjo","last_name":"Milovic"}],"article_number":"1","publication_status":"published","citation":{"chicago":"Chan, Stephanie, Christine McMeekin, and Djordjo Milovic. “A Density of Ramified Primes.” <i>Research in Number Theory</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1007/s40993-021-00295-5\">https://doi.org/10.1007/s40993-021-00295-5</a>.","ama":"Chan S, McMeekin C, Milovic D. A density of ramified primes. <i>Research in Number Theory</i>. 2021;8. doi:<a href=\"https://doi.org/10.1007/s40993-021-00295-5\">10.1007/s40993-021-00295-5</a>","mla":"Chan, Stephanie, et al. “A Density of Ramified Primes.” <i>Research in Number Theory</i>, vol. 8, 1, Springer Nature, 2021, doi:<a href=\"https://doi.org/10.1007/s40993-021-00295-5\">10.1007/s40993-021-00295-5</a>.","ieee":"S. Chan, C. McMeekin, and D. Milovic, “A density of ramified primes,” <i>Research in Number Theory</i>, vol. 8. Springer Nature, 2021.","short":"S. Chan, C. McMeekin, D. Milovic, Research in Number Theory 8 (2021).","apa":"Chan, S., McMeekin, C., &#38; Milovic, D. (2021). A density of ramified primes. <i>Research in Number Theory</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s40993-021-00295-5\">https://doi.org/10.1007/s40993-021-00295-5</a>","ista":"Chan S, McMeekin C, Milovic D. 2021. A density of ramified primes. Research in Number Theory. 8, 1."},"publication":"Research in Number Theory","article_processing_charge":"No","year":"2021","arxiv":1,"oa_version":"Published Version","OA_type":"hybrid","OA_place":"publisher","_id":"19489","date_updated":"2025-07-10T11:51:46Z","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"ddc":["510"],"title":"A density of ramified primes","intvolume":"         8","external_id":{"arxiv":["2005.10188"]},"oa":1,"volume":8,"month":"11"},{"publication":"Mathematische Zeitschrift","publication_status":"published","citation":{"mla":"Chan, Stephanie, and Djordjo Milovic. “Kuroda’s Formula and Arithmetic Statistics.” <i>Mathematische Zeitschrift</i>, vol. 300, no. 2, Springer Nature, 2021, pp. 1509–27, doi:<a href=\"https://doi.org/10.1007/s00209-021-02823-6\">10.1007/s00209-021-02823-6</a>.","ama":"Chan S, Milovic D. Kuroda’s formula and arithmetic statistics. <i>Mathematische Zeitschrift</i>. 2021;300(2):1509-1527. doi:<a href=\"https://doi.org/10.1007/s00209-021-02823-6\">10.1007/s00209-021-02823-6</a>","chicago":"Chan, Stephanie, and Djordjo Milovic. “Kuroda’s Formula and Arithmetic Statistics.” <i>Mathematische Zeitschrift</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1007/s00209-021-02823-6\">https://doi.org/10.1007/s00209-021-02823-6</a>.","apa":"Chan, S., &#38; Milovic, D. (2021). Kuroda’s formula and arithmetic statistics. <i>Mathematische Zeitschrift</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00209-021-02823-6\">https://doi.org/10.1007/s00209-021-02823-6</a>","ista":"Chan S, Milovic D. 2021. Kuroda’s formula and arithmetic statistics. Mathematische Zeitschrift. 300(2), 1509–1527.","ieee":"S. Chan and D. Milovic, “Kuroda’s formula and arithmetic statistics,” <i>Mathematische Zeitschrift</i>, vol. 300, no. 2. Springer Nature, pp. 1509–1527, 2021.","short":"S. Chan, D. Milovic, Mathematische Zeitschrift 300 (2021) 1509–1527."},"author":[{"id":"c4c0afc8-9262-11ed-9231-d8b0bc743af1","orcid":"0000-0001-8467-4106","first_name":"Yik Tung","last_name":"Chan","full_name":"Chan, Yik Tung"},{"last_name":"Milovic","full_name":"Milovic, Djordjo","first_name":"Djordjo"}],"language":[{"iso":"eng"}],"publication_identifier":{"eissn":["1432-1823"],"issn":["0025-5874"]},"oa_version":"Preprint","arxiv":1,"page":"1509-1527","year":"2021","article_processing_charge":"No","date_updated":"2025-07-10T11:51:48Z","_id":"19492","OA_type":"green","OA_place":"repository","oa":1,"volume":300,"month":"08","external_id":{"arxiv":["1905.09745"]},"title":"Kuroda’s formula and arithmetic statistics","intvolume":"       300","day":"17","status":"public","abstract":[{"lang":"eng","text":"Kuroda’s formula relates the class number of a multiquadratic number field K to the class numbers of its quadratic subfields ki. A key component in this formula is the unit group index (math formular). We study how Q(K) behaves on average in certain natural families of totally real biquadratic fields K parametrized by prime numbers."}],"main_file_link":[{"url":"https://doi.org/10.48550/arXiv.1905.09745","open_access":"1"}],"type":"journal_article","issue":"2","date_created":"2025-04-05T10:51:04Z","publisher":"Springer Nature","scopus_import":"1","date_published":"2021-08-17T00:00:00Z","quality_controlled":"1","doi":"10.1007/s00209-021-02823-6","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","article_type":"original"},{"main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1904.04254"}],"abstract":[{"lang":"eng","text":"The first author’s previous work established Solomon’s WDVV-type relations for Welschinger’s invariant curve counts in real symplectic fourfolds by lifting geometric relations over possibly unorientable morphisms. We apply her framework to obtain WDVV-style relations for the disk invariants of real symplectic sixfolds with some symmetry, in particular confirming Alcolado’s prediction for P^3 and extending it to other spaces. These relations reduce the computation of Welschinger’s invariants of many real symplectic sixfolds to invariants in small degrees and provide lower bounds for counts of real rational curves with positive-dimensional insertions in some cases. In the case of P^3, our lower bounds fit perfectly with Kollár’s vanishing results."}],"status":"public","day":"25","article_type":"original","extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1007/s00208-020-02130-1","issue":"3-4","type":"journal_article","quality_controlled":"1","date_published":"2021-01-25T00:00:00Z","scopus_import":"1","publisher":"Springer Nature","date_created":"2025-11-10T08:41:40Z","page":"1231-1313","oa_version":"Preprint","arxiv":1,"article_processing_charge":"No","year":"2021","citation":{"ieee":"X. Chen and A. Zinger, “WDVV-type relations for disk Gromov–Witten invariants in dimension 6,” <i>Mathematische Annalen</i>, vol. 379, no. 3–4. Springer Nature, pp. 1231–1313, 2021.","short":"X. Chen, A. Zinger, Mathematische Annalen 379 (2021) 1231–1313.","ista":"Chen X, Zinger A. 2021. WDVV-type relations for disk Gromov–Witten invariants in dimension 6. Mathematische Annalen. 379(3–4), 1231–1313.","apa":"Chen, X., &#38; Zinger, A. (2021). WDVV-type relations for disk Gromov–Witten invariants in dimension 6. <i>Mathematische Annalen</i>. Springer Nature. <a href=\"https://doi.org/10.1007/s00208-020-02130-1\">https://doi.org/10.1007/s00208-020-02130-1</a>","ama":"Chen X, Zinger A. WDVV-type relations for disk Gromov–Witten invariants in dimension 6. <i>Mathematische Annalen</i>. 2021;379(3-4):1231-1313. doi:<a href=\"https://doi.org/10.1007/s00208-020-02130-1\">10.1007/s00208-020-02130-1</a>","chicago":"Chen, Xujia, and Aleksey Zinger. “WDVV-Type Relations for Disk Gromov–Witten Invariants in Dimension 6.” <i>Mathematische Annalen</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1007/s00208-020-02130-1\">https://doi.org/10.1007/s00208-020-02130-1</a>.","mla":"Chen, Xujia, and Aleksey Zinger. “WDVV-Type Relations for Disk Gromov–Witten Invariants in Dimension 6.” <i>Mathematische Annalen</i>, vol. 379, no. 3–4, Springer Nature, 2021, pp. 1231–313, doi:<a href=\"https://doi.org/10.1007/s00208-020-02130-1\">10.1007/s00208-020-02130-1</a>."},"publication_status":"published","publication":"Mathematische Annalen","publication_identifier":{"eissn":["1432-1807"],"issn":["0025-5831"]},"language":[{"iso":"eng"}],"author":[{"first_name":"Xujia","id":"968ad14a-fd86-11ee-a420-ea29715511a3","full_name":"Chen, Xujia","last_name":"Chen"},{"last_name":"Zinger","full_name":"Zinger, Aleksey","first_name":"Aleksey"}],"external_id":{"arxiv":["1904.04254"]},"volume":379,"month":"01","oa":1,"intvolume":"       379","title":"WDVV-type relations for disk Gromov–Witten invariants in dimension 6","_id":"20619","date_updated":"2025-11-10T15:11:29Z","OA_place":"repository","OA_type":"green"},{"date_updated":"2025-11-10T15:13:58Z","_id":"20622","OA_place":"repository","OA_type":"green","month":"06","volume":61,"oa":1,"external_id":{"arxiv":["1809.08938"]},"intvolume":"        61","title":"WDVV-type relations for Welschinger's invariants: Applications","publication":"Kyoto Journal of Mathematics","citation":{"ama":"Chen X, Zinger A. WDVV-type relations for Welschinger’s invariants: Applications. <i>Kyoto Journal of Mathematics</i>. 61(2):339-376. doi:<a href=\"https://doi.org/10.1215/21562261-2021-0005\">10.1215/21562261-2021-0005</a>","chicago":"Chen, Xujia, and Aleksey Zinger. “WDVV-Type Relations for Welschinger’s Invariants: Applications.” <i>Kyoto Journal of Mathematics</i>. Duke University Press, n.d. <a href=\"https://doi.org/10.1215/21562261-2021-0005\">https://doi.org/10.1215/21562261-2021-0005</a>.","mla":"Chen, Xujia, and Aleksey Zinger. “WDVV-Type Relations for Welschinger’s Invariants: Applications.” <i>Kyoto Journal of Mathematics</i>, vol. 61, no. 2, Duke University Press, pp. 339–76, doi:<a href=\"https://doi.org/10.1215/21562261-2021-0005\">10.1215/21562261-2021-0005</a>.","short":"X. Chen, A. Zinger, Kyoto Journal of Mathematics 61 (n.d.) 339–376.","ieee":"X. Chen and A. Zinger, “WDVV-type relations for Welschinger’s invariants: Applications,” <i>Kyoto Journal of Mathematics</i>, vol. 61, no. 2. Duke University Press, pp. 339–376.","ista":"Chen X, Zinger A. WDVV-type relations for Welschinger’s invariants: Applications. Kyoto Journal of Mathematics. 61(2), 339–376.","apa":"Chen, X., &#38; Zinger, A. (n.d.). WDVV-type relations for Welschinger’s invariants: Applications. <i>Kyoto Journal of Mathematics</i>. Duke University Press. <a href=\"https://doi.org/10.1215/21562261-2021-0005\">https://doi.org/10.1215/21562261-2021-0005</a>"},"publication_status":"submitted","author":[{"id":"968ad14a-fd86-11ee-a420-ea29715511a3","first_name":"Xujia","last_name":"Chen","full_name":"Chen, Xujia"},{"first_name":"Aleksey","last_name":"Zinger","full_name":"Zinger, Aleksey"}],"publication_identifier":{"eissn":["2154-3321"]},"language":[{"iso":"eng"}],"oa_version":"Preprint","arxiv":1,"page":"339-376","year":"2021","article_processing_charge":"No","issue":"2","type":"journal_article","publisher":"Duke University Press","date_created":"2025-11-10T08:45:12Z","quality_controlled":"1","date_published":"2021-06-01T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","extern":"1","doi":"10.1215/21562261-2021-0005","day":"01","status":"public","main_file_link":[{"open_access":"1","url":"https://doi.org/10.48550/arXiv.1809.08938"}],"abstract":[{"lang":"eng","text":"We first recall Solomon’s relations for Welschinger invariants counting real curves in real symplectic fourfolds and the Witten–Dijkgraaf–Verlinde–Verlinde (WDVV)-style relations for Welschinger invariants counting real curves in real symplectic sixfolds with some symmetry. We then explicitly demonstrate that, in some important cases (projective spaces with standard conjugations, real blowups of the projective plane, and two- and threefold products of the one-dimensional projective space with two involutions each), these relations provide complete recursions determining all Welschinger invariants from basic input. We include extensive tables of Welschinger invariants in low degrees obtained from these recursions with Mathematica. These invariants provide lower bounds for counts of real rational curves, including with curve insertions in smooth algebraic threefolds."}]},{"article_type":"original","has_accepted_license":"1","extern":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.1039/d1cc00648g","license":"https://creativecommons.org/licenses/by/3.0/","issue":"32","type":"journal_article","date_published":"2021-03-15T00:00:00Z","quality_controlled":"1","scopus_import":"1","date_created":"2025-12-09T14:25:17Z","publisher":"Royal Society of Chemistry","main_file_link":[{"url":"DOI\thttps://doi.org/10.1039/D1CC00648G","open_access":"1"}],"abstract":[{"text":"<p>A cascade Suzuki–Miyaura cross-coupling between two non-symmetrical coupling partners gave rise to 9,10-dihydrophenanthrenes with full site-selectivity. The choice of base was critical to facilitate the challenging coupling of the secondary boronate group.</p>","lang":"eng"}],"status":"public","day":"15","external_id":{"pmid":["33871510"]},"month":"03","volume":57,"oa":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/3.0/legalcode","short":"CC BY (3.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 3.0 Unported (CC BY 3.0)"},"ddc":["540"],"intvolume":"        57","title":"A site-selective and stereospecific cascade Suzuki–Miyaura annulation of alkyl 1,2-bisboronic esters and 2,2′-dihalo 1,1′-biaryls","_id":"20765","date_updated":"2025-12-16T12:06:53Z","OA_place":"publisher","OA_type":"hybrid","pmid":1,"page":"3909-3912","oa_version":"Published Version","article_processing_charge":"No","year":"2021","citation":{"apa":"Willems, S., Toupalas, G., Reisenbauer, J., &#38; Morandi, B. (2021). A site-selective and stereospecific cascade Suzuki–Miyaura annulation of alkyl 1,2-bisboronic esters and 2,2′-dihalo 1,1′-biaryls. <i>Chemical Communications</i>. Royal Society of Chemistry. <a href=\"https://doi.org/10.1039/d1cc00648g\">https://doi.org/10.1039/d1cc00648g</a>","ista":"Willems S, Toupalas G, Reisenbauer J, Morandi B. 2021. A site-selective and stereospecific cascade Suzuki–Miyaura annulation of alkyl 1,2-bisboronic esters and 2,2′-dihalo 1,1′-biaryls. Chemical Communications. 57(32), 3909–3912.","ieee":"S. Willems, G. Toupalas, J. Reisenbauer, and B. Morandi, “A site-selective and stereospecific cascade Suzuki–Miyaura annulation of alkyl 1,2-bisboronic esters and 2,2′-dihalo 1,1′-biaryls,” <i>Chemical Communications</i>, vol. 57, no. 32. Royal Society of Chemistry, pp. 3909–3912, 2021.","short":"S. Willems, G. Toupalas, J. Reisenbauer, B. Morandi, Chemical Communications 57 (2021) 3909–3912.","mla":"Willems, Suzanne, et al. “A Site-Selective and Stereospecific Cascade Suzuki–Miyaura Annulation of Alkyl 1,2-Bisboronic Esters and 2,2′-Dihalo 1,1′-Biaryls.” <i>Chemical Communications</i>, vol. 57, no. 32, Royal Society of Chemistry, 2021, pp. 3909–12, doi:<a href=\"https://doi.org/10.1039/d1cc00648g\">10.1039/d1cc00648g</a>.","chicago":"Willems, Suzanne, Georgios Toupalas, Julia Reisenbauer, and Bill Morandi. “A Site-Selective and Stereospecific Cascade Suzuki–Miyaura Annulation of Alkyl 1,2-Bisboronic Esters and 2,2′-Dihalo 1,1′-Biaryls.” <i>Chemical Communications</i>. Royal Society of Chemistry, 2021. <a href=\"https://doi.org/10.1039/d1cc00648g\">https://doi.org/10.1039/d1cc00648g</a>.","ama":"Willems S, Toupalas G, Reisenbauer J, Morandi B. A site-selective and stereospecific cascade Suzuki–Miyaura annulation of alkyl 1,2-bisboronic esters and 2,2′-dihalo 1,1′-biaryls. <i>Chemical Communications</i>. 2021;57(32):3909-3912. doi:<a href=\"https://doi.org/10.1039/d1cc00648g\">10.1039/d1cc00648g</a>"},"publication_status":"published","publication":"Chemical Communications","publication_identifier":{"eissn":["1364-548X"],"issn":["1359-7345"]},"language":[{"iso":"eng"}],"author":[{"first_name":"Suzanne","last_name":"Willems","full_name":"Willems, Suzanne"},{"first_name":"Georgios","last_name":"Toupalas","full_name":"Toupalas, Georgios"},{"first_name":"Julia","id":"51d862e9-36ee-11f0-86d3-8534c85a5496","full_name":"Reisenbauer, Julia","last_name":"Reisenbauer"},{"first_name":"Bill","full_name":"Morandi, Bill","last_name":"Morandi"}]},{"ddc":["515"],"title":"Curvature driven interface evolution: Uniqueness properties of weak solution concepts","degree_awarded":"PhD","oa":1,"month":"09","ec_funded":1,"OA_place":"publisher","_id":"10007","date_updated":"2026-04-08T07:01:01Z","related_material":{"record":[{"relation":"part_of_dissertation","id":"10012","status":"public"},{"status":"public","id":"10013","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"7489"}]},"article_processing_charge":"No","year":"2021","project":[{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","grant_number":"665385","call_identifier":"H2020"},{"call_identifier":"H2020","grant_number":"948819","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","name":"Bridging Scales in Random Materials"}],"page":"300","oa_version":"Published Version","corr_author":"1","language":[{"iso":"eng"}],"publication_identifier":{"issn":["2663-337X"]},"file_date_updated":"2021-09-15T14:37:30Z","author":[{"orcid":"0000-0001-7252-8072","first_name":"Sebastian","id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87","full_name":"Hensel, Sebastian","last_name":"Hensel"}],"publication_status":"published","citation":{"apa":"Hensel, S. (2021). <i>Curvature driven interface evolution: Uniqueness properties of weak solution concepts</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:10007\">https://doi.org/10.15479/at:ista:10007</a>","ista":"Hensel S. 2021. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. Institute of Science and Technology Austria.","short":"S. Hensel, Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts, Institute of Science and Technology Austria, 2021.","ieee":"S. Hensel, “Curvature driven interface evolution: Uniqueness properties of weak solution concepts,” Institute of Science and Technology Austria, 2021.","mla":"Hensel, Sebastian. <i>Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/at:ista:10007\">10.15479/at:ista:10007</a>.","chicago":"Hensel, Sebastian. “Curvature Driven Interface Evolution: Uniqueness Properties of Weak Solution Concepts.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/at:ista:10007\">https://doi.org/10.15479/at:ista:10007</a>.","ama":"Hensel S. Curvature driven interface evolution: Uniqueness properties of weak solution concepts. 2021. doi:<a href=\"https://doi.org/10.15479/at:ista:10007\">10.15479/at:ista:10007</a>"},"department":[{"_id":"GradSch"},{"_id":"JuFi"}],"has_accepted_license":"1","file":[{"date_updated":"2021-09-15T14:37:30Z","content_type":"application/x-zip-compressed","date_created":"2021-09-13T11:03:24Z","file_size":15022154,"file_id":"10008","access_level":"closed","relation":"source_file","creator":"shensel","checksum":"c8475faaf0b680b4971f638f1db16347","file_name":"thesis_final_Hensel.zip"},{"access_level":"open_access","file_size":6583638,"file_id":"10014","file_name":"thesis_final_Hensel.pdf","checksum":"1a609937aa5275452822f45f2da17f07","relation":"main_file","creator":"shensel","content_type":"application/pdf","date_updated":"2021-09-14T09:52:47Z","date_created":"2021-09-13T14:18:56Z"}],"doi":"10.15479/at:ista:10007","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","date_published":"2021-09-14T00:00:00Z","publisher":"Institute of Science and Technology Austria","date_created":"2021-09-13T11:12:34Z","type":"dissertation","alternative_title":["ISTA Thesis"],"supervisor":[{"last_name":"Fischer","full_name":"Fischer, Julian L","id":"2C12A0B0-F248-11E8-B48F-1D18A9856A87","first_name":"Julian L","orcid":"0000-0002-0479-558X"}],"abstract":[{"lang":"eng","text":"The present thesis is concerned with the derivation of weak-strong uniqueness principles for curvature driven interface evolution problems not satisfying a comparison principle. The specific examples being treated are two-phase Navier-Stokes flow with surface tension, modeling the evolution of two incompressible, viscous and immiscible fluids separated by a sharp interface, and multiphase mean curvature flow, which serves as an idealized model for the motion of grain boundaries in an annealing polycrystalline material. Our main results - obtained in joint works with Julian Fischer, Tim Laux and Theresa M. Simon - state that prior to the formation of geometric singularities due to topology changes, the weak solution concept of Abels (Interfaces Free Bound. 9, 2007) to two-phase Navier-Stokes flow with surface tension and the weak solution concept of Laux and Otto (Calc. Var. Partial Differential Equations 55, 2016) to multiphase mean curvature flow (for networks in R^2 or double bubbles in R^3) represents the unique solution to these interface evolution problems within the class of classical solutions, respectively. To the best of the author's knowledge, for interface evolution problems not admitting a geometric comparison principle the derivation of a weak-strong uniqueness principle represented an open problem, so that the works contained in the present thesis constitute the first positive results in this direction. The key ingredient of our approach consists of the introduction of a novel concept of relative entropies for a class of curvature driven interface evolution problems, for which the associated energy contains an interfacial contribution being proportional to the surface area of the evolving (network of) interface(s). The interfacial part of the relative entropy gives sufficient control on the interface error between a weak and a classical solution, and its time evolution can be computed, at least in principle, for any energy dissipating weak solution concept. A resulting stability estimate for the relative entropy essentially entails the above mentioned weak-strong uniqueness principles. The present thesis contains a detailed introduction to our relative entropy approach, which in particular highlights potential applications to other problems in curvature driven interface evolution not treated in this thesis."}],"status":"public","day":"14"},{"department":[{"_id":"JuFi"}],"doi":"10.48550/arXiv.2108.01733","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","type":"preprint","date_published":"2021-08-03T00:00:00Z","date_created":"2021-09-13T12:17:11Z","main_file_link":[{"url":"https://arxiv.org/abs/2108.01733","open_access":"1"}],"abstract":[{"lang":"eng","text":"We derive a weak-strong uniqueness principle for BV solutions to multiphase mean curvature flow of triple line clusters in three dimensions. Our proof is based on the explicit construction of a gradient-flow calibration in the sense of the recent work of Fischer et al. [arXiv:2003.05478] for any such cluster. This extends the two-dimensional construction to the three-dimensional case of surfaces meeting along triple junctions."}],"status":"public","day":"03","external_id":{"arxiv":["2108.01733"]},"oa":1,"month":"08","title":"Weak-strong uniqueness for the mean curvature flow of double bubbles","_id":"10013","related_material":{"record":[{"relation":"later_version","id":"13043","status":"public"},{"id":"10007","status":"public","relation":"dissertation_contains"}]},"date_updated":"2026-04-08T07:01:01Z","ec_funded":1,"acknowledgement":"This project has received funding from the European Research Council (ERC) under the European Union’s Horizon 2020 research and innovation programme (grant agreement No 948819), and from the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) under Germany’s Excellence Strategy – EXC-2047/1 – 390685813.","project":[{"call_identifier":"H2020","grant_number":"948819","_id":"0aa76401-070f-11eb-9043-b5bb049fa26d","name":"Bridging Scales in Random Materials"}],"corr_author":"1","arxiv":1,"oa_version":"Preprint","article_processing_charge":"No","year":"2021","article_number":"2108.01733","publication_status":"draft","citation":{"ama":"Hensel S, Laux T. Weak-strong uniqueness for the mean curvature flow of double bubbles. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2108.01733\">10.48550/arXiv.2108.01733</a>","chicago":"Hensel, Sebastian, and Tim Laux. “Weak-Strong Uniqueness for the Mean Curvature Flow of Double Bubbles.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2108.01733\">https://doi.org/10.48550/arXiv.2108.01733</a>.","mla":"Hensel, Sebastian, and Tim Laux. “Weak-Strong Uniqueness for the Mean Curvature Flow of Double Bubbles.” <i>ArXiv</i>, 2108.01733, doi:<a href=\"https://doi.org/10.48550/arXiv.2108.01733\">10.48550/arXiv.2108.01733</a>.","ieee":"S. Hensel and T. Laux, “Weak-strong uniqueness for the mean curvature flow of double bubbles,” <i>arXiv</i>. .","short":"S. Hensel, T. Laux, ArXiv (n.d.).","apa":"Hensel, S., &#38; Laux, T. (n.d.). Weak-strong uniqueness for the mean curvature flow of double bubbles. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2108.01733\">https://doi.org/10.48550/arXiv.2108.01733</a>","ista":"Hensel S, Laux T. Weak-strong uniqueness for the mean curvature flow of double bubbles. arXiv, 2108.01733."},"publication":"arXiv","language":[{"iso":"eng"}],"author":[{"orcid":"0000-0001-7252-8072","first_name":"Sebastian","id":"4D23B7DA-F248-11E8-B48F-1D18A9856A87","full_name":"Hensel, Sebastian","last_name":"Hensel"},{"last_name":"Laux","full_name":"Laux, Tim","first_name":"Tim"}]},{"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","doi":"10.1016/j.spa.2021.08.006","file":[{"success":1,"file_id":"11370","file_size":2115791,"access_level":"open_access","relation":"main_file","creator":"dernst","file_name":"2021_StochasticProcessesAppl_Floreani.pdf","checksum":"56768c553d7218ee5714902ffec90ec4","date_updated":"2022-05-13T07:55:50Z","content_type":"application/pdf","date_created":"2022-05-13T07:55:50Z"}],"article_type":"original","department":[{"_id":"JaMa"}],"has_accepted_license":"1","scopus_import":"1","date_created":"2021-09-19T22:01:25Z","publisher":"Elsevier","date_published":"2021-08-27T00:00:00Z","quality_controlled":"1","type":"journal_article","status":"public","abstract":[{"lang":"eng","text":"In this paper, we introduce a random environment for the exclusion process in  obtained by assigning a maximal occupancy to each site. This maximal occupancy is allowed to randomly vary among sites, and partial exclusion occurs. Under the assumption of ergodicity under translation and uniform ellipticity of the environment, we derive a quenched hydrodynamic limit in path space by strengthening the mild solution approach initiated in Nagy (2002) and Faggionato (2007). To this purpose, we prove, employing the technology developed for the random conductance model, a homogenization result in the form of an arbitrary starting point quenched invariance principle for a single particle in the same environment, which is a result of independent interest. The self-duality property of the partial exclusion process allows us to transfer this homogenization result to the particle system and, then, apply the tightness criterion in Redig et al. (2020)."}],"isi":1,"day":"27","keyword":["hydrodynamic limit","random environment","random conductance model","arbitrary starting point quenched invariance principle","duality","mild solution"],"intvolume":"       142","title":"Hydrodynamics for the partial exclusion process in random environment","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"ddc":["519"],"volume":142,"month":"08","oa":1,"external_id":{"arxiv":["1911.12564"],"isi":["000697748500005"]},"acknowledgement":"The authors would like to thank Marek Biskup and Alberto Chiarini for useful suggestions and  Cristian  Giardina,  Frank  den  Hollander  and  Shubhamoy  Nandan  for  inspiring  discussions.  S.F.  acknowledges  Simona  Villa  for  her  help  in  creating  the  picture.  Furthermore, the  authors  thank  two  anonymous  referees  for  the  careful  reading  of  the  manuscript.  S.F. acknowledges  financial  support  from  NWO,  The  Netherlands  via  the  grant  TOP1.17.019. F.S.  acknowledges  financial  support  from  NWO  via  the  TOP1  grant  613.001.552  as  well  as funding from the European Union’s Horizon 2020 research and innovation programme under the Marie-Skłodowska-Curie grant agreement No. 754411.","ec_funded":1,"date_updated":"2025-04-14T07:43:46Z","_id":"10024","year":"2021","article_processing_charge":"Yes","arxiv":1,"oa_version":"Published Version","project":[{"_id":"260C2330-B435-11E9-9278-68D0E5697425","name":"ISTplus - Postdoctoral Fellowships","grant_number":"754411","call_identifier":"H2020"}],"page":"124-158","author":[{"full_name":"Floreani, Simone","last_name":"Floreani","first_name":"Simone"},{"first_name":"Frank","full_name":"Redig, Frank","last_name":"Redig"},{"id":"E1836206-9F16-11E9-8814-AEFDE5697425","first_name":"Federico","last_name":"Sau","full_name":"Sau, Federico"}],"file_date_updated":"2022-05-13T07:55:50Z","publication_identifier":{"issn":["0304-4149"]},"language":[{"iso":"eng"}],"publication":"Stochastic Processes and their Applications","citation":{"mla":"Floreani, Simone, et al. “Hydrodynamics for the Partial Exclusion Process in Random Environment.” <i>Stochastic Processes and Their Applications</i>, vol. 142, Elsevier, 2021, pp. 124–58, doi:<a href=\"https://doi.org/10.1016/j.spa.2021.08.006\">10.1016/j.spa.2021.08.006</a>.","ama":"Floreani S, Redig F, Sau F. Hydrodynamics for the partial exclusion process in random environment. <i>Stochastic Processes and their Applications</i>. 2021;142:124-158. doi:<a href=\"https://doi.org/10.1016/j.spa.2021.08.006\">10.1016/j.spa.2021.08.006</a>","chicago":"Floreani, Simone, Frank Redig, and Federico Sau. “Hydrodynamics for the Partial Exclusion Process in Random Environment.” <i>Stochastic Processes and Their Applications</i>. Elsevier, 2021. <a href=\"https://doi.org/10.1016/j.spa.2021.08.006\">https://doi.org/10.1016/j.spa.2021.08.006</a>.","apa":"Floreani, S., Redig, F., &#38; Sau, F. (2021). Hydrodynamics for the partial exclusion process in random environment. <i>Stochastic Processes and Their Applications</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.spa.2021.08.006\">https://doi.org/10.1016/j.spa.2021.08.006</a>","ista":"Floreani S, Redig F, Sau F. 2021. Hydrodynamics for the partial exclusion process in random environment. Stochastic Processes and their Applications. 142, 124–158.","short":"S. Floreani, F. Redig, F. Sau, Stochastic Processes and Their Applications 142 (2021) 124–158.","ieee":"S. Floreani, F. Redig, and F. Sau, “Hydrodynamics for the partial exclusion process in random environment,” <i>Stochastic Processes and their Applications</i>, vol. 142. Elsevier, pp. 124–158, 2021."},"publication_status":"published"},{"keyword":["condensed matter - mesoscale and nanoscale physics","condensed matter - strongly correlated electrons","multidisciplinary"],"day":"01","isi":1,"status":"public","main_file_link":[{"url":"https://arxiv.org/abs/2104.00653","open_access":"1"}],"abstract":[{"lang":"eng","text":"Ferromagnetism is most common in transition metal compounds but may also arise in low-density two-dimensional electron systems, with signatures observed in silicon, III-V semiconductor systems, and graphene moiré heterostructures. Here we show that gate-tuned van Hove singularities in rhombohedral trilayer graphene drive the spontaneous ferromagnetic polarization of the electron system into one or more spin- and valley flavors. Using capacitance measurements on graphite-gated van der Waals heterostructures, we find a cascade of density- and electronic displacement field tuned phase transitions marked by negative electronic compressibility. The transitions define the boundaries between phases where quantum oscillations have either four-fold, two-fold, or one-fold degeneracy, associated with a spin and valley degenerate normal metal, spin-polarized `half-metal', and spin and valley polarized `quarter metal', respectively. For electron doping, the salient features are well captured by a phenomenological Stoner model with a valley-anisotropic Hund's coupling, likely arising from interactions at the lattice scale. For hole filling, we observe a richer phase diagram featuring a delicate interplay of broken symmetries and transitions in the Fermi surface topology. Finally, by rotational alignment of a hexagonal boron nitride substrate to induce a moiré superlattice, we find that the superlattice perturbs the preexisting isospin order only weakly, leaving the basic phase diagram intact while catalyzing the formation of topologically nontrivial gapped states whenever itinerant half- or quarter metal states occur at half- or quarter superlattice band filling. Our results show that rhombohedral trilayer graphene is an ideal platform for well-controlled tests of many-body theory and reveal magnetism in moiré materials to be fundamentally itinerant in nature."}],"type":"journal_article","scopus_import":"1","date_created":"2021-09-19T22:01:25Z","publisher":"Springer Nature","quality_controlled":"1","date_published":"2021-09-01T00:00:00Z","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","doi":"10.1038/s41586-021-03938-w","article_type":"original","department":[{"_id":"MaSe"},{"_id":"MiLe"}],"publication":"Nature","citation":{"apa":"Zhou, H., Xie, T., Ghazaryan, A., Holder, T., Ehrets, J. R., Spanton, E. M., … Young, A. F. (2021). Half and quarter metals in rhombohedral trilayer graphene. <i>Nature</i>. Springer Nature. <a href=\"https://doi.org/10.1038/s41586-021-03938-w\">https://doi.org/10.1038/s41586-021-03938-w</a>","ista":"Zhou H, Xie T, Ghazaryan A, Holder T, Ehrets JR, Spanton EM, Taniguchi T, Watanabe K, Berg E, Serbyn M, Young AF. 2021. Half and quarter metals in rhombohedral trilayer graphene. Nature.","short":"H. Zhou, T. Xie, A. Ghazaryan, T. Holder, J.R. Ehrets, E.M. Spanton, T. Taniguchi, K. Watanabe, E. Berg, M. Serbyn, A.F. Young, Nature (2021).","ieee":"H. Zhou <i>et al.</i>, “Half and quarter metals in rhombohedral trilayer graphene,” <i>Nature</i>. Springer Nature, 2021.","mla":"Zhou, Haoxin, et al. “Half and Quarter Metals in Rhombohedral Trilayer Graphene.” <i>Nature</i>, Springer Nature, 2021, doi:<a href=\"https://doi.org/10.1038/s41586-021-03938-w\">10.1038/s41586-021-03938-w</a>.","chicago":"Zhou, Haoxin, Tian Xie, Areg Ghazaryan, Tobias Holder, James R. Ehrets, Eric M. Spanton, Takashi Taniguchi, et al. “Half and Quarter Metals in Rhombohedral Trilayer Graphene.” <i>Nature</i>. Springer Nature, 2021. <a href=\"https://doi.org/10.1038/s41586-021-03938-w\">https://doi.org/10.1038/s41586-021-03938-w</a>.","ama":"Zhou H, Xie T, Ghazaryan A, et al. Half and quarter metals in rhombohedral trilayer graphene. <i>Nature</i>. 2021. doi:<a href=\"https://doi.org/10.1038/s41586-021-03938-w\">10.1038/s41586-021-03938-w</a>"},"publication_status":"published","author":[{"first_name":"Haoxin","full_name":"Zhou, Haoxin","last_name":"Zhou"},{"full_name":"Xie, Tian","last_name":"Xie","first_name":"Tian"},{"id":"4AF46FD6-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9666-3543","first_name":"Areg","last_name":"Ghazaryan","full_name":"Ghazaryan, Areg"},{"full_name":"Holder, Tobias","last_name":"Holder","first_name":"Tobias"},{"first_name":"James R.","last_name":"Ehrets","full_name":"Ehrets, James R."},{"first_name":"Eric M.","last_name":"Spanton","full_name":"Spanton, Eric M."},{"first_name":"Takashi","last_name":"Taniguchi","full_name":"Taniguchi, Takashi"},{"first_name":"Kenji","last_name":"Watanabe","full_name":"Watanabe, Kenji"},{"full_name":"Berg, Erez","last_name":"Berg","first_name":"Erez"},{"id":"47809E7E-F248-11E8-B48F-1D18A9856A87","first_name":"Maksym","orcid":"0000-0002-2399-5827","last_name":"Serbyn","full_name":"Serbyn, Maksym"},{"first_name":"Andrea F.","full_name":"Young, Andrea F.","last_name":"Young"}],"publication_identifier":{"eissn":["1476-4687"],"issn":["0028-0836"]},"language":[{"iso":"eng"}],"arxiv":1,"oa_version":"Preprint","project":[{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","call_identifier":"H2020"}],"year":"2021","article_processing_charge":"No","date_updated":"2025-04-14T07:43:46Z","related_material":{"link":[{"relation":"erratum","url":"https://doi.org/10.1038/s41586-021-04181-z"}]},"_id":"10025","acknowledgement":"The authors acknowledge discussions with A. Macdonald, L. Fu, F. Wang and M. Zaletel. AFY acknowledges support of the National Science Foundation under DMR1654186, and the Gordon and Betty Moore Foundation under award GBMF9471. The authors acknowledge the use of the research facilities within the California NanoSystems Institute, supported by the University of California, Santa Barbara and the University of California, Office of the President.\r\nK.W. and T.T. acknowledge support from the Elemental Strategy Initiative conducted by the MEXT, Japan, Grant Number JPMXP0112101001 and JSPS KAKENHI, Grant Number JP20H00354. EB and TH were supported by the European Research Council (ERC) under grant HQMAT (Grant Agreement No. 817799). A.G. acknowledges support by the European Unions Horizon 2020 research and innovation program under the Marie Sklodowska-Curie Grant Agreement\r\nNo. 754411.\r\n","ec_funded":1,"month":"09","oa":1,"external_id":{"isi":["000706977400002"],"arxiv":["2104.00653"]},"title":"Half and quarter metals in rhombohedral trilayer graphene"},{"publication":"arXiv","citation":{"short":"D.T. Phan, J.L. Senior, A. Ghazaryan, M. Hatefipour, W.M. Strickland, J. Shabani, M. Serbyn, A.P. Higginbotham, ArXiv (n.d.).","ieee":"D. T. Phan <i>et al.</i>, “Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid,” <i>arXiv</i>. .","apa":"Phan, D. T., Senior, J. L., Ghazaryan, A., Hatefipour, M., Strickland, W. M., Shabani, J., … Higginbotham, A. P. (n.d.). Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid. <i>arXiv</i>. <a href=\"https://doi.org/10.48550/arXiv.2107.03695\">https://doi.org/10.48550/arXiv.2107.03695</a>","ista":"Phan DT, Senior JL, Ghazaryan A, Hatefipour M, Strickland WM, Shabani J, Serbyn M, Higginbotham AP. Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid. arXiv, 2107.03695.","chicago":"Phan, Duc T, Jorden L Senior, Areg Ghazaryan, M. Hatefipour, W. M. Strickland, J. Shabani, Maksym Serbyn, and Andrew P Higginbotham. “Breakdown of Induced P±ip Pairing in a Superconductor-Semiconductor Hybrid.” <i>ArXiv</i>, n.d. <a href=\"https://doi.org/10.48550/arXiv.2107.03695\">https://doi.org/10.48550/arXiv.2107.03695</a>.","ama":"Phan DT, Senior JL, Ghazaryan A, et al. Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid. <i>arXiv</i>. doi:<a href=\"https://doi.org/10.48550/arXiv.2107.03695\">10.48550/arXiv.2107.03695</a>","mla":"Phan, Duc T., et al. “Breakdown of Induced P±ip Pairing in a Superconductor-Semiconductor Hybrid.” <i>ArXiv</i>, 2107.03695, doi:<a href=\"https://doi.org/10.48550/arXiv.2107.03695\">10.48550/arXiv.2107.03695</a>."},"publication_status":"draft","article_number":"2107.03695","author":[{"id":"29C8C0B4-F248-11E8-B48F-1D18A9856A87","first_name":"Duc T","last_name":"Phan","full_name":"Phan, Duc T"},{"first_name":"Jorden L","orcid":"0000-0002-0672-9295","id":"5479D234-2D30-11EA-89CC-40953DDC885E","full_name":"Senior, Jorden L","last_name":"Senior"},{"full_name":"Ghazaryan, Areg","last_name":"Ghazaryan","first_name":"Areg","orcid":"0000-0001-9666-3543","id":"4AF46FD6-F248-11E8-B48F-1D18A9856A87"},{"first_name":"M.","last_name":"Hatefipour","full_name":"Hatefipour, M."},{"last_name":"Strickland","full_name":"Strickland, W. M.","first_name":"W. M."},{"first_name":"J.","full_name":"Shabani, J.","last_name":"Shabani"},{"full_name":"Serbyn, Maksym","last_name":"Serbyn","first_name":"Maksym","orcid":"0000-0002-2399-5827","id":"47809E7E-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Higginbotham","full_name":"Higginbotham, Andrew P","id":"4AD6785A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-2607-2363","first_name":"Andrew P"}],"language":[{"iso":"eng"}],"oa_version":"Preprint","arxiv":1,"project":[{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","call_identifier":"H2020"}],"year":"2021","article_processing_charge":"No","related_material":{"record":[{"relation":"research_data","id":"9636","status":"public"},{"relation":"later_version","id":"10851","status":"public"}]},"date_updated":"2025-04-15T06:54:43Z","_id":"10029","acknowledgement":"This research was supported by the Scientific Service Units of IST Austria through resources provided by the MIBA Machine Shop and the nanofabrication facility. JS and AG were supported by funding from the European Union’s Horizon 2020 research and innovation program under the Marie Sklodowska-Curie Grant Agreement No.754411.","ec_funded":1,"month":"07","oa":1,"external_id":{"arxiv":["2107.03695"]},"title":"Breakdown of induced p±ip pairing in a superconductor-semiconductor hybrid","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"NanoFab"}],"day":"08","status":"public","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2107.03695"}],"abstract":[{"text":"Superconductor-semiconductor hybrids are platforms for realizing effective p-wave superconductivity. Spin-orbit coupling, combined with the proximity effect, causes the two-dimensional semiconductor to inherit p±ip intraband pairing, and application of magnetic field can then result in transitions to the normal state, partial Bogoliubov Fermi surfaces, or topological phases with Majorana modes. Experimentally probing the hybrid superconductor-semiconductor interface is challenging due to the shunting effect of the conventional superconductor. Consequently, the nature of induced pairing remains an open question. Here, we use the circuit quantum electrodynamics architecture to probe induced superconductivity in a two dimensional Al-InAs hybrid system. We observe a strong suppression of superfluid density and enhanced dissipation driven by magnetic field, which cannot be accounted for by the depairing theory of an s-wave superconductor. These observations are explained by a picture of independent intraband p±ip superconductors giving way to partial Bogoliubov Fermi surfaces, and allow for the first characterization of key properties of the hybrid superconducting system.","lang":"eng"}],"type":"preprint","date_created":"2021-09-21T08:41:02Z","date_published":"2021-07-08T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.48550/arXiv.2107.03695","department":[{"_id":"MaSe"},{"_id":"AnHi"},{"_id":"MiLe"}]},{"status":"public","supervisor":[{"last_name":"Maas","full_name":"Maas, Jan","id":"4C5696CE-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-0845-1338","first_name":"Jan"}],"abstract":[{"lang":"eng","text":"This PhD thesis is primarily focused on the study of discrete transport problems, introduced for the first time in the seminal works of Maas [Maa11] and Mielke [Mie11] on finite state Markov chains and reaction-diffusion equations, respectively. More in detail, my research focuses on the study of transport costs on graphs, in particular the convergence and the stability of such problems in the discrete-to-continuum limit. This thesis also includes some results concerning\r\nnon-commutative optimal transport. The first chapter of this thesis consists of a general introduction to the optimal transport problems, both in the discrete, the continuous, and the non-commutative setting. Chapters 2 and 3 present the content of two works, obtained in collaboration with Peter Gladbach, Eva Kopfer, and Jan Maas, where we have been able to show the convergence of discrete transport costs on periodic graphs to suitable continuous ones, which can be described by means of a homogenisation result. We first focus on the particular case of quadratic costs on the real line and then extending the result to more general costs in arbitrary dimension. Our results are the first complete characterisation of limits of transport costs on periodic graphs in arbitrary dimension which do not rely on any additional symmetry. In Chapter 4 we turn our attention to one of the intriguing connection between evolution equations and optimal transport, represented by the theory of gradient flows. We show that discrete gradient flow structures associated to a finite volume approximation of a certain class of diffusive equations (Fokker–Planck) is stable in the limit of vanishing meshes, reproving the convergence of the scheme via the method of evolutionary Γ-convergence and exploiting a more variational point of view on the problem. This is based on a collaboration with Dominik Forkert and Jan Maas. Chapter 5 represents a change of perspective, moving away from the discrete world and reaching the non-commutative one. As in the discrete case, we discuss how classical tools coming from the commutative optimal transport can be translated into the setting of density matrices. In particular, in this final chapter we present a non-commutative version of the Schrödinger problem (or entropic regularised optimal transport problem) and discuss existence and characterisation of minimisers, a duality result, and present a non-commutative version of the well-known Sinkhorn algorithm to compute the above mentioned optimisers. This is based on a joint work with Dario Feliciangeli and Augusto Gerolin. Finally, Appendix A and B contain some additional material and discussions, with particular attention to Harnack inequalities and the regularity of flows on discrete spaces."}],"alternative_title":["ISTA Thesis"],"day":"22","doi":"10.15479/at:ista:10030","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","has_accepted_license":"1","department":[{"_id":"GradSch"},{"_id":"JaMa"}],"file":[{"date_updated":"2022-03-10T12:14:42Z","content_type":"application/x-zip-compressed","date_created":"2021-09-21T09:17:34Z","file_id":"10032","file_size":3876668,"access_level":"closed","creator":"cchlebak","relation":"source_file","checksum":"8cd60dcb8762e8f21867e21e8001e183","file_name":"tex_and_pictures.zip"},{"creator":"cchlebak","relation":"main_file","checksum":"9789e9d967c853c1503ec7f307170279","file_name":"thesis_portinale_Final (1).pdf","access_level":"open_access","file_id":"10047","file_size":2532673,"date_created":"2021-09-27T11:14:31Z","date_updated":"2021-09-27T11:14:31Z","content_type":"application/pdf"}],"type":"dissertation","publisher":"Institute of Science and Technology Austria","date_created":"2021-09-21T09:14:15Z","date_published":"2021-09-22T00:00:00Z","corr_author":"1","oa_version":"Published Version","project":[{"grant_number":"W1245","call_identifier":"FWF","name":"Dissipation and dispersion in nonlinear partial differential equations","_id":"260788DE-B435-11E9-9278-68D0E5697425"},{"name":"Taming Complexity in Partial Differential Systems","_id":"fc31cba2-9c52-11eb-aca3-ff467d239cd2","grant_number":"F6504"}],"year":"2021","article_processing_charge":"No","publication_status":"published","citation":{"ama":"Portinale L. Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. 2021. doi:<a href=\"https://doi.org/10.15479/at:ista:10030\">10.15479/at:ista:10030</a>","chicago":"Portinale, Lorenzo. “Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures.” Institute of Science and Technology Austria, 2021. <a href=\"https://doi.org/10.15479/at:ista:10030\">https://doi.org/10.15479/at:ista:10030</a>.","mla":"Portinale, Lorenzo. <i>Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures</i>. Institute of Science and Technology Austria, 2021, doi:<a href=\"https://doi.org/10.15479/at:ista:10030\">10.15479/at:ista:10030</a>.","short":"L. Portinale, Discrete-to-Continuum Limits of Transport Problems and Gradient Flows in the Space of Measures, Institute of Science and Technology Austria, 2021.","ieee":"L. Portinale, “Discrete-to-continuum limits of transport problems and gradient flows in the space of measures,” Institute of Science and Technology Austria, 2021.","ista":"Portinale L. 2021. Discrete-to-continuum limits of transport problems and gradient flows in the space of measures. Institute of Science and Technology Austria.","apa":"Portinale, L. (2021). <i>Discrete-to-continuum limits of transport problems and gradient flows in the space of measures</i>. Institute of Science and Technology Austria. <a href=\"https://doi.org/10.15479/at:ista:10030\">https://doi.org/10.15479/at:ista:10030</a>"},"file_date_updated":"2022-03-10T12:14:42Z","author":[{"id":"30AD2CBC-F248-11E8-B48F-1D18A9856A87","first_name":"Lorenzo","last_name":"Portinale","full_name":"Portinale, Lorenzo"}],"language":[{"iso":"eng"}],"publication_identifier":{"issn":["2663-337X"]},"oa":1,"month":"09","acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"NanoFab"}],"title":"Discrete-to-continuum limits of transport problems and gradient flows in the space of measures","degree_awarded":"PhD","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"ddc":["515"],"related_material":{"record":[{"id":"9792","status":"public","relation":"part_of_dissertation"},{"status":"public","id":"10022","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"7573","status":"public"}]},"date_updated":"2026-04-08T07:00:04Z","_id":"10030","acknowledgement":"The author gratefully acknowledges support by the Austrian Science Fund (FWF), grants No W1245.","OA_place":"publisher"},{"file":[{"date_updated":"2021-09-21T15:58:52Z","content_type":"application/pdf","date_created":"2021-09-21T15:58:52Z","access_level":"open_access","file_id":"10034","file_size":840635,"creator":"qho","relation":"main_file","file_name":"1-s2.0-S000187082100431X-main.pdf","checksum":"f3c0086d41af11db31c00014efb38072"}],"article_type":"original","department":[{"_id":"TaHa"}],"has_accepted_license":"1","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","doi":"10.1016/j.aim.2021.107992","date_published":"2021-09-21T00:00:00Z","quality_controlled":"1","scopus_import":"1","publisher":"Elsevier","date_created":"2021-09-21T15:58:59Z","type":"journal_article","abstract":[{"text":"The ⊗*-monoidal structure on the category of sheaves on the Ran space is not pro-nilpotent in the sense of [3]. However, under some connectivity assumptions, we prove that Koszul duality induces an equivalence of categories and that this equivalence behaves nicely with respect to Verdier duality on the Ran space and integrating along the Ran space, i.e. taking factorization homology. Based on ideas sketched in [4], we show that these results also offer a simpler alternative to one of the two main steps in the proof of the Atiyah-Bott formula given in [7] and [5].","lang":"eng"}],"status":"public","isi":1,"keyword":["Chiral algebras","Chiral homology","Factorization algebras","Koszul duality","Ran space"],"day":"21","ddc":["514"],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"intvolume":"       392","title":"The Atiyah-Bott formula and connectivity in chiral Koszul duality","external_id":{"isi":["000707040300031"],"arxiv":["1610.00212"]},"month":"09","volume":392,"oa":1,"acknowledgement":"The author would like to express his gratitude to D. Gaitsgory, without whose tireless guidance and encouragement in pursuing this problem, this work would not have been possible. The author is grateful to his advisor B.C. Ngô for many years of patient guidance and support. This paper is revised while the author is a postdoc in Hausel group at IST Austria. We thank him and the group for providing a wonderful research environment. The author also gratefully acknowledges the support of the Lise Meitner fellowship “Algebro-Geometric Applications of Factorization Homology,” Austrian Science Fund (FWF): M 2751.","_id":"10033","date_updated":"2025-04-14T09:09:35Z","article_processing_charge":"Yes (via OA deal)","year":"2021","project":[{"_id":"26B96266-B435-11E9-9278-68D0E5697425","name":"Algebro-Geometric Applications of Factorization Homology","call_identifier":"FWF","grant_number":"M02751"}],"arxiv":1,"oa_version":"Published Version","corr_author":"1","publication_identifier":{"eissn":["1090-2082"],"issn":["0001-8708"]},"language":[{"iso":"eng"}],"author":[{"last_name":"Ho","full_name":"Ho, Quoc P","id":"3DD82E3C-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-6889-1418","first_name":"Quoc P"}],"file_date_updated":"2021-09-21T15:58:52Z","citation":{"ama":"Ho QP. The Atiyah-Bott formula and connectivity in chiral Koszul duality. <i>Advances in Mathematics</i>. 2021;392. doi:<a href=\"https://doi.org/10.1016/j.aim.2021.107992\">10.1016/j.aim.2021.107992</a>","chicago":"Ho, Quoc P. “The Atiyah-Bott Formula and Connectivity in Chiral Koszul Duality.” <i>Advances in Mathematics</i>. Elsevier, 2021. <a href=\"https://doi.org/10.1016/j.aim.2021.107992\">https://doi.org/10.1016/j.aim.2021.107992</a>.","mla":"Ho, Quoc P. “The Atiyah-Bott Formula and Connectivity in Chiral Koszul Duality.” <i>Advances in Mathematics</i>, vol. 392, 107992, Elsevier, 2021, doi:<a href=\"https://doi.org/10.1016/j.aim.2021.107992\">10.1016/j.aim.2021.107992</a>.","ieee":"Q. P. Ho, “The Atiyah-Bott formula and connectivity in chiral Koszul duality,” <i>Advances in Mathematics</i>, vol. 392. Elsevier, 2021.","short":"Q.P. Ho, Advances in Mathematics 392 (2021).","ista":"Ho QP. 2021. The Atiyah-Bott formula and connectivity in chiral Koszul duality. Advances in Mathematics. 392, 107992.","apa":"Ho, Q. P. (2021). The Atiyah-Bott formula and connectivity in chiral Koszul duality. <i>Advances in Mathematics</i>. Elsevier. <a href=\"https://doi.org/10.1016/j.aim.2021.107992\">https://doi.org/10.1016/j.aim.2021.107992</a>"},"publication_status":"published","article_number":"107992","publication":"Advances in Mathematics"},{"isi":1,"day":"26","status":"public","main_file_link":[{"url":"https://eprint.iacr.org/2019/1489","open_access":"1"}],"abstract":[{"text":"While messaging systems with strong security guarantees are widely used in practice, designing a protocol that scales efficiently to large groups and enjoys similar security guarantees remains largely open. The two existing proposals to date are ART (Cohn-Gordon et al., CCS18) and TreeKEM (IETF, The Messaging Layer Security Protocol, draft). TreeKEM is the currently considered candidate by the IETF MLS working group, but dynamic group operations (i.e. adding and removing users) can cause efficiency issues. In this paper we formalize and analyze a variant of TreeKEM which we term Tainted TreeKEM (TTKEM for short). The basic idea underlying TTKEM was suggested by Millican (MLS mailing list, February 2018). This version is more efficient than TreeKEM for some natural distributions of group operations, we quantify this through simulations.Our second contribution is two security proofs for TTKEM which establish post compromise and forward secrecy even against adaptive attackers. The security loss (to the underlying PKE) in the Random Oracle Model is a polynomial factor, and a quasipolynomial one in the Standard Model. Our proofs can be adapted to TreeKEM as well. Before our work no security proof for any TreeKEM-like protocol establishing tight security against an adversary who can adaptively choose the sequence of operations was known. We also are the first to prove (or even formalize) active security where the server can arbitrarily deviate from the protocol specification. Proving fully active security – where also the users can arbitrarily deviate – remains open.","lang":"eng"}],"scopus_import":"1","publisher":"IEEE","date_created":"2021-09-27T13:46:27Z","quality_controlled":"1","date_published":"2021-08-26T00:00:00Z","type":"conference","user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","doi":"10.1109/sp40001.2021.00035","department":[{"_id":"KrPi"},{"_id":"DaAl"}],"author":[{"first_name":"Karen","id":"3E83A2F8-F248-11E8-B48F-1D18A9856A87","full_name":"Klein, Karen","last_name":"Klein"},{"last_name":"Pascual Perez","full_name":"Pascual Perez, Guillermo","id":"2D7ABD02-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8630-415X","first_name":"Guillermo"},{"first_name":"Michael","orcid":"0000-0003-3186-2482","id":"488F98B0-F248-11E8-B48F-1D18A9856A87","full_name":"Walter, Michael","last_name":"Walter"},{"id":"4BD3F30E-F248-11E8-B48F-1D18A9856A87","orcid":"0009-0006-6812-7317","first_name":"Chethan","last_name":"Kamath Hosdurg","full_name":"Kamath Hosdurg, Chethan"},{"full_name":"Capretto, Margarita","last_name":"Capretto","first_name":"Margarita"},{"orcid":"0000-0002-2505-4246","first_name":"Miguel","id":"ffc563a3-f6e0-11ea-865d-e3cce03d17cc","full_name":"Cueto Noval, Miguel","last_name":"Cueto Noval"},{"first_name":"Ilia","id":"D0CF4148-C985-11E9-8066-0BDEE5697425","full_name":"Markov, Ilia","last_name":"Markov"},{"id":"2D82B818-F248-11E8-B48F-1D18A9856A87","first_name":"Michelle X","orcid":"0009-0001-3676-4809","last_name":"Yeo","full_name":"Yeo, Michelle X"},{"last_name":"Alwen","full_name":"Alwen, Joel F","id":"2A8DFA8C-F248-11E8-B48F-1D18A9856A87","first_name":"Joel F"},{"last_name":"Pietrzak","full_name":"Pietrzak, Krzysztof Z","id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","first_name":"Krzysztof Z","orcid":"0000-0002-9139-1654"}],"language":[{"iso":"eng"}],"publication":"2021 IEEE Symposium on Security and Privacy ","citation":{"short":"K. Klein, G. Pascual Perez, M. Walter, C. Kamath Hosdurg, M. Capretto, M. Cueto Noval, I. Markov, M.X. Yeo, J.F. Alwen, K.Z. Pietrzak, in:, 2021 IEEE Symposium on Security and Privacy , IEEE, 2021, pp. 268–284.","ieee":"K. Klein <i>et al.</i>, “Keep the dirt: tainted TreeKEM, adaptively and actively secure continuous group key agreement,” in <i>2021 IEEE Symposium on Security and Privacy </i>, San Francisco, CA, United States, 2021, pp. 268–284.","apa":"Klein, K., Pascual Perez, G., Walter, M., Kamath Hosdurg, C., Capretto, M., Cueto Noval, M., … Pietrzak, K. Z. (2021). Keep the dirt: tainted TreeKEM, adaptively and actively secure continuous group key agreement. In <i>2021 IEEE Symposium on Security and Privacy </i> (pp. 268–284). San Francisco, CA, United States: IEEE. <a href=\"https://doi.org/10.1109/sp40001.2021.00035\">https://doi.org/10.1109/sp40001.2021.00035</a>","ista":"Klein K, Pascual Perez G, Walter M, Kamath Hosdurg C, Capretto M, Cueto Noval M, Markov I, Yeo MX, Alwen JF, Pietrzak KZ. 2021. Keep the dirt: tainted TreeKEM, adaptively and actively secure continuous group key agreement. 2021 IEEE Symposium on Security and Privacy . SP: Symposium on Security and Privacy, 268–284.","chicago":"Klein, Karen, Guillermo Pascual Perez, Michael Walter, Chethan Kamath Hosdurg, Margarita Capretto, Miguel Cueto Noval, Ilia Markov, Michelle X Yeo, Joel F Alwen, and Krzysztof Z Pietrzak. “Keep the Dirt: Tainted TreeKEM, Adaptively and Actively Secure Continuous Group Key Agreement.” In <i>2021 IEEE Symposium on Security and Privacy </i>, 268–84. IEEE, 2021. <a href=\"https://doi.org/10.1109/sp40001.2021.00035\">https://doi.org/10.1109/sp40001.2021.00035</a>.","ama":"Klein K, Pascual Perez G, Walter M, et al. Keep the dirt: tainted TreeKEM, adaptively and actively secure continuous group key agreement. In: <i>2021 IEEE Symposium on Security and Privacy </i>. IEEE; 2021:268-284. doi:<a href=\"https://doi.org/10.1109/sp40001.2021.00035\">10.1109/sp40001.2021.00035</a>","mla":"Klein, Karen, et al. “Keep the Dirt: Tainted TreeKEM, Adaptively and Actively Secure Continuous Group Key Agreement.” <i>2021 IEEE Symposium on Security and Privacy </i>, IEEE, 2021, pp. 268–84, doi:<a href=\"https://doi.org/10.1109/sp40001.2021.00035\">10.1109/sp40001.2021.00035</a>."},"publication_status":"published","year":"2021","article_processing_charge":"No","conference":{"end_date":"2021-05-27","location":"San Francisco, CA, United States","start_date":"2021-05-24","name":"SP: Symposium on Security and Privacy"},"oa_version":"Preprint","corr_author":"1","page":"268-284","project":[{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","call_identifier":"H2020","grant_number":"665385"},{"grant_number":"682815","call_identifier":"H2020","name":"Teaching Old Crypto New Tricks","_id":"258AA5B2-B435-11E9-9278-68D0E5697425"}],"acknowledgement":"The first three authors contributed equally to this work. Funded by the European Research Council (ERC) under the European Union’s Horizon2020 research and innovation programme (682815-TOCNeT). Funded by the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No.665385.","ec_funded":1,"related_material":{"record":[{"status":"public","id":"18088","relation":"dissertation_contains"},{"status":"public","id":"10035","relation":"dissertation_contains"}]},"date_updated":"2026-04-08T07:01:44Z","_id":"10049","title":"Keep the dirt: tainted TreeKEM, adaptively and actively secure continuous group key agreement","month":"08","oa":1,"external_id":{"isi":["001316065000016"]}},{"doi":"10.1523/JNEUROSCI.0586-21.2021","user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","department":[{"_id":"RySh"}],"has_accepted_license":"1","file":[{"file_size":11571961,"file_id":"11423","access_level":"open_access","success":1,"checksum":"769ab627c7355a50ccfd445e43a5f351","file_name":"2021_JourNeuroscience_Butola.pdf","creator":"dernst","relation":"main_file","content_type":"application/pdf","date_updated":"2022-05-31T09:10:15Z","date_created":"2022-05-31T09:10:15Z"}],"article_type":"original","type":"journal_article","issue":"37","publisher":"Society for Neuroscience","date_created":"2021-09-27T14:33:13Z","scopus_import":"1","quality_controlled":"1","date_published":"2021-09-15T00:00:00Z","status":"public","abstract":[{"lang":"eng","text":"Rab-interacting molecule (RIM)-binding protein 2 (BP2) is a multidomain protein of the presynaptic active zone (AZ). By binding to RIM, bassoon (Bsn), and voltage-gated Ca2+ channels (CaV), it is considered to be a central organizer of the topography of CaV and release sites of synaptic vesicles (SVs) at the AZ. Here, we used RIM-BP2 knock-out (KO) mice and their wild-type (WT) littermates of either sex to investigate the role of RIM-BP2 at the endbulb of Held synapse of auditory nerve fibers (ANFs) with bushy cells (BCs) of the cochlear nucleus, a fast relay of the auditory pathway with high release probability. Disruption of RIM-BP2 lowered release probability altering short-term plasticity and reduced evoked EPSCs. Analysis of SV pool dynamics during high-frequency train stimulation indicated a reduction of SVs with high release probability but an overall normal size of the readily releasable SV pool (RRP). The Ca2+-dependent fast component of SV replenishment after RRP depletion was slowed. Ultrastructural analysis by superresolution light and electron microscopy revealed an impaired topography of presynaptic CaV and a reduction of docked and membrane-proximal SVs at the AZ. We conclude that RIM-BP2 organizes the topography of CaV, and promotes SV tethering and docking. This way RIM-BP2 is critical for establishing a high initial release probability as required to reliably signal sound onset information that we found to be degraded in BCs of RIM-BP2-deficient mice in vivo. SIGNIFICANCE STATEMENT: Rab-interacting molecule (RIM)-binding proteins (BPs) are key organizers of the active zone (AZ). Using a multidisciplinary approach to the calyceal endbulb of Held synapse that transmits auditory information at rates of up to hundreds of Hertz with submillisecond precision we demonstrate a requirement for RIM-BP2 for normal auditory signaling. Endbulb synapses lacking RIM-BP2 show a reduced release probability despite normal whole-terminal Ca2+ influx and abundance of the key priming protein Munc13-1, a reduced rate of SV replenishment, as well as an altered topography of voltage-gated (CaV)2.1 Ca2+ channels, and fewer docked and membrane proximal synaptic vesicles (SVs). This hampers transmission of sound onset information likely affecting downstream neural computations such as of sound localization."}],"day":"15","isi":1,"oa":1,"month":"09","volume":41,"external_id":{"isi":["000752287700005"],"pmid":["34353898"]},"title":"RIM-binding protein 2 organizes Ca<sup>21</sup> channel topography and regulates release probability and vesicle replenishment at a fast central synapse","intvolume":"        41","tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"ddc":["570"],"date_updated":"2023-08-14T06:56:30Z","_id":"10051","pmid":1,"acknowledgement":"This work was supported by the Deutsche Forschungsgemeinschaft (DFG, German Research Foundation) through the Collaborative Sensory Research Center 1286 [to C.W. (A4) and T.M. (B5)] and under Germany’s Excellence Strategy Grant EXC 2067/1-390729940. We thank S. Gerke, A.J. Goldak, and C. Senger-Freitag for expert technical assistance; G. Hoch for developing image analysis routines; and S. Chepurwar and N. Strenzke for technical support and discussion regarding in vivo experiments. We also thank Dr. Christian Rosenmund, Dr. Katharina Grauel, and Dr. Stephan Sigrist for providing RIM-BP2 KO mice and Dr. Masahiko Watanabe for providing the anti-neurexin-antibody, and Dr. Toshihisa Ohtsuka for the anti-ELKS-antibody. J. Neef for help with the STED imaging and image analysis; E. Neher and S. Rizzoli for discussion and comments on the manuscript; K. Eguchi for help with the statistical analysis; and C. H. Huang and J. Neef for constant support and scientific discussion.","oa_version":"Published Version","page":"7742-7767","year":"2021","article_processing_charge":"No","publication":"Journal of Neuroscience","publication_status":"published","citation":{"apa":"Butola, T., Alvanos, T., Hintze, A., Koppensteiner, P., Kleindienst, D., Shigemoto, R., … Moser, T. (2021). RIM-binding protein 2 organizes Ca<sup>21</sup> channel topography and regulates release probability and vesicle replenishment at a fast central synapse. <i>Journal of Neuroscience</i>. Society for Neuroscience. <a href=\"https://doi.org/10.1523/JNEUROSCI.0586-21.2021\">https://doi.org/10.1523/JNEUROSCI.0586-21.2021</a>","ista":"Butola T, Alvanos T, Hintze A, Koppensteiner P, Kleindienst D, Shigemoto R, Wichmann C, Moser T. 2021. RIM-binding protein 2 organizes Ca<sup>21</sup> channel topography and regulates release probability and vesicle replenishment at a fast central synapse. Journal of Neuroscience. 41(37), 7742–7767.","short":"T. Butola, T. Alvanos, A. Hintze, P. Koppensteiner, D. Kleindienst, R. Shigemoto, C. Wichmann, T. Moser, Journal of Neuroscience 41 (2021) 7742–7767.","ieee":"T. Butola <i>et al.</i>, “RIM-binding protein 2 organizes Ca<sup>21</sup> channel topography and regulates release probability and vesicle replenishment at a fast central synapse,” <i>Journal of Neuroscience</i>, vol. 41, no. 37. Society for Neuroscience, pp. 7742–7767, 2021.","mla":"Butola, Tanvi, et al. “RIM-Binding Protein 2 Organizes Ca<sup>21</sup> Channel Topography and Regulates Release Probability and Vesicle Replenishment at a Fast Central Synapse.” <i>Journal of Neuroscience</i>, vol. 41, no. 37, Society for Neuroscience, 2021, pp. 7742–67, doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.0586-21.2021\">10.1523/JNEUROSCI.0586-21.2021</a>.","ama":"Butola T, Alvanos T, Hintze A, et al. RIM-binding protein 2 organizes Ca<sup>21</sup> channel topography and regulates release probability and vesicle replenishment at a fast central synapse. <i>Journal of Neuroscience</i>. 2021;41(37):7742-7767. doi:<a href=\"https://doi.org/10.1523/JNEUROSCI.0586-21.2021\">10.1523/JNEUROSCI.0586-21.2021</a>","chicago":"Butola, Tanvi, Theocharis Alvanos, Anika Hintze, Peter Koppensteiner, David Kleindienst, Ryuichi Shigemoto, Carolin Wichmann, and Tobias Moser. “RIM-Binding Protein 2 Organizes Ca<sup>21</sup> Channel Topography and Regulates Release Probability and Vesicle Replenishment at a Fast Central Synapse.” <i>Journal of Neuroscience</i>. Society for Neuroscience, 2021. <a href=\"https://doi.org/10.1523/JNEUROSCI.0586-21.2021\">https://doi.org/10.1523/JNEUROSCI.0586-21.2021</a>."},"file_date_updated":"2022-05-31T09:10:15Z","author":[{"full_name":"Butola, Tanvi","last_name":"Butola","first_name":"Tanvi"},{"last_name":"Alvanos","full_name":"Alvanos, Theocharis","first_name":"Theocharis"},{"first_name":"Anika","full_name":"Hintze, Anika","last_name":"Hintze"},{"full_name":"Koppensteiner, Peter","last_name":"Koppensteiner","orcid":"0000-0002-3509-1948","first_name":"Peter","id":"3B8B25A8-F248-11E8-B48F-1D18A9856A87"},{"last_name":"Kleindienst","full_name":"Kleindienst, David","id":"42E121A4-F248-11E8-B48F-1D18A9856A87","first_name":"David"},{"orcid":"0000-0001-8761-9444","first_name":"Ryuichi","id":"499F3ABC-F248-11E8-B48F-1D18A9856A87","full_name":"Shigemoto, Ryuichi","last_name":"Shigemoto"},{"first_name":"Carolin","last_name":"Wichmann","full_name":"Wichmann, Carolin"},{"last_name":"Moser","full_name":"Moser, Tobias","first_name":"Tobias"}],"language":[{"iso":"eng"}],"publication_identifier":{"eissn":["1529-2401"],"issn":["0270-6474"]}},{"type":"conference","scopus_import":"1","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","date_created":"2021-09-27T14:33:14Z","quality_controlled":"1","date_published":"2021-08-13T00:00:00Z","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.4230/LIPIcs.CONCUR.2021.18","file":[{"date_created":"2021-10-01T11:10:53Z","date_updated":"2021-10-01T11:10:53Z","content_type":"application/pdf","creator":"cchlebak","relation":"main_file","checksum":"4722c81be82265cf45e78adf9db91250","file_name":"2021_CONCUR_Jecker.pdf","success":1,"access_level":"open_access","file_id":"10064","file_size":1003552}],"department":[{"_id":"KrCh"}],"has_accepted_license":"1","day":"13","status":"public","abstract":[{"lang":"eng","text":"A deterministic finite automaton (DFA) 𝒜 is composite if its language L(𝒜) can be decomposed into an intersection ⋂_{i = 1}^k L(𝒜_i) of languages of smaller DFAs. Otherwise, 𝒜 is prime. This notion of primality was introduced by Kupferman and Mosheiff in 2013, and while they proved that we can decide whether a DFA is composite, the precise complexity of this problem is still open, with a doubly-exponential gap between the upper and lower bounds. In this work, we focus on permutation DFAs, i.e., those for which the transition monoid is a group. We provide an NP algorithm to decide whether a permutation DFA is composite, and show that the difficulty of this problem comes from the number of non-accepting states of the instance: we give a fixed-parameter tractable algorithm with the number of rejecting states as the parameter. Moreover, we investigate the class of commutative permutation DFAs. Their structural properties allow us to decide compositionality in NL, and even in LOGSPACE if the alphabet size is fixed. Despite this low complexity, we show that complex behaviors still arise in this class: we provide a family of composite DFAs each requiring polynomially many factors with respect to its size. We also consider the variant of the problem that asks whether a DFA is k-factor composite, that is, decomposable into k smaller DFAs, for some given integer k ∈ ℕ. We show that, for commutative permutation DFAs, restricting the number of factors makes the decision computationally harder, and yields a problem with tight bounds: it is NP-complete. Finally, we show that in general, this problem is in PSPACE, and it is in LOGSPACE for DFAs with a singleton alphabet."}],"alternative_title":["LIPIcs"],"date_updated":"2025-05-14T10:55:28Z","_id":"10052","acknowledgement":"Ismaël Jecker: Marie Skłodowska-Curie Grant Agreement No. 754411. Nicolas Mazzocchi: BOSCO project PGC2018-102210-B-I00 (MCIU/AEI/FEDER, UE), BLOQUESCM project S2018/TCS-4339, and MINECO grant RYC-2016-20281.\r\nPetra Wolf : DFG project FE 560/9-1.\r\n","ec_funded":1,"volume":203,"month":"08","oa":1,"external_id":{"arxiv":["2107.04683"]},"intvolume":"       203","title":"Decomposing permutation automata","ddc":["000"],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"publication":"32nd International Conference on Concurrency Theory","citation":{"ama":"Jecker IR, Mazzocchi N, Wolf P. Decomposing permutation automata. In: <i>32nd International Conference on Concurrency Theory</i>. Vol 203. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2021.18\">10.4230/LIPIcs.CONCUR.2021.18</a>","chicago":"Jecker, Ismael R, Nicolas Mazzocchi, and Petra Wolf. “Decomposing Permutation Automata.” In <i>32nd International Conference on Concurrency Theory</i>, Vol. 203. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2021.18\">https://doi.org/10.4230/LIPIcs.CONCUR.2021.18</a>.","mla":"Jecker, Ismael R., et al. “Decomposing Permutation Automata.” <i>32nd International Conference on Concurrency Theory</i>, vol. 203, 18, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:<a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2021.18\">10.4230/LIPIcs.CONCUR.2021.18</a>.","ieee":"I. R. Jecker, N. Mazzocchi, and P. Wolf, “Decomposing permutation automata,” in <i>32nd International Conference on Concurrency Theory</i>, Paris, France, 2021, vol. 203.","short":"I.R. Jecker, N. Mazzocchi, P. Wolf, in:, 32nd International Conference on Concurrency Theory, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.","apa":"Jecker, I. R., Mazzocchi, N., &#38; Wolf, P. (2021). Decomposing permutation automata. In <i>32nd International Conference on Concurrency Theory</i> (Vol. 203). Paris, France: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.CONCUR.2021.18\">https://doi.org/10.4230/LIPIcs.CONCUR.2021.18</a>","ista":"Jecker IR, Mazzocchi N, Wolf P. 2021. Decomposing permutation automata. 32nd International Conference on Concurrency Theory. CONCUR: Conference on Concurrency Theory, LIPIcs, vol. 203, 18."},"article_number":"18","publication_status":"published","author":[{"last_name":"Jecker","full_name":"Jecker, Ismael R","id":"85D7C63E-7D5D-11E9-9C0F-98C4E5697425","first_name":"Ismael R"},{"full_name":"Mazzocchi, Nicolas","last_name":"Mazzocchi","first_name":"Nicolas"},{"first_name":"Petra","last_name":"Wolf","full_name":"Wolf, Petra"}],"file_date_updated":"2021-10-01T11:10:53Z","publication_identifier":{"isbn":["978-3-9597-7203-7"],"issn":["1868-8969"]},"language":[{"iso":"eng"}],"oa_version":"Published Version","arxiv":1,"project":[{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","grant_number":"754411","call_identifier":"H2020"}],"year":"2021","conference":{"end_date":"2021-08-27","location":"Paris, France","start_date":"2021-08-23","name":"CONCUR: Conference on Concurrency Theory"},"article_processing_charge":"No"},{"status":"public","abstract":[{"lang":"eng","text":"Graphs and games on graphs are fundamental models for the analysis of reactive systems, in particular, for model-checking and the synthesis of reactive systems. The class of ω-regular languages provides a robust specification formalism for the desired properties of reactive systems. In the classical infinitary formulation of the liveness part of an ω-regular specification, a \"good\" event must happen eventually without any bound between the good events. A stronger notion of liveness is bounded liveness, which requires that good events happen within d transitions. Given a graph or a game graph with n vertices, m edges, and a bounded liveness objective, the previous best-known algorithmic bounds are as follows: (i) O(dm) for graphs, which in the worst-case is O(n³); and (ii) O(n² d²) for games on graphs. Our main contributions improve these long-standing algorithmic bounds. For graphs we present: (i) a randomized algorithm with one-sided error with running time O(n^{2.5} log n) for the bounded liveness objectives; and (ii) a deterministic linear-time algorithm for the complement of bounded liveness objectives. For games on graphs, we present an O(n² d) time algorithm for the bounded liveness objectives."}],"alternative_title":["LIPIcs"],"day":"02","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.4230/LIPIcs.ICALP.2021.124","file":[{"date_updated":"2021-10-01T08:49:26Z","content_type":"application/pdf","date_created":"2021-10-01T08:49:26Z","success":1,"file_id":"10062","file_size":854576,"access_level":"open_access","relation":"main_file","creator":"cchlebak","file_name":"2021_LIPIcs_Chatterjee.pdf","checksum":"5a3fed8dbba8c088cbeac1e24cc10bc5"}],"has_accepted_license":"1","department":[{"_id":"KrCh"}],"type":"conference","scopus_import":"1","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","date_created":"2021-09-27T14:33:15Z","date_published":"2021-07-02T00:00:00Z","quality_controlled":"1","corr_author":"1","oa_version":"Published Version","project":[{"call_identifier":"H2020","grant_number":"863818","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"}],"year":"2021","article_processing_charge":"No","conference":{"end_date":"2021-07-16","location":"Glasgow, Scotland","start_date":"2021-07-12","name":"ICALP: Automata, Languages and Programming"},"publication":"48th International Colloquium on Automata, Languages, and Programming","citation":{"ieee":"K. Chatterjee, M. Henzinger, S. S. Kale, and A. Svozil, “Faster algorithms for bounded liveness in graphs and game graphs,” in <i>48th International Colloquium on Automata, Languages, and Programming</i>, Glasgow, Scotland, 2021, vol. 198.","short":"K. Chatterjee, M. Henzinger, S.S. Kale, A. Svozil, in:, 48th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.","apa":"Chatterjee, K., Henzinger, M., Kale, S. S., &#38; Svozil, A. (2021). Faster algorithms for bounded liveness in graphs and game graphs. In <i>48th International Colloquium on Automata, Languages, and Programming</i> (Vol. 198). Glasgow, Scotland: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2021.124\">https://doi.org/10.4230/LIPIcs.ICALP.2021.124</a>","ista":"Chatterjee K, Henzinger M, Kale SS, Svozil A. 2021. Faster algorithms for bounded liveness in graphs and game graphs. 48th International Colloquium on Automata, Languages, and Programming. ICALP: Automata, Languages and Programming, LIPIcs, vol. 198, 124.","ama":"Chatterjee K, Henzinger M, Kale SS, Svozil A. Faster algorithms for bounded liveness in graphs and game graphs. In: <i>48th International Colloquium on Automata, Languages, and Programming</i>. Vol 198. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:<a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2021.124\">10.4230/LIPIcs.ICALP.2021.124</a>","chicago":"Chatterjee, Krishnendu, Monika Henzinger, Sagar Sudhir Kale, and Alexander Svozil. “Faster Algorithms for Bounded Liveness in Graphs and Game Graphs.” In <i>48th International Colloquium on Automata, Languages, and Programming</i>, Vol. 198. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. <a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2021.124\">https://doi.org/10.4230/LIPIcs.ICALP.2021.124</a>.","mla":"Chatterjee, Krishnendu, et al. “Faster Algorithms for Bounded Liveness in Graphs and Game Graphs.” <i>48th International Colloquium on Automata, Languages, and Programming</i>, vol. 198, 124, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:<a href=\"https://doi.org/10.4230/LIPIcs.ICALP.2021.124\">10.4230/LIPIcs.ICALP.2021.124</a>."},"article_number":"124","publication_status":"published","author":[{"full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","first_name":"Krishnendu","orcid":"0000-0002-4561-241X","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"},{"id":"540c9bbd-f2de-11ec-812d-d04a5be85630","first_name":"Monika H","orcid":"0000-0002-5008-6530","last_name":"Henzinger","full_name":"Henzinger, Monika H"},{"first_name":"Sagar Sudhir","last_name":"Kale","full_name":"Kale, Sagar Sudhir"},{"last_name":"Svozil","full_name":"Svozil, Alexander","first_name":"Alexander"}],"file_date_updated":"2021-10-01T08:49:26Z","publication_identifier":{"issn":["1868-8969"],"isbn":["978-3-95977-195-5"]},"language":[{"iso":"eng"}],"month":"07","volume":198,"oa":1,"intvolume":"       198","title":"Faster algorithms for bounded liveness in graphs and game graphs","ddc":["000"],"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"date_updated":"2025-05-14T10:55:19Z","_id":"10054","acknowledgement":"Krishnendu Chatterjee: Supported by the ERC CoG 863818 (ForM-SMArt). Monika Henzinger: Supported by the Austrian Science Fund (FWF) and netIDEE SCIENCE project P 33775-N. Sagar Sudhir Kale: Partially supported by the Vienna Science and Technology Fund (WWTF) through project ICT15-003. Alexander Svozil: Fully supported by the Vienna Science and Technology Fund (WWTF) through project ICT15-003.","ec_funded":1},{"citation":{"mla":"Jecker, Ismael R. “A Ramsey Theorem for Finite Monoids.” <i>38th International Symposium on Theoretical Aspects of Computer Science</i>, vol. 187, 44, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021, doi:<a href=\"https://doi.org/10.4230/LIPIcs.STACS.2021.44\">10.4230/LIPIcs.STACS.2021.44</a>.","chicago":"Jecker, Ismael R. “A Ramsey Theorem for Finite Monoids.” In <i>38th International Symposium on Theoretical Aspects of Computer Science</i>, Vol. 187. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021. <a href=\"https://doi.org/10.4230/LIPIcs.STACS.2021.44\">https://doi.org/10.4230/LIPIcs.STACS.2021.44</a>.","ama":"Jecker IR. A Ramsey theorem for finite monoids. In: <i>38th International Symposium on Theoretical Aspects of Computer Science</i>. Vol 187. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2021. doi:<a href=\"https://doi.org/10.4230/LIPIcs.STACS.2021.44\">10.4230/LIPIcs.STACS.2021.44</a>","ista":"Jecker IR. 2021. A Ramsey theorem for finite monoids. 38th International Symposium on Theoretical Aspects of Computer Science. STACS: Symposium on Theoretical Aspects of Computer Science, LIPIcs, vol. 187, 44.","apa":"Jecker, I. R. (2021). A Ramsey theorem for finite monoids. In <i>38th International Symposium on Theoretical Aspects of Computer Science</i> (Vol. 187). Saarbrücken, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. <a href=\"https://doi.org/10.4230/LIPIcs.STACS.2021.44\">https://doi.org/10.4230/LIPIcs.STACS.2021.44</a>","short":"I.R. Jecker, in:, 38th International Symposium on Theoretical Aspects of Computer Science, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2021.","ieee":"I. R. Jecker, “A Ramsey theorem for finite monoids,” in <i>38th International Symposium on Theoretical Aspects of Computer Science</i>, Saarbrücken, Germany, 2021, vol. 187."},"publication_status":"published","article_number":"44","publication":"38th International Symposium on Theoretical Aspects of Computer Science","publication_identifier":{"issn":["1868-8969"],"isbn":["978-3-9597-7180-1"]},"language":[{"iso":"eng"}],"author":[{"last_name":"Jecker","full_name":"Jecker, Ismael R","id":"85D7C63E-7D5D-11E9-9C0F-98C4E5697425","first_name":"Ismael R"}],"file_date_updated":"2021-10-01T09:55:00Z","project":[{"name":"ISTplus - Postdoctoral Fellowships","_id":"260C2330-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"754411"}],"oa_version":"Published Version","conference":{"end_date":"2021-03-19","location":"Saarbrücken, Germany","start_date":"2021-03-16","name":"STACS: Symposium on Theoretical Aspects of Computer Science"},"article_processing_charge":"No","year":"2021","_id":"10055","date_updated":"2025-05-14T10:55:11Z","ec_funded":1,"acknowledgement":"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. 754411. I wish to thank Michaël Cadilhac, Emmanuel Filiot and Charles Paperman for their valuable insights concerning Green’s relations.","external_id":{"isi":["000635691700044"]},"month":"03","volume":187,"oa":1,"tmp":{"legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode","short":"CC BY (4.0)","image":"/images/cc_by.png","name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)"},"ddc":["000"],"intvolume":"       187","title":"A Ramsey theorem for finite monoids","day":"10","isi":1,"abstract":[{"text":"Repeated idempotent elements are commonly used to characterise iterable behaviours in abstract models of computation. Therefore, given a monoid M, it is natural to ask how long a sequence of elements of M needs to be to ensure the presence of consecutive idempotent factors. This question is formalised through the notion of the Ramsey function R_M associated to M, obtained by mapping every k ∈ ℕ to the minimal integer R_M(k) such that every word u ∈ M^* of length R_M(k) contains k consecutive non-empty factors that correspond to the same idempotent element of M. In this work, we study the behaviour of the Ramsey function R_M by investigating the regular 𝒟-length of M, defined as the largest size L(M) of a submonoid of M isomorphic to the set of natural numbers {1,2, …, L(M)} equipped with the max operation. We show that the regular 𝒟-length of M determines the degree of R_M, by proving that k^L(M) ≤ R_M(k) ≤ (k|M|⁴)^L(M). To allow applications of this result, we provide the value of the regular 𝒟-length of diverse monoids. In particular, we prove that the full monoid of n × n Boolean matrices, which is used to express transition monoids of non-deterministic automata, has a regular 𝒟-length of (n²+n+2)/2.","lang":"eng"}],"status":"public","alternative_title":["LIPIcs"],"type":"conference","quality_controlled":"1","date_published":"2021-03-10T00:00:00Z","scopus_import":"1","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","date_created":"2021-09-27T14:33:15Z","file":[{"date_created":"2021-10-01T09:55:00Z","content_type":"application/pdf","date_updated":"2021-10-01T09:55:00Z","file_name":"2021_LIPIcs_Jecker.pdf","checksum":"17432a05733f408de300e17e390a90e4","creator":"cchlebak","relation":"main_file","file_size":720250,"file_id":"10063","access_level":"open_access","success":1}],"has_accepted_license":"1","department":[{"_id":"KrCh"}],"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","doi":"10.4230/LIPIcs.STACS.2021.44"},{"intvolume":"       104","title":"Entanglement transitions from restricted Boltzmann machines","external_id":{"arxiv":["2107.05735"],"isi":["000704414400002"]},"volume":104,"month":"09","oa":1,"ec_funded":1,"acknowledgement":"We would like to thank S. De Nicola, P. Brighi, and V. Karle for fruitful discussions and valuable feedback on the manuscript. R.M. and M.S. acknowledge support by the European Research Council (ERC) under the European Union's Horizon 2020 research and innovation program (Grant Agreement No. 850899). R.V. acknowledges support from the US Department of Energy, Office of Science, Basic Energy Sciences, under Early Career Award No. DE-SC0019168, and the Alfred P. Sloan Foundation through a Sloan Research Fellowship.","_id":"10067","date_updated":"2026-04-07T12:43:22Z","related_material":{"record":[{"relation":"dissertation_contains","status":"public","id":"17208"}]},"article_processing_charge":"No","year":"2021","project":[{"_id":"23841C26-32DE-11EA-91FC-C7463DDC885E","name":"Non-Ergodic Quantum Matter: Universality, Dynamics and Control","call_identifier":"H2020","grant_number":"850899"}],"arxiv":1,"oa_version":"Preprint","corr_author":"1","publication_identifier":{"issn":["2469-9950"],"eissn":["2469-9969"]},"language":[{"iso":"eng"}],"author":[{"id":"CE680B90-D85A-11E9-B684-C920E6697425","orcid":"0000-0002-5383-2869","first_name":"Raimel A","last_name":"Medina Ramos","full_name":"Medina Ramos, Raimel A"},{"last_name":"Vasseur","full_name":"Vasseur, Romain","first_name":"Romain"},{"full_name":"Serbyn, Maksym","last_name":"Serbyn","orcid":"0000-0002-2399-5827","first_name":"Maksym","id":"47809E7E-F248-11E8-B48F-1D18A9856A87"}],"citation":{"ista":"Medina Ramos RA, Vasseur R, Serbyn M. 2021. Entanglement transitions from restricted Boltzmann machines. Physical Review B. 104(10), 104205.","apa":"Medina Ramos, R. A., Vasseur, R., &#38; Serbyn, M. (2021). Entanglement transitions from restricted Boltzmann machines. <i>Physical Review B</i>. American Physical Society. <a href=\"https://doi.org/10.1103/physrevb.104.104205\">https://doi.org/10.1103/physrevb.104.104205</a>","short":"R.A. Medina Ramos, R. Vasseur, M. Serbyn, Physical Review B 104 (2021).","ieee":"R. A. Medina Ramos, R. Vasseur, and M. Serbyn, “Entanglement transitions from restricted Boltzmann machines,” <i>Physical Review B</i>, vol. 104, no. 10. American Physical Society, 2021.","mla":"Medina Ramos, Raimel A., et al. “Entanglement Transitions from Restricted Boltzmann Machines.” <i>Physical Review B</i>, vol. 104, no. 10, 104205, American Physical Society, 2021, doi:<a href=\"https://doi.org/10.1103/physrevb.104.104205\">10.1103/physrevb.104.104205</a>.","chicago":"Medina Ramos, Raimel A, Romain Vasseur, and Maksym Serbyn. “Entanglement Transitions from Restricted Boltzmann Machines.” <i>Physical Review B</i>. American Physical Society, 2021. <a href=\"https://doi.org/10.1103/physrevb.104.104205\">https://doi.org/10.1103/physrevb.104.104205</a>.","ama":"Medina Ramos RA, Vasseur R, Serbyn M. Entanglement transitions from restricted Boltzmann machines. <i>Physical Review B</i>. 2021;104(10). doi:<a href=\"https://doi.org/10.1103/physrevb.104.104205\">10.1103/physrevb.104.104205</a>"},"article_number":"104205","publication_status":"published","publication":"Physical Review B","article_type":"original","department":[{"_id":"MaSe"}],"user_id":"4359f0d1-fa6c-11eb-b949-802e58b17ae8","doi":"10.1103/physrevb.104.104205","date_published":"2021-09-30T00:00:00Z","quality_controlled":"1","scopus_import":"1","date_created":"2021-10-02T09:03:42Z","publisher":"American Physical Society","issue":"10","type":"journal_article","main_file_link":[{"open_access":"1","url":"https://arxiv.org/abs/2107.05735"}],"abstract":[{"text":"The search for novel entangled phases of matter has lead to the recent discovery of a new class of “entanglement transitions,” exemplified by random tensor networks and monitored quantum circuits. Most known examples can be understood as some classical ordering transitions in an underlying statistical mechanics model, where entanglement maps onto the free-energy cost of inserting a domain wall. In this paper we study the possibility of entanglement transitions driven by physics beyond such statistical mechanics mappings. Motivated by recent applications of neural-network-inspired variational Ansätze, we investigate under what conditions on the variational parameters these Ansätze can capture an entanglement transition. We study the entanglement scaling of short-range restricted Boltzmann machine (RBM) quantum states with random phases. For uncorrelated random phases, we analytically demonstrate the absence of an entanglement transition and reveal subtle finite-size effects in finite-size numerical simulations. Introducing phases with correlations decaying as 1/r^α in real space, we observe three regions with a different scaling of entanglement entropy depending on the exponent α. We study the nature of the transition between these regions, finding numerical evidence for critical behavior. Our work establishes the presence of long-range correlated phases in RBM-based wave functions as a required ingredient for entanglement transitions.","lang":"eng"}],"status":"public","isi":1,"day":"30"}]
