--- OA_place: repository OA_type: green _id: '17047' abstract: - lang: eng text: We provide a dynamical study of a model of multiplicative perturbation of a unitary matrix introduced by Fyodorov. In particular, we identify a flow of deterministic domains that bound the spectrum with high probability, separating the outlier from the typical eigenvalues at all sub-critical timescales. These results are obtained under generic assumptions on U that hold for a variety of unitary random matrix models. article_number: '2450007' article_processing_charge: No article_type: original arxiv: 1 author: - first_name: Guillaume full_name: Dubach, Guillaume id: D5C6A458-10C4-11EA-ABF4-A4B43DDC885E last_name: Dubach orcid: 0000-0001-6892-8137 - first_name: Jana full_name: Reker, Jana id: e796e4f9-dc8d-11ea-abe3-97e26a0323e9 last_name: Reker citation: ama: 'Dubach G, Reker J. Dynamics of a rank-one multiplicative perturbation of a unitary matrix. Random Matrices: Theory and Applications. 2024;13(2). doi:10.1142/s2010326324500072' apa: 'Dubach, G., & Reker, J. (2024). Dynamics of a rank-one multiplicative perturbation of a unitary matrix. Random Matrices: Theory and Applications. World Scientific Publishing. https://doi.org/10.1142/s2010326324500072' chicago: 'Dubach, Guillaume, and Jana Reker. “Dynamics of a Rank-One Multiplicative Perturbation of a Unitary Matrix.” Random Matrices: Theory and Applications. World Scientific Publishing, 2024. https://doi.org/10.1142/s2010326324500072.' ieee: 'G. Dubach and J. Reker, “Dynamics of a rank-one multiplicative perturbation of a unitary matrix,” Random Matrices: Theory and Applications, vol. 13, no. 2. World Scientific Publishing, 2024.' ista: 'Dubach G, Reker J. 2024. Dynamics of a rank-one multiplicative perturbation of a unitary matrix. Random Matrices: Theory and Applications. 13(2), 2450007.' mla: 'Dubach, Guillaume, and Jana Reker. “Dynamics of a Rank-One Multiplicative Perturbation of a Unitary Matrix.” Random Matrices: Theory and Applications, vol. 13, no. 2, 2450007, World Scientific Publishing, 2024, doi:10.1142/s2010326324500072.' short: 'G. Dubach, J. Reker, Random Matrices: Theory and Applications 13 (2024).' corr_author: '1' das_tickbox: '0' date_created: 2024-05-23T08:31:57Z date_published: 2024-04-01T00:00:00Z date_updated: 2026-10-02T11:31:29Z day: '01' department: - _id: GradSch - _id: LaEr doi: 10.1142/s2010326324500072 ec_funded: 1 external_id: arxiv: - '2212.14638' isi: - '001229295200002' fulldoi: https://doi.org/10.1142/s2010326324500072 intvolume: ' 13' isi: 1 issue: '2' language: - iso: eng main_file_link: - open_access: '1' url: ' https://doi.org/10.48550/arXiv.2212.14638' month: '04' oa: 1 oa_version: Preprint project: - _id: 62796744-2b32-11ec-9570-940b20777f1d call_identifier: H2020 grant_number: '101020331' name: Random matrices beyond Wigner-Dyson-Mehta publication: 'Random Matrices: Theory and Applications' publication_identifier: eissn: - 2010-3271 issn: - 2010-3263 publication_status: published publisher: World Scientific Publishing quality_controlled: '1' related_material: record: - id: '17164' relation: dissertation_contains status: public researchdata_availability: unclear scopus_import: '1' status: public supplementarymaterial: unclear title: Dynamics of a rank-one multiplicative perturbation of a unitary matrix type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 13 year: '2024' ... --- OA_place: publisher _id: '18568' abstract: - lang: eng text: "Locomotion is ubiquitous in the animal kingdom because an animal's survival depends on its ability to navigate its environment to find food, avoid predators and locate potential mates. These behaviours require control mechanisms that can extract information from the environment, particularly visual cues. Selective evolutionary pressures have thus refined such visuomotor transformations in a species-specific manner to meet the specific ecological and ethological challenges of each organism. However, a common challenge across organisms as visual information processing\r\nbecomes increasingly detailed is the mechanisms required to synthesise disparate pieces of information into a coherent percept or unified picture of the world. In this thesis, I investigate how disparate visual information is combined in the brain of Drosophila melanogaster to effectively guide locomotion.\r\nFor this, I first designed and built a behavioural setup to record locomotion and present visual stimuli to freely-walking fruit flies in a closed-loop manner. This setup allowed the investigation of innate visually-guided behaviours, including the optomotor reflex and courtship.\r\nSecond, taking advantage of my system I investigated the optomotor response, a reflexive visual stabilisation behaviour in which flies turn in the direction of global motion to minimise retinal slip. This behaviour is thought to be mediated by Lobula plate tangential cells (LPTCs); a complex network of optic-flow-sensitive neurons essential for self-motion estimation. Using a novel genetic mutant, I demonstrate that electrical coupling between two LPTC subtypes, contralateral HS and H2 neurons, regulates the balance between smooth optomotor turning and saccadic anti-optomotor responses. These findings underscore the critical role of binocular motion cue integration in guiding course control. Finally, I developed a novel behavioural paradigm in which a sexually aroused male fruit fly is presented with an optomotor distractor. This setup creates competition between two visual behaviours, courtship tracking and the optomotor response, enabling me to explore how the visual system resolves this conflict. In this setting, males\r\nengaged in courtship selectively suppress their optomotor response based on the female's location. Furthermore, when this experiment is replicated with an “artificial female”, optogenetically aroused males alternate between tracking and optomotor responses. The probability and dynamics of this switching are determined by the relative strengths of the two competing stimuli. In summary, the results presented in this thesis explore two mechanisms – integration and competition - through which visual information is combined in the brain of the fruit fly to drive locomotion." acknowledged_ssus: - _id: M-Shop acknowledgement: I am incredibly thankful for the outstanding support provided by ISTA, especially the Machine Shop team, who made conducting research much easier and more efficient. I am also grateful for the funding provided by European Union’s Horizon 2020 research and innovation program under the Marie Skłodowska-Curie programme (665385) and The German Research Foundation grant DFG (SPP2205) “Evolutionary optimization of neuronal processing”. alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Roshan K full_name: Satapathy, Roshan K id: 46046B7A-F248-11E8-B48F-1D18A9856A87 last_name: Satapathy orcid: 0009-0006-2974-5075 citation: ama: Satapathy RK. Mechanisms of visual integration and competition in innate behaviours in Drosophila melanogaster. 2024. doi:10.15479/at:ista:18568 apa: Satapathy, R. K. (2024). Mechanisms of visual integration and competition in innate behaviours in Drosophila melanogaster. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18568 chicago: Satapathy, Roshan K. “Mechanisms of Visual Integration and Competition in Innate Behaviours in Drosophila Melanogaster.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18568. ieee: R. K. Satapathy, “Mechanisms of visual integration and competition in innate behaviours in Drosophila melanogaster,” Institute of Science and Technology Austria, 2024. ista: Satapathy RK. 2024. Mechanisms of visual integration and competition in innate behaviours in Drosophila melanogaster. Institute of Science and Technology Austria. mla: Satapathy, Roshan K. Mechanisms of Visual Integration and Competition in Innate Behaviours in Drosophila Melanogaster. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18568. short: R.K. Satapathy, Mechanisms of Visual Integration and Competition in Innate Behaviours in Drosophila Melanogaster, Institute of Science and Technology Austria, 2024. corr_author: '1' das_tickbox: '0' date_created: 2024-11-19T12:34:30Z date_published: 2024-11-20T00:00:00Z date_updated: 2026-10-02T11:33:28Z day: '20' ddc: - '573' degree_awarded: PhD department: - _id: GradSch - _id: MaJö doi: 10.15479/at:ista:18568 doi_confirm: '1' ec_funded: 1 file: - access_level: open_access checksum: 340f2bfe882c8a85e11ec0687ca15f5e content_type: application/pdf creator: rsatapat date_created: 2024-11-19T12:39:55Z date_updated: 2024-11-19T12:39:55Z file_id: '18570' file_name: Roshan PhD thesis-Final.pdf file_size: 10960975 relation: main_file success: 1 - access_level: closed checksum: 0f846fce60d6ea511e07f77eff59a6a1 content_type: application/vnd.openxmlformats-officedocument.wordprocessingml.document creator: rsatapat date_created: 2024-11-19T12:46:47Z date_updated: 2024-12-13T10:27:25Z file_id: '18571' file_name: Roshan PhD thesis-Final.docx file_size: 36695917 relation: source_file file_date_updated: 2024-12-13T10:27:25Z fulldoi: https://doi.org/10.15479/at:ista:18568 has_accepted_license: '1' language: - iso: eng month: '11' oa: 1 oa_version: Published Version page: '114' project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program publication_identifier: isbn: - 978-3-99078-047-3 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '18444' relation: part_of_dissertation status: public researchdata_availability: no status: public supervisor: - first_name: Maximilian A full_name: Jösch, Maximilian A id: 2BD278E6-F248-11E8-B48F-1D18A9856A87 last_name: Jösch orcid: 0000-0002-3937-1330 supplementarymaterial: no title: Mechanisms of visual integration and competition in innate behaviours in Drosophila melanogaster tmp: image: /images/cc_by_sa.png legal_code_url: https://creativecommons.org/licenses/by-sa/4.0/legalcode name: Creative Commons Attribution-ShareAlike 4.0 International Public License (CC BY-SA 4.0) short: CC BY-SA (4.0) type: dissertation user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 year: '2024' ... --- OA_place: repository OA_type: green _id: '18890' abstract: - lang: eng text: Deep Neural Collapse (DNC) refers to the surprisingly rigid structure of the data representations in the final layers of Deep Neural Networks (DNNs). Though the phenomenon has been measured in a variety of settings, its emergence is typically explained via data-agnostic approaches, such as the unconstrained features model. In this work, we introduce a data-dependent setting where DNC forms due to feature learning through the average gradient outer product (AGOP). The AGOP is defined with respect to a learned predictor and is equal to the uncentered covariance matrix of its input-output gradients averaged over the training dataset. The Deep Recursive Feature Machine (Deep RFM) is a method that constructs a neural network by iteratively mapping the data with the AGOP and applying an untrained random feature map. We demonstrate empirically that DNC occurs in Deep RFM across standard settings as a consequence of the projection with the AGOP matrix computed at each layer. Further, we theoretically explain DNC in Deep RFM in an asymptotic setting and as a result of kernel learning. We then provide evidence that this mechanism holds for neural networks more generally. In particular, we show that the right singular vectors and values of the weights can be responsible for the majority of within-class variability collapse for DNNs trained in the feature learning regime. As observed in recent work, this singular structure is highly correlated with that of the AGOP. acknowledgement: 'We acknowledge support from the National Science Foundation (NSF) and the Simons Foundation for the Collaboration on the Theoretical Foundations of Deep Learning through awards DMS-2031883 and #814639 as well as the TILOS institute (NSF CCF-2112665). This work used the programs (1) XSEDE (Extreme science and engineering discovery environment) which is supported by NSF grant numbers ACI-1548562, and (2) ACCESS (Advanced cyberinfrastructure coordination ecosystem: services & support) which is supported by NSF grants numbers #2138259, #2138286, #2138307, #2137603, and #2138296. Specifically, we used the resources from SDSC Expanse GPU compute nodes, and NCSA Delta system, via allocations TG-CIS220009. Marco Mondelli is supported by the 2019 Lopez-Loreta prize. We also acknowledge useful feedback from anonymous reviewers. ' alternative_title: - Advances in Neural Information Processing Systems article_processing_charge: No arxiv: 1 author: - first_name: Daniel full_name: Beaglehole, Daniel last_name: Beaglehole - first_name: Peter full_name: Súkeník, Peter id: d64d6a8d-eb8e-11eb-b029-96fd216dec3c last_name: Súkeník - first_name: Marco full_name: Mondelli, Marco id: 27EB676C-8706-11E9-9510-7717E6697425 last_name: Mondelli orcid: 0000-0002-3242-7020 - first_name: Mikhail full_name: Belkin, Mikhail last_name: Belkin citation: ama: 'Beaglehole D, Súkeník P, Mondelli M, Belkin M. Average gradient outer product as a mechanism for deep neural collapse. In: 38th Annual Conference on Neural Information Processing Systems. Vol 37. Neural Information Processing Systems Foundation; 2024.' apa: 'Beaglehole, D., Súkeník, P., Mondelli, M., & Belkin, M. (2024). Average gradient outer product as a mechanism for deep neural collapse. In 38th Annual Conference on Neural Information Processing Systems (Vol. 37). Vancouver, Canada: Neural Information Processing Systems Foundation.' chicago: Beaglehole, Daniel, Peter Súkeník, Marco Mondelli, and Mikhail Belkin. “Average Gradient Outer Product as a Mechanism for Deep Neural Collapse.” In 38th Annual Conference on Neural Information Processing Systems, Vol. 37. Neural Information Processing Systems Foundation, 2024. ieee: D. Beaglehole, P. Súkeník, M. Mondelli, and M. Belkin, “Average gradient outer product as a mechanism for deep neural collapse,” in 38th Annual Conference on Neural Information Processing Systems, Vancouver, Canada, 2024, vol. 37. ista: 'Beaglehole D, Súkeník P, Mondelli M, Belkin M. 2024. Average gradient outer product as a mechanism for deep neural collapse. 38th Annual Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 37.' mla: Beaglehole, Daniel, et al. “Average Gradient Outer Product as a Mechanism for Deep Neural Collapse.” 38th Annual Conference on Neural Information Processing Systems, vol. 37, Neural Information Processing Systems Foundation, 2024. short: D. Beaglehole, P. Súkeník, M. Mondelli, M. Belkin, in:, 38th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2024. conference: end_date: 2024-12-16 location: Vancouver, Canada name: 'NeurIPS: Neural Information Processing Systems' start_date: 2024-12-16 corr_author: '1' das_tickbox: '0' date_created: 2025-01-27T11:11:40Z date_published: 2024-12-01T00:00:00Z date_updated: 2026-10-02T11:34:14Z day: '01' department: - _id: GradSch - _id: MaMo external_id: arxiv: - '2402.13728' intvolume: ' 37' language: - iso: eng main_file_link: - open_access: '1' url: https://openreview.net/forum?id=lJ1jdl2K9k month: '12' oa: 1 oa_version: Preprint project: - _id: 059876FA-7A3F-11EA-A408-12923DDC885E name: Prix Lopez-Loretta 2019 - Marco Mondelli publication: 38th Annual Conference on Neural Information Processing Systems publication_identifier: eissn: - 1049-5258 publication_status: published publisher: Neural Information Processing Systems Foundation quality_controlled: '1' researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: Average gradient outer product as a mechanism for deep neural collapse type: conference user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 37 year: '2024' ... --- OA_place: publisher OA_type: gold _id: '18891' abstract: - lang: eng text: "Deep neural networks (DNNs) exhibit a surprising structure in their final layer\r\nknown as neural collapse (NC), and a growing body of works has currently investigated the propagation of neural collapse to earlier layers of DNNs – a phenomenon\r\ncalled deep neural collapse (DNC). However, existing theoretical results are restricted to special cases: linear models, only two layers or binary classification.\r\nIn contrast, we focus on non-linear models of arbitrary depth in multi-class classification and reveal a surprising qualitative shift. As soon as we go beyond two\r\nlayers or two classes, DNC stops being optimal for the deep unconstrained features\r\nmodel (DUFM) – the standard theoretical framework for the analysis of collapse.\r\nThe main culprit is a low-rank bias of multi-layer regularization schemes: this bias\r\nleads to optimal solutions of even lower rank than the neural collapse. We support\r\nour theoretical findings with experiments on both DUFM and real data, which show\r\nthe emergence of the low-rank structure in the solution found by gradient descent." acknowledged_ssus: - _id: ScienComp acknowledgement: Marco Mondelli is partially supported by the 2019 Lopez-Loreta prize. This research was supported by the Scientific Service Units (SSU) of ISTA through resources provided by Scientific Computing (SciComp). alternative_title: - Advances in Neural Information Processing Systems article_processing_charge: No arxiv: 1 author: - first_name: Peter full_name: Súkeník, Peter id: d64d6a8d-eb8e-11eb-b029-96fd216dec3c last_name: Súkeník - first_name: Christoph full_name: Lampert, Christoph id: 40C20FD2-F248-11E8-B48F-1D18A9856A87 last_name: Lampert orcid: 0000-0001-8622-7887 - first_name: Marco full_name: Mondelli, Marco id: 27EB676C-8706-11E9-9510-7717E6697425 last_name: Mondelli orcid: 0000-0002-3242-7020 citation: ama: 'Súkeník P, Lampert C, Mondelli M. Neural collapse versus low-rank bias: Is deep neural collapse really optimal? In: 38th Annual Conference on Neural Information Processing Systems. Vol 37. Neural Information Processing Systems Foundation; 2024.' apa: 'Súkeník, P., Lampert, C., & Mondelli, M. (2024). Neural collapse versus low-rank bias: Is deep neural collapse really optimal? In 38th Annual Conference on Neural Information Processing Systems (Vol. 37). Vancouver, Canada: Neural Information Processing Systems Foundation.' chicago: 'Súkeník, Peter, Christoph Lampert, and Marco Mondelli. “Neural Collapse versus Low-Rank Bias: Is Deep Neural Collapse Really Optimal?” In 38th Annual Conference on Neural Information Processing Systems, Vol. 37. Neural Information Processing Systems Foundation, 2024.' ieee: 'P. Súkeník, C. Lampert, and M. Mondelli, “Neural collapse versus low-rank bias: Is deep neural collapse really optimal?,” in 38th Annual Conference on Neural Information Processing Systems, Vancouver, Canada, 2024, vol. 37.' ista: 'Súkeník P, Lampert C, Mondelli M. 2024. Neural collapse versus low-rank bias: Is deep neural collapse really optimal? 38th Annual Conference on Neural Information Processing Systems. NeurIPS: Neural Information Processing Systems, Advances in Neural Information Processing Systems, vol. 37.' mla: 'Súkeník, Peter, et al. “Neural Collapse versus Low-Rank Bias: Is Deep Neural Collapse Really Optimal?” 38th Annual Conference on Neural Information Processing Systems, vol. 37, Neural Information Processing Systems Foundation, 2024.' short: P. Súkeník, C. Lampert, M. Mondelli, in:, 38th Annual Conference on Neural Information Processing Systems, Neural Information Processing Systems Foundation, 2024. conference: end_date: 2024-12-16 location: Vancouver, Canada name: 'NeurIPS: Neural Information Processing Systems' start_date: 2024-12-16 corr_author: '1' das_tickbox: '0' date_created: 2025-01-27T11:15:18Z date_published: 2024-12-01T00:00:00Z date_updated: 2026-10-02T11:34:35Z day: '01' ddc: - '000' department: - _id: GradSch - _id: MaMo - _id: ChLa external_id: arxiv: - '2405.14468' file: - access_level: open_access checksum: b7b79f1ea3ac1e9e11b3d91faaeb0780 content_type: application/pdf creator: dernst date_created: 2025-02-04T08:11:25Z date_updated: 2025-02-04T08:11:25Z file_id: '18989' file_name: 2024_NeurIPS_Sukenik.pdf file_size: 1784118 relation: main_file success: 1 file_date_updated: 2025-02-04T08:11:25Z has_accepted_license: '1' intvolume: ' 37' language: - iso: eng month: '12' oa: 1 oa_version: Published Version project: - _id: 059876FA-7A3F-11EA-A408-12923DDC885E name: Prix Lopez-Loretta 2019 - Marco Mondelli publication: 38th Annual Conference on Neural Information Processing Systems publication_status: published publisher: Neural Information Processing Systems Foundation quality_controlled: '1' researchdata_availability: no status: public supplementarymaterial: no title: 'Neural collapse versus low-rank bias: Is deep neural collapse really optimal?' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 37 year: '2024' ... --- OA_place: publisher OA_type: gold _id: '18515' abstract: - lang: eng text: "Understanding the role of evolutionary processes in shaping genetic variation has been a\r\nprimary goal in evolutionary genetics. In this regard, a key question is how genetically\r\ndistinct populations evolve in the face of gene flow, thereby generating genetic and\r\nphenotypic divergence and reproductive isolation (RI). This requires quantifying the role\r\nand relative contributions of prezygotic and postzygotic isolating mechanisms on the\r\nreduction of gene exchange between populations, and identifying regions in the genome\r\nthat mediate RI, which is often polygenic. Further, this needs distinguishing neutral and\r\nselected regions in the genome, and discerning how selection influences patterns of neutral\r\ndivergence.\r\nPopulation structure, defined as any deviation from panmixia, such as geographic distribution, movement and mating patterns of individuals, influences how genetic variation is\r\nstructured in space and shapes the neutral null model. Availability of large scale spatial\r\ngenomic datasets now enables us to detect signatures of population structure in genetic\r\ndata and infer population genetic parameters. Such inferences are crucial and have wide\r\napplications in biodiversity, conservation genetics, population management and medical\r\ngenetics. However, inferences are based on assumptions that do not always match the\r\ncomplex reality, thus leading to erroneous conclusions. Moreover, the role and interaction\r\nof heterogeneous population density and dispersal, which are ubiquitous in nature, has\r\nbeen challenging to study owing to their mathematical complexity. In such scenarios,\r\nfeedback between theory, data and simulations can prove to be useful.\r\nIn this thesis, I examine the effect of population structure on neutral genetic variation\r\nand barriers to gene exchange in hybridising populations, thereby bridging together the\r\nfields of spatial population genetics and speciation.\r\nDespite being a key concept in speciation, reproductive isolation (RI) lacks a quantitative\r\ndefinition and has been used and measured differently across different fields. Chapter 2\r\ngives a quantitative definition of RI, in terms of the effect of genetic differences on gene\r\nflow. We give analytical predictions for RI in a range of scenarios, in terms of effective migration rates for discrete populations and barrier strength for continuous populations.\r\nIn addition to this, we discuss current measures of RI and their limitations, and propose\r\nthe need for new measures that combine organismal and genetic perspectives of RI.\r\nIn chapter 3, I examine the combined effect of assortative mating, sexual selection\r\nand viability selection on RI. For this, we consider a polygenic ‘magic’ trait under a\r\nmainland-island model. We obtain novel theoretical predictions for molecular divergence\r\nin terms of effective migration rates, which bears a simple relationship to measurable\r\nfitness components of migrants and various early generation hybrids. We explore the\r\nconditions under which local adaptation can be maintained despite maladaptive gene flow\r\nand quantify the relative contributions of viability and sexual selection to genome-wide\r\nbarriers to gene flow.\r\nThe next two chapters of the thesis focus on a hybrid zone of Antirrhinum majus that\r\nconsist of two subspecies- the magenta flowered A. m. pseudomajus and the yellow\r\nflowered A.m. striatum. Previous studies have suggested that flower colour is target of\r\npollinator mediated selection and is influenced only by few genes. While these regions\r\nshow high genetic differentiation between the subspecies, the rest of the genome is seen\r\nto be well mixed. Chapter 4 examines the effects of heterogeneous population density\r\nand leptokurtic dispersal on isolation by distance and the distribution of heterozygosity\r\nby focusing on non-flower colour markers.\r\nChapter 5 analyses cline shapes and associations among 6 focal flower colour markers to\r\nunderstand how selection and dispersal maintain this hybrid zone. We see sharp coincident\r\nstepped clines at all loci and positive associations throughout the hybrid zone, contrary to\r\nthe expected patterns from diffusive gene flow. With a novel scheme of inferring dispersal\r\ncombined with multilocus simulations, we show that stepped clines do not reflect genetic\r\nbarriers to gene flow, but are rather a result of long-distance migration. This framework\r\nallows us to get realistic estimates gene flow and selection and shows how traditional cline\r\nanalysis may lead to inaccurate conclusions when assumptions of the theory are not met.\r\nOverall, this thesis investigates how different features of population structure leave\r\ndetectable signatures in genetic variation, namely in patterns of isolation by distance,\r\nlinkage disequilibrium and genetic divergence. It also highlights how effective migration\r\nrates provide useful way of analysing polygenic architectures and shed new light into\r\nhybrid zones. In doing so, I identify scenarios when simple models become insufficient\r\nand suggest possibe directions by combining genetic data with simulations." acknowledged_ssus: - _id: ScienComp acknowledgement: "I also acknowledge the funding agencies Marie Curie COFUND Doctoral Fellowship,\r\nAustrian Science Fund FWF (grant P32166) and ERC (grant PR1000ERC02) for financially\r\nsupporting my research over the years." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Parvathy full_name: Surendranadh, Parvathy id: 455235B8-F248-11E8-B48F-1D18A9856A87 last_name: Surendranadh orcid: 0000-0001-6395-386X citation: ama: Surendranadh P. Effect of population structure on neutral genetic variation and barriers to gene exchange. 2024. doi:10.15479/at:ista:18515 apa: Surendranadh, P. (2024). Effect of population structure on neutral genetic variation and barriers to gene exchange. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18515 chicago: Surendranadh, Parvathy. “Effect of Population Structure on Neutral Genetic Variation and Barriers to Gene Exchange.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18515. ieee: P. Surendranadh, “Effect of population structure on neutral genetic variation and barriers to gene exchange,” Institute of Science and Technology Austria, 2024. ista: Surendranadh P. 2024. Effect of population structure on neutral genetic variation and barriers to gene exchange. Institute of Science and Technology Austria. mla: Surendranadh, Parvathy. Effect of Population Structure on Neutral Genetic Variation and Barriers to Gene Exchange. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18515. short: P. Surendranadh, Effect of Population Structure on Neutral Genetic Variation and Barriers to Gene Exchange, Institute of Science and Technology Austria, 2024. corr_author: '1' das_tickbox: '1' date_created: 2024-11-06T21:25:37Z date_published: 2024-11-07T00:00:00Z date_updated: 2026-10-02T11:36:48Z day: '07' ddc: - '576' degree_awarded: PhD department: - _id: GradSch - _id: NiBa doi: 10.15479/at:ista:18515 doi_confirm: '1' file: - access_level: open_access checksum: c32cf7bc75748d9c551d8eb70178bbec content_type: application/pdf creator: psurendr date_created: 2024-11-07T10:59:29Z date_updated: 2024-11-07T10:59:29Z file_id: '18519' file_name: PhD_Thesis__Parvathy_071124_PDFA.pdf file_size: 37019760 relation: main_file success: 1 - access_level: closed checksum: 4417e02d54084d89e75734e18caaa96d content_type: application/zip creator: psurendr date_created: 2024-11-07T10:59:42Z date_updated: 2024-11-07T10:59:42Z file_id: '18520' file_name: PhD Thesis- Parvathy_071124.zip file_size: 41198857 relation: source_file file_date_updated: 2024-11-07T10:59:42Z fulldoi: https://doi.org/10.15479/at:ista:18515 has_accepted_license: '1' language: - iso: eng month: '11' oa: 1 oa_version: Published Version page: '219' project: - _id: 05959E1C-7A3F-11EA-A408-12923DDC885E grant_number: P32166 name: Snapdragon Speciation - _id: bd6958e0-d553-11ed-ba76-86eba6a76c00 grant_number: '101055327' name: Understanding the evolution of continuous genomes publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria researchdata_availability: yes status: public supervisor: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 supplementarymaterial: no title: Effect of population structure on neutral genetic variation and barriers to gene exchange tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: dissertation user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 year: '2024' ... --- OA_place: publisher _id: '17208' abstract: - lang: eng text: "Can current quantum computers provide a speedup over their classical counterparts for some kinds of problems? In this thesis, with a focus on ground state search/preparation, we address some of the challenges that both quantum annealing and variational quantum algorithms suffer from, hindering any possible practical speedup in comparison to the best classical counterparts. \r\n\r\nIn the first part of the thesis, we study the performance of quantum annealing for solving a particular combinatorial optimization problem called 3-XOR satisfability (3-XORSAT). The classical problem is mapped into a ground state search of a 3-local classical Hamiltonian $H_C$. We consider how modifying the initial problem, by adding more interaction terms to the corresponding Hamiltonian, leads to the emergence of a first-order phase transition during the annealing process. This phenomenon causes the total annealing duration, $T$, required to prepare the ground state of $H_C$ with a high probability to increase exponentially with the size of the problem. Our findings indicate that with the growing complexity of problem instances, the likelihood of encountering first-order phase transitions also increases, making quantum annealing an impractical solution for these types of combinatorial optimization problems.\r\n\r\nIn the second part, we focus on the problem of barren plateaus in generic variational quantum algorithms. Barren plateaus correspond to flat regions in the parameter space where the gradient of the cost function is zero in expectation, and with the variance decaying exponentially with the system size, thus obstructing an efficient parameter optimization. We propose an algorithm to circumvent Barren Plateaus by monitoring the entanglement entropy of k-local reduced density matrices, alongside a method for estimating entanglement entropy via classical shadow tomography. We illustrate the approach with the paradigmatic example of the variational quantum eigensolver, and show that our algorithm effectively avoids barren plateaus in the initialization as well as during the optimization stage. \r\n\r\nLastly, in the last two Chapters of this thesis, we focus on the quantum approximate optimization algorithm (QAOA), originally introduced as an algorithm for solving generic combinatorial optimization problems in near-term quantum devices. Specifically, we focus on how to develop rigorous initialization strategies with guarantee improvement. Our motivation for this study lies in that for random initialization, the optimization typically leads to local minima with poor performance. Our main result corresponds to the analytical construction of index-1 saddle points or transition states, stationary points with a single direction of descent, as a tool for systematically exploring the QAOA optimization landscape. This leads us to propose a novel greedy parameter initialization strategy that guarantees for the energy to decrease with an increasing number of circuit layers. Furthermore, with precise estimates for the negative Hessian eigenvalue and its eigenvector, we establish a lower bound for energy improvement following a QAOA iteration." acknowledged_ssus: - _id: ScienComp alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Raimel A full_name: Medina Ramos, Raimel A id: CE680B90-D85A-11E9-B684-C920E6697425 last_name: Medina Ramos orcid: 0000-0002-5383-2869 citation: ama: Medina Ramos RA. Exploring the optimization landscape of variational quantum algorithms. 2024. doi:10.15479/at:ista:17208 apa: Medina Ramos, R. A. (2024). Exploring the optimization landscape of variational quantum algorithms. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17208 chicago: Medina Ramos, Raimel A. “Exploring the Optimization Landscape of Variational Quantum Algorithms.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:17208. ieee: R. A. Medina Ramos, “Exploring the optimization landscape of variational quantum algorithms,” Institute of Science and Technology Austria, 2024. ista: Medina Ramos RA. 2024. Exploring the optimization landscape of variational quantum algorithms. Institute of Science and Technology Austria. mla: Medina Ramos, Raimel A. Exploring the Optimization Landscape of Variational Quantum Algorithms. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:17208. short: R.A. Medina Ramos, Exploring the Optimization Landscape of Variational Quantum Algorithms, Institute of Science and Technology Austria, 2024. corr_author: '1' das_tickbox: '0' date_created: 2024-07-09T09:14:24Z date_published: 2024-07-09T00:00:00Z date_updated: 2026-10-02T11:36:07Z day: '09' ddc: - '539' degree_awarded: PhD department: - _id: GradSch - _id: MaSe doi: 10.15479/at:ista:17208 doi_confirm: '1' ec_funded: 1 file: - access_level: closed checksum: 6f45273d04f4418bc2adc018baed0525 content_type: application/zip creator: rmedinar date_created: 2024-07-09T09:21:44Z date_updated: 2024-07-10T11:34:09Z file_id: '17212' file_name: Raimel_Thesis-Final.zip file_size: '14218691' relation: source_file - access_level: open_access checksum: 6724a95bec772dbabc0111b9f08a805e content_type: application/pdf creator: rmedinar date_created: 2024-07-17T09:23:24Z date_updated: 2024-07-17T09:23:24Z file_id: '17275' file_name: Raimel_Thesis-20_pdfa.pdf file_size: 11253627 relation: main_file success: 1 file_date_updated: 2024-07-17T09:23:24Z fulldoi: https://doi.org/10.15479/at:ista:17208 has_accepted_license: '1' keyword: - Quantum computing - Variational Quantum Algorithms - Optimization language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: '133' project: - _id: 23841C26-32DE-11EA-91FC-C7463DDC885E call_identifier: H2020 grant_number: '850899' name: 'Non-Ergodic Quantum Matter: Universality, Dynamics and Control' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '10545' relation: part_of_dissertation status: public - id: '10067' relation: part_of_dissertation status: public - id: '17222' relation: part_of_dissertation status: public - id: '13125' relation: part_of_dissertation status: public - id: '11471' relation: part_of_dissertation status: public researchdata_availability: no status: public supervisor: - first_name: Maksym full_name: Serbyn, Maksym id: 47809E7E-F248-11E8-B48F-1D18A9856A87 last_name: Serbyn orcid: 0000-0002-2399-5827 supplementarymaterial: no title: Exploring the optimization landscape of variational quantum algorithms tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: dissertation user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 year: '2024' ... --- APC_amount: 3028,31 EUR DOAJ_listed: '1' OA_place: publisher OA_type: gold _id: '18087' abstract: - lang: eng text: We present a theory describing the interaction of structured light, such as light carrying orbital angular momentum, with molecules. The light-matter interaction Hamiltonian we derive is expressed through couplings between spherical gradients of the electric field and the (transition) electric multipole moments of a particle of any nontrivial rotation point group. Our model can therefore accommodate an arbitrary complexity of the molecular and electric field structure, and it can be straightforwardly extended to atoms or nanostructures. Applying this framework to rovibrational spectroscopy of molecules, we uncover the general mechanism of angular momentum exchange between the spin and orbital angular momenta of light, molecular rotation, and its center-of-mass motion. We show that the nonzero vorticity of Laguerre-Gaussian beams can strongly enhance certain rovibrational transitions that are considered forbidden in the case of nonhelical light. We discuss the experimental requirements for the observation of these forbidden transitions in state-of-the-art spatially resolved spectroscopy measurements. acknowledgement: We are grateful to Emilio Pisanty and Philipp Lunt for valuable discussions. This research was funded wholly or in part by the Austrian Science Fund (FWF) [10.55776/F1004]. G.M.K. gratefully acknowledges funding from the European Union’s Horizon 2020 research and innovation programme under the Marie Skłodowska-Curie Grant Agreement No. 101034413. M.L. acknowledges support by the European Research Council (ERC) Starting Grant No. 801770 (ANGULON). O.H.H. acknowledges support by the Austrian Science Fund (FWF) [10.55776/P36040]. Furthermore, the financial support by the Austrian Federal Ministry for Digital and Economic Affairs, the National Foundation for Research, Technology and Development, and the Christian Doppler Research Association is gratefully acknowledged. article_number: '033277' article_processing_charge: Yes article_type: original arxiv: 1 author: - first_name: Mikhail full_name: Maslov, Mikhail id: 2E65BB0E-F248-11E8-B48F-1D18A9856A87 last_name: Maslov orcid: 0000-0003-4074-2570 - first_name: Georgios full_name: Koutentakis, Georgios id: d7b23d3a-9e21-11ec-b482-f76739596b95 last_name: Koutentakis - first_name: Mateja full_name: Hrast, Mateja id: 48dbb294-2a9c-11ef-905d-f56be71f0e5d last_name: Hrast - first_name: Oliver H. full_name: Heckl, Oliver H. last_name: Heckl - first_name: Mikhail full_name: Lemeshko, Mikhail id: 37CB05FA-F248-11E8-B48F-1D18A9856A87 last_name: Lemeshko orcid: 0000-0002-6990-7802 citation: ama: Maslov M, Koutentakis G, Hrast M, Heckl OH, Lemeshko M. Theory of angular momentum transfer from light to molecules. Physical Review Research. 2024;6(3). doi:10.1103/physrevresearch.6.033277 apa: Maslov, M., Koutentakis, G., Hrast, M., Heckl, O. H., & Lemeshko, M. (2024). Theory of angular momentum transfer from light to molecules. Physical Review Research. American Physical Society. https://doi.org/10.1103/physrevresearch.6.033277 chicago: Maslov, Mikhail, Georgios Koutentakis, Mateja Hrast, Oliver H. Heckl, and Mikhail Lemeshko. “Theory of Angular Momentum Transfer from Light to Molecules.” Physical Review Research. American Physical Society, 2024. https://doi.org/10.1103/physrevresearch.6.033277. ieee: M. Maslov, G. Koutentakis, M. Hrast, O. H. Heckl, and M. Lemeshko, “Theory of angular momentum transfer from light to molecules,” Physical Review Research, vol. 6, no. 3. American Physical Society, 2024. ista: Maslov M, Koutentakis G, Hrast M, Heckl OH, Lemeshko M. 2024. Theory of angular momentum transfer from light to molecules. Physical Review Research. 6(3), 033277. mla: Maslov, Mikhail, et al. “Theory of Angular Momentum Transfer from Light to Molecules.” Physical Review Research, vol. 6, no. 3, 033277, American Physical Society, 2024, doi:10.1103/physrevresearch.6.033277. short: M. Maslov, G. Koutentakis, M. Hrast, O.H. Heckl, M. Lemeshko, Physical Review Research 6 (2024). corr_author: '1' das_tickbox: '0' date_created: 2024-09-18T11:43:16Z date_published: 2024-09-10T00:00:00Z date_updated: 2026-10-02T11:36:24Z day: '10' ddc: - '530' department: - _id: GradSch - _id: MiLe doi: 10.1103/physrevresearch.6.033277 ec_funded: 1 external_id: arxiv: - '2310.00095' file: - access_level: open_access checksum: 8f744d94956a1683b473b1cf9b411a37 content_type: application/pdf creator: dernst date_created: 2024-09-23T09:46:20Z date_updated: 2024-09-23T09:46:20Z file_id: '18125' file_name: 2024_PhysicalReviewResearch_Maslov.pdf file_size: 1563824 relation: main_file success: 1 file_date_updated: 2024-09-23T09:46:20Z fulldoi: https://doi.org/10.1103/physrevresearch.6.033277 has_accepted_license: '1' intvolume: ' 6' issue: '3' language: - iso: eng month: '09' oa: 1 oa_version: Published Version project: - _id: 7c040762-9f16-11ee-852c-dd79eeee4ab3 grant_number: F100403 name: Coherent Optical Metrology Beyond Electric-Dipole-Allowed Transitions - _id: fc2ed2f7-9c52-11eb-aca3-c01059dda49c call_identifier: H2020 grant_number: '101034413' name: 'IST-BRIDGE: International postdoctoral program' - _id: 2688CF98-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '801770' name: 'Angulon: physics and applications of a new quasiparticle' - _id: 3AC91DDA-15DF-11EA-824D-93A3E7B544D1 call_identifier: FWF name: FWF Open Access Fund publication: Physical Review Research publication_identifier: eissn: - 2643-1564 publication_status: published publisher: American Physical Society quality_controlled: '1' related_material: record: - id: '19048' relation: dissertation_contains status: public researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: yes title: Theory of angular momentum transfer from light to molecules tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 6 year: '2024' ... --- OA_place: publisher _id: '15020' abstract: - lang: eng text: "This thesis consists of four distinct pieces of work within theoretical biology, with two themes in common: the concept of optimization in biological systems, and the use of information-theoretic tools to quantify biological stochasticity and statistical uncertainty.\r\nChapter 2 develops a statistical framework for studying biological systems which we believe to be optimized for a particular utility function, such as retinal neurons conveying information about visual stimuli. We formalize such beliefs as maximum-entropy Bayesian priors, constrained by the expected utility. We explore how such priors aid inference of system parameters with limited data and enable optimality hypothesis testing: is the utility higher than by chance?\r\nChapter 3 examines the ultimate biological optimization process: evolution by natural selection. As some individuals survive and reproduce more successfully than others, populations evolve towards fitter genotypes and phenotypes. We formalize this as accumulation of genetic information, and use population genetics theory to study how much such information can be accumulated per generation and maintained in the face of random mutation and genetic drift. We identify the population size and fitness variance as the key quantities that control information accumulation and maintenance.\r\nChapter 4 reuses the concept of genetic information from Chapter 3, but from a different perspective: we ask how much genetic information organisms actually need, in particular in the context of gene regulation. For example, how much information is needed to bind transcription factors at correct locations within the genome? Population genetics provides us with a refined answer: with an increasing population size, populations achieve higher fitness by maintaining more genetic information. Moreover, regulatory parameters experience selection pressure to optimize the fitness-information trade-off, i.e. minimize the information needed for a given fitness. This provides an evolutionary derivation of the optimization priors introduced in Chapter 2.\r\nChapter 5 proves an upper bound on mutual information between a signal and a communication channel output (such as neural activity). Mutual information is an important utility measure for biological systems, but its practical use can be difficult due to the large dimensionality of many biological channels. Sometimes, a lower bound on mutual information is computed by replacing the high-dimensional channel outputs with decodes (signal estimates). Our result provides a corresponding upper bound, provided that the decodes are the maximum posterior estimates of the signal." acknowledged_ssus: - _id: ScienComp alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Michal full_name: Hledik, Michal id: 4171253A-F248-11E8-B48F-1D18A9856A87 last_name: Hledik citation: ama: Hledik M. Genetic information and biological optimization. 2024. doi:10.15479/at:ista:15020 apa: Hledik, M. (2024). Genetic information and biological optimization. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:15020 chicago: Hledik, Michal. “Genetic Information and Biological Optimization.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:15020. ieee: M. Hledik, “Genetic information and biological optimization,” Institute of Science and Technology Austria, 2024. ista: Hledik M. 2024. Genetic information and biological optimization. Institute of Science and Technology Austria. mla: Hledik, Michal. Genetic Information and Biological Optimization. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:15020. short: M. Hledik, Genetic Information and Biological Optimization, Institute of Science and Technology Austria, 2024. corr_author: '1' das_tickbox: '0' date_created: 2024-02-23T14:02:04Z date_published: 2024-02-23T00:00:00Z date_updated: 2026-10-02T11:40:30Z day: '23' ddc: - '576' - '519' degree_awarded: PhD department: - _id: GradSch - _id: NiBa - _id: GaTk doi: 10.15479/at:ista:15020 doi_confirm: '1' ec_funded: 1 file: - access_level: open_access checksum: b2d3da47c98d481577a4baf68944fe41 content_type: application/pdf creator: mhledik date_created: 2024-02-23T13:50:53Z date_updated: 2024-02-23T13:50:53Z file_id: '15021' file_name: hledik thesis pdfa 2b.pdf file_size: 7102089 relation: main_file success: 1 - access_level: closed checksum: eda9b9430da2610fee7ce1c1419a479a content_type: application/zip creator: mhledik date_created: 2024-02-23T13:50:54Z date_updated: 2024-02-23T14:20:16Z file_id: '15022' file_name: hledik thesis source.zip file_size: 14014790 relation: source_file file_date_updated: 2024-02-23T14:20:16Z fulldoi: https://doi.org/10.15479/at:ista:15020 has_accepted_license: '1' keyword: - Theoretical biology - Optimality - Evolution - Information language: - iso: eng month: '02' oa: 1 oa_version: Published Version page: '158' project: - _id: 2564DBCA-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '665385' name: International IST Doctoral Program - _id: 2665AAFE-B435-11E9-9278-68D0E5697425 grant_number: RGP0034/2018 name: Can evolution minimize spurious signaling crosstalk to reach optimal performance? - _id: bd6958e0-d553-11ed-ba76-86eba6a76c00 grant_number: '101055327' name: Understanding the evolution of continuous genomes publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '7606' relation: part_of_dissertation status: public - id: '12081' relation: part_of_dissertation status: public - id: '7553' relation: part_of_dissertation status: public researchdata_availability: no status: public supervisor: - first_name: Nicholas H full_name: Barton, Nicholas H id: 4880FE40-F248-11E8-B48F-1D18A9856A87 last_name: Barton orcid: 0000-0002-8548-5240 - first_name: Gašper full_name: Tkačik, Gašper id: 3D494DCA-F248-11E8-B48F-1D18A9856A87 last_name: Tkačik orcid: 0000-0002-6699-1455 supplementarymaterial: no title: Genetic information and biological optimization type: dissertation user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 year: '2024' ... --- OA_place: publisher _id: '17225' abstract: - lang: eng text: "This thesis describes the development of an atom interferometer designed to exploit the\r\nadvantages of utilizing quantum entanglement for enhanced precision measurements beyond\r\nthe standard quantum limit. While the project remains ongoing, significant progress has been\r\nmade.\r\nA key contribution of this work is the development of Quantrol, an experimental control\r\nsystem leveraging the ARTIQ framework. This software enables precise timing and control\r\nwithout requiring prior knowledge of ARTIQ’s implementation details or coding experience.\r\nThe interface offers user friendly visual comprehension of the experimental sequence and\r\nextended capabilities, allowing researchers to scan variables with a simple click of a mouse.\r\nThe main proposed project is to implement atom interferometric sequence with squeezed input\r\nstates inside of a dipole trap generated by a high finesse cavity. The presence of the dipole\r\ntrap allows one dimensional atomic cloud split while maintaining relatively strong confinement\r\nin other directions.\r\nWe are currently able to trap and cool 87Rb atoms to few micro kelvin temperatures, load\r\nthem into the dipole trap and state prepare them to be used for squeezing and interferometric\r\nsequence." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Vyacheslav full_name: Li, Vyacheslav id: 3A4FAA92-F248-11E8-B48F-1D18A9856A87 last_name: Li citation: ama: Li V. Towards a quantum entanglement enhanced atom interferomter. 2024. doi:10.15479/at:ista:17225 apa: Li, V. (2024). Towards a quantum entanglement enhanced atom interferomter. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17225 chicago: Li, Vyacheslav. “Towards a Quantum Entanglement Enhanced Atom Interferomter.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:17225. ieee: V. Li, “Towards a quantum entanglement enhanced atom interferomter,” Institute of Science and Technology Austria, 2024. ista: Li V. 2024. Towards a quantum entanglement enhanced atom interferomter. Institute of Science and Technology Austria. mla: Li, Vyacheslav. Towards a Quantum Entanglement Enhanced Atom Interferomter. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:17225. short: V. Li, Towards a Quantum Entanglement Enhanced Atom Interferomter, Institute of Science and Technology Austria, 2024. corr_author: '1' das_tickbox: '0' date_created: 2024-07-11T09:46:48Z date_published: 2024-07-11T00:00:00Z date_updated: 2026-10-02T11:41:41Z day: '11' ddc: - '530' degree_awarded: PhD department: - _id: GradSch - _id: OnHo doi: 10.15479/at:ista:17225 doi_confirm: '1' file: - access_level: open_access checksum: 15b2dbe8d2c9ed7ca5dd413827928077 content_type: application/pdf creator: vli date_created: 2024-07-11T10:26:22Z date_updated: 2024-07-11T10:26:22Z file_id: '17228' file_name: PhD_Thesis_Vyacheslav_Li_no_signatures_PDFA.pdf file_size: 6729761 relation: main_file success: 1 - access_level: closed checksum: 16e904a11d8d0ebb167cb654ddfc7fe5 content_type: application/x-zip-compressed creator: vli date_created: 2024-07-11T10:26:22Z date_updated: 2024-07-11T10:26:22Z file_id: '17229' file_name: PhD Thesis Vyacheslav Li.zip file_size: 9542859 relation: source_file file_date_updated: 2024-07-11T10:26:22Z fulldoi: https://doi.org/10.15479/at:ista:17225 has_accepted_license: '1' language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: '79' project: - _id: bdb2a702-d553-11ed-ba76-f12e3e5a3bc6 grant_number: '101087907' name: 'A quantum hybrid of atoms and milligram-scale pendulums: towards gravitational quantum mechanics' publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '11438' relation: part_of_dissertation status: public researchdata_availability: no status: public supervisor: - first_name: Onur full_name: Hosten, Onur id: 4C02D85E-F248-11E8-B48F-1D18A9856A87 last_name: Hosten orcid: 0000-0002-2031-204X supplementarymaterial: no title: Towards a quantum entanglement enhanced atom interferomter tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: dissertation user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 year: '2024' ... --- OA_place: publisher _id: '18135' abstract: - lang: eng text: "This thesis consists of two separate parts. In the first part we consider a dilute Fermi gas interacting through a repulsive interaction in dimensions $d=1,2,3$. Our focus is mostly on the physically most relevant dimension $d=3$ \r\nand the setting of a spin-polarized (equivalently spinless) gas, where the Pauli exclusion principle plays a key role. We show that, at zero temperature, the ground state energy density of the interacting spin-polarized gas differs (to leading order) from that of the free (i.e. non-interacting) gas by a term of order $a_p^d\\rho^{2+2/d}$ \ with $a_p$ the $p$-wave scattering length of the repulsive interaction and $\\rho$ the density. Further, we extend this to positive temperature and show that the pressure of an interacting spin-polarized gas differs from that of the free gas by a now temperature dependent term, again of order $a_p^d\\rho^{2+2/d}$. Lastly, we consider the setting of a spin-$\\frac{1}{2}$ Fermi gas in $d=3$ dimensions and show that here, as an upper bound, the ground state energy density differs from that of the free system by a term of order $a_s \\rho^2$ with an error smaller than $a_s \\rho^2 (a_s\\rho^{1/3})^{1-\\eps}$ for any $\\eps > 0$, where $a_s$ is the $s$-wave scattering length of the repulsive interaction. \r\n\r\nThese asymptotic formulas complement the similar formulas in the literature for the dilute Bose and spin-$\\frac{1}{2}$ Fermi gas, where the ground state energies or pressures differ from that of the corresponding free systems by a term of order $a_s \\rho^2$ in dimension $d=3$. In the spin-polarized setting, the corrections, of order $a_p^3\\rho^{8/3}$ in dimension $d=3$, are thus much smaller and requires a more delicate analysis.\r\n\r\nIn the second part of the thesis we consider the Bardeen--Cooper--Schrieffer (BCS) theory of superconductivity and in particular its associated critical temperature and energy gap. We prove that the ratio of the zero-temperature energy gap and critical temperature $\\Xi(T=0)/T_c$ approaches a universal constant $\\pi e^{-\\gamma}\\approx 1.76$ in both the limit of high density in dimension $d=3$ and in the limit of weak coupling in dimensions $d=1,2$. This complements the proofs in the literature of this universal behaviour in the limit of weak coupling or low density in dimension $d=3$. Secondly, we prove that the ratio of the energy gap at positive temperature and critical temperature $\\Xi(T)/T_c$ approaches a universal function of the relative temperature $T/T_c$ in the limit of weak coupling in dimensions $d=1,2,3$." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Asbjørn Bækgaard full_name: Lauritsen, Asbjørn Bækgaard id: e1a2682f-dc8d-11ea-abe3-81da9ac728f1 last_name: Lauritsen orcid: 0000-0003-4476-2288 citation: ama: Lauritsen AB. Energies of dilute Fermi gases and universalities in BCS theory. 2024. doi:10.15479/at:ista:18135 apa: Lauritsen, A. B. (2024). Energies of dilute Fermi gases and universalities in BCS theory. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18135 chicago: Lauritsen, Asbjørn Bækgaard. “Energies of Dilute Fermi Gases and Universalities in BCS Theory.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18135. ieee: A. B. Lauritsen, “Energies of dilute Fermi gases and universalities in BCS theory,” Institute of Science and Technology Austria, 2024. ista: Lauritsen AB. 2024. Energies of dilute Fermi gases and universalities in BCS theory. Institute of Science and Technology Austria. mla: Lauritsen, Asbjørn Bækgaard. Energies of Dilute Fermi Gases and Universalities in BCS Theory. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18135. short: A.B. Lauritsen, Energies of Dilute Fermi Gases and Universalities in BCS Theory, Institute of Science and Technology Austria, 2024. corr_author: '1' das_tickbox: '0' date_created: 2024-09-24T10:56:25Z date_published: 2024-09-23T00:00:00Z date_updated: 2026-10-02T11:43:01Z day: '23' ddc: - '515' - '539' degree_awarded: PhD department: - _id: GradSch - _id: RoSe doi: 10.15479/at:ista:18135 doi_confirm: '1' ec_funded: 1 file: - access_level: open_access checksum: c7bc3b31e430d57c65393051ca439575 content_type: application/pdf creator: alaurits date_created: 2024-09-26T13:11:24Z date_updated: 2024-09-26T13:11:24Z file_id: '18147' file_name: Lauritsen-thesis-final.pdf file_size: 3648831 relation: main_file success: 1 - access_level: closed checksum: 39f6b1b7f83e25a3bf9f933f1ea0bc06 content_type: application/x-zip-compressed creator: alaurits date_created: 2024-09-26T13:12:55Z date_updated: 2024-09-26T13:12:55Z file_id: '18148' file_name: Lauritsen-thesis-source.zip file_size: 1625888 relation: source_file file_date_updated: 2024-09-26T13:12:55Z fulldoi: https://doi.org/10.15479/at:ista:18135 has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '353' project: - _id: bda63fe5-d553-11ed-ba76-a16e3d2f256b grant_number: I06427 name: Mathematical Challenges in BCS Theory of Superconductivity - _id: 25C6DC12-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '694227' name: Analysis of quantum many-body systems publication_identifier: isbn: - 978-3-99078-042-8 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '11732' relation: part_of_dissertation status: public - id: '17240' relation: part_of_dissertation status: public - id: '14931' relation: part_of_dissertation status: public - id: '14542' relation: part_of_dissertation status: public - id: '18107' relation: part_of_dissertation status: public researchdata_availability: no status: public supervisor: - first_name: Robert full_name: Seiringer, Robert id: 4AFD0470-F248-11E8-B48F-1D18A9856A87 last_name: Seiringer orcid: 0000-0002-6781-0521 supplementarymaterial: no title: Energies of dilute Fermi gases and universalities in BCS theory tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: dissertation user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 year: '2024' ... --- OA_place: publisher OA_type: hybrid _id: '14542' abstract: - lang: eng text: "It is a remarkable property of BCS theory that the ratio of the energy gap at zero temperature Ξ\r\n and the critical temperature Tc is (approximately) given by a universal constant, independent of the microscopic details of the fermionic interaction. This universality has rigorously been proven quite recently in three spatial dimensions and three different limiting regimes: weak coupling, low density and high density. The goal of this short note is to extend the universal behavior to lower dimensions d=1,2 and give an exemplary proof in the weak coupling limit." acknowledgement: We thank Robert Seiringer for comments on the paper. J. H. gratefully acknowledges partial financial support by the ERC Advanced Grant “RMTBeyond”No. 101020331.This research was funded in part by the Austrian Science Fund (FWF) grantnumber I6427. article_number: '2360005 ' article_processing_charge: Yes (in subscription journal) article_type: original arxiv: 1 author: - first_name: Sven Joscha full_name: Henheik, Sven Joscha id: 31d731d7-d235-11ea-ad11-b50331c8d7fb last_name: Henheik orcid: 0000-0003-1106-327X - first_name: Asbjørn Bækgaard full_name: Lauritsen, Asbjørn Bækgaard id: e1a2682f-dc8d-11ea-abe3-81da9ac728f1 last_name: Lauritsen orcid: 0000-0003-4476-2288 - first_name: Barbara full_name: Roos, Barbara id: 5DA90512-D80F-11E9-8994-2E2EE6697425 last_name: Roos orcid: 0000-0002-9071-5880 citation: ama: Henheik SJ, Lauritsen AB, Roos B. Universality in low-dimensional BCS theory. Reviews in Mathematical Physics. 2024;36(9). doi:10.1142/s0129055x2360005x apa: Henheik, S. J., Lauritsen, A. B., & Roos, B. (2024). Universality in low-dimensional BCS theory. Reviews in Mathematical Physics. World Scientific Publishing. https://doi.org/10.1142/s0129055x2360005x chicago: Henheik, Sven Joscha, Asbjørn Bækgaard Lauritsen, and Barbara Roos. “Universality in Low-Dimensional BCS Theory.” Reviews in Mathematical Physics. World Scientific Publishing, 2024. https://doi.org/10.1142/s0129055x2360005x. ieee: S. J. Henheik, A. B. Lauritsen, and B. Roos, “Universality in low-dimensional BCS theory,” Reviews in Mathematical Physics, vol. 36, no. 9. World Scientific Publishing, 2024. ista: Henheik SJ, Lauritsen AB, Roos B. 2024. Universality in low-dimensional BCS theory. Reviews in Mathematical Physics. 36(9), 2360005. mla: Henheik, Sven Joscha, et al. “Universality in Low-Dimensional BCS Theory.” Reviews in Mathematical Physics, vol. 36, no. 9, 2360005, World Scientific Publishing, 2024, doi:10.1142/s0129055x2360005x. short: S.J. Henheik, A.B. Lauritsen, B. Roos, Reviews in Mathematical Physics 36 (2024). corr_author: '1' das_tickbox: '0' date_created: 2023-11-15T23:48:14Z date_published: 2024-10-01T00:00:00Z date_updated: 2026-10-02T11:43:00Z day: '01' ddc: - '510' department: - _id: GradSch - _id: LaEr - _id: RoSe doi: 10.1142/s0129055x2360005x ec_funded: 1 external_id: arxiv: - '2301.05621' isi: - '001099640300002' file: - access_level: open_access checksum: 2b053a4223b4db14b90520999ec56054 content_type: application/pdf creator: dernst date_created: 2025-01-09T07:56:28Z date_updated: 2025-01-09T07:56:28Z file_id: '18786' file_name: 2024_ReviewsmathPhysics_Henheik.pdf file_size: 503910 relation: main_file success: 1 file_date_updated: 2025-01-09T07:56:28Z fulldoi: https://doi.org/10.1142/s0129055x2360005x has_accepted_license: '1' intvolume: ' 36' isi: 1 issue: '9' language: - iso: eng month: '10' oa: 1 oa_version: Published Version project: - _id: 62796744-2b32-11ec-9570-940b20777f1d call_identifier: H2020 grant_number: '101020331' name: Random matrices beyond Wigner-Dyson-Mehta - _id: bda63fe5-d553-11ed-ba76-a16e3d2f256b grant_number: I06427 name: Mathematical Challenges in BCS Theory of Superconductivity publication: Reviews in Mathematical Physics publication_identifier: eissn: - 1793-6659 issn: - 0129-055X publication_status: published publisher: World Scientific Publishing quality_controlled: '1' related_material: record: - id: '19540' relation: dissertation_contains status: public - id: '18135' relation: dissertation_contains status: public researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: Universality in low-dimensional BCS theory tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 36 year: '2024' ... --- _id: '18107' abstract: - lang: eng text: We consider a dilute fully spin-polarized Fermi gas at positive temperature in dimensions d∈{1,2,3} . We show that the pressure of the interacting gas is bounded from below by that of the free gas plus, to leading order, an explicit term of order adρ2+2/d, where a is the p-wave scattering length of the repulsive interaction and ρ is the particle density. The results are valid for a wide range of repulsive interactions, including that of a hard core, and uniform in temperatures at most of the order of the Fermi temperature. A central ingredient in the proof is a rigorous implementation of the fermionic cluster expansion of Gaudin, Gillespie and Ripka (Nucl. Phys. A, 176.2 (1971), pp. 237–260). acknowledgement: 'Financial support by the Austrian Science Fund (FWF) through grant DOI: 10.55776/I6427 (as part of the SFB/TRR 352) is gratefully acknowledged.' article_number: e78 article_processing_charge: Yes article_type: original arxiv: 1 author: - first_name: Asbjørn Bækgaard full_name: Lauritsen, Asbjørn Bækgaard id: e1a2682f-dc8d-11ea-abe3-81da9ac728f1 last_name: Lauritsen orcid: 0000-0003-4476-2288 - first_name: Robert full_name: Seiringer, Robert id: 4AFD0470-F248-11E8-B48F-1D18A9856A87 last_name: Seiringer orcid: 0000-0002-6781-0521 citation: ama: 'Lauritsen AB, Seiringer R. Pressure of a dilute spin-polarized Fermi gas: Lower bound. Forum of Mathematics, Sigma. 2024;12. doi:10.1017/fms.2024.56' apa: 'Lauritsen, A. B., & Seiringer, R. (2024). Pressure of a dilute spin-polarized Fermi gas: Lower bound. Forum of Mathematics, Sigma. Cambridge University Press. https://doi.org/10.1017/fms.2024.56' chicago: 'Lauritsen, Asbjørn Bækgaard, and Robert Seiringer. “Pressure of a Dilute Spin-Polarized Fermi Gas: Lower Bound.” Forum of Mathematics, Sigma. Cambridge University Press, 2024. https://doi.org/10.1017/fms.2024.56.' ieee: 'A. B. Lauritsen and R. Seiringer, “Pressure of a dilute spin-polarized Fermi gas: Lower bound,” Forum of Mathematics, Sigma, vol. 12. Cambridge University Press, 2024.' ista: 'Lauritsen AB, Seiringer R. 2024. Pressure of a dilute spin-polarized Fermi gas: Lower bound. Forum of Mathematics, Sigma. 12, e78.' mla: 'Lauritsen, Asbjørn Bækgaard, and Robert Seiringer. “Pressure of a Dilute Spin-Polarized Fermi Gas: Lower Bound.” Forum of Mathematics, Sigma, vol. 12, e78, Cambridge University Press, 2024, doi:10.1017/fms.2024.56.' short: A.B. Lauritsen, R. Seiringer, Forum of Mathematics, Sigma 12 (2024). corr_author: '1' das_tickbox: '0' date_created: 2024-09-20T12:25:25Z date_published: 2024-09-09T00:00:00Z date_updated: 2026-10-02T11:43:00Z day: '09' ddc: - '510' department: - _id: GradSch - _id: RoSe doi: 10.1017/fms.2024.56 external_id: arxiv: - '2407.05990' isi: - '001307817400001' file: - access_level: open_access checksum: 330b881240013213a8e08538fec13d29 content_type: application/pdf creator: dernst date_created: 2024-09-23T09:56:17Z date_updated: 2024-09-23T09:56:17Z file_id: '18126' file_name: 2024_ForumMath_Lauritsen.pdf file_size: 599886 relation: main_file success: 1 file_date_updated: 2024-09-23T09:56:17Z fulldoi: https://doi.org/10.1017/fms.2024.56 has_accepted_license: '1' intvolume: ' 12' isi: 1 language: - iso: eng month: '09' oa: 1 oa_version: Published Version project: - _id: bda63fe5-d553-11ed-ba76-a16e3d2f256b grant_number: I06427 name: Mathematical Challenges in BCS Theory of Superconductivity publication: Forum of Mathematics, Sigma publication_identifier: issn: - 2050-5094 publication_status: published publisher: Cambridge University Press quality_controlled: '1' related_material: record: - id: '18135' relation: dissertation_contains status: public researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: 'Pressure of a dilute spin-polarized Fermi gas: Lower bound' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 12 year: '2024' ... --- OA_place: publisher OA_type: free access _id: '18443' abstract: - lang: eng text: "In [KW06] Kapustin and Witten conjectured that there is a mirror symmetry relation between\r\nthe hyperkähler structures on certain Higgs bundle moduli spaces. As a consequence, they\r\nconjecture an equivalence between categories of BBB and BAA-branes. At the classical\r\nlevel, this mirror symmetry is given by T-duality between semi-flat hyperkähler structures on\r\nalgebraic integrable systems.\r\nIn this thesis, we investigate the T-duality relation between hyperkähler structures and the\r\ncorresponding branes on affine torus bundles. We use the techniques of generalized geometry\r\nto show that semi-flat hyperkähler structures are T-dual on algebraic integrable systems.\r\nWe also describe T-duality for generalized branes. Motivated by Fourier-Mukai transform\r\nwe upgrade the T-duality between generalized branes to T-duality of submanifolds endowed\r\nwith U(1)-bundles and connections. This T-duality in the appropriate context specializes to\r\nT-duality between BBB and BAA-branes.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Maria A full_name: Sisak, Maria A id: 44A03D04-AEA4-11E9-B225-EA2DE6697425 last_name: Sisak citation: ama: Sisak MA. T-dual branes on hyperkähler manifolds. 2024. doi:10.15479/at:ista:18443 apa: Sisak, M. A. (2024). T-dual branes on hyperkähler manifolds. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18443 chicago: Sisak, Maria A. “T-Dual Branes on Hyperkähler Manifolds.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18443. ieee: M. A. Sisak, “T-dual branes on hyperkähler manifolds,” Institute of Science and Technology Austria, 2024. ista: Sisak MA. 2024. T-dual branes on hyperkähler manifolds. Institute of Science and Technology Austria. mla: Sisak, Maria A. T-Dual Branes on Hyperkähler Manifolds. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18443. short: M.A. Sisak, T-Dual Branes on Hyperkähler Manifolds, Institute of Science and Technology Austria, 2024. corr_author: '1' das_tickbox: '0' date_created: 2024-10-19T12:00:37Z date_published: 2024-10-24T00:00:00Z date_updated: 2026-10-02T11:43:57Z day: '24' ddc: - '516' degree_awarded: PhD department: - _id: GradSch - _id: TaHa doi: 10.15479/at:ista:18443 doi_confirm: '1' file: - access_level: open_access checksum: 8c4893e726aaa4b3efb82758da9b6851 content_type: application/pdf creator: msisak date_created: 2024-10-23T14:42:45Z date_updated: 2024-10-23T14:42:45Z file_id: '18467' file_name: MASisak_dissertation.pdf file_size: 1672547 relation: main_file success: 1 - access_level: closed checksum: 1831b072e861a1e5481024ca9d02b036 content_type: application/x-zip-compressed creator: msisak date_created: 2024-10-23T14:43:56Z date_updated: 2024-10-24T08:09:13Z file_id: '18468' file_name: MASisak_source.zip file_size: 617913 relation: source_file file_date_updated: 2024-10-24T08:09:13Z fulldoi: https://doi.org/10.15479/at:ista:18443 has_accepted_license: '1' keyword: - hyperkaehler geometry - branes - mirror symmetry - T-duality language: - iso: eng month: '10' oa: 1 oa_version: Published Version page: '178' project: - _id: 6286e8c4-2b32-11ec-9570-f5297902f67f grant_number: '26069' name: Branes on hyperkähler manifolds publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria researchdata_availability: no status: public supervisor: - first_name: Tamás full_name: Hausel, Tamás id: 4A0666D8-F248-11E8-B48F-1D18A9856A87 last_name: Hausel orcid: 0000-0002-9582-2634 supplementarymaterial: no title: T-dual branes on hyperkähler manifolds tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: dissertation user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 year: '2024' ... --- APC_amount: 2748 EUR OA_place: publisher OA_type: hybrid _id: '17634' abstract: - lang: eng text: System behaviors are traditionally evaluated through binary classifications of correctness, which do not suffice for properties involving quantitative aspects of systems and executions. Quantitative automata offer a more nuanced approach, mapping each execution to a real number by incorporating weighted transitions and value functions generalizing acceptance conditions. In this paper, we introduce QuAK, the first tool designed to automate the analysis of quantitative automata. QuAK currently supports a variety of quantitative automaton types, including Inf, Sup, LimInf, LimSup, LimInfAvg, and LimSupAvg automata, and implements decision procedures for problems such as emptiness, universality, inclusion, equivalence, as well as for checking whether an automaton is safe, live, or constant. Additionally, QuAK is able to compute extremal values when possible, construct safety-liveness decompositions, and monitor system behaviors. We demonstrate the effectiveness of QuAK through experiments focusing on the inclusion, constant-function check, and monitoring problems. acknowledgement: This work was supported in part by the ERC-2020-AdG 101020093. N. Mazzocchi was affiliated with ISTA when his collaboration started. alternative_title: - LNCS article_processing_charge: Yes (in subscription journal) arxiv: 1 author: - first_name: Marek full_name: Chalupa, Marek id: 87e34708-d6c6-11ec-9f5b-9391e7be2463 last_name: Chalupa - first_name: Thomas A full_name: Henzinger, Thomas A id: 40876CD8-F248-11E8-B48F-1D18A9856A87 last_name: Henzinger orcid: 0000-0002-2985-7724 - first_name: Nicolas Adrien full_name: Mazzocchi, Nicolas Adrien id: b26baa86-3308-11ec-87b0-8990f34baa85 last_name: Mazzocchi - first_name: Naci E full_name: Sarac, Naci E id: 8C6B42F8-C8E6-11E9-A03A-F2DCE5697425 last_name: Sarac citation: ama: 'Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. QuAK: Quantitative Automata Kit. In: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. Vol 15222. Springer Nature; 2024:3-20. doi:10.1007/978-3-031-75387-9_1' apa: 'Chalupa, M., Henzinger, T. A., Mazzocchi, N. A., & Sarac, N. E. (2024). QuAK: Quantitative Automata Kit. In 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (Vol. 15222, pp. 3–20). Crete, Greece: Springer Nature. https://doi.org/10.1007/978-3-031-75387-9_1' chicago: 'Chalupa, Marek, Thomas A Henzinger, Nicolas Adrien Mazzocchi, and Naci E Sarac. “QuAK: Quantitative Automata Kit.” In 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, 15222:3–20. Springer Nature, 2024. https://doi.org/10.1007/978-3-031-75387-9_1.' ieee: 'M. Chalupa, T. A. Henzinger, N. A. Mazzocchi, and N. E. Sarac, “QuAK: Quantitative Automata Kit,” in 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Crete, Greece, 2024, vol. 15222, pp. 3–20.' ista: 'Chalupa M, Henzinger TA, Mazzocchi NA, Sarac NE. 2024. QuAK: Quantitative Automata Kit. 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation. ISoLA: International Symposium on Leveraging Applications, LNCS, vol. 15222, 3–20.' mla: 'Chalupa, Marek, et al. “QuAK: Quantitative Automata Kit.” 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, vol. 15222, Springer Nature, 2024, pp. 3–20, doi:10.1007/978-3-031-75387-9_1.' short: M. Chalupa, T.A. Henzinger, N.A. Mazzocchi, N.E. Sarac, in:, 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, Springer Nature, 2024, pp. 3–20. conference: end_date: 2024-10-31 location: Crete, Greece name: 'ISoLA: International Symposium on Leveraging Applications' start_date: 2024-10-27 corr_author: '1' das_tickbox: '0' date_created: 2024-09-05T14:27:08Z date_published: 2024-10-26T00:00:00Z date_updated: 2026-10-02T11:44:52Z day: '26' ddc: - '000' department: - _id: GradSch - _id: ToHe doi: 10.1007/978-3-031-75387-9_1 ec_funded: 1 external_id: arxiv: - '2409.03569' isi: - '001419008700001' file: - access_level: open_access checksum: 43e432f82be376434b358f3dd7a94b71 content_type: application/pdf creator: esarac date_created: 2024-09-05T14:26:02Z date_updated: 2024-09-05T14:26:02Z file_id: '17635' file_name: isola24.pdf file_size: 847422 relation: main_file success: 1 - access_level: open_access checksum: 6bc04f07bb5612c0e7ea00ac121a69b6 content_type: application/pdf creator: dernst date_created: 2025-01-21T14:39:49Z date_updated: 2025-01-21T14:39:49Z file_id: '18865' file_name: 2024_LNCS_Chalupa.pdf file_size: 1358706 relation: main_file success: 1 file_date_updated: 2025-01-21T14:39:49Z fulldoi: https://doi.org/10.1007/978-3-031-75387-9_1 has_accepted_license: '1' intvolume: ' 15222' isi: 1 language: - iso: eng month: '10' oa: 1 oa_version: Published Version page: 3-20 project: - _id: 62781420-2b32-11ec-9570-8d9b63373d4d call_identifier: H2020 grant_number: '101020093' name: Vigilant Algorithmic Monitoring of Software publication: 12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation publication_identifier: eissn: - 1611-3349 isbn: - '9783031753862' issn: - 0302-9743 publication_status: published publisher: Springer Nature quality_controlled: '1' related_material: record: - id: '20147' relation: dissertation_contains status: public researchdata_availability: no scopus_import: '1' status: public supplementarymaterial: no title: 'QuAK: Quantitative Automata Kit' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: conference user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 15222 year: '2024' ... --- OA_place: publisher _id: '18132' abstract: - lang: eng text: "In this thesis, we are dealing with both arithmetic and geometric problems coming from the\r\nstudy of rational points with a particular focus on function fields over finite fields:\r\n(1) Using the circle method we produce upper bounds for the number of rational points of\r\nbounded height on diagonal cubic surfaces and fourfolds over Fq(t). This is based on\r\njoint work with Leonhard Hochfilzer.\r\n(2) We study rational points on smooth complete intersections X defined by cubic and\r\nquadratic hypersurfaces over Fq(t). We refine the Farey dissection of the “unit square”\r\ndeveloped by Vishe [202] and use the circle method with a Kloosterman refinement to\r\nestablish an asymptotic formula for the number of rational points of bounded height on\r\nX when dim(X) ≥ 23. Under the same hypotheses, we also verify weak approximation.\r\n(3) In joint work with Hochfilzer, we obtain upper bounds for the number of rational points of\r\nbounded height on del Pezzo surfaces of low degree over any global field. Our approach\r\nis to take hyperplane sections, which reduces the problem to uniform estimates for the\r\nnumber of rational points on curves.\r\n(4) We develop a version of the circle method capable of counting Fq-points on jet schemes\r\nof moduli spaces of rational curves on hypersurfaces. Combining this with a spreading\r\nout argument and a result of Mustaţă [150], this allows us to show that these moduli\r\nspaces only have canonical singularities under suitable assumptions on the degree and the\r\ndimension.\r\nIn addition, we give an overview of guiding questions and conjectures in the field of rational\r\npoints and explain the basic mechanism underlying the circle method.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Jakob full_name: Glas, Jakob id: d6423cba-dc74-11ea-a0a7-ee61689ff5fb last_name: Glas citation: ama: Glas J. Counting rational points over function fields. 2024. doi:10.15479/at:ista:18132 apa: Glas, J. (2024). Counting rational points over function fields. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18132 chicago: Glas, Jakob. “Counting Rational Points over Function Fields.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18132. ieee: J. Glas, “Counting rational points over function fields,” Institute of Science and Technology Austria, 2024. ista: Glas J. 2024. Counting rational points over function fields. Institute of Science and Technology Austria. mla: Glas, Jakob. Counting Rational Points over Function Fields. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18132. short: J. Glas, Counting Rational Points over Function Fields, Institute of Science and Technology Austria, 2024. corr_author: '1' das_tickbox: '0' date_created: 2024-09-23T18:58:08Z date_published: 2024-09-23T00:00:00Z date_updated: 2026-10-02T11:44:29Z day: '23' ddc: - '512' degree_awarded: PhD department: - _id: GradSch - _id: TiBr doi: 10.15479/at:ista:18132 doi_confirm: '1' file: - access_level: closed checksum: 2f8cf5cefdab108b1979caa8146cae9a content_type: application/x-zip-compressed creator: jglas date_created: 2024-09-23T18:49:22Z date_updated: 2024-09-23T18:49:22Z file_id: '18133' file_name: PhDthesis (3).zip file_size: 5382106 relation: source_file - access_level: open_access checksum: 08bb6f14c42b47ff25882a2ce3ea0d8a content_type: application/pdf creator: jglas date_created: 2024-09-25T14:08:57Z date_updated: 2024-09-25T14:08:57Z file_id: '18140' file_name: example-phd.pdf file_size: 2380127 relation: main_file success: 1 file_date_updated: 2024-09-25T14:08:57Z fulldoi: https://doi.org/10.15479/at:ista:18132 has_accepted_license: '1' language: - iso: eng month: '09' oa: 1 oa_version: Published Version page: '195' project: - _id: bd8a4fdc-d553-11ed-ba76-80a0167441a3 grant_number: P36278 name: Rational curves via function field analytic number theory publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '18173' relation: part_of_dissertation status: public - id: '18295' relation: part_of_dissertation status: public - id: '18294' relation: part_of_dissertation status: public - id: '18293' relation: part_of_dissertation status: public researchdata_availability: no status: public supervisor: - first_name: Timothy D full_name: Browning, Timothy D id: 35827D50-F248-11E8-B48F-1D18A9856A87 last_name: Browning orcid: 0000-0002-8314-0177 supplementarymaterial: no title: Counting rational points over function fields tmp: image: /images/cc_by_nc.png legal_code_url: https://creativecommons.org/licenses/by-nc/4.0/legalcode name: Creative Commons Attribution-NonCommercial 4.0 International (CC BY-NC 4.0) short: CC BY-NC (4.0) type: dissertation user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 year: '2024' ... --- OA_place: publisher _id: '18667' abstract: - lang: eng text: "Many chemical and physical properties of materials are determined by the material’s shape,\r\nfor example the size of its pores and the width of its tunnels. This makes materials science\r\na prime application area for geometrical and topological methods. Nevertheless many\r\nmethods in topological data analysis have not been satisfyingly extended to the needs of\r\nmaterials science. This thesis provides new methods and new mathematical theorems\r\ntargeted at those specific needs by answering four different research questions. While the\r\nmotivation for each of the research questions arises from materials science, the methods\r\nare versatile and can be applied in different areas as well. \r\n\r\nThe first research question is concerned with image data, for example a three-dimensional\r\ncomputed tomography (CT) scan of a material, like sand or stone. There are two commonly\r\nused topologies for digital images and depending on the application either of them might be\r\nrequired. However, software for computing the topological data analysis method persistence\r\nhomology, usually supports only one of the two topologies. We answer the question how to\r\ncompute persistent homology of an image with respect to one of the two topologies using\r\nsoftware that is intended for the other topology. \r\n\r\nThe second research question is concerned with image data as well, and asks how much\r\nof the topological information of an image is lost when the resolution is coarsened. As\r\ncomputer tomography scanners are more expensive the higher the resolution, it is an\r\nimportant question in materials science to know which resolution is enough to get satisfying\r\npersistent homology. We give theoretical bounds on the information loss based on different\r\ngeometrical properties of the object to be scanned. In addition, we conduct experiments on\r\nsand and stone CT image data. \r\n\r\nThe third research question is motivated by comparing crystalline materials efficiently. As\r\nthe atoms within a crystal repeat periodically, crystalline materials are either modeled by\r\nunmanageable infinite periodic point sets, or by one of their fundamental domains, which is\r\nunstable under perturbation. Therefore a fingerprint of crystalline materials is needed, with\r\nappropriate properties such that comparing the crystals can be eased by comparing the\r\nfingerprints instead. We define the density fingerprint and prove the necessary properties. \r\n\r\nThe fourth research question is motivated by studying the hole-structure or connectedness,\r\ni.e. persistent homology or merge trees, of crystalline materials. A common way to deal\r\nwith periodicity is to take a fundamental domain and identify opposite boundaries to form a\r\ntorus. However, computing persistent homology or merge trees on that torus loses some\r\nof the information materials scientists are interested in and is additionally not stable under\r\ncertain noise. We therefore decorate the merge tree stemming from the torus with additional\r\ninformation describing the density and growth rate of the periodic copies of a component\r\nwithin a growing spherical window. We prove all desired properties, like stability and efficient\r\ncomputability." acknowledgement: "I was supported by the European Research Council (ERC) Horizon 2020 project\r\n“Alpha Shape Theory Extended” No. 788183 and by the Pöttinger Scholarship. In addition,\r\nI am very thankful for having been able to attend the second Workshop for Women in\r\nComputational Topology in July 2019, funded by the Mathematical Sciences Institute at\r\nANU, the US National Science Foundation through the award CCF-1841455, the Australian\r\nMathematical Sciences Institute and the Association for Women in Mathematics. Two of the\r\nprojects presented in this thesis started there. One of them reached completion thanks to\r\nfunding from the MSRI Summer Research in Mathematics program awarded to me and my\r\ncollaborators in 2020." alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Teresa full_name: Heiss, Teresa id: 4879BB4E-F248-11E8-B48F-1D18A9856A87 last_name: Heiss orcid: 0000-0002-1780-2689 citation: ama: Heiss T. New methods for applying topological data analysis to materials science. 2024. doi:10.15479/at:ista:18667 apa: Heiss, T. (2024). New methods for applying topological data analysis to materials science. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:18667 chicago: Heiss, Teresa. “New Methods for Applying Topological Data Analysis to Materials Science.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:18667. ieee: T. Heiss, “New methods for applying topological data analysis to materials science,” Institute of Science and Technology Austria, 2024. ista: Heiss T. 2024. New methods for applying topological data analysis to materials science. Institute of Science and Technology Austria. mla: Heiss, Teresa. New Methods for Applying Topological Data Analysis to Materials Science. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:18667. short: T. Heiss, New Methods for Applying Topological Data Analysis to Materials Science, Institute of Science and Technology Austria, 2024. corr_author: '1' das_tickbox: '0' date_created: 2024-12-17T16:17:55Z date_published: 2024-12-17T00:00:00Z date_updated: 2026-10-02T11:55:42Z day: '17' ddc: - '514' - '516' - '004' degree_awarded: PhD department: - _id: GradSch - _id: HeEd doi: 10.15479/at:ista:18667 doi_confirm: '1' ec_funded: 1 file: - access_level: open_access checksum: 247bb057aed2fba1cd4711917aaa2d77 content_type: application/pdf creator: theiss date_created: 2024-12-19T10:24:46Z date_updated: 2024-12-19T10:24:46Z file_id: '18686' file_name: Teresa_Heiss_PhD_Thesis_final.pdf file_size: 7752253 relation: main_file success: 1 - access_level: closed checksum: 9648b45c07a008ee11a07f99856a139d content_type: application/zip creator: theiss date_created: 2024-12-19T10:24:50Z date_updated: 2024-12-19T10:24:50Z file_id: '18687' file_name: PhD_Thesis.zip file_size: 17197731 relation: source_file file_date_updated: 2024-12-19T10:24:50Z fulldoi: https://doi.org/10.15479/at:ista:18667 has_accepted_license: '1' keyword: - persistent homology - topological data analysis - periodic - crystalline materials - images - fingerprint language: - iso: eng month: '12' oa: 1 oa_version: Published Version page: '111' project: - _id: 266A2E9E-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '788183' name: Alpha Shape Theory Extended publication_identifier: isbn: - 978-3-99078-052-7 issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '10828' relation: part_of_dissertation status: public - id: '11440' relation: part_of_dissertation status: public - id: '9345' relation: part_of_dissertation status: public - id: '18673' relation: part_of_dissertation status: public researchdata_availability: no status: public supervisor: - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 supplementarymaterial: no title: New methods for applying topological data analysis to materials science tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: dissertation user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 year: '2024' ... --- OA_place: publisher _id: '15094' abstract: - lang: eng text: "Point sets, geometric networks, and arrangements of hyperplanes are fundamental objects in\r\ndiscrete geometry that have captivated mathematicians for centuries, if not millennia. This\r\nthesis seeks to cast new light on these structures by illustrating specific instances where a\r\ntopological perspective, specifically through discrete Morse theory and persistent homology,\r\nprovides valuable insights.\r\n\r\nAt first glance, the topology of these geometric objects might seem uneventful: point sets\r\nessentially lack of topology, arrangements of hyperplanes are a decomposition of Rd, which\r\nis a contractible space, and the topology of a network primarily involves the enumeration\r\nof connected components and cycles within the network. However, beneath this apparent\r\nsimplicity, there lies an array of intriguing structures, a small subset of which will be uncovered\r\nin this thesis.\r\n\r\nFocused on three case studies, each addressing one of the mentioned objects, this work\r\nwill showcase connections that intertwine topology with diverse fields such as combinatorial\r\ngeometry, algorithms and data structures, and emerging applications like spatial biology.\r\n\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Sebastiano full_name: Cultrera di Montesano, Sebastiano id: 34D2A09C-F248-11E8-B48F-1D18A9856A87 last_name: Cultrera di Montesano orcid: 0000-0001-6249-0832 citation: ama: Cultrera di Montesano S. Persistence and Morse theory for discrete geometric structures. 2024. doi:10.15479/at:ista:15094 apa: Cultrera di Montesano, S. (2024). Persistence and Morse theory for discrete geometric structures. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:15094 chicago: Cultrera di Montesano, Sebastiano. “Persistence and Morse Theory for Discrete Geometric Structures.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:15094. ieee: S. Cultrera di Montesano, “Persistence and Morse theory for discrete geometric structures,” Institute of Science and Technology Austria, 2024. ista: Cultrera di Montesano S. 2024. Persistence and Morse theory for discrete geometric structures. Institute of Science and Technology Austria. mla: Cultrera di Montesano, Sebastiano. Persistence and Morse Theory for Discrete Geometric Structures. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:15094. short: S. Cultrera di Montesano, Persistence and Morse Theory for Discrete Geometric Structures, Institute of Science and Technology Austria, 2024. corr_author: '1' das_tickbox: '0' date_created: 2024-03-08T15:28:10Z date_published: 2024-03-08T00:00:00Z date_updated: 2026-10-02T11:57:31Z day: '08' ddc: - '514' - '500' - '516' degree_awarded: PhD department: - _id: GradSch - _id: HeEd doi: 10.15479/at:ista:15094 doi_confirm: '1' ec_funded: 1 file: - access_level: open_access checksum: 1e468bfa42a7dcf04d89f4dadc621c87 content_type: application/pdf creator: scultrer date_created: 2024-03-14T08:55:07Z date_updated: 2024-03-14T08:55:07Z file_id: '15112' file_name: Thesis Sebastiano.pdf file_size: 4106872 relation: main_file success: 1 - access_level: closed checksum: bcbd213490f5a7e68855a092bbce93f1 content_type: application/zip creator: scultrer date_created: 2024-03-14T08:56:24Z date_updated: 2024-03-14T14:14:35Z file_id: '15113' file_name: Thesis (1).zip file_size: 4746234 relation: source_file file_date_updated: 2024-03-14T14:14:35Z fulldoi: https://doi.org/10.15479/at:ista:15094 has_accepted_license: '1' language: - iso: eng month: '03' oa: 1 oa_version: Published Version page: '108' project: - _id: 266A2E9E-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '788183' name: Alpha Shape Theory Extended - _id: 268116B8-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: Z00342 name: Mathematics, Computer Science - _id: 0aa4bc98-070f-11eb-9043-e6fff9c6a316 grant_number: I4887 name: Persistent Homology, Algorithms and Stochastic Geometry - _id: 2561EBF4-B435-11E9-9278-68D0E5697425 call_identifier: FWF grant_number: I02979-N35 name: Persistence and stability of geometric complexes publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '15090' relation: part_of_dissertation status: public - id: '11658' relation: part_of_dissertation status: public - id: '11660' relation: part_of_dissertation status: public - id: '13182' relation: part_of_dissertation status: public - id: '15091' relation: part_of_dissertation status: public - id: '15093' relation: part_of_dissertation status: public researchdata_availability: no status: public supervisor: - first_name: Herbert full_name: Edelsbrunner, Herbert id: 3FB178DA-F248-11E8-B48F-1D18A9856A87 last_name: Edelsbrunner orcid: 0000-0002-9823-6833 supplementarymaterial: no title: Persistence and Morse theory for discrete geometric structures tmp: image: /images/cc_by_nc_sa.png legal_code_url: https://creativecommons.org/licenses/by-nc-sa/4.0/legalcode name: Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International (CC BY-NC-SA 4.0) short: CC BY-NC-SA (4.0) type: dissertation user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 year: '2024' ... --- OA_place: publisher _id: '17336' abstract: - lang: eng text: "This thesis deals with the study of stochastic processes and their ergodicity properties. The\r\nvariety of problems encountered calls for a set of different approaches, ranging from classical to\r\nmodern ones: a special place is held by probabilistic methods based on couplings, by functional\r\ninequalities, and by the theory of gradient flows in the space of measures.\r\n\r\nThe material is organized as follows. Chapter 1 contains the introduction to this thesis, starting\r\nwith a general presentation of some of the relevant topics. Section 1.1 is dedicated to the\r\ntheory of gradient flows in metric spaces, and introduces the first contribution of this thesis\r\n[DSMP24], which is presented in detail in Chapter 2. Section 1.2 moves to the topic of\r\ncurvature of Markov chains, concluding with a brief description of our second contribution\r\n[Ped23], which is included in Chapter 3. Section 1.3 discusses applications of stochastic\r\nprocesses to the theory of sampling, in particular the recent framework of score-based diffusion\r\nmodels, and our contribution [PMM24], which is contained in Chapter 4. Section 1.4 discusses\r\nsome related problems, concerning the regularization properties of the heat flow. It serves\r\nas a motivation for the work [BP24], which we report in Chapter 5. Finally, Section 1.5\r\ndiscusses the last contribution of this thesis, which can be found in Chapter 6. It deals with\r\nthe convergence to equilibrium of a particular stochastic model from quantitative genetics:\r\nthis is established via some functional inequalities, which we prove with probabilistic arguments\r\nbased on couplings.\r\n" alternative_title: - ISTA Thesis article_processing_charge: No author: - first_name: Francesco full_name: Pedrotti, Francesco id: d3ac8ac6-dc8d-11ea-abe3-e2a9628c4c3c last_name: Pedrotti citation: ama: Pedrotti F. Functional inequalities and convergence of stochastic processes. 2024. doi:10.15479/at:ista:17336 apa: Pedrotti, F. (2024). Functional inequalities and convergence of stochastic processes. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:17336 chicago: Pedrotti, Francesco. “Functional Inequalities and Convergence of Stochastic Processes.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:17336. ieee: F. Pedrotti, “Functional inequalities and convergence of stochastic processes,” Institute of Science and Technology Austria, 2024. ista: Pedrotti F. 2024. Functional inequalities and convergence of stochastic processes. Institute of Science and Technology Austria. mla: Pedrotti, Francesco. Functional Inequalities and Convergence of Stochastic Processes. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:17336. short: F. Pedrotti, Functional Inequalities and Convergence of Stochastic Processes, Institute of Science and Technology Austria, 2024. corr_author: '1' das_tickbox: '0' date_created: 2024-07-29T09:14:14Z date_published: 2024-07-31T00:00:00Z date_updated: 2026-10-02T12:22:41Z day: '31' ddc: - '500' - '510' - '515' - '519' degree_awarded: PhD department: - _id: GradSch - _id: JaMa doi: 10.15479/at:ista:17336 doi_confirm: '1' ec_funded: 1 file: - access_level: open_access checksum: 11650bab714ef85ad43a287060850523 content_type: application/pdf creator: fpedrott date_created: 2024-08-02T09:23:26Z date_updated: 2024-08-02T09:23:26Z file_id: '17366' file_name: thesis_final.pdf file_size: 2941599 relation: main_file success: 1 - access_level: closed checksum: c30ba5611941226cf1bfc867c25b1e80 content_type: application/x-zip-compressed creator: fpedrott date_created: 2024-08-02T09:27:15Z date_updated: 2024-08-02T09:27:15Z file_id: '17367' file_name: thesis_final_source.zip file_size: 6293375 relation: source_file file_date_updated: 2024-08-02T09:27:15Z fulldoi: https://doi.org/10.15479/at:ista:17336 has_accepted_license: '1' language: - iso: eng month: '07' oa: 1 oa_version: Published Version page: '183' project: - _id: 256E75B8-B435-11E9-9278-68D0E5697425 call_identifier: H2020 grant_number: '716117' name: Optimal Transport and Stochastic Dynamics - _id: fc31cba2-9c52-11eb-aca3-ff467d239cd2 grant_number: F6504 name: Taming Complexity in Partial Differential Systems publication_identifier: issn: - 2663-337X publication_status: published publisher: Institute of Science and Technology Austria related_material: record: - id: '17351' relation: part_of_dissertation status: public - id: '17143' relation: part_of_dissertation status: public - id: '17352' relation: part_of_dissertation status: public - id: '17353' relation: part_of_dissertation status: public - id: '17350' relation: part_of_dissertation status: public researchdata_availability: no status: public supervisor: - first_name: Jan full_name: Maas, Jan id: 4C5696CE-F248-11E8-B48F-1D18A9856A87 last_name: Maas orcid: 0000-0002-0845-1338 supplementarymaterial: no title: Functional inequalities and convergence of stochastic processes tmp: image: /images/cc_by_nc_nd.png legal_code_url: https://creativecommons.org/licenses/by-nc-nd/4.0/legalcode name: Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International (CC BY-NC-ND 4.0) short: CC BY-NC-ND (4.0) type: dissertation user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 year: '2024' ... --- OA_place: publisher _id: '15352' abstract: - lang: eng text: "Epilepsy affects about 50 to 65 million people globally. It summarizes a spectrum of neurological\r\ndisorders that have in common a hyperactivity of the neuronal network resulting in seizures. A common\r\nassumption is that an imbalance between neuronal excitation and inhibition is a key mechanism in\r\nseizure generation and epileptogeneisis. In at least one-third of the patients, current therapies have\r\nproven unsuccessful in treating seizure progression. One potential reason could be that the therapies\r\nonly focus on neurons. Recent studies suggest that neuronal hyperactivity causes a microglial\r\nresponse, which reinstates brain homeostasis. Additionally, interactions between microglia and neurons\r\nhave been shown to inhibit neuronal firing and dampen seizure activity. However, the exact relationship\r\nbetween microglia and seizure progression in epilepsy is yet to be elucidated. A main bottleneck is that\r\nseveral studies investigate microglia dynamics in ex vivo slice models, which can severely affect the\r\nmicroglia dynamics due to their rapid response to environmental changes. On the other hand, in vivo\r\nstudies focus mostly on behavior characterization of the epileptic seizure phenotype and their long-term\r\nconsequences on microglia activity leaving out the direct consequences of acute seizure activity on\r\nmicroglia dynamics.\r\nHere, we perform a pilot study to combine electroencephalography (EEG) and in vivo live imaging to\r\ndirectly monitor and correlate the onset of seizure activity with microglia response. To induce seizures,\r\nwe take advantage of the kainic acid (KA) model, which represents similar neuropathological and\r\nelectroencephalographic features seen in human patients with temporal lobe epilepsy (TLE). After\r\nconfirmation of induction of the seizure and microglia activity in the hippocampus as a focal point, we\r\ninvestigated whether these changes also reached the primary visual cortex (V1) as a secondary\r\ngeneralized seizure activity. Indeed, we found that microglia changed their morphology at high doses\r\nof KA in the V1. Next, we optimized each of the two methodological components: for the EEG recording,\r\nour initial attempts under the microscope suffered from extensive electrical noise, which overlaid the\r\nactual signal. Thus, we built a customized Faraday-cage and confirmed that the signal-to-noise ratio\r\nwas sufficiently reduced to be able to record brain oscillatory activity. For the in vivo live imaging of\r\nmicroglia, we had to optimize the imaging parameters, so that we would be able to detect microglial\r\nprocesses in a sufficient resolution to track their process changes. Finally, we combined both\r\nmethodologies with the KA model. We confirmed that KA induced seizure activity and found first\r\nindication that those correlate with microglia volume changes.\r\nOverall, we have developed a first methodological approach, which allows the analysis of the acute\r\neffects of seizure onset on microglia. Future studies will have to continue to optimize the drift during\r\nimaging recording and the post-image analysis. " acknowledged_ssus: - _id: Bio - _id: LifeSc - _id: PreCl alternative_title: - ISTA Master's Thesis article_processing_charge: No author: - first_name: Julie Stefanie full_name: Murmann, Julie Stefanie id: 1d390868-f128-11eb-9611-a0ca5f7833b5 last_name: Murmann citation: ama: 'Murmann JS. Investigating acute microglia response to seizure activity in vivo: Combining 2-Photon imaging and EEG recording. 2024. doi:10.15479/at:ista:15352' apa: 'Murmann, J. S. (2024). Investigating acute microglia response to seizure activity in vivo: Combining 2-Photon imaging and EEG recording. Institute of Science and Technology Austria. https://doi.org/10.15479/at:ista:15352' chicago: 'Murmann, Julie Stefanie. “Investigating Acute Microglia Response to Seizure Activity in Vivo: Combining 2-Photon Imaging and EEG Recording.” Institute of Science and Technology Austria, 2024. https://doi.org/10.15479/at:ista:15352.' ieee: 'J. S. Murmann, “Investigating acute microglia response to seizure activity in vivo: Combining 2-Photon imaging and EEG recording,” Institute of Science and Technology Austria, 2024.' ista: 'Murmann JS. 2024. Investigating acute microglia response to seizure activity in vivo: Combining 2-Photon imaging and EEG recording. Institute of Science and Technology Austria.' mla: 'Murmann, Julie Stefanie. Investigating Acute Microglia Response to Seizure Activity in Vivo: Combining 2-Photon Imaging and EEG Recording. Institute of Science and Technology Austria, 2024, doi:10.15479/at:ista:15352.' short: 'J.S. Murmann, Investigating Acute Microglia Response to Seizure Activity in Vivo: Combining 2-Photon Imaging and EEG Recording, Institute of Science and Technology Austria, 2024.' corr_author: '1' date_created: 2024-05-02T08:31:38Z date_published: 2024-05-02T00:00:00Z date_updated: 2026-04-07T13:05:00Z day: '02' ddc: - '570' degree_awarded: MS department: - _id: SaSi - _id: GradSch doi: 10.15479/at:ista:15352 file: - access_level: open_access checksum: 095817a6c944954ac3f277e547031a33 content_type: application/pdf creator: cchlebak date_created: 2024-05-02T12:26:13Z date_updated: 2025-05-02T22:30:04Z embargo: 2025-05-02 file_id: '15354' file_name: Murmann_Thesis_final_2024_2.pdf file_size: 5936142 relation: main_file - access_level: closed checksum: 43b632255372973a437ac87739cfd4db content_type: application/x-zip-compressed creator: cchlebak date_created: 2024-05-02T12:37:56Z date_updated: 2025-05-02T22:30:04Z embargo_to: open_access file_id: '15355' file_name: Murmann_Thesis_final_2024.zip file_size: 20645510 relation: source_file file_date_updated: 2025-05-02T22:30:04Z fulldoi: https://doi.org/10.15479/at:ista:15352 has_accepted_license: '1' language: - iso: eng month: '05' oa: 1 oa_version: Published Version page: '54' publication_identifier: issn: - 2791-4585 publication_status: published publisher: Institute of Science and Technology Austria status: public supervisor: - first_name: Sandra full_name: Siegert, Sandra id: 36ACD32E-F248-11E8-B48F-1D18A9856A87 last_name: Siegert orcid: 0000-0001-8635-0877 title: 'Investigating acute microglia response to seizure activity in vivo: Combining 2-Photon imaging and EEG recording' tmp: image: /images/cc_by.png legal_code_url: https://creativecommons.org/licenses/by/4.0/legalcode name: Creative Commons Attribution 4.0 International Public License (CC-BY 4.0) short: CC BY (4.0) type: dissertation user_id: ba8df636-2132-11f1-aed0-ed93e2281fdd year: '2024' ... --- OA_place: repository OA_type: green _id: '14796' abstract: - lang: eng text: Key innovations are fundamental to biological diversification, but their genetic basis is poorly understood. A recent transition from egg-laying to live-bearing in marine snails (Littorina spp.) provides the opportunity to study the genetic architecture of an innovation that has evolved repeatedly across animals. Individuals do not cluster by reproductive mode in a genome-wide phylogeny, but local genealogical analysis revealed numerous small genomic regions where all live-bearers carry the same core haplotype. Candidate regions show evidence for live-bearer–specific positive selection and are enriched for genes that are differentially expressed between egg-laying and live-bearing reproductive systems. Ages of selective sweeps suggest that live-bearer–specific alleles accumulated over more than 200,000 generations. Our results suggest that new functions evolve through the recruitment of many alleles rather than in a single evolutionary step. acknowledgement: "We thank J. Galindo, M. Montaño-Rendón, N. Mikhailova, A. Blakeslee, E. Arnason, and P. Kemppainen for providing samples; R. Turney, G. Sotelo, J. Larsson, T. Broquet, and S. Loisel for help collecting samples; Science Animated for providing the snail cartoons shown in Fig. 1; M. Dunning for help in developing bioinformatic pipelines; R. Faria, H. Morales, and V. Sousa for advice; and M. Hahn, J. Slate, M. Ravinet, J. Raeymaekers, A. Comeault, and N. Barton for feedback on a draft manuscript.\r\nThis work was supported by the Natural Environment Research Council (grant NE/P001610/1 to R.K.B.), the European Research Council (grant ERC-2015-AdG693030-BARRIERS to R.K.B.), the Norwegian Research Council (RCN Project 315287 to A.M.W.), and the Swedish Research Council (grant 2020-05385 to E.L.)." article_processing_charge: No article_type: original author: - first_name: Sean full_name: Stankowski, Sean id: 43161670-5719-11EA-8025-FABC3DDC885E last_name: Stankowski - first_name: Zuzanna B. full_name: Zagrodzka, Zuzanna B. last_name: Zagrodzka - first_name: Martin D. full_name: Garlovsky, Martin D. last_name: Garlovsky - first_name: Arka full_name: Pal, Arka id: 6AAB2240-CA9A-11E9-9C1A-D9D1E5697425 last_name: Pal orcid: 0000-0002-4530-8469 - first_name: Daria full_name: Shipilina, Daria id: 428A94B0-F248-11E8-B48F-1D18A9856A87 last_name: Shipilina orcid: 0000-0002-1145-9226 - first_name: Diego Fernando full_name: Garcia Castillo, Diego Fernando id: ae681a14-dc74-11ea-a0a7-c6ef18161701 last_name: Garcia Castillo - first_name: Hila full_name: Lifchitz, Hila id: d6ab5470-2fb3-11ed-8633-986a9b84edac last_name: Lifchitz - first_name: Alan full_name: Le Moan, Alan last_name: Le Moan - first_name: Erica full_name: Leder, Erica last_name: Leder - first_name: James full_name: Reeve, James last_name: Reeve - first_name: Kerstin full_name: Johannesson, Kerstin last_name: Johannesson - first_name: Anja M full_name: Westram, Anja M id: 3C147470-F248-11E8-B48F-1D18A9856A87 last_name: Westram orcid: 0000-0003-1050-4969 - first_name: Roger K. full_name: Butlin, Roger K. last_name: Butlin citation: ama: Stankowski S, Zagrodzka ZB, Garlovsky MD, et al. The genetic basis of a recent transition to live-bearing in marine snails. Science. 2024;383(6678):114-119. doi:10.1126/science.adi2982 apa: Stankowski, S., Zagrodzka, Z. B., Garlovsky, M. D., Pal, A., Shipilina, D., Garcia Castillo, D. F., … Butlin, R. K. (2024). The genetic basis of a recent transition to live-bearing in marine snails. Science. American Association for the Advancement of Science. https://doi.org/10.1126/science.adi2982 chicago: Stankowski, Sean, Zuzanna B. Zagrodzka, Martin D. Garlovsky, Arka Pal, Daria Shipilina, Diego Fernando Garcia Castillo, Hila Lifchitz, et al. “The Genetic Basis of a Recent Transition to Live-Bearing in Marine Snails.” Science. American Association for the Advancement of Science, 2024. https://doi.org/10.1126/science.adi2982. ieee: S. Stankowski et al., “The genetic basis of a recent transition to live-bearing in marine snails,” Science, vol. 383, no. 6678. American Association for the Advancement of Science, pp. 114–119, 2024. ista: Stankowski S, Zagrodzka ZB, Garlovsky MD, Pal A, Shipilina D, Garcia Castillo DF, Lifchitz H, Le Moan A, Leder E, Reeve J, Johannesson K, Westram AM, Butlin RK. 2024. The genetic basis of a recent transition to live-bearing in marine snails. Science. 383(6678), 114–119. mla: Stankowski, Sean, et al. “The Genetic Basis of a Recent Transition to Live-Bearing in Marine Snails.” Science, vol. 383, no. 6678, American Association for the Advancement of Science, 2024, pp. 114–19, doi:10.1126/science.adi2982. short: S. Stankowski, Z.B. Zagrodzka, M.D. Garlovsky, A. Pal, D. Shipilina, D.F. Garcia Castillo, H. Lifchitz, A. Le Moan, E. Leder, J. Reeve, K. Johannesson, A.M. Westram, R.K. Butlin, Science 383 (2024) 114–119. corr_author: '1' date_created: 2024-01-14T23:00:56Z date_published: 2024-01-05T00:00:00Z date_updated: 2026-10-04T22:30:41Z day: '05' department: - _id: NiBa - _id: GradSch doi: 10.1126/science.adi2982 external_id: isi: - '001138156400003' pmid: - '38175895' fulldoi: https://doi.org/10.1126/science.adi2982 intvolume: ' 383' isi: 1 issue: '6678' language: - iso: eng main_file_link: - open_access: '1' url: https://figshare.com/articles/journal_contribution/The_genetic_basis_of_a_recent_transition_to_live-bearing_in_marine_snails/26356054?file=47868241 month: '01' oa: 1 oa_version: Submitted Version page: 114-119 pmid: 1 publication: Science publication_identifier: eissn: - 1095-9203 publication_status: published publisher: American Association for the Advancement of Science quality_controlled: '1' related_material: link: - description: News on ISTA Website relation: press_release url: https://ista.ac.at/en/news/the-snail-or-the-egg/ record: - id: '14812' relation: research_data status: public - id: '22905' relation: research_data status: public - id: '20694' relation: dissertation_contains status: public scopus_import: '1' status: public title: The genetic basis of a recent transition to live-bearing in marine snails type: journal_article user_id: 317138e5-6ab7-11ef-aa6d-ffef3953e345 volume: 383 year: '2024' ...