Research works

Spatial variation and predictors of plant species' intrinsic climate sensitivity across the conterminous United States

Understanding how species' sensitivity to climate varies spatially across their ranges and elucidating the important causes is essential for identifying ecologically meaningful geographic units and conservation actions for biodiversity. In this study, we estimated climatic occurr...

Why Mathematics Even Works

Many objects that mathematics uses to solve a problem do not belong to the setting in which the problem is posed: imaginary numbers are not real, infinitesimals are not real numbers, roots of an irreducible polynomial need not lie in the base field, and a cohomology class is not...

High-fidelity nonlinear dynamic modeling and hierarchical controller design for riser recoil

This dataset provides the numerical simulation data supporting the manuscript entitled "High-fidelity nonlinear dynamic modeling and hierarchical controller design for riser recoil". The data were generated from a high-fidelity nonlinear dynamic model of a marine riser with a spl...

Balancing bias, baryons, and scale cuts in LSST 3x2pt analysis

Stage IV surveys such as LSST will probe deeply into the nonlinear regime, where systematic effects from galaxy bias and baryonic feedback become dominant and poorly constrained nuisance parameters can lead to degeneracies. In this work we present a 3 × 2 pt analysis for LSST Y1...

Halo mass functions in mixed cold and fuzzy dark matter models

Abstract We investigate the impact of mixed cold and fuzzy dark matter (referred to as MDM) cosmologies on the halo mass function (HMF) using numerical simulations performed with the AxiREPO framework. We consider models in which an ultralight axion-like component with mass m = 1...

Antimatter and Annihilation in Quantum-Geometry Dynamics

This paper derives the QGD account of antimatter and particle-antiparticle annihilation from first principles, without introducing new ontological categories or force laws. Within Quantum-Geometry Dynamics (QGD), a particle and its antiparticle are preon(+) aggregates of equal ma...

The Complexity of Asynchronous HyperLTL

Hyperproperties express, e.g., information-flow properties of systems, which involves the simultaneous reasoning about multiple execution traces of a system. Consequently, HyperLTL, the most important specification logic for hyperproperties, extends LTL with quantification over t...

Non-Wellfounded and Cyclic Proofs for LTL: A Syntactic Correspondence with Linear Nested Sequents

We introduce the formalism of non-wellfounded and cyclic linear nested sequent calculi, developing concrete systems for linear temporal logic (LTL). The paper addresses two central problems, which we call "cycle recognition" and "unraveling." Cycle recognition concerns identifyin...

Optimizing Proof-Search via Linearization for Gödel-Löb Logic with Tree-Hypersequents

We answer a question posed by Poggiolesi concerning a syntactic decidability proof for GL in the tree-hypersequent system CSGL, and resolve a challenge identified by Maggesi and Perini Brogi, who sought a PSPACE proof-search algorithm for GL in expressive sequent-based formalisms...

Graded identities for matrix algebras of order two over a finite field

Let $G$ be an arbitrary group and let $\mathbb{F}$ be a finite field. In this paper, we determine bases for the $T_G$-ideals of graded polynomial identities of the algebra $M_2(\mathbb{F})$ for all possible $G$-gradings. The bases obtained consist of finitely many non-trivial gra...

Modeling Phase Separation in Polymer-Derived Silicon Carbonitride Ceramics through Extended Machine Learning Molecular Dynamics

Abstract Polymer-derived ceramics combine the thermal stability of ceramics with the versatile properties of carbon domains, but modeling their atomic-scale evolution during processing remains elusive because of the limitations of traditional computational methods. To address thi...

Transient Topological Intersections: Einstein-Rosen Bridges as Topological Tethers in a Nested Multiverse

This paper establishes a hydrodynamic framework for evaluating theoretical Einstein-Rosen bridges not as traversable intra-universe shortcuts for interstellar transit, but as transient topological boundary interactions between distinct, newly nucleated (child) universes. Expandin...

Black Hole Spacetime Quarantine and Cyclical Biological Resets as a Resolution to the Fermi Paradox

The Fermi Paradox traditionally evaluates the observable galactic volume as a continuous, open manifold that should be saturated with technologically advanced, electromagnetically visible civilizations. Standard astrobiological models frequently rely on probabilistic guesswork an...

StayStill: a large‐scale 3D idle animation dataset

Abstract Idle animations are essential for virtual characters, as they convey realistic behaviour during inactive states. While automatic animation generation has been widely studied, limited attention has been given to idle motion due to the absence of dedicated training dataset...

On convergence of the Mayer problems arising in the theory of financial markets with transaction cost

Abstract The geometric approach to multi-asset financial markets with proportional transaction cost prescribes embedding a specific model (of a stock market, of a currency market, etc.), usually given in a parametric form, into a natural framework defined by the two random proces...

Protein secretion by the type IV pilus machinery in Francisella tularensis

ABSTRACT Francisella tularensis is a highly virulent, Gram-negative bacterial pathogen that causes the zoonotic disease tularemia. F. tularensis infects a variety of host cells and replicates intracellularly while evading and interfering with host immune responses. The molecular...

Expanding maps on flowers, interval exchange transformations, and ergodic optimization

In this paper, we discuss expanding maps on a class of invariant sets called flowers. We show that any set contained in a flower has at most linear complexity, and we present a relationship between flowers and a special class of interval exchange transformations. This extends wor...

IscR-mediated morphological regulation confers virulence and stress resistance by reducing stress molecule uptake in Acinetobacter baumannii

ABSTRACT Living organisms must adequately respond to stress to survive and proliferate. Bacterial pathogens face multiple stressors during infections, including oxidative stress from host innate immune cells and antibiotic treatment from clinical therapy. The pathogenic bacterium...

The jet-shaped pipe morphology in planetary nebulae and core-collapse supernova remnants

We compare images of core-collapse supernova (CCSN) remnants (CCSNRs) and jet-shaped planetary nebulae (PNe) that have a narrow, faint zone extending from side to side, termed a pipe, with a hydrodynamical numerical simulation exploding a massive star with three pairs of jets in...

Pareto Frontier of Neural Quantum States: Scalable, Affordable, and Accurate Convolutional Backflow for Strongly Correlated Lattice Fermions

The recent development of Neural Quantum States (NQS) has established them as one of the most accurate methods for studying strongly correlated many-fermion systems, outperforming existing many-body approaches for large systems. However, NQS calculations are currently highly reso...