- Heights, Siegel's lemma, Roth's theorem and the Subspace Theorems in Lean
Ralf Stephan
Palomar RegistrySep 25, 2026math.NTmachine-checkedscore 0
- At least one of the 2-adic zeta values ζ₂(7), ζ₂(9), ζ₂(11) is irrational
Gennaro Marco Devincenzis
Palomar RegistrySep 25, 2026math.NTmachine-checkedscore 0
- Arrow's impossibility theorem (general finite version)
Arthur Freitas Ramos
Palomar RegistrySep 25, 2026math.LOmachine-checkedscore 0
- Same-ground RAF realizability of finite interior operators and the four-reaction threshold for the empty-or-at-least-three family
Michael Mislan
Palomar RegistrySep 25, 2026math.COmachine-checkedscore 0
- At least one of the 2-adic zeta values ζ₂(7), ζ₂(9) is irrational
Gennaro Marco Devincenzis
Palomar RegistrySep 25, 2026math.NTmachine-checkedscore 0
- MAF composition criteria, exact enumeration of child-selection autocatalytic cores, and degradation regions of linear diluted source networks
Michael Mislan
Palomar RegistrySep 25, 2026q-bio.MNmachine-checkedscore 0
- Gibbard-Satterthwaite theorem (strategy-proof social choice)
Arthur Freitas Ramos
Palomar RegistrySep 25, 2026math.LOmachine-checkedscore 0
- The Favard-length decay exponent of the four-corner Cantor set is at least 1/4
Yongxi Lin
Palomar RegistrySep 24, 2026math.CAmachine-checkedscore 0
- Zero density theorems for short intervals
Andrew Fiori
Palomar RegistrySep 23, 2026math.NTmachine-checkedscore 0
- Positive density of Collatz convergence at every rate above 3/log(4/3)
Idris Ali Shaik
Palomar RegistrySep 23, 2026math.NTmachine-checkedscore 0
- Unit-distance graphs of dimension four with nine edges
Dishant Shah
Palomar RegistrySep 23, 2026math.COmachine-checkedscore 0
- Verified finite automata for finitely generated subgroups of F₂
Arthur Freitas Ramos
Palomar RegistrySep 23, 2026math.GRmachine-checkedscore 0
- A counterexample to the unrestricted form of Eden's conjecture
Matthew J. Colbrook
Palomar RegistrySep 22, 2026math.DSmachine-checkedscore 0
- Small undecidable groups and fixed-size Adian–Rabin families
Marc Kegel, Shana Yunsheng Li, Qiuyu Ren
Palomar RegistrySep 22, 2026math.GRmachine-checkedscore 0
- CaffarelliKohnNirenberg
Scott Armstrong, Vlad Vicol
Palomar RegistrySep 22, 2026math.APmachine-checkedscore 0
- An atomic decomposition of one-dimensional metric currents without boundary
Daniel Spector (NTNU, Taipei)
Palomar RegistrySep 21, 2026math.FAmachine-checkedscore 0
- Microscopic signed fields and empirical Poisson laws
Brice Pouly
Palomar RegistrySep 21, 2026math.NTmachine-checkedscore 0
- Regular configurations, Palm deficits and the cumulant obstruction
Brice Pouly
Palomar RegistrySep 21, 2026math.NTmachine-checkedscore 0
- Lower bounds for sets without perfect-power differences
JD Jones
Palomar RegistrySep 21, 2026math.NTmachine-checkedscore 0
- A transexponential o-minimal structure
Artem Chernikov
Palomar RegistrySep 21, 2026math.LOmachine-checkedscore 0
- SCOPE and REACH with almost-surely finite stopping times
Luke Solo, Matthew B. A. McDermott, William F. Parker, Bashar Ramadan, Michael C. Burkhart, Brett K. Beaulieu-Jones
Palomar RegistrySep 21, 2026stat.MLmachine-checkedscore 0
- A machine-checked bound of 0.6934 for Besicovitch's 1/2-problem
Yongxi Lin
Palomar RegistrySep 20, 2026math.CAmachine-checkedscore 0
- Finite tight Blackwell approachability-to-improper phi-regret reduction in Lean
Arthur Freitas Ramos, Ruy Jose Guerra Barretto de Queiroz, David Barros Hulak
Palomar RegistrySep 20, 2026cs.GTmachine-checkedscore 0
- Erdős 689: eventual double covering by prime residue classes
Linmiao Xu
Palomar RegistrySep 20, 2026math.NTmachine-checkedscore 0
- Critical Poisson fields and information-adapted conditioning
Brice Pouly
Palomar RegistrySep 20, 2026math.NTmachine-checkedscore 0
- Typical dictionaries, exact marks and compound Poisson clusters
Brice Pouly
Palomar RegistrySep 20, 2026math.NTmachine-checkedscore 0
- Improved SparseStack Constants
Diar Heidary
Palomar RegistrySep 20, 2026math.PRmachine-checkedscore 0
- A formal proof of the Kung–Traub conjecture
Matthew J. Colbrook
Palomar RegistrySep 20, 2026math.NAmachine-checkedscore 0
- Threshold staircases and the Poisson–Gaussian bridge
Brice Pouly
Palomar RegistrySep 20, 2026math.NTmachine-checkedscore 0
- Erdős 973: power sums cannot all be exponentially small
Linmiao Xu
Palomar RegistrySep 20, 2026math.CVmachine-checkedscore 0
- Fischer's 24-vertex zero-forcing counterexample
John Fairfax-Ball
Palomar RegistrySep 20, 2026math.COmachine-checkedscore 0
- The order-six stable-marriage finite-poset bound
Myunglae Jo
Palomar RegistrySep 20, 2026math.COmachine-checkedscore 0
- Microscopic boundary, prefixes and longest runs
Brice Pouly
Palomar RegistrySep 20, 2026math.NTmachine-checkedscore 0
- Microscopic–bulk crossover and conditional affine laws
Brice Pouly
Palomar RegistrySep 20, 2026math.NTmachine-checkedscore 0
- One-Sided Affine Obstructions in Complete Bipartite Hat Guessing
Myunglae Jo
Palomar RegistrySep 20, 2026math.COmachine-checkedscore 0
- NKBesicovitch
Yongxi Lin
Palomar RegistrySep 19, 2026math.CAmachine-checkedscore 0
- BKARForestFormula
Scott Armstrong
Palomar RegistrySep 19, 2026math-phmachine-checkedscore 0
- Irrationality of the 7-adic zeta value ζ₇(3)
Yi Taifeng
Palomar RegistrySep 19, 2026math.NTmachine-checkedscore 0
- definable-saturated
Elliot Glazer
Palomar RegistrySep 19, 2026math.LOmachine-checkedscore 0
- Superdiffusion
Scott Armstrong, Tuomo Kuusi
Palomar RegistrySep 18, 2026math.PRmachine-checkedscore 0
- Endpoint estimates for Stein's purely quadratic Carleson operator
Anastasios Fragkos
Palomar RegistrySep 18, 2026math.CAmachine-checkedscore 0
- Komlós conjecture
Gabriel Dahia
Palomar RegistrySep 18, 2026math.COmachine-checkedscore 0
- gnm-lean: the number of partitions of {1, ..., n} into sets of at most three elements with power-of-three sums
JD Jones
Palomar RegistrySep 18, 2026math.COmachine-checkedscore 0
- Yu-Wang-Samworth 2015: population-gap eigenspace and singular-subspace perturbation bounds
Jon Crall, Edward Wang
Palomar RegistrySep 18, 2026math.STmachine-checkedscore 0
- Birnbaum’s principles in Venn diagrams: Extended version with Lean verification
Jaime Enrique Lincovil Curivil, Alexandre Galvão Patriota
Palomar RegistrySep 18, 2026math.STmachine-checkedscore 0
- Sharp symmetry bounds for real plane algebraic curves (Theorem 1)
Carlo Perassi
Palomar RegistrySep 18, 2026math.AGmachine-checkedscore 0
- Several complex variables: local theory, Hartogs phenomena, Weierstrass theory, domains of holomorphy and pseudoconvexity
Bastiaan J Braams
Palomar RegistrySep 18, 2026math.CVmachine-checkedscore 0
- A convex body variant of Soberon's counterexample to the Grünbaum conjecture.
Arseniy Akopyan
Palomar RegistrySep 18, 2026math.COmachine-checkedscore 0
- Termination of the classical inflation hierarchy on pair-source networks
William Blair
Palomar RegistrySep 17, 2026quant-phmachine-checkedscore 0
- Davis-Kahan 1970: the four Section 2 rotation-of-eigenvectors theorem families
Jon Crall, Edward Wang
Palomar RegistrySep 17, 2026math.FAmachine-checkedscore 0