@phdthesis{14530, 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}, keywords = {Synchronization, Collective Movement, Active Matter, Cell Migration, Active Colloids}, pages = {260}, publisher = {Institute of Science and Technology Austria}, title = {{Synchronization in collectively moving active matter}}, doi = {10.15479/14530}, year = {2023}, } @phdthesis{14539, abstract = {Stochastic systems provide a formal framework for modelling and quantifying uncertainty in systems and have been widely adopted in many application domains. Formal verification and control of finite state stochastic systems, a subfield of formal methods also known as probabilistic model checking, is well studied. In contrast, formal verification and control of infinite state stochastic systems have received comparatively less attention. However, infinite state stochastic systems commonly arise in practice. For instance, probabilistic models that contain continuous probability distributions such as normal or uniform, or stochastic dynamical systems which are a classical model for control under uncertainty, both give rise to infinite state systems. The goal of this thesis is to contribute to laying theoretical and algorithmic foundations of fully automated formal verification and control of infinite state stochastic systems, with a particular focus on systems that may be executed over a long or infinite time. We consider formal verification of infinite state stochastic systems in the setting of static analysis of probabilistic programs and formal control in the setting of controller synthesis in stochastic dynamical systems. For both problems, we present some of the first fully automated methods for probabilistic (a.k.a. quantitative) reachability and safety analysis applicable to infinite time horizon systems. We also advance the state of the art of probability 1 (a.k.a. qualitative) reachability analysis for both problems. Finally, for formal controller synthesis in stochastic dynamical systems, we present a novel framework for learning neural network control policies in stochastic dynamical systems with formal guarantees on correctness with respect to quantitative reachability, safety or reach-avoid specifications. }, author = {Zikelic, Dorde}, isbn = {978-3-99078-036-7}, issn = {2663 - 337X}, pages = {256}, publisher = {Institute of Science and Technology Austria}, title = {{Automated verification and control of infinite state stochastic systems}}, doi = {10.15479/14539}, year = {2023}, } @article{14542, abstract = {It is a remarkable property of BCS theory that the ratio of the energy gap at zero temperature Ξ and the critical temperature Tc is (approximately) given by a universal constant, independent of the microscopic details of the fermionic interaction. This universality has rigorously been proven quite recently in three spatial dimensions and three different limiting regimes: weak coupling, low density and high density. The goal of this short note is to extend the universal behavior to lower dimensions d=1,2 and give an exemplary proof in the weak coupling limit.}, author = {Henheik, Sven Joscha and Lauritsen, Asbjørn Bækgaard and Roos, Barbara}, issn = {1793-6659}, journal = {Reviews in Mathematical Physics}, publisher = {World Scientific Publishing}, title = {{Universality in low-dimensional BCS theory}}, doi = {10.1142/s0129055x2360005x}, year = {2023}, } @article{14543, abstract = {The acyl-CoA-binding domain-containing protein 6 (ACBD6) is ubiquitously expressed, plays a role in the acylation of lipids and proteins, and regulates the N-myristoylation of proteins via N-myristoyltransferase enzymes (NMTs). However, its precise function in cells is still unclear, as is the consequence of ACBD6 defects on human pathophysiology. Utilizing exome sequencing and extensive international data sharing efforts, we identified 45 affected individuals from 28 unrelated families (consanguinity 93%) with bi-allelic pathogenic, predominantly loss-of-function (18/20) variants in ACBD6. We generated zebrafish and Xenopus tropicalis acbd6 knockouts by CRISPR/Cas9 and characterized the role of ACBD6 on protein N-myristoylation with YnMyr chemical proteomics in the model organisms and human cells, with the latter also being subjected further to ACBD6 peroxisomal localization studies. The affected individuals (23 males and 22 females), with ages ranging from 1 to 50 years old, typically present with a complex and progressive disease involving moderate-to-severe global developmental delay/intellectual disability (100%) with significant expressive language impairment (98%), movement disorders (97%), facial dysmorphism (95%), and mild cerebellar ataxia (85%) associated with gait impairment (94%), limb spasticity/hypertonia (76%), oculomotor (71%) and behavioural abnormalities (65%), overweight (59%), microcephaly (39%) and epilepsy (33%). The most conspicuous and common movement disorder was dystonia (94%), frequently leading to early-onset progressive postural deformities (97%), limb dystonia (55%), and cervical dystonia (31%). A jerky tremor in the upper limbs (63%), a mild head tremor (59%), parkinsonism/hypokinesia developing with advancing age (32%), and simple motor and vocal tics were among other frequent movement disorders. Midline brain malformations including corpus callosum abnormalities (70%), hypoplasia/agenesis of the anterior commissure (66%), short midbrain and small inferior cerebellar vermis (38% each), as well as hypertrophy of the clava (24%) were common neuroimaging findings. acbd6-deficient zebrafish and Xenopus models effectively recapitulated many clinical phenotypes reported in patients including movement disorders, progressive neuromotor impairment, seizures, microcephaly, craniofacial dysmorphism, and midbrain defects accompanied by developmental delay with increased mortality over time. Unlike ACBD5, ACBD6 did not show a peroxisomal localisation and ACBD6-deficiency was not associated with altered peroxisomal parameters in patient fibroblasts. Significant differences in YnMyr-labelling were observed for 68 co- and 18 post-translationally N-myristoylated proteins in patient-derived fibroblasts. N-Myristoylation was similarly affected in acbd6-deficient zebrafish and Xenopus tropicalis models, including Fus, Marcks, and Chchd-related proteins implicated in neurological diseases. The present study provides evidence that bi-allelic pathogenic variants in ACBD6 lead to a distinct neurodevelopmental syndrome accompanied by complex and progressive cognitive and movement disorders.}, author = {Kaiyrzhanov, Rauan and Rad, Aboulfazl and Lin, Sheng-Jia and Bertoli-Avella, Aida and Kallemeijn, Wouter W and Godwin, Annie and Zaki, Maha S and Huang, Kevin and Lau, Tracy and Petree, Cassidy and Efthymiou, Stephanie and Ghayoor Karimiani, Ehsan and Hempel, Maja and Normand, Elizabeth A and Rudnik-Schöneborn, Sabine and Schatz, Ulrich A and Baggelaar, Marc P and Ilyas, Muhammad and Sultan, Tipu and Alvi, Javeria Raza and Ganieva, Manizha and Fowler, Ben and Aanicai, Ruxandra and Akay Tayfun, Gulsen and Al Saman, Abdulaziz and Alswaid, Abdulrahman and Amiri, Nafise and Asilova, Nilufar and Shotelersuk, Vorasuk and Yeetong, Patra and Azam, Matloob and Babaei, Meisam and Bahrami Monajemi, Gholamreza and Mohammadi, Pouria and Samie, Saeed and Banu, Selina Husna and Basto, Jorge Pinto and Kortüm, Fanny and Bauer, Mislen and Bauer, Peter and Beetz, Christian and Garshasbi, Masoud and Hameed Issa, Awatif and Eyaid, Wafaa and Ahmed, Hind and Hashemi, Narges and Hassanpour, Kazem and Herman, Isabella and Ibrohimov, Sherozjon and Abdul-Majeed, Ban A and Imdad, Maria and Isrofilov, Maksudjon and Kaiyal, Qassem and Khan, Suliman and Kirmse, Brian and Koster, Janet and Lourenço, Charles Marques and Mitani, Tadahiro and Moldovan, Oana and Murphy, David and Najafi, Maryam and Pehlivan, Davut and Rocha, Maria Eugenia and Salpietro, Vincenzo and Schmidts, Miriam and Shalata, Adel and Mahroum, Mohammad and Talbeya, Jawabreh Kassem and Taylor, Robert W and Vazquez, Dayana and Vetro, Annalisa and Waterham, Hans R and Zaman, Mashaya and Schrader, Tina A and Chung, Wendy K and Guerrini, Renzo and Lupski, James R and Gleeson, Joseph and Suri, Mohnish and Jamshidi, Yalda and Bhatia, Kailash P and Vona, Barbara and Schrader, Michael and Severino, Mariasavina and Guille, Matthew and Tate, Edward W and Varshney, Gaurav K and Houlden, Henry and Maroofian, Reza}, issn = {1460-2156}, journal = {Brain}, keywords = {Neurology (clinical)}, publisher = {Oxford University Press}, title = {{Bi-allelic ACBD6 variants lead to a neurodevelopmental syndrome with progressive and complex movement disorders}}, doi = {10.1093/brain/awad380}, year = {2023}, } @phdthesis{14547, abstract = {Superconductor-semiconductor heterostructures currently capture a significant amount of research interest and they serve as the physical platform in many proposals towards topological quantum computation. Despite being under extensive investigations, historically using transport techniques, the basic properties of the interface between the superconductor and the semiconductor remain to be understood. In this thesis, two separate studies on the Al-InAs heterostructures are reported with the first focusing on the physics of the material motivated by the emergence of a new phase, the Bogoliubov-Fermi surface. The second focuses on a technological application, a gate-tunable Josephson parametric amplifier. In the first study, we investigate the hypothesized unconventional nature of the induced superconductivity at the interface between the Al thin film and the InAs quantum well. We embed a two-dimensional Al-InAs hybrid system in a resonant microwave circuit allowing measurements of change in inductance. The behaviour of the resonance in a range of temperature and in-plane magnetic field has been studied and compared with the theory of conventional s-wave superconductor and a two-component theory that includes both contribution of the $s$-wave pairing in Al and the intraband $p \pm ip$ pairing in InAs. Measuring the temperature dependence of resonant frequency, no discrepancy is found between data and the conventional theory. We observe the breakdown of superconductivity due to an applied magnetic field which contradicts the conventional theory. In contrast, the data can be captured quantitatively by fitting to a two-component model. We find the evidence of the intraband $p \pm ip$ pairing in the InAs and the emergence of the Bogoliubov-Fermi surfaces due to magnetic field with the characteristic value $B^* = 0.33~\mathrm{T}$. From the fits, the sheet resistance of Al, the carrier density and mobility in InAs are determined. By systematically studying the anisotropy of the circuit response, we find weak anisotropy for $B < B^*$ and increasingly strong anisotropy for $B > B^*$ resulting in a pronounced two-lobe structure in polar plot of frequency versus field angle. Strong resemblance between the field dependence of dissipation and superfluid density hints at a hidden signature of the Bogoliubov-Fermi surface that is burried in the dissipation data. In the second study, we realize a parametric amplifier with a Josephson field effect transistor as the active element. The device's modest construction consists of a gated SNS weak link embedded at the center of a coplanar waveguide resonator. By applying a gate voltage, the resonant frequency is field-effect tunable over a range of 2 GHz. Modelling the JoFET minimally as a parallel RL circuit, the dissipation introduced by the JoFET can be quantitatively related to the gate voltage. We observed gate-tunable Kerr nonlinearity qualitatively in line with expectation. The JoFET amplifier has 20 dB of gain, 4 MHz of instantaneous bandwidth, and a 1dB compression point of -125.5 dBm when operated at a fixed resonant frequency. In general, the signal-to-noise ratio is improved by 5-7 dB when the JoFET amplifier is activated compared. The noise of the measurement chain and insertion loss of relevant circuit elements are calibrated to determine the expected and the real noise performance of the JoFET amplifier. As a quantification of the noise performance, the measured total input-referred noise of the JoFET amplifier is in good agreement with the estimated expectation which takes device loss into account. We found that the noise performance of the device reported in this document approaches one photon of total input-referred added noise which is the quantum limit imposed in nondegenerate parametric amplifier.}, author = {Phan, Duc T}, issn = {2663 - 337X}, keywords = {superconductor-semiconductor, superconductivity, Al, InAs, p-wave, superconductivity, JPA, microwave}, pages = {80}, publisher = {Institute of Science and Technology Austria}, title = {{Resonant microwave spectroscopy of Al-InAs}}, doi = {10.15479/14547}, year = {2023}, } @phdthesis{14587, abstract = {This thesis concerns the application of variational methods to the study of evolution problems arising in fluid mechanics and in material sciences. The main focus is on weak-strong stability properties of some curvature driven interface evolution problems, such as the two-phase Navier–Stokes flow with surface tension and multiphase mean curvature flow, and on the phase-field approximation of the latter. Furthermore, we discuss a variational approach to the study of a class of doubly nonlinear wave equations. First, we consider the two-phase Navier–Stokes flow with surface tension within a bounded domain. The two fluids are immiscible and separated by a sharp interface, which intersects the boundary of the domain at a constant contact angle of ninety degree. We devise a suitable concept of varifolds solutions for the associated interface evolution problem and we establish a weak-strong uniqueness principle in case of a two dimensional ambient space. In order to focus on the boundary effects and on the singular geometry of the evolving domains, we work for simplicity in the regime of same viscosities for the two fluids. The core of the thesis consists in the rigorous proof of the convergence of the vectorial Allen-Cahn equation towards multiphase mean curvature flow for a suitable class of multi- well potentials and for well-prepared initial data. We even establish a rate of convergence. Our relative energy approach relies on the concept of gradient-flow calibration for branching singularities in multiphase mean curvature flow and thus enables us to overcome the limitations of other approaches. To the best of the author’s knowledge, our result is the first quantitative and unconditional one available in the literature for the vectorial/multiphase setting. This thesis also contains a first study of weak-strong stability for planar multiphase mean curvature flow beyond the singularity resulting from a topology change. Previous weak-strong results are indeed limited to time horizons before the first topology change of the strong solution. We consider circular topology changes and we prove weak-strong stability for BV solutions to planar multiphase mean curvature flow beyond the associated singular times by dynamically adapting the strong solutions to the weak one by means of a space-time shift. In the context of interface evolution problems, our proofs for the main results of this thesis are based on the relative energy technique, relying on novel suitable notions of relative energy functionals, which in particular measure the interface error. Our statements follow from the resulting stability estimates for the relative energy associated to the problem. At last, we introduce a variational approach to the study of nonlinear evolution problems. This approach hinges on the minimization of a parameter dependent family of convex functionals over entire trajectories, known as Weighted Inertia-Dissipation-Energy (WIDE) functionals. We consider a class of doubly nonlinear wave equations and establish the convergence, up to subsequences, of the associated WIDE minimizers to a solution of the target problem as the parameter goes to zero.}, author = {Marveggio, Alice}, issn = {2663 - 337X}, pages = {228}, publisher = {Institute of Science and Technology Austria}, title = {{Weak-strong stability and phase-field approximation of interface evolution problems in fluid mechanics and in material sciences}}, doi = {10.15479/at:ista:14587}, year = {2023}, } @phdthesis{14622, author = {Sack, Stefan}, issn = {2663 - 337X}, pages = {142}, publisher = {Institute of Science and Technology Austria}, title = {{Improving variational quantum algorithms: Innovative initialization techniques and extensions to qudit systems}}, doi = {10.15479/at:ista:14622}, year = {2023}, } @article{14628, abstract = {We introduce a compact, intuitive procedural graph representation for cellular metamaterials, which are small-scale, tileable structures that can be architected to exhibit many useful material properties. Because the structures’ “architectures” vary widely—with elements such as beams, thin shells, and solid bulks—it is difficult to explore them using existing representations. Generic approaches like voxel grids are versatile, but it is cumbersome to represent and edit individual structures; architecture-specific approaches address these issues, but are incompatible with one another. By contrast, our procedural graph succinctly represents the construction process for any structure using a simple skeleton annotated with spatially varying thickness. To express the highly constrained triply periodic minimal surfaces (TPMS) in this manner, we present the first fully automated version of the conjugate surface construction method, which allows novices to create complex TPMS from intuitive input. We demonstrate our representation’s expressiveness, accuracy, and compactness by constructing a wide range of established structures and hundreds of novel structures with diverse architectures and material properties. We also conduct a user study to verify our representation’s ease-of-use and ability to expand engineers’ capacity for exploration.}, author = {Makatura, Liane and Wang, Bohan and Chen, Yi-Lu and Deng, Bolei and Wojtan, Christopher J and Bickel, Bernd and Matusik, Wojciech}, issn = {0730-0301}, journal = {ACM Transactions on Graphics}, keywords = {Computer Graphics and Computer-Aided Design}, number = {5}, publisher = {Association for Computing Machinery}, title = {{Procedural metamaterials: A unified procedural graph for metamaterial design}}, doi = {10.1145/3605389}, volume = {42}, year = {2023}, } @phdthesis{14641, author = {Hennessey-Wesen, Mike}, issn = {2663 - 337X}, keywords = {microfluidics, miceobiology, mutations, quorum sensing}, pages = {104}, publisher = {Institute of Science and Technology Austria}, title = {{Adaptive mutation in E. coli modulated by luxS}}, doi = {10.15479/at:ista:14641}, year = {2023}, } @phdthesis{14651, abstract = {For self-incompatibility (SI) to be stable in a population, theory predicts that sufficient inbreeding depression (ID) is required: the fitness of offspring from self-mated individuals must be low enough to prevent the spread of self-compatibility (SC). Reviews of natural plant populations have supported this theory, with SI species generally showing high levels of ID. However, there is thought to be an under-sampling of self-incompatible taxa in the current literature. In this thesis, I study inbreeding depression in the SI plant species Antirrhinum majus using both greenhouse crosses and a large collected field dataset. Additionally, the gametophytic S-locus of A. majus is highly heterozygous and polymorphic, thus making assembly and discovery of S-alleles very difficult. Here, 206 new alleles of the male component SLFs are presented, along with a phylogeny showing the high conservation with alleles from another Antirrhinum species. Lastly, selected sites within the protein structure of SLFs are investigated, with one site in particular highlighted as potentially being involved in the SI recognition mechanism.}, author = {Arathoon, Louise S}, issn = {2663 - 337X}, pages = {96}, publisher = {Institute of Science and Technology Austria}, title = {{Investigating inbreeding depression and the self-incompatibility locus of Antirrhinum majus}}, doi = {10.15479/at:ista:14651}, year = {2023}, } @article{14653, abstract = {Mass spectrometry imaging (MSI) is a powerful analytical technique for the two-dimensional (2D) localization of chemicals on surfaces. Conventional MSI experiments require to predefine the surface of interest based on photographic or microscopic images. Typically, these boundaries can no longer be changed or adjusted once the experiment has been started. In terms of a more interactive approach we recently developed a pen-like ionization interface which is directly connected to the mass spectrometer. The device allows the user to ionize chemicals by desorption electrospray ionization (DESI) and to freely move the interface over a surface of interest. A mini camera, which is mounted on the tip of the pen, magnifies the desorption area and enables a simple positioning of the pen. The combination of optical data from the camera module and chemical data obtained by mass analysis facilitates a novel type of imaging experiment: interactive mass spectrometry imaging (IMSI). For this application, we present a novel approach for a robust, optical flow-based motion detection. While the live video stream from the camera is used to track the pen's motion across the surface a post-acquisition algorithm correlates the coordinates of the pen trajectory with respective mass spectra obtained from a simultaneous mass spectrometric data acquisition. This algorithm is no longer dependent on a single, manually applied optical marker on the sample surface, which has to be visible on all video frames throughout the analysis. The advanced DESI-IMSI method was successfully tested on inkjet-printed letters as well as mouse brain tissue samples. Validation of the results was done by comparing DESI-IMSI with standard DESI-MSI data.}, author = {Kluibenschedl, Florian and Ploner, Anna and Meisenbichler, Christina and Konrat, Robert and Müller, Thomas}, issn = {1387-3806}, journal = {International Journal of Mass Spectrometry}, publisher = {Elsevier}, title = {{Advanced motion tracking for interactive mass spectrometry imaging (IMSI)}}, doi = {10.1016/j.ijms.2023.117168}, volume = {495}, year = {2023}, } @article{14687, abstract = {The short history of research on Li-O2 batteries has seen a remarkable number of mechanistic U-turns over the years. From the initial use of carbonate electrolytes, that were then found to be entirely unsuitable, to the belief that (su)peroxide was solely responsible for degradation, before the more reactive singlet oxygen was found to form, to the hypothesis that capacity depends on a competing surface/solution mechanism before a practically exclusive solution mechanism was identified. Herein, we argue for an ever-fresh look at the reported data without bias towards supposedly established explanations. We explain how the latest findings on rate and capacity limits, as well as the origin of side reactions, are connected via the disproportionation (DISP) step in the (dis)charge mechanism. Therefrom, directions emerge for the design of electrolytes and mediators on how to suppress side reactions and to enable high rate and high reversible capacity.}, author = {Jethwa, Rajesh B and Mondal, Soumyadip and Pant, Bhargavi and Freunberger, Stefan Alexander}, issn = {1521-3773}, journal = {Angewandte Chemie International Edition}, keywords = {General Chemistry, Catalysis}, publisher = {Wiley}, title = {{To DISP or not? The far‐reaching reaction mechanisms underpinning Lithium‐air batteries}}, doi = {10.1002/anie.202316476}, year = {2023}, } @phdthesis{14697, author = {Stopp, Julian A}, isbn = {978-3-99078-038-1}, issn = {2663 - 337X}, pages = {226}, publisher = {Institute of Science and Technology Austria}, title = {{Neutrophils on the hunt: Migratory strategies employed by neutrophils to fulfill their effector function}}, doi = {10.15479/at:ista:14697}, year = {2023}, } @unpublished{14703, abstract = {We present a discretization of the dynamic optimal transport problem for which we can obtain the convergence rate for the value of the transport cost to its continuous value when the temporal and spatial stepsize vanish. This convergence result does not require any regularity assumption on the measures, though experiments suggest that the rate is not sharp. Via an analysis of the duality gap we also obtain the convergence rates for the gradient of the optimal potentials and the velocity field under mild regularity assumptions. To obtain such rates we discretize the dual formulation of the dynamic optimal transport problem and use the mature literature related to the error due to discretizing the Hamilton-Jacobi equation.}, author = {Ishida, Sadashige and Lavenant, Hugo}, booktitle = {arXiv}, keywords = {Optimal transport, Hamilton-Jacobi equation, convex optimization}, title = {{Quantitative convergence of a discretization of dynamic optimal transport using the dual formulation}}, doi = {10.48550/arXiv.2312.12213}, year = {2023}, } @inproceedings{14735, abstract = {Scaling blockchain protocols to perform on par with the expected needs of Web3.0 has been proven to be a challenging task with almost a decade of research. In the forefront of the current solution is the idea of separating the execution of the updates encoded in a block from the ordering of blocks. In order to achieve this, a new class of protocols called rollups has emerged. Rollups have as input a total ordering of valid and invalid transactions and as output a new valid state-transition. If we study rollups from a distributed computing perspective, we uncover that rollups take as input the output of a Byzantine Atomic Broadcast (BAB) protocol and convert it to a State Machine Replication (SMR) protocol. BAB and SMR, however, are considered equivalent as far as distributed computing is concerned and a solution to one can easily be retrofitted to solve the other simply by adding/removing an execution step before the validation of the input. This “easy” step of retrofitting an atomic broadcast solution to implement an SMR has, however, been overlooked in practice. In this paper, we formalize the problem and show that after BAB is solved, traditional impossibility results for consensus no longer apply towards an SMR. Leveraging this we propose a distributed execution protocol that allows reduced execution and storage cost per executor (O(log2n/n)) without relaxing the network assumptions of the underlying BAB protocol and providing censorship-resistance. Finally, we propose efficient non-interactive light client constructions that leverage our efficient execution protocols and do not require any synchrony assumptions or expensive ZK-proofs.}, author = {Stefo, Christos and Xiang, Zhuolun and Kokoris Kogias, Eleftherios}, booktitle = {27th International Conference on Financial Cryptography and Data Security}, isbn = {9783031477539}, issn = {0302-9743}, location = {Bol, Brac, Croatia}, pages = {3--20}, publisher = {Springer Nature}, title = {{Executing and proving over dirty ledgers}}, doi = {10.1007/978-3-031-47754-6_1}, volume = {13950}, year = {2023}, } @article{12291, abstract = {The phytohormone auxin triggers transcriptional reprogramming through a well-characterized perception machinery in the nucleus. By contrast, mechanisms that underlie fast effects of auxin, such as the regulation of ion fluxes, rapid phosphorylation of proteins or auxin feedback on its transport, remain unclear1,2,3. Whether auxin-binding protein 1 (ABP1) is an auxin receptor has been a source of debate for decades1,4. Here we show that a fraction of Arabidopsis thaliana ABP1 is secreted and binds auxin specifically at an acidic pH that is typical of the apoplast. ABP1 and its plasma-membrane-localized partner, transmembrane kinase 1 (TMK1), are required for the auxin-induced ultrafast global phospho-response and for downstream processes that include the activation of H+-ATPase and accelerated cytoplasmic streaming. abp1 and tmk mutants cannot establish auxin-transporting channels and show defective auxin-induced vasculature formation and regeneration. An ABP1(M2X) variant that lacks the capacity to bind auxin is unable to complement these defects in abp1 mutants. These data indicate that ABP1 is the auxin receptor for TMK1-based cell-surface signalling, which mediates the global phospho-response and auxin canalization.}, author = {Friml, Jiří and Gallei, Michelle C and Gelová, Zuzana and Johnson, Alexander J and Mazur, Ewa and Monzer, Aline and Rodriguez Solovey, Lesia and Roosjen, Mark and Verstraeten, Inge and Živanović, Branka D. and Zou, Minxia and Fiedler, Lukas and Giannini, Caterina and Grones, Peter and Hrtyan, Mónika and Kaufmann, Walter and Kuhn, Andre and Narasimhan, Madhumitha and Randuch, Marek and Rýdza, Nikola and Takahashi, Koji and Tan, Shutang and Teplova, Anastasiia and Kinoshita, Toshinori and Weijers, Dolf and Rakusová, Hana}, issn = {1476-4687}, journal = {Nature}, number = {7927}, pages = {575--581}, publisher = {Springer Nature}, title = {{ABP1–TMK auxin perception for global phosphorylation and auxin canalization}}, doi = {10.1038/s41586-022-05187-x}, volume = {609}, year = {2022}, } @article{12307, abstract = {Point-set topology is among the most abstract branches of mathematics in that it lacks tangible notions of distance, length, magnitude, order, and size. There is no shape, no geometry, no algebra, and no direction. Everything we are used to visualizing is gone. In the teaching and learning of mathematics, this can present a conundrum. Yet, this very property makes point set topology perfect for teaching and learning abstract mathematical concepts. It clears our minds of preconceived intuitions and expectations and forces us to think in new and creative ways. In this paper, we present guided investigations into topology through questions and thinking strategies that open up fascinating problems. They are intended for faculty who already teach or are thinking about teaching a class in topology or abstract mathematical reasoning for undergraduates. They can be used to build simple to challenging projects in topology, proofs, honors programs, and research experiences.}, author = {Shipman, Barbara A. and Stephenson, Elizabeth R}, issn = {1935-4053}, journal = {PRIMUS}, keywords = {Education, General Mathematics}, number = {5}, pages = {593--609}, publisher = {Taylor & Francis}, title = {{Tangible topology through the lens of limits}}, doi = {10.1080/10511970.2021.1872750}, volume = {32}, year = {2022}, } @phdthesis{12358, abstract = {The complex yarn structure of knitted and woven fabrics gives rise to both a mechanical and visual complexity. The small-scale interactions of yarns colliding with and pulling on each other result in drastically different large-scale stretching and bending behavior, introducing anisotropy, curling, and more. While simulating cloth as individual yarns can reproduce this complexity and match the quality of real fabric, it may be too computationally expensive for large fabrics. On the other hand, continuum-based approaches do not need to discretize the cloth at a stitch-level, but it is non-trivial to find a material model that would replicate the large-scale behavior of yarn fabrics, and they discard the intricate visual detail. In this thesis, we discuss three methods to try and bridge the gap between small-scale and large-scale yarn mechanics using numerical homogenization: fitting a continuum model to periodic yarn simulations, adding mechanics-aware yarn detail onto thin-shell simulations, and quantitatively fitting yarn parameters to physical measurements of real fabric. To start, we present a method for animating yarn-level cloth effects using a thin-shell solver. We first use a large number of periodic yarn-level simulations to build a model of the potential energy density of the cloth, and then use it to compute forces in a thin-shell simulator. The resulting simulations faithfully reproduce expected effects like the stiffening of woven fabrics and the highly deformable nature and anisotropy of knitted fabrics at a fraction of the cost of full yarn-level simulation. While our thin-shell simulations are able to capture large-scale yarn mechanics, they lack the rich visual detail of yarn-level simulations. Therefore, we propose a method to animate yarn-level cloth geometry on top of an underlying deforming mesh in a mechanics-aware fashion in real time. Using triangle strains to interpolate precomputed yarn geometry, we are able to reproduce effects such as knit loops tightening under stretching at negligible cost. Finally, we introduce a methodology for inverse-modeling of yarn-level mechanics of cloth, based on the mechanical response of fabrics in the real world. We compile a database from physical tests of several knitted fabrics used in the textile industry spanning diverse physical properties like stiffness, nonlinearity, and anisotropy. We then develop a system for approximating these mechanical responses with yarn-level cloth simulation, using homogenized shell models to speed up computation and adding some small-but-necessary extensions to yarn-level models used in computer graphics. }, author = {Sperl, Georg}, isbn = {978-3-99078-020-6}, issn = {2663-337X}, pages = {138}, publisher = {Institute of Science and Technology Austria}, title = {{Homogenizing yarn simulations: Large-scale mechanics, small-scale detail, and quantitative fitting}}, doi = {10.15479/at:ista:12103}, year = {2022}, } @phdthesis{12364, abstract = {Autism spectrum disorders (ASDs) are a group of neurodevelopmental disorders characterized by behavioral symptoms such as problems in social communication and interaction, as well as repetitive, restricted behaviors and interests. These disorders show a high degree of heritability and hundreds of risk genes have been identifed using high throughput sequencing technologies. This genetic heterogeneity has hampered eforts in understanding the pathogenesis of ASD but at the same time given rise to the concept of convergent mechanisms. Previous studies have identifed that risk genes for ASD broadly converge onto specifc functional categories with transcriptional regulation being one of the biggest groups. In this thesis, I focus on this subgroup of genes and investigate the gene regulatory consequences of some of them in the context of neurodevelopment. First, we showed that mutations in the ASD and intellectual disability risk gene Setd5 lead to perturbations of gene regulatory programs in early cell fate specifcation. In addition, adult animals display abnormal learning behavior which is mirrored at the transcriptional level by altered activity dependent regulation of postsynaptic gene expression. Lastly, we link the regulatory function of Setd5 to its interaction with the Paf1 and the NCoR complex. Second, by modeling the heterozygous loss of the top ASD gene CHD8 in human cerebral organoids we demonstrate profound changes in the developmental trajectories of both inhibitory and excitatory neurons using single cell RNA-sequencing. While the former were generated earlier in CHD8+/- organoids, the generation of the latter was shifted to later times in favor of a prolonged progenitor expansion phase and ultimately increased organoid size. Finally, by modeling heterozygous mutations for four ASD associated chromatin modifers, ASH1L, KDM6B, KMT5B, and SETD5 in human cortical spheroids we show evidence of regulatory convergence across three of those genes. We observe a shift from dorsal cortical excitatory neuron fates towards partially ventralized cell types resembling cells from the lateral ganglionic eminence. As this project is still ongoing at the time of writing, future experiments will aim at elucidating the regulatory mechanisms underlying this shift with the aim of linking these three ASD risk genes through biological convergence.}, author = {Dotter, Christoph}, issn = {2663-337X}, pages = {152}, publisher = {Institute of Science and Technology Austria}, title = {{Transcriptional consequences of mutations in genes associated with Autism Spectrum Disorder}}, doi = {10.15479/at:ista:12094}, year = {2022}, } @phdthesis{12366, abstract = {Recent substantial advances in the feld of superconducting circuits have shown its potential as a leading platform for future quantum computing. In contrast to classical computers based on bits that are represented by a single binary value, 0 or 1, quantum bits (or qubits) can be in a superposition of both. Thus, quantum computers can store and handle more information at the same time and a quantum advantage has already been demonstrated for two types of computational tasks. Rapid progress in academic and industry labs accelerates the development of superconducting processors which may soon fnd applications in complex computations, chemical simulations, cryptography, and optimization. Now that these machines are scaled up to tackle such problems the questions of qubit interconnects and networks becomes very relevant. How to route signals on-chip between diferent processor components? What is the most efcient way to entangle qubits? And how to then send and process entangled signals between distant cryostats hosting superconducting processors? In this thesis, we are looking for solutions to these problems by studying the collective behavior of superconducting qubit ensembles. We frst demonstrate on-demand tunable directional scattering of microwave photons from a pair of qubits in a waveguide. Such a device can route microwave photons on-chip with a high diode efciency. Then we focus on studying ultra-strong coupling regimes between light (microwave photons) and matter (superconducting qubits), a regime that could be promising for extremely fast multi-qubit entanglement generation. Finally, we show coherent pulse storage and periodic revivals in a fve qubit ensemble strongly coupled to a resonator. Such a reconfgurable storage device could be used as part of a quantum repeater that is needed for longer-distance quantum communication. The achieved high degree of control over multi-qubit ensembles highlights not only the beautiful physics of circuit quantum electrodynamics, it also represents the frst step toward new quantum simulation and communication methods, and certain techniques may also fnd applications in future superconducting quantum computing hardware. }, author = {Redchenko, Elena}, isbn = {978-3-99078-024-4}, issn = {2663-337X}, pages = {168}, publisher = {Institute of Science and Technology Austria}, title = {{Controllable states of superconducting Qubit ensembles}}, doi = {10.15479/at:ista:12132}, year = {2022}, }