Open Research Index

871 records

  1. Hamilton cycles in Cayley graphs of polylogarithmic degree

    Shengtong Zhang

    Palomar RegistrySep 26, 2026math.COmachine-checkedscore 0

  2. Existence of a Model Companion for Groups of Exponent 3: Lean Formalization

    Yawara Ishida

    Palomar RegistrySep 26, 2026math.LOmachine-checkedscore 0

  3. Metric TSP subtour-LP integrality gap

    Troy Lee

    Palomar RegistrySep 26, 2026cs.DSmachine-checkedscore 0

  4. Erdős 1007, dimension five: fifteen edges, attained by K6 and K1,3,3

    Dishant Shah

    Palomar RegistrySep 25, 2026math.COmachine-checkedscore 0

  5. Classical Seifert–van Kampen theorem for the fundamental groupoid

    Arthur Freitas Ramos

    Palomar RegistrySep 25, 2026math.ATmachine-checkedscore 0

  6. A left PCI left V-domain that is not right PCI and not a right V-domain

    Vlad Tsyrklevich

    Palomar RegistrySep 25, 2026math.RAmachine-checkedscore 0

  7. Dimension-independent Hlawka constants for Schatten norms

    Ezzeri Esa

    Palomar RegistrySep 25, 2026math.FAmachine-checkedscore 0

  8. lean-LCS: locally convex spaces, duality, and closed graph theorems in Lean 4

    Bastiaan J. Braams

    Palomar RegistrySep 25, 2026math.FAmachine-checkedscore 0

  9. Shapley value axiomatic characterization

    Arthur Freitas Ramos

    Palomar RegistrySep 25, 2026math.LOmachine-checkedscore 0

  10. Weighted support criteria for reciprocal Mersenne subseries

    Will Cook

    Palomar RegistrySep 25, 2026math.NTmachine-checkedscore 0

  11. Tree stacking equals the Csernák--Soukup estimator on nontrivial finite trees

    John Fairfax-Ball

    Palomar RegistrySep 25, 2026math.COmachine-checkedscore 0

  12. Nonnegativity cutoffs for level-one modular forms

    Paul Jenkins

    Palomar RegistrySep 25, 2026math.NTmachine-checkedscore 0

  13. An exact counterexample to the D-unstable-core conjecture for parameter-rich reaction networks

    Michael Mislan

    Palomar RegistrySep 25, 2026math.DSmachine-checkedscore 0

  14. Nash bargaining solution axiomatic characterization

    Arthur Freitas Ramos

    Palomar RegistrySep 25, 2026math.LOmachine-checkedscore 0

  15. Sunflower bounds

    Troy Lee

    Palomar RegistrySep 25, 2026math.COmachine-checkedscore 0

  16. Formalization of Scott's Measurement Structures and Linear Inequalities in Lean 4

    Lars Warren Ericson, Dana S. Scott, Vijay D'Silva, Brian Milnes

    Palomar RegistrySep 25, 2026cs.LOmachine-checkedscore 0

  17. HighContrastHomogenization

    Scott Armstrong, Tuomo Kuusi, Amélie Loher

    Palomar RegistrySep 25, 2026math.APmachine-checkedscore 0

  18. Pascal Minus-One GCD

    John Fairfax-Ball

    Palomar RegistrySep 25, 2026math.NTmachine-checkedscore 0

  19. Irrationality of the Riemann zeta value at five

    Azriel Fasten

    Palomar RegistrySep 25, 2026math.NTmachine-checkedscore 0

  20. Unistationarity of Type II_l autocatalytic cores with positive degradation

    Michael Mislan

    Palomar RegistrySep 25, 2026math.DSmachine-checkedscore 0

  21. Attainment of 2n-1 positive steady states in sequential distributive phosphorylation

    Michael Mislan

    Palomar RegistrySep 25, 2026math.DSmachine-checkedscore 0

  22. Linear-size autocatalytic sets are asymptotically absent in the sparse binary polymer model

    Michael Mislan

    Palomar RegistrySep 25, 2026math.PRmachine-checkedscore 0

  23. Heights, Siegel's lemma, Roth's theorem and the Subspace Theorems in Lean

    Ralf Stephan

    Palomar RegistrySep 25, 2026math.NTmachine-checkedscore 0

  24. At least one of the 2-adic zeta values ζ₂(7), ζ₂(9), ζ₂(11) is irrational

    Gennaro Marco Devincenzis

    Palomar RegistrySep 25, 2026math.NTmachine-checkedscore 0

  25. Arrow's impossibility theorem (general finite version)

    Arthur Freitas Ramos

    Palomar RegistrySep 25, 2026math.LOmachine-checkedscore 0

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

  27. At least one of the 2-adic zeta values ζ₂(7), ζ₂(9) is irrational

    Gennaro Marco Devincenzis

    Palomar RegistrySep 25, 2026math.NTmachine-checkedscore 0

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

  29. Gibbard-Satterthwaite theorem (strategy-proof social choice)

    Arthur Freitas Ramos

    Palomar RegistrySep 25, 2026math.LOmachine-checkedscore 0

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

  31. Zero density theorems for short intervals

    Andrew Fiori

    Palomar RegistrySep 23, 2026math.NTmachine-checkedscore 0

  32. Positive density of Collatz convergence at every rate above 3/log(4/3)

    Idris Ali Shaik

    Palomar RegistrySep 23, 2026math.NTmachine-checkedscore 0

  33. Unit-distance graphs of dimension four with nine edges

    Dishant Shah

    Palomar RegistrySep 23, 2026math.COmachine-checkedscore 0

  34. Verified finite automata for finitely generated subgroups of F₂

    Arthur Freitas Ramos

    Palomar RegistrySep 23, 2026math.GRmachine-checkedscore 0

  35. A counterexample to the unrestricted form of Eden's conjecture

    Matthew J. Colbrook

    Palomar RegistrySep 22, 2026math.DSmachine-checkedscore 0

  36. Small undecidable groups and fixed-size Adian–Rabin families

    Marc Kegel, Shana Yunsheng Li, Qiuyu Ren

    Palomar RegistrySep 22, 2026math.GRmachine-checkedscore 0

  37. CaffarelliKohnNirenberg

    Scott Armstrong, Vlad Vicol

    Palomar RegistrySep 22, 2026math.APmachine-checkedscore 0

  38. An atomic decomposition of one-dimensional metric currents without boundary

    Daniel Spector (NTNU, Taipei)

    Palomar RegistrySep 21, 2026math.FAmachine-checkedscore 0

  39. Microscopic signed fields and empirical Poisson laws

    Brice Pouly

    Palomar RegistrySep 21, 2026math.NTmachine-checkedscore 0

  40. Regular configurations, Palm deficits and the cumulant obstruction

    Brice Pouly

    Palomar RegistrySep 21, 2026math.NTmachine-checkedscore 0

  41. Lower bounds for sets without perfect-power differences

    JD Jones

    Palomar RegistrySep 21, 2026math.NTmachine-checkedscore 0

  42. A transexponential o-minimal structure

    Artem Chernikov

    Palomar RegistrySep 21, 2026math.LOmachine-checkedscore 0

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

  44. A machine-checked bound of 0.6934 for Besicovitch's 1/2-problem

    Yongxi Lin

    Palomar RegistrySep 20, 2026math.CAmachine-checkedscore 0

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

  46. Erdős 689: eventual double covering by prime residue classes

    Linmiao Xu

    Palomar RegistrySep 20, 2026math.NTmachine-checkedscore 0

  47. Critical Poisson fields and information-adapted conditioning

    Brice Pouly

    Palomar RegistrySep 20, 2026math.NTmachine-checkedscore 0

  48. Typical dictionaries, exact marks and compound Poisson clusters

    Brice Pouly

    Palomar RegistrySep 20, 2026math.NTmachine-checkedscore 0

  49. Improved SparseStack Constants

    Diar Heidary

    Palomar RegistrySep 20, 2026math.PRmachine-checkedscore 0

  50. A formal proof of the Kung–Traub conjecture

    Matthew J. Colbrook

    Palomar RegistrySep 20, 2026math.NAmachine-checkedscore 0

Next page