7 citations
- 28014 Madrid4 · h 17
- Leiden University2 profiles4 · h 44
- 00133 Roma3 · h 17
- 08193 Barcelona3 · h 17
- 34127 Trieste3 · h 17
- 40129 Bologna3 · h 20
- Astronomy3 · h 104
- D. Physics2 profiles3 · h 101
- Institute for Computational Cosmology3 · h 21
- L. Observatory2 profiles3 · h 50
- S. O. Mathematics3 · h 29
- The Netherlands2 profiles3 · h 7
- Goddard Space Flight CenterUS3 papers
- Jet Propulsion LaboratoryUS3 papers
- Max Planck Institute for AstronomyDE3 papers
- Max Planck Institute for Extraterrestrial PhysicsDE3 papers
- University College LondonGB3 papers
- University of EdinburghGB3 papers
- Aix-Marseille UniversitéFR2 papers
- Arizona State UniversityUS2 papers
- Astrophysique, Instrumentation et ModélisationFR2 papers
- Australian National UniversityAU2 papers
- California Institute of TechnologyUS2 papers
- CEA Paris-SaclayFR2 papers
12 papers
Exponents of factorized groups and Kashina's conjecture for group-theoretical Hopf algebras
Ningyi Li
Let be a factorization of a finite group, with neither factor assumed normal and with allowed to be nontrivial. We prove that divides $\operatorname{lcm}(…
Formal Verification of Quantum Ancilla Safety
Jiqi Li, Jingyi Mei, Wang Fang +1
Ensuring ancilla safety is a critical correctness requirement for quantum compilation, since ancilla qubits are routinely introduced to implement complex operations with fewer gate…
Molecule-specific diffusion and desorption of interstellar ices on carbonaceous dust
Yi-Hsuan Chiu, Tushar Suhasaria, Cornelia Jäger +4
Interstellar ices form on dust grains in the coldest regions of molecular clouds and preserve key volatile reservoirs that could be incorporated into protoplanetary disks during st…
Early Exploration of the Scientific Discovery Space for the Habitable Worlds Observatory
Courtney D. Dressing, Danica Adams, Evelyne Alecian +324
The paper summarizes 70 science cases for the proposed NASA Habitable Worlds Observatory, outlining the observational needs across four scientific pillars and detailing required ca…
A human-checkable proof of the 112-vertex counterexample to the Petersen coloring conjecture
Jorik Jooken
The Petersen coloring conjecture of Jaeger asserts that every bridgeless cubic graph admits a Petersen coloring. Recently, Putman presented an explicit counterexample on vert…
AMReX-Astrophysics Microphysics: A set of microphysics routines for astrophysical simulation codes based on the AMReX library
Astro Microphysics Team, Khanak Bhargava, Abigail Bishop +15
The AMReX-Astrophysics Microphysics library provides a common set of microphysics routines (reaction networks and associated physics, equations of state, and various transport coef…