- Formalization of Carleson's theorem via the Lacey-Thiele approach
Joris Roos
Palomar RegistryOct 17, 2026math.CAmachine-checkedscore 0
- Formalization of a sharp cone square-function estimate via superorthogonality
Joris Roos
Palomar RegistryOct 17, 2026math.CAmachine-checkedscore 0
- A converse to the discrete four-vertex theorem
Kristoffer Josefsson
Palomar RegistryOct 17, 2026math.MGmachine-checkedscore 0
- Erdos 662: corrected global threshold conjecture
Colin Snyder, AItoBit
Palomar RegistryOct 17, 2026math.MGmachine-checkedscore 0
- Sneider's Gδ-diagonal metrization theorem
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 17, 2026math.GNmachine-checkedscore 0
- Pseudorandom hypergraph matchings (Ehard–Glock–Joos)
Juan Pablo Traverso Gianini
Palomar RegistryOct 17, 2026math.COmachine-checkedscore 0
- A sharp asymptotic spectral bound for forbidden subgraphs
Idris Ali Shaik
Palomar RegistryOct 17, 2026math.COmachine-checkedscore 0
- Low-dimensional exact counterexamples to the Recht–Ré inequality
JD Jones
Palomar RegistryOct 17, 2026math.OCmachine-checkedscore 0
- Sharp quartic Lyapunov boundaries and sextic separation for a planar cubic family
JD Jones
Palomar RegistryOct 17, 2026math.OCmachine-checkedscore 0
- The Nash-Williams–Tutte tree packing theorem and Nash-Williams' arboricity theorem
Juan Pablo Traverso Gianini
Palomar RegistryOct 17, 2026math.COmachine-checkedscore 0
- Erdős' theorem on graphs of large girth and large chromatic number
Juan Pablo Traverso Gianini
Palomar RegistryOct 17, 2026math.COmachine-checkedscore 0
- Rényi and Tsallis entropy monotonicity for Bernoulli sums
JD Jones
Palomar RegistryOct 17, 2026math.PRmachine-checkedscore 0
- Compact Hausdorff countable-network metrization
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 17, 2026math.GNmachine-checkedscore 0
- The connected size-Ramsey number of a four-edge matching versus a quadrilateral
Ben Keene
Palomar RegistryOct 17, 2026math.COmachine-checkedscore 0
- Growth series of the triangle Coxeter groups (p, q, infinity), with the PGL(2,Z) instance: Padovan sphere sizes and growth rate the plastic number
Stephanie Alexander
Palomar RegistryOct 17, 2026math.GRmachine-checkedscore 0
- Countable-coordinate factorization for compact products
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 17, 2026math.GNmachine-checkedscore 0
- NumericalSemigroups: Huang's quadratic form, its positivity, and its n-generator kernel windows
Artur Flamandzki
Palomar RegistryOct 17, 2026math.COmachine-checkedscore 0
- Optimal Local Decompression: Uniform Finite-View Reduction
Lennart Rudolph
Palomar RegistryOct 17, 2026cs.DCmachine-checkedscore 0
- Moore graphs of diameter two: the Hoffman–Singleton theorem
Juan Pablo Traverso Gianini
Palomar RegistryOct 17, 2026math.COmachine-checkedscore 0
- Countable-density Hewitt–Marczewski–Pondiczery theorem
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 17, 2026math.GNmachine-checkedscore 0
- Selection of the electromagnetic source tensor by covariance, conservation and the exchange law
Stephanie Alexander
Palomar RegistryOct 16, 2026math-phmachine-checkedscore 0
- Solvability of divergence-form elliptic equations (Evans §6.2)
Alejandro Soto Franco, Kobe Marshall-Stevens
Palomar RegistryOct 16, 2026math.APmachine-checkedscore 0
- Mader's theorem and Hadwiger's conjecture for t ≤ 4
Juan Pablo Traverso Gianini
Palomar RegistryOct 16, 2026math.COmachine-checkedscore 0
- Elliptic curves of exact ranks five, six, and seven: conditional formalization
P. M. Aronow, Patrick Lopatto
Palomar RegistryOct 16, 2026math.NTmachine-checkedscore 0
- Petersen's theorem
Juan Pablo Traverso Gianini
Palomar RegistryOct 16, 2026math.COmachine-checkedscore 0
- Hilbert–Smith and p-adic exclusion with second countability
adbrw
Palomar RegistryOct 16, 2026math.GTmachine-checkedscore 0
- Continuum hypothesis independence: a Flypitch reproduction
Alexander
Palomar RegistryOct 16, 2026math.LOmachine-checkedscore 0
- Counterexamples to the restricted-sumset inverse theorem in arXiv:2609.10148v2
alexander
Palomar RegistryOct 16, 2026math.NTmachine-checkedscore 0
- 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