Problems

Let m_1≤…≤ m_k and n be sufficiently large. If T is a tree on n vertices and G is the complete multipartite graph with vertex class sizes m_1,…,m_k, prove that R(T,G)≤ (χ(G)-1)(R(T,K_m_1,m_2)-1)+m_1.

Borsuk's conjecture asked whether every bounded set in R^n can be partitioned into n+1 subsets of smaller diameter. It is false in dimension 63: there is a set of 321 points in R^63 whose smaller-diameter subsets have at most 5 points, so…

What is the minimum asymptotic density δ_k of monochromatic k-term arithmetic progressions in every two-colouring of 1, …, n? The exact certificate gives δ_3 = 117/2192, matching the known 548-bead colouring.

A question of Averkov, Hofscheier and Nill on whether the Ehrhart h^*-polynomial of a lattice polytope of large lattice width is real-rooted. Proved in fixed dimension for sufficiently large lattice width, giving strict log-concavity and…

For a single-source unsplittable flow, find the optimal universal additive constant C s.t. every feasible fractional flow x with arc costs c should admit an unsplittable routing y with c^top y ≤ c^top x and y_a ≤ x_a + C · d_max on every…

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…

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…

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).

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…

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…

Mihail and Vazirani conjectured that the graph of every 0/1-polytope has edge expansion at least one. Disproved by a family of 0/1-polytopes whose edge expansion decreases exponentially in the dimension.

Must every connected graph satisfy the proposed upper bound on its independence number in terms of residue and largest induced-bipartite-subgraph order? The family overlineK_2r+1 ∨ (K_r sqcup K_r) violates it for every r ≥ 3.

Must every graph with n vertices and δ n^2 edges contain large subgraphs in which every two edges lie on specified short cycles? A dense high-girth construction refutes the statement when δ may shrink with n.

If a chromatic symmetric function is Schur positive, must every finite-variable specialization X_G(x_1, …, x_k) have a saturated Newton polytope? A 12-vertex bipartite graph realizes weights (6,6,0) and (8,2,2) but omits their midpoint…

The Kajitani–Ueno–Miyano conjecture asserts that every finite uniformly dense matroid has a cyclic basis ordering. The conjecture is proved for all matroids of rank three. The new result establishes the previously unresolved divisible…

Chromatic quasisymmetric functions of natural unit interval graphs were conjectured to have log-concave coefficients in the elementary basis. A connected 13-vertex example refutes it: for the Hessenberg function…

Erdos and Hajnal asked whether h_r(G) = maxχ(H) : H ⊆ G, girth(H) ≥ r tends to infinity as χ(G) does, for every fixed r ≥ 4. It does in every fixed polynomial edge-density regime.

A subset A of the pointwise-ordered cube [0,1]^n is a k-antichain when it meets every chain in at most k points. The conjecture concerns the largest possible (n-1)-dimensional Hausdorff measure of such a set; it is settled here, following…

Kotzig conjectured that for every even n ≥ 4 the complete graph K_n decomposes into n-1 perfect matchings such that every pair of them forms a Hamilton cycle. An asymptotic version holds: K_n decomposes into n-1 perfect matchings of which…

Simon conjectured that every skeleton of a simplex is extendably shellable. False: for every d ≥ 3 there is a pure d-dimensional shellable simplicial complex that is not shelling completable.