@article{21490, abstract = {Auxin canalization is a self-organizing process that governs the flexible formation of vasculature by reinforcing the formation of auxin transport channels. A key prerequisite is the feedback between auxin signaling and directional auxin transport, mediated by PIN transporters. Despite the developmental importance of canalization, the molecular components linking auxin perception to the regulation of PIN auxin transporters remain poorly understood. Here, we identify TOW, a novel and essential component of auxin canalization that links intracellular auxin signaling with cell surface auxin perception. TOW is regulated downstream of TIR1/AFB-Aux/IAA-WRKY23 transcriptional auxin signaling. tow mutants exhibit defects in regeneration and de novo vasculature formation, along with impaired formation of polarized, PIN-expressing auxin channels. At the subcellular level, these mutants display disrupted auxin-induced PIN polarization and altered PIN endocytic trafficking dynamics. TOW localizes predominantly to the plasma membrane, where it interacts with receptor-like kinases involved in auxin canalization, including the TMK1 auxin co-receptor and the CAMEL-CANAR complex. TOW promotes PIN interaction with these kinases and stabilizes PINs at the cell surface. Together, our findings identify TOW as a molecular link between intracellular and cell surface auxin signaling mechanisms that converge on PIN trafficking and polarity, providing new insights into how auxin signaling regulates directional auxin transport for the self-organizing formation of vasculature during flexible plant development.}, author = {Li, Mingyue and Rydza, Nikola and Mazur, Ewa and Molnar, Gergely and Nodzyński, Tomasz and Friml, Jiří}, issn = {0960-9822}, journal = {Current Biology}, number = {6}, pages = {1468--1480.e6}, publisher = {Elsevier}, title = {{Receptor-like-kinase-interacting protein TOW stabilizes PIN transporters for auxin canalization}}, doi = {10.1016/j.cub.2026.02.023}, volume = {36}, year = {2026}, } @article{21484, abstract = {An individual's phenotype reflects a complex interplay of the direct effects of their DNA, epigenetic modifications of their DNA induced by their parents, and indirect effects of their parents' DNA. Here, we derive how the genetic variance within a population is changed under the influence of indirect maternal, paternal and parent-of-origin effects under random mating. We also consider indirect effects of a sibling, in particular how the genetic variance is altered when looking at the phenotypic difference between two siblings. The calculations are then extended to include assortative mating (AM), which alters the variance by inducing increased homozygosity and correlations within and across loci. AM likely leads to covariance of parental genetic effects, a measure of the similarity of parents in the indirect effects they have on their children. We propose that this assortment for parental characteristics, where biological parents create similar environments for their children, can create shared parental effects across traits and the appearance of cross-trait AM. Our theory shows how the resemblance among relatives increases under both AM, indirect and parent-of-origin effects. When our model is used to predict correlations among relatives in human height, we find that explaining the patterns observed in real data requires both indirect genetic effects and assortative mating. The degree to which direct, indirect and epigenetic effects shape the phenotypic variance of complex traits remains an open question that requires large-scale family data to be resolved.}, author = {Krätschmer, Ilse and Robinson, Matthew Richard}, issn = {1943-2631}, journal = {Genetics}, publisher = {Oxford University Press}, title = {{A quantitative genetic model for indirect genetic effects and genomic imprinting under random and assortative mating}}, doi = {10.1093/genetics/iyag042}, year = {2026}, } @article{21486, abstract = {Sex-chromosome systems are highly variable across animals, but how they transition from one to another is not well understood. Diptera have undergone multiple sex-chromosome turnovers and expansions while maintaining their general chromosomal content, which makes them an ideal clade to study such transitions. We analyzed more than 100 dipteran whole-genome assemblies and identified 4 new lineages that underwent sex-chromosome turnover (in addition to the 5 previously reported). We find that the majority of turnovers happened in the group Schizophora, which tend to have fewer genes on Muller element F (the chromosome homologous to the ancestral insect X chromosome) than lower dipterans, a factor previously hypothesized to facilitate turnover. Most derived X chromosomes have higher GC content than autosomes, consistent with a high prevalence of male achiasmy in Diptera. In addition, an excess of gene movement out of the X is detected for most of these new X chromosomes, and many of these moved genes have high testis expression in Drosophila, suggesting that out-of-X gene movement contributes to the long-term demasculinization of X chromosomes.}, author = {Layana Franco, Lorena Alexandra and Toups, Melissa A and Vicoso, Beatriz}, issn = {2056-3744}, journal = {Evolution Letters}, publisher = {Oxford University Press}, title = {{Causes and consequences of sex-chromosome turnovers in Diptera}}, doi = {10.1093/evlett/qrag003}, year = {2026}, } @misc{21137, author = {Naik, Suyash}, publisher = {Institute of Science and Technology Austria}, title = {{Data associated with Keratins coordinate tissue spreading }}, doi = {10.15479/AT-ISTA-21137}, year = {2026}, } @article{21489, abstract = {We study Kirillov algebras attached to minuscule highest weight representations of semisimple Lie algebras. They can be viewed as equivariant cohomology algebras of partial flag varieties. Real structures on the varieties then induce involutions of these algebras. We describe how these involutions act on the spectra of minuscule Kirillov algebras, and model the fixed points via the equivariant cohomology of real partial flag varieties. We then use this model to characterise freeness of the fixed point coordinate ring over the appropriate base. As an application, we recover a q = -1 phenomenon of Stembridge in the minuscule case by geometric means.}, author = {Elkner, Mischa M}, issn = {1531-586X}, journal = {Transformation Groups}, publisher = {Springer Nature}, title = {{On involutions of minuscule Kirillov algebras induced by real structures}}, doi = {10.1007/s00031-026-09958-y}, year = {2026}, } @phdthesis{21393, abstract = {This thesis documents a voyage towards truth and beauty via formal verification of theorems. To this end, we develop libraries in Lean 4 that present definitions and results from diverse areas of MathematiCS (i.e., Mathematics and Computer Science). The aim is to create code that is understandable, believable, useful, and elegant. The code should stand for itself as much as possible without a need for documentation; however, this text redundantly documents our code artifacts and provides additional context that isn’t present in the code. This thesis is written for readers who know Lean 4 but are not familiar with any of the topics presented. We manifest truth and beauty in three formalized areas of MathematiCS. We formalize general grammars in Lean 4 and use grammars to show closure of the class of type-0 languages under four operations; union, reversal, concatenation, and the Kleene star. Our second stop is the theory of optimization. Farkas established that a system of linear inequalities has a solution if and only if we cannot obtain a contradiction by taking a linear combination of the inequalities. We state and formally prove several Farkas-like theorems over linearly ordered fields in Lean 4. Furthermore, we extend duality theory to the case when some coefficients are allowed to take “infinite values”. Additionally, we develop the basics of the theory of optimization in terms of the framework called General-Valued Constraint Satisfaction Problems, and we prove that, if a Rational-Valued Constraint Satisfaction Problem template has symmetric fractional polymorphisms of all arities, then its basic LP relaxation is tight. Our third stop is matroid theory. Seymour’s decomposition theorem is a hallmark result in matroid theory, presenting a structural characterization of the class of regular matroids. We aim to formally verify Seymour’s theorem in Lean 4. First, we build a library for working with totally unimodular matrices. We define binary matroids and their standard representations, and we prove that they form a matroid in the sense how Mathlib defines matroids. We define regular matroids to be matroids for which there exists a full representation rational matrix that is totally unimodular, and we prove that all regular matroids are binary. We define 1-sum, 2-sum, and 3 sum of binary matroids as specific ways to compose their standard representation matrices. We prove that the 1-sum, the 2-sum, and the 3-sum of regular matroids are a regular matroid, which concludes the composition direction of the Seymour’s theorem. The (more difficult) decomposition direction remains unproved. In the pursuit of truth, we focus on identifying the trusted code in each project and presenting it faithfully. We emphasize the readability and believability of definitions rather than choosing definitions that are easier to work with. In search for beauty, we focus on the philosophical framework of Roger Scruton, who emphasizes that beauty is not a mere decoration but, most importantly, beauty is the means for shaping our place in the world and a source of redemption, where it can be viewed as a substitute for religion.}, author = {Dvorak, Martin}, isbn = {978-3-99078-074-9}, issn = {2663-337X}, pages = {160}, publisher = {Institute of Science and Technology Austria}, title = {{Pursuit of truth and beauty in Lean 4 : Formally verified theory of grammars, optimization, matroids}}, doi = {10.15479/AT-ISTA-21393}, year = {2026}, } @article{21501, abstract = {Kinetically constrained models were originally introduced to capture slow relaxation in glassy systems, where dynamics are hindered by local constraints instead of energy barriers. Their quantum counterparts have recently drawn attention for exhibiting highly degenerate eigenstates at zero energy—known as zero modes—stemming from chiral symmetry. Yet, the structure and implications of these zero modes remain poorly understood. In this work, we focus on the properties of the zero mode subspace in quantum kinetically constrained models with a U(1) particle-conservation symmetry. We use the U(1) East, which lacks inversion symmetry, and the inversion-symmetric U(1) East-West models to illustrate our two main results. First, we observe that the simultaneous presence of constraints and chiral symmetry generally leads to a parametric increase in the number of zero modes due to the fragmentation of the many-body Hilbert space into disconnected sectors. Second, we generalize the concept of compact localized states from single-particle physics and introduce the notion of collective bound states, a special kind of nonergodic eigenstates that are robust to enlarging the system size. We formulate sufficient criteria for their existence, arguing that the degenerate zero mode subspace plays a central role, and demonstrate bound states in both example models and in a two-dimensional model, the U(1) North-East, and in the pairflip model, a system without particle conservation. Our results motivate a systematic study of bound states and their relation to ergodicity breaking, transport, and other properties of quantum kinetically constrained models. }, author = {Nicolau Jimenez, Eulalia and Ljubotina, Marko and Serbyn, Maksym}, issn = {2691-3399}, journal = {PRX Quantum}, publisher = {American Physical Society}, title = {{Fragmentation, zero modes, and collective bound states in constrained models}}, doi = {10.1103/sl79-1xgb}, volume = {7}, year = {2026}, } @article{21503, abstract = {Currently, pharmacogenetics relies on partially annotated star alleles, leaving novel variants and complex haplotypes uninterpretable. Computational scoring frameworks could overcome these limitations. Here, we comprehensively evaluated the ability of existing (CADD, FATHMM-XF, PROVEAN, MutationAssessor, SIFT, PhyloP100, APF, APF2) and novel (PharmGScore and PharmMLScore) variant effect predictors to assess pharmacogenetic alleles in multiple scenarios. Altogether we analyzed 541 PharmVar alleles, high‑throughput CYP2C9 and CYP2C19 mutational maps, and 200 642 UK Biobank exomes linked with health records containing antidepressant treatment outcomes. Many evaluated tools, especially ensemble frameworks, matched or exceeded star allele classifications (ROC‑AUC up to 0.85 for allele definitions, 0.95 in vitro; TPR up to 0.99 for exomes) and accurately predicted severe antidepressant adverse events for carriers of deleterious variants in CYP2C19 (OR 1.20–1.35). Our findings show that computational predictors deliver star allele accuracy while overcoming their limitations. With additional validation, computational tools could enhance clinical decision frameworks by enabling continuous scoring, incorporating previously unknown variants, and providing genome-wide applicability.}, author = {Hajto, Jacek and Piechota, Marcin and Krätschmer, Ilse and Konowalska, Paula and Boyle, Gabriel E. and Fowler, Douglas M. and Borczyk, Malgorzata and Korostynski, Michal}, issn = {1473-1150}, journal = {Pharmacogenomics Journal}, number = {2}, publisher = {Springer Nature}, title = {{Computational variant predictors for pharmacogenomics: From evaluation of single alleles to assessment of adverse drug reactions to antidepressants}}, doi = {10.1038/s41397-026-00399-0}, volume = {26}, year = {2026}, } @article{21509, abstract = {Chromatin remodeling complexes mobilize nucleosomes and promote transcription factor (TF) binding. Using ensemble and single-molecule assays combined with cryo-electron microscopy (cryo-EM), we studied the interaction between pioneer TFs OCT4–SOX2 and the human BRG1/BRM-associated factor (BAF) complex on nucleosomes. BAF engages TF-bound substrates in two orientations, placing OCT4–SOX2 at either the remodeler ENTRY or EXIT site. At the ENTRY site, OCT4–SOX2 initially coexists with BAF without structural interference. However, continued DNA translocation is expected to cause collisions with bound TFs, which can trigger remodeling direction reversals or may induce TF dissociation. To accommodate TFs at the EXIT site, BAF undergoes structural rearrangements, and ensemble assays reveal a nucleosome subpopulation translocating away from TF-binding sites. Moreover, single-molecule experiments show that nucleosome-bound BAF frequently changes remodeling direction, and we identify an ADP-bound remodeler conformation as a potential intermediate. Together, these findings reveal key aspects of the conformational dynamics and remodeling outcomes underlying BAF processing of TF-bound nucleosomes.}, author = {Weiss, Joscha and Vecchia, Luca and Domjan, David and Cavadini, Simone and Sabantsev, Anton and Kempf, Georg and Pathare, Ganesh R. and Brackmann, Klaus and Michael, Alicia and Kater, Lukas and Hietter-Pfeiffer, Eric and Haddawi, Mina and Kuber, Urja P. and Mühlhäusser, Sandra and Grand, Ralph S. and Stadler, Michael B. and Deindl, Sebastian and Thomä, Nicolas H.}, issn = {1097-2765}, journal = {Molecular Cell}, number = {4}, pages = {625--639.e8}, publisher = {Elsevier}, title = {{The human BAF chromatin remodeler processes nucleosomes bound by pioneer transcription factors OCT4–SOX2}}, doi = {10.1016/j.molcel.2026.01.021}, volume = {86}, year = {2026}, } @article{21483, abstract = {Embryogenesis in the model plant Arabidopsis thaliana provides a framework for understanding how cell polarity and patterning coordinate with hormonal signalling to establish the plant body plan. Following fertilisation, the zygote divides asymmetrically to generate apical and basal lineages, establishing the apical–basal axis that defines future shoot and root poles. Genetic and molecular analyses of classical mutants including gnom, monopteros (mp), bodenlos (bdl) and topless revealed that localised auxin biosynthesis, directional transport and downstream transcriptional responses are central to apical–basal axis establishment and organ initiation. The main components of this regulation are polarly localised PIN auxin transporters and downstream modules involving MONOPTEROS and WUSCHEL-RELATED HOMEOBOX transcription factors. Advances in microscopy have transformed the study of Arabidopsis embryogenesis: fluorescence-compatible clearing reagents and three-dimensional reconstructions now permit quantitative analyses of cell geometry, division orientation, and cytoskeletal dynamics. Live ovule imaging setups with confocal laser scanning and multiphoton microscopes enable real-time observation of embryo development, while laser-assisted cell ablation can be used to probe cell-to-cell communication and fate plasticity. Together, these methodological breakthroughs position Arabidopsis embryos as a prime model for dissecting the chemical and biophysical cues that shape plant development.}, author = {Babic, David and Zupunski, Milan and Friml, Jiří}, issn = {1469-8137}, journal = {New Phytologist}, publisher = {Wiley}, title = {{Imaging and genetic toolbox to study Arabidopsis embryogenesis}}, doi = {10.1111/nph.71072}, year = {2026}, } @article{21502, abstract = {The mammalian brain stores glucose, the main circulating energy substrate, as glycogen. In rodents, the cerebellum contains relatively high glycogen levels, yet its cellular and subcellular distribution remains poorly defined. Using monoclonal antibodies against glycogen, we examined its distribution in the mouse cerebellar cortex. Glycogen was predominantly localized to Bergmann glia (BG) processes in the molecular layer and was also detected in Purkinje cells (PCs), the principal cerebellar neurons. To assess the functional significance of cerebellar glycogen, we analyzed behavior in mice lacking glycogen synthase 1 (Gys1) in BG or PCs using a floxed Gys1 line. Gys1 deficiency in either PCs or GFAP-positive cells reduced anxiety-like behavior, whereas combined deletion caused PC degeneration and ataxia. These findings reveal a critical role for glycogen metabolism in both astrocytes and neurons in cerebellar function.}, author = {Akther, Sonam and Lee, Ashley Bomin and Konno, Ayumu and Asiminas, Antonis and Vittani, Marta and Mishima, Tsuneko and Hirai, Hirokazu and Meehan, Claire Francesca and Duran, Jordi and Guinovart, Joan and Ashida, Hitoshi and Morita, Tsuyoshi and Baba, Otto and Shigemoto, Ryuichi and Nedergaard, Maiken and Hirase, Hajime}, issn = {2589-0042}, journal = {iScience}, number = {4}, publisher = {Elsevier}, title = {{Distribution and functional significance of rodent cerebellar glycogen}}, doi = {10.1016/j.isci.2026.115192}, volume = {29}, year = {2026}, } @article{21504, abstract = {Selecting an appropriate divergence measure is a critical aspect of machine learning, as it directly impacts model performance. Among the most widely used, we find the Kullback–Leibler (KL) divergence, originally introduced in kinetic theory as a measure of relative entropy between probability distributions. Just as in machine learning, the ability to quantify the proximity of probability distributions plays a central role in kinetic theory. In this paper, we present a comparative review of divergence measures rooted in kinetic theory, highlighting their theoretical foundations and exploring their potential applications in machine learning and artificial intelligence.}, author = {Auricchio, Gennaro and Brigati, Giovanni and Giudici, Paolo and Toscani, Giuseppe}, issn = {1793-6314}, journal = {Mathematical Models and Methods in Applied Sciences}, publisher = {World Scientific Publishing}, title = {{From kinetic theory to AI: A rediscovery of high-dimensional divergences and their properties}}, doi = {10.1142/S0218202526410010}, year = {2026}, } @article{20865, abstract = {We prove the convergence of a modified Jordan–Kinderlehrer–Otto scheme to a solution to the Fokker–Planck equation in Ω e R^d with general—strictly positive and temporally constant—Dirichlet boundary conditions. We work under mild assumptions on the domain, the drift, and the initial datum. In the special case where Ω is an interval in R1, we prove that such a solution is a gradient flow—curve of maximal slope—within a suitable space of measures, endowed with a modified Wasserstein distance. Our discrete scheme and modified distance draw inspiration from contributions by A. Figalli and N. Gigli [J. Math. Pures Appl. 94, (2010), pp. 107–130], and J. Morales [J. Math. Pures Appl. 112, (2018), pp. 41–88] on an optimal-transport approach to evolution equations with Dirichlet boundary conditions. Similarly to these works, we allow the mass to flow from/to the boundary ∂Ω throughout the evolution. However, our leading idea is to also keep track of the mass at the boundary by working with measures defined on the whole closure Ω . The driving functional is a modification of the classical relative entropy that also makes use of the information at the boundary. As an intermediate result, when Ω is an interval in R1, we find a formula for the descending slope of this geodesically nonconvex functional.}, author = {Quattrocchi, Filippo}, issn = {1432-0835}, journal = {Calculus of Variations and Partial Differential Equations}, number = {1}, publisher = {Springer Nature}, title = {{Variational structures for the Fokker-Planck equation with general Dirichlet boundary conditions}}, doi = {10.1007/s00526-025-03193-1}, volume = {65}, year = {2026}, } @article{21658, abstract = {Dipolar (ℓ = 1) mixed modes have revealed a surprisingly weak differential rotation between the core and the envelope of evolved solar-like stars. Quadrupolar (ℓ = 2) mixed modes also contain information regarding internal dynamics but are very rarely characterised due to their low amplitude and the challenging identification of adjacent or overlapping rotationally split multiplets affected by near-degeneracy effects. We aim to extend the broadly used asymptotic seismic diagnostics beyond ℓ = 1 mixed modes by developing an analogue asymptotic description of ℓ = 2 mixed modes while explicitly accounting for near-degeneracy effects that distort their rotational multiplets. We have derived a new asymptotic formulation of near-degenerate mixed ℓ = 2 modes that describes off-diagonal terms representing the interaction between modes of adjacent radial orders. This formalism, expressed directly in the mixed-mode basis, provides analytical expressions for the near-degeneracy effects. We implemented the formalism within a global Bayesian mode-fitting framework for a direct fit of all ℓ = 0, 1, 2 modes in the power spectrum density. We were able to asymptotically model the asymmetric rotational splitting present in various radial orders of ℓ = 2 modes observed in young red giant stars without the need for any numerical stellar modelling. We applied our formalism to the Kepler target KIC 7341231, and it yielded core and envelope rotation rates consistent with previous numerical modelling while providing improved constraints from the global and model-independent approach. We also characterised the new target, KIC 8179973, measuring its rotation rate and mixed-mode parameters for the first time. As our framework relies on a direct global fit, it allows for much better precision on the asteroseismic parameters and rotation rate estimates than standard methods, yielding better constraints for rotation inversions. We have placed the first observational constraints on the asymptotic ℓ = 2 mixed-mode parameters (ΔΠ2, q2, and εg, 2), thus paving the way towards the use of asymptotic seismology beyond ℓ = 1 mixed modes.}, author = {Liagre, Bastien Raymond Bernard and Desai, Aayush A and Einramhof, Lukas and Bugnet, Lisa Annabelle}, issn = {1432-0746}, journal = {Astronomy and Astrophysics}, publisher = {EDP Sciences}, title = {{Near-degeneracy effects in quadrupolar mixed modes: From an asymptotic description to data fitting}}, doi = {10.1051/0004-6361/202558023}, volume = {707}, year = {2026}, } @article{21657, abstract = {We compare three global kilometer-scale models (ICON, IFS and NICAM) to clarify the advantages and challenges of high-resolution global weather and climate modeling, using different approaches to represent convection, from fully parameterized to fully explicit. Our analysis focuses on tropical precipitation characteristics spanning a wide range of spatio-temporal scales—including the diurnal cycle, extreme precipitation, convective organization, and the Madden-Julian Oscillation (MJO)—along with interactions between convection and the thermodynamic environment. All three models commonly show weaker convective organization with smaller precipitation cells than observed, though the strength of the bias varies by model. This diversity is introduced by differences in the representation of (a) convective initiation affected by the convective sensitivity to moisture and (b) tropospheric moistening associated with deep convection. Models with stronger thermodynamic-convection coupling increase environmental moisture near convection, thereby enhancing convective organization. This has important upscale effects on the MJO; while IFS and NICAM capture its eastward propagation well, ICON has difficulty reproducing it. The amplitudes and phases of precipitation diurnal cycles over land show much greater disagreement among the models than over ocean, influenced by how convection is initiated. Biases in rain evaporation and cold pool formation hinder the propagation of mesoscale convection, leading to errors such as the misrepresentation of nocturnal convection moving off the coast of Sumatra in IFS and ICON. These results highlight the importance of thermodynamic-convection coupling in realistically simulating tropical convection across scales. To improve this coupling, kilometer-scale models require better representation of the interaction between resolved convection and three-dimensional turbulent mixing.}, author = {Takasuka, Daisuke and Becker, Tobias and Bao, Jiawei}, issn = {1942-2466}, journal = {Journal of Advances in Modeling Earth Systems}, number = {3}, publisher = {Wiley}, title = {{Precipitation characteristics and thermodynamic-convection coupling in global kilometer-scale simulations}}, doi = {10.1029/2025MS005343}, volume = {18}, year = {2026}, } @article{21659, abstract = {The recent detection of solar equatorial Rossby waves has renewed interest in the study of gravito-inertial waves propagating in the convective envelope of solar-type stars. In particular, the ability of these envelope gravito-inertial modes to couple with those trapped in the radiative interior could open up new opportunities for probing the deep-layer dynamics of solar-type stars. The possibility for such a coupling to occur is particularly favoured among pre-main-sequence (PMS) solar-type stars. Indeed, due to the contraction of the protostellar object, they are able to reach high rotation frequencies before nuclear reactions are ignited and magnetic braking becomes the driving mechanism for their rotational evolution. In this work, we studied the coupling between the envelope inertial waves and the radiative interior g modes in PMS stars, focussing on the case of prograde dipolar modes. We considered the cases of 0.5 M⊙ and 1 M⊙ PMS models, each with three different scenarios of rotational evolution. We show that for stars that have formed with a sufficient amount of angular momentum, this coupling can occur in frequency ranges that are accessible to space-borne photometry, creating inertial dips in the period spacing pattern. Using an asymptotic analysis, we characterised the shape of these inertial dips to show that they depend on rotation and on the stiffness of the convective-radiative interface.}, author = {Breton, S. N. and Pezzotti, C. and Mathis, S. and Bugnet, Lisa Annabelle and Di Mauro, M. P. and Joergensen, J. and Zwintz, K. and Lanza, A. F.}, issn = {1432-0746}, journal = {Astronomy & Astrophysics}, publisher = {Wiley}, title = {{Core-envelope coupling of gravito-inertial waves in pre-main-sequence solar-type stars}}, doi = {10.1051/0004-6361/202659309}, volume = {707}, year = {2026}, } @article{21660, abstract = {Kapitza-Dirac scattering, the diffraction of matter waves from a standing light field, is widely utilized in ultracold gases, but its behavior in the strongly interacting regime is an open question. Here, we develop a numerically exact two-body description of Kapitza-Dirac scattering for two contact-interacting atoms in a one-dimensional harmonic trap subjected to a pulsed optical lattice, enabling us to obtain the numerically exact dynamics. We map how interaction strength, lattice depth, lattice wave number, and pulse duration reshape the diffraction pattern, leading to an interaction-dependent population redistribution in real and momentum space. By comparing the exact dynamics to an impulsive sudden-approximation description, we delineate the parameter regimes where it remains accurate and those, notably at strong attraction and small lattice wave number, where it fails. Our results provide a controlled few-body benchmark for interacting Kapitza-Dirac scattering and quantitative guidance for Kapitza-Dirac-based probes of ultracold atomic systems.}, author = {Becker, A. and Koutentakis, Georgios and Schmelcher, P.}, issn = {2643-1564}, journal = {Physical Review Research}, publisher = {American Physical Society}, title = {{Two-body Kapitza-Dirac scattering of one-dimensional ultracold atoms}}, doi = {10.1103/rdsn-stlq}, volume = {8}, year = {2026}, } @article{21661, abstract = {Model checking undiscounted reachability and expected-reward properties on Markov decision processes (MDPs) are key for the verification of systems that act under uncertainty. Popular algorithms are policy iteration and variants of value iteration; in tool competitions, most participants rely on the latter. These algorithms generally need worst-case exponential time. However, the problem can equally be formulated as a linear programme, solvable in polynomial time. In this paper, we give a detailed overview of today’s state-of-the-art algorithms for MDP model checking with a focus on performance and correctness. We highlight their fundamental differences, and describe various optimizations and implementation variants. We experimentally compare floating-point and exact-arithmetic implementations of all algorithms on three benchmark sets using two probabilistic model checkers. Our results show that (optimistic) value iteration is a sensible default, but other algorithms are preferable in specific settings. This paper thereby provides a guide for MDP verification practitioners—tool builders and users alike.}, author = {Hartmanns, Arnd and Junges, Sebastian and Quatmann, Tim and Weininger, Maximilian}, issn = {1433-2787}, journal = {International Journal on Software Tools for Technology Transfer}, keywords = {Quantitative model checking, Markov decision process, Linear programming, Value iteration, Policy iteration}, publisher = {Springer Nature}, title = {{The revised practitioner’s guide to MDP model checking algorithms}}, doi = {10.1007/s10009-026-00848-y}, year = {2026}, } @phdthesis{20964, author = {Vladimirtsev, Dmitrii}, issn = {2791-4585}, pages = {22}, publisher = {Institute of Science and Technology Austria}, title = {{Armadillo repeat only proteins are master regulators of plant cyclic-nucleotide gated channels}}, doi = {10.15479/AT-ISTA-20964}, year = {2026}, } @phdthesis{21198, abstract = {In recent years there has been a massive increase in the amount of data generated in a decentralized manner. Ever more powerful edge devices, such as smartphones, have become ubiquitous in most societies on earth. Through text typed, photos taken and apps used, these devices, which we refer to as clients, generate enormous amounts of high quality and complex data. Moreover, the nature of these devices means the data they generate is often sensitive and privacy concerns prevent it being gathered and stored in a central location. This presents a challenge to the modern machine learning paradigm that requires central access to large amounts of data. Federated learning (FL) has emerged as one of the answers to this problem. Rather than bringing the data to the model, FL sends the model to the data. Model training takes place on device, with periodically synchronized updates, allowing data to remain locally stored. While this approach offers significant privacy advantages it comes with its own set of unique challenges. These include: data heterogeneity, the notion that different devices generate data in distinct ways which can negatively impact training dynamics; systems heterogeneity, meaning that different devices may have differing hardware specifications; high communication costs, which are induced by the repeated transferring of models over the network and low device computational power, which limits the use of larger models on device. In this thesis we present a range of methods for federated learning. We focus primarily on the challenge of data heterogeneity, though the methods presented are designed to be well adapted to the other challenges of a federated setting, such as the constraints of limited compute and communication overhead. We first present a method for explicitly modeling client data heterogeneity. The approach formulates clients as samples from a certain probability distribution and infers the parameters of this distribution from the available training clients. This learned distribution then represents the heterogeneity present among the clients and can be sampled from in order to create new simulated clients that are similar to the real clients we have observed so far. Following this we present two methods for directly dealing with data heterogeneity through personalization. Highly heterogeneous client data distributions can mean that learning a single global model becomes suboptimal, and some form of personalization of models to each individual client is required. Our approaches are based around hypernetworks, which we use to generate personalized model parameters without the need for additional training or finetuning. In the first approach we focus on generating full parameterizations of client models using learned embeddings of client data and labels, with a hypernetwork located on the central server. In the second approach we address the more challenging scenario where we want to generate a personalized model for a client without any label information. The hypernetwork is trained to generate a low dimensional representation of a client’s personalized model parameters, allowing it to be transferred to and run on the client devices. In our final presented method, we change our focus and rather than aim to directly address the challenge of data heterogeneity, we instead ensure we are unaffected by it. This is done in the context of k-means clustering and we present a method for federated clustering with a focus on added privacy guarantees.}, author = {Scott, Jonathan A}, issn = {2663-337X}, pages = {158}, publisher = {Institute of Science and Technology Austria}, title = {{Data heterogeneity and personalization in federated learning}}, doi = {10.15479/AT-ISTA-21198}, year = {2026}, }