- Menger's theorem, Hamiltonian cycles, long cycles and pancyclicity
Juan Pablo Traverso Gianini
Palomar RegistryOct 19, 2026math.COmachine-checkedscore 0
- Brooks' theorem, degree-choosability and blocks
Juan Pablo Traverso Gianini
Palomar RegistryOct 19, 2026math.COmachine-checkedscore 0
- Berge's theorem, the Tutte–Berge formula and the Gallai–Edmonds theorem
Juan Pablo Traverso Gianini
Palomar RegistryOct 19, 2026math.COmachine-checkedscore 0
- Tamper-proofing with self-modifying code: threat model, security and necessity of the assumptions
Gregory Morse
Palomar RegistryOct 19, 2026cs.CRmachine-checkedscore 0
- Normalizers of Γ_Δ(N), Γ(N) and ±Γ₁(N)
Filip Najman
Palomar RegistryOct 19, 2026math.NTmachine-checkedscore 0
- Normalizers of Γ_Δ(N): the group M_Δ, finiteness, and a coset count
Filip Najman
Palomar RegistryOct 19, 2026math.NTmachine-checkedscore 0
- Hamiltonian s–t paths in solid grid graphs are decidable in polynomial time
Z. Zzyzek
Palomar RegistryOct 19, 2026cs.DMmachine-checkedscore 0
- A Unified Kalman-Type Classification of Controllability for Linear Stochastic Systems
Yu Wang
Palomar RegistryOct 19, 2026math.OCmachine-checkedscore 0
- Survival and transience above the compartment-division threshold
Michael Mislan
Palomar RegistryOct 19, 2026math.PRmachine-checkedscore 0
- Omega-bounded Sigma-products and a sharp compactness criterion
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 19, 2026math.GNmachine-checkedscore 0
- Exact db2 cascade norms and an optimal uniform constant
Jaime Enrique Lincovil Curivil, César Daniel Reinoso Reinoso, Niels Pacheco-Barrios
Palomar RegistryOct 19, 2026math.FAmachine-checkedscore 0
- Countable cellularity of arbitrary products via finite subproducts
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 19, 2026math.GNmachine-checkedscore 0
- Erdős Problem 111: bipartizing finite subgraphs of uncountably chromatic graphs
Jacob Parish
Palomar RegistryOct 19, 2026math.COmachine-checkedscore 0
- Erdős Problem 173: monochromatic triangles in two-colorings of the plane
Jacob Parish
Palomar RegistryOct 19, 2026math.COmachine-checkedscore 0
- Erdős Problem 408: distribution of iterated totient heights
Jacob Parish
Palomar RegistryOct 19, 2026math.NTmachine-checkedscore 0
- Exact fault images in priority controllers
Idris Ali Shaik
Palomar RegistryOct 19, 2026cs.DMmachine-checkedscore 0
- Falconer's distance problem for stretched logarithmic gauges
Yongxi Lin
Palomar RegistryOct 19, 2026math.CAmachine-checkedscore 0
- Kuhn poker: the value −1/18, all optimal strategies, and the solution at every ante and bet
JD Jones
Palomar RegistryOct 19, 2026cs.GTmachine-checkedscore 0
- The Alon–Tarsi theorem and 3-choosability of planar bipartite graphs
Juan Pablo Traverso Gianini
Palomar RegistryOct 19, 2026math.COmachine-checkedscore 0
- Guarded detection and constrained eligible-set extensions
Idris Ali Shaik
Palomar RegistryOct 19, 2026cs.DMmachine-checkedscore 0
- Barker sequences of odd length have length 1, 3, 5, 7, 11 or 13
JD Jones
Palomar RegistryOct 19, 2026math.COmachine-checkedscore 0
- Sharp continued-fraction bounds from exact digit runs
JD Jones
Palomar RegistryOct 19, 2026math.NTmachine-checkedscore 0
- A certificate for the triangle variational problem
Matthew Kwan, Huy Tuan Pham
Palomar RegistryOct 19, 2026math.COmachine-checkedscore 0
- Bergman projection weak type constants
Yongxi Lin
Palomar RegistryOct 19, 2026math.CVmachine-checkedscore 0
- Pure infinitely self-modifying code
Gregory Morse
Palomar RegistryOct 18, 2026cs.LOmachine-checkedscore 0
- Chvátal's and Pósa's degree conditions for Hamiltonian cycles
Juan Pablo Traverso Gianini
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- The graph removal lemma for every fixed graph
Juan Pablo Traverso Gianini
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- Additive strengthening of Erdos problem 679: a known refutation
AItoBit
Palomar RegistryOct 18, 2026math.NTmachine-checkedscore 0
- Tutte's f-factor theorem
Juan Pablo Traverso Gianini
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- Chordal, split, threshold and cograph structure
Juan Pablo Traverso Gianini
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- Elementary bounds for Erdos problem 684
AItoBit
Palomar RegistryOct 18, 2026math.NTmachine-checkedscore 0
- Planar Pólya–Szegő Buckling Inequality
Quanyu Tang, Haiqi Zhang
Palomar RegistryOct 18, 2026math.APmachine-checkedscore 0
- Dirac's theorem: k vertices of a k-connected graph lie on a common cycle
Juan Pablo Traverso Gianini
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- Fréchet–Urysohn Σ-products of first-countable spaces
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 18, 2026math.GNmachine-checkedscore 0
- The local dynamical structure of Δ* sets via a new Furstenberg family algebra
Angelina Blahodatna, Lauren Detmold, Daniel Glasscock, Anh N. Le
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- Spectral bounds on the chromatic and independence numbers
Juan Pablo Traverso Gianini
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- Distinct prime divisors of central binomial coefficients
AItoBit
Palomar RegistryOct 18, 2026math.NTmachine-checkedscore 0
- The Arithmetic of Time: the slowest settling clock on at most three letters is the Padovan substitution, unique up to mirror image, and both minimal rules are chiral
Stephanie Alexander
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- The radian nine-gon is Euclidean Ramsey iff e^(i theta) is algebraic
Will Strinz
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- Graham's bounds for list scheduling and LPT on identical machines: 2 − 1/m, 4/3 − 1/(3m) and their tight instances
JD Jones
Palomar RegistryOct 18, 2026cs.DSmachine-checkedscore 0
- Robbins' theorem on strongly connected orientations
Juan Pablo Traverso Gianini
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- Lossy Distance-Shell Tomography on Paths: Recovery from Mean and Covariance
Lennart Rudolph
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- GromovMilman
Arseniy Akopyan
Palomar RegistryOct 18, 2026math.MGmachine-checkedscore 0
- Pointwise a.e. convergence of ergodic averages with respect to two commuting transformations in Lean
Floris van Doorn, Polona Durcik, Joris Roos, Lenka Slavíková, Christoph Thiele
Palomar RegistryOct 18, 2026math.DSmachine-checkedscore 0
- Paracompact expansion and collectionwise separation
Arthur Freitas Ramos, David Barros Hulak, Ruy Jose Guerra Barretto de Queiroz
Palomar RegistryOct 18, 2026math.GNmachine-checkedscore 0
- Systolic growth in every genus
Nihar Gargava
Palomar RegistryOct 18, 2026math.DGmachine-checkedscore 0
- Galvin's theorem, the Dinitz problem and stable matchings
Juan Pablo Traverso Gianini
Palomar RegistryOct 18, 2026math.COmachine-checkedscore 0
- Persistent failure of Euclidean quartic SOS exactness
JD Jones
Palomar RegistryOct 18, 2026math.OCmachine-checkedscore 0
- The compositum of the two Mahler minimizers: exact measure, conjugate census, house, and minimal product recurrence, with the Bedford-Kim plastic family, Lehmer's polynomial, and the E_m Coxeter bridge
Stephanie Alexander
Palomar RegistryOct 17, 2026math.NTmachine-checkedscore 0
- Formalization of a discrete Carleson theorem of Stein-Wainger type
Joris Roos
Palomar RegistryOct 17, 2026math.CAmachine-checkedscore 0