- Depth-labeled interpolation and substitution in Sacchetti's modal logics
JD Jones
Palomar RegistryOct 16, 2026math.LOmachine-checkedscore 0
- Erdos 99 Partial Solution
Naveen Stewart
Palomar RegistryOct 16, 2026math.COmachine-checkedscore 0
- Connected counterexamples to the exact color-critical two-eigenvalue bound
Idris Ali Shaik
Palomar RegistryOct 16, 2026math.COmachine-checkedscore 0
- Finite Observations and Recognition of the Compact Albert Algebra
Robert MacGregor
Palomar RegistryOct 16, 2026math.RAmachine-checkedscore 0
- Finite quantum designs: mutually unbiased bases, SIC-POVMs, and the Welch and Gerzon bounds
JD Jones
Palomar RegistryOct 16, 2026quant-phmachine-checkedscore 0
- The Gallai–Hasse–Roy–Vitaver theorem
Juan Pablo Traverso Gianini
Palomar RegistryOct 16, 2026math.COmachine-checkedscore 0
- Euler's theorem on Eulerian circuits and trails, and Petersen's 2-factor theorem
Juan Pablo Traverso Gianini
Palomar RegistryOct 16, 2026math.COmachine-checkedscore 0
- Graphic sequences: the Erdős–Gallai and Havel–Hakimi theorems
Juan Pablo Traverso Gianini
Palomar RegistryOct 16, 2026math.COmachine-checkedscore 0
- Algebraic points on a circle plus at most three arbitrary points are Euclidean Ramsey
Will Strinz
Palomar RegistryOct 16, 2026math.COmachine-checkedscore 0
- The Cauchy–Binet formula, Kirchhoff's matrix-tree theorem and Cayley's formula
Juan Pablo Traverso Gianini
Palomar RegistryOct 16, 2026math.COmachine-checkedscore 0
- The augmented Descartes theorem in every dimension, its converses, and Soddy's two spheres
JD Jones
Palomar RegistryOct 16, 2026math.MGmachine-checkedscore 0
- Alexandroff–Urysohn cover metrization
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 16, 2026math.GNmachine-checkedscore 0
- Erdős Problem 656: translated restricted pair sums
AItoBit
Palomar RegistryOct 16, 2026math.DSmachine-checkedscore 0
- Waist
Arseniy Akopyan
Palomar RegistryOct 16, 2026math.MGmachine-checkedscore 0
- Füredi's stability theorem and the Erdős–Simonovits stability theorem
Juan Pablo Traverso Gianini
Palomar RegistryOct 16, 2026math.COmachine-checkedscore 0
- Dynamic MCS Ordering Maintenance
Md Thoriqul Islam Thonmay, Gregory Morse
Palomar RegistryOct 15, 2026cs.DSmachine-checkedscore 0
- Grötzsch's theorem, Ore's conjecture for k = 4 (Kostochka–Yancey) and the Grünbaum–Aksenov theorem
Juan Pablo Traverso Gianini
Palomar RegistryOct 15, 2026math.COmachine-checkedscore 0
- Sharp universal support criterion for sub-Gaussian laws
JD Jones
Palomar RegistryOct 15, 2026math.PRmachine-checkedscore 0
- Smirnov's local-to-global metrization theorem
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 15, 2026math.GNmachine-checkedscore 0
- The Häggkvist–Janssen bound on the list chromatic index of complete graphs
Juan Pablo Traverso Gianini
Palomar RegistryOct 15, 2026math.COmachine-checkedscore 0
- Vizing's theorem and equitable edge colourings
Juan Pablo Traverso Gianini
Palomar RegistryOct 15, 2026math.COmachine-checkedscore 0
- Wagner's planarity criterion and list colouring of planar and K5-minor-free graphs
Juan Pablo Traverso Gianini
Palomar RegistryOct 15, 2026math.COmachine-checkedscore 0
- A finite counterexample for strict consecutive totient patterns
Alexander
Palomar RegistryOct 15, 2026math.NTmachine-checkedscore 0
- Distinguishing sets and measures from their planar Brownian images
Sascha Troscheit
Palomar RegistryOct 15, 2026math.PRmachine-checkedscore 0
- Dross's theorem on fractional triangle decompositions
Juan Pablo Traverso Gianini
Palomar RegistryOct 15, 2026math.COmachine-checkedscore 0
- The Beck–Fiala integer-making theorem
Juan Pablo Traverso Gianini
Palomar RegistryOct 15, 2026math.COmachine-checkedscore 0
- H2 obstruction to lifting discrete matrix representations
AItoBit
Palomar RegistryOct 15, 2026math.GRmachine-checkedscore 0
- Near-regular hypergraph matchings and the asymptotic triangle-packing gap
Juan Pablo Traverso Gianini
Palomar RegistryOct 15, 2026math.COmachine-checkedscore 0
- CollatzPosDens
Kenny Lau
Palomar RegistryOct 15, 2026math.NTmachine-checkedscore 0
- The MDS conjecture over finite fields of even order
Pranava Kumar
Palomar RegistryOct 15, 2026math.COmachine-checkedscore 0
- Localized two-eigenvalue bound for finite noncomplete graphs
Idris Ali Shaik
Palomar RegistryOct 15, 2026math.COmachine-checkedscore 0
- Perfect images of metrizable spaces
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 15, 2026math.GNmachine-checkedscore 0
- The crystallographic restriction in every dimension: GL(N, ℤ) has an element of order m if and only if ψ(m) ≤ N
JD Jones
Palomar RegistryOct 15, 2026math.GRmachine-checkedscore 0
- Kuratowski's theorem
Juan Pablo Traverso Gianini
Palomar RegistryOct 15, 2026math.COmachine-checkedscore 0
- Kőnig's theorems and Dilworth's theorem
Juan Pablo Traverso Gianini
Palomar RegistryOct 15, 2026math.COmachine-checkedscore 0
- Classical bounds for graph Ramsey numbers
Juan Pablo Traverso Gianini
Palomar RegistryOct 15, 2026math.COmachine-checkedscore 0
- Exponential separation of analytic self-conformal sets on the real line: Lean formalisation
Balázs Bárány, István Kolossváry, Sascha Troscheit
Palomar RegistryOct 14, 2026math.DSmachine-checkedscore 0
- A uniform zero-free region for Dedekind zeta functions
Dean Cureton
Palomar RegistryOct 14, 2026math.NTmachine-checkedscore 0
- The full Nagata–Smirnov metrization theorem
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 14, 2026math.GNmachine-checkedscore 0
- The sparsification theorem of Batson, Spielman and Srivastava
Mario Ullrich
Palomar RegistryOct 14, 2026math.FAmachine-checkedscore 0
- Fixed-dimensional separated Euclidean distances below 0.74 n squared
John Tripodo
Palomar RegistryOct 14, 2026math.COmachine-checkedscore 0
- Erdős 836: vertex counts and pairwise edge intersections in 3-chromatic intersecting uniform hypergraphs
Linmiao Xu
Palomar RegistryOct 14, 2026math.COmachine-checkedscore 0
- Heterogeneous Hegselmann–Krause dynamics: counterexamples to two conjectures and a theorem of Mirtabatabaei and Bullo
JD Jones
Palomar RegistryOct 14, 2026math.DSmachine-checkedscore 0
- Triangle-free graphs with prescribed chromatic number
alexander
Palomar RegistryOct 14, 2026math.COmachine-checkedscore 0
- Möbius invariance of the Ramsey property for finite spherical sets
Will Strinz
Palomar RegistryOct 14, 2026math.COmachine-checkedscore 0
- Flatness of one-homogeneous one-phase Bernoulli minimizers in dimensions at most six
William M. Feldman
Palomar RegistryOct 14, 2026math.APmachine-checkedscore 0
- Optimal universal 1 → 2 qubit cloning at fidelity 5/6, the universal-NOT, and asymmetric cloning
JD Jones
Palomar RegistryOct 13, 2026quant-phmachine-checkedscore 0
- Expected syzygies and Fröberg’s conjecture through degree 2d
Vlado Vojdanovski
Palomar RegistryOct 13, 2026math.ACmachine-checkedscore 0
- Optimality and uniqueness of Romik's ambidextrous sofa, formalized in Lean 4
The-Anh Vu-Le
Palomar RegistryOct 13, 2026math.MGmachine-checkedscore 0
- Perfect surjections and paracompactness
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 13, 2026math.GNmachine-checkedscore 0