ProbXiv
sign in

problems

586 problems
521–540 of 586 problems
  • Graffiti Conjecture 143Graffiti (Siemion Fajtlowicz's program), 1990

    For every connected graph, is the variance of its positive adjacency eigenvalues at most its order divided by its average distance? Exact dumbbell-graph certificates refute the bound under both conventions for average distance.

    disproved

    1 attempt

  • For S(x) = #(a,b) : a + b ≤ x, σ(a) + σ(b) = σ(a+b), is S(x) ~ cx? The preprint claims S(x) grows faster than x (log x)^R for every fixed R, ruling out the linear asymptotic.

    candidate

    1 attempt

  • For a differential poset P, must the weighted 2-multichain series M_P,2(q) be a rational multiple of F_P(q)^2, the square of its rank generating series?

    disproved

    1 attempt

  • What is the shortest curve guaranteed to reach the boundary of the golden gnomon - the isosceles triangle with equal sides 1 and apex angle 108^∘ - from an unknown starting position and heading? The optimum is a symmetric seven-piece path…

    solved

    1 attempt

  • Optimal Vector Balancing for Zonotopesvector balancing literature, 2002

    For every zonotope Z ⊂ R^d and vectors v_1,…,v_n ∈ Z, there are signs with ∑_i x_i v_i ∈ C√d Z for a universal constant C. This resolves a 2002 conjecture on vector balancing in zonotopes.

    solved

    1 attempt

  • 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…

    partial

    1 attempt

  • Strong Log-Concavity of Chernoff's DensityFadoua Balabdaoui & Jon A. Wellner, 2014

    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?

    solved

    1 attempt

  • Erdős Problem #848Paul Erdős, András Sárközy, 1992

    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…

    solved

    1 attempt · a verdict recorded from elsewhere

  • 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…

    solved

    1 attempt

  • The Frankl-Peng-Rodl-Talbot Question on Turan Density IntervalsPeter Frankl, Yuejian Peng, Vojtech Rodl, John Talbot, 2007

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

    solved

    1 attempt

  • Erdős Problem #793Paul Erdős, 1969

    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?

    solved

    1 attempt · a verdict recorded from elsewhere

  • Zero Forcing versus Independence in Subcubic GraphsTxGraffiti (automated conjecturing program), 2017

    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…

    disproved

    1 attempt

  • 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?

    partial

    1 attempt · a verdict recorded from elsewhere

  • Erdős Problem #986Paul Erdős, 1990

    VibeMathed records no statement for this problem. See erdosproblems.com for the original.

    solved

    1 attempt · a verdict recorded from elsewhere

  • Stable Phase Retrieval for Spans of Independent Random VariablesCalderbank, Daubechies, Freeman and Freeman

    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…

    solved

    1 attempt

  • Bosonic Quantum Communication Beyond the Thermal ThresholdAlexander Holevo and Reinhard Werner, 1999

    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…

    disproved

    1 attempt

  • 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.…

    partial

    1 attempt · a verdict recorded from elsewhere

  • 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…

    solved

    1 attempt

  • The Lonely Runner Conjecture for Nine and Ten RunnersJörg M. Wills; independently Thomas W. Cusick, 1967

    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…

    partial

    1 attempt

  • 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…

    solved

    1 attempt