arXiv++ Combinatorics

For graphs $H$ and $F$, the generalized Turán number $\operatorname{ex}(n,H,F)$ denotes the maximum number of copies of $H$ in an $n$-vertex $F$-free graph. We prove a general lifting principle for the case $H=K_3$ and the forbidden graph is a vertex-disjoint union of several copies of a graph. The key hypothesis is a local neighborhood-forcing condition: there is a graph $R$ with $\operatorname{ex}(n,R)=o(n^2)$ such that $F\subseteq K_1\nabla R$. Under this condition, the corresponding single-forbidden-graph asymptotics, together with a construction attaining the relevant extremal triangle and edge densities simultaneously, lift to an asymptotic value for \(\operatorname{ex}(n,K_3,(s+1)F)\) for every integer \(s \). We also prove an exact version in terms of the maximum value of a weighted expression over all graphs of a given size that avoid the forbidden graph. As applications, we obtain exact or asymptotic results for disjoint unions of suspensions of paths and stars. We also recover known exact results for disjoint odd cycles.

For a set of $m$ subsets of a universe set of size $n$, we construct a Boolean polynomial $\mathrm{ICC}_{m,n}(X)$ such that the Union-Closed Conjecture is true for this $m$ and $n$ if and only if $\mathrm{ICC}_{m,n}(X)$ is the zero Boolean polynomial. We use an equivalent formulation, called the Intersection-Closed Conjecture.

We introduce an approach to distinguishing isomorphism types of graphs based on vector spaces of polynomials that are set-wise invariant under permutations ("separating modules," which are representations of the symmetric group), inspired by the Geometric Complexity Theory approach to separating complexity classes (Mulmuley & Sohoni, SIAM J. Comput., 2001). We characterize the power of this method for distinguishing non-isomorphic graphs under several different complexity measures: - We show that separating modules of "support-degree" $k$ (each monomial touches at most $k$ vertices) are equivalent to the counts of $O(k)$-vertex subgraphs. This is strictly weaker than $O(k)$-dimensional Weisfeiler--Leman (Fürer, ICALP '01). - We show that separating modules of symmetric circuit size $n^{Θ(k)}$ are equivalent to $Θ(k)$-WL. This generalizes and strengthens a result of Dawar & Wilsenach (CSL '18; ICALP '20; ACM Trans. Comput. Log., 2022; Theory Comput., 2025): they proved one direction of this equivalence for invariant polynomials; we generalize to separating modules and prove both directions. - When considering only the multiplicities of separating modules (as was proposed in GCT by Mulmuley & Sohoni, ibid., rather than the polynomials themselves), we show that two graphs are separated by multiplicities if and only if their automorphism groups have different cycle indices. The latter result is notable in the analogy with GCT, as it is the only result we are aware of in which the multiplicity approach to separating isomorphism types of objects has been given an "intrinsic" characterization in terms of the objects themselves. We use this to show that for graphs, multiplicity obstructions are stronger than occurrence obstructions. We also connect invariant polynomials to the Graph Reconstruction Conjectures and Forman's "invariants of finite type" (Adv. Math., 2004).

Scott and Sokal asked for a structural description of the finite graphs \(G\) for which inverse powers \(T_G^{-β}\) of the spanning-tree polynomial are completely monotone. We prove the following bounded-treewidth criterion: if \(G\) is a finite connected simple graph with \(\operatorname{tw}(G)\le k\), then \(T_G^{-β}\) is completely monotone for every \(β>(k-1)/2\). Consequently, every partial \(3\)-tree is covered throughout the first Scott--Sokal open interval \(1<β<3/2\), including finite Apollonian networks, \(K_5-e\), and the four-spoke wheel \(W_4\). The proof combines the real Riesz/Wishart integral for determinants, star--mesh elimination of simplicial vertices, and a Gaussian Laplace kernel for the degree-\(d\) star. General bounded-treewidth graphs follow by chordal completion and monotone deletion of completion edges.

We show that the polar degrees of the coordinate-wise inverse of a linear subspace $L \subseteq \mathbb{P}^n$ are given by the coefficients of a substitution of the reduced characteristic polynomial of the associated matroid $\mathrm{M}(L)$. Our proof connects the geometry of conormal varieties of reciprocal linear spaces to the combinatorial conormal fan of $\mathrm{M}(L)$. As a corollary, we settle two open conjectures regarding matroid discriminants.

We show that very small distances in a planar integral point set are essentially one-dimensional. Let P be a non-collinear set of n points in the plane, all of whose pairwise distances are integers. We prove that, for a sufficiently small $c>0$, at most one pair of points can determine a distance below $n^{c\log\log{n}}$ unless all such short pairs are supported on a single line. We also give a construction showing that the line-supported alternative is necessary: there are arbitrarily large non-collinear integral point sets with one off-line point and with the first two distinct distances 2 and 4. We conjecture that in the general case (no three points are collinear) even the smallest distance should be large, at least $n^{c\log\log{n}}$, however we can prove a linear lower bound only.

Completing partial Latin squares is NP-complete. Ryser characterized precisely when an $r\times s$ Latin rectangle can be completed to an $n\times n$ Latin square. We extend this theorem to a broader setting. Let $M$ be an $n\times n$ array whose top-left $r\times s$ subarray is filled with symbols from $\{1,2,\dots,k\}$, where $1\leq k\leq n^2$. We determine necessary and sufficient conditions under which the remaining cells of $M$ can be filled so that each symbol $\ell\in\{1,2,\dots,k\}$ appears exactly $ρ_\ell$ times in total, while the numbers of occurrences of each symbol in any two rows and in any two columns differ by at most one. Equivalently, our result characterizes when a partial edge-coloring of $K_{r,s}$ can be extended to an edge-coloring of $K_{n,n}$ in which each color class is spanning and almost regular, with prescribed color-class sizes. In this sense, our theorem generalizes Baranyai's construction of almost-regular colorings of complete uniform multipartite hypergraphs, restricted to the bipartite case. Our theorem unifies and generalizes several classical results. When $s=k=ρ_1=\cdots=ρ_k=n$, it reduces to Hall's theorem, and when $k=ρ_1=\cdots=ρ_k=n$, it yields Ryser's completion theorem for Latin rectangles. Additional special cases recover results of Goldwasser, Hilton, Hoffman, and Özkan, as well as a theorem of Bahmanian. Thus, our work may be viewed as a common generalization of these completion theorems and Baranyai's theorem.

We study certain extremal problems in combinatorial geometry that ask about configurations of points in an $n \times n$ grid that satisfy strict, global geometric constraints. Classical exact solvers suffer from combinatorial explosion for these types of problems, and standard reinforcement learning and transformer-based models struggle with the sparse reward "validity cliff" and quadratic token-consumption limits. To overcome these bottlenecks, we propose a Geometry-Aware Monte Carlo Tree Search (MCTS) framework. Our approach strictly enforces geometric constraints through incremental updates to the feasible action space. For constraints about collections of collinear points, like those that occur in the classic No-Three-in-Line problem (Max-N3IL), this mechanism reduces the constraint checking complexity from $O(n^3)$ to $O(n^2)$. To improve search efficiency, we exploit geometric symmetries in two ways: canonical pruning during node expansion to reduce the branching factor, and symmetric batch transitions to accelerate the discovery of promising configurations. We perform extensive experiments and establish new best-known computational results on five out of six of the problems that we considered. Notably, for Max-N3IL we find configurations of size roughly $1.8 n$ for grids of size $82 \le n \le 119$. For the Smallest Complete Set problem, we find configurations of size roughly $0.95 n$, providing new upper bounds within the tested grids. This work establishes Geometry-Aware MCTS as a highly adaptable framework for discovering novel configurations in combinatorial geometry.

A graph $G$ is $\mathcal F$-saturated if $G$ contains no member of $\mathcal F$, but the addition of any non-edge creates a copy of a member of $\mathcal F$. For $m\ge 1$, let $(m+1)K_3$ denote the vertex-disjoint union of $(m+1)$ triangles. In this paper, we study $(m+1)K_3$-saturated graphs. We construct a family of $(m+1)K_3$-saturated graphs which gives the uniform upper bound $\operatorname{sat}((m+1)K_3,n)=O(n^{3/2})$ for all $m\ge 1$ and $n\ge 3m+3$. For general $(m+1)K_p$-saturated graphs, Faudree et al. determined $\operatorname{sat}((m+1)K_p, n)$ for sufficiently large $n$. In the case of $p=3$, we lower Faudree's threshold from $n \ge 12m + 3$ to $n\ge 9m+5$ and prove that $\operatorname{sat}((m+1)K_3,n)=n+6m-1.$ We also provide two structural restrictions on the components obtained after deleting all vertices of degree $|V(G)|-1$ from an $(m+1)K_3$-saturated graph.

We study sharp exponents in inequalities for pairs of finite geometric blocks. We characterize exactly when the endpoint $t=1$ determines the optimal exponent and compute the exponent that is uniform in the length of one block. For a two-term first block the answer is $p_0=\log 4/\log 6$. This yields a uniform two-slice max-convolution inequality and, for every $m,d\ge1$, the dimension-free mixed-alphabet sumset bound \[ |A+B|\ge (|A||B|)^{p_0}, \qquad A\subset\{0,1\}^d,\quad B\subset\{0,1,\ldots,m\}^d. \] For every $m\ge2$, the exponent $p_0$ is best possible; for $m=1$, a larger exponent is available.

We establish a family of linear relations for the coefficients of the Tutte polynomial of a semimatroid. We also introduce ranked central sets, a mild generalization of semimatroids, and prove that the same identities hold in this broader setting. The proof relies on the specialization $x=\frac{z}{z-1}$, $y=z$ along the hyperbola $(x-1)(y-1)=1$; under this specialization, the edge subgraph expansion over central sets reduces to the $f$-polynomial of the central set complex. As applications, we obtain explicit formulas for Tutte polynomials of affine hyperplane arrangements and for balanced Tutte polynomials of biased graphs, whose central sets are central subarrangements and balanced edge sets, respectively. Our results recover the generalized Brylawski's identities for Tutte polynomials of ranked sets, matroids and graphs.

The $k$-distance graph $G^k$ of a graph $G$ has the same vertex set as $G$ and two vertices are adjacent if and only if their distance is $k$ in $G$. These graphs have been extensively studied for their connection properties. In this paper, we study various properties of these graphs, including clique number and periodicity. For all $k$, we show that there exists a $k$-distance graph that is weakly periodic for any size period. Our main result is a proof that if $k > 2$ then there exists a $k$-distance graph of any size (strong) period. Finally, we provide evidence that there exists an upper bound on the periodicity of a connected $2$-distance graph as a function of $|V|$.

We define a notion of total positivity for the symmetric space $G/K$ by taking the Hausdorff closure of the image of Lusztig's totally positive part $G_{>0}$ in $G/K$. We introduce double Bruhat cells for the symmetric space and define their totally positive pieces. We prove a cell decomposition of the totally nonnegative symmetric space, give explicit positive parametrizations of all cells, establish closure relations, and show that the transition maps between the two natural families of parametrizations are subtraction-free.

In 1996, Youngs proved a surprising theorem that quadrangulations of the projective plane could never have chromatic number exactly 3. This sparked a lot of interest, and the result has been further developed in many directions over the past decades. For example, the result is strengthened by considering the circular chromatic number, which is a real-valued lower bound on the chromatic number. The circular chromatic number of a quadrangulation cannot be in the interval (2,4). This parameter allows a generalization to larger even faces, for which a similar gap exists. In this work, we place these results into a framework based on the notion of winding number using extensions of colorings to continuous mappings. This yields unified and simplified proofs of gaps in the circular chromatic number for graphs with a distinguished set of directed even cycles. This generalizes the setting of graphs embedded on surfaces where every face is even. We further establish an analogous gap phenomenon when all faces are of a given odd length, previously known only in the case of triangulations. For example, we conclude that if G is a graph embedded on the projective plane such that all faces are 5-cycles, then either its circular chromatic number is 5/2 or at least 3, the former being the case only if G is Eulerian and every noncontractible facial walk is of odd length...

In this paper, we investigate a set of $k$-color partitions and examine how its subsets relates to the theory of the minimal excludant function introduced by Andrews and Newman. Furthermore, we provide generalization of the partition functions introduced by Andrews and Bachraoui and also define several new partition functions within this framework.

Motivated by sequence reconstruction and reconstruction codes, we study extremal intersections of deletion balls over a fixed $q$-ary alphabet. Let $Σ_q^n$ be the set of sequences of length $n$ over $Σ_q$, and let $D_t(x)$ denote the set of all sequences obtained from $x\inΣ_q^n$ by deleting exactly $t$ symbols. Our first result gives a finite upper bound under a lower-order deletion-correction constraint. We prove that if $x,y\inΣ_q^n$ satisfy $D_{s-1}(x)\cap D_{s-1}(y)=\varnothing$, then \[ |D_t(x)\cap D_t(y)| \le \binom{2s}{s}\binom{n-s}{t-s}. \] For binary alphabets, this strengthens a recent asymptotic upper bound of Pham, Goyal, and Kiah (2025, JCTA). We then investigate deletion-ball intersections under simultaneous constraints on run counts and lower-order deletion-ball intersections. For fixed $0<γ\le1$, integers $1\le s\le t$, and $m\ge1$, we show that if $x,y\inΣ_q^n$ have at most $γn$ runs and satisfy $|D_s(x)\cap D_s(y)|\le m$, then \[ |D_t(x)\cap D_t(y)|\le \frac{mγ^{t-s}}{(t-s)!}n^{t-s}+O_{s,t,m}(n^{t-s-1}). \] Moreover, the leading term can be attainable whenever $m$ is realized by a fixed finite-length seed pair. As a consequence, we obtain a direct lifting theorem for deletion reconstruction codes, transferring reconstruction properties from radius $s$ to larger radii $t$. Finally, we establish a parallel insertion theory and derive corresponding results for insertion-ball intersections and insertion reconstruction codes.

We analyze the decrease of simplex diameters under iterated refinement of spherical Delaunay complexes. Unlike in ordinary subdivision, the refined Delaunay complex need not be a subdivision of the previous one, so mesh contraction is not automatic. We derive explicit contraction bounds for several families of Steiner points, including Delaunay analogues of barycentric and edgewise subdivision. The proof reduces the problem to sharp covering estimates for Euclidean simplices. These estimates are obtained through a strengthening of Maurey's empirical method via pivotal sampling and a dimension-dependent version of the approximate Carathéodory theorem. Theoretical results and numerical experiments show that Delaunay refinements achieve stronger contraction than their subdivision counterparts.

In this paper, we give analytic proofs of four conjectural identities on modular rank four Nahm sums proposed by Cao and Wang.

Let $n$ and $p$ denote the numbers of vertices and labels, respectively, in an undirected edge-labeled graph. Previous work showed that, under the Exponential Time Hypothesis (ETH), there is no deterministic algorithm with running time \[ (np)^{o\left(\frac{\log n}{(\log\log n)^2}\right)}. \] In this paper, we give a deterministic reduction that strengthens this conditional running-time lower bound to \[ (np)^{o\left(\frac{\log n}{\log\log n}\right)}. \]

The theory of Latin squares has a long history. While the objects themselves appeared earlier, the study of their general mathematical theory dates back to Euler in the 18th century. Latin squares can be interpreted as 3-dimensional permutation hypermatrices, and alternating sign matrices often arise as a natural generalisation of permutation matrices. In 2018, Brualdi and Dahl introduced a generalisation of classical Latin squares using alternating sign hypermatrices. Inspired by their definition, we develop the theory of Italian squares, a related generalisation of Latin squares, together with a notion of orthogonality that resolves an inconsistency in the definition of Brualdi and Dahl. Building on classical questions from Latin square theory, we obtain results including upper bounds on the maximal size of a pairwise orthogonal set, conditions for the existence of an orthogonal mate, infinite families of orthogonal pairs, and transversals. As part of our exploration of alternating sign matrices, we also prove a Frobenius-König type result for a class of $(0,\pm1)$-matrices.

In connection to the Brown-Erdős-Sós conjecture, we give a short local averaging proof of a density theorem for linear uniform hypergraphs. Let $r \ge 3$, $k \ge 3$, and suppose that $n \ge (r-2)(k-2)+1$. If $H$ is a linear $r$-uniform hypergraph on $n$ vertices and \[|E(H)| \geq \frac{k-2}{r^2((r-2)(k-2)+1)}n^2 + \frac{n}{r},\] then $H$ contains $k$ edges spanning at most $(r-2)k+3$ vertices. In the standard linear-density normalization, this gives the asymptotic density threshold $c \geq \frac{r-1}{r} \cdot \frac{k-2}{(r-2)(k-2)+1} + o(1)$. In particular, this yields a simple proof of the large-uniformity form of the Brown-Erdős-Sós theorem, due to Keevash and Long. In the case of triple systems, our bound becomes $c \geq \frac{2(k-2)}{3(k-1)} + o(1)$, improving upon a bound of $\frac{4}{5}$ due to Santos and Tyomkyn.

This theoretical note studies the finite axiomatizability of strict majority reasoning in finite social decision frames. Moss and Pedersen (2026) <doi: 10.48550/arXiv.2606.23853> introduce a coherence criterion that characterizes exactly when qualitative majority judgments are representable by a finitely additive measure. The question addressed here is whether that coherence criterion can be replaced, in the finite setting, by any bounded finite fragment. We prove that it cannot. For every $k\ge 1$, we construct a maximal standard frame whose shortest coherence violation has length exactly $2k+2$. Hence there is no uniform finite bound on the incoherence index of social decision frames, resolving Conjecture 5.7 stated by Moss and Pedersen (2026). The construction is geometric, in the sense that it proceeds via orthogonality and dimension in rational vector spaces, and self-contained: it isolates a symmetric family of half-sized voting blocs and extends it to a maximal frame in which every shorter balanced obstruction is excluded. Along the explicit infinite sequence of universe sizes obtained in the construction, this also establishes the middle-layer family predicted by Conjecture B.25 by Moss and Pedersen (2026). Together with the soundness and completeness theorem for the Moss-Pedersen minimal logic for strict majorities, this establishes that measurable social decision frames are not finitely axiomatizable in that language.

We efficiently conflict-free color every planar graph with 4 colors. An (open-neighborhood) conflict-free coloring assigns colors to vertices in a way that every vertex v has a neighbor w such that the color of w is distinct from the colors of the other neighbors of v (i.e., the color of w is unique in the open neighborhood of v). A previous best upper bound on the conflict-free chromatic number of planar graphs was 5, and it is known that 4 colors are sometimes necessary. Deciding whether, e.g., a planar graph admits a conflict-free coloring with 3 colors is NP-complete. Our approach uses a refined variant of the classical Gallai-Edmonds decomposition and the Four Color Theorem. In fact, our result is equivalent to the Four Color Theorem.

For a general curve in positive characteristic, taking the Frobenius pullback induces a generically finite rational map V on the moduli space of rank 2 vector bundles with trivial determinant. Recently, Kondo--Wakabayashi show that the generic degree of V, considered as a function on the characteristic of the base field, is a quasi-polynomial. In this paper, we show that this quasi-polynomial is indeed a polynomial, and we write out this polynomial explicitly.