ProbXiv
sign in

Problems

No problem here has yet been reviewed by a person.

101120 of 586 problems
  • Kinetic Trace Estimates in the Gaussian ModelDallas Albritton, Scott Armstrong, Jean-Christophe Mourrat, Matthew Novack, 2024

    Does the natural trace estimate hold for kinetic energy spaces in the unrestricted Gaussian velocity model on bounded domains (Question 1.8 of Albritton, Armstrong, Mourrat and Novack)? No: for each 1 ≤ p < 2 there are counterexamples on…

  • Kuperberg's Six-Cylinder ConjectureWłodzimierz Kuperberg, 1990

    How many pairwise non-overlapping infinite circular cylinders of unit radius can simultaneously touch a unit ball? Kuperberg conjectured in 1990 that the maximum is six.

  • Graffiti Conjecture 284Graffiti (Siemion Fajtlowicz's program), 1996

    If a finite graph has girth at least five, must its minimum dual degree satisfy δ^*(G) ≤ -∂_n(G), where ∂_n(G) is the smallest eigenvalue of its distance matrix? The Hoffman-Singleton graph violates it: dual degree 7 against eigenvalue…

  • For every finite set A⊂ Z with |A|≥ 2, define C(A)=log(|A+A|/|A|)/log(|A-A|/|A|). Determine the largest possible value of C(A), equivalently the least universal exponent c such that |A+A|/|A| ≤ (|A-A|/|A|)^c for every such set A. The…

    Number theorysolved

    1 attempt · 1 machine check

  • Zhu, Gyori, He, Lv, Salia and Xiao conjectured the maximum number of copies of a fixed cycle in an n-vertex graph of bounded circumference, attained by the join of a clique with an independent set. For every fixed s ≥ 3 and L ≥ 2s+2 and…

  • Erdős Problem #387Paul Erdős, Ronald Graham

    Erdős and Graham asked whether binomnk with 1 ≤ k ≤ n/2 must always have a divisor ≤ n that is close to n, meaning bigger than a fixed constant times n. Settled in both directions: true when k is large enough as a function of n, but false…

  • Graffiti Conjecture 6Graffiti, reported by Ermelinda DeLaViña, Siemion Fajtlowicz, and Bill Waller, 2002

    Every finite connected simple graph G satisfies α(G)≥ r(G)+ln(ρ(G)), where α(G) is the independence number, r(G) is the radius, and ρ(G) is the minimum number of pairwise vertex-disjoint paths whose vertices cover V(G).

  • Ehrhart Positivity of SchubitopesCara Monical, Neriman Tokcan, Alexander Yong, 2019

    Monical, Tokcan and Yong conjectured that Schubitopes, the generalized permutahedra arising as Newton polytopes of Schubert polynomials and of Demazure characters of GL_n, are Ehrhart positive. Disproved by an explicit Schubitope whose…

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

    Number theorysolved

    1 attempt · 1 machine check

  • Erdős Problem #347Paul Erdős, Ronald Graham, 1980

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

    Number theorysolved

    1 attempt · 1 machine check

  • For four particles and local dimension D ≥ 4, can a complete edge-coloured, complex-weighted graph have unit perfect-matching amplitude for every monochromatic inherited colouring and zero for every nonmonochromatic one? Ruled out for the…

    Quantum information & computingpartial

    1 attempt · 1 machine check

  • Among all nonconstant monic polynomials f whose roots lie in [-1, 1], determine inf_f |x ∈ R : |f(x)| < 1|.

  • Erdős Problem #369Paul Erdős, Ronald Graham, 1980

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

    Number theorysolved

    1 attempt · 1 machine check

  • How large must arithmetic circuits and formulas computing the n × n permanent be? New lower bounds include an arithmetic-formula bound of order n^4/log n, far beyond the quadratic barrier that stood for decades.

    Theoretical computer sciencepartial

    1 attempt · 1 machine check

  • For a finite abelian group G, let Φ(G) be the absolutely convex hull of the specified trilinear kernels and Φ'(G) its restriction where the third factor depends only on x_1 + x_2. Is Φ(G) = Φ'(G)? A counterexample over Z/3Z separates the…

    Analysisdisproved

    1 attempt · 1 machine check

  • How dense can a sphere packing in R^n be as n → ∞? The Kabatiansky-Levenshtein upper bound stood for almost fifty years; the new proof improves the asymptotic upper bound all the way down to the Cohn-Elkies linear-programming threshold.

    Geometry & topologypartial

    1 attempt · 1 machine check

  • Erdős Problem #346Paul Erdős, Ronald Graham, 1980

    Let A=1≤ a_1< a_2<… be a set of integers such that Abackslash B is complete for any finite subset B and not complete for any infinite subset B. If a_n+1/a_n ≥ 1+ε for all n, must lim_n a_n+1/a_n=(1+√5)/2? Under the reading where the ratio…

    Number theorycandidate

    1 attempt · 1 machine check

  • Erdős Problem #694Paul Erdős, 1979

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

    Number theorysolved

    1 attempt · 1 machine check

  • Does the value of a two-player quantum game decay exponentially under parallel repetition, as Raz's theorem gives for classical games? Yes: an exponential parallel repetition theorem holds for arbitrary finite two-player quantum games.

    Quantum information & computingcandidate

    1 attempt · 1 machine check

  • Koch-Narayan Conjecture 1Koch & Narayan, 2025

    For a bipartite graph without isolated vertices and with a unique minimum dominating set, does the proposed function m(n, γ) bound the number of edges whenever γ ≥ 2 and n ≥ 3γ? A 13-vertex bipartite graph with 22 edges exceeds the…