@unpublished{21309,
  abstract     = {The polarization of light is a critically under-utilized, rich source of information in astronomy. For stars in particular, surface magnetism polarization that can be detected and measured with spectro-polarimetry. Many questions about these surface fields remain unanswered due to a lack of dedicated instruments capable of probing weak and strong surface magnetic fields for the entire mass range of stars, from M-dwarfs (and even substellar objects) to massive O-type stars at different evolutionary stages and metallicities. These questions range from the origin of these fields to their true incidence rate throughout the stellar population and the dependence on metallicity. Magnetic fields, although currently often excluded from stellar evolution models, play an important role in stellar evolution. Connecting the surface fields to internal fields through asteroseismology will instigate a new era of understanding stellar evolution and the transport of angular momentum and chemical elements throughout stellar interiors, also impacting our understanding of star-planet interactions and stellar remnants. Polarimetry is also an under-utilized tool to observationally constrain the mode identification of nonradial oscillations, which lies at the basis of accurate asteroseismic parameter estimation at percentage-level for stellar radii, masses, ages, internal rotation, and magnetic field strengths. Combining strong constraints on mode identification and surface magnetic properties through the acquisition of time-resolved, high-resolution and high-signal-to-noise (S/N) spectro-polarimetry and spectroscopy promises to bring leaps forward in our understanding of stellar structure, particularly when combined with long-term space photometric data from past, current, and future missions.},
  author       = {Vandersnickt, J. and Armenta, R. Ochoa and Vanlaer, V. and A. David-Uraz, A. David-Uraz and Aerts, C. and Das, S. B. and Bouret, J. -C. and Bowman, D. M. and Bugnet, Lisa Annabelle and Khalack, V. and J. Labadie-Bartz, J. Labadie-Bartz and Mathis, S. and Nazé, Y. and Neiner, C. and Petit, P. and Petit, V. and K. Thomson-Paressant, K. Thomson-Paressant and Doorsselaere, T. Van and Vanrespaille, M.},
  booktitle    = {arXiv},
  title        = {{Expanding stellar horizons with polarized light}},
  doi          = {10.48550/arXiv.2512.15170},
  year         = {2025},
}

@article{21317,
  abstract     = {Accreting white dwarfs (WDs) in close binary systems, commonly known as cataclysmic variables (CVs), with orbital periods below the canonical period minimum (≈80 minutes) are rare. Such short periods can only be reached if the donor star in the CV is either significantly evolved before initiating mass transfer to the WD or is metal-poor. We present optical photometry and spectroscopy of Gaia19bxc, a high-amplitude variable identified as a polar CV with an exceptionally short orbital period of 64.42 minutes—well below the canonical CV period minimum. High-speed photometry confirms persistent double-peaked variability consistent with cyclotron beaming, thus indicating the presence of a magnetic WD. Phase-resolved Keck/Low-Resolution Imaging Spectrometer (LRIS) spectroscopy reveals strong hydrogen and helium emission lines but no donor features, indicating the accretor is a magnetic WD and the donor is hydrogen-rich, but cold and faint. The absence of a detectable donor and the low inferred temperature (≲3500 K) disfavor an evolved donor scenario. Instead, the short period and the system’s halo-like kinematics suggest Gaia19bxc may be the first known metal-poor polar. Because metal-poor donors are more compact than solar-metallicity donors of the same mass, they can reach shorter minimum periods. Gaia19bxc is one of only a handful of known metal-poor CVs below the canonical period minimum and has the shortest period of any such magnetic system discovered to date.},
  author       = {Galiullin, Ilkham and Rodriguez, Antonio C. and El-Badry, Kareem and Caiazzo, Ilaria and Szkody, Paula and Nagarajan, Pranav and Whitebook, Samuel},
  issn         = {2041-8213},
  journal      = {The Astrophysical Journal Letters},
  number       = {2},
  publisher    = {IOP Publishing},
  title        = {{Optical spectroscopy of the most compact accreting binary harboring a magnetic White Dwarf and a hydrogen-rich donor}},
  doi          = {10.3847/2041-8213/adff82},
  volume       = {990},
  year         = {2025},
}

@article{21318,
  abstract     = {Matter waves have been observed in double-slit experiments with microscopic objects, such as atoms or molecules. The wave function describing the motion of these objects must extend over a distance comparable to the slit separation, much larger than the characteristic size of the objects. Preparing such states for more massive objects, such as mechanical oscillators, remains an outstanding challenge. Here we delocalize the quantum ground state of an optically levitated nanosphere by modulating the stiffness of the confining potential. We show a more than threefold increase of the initial coherence length, which corresponds to mechanical momentum squeezing of more than 7 dB. Our work is a stepping stone toward the generation of coherence lengths comparable to the object size, a crucial regime for macroscopic quantum experiments.},
  author       = {Rossi, M. and Militaru, Andrei and Carlon Zambon, N. and Riera-Campeny, A. and Romero-Isart, O. and Frimmer, M. and Novotny, L.},
  issn         = {1079-7114},
  journal      = {Physical Review Letters},
  number       = {8},
  publisher    = {American Physical Society},
  title        = {{Quantum delocalization of a levitated nanoparticle}},
  doi          = {10.1103/2yzc-fsm3},
  volume       = {135},
  year         = {2025},
}

@article{21321,
  abstract     = {The development of cost-effective and high-performance thermoelectric (TE) materials faces significant challenges, particularly in improving the properties of promising copper-based TE materials such as Cu3SbSe4, which are limited by their poor electrical conductivity. This study presents a detailed comparative analysis of three strategies to promote the electrical transport properties of Cu3SbSe4 through Sn doping: conventional Sn atomic doping, surface treatment with SnSe molecular complexes, and blending with SnSe nanocrystals to form nanocomposites, all followed by annealing and hot pressing under identical conditions. Our results reveal that a surface treatment using SnSe molecular complexes significantly enhances TE performance over atomic doping and nanocomposite formation, achieving a power factor of 1.1 mW·m−1·K−2 and a maximum dimensionless figure of merit zT value of 0.80 at 640 K, representing an excellent performance among Cu3SbSe4-based materials produced via solution-processing methods. This work highlights the effectiveness of surface engineering in optimizing the transport properties of nanostructured materials, demonstrating the versatility and cost-efficiency of solution-based technologies in the development of advanced nanostructured materials for application in the field of TE among others.},
  author       = {Xiao, Shanshan and Zhao, Mingjun and Li, Mingquan and Wan, Shanhong and Genç, Aziz and Huang, Lulu and Chen, Lei and Zhang, Yu and Ibáñez, Maria and Lim, Khak Ho and Hong, Min and Liu, Yu and Cabot, Andreu},
  issn         = {1998-0000},
  journal      = {Nano Research},
  number       = {1},
  publisher    = {Tsinghua University Press},
  title        = {{Band and defect engineering in solution-processed nanocrystal building blocks to promote transport properties in nanomaterials: The case of thermoelectric Cu            <sub>3</sub>SbSe            <sub>4</sub>}},
  doi          = {10.26599/nr.2025.94907072},
  volume       = {18},
  year         = {2025},
}

@article{21322,
  abstract     = {Habitat fragmentation poses a significant risk to population survival, causing both demographic stochasticity and genetic drift within local populations to increase, thereby increasing genetic load. Higher load causes population numbers to decline, which reduces the efficiency of selection and further increases load, resulting in a positive feedback that may drive entire populations to extinction. Here, we investigate this eco-evolutionary feedback in a metapopulation consisting of local demes connected via migration, with individuals subject to deleterious mutation at a large number of loci. We first analyze the determinants of load under soft selection, where population sizes are fixed, and then build on this to understand hard selection, where population sizes and load coevolve. We show that under soft selection, very little gene flow (less than one migrant per generation) is enough to prevent fixation of deleterious alleles. By contrast, much higher levels of migration are required to mitigate load and prevent extinction when selection is hard, with critical migration thresholds for metapopulation persistence increasing sharply as the genome-wide deleterious mutation rate becomes comparable to the baseline population growth rate. Moreover, critical migration thresholds are highest if deleterious mutations have intermediate selection coefficients but lower if alleles are predominantly recessive rather than additive (due to more efficient purging of recessive load within local populations). Our analysis is based on a combination of analytical approximations and simulations, allowing for a more comprehensive understanding of the factors influencing load and extinction in fragmented populations.},
  author       = {Olusanya, Oluwafunmilola O and Khudiakova, Kseniia and Sachdeva, Himani},
  issn         = {1537-5323},
  journal      = {The American Naturalist},
  number       = {6},
  pages        = {617--636},
  publisher    = {University of Chicago Press},
  title        = {{Genetic load, eco-evolutionary feedback, and extinction in metapopulations}},
  doi          = {10.1086/735562},
  volume       = {205},
  year         = {2025},
}

@inproceedings{21323,
  abstract     = {We present a unifying framework for proving the knowledge-soundness of KZG-like polynomial commitment schemes, encompassing both univariate and multivariate variants. By conceptualizing the proof technique of Lipmaa, Parisella, and Siim for the univariate KZG scheme (EUROCRYPT 2024), we present tools and falsifiable hardness assumptions that permit black-box extraction of the multivariate KZG scheme. Central to our approach is the notion of a canonical Proof-of-Knowledge of a Polynomial (PoKoP) of a polynomial commitment scheme, which we use to capture the extractability notion required in constructions of practical zk-SNARKs. We further present an explicit polynomial decomposition lemma for multivariate polynomials, enabling a more direct analysis of interpolating extractors and bridging the gap between univariate and multivariate commitments. Our results provide the first standard-model proofs of extractability for the multivariate KZG scheme and many of its variants under falsifiable assumptions.},
  author       = {Belohorec, Juraj and Dvořák, Pavel and Hoffmann, Charlotte and Hubáček, Pavel and Mašková, Kristýna and Pastyřík, Martin},
  booktitle    = {45th Annual International Cryptology Conference},
  isbn         = {9783032018861},
  issn         = {1611-3349},
  location     = {Santa Barbara, CA, United States},
  pages        = {584--616},
  publisher    = {Springer Nature},
  title        = {{On extractability of the KZG family of polynomial commitment schemes}},
  doi          = {10.1007/978-3-032-01887-8_19},
  volume       = {16005},
  year         = {2025},
}

@inproceedings{21325,
  abstract     = {Test-time training (TTT) methods explicitly update the weights of a model to adapt to the specific test instance, and they have found success in a variety of settings, including most recently language modeling and reasoning. To demystify this success, we investigate a gradient-based TTT algorithm for in-context learning, where we train a transformer model on the in-context demonstrations provided in the test prompt. Specifically, we provide a comprehensive theoretical characterization of linear transformers when the update rule is a single gradient step. Our theory (i) delineates the role of alignment between pretraining distribution and target task, (ii) demystifies how TTT can alleviate distribution shift, and (iii) quantifies the sample complexity of TTT including how it can significantly reduce the eventual sample size required for in-context learning. As our empirical contribution, we study the benefits of TTT for TabPFN, a tabular foundation model. In line with our theory, we demonstrate that TTT significantly reduces the required sample size for tabular classification (3 to 5 times fewer) unlocking substantial inference efficiency with a negligible training cost.},
  author       = {Gozeten, Halil Alperen and Ildiz, Muhammed Emrullah and Zhang, Xuechen and Soltanolkotabi, Mahdi and Mondelli, Marco and Oymak, Samet},
  booktitle    = {Proceedings of the 42nd International Conference on Machine Learning},
  issn         = {2640-3498},
  location     = {Vancouver, Canada},
  pages        = {20266--20295},
  publisher    = {ML Research Press},
  title        = {{Test-time training provably improves transformers as in-context learners}},
  volume       = {267},
  year         = {2025},
}

@inproceedings{21327,
  abstract     = {Proteins exist as a dynamic ensemble of multiple conformations, and these motions are often crucial for their functions. However, current structure prediction methods predominantly yield a single conformation, overlooking the conformational heterogeneity revealed by diverse experimental modalities. Here, we present a framework for building experiment-grounded protein structure generative models that infer conformational ensembles consistent with measured experimental data. The key idea is to treat stateof-the-art protein structure predictors (e.g., AlphaFold3) as sequence-conditioned structural priors, and cast ensemble modeling as posterior inference of protein structures given experimental measurements. Through extensive real-data experiments, we demonstrate the generality of our method to incorporate a variety of experimental measurements. In particular, our framework uncovers previously unmodeled conformational heterogeneity from crystallographic densities, and generates high-accuracy NMR ensembles orders of magnitude faster than the status quo. Notably, we demonstrate that our ensembles outperform AlphaFold3 (Abramson et al., 2024) and sometimes better fit experimental data than publicly deposited structures to the Protein Data Bank (PDB, Burley et al. (2017)). We believe that this approach will unlock building predictive models that fully embrace experimentally observed conformational diversity.},
  author       = {Maddipatla, Sai A and Sellam, Nadav E and Bojan, Meital I and Vedula, Sanketh and Schanda, Paul and Marx, Ailie and Bronstein, Alexander},
  booktitle    = {Proceedings of the 42nd International Conference on Machine Learning},
  issn         = {2640-3498},
  location     = {Vancouver, Canada},
  pages        = {42366 -- 42393},
  publisher    = {ML Research Press},
  title        = {{Inverse problems with experiment-guided AlphaFold}},
  volume       = {267},
  year         = {2025},
}

@inproceedings{21328,
  abstract     = {Multi-index models provide a popular framework to investigate the learnability of functions with low-dimensional structure and, also due to their connections with neural networks, they have been object of recent intensive study. In this paper, we focus on recovering the subspace spanned by the signals via spectral estimators – a family of methods routinely used in practice, often as a warm-start for iterative algorithms. Our main technical contribution is a precise asymptotic characterization of the performance of spectral methods, when sample size and input dimension grow proportionally and the dimension p of the space to recover is fixed. Specifically, we locate the top-p eigenvalues of the spectral matrix and establish the overlaps between the corresponding eigenvectors (which give the spectral estimators) and a basis of the signal subspace. Our analysis unveils a phase transition phenomenon in which, as the sample complexity grows, eigenvalues escape from the bulk of the spectrum and, when that happens, eigenvectors recover directions of the desired subspace. The precise characterization we put forward enables the optimization of the data preprocessing, thus allowing to identify the spectral estimator that requires the minimal sample size for weak recovery.},
  author       = {Kovačević, Filip and Yihan, Zhang and Mondelli, Marco},
  booktitle    = {Proceedings of 38th Conference on Learning Theory},
  issn         = {2640-3498},
  location     = {Lyon, France},
  pages        = {3354--3404},
  publisher    = {ML Research Press},
  title        = {{Spectral estimators for multi-index models: Precise asymptotics and optimal weak recovery}},
  volume       = {291},
  year         = {2025},
}

@article{21413,
  abstract     = {We present a general framework for applying learning algorithms and heuristical guidance to the verification of Markov decision processes (MDPs).
The primary goal of our techniques is to improve performance by avoiding an exhaustive exploration of the state space, instead focussing on particularly relevant areas of the system, guided by heuristics. Our work builds on the previous results of Br{á}zdil et al., significantly extending it as well as refining several details and fixing errors.
The presented framework focuses on probabilistic reachability, which is a core problem in verification, and is instantiated in two distinct scenarios.
The first assumes that full knowledge of the MDP is available, in particular precise transition probabilities. It performs a heuristic-driven partial exploration of the model, yielding precise lower and upper bounds on the required probability. The second tackles the case where we may only sample the MDP without knowing the exact transition dynamics. Here, we obtain probabilistic guarantees, again in terms of both the lower and upper bounds, which provides efficient stopping criteria for the approximation. In particular, the latter is an extension of statistical model-checking (SMC) for unbounded properties in MDPs. In contrast to other related approaches, we do not restrict our attention to time-bounded (finite-horizon) or discounted properties, nor assume any particular structural properties of the MDP.},
  author       = {Brázdil, Tomáš and Chatterjee, Krishnendu and Chmelik, Martin and Forejt, Vojtěch and Kretinsky, Jan and Kwiatkowska, Marta and Meggendorfer, Tobias and Parker, David and Ujma, Mateusz},
  issn         = {2751-4838},
  journal      = {TheoretiCS},
  publisher    = {TheoretiCS Foundation},
  title        = {{Learning algorithms for verification of Markov decision processes}},
  doi          = {10.46298/theoretics.25.10},
  volume       = {4},
  year         = {2025},
}

@unpublished{21435,
  abstract     = {Multiferroic materials, in which electric polarization and magnetic order coexist and couple, offer rich opportunities for both fundamental discovery and technology. However, multiferroicity remains rare due to conflicting electronic requirements for ferroelectricity and magnetism. One route to circumvent this challenge is to exploit the noncollinear ordering of spin cycloids, whose symmetry permits the emergence of polar order. In this work, we introduce another pathway to multiferroic order in which strain generates polarization in materials that host nonpolar spin spirals. To demonstrate this phenomenon, we chose the spin spiral in the well-studied helimagnet Cr1/3NbS2. To detect the induced polarization, we introduce the technique of magnetoelectric birefringence (MEB), an optical probe that enables spatially-resolved and unambiguous detection of polar order. By combining MEB imaging with strain engineering, we confirm the onset of a polar vector at the magnetic transition, establishing strained Cr1/3NbS2 as a type-II multiferroic.},
  author       = {Sun, Y. and Ahn, Y. and Sapkota, D. and Arachchige, H. S. and Xue, R. and Mozaffari, S. and Mandrus, D. G. and Zhao, L. and Orenstein, J. and Sunko, Veronika},
  booktitle    = {arXiv},
  title        = {{Strain-induced multiferroicity in Cr1/3NbS2}},
  doi          = {10.48550/arXiv.2510.11619},
  year         = {2025},
}

@inproceedings{21474,
  abstract     = {Rendering novel, relit views of a human head, given a monocular portrait image as input, is an inherently underconstrained problem. The traditional graphics solution is to explicitly decompose the input image into geometry, material and lighting via differentiable rendering; but this is constrained by the multiple assumptions and approximations of the underlying models and parameterizations of these scene components. We propose 3DPR, an image-based relighting model that leverages generative priors learnt from multi-view One-Light-at-A-Time (OLAT) images captured in a light stage. We introduce a new diverse and large-scale multi-view 4K OLAT dataset of 139 subjects to learn a high-quality prior over the distribution of high-frequency face reflectance. We leverage the latent space of a pre-trained generative head model that provides a rich prior over face geometry learnt from in-the-wild image datasets. The input portrait is first embedded in the latent manifold of such a model through an encoder-based inversion process. Then a novel triplane-based reflectance network trained on our lightstage data is used to synthesize high-fidelity OLAT images to enable image-based relighting. Our reflectance network operates in the latent space of the generative head model, crucially enabling a relatively small number of lightstage images to train the reflectance model. Combining the generated OLATs according to a given HDRI environment maps yields physically accurate environmental relighting results. Through quantitative and qualitative evaluations, we demonstrate that 3DPR outperforms previous methods, particularly in preserving identity and in capturing lighting effects such as specularities, self-shadows, and subsurface scattering.},
  author       = {Rao, Pramod and Meka, Abhimitra and Zhou, Xilong and Fox, Gereon and Mallikarjun, B. R. and Zhan, Fangneng and Weyrich, Tim and Bickel, Bernd and Pfister, Hanspeter and Matusik, Wojciech and Beeler, Thabo and Elgharib, Mohamed and Habermann, Marc and Theobalt, Christian},
  booktitle    = {Proceedings SIGGRAPH Asia 2025 Conference Papers 2025},
  isbn         = {9798400721373},
  location     = {Hong Kong, Hong Kong},
  publisher    = {Association for Computing Machinery},
  title        = {{3DPR: Single image 3D portrait relighting with generative priors}},
  doi          = {10.1145/3757377.3763962},
  year         = {2025},
}

@misc{21668,
  abstract     = {This artifact allows to review and reproduce the experiments from the paper *A Revised Practitioner's Guide to MDP Model Checking Algorithms*.
The package contains all original logfiles and derived data used to generate the plots as in the paper. Furthermore, the artifact contains the model checking tools `Storm` and `mcsta` in the version exercised in the paper, the used Docker container, as well as benchmark instances and execution scripts to reproduce the experiments.

See also the artifact of the conference paper: https://zenodo.org/records/7509474},
  author       = {Hartmanns, Arnd and Junges, Sebastian and Quatmann, Tim and Weininger, Maximilian},
  publisher    = {Zenodo},
  title        = {{Benchmark data for the revised practitioner's guide to MDP model checking algorithms}},
  doi          = {10.5281/ZENODO.14500423},
  year         = {2025},
}

@article{21706,
  abstract     = {Consider a quadratic polynomial Q(ξ1, . . . , ξn) of independent Rademacher random variables ξ1, . . . , ξn. To what extent can Q(ξ1, . . . , ξn) concentrate on a single value? This quadratic version of the classical Littlewood–Offord problem was popularised by Costello, Tao and Vu in their study of symmetric random matrices. In this paper, we obtain an essentially optimal bound for this problem, as conjectured by Nguyen and Vu. Specifically, if Q(ξ1, . . . , ξn) ‘robustly depends on at least m of the ξi’ in the sense that there is no way to pin down the value of Q(ξ1, . . . , ξn) by fixing values for fewer than m of the variables ξi, then we have Pr[Q(ξ1, . . . , ξn) = 0] ≤ O(1/√m). This also implies a similar result in the case where ξ1, . . . , ξn have arbitrary distributions. Our proof combines a number of ideas that may be of independent interest, including an inductive decoupling scheme that reduces quadratic anticoncentration problems
to high-dimensional linear anticoncentration problems. Also, one application of our main result is the resolution of a conjecture of Alon, Hefetz, Krivelevich and Tyomkyn related to graph inducibility. },
  author       = {Kwan, Matthew Alan and Sauermann, Lisa},
  issn         = {1570-5846},
  journal      = {Compositio Mathematica},
  number       = {12},
  pages        = {3089--3139},
  publisher    = {Cambridge University Press},
  title        = {{Resolution of the quadratic Littlewood–Offord problem}},
  doi          = {10.1112/S0010437X25102789},
  volume       = {161},
  year         = {2025},
}

@article{21724,
  abstract     = {The next generation of weak-gravitational-lensing surveys has the potential to place stringent constraints on cosmological parameters. However, their analysis is limited by systematics such as the intrinsic alignments of galaxies, which alter weak-lensing convergence and can lead to biases in cosmological parameter estimations. For the first time, in this work, we investigate the impact of intrinsic alignments on non-Gaussian statistics of the weak-lensing field using galaxy shapes derived from the IllustrisTNG hydrodynamical simulation. We create two catalogs of ray-traced convergence maps: one that includes the measured intrinsic shape of each galaxy and another where all galaxies are randomly rotated to eliminate intrinsic alignments. We compare a range of weak-lensing statistics between the two catalogs, including the shear–shear correlation function, the map-level angular power spectrum, one-point, peak count, and minimum distribution functions, and Minkowski functionals. For each statistic, we assess the level of statistical distinguishability between catalogs for a set of future survey angular areas. Our results reveal strong small-scale correlation in the alignment of galaxies and statistically significant boosts in weak-lensing convergence in both positive and negative directions for high-significance peaks and minima, respectively. We note that our analysis is at a fixed number density of  ˜ 5 arcmin^-2, drawn from a single realization of initial conditions, and does not include observational uncertainties or supersample covariance contributions. Weak-lensing analyses utilizing non-Gaussian statistics must account for intrinsic alignments to avoid significantly compromised cosmological inferences.},
  author       = {Lee, Max E. and Haiman, Zoltán and Pandey, Shivam and Genel, Shy},
  issn         = {1538-4357},
  journal      = {The Astrophysical Journal},
  number       = {1},
  publisher    = {IOP Publishing},
  title        = {{The effect of intrinsic alignments on weak-lensing statistics in hydrodynamical simulations}},
  doi          = {10.3847/1538-4357/ae1ca7},
  volume       = {996},
  year         = {2025},
}

@article{21727,
  abstract     = {We present a comprehensive analysis of the MIRI Extremely Red Object Virgil, a Lyα emitter at zspec = 6.6379 ± 0.0035 with the photometric properties of a Little Red Dot. Leveraging new JWST/MIRI imaging from the MIDIS and PAHSPECS programs, we confirm Virgil’s extraordinary nature among galaxies in JADES/GOODS-South, exhibiting a strikingly red NIRCam-to-MIRI color (F444W–F1500W = 2.84 ± 0.04 mag). Deep NIRSpec/PRISM spectroscopy from the OASIS program offers key insights into the host galaxy, revealing properties of an average star-forming galaxy during Cosmic Reionization, such as a subsolar metallicity, low-to-moderate dust content, and a relatively high ionization parameter and electron temperature. By estimating the star formation rate of Virgil from UV and Hα, we find evidence that the galaxy is either entering or fading out of a bursty episode. Although line-ratio diagnostics employed at high z would classify Virgil as an active galactic nucleus (AGN), this classification becomes ambiguous once redshift evolution is considered. Nonetheless, Virgil occupies the same parameter space as recently confirmed AGNs at similar redshifts. The new deep MIRI data at 15 μm reinforce the AGN nature of Virgil, as inferred from multiple spectral energy distribution (SED) fitting codes. Virgil’s rising infrared SED and UV excess resemble those of Dust-Obscured Galaxies (DOGs) studied with Spitzer at Cosmic Noon, particularly blue-excess HotDOGs. Our results highlight the need for a multiwavelength approach incorporating MIRI to uncover such extreme sources at z ≳ 6 and to shed light on the interplay between galaxy evolution and early black hole growth during Cosmic Reionization.},
  author       = {Rinaldi, Pierluigi and Pérez-González, Pablo G. and Rieke, George H. and Lyu, Jianwei and D’Eugenio, Francesco and Wu, Zihao and Carniani, Stefano and Looser, Tobias J. and Shivaei, Irene and Boogaard, Leindert A. and Diaz-Santos, Tanio and Colina, Luis and Östlin, Göran and Alberts, Stacey and Álvarez-Márquez, Javier and Annuziatella, Marianna and Aravena, Manuel and Bhatawdekar, Rachana and Bunker, Andrew J. and Caputi, Karina I. and Charlot, Stéphane and Crespo Gómez, Alejandro and Curti, Mirko and Eckart, Andreas and Gillman, Steven and Hainline, Kevin and Kumari, Nimisha and Hjorth, Jens and Iani, Edoardo and Inami, Hanae and Ji, Zhiyuan and Johnson, Benjamin D. and Jones, Gareth C. and Labiano, Álvaro and Maiolino, Roberto and Melinder, Jens and Moutard, Thibaud and Peissker, Florian and Rieke, Marcia and Robertson, Brant and Scholtz, Jan and Tacchella, Sandro and Van Der Werf, Paul P. and Walter, Fabian and Williams, Christina C. and Willott, Chris and Witstok, Joris and Übler, Hannah and Zhu, Yongda},
  issn         = {1538-4357},
  journal      = {The Astrophysical Journal},
  number       = {1},
  publisher    = {IOP Publishing},
  title        = {{Deciphering the nature of Virgil: An obscured active galactic nucleus lurking within an apparently normal Lyα emitter during cosmic reionization}},
  doi          = {10.3847/1538-4357/ae089c},
  volume       = {994},
  year         = {2025},
}

@inproceedings{21885,
  abstract     = {Symbolic datatypes have proved to be central for automated reasoning about dynamical systems. In its basic form, a symbolic datatype for a class of dynamical systems supports the representation of state and transition sets, boolean operations and emptiness checks on such sets, and the transformation of a state set by a transition set. Successful examples of symbolic datatypes include BDDs and SAT for reasoning about finitestate systems, as well as polyhedra and SMT for reasoning about discrete dynamical systems over multidimensional realvalued state spaces. Most automated verification engines are based on such symbolic datatypes.},
  author       = {Henzinger, Thomas A},
  booktitle    = {Proceedings of the 27th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing},
  issn         = {2470-881X},
  location     = {Timisoara, Romania},
  publisher    = {IEEE},
  title        = {{Neural Certificates}},
  doi          = {10.1109/SYNASC69064.2025.00008},
  year         = {2025},
}

@unpublished{21920,
  abstract     = {Vertebrates display remarkable diversity of sensorimotor behaviors, each adapted to distinct ecological and survival demands. This diversity raises fundamental questions about the evolutionary origin of motor control: do conserved spinal circuits underlie these behaviors, and how have they diverged across species. Recent studies detail spinal cell-type architecture in mammals but comparable, high-resolution atlases of the non-mammalian spinal cord are lacking. Here, we compare spinal cord cell types between fish, frogs, mice and humans, spanning ∼450 million years of evolution. Across species, we define highly conserved programs of cell type specification that segregate spinal neurons into nearly identical cardinal classes during development. This contrasts with adult stages, when spinal cell-type composition selectively diverges for excitatory neuron subpopulations. Using spatial transcriptomics, we localize this species divergence to the superficial, dorsal spinal cord, where variant neuropeptide expression defines mammalian-specific cell types. The most dorsal spinal cord thus emerges as a recently evolved hub for sensory integration in mammals, a neospinal cord analogous to the neocortex.</jats:p>},
  author       = {Ignatyev, Yuri and Papadopoulos, Stavros and Soretić, Mateja and Yeung, Jake and Lin, Tzi-Yang and Tanaka, Elly M and Peshkin, Leonid and Levine, Ariel J and Gabitto, Mariano I and Sweeney, Lora Beatrice Jaeger},
  booktitle    = {bioRxiv},
  title        = {{Innovations in spinal cord cell type heterogeneity across vertebrate evolution}},
  doi          = {10.1101/2025.10.09.680955},
  year         = {2025},
}

@article{14647,
  abstract     = {In the developing vertebrate central nervous system, neurons and glia typically arise
sequentially from common progenitors. Here, we report that the transcription factor Forkhead
Box G1 (Foxg1) regulates gliogenesis in the mouse neocortex via distinct cell-autonomous roles in progenitors and postmitotic neurons that regulate different aspects of the gliogenic FGF signalling pathway. We demonstrate that loss of Foxg1 in cortical progenitors at neurogenic stages causes premature astrogliogenesis. We identify a novel FOXG1 target, the pro-gliogenic FGF pathway component Fgfr3, which is suppressed by FOXG1 cell-autonomously to maintain neurogenesis. Furthermore, FOXG1 can also suppress premature astrogliogenesis triggered by the augmentation of FGF signalling. We identify a second novel function of FOXG1 in regulating the expression of gliogenic cues in newborn neocortical upper-layer neurons. Loss of FOXG1 in postmitotic neurons non-autonomously enhances gliogenesis in the progenitors via FGF signalling. These results fit well with the model that newborn neurons secrete cues that trigger progenitors to produce the next wave of cell types, astrocytes. If FGF signalling is attenuated in Foxg1 null progenitors, they progress to oligodendrocyte production. Therefore, loss of FOXG1 transitions the progenitor to a gliogenic state, producing either astrocytes or oligodendrocytes depending on FGF signalling levels. Our results uncover how FOXG1 integrates extrinsic signalling via the FGF pathway to regulate the sequential generation of neurons, astrocytes, and oligodendrocytes in the cerebral cortex. },
  author       = {Bose, Mahima and Suresh, Varun and Mishra, Urvi and Talwar, Ishita and Yadav, Anuradha and Biswas, Shiona and Hippenmeyer, Simon and Tole, Shubha},
  issn         = {2050-084X},
  journal      = {eLife},
  publisher    = {eLife Sciences Publications},
  title        = {{Dual role of FOXG1 in regulating gliogenesis in the developing neocortex via the FGF signalling pathway}},
  doi          = {10.7554/elife.101851.3},
  volume       = {13},
  year         = {2025},
}

@article{15128,
  abstract     = {We prove a universal mesoscopic central limit theorem for linear eigenvalue statistics of a Wigner-type matrix inside the bulk of the spectrum with compactly supported twice continuously differentiable test functions. The main novel ingredient is an optimal local law for the two-point function $T(z,\zeta)$  and a general class of related quantities involving two resolvents at nearby spectral parameters.},
  author       = {Riabov, Volodymyr},
  issn         = {0246-0203},
  journal      = {Annales de l'institut Henri Poincare (B) Probability and Statistics},
  number       = {1},
  pages        = {129--154},
  publisher    = {Institute of Mathematical Statistics},
  title        = {{Mesoscopic eigenvalue statistics for Wigner-type matrices}},
  doi          = {10.1214/23-AIHP1438},
  volume       = {61},
  year         = {2025},
}