@article{20666, abstract = {We theoretically investigate the stationary properties of a spin-1/2 impurity immersed in a one-dimensional confined Bose gas. In particular, we consider coherently coupled spin states with an external field, where only one spin component interacts with the bath, enabling light dressing of the impurity and spin-dependent bath-impurity interactions. Through detailed comparisons with ab-initio many-body simulations, we demonstrate that the composite system is accurately described by a simplified effective Hamiltonian. The latter builds upon previously developed effective potential approaches in the absence of light dressing. It can be used to extract the impurity energy, residue, effective mass, and anharmonicity induced by the phononic dressing. Light-dressing is shown to increase the polaron residue, undressing the impurity from phononic excitations because of strong spin coupling. For strong repulsions, previously shown to trigger dynamical Bose polaron decay (a phenomenon called temporal orthogonality catastrophe), it is explained that strong light-dressing stabilizes a repulsive polaron-dressed state. Our results establish the effective Hamiltonian framework as a powerful tool for exploring strongly interacting polaronic systems and corroborating forthcoming experimental realizations.}, author = {Koutentakis, Georgios and Mistakidis, S. I. and Grusdt, F. and Sadeghpour, H. R. and Schmelcher, P.}, issn = {2542-4653}, journal = {Scipost Physics}, number = {4}, publisher = {SciPost Foundation}, title = {{Competition of light-and phonon-dressing in microwave-dressed Bose polarons}}, doi = {10.21468/SciPostPhys.19.4.093}, volume = {19}, year = {2025}, } @inproceedings{20667, abstract = {We explore the problem of mean estimation for a high-dimensional binary symmetric Gaussian mixture model, where the label (sign) follows a time-inhomogeneous Markov chain. We propose a spectral estimator based on a partition of a subset of the samples to blocks. We develop a computationally efficient algorithm to find the optimal blocks, and derive minimax lower bounds on the estimation loss of any estimator, which establish the effectiveness of our proposed estimator. The resulting minimax rate illuminates the interplay between the sample size, dimension, signal strength, and the memory on the loss.}, author = {El Latif Kadry, Abd and Zhang, Yihan and Weinberger, Nir}, booktitle = {2025 IEEE International Symposium on Information Theory Proceedings}, isbn = {9798331543990}, issn = {2157-8095}, location = {Ann Arbor, MI, United States}, publisher = {IEEE}, title = {{Mean estimation in high-dimensional binary timeinhomogeneous Markov Gaussian mixture models}}, doi = {10.1109/ISIT63088.2025.11195426}, year = {2025}, } @inproceedings{20684, abstract = {Quantization is a powerful tool for accelerating large language model (LLM) inference, but the accuracy-performance trade-offs across different formats remain unclear. In this paper, we conduct the most comprehensive empirical study to date, evaluating FP8, INT8, and INT4 quantization across academic benchmarks and real-world tasks on the entire Llama-3.1 model family. Through over 500,000 evaluations, our investigation yields several key findings: (1) FP8 (W8A8-FP) is effectively lossless across all model scales, (2) well-tuned INT8 (W8A8-INT) achieves surprisingly low (1-3%) accuracy degradation, and (3) INT4 weightonly (W4A16-INT) is more competitive than expected, rivaling 8-bit quantization. Further, we investigate the optimal quantization format for different deployments by analyzing inference performance through the popular vLLM framework. Our analysis provides clear deployment recommendations: W4A16 is the most cost-efficient for synchronous setups, while W8A8 dominates in asynchronous continuous batching. For mixed workloads, the optimal choice depends on the specific use case. Our findings offer practical, data-driven guidelines for deploying quantized LLMs at scale—ensuring the best balance between speed, efficiency, and accuracy. }, author = {Kurtic, Eldar and Marques, Alexandre and Pandit, Shubhra and Kurtz, Mark and Alistarh, Dan-Adrian}, booktitle = {Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics}, isbn = {9798891762510}, issn = {0736-587X}, location = {Vienna, Austria}, pages = {26872--26886}, publisher = {Association for Computational Linguistics}, title = {{“Give me BF16 or give me death”? Accuracy-performance trade-offs in LLM quantization}}, year = {2025}, } @article{20685, abstract = {The Next Generation of Earth Modeling Systems (nextGEMS) project aimed to produce multidecadal climate simulations, for the first time, with resolved kilometer-scale (km-scale) processes in the ocean, land, and atmosphere. In only 3 years, nextGEMS achieved this milestone with the two km-scale Earth system models, ICOsahedral Non-hydrostatic model (ICON) and Integrated Forecasting System coupled to the Finite-volumE Sea ice-Ocean Model (IFS-FESOM). nextGEMS was based on three cornerstones: (1) developing km-scale Earth system models with small errors in the energy and water balance, (2) performing km-scale climate simulations with a throughput greater than 1 simulated year per day, and (3) facilitating new workflows for an efficient analysis of the large simulations with common data structures and output variables. These cornerstones shaped the timeline of nextGEMS, divided into four cycles. Each cycle marked the release of a new configuration of ICON and IFS-FESOM, which were evaluated at hackathons. The hackathon participants included experts from climate science, software engineering, and high-performance computing as well as users from the energy and agricultural sectors. The continuous efforts over the four cycles allowed us to produce 30-year simulations with ICON and IFS-FESOM, spanning the period 2020–2049 under the SSP3-7.0 scenario. The throughput was about 500 simulated days per day on the Levante supercomputer of the German Climate Computing Center (DKRZ). The simulations employed a horizontal grid of about 5 km resolution in the ocean and 10 km resolution in the atmosphere and land. Aside from this technical achievement, the simulations allowed us to gain new insights into the realism of ICON and IFS-FESOM. Beyond its time frame, nextGEMS builds the foundation of the Climate Change Adaptation Digital Twin developed in the Destination Earth initiative and paves the way for future European research on climate change.}, author = {Segura, Hans and Pedruzo-Bagazgoitia, Xabier and Weiss, Philipp and Müller, Sebastian K. and Rackow, Thomas and Lee, Junhong and Dolores-Tesillos, Edgar and Benedict, Imme and Aengenheyster, Matthias and Aguridan, Razvan and Arduini, Gabriele and Baker, Alexander J. and Bao, Jiawei and Bastin, Swantje and Baulenas, Eulàlia and Becker, Tobias and Beyer, Sebastian and Bockelmann, Hendryk and Brüggemann, Nils and Brunner, Lukas and Cheedela, Suvarchal K. and Das, Sushant and Denissen, Jasper and Dragaud, Ian and Dziekan, Piotr and Ekblom, Madeleine and Engels, Jan Frederik and Esch, Monika and Forbes, Richard and Frauen, Claudia and Freischem, Lilli and García-Maroto, Diego and Geier, Philipp and Gierz, Paul and González-Cervera, Álvaro and Grayson, Katherine and Griffith, Matthew and Gutjahr, Oliver and Haak, Helmuth and Hadade, Ioan and Haslehner, Kerstin and ul Hasson, Shabeh and Hegewald, Jan and Kluft, Lukas and Koldunov, Aleksei and Koldunov, Nikolay and Kölling, Tobias and Koseki, Shunya and Kosukhin, Sergey and Kousal, Josh and Kuma, Peter and Kumar, Arjun U. and Li, Rumeng and Maury, Nicolas and Meindl, Maximilian and Milinski, Sebastian and Mogensen, Kristian and Niraula, Bimochan and Nowak, Jakub and Praturi, Divya Sri and Proske, Ulrike and Putrasahan, Dian and Redler, René and Santuy, David and Sármány, Domokos and Schnur, Reiner and Scholz, Patrick and Sidorenko, Dmitry and Spät, Dorian and Sützl, Birgit and Takasuka, Daisuke and Tompkins, Adrian and Uribe, Alejandro and Valentini, Mirco and Veerman, Menno and Voigt, Aiko and Warnau, Sarah and Wachsmann, Fabian and Wacławczyk, Marta and Wedi, Nils and Wieners, Karl-Hermann and Wille, Jonathan and Winkler, Marius and Wu, Yuting and Ziemen, Florian and Zimmermann, Janos and Bender, Frida A.-M. and Bojovic, Dragana and Bony, Sandrine and Bordoni, Simona and Brehmer, Patrice and Dengler, Marcus and Dutra, Emanuel and Faye, Saliou and Fischer, Erich and van Heerwaarden, Chiel and Hohenegger, Cathy and Järvinen, Heikki and Jochum, Markus and Jung, Thomas and Jungclaus, Johann H. and Keenlyside, Noel S. and Klocke, Daniel and Konow, Heike and Klose, Martina and Malinowski, Szymon and Martius, Olivia and Mauritsen, Thorsten and Mellado, Juan Pedro and Mieslinger, Theresa and Mohino, Elsa and Pawłowska, Hanna and Peters-von Gehlen, Karsten and Sarré, Abdoulaye and Sobhani, Pajam and Stier, Philip and Tuppi, Lauri and Vidale, Pier Luigi and Sandu, Irina and Stevens, Bjorn}, issn = {1991-9603}, journal = {Geoscientific Model Development}, number = {20}, pages = {7735--7761}, publisher = {Copernicus Publications}, title = {{nextGEMS: Entering the era of kilometer-scale Earth system modeling}}, doi = {10.5194/gmd-18-7735-2025}, volume = {18}, year = {2025}, } @article{20686, abstract = {Emission from two massive black holes (MBHs) bound in a close binary is expected to be modulated by different processes, such as the Doppler boost due to the orbital motion, accretion rate variability generated by the interaction with a circumbinary disc, and binary gravitational self-lensing. When the binary is compact enough, the two black holes are thought to be surrounded by a common broad-line region that reprocesses the impinging periodically varying ionising flux, creating broad emission lines with variable line shapes. Therefore, the study of broad emission line variability through multi-epoch spectroscopic campaigns is of paramount importance for the unambiguous identification of a binary. In this work, we study the response of a disc-like broad-line region to the Doppler-boosted ionising flux emitted by sub-milliparsec MBH binaries on a circular orbit and compare it with the response of a broad-line region illuminated by a single MBH with a periodically but isotropically varying intrinsic luminosity. We show that in the binary case, the time lags of the blue and red wings of the broad emission lines, arising from diametrically opposite sides of the circumbinary disc, are out of phase by half of the binary’s orbital period, as they each respond to the periodic ‘lighthouse’ modulation from the binary’s continuum emission. This asymmetric time lag represents a new binary signature that cannot be mimicked by a single MBH.}, author = {Bertassi, Lorenzo and Sottocorno, Erika and Rigamonti, Fabio and D’Orazio, Daniel and Eracleous, Michael and Haiman, Zoltán and Dotti, Massimo}, issn = {1432-0746}, journal = {Astronomy & Astrophysics}, publisher = {EDP Sciences}, title = {{Testing compact massive black hole binary candidates through multi-epoch spectroscopy}}, doi = {10.1051/0004-6361/202554574}, volume = {702}, year = {2025}, } @article{20687, abstract = {Subgiants and early red giants are crucial for studying the first dredge-up, a key evolutionary phase in which the convective envelope deepens, mixing previously interior-processed material and bringing it to the surface. Yet, very few have been seismically characterized with Kepler because their oscillation frequencies are close to the 30 minute sampling frequency of the mission. We developed a new method as part of the new PyA2Z code of identifying super-Nyquist oscillators and inferring their global seismic parameters, νmax and large separation, Δν. Applying PyA2Z to 2065 Kepler targets, we seismically characterize 285 super-Nyquist and 168 close-to-Nyquist stars with masses from 0.8 to 1.6 M⊙. In combination with APOGEE spectroscopy, Gaia spectrophotometry, and stellar models, we derive stellar ages for the sample. There is good agreement between the predicted and actual positions of stars on the HR diagram (luminosity vs. effective temperature) as a function of mass and composition. While the timing of dredge-up is consistent with predictions, the magnitude and mass dependence show discrepancies with models, possibly due to uncertainties in model physics or calibration issues in observed abundance scales.}, author = {Liagre, Bastien Raymond Bernard and García, R. A. and Mathur, S. and Pinsonneault, M. H. and Serenelli, A. and Zinn, J. C. and Cao, K. and Godoy-Rivera, D. and Tayar, J. and Beck, P. G. and Grossmann, D. H. and Palakkatharappil, D. B.}, issn = {1432-0746}, journal = {Astronomy & Astrophysics}, publisher = {EDP Sciences}, title = {{Beyond the Nyquist frequency}}, doi = {10.1051/0004-6361/202555167}, volume = {702}, year = {2025}, } @inproceedings{20688, abstract = {We consider two-player zero-sum concurrent stochastic games (CSGs) played on graphs with reachability and safety objectives. These include degenerate classes such as Markov decision processes or turn-based stochastic games, which can be solved by linear or quadratic programming; however, in practice, value iteration (VI) outperforms the other approaches and is the most implemented method. Similarly, for CSGs, this practical performance makes VI an attractive alternative to the standard theoretical solution via the existential theory of reals.VI starts with an under-approximation of the sought values for each state and iteratively updates them, traditionally terminating once two consecutive approximations are ϵ-close. However, this stopping criterion lacks guarantees on the precision of the approximation, which is the goal of this work. We provide bounded (a.k.a. interval) VI for CSGs: it complements standard VI with a converging sequence of over-approximations and terminates once the over- and under-approximations are ϵ-close.}, author = {Grobelna, Marta and Kretinsky, Jan and Weininger, Maximilian}, booktitle = {2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science}, location = {Singapore, Singapore}, pages = {568--580}, publisher = {IEEE}, title = {{Stopping criteria for value iteration on concurrent stochastic reachability and safety games}}, doi = {10.1109/lics65433.2025.00049}, year = {2025}, } @inproceedings{20689, abstract = {This paper studies the expected value of multiplicative rewards, where rewards obtained in each step are multiplied (instead of the usual addition), in Markov chains (MCs) and Markov decision processes (MDPs). One of the key differences to additive rewards is that the expected value may diverge to ∞ not only due to recurrent, but also due to transient states.For MCs, computing the value is shown to be possible in polynomial time given an oracle for the comparison of succinctly represented integers (CSRI), which is only known to be solvable in polynomial time subject to number-theoretic conjectures. Interestingly, distinguishing whether the value is ∞ or 0 is at least as hard as CSRI, while determining if it is one of these two can be done in polynomial time. In MDPs, the optimal value can be computed in polynomial space. Further refined complexity results and results on the complexity of optimal schedulers are presented. The techniques developed for MDPs additionally allow to solve the multiplicative variant of the stochastic shortest path problem. Finally, for MCs and MDPs where an absorbing state is reached almost surely, all considered problems are solvable in polynomial time.}, author = {Baier, Christel and Chatterjee, Krishnendu and Meggendorfer, Tobias and Piribauer, Jakob}, booktitle = {2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science}, location = {Singapore, Singapore}, pages = {499--512}, publisher = {IEEE}, title = {{Multiplicative rewards in Markovian models}}, doi = {10.1109/lics65433.2025.00044}, year = {2025}, } @inproceedings{20690, abstract = {Cumulative prospect theory (CPT) is the first theory for decision-making under uncertainty that combines full theoretical soundness and empirically realistic features [1], [Page 2]. While CPT was originally considered in one-shot settings for risk-aware decision-making, we consider CPT in sequential decision-making. The most fundamental and well-studied models for sequential decision-making are Markov chains (MCs), and their generalization Markov decision processes (MDPs). The complexity theoretic study of MCs and MDPs with CPT is a fundamental problem that has not been addressed in the literature.Our contributions are as follows: First, we present an alternative viewpoint for the CPT-value of MCs and MDPs. This allows us to establish a connection with multi-objective reachability analysis and conclude the strategy complexity result that memoryless randomized strategies are necessary and sufficient for optimality. Second, based on this connection, we provide an algorithm for computing the CPT-value in MDPs with infinite-horizon objectives. We show that the problem is in EXPTIME and fixed-parameter tractable. Moreover, we provide a polynomial-time algorithm for the special case of MCs.}, author = {Brihaye, Thomas and Chatterjee, Krishnendu and Mohr, Stefanie and Weininger, Maximilian}, booktitle = {2025 40th Annual ACM/IEEE Symposium on Logic in Computer Science}, location = {Singapore, Singapore}, pages = {458--471}, publisher = {IEEE}, title = {{Risk-aware Markov decision processes using cumulative prospect theory}}, doi = {10.1109/lics65433.2025.00041}, year = {2025}, } @article{20703, abstract = {Glacier melt sustains water discharge from mountain basins during droughts, but ongoing glacier retreat threatens this fundamental capacity. Here, we assess the response of glaciers in the Southern Andes to one of the most severe, persistent, and extensive droughts on record in South America (2010-present), and to projected end-of-century megadroughts. Using glacio-hydrological numerical simulations, we show that despite a mean annual precipitation deficit of 36%, glacier runoff in 2010-2019 remained almost unaltered compared to the preceding decade (2000-2009), sustained by a 10% loss of total ice volume. However, simulations of future glacier evolution indicate that annual and summer glacier runoff could decline by up to 20 ± 11% and 48 ± 6%, respectively, during end-of-century megadroughts compared to pre-2010 levels. Our results project a weakening of the glacier’s buffering role against precipitation deficits during extreme droughts, increasing water scarcity for ecosystems and livelihoods in the mountain regions of South America.}, author = {Ayala, Álvaro and Muñoz-Castro, Eduardo and Farinotti, Daniel and Farías-Barahona, David and Mendoza, Pablo A. and Macdonell, Shelley and Mcphee, James and Vargas, Ximena and Pellicciotti, Francesca}, issn = {2662-4435}, journal = {Communications Earth and Environment}, publisher = {Springer Nature}, title = {{Less water from glaciers during future megadroughts in the Southern Andes}}, doi = {10.1038/s43247-025-02845-6}, volume = {6}, year = {2025}, } @article{20705, abstract = {Optical tweezers are widely used as a highly sensitive tool to measure forces on micron-scale particles. One such application is the measurement of the electric charge of a particle, which can be done with high precision in liquids, air, or vacuum. We experimentally investigate how the trapping laser itself can electrically charge such a particle, in our case a ∼1  μ⁢m SiO2 sphere in air. We model the charging mechanism as a two-photon process which reproduces the experimental data with high fidelity.}, author = {Stöllner, Andrea and Lenton, Isaac C and Volosniev, Artem and Millen, James and Shibuya, Renjiro and Ishii, Hisao and Rak, Dmytro and Alpichshev, Zhanybek and David, Grégory and Signorell, Ruth and Muller, Caroline J and Waitukaitis, Scott R}, issn = {1079-7114}, journal = {Physical Review Letters}, number = {21}, publisher = {American Physical Society}, title = {{Using optical tweezers to simultaneously trap, charge, and measure the charge of a microparticle in air}}, doi = {10.1103/5xd9-4tjj}, volume = {135}, year = {2025}, } @article{20706, abstract = {We experimentally realize a quantum clock by using a charge sensor to count charges tunneling through a double quantum dot (DQD). Individual tunneling events are used as the clock’s ticks. We quantify the clock’s precision while measuring the power dissipated by the DQD and, separately, the charge sensor in both direct-current and radio-frequency readout modes. This allows us to probe the thermodynamic cost of creating ticks microscopically and recording them macroscopically. Our experiment is the first to explore the interplay between the entropy produced by a microscopic clockwork and its macroscopic measurement apparatus. We show that the latter contribution not only dwarfs the former but also unlocks greatly increased precision, because the measurement record can be exploited to optimally estimate time even when the DQD is at equilibrium. Our results suggest that the entropy produced by the amplification and measurement of a clock’s ticks, which has often been ignored in the literature, is the most important and fundamental thermodynamic cost of timekeeping at the quantum scale.}, author = {Wadhia, Vivek and Meier, Florian and Fedele, Federico and Silva, Ralph and Nurgalieva, Nuriya and Craig, David L. and Jirovec, Daniel and Saez Mollejo, Jaime and Ballabio, Andrea and Chrastina, Daniel and Isella, Giovanni and Huber, Marcus and Mitchison, Mark T. and Erker, Paul and Ares, Natalia}, issn = {1079-7114}, journal = {Physical Review Letters}, number = {20}, publisher = {American Physical Society}, title = {{Entropic costs of extracting classical ticks from a quantum clock}}, doi = {10.1103/5rtj-djfk}, volume = {135}, year = {2025}, } @inproceedings{20707, abstract = {Understanding physiological responses during running is critical for performance optimization, tailored training prescriptions, and athlete health management. We introduce a comprehensive framework—what we believe to be the first capable of predicting instantaneous oxygen consumption (VO2) trajectories exclusively from consumer-grade wearable data. Our approach employs two complementary physiological models: (1) accurate modeling of heart rate (HR) dynamics via a physiologically constrained ordinary differential equation (ODE) and neural Kalman filter, trained on over 3 million HR observations, achieving 1-second interval predictions with mean absolute errors as low as 2.81 bpm (correlation 0.87); and (2) leveraging the principles of precise HR modeling, a novel VO2 prediction architecture requiring only the initial second of VO2 data for calibration, enabling robust, sequence-to-sequence metabolic demand estimation. Despite relying solely on smartwatch and chest-strap data, our method achieves mean absolute percentage errors of approximately 13%, effectively capturing rapid physiological transitions and steady-state conditions across diverse running intensities. Our synchronized dataset, complemented by blood lactate measurements, further lays the foundation for future noninvasive metabolic zone identification. By embedding physiological constraints within modern machine learning, this framework democratizes advanced metabolic monitoring, bridging laboratory-grade accuracy and everyday accessibility, thus empowering both elite athletes and recreational fitness enthusiasts.}, author = {Gahtan, Barak and Vedula, Sanketh and Samuelly Leichtag, Gil and Kodesh, Einat and Bronstein, Alexander}, booktitle = {Proceedings of the 27th International Conference on Multimodal Interaction}, isbn = {9798400714993}, location = {Canberra, Australia}, pages = {60--77}, publisher = {Association for Computing Machinery}, title = {{From lab to wrist: Bridging metabolic monitoring and consumer wearables for heart rate and oxygen consumption modeling}}, doi = {10.1145/3716553.3750815}, year = {2025}, } @article{20708, abstract = {In equilibrium, the physical properties of matter are set by the interactions between the constituents. In contrast, the energy input of the individual components controls the behavior of synthetic or living active matter. Great progress has been made in understanding the emergent phenomena in active fluids, though their inability to resist shear forces hinders their practical use. This motivates the exploration of active solids as shape-shifting materials, yet, we lack controlled synthetic systems to devise active solids with unconventional properties. Here we build active elastic beams from dozens of active colloids and unveil complex emergent behaviors such as self-oscillations or persistent rotations. Developing tensile tests at the microscale, we show that the active beams are ultrasoft materials, with large (nonequilibrium) fluctuations. Combining experiments, theory, and stochastic inference, we show that the dynamics of the active beams can be mapped on different phase transitions which are tuned by boundary conditions. More quantitatively, we assess all relevant parameters by independent measurements or first-principles calculations, and find that our theoretical description agrees with the experimental observations. Our results demonstrate that the simple addition of activity to an elastic beam unveils novel physics and can inspire design strategies for active solids and functional microscopic machines.}, author = {Martinet, Quentin and Li, Yuting I and Aubret, A. and Hannezo, Edouard B and Palacci, Jérémie A}, issn = {2160-3308}, journal = {Physical Review X}, number = {4}, publisher = {American Physical Society}, title = {{Emergent dynamics of active elastic microbeams}}, doi = {10.1103/rjk2-q2wh}, volume = {15}, year = {2025}, } @article{20709, abstract = {Non-Hermitian many-body localization (NH MBL) has emerged as a possible scenario for stable localization in open systems, as suggested by spectral indicators identifying a putative transition for finite system sizes. In this work, we shift the focus to dynamical probes, specifically the steady-state spin current, to investigate transport properties in a disordered, non-Hermitian XXZ spin chain. Through exact diagonalization for small systems and tensor-network methods for larger chains, we demonstrate that the steady-state current remains finite and decays exponentially with disorder strength, showing no evidence of a transition up to disorder values far beyond the previously claimed critical point. Our results reveal a stark discrepancy between spectral indicators, which suggest localization, and transport behavior, which indicates delocalization. This highlights the importance of dynamical observables in characterizing NH MBL and suggests that traditional spectral measures may not fully capture the physics of non-Hermitian systems. Additionally, we observe a noncommutativity of limits in system size and time, further complicating the interpretation of finite-size studies. These findings challenge the existence of NH MBL in the studied model and underscore the need for alternative approaches to understanding localization in non-Hermitian settings.}, author = {Brighi, Pietro and Ljubotina, Marko and Roccati, Federico and Balducci, Federico}, issn = {2643-1564}, journal = {Physical Review Research}, number = {4}, publisher = {American Physical Society}, title = {{Finite steady-state current defies non-Hermitian many-body localization}}, doi = {10.1103/crwj-x7j8}, volume = {7}, year = {2025}, } @article{20710, abstract = {Mountain glaciers offer opportunities to observe boundary layer exchanges in conditions characterized by predominantly stable stratification, thermally driven winds, and varying surface roughness. Logistical challenges involved in instrumenting glacier surfaces mean that in situ observations remain relatively scarce, limiting the use of this outdoor laboratory. The second Hintereisferner Experiment (HEFEX II) was carried out on an Austrian Alpine glacier during summer 2023. This collaborative endeavor, involving 12 institutions from Austria, France, Germany, Switzerland, and the United Kingdom, represents an unprecedented set of observations of glacier microclimate. Instrumentation on the glacier surface consisted of eight 3-m and two 5-m weather stations equipped with multilevel eddy covariance systems and auxiliary instrumentation, and eight additional lower-specification weather stations. These operated successfully for 26 days with minimal data gaps. During a 3-day intensive observational period, additional instrumentation was deployed: a short-path ultrasonic anemometer installed very close to the glacier surface; a high-speed thermal camera capturing high-resolution boundary layer heat transport at the glacier centerline on a synthetic screen; 3D sampling of the glacier boundary layer using two meteorological UAVs; and a Streamline XR Doppler lidar capturing the structure of the above-valley atmosphere. These novel datasets are valuable for improving understanding of glacier–atmosphere exchange processes, the role of glaciers in valley circulation, and how both might be affected by continued climate change and glacier recession. Here, we detail the scientific goals and implementation of the campaign, describe the general weather conditions, and present first insights into what the observations reveal about the glacier boundary layer features observed during the campaign.}, author = {Nicholson, Lindsey and Stiperski, Ivana and Nitti, Giordano and Prinz, Rainer and Georgi, Alexander and Groos, Alexander R. and Shaw, Thomas and Sauter, Tobias and Haugeneder, Michael and Mott, Rebecca and Sicart, Jean Emmanuel and Brock, Ben W. and Albers, Roland and Allegri, Balthazar and Barral, Hélène and Biron, Romain and Charrondiere, Claudine and Coulaud, Catherine and Fischer, Alexander and Reynolds, Dylan and Richter, Niklas and Schroeder, Marie and Vettori, Phillip and Voordendag, Annelies and Wydra, Carlos}, issn = {1520-0477}, journal = {Bulletin of the American Meteorological Society}, number = {10}, pages = {E2143--E2169}, publisher = {American Meteorological Society}, title = {{The second Hintereisferner experiment (HEFEX II): Initial insights into boundary layer structure and surface–atmosphere exchange processes from intensive observations at a valley glacier}}, doi = {10.1175/BAMS-D-24-0010.1}, volume = {106}, year = {2025}, } @inbook{20723, abstract = {Information-flow interfaces is a formalism recently proposed for specifying, composing, and refining system-wide security requirements. In this work, we show how the widely used concept of security lattices provides a natural semantic interpretation for information-flow interfaces.}, author = {Bartocci, Ezio and Henzinger, Thomas A and Nickovic, Dejan and Oliveira da Costa, Ana}, booktitle = {Engineering Safe and Trustworthy Cyber Physical Systems}, isbn = {9783031975363}, issn = {1611-3349}, pages = {251--263}, publisher = {Springer Nature}, title = {{Information-Flow Interfaces and Security Lattices}}, doi = {10.1007/978-3-031-97537-0_15}, volume = {15471}, year = {2025}, } @article{20727, abstract = {Acoustic levitation provides a unique method for manipulating small particles as it completely evades effects from gravity, container walls, or physical handling. These advantages make it a tantalizing platform for studying complex phenomena in many-particle systems. In most standing-wave traps, however, particles interact via acoustic scattering forces that cause them to merge into a single dense object. Here, we introduce a complementary approach that combines acoustic levitation with electrostatic charging to assemble, adapt, and activate complex, separated many-particle systems. The key idea is to superimpose electrostatic repulsion on the intrinsic acoustic attraction, rendering a so-called “mermaid” potential where interactions are attractive at short range and repulsive at long range. By controlling the attraction–repulsion balance, we can levitate expanded structures where all particles are separated, collapsed structures where they are in contact, and hybrid ones consisting of both expanded and collapsed components. We find that collapsed and expanded structures are inherently stable, whereas hybrid ones exhibit transient stability governed by acoustically unstable dimers. Furthermore, we show how electrostatics allow us to adapt between configurations on the fly, either by quasistatic discharge or discrete up/down charge steps. Finally, we demonstrate how large structures experience selective energy pumping from the acoustic field—thrusting some particles into motion while others remain stationary—leading to complex dynamics including coupled rotations and oscillations. Our approach establishes a design space beyond acoustic collapse, offering possibilities to study many-particle systems with complex interactions, while suggesting pathways toward scalable integration into materials processing and other applications.}, author = {Shi, Sue and Hübl, Maximilian and Grosjean, Galien M and Goodrich, Carl Peter and Waitukaitis, Scott R}, issn = {1091-6490}, journal = {Proceedings of the National Academy of Sciences}, number = {50}, pages = {e2516865122}, publisher = {National Academy of Sciences}, title = {{Electrostatics overcome acoustic collapse to assemble, adapt, and activate levitated matter}}, doi = {10.1073/pnas.2516865122}, volume = {122}, year = {2025}, } @article{20728, abstract = {Glaciers are often located in steep mountain settings and avalanches from surrounding slopes can strongly influence snow accumulation patterns on their surface. This effect has however never been quantified for more than a few glaciers and the impact on the future evolution of glaciers is unclear. We coupled an avalanche and a glacier model to estimate the contribution of avalanches to the accumulation of all glaciers in the world and how this affects their evolution throughout the 21st century. Globally, 3% of the snow accumulation on glaciers comes from avalanches and 1% is removed by avalanches. This net contribution varies between regions and glaciers, with a maximum of 15% for New Zealand. Accounting for avalanches modifies the altitudinal pattern of glacier mass balance and the projected evolution of individual glaciers. The main effects include (1) a longer persistence of small glaciers, with for example three times more ice retained by glaciers smaller than 1 km2 in Central Europe under a low-emission scenario, and (2) an increased sensitivity of high-elevation accumulation zones to future warming. We anticipate the relative influence of avalanches to increase in the future and advocate for a better monitoring of this process and representation in glacier models.}, author = {Kneib, Marin and Maussion, Fabien and Brun, Fanny and Carcanade, Guillem and Farinotti, Daniel and Huss, Matthias and Van Tiel, Marit and Jouberton, Achille and Schmitt, Patrick and Schuster, Lilian and Dehecq, Amaury and Champollion, Nicolas}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{Topographically-controlled contribution of avalanches to glacier mass balance in the 21st century}}, doi = {10.1038/s41467-025-65608-z}, volume = {16}, year = {2025}, } @inproceedings{20729, abstract = {Persistence modules (defined as a sequence of vector spaces and linear maps between them) are a key tool in topological data analysis. They are easy to interpret and fast to compute. However, when considering persistence maps (i.e. maps between persistence modules), these properties are lost. We propose a new invariant for persistence maps consisting of a partial matching such that: it is easy to interpret, it is more discriminative than the image of the persistence map, and can be calculated with cubical complexity.}, author = {Gonzalez-Diaz, Rocio and Soriano Trigueros, Manuel and Torras-Casas, Alvaro}, booktitle = {Proceedings of the 2025 International Symposium on Symbolic and Algebraic Computation}, isbn = {9798400720758}, location = {Guanajuato, Mexico}, pages = {188--196}, publisher = {Association for Computing Machinery}, title = {{Additive partial matchings for persistent homology}}, doi = {10.1145/3747199.3747561}, year = {2025}, }