@phdthesis{17881, abstract = {This work can be broadly classified into the study of critical phenomena in a one dimensional array of Josephson junctions. While we study quantum criticality when the array is in thermal equilibrium at zero bias, the non-equilibrium study involves understanding the bistability of the array at a critical non-zero bias. This work furthers our knowledge in understanding quantum critical behaviour at finite temperatures in a one dimensional Josephson array, while also establishing relaxation behaviour dual to that observed in a single Josephson junction. Chapter 1 briefly introduces the model to understand superconductor-insulator phase transition in a one dimensional Josephson array and points out the state of the field from where we started our zero-bias experiments. In this context it discusses the phase-charge duality observed in a Josephson array and its dual hysteretic behaviour to that of a single junction, setting the ground for our non-equilibrium study of the array. Chapter 2 shows the experimental setup and the chip layout of the device we measured. In chapter 3 we show that, unlike the typical quantum-critical broadening scenario, in one dimensional Josephson arrays temperature dramatically shifts the critical region. This shift leads to a regime of superconductivity at high temperature, arising from the melted zero-temperature insulator. Our results quantitatively explain the low-temperature onset of superconductivity in nominally insulating regimes, and the transition to the strongly insulating phase. We further present, to our knowledge, the first understanding of the onset of anomalous-metallic resistance saturation [30]. This work demonstrates a non-trivial interplay between thermal effects and quantum criticality. A practical consequence is that, counterintuitively, the coherence of high-impedance quantum circuits is expected to be stabilized by thermal fluctuations. In chapter 4, we show relaxation oscillations in a current-biased one dimensional array of Josephson junctions. These oscillations are well described by a circuit model, dual to the ordinary Josephson relaxation oscillations [72]. Injection locking these oscillations results in current plateaux. The relaxation step is found to obey a characteristic self-consistent relation, suggesting that it is governed by overheating effects. Chapter 5 describes the various checks and analysis we performed to support our conclusions made in chapters 3 and 4. Finally, chapter 6 describes the nanofabrication steps and the finite element electromagnetic simulations we performed to fabricate our devices.}, author = {Mukhopadhyay, Soham}, isbn = {978-3-99078-043-5}, issn = {2663-337X}, pages = {82}, publisher = {Institute of Science and Technology Austria}, title = {{Thermal effects in one dimensional Josephson chains}}, doi = {10.15479/at:ista:17881}, year = {2024}, } @unpublished{18057, abstract = {We report relaxation oscillations in a one-dimensional array of Josephson junctions. The oscillations are circuit-dual to those ordinarily observed in single junctions. The dual circuit quantitatively accounts for temporal dynamics of the array, including the dependence on biasing conditions. Injection locking the oscillations results in well-developed current plateaux. A thermal model explains the relaxation step of the oscillations.}, author = {Mukhopadhyay, Soham and Lancheros Naranjo, Diego A and Senior, Jorden L and Higginbotham, Andrew P}, booktitle = {arXiv}, title = {{Dual relaxation oscillations in a Josephson junction array}}, doi = {10.48550/arXiv.2408.07829}, year = {2024}, } @phdthesis{18129, abstract = {State-of-the-art quantum computers, with roughly a thousand qubits, face a crucial technological challenge of scaling up. Spins confined in quantum dots (QDs) are a promising candidate for qubits due to their long coherence, tunability, control, and readout. However, their natural coupling is the short-ranged (∼ 100 nm) exchange interaction, limited to nearest neighbours. Long-ranged (∼ 1 mm) qubit interactions mediated by a photon could be engineered through a coherent spin-photon coupling. Achieving a strong coupling to a photon is inherently challenging in QDs due to the small dipole moment of the confined charge. However, the potential of high-impedance resonators to compensate for this has gained significant attention in the past decade. Nevertheless, previous QD circuit quantum electrodynamics implementations have not exceeded the impedance of ∼ 3.8 kΩ, leaving opportunities for significant improvement. The large kinetic inductance of granular aluminium (grAl) could provide an order-of-magnitude enhancement. However, fully exploiting the potential of disordered or granular superconductors is challenging as their impedances close to the superconductor-to-insulator transition are difficult to control reproducibly. We report on the realization of a wireless ohmmeter which allows in situ resistance measurements during film deposition and, therefore, indirect control of the kinetic inductance of grAl films. This allows us to reproducibly fabricate resonators with characteristic impedance exceeding the resistance quantum, even reaching 22.3 kW, due to the large sheet kinetic inductance of up to 3 nH □−1 . By integrating an 8 kW resonator with a germanium double QD, we demonstrate a strong charge-photon coupling with the highest rate reported, 566 MHz. The demonstrated method and grAl properties make these resonators suitable for boosting the spin-photon coupling strength, a crucial requirement for fast, high-fidelity, long-distance two-qubit gates. }, author = {Janik, Marian}, issn = {2663-337X}, pages = {164}, publisher = {Institute of Science and Technology Austria}, title = {{Strong charge-photon coupling in Germanium enabled by granular aluminium superinductors}}, doi = {10.15479/at:ista:18129}, year = {2024}, } @unpublished{18144, abstract = {High kinetic inductance superconductors are gaining increasing interest for the realisation of qubits, amplifiers and detectors. Moreover, thanks to their high impedance, quantum buses made of such materials enable large zero-point fluctuations of the voltage, boosting the coupling rates to spin and charge qubits. However, fully exploiting the potential of disordered or granular superconductors is challenging, as their inductance and, therefore, impedance at high values are difficult to control. Here we have integrated a granular aluminium resonator, having a characteristic impedance exceeding the resistance quantum, with a germanium double quantum dot and demonstrate strong charge-photon coupling with a rate of $g_\text{c}/2\pi= (566 \pm 2)$ MHz. This was achieved due to the realisation of a wireless ohmmeter, which allows \emph{in situ} measurements during film deposition and, therefore, control of the kinetic inductance of granular aluminium films. Reproducible fabrication of circuits with impedances (inductances) exceeding 13 k$\Omega$ (1 nH per square) is now possible. This broadly applicable method opens the path for novel qubits and high-fidelity, long-distance two-qubit gates.}, author = {Janik, Marian and Roux, Kevin Etienne Robert and Borja Espinosa, Carla N and Sagi, Oliver and Baghdadi, Abdulhamid and Adletzberger, Thomas and Calcaterra, Stefano and Botifoll, Marc and Manjón, Alba Garzón and Arbiol, Jordi and Chrastina, Daniel and Isella, Giovanni and Pop, Ioan M. and Katsaros, Georgios}, booktitle = {arXiv}, title = {{Strong charge-photon coupling in planar germanium enabled by granular aluminium superinductors}}, doi = {10.48550/arXiv.2407.03079}, year = {2024}, } @phdthesis{18104, abstract = {We introduce a new all-electric platform, that strong couples light to mechanical motion by ensuring that the external environmental coupling dominates over internal mechanical dissipation. The system only has three everyday components: AC, DC, and a fip-chip, in which a metallized silicon nitride membrane is fipped on top of the device under test. This everyday electromechanical device can be operated at low or room temperature and has 10000× lower insertion loss than a comparable commercial quartz crystal, achieves a position imprecision matching state-of-the-art optical interferometer, and enables remote cooling of mechanical motion. The spatial properties of higher order mechanical modes are a promising feature for reconstructing unknown charge distributions. }, author = {Puglia, Denise}, issn = {2663-337X}, pages = {63}, publisher = {Institute of Science and Technology Austria}, title = {{Everyday electromechanics: Capacitive strong coupling to mechanical motion}}, doi = {10.15479/at:ista:18104}, year = {2024}, } @article{12406, abstract = {Let X be a sufficiently large positive integer. We prove that one may choose a subset S of primes with cardinality O(logX) such that a positive proportion of integers less than X can be represented by x2+py2 for at least one p∈S.}, author = {Diao, Yijie}, issn = {1730-6264}, journal = {Acta Arithmetica}, keywords = {Algebra, Number Theory}, pages = {1--17}, publisher = {Instytut Matematyczny}, title = {{Density of the union of positive diagonal binary quadratic forms}}, doi = {10.4064/aa210830-24-11}, volume = {207}, year = {2023}, } @inproceedings{12467, abstract = {Safety and liveness are elementary concepts of computation, and the foundation of many verification paradigms. The safety-liveness classification of boolean properties characterizes whether a given property can be falsified by observing a finite prefix of an infinite computation trace (always for safety, never for liveness). In quantitative specification and verification, properties assign not truth values, but quantitative values to infinite traces (e.g., a cost, or the distance to a boolean property). We introduce quantitative safety and liveness, and we prove that our definitions induce conservative quantitative generalizations of both (1)~the safety-progress hierarchy of boolean properties and (2)~the safety-liveness decomposition of boolean properties. In particular, we show that every quantitative property can be written as the pointwise minimum of a quantitative safety property and a quantitative liveness property. Consequently, like boolean properties, also quantitative properties can be min-decomposed into safety and liveness parts, or alternatively, max-decomposed into co-safety and co-liveness parts. Moreover, quantitative properties can be approximated naturally. We prove that every quantitative property that has both safe and co-safe approximations can be monitored arbitrarily precisely by a monitor that uses only a finite number of states.}, author = {Henzinger, Thomas A and Mazzocchi, Nicolas Adrien and Sarac, Naci E}, booktitle = {26th International Conference Foundations of Software Science and Computation Structures}, isbn = {9783031308284}, issn = {1611-3349}, location = {Paris, France}, pages = {349--370}, publisher = {Springer Nature}, title = {{Quantitative safety and liveness}}, doi = {10.1007/978-3-031-30829-1_17}, volume = {13992}, year = {2023}, } @misc{12497, abstract = {Aromatic side chains are important reporters of the plasticity of proteins, and often form important contacts in protein–protein interactions. We studied aromatic residues in the two structurally homologous cross-β amyloid fibrils HET-s, and HELLF by employing a specific isotope-labeling approach and magic-angle-spinning NMR. The dynamic behavior of the aromatic residues Phe and Tyr indicates that the hydrophobic amyloid core is rigid, without any sign of "breathing motions" over hundreds of milliseconds at least. Aromatic residues exposed at the fibril surface have a rigid ring axis but undergo ring flips on a variety of time scales from nanoseconds to microseconds. Our approach provides direct insight into hydrophobic-core motions, enabling a better evaluation of the conformational heterogeneity generated from an NMR structural ensemble of such amyloid cross-β architecture.}, author = {Becker, Lea Marie and Schanda, Paul}, keywords = {aromatic side chains, isotopic labeling, protein dynamics, ring flips, spin relaxation}, publisher = {Institute of Science and Technology Austria}, title = {{Research data to: The rigid core and flexible surface of amyloid fibrils probed by magic-angle-spinning NMR spectroscopy of aromatic residues}}, doi = {10.15479/AT:ISTA:12497}, year = {2023}, } @article{12545, abstract = {We study active surface wetting using a minimal model of bacteria that takes into account the intrinsic motility diversity of living matter. A mixture of “fast” and “slow” self-propelled Brownian particles is considered in the presence of a wall. The evolution of the wetting layer thickness shows an overshoot before stationarity and its composition evolves in two stages, equilibrating after a slow elimination of excess particles. Nonmonotonic evolutions are shown to arise from delayed avalanches towards the dilute phase combined with the emergence of a transient particle front.}, author = {Rojas Vega, Mauricio Nicolas and De Castro, Pablo and Soto, Rodrigo}, issn = {2470-0053}, journal = {Physical Review E}, number = {1}, publisher = {American Physical Society}, title = {{Wetting dynamics by mixtures of fast and slow self-propelled particles}}, doi = {10.1103/PhysRevE.107.014608}, volume = {107}, year = {2023}, } @article{12675, abstract = {Aromatic side chains are important reporters of the plasticity of proteins, and often form important contacts in protein--protein interactions. By studying a pair of structurally homologous cross-β amyloid fibrils, HET-s and HELLF, with a specific isotope-labeling approach and magic-angle-spinning (MAS) NMR, we have characterized the dynamic behavior of Phe and Tyr aromatic rings to show that the hydrophobic amyloid core is rigid, without any sign of "breathing motions" over hundreds of milliseconds at least. Aromatic residues exposed at the fibril surface have a rigid ring axis but undergo ring flips, on a variety of time scales from ns to µs. Our approach provides direct insight into hydrophobic-core motions, enabling a better evaluation of the conformational heterogeneity generated from a NMR structural ensemble of such amyloid cross-β architecture.}, author = {Becker, Lea Marie and Berbon, Mélanie and Vallet, Alicia and Grelard, Axelle and Morvan, Estelle and Bardiaux, Benjamin and Lichtenecker, Roman and Ernst, Matthias and Loquet, Antoine and Schanda, Paul}, issn = {1521-3773}, journal = {Angewandte Chemie International Edition}, keywords = {General Chemistry, Catalysis}, number = {19}, publisher = {Wiley}, title = {{The rigid core and flexible surface of amyloid fibrils probed by Magic‐Angle Spinning NMR of aromatic residues}}, doi = {10.1002/anie.202219314}, volume = {62}, year = {2023}, } @inproceedings{12676, abstract = {Turn-based stochastic games (aka simple stochastic games) are two-player zero-sum games played on directed graphs with probabilistic transitions. The goal of player-max is to maximize the probability to reach a target state against the adversarial player-min. These games lie in NP ∩ coNP and are among the rare combinatorial problems that belong to this complexity class for which the existence of polynomial-time algorithm is a major open question. While randomized sub-exponential time algorithm exists, all known deterministic algorithms require exponential time in the worst-case. An important open question has been whether faster algorithms can be obtained parametrized by the treewidth of the game graph. Even deterministic sub-exponential time algorithm for constant treewidth turn-based stochastic games has remain elusive. In this work our main result is a deterministic algorithm to solve turn-based stochastic games that, given a game with n states, treewidth at most t, and the bit-complexity of the probabilistic transition function log D, has running time O ((tn2 log D)t log n). In particular, our algorithm is quasi-polynomial time for games with constant or poly-logarithmic treewidth.}, author = {Chatterjee, Krishnendu and Meggendorfer, Tobias and Saona Urmeneta, Raimundo J and Svoboda, Jakub}, booktitle = {Proceedings of the 2023 Annual ACM-SIAM Symposium on Discrete Algorithms}, isbn = {9781611977554}, location = {Florence, Italy}, pages = {4590--4605}, publisher = {Society for Industrial and Applied Mathematics}, title = {{Faster algorithm for turn-based stochastic games with bounded treewidth}}, doi = {10.1137/1.9781611977554.ch173}, year = {2023}, } @article{12680, abstract = {The celebrated Erdős–Ko–Rado theorem about the maximal size of an intersecting family of r-element subsets of was extended to the setting of exterior algebra in [5, Theorem 2.3] and in [6, Theorem 1.4]. However, the equality case has not been settled yet. In this short note, we show that the extension of the Erdős–Ko–Rado theorem and the characterization of the equality case therein, as well as those of the Hilton–Milner theorem to the setting of exterior algebra in the simplest non-trivial case of two-forms follow from a folklore puzzle about possible arrangements of an intersecting family of lines.}, author = {Ivanov, Grigory and Köse, Seyda}, issn = {0012-365X}, journal = {Discrete Mathematics}, number = {6}, publisher = {Elsevier}, title = {{Erdős-Ko-Rado and Hilton-Milner theorems for two-forms}}, doi = {10.1016/j.disc.2023.113363}, volume = {346}, year = {2023}, } @phdthesis{12716, abstract = {The process of detecting and evaluating sensory information to guide behaviour is termed perceptual decision-making (PDM), and is critical for the ability of an organism to interact with its external world. Individuals with autism, a neurodevelopmental condition primarily characterised by social and communication difficulties, frequently exhibit altered sensory processing and PDM difficulties are widely reported. Recent technological advancements have pushed forward our understanding of the genetic changes accompanying this condition, however our understanding of how these mutations affect the function of specific neuronal circuits and bring about the corresponding behavioural changes remains limited. Here, we use an innate PDM task, the looming avoidance response (LAR) paradigm, to identify a convergent behavioural abnormality across three molecularly distinct genetic mouse models of autism (Cul3, Setd5 and Ptchd1). Although mutant mice can rapidly detect threatening visual stimuli, their responses are consistently delayed, requiring longer to initiate an appropriate response than their wild-type siblings. Mutant animals show abnormal adaptation in both their stimulus- evoked escape responses and exploratory dynamics following repeated stimulus presentations. Similarly delayed behavioural responses are observed in wild-type animals when faced with more ambiguous threats, suggesting the mutant phenotype could arise from a dysfunction in the flexible control of this PDM process. Our knowledge of the core neuronal circuitry mediating the LAR facilitated a detailed dissection of the neuronal mechanisms underlying the behavioural impairment. In vivo extracellular recording revealed that visual responses were unaffected within a key brain region for the rapid processing of visual threats, the superior colliculus (SC), indicating that the behavioural delay was unlikely to originate from sensory impairments. Delayed behavioural responses were recapitulated in the Setd5 model following optogenetic stimulation of the excitatory output neurons of the SC, which are known to mediate escape initiation through the activation of cells in the underlying dorsal periaqueductal grey (dPAG). In vitro patch-clamp recordings of dPAG cells uncovered a stark hypoexcitability phenotype in two out of the three genetic models investigated (Setd5 and Ptchd1), that in Setd5, is mediated by the misregulation of voltage-gated potassium channels. Overall, our results show that the ability to use visual information to drive efficient escape responses is impaired in three diverse genetic mouse models of autism and that, in one of the models studied, this behavioural delay likely originates from differences in the intrinsic excitability of a key subcortical node, the dPAG. Furthermore, this work showcases the use of an innate behavioural paradigm to mechanistically dissect PDM processes in autism.}, author = {Burnett, Laura}, issn = {2663-337X}, pages = {178}, publisher = {Institute of Science and Technology Austria}, title = {{To flee, or not to flee? Using innate defensive behaviours to investigate rapid perceptual decision-making through subcortical circuits in mouse models of autism}}, doi = {10.15479/at:ista:12716}, year = {2023}, } @article{12723, abstract = {Lead halide perovskites enjoy a number of remarkable optoelectronic properties. To explain their origin, it is necessary to study how electromagnetic fields interact with these systems. We address this problem here by studying two classical quantities: Faraday rotation and the complex refractive index in a paradigmatic perovskite CH3NH3PbBr3 in a broad wavelength range. We find that the minimal coupling of electromagnetic fields to the k⋅p Hamiltonian is insufficient to describe the observed data even on the qualitative level. To amend this, we demonstrate that there exists a relevant atomic-level coupling between electromagnetic fields and the spin degree of freedom. This spin-electric coupling allows for quantitative description of a number of previous as well as present experimental data. In particular, we use it here to show that the Faraday effect in lead halide perovskites is dominated by the Zeeman splitting of the energy levels and has a substantial beyond-Becquerel contribution. Finally, we present general symmetry-based phenomenological arguments that in the low-energy limit our effective model includes all basis coupling terms to the electromagnetic field in the linear order.}, author = {Volosniev, Artem and Shiva Kumar, Abhishek and Lorenc, Dusan and Ashourishokri, Younes and Zhumekenov, Ayan A. and Bakr, Osman M. and Lemeshko, Mikhail and Alpichshev, Zhanybek}, issn = {1079-7114}, journal = {Physical Review Letters}, keywords = {General Physics and Astronomy}, number = {10}, publisher = {American Physical Society}, title = {{Spin-electric coupling in lead halide perovskites}}, doi = {10.1103/physrevlett.130.106901}, volume = {130}, year = {2023}, } @article{12724, abstract = {We use general symmetry-based arguments to construct an effective model suitable for studying optical properties of lead halide perovskites. To build the model, we identify an atomic-level interaction between electromagnetic fields and the spin degree of freedom that should be added to a minimally coupled k⋅p Hamiltonian. As a first application, we study two basic optical characteristics of the material: the Verdet constant and the refractive index. Beyond these linear characteristics of the material, the model is suitable for calculating nonlinear effects such as the third-order optical susceptibility. Analysis of this quantity shows that the geometrical properties of the spin-electric term imply isotropic optical response of the system, and that optical anisotropy of lead halide perovskites is a manifestation of hopping of charge carriers. To illustrate this, we discuss third-harmonic generation.}, author = {Volosniev, Artem and Shiva Kumar, Abhishek and Lorenc, Dusan and Ashourishokri, Younes and Zhumekenov, Ayan and Bakr, Osman M. and Lemeshko, Mikhail and Alpichshev, Zhanybek}, issn = {2469-9969}, journal = {Physical Review B}, number = {12}, publisher = {American Physical Society}, title = {{Effective model for studying optical properties of lead halide perovskites}}, doi = {10.1103/physrevb.107.125201}, volume = {107}, year = {2023}, } @phdthesis{12726, abstract = {Most motions of many-body systems at any scale in nature with sufficient degrees of freedom tend to be chaotic; reaching from the orbital motion of planets, the air currents in our atmosphere, down to the water flowing through our pipelines or the movement of a population of bacteria. To the observer it is therefore intriguing when a moving collective exhibits order. Collective motion of flocks of birds, schools of fish or swarms of self-propelled particles or robots have been studied extensively over the past decades but the mechanisms involved in the transition from chaos to order remain unclear. Here, the interactions, that in most systems give rise to chaos, sustain order. In this thesis we investigate mechanisms that preserve, destabilize or lead to the ordered state. We show that endothelial cells migrating in circular confinements transition to a collective rotating state and concomitantly synchronize the frequencies of nucleating actin waves within individual cells. Consequently, the frequency dependent cell migration speed uniformizes across the population. Complementary to the WAVE dependent nucleation of traveling actin waves, we show that in leukocytes the actin polymerization depending on WASp generates pushing forces locally at stationary patches. Next, in pipe flows, we study methods to disrupt the self–sustaining cycle of turbulence and therefore relaminarize the flow. While we find in pulsating flow conditions that turbulence emerges through a helical instability during the decelerating phase. Finally, we show quantitatively in brain slices of mice that wild-type control neurons can compensate the migratory deficits of a genetically modified neuronal sub–population in the developing cortex.}, author = {Riedl, Michael}, issn = {2663-337X}, pages = {260}, publisher = {Institute of Science and Technology Austria}, title = {{Synchronization in collectively moving active matter}}, doi = {10.15479/at:ista:12726}, year = {2023}, } @phdthesis{12732, abstract = {Nonergodic systems, whose out-of-equilibrium dynamics fail to thermalize, provide a fascinating research direction both for fundamental reasons and for application in state of the art quantum devices. Going beyond the description of statistical mechanics, ergodicity breaking yields a new paradigm in quantum many-body physics, introducing novel phases of matter with no counterpart at equilibrium. In this Thesis, we address different open questions in the field, focusing on disorder-induced many-body localization (MBL) and on weak ergodicity breaking in kinetically constrained models. In particular, we contribute to the debate about transport in kinetically constrained models, studying the effect of $U(1)$ conservation and inversion-symmetry breaking in a family of quantum East models. Using tensor network techniques, we analyze the dynamics of large MBL systems beyond the limit of exact numerical methods. In this setting, we approach the debated topic of the coexistence of localized and thermal eigenstates separated by energy thresholds known as many-body mobility edges. Inspired by recent experiments, our work further investigates the localization of a small bath induced by the coupling to a large localized chain, the so-called MBL proximity effect. In the first Chapter, we introduce a family of particle-conserving kinetically constrained models, inspired by the quantum East model. The system we study features strong inversion-symmetry breaking, due to the nature of the correlated hopping. We show that these models host so-called quantum Hilbert space fragmentation, consisting of disconnected subsectors in an entangled basis, and further provide an analytical description of this phenomenon. We further probe its effect on dynamics of simple product states, showing revivals in fidelity and local observalbes. The study of dynamics within the largest subsector reveals an anomalous transient superdiffusive behavior crossing over to slow logarithmic dynamics at later times. This work suggests that particle conserving constrained models with inversion-symmetry breaking realize new universality classes of dynamics and invite their further theoretical and experimental studies. Next, we use kinetic constraints and disorder to design a model with many-body mobility edges in particle density. This feature allows to study the dynamics of localized and thermal states in large systems beyond the limitations of previous studies. The time-evolution shows typical signatures of localization at small densities, replaced by thermal behavior at larger densities. Our results provide evidence in favor of the stability of many-body mobility edges, which was recently challenged by a theoretical argument. To support our findings, we probe the mechanism proposed as a cause of delocalization in many-body localized systems with mobility edges suggesting its ineffectiveness in the model studied. In the last Chapter of this Thesis, we address the topic of many-body localization proximity effect. We study a model inspired by recent experiments, featuring Anderson localized coupled to a small bath of free hard-core bosons. The interaction among the two particle species results in non-trivial dynamics, which we probe using tensor network techniques. Our simulations show convincing evidence of many-body localization proximity effect when the bath is composed by a single free particle and interactions are strong. We furthter observe an anomalous entanglement dynamics, which we explain through a phenomenological theory. Finally, we extract highly excited eigenstates of large systems, providing supplementary evidence in favor of our findings.}, author = {Brighi, Pietro}, issn = {2663-337X}, pages = {158}, publisher = {Institute of Science and Technology Austria}, title = {{Ergodicity breaking in disordered and kinetically constrained quantum many-body systems}}, doi = {10.15479/at:ista:12732}, year = {2023}, } @misc{12736, abstract = {Although a wide variety of handcrafted concurrent data structures have been proposed, there is considerable interest in universal approaches (Universal Constructions or UCs) for building concurrent data structures. UCs (semi-)automatically convert a sequential data structure into a concurrent one. The simplest approach uses locks [3, 6] that protect a sequential data structure and allow only one process to access it at a time. However, the resulting data structure is blocking. Most work on UCs instead focuses on obtaining non-blocking progress guarantees such as obstruction-freedom, lock-freedom or wait-freedom. Many non-blocking UCs have appeared. Key examples include the seminal wait-free UC [2] by Herlihy, a NUMA-aware UC [10] by Yi et al., and an efficient UC for large objects [1] by Fatourou et al.}, author = {Aksenov, Vitaly and Brown, Trevor A and Fedorov, Alexander and Kokorin, Ilya}, booktitle = {Proceedings of the ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming}, isbn = {9798400700156}, location = {Montreal, QB, Canada}, pages = {438--440}, publisher = {Association for Computing Machinery}, title = {{Unexpected scaling in path copying trees}}, doi = {10.1145/3572848.3577512}, year = {2023}, } @article{12762, abstract = {Neurons in the brain are wired into adaptive networks that exhibit collective dynamics as diverse as scale-specific oscillations and scale-free neuronal avalanches. Although existing models account for oscillations and avalanches separately, they typically do not explain both phenomena, are too complex to analyze analytically or intractable to infer from data rigorously. Here we propose a feedback-driven Ising-like class of neural networks that captures avalanches and oscillations simultaneously and quantitatively. In the simplest yet fully microscopic model version, we can analytically compute the phase diagram and make direct contact with human brain resting-state activity recordings via tractable inference of the model’s two essential parameters. The inferred model quantitatively captures the dynamics over a broad range of scales, from single sensor oscillations to collective behaviors of extreme events and neuronal avalanches. Importantly, the inferred parameters indicate that the co-existence of scale-specific (oscillations) and scale-free (avalanches) dynamics occurs close to a non-equilibrium critical point at the onset of self-sustained oscillations.}, author = {Lombardi, Fabrizio and Pepic, Selver and Shriki, Oren and Tkačik, Gašper and De Martino, Daniele}, issn = {2662-8457}, journal = {Nature Computational Science}, pages = {254--263}, publisher = {Springer Nature}, title = {{Statistical modeling of adaptive neural networks explains co-existence of avalanches and oscillations in resting human brain}}, doi = {10.1038/s43588-023-00410-9}, volume = {3}, year = {2023}, } @phdthesis{12826, abstract = {During navigation, animals can infer the structure of the environment by computing the optic flow cues elicited by their own movements, and subsequently use this information to instruct proper locomotor actions. These computations require a panoramic assessment of the visual environment in order to disambiguate similar sensory experiences that may require distinct behavioral responses. The estimation of the global motion patterns is therefore essential for successful navigation. Yet, our understanding of the algorithms and implementations that enable coherent panoramic visual perception remains scarce. Here I pursue this problem by dissecting the functional aspects of interneuronal communication in the lobula plate tangential cell network in Drosophila melanogaster. The results presented in the thesis demonstrate that the basis for effective interpretation of the optic flow in this circuit are stereotyped synaptic connections that mediate the formation of distinct subnetworks, each extracting a particular pattern of global motion. Firstly, I show that gap junctions are essential for a correct interpretation of binocular motion cues by horizontal motion-sensitive cells. HS cells form electrical synapses with contralateral H2 neurons that are involved in detecting yaw rotation and translation. I developed an FlpStop-mediated mutant of a gap junction protein ShakB that disrupts these electrical synapses. While the loss of electrical synapses does not affect the tuning of the direction selectivity in HS neurons, it severely alters their sensitivity to horizontal motion in the contralateral side. These physiological changes result in an inappropriate integration of binocular motion cues in walking animals. While wild-type flies form a binocular perception of visual motion by non-linear integration of monocular optic flow cues, the mutant flies sum the monocular inputs linearly. These results indicate that rather than averaging signals in neighboring neurons, gap-junctions operate in conjunction with chemical synapses to mediate complex non-linear optic flow computations. Secondly, I show that stochastic manipulation of neuronal activity in the lobula plate tangential cell network is a powerful approach to study the neuronal implementation of optic flow-based navigation in flies. Tangential neurons form multiple subnetworks, each mediating course-stabilizing response to a particular global pattern of visual motion. Application of genetic mosaic techniques can provide sparse optogenetic activation of HS cells in numerous combinations. These distinct combinations of activated neurons drive an array of distinct behavioral responses, providing important insights into how visuomotor transformation is performed in the lobula plate tangential cell network. This approach can be complemented by stochastic silencing of tangential neurons, enabling direct assessment of the functional role of individual tangential neurons in the processing of specific visual motion patterns. Taken together, the findings presented in this thesis suggest that establishing specific activity patterns of tangential cells via stereotyped synaptic connectivity is a key to efficient optic flow-based navigation in Drosophila melanogaster.}, author = {Pokusaeva, Victoria}, issn = {2663-337X}, pages = {106}, publisher = {Institute of Science and Technology Austria}, title = {{Neural control of optic flow-based navigation in Drosophila melanogaster}}, doi = {10.15479/at:ista:12826}, year = {2023}, }