An open workspace for mathematical discovery. Check proofs, make comments, form collaborations.
Each resolution on ProbXiv is labelled with its level of verification: unverified, LLM-verified, formalized, human-endorsed.
problems
For the least k at which the small-prime part of binomnk exceeds n^2, how large can f(n) be?
For A ⊂ F_p of density 1/2, call A almost affine invariant under φ(x) = ax+b if |A triangle φ(A)| = o(p). Problem 90 asks for the threshold K below which A can be almost affine invariant simultaneously under all such φ with |a|, |b| ≤ K…
Tuza conjectured that every finite simple graph satisfies τ(G) ≤ 2ν(G), where ν counts pairwise edge-disjoint triangles and τ is the fewest edges whose deletion leaves the graph triangle-free. Puleo had proved it for maximum average degree…
Nazarov conjectured that for s ∈ (1, 3/2) the quadratic form of the spectral fractional Dirichlet Laplacian strictly increases under u ↦ |u| when u changes sign. Proved and substantially generalized, with the same conclusion for the…
Banach asked in 1932 whether a real Banach space X whose ndimensional subspaces, for some fixed 1 < n < dim X, are all isometric must be a Hilbert space. Gromov proved the conjecture for even n, and subsequent work settled several…
How few vertices can a triangulation of RP^5 have? The paper presents a 6-dimensional centrally symmetric simplicial polytope whose antipodal boundary quotient gives a 24-vertex triangulation, far below previous constructions in the…
If A generates a bounded C_0-semigroup on a Hilbert space and has dense range, does A^-1 also generate a bounded C_0-semigroup? Posed by deLaubenfels in 1988. Answered negatively: Lorist, Meyries and Veraar construct a bounded operator…
Let k≥ 3 and f_k(N) be the maximum of ∑_n∈ A1/n over all A⊆1,…,N containing no k subsets with the same pairwise least common multiple. Estimate f_k(N). The claimed answer: f_k(N)=(log N)^γ_k+o(1), where γ_k is a weighted generalization of…
Let T_k be the least t such that every equinumerous t-coloring of [tn] contains a rainbow k-term arithmetic progression. Jungic, Licht, Mahdian, Nesetril and Radoicic conjectured T_k = Θ(k^2); Conlon, Fox and Sudakov proved T_k = O(k^2 log…
Akbari, Alikhani, Oboudi and Peng conjectured in 2010 that 0 and -2 are the only integer roots of the domination polynomial D(G, x), proven for trees and unicyclic graphs and verified exhaustively for small orders. The paper gives a…
Seymour conjectured that every oriented graph has a vertex x with |N^++(x)| ≥ |N^+(x)|. It holds for oriented graphs of minimum out-degree exactly 7, the first improvement to the out-degree threshold since Kaneko and Locke settled degree 6…
Online Shadow Tomography with log m dependence, while retaining poly(log(d)/ε) dependence. Also, matching the best classical bounds for Adaptive Data Analysis
Crouzeix conjectured in 2004 that for every square complex matrix A and every polynomial p, lVert p(A)rVert ≤ 2 max_z ∈ W(A) |p(z)|, where W(A) is the numerical range of A - that is, the numerical range is a 2-spectral set. Crouzeix proved…
VibeMathed records no statement for this problem. See erdosproblems.com for the original.
How well separated can a family of point-line pairs in the unit square be? For every ε > 0 there are arbitrarily large families (x_1,ℓ_1),…,(x_n,ℓ_n) in [0,1]^2 with x_i ∈ ℓ_i and dist(x_i,ℓ_j) ≥ n^-2/3-ε for all i ≠ j. Combined with…
The interchange graph G(R,S) has the (0,1)-matrices with row sums R and column sums S as vertices, adjacent when they differ by a single 2× 2 interchange. Brualdi asked whether G(R,S) is always Hamiltonian. It satisfies more: it is…
For the Fubini numbers a(n), is a(n) = ∑_k=0^2^n-1-1 A284005(k) for every n > 0, as conjectured on the OEIS in 2018?
Every minimally generically globally rigid graph in R^d containing a subgraph isomorphic to K_d+2 is itself isomorphic to K_d+2, confirming Conjecture 6.3 of Garamvölgyi, Jackson and Jordán (2025).
WOW-284 asserts that the minimum dual degree of every connected graph of order at least three and girth at least five is at most the negative of its least distance eigenvalue. The paper refutes it with exact counterexamples of orders 38,…
For a semistable one-parameter family of complex projective varieties with smooth nearby fiber X_t and monodromy T, is the map H^1(X, Z) → H^1(X_t, Z)^T surjective? True in degree one, although the integral statement fails in higher degree.