- Tutte's f-factor theorem
Juan Pablo Traverso Gianini
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- Chordal, split, threshold and cograph structure
Juan Pablo Traverso Gianini
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- Elementary bounds for Erdos problem 684
AItoBit
Palomar RegistryOct 18, 2026math.NTmachine-checkedscore 0
- Planar Pólya–Szegő Buckling Inequality
Quanyu Tang, Haiqi Zhang
Palomar RegistryOct 18, 2026math.APmachine-checkedscore 0
- Dirac's theorem: k vertices of a k-connected graph lie on a common cycle
Juan Pablo Traverso Gianini
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- Fréchet–Urysohn Σ-products of first-countable spaces
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 18, 2026math.GNmachine-checkedscore 0
- The local dynamical structure of Δ* sets via a new Furstenberg family algebra
Angelina Blahodatna, Lauren Detmold, Daniel Glasscock, Anh N. Le
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- Spectral bounds on the chromatic and independence numbers
Juan Pablo Traverso Gianini
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- Distinct prime divisors of central binomial coefficients
AItoBit
Palomar RegistryOct 18, 2026math.NTmachine-checkedscore 0
- The Arithmetic of Time: the slowest settling clock on at most three letters is the Padovan substitution, unique up to mirror image, and both minimal rules are chiral
Stephanie Alexander
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- The radian nine-gon is Euclidean Ramsey iff e^(i theta) is algebraic
Will Strinz
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- Graham's bounds for list scheduling and LPT on identical machines: 2 − 1/m, 4/3 − 1/(3m) and their tight instances
JD Jones
Palomar RegistryOct 18, 2026cs.DSmachine-checkedscore 0
- Robbins' theorem on strongly connected orientations
Juan Pablo Traverso Gianini
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- Lossy Distance-Shell Tomography on Paths: Recovery from Mean and Covariance
Lennart Rudolph
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- GromovMilman
Arseniy Akopyan
Palomar RegistryOct 18, 2026math.MGmachine-checkedscore 0
- Pointwise a.e. convergence of ergodic averages with respect to two commuting transformations in Lean
Floris van Doorn, Polona Durcik, Joris Roos, Lenka Slavíková, Christoph Thiele
Palomar RegistryOct 18, 2026math.DSmachine-checkedscore 0
- Paracompact expansion and collectionwise separation
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 18, 2026math.GNmachine-checkedscore 0
- Systolic growth in every genus
Nihar Gargava
Palomar RegistryOct 18, 2026math.DGmachine-checkedscore 0
- Galvin's theorem, the Dinitz problem and stable matchings
Juan Pablo Traverso Gianini
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- Persistent failure of Euclidean quartic SOS exactness
JD Jones
Palomar RegistryOct 18, 2026math.OCmachine-checkedscore 0
- The compositum of the two Mahler minimizers: exact measure, conjugate census, house, and minimal product recurrence, with the Bedford-Kim plastic family, Lehmer's polynomial, and the E_m Coxeter bridge
Stephanie Alexander
Palomar RegistryOct 17, 2026math.NTmachine-checkedscore 0
- Formalization of a discrete Carleson theorem of Stein-Wainger type
Joris Roos
Palomar RegistryOct 17, 2026math.CAmachine-checkedscore 0
- 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