Research works

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...

The law of the everyday: Europe’s method

Abstract The guiding aim of the collection is to shift the focus of European studies from the institutional realities of European integration to the lived experience of it. However, it is not to separate the lived experience of Europe from the institutional and legal account of E...

Tailored speckle illumination microscopy with enhanced sectioning and image quality

Optical speckle patterns have been widely used for illumination in computational imaging, optical sectioning microscopy, and superresolution imaging. However, commonly used speckles satisfy Rayleigh statistics, which are not ideal for diverse imaging applications. Here we tailor...

Universal compactified Jacobians: cohomological invariance and boundary combinatorics

Abstract Pagani and Tommasi have introduced a class of smoothable fine compactified Jacobians $$\overline{\mathcal {J}}_{g,n}^{\,d}(\sigma )\rightarrow \overline{\mathcal {M}}_{g,n}$$ J ¯ g , n d ( σ ) → M ¯ g , n over the moduli space of stable curves, depending nontrivially on...

GACP — Author's withdrawal and correction notice (v3)

Author's notice withdrawing the GACP as a self-consistent physical mechanism, with the reasons and a statement of what is not withdrawn. Versions v1 and v2 remain available for the record. See the attached PDF.