ProbXiv
sign in

Problems

showing 1–20 of 586
  • Araujo, Piga and Schacht asked whether density and codegree both above 1/4 force a tight Hamilton cycle in a linearly quasirandom 3-graph. No: the threshold is p_0 = max_0 ≤ x ≤ 1minx^3, 1-x ≈ 0.3177, and below it there are dense 3-graphs…

    disproved

    1 attempt

  • KLS Conjecture for Quadratic FormsRavi Kannan, László Lovász & Miklós Simonovits, 1995

    Does the Kannan-Lovász-Simonovits variance inequality hold with a universal constant for every quadratic form of an isotropic log-concave random vector - that is, is Var⟨ MX, X⟩ ≤ C E|∇⟨ MX, X⟩|^2 for every symmetric M?

    solved

    1 attempt

  • For D_3(m) = vecC_m square vecC_m square vecC_m, can the full arc set be partitioned into three directed Hamilton cycles for every integer m ≥ 3?

    solved

    1 attempt · machine-checked by Lean

  • Han and Jiang asked whether being of klt type is an open condition in flat families of varieties. It is not.

    disproved

    1 attempt

  • Among sufficiently large one-separated planar point sets, does the triangular lattice maximize the number of distances below each threshold? Explicit rational oblique lattices beat the triangular lattice under several closed- and…

    variant

    1 attempt · machine-checked by Lean

  • For a pure O-sequence h = (h_0, …, h_e) of codimension three and type two, is h_i^2 ≥ h_i-1 h_i+1 for every interior index i? The stated monomial case is proved; the broader level-Hilbert-function case remains open.

    solved

    1 attempt · machine-checked by Lean

  • Swinnerton-Dyer (1981) proved R-equivalence trivial on smooth cubic surfaces over p-adic fields with good reduction, except for three special types. The paper resolves two long-standing exceptional cases: triviality for the diagonal cubic…

    solved

    1 attempt

  • For a transcendental entire function, how fast can |f(z)| be forced to grow along a path to infinity, and how short can such a path be in terms of the maximum modulus M(r, f)?

    partial

    1 attempt

  • Written on the Wall II, Graph Conjecture 144Written on the Wall II (automated conjecturing)

    For every finite connected simple graph G, is the order of the largest induced tree at least girth(G) - 1 + ecc(G, center(G)), where the last term is the eccentricity of the centre set? Answered affirmatively, with a Lean proof.

    candidate

    1 attempt · machine-checked by Lean

  • Given planks of fixed total width, how should they be placed to cover as much of a convex body's volume as possible? Karoly Bezdek asked whether, for a Euclidean ball, the optimum is a single plank centred at the origin. It is, and the…

    solved

    1 attempt

  • A cyclic meander induces a cyclic permutation on its 2n marked intersection points. Schwartz's conjecture on the quadratic growth of the associated meander number is resolved.

    solved

    1 attempt

  • Can there be a finite covering system of the integers with distinct moduli, all of which are odd and greater than 1?

    retracted

    1 attempt · a verdict recorded from elsewhere

  • Written on the Wall II, Graph Conjecture 143Graffiti (Written on the Wall II), 1996

    For every finite connected graph, is girth(G) + 1 at most the product of its largest induced-tree order and its second-smallest degree?

    solved

    1 attempt · machine-checked by Lean

  • Faber-Harris Conjecture on the Isolation LemmaVance Faber, David G. Harris, 2018

    For an inclusion-free hypergraph on n vertices, a weight assignment w:[n]→[d] is isolating when a unique edge attains minimum weight. Faber and Harris conjectured that the number of isolating assignments is at least n∑_j=0^d-1 j^n-1,…

    solved

    1 attempt

  • The low-degree conjecture predicts that when the low-degree advantage between a planted distribution and a uniform null distribution stays bounded, no polynomial-time algorithm can distinguish them. It is false. There is a planted…

    disproved

    1 attempt

  • Given n and 1 ≤ c ≤ n!, can n distinct group elements be chosen so that their n! ordered products take exactly c distinct values? Constructions realize every c.

    solved

    1 attempt · machine-checked by Lean

  • The Axiotis-Sviridenko Condition-Number ConjectureKyriakos Axiotis, Maxim Sviridenko, 2021

    Axiotis and Sviridenko conjectured that the linear dependence on the restricted condition number in sparse convex optimization cannot be improved by a polynomial-time algorithm. Their conjectured lower bound is established for…

    partial

    1 attempt

  • Norine conjectured that every red-blue edge-colouring of the n-dimensional hypercube Q_n in which antipodal edges get opposite colours contains a monochromatic path from some vertex to its antipode. The paper proves it, via a chain-level…

    solved

    1 attempt

  • Bounded Oracle Error in Nonconvex Stochastic OptimizationYossi Arjevani, Yair Carmon, John C. Duchi, Dylan J. Foster, Nathan Srebro, Blake Woodworth, 2023

    Arjevani et al. asked whether almost-surely bounded oracle error permits a better rate than bounded variance for smooth nonconvex stochastic optimization. It does not: every randomized adaptive algorithm still needs Omega(dL/eps^2 + dL…

    solved

    1 attempt

  • Sivaraman asked whether perfect divisibility is characterized by its chromatic consequence: is a graph G perfectly divisible if and only if χ(H) ≤ binomω(H)+12 for every induced subgraph H of G? False: the Paley graph P(17) satisfies the…

    disproved

    1 attempt

Collections

2
  • far
    FAR— Find, Attempt, and Recommend597 problems

    Open problems stated in published papers, attacked by a model and judged by a second model. Every judgement in this collection is a machine judgement.

    github.com/zeyu-zheng/FAR

  • vibemathed
    VibeMathed586 problems

    Mathematics resolved with AI involvement, catalogued by vibemathed.com with the model, the human collaborators and the verification status recorded for each…

    vibemathed.com

Review counts are listed by reviewer and are never added together. A machine judgement is labelled as one wherever it appears, and credits no ProbXiv account.