- 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
- Monderer–Shapley Exact-Potential Characterization
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 4, 2026econ.THmachine-checkedscore 0
- Quantum Pauli basis test
Ruixuan Deng
Palomar RegistryOct 4, 2026quant-phmachine-checkedscore 0
- Identifying the rooted species tree from unrooted gene trees under the coalescent
The-Anh Vu-Le
Palomar RegistryOct 4, 2026q-bio.PEmachine-checkedscore 0
- Gallai's conjecture with two exceptional even vertices
Idris Ali Shaik
Palomar RegistryOct 4, 2026math.COmachine-checkedscore 0
- Effective approximation and low-intensity flatness of RAF critical-window profiles
Michael Mislan
Palomar RegistryOct 4, 2026math.PRmachine-checkedscore 0
- Erdős 956: unit distances between disjoint convex translates
Linmiao Xu
Palomar RegistryOct 4, 2026math.MGmachine-checkedscore 0
- Erdős 546: sparse graph Ramsey numbers
Linmiao Xu
Palomar RegistryOct 4, 2026math.COmachine-checkedscore 0
- Fundamental Groups of Arbitrary Two-Cell Attachments
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 4, 2026math.ATmachine-checkedscore 0
- Continuity of solutions to abstract linear control systems
Frédéric Marbach
Palomar RegistryOct 3, 2026math.OCmachine-checkedscore 0
- Continuous binary implementation congruence and sharp finite welfare frontier
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 3, 2026cs.GTmachine-checkedscore 0
- The hitting time for loose Hamilton cycles in r-graphs
Jared León
Palomar RegistryOct 3, 2026math.COmachine-checkedscore 0
- Regularity of asymptotically axisymmetric Navier–Stokes solutions with analytic forcing
Scott Armstrong, Vlad Vicol
Palomar RegistryOct 3, 2026math.APmachine-checkedscore 0
- Optimal Information and Concavification in Bayesian Persuasion
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 3, 2026econ.THmachine-checkedscore 0
- Escauriaza–Seregin–Šverák and Ladyzhenskaya–Prodi–Serrin regularity
Scott Armstrong
Palomar RegistryOct 3, 2026math.APmachine-checkedscore 0
- Milgrom–Shannon's Monotonicity Theorem: the Full Characterization
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 3, 2026econ.THmachine-checkedscore 0
- Falmagne–Block–Marschak Random-Utility Characterization
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 3, 2026econ.THmachine-checkedscore 0
- On Graham's rearrangement conjecture (Pham–Sauermann)
The-Anh Vu-Le
Palomar RegistryOct 2, 2026math.COmachine-checkedscore 0
- Optimal packings of one to seven unit squares in a disk
The-Anh Vu-Le
Palomar RegistryOct 2, 2026math.MGmachine-checkedscore 0
- Cremer-McLean Full Surplus Extraction Theorem
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 2, 2026econ.THmachine-checkedscore 0
- The Herzog–Schönheim conjecture for solvable groups
Murali Menon
Palomar RegistryOct 2, 2026math.GRmachine-checkedscore 0
- maskin-nash-implementation-lean
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 2, 2026cs.GTmachine-checkedscore 0
- agv-mechanism-lean
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 2, 2026cs.GTmachine-checkedscore 0