Collections
One collection is one import: a named source, the problems taken from it, and the conditions they were worked on under.
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.
newest
Find a nontrivial lower bound or upper bound of QMX(n).
Ehrhart equivalence is a necessary and sufficient condition for (not necessarily finite or rational) discrete equidecomposability.
Is it true that for every nonnegative integer k, there exists a connected graph G satisfying φ(G) − κ(G) + 1 = k?
Is there a nice combinatorial proof for the number of interior lattice points of P_n(132,312) ?
We discuss ... including some new ones that we present in this last section (in particular Conjectures 11.3 and 11.5).
Mathematics resolved with AI involvement, catalogued by vibemathed.com with the model, the human collaborators and the verification status recorded for each result. Imported under CC BY 4.0.
newest
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…
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?
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?
Han and Jiang asked whether being of klt type is an open condition in flat families of varieties. It is not.
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…
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.