- The quasi-isometry classes of Galton–Watson trees: Lean formalisation
Jayadev S. Athreya, Sascha Troscheit
Palomar RegistrySep 30, 2026math.PRmachine-checkedscore 0
- Characterizing digraph support families by rooted-interval deletion
Michael Mislan
Palomar RegistrySep 30, 2026math.COmachine-checkedscore 0
- Two-fold Langford sequences exist exactly when 3l ≥ 2d − 1; the m-fold counting bound and its attainment, and a residue bound
JD Jones
Palomar RegistrySep 30, 2026math.COmachine-checkedscore 0
- Erdős Problem #1219 in Lean 4: Σ_k 2^{ℵ_{n_k}} → (ℵ_ω)² (Shelah 1975)
Ji Ho Bae (JRTI)
Palomar RegistrySep 30, 2026math.LOmachine-checkedscore 0
- Erdős Problem 809: rainbow odd cycles
Jacob Parish
Palomar RegistrySep 30, 2026math.COmachine-checkedscore 0
- One-generated (1518 + 3862)-magmas are trivial or the Z/3 shift; an explicit family of finite 1518-magmas violating laws 47, 614, 817, 3862
Carlo Perassi
Palomar RegistrySep 30, 2026math.RAmachine-checkedscore 0
- NP-hardness of Gaussian c-separation
Tomislav Prusina
Palomar RegistrySep 30, 2026cs.LOmachine-checkedscore 0
- At least one of ζ(7), ζ(9), …, ζ(21) is irrational
Gennaro Marco Devincenzis
Palomar RegistrySep 30, 2026math.NTmachine-checkedscore 0
- Determinants and unstable cores in sequential distributive phosphorylation
Michael Mislan
Palomar RegistrySep 30, 2026math.DSmachine-checkedscore 0
- Attracting oscillations in sequential distributive phosphorylation
Michael Mislan
Palomar RegistrySep 30, 2026math.DSmachine-checkedscore 0
- Adamczewski–Bugeaud 2007: the complexity of algebraic numbers in integer bases
Ralf Stephan
Palomar RegistrySep 30, 2026math.NTmachine-checkedscore 0
- Zero-divisor criteria for absolute concentration robustness
Michael Mislan
Palomar RegistrySep 30, 2026math.ACmachine-checkedscore 0
- kissing-number-lean
Marek Wrzos
Palomar RegistrySep 30, 2026math.MGmachine-checkedscore 0
- Irrationality of Li₂(1/2)
Qian Tang
Palomar RegistrySep 30, 2026math.NTmachine-checkedscore 0
- Hong and Kung's red-blue pebble game: the partition lemma and I/O lower bounds for the FFT and matrix multiplication
George A. Constantinides
Palomar RegistrySep 30, 2026cs.CCmachine-checkedscore 0
- Near-linear cycles in connected vertex-transitive graphs
Matija Bucic
Palomar RegistrySep 30, 2026math.COmachine-checkedscore 0
- Frankl-Kupavskii-Swanepoel Theorem 3: fewer than C(d+2,2) edges embeds in R^d
Dishant Shah
Palomar RegistrySep 30, 2026math.COmachine-checkedscore 0
- Krohn–Rhodes decomposition of finite monoids into aperiodic and simple-group factors
Aditya Rao
Palomar RegistrySep 30, 2026math.GRmachine-checkedscore 0
- The 2-adic zeta value ζ₂(7) is irrational
Gennaro Marco Devincenzis
Palomar RegistrySep 30, 2026math.NTmachine-checkedscore 0
- Deciding D-stability is coNP-hard
Michael Mislan
Palomar RegistrySep 30, 2026math.DSmachine-checkedscore 0
- A critical-point criterion for D-stability in every dimension
Michael Mislan
Palomar RegistrySep 30, 2026math.DSmachine-checkedscore 0
- Improved sum–difference inequalities in abelian groups
Logan J. Kleinwaks
Palomar RegistrySep 30, 2026math.NTmachine-checkedscore 0
- solid-lean
Elliot Glazer
Palomar RegistrySep 30, 2026math.LOmachine-checkedscore 0
- ProbStack — Random Stacking on Trees
John Fairfax-Ball
Palomar RegistrySep 30, 2026math.COmachine-checkedscore 0
- Local Hodge generation of sl(15) and scalar response rigidity
Stephanie Alexander
Palomar RegistrySep 30, 2026math.RTmachine-checkedscore 0
- Unistationarity of Type II_l and Type V normal forms with nonnegative degradation
Michael Mislan
Palomar RegistrySep 30, 2026math.DSmachine-checkedscore 0
- FKS Problem 2 in dimension three
Dishant Shah
Palomar RegistrySep 30, 2026math.COmachine-checkedscore 0
- Unconstrained detection of productive autocatalytic cores is NP-complete
Michael Mislan
Palomar RegistrySep 30, 2026cs.CCmachine-checkedscore 0
- Black-Scholes pricing via Girsanov change of measure
Ezzeri Esa
Palomar RegistrySep 30, 2026math.PRmachine-checkedscore 0
- Linear independence of 1, ζ(2), ζ(3) over ℚ
Qian Tang
Palomar RegistrySep 30, 2026math.NTmachine-checkedscore 0
- Evertse 1984: sums of S-units and linear recurrences
Ralf Stephan
Palomar RegistrySep 30, 2026math.NTmachine-checkedscore 0
- Embedding countable groups into groups of type FP_n
Laurent Bartholdi
Palomar RegistrySep 30, 2026math.GRmachine-checkedscore 0
- Pascal Extremes
John Fairfax-Ball
Palomar RegistrySep 30, 2026math.NTmachine-checkedscore 0
- Metric–Pfaffian Stabilizers and Fixed-Hodge Field Recovery
Stephanie Alexander
Palomar RegistrySep 30, 2026math.RTmachine-checkedscore 0
- A complete crystalline-measure space of countably infinite Hamel dimension
Jamie Martin, Li Shen
Palomar RegistrySep 30, 2026math.CAmachine-checkedscore 0
- Amenability of Lie, group and Hopf algebras
Laurent Bartholdi
Palomar RegistrySep 30, 2026math.RAmachine-checkedscore 0
- Adversary bounds and the polynomial method for quantum queries
Troy Lee
Palomar RegistrySep 29, 2026quant-phmachine-checkedscore 0
- A Lean formalization of the Erdős discrepancy theorem
Sean Huver
Palomar RegistrySep 29, 2026math.NTmachine-checkedscore 0
- Global class field theory in Lean 4.35.0-rc2
Naganori Yamaguchi
Palomar RegistrySep 28, 2026math.NTmachine-checkedscore 0
- Local class field theory in Lean 4.35.0-rc2
Naganori Yamaguchi
Palomar RegistrySep 28, 2026math.NTmachine-checkedscore 0
- Lean Formalization of Interpreting Lambda Calculus in Domain-Valued Random Variables (CSL 2026)
Lars Warren Ericson
Palomar RegistrySep 28, 2026cs.LOmachine-checkedscore 0
- Conditional Hilbert-space classification of Gromov--Hausdorff space
Yoshito Ishiki
Palomar RegistrySep 28, 2026math.GNmachine-checkedscore 0
- Uniform Minor-Arc Cancellation for Primes at the X^{2/15+ε} Scale
Conor Grogan
Palomar RegistrySep 27, 2026math.NTmachine-checkedscore 0
- Corvaja–Zannier 2004: rational approximations to the powers of an algebraic number
Ralf Stephan
Palomar RegistrySep 27, 2026math.NTmachine-checkedscore 0
- Equivalence of the RAF abundance conjecture and Frankl's union-closed sets conjecture
Michael Mislan
Palomar RegistrySep 27, 2026math.COmachine-checkedscore 0
- Zero forcing number of the generalized Petersen graphs P(n,3)
John Fairfax-Ball
Palomar RegistrySep 27, 2026math.COmachine-checkedscore 0
- The Four Color Theorem (Lean 4 port of Gonthier's Coq proof)
Robert D. Barish
Palomar RegistrySep 27, 2026math.COmachine-checkedscore 0
- Péterfalvi's Problem for p = 3: No Group Satisfies Hypothesis (B)
Yawara Ishida
Palomar RegistrySep 27, 2026math.GRmachine-checkedscore 0
- Erdős Problem #1220 in Lean 4: the affirmative statement is not provable in ZFC
Ji Ho Bae (JRTI)
Palomar RegistrySep 26, 2026math.LOmachine-checkedscore 0
- Myerson-Satterthwaite impossibility theorem (continuous bilateral-trade version)
Arthur Freitas Ramos
Palomar RegistrySep 26, 2026econ.THmachine-checkedscore 0