[{"isi":1,"publication_identifier":{"issn":["0031-9007"],"eissn":["1079-7114"]},"department":[{"_id":"GradSch"},{"_id":"BjHo"}],"intvolume":" 131","date_published":"2023-07-21T00:00:00Z","article_number":"034002","arxiv":1,"pmid":1,"year":"2023","issue":"3","type":"journal_article","corr_author":"1","publication":"Physical Review Letters","title":"Direct path from turbulence to time-periodic solutions","language":[{"iso":"eng"}],"scopus_import":"1","quality_controlled":"1","related_material":{"record":[{"status":"public","id":"19684","relation":"dissertation_contains"}]},"date_created":"2023-07-24T09:43:59Z","status":"public","volume":131,"citation":{"ieee":"C. S. Paranjape, G. Yalniz, Y. Duguet, N. B. Budanur, and B. Hof, “Direct path from turbulence to time-periodic solutions,” Physical Review Letters, vol. 131, no. 3. American Physical Society, 2023.","apa":"Paranjape, C. S., Yalniz, G., Duguet, Y., Budanur, N. B., & Hof, B. (2023). Direct path from turbulence to time-periodic solutions. Physical Review Letters. American Physical Society. https://doi.org/10.1103/physrevlett.131.034002","chicago":"Paranjape, Chaitanya S, Gökhan Yalniz, Yohann Duguet, Nazmi B Budanur, and Björn Hof. “Direct Path from Turbulence to Time-Periodic Solutions.” Physical Review Letters. American Physical Society, 2023. https://doi.org/10.1103/physrevlett.131.034002.","short":"C.S. Paranjape, G. Yalniz, Y. Duguet, N.B. Budanur, B. Hof, Physical Review Letters 131 (2023).","ista":"Paranjape CS, Yalniz G, Duguet Y, Budanur NB, Hof B. 2023. Direct path from turbulence to time-periodic solutions. Physical Review Letters. 131(3), 034002.","ama":"Paranjape CS, Yalniz G, Duguet Y, Budanur NB, Hof B. Direct path from turbulence to time-periodic solutions. Physical Review Letters. 2023;131(3). doi:10.1103/physrevlett.131.034002","mla":"Paranjape, Chaitanya S., et al. “Direct Path from Turbulence to Time-Periodic Solutions.” Physical Review Letters, vol. 131, no. 3, 034002, American Physical Society, 2023, doi:10.1103/physrevlett.131.034002."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","oa":1,"article_type":"original","oa_version":"Preprint","keyword":["General Physics and Astronomy"],"month":"07","date_updated":"2026-04-07T11:47:05Z","acknowledgement":"We thank Baofang Song as well as the developers of Channelflow for sharing their numerical codes, and Mukund Vasudevan and Holger Kantz for fruitful discussions. This work was supported by a grant from the Simons Foundation (662960, B. H.).","main_file_link":[{"url":"https://doi.org/10.48550/arXiv.2306.05098","open_access":"1"}],"project":[{"grant_number":"662960","_id":"238598C6-32DE-11EA-91FC-C7463DDC885E","name":"Revisiting the Turbulence Problem Using Statistical Mechanics"}],"day":"21","_id":"13274","external_id":{"pmid":["37540883"],"isi":["001052929900004"],"arxiv":["2306.05098"]},"author":[{"id":"3D85B7C4-F248-11E8-B48F-1D18A9856A87","last_name":"Paranjape","first_name":"Chaitanya S","full_name":"Paranjape, Chaitanya S"},{"first_name":"Gökhan","full_name":"Yalniz, Gökhan","orcid":"0000-0002-8490-9312","id":"66E74FA2-D8BF-11E9-8249-8DE2E5697425","last_name":"Yalniz"},{"full_name":"Duguet, Yohann","first_name":"Yohann","last_name":"Duguet"},{"last_name":"Budanur","id":"3EA1010E-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-0423-5010","full_name":"Budanur, Nazmi B","first_name":"Nazmi B"},{"id":"3A374330-F248-11E8-B48F-1D18A9856A87","last_name":"Hof","first_name":"Björn","full_name":"Hof, Björn","orcid":"0000-0003-2057-2754"}],"publisher":"American Physical Society","publication_status":"published","doi":"10.1103/physrevlett.131.034002","abstract":[{"text":"Viscous flows through pipes and channels are steady and ordered until, with increasing velocity, the laminar motion catastrophically breaks down and gives way to turbulence. How this apparently discontinuous change from low- to high-dimensional motion can be rationalized within the framework of the Navier-Stokes equations is not well understood. Exploiting geometrical properties of transitional channel flow we trace turbulence to far lower Reynolds numbers (Re) than previously possible and identify the complete path that reversibly links fully turbulent motion to an invariant solution. This precursor of turbulence destabilizes rapidly with Re, and the accompanying explosive increase in attractor dimension effectively marks the transition between deterministic and de facto stochastic dynamics.","lang":"eng"}],"article_processing_charge":"No"},{"acknowledged_ssus":[{"_id":"NanoFab"},{"_id":"M-Shop"}],"license":"https://creativecommons.org/licenses/by-nc-sa/4.0/","supervisor":[{"last_name":"Katsaros","id":"38DB5788-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-8342-202X","full_name":"Katsaros, Georgios","first_name":"Georgios"}],"publication_identifier":{"issn":["2663-337X"]},"department":[{"_id":"GradSch"},{"_id":"GeKa"}],"OA_place":"publisher","page":"184","date_published":"2023-07-21T00:00:00Z","alternative_title":["ISTA Thesis"],"year":"2023","type":"dissertation","language":[{"iso":"eng"}],"file":[{"content_type":"application/x-zip-compressed","date_updated":"2023-08-11T10:01:34Z","date_created":"2023-08-11T09:27:39Z","checksum":"666ee31c7eade89679806287c062fa14","file_name":"PhD_thesis_Valentini_final.zip","file_size":56121429,"relation":"source_file","creator":"mvalenti","access_level":"closed","file_id":"14033"},{"file_size":38199711,"relation":"main_file","checksum":"0992f2ebef152dee8e70055350ebbb55","file_name":"PhD_thesis_Valentini_final_validated.pdf","date_updated":"2023-08-11T14:39:17Z","date_created":"2023-08-11T14:39:17Z","content_type":"application/pdf","access_level":"open_access","file_id":"14035","creator":"mvalenti"}],"title":"Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium","corr_author":"1","date_created":"2023-07-24T14:10:45Z","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","image":"/images/cc_by_nc_sa.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)"},"degree_awarded":"PhD","related_material":{"record":[{"id":"12522","status":"public","relation":"research_data"},{"relation":"part_of_dissertation","status":"public","id":"12118"},{"relation":"part_of_dissertation","status":"public","id":"8910"},{"id":"13312","status":"public","relation":"part_of_dissertation"}]},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","citation":{"ama":"Valentini M. Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. 2023. doi:10.15479/at:ista:13286","mla":"Valentini, Marco. Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13286.","ista":"Valentini M. 2023. Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. Institute of Science and Technology Austria.","short":"M. Valentini, Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium, Institute of Science and Technology Austria, 2023.","chicago":"Valentini, Marco. “Mesoscopic Phenomena in Hybrid Semiconductor-Superconductor Nanodevices : From Full-Shell Nanowires to Two-Dimensional Hole Gas in Germanium.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13286.","ieee":"M. Valentini, “Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium,” Institute of Science and Technology Austria, 2023.","apa":"Valentini, M. (2023). Mesoscopic phenomena in hybrid semiconductor-superconductor nanodevices : From full-shell nanowires to two-dimensional hole gas in germanium. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13286"},"status":"public","oa":1,"oa_version":"Published Version","file_date_updated":"2023-08-11T14:39:17Z","date_updated":"2026-06-03T07:16:01Z","has_accepted_license":"1","month":"07","ddc":["530"],"ec_funded":1,"publisher":"Institute of Science and Technology Austria","_id":"13286","publication_status":"published","author":[{"first_name":"Marco","full_name":"Valentini, Marco","id":"C0BB2FAC-D767-11E9-B658-BC13E6697425","last_name":"Valentini"}],"day":"21","project":[{"name":"Hybrid Semiconductor - Superconductor Quantum Devices","_id":"262116AA-B435-11E9-9278-68D0E5697425"},{"name":"TOPOLOGICALLY PROTECTED AND SCALABLE QUANTUM BITS","_id":"237E5020-32DE-11EA-91FC-C7463DDC885E","call_identifier":"H2020","grant_number":"862046"},{"name":"Center for Correlated Quantum Materials and Solid State Quantum Systems: Conventional and unconventional topological superconductors","_id":"34a66131-11ca-11ed-8bc3-a31681c6b03e","grant_number":"F8606"}],"article_processing_charge":"No","abstract":[{"lang":"eng","text":"Semiconductor-superconductor hybrid systems are the harbour of many intriguing mesoscopic phenomena. This material combination leads to spatial variations of the superconducting properties, which gives rise to Andreev bound states (ABSs). Some of these states might exhibit remarkable properties that render them highly desirable for topological quantum computing. The most prominent and hunted of such states are Majorana zero modes (MZMs), quasiparticles equals to their own quasiparticles that they follow non-abelian statistics. In this thesis, we first introduce the general framework of such hybrid systems and, then, we unveil a series of mesoscopic phenomena that we discovered. Firstly, we show tunneling spectroscopy experiments on full-shell nanowires (NWs) showing that unwanted quantum-dot states coupled to superconductors (Yu-Shiba-Rusinov states) can mimic MZMs signatures. Then, we introduce a novel protocol which allowed the integration of tunneling spectroscopy with Coulomb spectroscopy within the same device. Employing this approach on both full-shell NWs and partial-shell NWs, we demonstrated that longitudinally confined states reveal charge transport phenomenology similar to the one expected for MZMs. These findings shed light on the intricate interplay between superconductivity and quantum confinement, which brought us to explore another material platform, i.e. a two-dimensional Germanium hole gas. After developing a robust way to induce superconductivity in such system, we showed how to engineer the proximity effect and we revealed a superconducting hard gap. Finally, we created a superconducting radio frequency driven ideal diode and a generator of non-sinusoidal current-phase relations. Our results open the path for the exploration of protected superconducting qubits and more complex hybrid devices in planar Germanium, like Kitaev chains and hybrid qubit devices."}],"doi":"10.15479/at:ista:13286"},{"department":[{"_id":"GradSch"},{"_id":"ToHe"}],"publication_identifier":{"isbn":["9783959772785"],"eissn":["1868-8969"]},"intvolume":" 261","arxiv":1,"page":"129:1--129:20","alternative_title":["LIPIcs"],"date_published":"2023-07-05T00:00:00Z","type":"conference","year":"2023","file":[{"access_level":"open_access","file_id":"13293","success":1,"creator":"esarac","file_size":859379,"relation":"main_file","file_name":"icalp23.pdf","checksum":"5d4c8932ef3450615a53b9bb15d92eb2","date_created":"2023-07-24T15:11:05Z","date_updated":"2023-07-24T15:11:05Z","content_type":"application/pdf"}],"language":[{"iso":"eng"}],"publication":"50th International Colloquium on Automata, Languages, and Programming","corr_author":"1","title":"Regular methods for operator precedence languages","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_created":"2023-07-24T15:11:41Z","quality_controlled":"1","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"chicago":"Henzinger, Thomas A, Pavol Kebis, Nicolas Adrien Mazzocchi, and Naci E Sarac. “Regular Methods for Operator Precedence Languages.” In 50th International Colloquium on Automata, Languages, and Programming, 261:129:1--129:20. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.ICALP.2023.129.","ieee":"T. A. Henzinger, P. Kebis, N. A. Mazzocchi, and N. E. Sarac, “Regular methods for operator precedence languages,” in 50th International Colloquium on Automata, Languages, and Programming, Paderborn, Germany, 2023, vol. 261, p. 129:1--129:20.","apa":"Henzinger, T. A., Kebis, P., Mazzocchi, N. A., & Sarac, N. E. (2023). Regular methods for operator precedence languages. In 50th International Colloquium on Automata, Languages, and Programming (Vol. 261, p. 129:1--129:20). Paderborn, Germany: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.ICALP.2023.129","ama":"Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. Regular methods for operator precedence languages. In: 50th International Colloquium on Automata, Languages, and Programming. Vol 261. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023:129:1--129:20. doi:10.4230/LIPIcs.ICALP.2023.129","mla":"Henzinger, Thomas A., et al. “Regular Methods for Operator Precedence Languages.” 50th International Colloquium on Automata, Languages, and Programming, vol. 261, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20, doi:10.4230/LIPIcs.ICALP.2023.129.","ista":"Henzinger TA, Kebis P, Mazzocchi NA, Sarac NE. 2023. Regular methods for operator precedence languages. 50th International Colloquium on Automata, Languages, and Programming. ICALP: Automata, Languages and Programming, LIPIcs, vol. 261, 129:1--129:20.","short":"T.A. Henzinger, P. Kebis, N.A. Mazzocchi, N.E. Sarac, in:, 50th International Colloquium on Automata, Languages, and Programming, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, p. 129:1--129:20."},"status":"public","volume":261,"oa":1,"file_date_updated":"2023-07-24T15:11:05Z","oa_version":"Published Version","has_accepted_license":"1","date_updated":"2025-07-10T11:50:41Z","month":"07","acknowledgement":"This work was supported in part by the ERC-2020-AdG 101020093.\r\nWe thank Pierre Ganty for early discussions and the anonymous reviewers for their helpful comments.\r\n","ddc":["000"],"ec_funded":1,"publication_status":"published","_id":"13292","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724","first_name":"Thomas A"},{"last_name":"Kebis","full_name":"Kebis, Pavol","first_name":"Pavol"},{"id":"b26baa86-3308-11ec-87b0-8990f34baa85","last_name":"Mazzocchi","first_name":"Nicolas Adrien","full_name":"Mazzocchi, Nicolas Adrien"},{"id":"8C6B42F8-C8E6-11E9-A03A-F2DCE5697425","last_name":"Sarac","first_name":"Naci E","full_name":"Sarac, Naci E"}],"external_id":{"arxiv":["2305.03447"]},"publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","project":[{"call_identifier":"H2020","grant_number":"101020093","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software"}],"conference":{"end_date":"2023-07-14","name":"ICALP: Automata, Languages and Programming","location":"Paderborn, Germany","start_date":"2023-07-10"},"day":"05","doi":"10.4230/LIPIcs.ICALP.2023.129","abstract":[{"text":"The operator precedence languages (OPLs) represent the largest known subclass of the context-free languages which enjoys all desirable closure and decidability properties. This includes the decidability of language inclusion, which is the ultimate verification problem. Operator precedence grammars, automata, and logics have been investigated and used, for example, to verify programs with arithmetic expressions and exceptions (both of which are deterministic pushdown but lie outside the scope of the visibly pushdown languages). In this paper, we complete the picture and give, for the first time, an algebraic characterization of the class of OPLs in the form of a syntactic congruence that has finitely many equivalence classes exactly for the operator precedence languages. This is a generalization of the celebrated Myhill-Nerode theorem for the regular languages to OPLs. As one of the consequences, we show that universality and language inclusion for nondeterministic operator precedence automata can be solved by an antichain algorithm. Antichain algorithms avoid determinization and complementation through an explicit subset construction, by leveraging a quasi-order on words, which allows the pruning of the search space for counterexample words without sacrificing completeness. Antichain algorithms can be implemented symbolically, and these implementations are today the best-performing algorithms in practice for the inclusion of finite automata. We give a generic construction of the quasi-order needed for antichain algorithms from a finite syntactic congruence. This yields the first antichain algorithm for OPLs, an algorithm that solves the ExpTime-hard language inclusion problem for OPLs in exponential time.","lang":"eng"}],"article_processing_charge":"Yes"},{"ddc":["000"],"ec_funded":1,"_id":"13310","publication_status":"published","author":[{"id":"40876CD8-F248-11E8-B48F-1D18A9856A87","last_name":"Henzinger","first_name":"Thomas A","full_name":"Henzinger, Thomas A","orcid":"0000-0002-2985-7724"},{"first_name":"Mahyar","orcid":"0009-0005-0820-1696","full_name":"Karimi, Mahyar","last_name":"Karimi","id":"6e5417ba-5355-11ee-ae5a-94c2e510b26b"},{"full_name":"Kueffner, Konstantin","orcid":"0000-0001-8974-2542","first_name":"Konstantin","id":"8121a2d0-dc85-11ea-9058-af578f3b4515","last_name":"Kueffner"},{"last_name":"Mallik","id":"0834ff3c-6d72-11ec-94e0-b5b0a4fb8598","orcid":"0000-0001-9864-7475","full_name":"Mallik, Kaushik","first_name":"Kaushik"}],"publisher":"Springer Nature","external_id":{"arxiv":["2305.15979"],"isi":["001310804800017"]},"project":[{"grant_number":"101020093","call_identifier":"H2020","_id":"62781420-2b32-11ec-9570-8d9b63373d4d","name":"Vigilant Algorithmic Monitoring of Software"}],"conference":{"location":"Paris, France","start_date":"2023-07-17","name":"CAV: Computer Aided Verification","end_date":"2023-07-22"},"day":"18","doi":"10.1007/978-3-031-37703-7_17","article_processing_charge":"Yes (in subscription journal)","abstract":[{"lang":"eng","text":"Machine-learned systems are in widespread use for making decisions about humans, and it is important that they are fair, i.e., not biased against individuals based on sensitive attributes. We present runtime verification of algorithmic fairness for systems whose models are unknown, but are assumed to have a Markov chain structure. We introduce a specification language that can model many common algorithmic fairness properties, such as demographic parity, equal opportunity, and social burden. We build monitors that observe a long sequence of events as generated by a given system, and output, after each observation, a quantitative estimate of how fair or biased the system was on that run until that point in time. The estimate is proven to be correct modulo a variable error bound and a given confidence level, where the error bound gets tighter as the observed sequence gets longer. Our monitors are of two types, and use, respectively, frequentist and Bayesian statistical inference techniques. While the frequentist monitors compute estimates that are objectively correct with respect to the ground truth, the Bayesian monitors compute estimates that are correct subject to a given prior belief about the system’s model. Using a prototype implementation, we show how we can monitor if a bank is fair in giving loans to applicants from different social backgrounds, and if a college is fair in admitting students while maintaining a reasonable financial burden on the society. Although they exhibit different theoretical complexities in certain cases, in our experiments, both frequentist and Bayesian monitors took less than a millisecond to update their verdicts after each observation."}],"oa":1,"file_date_updated":"2023-07-31T08:11:20Z","oa_version":"Published Version","has_accepted_license":"1","date_updated":"2026-01-21T07:24:31Z","month":"07","acknowledgement":"This work is supported by the European Research Council under Grant No.: ERC-2020-AdG101020093.","year":"2023","type":"conference","file":[{"access_level":"open_access","file_id":"13327","success":1,"creator":"dernst","file_size":647760,"relation":"main_file","file_name":"2023_LNCS_CAV_HenzingerT.pdf","checksum":"ccaf94bf7d658ba012c016e11869b54c","date_created":"2023-07-31T08:11:20Z","date_updated":"2023-07-31T08:11:20Z","content_type":"application/pdf"}],"language":[{"iso":"eng"}],"corr_author":"1","publication":"Computer Aided Verification","title":"Monitoring algorithmic fairness","date_created":"2023-07-25T18:32:40Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"quality_controlled":"1","scopus_import":"1","citation":{"apa":"Henzinger, T. A., Karimi, M., Kueffner, K., & Mallik, K. (2023). Monitoring algorithmic fairness. In Computer Aided Verification (Vol. 13965, pp. 358–382). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37703-7_17","ieee":"T. A. Henzinger, M. Karimi, K. Kueffner, and K. Mallik, “Monitoring algorithmic fairness,” in Computer Aided Verification, Paris, France, 2023, vol. 13965, pp. 358–382.","chicago":"Henzinger, Thomas A, Mahyar Karimi, Konstantin Kueffner, and Kaushik Mallik. “Monitoring Algorithmic Fairness.” In Computer Aided Verification, 13965:358–382. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37703-7_17.","ista":"Henzinger TA, Karimi M, Kueffner K, Mallik K. 2023. Monitoring algorithmic fairness. Computer Aided Verification. CAV: Computer Aided Verification, LNCS, vol. 13965, 358–382.","short":"T.A. Henzinger, M. Karimi, K. Kueffner, K. Mallik, in:, Computer Aided Verification, Springer Nature, 2023, pp. 358–382.","mla":"Henzinger, Thomas A., et al. “Monitoring Algorithmic Fairness.” Computer Aided Verification, vol. 13965, Springer Nature, 2023, pp. 358–382, doi:10.1007/978-3-031-37703-7_17.","ama":"Henzinger TA, Karimi M, Kueffner K, Mallik K. Monitoring algorithmic fairness. In: Computer Aided Verification. Vol 13965. Springer Nature; 2023:358–382. doi:10.1007/978-3-031-37703-7_17"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","volume":13965,"isi":1,"department":[{"_id":"GradSch"},{"_id":"ToHe"}],"publication_identifier":{"isbn":["9783031377020"],"issn":["0302-9743"],"eissn":["1611-3349"],"eisbn":["9783031377037"]},"intvolume":" 13965","arxiv":1,"page":"358–382","alternative_title":["LNCS"],"date_published":"2023-07-18T00:00:00Z"},{"has_accepted_license":"1","date_updated":"2026-06-10T09:41:11Z","month":"12","acknowledgement":"This work was supported by the European Research Council through grant ERC 2015-StG-679239 and by the Austrian Science Fund (FWF) StandAlone P34607 to M.L., B. P.M. was also supported by the Kanazawa University WPI- NanoLSI Bio-SPM collaborative research program. Z.D. has received funding from Doctoral Programme of the Austrian Academy of Sciences (OeAW): Grant agreement 26360. We thank Jan Brugues (MPI CBG, Dresden, Germany), Andela Saric (ISTA, Klosterneuburg, Austria), Daniel Pearce (Uni Geneva, Switzerland) for valuable scientific input and comments on the manuscript. We are also thankful for the support by the Scientific Service Units (SSU) of IST Austria through resources provided by the Imaging and Optics Facility (IOF) and the Lab Support Facility (LSF).","oa":1,"article_type":"original","oa_version":"Published Version","file_date_updated":"2024-01-30T14:28:30Z","external_id":{"pmid":["38075437"],"isi":["001178645300041"]},"_id":"13314","publication_status":"published","publisher":"Springer Nature","author":[{"last_name":"Dunajova","id":"4B39F286-F248-11E8-B48F-1D18A9856A87","first_name":"Zuzana","full_name":"Dunajova, Zuzana"},{"id":"299FE892-F248-11E8-B48F-1D18A9856A87","last_name":"Prats Mateu","first_name":"Batirtze","full_name":"Prats Mateu, Batirtze"},{"last_name":"Radler","id":"40136C2A-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0001-9198-2182 ","full_name":"Radler, Philipp","first_name":"Philipp"},{"last_name":"Lim","first_name":"Keesiang","full_name":"Lim, Keesiang"},{"id":"21d64d35-f128-11eb-9611-b8bcca7a12fd","last_name":"Brandis","first_name":"Dörte","full_name":"Brandis, Dörte"},{"last_name":"Velicky","id":"39BDC62C-F248-11E8-B48F-1D18A9856A87","first_name":"Philipp","orcid":"0000-0002-2340-7431","full_name":"Velicky, Philipp"},{"full_name":"Danzl, Johann G","orcid":"0000-0001-8559-3973","first_name":"Johann G","id":"42EFD3B6-F248-11E8-B48F-1D18A9856A87","last_name":"Danzl"},{"first_name":"Richard W.","full_name":"Wong, Richard W.","last_name":"Wong"},{"first_name":"Jens","full_name":"Elgeti, Jens","last_name":"Elgeti"},{"first_name":"Edouard B","orcid":"0000-0001-6005-1561","full_name":"Hannezo, Edouard B","last_name":"Hannezo","id":"3A9DB764-F248-11E8-B48F-1D18A9856A87"},{"id":"462D4284-F248-11E8-B48F-1D18A9856A87","last_name":"Loose","first_name":"Martin","full_name":"Loose, Martin","orcid":"0000-0001-7309-9724"}],"project":[{"_id":"2595697A-B435-11E9-9278-68D0E5697425","name":"Self-Organization of the Bacterial Cell","grant_number":"679239","call_identifier":"H2020"},{"grant_number":"P34607","_id":"fc38323b-9c52-11eb-aca3-ff8afb4a011d","name":"In vitro reconstitution of bacterial cell division"},{"grant_number":"26360","name":"Motile active matter models of migrating cells and chiral filaments","_id":"34d75525-11ca-11ed-8bc3-89b6307fee9d"}],"day":"01","doi":"10.1038/s41567-023-02218-w","abstract":[{"text":"The emergence of large-scale order in self-organized systems relies on local interactions between individual components. During bacterial cell division, FtsZ—a prokaryotic homologue of the eukaryotic protein tubulin—polymerizes into treadmilling filaments that further organize into a cytoskeletal ring. In vitro, FtsZ filaments can form dynamic chiral assemblies. However, how the active and passive properties of individual filaments relate to these large-scale self-organized structures remains poorly understood. Here we connect single-filament properties with the mesoscopic scale by combining minimal active matter simulations and biochemical reconstitution experiments. We show that the density and flexibility of active chiral filaments define their global order. At intermediate densities, curved, flexible filaments organize into chiral rings and polar bands. An effectively nematic organization dominates for high densities and for straight, mutant filaments with increased rigidity. Our predicted phase diagram quantitatively captures these features, demonstrating how the flexibility, density and chirality of the active filaments affect their collective behaviour. Our findings shed light on the fundamental properties of active chiral matter and explain how treadmilling FtsZ filaments organize during bacterial cell division.","lang":"eng"}],"article_processing_charge":"Yes (in subscription journal)","ddc":["530"],"ec_funded":1,"intvolume":" 19","page":"1916-1926","date_published":"2023-12-01T00:00:00Z","acknowledged_ssus":[{"_id":"Bio"},{"_id":"LifeSc"}],"isi":1,"department":[{"_id":"JoDa"},{"_id":"EdHa"},{"_id":"MaLo"},{"_id":"GradSch"}],"publication_identifier":{"issn":["1745-2473"],"eissn":["1745-2481"]},"date_created":"2023-07-27T14:44:45Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"scopus_import":"1","quality_controlled":"1","related_material":{"record":[{"relation":"research_data","status":"public","id":"13116"},{"relation":"dissertation_contains","status":"public","id":"21423"},{"relation":"research_data","status":"public","id":"21439"}]},"citation":{"ieee":"Z. Dunajova et al., “Chiral and nematic phases of flexible active filaments,” Nature Physics, vol. 19. Springer Nature, pp. 1916–1926, 2023.","apa":"Dunajova, Z., Prats Mateu, B., Radler, P., Lim, K., Brandis, D., Velicky, P., … Loose, M. (2023). Chiral and nematic phases of flexible active filaments. Nature Physics. Springer Nature. https://doi.org/10.1038/s41567-023-02218-w","chicago":"Dunajova, Zuzana, Batirtze Prats Mateu, Philipp Radler, Keesiang Lim, Dörte Brandis, Philipp Velicky, Johann G Danzl, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” Nature Physics. Springer Nature, 2023. https://doi.org/10.1038/s41567-023-02218-w.","short":"Z. Dunajova, B. Prats Mateu, P. Radler, K. Lim, D. Brandis, P. Velicky, J.G. Danzl, R.W. Wong, J. Elgeti, E.B. Hannezo, M. Loose, Nature Physics 19 (2023) 1916–1926.","ista":"Dunajova Z, Prats Mateu B, Radler P, Lim K, Brandis D, Velicky P, Danzl JG, Wong RW, Elgeti J, Hannezo EB, Loose M. 2023. Chiral and nematic phases of flexible active filaments. Nature Physics. 19, 1916–1926.","ama":"Dunajova Z, Prats Mateu B, Radler P, et al. Chiral and nematic phases of flexible active filaments. Nature Physics. 2023;19:1916-1926. doi:10.1038/s41567-023-02218-w","mla":"Dunajova, Zuzana, et al. “Chiral and Nematic Phases of Flexible Active Filaments.” Nature Physics, vol. 19, Springer Nature, 2023, pp. 1916–26, doi:10.1038/s41567-023-02218-w."},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","status":"public","volume":19,"year":"2023","type":"journal_article","pmid":1,"file":[{"creator":"dernst","access_level":"open_access","file_id":"14916","success":1,"date_updated":"2024-01-30T14:28:30Z","date_created":"2024-01-30T14:28:30Z","content_type":"application/pdf","relation":"main_file","file_size":22471673,"checksum":"bc7673ca07d37309013a86166577b2f7","file_name":"2023_NaturePhysics_Dunajova.pdf"}],"language":[{"iso":"eng"}],"corr_author":"1","publication":"Nature Physics","title":"Chiral and nematic phases of flexible active filaments"},{"page":"26","alternative_title":["ISTA Master's Thesis"],"date_published":"2023-07-31T00:00:00Z","department":[{"_id":"GradSch"},{"_id":"UlWa"}],"publication_identifier":{"issn":["2791-4585"]},"supervisor":[{"id":"36690CA2-F248-11E8-B48F-1D18A9856A87","last_name":"Wagner","full_name":"Wagner, Uli","orcid":"0000-0002-1494-0568","first_name":"Uli"}],"OA_place":"publisher","date_created":"2023-07-31T10:20:55Z","related_material":{"record":[{"status":"public","id":"12680","relation":"part_of_dissertation"}]},"degree_awarded":"MS","citation":{"mla":"Köse, Seyda. Exterior Algebra and Combinatorics. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:13331.","ama":"Köse S. Exterior algebra and combinatorics. 2023. doi:10.15479/at:ista:13331","ista":"Köse S. 2023. Exterior algebra and combinatorics. Institute of Science and Technology Austria.","short":"S. Köse, Exterior Algebra and Combinatorics, Institute of Science and Technology Austria, 2023.","chicago":"Köse, Seyda. “Exterior Algebra and Combinatorics.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:13331.","apa":"Köse, S. (2023). Exterior algebra and combinatorics. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:13331","ieee":"S. Köse, “Exterior algebra and combinatorics,” Institute of Science and Technology Austria, 2023."},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","status":"public","type":"dissertation","year":"2023","file":[{"date_updated":"2023-07-31T10:16:32Z","date_created":"2023-07-31T10:16:32Z","content_type":"application/x-zip-compressed","relation":"source_file","file_size":28684,"checksum":"96ee518d796d02af71395622c45de03c","file_name":"Exterior Algebra and Combinatorics.zip","creator":"skoese","access_level":"closed","file_id":"13333"},{"creator":"skoese","access_level":"open_access","file_id":"13480","success":1,"date_updated":"2023-08-03T15:28:55Z","date_created":"2023-08-03T15:28:55Z","content_type":"application/pdf","file_size":4953418,"relation":"main_file","checksum":"f610f4713f88bc477de576aaa46b114e","file_name":"thesis-pdfa.pdf"}],"language":[{"iso":"eng"}],"corr_author":"1","title":"Exterior algebra and combinatorics","has_accepted_license":"1","date_updated":"2026-04-07T13:29:29Z","month":"07","oa":1,"oa_version":"Published Version","file_date_updated":"2023-08-03T15:28:55Z","_id":"13331","publication_status":"published","publisher":"Institute of Science and Technology Austria","author":[{"last_name":"Köse","id":"8ba3170d-dc85-11ea-9058-c4251c96a6eb","orcid":"0009-0008-0457-9730","full_name":"Köse, Seyda","first_name":"Seyda"}],"day":"31","doi":"10.15479/at:ista:13331","article_processing_charge":"No","abstract":[{"text":"The extension of extremal combinatorics to the setting of exterior algebra is a work\r\nin progress that gained attention recently. In this thesis, we study the combinatorial structure of exterior algebra by introducing a dictionary that translates the notions from the set systems into the framework of exterior algebra. We show both generalizations of celebrated Erdös--Ko--Rado theorem and Hilton--Milner theorem to the setting of exterior algebra in the simplest non-trivial case of two-forms.\r\n","lang":"eng"}],"ddc":["510","516"]},{"degree_awarded":"PhD","related_material":{"record":[{"id":"9803","status":"public","relation":"research_data"},{"status":"public","id":"12933","relation":"research_data"},{"relation":"part_of_dissertation","id":"6831","status":"public"},{"relation":"part_of_dissertation","status":"public","id":"14077"}]},"date_created":"2023-08-15T10:20:40Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"status":"public","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","citation":{"short":"G. Puixeu Sala, The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation, Institute of Science and Technology Austria, 2023.","ista":"Puixeu Sala G. 2023. The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. Institute of Science and Technology Austria.","ama":"Puixeu Sala G. The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. 2023. doi:10.15479/at:ista:14058","mla":"Puixeu Sala, Gemma. The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14058.","ieee":"G. Puixeu Sala, “The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation,” Institute of Science and Technology Austria, 2023.","apa":"Puixeu Sala, G. (2023). The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14058","chicago":"Puixeu Sala, Gemma. “The Molecular Basis of Sexual Dimorphism: Experimental and Theoretical Characterization of Phenotypic, Transcriptomic and Genetic Patterns of Sex-Specific Adaptation.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14058."},"year":"2023","type":"dissertation","title":"The molecular basis of sexual dimorphism: Experimental and theoretical characterization of phenotypic, transcriptomic and genetic patterns of sex-specific adaptation","corr_author":"1","language":[{"iso":"eng"}],"file":[{"access_level":"closed","file_id":"14075","creator":"gpuixeus","file_name":"Thesis_latex_forpdfa.zip","checksum":"4e44e169f2724ee8c9324cd60bcc2b71","relation":"source_file","file_size":10891454,"content_type":"application/zip","date_created":"2023-08-16T18:15:17Z","date_updated":"2023-08-17T06:55:24Z"},{"creator":"gpuixeus","success":1,"access_level":"open_access","file_id":"14079","content_type":"application/pdf","date_updated":"2023-08-18T10:47:55Z","date_created":"2023-08-18T10:47:55Z","checksum":"e10b04cd8f3fecc0d9ef6e6868b6e1e8","file_name":"PhDThesis_PuixeuG.pdf","file_size":19856686,"relation":"main_file"}],"date_published":"2023-08-15T00:00:00Z","alternative_title":["ISTA Thesis"],"page":"230","supervisor":[{"first_name":"Beatriz","full_name":"Vicoso, Beatriz","orcid":"0000-0002-4579-8306","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","last_name":"Vicoso"},{"last_name":"Barton","id":"4880FE40-F248-11E8-B48F-1D18A9856A87","first_name":"Nicholas H","orcid":"0000-0002-8548-5240","full_name":"Barton, Nicholas H"}],"publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-035-0"]},"department":[{"_id":"GradSch"},{"_id":"NiBa"},{"_id":"BeVi"}],"OA_place":"publisher","day":"15","project":[{"name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","grant_number":"665385","call_identifier":"H2020"},{"grant_number":"25817","_id":"9B9DFC9E-BA93-11EA-9121-9846C619BF3A","name":"Sexual conflict: resolution, constraints and biomedical implications"}],"author":[{"first_name":"Gemma","full_name":"Puixeu Sala, Gemma","orcid":"0000-0001-8330-1754","id":"33AB266C-F248-11E8-B48F-1D18A9856A87","last_name":"Puixeu Sala"}],"_id":"14058","publication_status":"published","publisher":"Institute of Science and Technology Austria","abstract":[{"text":"Females and males across species are subject to divergent selective pressures arising\r\nfrom di↵erent reproductive interests and ecological niches. This often translates into a\r\nintricate array of sex-specific natural and sexual selection on traits that have a shared\r\ngenetic basis between both sexes, causing a genetic sexual conflict. The resolution of\r\nthis conflict mostly relies on the evolution of sex-specific expression of the shared genes,\r\nleading to phenotypic sexual dimorphism. Such sex-specific gene expression is thought\r\nto evolve via modifications of the genetic networks ultimately linked to sex-determining\r\ntranscription factors. Although much empirical and theoretical evidence supports this\r\nstandard picture of the molecular basis of sexual conflict resolution, there still are a\r\nfew open questions regarding the complex array of selective forces driving phenotypic\r\ndi↵erentiation between the sexes, as well as the molecular mechanisms underlying sexspecific adaptation. I address some of these open questions in my PhD thesis.\r\nFirst, how do patterns of phenotypic sexual dimorphism vary within populations,\r\nas a response to the temporal and spatial changes in sex-specific selective forces? To\r\ntackle this question, I analyze the patterns of sex-specific phenotypic variation along\r\nthree life stages and across populations spanning the whole geographical range of Rumex\r\nhastatulus, a wind-pollinated angiosperm, in the first Chapter of the thesis.\r\nSecond, how do gene expression patterns lead to phenotypic dimorphism, and what\r\nare the molecular mechanisms underlying the observed transcriptomic variation? I\r\naddress this question by examining the sex- and tissue-specific expression variation in\r\nnewly-generated datasets of sex-specific expression in heads and gonads of Drosophila\r\nmelanogaster. I additionally used two complementary approaches for the study of the\r\ngenetic basis of sex di↵erences in gene expression in the second and third Chapters of\r\nthe thesis.\r\nThird, how does intersex correlation, thought to be one of the main aspects constraining the ability for the two sexes to decouple, interact with the evolution of sexual\r\ndimorphism? I develop models of sex-specific stabilizing selection, mutation and drift\r\nto formalize common intuition regarding the patterns of covariation between intersex\r\ncorrelation and sexual dimorphism in the fourth Chapter of the thesis.\r\nAlltogether, the work described in this PhD thesis provides useful insights into the\r\nlinks between genetic, transcriptomic and phenotypic layers of sex-specific variation,\r\nand contributes to our general understanding of the dynamics of sexual dimorphism\r\nevolution.","lang":"eng"}],"article_processing_charge":"No","doi":"10.15479/at:ista:14058","ddc":["576"],"ec_funded":1,"month":"08","date_updated":"2026-04-07T13:25:34Z","has_accepted_license":"1","oa":1,"file_date_updated":"2023-08-18T10:47:55Z","oa_version":"Published Version"},{"intvolume":" 13","date_published":"2023-08-01T00:00:00Z","department":[{"_id":"BeVi"},{"_id":"NiBa"},{"_id":"GradSch"}],"publication_identifier":{"issn":["2160-1836"]},"isi":1,"acknowledged_ssus":[{"_id":"ScienComp"}],"related_material":{"record":[{"status":"public","id":"12933","relation":"research_data"},{"status":"public","id":"14058","relation":"dissertation_contains"}]},"scopus_import":"1","quality_controlled":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_created":"2023-08-18T06:52:14Z","volume":13,"status":"public","citation":{"chicago":"Puixeu Sala, Gemma, Ariana Macon, and Beatriz Vicoso. “Sex-Specific Estimation of Cis and Trans Regulation of Gene Expression in Heads and Gonads of Drosophila Melanogaster.” G3: Genes, Genomes, Genetics. Oxford University Press, 2023. https://doi.org/10.1093/g3journal/jkad121.","ieee":"G. Puixeu Sala, A. Macon, and B. Vicoso, “Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster,” G3: Genes, Genomes, Genetics, vol. 13, no. 8. Oxford University Press, 2023.","apa":"Puixeu Sala, G., Macon, A., & Vicoso, B. (2023). Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. G3: Genes, Genomes, Genetics. Oxford University Press. https://doi.org/10.1093/g3journal/jkad121","ama":"Puixeu Sala G, Macon A, Vicoso B. Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. G3: Genes, Genomes, Genetics. 2023;13(8). doi:10.1093/g3journal/jkad121","mla":"Puixeu Sala, Gemma, et al. “Sex-Specific Estimation of Cis and Trans Regulation of Gene Expression in Heads and Gonads of Drosophila Melanogaster.” G3: Genes, Genomes, Genetics, vol. 13, no. 8, Oxford University Press, 2023, doi:10.1093/g3journal/jkad121.","short":"G. Puixeu Sala, A. Macon, B. Vicoso, G3: Genes, Genomes, Genetics 13 (2023).","ista":"Puixeu Sala G, Macon A, Vicoso B. 2023. Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster. G3: Genes, Genomes, Genetics. 13(8)."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","pmid":1,"type":"journal_article","issue":"8","year":"2023","title":"Sex-specific estimation of cis and trans regulation of gene expression in heads and gonads of Drosophila melanogaster","publication":"G3: Genes, Genomes, Genetics","corr_author":"1","language":[{"iso":"eng"}],"file":[{"content_type":"application/pdf","date_created":"2023-11-07T09:00:19Z","date_updated":"2023-11-07T09:00:19Z","file_name":"2023_G3_Puixeu.pdf","checksum":"c62e29fc7c5efbf8356f4c60cab4a2d1","file_size":845642,"relation":"main_file","creator":"dernst","success":1,"access_level":"open_access","file_id":"14498"}],"month":"08","date_updated":"2026-04-07T13:25:34Z","has_accepted_license":"1","acknowledgement":"We thank members of the Vicoso Group for comments on the manuscript, the Scientific Computing Unit at ISTA for technical support, and 2 anonymous reviewers for useful feedback. GP is the recipient of a DOC Fellowship of the Austrian Academy of Sciences at the Institute of Science and Technology Austria (DOC 25817) and received funding from the European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie Grant (agreement no. 665385).","article_type":"original","oa":1,"keyword":["Genetics (clinical)","Genetics","Molecular Biology"],"file_date_updated":"2023-11-07T09:00:19Z","oa_version":"Published Version","day":"01","project":[{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","call_identifier":"H2020","grant_number":"665385"},{"name":"Sexual conflict: resolution, constraints and biomedical implications","_id":"9B9DFC9E-BA93-11EA-9121-9846C619BF3A","grant_number":"25817"}],"_id":"14077","author":[{"first_name":"Gemma","orcid":"0000-0001-8330-1754","full_name":"Puixeu Sala, Gemma","last_name":"Puixeu Sala","id":"33AB266C-F248-11E8-B48F-1D18A9856A87"},{"id":"2A0848E2-F248-11E8-B48F-1D18A9856A87","last_name":"Macon","first_name":"Ariana","full_name":"Macon, Ariana"},{"full_name":"Vicoso, Beatriz","orcid":"0000-0002-4579-8306","first_name":"Beatriz","id":"49E1C5C6-F248-11E8-B48F-1D18A9856A87","last_name":"Vicoso"}],"publisher":"Oxford University Press","external_id":{"isi":["001002997200001"],"pmid":["37259621"]},"publication_status":"published","article_processing_charge":"Yes","abstract":[{"text":"The regulatory architecture of gene expression is known to differ substantially between sexes in Drosophila, but most studies performed\r\nso far used whole-body data and only single crosses, which may have limited their scope to detect patterns that are robust across tissues\r\nand biological replicates. Here, we use allele-specific gene expression of parental and reciprocal hybrid crosses between 6 Drosophila\r\nmelanogaster inbred lines to quantify cis- and trans-regulatory variation in heads and gonads of both sexes separately across 3 replicate\r\ncrosses. Our results suggest that female and male heads, as well as ovaries, have a similar regulatory architecture. On the other hand,\r\ntestes display more and substantially different cis-regulatory effects, suggesting that sex differences in the regulatory architecture that\r\nhave been previously observed may largely derive from testis-specific effects. We also examine the difference in cis-regulatory variation\r\nof genes across different levels of sex bias in gonads and heads. Consistent with the idea that intersex correlations constrain expression\r\nand can lead to sexual antagonism, we find more cis variation in unbiased and moderately biased genes in heads. In ovaries, reduced cis\r\nvariation is observed for male-biased genes, suggesting that cis variants acting on these genes in males do not lead to changes in ovary\r\nexpression. Finally, we examine the dominance patterns of gene expression and find that sex- and tissue-specific patterns of inheritance\r\nas well as trans-regulatory variation are highly variable across biological crosses, although these were performed in highly controlled\r\nexperimental conditions. This highlights the importance of using various genetic backgrounds to infer generalizable patterns.","lang":"eng"}],"doi":"10.1093/g3journal/jkad121","ddc":["570"],"ec_funded":1},{"_id":"14087","publisher":"Royal Society of Chemistry","author":[{"last_name":"Rønning","first_name":"Jonas","full_name":"Rønning, Jonas"},{"id":"7af6767d-14eb-11ed-b536-a32449ae867c","last_name":"Renaud","first_name":"Julian B","full_name":"Renaud, Julian B"},{"last_name":"Doostmohammadi","first_name":"Amin","full_name":"Doostmohammadi, Amin"},{"full_name":"Angheluta, Luiza","first_name":"Luiza","last_name":"Angheluta"}],"external_id":{"arxiv":["2303.07063"],"isi":["001035766100001"],"pmid":["37493084"]},"publication_status":"published","day":"01","doi":"10.1039/d3sm00316g","article_processing_charge":"Yes (in subscription journal)","abstract":[{"text":"Polar active matter of self-propelled particles sustain spontaneous flows through the full-integer topological defects. We study theoretically the incompressible flow profiles around ±1 defects induced by polar and dipolar active forces. We show that dipolar forces induce vortical flows around the +1 defect, while the flow around the −1 defect has an 8-fold rotational symmetry. The vortical flow changes its chirality near the +1 defect core in the absence of the friction with a substrate. We show analytically that the flow induced by polar active forces is vortical near the +1 defect and is 4-fold symmetric near the −1 defect, while it becomes uniform in the far-field. For a pair of oppositely charged defects, this polar flow contributes to a mutual interaction force that depends only on the orientation of the defect pair relative to the background polarization, and that enhances defect pair annihilation. This is in contradiction with the effect of dipolar active forces which decay inversely proportional with the defect separation distance. As such, our analyses reveals a long-ranged mechanism for the pairwise interaction between topological defects in polar active matter.","lang":"eng"}],"ddc":["540"],"has_accepted_license":"1","date_updated":"2025-04-23T13:03:12Z","month":"09","acknowledgement":"J. Rø and L. A. acknowledge support from the Research Council of Norway through the Center of Excellence funding scheme, Project No. 262644 (PoreLab). A. D. acknowledges funding from the Novo Nordisk Foundation (grant No. NNF18SA0035142 and NERD grant No. NNF21OC0068687), Villum Fonden Grant no. 29476, and the European Union via the ERC-Starting Grant PhysCoMeT. Views and opinions expressed are however those of the authors only and do not necessarily reflect those of the European Union or the European Research Council. Neither the European Union nor the granting authority can be held responsible for them.","oa":1,"article_type":"original","oa_version":"Published Version","file_date_updated":"2024-01-30T12:48:24Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_created":"2023-08-20T22:01:15Z","quality_controlled":"1","scopus_import":"1","citation":{"ama":"Rønning J, Renaud JB, Doostmohammadi A, Angheluta L. Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. 2023;39:7513-7527. doi:10.1039/d3sm00316g","mla":"Rønning, Jonas, et al. “Spontaneous Flows and Dynamics of Full-Integer Topological Defects in Polar Active Matter.” Soft Matter, vol. 39, Royal Society of Chemistry, 2023, pp. 7513–27, doi:10.1039/d3sm00316g.","ista":"Rønning J, Renaud JB, Doostmohammadi A, Angheluta L. 2023. Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. 39, 7513–7527.","short":"J. Rønning, J.B. Renaud, A. Doostmohammadi, L. Angheluta, Soft Matter 39 (2023) 7513–7527.","chicago":"Rønning, Jonas, Julian B Renaud, Amin Doostmohammadi, and Luiza Angheluta. “Spontaneous Flows and Dynamics of Full-Integer Topological Defects in Polar Active Matter.” Soft Matter. Royal Society of Chemistry, 2023. https://doi.org/10.1039/d3sm00316g.","ieee":"J. Rønning, J. B. Renaud, A. Doostmohammadi, and L. Angheluta, “Spontaneous flows and dynamics of full-integer topological defects in polar active matter,” Soft Matter, vol. 39. Royal Society of Chemistry, pp. 7513–7527, 2023.","apa":"Rønning, J., Renaud, J. B., Doostmohammadi, A., & Angheluta, L. (2023). Spontaneous flows and dynamics of full-integer topological defects in polar active matter. Soft Matter. Royal Society of Chemistry. https://doi.org/10.1039/d3sm00316g"},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","status":"public","volume":39,"year":"2023","type":"journal_article","pmid":1,"file":[{"checksum":"b936747170d0b708172b518078c4081a","file_name":"2023_SoftMatter_Ronning.pdf","relation":"main_file","file_size":7660662,"content_type":"application/pdf","date_updated":"2024-01-30T12:48:24Z","date_created":"2024-01-30T12:48:24Z","success":1,"access_level":"open_access","file_id":"14908","creator":"dernst"}],"language":[{"iso":"eng"}],"publication":"Soft Matter","title":"Spontaneous flows and dynamics of full-integer topological defects in polar active matter","intvolume":" 39","page":"7513-7527","arxiv":1,"date_published":"2023-09-01T00:00:00Z","isi":1,"publication_identifier":{"eissn":["1744-6848"],"issn":["1744-683X"]},"department":[{"_id":"GradSch"}]},{"article_processing_charge":"Yes (in subscription journal)","abstract":[{"lang":"eng","text":"This paper presents Lincheck, a new practical and user-friendly framework for testing concurrent algorithms on the Java Virtual Machine (JVM). Lincheck provides a simple and declarative way to write concurrent tests: instead of describing how to perform the test, users specify what to test by declaring all the operations to examine; the framework automatically handles the rest. As a result, tests written with Lincheck are concise and easy to understand. The framework automatically generates a set of concurrent scenarios, examines them using stress-testing or bounded model checking, and verifies that the results of each invocation are correct. Notably, if an error is detected via model checking, Lincheck provides an easy-to-follow trace to reproduce it, significantly simplifying the bug investigation.\r\n\r\nTo the best of our knowledge, Lincheck is the first production-ready tool on the JVM that offers such a simple way of writing concurrent tests, without requiring special skills or expertise. We successfully integrated Lincheck in the development process of several large projects, such as Kotlin Coroutines, and identified new bugs in popular concurrency libraries, such as a race in Java’s standard ConcurrentLinkedDeque and a liveliness bug in Java’s AbstractQueuedSynchronizer framework, which is used in most of the synchronization primitives. We believe that Lincheck can significantly improve the quality and productivity of concurrent algorithms research and development and become the state-of-the-art tool for checking their correctness."}],"doi":"10.1007/978-3-031-37706-8_8","day":"17","conference":{"end_date":"2023-07-22","start_date":"2023-07-17","location":"Paris, France","name":"CAV: Computer Aided Verification"},"external_id":{"isi":["001310786500008"]},"_id":"14260","publisher":"Springer Nature","publication_status":"published","author":[{"id":"2F4DB10C-F248-11E8-B48F-1D18A9856A87","last_name":"Koval","first_name":"Nikita","full_name":"Koval, Nikita"},{"first_name":"Alexander","full_name":"Fedorov, Alexander","last_name":"Fedorov","id":"2e711909-896a-11ed-bdf8-eb0f5a2984c6"},{"full_name":"Sokolova, Maria","first_name":"Maria","last_name":"Sokolova"},{"last_name":"Tsitelov","first_name":"Dmitry","full_name":"Tsitelov, Dmitry"},{"full_name":"Alistarh, Dan-Adrian","orcid":"0000-0003-3650-940X","first_name":"Dan-Adrian","id":"4A899BFC-F248-11E8-B48F-1D18A9856A87","last_name":"Alistarh"}],"ddc":["000"],"month":"07","date_updated":"2025-09-09T12:51:52Z","has_accepted_license":"1","oa_version":"Published Version","file_date_updated":"2023-09-06T08:16:25Z","oa":1,"volume":13964,"status":"public","citation":{"mla":"Koval, Nikita, et al. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” 35th International Conference on Computer Aided Verification , vol. 13964, Springer Nature, 2023, pp. 156–69, doi:10.1007/978-3-031-37706-8_8.","ama":"Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. Lincheck: A practical framework for testing concurrent data structures on JVM. In: 35th International Conference on Computer Aided Verification . Vol 13964. Springer Nature; 2023:156-169. doi:10.1007/978-3-031-37706-8_8","short":"N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, D.-A. Alistarh, in:, 35th International Conference on Computer Aided Verification , Springer Nature, 2023, pp. 156–169.","ista":"Koval N, Fedorov A, Sokolova M, Tsitelov D, Alistarh D-A. 2023. Lincheck: A practical framework for testing concurrent data structures on JVM. 35th International Conference on Computer Aided Verification . CAV: Computer Aided Verification, LNCS, vol. 13964, 156–169.","chicago":"Koval, Nikita, Alexander Fedorov, Maria Sokolova, Dmitry Tsitelov, and Dan-Adrian Alistarh. “Lincheck: A Practical Framework for Testing Concurrent Data Structures on JVM.” In 35th International Conference on Computer Aided Verification , 13964:156–69. Springer Nature, 2023. https://doi.org/10.1007/978-3-031-37706-8_8.","apa":"Koval, N., Fedorov, A., Sokolova, M., Tsitelov, D., & Alistarh, D.-A. (2023). Lincheck: A practical framework for testing concurrent data structures on JVM. In 35th International Conference on Computer Aided Verification (Vol. 13964, pp. 156–169). Paris, France: Springer Nature. https://doi.org/10.1007/978-3-031-37706-8_8","ieee":"N. Koval, A. Fedorov, M. Sokolova, D. Tsitelov, and D.-A. Alistarh, “Lincheck: A practical framework for testing concurrent data structures on JVM,” in 35th International Conference on Computer Aided Verification , Paris, France, 2023, vol. 13964, pp. 156–169."},"user_id":"317138e5-6ab7-11ef-aa6d-ffef3953e345","related_material":{"record":[{"relation":"research_data","id":"14995","status":"public"}]},"quality_controlled":"1","scopus_import":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_created":"2023-09-03T22:01:16Z","title":"Lincheck: A practical framework for testing concurrent data structures on JVM","publication":"35th International Conference on Computer Aided Verification ","language":[{"iso":"eng"}],"file":[{"creator":"dernst","success":1,"file_id":"14275","access_level":"open_access","content_type":"application/pdf","date_updated":"2023-09-06T08:16:25Z","date_created":"2023-09-06T08:16:25Z","checksum":"c346016393123a0a2338ad4d976f61bc","file_name":"2023_LNCS_Koval.pdf","relation":"main_file","file_size":421408}],"type":"conference","year":"2023","date_published":"2023-07-17T00:00:00Z","alternative_title":["LNCS"],"page":"156-169","intvolume":" 13964","department":[{"_id":"DaAl"},{"_id":"GradSch"}],"publication_identifier":{"isbn":["9783031377051"],"issn":["0302-9743"],"eissn":["1611-3349"]},"isi":1},{"volume":14,"status":"public","citation":{"chicago":"Gamper, Jakob, Florian Kluibenschedl, Alexander K.H. Weiss, and Thomas S. Hofer. “Accessing Position Space Wave Functions in Band Structure Calculations of Periodic Systems - a Generalized, Adapted Numerov Implementation for One-, Two-, and Three-Dimensional Quantum Problems.” Journal of Physical Chemistry Letters. American Chemical Society, 2023. https://doi.org/10.1021/acs.jpclett.3c01707.","apa":"Gamper, J., Kluibenschedl, F., Weiss, A. K. H., & Hofer, T. S. (2023). Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems. Journal of Physical Chemistry Letters. American Chemical Society. https://doi.org/10.1021/acs.jpclett.3c01707","ieee":"J. Gamper, F. Kluibenschedl, A. K. H. Weiss, and T. S. Hofer, “Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems,” Journal of Physical Chemistry Letters, vol. 14, no. 33. American Chemical Society, pp. 7395–7403, 2023.","mla":"Gamper, Jakob, et al. “Accessing Position Space Wave Functions in Band Structure Calculations of Periodic Systems - a Generalized, Adapted Numerov Implementation for One-, Two-, and Three-Dimensional Quantum Problems.” Journal of Physical Chemistry Letters, vol. 14, no. 33, American Chemical Society, 2023, pp. 7395–403, doi:10.1021/acs.jpclett.3c01707.","ama":"Gamper J, Kluibenschedl F, Weiss AKH, Hofer TS. Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems. Journal of Physical Chemistry Letters. 2023;14(33):7395-7403. doi:10.1021/acs.jpclett.3c01707","ista":"Gamper J, Kluibenschedl F, Weiss AKH, Hofer TS. 2023. Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems. Journal of Physical Chemistry Letters. 14(33), 7395–7403.","short":"J. Gamper, F. Kluibenschedl, A.K.H. Weiss, T.S. Hofer, Journal of Physical Chemistry Letters 14 (2023) 7395–7403."},"user_id":"c635000d-4b10-11ee-a964-aac5a93f6ac1","quality_controlled":"1","scopus_import":"1","date_created":"2023-09-03T22:01:16Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"title":"Accessing position space wave functions in band structure calculations of periodic systems - a generalized, adapted numerov implementation for one-, two-, and three-dimensional quantum problems","publication":"Journal of Physical Chemistry Letters","language":[{"iso":"eng"}],"file":[{"creator":"dernst","success":1,"file_id":"14272","access_level":"open_access","content_type":"application/pdf","date_created":"2023-09-06T07:32:39Z","date_updated":"2023-09-06T07:32:39Z","file_name":"2023_JourPhysChemistry_Gamper.pdf","checksum":"637454e2b3a357498d8d622d241c4bf6","relation":"main_file","file_size":4986859}],"pmid":1,"issue":"33","year":"2023","type":"journal_article","date_published":"2023-08-11T00:00:00Z","page":"7395-7403","intvolume":" 14","publication_identifier":{"eissn":["1948-7185"]},"department":[{"_id":"GradSch"}],"isi":1,"abstract":[{"lang":"eng","text":"In this work, a generalized, adapted Numerov implementation capable of determining band structures of periodic quantum systems is outlined. Based on the input potential, the presented approach numerically solves the Schrödinger equation in position space at each momentum space point. Thus, in addition to the band structure, the method inherently provides information about the state functions and probability densities in position space at each momentum space point considered. The generalized, adapted Numerov framework provided reliable estimates for a variety of increasingly complex test suites in one, two, and three dimensions. The accuracy of the proposed methodology was benchmarked against results obtained for the analytically solvable Kronig-Penney model. Furthermore, the presented numerical solver was applied to a model potential representing a 2D optical lattice being a challenging application relevant, for example, in the field of quantum computing."}],"article_processing_charge":"Yes (in subscription journal)","doi":"10.1021/acs.jpclett.3c01707","day":"11","publication_status":"published","_id":"14261","publisher":"American Chemical Society","author":[{"last_name":"Gamper","full_name":"Gamper, Jakob","first_name":"Jakob"},{"id":"7499e70e-eb2c-11ec-b98b-f925648bc9d9","last_name":"Kluibenschedl","full_name":"Kluibenschedl, Florian","first_name":"Florian"},{"last_name":"Weiss","first_name":"Alexander K.H.","full_name":"Weiss, Alexander K.H."},{"first_name":"Thomas S.","full_name":"Hofer, Thomas S.","last_name":"Hofer"}],"external_id":{"isi":["001048165800001"],"pmid":["37566743"]},"ddc":["530","540"],"acknowledgement":"Financial supports for this work via a PhD scholarship for J. Gamper issued by the Leopold-Franzens-University of Innsbruck (Vicerector Prof. Dr Ulrike Tanzer) are gratefully acknowledged. The computational results presented have been achieved (in part) using the HPC infrastructure of the University of Innsbruck.","month":"08","date_updated":"2023-09-06T11:04:31Z","has_accepted_license":"1","oa_version":"Published Version","file_date_updated":"2023-09-06T07:32:39Z","article_type":"original","oa":1},{"language":[{"iso":"eng"}],"file":[{"content_type":"application/pdf","date_created":"2023-09-20T11:09:35Z","date_updated":"2023-09-20T11:09:35Z","file_name":"2023_ForumMathematics_Cipolloni.pdf","checksum":"eb747420e6a88a7796fa934151957676","relation":"main_file","file_size":852652,"creator":"dernst","success":1,"access_level":"open_access","file_id":"14352"}],"title":"Gaussian fluctuations in the equipartition principle for Wigner matrices","publication":"Forum of Mathematics, Sigma","corr_author":"1","year":"2023","type":"journal_article","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"apa":"Cipolloni, G., Erdös, L., Henheik, S. J., & Kolupaiev, O. (2023). Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2023.70","ieee":"G. Cipolloni, L. Erdös, S. J. Henheik, and O. Kolupaiev, “Gaussian fluctuations in the equipartition principle for Wigner matrices,” Forum of Mathematics, Sigma, vol. 11. Cambridge University Press, 2023.","chicago":"Cipolloni, Giorgio, László Erdös, Sven Joscha Henheik, and Oleksii Kolupaiev. “Gaussian Fluctuations in the Equipartition Principle for Wigner Matrices.” Forum of Mathematics, Sigma. Cambridge University Press, 2023. https://doi.org/10.1017/fms.2023.70.","ista":"Cipolloni G, Erdös L, Henheik SJ, Kolupaiev O. 2023. Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. 11, e74.","short":"G. Cipolloni, L. Erdös, S.J. Henheik, O. Kolupaiev, Forum of Mathematics, Sigma 11 (2023).","mla":"Cipolloni, Giorgio, et al. “Gaussian Fluctuations in the Equipartition Principle for Wigner Matrices.” Forum of Mathematics, Sigma, vol. 11, e74, Cambridge University Press, 2023, doi:10.1017/fms.2023.70.","ama":"Cipolloni G, Erdös L, Henheik SJ, Kolupaiev O. Gaussian fluctuations in the equipartition principle for Wigner matrices. Forum of Mathematics, Sigma. 2023;11. doi:10.1017/fms.2023.70"},"volume":11,"status":"public","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_created":"2023-09-17T22:01:09Z","related_material":{"record":[{"status":"public","id":"19540","relation":"dissertation_contains"}]},"quality_controlled":"1","scopus_import":"1","department":[{"_id":"LaEr"},{"_id":"GradSch"}],"publication_identifier":{"eissn":["2050-5094"]},"isi":1,"arxiv":1,"date_published":"2023-08-23T00:00:00Z","article_number":"e74","intvolume":" 11","ec_funded":1,"ddc":["510"],"abstract":[{"lang":"eng","text":"The total energy of an eigenstate in a composite quantum system tends to be distributed equally among its constituents. We identify the quantum fluctuation around this equipartition principle in the simplest disordered quantum system consisting of linear combinations of Wigner matrices. As our main ingredient, we prove the Eigenstate Thermalisation Hypothesis and Gaussian fluctuation for general quadratic forms of the bulk eigenvectors of Wigner matrices with an arbitrary deformation."}],"article_processing_charge":"Yes","doi":"10.1017/fms.2023.70","_id":"14343","publisher":"Cambridge University Press","author":[{"last_name":"Cipolloni","id":"42198EFA-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0002-4901-7992","full_name":"Cipolloni, Giorgio","first_name":"Giorgio"},{"orcid":"0000-0001-5366-9603","full_name":"Erdös, László","first_name":"László","last_name":"Erdös","id":"4DBD5372-F248-11E8-B48F-1D18A9856A87"},{"first_name":"Sven Joscha","full_name":"Henheik, Sven Joscha","orcid":"0000-0003-1106-327X","id":"31d731d7-d235-11ea-ad11-b50331c8d7fb","last_name":"Henheik"},{"last_name":"Kolupaiev","id":"149b70d4-896a-11ed-bdf8-8c63fd44ca61","orcid":"0000-0003-1491-4623","full_name":"Kolupaiev, Oleksii","first_name":"Oleksii"}],"publication_status":"published","external_id":{"isi":["001051980200001"],"arxiv":["2301.05181"]},"day":"23","project":[{"grant_number":"101020331","call_identifier":"H2020","_id":"62796744-2b32-11ec-9570-940b20777f1d","name":"Random matrices beyond Wigner-Dyson-Mehta"}],"file_date_updated":"2023-09-20T11:09:35Z","oa_version":"Published Version","article_type":"original","oa":1,"acknowledgement":"G.C. and L.E. gratefully acknowledge many discussions with Dominik Schröder at the preliminary stage of this project, especially his essential contribution to identify the correct generalisation of traceless observables to the deformed Wigner ensembles.\r\nL.E. and J.H. acknowledges support by ERC Advanced Grant ‘RMTBeyond’ No. 101020331.","date_updated":"2026-04-07T12:37:10Z","has_accepted_license":"1","month":"08"},{"ec_funded":1,"ddc":["515","539"],"article_processing_charge":"No","abstract":[{"lang":"eng","text":"Superconductivity has many important applications ranging from levitating trains over qubits to MRI scanners. The phenomenon is successfully modeled by Bardeen-Cooper-Schrieffer (BCS) theory. From a mathematical perspective, BCS theory has been studied extensively for systems without boundary. However, little is known in the presence of boundaries. With the help of numerical methods physicists observed that the critical temperature may increase in the presence of a boundary. The goal of this thesis is to understand the influence of boundaries on the critical temperature in BCS theory and to give a first rigorous justification of these observations. On the way, we also study two-body Schrödinger operators on domains with boundaries and prove additional results for superconductors without boundary.\r\n\r\nBCS theory is based on a non-linear functional, where the minimizer indicates whether the system is superconducting or in the normal, non-superconducting state. By considering the Hessian of the BCS functional at the normal state, one can analyze whether the normal state is possibly a minimum of the BCS functional and estimate the critical temperature. The Hessian turns out to be a linear operator resembling a Schrödinger operator for two interacting particles, but with more complicated kinetic energy. As a first step, we study the two-body Schrödinger operator in the presence of boundaries.\r\nFor Neumann boundary conditions, we prove that the addition of a boundary can create new eigenvalues, which correspond to the two particles forming a bound state close to the boundary.\r\n\r\nSecond, we need to understand superconductivity in the translation invariant setting. While in three dimensions this has been extensively studied, there is no mathematical literature for the one and two dimensional cases. In dimensions one and two, we compute the weak coupling asymptotics of the critical temperature and the energy gap in the translation invariant setting. We also prove that their ratio is independent of the microscopic details of the model in the weak coupling limit; this property is referred to as universality.\r\n\r\nIn the third part, we study the critical temperature of superconductors in the presence of boundaries. We start by considering the one-dimensional case of a half-line with contact interaction. Then, we generalize the results to generic interactions and half-spaces in one, two and three dimensions. Finally, we compare the critical temperature of a quarter space in two dimensions to the critical temperatures of a half-space and of the full space."}],"doi":"10.15479/at:ista:14374","publication_status":"published","_id":"14374","author":[{"orcid":"0000-0002-9071-5880","full_name":"Roos, Barbara","first_name":"Barbara","last_name":"Roos","id":"5DA90512-D80F-11E9-8994-2E2EE6697425"}],"publisher":"Institute of Science and Technology Austria","day":"30","project":[{"_id":"25C6DC12-B435-11E9-9278-68D0E5697425","name":"Analysis of quantum many-body systems","grant_number":"694227","call_identifier":"H2020"},{"grant_number":"I06427","_id":"bda63fe5-d553-11ed-ba76-a16e3d2f256b","name":"Mathematical Challenges in BCS Theory of Superconductivity"}],"oa_version":"Published Version","file_date_updated":"2023-10-06T11:38:01Z","oa":1,"date_updated":"2026-04-07T13:27:39Z","has_accepted_license":"1","month":"09","language":[{"iso":"eng"}],"file":[{"file_id":"14398","access_level":"open_access","creator":"broos","file_name":"phd-thesis-draft_pdfa_acrobat.pdf","checksum":"ef039ffc3de2cb8dee5b14110938e9b6","relation":"main_file","file_size":2365702,"content_type":"application/pdf","date_created":"2023-10-06T11:35:56Z","date_updated":"2023-10-06T11:35:56Z"},{"date_created":"2023-10-06T11:38:01Z","date_updated":"2023-10-06T11:38:01Z","content_type":"application/x-zip-compressed","relation":"source_file","file_size":4691734,"file_name":"Version5.zip","checksum":"81dcac33daeefaf0111db52f41bb1fd0","creator":"broos","access_level":"closed","file_id":"14399"}],"title":"Boundary superconductivity in BCS theory","corr_author":"1","type":"dissertation","year":"2023","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","citation":{"mla":"Roos, Barbara. Boundary Superconductivity in BCS Theory. Institute of Science and Technology Austria, 2023, doi:10.15479/at:ista:14374.","ama":"Roos B. Boundary superconductivity in BCS theory. 2023. doi:10.15479/at:ista:14374","short":"B. Roos, Boundary Superconductivity in BCS Theory, Institute of Science and Technology Austria, 2023.","ista":"Roos B. 2023. Boundary superconductivity in BCS theory. Institute of Science and Technology Austria.","chicago":"Roos, Barbara. “Boundary Superconductivity in BCS Theory.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/at:ista:14374.","apa":"Roos, B. (2023). Boundary superconductivity in BCS theory. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:14374","ieee":"B. Roos, “Boundary superconductivity in BCS theory,” Institute of Science and Technology Austria, 2023."},"status":"public","date_created":"2023-09-28T14:23:04Z","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","image":"/images/cc_by_nc_sa.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)"},"degree_awarded":"PhD","related_material":{"record":[{"status":"public","id":"10850","relation":"part_of_dissertation"},{"id":"13207","status":"public","relation":"part_of_dissertation"}]},"OA_place":"publisher","supervisor":[{"full_name":"Seiringer, Robert","orcid":"0000-0002-6781-0521","first_name":"Robert","id":"4AFD0470-F248-11E8-B48F-1D18A9856A87","last_name":"Seiringer"}],"publication_identifier":{"issn":["2663-337X"]},"department":[{"_id":"GradSch"},{"_id":"RoSe"}],"page":"206","date_published":"2023-09-30T00:00:00Z","alternative_title":["ISTA Thesis"]},{"title":"Creation rate of Dirac particles at a point source","publication":"Journal of Physics A: Mathematical and Theoretical","corr_author":"1","language":[{"iso":"eng"}],"file":[{"checksum":"5b68de147dd4c608b71a6e0e844d2ce9","file_name":"2023_JourPhysics_Henheik.pdf","relation":"main_file","file_size":721399,"content_type":"application/pdf","date_updated":"2023-10-16T07:07:24Z","date_created":"2023-10-16T07:07:24Z","success":1,"file_id":"14429","access_level":"open_access","creator":"dernst"}],"year":"2023","issue":"44","type":"journal_article","volume":56,"status":"public","citation":{"ieee":"S. J. Henheik and R. Tumulka, “Creation rate of Dirac particles at a point source,” Journal of Physics A: Mathematical and Theoretical, vol. 56, no. 44. IOP Publishing, 2023.","apa":"Henheik, S. J., & Tumulka, R. (2023). Creation rate of Dirac particles at a point source. Journal of Physics A: Mathematical and Theoretical. IOP Publishing. https://doi.org/10.1088/1751-8121/acfe62","chicago":"Henheik, Sven Joscha, and Roderich Tumulka. “Creation Rate of Dirac Particles at a Point Source.” Journal of Physics A: Mathematical and Theoretical. IOP Publishing, 2023. https://doi.org/10.1088/1751-8121/acfe62.","ista":"Henheik SJ, Tumulka R. 2023. Creation rate of Dirac particles at a point source. Journal of Physics A: Mathematical and Theoretical. 56(44), 445201.","short":"S.J. Henheik, R. Tumulka, Journal of Physics A: Mathematical and Theoretical 56 (2023).","ama":"Henheik SJ, Tumulka R. Creation rate of Dirac particles at a point source. Journal of Physics A: Mathematical and Theoretical. 2023;56(44). doi:10.1088/1751-8121/acfe62","mla":"Henheik, Sven Joscha, and Roderich Tumulka. “Creation Rate of Dirac Particles at a Point Source.” Journal of Physics A: Mathematical and Theoretical, vol. 56, no. 44, 445201, IOP Publishing, 2023, doi:10.1088/1751-8121/acfe62."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","related_material":{"record":[{"relation":"dissertation_contains","id":"19540","status":"public"}]},"scopus_import":"1","quality_controlled":"1","date_created":"2023-10-12T12:42:53Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"department":[{"_id":"GradSch"},{"_id":"LaEr"}],"publication_identifier":{"issn":["1751-8113"],"eissn":["1751-8121"]},"isi":1,"article_number":"445201","date_published":"2023-10-11T00:00:00Z","arxiv":1,"intvolume":" 56","ec_funded":1,"ddc":["510"],"article_processing_charge":"Yes (via OA deal)","abstract":[{"text":"Only recently has it been possible to construct a self-adjoint Hamiltonian that involves the creation of Dirac particles at a point source in 3d space. Its definition makes use of an interior-boundary condition. Here, we develop for this Hamiltonian a corresponding theory of the Bohmian configuration. That is, we (non-rigorously) construct a Markov jump process $(Q_t)_{t\\in\\mathbb{R}}$ in the configuration space of a variable number of particles that is $|\\psi_t|^2$-distributed at every time t and follows Bohmian trajectories between the jumps. The jumps correspond to particle creation or annihilation events and occur either to or from a configuration with a particle located at the source. The process is the natural analog of Bell's jump process, and a central piece in its construction is the determination of the rate of particle creation. The construction requires an analysis of the asymptotic behavior of the Bohmian trajectories near the source. We find that the particle reaches the source with radial speed 0, but orbits around the source infinitely many times in finite time before absorption (or after emission).","lang":"eng"}],"doi":"10.1088/1751-8121/acfe62","day":"11","project":[{"grant_number":"101020331","call_identifier":"H2020","_id":"62796744-2b32-11ec-9570-940b20777f1d","name":"Random matrices beyond Wigner-Dyson-Mehta"}],"_id":"14421","external_id":{"arxiv":["2211.16606"],"isi":["001080908000001"]},"author":[{"last_name":"Henheik","id":"31d731d7-d235-11ea-ad11-b50331c8d7fb","orcid":"0000-0003-1106-327X","full_name":"Henheik, Sven Joscha","first_name":"Sven Joscha"},{"first_name":"Roderich","full_name":"Tumulka, Roderich","last_name":"Tumulka"}],"publication_status":"published","publisher":"IOP Publishing","oa_version":"Published Version","file_date_updated":"2023-10-16T07:07:24Z","article_type":"original","oa":1,"acknowledgement":"J H gratefully acknowledges partial financial support by the ERC Advanced Grant 'RMTBeyond' No. 101020331.","month":"10","date_updated":"2026-04-07T12:37:10Z","has_accepted_license":"1"},{"acknowledgement":"F.S., J.H., and B.C. thank the Swiss National Supercomputing Centre (CSCS) for the generous allocation of CPU hours via production project s1108 at the Piz Daint supercomputer. B.C. acknowledges resources provided by the Cambridge Tier-2 system operated by the University of Cambridge Research Computing Service funded by EPSRC Tier-2 capital grant EP/P020259/1. J.C. acknowledges the Beijing Natural Science Foundation for support under grant No. JQ22001. F.S., and J.H. thank the Swiss Platform for Advanced Scientific Computing (PASC) via the 2021-2024 “Ab Initio Molecular Dynamics at the Exa-Scale” project. 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 101034413.","month":"10","date_updated":"2025-04-14T07:54:53Z","has_accepted_license":"1","oa_version":"Published Version","file_date_updated":"2023-10-16T07:34:49Z","article_type":"original","oa":1,"abstract":[{"lang":"eng","text":"Water adsorption and dissociation processes on pristine low-index TiO2 interfaces are important but poorly understood outside the well-studied anatase (101) and rutile (110). To understand these, we construct three sets of machine learning potentials that are simultaneously applicable to various TiO2 surfaces, based on three density-functional-theory approximations. Here we show the water dissociation free energies on seven pristine TiO2 surfaces, and predict that anatase (100), anatase (110), rutile (001), and rutile (011) favor water dissociation, anatase (101) and rutile (100) have mostly molecular adsorption, while the simulations of rutile (110) sensitively depend on the slab thickness and molecular adsorption is preferred with thick slabs. Moreover, using an automated algorithm, we reveal that these surfaces follow different types of atomistic mechanisms for proton transfer and water dissociation: one-step, two-step, or both. These mechanisms can be rationalized based on the arrangements of water molecules on the different surfaces. Our finding thus demonstrates that the different pristine TiO2 surfaces react with water in distinct ways, and cannot be represented using just the low-energy anatase (101) and rutile (110) surfaces."}],"article_processing_charge":"Yes","doi":"10.1038/s41467-023-41865-8","day":"02","project":[{"call_identifier":"H2020","grant_number":"101034413","name":"IST-BRIDGE: International postdoctoral program","_id":"fc2ed2f7-9c52-11eb-aca3-c01059dda49c"}],"external_id":{"arxiv":["2303.07433"],"isi":["001084354900008"],"pmid":["37783698"]},"_id":"14425","publication_status":"published","author":[{"full_name":"Zeng, Zezhu","first_name":"Zezhu","id":"54a2c730-803f-11ed-ab7e-95b29d2680e7","last_name":"Zeng"},{"id":"8b4b6a9f-32b0-11ee-9fa8-bbe85e26258e","last_name":"Wodaczek","first_name":"Felix","full_name":"Wodaczek, Felix","orcid":"0009-0000-1457-795X"},{"last_name":"Liu","first_name":"Keyang","full_name":"Liu, Keyang"},{"first_name":"Frederick","full_name":"Stein, Frederick","last_name":"Stein"},{"first_name":"Jürg","full_name":"Hutter, Jürg","last_name":"Hutter"},{"last_name":"Chen","first_name":"Ji","full_name":"Chen, Ji"},{"last_name":"Cheng","id":"cbe3cda4-d82c-11eb-8dc7-8ff94289fcc9","orcid":"0000-0002-3584-9632","full_name":"Cheng, Bingqing","first_name":"Bingqing"}],"publisher":"Springer Nature","ec_funded":1,"ddc":["540","000"],"date_published":"2023-10-02T00:00:00Z","article_number":"6131","arxiv":1,"intvolume":" 14","department":[{"_id":"BiCh"},{"_id":"GradSch"}],"publication_identifier":{"eissn":["2041-1723"]},"isi":1,"volume":14,"status":"public","citation":{"short":"Z. Zeng, F. Wodaczek, K. Liu, F. Stein, J. Hutter, J. Chen, B. Cheng, Nature Communications 14 (2023).","ista":"Zeng Z, Wodaczek F, Liu K, Stein F, Hutter J, Chen J, Cheng B. 2023. Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. Nature Communications. 14, 6131.","mla":"Zeng, Zezhu, et al. “Mechanistic Insight on Water Dissociation on Pristine Low-Index TiO2 Surfaces from Machine Learning Molecular Dynamics Simulations.” Nature Communications, vol. 14, 6131, Springer Nature, 2023, doi:10.1038/s41467-023-41865-8.","ama":"Zeng Z, Wodaczek F, Liu K, et al. Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. Nature Communications. 2023;14. doi:10.1038/s41467-023-41865-8","apa":"Zeng, Z., Wodaczek, F., Liu, K., Stein, F., Hutter, J., Chen, J., & Cheng, B. (2023). Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations. Nature Communications. Springer Nature. https://doi.org/10.1038/s41467-023-41865-8","ieee":"Z. Zeng et al., “Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations,” Nature Communications, vol. 14. Springer Nature, 2023.","chicago":"Zeng, Zezhu, Felix Wodaczek, Keyang Liu, Frederick Stein, Jürg Hutter, Ji Chen, and Bingqing Cheng. “Mechanistic Insight on Water Dissociation on Pristine Low-Index TiO2 Surfaces from Machine Learning Molecular Dynamics Simulations.” Nature Communications. Springer Nature, 2023. https://doi.org/10.1038/s41467-023-41865-8."},"user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","related_material":{"link":[{"relation":"software","url":"https://github.com/BingqingCheng/TiO2-water"}]},"quality_controlled":"1","scopus_import":"1","date_created":"2023-10-15T22:01:10Z","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"title":"Mechanistic insight on water dissociation on pristine low-index TiO2 surfaces from machine learning molecular dynamics simulations","publication":"Nature Communications","corr_author":"1","language":[{"iso":"eng"}],"file":[{"creator":"dernst","success":1,"access_level":"open_access","file_id":"14432","content_type":"application/pdf","date_created":"2023-10-16T07:34:49Z","date_updated":"2023-10-16T07:34:49Z","file_name":"2023_NatureComm_Zeng.pdf","checksum":"7d1dffd36b672ec679f08f70ce79da87","file_size":3194116,"relation":"main_file"}],"pmid":1,"year":"2023","type":"journal_article"},{"acknowledgement":"E.M. acknowledges funding from the ISTplus fellowship programme. G.Y. and B.H. acknowledge a grant from the Simons Foundation (662960, BH).","month":"11","date_updated":"2026-04-07T11:47:05Z","has_accepted_license":"1","file_date_updated":"2024-02-15T09:05:21Z","oa_version":"Published Version","keyword":["turbulence","transition to turbulence","patterns"],"oa":1,"article_type":"original","article_processing_charge":"Yes (via OA deal)","abstract":[{"text":"The first long-lived turbulent structures observable in planar shear flows take the form of localized stripes, inclined with respect to the mean flow direction. The dynamics of these stripes is central to transition, and recent studies proposed an analogy to directed percolation where the stripes’ proliferation is ultimately responsible for the turbulence becoming sustained. In the present study we focus on the internal stripe dynamics as well as on the eventual stripe expansion, and we compare the underlying mechanisms in pressure- and shear-driven planar flows, respectively, plane-Poiseuille and plane-Couette flow. Despite the similarities of the overall laminar–turbulence patterns, the stripe proliferation processes in the two cases are fundamentally different. Starting from the growth and sustenance of individual stripes, we find that in plane-Couette flow new streaks are created stochastically throughout the stripe whereas in plane-Poiseuille flow streak creation is deterministic and occurs locally at the downstream tip. Because of the up/downstream symmetry, Couette stripes, in contrast to Poiseuille stripes, have two weak and two strong laminar turbulent interfaces. These differences in symmetry as well as in internal growth give rise to two fundamentally different stripe splitting mechanisms. In plane-Poiseuille flow splitting is connected to the elongational growth of the original stripe, and it results from a break-off/shedding of the stripe's tail. In plane-Couette flow splitting follows from a broadening of the original stripe and a division along the stripe into two slimmer stripes.","lang":"eng"}],"doi":"10.1017/jfm.2023.780","day":"10","project":[{"_id":"238598C6-32DE-11EA-91FC-C7463DDC885E","name":"Revisiting the Turbulence Problem Using Statistical Mechanics","grant_number":"662960"}],"author":[{"first_name":"Elena","full_name":"Marensi, Elena","orcid":"0000-0001-7173-4923","id":"0BE7553A-1004-11EA-B805-18983DDC885E","last_name":"Marensi"},{"last_name":"Yalniz","id":"66E74FA2-D8BF-11E9-8249-8DE2E5697425","orcid":"0000-0002-8490-9312","full_name":"Yalniz, Gökhan","first_name":"Gökhan"},{"orcid":"0000-0003-2057-2754","full_name":"Hof, Björn","first_name":"Björn","last_name":"Hof","id":"3A374330-F248-11E8-B48F-1D18A9856A87"}],"_id":"14466","publisher":"Cambridge University Press","publication_status":"published","external_id":{"arxiv":["2212.12406"],"isi":["001088363700001"]},"ddc":["530"],"article_number":"A21","date_published":"2023-11-10T00:00:00Z","arxiv":1,"intvolume":" 974","department":[{"_id":"GradSch"},{"_id":"BjHo"}],"publication_identifier":{"eissn":["1469-7645"],"issn":["0022-1120"]},"isi":1,"volume":974,"status":"public","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"apa":"Marensi, E., Yalniz, G., & Hof, B. (2023). Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. Cambridge University Press. https://doi.org/10.1017/jfm.2023.780","ieee":"E. Marensi, G. Yalniz, and B. Hof, “Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows,” Journal of Fluid Mechanics, vol. 974. Cambridge University Press, 2023.","chicago":"Marensi, Elena, Gökhan Yalniz, and Björn Hof. “Dynamics and Proliferation of Turbulent Stripes in Plane-Poiseuille and Plane-Couette Flows.” Journal of Fluid Mechanics. Cambridge University Press, 2023. https://doi.org/10.1017/jfm.2023.780.","short":"E. Marensi, G. Yalniz, B. Hof, Journal of Fluid Mechanics 974 (2023).","ista":"Marensi E, Yalniz G, Hof B. 2023. Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. 974, A21.","mla":"Marensi, Elena, et al. “Dynamics and Proliferation of Turbulent Stripes in Plane-Poiseuille and Plane-Couette Flows.” Journal of Fluid Mechanics, vol. 974, A21, Cambridge University Press, 2023, doi:10.1017/jfm.2023.780.","ama":"Marensi E, Yalniz G, Hof B. Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows. Journal of Fluid Mechanics. 2023;974. doi:10.1017/jfm.2023.780"},"related_material":{"record":[{"id":"19684","status":"public","relation":"dissertation_contains"}]},"quality_controlled":"1","scopus_import":"1","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_created":"2023-10-30T09:32:28Z","title":"Dynamics and proliferation of turbulent stripes in plane-Poiseuille and plane-Couette flows","publication":"Journal of Fluid Mechanics","corr_author":"1","language":[{"iso":"eng"}],"file":[{"relation":"main_file","file_size":2804641,"checksum":"17c64c1fb0d5f73252364bf98b0b9e1a","file_name":"2023_JourFluidMechanics_Marensi.pdf","date_updated":"2024-02-15T09:05:21Z","date_created":"2024-02-15T09:05:21Z","content_type":"application/pdf","access_level":"open_access","file_id":"14996","success":1,"creator":"dernst"}],"year":"2023","type":"journal_article"},{"publication_identifier":{"isbn":["9783959773010"],"issn":["1868-8969"]},"department":[{"_id":"GradSch"}],"intvolume":" 281","alternative_title":["LIPIcs"],"article_number":"35","date_published":"2023-10-01T00:00:00Z","year":"2023","type":"conference","file":[{"date_created":"2023-11-06T11:45:21Z","date_updated":"2023-11-06T11:45:21Z","content_type":"application/pdf","file_size":646665,"relation":"main_file","file_name":"2023_LIPIcs_Aksenov.pdf","checksum":"d9f8d2915cccdf2df5905b7cd1b4a560","creator":"dernst","file_id":"14492","access_level":"open_access","success":1}],"language":[{"iso":"eng"}],"corr_author":"1","publication":"37th International Symposium on Distributed Computing","title":"Brief announcement: BatchBoost: Universal batching for concurrent data structures","tmp":{"name":"Creative Commons Attribution 4.0 International Public License (CC-BY 4.0)","image":"/images/cc_by.png","short":"CC BY (4.0)","legal_code_url":"https://creativecommons.org/licenses/by/4.0/legalcode"},"date_created":"2023-11-05T23:00:53Z","quality_controlled":"1","scopus_import":"1","user_id":"2DF688A6-F248-11E8-B48F-1D18A9856A87","citation":{"apa":"Aksenov, V., Anoprenko, M., Fedorov, A., & Spear, M. (2023). Brief announcement: BatchBoost: Universal batching for concurrent data structures. In 37th International Symposium on Distributed Computing (Vol. 281). L’Aquila, Italy: Schloss Dagstuhl - Leibniz-Zentrum für Informatik. https://doi.org/10.4230/LIPIcs.DISC.2023.35","ieee":"V. Aksenov, M. Anoprenko, A. Fedorov, and M. Spear, “Brief announcement: BatchBoost: Universal batching for concurrent data structures,” in 37th International Symposium on Distributed Computing, L’Aquila, Italy, 2023, vol. 281.","chicago":"Aksenov, Vitaly, Michael Anoprenko, Alexander Fedorov, and Michael Spear. “Brief Announcement: BatchBoost: Universal Batching for Concurrent Data Structures.” In 37th International Symposium on Distributed Computing, Vol. 281. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023. https://doi.org/10.4230/LIPIcs.DISC.2023.35.","short":"V. Aksenov, M. Anoprenko, A. Fedorov, M. Spear, in:, 37th International Symposium on Distributed Computing, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023.","ista":"Aksenov V, Anoprenko M, Fedorov A, Spear M. 2023. Brief announcement: BatchBoost: Universal batching for concurrent data structures. 37th International Symposium on Distributed Computing. DISC: Symposium on Distributed Computing, LIPIcs, vol. 281, 35.","mla":"Aksenov, Vitaly, et al. “Brief Announcement: BatchBoost: Universal Batching for Concurrent Data Structures.” 37th International Symposium on Distributed Computing, vol. 281, 35, Schloss Dagstuhl - Leibniz-Zentrum für Informatik, 2023, doi:10.4230/LIPIcs.DISC.2023.35.","ama":"Aksenov V, Anoprenko M, Fedorov A, Spear M. Brief announcement: BatchBoost: Universal batching for concurrent data structures. In: 37th International Symposium on Distributed Computing. Vol 281. Schloss Dagstuhl - Leibniz-Zentrum für Informatik; 2023. doi:10.4230/LIPIcs.DISC.2023.35"},"status":"public","volume":281,"oa":1,"oa_version":"Published Version","file_date_updated":"2023-11-06T11:45:21Z","has_accepted_license":"1","date_updated":"2024-10-09T21:07:14Z","month":"10","ddc":["000"],"publication_status":"published","_id":"14485","publisher":"Schloss Dagstuhl - Leibniz-Zentrum für Informatik","author":[{"last_name":"Aksenov","first_name":"Vitaly","full_name":"Aksenov, Vitaly"},{"last_name":"Anoprenko","first_name":"Michael","full_name":"Anoprenko, Michael"},{"first_name":"Alexander","full_name":"Fedorov, Alexander","last_name":"Fedorov","id":"2e711909-896a-11ed-bdf8-eb0f5a2984c6"},{"full_name":"Spear, Michael","first_name":"Michael","last_name":"Spear"}],"conference":{"end_date":"2023-10-13","name":"DISC: Symposium on Distributed Computing","start_date":"2023-10-09","location":"L'Aquila, Italy"},"day":"01","doi":"10.4230/LIPIcs.DISC.2023.35","article_processing_charge":"Yes","abstract":[{"text":"Batching is a technique that stores multiple keys/values in each node of a data structure. In sequential search data structures, batching reduces latency by reducing the number of cache misses and shortening the chain of pointers to dereference. Applying batching to concurrent data structures is challenging, because it is difficult to maintain the search property and keep contention low in the presence of batching.\r\nIn this paper, we present a general methodology for leveraging batching in concurrent search data structures, called BatchBoost. BatchBoost builds a search data structure from distinct \"data\" and \"index\" layers. The data layer’s purpose is to store a batch of key/value pairs in each of its nodes. The index layer uses an unmodified concurrent search data structure to route operations to a position in the data layer that is \"close\" to where the corresponding key should exist. The requirements on the index and data layers are low: with minimal effort, we were able to compose three highly scalable concurrent search data structures based on three original data structures as the index layers with a batched version of the Lazy List as the data layer. The resulting BatchBoost data structures provide significant performance improvements over their original counterparts.","lang":"eng"}]},{"file":[{"creator":"cchlebak","file_id":"14598","access_level":"closed","content_type":"application/x-zip-compressed","date_updated":"2023-11-23T10:29:55Z","date_created":"2023-11-23T10:29:55Z","checksum":"521c72818d720a52b377207b2ee87b6a","file_name":"thesis_yeo.zip","relation":"source_file","file_size":3037720},{"file_name":"thesis_yeo.pdf","checksum":"0ed5d16899687aecf13d843c9878c9f2","file_size":2717256,"relation":"main_file","content_type":"application/pdf","date_created":"2023-11-23T10:30:08Z","date_updated":"2023-11-23T10:30:08Z","success":1,"access_level":"open_access","file_id":"14599","creator":"cchlebak"}],"language":[{"iso":"eng"}],"corr_author":"1","title":"Advances in efficiency and privacy in payment channel network analysis","year":"2023","type":"dissertation","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","citation":{"mla":"Yeo, Michelle X. Advances in Efficiency and Privacy in Payment Channel Network Analysis. Institute of Science and Technology Austria, 2023, doi:10.15479/14506.","ama":"Yeo MX. Advances in efficiency and privacy in payment channel network analysis. 2023. doi:10.15479/14506","ista":"Yeo MX. 2023. Advances in efficiency and privacy in payment channel network analysis. Institute of Science and Technology Austria.","short":"M.X. Yeo, Advances in Efficiency and Privacy in Payment Channel Network Analysis, Institute of Science and Technology Austria, 2023.","chicago":"Yeo, Michelle X. “Advances in Efficiency and Privacy in Payment Channel Network Analysis.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14506.","apa":"Yeo, M. X. (2023). Advances in efficiency and privacy in payment channel network analysis. Institute of Science and Technology Austria. https://doi.org/10.15479/14506","ieee":"M. X. Yeo, “Advances in efficiency and privacy in payment channel network analysis,” Institute of Science and Technology Austria, 2023."},"status":"public","date_created":"2023-11-10T08:10:43Z","related_material":{"record":[{"status":"deleted","id":"13238","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","status":"public","id":"9969"},{"relation":"part_of_dissertation","id":"14490","status":"public"}]},"degree_awarded":"PhD","OA_place":"publisher","department":[{"_id":"GradSch"},{"_id":"KrPi"}],"publication_identifier":{"issn":["2663-337X"]},"supervisor":[{"id":"3E04A7AA-F248-11E8-B48F-1D18A9856A87","last_name":"Pietrzak","first_name":"Krzysztof Z","full_name":"Pietrzak, Krzysztof Z","orcid":"0000-0002-9139-1654"}],"page":"162","alternative_title":["ISTA Thesis"],"date_published":"2023-11-10T00:00:00Z","ec_funded":1,"ddc":["000"],"doi":"10.15479/14506","article_processing_charge":"No","abstract":[{"text":"Payment channel networks are a promising approach to improve the scalability bottleneck\r\nof cryptocurrencies. Two design principles behind payment channel networks are\r\nefficiency and privacy. Payment channel networks improve efficiency by allowing users\r\nto transact in a peer-to-peer fashion along multi-hop routes in the network, avoiding\r\nthe lengthy process of consensus on the blockchain. Transacting over payment channel\r\nnetworks also improves privacy as these transactions are not broadcast to the blockchain.\r\nDespite the influx of recent protocols built on top of payment channel networks and\r\ntheir analysis, a common shortcoming of many of these protocols is that they typically\r\nfocus only on either improving efficiency or privacy, but not both. Another limitation\r\non the efficiency front is that the models used to model actions, costs and utilities of\r\nusers are limited or come with unrealistic assumptions.\r\nThis thesis aims to address some of the shortcomings of recent protocols and algorithms\r\non payment channel networks, particularly in their privacy and efficiency aspects. We\r\nfirst present a payment route discovery protocol based on hub labelling and private\r\ninformation retrieval that hides the route query and is also efficient. We then present\r\na rebalancing protocol that formulates the rebalancing problem as a linear program\r\nand solves the linear program using multiparty computation so as to hide the channel\r\nbalances. The rebalancing solution as output by our protocol is also globally optimal.\r\nWe go on to develop more realistic models of the action space, costs, and utilities of\r\nboth existing and new users that want to join the network. In each of these settings,\r\nwe also develop algorithms to optimise the utility of these users with good guarantees\r\non the approximation and competitive ratios.","lang":"eng"}],"publication_status":"published","_id":"14506","author":[{"last_name":"Yeo","id":"2D82B818-F248-11E8-B48F-1D18A9856A87","first_name":"Michelle X","orcid":"0009-0001-3676-4809","full_name":"Yeo, Michelle X"}],"publisher":"Institute of Science and Technology Austria","project":[{"_id":"2564DBCA-B435-11E9-9278-68D0E5697425","name":"International IST Doctoral Program","grant_number":"665385","call_identifier":"H2020"}],"day":"10","file_date_updated":"2023-11-23T10:30:08Z","oa_version":"Published Version","oa":1,"has_accepted_license":"1","date_updated":"2026-04-07T13:29:45Z","month":"11"},{"month":"11","has_accepted_license":"1","date_updated":"2026-04-07T13:29:13Z","oa":1,"oa_version":"Updated Version","keyword":["Synchronization","Collective Movement","Active Matter","Cell Migration","Active Colloids"],"file_date_updated":"2023-11-15T09:52:54Z","day":"16","_id":"14530","publisher":"Institute of Science and Technology Austria","publication_status":"published","author":[{"last_name":"Riedl","id":"3BE60946-F248-11E8-B48F-1D18A9856A87","orcid":"0000-0003-4844-6311","full_name":"Riedl, Michael","first_name":"Michael"}],"doi":"10.15479/14530","article_processing_charge":"No","abstract":[{"lang":"eng","text":"Most motions of many-body systems at any scale in nature with sufficient degrees of freedom tend to be chaotic; reaching from the orbital motion of planets, the air currents in our atmosphere, down to the water flowing through our pipelines or the movement of a population of bacteria. To the observer it is therefore intriguing when a moving collective exhibits order. Collective motion of flocks of birds, schools of fish or swarms of self-propelled particles or robots have been studied extensively over the past decades but the mechanisms involved in the transition from chaos to order remain unclear. Here, the interactions, that in most systems give rise to chaos, sustain order. In this thesis we investigate mechanisms that preserve, destabilize or lead to the ordered state. We show that endothelial cells migrating in circular confinements transition to a collective rotating state and concomitantly synchronize the frequencies of nucleating actin waves within individual cells. Consequently, the frequency dependent cell migration speed uniformizes across the population. Complementary to the WAVE dependent nucleation of traveling actin waves, we show that in leukocytes the actin polymerization depending on WASp generates pushing forces locally at stationary patches. Next, in pipe flows, we study methods to disrupt the self--sustaining cycle of turbulence and therefore relaminarize the flow. While we find in pulsating flow conditions that turbulence emerges through a helical instability during the decelerating phase. Finally, we show quantitatively in brain slices of mice that wild-type control neurons can compensate the migratory deficits of a genetically modified neuronal sub--population in the developing cortex. "}],"ddc":["530","570"],"alternative_title":["ISTA Thesis"],"date_published":"2023-11-16T00:00:00Z","page":"260","supervisor":[{"orcid":"0000-0003-2057-2754","full_name":"Hof, Björn","first_name":"Björn","last_name":"Hof","id":"3A374330-F248-11E8-B48F-1D18A9856A87"}],"publication_identifier":{"issn":["2663-337X"]},"department":[{"_id":"GradSch"},{"_id":"MiSi"}],"acknowledged_ssus":[{"_id":"M-Shop"},{"_id":"Bio"}],"OA_place":"publisher","related_material":{"record":[{"relation":"part_of_dissertation","id":"461","status":"public"},{"relation":"part_of_dissertation","status":"public","id":"10791"},{"id":"7932","status":"public","relation":"part_of_dissertation"},{"status":"public","id":"10703","relation":"part_of_dissertation"},{"status":"public","id":"12726","relation":"old_edition"}]},"degree_awarded":"PhD","date_created":"2023-11-15T09:59:03Z","status":"public","citation":{"chicago":"Riedl, Michael. “Synchronization in Collectively Moving Active Matter.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14530.","apa":"Riedl, M. (2023). Synchronization in collectively moving active matter. Institute of Science and Technology Austria. https://doi.org/10.15479/14530","ieee":"M. Riedl, “Synchronization in collectively moving active matter,” Institute of Science and Technology Austria, 2023.","mla":"Riedl, Michael. Synchronization in Collectively Moving Active Matter. Institute of Science and Technology Austria, 2023, doi:10.15479/14530.","ama":"Riedl M. Synchronization in collectively moving active matter. 2023. doi:10.15479/14530","ista":"Riedl M. 2023. Synchronization in collectively moving active matter. Institute of Science and Technology Austria.","short":"M. Riedl, Synchronization in Collectively Moving Active Matter, Institute of Science and Technology Austria, 2023."},"user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","type":"dissertation","year":"2023","corr_author":"1","title":"Synchronization in collectively moving active matter","file":[{"relation":"main_file","file_size":36743942,"checksum":"52e1d0ab6c1abe59c82dfe8c9ff5f83a","file_name":"Thesis_Riedl_2023_corr.pdf","date_updated":"2023-11-15T09:52:54Z","date_created":"2023-11-15T09:52:54Z","content_type":"application/pdf","file_id":"14536","access_level":"open_access","success":1,"creator":"mriedl"}],"language":[{"iso":"eng"}]},{"ddc":["000"],"ec_funded":1,"publication_status":"published","_id":"14539","author":[{"last_name":"Zikelic","id":"294AA7A6-F248-11E8-B48F-1D18A9856A87","first_name":"Dorde","orcid":"0000-0002-4681-1699","full_name":"Zikelic, Dorde"}],"publisher":"Institute of Science and Technology Austria","day":"15","project":[{"grant_number":"863818","call_identifier":"H2020","name":"Formal Methods for Stochastic Models: Algorithms and Applications","_id":"0599E47C-7A3F-11EA-A408-12923DDC885E"},{"name":"International IST Doctoral Program","_id":"2564DBCA-B435-11E9-9278-68D0E5697425","call_identifier":"H2020","grant_number":"665385"}],"article_processing_charge":"No","abstract":[{"lang":"eng","text":"Stochastic systems provide a formal framework for modelling and quantifying uncertainty in systems and have been widely adopted in many application domains. Formal\r\nverification and control of finite state stochastic systems, a subfield of formal methods\r\nalso known as probabilistic model checking, is well studied. In contrast, formal verification and control of infinite state stochastic systems have received comparatively\r\nless attention. However, infinite state stochastic systems commonly arise in practice.\r\nFor instance, probabilistic models that contain continuous probability distributions such\r\nas normal or uniform, or stochastic dynamical systems which are a classical model for\r\ncontrol under uncertainty, both give rise to infinite state systems.\r\nThe goal of this thesis is to contribute to laying theoretical and algorithmic foundations\r\nof fully automated formal verification and control of infinite state stochastic systems,\r\nwith a particular focus on systems that may be executed over a long or infinite time.\r\nWe consider formal verification of infinite state stochastic systems in the setting of\r\nstatic analysis of probabilistic programs and formal control in the setting of controller\r\nsynthesis in stochastic dynamical systems. For both problems, we present some of the\r\nfirst fully automated methods for probabilistic (a.k.a. quantitative) reachability and\r\nsafety analysis applicable to infinite time horizon systems. We also advance the state\r\nof the art of probability 1 (a.k.a. qualitative) reachability analysis for both problems.\r\nFinally, for formal controller synthesis in stochastic dynamical systems, we present a\r\nnovel framework for learning neural network control policies in stochastic dynamical\r\nsystems with formal guarantees on correctness with respect to quantitative reachability,\r\nsafety or reach-avoid specifications.\r\n"}],"doi":"10.15479/14539","oa":1,"oa_version":"Published Version","file_date_updated":"2023-11-15T13:44:24Z","date_updated":"2026-04-07T13:27:56Z","month":"11","type":"dissertation","year":"2023","language":[{"iso":"eng"}],"file":[{"file_id":"14540","access_level":"open_access","success":1,"creator":"cchlebak","file_size":2116426,"relation":"main_file","checksum":"f23e002b0059ca78e1fbb864da52dd7e","file_name":"main.pdf","date_updated":"2023-11-15T13:43:28Z","date_created":"2023-11-15T13:43:28Z","content_type":"application/pdf"},{"file_name":"thesis_source.zip","checksum":"80ca37618a3c7b59866875f8be9b15ed","relation":"source_file","file_size":35884057,"content_type":"application/x-zip-compressed","date_created":"2023-11-15T13:44:24Z","date_updated":"2023-11-15T13:44:24Z","file_id":"14541","access_level":"closed","creator":"cchlebak"}],"title":"Automated verification and control of infinite state stochastic systems","corr_author":"1","date_created":"2023-11-15T13:39:10Z","tmp":{"name":"Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0)","image":"/images/cc_by_nc_sa.png","legal_code_url":"https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode","short":"CC BY-NC-SA (4.0)"},"related_material":{"record":[{"id":"10414","status":"public","relation":"part_of_dissertation"},{"status":"public","id":"12000","relation":"part_of_dissertation"},{"id":"9644","status":"public","relation":"part_of_dissertation"},{"relation":"part_of_dissertation","id":"12511","status":"public"},{"relation":"part_of_dissertation","id":"14600","status":"public"},{"relation":"part_of_dissertation","status":"public","id":"14601"},{"status":"public","id":"1194","relation":"part_of_dissertation"}]},"degree_awarded":"PhD","user_id":"ba8df636-2132-11f1-aed0-ed93e2281fdd","citation":{"ieee":"D. Zikelic, “Automated verification and control of infinite state stochastic systems,” Institute of Science and Technology Austria, 2023.","apa":"Zikelic, D. (2023). Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria. https://doi.org/10.15479/14539","chicago":"Zikelic, Dorde. “Automated Verification and Control of Infinite State Stochastic Systems.” Institute of Science and Technology Austria, 2023. https://doi.org/10.15479/14539.","short":"D. Zikelic, Automated Verification and Control of Infinite State Stochastic Systems, Institute of Science and Technology Austria, 2023.","ista":"Zikelic D. 2023. Automated verification and control of infinite state stochastic systems. Institute of Science and Technology Austria.","ama":"Zikelic D. Automated verification and control of infinite state stochastic systems. 2023. doi:10.15479/14539","mla":"Zikelic, Dorde. Automated Verification and Control of Infinite State Stochastic Systems. Institute of Science and Technology Austria, 2023, doi:10.15479/14539."},"status":"public","department":[{"_id":"KrCh"},{"_id":"GradSch"}],"publication_identifier":{"issn":["2663-337X"],"isbn":["978-3-99078-036-7"]},"supervisor":[{"first_name":"Krishnendu","orcid":"0000-0002-4561-241X","full_name":"Chatterjee, Krishnendu","last_name":"Chatterjee","id":"2E5DCA20-F248-11E8-B48F-1D18A9856A87"}],"OA_place":"publisher","page":"256","date_published":"2023-11-15T00:00:00Z","alternative_title":["ISTA Thesis"]}]