Problems
Everything in the archive: the problem as it was posed, what has been attempted against it, and who checked each attempt. The mark down the left of the list says who has looked — a person, a machine, or nobody yet. Human reviews and machine checks are counted separately and are never added together.
365 problems
Regts and Sevenster conjectured that a complex-valued graph parameter f with f(∅)=1 has exponentially bounded edge-connection rank precisely when it is a mixed partition function. The paper proves it, with the numbers of even and odd…
For a finite-dimensional algebra A, finite global dimension forces HH_n(A) = 0 for all large n. Han conjectured the converse: eventual vanishing of Hochschild homology should detect homological smoothness. Disproved by an explicit…
Erdős, Herzog and Piranian (1958) asked whether the regular n-gon maximizes the product of pairwise distances among n points of fixed diameter. After the recent discovery that it does not for even n, this paper proves the first exponential…
Does the Dinitz-Garg-Goemans cost-preserving unsplittable-flow rounding conjecture survive on acyclic planar instances with only four terminals? An explicit instance answers no: every cost-nonincreasing unsplittable routing has upper…
For A=0,1,2^d, write f(d) for the fewest proper sub-boxes covering every point exactly twice. Leader, Miličević and Tan asked whether f(d)≥ 2^d for all d, as Question 4.1 of the PatternBoost paper. The paper gives new bounds on f(d).
Let D_q(n) be the largest possible least degree of a polynomial omitted by a non-covering family of n distinct-modulus congruence classes in F_q[x]. What is its asymptotic size? The answer is D_q(n) = n/q-1 + O_q(1).
What is the best deterministic polynomial-time approximation ratio for the permanent of a Hermitian positive semidefinite matrix? Resolved up to lower-order terms in the exponent: an explicit concave maximisation widehat P(A) satisfies…
For a forbidden configuration F, the Anstee-Sali conjecture predicts that forb(m, F) is Theta(m^(X(F)-1)), where X(F) comes from an explicit product construction. Disproved: the 4-uniform family on six vertices formed by a two-vertex core…
Does a general pencil of plane cubics over C have exactly 12 common flex lines? Ciliberto, Miranda and Roé asked this in Remark 5.3 of their paper; the answer is yes.
Amdeberhan, Shareshian and Stanley showed a function from the theory of partition Eisenstein series counts alternating permutations with a given record partition, and asked whether a similar theory exists for record compositions,…
If origin-symmetric convex bodies K, L ⊂ R^n satisfy vol_m(K ∩ E) ≤ vol_m(L ∩ E) for every m-dimensional subspace E with 1 < m < n, does vol_n(K) ≤ vol_n(L) follow? Answered affirmatively for subspace dimensions m = 2 and m = 3.
Let S(x) count ordered pairs (a,b) with a+b ≤ x and σ(a)+σ(b) = σ(a+b). Erdos asked whether S(x) ~ cx. The opposite extreme holds: for every R > 0, S(x)/(x(log x)^R) → ∞, so the count beats every fixed logarithmic scale.
For the released four-terminal planar acyclic single-source unsplittable-flow gadget, require one unsplittable routing to be no more expensive than a prescribed fractional routing under each of m strictly positive full-demand…
Determine the leading asymptotic of the largest eigenvalue of the N-Majorana quartic SYK Hamiltonian as N → ∞. The preprint proves λ_1/√N → 4∫_0^∞ g_0(t)^4 dt ≈ 0.32504 almost surely, via the limiting free energy at every fixed positive…
Is it true that for every ε,η>0 there exists a k such that the density of n for which P(n(n+1)…(n+k))>n^1-ε is at least 1-η, where P(m) is the greatest prime divisor of m? A short argument via the Matomäki-Radziwiłł theorem establishes the…
After Chen-He-Ye-Yuan's counterexample to direct three-block ADMM, the subclass in which the third constraint block is the identity matrix remained unresolved: the literature contained neither a convergence proof nor a counterexample.…
Two free ergodic measure-preserving flows whose L^1 full groups are isomorphic as abstract groups are conjugate up to a scalar time change. This proves the flow analogue of Belinskaya's theorem, answering a question posed by François Le…
For fixed d, can every d-dimensional feasible solution of the triangle-strengthened Max-Cut SDP be rounded in polynomial time with ratio strictly larger than α_GW? A rounding achieving α_GW + 2^-O(d) answers yes.
A precise asymptotic formula for the number of n × 4t partial Hadamard matrices in the regimes t/n^3 → ∞ and t/n^3 → Θ, reaching the cubic regime that previous approaches (de Launey-Levin and successors) could not.
Does there exist an integer polynomial f of degree at least two and a set A ⊆ Z such that every integer has a unique representation n = a + f(k)? A manuscript claims the thirteenth powers admit a tiling complement.