@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{21135, abstract = {Three-dimensional (3D) microscopy data is often anisotropic with significantly lower resolution (up to 8x) along the z axis than along the xy axes. Computationally generating plausible isotropic resolution from anisotropic imaging data would benefit the visual analysis of large-scale volumes. This paper proposes niiv, a self-supervised method for isotropic reconstruction of 3D microscopy data that can quickly produce images at arbitrary output resolutions. The representation embeds a learned latent code within a neural field that describes the implicit higher-resolution isotropic image region. We use an attention-guided latent interpolation approach, which allows flexible information exchange over a local latent neighborhood. Under isotropic volume assumptions, we self-supervise this representation on low-/high-resolution lateral image pairs to reconstruct an isotropic volume from low-resolution axial images. We evaluate our method on simulated and real anisotropic electron (EM) and light microscopy (LM) data. Compared to diffusion-based baselines, niiv shows improved reconstruction quality (+1 dB PSNR) and is over three orders of magnitude faster (1,000x) to infer. Specifically, niiv reconstructs a 128^3 voxel volume in 2/10th of a second, renderable at varying (continuous) high resolutions for display. Our code is available at https://github.com/jakobtroidl/niiv-miccai.}, author = {Troidl, Jakob and Liang, Yiqing and Beyer, Johanna and Tavakoli, Mojtaba and Danzl, Johann G and Hadwiger, Markus and Pfister, Hanspeter and Tompkin, James}, booktitle = {1st International Workshop on Efficient Medical Artificial Intelligence}, isbn = {9783032139603}, issn = {1611-3349}, location = {Daejeon, South Korea}, pages = {257--267}, publisher = {Springer Nature}, title = {{niiv: Interactive Self-supervised Neural Implicit Isotropic Volume Reconstruction}}, doi = {10.1007/978-3-032-13961-0_26}, volume = {16318}, year = {2026}, } @inproceedings{21140, abstract = {We consider several problems related to packing forests in graphs. The first one is to find k edge-disjoint forests in a directed graph G of maximal size such that the indegree of each vertex in these forests is at most k. We describe a min-max characterization for this problem and show that it can be solved in almost linear time for fixed k, extending the algorithm of [Gabow, 1995]. Specifically, the complexity is O(kδm log n), where n, m are the number of vertices and edges in G respectively, and δ = max{1, k − kG}, where kG is the edge connectivity of the graph. Using our solution to this problem, we improve complexities for two existing applications:(1) k-forest problem: find k forests in an undirected graph G maximizing the number of edges in their union. We show how to solve this problem in O(k3 min{kn, m} log2 n + k · MAXFLOW(m, m) log n) time, breaking the Ok(n3/2) complexity barrier of previously known approaches.(2) Directed edge-connectivity augmentation problem: find a smallest set of directed edges whose addition to the given directed graph makes it strongly k-connected. We improve the deterministic complexity for this problem from O(kδ(m + δn) log n) [Gabow, STOC 1994] to O(kδm log n). A similar approach with the same complexity also works for the undirected version of the problem.}, author = {Arkhipov, Pavel and Kolmogorov, Vladimir}, booktitle = {Proceedings of the 2026 Annual ACM-SIAM Symposium on Discrete Algorithms}, location = {Vancouver, Canada}, pages = {4023--4042}, publisher = {Society for Industrial and Applied Mathematics}, title = {{Faster algorithms for packing forests in graphs and related problems}}, doi = {10.1137/1.9781611978971.148}, year = {2026}, } @article{21149, abstract = {We present a general theoretical framework for helical dichroism (HD), establishing an explicit link between chiral resolution and orbital angular momentum (OAM) exchange in light–matter interaction. Tracing microscopic mechanisms of the OAM transfer, we derive rotational selection rules, which establish that HD emerges only from the spin–orbit coupling of light, even for beams without the far-field OAM. Our findings refine the conditions for observing HD, provide a tool to re-examine the outcome of prior experiments, and guide future designs for chiral sensing with structured light.}, author = {Hrast, Mateja and Koutentakis, Georgios and Maslov, Mikhail and Lemeshko, Mikhail}, issn = {1079-7114}, journal = {Physical Review Letters}, number = {5}, publisher = {American Physical Society}, title = {{Bottom-up analysis of rovibrational helical dichroism}}, doi = {10.1103/fkf1-1jml}, volume = {136}, year = {2026}, } @article{21158, abstract = {Vernalization-regulated flowering is vital for wheat yield and geographical distribution, and the diversity of flowering time genes is essential for the breeding of climate-resilient varieties. Sugars have long been recognized in regulating flowering; however, the intrinsic connection between carbohydrate metabolism and vernalization response remains largely unexplored. Here, we identify a fructose 1,6-bisphosphate aldolase (FBA) encoding gene, HtL1/FBA10, as a modulator of heading time variation based on a genome-wide association study utilizing wheat core germplasm collections. Evolutionary analysis shows a decrease in the proportion of haplotype-2 of HtL1, which is linked to delayed flowering, in Chinese and American wheat varieties compared to landraces. Vernalization reduces HtL1/FBA10 phosphorylation levels and increases its O-GlcNAcylation, which in turn enhances its enzymatic activity and facilitates VERNALIZATION 1 (VRN1) transcription by regulating histone acetylation at the VRN1 locus. Our findings provide mechanistic insights into the interplay between glucose metabolism and the epigenetic regulation of vernalization in winter wheat.}, author = {Yang, Pengfang and Liu, Yangyang and Dong, Qi and Miao, Yuting and Zhang, Jianlong and Xu, Shujuan and Zhao, Hong and Niu, Yuda and Zhang, Xueyong and Xu, Yunyuan and Guo, Zifeng and Xing, Lijing and Chong, Kang}, issn = {2041-1723}, journal = {Nature Communications}, publisher = {Springer Nature}, title = {{O-GlcNAc and phosphorylation modifications on HtL1/FBA10 regulate wheat vernalization for flowering}}, doi = {10.1038/s41467-025-67734-0}, volume = {17}, year = {2026}, } @article{21159, abstract = {One of the foundational theorems of extremal graph theory is Dirac’s theorem, which says that if an n-vertex graph G has minimum degree at least n/2, then G has a Hamilton cycle, and therefore a perfect matching (if n is even). Later work by Sárközy, Selkow and Szemerédi showed that in fact Dirac graphs have many Hamilton cycles and perfect matchings, culminating in a result of Cuckler and Kahn that gives a precise description of the numbers of Hamilton cycles and perfect matchings in a Dirac graph G (in terms of an entropy-like parameter of G). In this paper we extend Cuckler and Kahn’s result to perfect matchings in hypergraphs. For positive integers d < k, and for n divisible by k, let md (k, n) be the minimum d-degree that ensures the existence of a perfect matching in an n-vertex k-uniform hypergraph. In general, it is an open question to determine (even asymptotically) the values of md (k, n), but we are nonetheless able to prove an analogue of the Cuckler–Kahn theorem, showing that if an n-vertex k-uniform hypergraph G has minimum d-degree at least (1+γ )md (k, n) (for any constantγ > 0), then the number of perfect matchings in G is controlled by an entropy-like parameter of G. This strengthens cruder estimates arising from work of Kang–Kelly–Kühn–Osthus–Pfenninger and Pham–Sah–Sawhney–Simkin.}, author = {Kwan, Matthew Alan and Safavi Hemami, Roodabeh and Wang, Yiting}, issn = {1439-6912}, journal = {Combinatorica}, publisher = {Springer Nature}, title = {{Counting perfect matchings in Dirac hypergraphs}}, doi = {10.1007/s00493-025-00194-8}, volume = {46}, year = {2026}, } @article{21160, abstract = {Context. AM Canum Venaticorum (AM CVn) stars are ultra-compact binary systems composed of a white dwarf primary accreting from a hydrogen-deficient donor. They play a crucial role in astrophysics as potential progenitors of Type Ia supernovae and as laboratories for gravitational wave studies. However, their formation and evolutionary history remain incomplete. Three formation channels have been discussed in the literature: the white dwarf, He-star, and cataclysmic variable channels. Aims. The chemical composition of the accretor atmosphere reflects the material transferred from the donor. In this work we took the first accurate measurements of the fundamental parameters of the accreting white dwarf in ZTF J225237.05−051917.4, including the abundances of key elements such as carbon, nitrogen, and silicon, by analysing ultraviolet spectra obtained with the Hubble Space Telescope (HST). These measurements provide new insight into the evolutionary history of the system and, together with existing optical observations, establish it as a benchmark to develop our pipeline, paving the way for its application to a larger sample of AM CVn systems. Methods. We determined the binary parameters through photometric analysis and constrained the atmospheric parameters of the white dwarf accretor, including its effective temperature, surface gravity, and chemical abundances, by fitting the HST ultraviolet spectrum with synthetic spectral models. We then inferred the system’s formation channel by comparing the results with theoretical evolutionary models. Results. According to our measurements, the accretor’s effective temperature (Teff) is 23 300 ± 600 K and the surface gravity (log g) is 8.4 ± 0.3, which imply an accretor mass (MWD) of 0.86 ± 0.16 M⊙. We find a high nitrogen-to-carbon abundance ratio by mass of > 153. Conclusions. The accretor is significantly hotter than previous estimates based on simplified blackbody fits to the spectral energy distribution, underscoring the importance of detailed spectral modelling for accurately determining system parameters. Our results show that ultraviolet spectroscopy is well suited to constraining the formation channels of AM CVn systems. Of the three proposed formation channels, the He-star channel can be excluded given the high nitrogen-to-carbon ratio. Our results are consistent with both the white dwarf and cataclysmic variable channels.}, author = {Yu, W. and Pala, A. F. and Kupfer, T. and Gänsicke, B. T. and Koester, D. and Belloni, D. and Wong, T. L.S. and Schreiber, M. R. and van Roestel, Joannes C and Brown, A. J. and Waagen, E. O. and González-Carballo, J. L. and Bednarz, S. and Bernacki, K. and De Martino, D. and Fernández Mañanes, E. and González Farfán, R. and Green, M. J. and Groot, P. J. and Hambsch, F. J. and Knigge, C. and Martin-Velasco, J. L. and Morales-Aimar, M. and Myers, G. and Naves Nogues, R. and Poggiani, R. and Popowicz, A. and Ramsay, G. and Reina-Lorenz, E. and Rodríguez-Gil, P. and Salto-González, J. L. and Sion, E. M. and Steeghs, D. and Szkody, P. and Toloza, O. and Tovmassian, G.}, issn = {1432-0746}, journal = {Astronomy and Astrophysics}, publisher = {EDP Sciences}, title = {{The evolutionary history of ultra-compact accreting binaries: I. Chemical abundances and the formation channel of the eclipsing AM CVn system ZTF J225237.05-051917.4 from HST spectroscopy}}, doi = {10.1051/0004-6361/202557568}, volume = {706}, year = {2026}, } @article{21161, abstract = {In many species, sex-biased expression is widespread and thought to contribute to sexual dimorphism. While bulk RNA-sequencing has been instrumental in identifying strongly sex-biased genes, it lacks resolution to assess variation across cell-types and tissue compartments. Using single-nucleus expression data from the Fly Cell Atlas, we investigate sex differences in adult Drosophila melanogaster. We find that differences in cell-type composition between the sexes are not a major source of sex-bias, as for the vast majority of genes, the degree of sex-bias is similar regardless of whether sex differences in cell-type composition are controlled for or not. Our analysis confirms a deficit of X-linked male-biased genes in the body’s somatic tissues that is widespread across cell-types. We also find the excess of X-linked female-biased genes to be associated with nervous system cells in the head but with epithelial cells in the body’s somatic tissues, showing that single-nucleus data crucially resolves sex-bias at the cell-type level. We investigate dosage compensation (DC) across 15 tissues and 17 cell-types. We observe that it varies throughout the body. Surprisingly, we observe a lack of DC in a cluster of main cells within the male accessory glands. This result highlights the importance of understanding context-dependent DC.}, author = {De Castro Barbosa Rodrigues Barata, Carolina and Vicoso, Beatriz}, issn = {1471-2954}, journal = {Proceedings of the Royal Society B Biological Sciences}, number = {2063}, publisher = {Royal Society of London}, title = {{Single-nucleus resolution of sex-biased expression and dosage compensation in Drosophila melanogaster}}, doi = {10.1098/rspb.2025.2471}, volume = {293}, year = {2026}, } @article{21164, abstract = {Global emission inventories often fail to capture the complexities of vehicular pollution in regions with unique fuel mixes, such as Brazil’s extensive biofuel use, leading to significant uncertainties in atmospheric modeling. This study presents a century-long (1960–2100) bottom-up vehicular emission inventory for Brazil, leveraging locally derived emission factors. Our estimates reveal substantial discrepancies in magnitude, timing, and speciation of non-CO2 pollutants (CO, NMHC, PM2.5) compared to leading global inventories (EDGAR, CEDS, CAMS), highlighting critical inaccuracies in widely used data sets. More critically, future projections under Shared Socioeconomic Pathways (SSPs) uncover a novel positive feedback mechanism: rising temperatures significantly enhance vehicular evaporative nonmethane hydrocarbon (NMHC) emissions. This temperature-dependent increase and subsequent NMHC oxidation to CO2 suggest an overlooked pathway that could amplify climate warming and air pollution globally, particularly after a breakpoint around 2050 (p < 0.05). While historical emissions peaked in the 1990s–2000s, nonexhaust PM becomes increasingly important. Air quality simulations using our inventory in the MUSICA model show good regional PM2.5 agreement but highlight challenges in resolving local primary pollutant peaks. This comprehensive inventory provides crucial data for Brazil and uncovers globally relevant climate–chemistry interactions, urging a re-evaluation of regional specificities in global emission assessments.}, author = {Ibarra-Espinosa, Sergio and Dias de Freitas, Edmilson and Gaubert, Benjamin and Lichtig, Pablo and Ropkins, Karl and da Silva, Iara and Martins Pereira, Guilherme and Schuch, Daniel and Nascimento, Janaina and Hoinaski, Leonardo and Martins, Leila Droprinchinski and Gavidia-Calderón, Mario and Vara-Vela, Angel and Toledo de Almeida Albuquerque, Taciana and Ynoue, Rita Yuri and Diez, Sebastian and Mera, Zamir and Casallas Garcia, Alejandro and Vallejo, Fidel and Diaz, Valeria and Pedruzzi, Rizzieri and Abrutzky, Rosana and Franco, Marco A. and Huneeus, Nicolas and Jorquera, Hector and Belalcázar-Cerón, Luis Carlos and Rojas, Néstor Y. and de Fatima Andrade, Maria and Emmons, Louisa and Brasseur, Guy}, issn = {1520-5851}, journal = {Environmental Science & Technology}, publisher = {American Chemical Society}, title = {{A century of vehicular emissions in Brazil: Unveiling the impacts of unique fuel mix on air quality}}, doi = {10.1021/acs.est.5c08400}, year = {2026}, } @unpublished{21212, abstract = {Malignant glioma is incurable. Using a mouse genetic mosaic system to generate sporadic Trp53,Nf1-null OPCs, we previously identified oligodendrocyte precursor cell (OPC) as a cell-of-origin of glioma. Here, we report that pre-malignant Trp53,Nf1-null OPCs outcompete wildtype counterparts during their expansion. Blocking competition by mutating/strengthening wildtype OPCs impeded both pre-malignant progression and malignant expansion of glioma. “In-tissue” phosphoproteomic profiling revealed an enrichment of phosphopeptides related to RNA splicing and protein translation at the peak of cell competition, suggesting that competitiveness may stem from unique protein species. Among candidates was mTORC1, whose pharmacological inhibition or genetic disruption resulted in a loss of competitiveness in our mouse model. Finally, analysis of patient biopsies and interrogating the role of individual gliomagenic mutations in OPC competition supported its relevance in human gliomas. Together, these findings identified the driving role of competitive interactions among OPCs in gliomagenesis, and suggest unconventional therapeutic strategies to target this process.}, author = {Jiang, Ying and Ahn, Ryuhjin and Huang, Arthur and Gonzalez, Phillippe P. and Kim, Jungeun and Zhang, Guoxin and Liu, Zihao and He, Zhenqiang and Dudley, Lindsey and Patel, Kunal S. and Dzhivhuho, Godfrey A. and Crowl, Sam and Przanowski, Piotr and Camacho, Luisa Quesada and Hao, Sijie and Zeng, Jianhao and Hippenmeyer, Simon and Fallahi-Sichani, Mohammad and Janes, Kevin A. and Naegle, Kristen M. and Hammarskjold, Marie-Louise and Goldman, Steven A. and Kornblum, Harley I. and Yao, Maojin and White, Forest and Zong, Hui}, booktitle = {bioRxiv}, title = {{Critical role of cell competition in gliomagenesis}}, doi = {10.64898/2026.01.15.699808}, year = {2026}, } @article{21217, abstract = {This study investigates the mechanisms driving clustered convection and the breakdown of the Intertropical Convergence Zone (ITCZ) over the Western Pacific Warm Pool using high‐resolution cloud‐resolving simulations and machine‐learning sensitivity experiments. Results show that ITCZ breakdown episodes, marked by spatially homogeneous convection and weakened meridional moisture gradients, are triggered primarily by anomalous moisture advection linked to the equatorial Rossby‐wave activity. While large‐scale moisture advection regulates the background convective state strongly, it is the surface and low‐level meridional winds that dominate transitions between clustered and random convection. Simulations demonstrate that moisture alone can sustain convective clustering, but breakdown episodes are more persistent and widespread when coupled with southerly meridional advection. These findings confirm that wave‐driven advection acts as a regulatory mechanism, periodically disrupting convective clustering and reshaping the meridional moisture gradient. This modulation of organization by wave‐induced breakdown events is critical for understanding tropical convection variability and its implications for the climate system.}, author = {Casallas Garcia, Alejandro and Mark Tompkins, Adrian and Muller, Caroline J}, issn = {1477-870X}, journal = {Quarterly Journal of the Royal Meteorological Society}, publisher = {Wiley}, title = {{Moisture and wind effects of Rossby waves on Western Pacific Intertropical Convergence Zone breakdown events}}, doi = {10.1002/qj.70131}, year = {2026}, } @inbook{21230, abstract = {Asteroseismology is the study of the interior physics and structure of stars using their pulsations. It is applicable to stars across the Hertzsprung–Russell (HR) diagram and a powerful technique not only to measure masses, radii, and ages but also directly constrain interior rotation, chemical mixing, and magnetism. This is because a star's self-excited pulsation modes are sensitive to its structure. Asteroseismology generally requires long-duration and high-precision time-series data. The method of forward asteroseismic modeling, which is the statistical comparison of observed pulsation mode frequencies to theoretically predicted pulsation frequencies calculated from a grid of models, provides precise constraints for calibrating various transport phenomena. In this introduction to asteroseismology, we provide an overview of its principles, and the typical data sets and methodologies used to constrain stellar interiors. Finally, we present key highlights of asteroseismic results from across the HR diagram, and conclude with ongoing challenges and future prospects for this ever-expanding field within stellar astrophysics.}, author = {Bowman, Dominic M. and Bugnet, Lisa Annabelle}, booktitle = {Encyclopedia of Astrophysics}, editor = {Mandel, Ilya}, isbn = {9780443214400}, pages = {133--153}, publisher = {Elsevier}, title = {{Asteroseismology}}, doi = {10.1016/b978-0-443-21439-4.00036-5}, volume = {2}, year = {2026}, } @article{21231, abstract = {To assess cell migration in complex spatial environments, microfabricated chips, such as mazes and pillar forests, are routinely used to impose spatial and mechanical constraints, and cell trajectories are followed within these structures by advanced imaging techniques. In systems mechanobiology, computational models serve as essential tools to uncover how physical geometry influences intracellular dynamics; however, decoding such complex behaviors requires advanced inference techniques. Here, we integrated experimental observations of dendritic cell migration in a geometrically constrained microenvironment into a Cellular Potts model. We demonstrated that these spatial constraints modulate the motility dynamics, including speed and directional changes. We show that classical summary statistics, such as mean squared displacement and turning angle distributions, can resolve key mechanistic features but fail to extract richer spatiotemporal patterns, limiting accurate parameter inference. To solve this, we applied neural posterior estimation with in-the-loop learning of summary features. This learned summary representation of the data enables robust and flexible parameter inference, providing a data-driven framework for model calibration and advancing quantitative analysis of cell migration in structured microenvironments.}, author = {Arruda, Jonas and Alamoudi, Emad and Mueller, Robert and Vaisband, Marc and Molkenbur, Ronja and Merrin, Jack and Kiermaier, Eva and Hasenauer, Jan}, issn = {2056-7189}, journal = {npj Systems Biology and Applications}, publisher = {Springer Nature}, title = {{Simulation-based inference of cell migration dynamics in complex spatial environments}}, doi = {10.1038/s41540-026-00648-9}, volume = {12}, year = {2026}, } @article{21233, abstract = {Potential self-perpetuating dieback of the Amazon rain forest has been a topic of concern. The concern is that initial deforestation could critically impair the forest’s water recycling capacities, further harming the remaining forest through reduced annual precipitation. Many studies have focused on annual mean precipitation changes, due to its widespread perception as a central control on the Amazon rain forest’s stability. However, the impact of deforestation goes beyond changes in the annual mean precipitation. Yet, global coarse-resolution climate models are not well suited to investigate changes in short-duration and localized events due to their coarse resolution. Here, we circumvent these issues by analyzing a full-deforestation scenario simulated by a global storm-resolving model. We focus on changes in the tail of the hourly distribution of precipitation, temperature, and wind. Hourly precipitation becomes more extreme in the absence of the forest than in an intact forest, with an increased occurrence of both no rain and intense rainfall. These changes are driven by enhanced moisture convergence that strengthens vertical velocity. On average, the near-surface temperature rises significantly by about 3.84 °C, and the daily minimum temperature after deforestation becomes similar to the daily maximum temperature before deforestation. Except for wet-bulb temperature, human heat stress indicators shift to more severe levels, with implications for health and a significant reduction in work productivity. Finally, the mean 10 m wind speed intensifies by a factor of four, with the 99th percentile wind speed doubling. To summarize, our findings, while based on an idealized case, provide a stark warning of the effects of continuing deforestation of the Amazon.}, author = {Yoon, Arim and Hohenegger, Cathy and Bao, Jiawei and Brunner, Lukas}, issn = {2190-4987}, journal = {Earth System Dynamics}, number = {1}, pages = {167--179}, publisher = {Copernicus GmbH}, title = {{Extreme events in the Amazon after deforestation}}, doi = {10.5194/esd-17-167-2026}, volume = {17}, year = {2026}, } @article{21234, abstract = {In aged humans and mice, hypobranched glycogen aggregates, known as polyglucosan bodies (PGBs), accumulate in hippocampal astrocytes. While PGBs are linked to cognitive decline in neurological diseases, they remain largely unstudied in the context of typical aging. We show that PGBs arise in autophagy-dysregulated astrocytes in the aged hippocampus, with substantial variation among 32 inbred BXD mouse strains. Genetic mapping through quantitative trait locus analysis identified a major locus (Pgb1) that modulates hippocampal PGB burden. Extensive transcriptomic and proteomic datasets were produced for the aged hippocampus of the BXD family to investigate the mechanism by which the Pgb1 locus modulates PGB burden. We identified that Pgb1 contains allelic Smarcal1 and Usp37 variants and influences PGB burden through trans-regulation of mRNA and protein expression levels, including abundance of glycogen-mobilizing factor PYGB. Furthermore, comprehensive phenome-wide association scans, transcriptomic analyses, and direct behavioral testing demonstrated that cognition remains intact despite age-related PGB burden. A record of this paper’s transparent peer review process is included in the supplemental information.}, author = {Gómez-Pascual, Alicia and Glikman, Dow M and Ng, Hui Xin and Tomkins, James E. and Lu, Lu and Xu, Ying and Ashbrook, David G. and Kaczorowski, Catherine and Kempermann, Gerd and Killmar, John and Mozhui, Khyobeni and Ohlenschläger, Oliver and Aebersold, Rudolf and Ingram, Donald K. and Williams, Evan G. and Jucker, Mathias and Overall, Rupert W. and Williams, Robert W. and de Bakker, Dennis E.M.}, issn = {2405-4712}, journal = {Cell Systems}, number = {2}, publisher = {Elsevier}, title = {{The Smarcal1-Usp37 locus modulates glycogen aggregation in astrocytes of the aged hippocampus}}, doi = {10.1016/j.cels.2025.101488}, volume = {17}, year = {2026}, } @article{21242, abstract = {We obtain an asymptotic formula for the number of integral solutions to a system of diagonal equations. We obtain an asymptotic formula for the number of solutions with variables restricted to smooth numbers as well. We improve the required number of variables compared to previous results by incorporating recent progress on Waring’s problem and the resolution of the main conjecture in Vinogradov’s mean value theorem.}, author = {Rome, Nick and Yamagishi, Shuntaro}, issn = {1945-5844}, journal = {Pacific Journal of Mathematics}, number = {1}, pages = {179--198}, publisher = {Mathematical Sciences Publishers}, title = {{Integral solutions to systems of diagonal equations}}, doi = {10.2140/pjm.2026.340.179}, volume = {340}, year = {2026}, } @article{21273, abstract = {In this paper we examine how porosity fluctuations affect the hydrodynamic permeability of a porous matrix or membrane. We introduce a fluctuating Darcy model, which couples the Navier-Stokes equation to the space- and time-dependent porosity fluctuations via a Darcy friction term. Using a perturbative approach, a Dyson equation for hydrodynamic fluctuations is derived and solved to express the permeability in terms of the matrix fluctuation spectrum. Surprisingly, the model reveals strong modifications of the fluid permeability in fluctuating matrices compared to static ones. Applications to various matrix excitation models, the breathing matrix, phonons, and active forcing, highlight the significant influence of matrix fluctuations on fluid transport, offering insights for optimizing membrane design for separation applications.}, author = {Dombret, Albert and Sutter, Adrien and Coquinot, Baptiste and Kavokine, Nikita and Coasne, Benoit and Bocquet, Lydéric}, issn = {2469-990X}, journal = {Physical Review Fluids}, number = {1}, publisher = {American Physical Society}, title = {{Hydrodynamic permeability of fluctuating porous membranes}}, doi = {10.1103/m8h6-1wfk}, volume = {11}, year = {2026}, } @article{21275, abstract = {DNA methylation is a primary layer of epigenetic modification that plays a pivotal role in the regulation of development, aging, and cancer. The concurrent activity of opposing enzymes that mediate DNA methylation and demethylation gives rise to a biochemical cycle and active turnover of DNA methylation. While the ensuing biochemical oscillations have been implicated in the regulation of cell differentiation, their functional role and spatiotemporal dynamics are unknown. In this work, we demonstrate that chromatin-mediated coupling between these local biochemical cycles can lead to the emergence of phase-locked domains, regions of locally synchronized turnover activity, whose coarsening is arrested by genomic heterogeneity. We introduce a minimal model based on stochastic oscillators with constrained long-range and nonreciprocal interactions, shaped by the local chromatin organization. Through a combination of analytical theory and stochastic simulations, we predict both the degree of synchronization and the typical size of emergent phase-locked domains. We qualitatively test these predictions using single-cell sequencing data. Our results show that DNA methylation turnover exhibits surprisingly rich spatiotemporal patterns that may be used by cells to control cell differentiation.}, author = {Olmeda, Fabrizio and Gupta, Misha and Bektas, Onurcan and Rulands, Steffen}, issn = {2835-8279}, journal = {PRX Life}, publisher = {American Physical Society}, title = {{Spatiotemporal patterns of active epigenetic turnover}}, doi = {10.1103/89bj-79g5}, volume = {4}, year = {2026}, } @article{21282, abstract = {Developmental patterning comprises processes that range from purely instructed, where external signals specify cell fates, to fully self-organized, where spatial patterns emerge autonomously through cellular interactions. We propose that both extremes—as well as the continuum of intermediate cases—can be conceptualized as information-processing systems, whose operation can be described using “Marr's three levels of analysis”: the computational problem being solved, the algorithms employed, and their molecular implementation. At the first level, we argue that normative theories, such as information-theoretic optimization principles, provide a formalization of the computational problem. At the second level, we show how simplified information-processing architectures provide a framework for developmental algorithms, which are formalized mathematically using dynamical systems theory. At the third level, the implementation of developmental algorithms is described by mechanistic biophysical and gene regulatory network models.}, author = {Brückner, David and Tkačik, Gašper}, issn = {2835-8279}, journal = {PRX Life}, publisher = {American Physical Society}, title = {{Marr's three levels for embryonic development: Information, dynamical systems, gene networks}}, doi = {10.1103/fdcf-dkws}, volume = {4}, year = {2026}, } @unpublished{21290, abstract = {Gene duplication underlies evolutionary innovation, yet many paralogues remain highly similar, raising questions about their functional divergence and physiological relevance. The spliceosomal Sm core protein SNRPB and its mammalian-specific paralogue SNRPN share over 90% sequence identity, but their distinct expression patterns - SNRPB being ubiquitous and SNRPN confined to the brain - suggest specialized functions. Why mammals have two different spliceosomes has remained obscure. Here, we generated isogenic human cell lines expressing ectopically either SNRPB or SNRPN exclusively and found that SNRPN stabilizes transcripts involved in energy metabolism and mitochondrial function, leading to increased mitochondrial abundance and oxygen consumption. Despite similar spliceosomal interactomes, SNRPN more strongly associates with the PRMT5 methylosome complex and exhibits dynamic arginine methylation in its C-terminal region that is sensitive to translation inhibition and amino acid availability. The SNRPN-dependent transcriptome responds to translation inhibition by stabilizing long, intron-rich genes involved in amino acid and energy metabolism. Our findings reveal a nutrient-sensitive, methylation-dependent mechanism that differentiates the two paralogues. This suggests that SNRPN functions as a metabolic-specialized spliceosomal subunit thereby providing tissue-specific adaptation of RNA processing in mammals.}, author = {Polat Haas, Feyza and Villalba Requena, Ana and Rusina, Polina and Gopalan, Anusha and Fritz, Hector and Akhmetkaliyev, Azamat and Ruehle, Frank and Einsiedel, Anna and Szczepinska, Anna and Kielisch, Fridolin and Chen, Jia-Xuan and Nguyen, Susanne and Schmidlin, Thierry and Hippenmeyer, Simon and Bailicata, M. Felicia and Keller Valsecchi, Claudia Isabelle}, booktitle = {bioRxiv}, title = {{The splicing paralogues SNRPB and SNRPN control differential metabolic states.}}, doi = {10.64898/2026.02.11.705284}, year = {2026}, }