@phdthesis{11473, abstract = {The polaron model is a basic model of quantum field theory describing a single particle interacting with a bosonic field. It arises in many physical contexts. We are mostly concerned with models applicable in the context of an impurity atom in a Bose-Einstein condensate as well as the problem of electrons moving in polar crystals. The model has a simple structure in which the interaction of the particle with the field is given by a term linear in the field’s creation and annihilation operators. In this work, we investigate the properties of this model by providing rigorous estimates on various energies relevant to the problem. The estimates are obtained, for the most part, by suitable operator techniques which constitute the principal mathematical substance of the thesis. The first application of these techniques is to derive the polaron model rigorously from first principles, i.e., from a full microscopic quantum-mechanical many-body problem involving an impurity in an otherwise homogeneous system. We accomplish this for the N + 1 Bose gas in the mean-field regime by showing that a suitable polaron-type Hamiltonian arises at weak interactions as a low-energy effective theory for this problem. In the second part, we investigate rigorously the ground state of the model at fixed momentum and for large values of the coupling constant. Qualitatively, the system is expected to display a transition from the quasi-particle behavior at small momenta, where the dispersion relation is parabolic and the particle moves through the medium dragging along a cloud of phonons, to the radiative behavior at larger momenta where the polaron decelerates and emits free phonons. At the same time, in the strong coupling regime, the bosonic field is expected to behave purely classically. Accordingly, the effective mass of the polaron at strong coupling is conjectured to be asymptotically equal to the one obtained from the semiclassical counterpart of the problem, first studied by Landau and Pekar in the 1940s. For polaron models with regularized form factors and phonon dispersion relations of superfluid type, i.e., bounded below by a linear function of the wavenumbers for all phonon momenta as in the interacting Bose gas, we prove that for a large window of momenta below the radiation threshold, the energy-momentum relation at strong coupling is indeed essentially a parabola with semi-latus rectum equal to the Landau–Pekar effective mass, as expected. For the Fröhlich polaron describing electrons in polar crystals where the dispersion relation is of the optical type and the form factor is formally UV–singular due to the nature of the point charge-dipole interaction, we are able to give the corresponding upper bound. In contrast to the regular case, this requires the inclusion of the quantum fluctuations of the phonon field, which makes the problem considerably more difficult. The results are supplemented by studies on the absolute ground-state energy at strong coupling, a proof of the divergence of the effective mass with the coupling constant for a wide class of polaron models, as well as the discussion of the apparent UV singularity of the Fröhlich model and the application of the techniques used for its removal for the energy estimates. }, author = {Mysliwy, Krzysztof}, issn = {2663-337X}, pages = {138}, publisher = {Institute of Science and Technology Austria}, title = {{Polarons in Bose gases and polar crystals: Some rigorous energy estimates}}, doi = {10.15479/at:ista:11473}, year = {2022}, } @inproceedings{11476, abstract = {Messaging platforms like Signal are widely deployed and provide strong security in an asynchronous setting. It is a challenging problem to construct a protocol with similar security guarantees that can efficiently scale to large groups. A major bottleneck are the frequent key rotations users need to perform to achieve post compromise forward security. In current proposals – most notably in TreeKEM (which is part of the IETF’s Messaging Layer Security (MLS) protocol draft) – for users in a group of size n to rotate their keys, they must each craft a message of size log(n) to be broadcast to the group using an (untrusted) delivery server. In larger groups, having users sequentially rotate their keys requires too much bandwidth (or takes too long), so variants allowing any T≤n users to simultaneously rotate their keys in just 2 communication rounds have been suggested (e.g. “Propose and Commit” by MLS). Unfortunately, 2-round concurrent updates are either damaging or expensive (or both); i.e. they either result in future operations being more costly (e.g. via “blanking” or “tainting”) or are costly themselves requiring Ω(T) communication for each user [Bienstock et al., TCC’20]. In this paper we propose CoCoA; a new scheme that allows for T concurrent updates that are neither damaging nor costly. That is, they add no cost to future operations yet they only require Ω(log2(n)) communication per user. To circumvent the [Bienstock et al.] lower bound, CoCoA increases the number of rounds needed to complete all updates from 2 up to (at most) log(n); though typically fewer rounds are needed. The key insight of our protocol is the following: in the (non-concurrent version of) TreeKEM, a delivery server which gets T concurrent update requests will approve one and reject the remaining T−1. In contrast, our server attempts to apply all of them. If more than one user requests to rotate the same key during a round, the server arbitrarily picks a winner. Surprisingly, we prove that regardless of how the server chooses the winners, all previously compromised users will recover after at most log(n) such update rounds. To keep the communication complexity low, CoCoA is a server-aided CGKA. That is, the delivery server no longer blindly forwards packets, but instead actively computes individualized packets tailored to each user. As the server is untrusted, this change requires us to develop new mechanisms ensuring robustness of the protocol.}, author = {Alwen, Joël and Auerbach, Benedikt and Cueto Noval, Miguel and Klein, Karen and Pascual Perez, Guillermo and Pietrzak, Krzysztof Z and Walter, Michael}, booktitle = {Advances in Cryptology – EUROCRYPT 2022}, isbn = {9783031070846}, issn = {1611-3349}, location = {Trondheim, Norway}, pages = {815–844}, publisher = {Springer Nature}, title = {{CoCoA: Concurrent continuous group key agreement}}, doi = {10.1007/978-3-031-07085-3_28}, volume = {13276}, year = {2022}, } @misc{11542, author = {Schulz, Rouven}, publisher = {Institute of Science and Technology Austria}, title = {{Source Data (Chimeric GPCRs mimic distinct signaling pathways and modulate microglia responses)}}, doi = {10.15479/AT:ISTA:11542}, year = {2022}, } @article{11556, abstract = {We revisit two basic Direct Simulation Monte Carlo Methods to model aggregation kinetics and extend them for aggregation processes with collisional fragmentation (shattering). We test the performance and accuracy of the extended methods and compare their performance with efficient deterministic finite-difference method applied to the same model. We validate the stochastic methods on the test problems and apply them to verify the existence of oscillating regimes in the aggregation-fragmentation kinetics recently detected in deterministic simulations. We confirm the emergence of steady oscillations of densities in such systems and prove the stability of the oscillations with respect to fluctuations and noise.}, author = {Kalinov, Aleksei and Osinskiy, A.I. and Matveev, S.A. and Otieno, W. and Brilliantov, N.V.}, issn = {0021-9991}, journal = {Journal of Computational Physics}, keywords = {Computer Science Applications, Physics and Astronomy (miscellaneous), Applied Mathematics, Computational Mathematics, Modeling and Simulation, Numerical Analysis}, publisher = {Elsevier}, title = {{Direct simulation Monte Carlo for new regimes in aggregation-fragmentation kinetics}}, doi = {10.1016/j.jcp.2022.111439}, volume = {467}, year = {2022}, } @phdthesis{11626, abstract = {Plant growth and development is well known to be both, flexible and dynamic. The high capacity for post-embryonic organ formation and tissue regeneration requires tightly regulated intercellular communication and coordinated tissue polarization. One of the most important drivers for patterning and polarity in plant development is the phytohormone auxin. Auxin has the unique characteristic to establish polarized channels for its own active directional cell to cell transport. This fascinating phenomenon is called auxin canalization. Those auxin transport channels are characterized by the expression and polar, subcellular localization of PIN auxin efflux carriers. PIN proteins have the ability to dynamically change their localization and auxin itself can affect this by interfering with trafficking. Most of the underlying molecular mechanisms of canalization still remain enigmatic. What is known so far is that canonical auxin signaling is indispensable but also other non-canonical signaling components are thought to play a role. In order to shed light into the mysteries auf auxin canalization this study revisits the branches of auxin signaling in detail. Further a new auxin analogue, PISA, is developed which triggers auxin-like responses but does not directly activate canonical transcriptional auxin signaling. We revisit the direct auxin effect on PIN trafficking where we found that, contradictory to previous observations, auxin is very specifically promoting endocytosis of PIN2 but has no overall effect on endocytosis. Further, we evaluate which cellular processes related to PIN subcellular dynamics are involved in the establishment of auxin conducting channels and the formation of vascular tissue. We are re-evaluating the function of AUXIN BINDING PROTEIN 1 (ABP1) and provide a comprehensive picture about its developmental phneotypes and involvement in auxin signaling and canalization. Lastly, we are focusing on the crosstalk between the hormone strigolactone (SL) and auxin and found that SL is interfering with essentially all processes involved in auxin canalization in a non-transcriptional manner. Lastly we identify a new way of SL perception and signaling which is emanating from mitochondria, is independent of canonical SL signaling and is modulating primary root growth.}, author = {Gallei, Michelle C}, isbn = {978-3-99078-019-0}, issn = {2663-337X}, pages = {248}, publisher = {Institute of Science and Technology Austria}, title = {{Auxin and strigolactone non-canonical signaling regulating development in Arabidopsis thaliana}}, doi = {10.15479/at:ista:11626}, year = {2022}, } @misc{11653, abstract = {Eurasian brine shrimp (genus Artemia) have closely related sexual and asexual lineages of parthenogenetic females, which produce rare males at low frequencies. Although they are known to have ZW chromosomes, these are not well characterized, and it is unclear whether they are shared across the clade. Furthermore, the underlying genetic architecture of the transmission of asexuality, which can occur when rare males mate with closely related sexual females, is not well understood. We produced a chromosome-level assembly for the sexual Eurasian species A. sinica and characterized in detail the pair of sex chromosomes of this species. We combined this new assembly with short-read genomic data for the sexual species A. sp. Kazakhstan and several asexual lineages of A. parthenogenetica, allowing us to perform an in-depth characterization of sex-chromosome evolution across the genus. We identified a small differentiated region of the ZW pair that is shared by all sexual and asexual lineages, supporting the shared ancestry of the sex chromosomes. We also inferred that recombination suppression has spread to larger sections of the chromosome independently in the American and Eurasian lineages. Finally, we took advantage of a rare male, which we backcrossed to sexual females, to explore the genetic basis of asexuality. Our results suggest that parthenogenesis is likely partly controlled by a locus on the Z chromosome, highlighting the interplay between sex determination and asexuality.}, author = {Elkrewi, Marwan N}, publisher = {Institute of Science and Technology Austria}, title = {{Data from Elkrewi, Khauratovich, Toups et al. 2022, "ZW sex-chromosome evolution and contagious parthenogenesis in Artemia brine shrimp"}}, doi = {10.15479/AT:ISTA:11653}, year = {2022}, } @article{11658, abstract = {The depth of a cell in an arrangement of n (non-vertical) great-spheres in Sd is the number of great-spheres that pass above the cell. We prove Euler-type relations, which imply extensions of the classic Dehn–Sommerville relations for convex polytopes to sublevel sets of the depth function, and we use the relations to extend the expressions for the number of faces of neighborly polytopes to the number of cells of levels in neighborly arrangements.}, author = {Biswas, Ranita and Cultrera di Montesano, Sebastiano and Edelsbrunner, Herbert and Saghafian, Morteza}, journal = {Leibniz International Proceedings on Mathematics}, publisher = {Schloss Dagstuhl - Leibniz Zentrum für Informatik}, title = {{Depth in arrangements: Dehn–Sommerville–Euler relations with applications}}, year = {2022}, } @article{11660, abstract = {We characterize critical points of 1-dimensional maps paired in persistent homology geometrically and this way get elementary proofs of theorems about the symmetry of persistence diagrams and the variation of such maps. In particular, we identify branching points and endpoints of networks as the sole source of asymmetry and relate the cycle basis in persistent homology with a version of the stable marriage problem. Our analysis provides the foundations of fast algorithms for maintaining collections of interrelated sorted lists together with their persistence diagrams. }, author = {Biswas, Ranita and Cultrera di Montesano, Sebastiano and Edelsbrunner, Herbert and Saghafian, Morteza}, journal = {LIPIcs}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{A window to the persistence of 1D maps. I: Geometric characterization of critical point pairs}}, year = {2022}, } @article{11723, abstract = {Plant cell growth responds rapidly to various stimuli, adapting architecture to environmental changes. Two major endogenous signals regulating growth are the phytohormone auxin and the secreted peptides rapid alkalinization factors (RALFs). Both trigger very rapid cellular responses and also exert long-term effects [Du et al., Annu. Rev. Plant Biol. 71, 379–402 (2020); Blackburn et al., Plant Physiol. 182, 1657–1666 (2020)]. However, the way, in which these distinct signaling pathways converge to regulate growth, remains unknown. Here, using vertical confocal microscopy combined with a microfluidic chip, we addressed the mechanism of RALF action on growth. We observed correlation between RALF1-induced rapid Arabidopsis thaliana root growth inhibition and apoplast alkalinization during the initial phase of the response, and revealed that RALF1 reversibly inhibits primary root growth through apoplast alkalinization faster than within 1 min. This rapid apoplast alkalinization was the result of RALF1-induced net H+ influx and was mediated by the receptor FERONIA (FER). Furthermore, we investigated the cross-talk between RALF1 and the auxin signaling pathways during root growth regulation. The results showed that RALF-FER signaling triggered auxin signaling with a delay of approximately 1 h by up-regulating auxin biosynthesis, thus contributing to sustained RALF1-induced growth inhibition. This biphasic RALF1 action on growth allows plants to respond rapidly to environmental stimuli and also reprogram growth and development in the long term.}, author = {Li, Lanxin and Chen, Huihuang and Alotaibi, Saqer S. and Pěnčík, Aleš and Adamowski, Maciek and Novák, Ondřej and Friml, Jiří}, issn = {1091-6490}, journal = {Proceedings of the National Academy of Sciences}, keywords = {Multidisciplinary}, number = {31}, publisher = {Proceedings of the National Academy of Sciences}, title = {{RALF1 peptide triggers biphasic root growth inhibition upstream of auxin biosynthesis}}, doi = {10.1073/pnas.2121058119}, volume = {119}, year = {2022}, } @article{11732, abstract = {We study the BCS energy gap Ξ in the high–density limit and derive an asymptotic formula, which strongly depends on the strength of the interaction potential V on the Fermi surface. In combination with the recent result by one of us (Math. Phys. Anal. Geom. 25, 3, 2022) on the critical temperature Tc at high densities, we prove the universality of the ratio of the energy gap and the critical temperature.}, author = {Henheik, Sven Joscha and Lauritsen, Asbjørn Bækgaard}, issn = {1572-9613}, journal = {Journal of Statistical Physics}, keywords = {Mathematical Physics, Statistical and Nonlinear Physics}, publisher = {Springer Nature}, title = {{The BCS energy gap at high density}}, doi = {10.1007/s10955-022-02965-9}, volume = {189}, year = {2022}, } @inproceedings{11775, abstract = {Quantitative monitoring can be universal and approximate: For every finite sequence of observations, the specification provides a value and the monitor outputs a best-effort approximation of it. The quality of the approximation may depend on the resources that are available to the monitor. By taking to the limit the sequences of specification values and monitor outputs, we obtain precision-resource trade-offs also for limit monitoring. This paper provides a formal framework for studying such trade-offs using an abstract interpretation for monitors: For each natural number n, the aggregate semantics of a monitor at time n is an equivalence relation over all sequences of at most n observations so that two equivalent sequences are indistinguishable to the monitor and thus mapped to the same output. This abstract interpretation of quantitative monitors allows us to measure the number of equivalence classes (or “resource use”) that is necessary for a certain precision up to a certain time, or at any time. Our framework offers several insights. For example, we identify a family of specifications for which any resource-optimal exact limit monitor is independent of any error permitted over finite traces. Moreover, we present a specification for which any resource-optimal approximate limit monitor does not minimize its resource use at any time. }, author = {Henzinger, Thomas A and Mazzocchi, Nicolas Adrien and Sarac, Naci E}, booktitle = {22nd International Conference on Runtime Verification}, issn = {0302-9743}, location = {Tbilisi, Georgia}, pages = {200--220}, publisher = {Springer Nature}, title = {{Abstract monitors for quantitative specifications}}, doi = {10.1007/978-3-031-17196-3_11}, volume = {13498}, year = {2022}, } @phdthesis{11777, abstract = {In this dissertation we study coboundary expansion of simplicial complex with a view of giving geometric applications. Our main novel tool is an equivariant version of Gromov's celebrated Topological Overlap Theorem. The equivariant topological overlap theorem leads to various geometric applications including a quantitative non-embeddability result for sufficiently thick buildings (which partially resolves a conjecture of Tancer and Vorwerk) and an improved lower bound on the pair-crossing number of (bounded degree) expander graphs. Additionally, we will give new proofs for several known lower bounds for geometric problems such as the number of Tverberg partitions or the crossing number of complete bipartite graphs. For the aforementioned applications one is naturally lead to study expansion properties of joins of simplicial complexes. In the presence of a special certificate for expansion (as it is the case, e.g., for spherical buildings), the join of two expanders is an expander. On the flip-side, we report quite some evidence that coboundary expansion exhibits very non-product-like behaviour under taking joins. For instance, we exhibit infinite families of graphs $(G_n)_{n\in \mathbb{N}}$ and $(H_n)_{n\in\mathbb{N}}$ whose join $G_n*H_n$ has expansion of lower order than the product of the expansion constant of the graphs. Moreover, we show an upper bound of $(d+1)/2^d$ on the normalized coboundary expansion constants for the complete multipartite complex $[n]^{*(d+1)}$ (under a mild divisibility condition on $n$). Via the probabilistic method the latter result extends to an upper bound of $(d+1)/2^d+\varepsilon$ on the coboundary expansion constant of the spherical building associated with $\mathrm{PGL}_{d+2}(\mathbb{F}_q)$ for any $\varepsilon>0$ and sufficiently large $q=q(\varepsilon)$. This disproves a conjecture of Lubotzky, Meshulam and Mozes -- in a rather strong sense. By improving on existing lower bounds we make further progress towards closing the gap between the known lower and upper bounds on the coboundary expansion constants of $[n]^{*(d+1)}$. The best improvements we achieve using computer-aided proofs and flag algebras. The exact value even for the complete $3$-partite $2$-dimensional complex $[n]^{*3}$ remains unknown but we are happy to conjecture a precise value for every $n$. %Moreover, we show that a previously shown lower bound on the expansion constant of the spherical building associated with $\mathrm{PGL}_{2}(\mathbb{F}_q)$ is not tight. In a loosely structured, last chapter of this thesis we collect further smaller observations related to expansion. We point out a link between discrete Morse theory and a technique for showing coboundary expansion, elaborate a bit on the hardness of computing coboundary expansion constants, propose a new criterion for coboundary expansion (in a very dense setting) and give one way of making the folklore result that expansion of links is a necessary condition for a simplicial complex to be an expander precise.}, author = {Wild, Pascal}, isbn = {978-3-99078-021-3}, issn = {2663-337X}, pages = {170}, publisher = {Institute of Science and Technology}, title = {{High-dimensional expansion and crossing numbers of simplicial complexes}}, doi = {10.15479/at:ista:11777}, year = {2022}, } @article{14355, abstract = {Purpose: The mediator (MED) multisubunit-complex modulates the activity of the transcriptional machinery, and genetic defects in different MED subunits (17, 20, 27) have been implicated in neurologic diseases. In this study, we identified a recurrent homozygous variant in MED11 (c.325C>T; p.Arg109Ter) in 7 affected individuals from 5 unrelated families. Methods: To investigate the genetic cause of the disease, exome or genome sequencing were performed in 5 unrelated families identified via different research networks and Matchmaker Exchange. Deep clinical and brain imaging evaluations were performed by clinical pediatric neurologists and neuroradiologists. The functional effect of the candidate variant on both MED11 RNA and protein was assessed using reverse transcriptase polymerase chain reaction and western blotting using fibroblast cell lines derived from 1 affected individual and controls and through computational approaches. Knockouts in zebrafish were generated using clustered regularly interspaced short palindromic repeats/Cas9. Results: The disease was characterized by microcephaly, profound neurodevelopmental impairment, exaggerated startle response, myoclonic seizures, progressive widespread neurodegeneration, and premature death. Functional studies on patient-derived fibroblasts did not show a loss of protein function but rather disruption of the C-terminal of MED11, likely impairing binding to other MED subunits. A zebrafish knockout model recapitulates key clinical phenotypes. Conclusion: Loss of the C-terminal of MED subunit 11 may affect its binding efficiency to other MED subunits, thus implicating the MED-complex stability in brain development and neurodegeneration. (C) 2022 The Authors. Published by Elsevier Inc. on behalf of American College of Medical Genetics and Genomics.}, author = {Cali, Elisa and Lin, Sheng-Jia and Rocca, Clarissa and Sahin, Yavuz and Al Shamsi, Aisha and El Chehadeh, Salima and Chaabouni, Myriam and Mankad, Kshitij and Galanaki, Evangelia and Efthymiou, Stephanie and Sudhakar, Sniya and Athanasiou-Fragkouli, Alkyoni and Celik, Tamer and Narli, Nejat and Bianca, Sebastiano and Murphy, David and Moreira, Francisco Martins De Carvalho and Accogli, Andrea and Petree, Cassidy and Huang, Kevin and Monastiri, Kamel and Edizadeh, Masoud and Nardello, Rosaria and Ognibene, Marzia and De Marco, Patrizia and Ruggieri, Martino and Zara, Federico and Striano, Pasquale and Sahin, Yavuz and Al-Gazali, Lihadh and Warde, Marie Therese Abi and Gerard, Benedicte and Zifarelli, Giovanni and Beetz, Christian and Fortuna, Sara and Soler, Miguel and Valente, Enza Maria and Varshney, Gaurav and Maroofian, Reza and Salpietro, Vincenzo and Houlden, Henry and Grp, SYNaPS Study}, issn = {1098-3600}, journal = {Genetics in Medicine}, keywords = {Human mediator complex, MED11, MEDopathies}, number = {10}, pages = {2194--2203}, publisher = {Elsevier}, title = {{A homozygous MED11 C-terminal variant causes a lethal neurodegenerative disease}}, doi = {10.1016/j.gim.2022.07.013}, volume = {24}, year = {2022}, } @article{9311, abstract = {Partially observable Markov decision processes (POMDPs) are standard models for dynamic systems with probabilistic and nondeterministic behaviour in uncertain environments. We prove that in POMDPs with long-run average objective, the decision maker has approximately optimal strategies with finite memory. This implies notably that approximating the long-run value is recursively enumerable, as well as a weak continuity property of the value with respect to the transition function. }, author = {Chatterjee, Krishnendu and Saona Urmeneta, Raimundo J and Ziliotto, Bruno}, issn = {1526-5471}, journal = {Mathematics of Operations Research}, keywords = {Management Science and Operations Research, General Mathematics, Computer Science Applications}, number = {1}, pages = {100--119}, publisher = {Institute for Operations Research and the Management Sciences}, title = {{Finite-memory strategies in POMDPs with long-run average objectives}}, doi = {10.1287/moor.2020.1116}, volume = {47}, year = {2022}, } @article{10600, abstract = {We show that recent results on adiabatic theory for interacting gapped many-body systems on finite lattices remain valid in the thermodynamic limit. More precisely, we prove a generalized super-adiabatic theorem for the automorphism group describing the infinite volume dynamics on the quasi-local algebra of observables. The key assumption is the existence of a sequence of gapped finite volume Hamiltonians, which generates the same infinite volume dynamics in the thermodynamic limit. Our adiabatic theorem also holds for certain perturbations of gapped ground states that close the spectral gap (so it is also an adiabatic theorem for resonances and, in this sense, “generalized”), and it provides an adiabatic approximation to all orders in the adiabatic parameter (a property often called “super-adiabatic”). In addition to the existing results for finite lattices, we also perform a resummation of the adiabatic expansion and allow for observables that are not strictly local. Finally, as an application, we prove the validity of linear and higher order response theory for our class of perturbations for infinite systems. While we consider the result and its proof as new and interesting in itself, we also lay the foundation for the proof of an adiabatic theorem for systems with a gap only in the bulk, which will be presented in a follow-up article.}, author = {Henheik, Sven Joscha and Teufel, Stefan}, issn = {1089-7658}, journal = {Journal of Mathematical Physics}, keywords = {mathematical physics, statistical and nonlinear physics}, number = {1}, publisher = {AIP Publishing}, title = {{Adiabatic theorem in the thermodynamic limit: Systems with a uniform gap}}, doi = {10.1063/5.0051632}, volume = {63}, year = {2022}, } @article{10623, abstract = {We investigate the BCS critical temperature Tc in the high-density limit and derive an asymptotic formula, which strongly depends on the behavior of the interaction potential V on the Fermi-surface. Our results include a rigorous confirmation for the behavior of Tc at high densities proposed by Langmann et al. (Phys Rev Lett 122:157001, 2019) and identify precise conditions under which superconducting domes arise in BCS theory.}, author = {Henheik, Sven Joscha}, issn = {1572-9656}, journal = {Mathematical Physics, Analysis and Geometry}, keywords = {geometry and topology, mathematical physics}, number = {1}, publisher = {Springer Nature}, title = {{The BCS critical temperature at high density}}, doi = {10.1007/s11040-021-09415-0}, volume = {25}, year = {2022}, } @article{10642, abstract = {Based on a result by Yarotsky (J Stat Phys 118, 2005), we prove that localized but otherwise arbitrary perturbations of weakly interacting quantum spin systems with uniformly gapped on-site terms change the ground state of such a system only locally, even if they close the spectral gap. We call this a strong version of the local perturbations perturb locally (LPPL) principle which is known to hold for much more general gapped systems, but only for perturbations that do not close the spectral gap of the Hamiltonian. We also extend this strong LPPL-principle to Hamiltonians that have the appropriate structure of gapped on-site terms and weak interactions only locally in some region of space. While our results are technically corollaries to a theorem of Yarotsky, we expect that the paradigm of systems with a locally gapped ground state that is completely insensitive to the form of the Hamiltonian elsewhere extends to other situations and has important physical consequences.}, author = {Henheik, Sven Joscha and Teufel, Stefan and Wessel, Tom}, issn = {1573-0530}, journal = {Letters in Mathematical Physics}, keywords = {mathematical physics, statistical and nonlinear physics}, number = {1}, publisher = {Springer Nature}, title = {{Local stability of ground states in locally gapped and weakly interacting quantum spin systems}}, doi = {10.1007/s11005-021-01494-y}, volume = {112}, year = {2022}, } @article{10643, abstract = {We prove a generalised super-adiabatic theorem for extended fermionic systems assuming a spectral gap only in the bulk. More precisely, we assume that the infinite system has a unique ground state and that the corresponding Gelfand–Naimark–Segal Hamiltonian has a spectral gap above its eigenvalue zero. Moreover, we show that a similar adiabatic theorem also holds in the bulk of finite systems up to errors that vanish faster than any inverse power of the system size, although the corresponding finite-volume Hamiltonians need not have a spectral gap. }, author = {Henheik, Sven Joscha and Teufel, Stefan}, issn = {2050-5094}, journal = {Forum of Mathematics, Sigma}, keywords = {computational mathematics, discrete mathematics and combinatorics, geometry and topology, mathematical physics, statistics and probability, algebra and number theory, theoretical computer science, analysis}, publisher = {Cambridge University Press}, title = {{Adiabatic theorem in the thermodynamic limit: Systems with a gap in the bulk}}, doi = {10.1017/fms.2021.80}, volume = {10}, year = {2022}, } @inproceedings{11839, abstract = {It is a highly desirable property for deep networks to be robust against small input changes. One popular way to achieve this property is by designing networks with a small Lipschitz constant. In this work, we propose a new technique for constructing such Lipschitz networks that has a number of desirable properties: it can be applied to any linear network layer (fully-connected or convolutional), it provides formal guarantees on the Lipschitz constant, it is easy to implement and efficient to run, and it can be combined with any training objective and optimization method. In fact, our technique is the first one in the literature that achieves all of these properties simultaneously. Our main contribution is a rescaling-based weight matrix parametrization that guarantees each network layer to have a Lipschitz constant of at most 1 and results in the learned weight matrices to be close to orthogonal. Hence we call such layers almost-orthogonal Lipschitz (AOL). Experiments and ablation studies in the context of image classification with certified robust accuracy confirm that AOL layers achieve results that are on par with most existing methods. Yet, they are simpler to implement and more broadly applicable, because they do not require computationally expensive matrix orthogonalization or inversion steps as part of the network architecture. We provide code at https://github.com/berndprach/AOL.}, author = {Prach, Bernd and Lampert, Christoph}, booktitle = {Computer Vision – ECCV 2022}, isbn = {9783031198021}, location = {Tel Aviv, Israel}, pages = {350--365}, publisher = {Springer Nature}, title = {{Almost-orthogonal layers for efficient general-purpose Lipschitz networks}}, doi = {10.1007/978-3-031-19803-8_21}, volume = {13681}, year = {2022}, } @phdthesis{11879, abstract = {As the overall global mean surface temperature is increasing due to climate change, plant adaptation to those stressful conditions is of utmost importance for their survival. Plants are sessile organisms, thus to compensate for their lack of mobility, they evolved a variety of mechanisms enabling them to flexibly adjust their physiological, growth and developmental processes to fluctuating temperatures and to survive in harsh environments. While these unique adaptation abilities provide an important evolutionary advantage, overall modulation of plant growth and developmental program due to non-optimal temperature negatively affects biomass production, crop productivity or sensitivity to pathogens. Thus, understanding molecular processes underlying plant adaptation to increased temperature can provide important resources for breeding strategies to ensure sufficient agricultural food production. An increase in ambient temperature by a few degrees leads to profound changes in organ growth including enhanced hypocotyl elongation, expansion of petioles, hyponastic growth of leaves and cotyledons, collectively named thermomorphogenesis (Casal & Balasubramanian, 2019). Auxin, one of the best-studied growth hormones, plays an essential role in this process by direct activation of transcriptional and non-transcriptional processes resulting in elongation growth (Majda & Robert, 2018).To modulate hypocotyl growth in response to high ambient temperature (hAT), auxin needs to be redistributed accordingly. PINs, auxin efflux transporters, are key components of the polar auxin transport (PAT) machinery, which controls the amount and direction of auxin translocated in the plant tissues and organs(Adamowski & Friml, 2015). Hence, PIN-mediated transport is tightly linked with thermo-morphogenesis, and interference with PAT through either chemical or genetic means dramatically affecting the adaptive responses to hAT. Intriguingly, despite the key role of PIN mediated transport in growth response to hAT, whether and how PINs at the level of expression adapt to fluctuation in temperature is scarcely understood. With genetic, molecular and advanced bio-imaging approaches, we demonstrate the role of PIN auxin transporters in the regulation of hypocotyl growth in response to hAT. We show that via adjustment of PIN3, PIN4 and PIN7 expression in cotyledons and hypocotyls, auxin distribution is modulated thereby determining elongation pattern of epidermal cells at hAT. Furthermore, we identified three Zinc-Finger (ZF) transcription factors as novel molecular components of the thermo-regulatory network, which through negative regulation of PIN transcription adjust the transport of auxin at hAT. Our results suggest that the ZF-PIN module might be a part of the negative feedback loop attenuating the activity of the thermo-sensing pathway to restrain exaggerated growth and developmental responses to hAT.}, author = {Artner, Christina}, isbn = {978-3-99078-022-0}, issn = {2663-337X}, keywords = {high ambient temperature, auxin, PINs, Zinc-Finger proteins, thermomorphogenesis, stress}, pages = {128}, publisher = {Institute of Science and Technology Austria}, title = {{Modulation of auxin transport via ZF proteins adjust plant response to high ambient temperature}}, doi = {10.15479/at:ista:11879}, year = {2022}, }