- Uncountably many maximally consistent neighborhood complete congruential modal logics
Zalán Gyenis, Krzysztof Krawczyk
arXivSource: arxiv.orgSep 3, 2026math.LOscore 0
- Calculation of DFT Spin-Orbit Spillage with Quantum ESPRESSO
Duy Quan Nguyen, Paul C. H. Li
arXivSource: arxiv.orgSep 3, 2026cond-mat.mtrl-sciscore 0
- DPRQ: A Dynamic Programming-based Qubit Routing Algorithm for Collective Communication in Distributed Quantum Computing
Dhaval Vaidya, Ruozhou Yu
arXivSource: arxiv.orgSep 3, 2026quant-phscore 0
- Learning Memory-Dependent Neural Network Correlation Potentials for Accurate Electron Dynamics
Harish S. Bhat, Christine M. Isborn
arXivSource: arxiv.orgSep 3, 2026physics.chem-phscore 0
- Factorization of central polynomials over division algebras
A. G. Goutor, S. V. Tikhonov
arXivSource: arxiv.orgSep 3, 2026math.RAscore 0
- An Energy-Based Conservative-Dissipative Latent Neural Evolution Operator for Magnetization Dynamics
Sebastian Schaffer, Lukas Exl
arXivSource: arxiv.orgSep 3, 2026cs.LGscore 0
- Adaptive Multilevel Discontinuous Galerkin Methods on GPUs
Michał Wichrowski
arXivSource: arxiv.orgSep 3, 2026math.NAscore 0
- Hilbert's Irreducibility for $\mathbb{G}_m$
Michael Stoll, Samir Siksek
arXivSource: arxiv.orgSep 3, 2026math.NTscore 0
- Universality in the algebra and topology of cographs
Adityo Mamun, Jonathan Nalikka, Eric Ramos
arXivSource: arxiv.orgSep 3, 2026math.COscore 0
- A Sim-to-Real Study of Surface-Code Decoder Benchmarking
Shay J. Manor, Leila S. Erhili, Yassine Jebbouri
arXivSource: arxiv.orgSep 3, 2026quant-phscore 0
- Even and odd minimal categorifications of the nilpotent part of classical and quantum sl(2)
Mikhail Khovanov, Alvaro L. Martinez, Fan Zhou
arXivSource: arxiv.orgSep 3, 2026math.QAscore 0
- Symmetry Promotion in Electromagnetism
Hunter Swan, Jason M. Hogan
arXivSource: arxiv.orgSep 3, 2026physics.class-phscore 0
- A Mean Value Property in Powers of the Natural Square
Paul Jolissaint, Kenichi Takemura
arXivSource: arxiv.orgSep 3, 2026math.HOscore 0
- Quantum-gravity-inspired Alcubierre warp-drive geometries
Kimet Jusufi, Francisco S. N. Lobo
arXivSource: arxiv.orgSep 3, 2026gr-qcscore 0
- The I3322 quantum value is attained spatially but not in finite dimension
Seth Douglas
arXivSource: arxiv.orgSep 3, 2026quant-phscore 0
- Kibble-Zurek Dynamics in Two-dimensional Frustrated Systems with a Neural Foundation-state Subspace Method
Linda Mauron, Luciano Loris Viteritti, Zakari Denis, Riccardo Rende, Giuseppe Carleo
arXivSource: arxiv.orgSep 3, 2026cond-mat.str-elscore 0
- The Einstein Tensor from UV-regulated Field Correlations
Matheus H. Zambianco, Achim Kempf
arXivSource: arxiv.orgSep 3, 2026gr-qcscore 0
- A simple method of computing Riemann-type integrals
Luciano Tubaro
arXivSource: arxiv.orgSep 3, 2026math.GMscore 0
- Spread of Chronic Wasting Disease under Stochastic Environmental Conditions and its Control using Deep Reinforcement Learning
Wei Yin, Wesley J. Marrero, Kamal Jnawali, Lale Asik, Michael G. Tyshenko, Tamer Oraby
arXivSource: arxiv.orgSep 3, 2026q-bio.PEscore 0
- Geometry Parameterisation via a Structural Modal Basis for Aerodynamic Shape Optimisation
Alwin Wang, Robert Carrese, Luca Brown, Joel Collins, Pier Marzocca
arXivSource: arxiv.orgSep 3, 2026math.NAscore 0
- Entropy Obstruction to Closed Semiclassical Bounces
Naman Kumar
arXivSource: arxiv.orgSep 3, 2026gr-qcscore 0
- Constraints on Scalar--Tensor--Vector Gravity Theory Parameters Inferred from Quasiperiodic Oscillations
Marco Muccino, Kuantay Boshkayev, Binay Prakash Akhouri, Izzet Sakallı, Yassine Sekhmani
arXivSource: arxiv.orgSep 3, 2026gr-qcscore 0
- Radii of Concavity for Subclasses of Univalent Functions Associated with the Exponential Mapping
Pradip Das, Nabadwip Sarkar
arXivSource: arxiv.orgSep 3, 2026math.CVscore 0
- Positive scalar curvature Kähler cones on compact complex surfaces
Zehao Sha
arXivSource: arxiv.orgSep 3, 2026math.DGscore 0
- Congruence spectra and geometric reconstruction of $\boldsymbol{T}$-algebras
JuAe Song
arXivSource: arxiv.orgSep 3, 2026math.AGscore 0
- Optimal square size for separating the operator and completely bounded norms of Schur multipliers on $S^4$
Cédric Arhancet
arXivSource: arxiv.orgSep 3, 2026math.FAscore 0
- A Huppert-type $ρ^*$--$σ^*$ theorem for sub-class sizes
Yong Yang
arXivSource: arxiv.orgSep 3, 2026math.GRscore 0
- Restricting Trainable Lie-Algebra Growth in Equivariant Quantum Networks via Hierarchical Ancilla-Controlled Subspace Projections
Ting Li, Zhiming Xiao, Qibiao Tang
arXivSource: arxiv.orgSep 3, 2026quant-phscore 0
- Von Neumann's Two Quantum Entropies
Biao Wu
arXivSource: arxiv.orgSep 3, 2026cond-mat.stat-mechscore 0
- Non-abelian quantum cellular automata: $1{+}1$-dimensional $SU(2)$ Yang--Mills with fermions
Dogukan Bakircioglu, Pablo Arrighi
arXivSource: arxiv.orgSep 3, 2026quant-phscore 0
- Improved upper bounds for five IHTC-2024 benchmark instances via exact reoptimization of the nurse-to-room layer
Alfonso Gippini Requeijo
arXivSource: arxiv.orgSep 3, 2026math.OCscore 0
- Lie-Wedge Stratification and Pure-State Stabilizability in Single-Channel Qubit Control
Yibin Wang
arXivSource: arxiv.orgSep 3, 2026quant-phscore 0
- Predictor-Based Exponential Tracking of Turbulent Solutions for the Kuramoto--Sivashinsky Equation with Input Delay
Amadou Cissé
arXivSource: arxiv.orgSep 3, 2026math.OCscore 0
- Soficity of One-Relator Groups and Reducible Presentations
Jinhyuk Son
arXivSource: arxiv.orgSep 3, 2026math.GRscore 0
- rwst/Even-Integral
Ralf Stephan (direction, review, paper author)
Palomar RegistrySource: github.comSep 3, 2026math.NTmachine-checkedscore 0
- lennrt/palomar-formalizations
Lennart Rudolph
Palomar RegistrySource: github.comSep 3, 2026math.COmachine-checkedscore 0
- lennrt/palomar-formalizations
Lennart Rudolph
Palomar RegistrySource: github.comSep 3, 2026math.COmachine-checkedscore 0
- lennrt/palomar-formalizations
Lennart Rudolph
Palomar RegistrySource: github.comSep 3, 2026cs.DSmachine-checkedscore 0
- lennrt/palomar-formalizations
Lennart Rudolph
Palomar RegistrySource: github.comSep 3, 2026cs.GRmachine-checkedscore 0
- lennrt/palomar-formalizations
Lennart Rudolph
Palomar RegistrySource: github.comSep 3, 2026math.COmachine-checkedscore 0
- ukiyois/hs-virial-nbc-identity
ukiyois
Palomar RegistrySource: github.comSep 3, 2026math.COmachine-checkedscore 0
- Levi–Civita connections and metric-determined curvature invariants in Lean
Arthur Freitas Ramos, David Barros Hulak, Ruy J. G. B. de Queiroz
Palomar RegistrySource: github.comSep 3, 2026math.DGmachine-checkedscore 0
- Ore's and Dirac's Theorems on Hamiltonian Cycles
Noah Cohen
Palomar RegistrySource: github.comSep 3, 2026math.COmachine-checkedscore 0
- A proof of Conway's refinement conjecture
Dan Abramov
Palomar RegistrySource: github.comSep 3, 2026math.LOmachine-checkedscore 0
- Tverberg's Partition Theorem, 1D Theorem, and Colorful 1D Theorem
Noah Cohen
Palomar RegistrySource: github.comSep 3, 2026math.MGmachine-checkedscore 0
- Radial harmonic functions on a real inner product space: the classification, the Laplacian of radial functions, and the stability of circular orbits for power-law central forces; Ehrenfest's dimensionality argument (1917) as the application
Stephanie Alexander
Palomar RegistrySource: github.comSep 3, 2026math.CAmachine-checkedscore 0
- Sharp bounds for intervals in finite subgroup lattices
Sébastien Palcoux
Palomar RegistrySource: github.comSep 3, 2026math.GRmachine-checkedscore 0
- Erdős Problem 684: f(n)/log n is unbounded — a Lean 4 formalization of arXiv:2604.23784
Ji Ho Bae
Palomar RegistrySource: github.comSep 3, 2026math.NTmachine-checkedscore 0
- Tucker's Lemma: Full Combinatorial & Topological Parity Suite in 1D and 2D
Noah Cohen
Palomar RegistrySource: github.comSep 3, 2026math.COmachine-checkedscore 0
- When Fibonacci and Lucas Meet Smith: A Computational Exploration
Ronie P. Dario, João L. Gonçalves, Moniky P. N. Oliveira
arXivSource: arxiv.orgSep 2, 2026math.NTscore 0