Open Research Index

871 records

  1. Threshold staircases and the Poisson–Gaussian bridge

    Brice Pouly

    Palomar RegistrySep 20, 2026math.NTmachine-checkedscore 0

  2. Erdős 973: power sums cannot all be exponentially small

    Linmiao Xu

    Palomar RegistrySep 20, 2026math.CVmachine-checkedscore 0

  3. Fischer's 24-vertex zero-forcing counterexample

    John Fairfax-Ball

    Palomar RegistrySep 20, 2026math.COmachine-checkedscore 0

  4. The order-six stable-marriage finite-poset bound

    Myunglae Jo

    Palomar RegistrySep 20, 2026math.COmachine-checkedscore 0

  5. Microscopic boundary, prefixes and longest runs

    Brice Pouly

    Palomar RegistrySep 20, 2026math.NTmachine-checkedscore 0

  6. Microscopic–bulk crossover and conditional affine laws

    Brice Pouly

    Palomar RegistrySep 20, 2026math.NTmachine-checkedscore 0

  7. One-Sided Affine Obstructions in Complete Bipartite Hat Guessing

    Myunglae Jo

    Palomar RegistrySep 20, 2026math.COmachine-checkedscore 0

  8. NKBesicovitch

    Yongxi Lin

    Palomar RegistrySep 19, 2026math.CAmachine-checkedscore 0

  9. BKARForestFormula

    Scott Armstrong

    Palomar RegistrySep 19, 2026math-phmachine-checkedscore 0

  10. Irrationality of the 7-adic zeta value ζ₇(3)

    Yi Taifeng

    Palomar RegistrySep 19, 2026math.NTmachine-checkedscore 0

  11. definable-saturated

    Elliot Glazer

    Palomar RegistrySep 19, 2026math.LOmachine-checkedscore 0

  12. Superdiffusion

    Scott Armstrong, Tuomo Kuusi

    Palomar RegistrySep 18, 2026math.PRmachine-checkedscore 0

  13. Endpoint estimates for Stein's purely quadratic Carleson operator

    Anastasios Fragkos

    Palomar RegistrySep 18, 2026math.CAmachine-checkedscore 0

  14. Komlós conjecture

    Gabriel Dahia

    Palomar RegistrySep 18, 2026math.COmachine-checkedscore 0

  15. 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

  16. Yu-Wang-Samworth 2015: population-gap eigenspace and singular-subspace perturbation bounds

    Jon Crall, Edward Wang

    Palomar RegistrySep 18, 2026math.STmachine-checkedscore 0

  17. 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

  18. Sharp symmetry bounds for real plane algebraic curves (Theorem 1)

    Carlo Perassi

    Palomar RegistrySep 18, 2026math.AGmachine-checkedscore 0

  19. Several complex variables: local theory, Hartogs phenomena, Weierstrass theory, domains of holomorphy and pseudoconvexity

    Bastiaan J Braams

    Palomar RegistrySep 18, 2026math.CVmachine-checkedscore 0

  20. A convex body variant of Soberon's counterexample to the Grünbaum conjecture.

    Arseniy Akopyan

    Palomar RegistrySep 18, 2026math.COmachine-checkedscore 0

  21. Termination of the classical inflation hierarchy on pair-source networks

    William Blair

    Palomar RegistrySep 17, 2026quant-phmachine-checkedscore 0

  22. Davis-Kahan 1970: the four Section 2 rotation-of-eigenvectors theorem families

    Jon Crall, Edward Wang

    Palomar RegistrySep 17, 2026math.FAmachine-checkedscore 0

  23. Chain Bounding

    Pedro Sánchez Terraf

    Palomar RegistrySep 17, 2026math.LOmachine-checkedscore 0

  24. ns-lean: Naslund's Conjecture 13 is false at q = 3, k = 2, for every n congruent to 0 mod 4 with n >= 8

    JD Jones

    Palomar RegistrySep 17, 2026math.NTmachine-checkedscore 0

  25. A formalization of Chang, Liu, and Liu's proof of Chvátal's conjecture

    Boon Suan Ho

    Palomar RegistrySep 17, 2026math.COmachine-checkedscore 0

  26. Sectorial asymptotics for centered Riemann-xi coefficients

    John Savva

    Palomar RegistrySep 17, 2026math.NTmachine-checkedscore 0

  27. Resonance-cluster analysis for a proposed counterexample to Fried's conjecture

    Benjamin Lawton

    Palomar RegistrySep 17, 2026math.DSmachine-checkedscore 0

  28. The exponential map is chaotic

    Lasse Rempe

    Palomar RegistrySep 16, 2026math.DSmachine-checkedscore 0

  29. BSCAveraging

    Georg Pichler

    Palomar RegistrySep 15, 2026cs.ITmachine-checkedscore 0

  30. Boundary regularity for non-local operators with symmetric kernels and vanishing horizon

    Philipp Svinger

    Palomar RegistrySep 15, 2026math.APmachine-checkedscore 0

  31. Integral Matrices of Fixed Rank over Number Fields: Lean formalization

    Nihar Gargava

    Palomar RegistrySep 15, 2026math.NTmachine-checkedscore 0

  32. Erdős Problem 190: every canonical N exceeds (Ck)^k for large k, and H(k)^{1/k}/k → ∞ under the existence hypothesis — a Lean 4 formalization of the qualitative statement of arXiv:2604.20588

    Ji Ho Bae

    Palomar RegistrySep 15, 2026math.COmachine-checkedscore 0

  33. B. C. Carlson's approach to special functions of applied mathematics

    Bastiaan J Braams

    Palomar RegistrySep 15, 2026math.CAmachine-checkedscore 0

  34. Constructive families and an extension theorem for binary permutation X-rays

    JD Jones

    Palomar RegistrySep 15, 2026math.COmachine-checkedscore 0

  35. CoarseGraining

    Scott Armstrong, Tuomo Kuusi

    Palomar RegistrySep 15, 2026math.APmachine-checkedscore 0

  36. MarkovProcess

    Scott Armstrong

    Palomar RegistrySep 15, 2026math.PRmachine-checkedscore 0

  37. Formalization of norm-variation of multiple ergodic averages for commuting transformations

    Floris van Doorn, Polona Durcik, Joris Roos, Lenka Slavíková, Christoph Thiele

    Palomar RegistrySep 15, 2026math.CAmachine-checkedscore 0

  38. A Tight Upper Bound for Fully Dynamic Matching on the Line

    Yash Kanoria

    Palomar RegistrySep 14, 2026math.OCmachine-checkedscore 0

  39. md-lean: exact height span, dart mass, and adjugate scaling for Mazur's greedy construction

    JD Jones

    Palomar RegistrySep 14, 2026math.COmachine-checkedscore 0

  40. A Surjunctive Group That Is Not Sofic

    Sauers

    Palomar RegistrySep 14, 2026math.GRmachine-checkedscore 0

  41. A proof of Nivat's conjecture

    Boon Suan Ho

    Palomar RegistrySep 14, 2026math.DSmachine-checkedscore 0

  42. To cover a permutohedron

    Bochao Kong

    Palomar RegistrySep 14, 2026math.COmachine-checkedscore 0

  43. Gallai’s Path Decomposition Conjecture for Graphs with Small Bowtie Boundaries

    Idris Ali Shaik

    Palomar RegistrySep 14, 2026math.COmachine-checkedscore 0

  44. MI-32: Lean formalization of the parity and positive-polynomial upper bound

    Diar Heidary

    Palomar RegistrySep 14, 2026math.PRmachine-checkedscore 0

  45. Robin1984

    Jonas Whidden

    Palomar RegistrySep 14, 2026math.NTmachine-checkedscore 0

  46. A Counterexample to the Trace Problem for Uniform Tracial Completions

    Sauers

    Palomar RegistrySep 14, 2026math.OAmachine-checkedscore 0

  47. Certified naturality and the obstruction to unrestricted naturality in a typed two-dimensional calculus

    Arthur F. Ramos

    Palomar RegistrySep 14, 2026math.LOmachine-checkedscore 0

  48. Explicit Fourier–Jacobi Haar-core evaluation and Abel limits

    Abhishek Saha

    Palomar RegistrySep 14, 2026math.NTmachine-checkedscore 0

  49. Rational invariants of three frames in the split Albert algebra: a Lean formalization

    Robert R. MacGregor

    Palomar RegistrySep 13, 2026math.RAmachine-checkedscore 0

  50. An Infinite Simple Group with Property (T) That Is Sofic and Hyperlinear

    Sauers

    Palomar RegistrySep 13, 2026math.GRmachine-checkedscore 0

Next page