arXiv++ Combinatorics

We prove co-RE-completeness, and thus undecidability, of the following problem: given a single (connected) polycube, decide whether it tiles 3D Euclidean space by translations. We reduce from Wang tiling using the decorated two-prime Sudoku construction of Greenfeld and Tao and a cyclic encoding adapted from OpenAI's 3D aperiodic tile, and apply a reduction of Kim to make the prototile connected (via faces). Dimension three is optimal: translational monotiling is known to be decidable in $\mathbb{Z}^2$ and for a single (possibly disconnected) polyomino in $\mathbb{R}^2$.

We proved a log-star comparison between the expectation threshold $q(\mathcal F)$ and the fractional expectation threshold $q_f(\mathcal F)$ for any nontrivial increasing family $\mathcal F$ on a finite ground set $V$ of size $|V|=N$. Specifically, we show that $$q_f(\mathcal F)\le64\log_2^*(N+2)\,q(\mathcal F),$$ where $\log_2^* x$ is the iterated logarithm of base-2. Using similiar methods, one can extend this result to the following stronger form: there exists a universal constant $C>0$ such that \[ q_f(\mathcal F)\le Cq(\mathcal F)\log_2^*(l(\mathcal F)),\quad q_f(\mathcal F)\le Cq(\mathcal F)\log_2^*(\operatorname{VC}(\min\mathcal F)), \] where $l(\mathcal F):=\max\{2,\max_{S\in\min\mathcal F}|S|\}$ and $\operatorname{VC}(\min\mathcal F)$ denotes the VC-dimension of $\min\mathcal F$. On October 7, 2026, OpenAI released a result proving the equivalence of fractional and integral thresholds, which supersedes the findings in this note. The authors are keeping this note for historical reference.

We show that there exists $C\in\mathbb{N}$ such that $K_t$-minor free graphs are $Ct$-colorable. The proof was found by GPT-6 Astra, following the directions by the authors.

We present a new lower bound on the number of lattice points of all totally unimodular polytopes, generalizing previous lower bounds on contingency tables, integer flows, and beyond. Our bound is based on the Gurvits capacity convex optimization problem, and thus our result implies an efficient deterministic algorithm for approximate counting of the lattice points up to an explicit exponential factor. We achieve our bounds by showing that the associated generating polynomials fit into a new general class of log-concave polynomials called VLC ("variable-wise log-concavity''). This also implies a conjecture of Ferroni and Higashitani on the evaluations of the Ehrhart polynomials of unimodular polytopes. The essential ingredient for these results is the resolution of Barvinok's log-concavity conjecture for contingency tables on lines, which was proven using ChatGPT 6 Astra. We conjecture a generalization of Barvinok's conjecture, which we believe will lead to stronger and more general bounds.

In their work on sphere packing and the modular bootstrap, Afkhami-Jeddi, Cohn, Hartman, de Laat, and Tajdini conjectured the exact high-dimensional exponent of the Cohn-Elkies sphere-packing linear program. OpenAI's Chapter 1 subsequently proved their conjecture by establishing that both Fourier sign-uncertainty radii are $(1/π+o(1))\sqrt d$. We prove the binary coding analogue: \[ R_D\!\left(\frac12-\frac1π\right)=\frac12. \] We also formulate the two Krawtchouk sign-uncertainty problems and determine both of their asymptotics. If $A^{\mathrm K}_{\pm}(n)$ denotes the smallest radius $r$ for which a nonzero Krawtchouk $(\pm1)$-eigenfunction $f$ exists with $f(0) = 0$ and $f(x) \ge 0$ for all $|x| \ge r$, then \[ \frac{A^{\mathrm K}_{\pm}(n)}n\longrightarrow \frac12-\frac1π. \] The lower bound proves a mass-concentration principle similar to OpenAI's Chapter 1 for Hamming space. The upper bound, on the other hand, follows the approach of the spherical-code construction in OpenAI's Chapter 2. Gay, Jeronimo, and Liu formulated a hierarchy for binary codes analogous to the spherical-code construction and improved the best known binary coding rate bounds by evaluating the first level of the corresponding hierarchy. We prove this hierarchy bounds the Delsarte program and give a construction at arbitrarily deep levels of the hierarchy, attaining the upper bound in the limit. The construction uses an $N$-qubit generalization of the pure-state channel of Alrabiah and Guruswami.

We exhibit a cubic graph with total chromatic number equal to four and list total chromatic number five. This disproves the List Total Colouring Conjecture of Borodin--Kostochka--Woodall, Juvan--Mohar--Škrekovski and Hilton--Johnson from the late 1990s. ChatGPT 6 Astra Ultra discovered the counterexample with little input from the author.

Hadwiger's conjecture (1943) states that every graph $G$ with chromatic number at least $t$ contains a $K_t$-model: a collection of $t$ vertex-disjoint connected subgraphs $T_1,\dots,T_t$ such that for all $1\le i<j\le t$ some vertex in $T_j$ has a neighbour in $T_i$. Replacing "some" in this definition by "every" gives rise to the significantly stronger notion of a dominating $K_t$-model introduced by Illingworth and Wood (2024). They raised the question whether every graph of chromatic number at least $t$ contains a dominating $K_t$-model. This statement is a significant strengthening of Hadwiger's conjecture and has come to be known as the dominating Hadwiger conjecture. We provide our own exposition of a disproof of this conjecture found by ChatGPT 6 Astra Ultra. The construction is the complement of a pseudorandom triangle-free graph that is obtained by randomly subsampling a block geometric graph based on the Suzuki-Tits ovoid.

We give a new proof that if the natural numbers are colored in two colors, then there exists a monochromatic Pythagorean triple. The proof was found by ChatGPT Astra.

We prove that there is an absolute positive constant $c$ such that every bipartite graph with $N$ vertices in each part and at least $N^2/2$ edges contains a complete bipartite graph $K_{t,t}$ whenever $N\ge c\, 2^{t}$. This improves the classical Kővári-Sós-Turán bound requiring $N$ of order $t\,2^t $. As a consequence, the diagonal bipartite Ramsey number has upper bound $b(t,t)=O(2^t)$, improving the previous best bound $b(t,t) = O(2^t\, \log t )$ due to Conlon. The proof was found by GPT-6 Astra, and the method will probably have further applications.

This is an essentially derivative note, whose goal is to interpret the 'whole-cube' bound of OpenAI for binary codes in a possibly somewhat more accessible way. This is attained, in part, by connecting it to some previously known results. All of the heavy technical lifting in the interpretation below is also due to the OpenAI language models ChatGPT 5.6 and ChatGPT 6. With that, we hope that the statements of the main results, the ensuing discussion, and the arguments themselves may be of some interest.

It is well-known that any Coxeter group $W$ is a meet-semilattice with respect to weak order. Furthermore, when $W$ is finite, it is a lattice. In the first part of this paper, we give a recursive algorithm that computes joins in weak order for arbitrary finite $W$. In the second part, we complete the proof of a conjecture of Dyer expressing the inversion set of a join in terms of the union of inversion sets of each factor, under the assumption that $W$ is finite. Some proofs were developed in collaboration with Claude Opus 5.

We describe a polytopal realization of categorical $n$-associahedra. The normal fan of this polytopal realization is a modification of the authors' velocity fan and was found by OpenAI's Astra model.

We give explicit positive formulas for Chapoton's $q$-Zeta numerators of the Ferrers-cell posets $F_{\mathbf b}=\{(i,c):1\leq i\leq r, i\leq c\leq b_i\}$, where $b_1\geq\cdots\geq b_r\geq r$, and for every interval of their minimum-augmented lattices. A constructive signed EL-labelling expresses the numerator as a descent enumerator over boundary-admissible path words. A finite transfer-matrix recursion recovers the full multivariate descent-set polynomial. For trapezoidal boundaries, Gaussian-binomial formulas describe every interval and every $t$-slice. At $q=1$, a Jacobi-polynomial transform gives simple negative zeros, strict fixed-offset interlacing, and an explicit arcsine push-forward limit. We also obtain algebraic fixed-offset generating functions and the growth rate $(1+\sqrt t)^2$ for $t\geq0$. The standard positive-root posets of types $A_r$, $B_r$, and $C_r$ are specializations, graded by root height minus one with Chapoton's fixed denominator. For types $B_r$ and $C_r$, this yields all-rank coefficientwise positivity, the reversed-ballot formula, the specialization $[t^k]\mathbb{H}_{P_r,\operatorname{rk}}(1,t)=\binom{r-1}{k}^2$, and sharp slice degrees with unique leading monomials. The main results of this paper were obtained through a generative-AI workflow using OpenAI GPT-5.6 Sol, Anthropic Claude Fable 5, and Grok 4.6. OpenAI GPT-6 Astra was used for subsequent proof and citation review and manuscript revision. Further details appear in the disclosure at the end of the paper.

We exhibit a graph $G$ with $14$ vertices and list chromatic number equal to $3$ such that there is a $2$-list assignment $L$ of $G$ such that at most $9$ vertices of $G$ can be properly coloured from $L$. This disproves the Partial List Colouring Conjecture of Albertson, Grossman and Haas. This counterexample was discovered and fully verified by ChatGPT 6 Astra Ultra after some persistent prompting, but almost no mathematical input, from the author.

We present a simplified proof of the Erdős-Sós Conjecture on trees in graphs, which is based on its recent resolution by GPT-6 Astra. At the same time, we also give another proof of the corresponding conjecture for antidirected trees in digraphs, posed by Addario-Berry, Havet, Linhares Sales, Reed, and Thomassé. Our proof uses the language of random cyclic orderings in order to take advantage of symmetries that were obscured in the original argument, and we hope that the reader will find it intuitive.

We prove that no $52$-point subset of the affine plane $\mathbb F_{13}^{2}$ has exactly four special directions, where a direction is special when its thirteen parallel affine lines do not all meet the set in the same number of points. A universal incidence identity reduces the four exceptional line-count functions to a polynomial identity over $\mathbb F_{13}$. Linear independence of the associated binary forms of degree at least three then forces those functions to have degree at most two. Classification of the resulting constant, linear, and quadratic profiles leaves a quadratic-character congruence with no solution. The incidence and polynomial argument supplies the quantifier over all $52$-point subsets and all four-direction sets; the remaining classification of quadratic value tables is finite and exact. Together with Ghidelli's lower bound and the $65$-point construction of Kiss and Somlai, this determines the minimum size of a subset of $\mathbb F_{13}^{2}$ with exactly four special directions: it is $65$. The AI-assisted workflow used OpenAI GPT-5.6 Sol, Anthropic Claude Fable 5, Grok 4.6, and OpenAI GPT-6 Astra, together with Codex-controlled Danus.

We prove that a path maximizes the expected range of a uniformly chosen graph homomorphism into the integers, with one vertex pinned at zero, among all connected bipartite graphs of the same order. This establishes the expectation form of the Benjamini--Häggström--Mossel conjecture. The proof restricts and rescales a homomorphism on each bipartition class, then contracts the edges on which the resulting height function is constant. A quantitative estimate for the rank of these zero edges compensates for a parity term in the expected range of a simple random walk, allowing an induction on the number of vertices. We then prove that the BHM inequality implies the Loebl--Ne\v set\v ril--Reed inequality for uniformly chosen integer 1-Lipschitz functions on arbitrary connected graphs, and hence obtain the LNR conjecture as a corollary of BHM. The proof was obtained through interaction with OpenAI GPT-6 Astra and verified by the author. The main results have also been formalized and checked in Lean~4.

The Erd\H os--Sós Conjecture was recently proved by GPT-6 Astra, using a very ingenious and surprising argument. In this note, we present a simplified version of this argument in an (arguably) more natural form. We also determine the extremal graphs for the Erd\H os--Sós Conjecture, and prove a related conjecture of Addario-Berry, Havet, Linhares Sales, Reed and Thomassé, again determining the extremal graphs.

We present an exposition of a proof, discovered by GPT-6 Astra, of the Erdős--Sós Conjecture, which states that every graph with average degree greater than $t-2$ contains every tree on $t\geq 2$ vertices.

Let $Δ(G)$ and $χ'(G)$ be the maximum degree and chromatic index of a graph $G$, respectively. Gupta\,(1967), Goldberg\,(1973), Andersen\,(1977), and Seymour\,(1979) made the following conjecture: Every multigraph $G$ satisfies $χ'(G) \le \max\{ Δ(G) + 1, Γ(G) \}$, where $Γ(G) = \max_{H \subseteq G, |V(H)|\geq 2} \left\lceil \frac{ |E(H)| }{ \lfloor \tfrac{1}{2} |V(H)| \rfloor} \right\rceil$ is the density of $G$. In this paper, we present a polynomial-time algorithm for coloring any multigraph with $\max\{ Δ(G) + 1, Γ(G) \}$ colors, confirming the conjecture algorithmically. Since $χ'(G)\geq \max\{ Δ(G), Γ(G) \}$, this algorithm gives a proper edge coloring that uses at most one more color than the optimum. As determining the chromatic index of an arbitrary graph is $NP$-hard, the $\max\{ Δ(G) + 1, Γ(G) \}$ bound is best possible for efficient proper edge coloring algorithms on general multigraphs, unless $P=NP$. Chen, Hao, Yu, and Zang have also presented an algorithm using similar high-level ideas; the present approach establishes a complete proof. The proofs of Theorems 3.2 and 3.3 were also verified by an AI-assisted audit using OpenAI's GPT-6 Pro model in ChatGPT; all resulting comments and revisions were independently evaluated by