@article{21470, abstract = {Despite its pivotal role in optical manipulation, high capacity communications, and quantum information, a general measure of orbital angular momentum (OAM) in structured light remains elusive. In optical fields, where multiple vortices coexist, the local nature of vortex OAM and the absence of a common rotation axis make the total OAM of the field difficult to quantify. Here, we introduce the R index—a metric that captures the intrinsic OAM content of any structured optical field, from pure Laguerre–Gaussian modes to arbitrary multi vortex superpositions. Not only does this metric quantify the total OAM, it also assesses field purity, providing insight into the fidelity and robustness of the OAM generation. By unifying OAM characterization into a single figure of merit, the R index enables direct comparison across diverse beam profiles and facilitates the identification of optimal configurations for both foundational studies and applied technologies.}, author = {Bahl, Monika and Koutentakis, Georgios and Maslov, Mikhail and Jungnickel, Tom and Gaßen, Timo and Lemeshko, Mikhail and Heckl, Oliver H.}, issn = {2515-7647}, journal = {Journal of Physics: Photonics}, number = {1}, publisher = {IOP Publishing}, title = {{The R-index: A universal metric for evaluating OAM content and mode purity in optical fields}}, doi = {10.1088/2515-7647/ae3506}, volume = {8}, year = {2026}, } @article{21469, abstract = {Terahertz (THz) spectroscopy is a powerful probe of low-energy excitations in complex materials. Extending it into the nonlinear regime broadens its scope and can provide valuable insight into interactions among these modes. However, interpreting nonlinear spectra is challenging because resonant features in this case do not always reflect intrinsic material dynamics. Here, we study nonlinear THz-induced Kerr effect in a generic material LaAlO3. After detailed analysis of temporal oscillations of the Kerr signal, we identify an 𝐸𝑔 Raman mode at 1.1 THz excited through a two-photon process, while two additional peaks (0.86 and 0.36 THz) arise from phase matching of the near-infrared probe beam with co- and counterpropagating THz pump fields, mediated by off-resonant electronic hyperpolarizability. These results demonstrate the crucial role of kinematic effects in shaping THz-induced Kerr response and establish a framework for interpreting nonlinear spectroscopies in complex materials.}, author = {Shen, Chao and Frenzel, Maximilian and Maehrlein, Sebastian F. and Alpichshev, Zhanybek}, issn = {1079-7114}, journal = {Physical Review Letters}, number = {10}, publisher = {American Physical Society}, title = {{Disentangling electronic and ionic nonlinear polarization effects in bulk THz Kerr response}}, doi = {10.1103/1c5k-9z82}, volume = {136}, year = {2026}, } @article{21473, abstract = {Physical exercise acutely improves hippocampus-dependent memory. Whereas animal studies have offered cellular- and synaptic-level accounts of these effects, human neuroimaging studies show that exercise improves hippocampal-cortical connectivity at the macroscale level. However, the neurophysiological basis of exercise-induced effects on hippocampal-cortical circuits remains unknown. Experimental evidence supports the idea that hippocampal sharp wave-ripples (SWR) play a critical role in learning and memory. Coupling between SWRs in the hippocampus and neocortex may reflect modulations in inter-regional connectivity required by mnemonic processes. Here, we examine the hypothesis that exercise modulates hippocampal-cortical ripple dynamics in the human brain. We performed intracranial recordings in epilepsy patients undergoing pre-surgical evaluation, during awake resting state, before and after an exercise session. Exercise increased ripple rate in the hippocampus. Exercise also enhanced the coupling and phase-synchrony between cortical ripples in the limbic and the default mode (DM) cortical networks and hippocampal SWRs. Further, a higher heart rate during exercise, reflecting exercise intensity, was related to a subsequent increase in resting state ripples across specific cortical networks, including the DM network. These results offer the first direct evidence that a single exercise session elicits changes in ripple events, a well-established neurophysiological marker of mnemonic processing. The characterisation and anatomical distribution of the described modulation points to hippocampal ripples as a potential mechanism by which exercise elicits its reported short-term effects in cognition.}, author = {Cardenas, Araceli R. and Ramirez Villegas, Juan F and Kovach, Christopher K. and Gander, Phillip E. and Cole, Rachel C. and Grossbach, Andrew J. and Kawasaki, Hiroto and Greenlee, Jeremy D.W. and Howard, Matthew A. and Nourski, Kirill V. and Banks, Matthew I. and Voss, Michelle W.}, issn = {2632-1297}, journal = {Brain Communications}, number = {2}, publisher = {Oxford University Press}, title = {{Exercise enhances hippocampal-cortical ripple interactions in the human brain}}, doi = {10.1093/braincomms/fcag041}, volume = {8}, year = {2026}, } @article{21471, author = {Backlund, Sofia Maria and Stankowski, Sean and Soler Schaller, Rosina Matilde}, issn = {1537-2197}, journal = {American Journal of Botany}, number = {3}, publisher = {Wiley}, title = {{Seeds as space-time travelers: How does evolution balance the joint benefits and trade-offs of dormancy and dispersal?}}, doi = {10.1002/ajb2.70175}, volume = {113}, year = {2026}, } @article{21481, abstract = {The Hα emission line in galaxies is a powerful tracer of their recent star formation activity. With the advent of JWST, we are now able to routinely observe Hα in galaxies at high redshift (z ≳ 3) and thus measure their star formation rates (SFRs). However, using classical SFR(Hα) calibrations to derive the SFRs leads to biased results because high-redshift galaxies are commonly characterized by low metallicities and bursty star formation histories, affecting the conversion factor between the Hα luminosity (LHα) and the SFR. We developed a set of new SFR(Hα) calibrations that allowed us to predict the SFRs of Hα-emitters at z ≳ 3 with very little error. We used the SPHINX cosmological simulations to select a sample of star-forming galaxies representative of the Hα-emitter population observed with JWST. We then derived linear corrections to the classical SFR(Hα) calibrations that took variations in the physical properties (e.g., stellar metallicities) among individual galaxies into account. We obtained two new SFR(Hα) calibrations that compared to the classical calibrations reduce the root mean squared error (RMSE) in the predicted SFRs by ΔRMSE ≈ 0.04 dex and ΔRMSE ≈ 0.06 dex, respectively. Using the recent JWST NIRCam/grism observations of Hα-emitters at z ∼ 6, we show that the new calibrations affect the high-redshift galaxy population statistics: (i) the estimated cosmic SFR density decreases by ΔρSFR ≈ 12%, and (ii) the observed slope of the star formation main sequence increases by Δ∂logSFR/∂logM★ = 0.08 ± 0.02.}, author = {Kramarenko, Ivan and Rosdahl, J. and Blaizot, J. and Matthee, Jorryt J and Katz, H. and Di Cesare, Claudia}, issn = {1432-0746}, journal = {Astronomy & Astrophysics}, publisher = {EDP Sciences}, title = {{H α as a tracer of star formation in the SPHINX cosmological simulations}}, doi = {10.1051/0004-6361/202557114}, volume = {707}, year = {2026}, } @article{21480, abstract = {We present and test a protocol to learn the matrix-product operator (MPO) representation of an experimentally prepared quantum state. The protocol takes as input classical shadows corresponding to local randomized measurements, and outputs the tensors of an MPO maximizing a suitably defined fidelity with the experimental state. The tensor optimization is carried out sequentially, similarly to the well-known density matrix renormalization group algorithm. Our approach is provably efficient under certain technical conditions expected to be met in short-range correlated states and in typical noisy experimental settings. Under the same conditions, we also provide an efficient scheme to estimate fidelities between the learned and the experimental states. We experimentally demonstrate our protocol by learning entangled quantum states of up to N = 96 qubits in a superconducting quantum processor. Our method upgrades classical shadows to large-scale quantum computation and simulation experiments.}, author = {Votto, Matteo and Ljubotina, Marko and Lancien, Cécilia and Cirac, J. Ignacio and Zoller, Peter and Serbyn, Maksym and Piroli, Lorenzo and Vermersch, Benoît}, issn = {1079-7114}, journal = {Physical Review Letters}, number = {9}, publisher = {American Physical Society}, title = {{Learning mixed quantum states in large-scale experiments}}, doi = {10.1103/rbg2-f61m}, volume = {136}, year = {2026}, } @article{21482, abstract = {Controlling the size and shape of assembled structures is a fundamental challenge in self-assembly and is highly relevant in material design and biology. Here, we show that specific but promiscuous short-range binding interactions make it possible to economically assemble linear filaments of user-defined length. Our approach leads to independent control over the mean and width of the filament size distribution and allows us to smoothly explore design trade-offs between assembly quality (spread in size) and cost (number of particle species). We employ a simple hierarchical assembly protocol to minimize assembly times and show that multiple stages of hierarchy make it possible to extend our approach to the assembly of higher-dimensional structures. Our work provides a conceptually simple solution to size control that is applicable to a broad range of systems, from DNA nanoparticles to supramolecular polymers and beyond.}, author = {Hübl, Maximilian and Goodrich, Carl Peter}, issn = {2643-1564}, journal = {Physical Review Research}, publisher = {American Physical Society}, title = {{Entropic size control of self-assembled filaments}}, doi = {10.1103/68rs-3qgn}, volume = {8}, year = {2026}, } @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{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}, } @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{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{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}, }