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
The Courtade-Kumar conjecture (2014) posits that dictatorship functions maximize mutual information between a Boolean function's output and a noisy input. The paper resolves an open question posed by Courtade and Kumar themselves - a sharp…
Is the density of Chernoff's distribution - the law of argmax_t W(t) - t^2 for two-sided Brownian motion W - strongly log-concave, as conjectured by Balabdaoui and Wellner in 2014?
Is the maximum size of a set A⊆ 1,…,N such that ab+1 is never squarefree (for all a,b∈ A) achieved by taking those n≡ 7pmod25? Resolved for all sufficiently large N: any near-maximal A is contained in n≡ 7pmod25 or n≡ 18pmod25, leaving…
At the critical inverse temperature β=1 in the Sherrington-Kirkpatrick spin glass model, Talagrand conjectured that the expected squared overlap of two independent Gibbs replicas has an exact N^-2/3 scaling: there exists a constant a>0…
Frankl, Peng, Rodl and Talbot asked in 2007 whether the set of Turan densities of families of r-graphs contains intervals. It does: for every r ≥ 3 the set contains non-degenerate intervals, including one of the form [1-δ_r, 1].
Let F(n) be the largest A⊆1,…,n with anmid bc for distinct a,b,c∈ A. Is F(n)=π(n)+(C+o(1)) n^2/3(log n)^-2 for some constant C?
Is the zero forcing number of every connected graph with maximum degree 3 at most its independence number plus one? A connected 24-vertex subcubic graph with independence number 9 and zero forcing number 11 refutes this 2017 TxGraffiti…
For a closed infinite set F ⊆ C, let μ(F) be the infimum of |z : |f(z)| < 1| over monic polynomials with zeros in F. Is μ(F) determined only by the transfinite diameter of F?
VibeMathed records no statement for this problem. See erdosproblems.com for the original.
After L^2 normalization, stable phase retrieval holds over the L^2-spans of independent real-valued centered random variables exactly when all but possibly one coordinate satisfies a uniform two-sided L^1 bound. This confirms the…
Holevo and Werner's 1999 lower bound on the quantum capacity of the bosonic thermal attenuator comes from thermal inputs. Is it optimal? The paper proves it is exactly the supremum over single-mode Gaussian states, then exhibits a…
For a single-source unsplittable flow, find the optimal universal additive constant C s.t. every feasible fractional flow x with arc costs c should admit an unsplittable routing y with c^top y ≤ c^top x and y_a ≤ x_a + C · D on every arc.…
Klopp and Zadik gave an exponential-time node-private algorithm for exact community recovery in stochastic block models and asked whether a polynomial-time algorithm could match it. One can: a Lipschitz surrogate for the penalized…
The Lonely Runner Conjecture of Wills and Cusick states that among k+1 runners at distinct constant speeds on a unit circle, each runner is at some time at distance at least 1/(k+1) from all others. Following Rosenfeld's computer-assisted…
Han's conjecture predicts that a finite-dimensional algebra with eventually vanishing Hochschild homology has finite global dimension. Within the tau-Hochschild framework it splits into persistence and survival, and the Liu-Morin extension…
Yun, Sra and Jadbabaie posed as a COLT 2021 open question whether, for well-conditioned symmetric matrices, the operators encoding the expected iterate of single-shuffle SGD, random-reshuffle SGD and gradient descent on a quadratic finite…
For the integral I(h) over the unit interval and the torus, the paper gives the three-term Laurent polynomial f(x,z)=(1-z^-1)((1-x)+xz) with I(f^n)=0 but I(z^-1f^n)=(-1)^n-1/(n+1)≠0. This disproves the xz-conjecture with one interval and…
For every smooth positive density f on R^d, must the Fisher information t ↦ I(f * γ_t) be log-convex along the heat flow?
Ehrhart conjectured that a full-dimensional compact convex body in R^n whose barycenter is its unique interior lattice point has volume at most (n+1)^n/n!. With the inequality itself settled, the remaining question was which bodies attain…
Pavez-Signe (2024) conjectured a Dirac-type condition for spanning H-subdivisions and asked whether the subdivision paths can additionally be required to have similar lengths; Lee (2025) resolved the existence conjecture in the stronger…