Problems
No problem here has yet been reviewed by a person.
For every n ≥ 2k + 1, is the independence polynomial of GP(n, k) real-rooted if and only if k is even? Exact Sturm counts refute both directions.
Campbell, Distel, Gollin, Harvey, Hendrey, Hickingbotham, Mohar and Wood conjectured that every graph of degree-d polynomial growth embeds into the strong product of d trees of linear growth and a bounded clique. False for d = 4: a…
Chafai, Dadoun and Youssef asked whether the quadratically penalised logarithmic energy of mean empirical spectral distributions is monotone in the dimension, for Wigner matrices and for matrices with i.i.d. entries. Neither holds: a…
White conjectured that the symmetric exchange binomials generate the toric ideal of a matroid. This is now known to be false; a rank 9 binary matroid constitutes a counterexample.
Hamaker and Reiner conjectured that the order complex of an open interval (u,w) in the ASM weak order is contractible unless w is the long element of a standard parabolic subgroup, in which case it is homotopy equivalent to a sphere.…
Odifreddi asked, as Problem 3 in his surveys "Strong Reducibilities" (1981) and "Reducibilities" (1999), whether every computably enumerable tt-degree contains a c.e. irreducible m-degree, meaning an m-degree consisting of a single…
A graph G is maximal non-Hamiltonian if it is non-Hamiltonian but G + e is Hamiltonian for every nonedge e. In 1994 Vu Dinh Hoa conjectured a property of G - V(C) for a longest cycle C of such a graph. Disproved by an explicit base graph…
Does every nonlocal game admitting a perfect entangled strategy admit one using a maximally entangled state? Described in the paper as one of the longstanding open problems in quantum nonlocality. Answered negatively by an explicit…
A cyclic coloration of a triangulation of a closed 2-manifold gives the faces around every vertex distinct colors. Chen and Lawrencenko made two conjectures about the cyclic chromatic number of minimal triangulations in 1999. Their second…
Is the O'Shea-Zames-Falb multiplier test necessary for robust stability of Lur'e systems with slope-restricted nonlinearities, as conjectured by Carrasco? No: there is a stable Lur'e interconnection, certified by a full-block multiplier,…
For a graph G, its vertex deck is the multiset of graphs obtained by deleting one vertex. Bowler, Brown, and Fenner (BBF) proposed 2⌊(n−1)/3⌋ as the maximum possible overlap between the decks of two nonisomorphic n-vertex graphs, for all…
Pozdnyakov, Willatt, Bartók, Ortner, Csányi and Ceriotti showed in 2020 that the 2-, 3- and 4-point correlations of an atomic neighbour density are incomplete: noncongruent environments can share them exactly. Every degeneracy found since…
Let U_n⊂ R^n be the difference polytope of a regular n-simplex such that U_n circumscribes a sphere of diameter 1. Then every set of diameter 1 in R^n is covered by a rotated copy of U_n.
Every purely-maximal ideal of a commutative ring is purely-prime, and the converse holds for several important classes of rings; Tarizadeh conjectured (Conjecture 5.8 of his earlier published paper) that in a commutative ring every…
For a Brauer class on a variety, the period-index conjecture bounds the index in terms of the period and the dimension. Disproved: for any uncountable algebraically closed field k of characteristic 0 and any d ≥ 3 there is a d-dimensional…
Ciliberto, Knutsen, Lesieutre, Lozovanu, Miranda, Mustopa and Testa asked a question about effective divisors of positive self-intersection on smooth projective surfaces. The answer is negative, witnessed by a very non-movable effective…
Simonovits conjectured that if a forbidden family F with p(F) > 1 has extremal number exceeding the Turan bound by a superlinear surplus, then its extremal graphs are joins of p graphs, each extremal for a family of chromatic number two.…
The BCHM theorem makes the log canonical ring of a projective klt pair finitely generated. Generalized pairs, introduced by Birkar and Zhang, add an auxiliary nef part and have become a central tool in birational geometry, so it is natural…
A group is Howson if the intersection of any two finitely generated subgroups is finitely generated, and strongly Howson if the rank of that intersection is bounded in terms of the two ranks. Zhang asked whether the two coincide for…
Baumslag asked whether a one-relator group G=F/⟨⟨ r⟩⟩ with r a commutator is Hopfian, residually finite or automatic. The paper constructs a family G_m=⟨ a,t | [t,a[a,t]^-m]⟩ answering all three negatively.