@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{18766, abstract = {Poxviruses are large pleomorphic double-stranded DNA viruses that include well known members such as variola virus, the causative agent of smallpox, Mpox virus, as well as Vaccinia virus (VACV), which serves as a vaccination strain for formerly mentioned viruses. VACV is a valuable model for studying large pleomorphic DNA viruses in general and poxviruses specifically, as many features, such as core morphology and structural proteins, are well conserved within this family. Despite decades of research, our understanding of the structural components and proteins that comprise the poxvirus core in mature virions remains limited. Although major core proteins were identified via indirect experimental evidence, the core's complexity, with its large size, structure and number of involved proteins, has hindered efforts to achieve high-resolution insights and to define the roles of the individual proteins. The specific protein composition of the core's individual layers, including the palisade layer and the inner core wall, has remained unclear. In this study, we have merged multiple approaches, including single particle cryo electron microscopy of purified virus cores, cryo-electron tomography and subtomogram averaging of mature virions and molecular modeling to elucidate the structural determinants of the VACV core. Due to the lack of experimentally derived structures, either in situ or reconstituted in vitro, we used Alphafold to predict models of the putative major core protein candidates, A10, 23k, A3, A4, and L4. Our results show that the VACV core is composed of several layers with varying local symmetries, forming more intricate interactions than observed previously. This allowed us to identify several molecular building blocks forming the viral core lattice. In particular, we identified trimers of protein A10 as a major core structure that forms the palisade layer of the viral core. Additionally, we revealed that six petals of a flower shaped core pore within the core wall are composed of A10 trimers. Furthermore, we obtained a cryo-EM density for the inner core wall that could potentially accommodate an A3 dimer. Integrating descriptions of protein interactions from previous studies enabled us to provide a detailed structural model of the poxvirus core wall, and our findings indicate that the interactions within A10 trimers are likely consistent across orthopox- and parapoxviruses. This combined application of cryo-SPA and cryo-ET can help overcome obstacles in studying complex virus structures in the future, including their key assembly proteins, interactions, and the formation into a core lattice. Our work provides important fundamental new insights into poxvirus core architecture, also considering the recent re-emergence of poxviruses.}, author = {Datler, Julia}, isbn = {978-3-99078-049-7}, issn = {2663-337X}, keywords = {cryo-EM, cryo-ET, cryo-SPA, Structural Virology, Poxvirus, Vaccinia Virus, Structural Biology}, pages = {106}, publisher = {Institute of Science and Technology Austria}, title = {{Elucidating the structural determinants of the poxvirus core using multi-modal cryo-EM}}, doi = {10.15479/at:ista:18766}, 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{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}, } @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{18088, abstract = {Instant messaging applications like Whatsapp, Signal or Telegram have become ubiquitous in today's society. Many of them provide not only end-to-end encryption, but also security guarantees even when the key material gets compromised. These are achieved through frequent key update performed by users. In particular, the compromise of a group key should preserve confidentiality of previously exchanged messages (forward secrecy), and a subsequent key update will ensure security for future ones (post-compromise security). Though great protocols for one-on-one communication have been known for some time, the design of ones that scale efficiently for larger groups while achieving akin security guarantees is a hard problem. A great deal of research has been aimed at this topic, much of it under the umbrella of the Messaging Layer Security (MLS) working group at the IETF. Started in 2018, this joint effort by academics and industry culminated in 2023 with the publication of the first standard for secure group messaging [IETF, RFC9420]. At the core of secure group messaging is a cryptographic primitive termed Continuous Group Key Agreement, or CGKA [Alwen et al. 2021], that essentially allows a changing group of users to agree on a common key with the added functionality security against compromises is achieved by users asynchronously issuing a key update. In this thesis we contribute to the understanding of CGKA across different angles. First, we present a new technique to effect dynamic operations in groups, i.e., add or remove members, that can be more efficient that the one employed by MLS in certain settings. Considering the setting of users belonging to multiple overlapping groups, we then show lowerbounds on the communication cost of constructions that leverage said overlap, at the same time showing protocols that are asymptotically optimal and efficient for practical settings, respectively. Along the way, we show that the communication cost of key updates in MLS is average-cost optimal. An important feature in CGKA protocols, particularly for big groups, is the possibility of executing several group operations concurrently. While later versions of MLS support this, they do at the cost of worsening the communication efficiency of future group operations. In this thesis we introduce two new protocols that permit concurrency without any negative effect on efficiency. Our protocols circumvent previously existing lower bounds by satisfying a new notion of post-compromise security that only asks for security to be re-established after a certain number of key updates have taken place. While this can be slower than MLS in terms of rounds of communication, we show that it leads to more efficient overall communication. Additionally, we introduce a new technique that allows group members to decrease the information they need to store and download, which makes one of our protocols enjoy much lower download cost than any other existing CGKA constructions. }, author = {Pascual Perez, Guillermo}, issn = {2663-337X}, pages = {239}, publisher = {Institute of Science and Technology Austria}, title = {{On the efficiency and security of secure group messaging}}, doi = {10.15479/at:ista:18088}, year = {2024}, } @phdthesis{17490, abstract = {Deep learning is essential in numerous applications nowadays, with many recent advancements made possible by training very large models. Despite their broad applicability, training neural networks is often time-intensive, and it is usually impractical to manage large models and datasets on a single machine. To address these issues, distributed deep learning training has become increasingly important. However, distributed training requires synchronization among nodes, and the mini-batch stochastic gradient descent algorithm places a significant load on network connections. A possible solution to tackle the synchronization bottleneck is to reduce a message size by lossy compression. In this thesis, we investigate systems and algorithmic approaches to communication compression during training. From the systems perspective, we demonstrate that a common approach of expensive hardware overprovisioning can be replaced through a thorough system design. We introduce a framework that introduces efficient software support for compressed communication in machine learning applications, applicable to both multi-GPU single-node training and larger-scale multi-node training. Our framework integrates with popular ML frameworks, providing up to 3x speedups for multi-GPU nodes based on commodity hardware and order-of-magnitude improvements in the multi-node setting, with negligible impact on accuracy. Also, we consider an application of our framework to different communication schemes, such as Fully Sharded Data Parallel. We provide strong convergence guarantees for the compression in such a setup. Empirical validation shows that our method preserves model accuracy for GPT-family models with up to 1.3 billion parameters, while completely removing the communication bottlenecks of non-compressed alternatives, providing up to 2.2x speedups end-to-end. From the algorithmic side, we propose a general framework that dynamically adjusts the degree of compression across a model's layers during training. This approach enhances overall compression and results in significant speedups without compromising accuracy. Our algorithm utilizes an adaptive algorithm that automatically selects the optimal compression parameters for model layers, ensuring the best compression ratio while adhering to an error constraint. Our method is effective across all existing families of compression methods. It achieves up to 2.5x faster training and up to a 5x improvement in compression compared to efficient implementations of current approaches. Additionally, LGreCo can complement existing adaptive algorithms. }, author = {Markov, Ilia}, issn = {2663-337X}, pages = {102}, publisher = {Institute of Science and Technology Austria}, title = {{Communication-efficient distributed training of deep neural networks : An algorithms and systems perspective}}, doi = {10.15479/at:ista:17490}, year = {2024}, } @phdthesis{17164, abstract = {This thesis is structured into two parts. In the first part, we consider the random variable X := Tr(f1(W)A1 . . . fk(W)Ak) where W is an N × N Hermitian Wigner matrix, k ∈ N, and we choose (possibly N-dependent) regular functions f1, . . . , fk as well as bounded deterministic matrices A1, . . . , Ak. In this context, we prove a functional central limit theorem on macroscopic and mesoscopic scales, showing that the fluctuations of X around its expectation are Gaussian and that the limiting covariance structure is given by a deterministic recursion. We further give explicit error bounds in terms of the scaling of f1, . . . , fk and the number of traceless matrices among A1, . . . , Ak, thus extending the results of Cipolloni, Erdős and Schröder [40] to products of arbitrary length k ≥ 2. Analyzing the underlying combinatorics leads to a non-recursive formula for the variance of X as well as the covariance of X and Y := Tr(fk+1(W)Ak+1 . . . fk+ℓ(W)Ak+ℓ) of similar build. When restricted to polynomials, these formulas reproduce recent results of Male, Mingo, Peché, and Speicher [107], showing that the underlying combinatorics of noncrossing partitions and annular non-crossing permutations continue to stay valid beyond the setting of second-order free probability theory. As an application, we consider the fluctuation of Tr(eitW A1e −itW A2)/N around its thermal value Tr(A1) Tr(A2)/N2 when t is large and give an explicit formula for the variance. The second part of the thesis collects three smaller projects focusing on different random matrix models. In the first project, we show that a class of weakly perturbed Hamiltonians of the form Hλ = H0 + λW, where W is a Wigner matrix, exhibits prethermalization. That is, the time evolution generated by Hλ relaxes to its ultimate thermal state via an intermediate prethermal state with a lifetime of order λ −2 . As the main result, we obtain a general relaxation formula, expressing the perturbed dynamics via the unperturbed dynamics and the ultimate thermal state. The proof relies on a two-resolvent global law for the deformed Wigner matrix Hλ. The second project focuses on correlated random matrices, more precisely on a correlated N × N Hermitian random matrix with a polynomially decaying metric correlation structure. A trivial a priori bound shows that the operator norm of this model is stochastically dominated by √ N. However, by calculating the trace of the moments of the matrix and using the summable decay of the cumulants, the norm estimate can be improved to a bound of order one. In the third project, we consider a multiplicative perturbation of the form UA(t) where U is a unitary random matrix and A = diag(t, 1, ..., 1). This so-called UA model was first introduced by Fyodorov [73] for its applications in scattering theory. We give a general description of the eigenvalue trajectories obtained by varying the parameter t and introduce a flow of deterministic domains that separates the outlier resulting from the rank-one perturbation from the typical eigenvalues for all sub-critical timescales. The results are obtained under generic assumptions on U that hold for various unitary random matrices, including the circular unitary ensemble (CUE) in the original formulation of the model.}, author = {Reker, Jana}, issn = {2663-337X}, keywords = {Random Matrices, Spectrum, Central Limit Theorem, Resolvent, Free Probability}, pages = {206}, publisher = {Institute of Science and Technology Austria}, title = {{Central limit theorems for random matrices: From resolvents to free probability}}, doi = {10.15479/at:ista:17164}, year = {2024}, } @phdthesis{17850, abstract = {Understanding the relationship between a given phenotype and its underlying genotype or genotypes is one of the most pressing challenges of biology, as it lies at the heart of not only basic understanding of evolutionary theory, but also of practical applications in medicine and bioengineering. Understanding this relationship is complicated by the ubiquitous phenomenon of epistasis, wherein mutation effects are dependent on their genetic context. Fitness landscapes — representations of phenotype as a function of genotype — are being increasingly used as a tool to study the effects and interactions of thousands of mutations, but are experimentally limited to exploring a small fraction of a protein’s theoretical sequence space. Furthermore, not all regions of said sequence space are necessarily equally informative. Thus, gene selection for landscape surveys should be carefully considered in order to maximize the usable output of necessarily limited data. In this work, we analyzed the fitness landscapes of orthologous green fluorescent proteins from four different species, by systematically measuring the phenotype, fluorescence, of tens of thousands of mutant genotypes from each protein. These landscapes were highly heterogeneous, with some genes being mutationally robust and displaying epistasis only rarely, and others being highly epistatic and mutationally fragile. We used this data to train machine learning models to predict fluorescence from genotype. Although the training data contained almost exclusively genotypes with less than 3% sequence divergence from the original wild-type sequences, we were able to create novel, functional genotypes with up to 20% sequence divergence. Counterintuitively however, genes with high mutational robustness and rare epistasis were more difficult to introduce large numbers of mutations into, not less. This represents the first study of large-scale fitness landscapes of a protein family, and provides insights into how to approach future landscape surveys and their applications in novel protein design.}, author = {Gonzalez Somermeyer, Louisa}, issn = {2663-337X}, pages = {89}, publisher = {Institute of Science and Technology Austria}, title = {{Fitness landscapes of orthologous green fluorescent proteins}}, doi = {10.15479/at:ista:17850}, year = {2024}, } @phdthesis{18674, abstract = {Mapping the complex and dense arrangement of cells and their connectivity in brain tissue requires volumetric imaging at nanoscale spatial resolution. While light microscopy excels at visualizing specific molecules and individual cells, achieving dense, synapse-level circuit reconstruction has not been possible with any light microscopy technique. Thus, the goal of my work was to develop image and data analysis pipelines for brain tissue visualization and reconstruction with light microscopy. To achieve dense circuit reconstruction with single-synapse resolution, I developed both conventional and deep-learning-based synapse detection algorithms, as well as connectivity analysis pipelines that integrate synapse detection with volumetric segmentation of brain tissue.}, author = {Lyudchik, Julia}, isbn = { 978-3-99078-051-0}, issn = {2663-337X}, pages = {217}, publisher = {Institute of Science and Technology Austria}, title = {{Image analysis for brain tissue reconstruction with super-resolution light microscopy}}, doi = {10.15479/at:ista:18674}, year = {2024}, } @phdthesis{17133, abstract = {An ideal quantum computer relies on qubits capable of performing fast gate operations and maintaining strong interconnections while preserving their quantum coherence. Since the inception of experimental eforts toward building a quantum computer, the community has faced challenges in engineering such a system. Among the various methods of implementing a quantum computer, superconducting qubits have shown fast gates close to tens of nanoseconds, with the state-of-the-art reaching a coherence of a few milliseconds. However, achieving simultaneously long lifetimes with fast qubit operations poses an inherent paradox. Qubits with high coherence require isolation from the environment, while fast operation necessitates strong coupling of the qubit. This thesis approaches this issue by proposing the idea of engineering superconducting qubits capable of transitioning between operating in a protected regime, where the qubit is completely isolated from the environment, and coupling to the communication channels as needed. In this direction, we use the geometric superinductor to scan the parameter space of rf-SQUID devices, searching for a regime where we can take the qubit protection to its extreme. This leads us to the inductively shunted transmon (IST) regime, characterized by EJ /EC ≫ 1 and EJ /EL ≫ 1, where the circuit potential exhibits a double well with a large barrier separating the local ground states of each quantum well. In this regime, although it is anticipated that the two quantum wells would be isolated from each other, we observe single fuxon tunneling between them. The interplay of the cavity photons and the fuxon transition forms a rich physical system, containing resonance conditions that allow the preparation of the fuxon ground or excited states. This enables us to study the relaxation rate of such transition and show that it can be as large as 3.6 hours. Dynamically controlling the barrier height between the two quantum wells allows for controllable coupling, which scales exponentially, for a qubit encoded in two fuxon states. The 0-π qubit is one of the very few known superconducting circuit types that ofers exponential protection from both relaxation and dephasing simultaneously. However, this qubit is not exempt from the fact that such protection comes at the expense of complex readout and control. In this thesis, we propose a way to controllably break the circuit symmetry, the key reason for the protection, to momentarily restore the ability to control and manipulate the qubit. An asymmetry in capacitances and inductances in the 0-π circuit is detrimental since they lead to coupling of the protected state to the thermally occupied parasitic mode of the circuit. However, here we try to exploit a controlled asymmetry in Josephson energies and show that this can be used as a tunable coupler between the protected states. In the future, this should allow to perform gate operations by dynamically controlling the asymmetry instead of driving the protected transition with microwave pulses. Therefore, we believe that the proposed method can make the use of protected qubits more practical in experimental realizations of quantum computing.}, author = {Hassani, Farid}, isbn = {978-3-99078-040-4}, issn = {2663-337X}, keywords = {Quantum information, Qubits, Superconducting devices}, pages = {161}, publisher = {Institute of Science and Technology Austria}, title = {{Superconducting qubits capable of dynamic switching between protected and high-speed control regimes}}, doi = {10.15479/at:ista:17133}, 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}, } @phdthesis{18076, abstract = {The new era of Ge has opened up new possibilities in quantum computing. The maturity of Ge spin qubits is unquestioned, while hybrid semiconductor-superconductor Ge circuits are on track to enter the game. Gate-tunable transmons (gatemons) employing semiconductor Josephson junctions have recently emerged as building blocks for such hybrid quantum circuits. In this thesis, we present a gatemon fabricated in planar Germanium. We induce superconductivity in a two-dimensional hole gas by evaporating aluminum atop a thin spacer, which separates the superconductor from the Ge quantum well. The Josephson junction is then integrated into an Xmon circuit and capacitively coupled to a transmission line resonator. We showcase the qubit tunability in a broad frequency range with resonator and two-tone spectroscopy. Time-domain characterizations reveal energy relaxation and coherence times up to 75 ns. Our results, combined with the recent advances in the spin qubit field, pave the way towards novel hybrid and protected qubits in a group IV, CMOS-compatible material.}, author = {Sagi, Oliver}, issn = {2663-337X}, pages = {111}, publisher = {Institute of Science and Technology Austria}, title = {{Hybrid circuits on planar Germanium}}, doi = {10.15479/at:ista:18076}, year = {2024}, } @phdthesis{17206, abstract = {Males and females exhibit numerous differences, from the initial stages of sex determination to the development of secondary sexual characteristics. In Drosophila, these differences have been thoroughly studied. Extensive research has been performed to understand the role and molecular mode of action of central sex in determining switch genes, such as transformer (tra) and Sex-lethal (Sxl). Furthermore, studies have highlighted differential gene expression as an essential mechanism to create sexual dimorphism. An alternative path to sexual dimorphism that has been less explored is alternative splicing, the mechanism through which genes can produce multiple transcripts with distinct properties and functions. The primary switch sex-determining gene Sxl is a good example of the role of alternative splicing for sex-specific functions: the inclusion of a specific exon determines the male or female form of the protein, which in turn switches on either the male or female developmental pathway. The genes that act upstream of Sxl and determine which form is expressed - the counter genes - have received less attention. This thesis addresses two critical questions about the molecular encoding of sexes in the Drosophila melanogaster genome: First, the use of splice forms in male and female tissues in D. melanogaster is examined, inferring the molecular and evolutionary parameters shaping the diversity of the splicing landscape. Second, the behaviour of counter genes in Drosophila-related species is investigated, shedding light on potential changes leading to their incorporation into the sex-determination pathway. For the alternative splicing analyses, long-read RNA sequencing of testes, ovaries, female and male midguts, heads, and whole bodies was performed. A novel pipeline was developed to assign unique transcript identifiers for each sequence of exons and introns in the read, enabling detailed comparisons of splicing variants in each tissue/sex. Alternative splicing was found to be more pervasive in females than males (22,201 exclusive splice forms in females versus 12,631 in males), especially when comparing ovaries to other tissues. The ovaries alone displayed 15,299 exclusive splice forms, suggesting most female exclusive splice forms originate there. Genome location and gene age were also correlated with the number of splice forms per gene. In particular, the X and 4th chromosomes (Muller elements A and F) showed more splice forms per gene than other chromosomes. Additionally, genes older than 63 million years exhibited more splice forms per gene than younger genes. Our results suggest that alternative splicing is more prevalent than previously believed, with numerous female-exclusive forms, age, and location playing significant roles in shaping its prevalence. For the counter genes analyses, we combined published gene expression, genomic, and gene interaction data from various clades (Bactrocera jarvisi, B. oleae, Ceratitis capitata, Mus musculus, Caenorhabditis elegans, Homo sapiens, and D. melanogaster). The counter genes scute (sc), extra macrochaetae (emc), groucho (gro), deadpan (dpn), daughterless (da), runt (run), Sxl, hermaphrodite (her), and tra maintain conserved Muller element locations between C. capitata and D. melanogaster, which are most of the counter genes identified in the C. capitata genome. Their expression patterns during early embryogenesis in B. jarvisi and D. melanogaster are also similar for counter genes dpn, gro, da, and emc. However, Sxl and sc are also found to have more extreme expression ratios between the species. Lastly, gene interactions within the counter genes are conserved, with da-sc and gro-dpn interactions occurring in Drosophila, worms, humans, and mice. Interactions such as dpn-sc, dpn-da, da-emc, and gro-run are present in Drosophila, mice, and humans, suggesting these genes were recruited by ancestral characteristics, primarily during embryogenesis. The conserved expression, location, and interactions of counter genes suggest serendipitous recruitment of such genes instead of a change in those characteristics as they were recruited for this function. }, author = {Raices, Julia}, issn = {2663-337X}, pages = {82}, publisher = {Institute of Science and Technology Austria}, title = {{Novel approaches to studying alternative splicing in Drosophila Melanogaster : Insights into sex-specific gene expression and the evolution of sex determination}}, doi = {10.15479/at:ista:17206}, year = {2024}, } @phdthesis{18101, abstract = {The Retroviridae family consists of two sub-families, the Orthoretrovirinae and the Spumaretrovirinae. The Orthoretroviruses contain important human pathogens, such as the human immunodeficiency virus 1 (HIV-1). They also harbor other retrovirus species which are regularly used as model systems to study the retroviral life cycle. The main structural component of the retroviruses, is the Gag protein and its truncation derivatives occurring during viral maturation. Orthoretroviral Gag assemblies have been extensively studied to understand the interactions that confer stability and morphology to viral particles. The Spumaretrovirinae subfamily represent an early diverging branch of the Retroviridae. Its members, the Foamy viruses (FV), share most of the conventional features found in retroviruses. However, they also possess multiple characteristics that make them unique. In particular, FV Gag does not get extensively cleaved as in orthoretroviruses. Hence, the Gag architecture deviates from the canonical domain arrangement in FV. They also exhibit a peculiar particle morphology, having no apparent immature state and a seemingly icosahedral mature particle. Due to this, many fundamental questions on FV structural assembly mechanisms remain open. To answer these questions, was the main focus of this thesis. Mainly, it is not known how FV assemble their core in a virus particle and what are the important assembly interaction sites within said core. What is the minimum assembly competent domain of FV Gag? Is there a morphological change in the assembly type of FVGag lattices? If so, what is defining these morphological shifts? Finally, it would be interesting to know what is the evolutionary relationship between FV and the rest of the retrotranscribing elements, from a structural point of view? To answer these questions, membrane-enveloped mammalian cell-derived FV virus-like particles (VLPs) were produced. Cryo-electron tomography (cryo-ET) analysis suggested these FV VLPs do not form a canonical retroviral Gag lattice structure, which is in line with earlier observations. To further evaluate FV Gag assembly competence and morphology, the first bacterial cell-derived in vitro VLP assembly system was designed and optimized. Using this system with different truncation variants, the minimum assembly competent domain of FV Gag was found to be the putative CA300-477 domain. Varying VLP morphologies were also observed and strongly suggested residues upstream of CA300-477 play a role in morphology determination. Finally, a combined cryo-electron microscopy (cryoEM) and cryo-ET approach was taken to analyze tubular assemblies from the minimal assembly competent domain. This revealed an unexpectedly unique non-canonical assembly architecture. Three novel lattice stabilizing interfaces were described which proved to be as unique as the lattice arrangement. Comparison to a newly published FV CA core structure revealed the CA-CA interactions in the atypical assembly do not recapitulate what is described for the FV core lattice. However, the new in vitro VLP assembly system obtained in this thesis also provides an exciting opportunity to study still unresolved FV assembly features in a potentially facilitated approach compared to conventional methods. In summary, this work provided a deeper understanding of the basic FV Gag assembly unit, as well as presenting the first FV Gag-derived in vitro VLP assembly system. This system reveals a novel and unique assembly architecture among retroviral in vitro assemblies.}, author = {Porley, Dario J}, isbn = {978-3-99078-041-1}, issn = {2663-337X}, pages = {131}, publisher = {Institute of Science and Technology Austria}, title = {{Structural characterization of spumavirus capsid assemblies}}, doi = {10.15479/at:ista:18101}, year = {2024}, } @phdthesis{17465, abstract = {In the modern age of machine learning, artificial neural networks have become an integral part of many practical systems. One of the key ingredients of the success of the deep learning approach is recent computational advances which allowed the training of models with billions of parameters on large-scale data. Such over-parameterized and data-hungry regimes pose a challenge for the theoretical analysis of modern models since “classical” statistical wisdom is no longer applicable. In this view, it is paramount to extend or develop new machinery that will allow tackling the neural network analysis under new challenging asymptotic regimes, which is the focus of this thesis. Large neural network systems are usually optimized via “local” search algorithms, such as stochastic gradient descent (SGD). However, given the high-dimensional nature of the parameter space, it is a priori not clear why such a crude “local” approach works so remarkably well in practice. We take a step towards demystifying this phenomenon by showing that the landscape of the SGD training dynamics exhibits a few beneficial properties for the optimization. First, we show that along the SGD trajectory an over-parameterized network is dropout stable. The emergence of dropout stability allows to conclude that the minima found by SGD are connected via a continuous path of small loss. This in turn means that the high-dimensional landscape of the neural network optimization problem is provably not so unfavourable to gradient-based training, due to mode connectivity. Next, we show that SGD for an over-parameterized network tends to find solutions that are functionally more “simple”. This in turn means that the SGD minima are more robust, since a less complicated solution will less likely overfit the data. More formally, for a prototypical example of a wide two-layer ReLU network on a 1d regression task we show that the SGD algorithm is implicitly selective in its choice of an interpolating solution. Namely, at convergence the neural network implements a piece-wise linear function with the number of linear regions depending only on the amount of training data. This is in contrast to a “smooth”-like behaviour which one would expect given such a severe over-parameterization of the model. Diverging from the generic supervised setting of classification and regression problems, we analyze an auto-encoder model that is commonly used for representation learning and data compression. Despite the wide applicability of the auto-encoding paradigm, the theoretical understanding of their behaviour is limited even in the simplistic shallow case. The related work is restricted to extreme asymptotic regimes in which the auto-encoder is either severely over-parameterized or under-parameterized. In contrast, we provide a tight characterization for the 1-bit compression of Gaussian signals in the challenging proportional regime, i.e., the input dimension and the size of the compressed representation obey the same asymptotics. We also show that gradient-based methods are able to find a globally optimal solution and that the predictions made for Gaussian data extrapolate beyond - to the case of compression of natural images. Next, we relax the Gaussian assumption and study more structured input sources. We show that the shallow model is sometimes agnostic to the structure of the data vii which results in a Gaussian-like behaviour. We prove that making the decoding component slightly less shallow is already enough to escape the “curse” of Gaussian performance. }, author = {Shevchenko, Aleksandr}, issn = {2663-337X}, pages = {232}, publisher = {Institute of Science and Technology Austria}, title = {{High-dimensional limits in artificial neural networks}}, doi = {10.15479/at:ista:17465}, year = {2024}, } @phdthesis{17119, abstract = {Genomes are shaped by natural selection at the level of the organism, as genomic variants that have a beneficial effect on the viability or fecundity of their carriers are on average expected to be passed on to more offspring than less beneficial alleles. However, selection also favors genomic variants that drive their own transmission to the next generation above the mendelian expectation of 50 percent in heterozygotes, even if these self-promoting variants are less beneficial to the organism than other variants at the same locus. Such variants, called meiotic drivers, are found in diverse taxa, and often impose fitness costs on their host organisms. As meiotic drivers often require multiple genes and sequences for transmission ratio distortion, they are often found in regions of low recombination, such as inversions, which prevent their recombination with the non-driving homologous regions. Reduced recombination rates are expected to lead to the accumulation of deleterious mutations, which may affect hundreds of genes trapped in the inversions of meiotic drivers. Although the observed fitness costs of self-promoting haplotypes are thought to possibly reflect sequence degeneration, no study has systematically investigated the level of degeneration on a meiotic driver. Further, the low rates of recombination between driving and non-driving haplotypes have limited the power of traditional genetic studies in uncovering the gene content of meiotic drivers, and made the the identification of the genes causing transmission ratio distortion difficult. After an introduction to meiotic drivers in Chapter 1, this thesis presents three studies that make use of next generation sequencing data to characterize the sequence and expression evolution of genes on the t-haplotype, a large and ancient meiotic driver in house mice that is transmitted to up to 100% of the offspring in males heterozygous for it. Chapter 2 presents a comprehensive assessment of the t-haplotype’s sequence evolution, which shows signs of sequence degeneration counteracted by occasional recombination with the non-driving homolog over large parts of the meiotic driver, proposing an explanation for its long-term survival. Chapter 3 investigates the sequence and expression evolution of genes on the t-haplotype, and finds widespread expression and copy number changes and signs of less efficient purifying selection compared to the genes on the non-driving homolog. Further, this chapter finds candidates for involvment in drive: two positively selected genes on the t-haplotype, and the discovery of a t-specific gene duplicate, which was gained from another chromosome, and which acquired novel sequence and testis-specific expression on the t-haplotype. Finally, Chapter 4 provides unprecedented insights into the gene expression landscape in testes of t-carrier mice, using single nucleus sequencing. Cell-resolved RNA-sequencing allows the comparison of expression in spermatids carrying or not carrying the t-haplotype as well as the timing of t-haplotype-induced expression changes along spermatogenesis. This study shows the timing of previously found drive-associated genes, and uncovers novel candidate genes and biological processes that may underlie the complex biology of transmission ratio distortion of the t-haplotype. Chapter 5 synthesizes the findings of the three studies, and discusses them in the context of the current state of meiotic drive research.}, author = {Kelemen, Réka K}, isbn = {978-3-99078-039-8}, issn = {2663-337X}, keywords = {meiotic driver, neofunctionalization, single nucleus sequencing}, pages = {105}, publisher = {Institute of Science and Technology Austria}, title = {{Characterizing the sequence and expression evolution of the t-haplotype, a model meiotic driver}}, doi = {10.15479/at:ista:17119}, year = {2024}, } @phdthesis{18477, abstract = {ADAR1 is broadly expressed across various tissues and is vital in regulating pathways associated with innate immune responses. ADAR1 marks double-stranded RNA as "self" through its A-to-I editing activity, effectively repressing autoimmunity and maintaining immune tolerance. This editing process has been detected at millions of sites across the human genome. However, the mechanism underlying ADAR1's substrate selectivity properties remains largely unclear, with much of the current knowledge derived from comparisons to its more extensively studied homolog, ADAR2. By studying ADAR1 in complex with its RNA substrates and applying a combination of biochemical techniques and structural studies using CryoEM, we aim to gain a more comprehensive understanding of the substrate selectivity characteristics of ADAR1. In this thesis, the purification protocol for ADAR1 was successfully optimized, resulting in the first report in the literature to achieve high protein purity and activity. This advancement enabled the investigation of complex formation between ADAR1 and various RNA substrates, leading to the identification of optimal conditions for preparing the cryoEM sample. However, despite comprehensive optimization of the cryo-EM conditions, the resulting data lacked the desired quality, highlighting the need for similar rigorous optimization of the RNA substrates to facilitate structural studies of the ADAR1-RNA complex. The study was complemented by AlphaFold predictions, which provided some insights into this mechanism. Moreover, during this project I established a collaboration with a research group focused on studying ADAR homologs. Notably ADAR homologs were identified in bivalve species, and it was further demonstrated that ADAR and its A-to-I editing activity are upregulated in Pacific oysters during infections with Ostreid herpesvirus-1—a highly infectious virus that leads to significant losses in oyster populations globally. I successfully purified oyster ADAR and prepared in vitro edited RNA for nanopore sequencing—a direct sequencing technology capable of detecting modified nucleotides without the need for reverse transcription. The collaborators initiated optimization of this nanopore-based approach. However, current technological limitations still constrain the reliable detection of modified nucleotides. The project also examined the impact of RNA editing on RNA binding and filament formation by MDA5, a key cytosolic dsRNA sensor that triggers an interferon response. A primary target of ADAR1's editing activity is RNA derived from repetitive elements present in the genome, particularly Alu elements forming double-stranded RNA. When unedited, these RNA sequences are recognized by MDA5. However, the mechanisms by which MDA5 interacts with Alu RNAs, as well as the role of A-to-I editing in influencing this binding, are still not well understood. The interaction between MDA5 and Alu elements, was successfully established. This was achieved through the testing of different RNA variants and the evaluation of filament formation using binding techniques and electron microscopy imaging. This groundwork has set the conditions for further evaluation using CryoEM. Furthermore, the effects of A-to-I editing on the binding properties of MDA5 with Alu RNA were investigated. Given the recent research that has provided new insights into MDA5's interaction with dsRNA, it is essential to revise the experimental setup to integrate these findings before moving forward with the CryoEM sample analysis.}, author = {Kaczmarek, Beata M}, isbn = {978-3-99078-045-9}, issn = {2663-337X}, pages = {124}, publisher = {Institute of Science and Technology Austria}, title = {{Biochemical and structural insights into ADAR1 RNA editing}}, doi = {10.15479/at:ista:18477}, year = {2024}, } @phdthesis{17319, abstract = {This thesis comprises two distinct projects, each offering unique insights into fundamental cellular processes. While distinct in their focus, these different perspectives have a common theme: chemiosmotic theory and utilisation of the proton gradient for driving the essential processes like auxin efflux and ATP synthesis, effectively bridging the membrane protein structure and function from the realms of plant biology and cellular bioenergetics. The first project of this thesis centres on the characterisation of PIN proteins, a class of transmembrane transporters pivotal in the regulation of auxin transport and distribution in plants. PINs form a conserved and phylogenetically abundant group of transporters present in land plants and certain algae. Despite their great importance, they were one of the few elusive proteins essential for plant development not to be structurally and mechanistically characterised since their discovery almost 30 years ago. This work aimed to uncover the structural and functional dynamics of the PIN protein-mediated auxin transport using an array of experimental techniques, including protein purification, biochemical assays and structural analysis. Through an exhaustive screening process that took several years and included testing different PIN homologues, expression systems, constructs, and purification conditions, we developed a robust protocol for isolating the pure, stable, and monodisperse PIN8 protein. Moreover, utilising biophysical methods and buffer screening, we demonstrated that PIN8 exhibits detergent and pH-dependent stability, with mild detergents and lower pH (5.0 and 6.0) being optimal for the stability of the protein. Using SEC-MALS and crosslinking, we determined that PIN8 forms dimers, which was confirmed by our structural studies. We obtained a cryo-EM map of PIN8 at pH 6.0, and, compared to recently published structures, our map implies major pH-dependent conformational changes and possibly utilisation of the proton gradient in the transport mechanism. The subject of the second project was F1Fo-ATP synthase, an enzyme complex fundamental to cellular energy metabolism. Through an approach integrating biochemical assays and structural analysis, this research aimed to unveil the molecular mechanism of inhibition of ATP synthase by yaku´amide, a bioactive compound with potential therapeutic implications. Using submitochondrial particles and purified F1Fo-ATP synthase, we demonstrated that, contrary to published data, yaku´amide inhibits both ATP hydrolysis and ATP synthesis reactions. Moreover, we found that yaku´amide inhibitory activity is proton motive force (pmf) dependent, with lower inhibition in a more coupled system. Utilising cryo-EM, we obtained maps and models for the three main rotational states of murine ATP synthase (State 1 at 3.0 Å, 8 State 2 at 3.1 Å, and State 3 at 3.2 Å, overall). We observed several new features in our maps; however, we cannot definitively determine the exact mechanism of yaku amide’s inhibition on the protein due to either resolution limits or suboptimal binding of the inhibitor.}, author = {Lukic, Kristina}, issn = {2663-337X}, pages = {224}, publisher = {Institute of Science and Technology Austria}, title = {{Membrane proteins in plant physiology and bioenergetics : Investigating auxin efflux transporter PIN8 and ATP synthase inhibition by the novel inhibitor Yaku'amide B}}, doi = {10.15479/at:ista:17319}, year = {2024}, } @phdthesis{17346, abstract = {Acquiring, retaining, and retrieving information over a wide range of timescales are crucial functions of the brain. The successful processing of memories affects many aspects of our lives and enables us and many other organisms to operate in a complex environment and to interact with it. In this context, the hippocampus and functionally connected brain areas, such as the prefrontal cortex, are central and have been subject to intensive research in the past decades. Storage of memories is believed to rely on distributed neural activity within these neural circuits. Additionally, neural memory traces of recent experience are reinstated during periods of rest or sleep. These reactivations are thought to play an outstanding role in the consolidation of memories and potentially facilitate the transfer of information from the hippocampus to cortical areas for long-term storage and integration into existing knowledge. However, there is growing evidence that memory-related neural representations in the hippocampus are not as stable as initially thought and that they change even in the absence of learning. It has been suggested that these changes reflect the accumulation of experience, but the influence of interspersed consolidation periods has not been considered. Previous studies have analyzed consolidation periods by detecting activity that strongly resembled neural activity during the acquisition of memory. Besides being often limited to only non-rapid eye movement (NREM) sleep, the used approaches were not capable of tracking changes in neural representations over extended temporal periods. More fluid representations do not only challenge our understanding of how information is stored, but they also affect the transfer of information between brain areas during the consolidation process. For this thesis, I investigated the evolution of memory-related activity during sleep periods expected to be involved in consolidation in the hippocampus and between the hippocampus and prefrontal cortex. I found that reactivated activity in the hippocampus gradually transformed during prolonged periods of sleep and inactivity. In the beginning, neural activity strongly resembled acquisition activity, whereas, with the progression of time, it became more similar to the subsequent recall activity. NREM periods drove this process, while rapid-eye movement (REM) periods showed a resetting effect. This reactivation drift was due to firing rate changes of a subset of cells and mirrored the representational changes from the acquisition to the recall. A stable subset of cells withstood the drift and maintained their activity. Therefore, my results indicate that memory-related representations undergo spontaneous modifications during consolidation periods and that these changes are predictive of representational drift. Furthermore, I found that the amount of change in the neural activity during subsequent sleep periods was biased by prior behavioral performance. Observed changes in the hippocampus and the prefrontal cortex were synchronized and increased after poor performance, highlighting a potential role in the exchange of information. Low-variance vii periods with distinct, more stable activity from a subset of cells significantly contributed to the heightened synchrony between both areas. Hence, interleaved phases of more stable neural activity could facilitate the information transfer between brain areas. In conclusion, my investigations underline the fluidity of memory-related representations and assign a prominent role to sleep reactivation periods in their evolution. In addition, I identified a potential mechanism of stable activity phases that might facilitate the synchronization across hippocampal-prefrontal activity despite ongoing changes. Reconciling and integrating findings from both spontaneous and behaviorally-related representational changes in functionally related brain areas will help to broaden our understanding of how knowledge is stored, maintained, updated, and transferred between brain areas.}, author = {Bollmann, Lars}, issn = {2663-337X}, keywords = {Memory, Hippocampus, Consolidation}, pages = {103}, publisher = {Institute of Science and Technology Austria}, title = {{Stability and change in the memory system during rest}}, doi = {10.15479/at:ista:17346}, year = {2024}, }