@article{21018,
  abstract     = {In this paper, we review recent results on stability and instability in logarithmic Sobolev inequalities, with a particular emphasis on strong norms. We consider several versions of these inequalities on the Euclidean space, for the Lebesgue and the Gaussian measures, and discuss their differences in terms of moments and stability. We give new and direct proofs, as well as examples and discuss the stability of a logarithmic uncertainty principle. Although we do not cover all aspects of the topic, we hope to contribute to establishing the state of the art.},
  author       = {Brigati, Giovanni and Dolbeault, Jean and Simonov, Nikita},
  issn         = {2730-9657},
  journal      = {La Matematica},
  publisher    = {Springer Nature},
  title        = {{Logarithmic Sobolev Inequalities: A review on stability and instability results}},
  doi          = {10.1007/s44007-025-00180-y},
  volume       = {5},
  year         = {2026},
}

@phdthesis{21021,
  abstract     = {This thesis examines how geometry and topology intersect in the representation, transformation, and analysis of complex shapes. It considers how continuous manifolds relate to their discrete analogues, how topological structures evolve in persistence vineyards, and how tools from topological data analysis can illuminate problems in mathematical physics. Central to this exploration is the question of how structure, both geometric and topological, persists or changes under approximation, sampling, or deformation. The work develops new approaches to skeletal and grid-based representations of surfaces, reveals the full expressive capacity of persistence vineyards, and applies topological methods to the longstanding problem of equilibria in electrostatic fields. These threads braid together into a broader understanding of how topology and geometry inform one another across theory, computation, and application.},
  author       = {Fillmore, Christopher D},
  issn         = {2663-337X},
  pages        = {122},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{Braiding geometry and topology to study shapes and data}},
  doi          = {10.15479/AT-ISTA-21021},
  year         = {2026},
}

@article{21035,
  abstract     = {According to the scientific consensus, tropical convection must decrease with global warming. This decrease is manifested by a decrease of the mass transported in the upward branch of the atmospheric overturning circulation – the convective mass flux – and a connected decrease of high clouds in the tropics, with implications for climate sensitivity. By using kilometer-scale simulations in radiative-convective equilibrium and a convective tracking algorithm, we show that no such decrease occurs in storms when taken individually and that the mass transport per storm increases instead. Storms can achieve this result by aggregating more surface of the convective cores – the inner part of the storm doing the vertical transport – so that the decrease of tropical convection is actually explained by a decrease in the total number of storms. There is little variation of the mean pressure velocity in the cores of the storms, a robust finding of this study. This remarkable invariance of the mean pressure velocity points to an emerging property of convection that should receive more attention in future studies.},
  author       = {Bolot, Maximilien and Roca, Rémy and Fiolleau, Thomas and Muller, Caroline J},
  issn         = {2397-3722},
  journal      = {npj Climate and Atmospheric Science},
  publisher    = {Springer Nature},
  title        = {{No decrease of tropical convection in individual deep convective systems with global warming}},
  doi          = {10.1038/s41612-025-01285-5},
  volume       = {9},
  year         = {2026},
}

@article{21036,
  abstract     = {Forests under livestock grazing sustain important ecosystem services but face potential trade-offs between production and ecological integrity. While the effects of grazing on individual forest attributes are well documented, their integrated consequences remain poorly understood, particularly in temperate forest ecosystems. We evaluated the combined influence of livestock grazing intensity and canopy cover on individual attributes and ecosystem multifunctionality in native Nothofagus forests of Tierra del Fuego, Argentina. Across eight ranches spanning two agroecological regions (Ecotone and Mountain Range), we quantified forest regeneration, understorey richness and biomass, and soil properties, integrating them into a multifunctionality index. Using generalized linear mixed models, we found strong context-dependence: in the Mountain Range, higher grazing intensity reduced seedling and sapling density, organic matter content, coarse woody debris, and overall multifunctionality. In the Ecotone, these effects of livestock use intensity were attenuated, and canopy cover diminished sapling density and multifunctionality, but moderate cover enhanced understorey. Our results extend multifunctionality research from grazed grasslands to grazed temperate forests and show that ecological responses and trade-offs vary across landscape units. We conclude that the Mountain Range is more vulnerable to grazing, requiring stricter management, whereas the Ecotone retains greater capacity to sustain multifunctionality under controlled livestock use intensity. These findings underscore the importance of region-specific silvopastoral strategies that reconcile food production with forest conservation in southern Patagonia and comparable temperate forest landscapes worldwide.},
  author       = {Rodríguez, Paula and Cruz Alonso, Verónica and Romano, Silvina and Bustamante, Gimena and Soler Schaller, Rosina Matilde},
  issn         = {0167-8809},
  journal      = {Agriculture, Ecosystems and Environment},
  publisher    = {Elsevier},
  title        = {{Context-dependent effects of livestock grazing on forest attributes and ecosystem multifunctionality in Nothofagus forests}},
  doi          = {10.1016/j.agee.2026.110219},
  volume       = {400},
  year         = {2026},
}

@article{21037,
  abstract     = {The oxygen reduction reaction (ORR) remains a critical bottleneck in fuel cells and metal-air batteries due to the lack of highly efficient electrocatalysts. Here, we report a simple strategy for synthesizing a palladium-based heterostructured electrocatalyst supported on a carbon nitride matrix (PdH-Pd@CN), which exhibits remarkable ORR activity with a half-wave potential of 0.91 V and excellent durability in 0.1 M KOH. Within the heterostructure, hydrogen intercalation expands the Pd lattice, while interstitial hydrogen doping facilitates charge transfer from Pd to H owing to their electronegativity difference. These synergistic effects modulate the electronic structure, thereby enhancing both activity and stability. When employed in Zn-air batteries, PdH-Pd@CN delivers a maximum power density of 176 mW cm− (Liu et al., 2025) and capacity of 805 mAh g− (Sun et al., 2021) Zn. These findings demonstrate the strong potential of PdH-Pd@CN as an efficient ORR electrocatalyst for next-generation metal-air batteries and related energy technologies.},
  author       = {Shi, Changwei and Horta, Sharona and Ibáñez, Maria and Kallio, Tanja and Martínez-Alanis, Paulina R. and Wang, Xiang and Cabot, Andreu},
  issn         = {0009-2509},
  journal      = {Chemical Engineering Science},
  publisher    = {Elsevier},
  title        = {{Hydrogen induced palladium-based heterojunction electrocatalysts to enhance the oxygen reduction reaction performance}},
  doi          = {10.1016/j.ces.2026.123348},
  volume       = {324},
  year         = {2026},
}

@article{21038,
  abstract     = {Little Red Dots (LRDs) are compact sources at z > 5 discovered through James Webb Space Telescope spectroscopy. Their spectra exhibit broad Balmer emission lines (>~1000 km s^−1), alongside absorption features and a pronounced Balmer break – evidence for a dense, neutral hydrogen medium, in which the n = 2 state is significantly populated. When interpreted as arising
from active galactic nucleus broad-line regions, inferred black hole masses from local scaling relations exceed expectations given their stellar masses, challenging models of early black hole–galaxy co-evolution. However, radiative transfer effects in dense media may also impact the formation of hydrogen emission lines. We model three scattering processes shaping hydrogen
line profiles: resonance scattering by hydrogen in the n = 2 state, Raman scattering of ultraviolet (UV) radiation by ground-state hydrogen, and Thomson scattering by free electrons. Using 3D Monte Carlo radiative transfer simulations, we examine their imprint on line shapes and ratios. Resonance scattering produces strong deviations from Case B flux ratios, clear differences
between Hα and Hβ, and encodes gas kinematics in line profiles but cannot broaden Hβ due to conversion to Paα. While Raman scattering can yield broad wings, scattering of the UV continuum is disfavoured given the absence of strong full width at half-maximum variations across transitions. Raman scattering of higher Lyman-series emission can produce Hα/Hβ wing
width ratios of  >~1.28, agreeing with observations. Thomson scattering can reproduce the observed >~ 1000 km s^−1 wings under plausible conditions – e.g. Te ∼ 10^4 K and Ne ∼ 10^24 cm^−2 – and lead to black hole mass overestimates by factors  10. Our results provide a framework for interpreting hydrogen lines in LRDs and similar systems.},
  author       = {Chang, Seok Jun and Gronke, Max and Matthee, Jorryt J and Mason, Charlotte},
  issn         = {1365-2966},
  journal      = {Monthly Notices of the Royal Astronomical Society},
  number       = {4},
  publisher    = {Oxford University Press},
  title        = {{Impact of resonance, Raman, and Thomson scattering on hydrogen line formation in Little Red Dots}},
  doi          = {10.1093/mnras/staf2131},
  volume       = {545},
  year         = {2026},
}

@article{21039,
  abstract     = {Cellular plasticity, the ability of a differentiated cell to adopt another phenotypic identity, is restricted under basal conditions, but can be elicited upon damage. However, the molecular mechanism enabling such plasticity remains largely unexplored. Here, we report damage-induced cellular plasticity of secretory enteroendocrine cells (EEs) in the adult Drosophila midgut. Ionizing radiation induces EE fate conversion and activates stress-responsive programs in EE lineages, accompanied by the induction of the stress-inducible transcription factor Xrp1 and the cytokine gene upd3. Xrp1 and upd3 are both necessary for radiation-induced EE plasticity. Under basal conditions, EE-specific Xrp1 overexpression triggers ectopic expression of progenitor-specific genes, which is necessary for Xrp1 to drive EE plasticity. Our work identifies Xrp1 as a crucial regulator that coordinates damage-induced signaling and transcriptional reprogramming, enabling the reactivation of cellular plasticity in differentiated cells.},
  author       = {Qian, Qingyin and Nagai, Hiroki and Sanaki, Yuya and Hayashi, Makoto and Kimura, Kenichi and Nakajima, Yu Ichiro and Niwa, Ryusuke},
  issn         = {1477-9129},
  journal      = {Development},
  number       = {2},
  publisher    = {The Company of Biologists},
  title        = {{Xrp1 drives damage-induced cellular plasticity of enteroendocrine cells in the adult Drosophila midgut}},
  doi          = {10.1242/dev.205225},
  volume       = {153},
  year         = {2026},
}

@article{21040,
  abstract     = {Formation during the first cycles of Li-rich layered oxide (LRLO) cathode materials consolidates the interphase and leads to structural changes that are decisive for long-term cyclability. However, the nature and effect of the changes are material-dependent and unknown for the important class of Co-free, Ni-poor LRLOs. Here, we analyze the processes during the tailored formation procedure of a typical class member, Li1.28Ni0.15Mn0.57O2, and demonstrate that it remarkably changes lattice composition and structure as a prerequisite for stable cycling. We combine electrochemistry, operando mass spectrometry, X-ray diffraction, and X-ray absorption spectroscopy with density functional theory simulations. Activation most prominently compresses the layer spacing along the c-axis and increases reversible structural breathing. The large capacity of ∼250 mAh g–1 originates from the Ni2+/Ni4+ and O2–/O– redox couples. Electron exchange during O-redox is smeared over the entire anionic sublattice rather than localized on specific oxygen atomic sites. This redox mechanism is reversible without detrimental oxygen evolution, avoiding continued degradation common in conventional LRLOs. Sequential Ni- and O-redox during activation irreversibly distorts the coordination of the redox-inactive Mn4+ centers. This structural evolution of the MnO6 octahedra appears to enable the superior electrochemical performance of this LRLO phase. These findings define an activation pathway for the important class of Co-free, Ni-poor LRLOs, offering potential guidance for the rational design of high-performance, more sustainable cathode materials.},
  author       = {Busato, Matteo and Tuccillo, Mariarosaria and Celeste, Arcangelo and Tofoni, Alessandro and Silvestri, Laura and D’Angelo, Paola and Freunberger, Stefan Alexander and Brutti, Sergio},
  issn         = {2574-0962},
  journal      = {ACS Applied Energy Materials},
  number       = {1},
  pages        = {686--697},
  publisher    = {American Chemical Society},
  title        = {{Structural rearrangements of a Cobalt-free Lithium-rich layered oxide cathode during formation}},
  doi          = {10.1021/acsaem.5c03511},
  volume       = {9},
  year         = {2026},
}

@article{21041,
  abstract     = {It is common for programmers to assemble their programs from a combination of trusted and untrusted components. In this context, a trusted program component is said to be robustly safe if it behaves safely when linked against arbitrary untrusted code. Prior work has shown how various encapsulation mechanisms (in both high- and low-level languages) can be used to protect code so that it is robustly safe, but none of the existing work has explored how robust safety can be achieved in a patently unsafe language like C.
In this paper, we show how to bring robust safety to a simple yet representative C-like language we call Rec. Although Rec (like C) is inherently ”dangerous” and thus not robustly safe, we can ”save” Rec programs via compilation to Cap, a CHERI-like capability machine. To formalize the benefits of such a hardening compiler, we develop Reckon, a separation logic for verifying robust safety of Rec programs. Reckon is not sound under Rec’s unsafe, C-like semantics, but it is sound when Rec programs are hardened via compilation and linked against untrusted code running on Cap. As a crucial step in proving soundness of Reckon, we introduce a novel technique of semantic back-translation, which we formalize by building on the DimSum framework for multi-language semantics. All our results are mechanized in the Rocq prover.},
  author       = {Mück, Niklas and Georges, Aïna Linn and Dreyer, Derek and Garg, Deepak and Sammler, Michael Joachim},
  issn         = {2475-1421},
  journal      = {Proceedings of the ACM on Programming Languages},
  pages        = {1153--1182},
  publisher    = {Association for Computing Machinery},
  title        = {{Endangered by the language but saved by the compiler: Robust safety via semantic back-translation}},
  doi          = {10.1145/3776682},
  volume       = {10},
  year         = {2026},
}

@inproceedings{21042,
  abstract     = {Many blockchains such as Ethereum execute all incoming transactions sequentially significantly limiting the potential throughput. A common approach to scale execution is parallel execution engines that fully utilize modern multi-core architectures. Parallel execution is then either done optimistically, by executing transactions in parallel and detecting conflicts on the fly, or guided, by requiring exhaustive client transaction hints and scheduling transactions accordingly.

However, recent studies have shown that the performance of parallel execution engines depends on the nature of the underlying workload. In fact, in some cases, only a 60% speed-up compared to sequential execution could be obtained. This is the case, as transactions that access the same resources must be executed sequentially. For example, if 10% of the transactions in a block access the same resource, the execution cannot meaningfully scale beyond 10 cores. Therefore, a single popular application can bottleneck the execution and limit the potential throughput.

In this paper, we introduce Anthemius, a block construction algorithm that optimizes parallel transaction execution throughput. We evaluate Anthemius exhaustively under a range of workloads, and show that Anthemius enables the underlying parallel execution engine to process over twice as many transactions.},
  author       = {Neiheiser, Ray and Kokoris Kogias, Eleftherios},
  booktitle    = {29th International Conference on Financial Cryptography and Data Security},
  isbn         = {9783032070234},
  issn         = {1611-3349},
  location     = {Miyakojima, Japan},
  pages        = {307--323},
  publisher    = {Springer Nature},
  title        = {{Anthemius: Efficient and modular block assembly for concurrent execution}},
  doi          = {10.1007/978-3-032-07024-1_18},
  volume       = {15751},
  year         = {2026},
}

@inproceedings{21044,
  abstract     = {Scalability is a crucial requirement for modern large-scale systems, enabling elasticity and ensuring responsiveness under varying load. While cloud systems have achieved scalable architectures, blockchain systems remain constrained by the need to over-provision validator machines to handle peak load. This leads to resource inefficiency, poor cost scaling, and limits on performance. To address these challenges, we introduce Pilotfish, the first scale-out transaction execution engine for blockchains. Pilotfish enables validators to scale horizontally by distributing transaction execution across multiple worker machines, allowing elasticity without compromising consistency or determinism. It integrates seamlessly with the lazy blockchain architecture, completing the missing piece of execution elasticity. To achieve this, Pilotfish tackles several key challenges: ensuring scalable and strongly consistent distributed transactions, handling partial crash recovery with lightweight replication, and maintaining concurrency with a novel versioned-queue scheduling algorithm. Our evaluation shows that Pilotfish scales linearly up to at least eight workers per validator for compute-bound workloads, while maintaining low latency. By solving scalable execution, Pilotfish brings blockchains closer to achieving end-to-end elasticity, unlocking new possibilities for efficient and adaptable blockchain systems.},
  author       = {Kniep, Quentin and Kokoris Kogias, Eleftherios and Sonnino, Alberto and Zablotchi, Igor and Zhang, Nuda},
  booktitle    = {29th International Conference on Financial Cryptography and Data Security},
  isbn         = {9783032070234},
  issn         = {1611-3349},
  location     = {Miyakojima, Japan},
  pages        = {287--306},
  publisher    = {Springer Nature},
  title        = {{Pilotfish: Distributed execution for scalable blockchains}},
  doi          = {10.1007/978-3-032-07024-1_17},
  volume       = {15751},
  year         = {2026},
}

@article{21045,
  abstract     = {The abundant population of little red dots (LRDs), compact objects with red UV to optical colors and broad Balmer lines at high redshift, is revealing new insights into the properties of early active galactic nuclei (AGN). Perhaps the most surprising features of this population are the presence of Balmer absorption and ubiquitous strong Balmer breaks. Recent models link these features to an active supermassive black hole (SMBH) cocooned in very dense gas (NH ∼ 1024 cm−2). We present a stringent test of such models using VLT/MUSE observations of A2744-45924, the most luminous LRD known to date (LHα ≈ 1044 erg s−1), located behind the Abell-2744 lensing cluster at z = 4.464 (μ = 1.8). We detect a moderately extended Lyα nebula (h ≈ 5.7 pkpc), spatially offset from the point-like Hα seen by JWST by ≈1.6 pkpc. The Lyα emission is narrow (FWHM = 270 ± 15 km s−1), and faint (Lyα = 0.07Hα) compared to Lyα nebulae typically observed around quasars of similar luminosity. We detect compact N IV]λ1486 emission, spatially aligned with Hα, and a spatial shift in the far-UV continuum matching the Lyα offset. We discuss that Hα and Lyα have distinct physical origins: Hα originates from the AGN, while Lyα is powered by star formation. In the environment of A2744-45924, we identified four extended Lyα halos (Δz < 0.02, Δr < 100 pkpc). Their Lyα luminosities match the expectations based on Hα emission, and show no evidence for radiation from A2744-45924 affecting its surroundings. The lack of strong, compact, and broad Lyα and the absence of a luminous extended halo, suggest that the UV AGN light is obscured by dense gas cloaking the SMBH with a covering factor close to unity.},
  author       = {Torralba Torregrosa, Alberto and Matthee, Jorryt J and Pezzulli, Gabriele and Urrutia, Tanya and Gronke, Max and Mascia, Sara and D’Eugenio, Francesco and Di Cesare, Claudia and Eilers, Anna Christina and Greene, Jenny E. and Iani, Edoardo and Ishikawa, Yuzo and Mackenzie, Ruari and Naidu, Rohan P. and Navarrete, Benjamín and Kotiwale, Gauri},
  issn         = {1432-0746},
  journal      = {Astronomy and Astrophysics},
  publisher    = {EDP Sciences},
  title        = {{A weak Ly α halo for an extremely bright little red dot. Indications of enshrouded supermassive black hole growth}},
  doi          = {10.1051/0004-6361/202555596},
  volume       = {705},
  year         = {2026},
}

@unpublished{21051,
  abstract     = {In this work, we introduce and study what we believe is an intriguing and, to the best of our knowledge, previously unknown connection between two areas in computational topology, topological data analysis (TDA) and knot theory. Given a function from a topological space to $\mathbb{R}$, TDA provides tools to simplify and study the importance of topological features: in particular, the $l^{th}$-dimensional persistence diagram encodes the $l$-homology in the sublevel set as the function value increases as a set of points in the plane. Given a continuous one-parameter family of such functions, we can combine the persistence diagrams into an object known as a vineyard, which track the evolution of points in the persistence diagram. If we further restrict that family of functions to be periodic, we identify the two ends of the vineyard, yielding a closed vineyard. This allows the study of monodromy, which in this context means that following the family of functions for a period permutes the set of points in a non-trivial way. In this work, given a link and value $l$, we construct a topological space and periodic family of functions such that the closed $l$-vineyard contains this link. This shows that vineyards are topologically as rich as one could possibly hope. Importantly, it has at least two immediate consequences: First, monodromy of any periodicity can occur in a $l$-vineyard, answering a variant of a question by [Arya et al 2024]. To exhibit this, we also reformulate monodromy in a more geometric way, which may be of interest in itself. Second, distinguishing vineyards is likely to be difficult given the known difficulty of knot and link recognition, which have strong connections to many NP-hard problems.},
  author       = { Chambers, Erin and Fillmore, Christopher D and Stephenson, Elizabeth R and Wintraecken, Mathijs},
  booktitle    = {arXiv},
  title        = {{Braiding vineyards}},
  doi          = {10.48550/ARXIV.2504.11203},
  year         = {2026},
}

@inbook{21056,
  abstract     = {In this work, we introduce and study what we believe is an intriguing, and, to the best of our knowledge, previously unknown connection between two fundamental areas in computational topology, namely topological data analysis (TDA) and knot theory. Given a function from a topological space to ℝ, TDA provides tools to simplify and study the importance of topological features: in particular, the 𝑙^𝑡⁢ℎ-dimensional persistence diagram encodes the topological changes (or 𝑙-homology) in the sublevel set as the function value increases into a set of points in the plane. Given a continuous one parameter family of such functions, we can combine the persistence diagrams into an object known as a vineyard, which tracks the evolution of points in the persistence diagram as the function changes. If we further restrict that family of functions to be periodic, we identify the two ends of the vineyard, yielding a closed vineyard. This allows the study of monodromy, which in this context means that following the family of functions for a period permutes the set of points in a non-trivial way. Recent work has studied monodromy in the directional persistent homology transform, demonstrating some interesting connections between an input shape and monodromy in the persistent homology transform for 0-dimensional homology embedded in ℝ^2.
In this work, given a link and a value 𝑙, we construct a topological space (based on the given link) and periodic family of functions on this space (based on the Euclidean distance function), such that the closed 𝑙-vineyard contains this link. This shows that vineyards are topologically as rich as one could possibly hope, suggesting many future directions of work. Importantly, it has at least two immediate consequences we explicitly point out:
1.	Monodromy of any periodicity can occur in a 𝑙-vineyard for any 𝑙. This answers a variant of a question by Arya and collaborators. To exhibit this as a consequence of our first main result we also reformulate monodromy in a more geometric way, which may be of interest in itself.
2.	Topologically distinguishing closed vineyards is likely to be difficult (from a complexity theory as well as from a practical perspective) because of the difficulty of knot and link recognition, which have strong connections to many NP-hard problems.},
  author       = {Chambers, Erin W. and Fillmore, Christopher D and Stephenson, Elizabeth R and Wintraecken, Mathijs},
  booktitle    = {Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms},
  editor       = {Green Larsen, Kasper and Saha, Barna},
  pages        = {6240--6263},
  publisher    = {Society for Industrial and Applied Mathematics},
  title        = {{Braiding Vineyards}},
  doi          = {10.1137/1.9781611978971.225},
  year         = {2026},
}

@inproceedings{21113,
  abstract     = {Causal discovery from i.i.d. observational data is known to be generally ill-posed. We demonstrate that if we have access to the distribution induced by a structural causal model, and additional data from (in the best case) only two environments that sufficiently differ in the noise statistics, the unique causal graph is identifiable. Notably, this is the first result in the literature that guarantees the entire causal graph recovery with a constant number of environments and arbitrary nonlinear mechanisms. Our only constraint is the Gaussianity of the noise terms; however, we propose potential ways to relax this requirement. Of interest on its own, we expand on the well-known duality between independent component analysis (ICA) and causal discovery; recent advancements have shown that nonlinear ICA can be solved from multiple environments, at least as many as the number of sources: we show that the same can be achieved for causal discovery while having access to much less auxiliary information.},
  author       = {Montagna, Francesco},
  booktitle    = {The 14th International Conference on Learning Representations},
  location     = {Rio de Janeiro, Brazil},
  publisher    = {OpenReview},
  title        = {{On the identifiability of causal graphs with multiple environments}},
  year         = {2026},
}

@article{21115,
  abstract     = {Quantifying cell morphology is central to understanding cellular regulation, fate, and heterogeneity, yet conventional image-based analyses often struggle with diverse or irregular shapes. We present a computational framework that uses topological data analysis to characterise and compare single-cell morphologies from fluorescence microscopy. Each cell is represented by its contour together with the position of its nucleus, from which we construct a filtration based on a radial distance function and derive a persistence diagram encoding the shape’s topological evolution. The similarity between two cells is quantified using the 2-Wasserstein distance between their diagrams, yielding a shape distance we call the PH distance. We apply this method to two representative experimental systems—primary human mesenchymal stem cells (hMSCs) and HeLa cells—and show that PH distances enable the detection of outliers in those systems, the identification of sub-populations, and the quantification of shape heterogeneity. We benchmark PH against three established contour-based distances (aspect ratio, Fourier descriptors, and elastic shape analysis) and show that PH offers better separation between cell types and greater robustness when clustering heterogeneous populations. Together, these results demonstrate that persistent-homology-based signatures provide a principled and sensitive approach for analysing cell morphology in settings where traditional geometric or image-based descriptors are insufficient.},
  author       = {Bleile, Yossi and Yadav, Pooja and Koehl, Patrice and Rehfeldt, Florian},
  issn         = {1553-7358},
  journal      = {PLoS Computational Biology},
  publisher    = {Public Library of Science},
  title        = {{Persistence diagrams as morphological signatures of cells: A method to measure and compare cells within a population}},
  doi          = {10.1371/journal.pcbi.1013890},
  volume       = {22},
  year         = {2026},
}

@misc{21116,
  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},
  keywords     = {Schizophora, sex chromosomes, sex-chromosome turnover, Diptera, genomic features, out-of-X movement.},
  publisher    = {Institute of Science and Technology Austria},
  title        = {{Research Data for "Causes and consequences of sex-chromosome turnovers in Diptera"}},
  doi          = {10.15479/AT-ISTA-21116},
  year         = {2026},
}

@article{21132,
  abstract     = {We unify the variational hypocoercivity framework established by D. Albritton, S. Armstrong, J.-C. Mourrat, and M. Novack [2], with the notion of second-order lifts of reversible diffusion processes, recently introduced by A. Eberle and the second author [30]. We give an abstract, yet fully constructive, presentation of the theory, so that it can be applied to a large class of linear kinetic equations. As this hypocoercivity technique does not twist the reference norm, we can recover accurate and sharp convergence rates in various models. Among those, adaptive Langevin dynamics (ALD) is discussed in full detail and we show that for near-quadratic potentials, with suitable choices of parameters, it is a near-optimal second-order lift of the overdamped Langevin dynamics. As a further consequence, we observe that the Generalised Langevin Equation (GLE) is also a second-order lift, as the standard (kinetic) Langevin dynamics are, of the overdamped Langevin dynamics. Then, convergence of (GLE) cannot exceed ballistic speed, i.e. the square root of the rate of the overdamped regime. We illustrate this phenomenon with explicit computations in a benchmark Gaussian case.},
  author       = {Brigati, Giovanni and Lörler, Francis and Wang, Lihan},
  issn         = {1937-5077},
  journal      = {Kinetic and Related Models},
  pages        = {34--55},
  publisher    = {American Institute of Mathematical Sciences},
  title        = {{Hypocoercivity meets lifts}},
  doi          = {10.3934/krm.2025020},
  volume       = {20},
  year         = {2026},
}

@inproceedings{21133,
  abstract     = {Data structures based on trees and tree traversals are ubiquitous in computer systems. Many low-level programs, including some implementations of critical systems like page tables and the web browser DOM, rely on generic tree-traversal functions that traverse tree nodes in a pre-determined order, applying a client-provided operation to each visited node. Developing a general approach to specifying and verifying such traversals is tricky since the client-provided per-node operation can be stateful and may potentially depend on or modify the structure of the tree being traversed.
In this paper, we present a recipe for (semi-)automated verification of such generic, stateful tree traversals. Our recipe is (a) general: it applies to a range of tree traversals, in particular, pre-, post- and in-order depth-first traversals; (b) modular: parts of a traversal’s proof can be reused in verifying other similar traversals; (c) expressive: using the specification of a tree traversal, we can verify clients that use the traversal in a variety of different ways; and (d) automatable: many proof obligations can be discharged automatically.
At the heart of our recipe is a novel use of tree zippers to represent a logical abstraction of the tree traversal state, and zipper transitions as an abstraction of traversal steps. We realize our recipe in the RefinedC framework in Rocq, which allows us to verify a number of different tree traversals and their clients written in C.},
  author       = {Elbeheiry, Laila and Sammler, Michael Joachim and Krebbers, Robbert and Dreyer, Derek and Garg, Deepak},
  booktitle    = {Proceedings of the 15th ACM SIGPLAN International Conference on Certified Programs and Proofs},
  isbn         = {9798400723414},
  location     = {Rennes, France},
  pages        = {339--352},
  publisher    = {Association for Computing Machinery},
  title        = {{A recipe for modular verification of generic tree traversals}},
  doi          = {10.1145/3779031.3779110},
  year         = {2026},
}

@inproceedings{21134,
  abstract     = {The Nakamoto consensus protocol underlying the Bitcoin blockchain uses proof of work as a voting mechanism. Honest miners who contribute hashing power towards securing the chain try to extend the longest chain they are aware of. Despite its simplicity, Nakamoto consensus achieves meaningful security guarantees assuming that at any point in time, a majority of the hashing power is controlled by honest parties. This also holds under “resource variability”, i.e., if the total hashing power varies greatly over time.
Proofs of space (PoSpace) have been suggested as a more sustainable replacement for proofs of work. Unfortunately, no construction of a “longest-chain” blockchain based on PoSpace, that is secure under dynamic availability, is known. In this work, we prove that without additional assumptions no such protocol exists. We exactly quantify this impossibility result by proving a bound on the length of the fork required for double spending as a function of the adversarial capabilities. This bound holds for any chain selection rule, and we also show a chain selection rule (albeit a very strange one) that almost matches this bound.
The Nakamoto consensus protocol underlying the Bitcoin blockchain uses proof of work as a voting mechanism. Honest miners who contribute hashing power towards securing the chain try to extend the longest chain they are aware of. Despite its simplicity, Nakamoto consensus achieves meaningful security guarantees assuming that at any point in time, a majority of the hashing power is controlled by honest parties. This also holds under “resource variability”, i.e., if the total hashing power varies greatly over time.

Proofs of space (PoSpace) have been suggested as a more sustainable replacement for proofs of work. Unfortunately, no construction of a “longest-chain” blockchain based on PoSpace, that is secure under dynamic availability, is known. In this work, we prove that without additional assumptions no such protocol exists. We exactly quantify this impossibility result by proving a bound on the length of the fork required for double spending as a function of the adversarial capabilities. This bound holds for any chain selection rule, and we also show a chain selection rule (albeit a very strange one) that almost matches this bound.

Concretely, we consider a security game in which the honest parties at any point control 0 > 1
 times more space than the adversary. The adversary can change the honest space by a factor 1+- E with every block (dynamic availability), and “replotting” the space (which allows answering two challenges using the same space) takes as much time as p blocks.
We prove that no matter what chain selection rule is used, in this game the adversary can create a fork of length o^2 . p/E that will be picked as the winner by the chain selection rule.
We also provide an upper bound that matches the lower bound up to a factor o. There exists a chain selection rule (albeit a very strange one) which in the above game requires forks of length at least o . p/E
Our results show the necessity of additional assumptions to create a secure PoSpace based longest-chain blockchain. The Chia network in addition to PoSpace uses a verifiable delay function. Our bounds show that an additional primitive like that is necessary.},
  author       = {Baig, Mirza Ahad and Pietrzak, Krzysztof Z},
  booktitle    = {29th International Conference on Financial Cryptography and Data Security},
  isbn         = {9783032070340},
  issn         = {1611-3349},
  location     = {Miyakojima, Japan},
  pages        = {127--142},
  publisher    = {Springer Nature},
  title        = {{On the (in)security of Proofs-of-space based longest-chain blockchains}},
  doi          = {10.1007/978-3-032-07035-7_8},
  volume       = {15752},
  year         = {2026},
}