- MaxSNP-completeness and APX-completeness of MAX-3-SAT and 3-OCCURRENCE MAX-3-SAT (the PCP theorem and hardness of approximation) in Lean 4
Robert D. Barish
Palomar RegistryOct 9, 2026cs.CCmachine-checkedscore 0
- Inverse classification for innerly joint short zero-sum subsequences in C3^3
John Fairfax-Ball
Palomar RegistryOct 9, 2026math.COmachine-checkedscore 0
- MIP* = RE
Thomas Vidick
Palomar RegistryOct 9, 2026quant-phmachine-checkedscore 0
- Replica symmetry up to the de Almeida–Thouless line in the Sherrington–Kirkpatrick model
P. M. Aronow, Patrick Lopatto
Palomar RegistryOct 9, 2026math.PRmachine-checkedscore 0
- Hörmander's hypoellipticity theorem and the Rothschild–Stein theory
Scott Armstrong, Amélie Loher
Palomar RegistryOct 9, 2026math.APmachine-checkedscore 0
- Uniform permanence of endotactic reaction networks with measurable rates
Michael Mislan
Palomar RegistryOct 9, 2026math.DSmachine-checkedscore 0
- Planar Euclidean midpoint rigidity
JD Jones
Palomar RegistryOct 9, 2026math.DGmachine-checkedscore 0
- Optimality, uniqueness and stability of Gerver's sofa from one coercive certificate, formalized in Lean 4
The-Anh Vu-Le
Palomar RegistryOct 8, 2026math.MGmachine-checkedscore 0
- Sharp Wasserstein propagation of chaos from correlated initial data
Yuhao Lei
Palomar RegistryOct 8, 2026math.PRmachine-checkedscore 0
- A strongly tempered Meyer space of countably infinite Hamel dimension
Jamie Martin
Palomar RegistryOct 8, 2026math.CAmachine-checkedscore 0
- Improved exponents for 3SUM and APSP from triangles in sparse lopsided graphs
Jihoon Hyun
Palomar RegistryOct 8, 2026cs.DSmachine-checkedscore 0
- Area stability of planar plank covers and Bezdek's annulus theorem
Arseniy Akopyan
Palomar RegistryOct 8, 2026math.MGmachine-checkedscore 0
- Matrix multiplication exponent at most 9/4 over arbitrary fields
Sela Navot
Palomar RegistryOct 8, 2026cs.CCmachine-checkedscore 0
- Stability of Matter in Lean: Lieb–Thirring, Ionization, the Thermodynamic Limit and Thomas–Fermi Theory
Scott Armstrong, Amélie Loher
Palomar RegistryOct 8, 2026math-phmachine-checkedscore 0
- Sharp robustness and stability of the four-row permanent inequality
JD Jones
Palomar RegistryOct 8, 2026math.COmachine-checkedscore 0
- A counterexample to Vaught's conjecture for infinitary logic
Nathanael Ackerman, Cameron Freer, Robin Knight
Palomar RegistryOct 7, 2026math.LOmachine-checkedscore 0
- Two partial balayage principles for weak-type estimates
Yongxi Lin
Palomar RegistryOct 7, 2026math.CAmachine-checkedscore 0
- Alexandroff Property of Metric Indecomposable Continua
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 7, 2026math.GNmachine-checkedscore 0
- Explicit Szemerédi–Trotter bounds over arbitrary fields
Mark Lewko
Palomar RegistryOct 7, 2026math.COmachine-checkedscore 0
- Linear upper bounds for the first Betti number of four-generated numerical semigroups
Ben Keene
Palomar RegistryOct 7, 2026math.ACmachine-checkedscore 0
- The CLARK Tile: An Aperiodic Monotile in Five Dimensions
Conor Grogan
Palomar RegistryOct 7, 2026math.MGmachine-checkedscore 0
- LeanMMBound: the matrix multiplication exponent is below 2.3710449
Oliver Proudfoot, Andrew Perrault
Palomar RegistryOct 7, 2026cs.CCmachine-checkedscore 0
- Order Arcs Between Subcontinua
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 7, 2026math.GNmachine-checkedscore 0
- The density hypothesis for σ > 3/4
Mark Lewko
Palomar RegistryOct 7, 2026math.NTmachine-checkedscore 0
- Erdős 374: classical square products of factorials
alexander
Palomar RegistryOct 7, 2026math.NTmachine-checkedscore 0
- Six concyclic points satisfy the Euclidean Ramsey tensor criterion, as does every spherical set of at most m + 4 points of affine dimension m and every algebraic spherical set; given the classification's sufficiency half, these sets are Ramsey (the algebraic ones when spanning)
JD Jones
Palomar RegistryOct 7, 2026math.COmachine-checkedscore 0
- Erdős 1139: large gaps between almost-primes
Linmiao Xu
Palomar RegistryOct 6, 2026math.NTmachine-checkedscore 0
- Sierpinski Closed Partitions of Continua
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 6, 2026math.GNmachine-checkedscore 0
- S(6) ≤ 1801 if R₄(3) ≤ 61: a centred Schur bound and the structure at the frontier
Adam McKenna
Palomar RegistryOct 6, 2026math.COmachine-checkedscore 0
- Erdős 575: bipartite extremal-graph compactness
Linmiao Xu
Palomar RegistryOct 6, 2026math.COmachine-checkedscore 0
- Non-Cut Points of Hausdorff Continua
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 6, 2026math.GNmachine-checkedscore 0
- FluidSingularSets
Yongxi (Aaron) Lin
Palomar RegistryOct 6, 2026math.APmachine-checkedscore 0
- The Schur degree of block sums: L(4) = 16 and L(5) ≥ 49
Adam McKenna
Palomar RegistryOct 6, 2026math.COmachine-checkedscore 0
- A Hausdorff–packing criterion for self-pinned distance sets
Yongxi Lin
Palomar RegistryOct 6, 2026math.CAmachine-checkedscore 0
- A Lean 4 formalization of Catalan's conjecture (Mihăilescu's theorem)
Yao Xu
Palomar RegistryOct 6, 2026math.NTmachine-checkedscore 0
- Monotone-Light Factorization of Compact Hausdorff Surjections
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 6, 2026math.GNmachine-checkedscore 0
- Structured orthogonal and unitary matrices: factorization, geometry and singularities
Ali Aliev
Palomar RegistryOct 6, 2026math.DGmachine-checkedscore 0
- Fundamental Groups of Arbitrary Higher-Cell Attachments
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 5, 2026math.ATmachine-checkedscore 0
- Erdős 2: minimum modulus of distinct covering systems
Linmiao Xu
Palomar RegistryOct 5, 2026math.NTmachine-checkedscore 0
- Linear-Time Triangulation of Simple Polygons (Chazelle's Algorithm) in Lean 4
Robert D. Barish
Palomar RegistryOct 5, 2026cs.CGmachine-checkedscore 0
- Erdős 958: planar point sets with distance multiplicities {1, ..., n - 1}
Linmiao Xu
Palomar RegistryOct 5, 2026math.COmachine-checkedscore 0
- Erdős 1054: sums of smallest divisors
Linmiao Xu
Palomar RegistryOct 5, 2026math.NTmachine-checkedscore 0
- The rank-one Dixmier conjecture for elements of mass at most six
Idris Ali Shaik
Palomar RegistryOct 5, 2026math.RAmachine-checkedscore 0
- Weil classes on abelian sixfolds and the Hodge conjecture for abelian fourfolds (Markman)
The-Anh Vu-Le
Palomar RegistryOct 5, 2026math.AGmachine-checkedscore 0
- Superdiffusive central limit theorem for a Brownian particle in a critically-correlated incompressible random drift
Scott Armstrong
Palomar RegistryOct 5, 2026math.PRmachine-checkedscore 0
- Boundary Bumping for Closed Subsets of Continua
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 5, 2026math.GNmachine-checkedscore 0
- Stafford 3.8
Christopher Albert
Palomar RegistryOct 4, 2026math.RAmachine-checkedscore 0
- FKS Problem 1 on at most twice the dimension vertices
Dishant Shah
Palomar RegistryOct 4, 2026math.COmachine-checkedscore 0
- Uniqueness of four-body convex central configurations for all masses
Tejasvi Singh Tomar
Palomar RegistryOct 4, 2026math.DSmachine-checkedscore 0
- Distance-Shell Tomography: Geometric Certificates for Fault-Tolerant Sensing, Moment Compression, and Hypercube Equalization
Lennart Rudolph
Palomar RegistryOct 4, 2026math.COmachine-checkedscore 0