@article{23241, abstract = {While partial coherence often degrades interference and information transfer, its correlations can be engineered to enhance imaging and optical information processing. However, approaches based on tomography and numerical reconstruction do not physically separate unknown fields into their coherence modes—that is, their orthogonal and mutually incoherent components. Here we demonstrate the separation of partially coherent light into coherence modes. We use variational processing in layered self-configuring interferometers on a silicon photonic circuit. This process finds the eigenvectors and eigenvalues of the coherency matrix, characterizing the state while leaving it intact and separated after optimization. We show that spatially orthogonal, mutually incoherent beams can be routed to separate outputs even when their intensity profiles overlap. Our experiment separates the two strongest coherence modes from a nine-input sampling of overlapping fields from two independent lasers; operation beyond two modes is verified in a rank-3 experiment. The number of physical components scales linearly with the rank r of the coherency matrix, through r in situ gradient-based optimizations enabled by electronic drive-frequency multiplexing of the phase shifters. We benchmark performance against an on-chip mixture-based tomographic method. These results establish a scalable framework for programmable coherence analysis and control.}, author = {Mor, Paul-Alexis and Kroo, Anne R. and Valdez, Carson G. and Šimić, Marko and Karnieli, Aviv and Cavicchioli, Gabriele and Sun, Zhanghao and Grimaldi, Vittorio and Fan, Shanhui and Solgaard, Olav and Miller, David A.B. and Roques-Carmes, Charles}, issn = {1749-4893}, journal = {Nature Photonics}, publisher = {Springer Nature}, title = {{Automatic on-chip separation of partially coherent light into its mutually incoherent components}}, doi = {10.1038/s41566-026-02035-6}, year = {2026}, } @article{23242, abstract = {Nanofluidic memristors promise brain-inspired information processing with ions, yet their microscopic origin remains debated. So far, ionic memory has been attributed to ion-specific interactions, dynamic wetting, chemical reactions or mechanical deformations, yet typically without direct experimental evidence. Here, by combining operando interferometric imaging with electrokinetic measurements, we directly visualize voltage-induced blistering of the confining walls of two-dimensional (2D) nanochannels as the key origin of memristive hysteresis. We identify two distinct classes of blisters: unidirectional, driven by electrostatic forces on surface charges, and bidirectional, arising from osmotic pressure due to concentration polarization. This mechanistic framework explains device evolution and device-to-device variability, and reframes stochastic blistering as a functional design element. Our results constitute a direct proof of electromechanical coupling as a robust pathway to ionic memory in 2D nanochannels and open routes towards high-performance ionic memristors and electrically actuated nanofluidic valves.}, author = {Saurav, Kalluvadi Veetil and Ronceray, Nathan and Coquinot, Baptiste and Pizarro, Agustin D. and Keerthi, Ashok and Emmerich, Theo and Radenovic, Aleksandra and Radha, Boya}, issn = {1476-4660}, journal = {Nature Materials}, publisher = {Springer Nature}, title = {{Direct imaging elucidates ionic memory in two-dimensional nanochannels}}, doi = {10.1038/s41563-026-02775-4}, year = {2026}, } @article{23235, abstract = {Modular DNA assembly based Golden Gate cloning (MoClo) is a widely used framework to assemble genetic constructs. A number of MoClo “destination vectors” have been developed, however, available options are still limited with regards to copy number and antibiotic resistance in bacteria, vector compactness, and industry researchers’ access to materials. Here, we assembled combinations of five resistance cassettes, four origins of replication and two colour markers to develop a collection of compact MoClo-compatible pCORE destination vectors. pCORE vectors support MoClo Level 1 and Level 2 assembly, and can serve as starting points for developing vectors for other hosts. We tested the performance of our vector collection in Escherichia coli, Agrobacterium tumefaciens and Saccharomyces cerevisiae. pCORE vectors are available to academia and industry under the terms of OpenMTA licence.}, author = {Gonzalez Somermeyer, Louisa and Perfilov, Maxim M. and Gao, Feng and Gorbachev, Dmitry A. and Sytov, Nikita V. and Kovalenko, Victoria and Sureda-Vives, Macià and Fleiss, Aubin and Baldominos Flores, Pilar and Yampolsky, Ilia V. and Kondrashov, Fyodor and Mishin, Alexander S. and Sarkisyan, Karen}, issn = {2045-2322}, journal = {Scientific Reports}, publisher = {Springer Nature}, title = {{pCORE, a set of open modular plasmids compatible with golden gate assembly}}, doi = {10.1038/s41598-026-66483-4}, volume = {16}, year = {2026}, } @article{21894, abstract = {The Dean–Kawasaki equation—one of the most fundamental SPDEs of fluctuating hydrodynamics—has been proposed as a model for density fluctuations in weakly interacting particle systems. In its original form, it is highly singular and fails to be renormalizable, even by approaches such as regularity structures and paracontrolled distributions, hindering mathematical approaches to its rigorous justification. It has been understood recently that it is natural to introduce a suitable regularization, for example, by applying a formal spatial discretization or by truncating high-frequency noise: This yields well-posed equations that should still precisely approximate the law of the particle density fluctuations. In the present work, we prove that a regularization in the form of a formal discretization of the Dean–Kawasaki equation indeed accurately describes density fluctuations in systems of weakly interacting diffusing particles: We show that, in suitable weak metrics, the law of fluctuations as predicted by the discretized Dean–Kawasaki SPDE approximates the law of fluctuations of the original particle system, up to an error that is of arbitrarily high order in the inverse particle number and a discretization error. In particular, the Dean– Kawasaki equation provides a means for efficient and accurate simulations of density fluctuations in weakly interacting particle systems.}, author = {Cornalba, Federico and Fischer, Julian L and Ingmanns, Jonas and Raithel, Claudia}, issn = {2168-894X}, journal = {The Annals of Probability}, keywords = {Weakly interacting particle systems, fluctuating hydrodynamics, Dean-Kawasaki equation, stochastic PDEs, numerical approximation}, number = {1}, pages = {155--215}, publisher = {Institute of Mathematical Statistics}, title = {{Density fluctuations in weakly interacting particle systems via the Dean–Kawasaki equation}}, doi = {10.1214/25-aop1763}, volume = {54}, year = {2026}, } @article{18706, abstract = {We prove discrete-to-continuum convergence for dynamical optimal transport on Zd -periodic graphs with cost functional having linear growth at infinity. This result provides an answer to a problem left open by Gladbach, Kopfer, Maas, and Portinale (Calc Var Partial Differential Equations 62(5), 2023), where the convergence behaviour of discrete boundary-value dynamical transport problems is proved under the stronger assumption of superlinear growth. Our result extends the known literature to some important classes of examples, such as scaling limits of 1 -Wasserstein transport problems. Similarly to what happens in the quadratic case, the geometry of the graph plays a crucial role in the structure of the limit cost function, as we discuss in the final part of this work, which includes some visual representations.}, author = {Portinale, Lorenzo and Quattrocchi, Filippo}, issn = {1469-4425}, journal = {European Journal of Applied Mathematics}, keywords = {optimal transport, discrete-to-continuum, homogenisation, linear growth, gamma-convergence}, number = {3}, pages = {614--642}, publisher = {Cambridge University Press}, title = {{Discrete-to-continuum limits of optimal transport with linear growth on periodic graphs}}, doi = {10.1017/s0956792524000810}, volume = {37}, year = {2026}, } @phdthesis{21423, abstract = {Biological systems, such as cytoskeletal filaments and multicellular collectives, exhibit rich self-organization driven by their intrinsic activity and physical constraints. Across scales, geometry plays a central role: the shape of active units and the structure of their environment strongly influence how order emerges in these far-from-equilibrium systems. In this thesis, we combine minimal active-matter models with bottom-up in vitro experiments to identify the principles by which geometry and activity shape collective behavior in biological matter. At the subcellular scale, we investigate how the physical properties of chiral FtsZ filaments govern their large-scale organization. Using a mesoscopic model validated by reconstituted filament assays, we show that filament shape, intrinsic curvature, and flexibility, together with activity-driven straightening, determine whether filaments form chiral rings, polar bands, or nematic-like states. Our model shows that small changes in filament mechanics produce large shifts in collective structures, revealing how the geometry of individual filaments amplifies through activity to control patterns relevant for bacterial cytokinesis. At the cellular scale, we examine how geometry of the external environment influences collective cancer cell migration. Experiments in controlled microfabricated obstacle environments demonstrate that geometric disorder alone can induce a transition from collective to single-cell invasion. A minimal model of active particles in disordered geometries reproduces these effects, demonstrating that cell dissemination results both from local geometrical constraints and a global integration of spatial disorder over time. Surprisingly, this transition is accompanied by a change in the universality class of interface dynamics, revealing that cell-environment interactions can shift the collective behavior of an invasive front purely through mechanics. In the last system, we study how cell-intrinsic geometry and chirality affect collective motion in confined and unconfined settings. Using a minimal model inspired by in vitro experiments, we analyze motile cells that exhibit persistent rotation due to intrinsic left-right asymmetry. In circular confinement, this simplified chiral model reproduces several experimentally observed features within specific parameter regimes. At high densities in unconfined environments, however, intrinsic chirality becomes masked even before the onset of the jamming transition. These results show that single-cell geometric asymmetry does not necessarily translate into large-scale chiral flows, offering new insight into how forces and symmetries shape collective motion in dense cellular systems. Overall, this work uncovers how geometric constraints – embedded in the intrinsic architecture of an active filament or encoded in the complexity of a microenvironment couple to active forces to generate different classes of complex behaviors. }, author = {Dunajova, Zuzana}, isbn = {978-3-99078-076-3}, issn = {2663-337X}, pages = {110}, publisher = {Institute of Science and Technology Austria}, title = {{Geometry-driven self-organization of migrating cells and chiral filaments}}, doi = {10.15479/AT-ISTA-21423}, year = {2026}, } @misc{21439, abstract = {These files contain supplementary movies accompanying the PhD thesis “Geometry-driven self-organization of migrating cells and chiral filaments” by Zuzana Dunajova (2026). The videos provide additional visual material supporting the experiments and results described in the thesis.}, author = {Dunajova, Zuzana}, publisher = {Institute of Science and Technology Austria}, title = {{Supplementary movies to PhD thesis “Geometry-driven self-organization of migrating cells and chiral filaments”}}, doi = {10.15479/AT-ISTA-21439}, year = {2026}, } @inproceedings{22007, abstract = {Truncation of cryptographic outputs is a technique that was recently introduced in Baldimtsi et al. [Foteini Baldimtsi et al., 2022]. The general idea is to try out many inputs to some cryptographic algorithm until the output (e.g. a public-key or some hash value) falls into some sparse set and thus can be compressed: by trying out an expected 2^k different inputs one will find an output that starts with k zeros. Using such truncation one can for example save substantial gas fees on Blockchains where storing values is very expensive. While [Foteini Baldimtsi et al., 2022] show that truncation preserves the security of the underlying primitive, they only consider a setting without preprocessing. In this work we show that lower bounds on the time-space tradeoff for inverting random functions and permutations also hold with truncation, except for parameters ranges where the bound fails to hold for "trivial" reasons. Concretely, it’s known that any algorithm that inverts a random function or permutation with range N making T queries and using S bits of auxiliary input must satisfy S⋅ T ≥ Nlog N. This lower bound no longer holds in the truncated setting where one must only invert a challenge from a range of size N/2^k, as now one can simply save the replies to all N/2^k challenges, which requires S = log N⋅ N /2^k bits and allows to invert with T = 1 query. We show that with truncation, whenever S is somewhat smaller than the log N⋅ N /2^k bits required to store the entire truncated function table, the known S⋅ T ≥ Nlog N lower bound applies.}, author = {Pietrzak, Krzysztof Z and Wang, Pengxiang}, booktitle = {6th Conference on Information-Theoretic Cryptography}, isbn = {9783959773850}, issn = {1868-8969}, keywords = {Time-Space Lower Bounds, Blockchains}, location = {Santa Barbara, CA, United States}, publisher = {Schloss Dagstuhl - Leibniz-Zentrum für Informatik}, title = {{Time-space tradeoffs of truncation with preprocessing}}, doi = {10.4230/LIPIcs.ITC.2025.4}, volume = {343}, year = {2025}, } @inproceedings{20820, abstract = {The high computational costs of large language models (LLMs) have led to a flurry of research on LLM compression, via methods such as quantization, sparsification, or structured pruning. A new frontier in this area is given by dynamic, non-uniform compression methods, which adjust the compression levels (e.g., sparsity) per-block or even per-layer in order to minimize accuracy loss, while guaranteeing a global compression threshold. Yet, current methods rely on estimating the "importance" of a given layer, implicitly assuming that layers contribute independently to the overall compression error. We begin from the motivating observation that this independence assumption does not generally hold for LLM compression: pruning a model further may even significantly recover performance. To address this, we propose EvoPress, a novel evolutionary framework for dynamic LLM compression. By formulating dynamic compression as a general optimization problem, EvoPress identifies optimal compression profiles in a highly efficient manner, and generalizes across diverse models and compression techniques. Via EvoPress, we achieve state-of-the-art performance for dynamic compression of Llama, Mistral, and Phi models, setting new benchmarks for structural pruning (block/layer dropping), unstructured sparsity, and quantization with dynamic bitwidths.}, author = {Sieberling, Oliver and Kuznedelev, Denis and Kurtic, Eldar and Alistarh, Dan-Adrian}, booktitle = {42nd International Conference on Machine Learning}, issn = {2640-3498}, location = {Vancouver, Canada}, pages = {55556--55590}, publisher = {ML Research Press}, title = {{EvoPress: Accurate dynamic model compression via evolutionary search}}, volume = {267}, year = {2025}, } @inproceedings{20821, abstract = {Modern deep neural networks exhibit heterogeneity across numerous layers of various types such as residuals, multi-head attention, etc., due to varying structures (dimensions, activation functions, etc.), distinct representation characteristics, which impact predictions. We develop a general layer-wise quantization framework with tight variance and code-length bounds, adapting to the heterogeneities over the course of training. We then apply a new layer-wise quantization technique within distributed variational inequalities (VIs), proposing a novel Quantized Optimistic Dual Averaging (QODA) algorithm with adaptive learning rates, which achieves competitive convergence rates for monotone VIs. We empirically show that QODA achieves up to a 150% speedup over the baselines in end-to-end training time for training Wasserstein GAN on 12+GPUs.}, author = {Nguyen, Anh Duc and Markov, Ilia and Wu, Frank Zhengqing and Ramezani-Kebrya, Ali and Antonakopoulos, Kimon and Alistarh, Dan-Adrian and Cevher, Volkan}, booktitle = {42nd International Conference on Machine Learning}, issn = {2640-3498}, location = {Vancouver, Canada}, pages = {46026--46072}, publisher = {ML Research Press}, title = {{Layer-wise quantization for quantized optimistic dual averaging}}, volume = {267}, year = {2025}, } @article{20839, abstract = {For every couple of Hausdorff functions ψ and φ verifying some mild assumptions, there exists a compact subset K of the Baire space such that the φ-Hausdorff measure and the ψ-packing measure on K are both finite and positive. Such examples are then embedded in any infinite dimensional Banach space to answer positively a question of Fan on the existence of metric spaces with arbitrary scales.}, author = {Helfter, Mathieu}, issn = {2308-1317}, journal = {Journal of Fractal Geometry}, publisher = {EMS Press}, title = {{Sets with arbitrary Hausdorff and packing scales in infinite dimensional Banach spaces}}, doi = {10.4171/jfg/177}, year = {2025}, } @misc{20842, abstract = {Probing the possibility of entanglement generation through gravity offers a path to tackle the question of whether gravitational fields possess a quantum mechanical nature. A potential realization necessitates systems with low-frequency dynamics at an optimal mass scale, for which the microgram-to-milligram range is a strong contender. Here, after refining a figure-of-merit for the problem, we present a 1-milligram torsional pendulum operating at 18 Hz. We demonstrate laser cooling its motion from room temperature to 240~microkelvins, surpassing by over 20-fold the coldest motions attained for oscillators ranging from micrograms to kilograms. We quantify and contrast the utility of the current approach with other platforms. The achieved performance and large improvement potential highlight milligram-scale torsional pendulums as a powerful platform for precision measurements relevant to future studies at the quantum-gravity interface.}, author = {Agafonova, Sofya}, publisher = {Institute of Science and Technology Austria}, title = {{Research Data for: 'One-milligram torsional pendulum toward experiments at the quantum-gravity interface'}}, doi = {10.15479/AT-ISTA-20842}, year = {2025}, } @inproceedings{20845, abstract = {We develop new attacks against the Evasive LWE family of assumptions, in both the public and private-coin regime. To the best of our knowledge, ours are the first attacks against Evasive LWE in the public-coin regime, for any instantiation from the family. Our attacks are summarized below. Public-Coin Attacks. 1.The recent work by Hseih, Lin and Luo [17] constructed the first Attribute Based Encryption (ABE) for unbounded depth circuits by relying on the “circular” evasive LWE assumption. This assumption has been popularly considered as a safe, public-coin instance of Evasive LWE in contrast to its “private-coin” cousins (for instance, see [10, 11]). We provide the first attack against this assumption, challenging the widely held belief that this is a public-coin assumption. 2. We demonstrate a counter-example against vanilla public-coin evasive LWE by Wee [26] in an unnatural parameter regime. Our attack crucially relies on the error in the pre-condition being larger than the error in the post-condition, necessitating a refinement of the assumption. Private-Coin Attacks. 1. The recent work by Agrawal, Kumari and Yamada [2] constructed the first functional encryption scheme for pseudorandom functionalities (PRFE) and extended this to obfuscation for pseudorandom functionalities (PRIO) [4] by relying on private-coin evasive LWE. We provide a new attack against the assumption stated in the first posting of their work (subsequently refined to avoid these attacks). 2. The recent work by Branco et al. [8] (concurrently to [4]) provides a construction of obfuscation for pseudorandom functionalities by relying on private-coin evasive LWE. We provide a new attack against their stated assumption. 3. Branco et al. [8] showed that there exist contrived, “self-referential” classes of pseudorandom functionalities for which pseudorandom obfuscation cannot exist. We extend their techniques to develop an analogous result for pseudorandom functional encryption. While Evasive LWE was developed to specifically avoid “zeroizing attacks”, our work shows that in certain settings, such attacks can still apply.}, author = {Agrawal, Shweta and Modi, Anuja and Yadav, Anshu and Yamada, Shota}, booktitle = {23rd International Conference on Theory of Cryptography}, isbn = {9783032122926}, issn = {1611-3349}, location = {Aarhus, Denmark}, pages = {259--290}, publisher = {Springer Nature}, title = {{Zeroizing attacks against evasive and circular evasive LWE}}, doi = {10.1007/978-3-032-12293-3_9}, volume = {16269}, year = {2025}, } @inproceedings{20846, abstract = {CVRFs are PRFs that unify the properties of verifiable and constrained PRFs. Since they were introduced concurrently by Fuchsbauer and Chandran-Raghuraman-Vinayagamurthy in 2014, it has been an open problem to construct CVRFs without using heavy machinery such as multilinear maps, obfuscation or functional encryption. We solve this problem by constructing a prefix-constrained verifiable PRF that does not rely on the aforementioned assumptions. Essentially, our construction is a verifiable version of the Goldreich-Goldwasser-Micali PRF. To achieve verifiability we leverage degree-2 algebraic PRGs and bilinear groups. In short, proofs consist of intermediate values of the Goldreich-Goldwasser-Micali PRF raised to the exponents of group elements. These outputs can be verified using pairings since the underlying PRG is of degree 2. We prove the selective security of our construction under the Decisional Square Diffie-Hellman (DSDH) assumption and a new assumption, which we dub recursive Decisional Diffie-Hellman (recursive DDH). We prove the soundness of recursive DDH in the generic group model assuming the hardness of the Multivariate Quadratic (MQ) problem and a new variant thereof, which we call MQ+. Last, in terms of applications, we observe that our CVRF is also an exponent (C)VRF in the plain model. Exponent VRFs were recently introduced by Boneh et al. (Eurocrypt’25) with various applications to threshold cryptography in mind. In addition to that, we give further applications for prefix-CVRFs in the blockchain setting, namely, stake-pooling and compressible randomness beacons.}, author = {Brandt, Nicholas and Cueto Noval, Miguel and Günther, Christoph Ullrich and Ünal, Akin and Wohnig, Stella}, booktitle = {23rd International Conference on Theory of Cryptography}, isbn = {9783032122896}, issn = {1611-3349}, location = {Aarhus, Denmark}, pages = {478--511}, publisher = {Springer Nature}, title = {{Constrained verifiable random functions without obfuscation and friends}}, doi = {10.1007/978-3-032-12290-2_16}, volume = {16271}, year = {2025}, } @article{20847, abstract = {We report on an experimental active matter system with motion restricted to four cardinal directions. Our particles are magnetite-doped colloidal spheres driven by the Quincke electrorotational instability. The absence of a magnetic field (|𝑩|=0) leads to circular trajectories interspersed with short spontaneous runs. Intermediate fields (|𝑩|≲20mT) linearize the motion along the axis perpendicular to 𝑩. At high magnetic fields, we observe the surprising emergence of a second, distinct linearization along the axis parallel to 𝑩. With numerical simulations, we show that this behavior can be explained by anisotropic magnetic susceptibility.}, author = {Fitzgerald, Eavan and Clavaud, Cécile and Das, Debasish and Lenton, Isaac C and Waitukaitis, Scott R}, issn = {2470-0053}, journal = {Physical Review E}, number = {6}, publisher = {American Physical Society}, title = {{Rolling at right angles: Magnetic anisotropy enables dual-anisotropic active matter}}, doi = {10.1103/1ss8-31rb}, volume = {112}, year = {2025}, } @article{20848, abstract = {Genetic variation that influences complex disease susceptibility is introduced into the population by mutation and removed by natural selection and genetic drift. This mutation–selection–drift balance (MSDB) shapes the prevalence of a disease and its genetic architecture. To date, however, MSDB has been modeled only for monogenic (Mendelian) diseases. Here, we develop an MSDB model for complex disease susceptibility: we assume that genotype relates to disease risk according to the canonical liability threshold model and that the selection on variants affecting risk stems from the fitness cost of the disease. We focus on diseases that are highly polygenic, entail a substantial fitness cost, and are neither extremely common in the population nor exceedingly rare. The comparison of model predictions with genome-wide association studies and other observations in humans indicates that common genetic variation affecting complex disease susceptibility is little affected by directional selection and instead shaped by pleiotropic stabilizing selection on other traits. In turn, directional selection may exert a more substantial effect on rare, large-effect variants. Our results also suggest that current estimates of disease heritability are likely biased. The model thus provides a better understanding of the evolutionary processes that shape the architecture and prevalence of complex diseases.}, author = {Berg, Jeremy J. and Li, Xinyi and Riall, Kellen and Hayward, Laura and Sella, Guy}, issn = {1943-2631}, journal = {Genetics}, number = {4}, publisher = {Oxford University Press}, title = {{Mutation–selection–drift balance models of complex diseases}}, doi = {10.1093/genetics/iyaf220}, volume = {231}, year = {2025}, } @article{20864, abstract = {Studies of the distant Universe are providing key insights into our understanding of the formation of galaxies. The advent of the James Webb Space Telescope (JWST) has significantly enhanced our observational capabilities, leading to an expanded redshift frontier, providing unprecedented detail in the characterisation of early galaxies and enabling the discovery of new populations of accreting black holes. This review aims to provide an introduction to the basic processes and components that shape the observed spectra of galaxies, with a focus on their relevance to techniques with which high-redshift galaxies are selected. The review further introduces specific topics that have attracted significant attention in recent literature, including the discovery of highly efficient galaxy formation in the early Universe, the relation between galaxies and the process of reionization, new insights into the formation of the first stars and the enrichment of interstellar gas with heavy elements, and breakthroughs in our understanding of the origins of supermassive black holes.}, author = {Matthee, Jorryt J}, issn = {1366-5812}, journal = {Contemporary Physics}, number = {1-4}, pages = {116--151}, publisher = {Taylor & Francis}, title = {{JWST provides a new view of cosmic dawn: Latest developments in studies of early galaxies}}, doi = {10.1080/00107514.2025.2586370}, volume = {66}, year = {2025}, } @article{20866, abstract = {In this work, we present hypernode automata as a specification formalism for hyperproperties of systems whose executions may be misaligned among themselves, such as concurrent systems. These automata consist of nodes labeled with hypernode logic formulas and transitions marked with synchronizing actions. Hypernode logic formulas establish relations between sequences of variable values among different system executions. This logic enables both synchronous and asynchronous analysis of traces. In its asynchronous view on execution traces, hypernode formulas establish relations on the order of value changes for each variable without correlating their timing. In both views, the analysis of different execution traces is synchronized through the transitions of hypernode automata. By combining logic’s declarative nature with automata’s procedural power, hypernode automata seamlessly integrate asynchronicity requirements at the node level with synchronicity between node transitions. We show that the model-checking problem for hypernode automata is decidable for specifications where each node specifies either a synchronous or an asynchronous requirement for the system’s executions, but not both.}, author = {Bartocci, Ezio and Chalupa, Marek and Henzinger, Thomas A and Nickovic, Dejan and Oliveira da Costa, Ana}, issn = {1432-0525}, journal = {Acta Informatica}, number = {4}, publisher = {Springer Nature}, title = {{Hypernode automata}}, doi = {10.1007/s00236-025-00509-8}, volume = {62}, year = {2025}, } @article{20867, abstract = {We discuss the embeddability of subspaces of the Gromov–Hausdorff space, which consists of isometry classes of compact metric spaces endowed with the Gromov–Hausdorff distance, into Hilbert spaces. These embeddings are particularly valuable for applications to topological data analysis. We prove that its subspace consisting of metric spaces with at most n points has asymptotic dimension n(n−1)∕2. Thus, there exists a coarse embedding of that space into a Hilbert space. On the contrary, if the number of points is not bounded, then the subspace cannot be coarsely embedded into any uniformly convex Banach space and so, in particular, into any Hilbert space. Furthermore, we prove that, even if we restrict to finite metric spaces whose diameter is bounded by some constant, the subspace still cannot be bi-Lipschitz embedded into any finite-dimensional Hilbert space. We obtain both nonembeddability results by finding obstructions to coarse and bi-Lipschitz embeddings in families of isometry classes of finite subsets of the real line endowed with the Euclidean–Hausdorff distance.}, author = {Zava, Nicolò}, issn = {1472-2739}, journal = {Algebraic & Geometric Topology}, number = {8}, pages = {5153--5174}, publisher = {Mathematical Sciences Publishers}, title = {{Coarse and bi-Lipschitz embeddability of subspaces of the Gromov–Hausdorff space into Hilbert spaces}}, doi = {10.2140/agt.2025.25.5153}, volume = {25}, year = {2025}, } @article{20868, abstract = {Residents of low-latitude megacities face growing vulnerability to humid-heat stress under urbanization and global warming, yet limited research has assessed the morbidity burden of mental and behavioral disorders (MBDs) linked to humid-heat exposures in these cities. Here we quantify the hospital admissions of MBDs in Shanghai, a megacity of over 25 million inhabitants, attributable to humid heat, and project future burdens under various greenhouse gas (GHG)-emission and population scenarios. Humid heat drives a higher morbidity burden than high temperature alone, especially in humid-heat nights. Without population change, the humid-heat-related morbidity burden of MBDs would increase by 68.2% (95% empirical confidence interval 56.7%–81.6%) under the highest-GHG-emission scenario by the 2090s, while 8,465 (95% empirical confidence interval 6,928–10,053) cases would be avoided by reducing emissions to the lowest pathway. With projected population decline, the attributable hospital admissions will decrease toward century’s end. These findings highlight the benefit of GHG mitigation in reducing the growing MBD risks posed by extreme humid heat.}, author = {Liang, Chen and Yuan, Jiacan and Zhang, Renhe and Tang, Xu and Schumann, Gunter and Hitchen, Esther and Polemiti, Elli and Serin, Emin and Kebir, Hedi and Lett, Tristram A. and Vaidya, Nilakshi and Roy, Jean-Charles and Walter, Henrik and Heinz, Andreas and Ralser, Markus and Twardziok, Sven and Eils, Roland and Jentsch, Marcel and Taron, Ulrike-Helene and Schütz, Tatjana and Schepanski, Kerstin and Banaschewski, Tobias and Neidhart, Maja and Meyer-Lindenberg, Andreas and Tost, Heike and Holz, Nathalie and Schwarz, Emanuel and Stringaris, Argyris and Christmann, Nina and Janson, Karina and Nees, Frauke and Neidhart, Maja and Seefried, Beke and Aden, Rieke and Andreassen, Ole A. and Westlye, Lars T. and van der Meer, Dennis and Fernández-Cabello, Sara and Kjelkenes, Rikka and Ask, Helga and Rapp, Michael and Tschorn, Mira and Böttger, Sarah Jane and Marquand, Andre and Bernas, Antoine and Novarino, Gaia and Slater, Mel and Gallego, Jaime and Pastor, Álvaro and Feixas, Guillem and Eiroa-Orosa, Francisco José and Nöthen, Markus M. and Forstner, Andreas J. and Claus, Isabelle and Mathey, Carina and Heilmann-Heimbach, Stefanie and Hoffmann, Per and Miller, Abigail and Sommer, Peter and Schmitt, Karen and Wilbertz, Johannes and Patraskaki, Myrto and Jirsa, Viktor and Petkoski, Spase and Athanasiadis, Anastasios-Polykarpos and Spanlang, Bernhard and Pearmund, Charlie and Hese, Sören and Renner, Paul and Jia, Tianye and Chang, Xiao and Dai, Yuxiang and Xia, Yunman and Li, Yuzhu and Zhang, Yanqing and Calhoun, Vince and Thompson, Paul and Clinton, Nicholas and Desrivières, Sylvane and Agunbiade, Kofoworola and Yu, Xinyang and Zhang, Zuo and Chen, Di and Young, Allan H. and Schwalber, Ameli and Köhler, Vanessa and Stahl, Bernd and Ogoh, George and Schikowski, Tamara and Brandlistuen, Ragnhild}, issn = {2731-6076}, journal = {Nature Mental Health}, number = {12}, pages = {1532--1544}, publisher = {Springer Nature}, title = {{Projecting the morbidity burden of mental and behavioral disorders associated with increasing humid heat in Shanghai}}, doi = {10.1038/s44220-025-00519-y}, volume = {3}, year = {2025}, }