arXiv++ Combinatorics

Given a finite family $\mathcal F$ of forbidden $r$-graphs, the Turán problem asks for the maximum asymptotic edge density of $\mathcal F$-free $r$-graphs and the structure of near-extremal examples. We show that both questions can encode arbitrary computation. Fix a universal Turing machine $\mathsf U$. For every sufficiently large fixed $r$, there is a rational $τ_r\in(0,1)$ such that, from each binary word $β$, one can construct a finite family $\mathcal F_{r,β}$ with $π(\mathcal F_{r,β})=τ_r$ if $\mathsf U$ does not halt on $β$, and $π(\mathcal F_{r,β})>τ_r$ otherwise. The same dichotomy governs extremal structure. We construct finite families $\mathcal G_{r,β}$ such that nonhalting gives a unique extremal limit and Erdős--Simonovits stability, whereas halting gives two nonempty compact extremal phases separated by the sign of a fixed continuous statistic. Hence uniqueness and connectedness of the extremal space, symmetry breaking, two-phase behavior, and stability are all undecidable. The reductions are effective and verifiable in ZFC by finite certificates. Consequently, for every consistent computably axiomatized extension of ZFC and every sufficiently large fixed $r$, there is a finite family $\mathcal F$ for which the true equality $π(\mathcal F)=τ_r$ is neither provable nor refutable; analogous independence holds for the five structural properties above. We also obtain effective approximation, classify exact comparison complexity, and show that the smallest improvement witnesses have Busy-Beaver growth, with no uniform computable positive lower bound on the density gain.

In this paper, we initiate the study of colored exponential random graph models (ERGMs), a class of exponential-family models for networks with multiple types of edge relations. Using the framework of probability graphons, we first derive a variational representation for the limiting free energy, whose maximizers determine the asymptotic structure of typical samples from the model. Then we identify several general families of colored ERGMs exhibiting replica symmetry, where the variational problem has constant maximizers and the model asymptotically concentrates on product colorings with independent edges. For general colored ERGMs, we derive Euler-Lagrange fixed-point equations for the variational maximizers, which in turn yield a general high-temperature uniqueness criterion. In the complementary zero-temperature regime, we establish a two-level selection principle: the leading energy term determines the ground states, while the lower-order energy terms, combined with entropy, act as a tie-breaker to determine the asymptotic zero-temperature structure of the model. We illustrate this principle through the induced wedge and rainbow triangle ERGMs. Both models have natural interpretations in multitype networks, and their zero-temperature limits exhibit interesting structures that connect to well-known results in extremal combinatorics. We further establish finite-temperature symmetry breaking for both these models and complement the rigorous results with numerical experiments.

A celebrated but non-effective theorem of Tibor Gallai states that for any finite set $A$ of $\Z^n$ and for any finite number of colors $c$ there is a minimal $m$ such that no coloring of the finite $m^n$-grid can avoid that a homothetic image of $A$ is monochromatic. We find (or confirm) $m$ for equilateral triangles, squares, and various types of rectangles. Also, we extend the problem from homothety to general similarity, or to similarity generated using some special rotations. In particular, we compute Gallai similarity numbers for lattice rectangles similar to $1\times k$ (in all orientations) for $k=2,3,4$. The solutions have been found in the framework of the Satisfiability Problem in Propositional Logic (SAT). While some questions were solved using managed brute force, for the more computationally intensive questions we used modern SAT solvers together with symmetry breaking techniques. Some other minor questions are solved for triangles and squares, and new lower bounds are found for regular hexagons on the triangular lattice and for three-dimensional cubes in $\Z^3$.

Quantum theory of geometrically frustrated systems is usually approached as a gauge theory where the local conservation law becomes the Gauss law. Here we show that it can do something fundamentally different: enforce a global conserved quantity via a non-perturbative tiling invariant, rigorously linking microscopic geometry to a new macroscopically phase-coherent state. In a frustrated bosonic model on the honeycomb lattice in the cluster-charging regime at fractional filling, this mechanism protects a conserved global quantum number, the sublattice polarization $\tilde{N} = N_A - N_B$. Quantum fluctuation drives the spontaneous symmetry breaking of this global U(1) symmetry to result in a supernematic (SN) phase -- an incompressible yet phase-coherent quantum state that breaks rotational symmetry without forming a superfluid or realizing topological order. This establishes a route to a novel quantum many-body state driven by combinatorial constraints.

Norin (2008) conjectured that any $2$-edge-coloring of the hypercube $Q_n$ in which antipodal edges receive different colors must contain a monochromatic path between some pair of antipodal vertices. While the general conjecture remains elusive, progress thus far has been made on two fronts: finite cases and asymptotic relaxations. The best finite results are due to Frankston and Scheinerman (2024) who verified the conjecture for $n \leq 7$ using SAT solvers, and the best asymptotic result is due to Dvořák (2020), who showed that every $2$-edge-coloring of $Q_n$ admits an antipodal path of length $n$ with at most $0.375n + o(n)$ color changes. We improve on both fronts via SAT. First, we extend the verification to $n = 8$ by introducing a more compact and efficient SAT encoding, enhanced with symmetry breaking and cube-and-conquer parallelism. The versatility of this new encoding allows us to recast parts of Dvořák's asymptotic approach as a SAT problem, thereby improving the asymptotic upper bound to $0.3125n + O(1)$ color changes. Our work demonstrates how SAT-based methods can yield not only finite-case confirmations but also asymptotic progress on combinatorial conjectures.

The queen domination problem asks for the minimum number of queens needed to attack all squares on an $n\times n$ chessboard. Once this optimal number is known, determining the number of distinct solutions up to isomorphism has also attracted considerable attention. Previous work has introduced specialized and highly optimized search procedures to address open instances of the problem. While efficient in terms of runtime, these approaches have not provided proofs that can be independently verified by third-party checkers. In contrast, this paper aims to combine efficiency with verifiability. We reduce the problem to a propositional satisfiability problem (SAT) using a straightforward encoding, and solve the resulting formulas with modern SAT solvers capable of generating proof certificates. By improving the SAT encoding with a novel literal ordering strategy, and leveraging established techniques such as static symmetry breaking and the Cube-and-Conquer paradigm, this paper achieves both performance and trustworthiness. Our approach discovers and corrects a discrepancy in previous results for $n=16$ and resolves the previously open case $n=19$.

Diagrammatic Monte Carlo methods provide robust routines for accurate computations of correlated electronic systems in the thermodynamical limit. Recently, its versatility was extended to SU(N) Hubbard model, where the core is a novel dynamical programming approach to the summation of all connected Feynman diagrams. We present several generalizations of it with more interaction vertices and symmetry broken terms. The framework treats SU(N) symmetry breaking both from nonuniform, flavor-dependent chemical potentials and from spontaneously broken phases induced by shift parameters. We also provide an end-to-end GPU acceleration path with dedicated CUDA C++ optimizations independent of a previous CUDA acceleration approach, where the parallelization strategy is different. We performed detailed numerical study of new algorithms involved in this article and exposed numerical instabilities of connected determinant formalism, which we solved in multiple ways. Together, these advances establish a scalable, high-performance DiagMC toolbox for multi-flavor correlated systems with and without symmetry breaking.

In the context of random regular graphs, the size of the maximum cut is probably the second most studied graph parameter after the independence ratio. Zdeborová and Boettcher used the cavity method, a non-rigorous statistical physics technique, to predict one-step replica symmetry breaking (1-RSB) formulas. Coja-Ohglan et al. confirmed these predictions as rigorous upper bounds using the interpolation method. While these upper bounds were not expected to be exact, they may be very close to the true values. In this paper, we establish 2-RSB upper bounds and fine-tune their parameters to beat the aforementioned 1-RSB bounds.

A statistical-mechanical study of the effect of constraint relaxation on the minimum vertex cover problem in Erdős-Rényi random graphs is presented. Using a penalty-method formulation for constraint relaxation, typical properties of solutions, including infeasible solutions that violate the constraints, are analyzed by means of the replica method and cavity method. The problem involves a competition between reducing the number of vertices to be covered and satisfying the edge constraints. The analysis under the replica-symmetric (RS) ansatz clarifies that the competition leads to degeneracies in the vertex and edge states, which determine the quantitative properties of the system, such as the cover and penalty ratios. A precise analysis of these effects improves the accuracy of RS approximation for the minimum cover ratio in the replica symmetry breaking (RSB) region. Furthermore, the analysis based on the RS cavity method indicates that the RS/RSB boundary of the ground states with respect to the mean degree of the graphs is expanded, and the critical temperature is lowered by constraint relaxation.

Studying independent sets of maximum size is equivalent to considering the hard-core model with the fugacity parameter $λ$ tending to infinity. Finding the independence ratio of random $d$-regular graphs for some fixed degree $d$ has received much attention both in random graph theory and in statistical physics. For $d \geq 20$ the problem is conjectured to exhibit 1-step replica symmetry breaking (1-RSB). The corresponding 1-RSB formula for the independence ratio was confirmed for (very) large $d$ in a breakthrough paper by Ding, Sly, and Sun. Furthermore, the so-called interpolation method shows that this 1-RSB formula is an upper bound for each $d \geq 3$. For $d \leq 19$ this bound is not tight and full-RSB is expected. In this work we use numerical optimization to find good substituting parameters for discrete $r$-RSB formulas ($r=2,3,4,5$) to obtain improved rigorous upper bounds for the independence ratio for each degree $3 \leq d \leq 19$. As $r$ grows, these formulas get increasingly complicated and it becomes challenging to compute their numerical values efficiently. Also, the functions to minimize have a large number of local minima, making global optimization a difficult task.

A coloring is distinguishing (or symmetry breaking) if no non-identity automorphism preserves it. The distinguishing threshold of a graph $G$, denoted by $θ(G)$, is the minimum number of colors $k$ so that every $k$-coloring of $G$ is distinguishing. We generalize this concept to edge-coloring by defining an alternative index $θ'(G)$. We consider $θ'$ for some families of graphs and find its connection with edge-cycles of the automorphism group. Then we show that $θ'(G)=2$ if and only if $G\simeq K_{1,2}$ and $θ'(G)=3$ if and only if $G\simeq P_4, K_{1,3}$ or $K_3$. Moreover, we prove some auxiliary results for graphs whose distinguishing threshold is 3 and show that although there are infinitely many such graphs, but they are not line graphs. Finally, we compute $θ'(G)$ when $G$ is the Cartesian product of simple prime graphs.

The arboreal gas is the probability measure on (unrooted spanning) forests of a graph in which each forest is weighted by a factor $β>0$ per edge. It arises as the $q\to 0$ limit of the $q$-state random cluster model with $p=βq$. We prove that in dimensions $d\geq 3$ the arboreal gas undergoes a percolation phase transition. This contrasts with the case of $d=2$ where no percolation transition occurs. The starting point for our analysis is an exact relationship between the arboreal gas and a non-linear sigma model with target space the fermionic hyperbolic plane $\mathbb{H}^{0|2}$. This latter model can be thought of as the $0$-state Potts model, with the arboreal gas being its random cluster representation. Unlike the standard Potts models, the $\mathbb{H}^{0|2}$ model has continuous symmetries. By combining a renormalisation group analysis with Ward identities we prove that this symmetry is spontaneously broken at low temperatures. In terms of the arboreal gas, this symmetry breaking translates into the existence of infinite trees in the thermodynamic limit. Our analysis also establishes massless free field correlations at low temperatures and the existence of a macroscopic tree on finite tori.

In this paper we provide results on using integer programming (IP) and constraint programming (CP) to search for sets of mutually orthogonal latin squares (MOLS). Both programming paradigms have previously successfully been used to search for MOLS, but solvers for IP and CP solvers have significantly improved in recent years and data on how modern IP and CP solvers perform on the MOLS problem is lacking. Using state-of-the-art solvers as black boxes we were able to quickly find pairs of MOLS (or prove their nonexistence) in all orders up to ten. Moreover, we improve the effectiveness of the solvers by formulating an extended symmetry breaking method as well as an improvement to the straightforward CP encoding. We also analyze the effectiveness of using CP and IP solvers to search for triples of MOLS, compare our timings to those which have been previously published, and estimate the running time of using this approach to resolve the longstanding open problem of determining the existence of a triple of MOLS of order ten.

Corroborating a prediction from statistical physics, we prove that the Belief Propagation message passing algorithm approximates the partition function of the random $k$-SAT model well for all clause/variable densities and all inverse temperatures for which a modest absence of long-range correlations condition is satisfied. This condition is known as "replica symmetry" in physics language. From this result we deduce that a replica symmetry breaking phase transition occurs in the random $k$-SAT model at low temperature for clause/variable densities below but close to the satisfiability threshold.

The Ising antiferromagnet is an important statistical physics model with close connections to the {\sc Max Cut} problem. Combining spatial mixing arguments with the method of moments and the interpolation method, we pinpoint the replica symmetry breaking phase transition predicted by physicists. Additionally, we rigorously establish upper bounds on the {\sc Max Cut} of random regular graphs predicted by Zdeborová and Boettcher [Journal of Statistical Mechanics 2010]. As an application we prove that the information-theoretic threshold of the disassortative stochastic block model on random regular graphs coincides with the Kesten-Stigum bound.

We initiate a study of large deviations for block model random graphs in the dense regime. Following Chatterjee-Varadhan(2011), we establish an LDP for dense block models, viewed as random graphons. As an application of our result, we study upper tail large deviations for homomorphism densities of regular graphs. We identify the existence of a "symmetric" phase, where the graph, conditioned on the rare event, looks like a block model with the same block sizes as the generating graphon. In specific examples, we also identify the existence of a "symmetry breaking" regime, where the conditional structure is not a block model with compatible dimensions. This identifies a "reentrant phase transition" phenomenon for this problem -- analogous to one established for Erdos-Renyi random graphs (Chatterjee-Dey(2010), Chatterjee-Varadhan(2011)). Finally, extending the analysis of Lubetzky-Zhao(2015), we identify the precise boundary between the symmetry and symmetry breaking regime for homomorphism densities of regular graphs and the operator norm on Erdos-Renyi bipartite graphs.

Let $X$ be a connected, locally finite graph with symmetric growth. We prove that there is a vertex coloring $φ\colon X\to\{0,1\}$ and some $R\in\mathbb{N}$ such that every automorphism $f$ preserving $φ$ is $R$-close to the identity map; this can be seen as a coarse geometric version of symmetry breaking. We also prove that the infinite motion conjecture is true for graphs where at least one vertex stabilizer $S_x$ satisfies the following condition: for every non-identity automorphism $f\in S_x$, there is a sequence $x_n$ such that $\lim d(x_n,f(x_n))=\infty$.

In the 1970s and 1980s, searches performed by L. Carter, C. Lam, L. Thiel, and S. Swiercz showed that projective planes of order ten with weight 16 codewords do not exist. These searches required highly specialized and optimized computer programs and required about 2,000 hours of computing time on mainframe and supermini computers. In 2011, these searches were verified by D. Roy using an optimized C program and 16,000 hours on a cluster of desktop machines. We performed a verification of these searches by reducing the problem to the Boolean satisfiability problem (SAT). Our verification uses the cube-and-conquer SAT solving paradigm, symmetry breaking techniques using the computer algebra system Maple, and a result of Carter that there are ten nonisomorphic cases to check. Our searches completed in about 30 hours on a desktop machine and produced nonexistence proofs of about 1 terabyte in the DRAT (deletion resolution asymmetric tautology) format.

A vertex coloring of a graph $G$ is called distinguishing (or symmetry breaking) if no non-identity automorphism of $G$ preserves it, and the distinguishing number, shown by $D(G)$, is the smallest number of colors required for such a coloring. This paper is about counting non-equivalent distinguishing colorings of graphs with $k$ colors. A parameter, namely $Φ_k (G)$, which is the number of non-equivalent distinguishing colorings of a graph $G$ with at most $k$ colors, is shown here to have an application in calculating the distinguishing number of the lexicographic product and the $X$-join of graphs. We study this index (and some other similar indices) which is generally difficult to calculate. Then, we show that if one knows the distinguishing threshold of a graph $G$, which is the smallest number of colors $θ(G)$ so that, for $k\geq θ(G)$, every $k$-coloring of $G$ is distinguishing, then, in some special cases, counting the number of distinguishing colorings with $k$ colors is very easy. We calculate $θ(G)$ for some classes of graphs including the Kneser graph $K(n,2)$. We then turn to vertex partitioning by studying the distinguishing coloring partition of a graph $G$; a partition of vertices of $G$ which induces a distinguishing coloring for $G$. There, we introduce $Ψ_k (G)$ as the number of non-equivalent distinguishing coloring partitions with at most $k$ cells, which is a generalization to its distinguishing coloring counterpart.

The distinguishing number (index) $D(G)$ ($D'(G)$) of a graph $G$ is the least integer $d$ such that $G$ has a vertex (edge) labeling with $d$ labels that is preserved only by a trivial automorphism. In this paper we consider the maximal outerplanar graphs (MOP graphs) and show that MOP graphs, except $K_3$, can be distinguished by at most two vertex (edge) labels. We also compute the distinguishing number and the distinguishing index of Halin and Mycielskian graphs.