@article{17047, abstract = {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.}, author = {Dubach, Guillaume and Reker, Jana}, issn = {2010-3271}, journal = {Random Matrices: Theory and Applications}, number = {2}, publisher = {World Scientific Publishing}, title = {{Dynamics of a rank-one multiplicative perturbation of a unitary matrix}}, doi = {10.1142/s2010326324500072}, volume = {13}, year = {2024}, } @phdthesis{18568, abstract = {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 becomes 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. For 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. Second, 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 engaged 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.}, author = {Satapathy, Roshan K}, isbn = {978-3-99078-047-3}, issn = {2663-337X}, pages = {114}, publisher = {Institute of Science and Technology Austria}, title = {{Mechanisms of visual integration and competition in innate behaviours in Drosophila melanogaster}}, doi = {10.15479/at:ista:18568}, year = {2024}, } @inproceedings{18890, abstract = {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.}, author = {Beaglehole, Daniel and Súkeník, Peter and Mondelli, Marco and Belkin, Mikhail}, booktitle = {38th Annual Conference on Neural Information Processing Systems}, issn = {1049-5258}, location = {Vancouver, Canada}, publisher = {Neural Information Processing Systems Foundation}, title = {{Average gradient outer product as a mechanism for deep neural collapse}}, volume = {37}, year = {2024}, } @inproceedings{18891, abstract = {Deep neural networks (DNNs) exhibit a surprising structure in their final layer known 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 called deep neural collapse (DNC). However, existing theoretical results are restricted to special cases: linear models, only two layers or binary classification. In 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 layers or two classes, DNC stops being optimal for the deep unconstrained features model (DUFM) – the standard theoretical framework for the analysis of collapse. The main culprit is a low-rank bias of multi-layer regularization schemes: this bias leads to optimal solutions of even lower rank than the neural collapse. We support our theoretical findings with experiments on both DUFM and real data, which show the emergence of the low-rank structure in the solution found by gradient descent.}, author = {Súkeník, Peter and Lampert, Christoph and Mondelli, Marco}, booktitle = {38th Annual Conference on Neural Information Processing Systems}, location = {Vancouver, Canada}, publisher = {Neural Information Processing Systems Foundation}, title = {{Neural collapse versus low-rank bias: Is deep neural collapse really optimal?}}, volume = {37}, year = {2024}, } @phdthesis{18515, abstract = {Understanding the role of evolutionary processes in shaping genetic variation has been a primary goal in evolutionary genetics. In this regard, a key question is how genetically distinct populations evolve in the face of gene flow, thereby generating genetic and phenotypic divergence and reproductive isolation (RI). This requires quantifying the role and relative contributions of prezygotic and postzygotic isolating mechanisms on the reduction of gene exchange between populations, and identifying regions in the genome that mediate RI, which is often polygenic. Further, this needs distinguishing neutral and selected regions in the genome, and discerning how selection influences patterns of neutral divergence. Population structure, defined as any deviation from panmixia, such as geographic distribution, movement and mating patterns of individuals, influences how genetic variation is structured in space and shapes the neutral null model. Availability of large scale spatial genomic datasets now enables us to detect signatures of population structure in genetic data and infer population genetic parameters. Such inferences are crucial and have wide applications in biodiversity, conservation genetics, population management and medical genetics. However, inferences are based on assumptions that do not always match the complex reality, thus leading to erroneous conclusions. Moreover, the role and interaction of heterogeneous population density and dispersal, which are ubiquitous in nature, has been challenging to study owing to their mathematical complexity. In such scenarios, feedback between theory, data and simulations can prove to be useful. In this thesis, I examine the effect of population structure on neutral genetic variation and barriers to gene exchange in hybridising populations, thereby bridging together the fields of spatial population genetics and speciation. Despite being a key concept in speciation, reproductive isolation (RI) lacks a quantitative definition and has been used and measured differently across different fields. Chapter 2 gives a quantitative definition of RI, in terms of the effect of genetic differences on gene flow. 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. In addition to this, we discuss current measures of RI and their limitations, and propose the need for new measures that combine organismal and genetic perspectives of RI. In chapter 3, I examine the combined effect of assortative mating, sexual selection and viability selection on RI. For this, we consider a polygenic ‘magic’ trait under a mainland-island model. We obtain novel theoretical predictions for molecular divergence in terms of effective migration rates, which bears a simple relationship to measurable fitness components of migrants and various early generation hybrids. We explore the conditions under which local adaptation can be maintained despite maladaptive gene flow and quantify the relative contributions of viability and sexual selection to genome-wide barriers to gene flow. The next two chapters of the thesis focus on a hybrid zone of Antirrhinum majus that consist of two subspecies- the magenta flowered A. m. pseudomajus and the yellow flowered A.m. striatum. Previous studies have suggested that flower colour is target of pollinator mediated selection and is influenced only by few genes. While these regions show high genetic differentiation between the subspecies, the rest of the genome is seen to be well mixed. Chapter 4 examines the effects of heterogeneous population density and leptokurtic dispersal on isolation by distance and the distribution of heterozygosity by focusing on non-flower colour markers. Chapter 5 analyses cline shapes and associations among 6 focal flower colour markers to understand how selection and dispersal maintain this hybrid zone. We see sharp coincident stepped clines at all loci and positive associations throughout the hybrid zone, contrary to the expected patterns from diffusive gene flow. With a novel scheme of inferring dispersal combined with multilocus simulations, we show that stepped clines do not reflect genetic barriers to gene flow, but are rather a result of long-distance migration. This framework allows us to get realistic estimates gene flow and selection and shows how traditional cline analysis may lead to inaccurate conclusions when assumptions of the theory are not met. Overall, this thesis investigates how different features of population structure leave detectable signatures in genetic variation, namely in patterns of isolation by distance, linkage disequilibrium and genetic divergence. It also highlights how effective migration rates provide useful way of analysing polygenic architectures and shed new light into hybrid zones. In doing so, I identify scenarios when simple models become insufficient and suggest possibe directions by combining genetic data with simulations.}, author = {Surendranadh, Parvathy}, issn = {2663-337X}, pages = {219}, publisher = {Institute of Science and Technology Austria}, title = {{Effect of population structure on neutral genetic variation and barriers to gene exchange}}, doi = {10.15479/at:ista:18515}, year = {2024}, } @phdthesis{17208, abstract = {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. In 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. In 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. Lastly, 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.}, author = {Medina Ramos, Raimel A}, issn = {2663-337X}, keywords = {Quantum computing, Variational Quantum Algorithms, Optimization}, pages = {133}, publisher = {Institute of Science and Technology Austria}, title = {{Exploring the optimization landscape of variational quantum algorithms}}, doi = {10.15479/at:ista:17208}, year = {2024}, } @article{18087, abstract = {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.}, author = {Maslov, Mikhail and Koutentakis, Georgios and Hrast, Mateja and Heckl, Oliver H. and Lemeshko, Mikhail}, issn = {2643-1564}, journal = {Physical Review Research}, number = {3}, publisher = {American Physical Society}, title = {{Theory of angular momentum transfer from light to molecules}}, doi = {10.1103/physrevresearch.6.033277}, volume = {6}, year = {2024}, } @phdthesis{15020, abstract = {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. Chapter 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? Chapter 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. Chapter 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. Chapter 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.}, author = {Hledik, Michal}, issn = {2663-337X}, keywords = {Theoretical biology, Optimality, Evolution, Information}, pages = {158}, publisher = {Institute of Science and Technology Austria}, title = {{Genetic information and biological optimization}}, doi = {10.15479/at:ista:15020}, year = {2024}, } @phdthesis{17225, abstract = {This thesis describes the development of an atom interferometer designed to exploit the advantages of utilizing quantum entanglement for enhanced precision measurements beyond the standard quantum limit. While the project remains ongoing, significant progress has been made. A key contribution of this work is the development of Quantrol, an experimental control system leveraging the ARTIQ framework. This software enables precise timing and control without requiring prior knowledge of ARTIQ’s implementation details or coding experience. The interface offers user friendly visual comprehension of the experimental sequence and extended capabilities, allowing researchers to scan variables with a simple click of a mouse. The main proposed project is to implement atom interferometric sequence with squeezed input states inside of a dipole trap generated by a high finesse cavity. The presence of the dipole trap allows one dimensional atomic cloud split while maintaining relatively strong confinement in other directions. We are currently able to trap and cool 87Rb atoms to few micro kelvin temperatures, load them into the dipole trap and state prepare them to be used for squeezing and interferometric sequence.}, author = {Li, Vyacheslav}, issn = {2663-337X}, pages = {79}, publisher = {Institute of Science and Technology Austria}, title = {{Towards a quantum entanglement enhanced atom interferomter}}, doi = {10.15479/at:ista:17225}, year = {2024}, } @phdthesis{18135, abstract = {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$ and 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. These 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. In 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$.}, author = {Lauritsen, Asbjørn Bækgaard}, isbn = {978-3-99078-042-8}, issn = {2663-337X}, pages = {353}, publisher = {Institute of Science and Technology Austria}, title = {{Energies of dilute Fermi gases and universalities in BCS theory}}, doi = {10.15479/at:ista:18135}, year = {2024}, } @article{14542, abstract = {It is a remarkable property of BCS theory that the ratio of the energy gap at zero temperature Ξ 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.}, author = {Henheik, Sven Joscha and Lauritsen, Asbjørn Bækgaard and Roos, Barbara}, issn = {1793-6659}, journal = {Reviews in Mathematical Physics}, number = {9}, publisher = {World Scientific Publishing}, title = {{Universality in low-dimensional BCS theory}}, doi = {10.1142/s0129055x2360005x}, volume = {36}, year = {2024}, } @article{18107, abstract = {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).}, author = {Lauritsen, Asbjørn Bækgaard and Seiringer, Robert}, issn = {2050-5094}, journal = {Forum of Mathematics, Sigma}, publisher = {Cambridge University Press}, title = {{Pressure of a dilute spin-polarized Fermi gas: Lower bound}}, doi = {10.1017/fms.2024.56}, volume = {12}, year = {2024}, } @phdthesis{18443, abstract = {In [KW06] Kapustin and Witten conjectured that there is a mirror symmetry relation between the hyperkähler structures on certain Higgs bundle moduli spaces. As a consequence, they conjecture an equivalence between categories of BBB and BAA-branes. At the classical level, this mirror symmetry is given by T-duality between semi-flat hyperkähler structures on algebraic integrable systems. In this thesis, we investigate the T-duality relation between hyperkähler structures and the corresponding branes on affine torus bundles. We use the techniques of generalized geometry to show that semi-flat hyperkähler structures are T-dual on algebraic integrable systems. We also describe T-duality for generalized branes. Motivated by Fourier-Mukai transform we upgrade the T-duality between generalized branes to T-duality of submanifolds endowed with U(1)-bundles and connections. This T-duality in the appropriate context specializes to T-duality between BBB and BAA-branes. }, author = {Sisak, Maria A}, issn = {2663-337X}, keywords = {hyperkaehler geometry, branes, mirror symmetry, T-duality}, pages = {178}, publisher = {Institute of Science and Technology Austria}, title = {{T-dual branes on hyperkähler manifolds}}, doi = {10.15479/at:ista:18443}, year = {2024}, } @inproceedings{17634, abstract = {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.}, author = {Chalupa, Marek and Henzinger, Thomas A and Mazzocchi, Nicolas Adrien and Sarac, Naci E}, booktitle = {12th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation}, isbn = {9783031753862}, issn = {1611-3349}, location = {Crete, Greece}, pages = {3--20}, publisher = {Springer Nature}, title = {{QuAK: Quantitative Automata Kit}}, doi = {10.1007/978-3-031-75387-9_1}, volume = {15222}, year = {2024}, } @phdthesis{18132, abstract = {In this thesis, we are dealing with both arithmetic and geometric problems coming from the study of rational points with a particular focus on function fields over finite fields: (1) Using the circle method we produce upper bounds for the number of rational points of bounded height on diagonal cubic surfaces and fourfolds over Fq(t). This is based on joint work with Leonhard Hochfilzer. (2) We study rational points on smooth complete intersections X defined by cubic and quadratic hypersurfaces over Fq(t). We refine the Farey dissection of the “unit square” developed by Vishe [202] and use the circle method with a Kloosterman refinement to establish an asymptotic formula for the number of rational points of bounded height on X when dim(X) ≥ 23. Under the same hypotheses, we also verify weak approximation. (3) In joint work with Hochfilzer, we obtain upper bounds for the number of rational points of bounded height on del Pezzo surfaces of low degree over any global field. Our approach is to take hyperplane sections, which reduces the problem to uniform estimates for the number of rational points on curves. (4) We develop a version of the circle method capable of counting Fq-points on jet schemes of moduli spaces of rational curves on hypersurfaces. Combining this with a spreading out argument and a result of Mustaţă [150], this allows us to show that these moduli spaces only have canonical singularities under suitable assumptions on the degree and the dimension. In addition, we give an overview of guiding questions and conjectures in the field of rational points and explain the basic mechanism underlying the circle method. }, author = {Glas, Jakob}, issn = {2663-337X}, pages = {195}, publisher = {Institute of Science and Technology Austria}, title = {{Counting rational points over function fields}}, doi = {10.15479/at:ista:18132}, year = {2024}, } @phdthesis{18667, abstract = {Many chemical and physical properties of materials are determined by the material’s shape, for example the size of its pores and the width of its tunnels. This makes materials science a prime application area for geometrical and topological methods. Nevertheless many methods in topological data analysis have not been satisfyingly extended to the needs of materials science. This thesis provides new methods and new mathematical theorems targeted at those specific needs by answering four different research questions. While the motivation for each of the research questions arises from materials science, the methods are versatile and can be applied in different areas as well. The first research question is concerned with image data, for example a three-dimensional computed tomography (CT) scan of a material, like sand or stone. There are two commonly used topologies for digital images and depending on the application either of them might be required. However, software for computing the topological data analysis method persistence homology, usually supports only one of the two topologies. We answer the question how to compute persistent homology of an image with respect to one of the two topologies using software that is intended for the other topology. The second research question is concerned with image data as well, and asks how much of the topological information of an image is lost when the resolution is coarsened. As computer tomography scanners are more expensive the higher the resolution, it is an important question in materials science to know which resolution is enough to get satisfying persistent homology. We give theoretical bounds on the information loss based on different geometrical properties of the object to be scanned. In addition, we conduct experiments on sand and stone CT image data. The third research question is motivated by comparing crystalline materials efficiently. As the atoms within a crystal repeat periodically, crystalline materials are either modeled by unmanageable infinite periodic point sets, or by one of their fundamental domains, which is unstable under perturbation. Therefore a fingerprint of crystalline materials is needed, with appropriate properties such that comparing the crystals can be eased by comparing the fingerprints instead. We define the density fingerprint and prove the necessary properties. The fourth research question is motivated by studying the hole-structure or connectedness, i.e. persistent homology or merge trees, of crystalline materials. A common way to deal with periodicity is to take a fundamental domain and identify opposite boundaries to form a torus. However, computing persistent homology or merge trees on that torus loses some of the information materials scientists are interested in and is additionally not stable under certain noise. We therefore decorate the merge tree stemming from the torus with additional information describing the density and growth rate of the periodic copies of a component within a growing spherical window. We prove all desired properties, like stability and efficient computability.}, author = {Heiss, Teresa}, isbn = {978-3-99078-052-7}, issn = {2663-337X}, keywords = {persistent homology, topological data analysis, periodic, crystalline materials, images, fingerprint}, pages = {111}, publisher = {Institute of Science and Technology Austria}, title = {{New methods for applying topological data analysis to materials science}}, doi = {10.15479/at:ista:18667}, year = {2024}, } @phdthesis{15094, abstract = {Point sets, geometric networks, and arrangements of hyperplanes are fundamental objects in discrete geometry that have captivated mathematicians for centuries, if not millennia. This thesis seeks to cast new light on these structures by illustrating specific instances where a topological perspective, specifically through discrete Morse theory and persistent homology, provides valuable insights. At first glance, the topology of these geometric objects might seem uneventful: point sets essentially lack of topology, arrangements of hyperplanes are a decomposition of Rd, which is a contractible space, and the topology of a network primarily involves the enumeration of connected components and cycles within the network. However, beneath this apparent simplicity, there lies an array of intriguing structures, a small subset of which will be uncovered in this thesis. Focused on three case studies, each addressing one of the mentioned objects, this work will showcase connections that intertwine topology with diverse fields such as combinatorial geometry, algorithms and data structures, and emerging applications like spatial biology. }, author = {Cultrera di Montesano, Sebastiano}, issn = {2663-337X}, pages = {108}, publisher = {Institute of Science and Technology Austria}, title = {{Persistence and Morse theory for discrete geometric structures}}, doi = {10.15479/at:ista:15094}, year = {2024}, } @phdthesis{17336, abstract = {This thesis deals with the study of stochastic processes and their ergodicity properties. The variety of problems encountered calls for a set of different approaches, ranging from classical to modern ones: a special place is held by probabilistic methods based on couplings, by functional inequalities, and by the theory of gradient flows in the space of measures. The material is organized as follows. Chapter 1 contains the introduction to this thesis, starting with a general presentation of some of the relevant topics. Section 1.1 is dedicated to the theory of gradient flows in metric spaces, and introduces the first contribution of this thesis [DSMP24], which is presented in detail in Chapter 2. Section 1.2 moves to the topic of curvature of Markov chains, concluding with a brief description of our second contribution [Ped23], which is included in Chapter 3. Section 1.3 discusses applications of stochastic processes to the theory of sampling, in particular the recent framework of score-based diffusion models, and our contribution [PMM24], which is contained in Chapter 4. Section 1.4 discusses some related problems, concerning the regularization properties of the heat flow. It serves as a motivation for the work [BP24], which we report in Chapter 5. Finally, Section 1.5 discusses the last contribution of this thesis, which can be found in Chapter 6. It deals with the convergence to equilibrium of a particular stochastic model from quantitative genetics: this is established via some functional inequalities, which we prove with probabilistic arguments based on couplings. }, author = {Pedrotti, Francesco}, issn = {2663-337X}, pages = {183}, publisher = {Institute of Science and Technology Austria}, title = {{Functional inequalities and convergence of stochastic processes}}, doi = {10.15479/at:ista:17336}, year = {2024}, } @phdthesis{15352, abstract = {Epilepsy affects about 50 to 65 million people globally. It summarizes a spectrum of neurological disorders that have in common a hyperactivity of the neuronal network resulting in seizures. A common assumption is that an imbalance between neuronal excitation and inhibition is a key mechanism in seizure generation and epileptogeneisis. In at least one-third of the patients, current therapies have proven unsuccessful in treating seizure progression. One potential reason could be that the therapies only focus on neurons. Recent studies suggest that neuronal hyperactivity causes a microglial response, which reinstates brain homeostasis. Additionally, interactions between microglia and neurons have been shown to inhibit neuronal firing and dampen seizure activity. However, the exact relationship between microglia and seizure progression in epilepsy is yet to be elucidated. A main bottleneck is that several studies investigate microglia dynamics in ex vivo slice models, which can severely affect the microglia dynamics due to their rapid response to environmental changes. On the other hand, in vivo studies focus mostly on behavior characterization of the epileptic seizure phenotype and their long-term consequences on microglia activity leaving out the direct consequences of acute seizure activity on microglia dynamics. Here, we perform a pilot study to combine electroencephalography (EEG) and in vivo live imaging to directly monitor and correlate the onset of seizure activity with microglia response. To induce seizures, we take advantage of the kainic acid (KA) model, which represents similar neuropathological and electroencephalographic features seen in human patients with temporal lobe epilepsy (TLE). After confirmation of induction of the seizure and microglia activity in the hippocampus as a focal point, we investigated whether these changes also reached the primary visual cortex (V1) as a secondary generalized seizure activity. Indeed, we found that microglia changed their morphology at high doses of KA in the V1. Next, we optimized each of the two methodological components: for the EEG recording, our initial attempts under the microscope suffered from extensive electrical noise, which overlaid the actual signal. Thus, we built a customized Faraday-cage and confirmed that the signal-to-noise ratio was sufficiently reduced to be able to record brain oscillatory activity. For the in vivo live imaging of microglia, we had to optimize the imaging parameters, so that we would be able to detect microglial processes in a sufficient resolution to track their process changes. Finally, we combined both methodologies with the KA model. We confirmed that KA induced seizure activity and found first indication that those correlate with microglia volume changes. Overall, we have developed a first methodological approach, which allows the analysis of the acute effects of seizure onset on microglia. Future studies will have to continue to optimize the drift during imaging recording and the post-image analysis. }, author = {Murmann, Julie Stefanie}, issn = {2791-4585}, pages = {54}, publisher = {Institute of Science and Technology Austria}, title = {{Investigating acute microglia response to seizure activity in vivo: Combining 2-Photon imaging and EEG recording}}, doi = {10.15479/at:ista:15352}, year = {2024}, } @article{14796, abstract = {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.}, author = {Stankowski, Sean and Zagrodzka, Zuzanna B. and Garlovsky, Martin D. and Pal, Arka and Shipilina, Daria and Garcia Castillo, Diego Fernando and Lifchitz, Hila and Le Moan, Alan and Leder, Erica and Reeve, James and Johannesson, Kerstin and Westram, Anja M and Butlin, Roger K.}, issn = {1095-9203}, journal = {Science}, number = {6678}, pages = {114--119}, publisher = {American Association for the Advancement of Science}, title = {{The genetic basis of a recent transition to live-bearing in marine snails}}, doi = {10.1126/science.adi2982}, volume = {383}, year = {2024}, }