arXiv++ Combinatorics

For graphs $F$ and $H$, a spanning subgraph $G$ of $F$ is weakly $H$-saturated in $F$ if the edges in $E(F)\setminus E(G)$ can be added one at a time, each addition creating a new copy of $H$. Recently, Tancer and Tyomkyn proved that, given an $n$-vertex graph $F$, deciding whether $\mathrm{wsat}(F,K_3)=n-1$ is NP-hard. In this paper, we study the decision version of the weak saturation problem and show that, for every fixed integer $r\ge 3$, given a graph $F$ and an integer $k$, deciding whether $\mathrm{wsat}(F,H)\le k$ is NP-complete when $H\in\{K_r,K_{r,r}\}$. Our approach uses new graph-theoretic and topological ideas and techniques, yielding new constructions that build on the construction of Tancer and Tyomkyn. In particular, our proofs further reveal a connection between weak saturation and the flag-no-square property, a fundamental property in topology that is of independent interest.

Maker-Breaker subgraph games are among the most famous combinatorial games. For $n,q\in\mathbb{N}$ and a fixed subgraph $C$ of the complete graph $K_n$, the two players, called Maker and Breaker, alternately claim edges of $K_n$. Maker claims one unclaimed edge per round and Breaker may claim up to $q$ edges per round. If Maker is able to claim all edges of a copy of $C$, he wins the game. Otherwise Breaker wins. Bednarska and Łuczak (2000) determined in a landmark work the asymptotics of the treshold bias as $Θ(n^{1/m(C)})$ where $m(C)$ is the 2-density of $C$, analysing random strategies. Since then it has been a major open problem to determine the treshhold bias, if it exists, with corresponding strategies, leading to sharp constants in the $Θ$-notion. A famous case is the triangle game ($C=C_3$), studied by Chvatal and Erd"os (1978), who showed Maker wins if $q\le \sqrt{2n}$ and Breaker wins if $q\ge2\sqrt{n}$. Glazik and Srivastav (2022) improved this via a potential method, showing Breaker wins already for $q\ge\sqrt{8/3}\sqrt{n}$. Spencer (2019) conjectured generalizability to arbitrary subgraphs $C$. We confirm this conjecture, presenting a general winning strategy for Breaker if the potential function fullfils conditions depending on $C$. With this result we give the first constructive (polynomial-time) strategies for Breaker in the $k$-cycle Maker-Breaker game for arbitrary, but fixed $k \geq 4$: Breaker wins if $q>\sqrt[k-1]{(k-1)\big(\frac{2(k-1)}{k}\big)^{k-2}n^{k-2}}$. By Bednarska and Łuczak (2000) our bound is asymptotically optimal. However, our constants are better than those arising from their random strategies. More recently, Sowa and Srivastav (2025) gave the first constructive Maker strategy for $C_4$. Our work may motivate study of Maker strategies for $C_k, k \ge 5$, narrowing the gap towards the Breaker bounds presented.

In this paper, we investigate the effective resistance on the graph $G_N^{(r)}$, which is obtained by deleting all edges corresponding to circular distances $\{\pm1, \pm2, \dots, \pm r\}$ from the complete graph $K_N$. We utilize the cyclic symmetry of the graph to diagonalize the Laplacian matrix via the discrete Fourier basis and derive a finite trigonometric sum representation for the effective resistance between two vertices at distance $\ell$. Specifically, we treat the cases $r=1$ and $r=2$ in detail and provide explicit formulas. For the case of $r=1$, we use Fourier analysis to rederive the closed form in terms of Bejaia and Pisa numbers given by Chair. For the case of $r=2$, we show that the denominator reduces to a quadratic polynomial with complex roots and introduce a generalized Bejaia-Pisa-type complex sequence. Using this sequence, we provide some closed forms for the effective resistance and various related formulas.

Automated conjecturing programs scan collections of graphs for inequalities between invariants that no stored graph violates, then offer the survivors for proof or refutation. TxGraffiti, one such program, conjectured that every nontrivial connected graph $G$ satisfies $α(G) \ge \bigl(a(G) + R(G)\bigr)/Δ(G)$, where $α$ is the independence number, $a$ the annihilation number, $R$ the residue, and $Δ$ the maximum degree. Established only for two special families of graphs, the conjecture has otherwise remained open. The note proves the degree-sequence inequality $a \le \tfrac{Δ+1}{2}W$, where $W$ is the Caro-Wei sum; the same inequality is known for the independence number in place of $a$. Combined with the classical lower bounds $α\ge R$ and $α\ge W$, it proves the conjecture for every connected graph of maximum degree at least three, and a direct argument settles maximum degree two; the conjecture fails only for the single edge, of maximum degree one. The inequality also brackets the independence number between the polynomial-time quantities $R$ and $a$, within a factor $(Δ+1)/2$. The conjecture's bound is sharp, with equality attained, for instance, by the complete graph on four vertices.

The paper studies the graph algebra whose monomial basis is naturally indexed by simple graphs on a fixed set of vertices. This algebra is at the same time the algebra of pseudo-Boolean functions on the Boolean cube and a natural object of algebraic combinatorics, related to the Boolean lattice of subsets of the edge set of the complete graph. The main aim of the paper is to study two compatible representation-theoretic structures on this algebra: the action of the Lie algebra $\mathfrak{sl}_2$, arising from the operators of adding and deleting one edge, and the action of the pair group $S_n^{(2)}$, induced by the renumbering of vertices. It is proved that the graph algebra with this $\mathfrak{sl}_2$-action is isomorphic to a tensor power of the standard two-dimensional $\mathfrak{sl}_2$-module, and on this basis its decomposition into irreducible $\mathfrak{sl}_2$-modules is obtained. Primitive spaces, that is, the kernels of the edge-deletion operator on rank components, are also described, and it is shown that they have a natural interpretation in terms of two-row Specht modules. It is then established that the $\mathfrak{sl}_2$-action commutes with the action of the pair group. It follows that the space of graph invariants also inherits the structure of an $\mathfrak{sl}_2$-module. Using Schur--Weyl duality, primitive invariants are described through the fixed parts of the restrictions of two-row Specht modules from the full symmetric group on the edge set to the pair group. As a consequence, the classical enumeration of non-isomorphic graphs by the number of edges receives a representation-theoretic refinement: the orbital components entering the Burnside--Polya formula decompose into natural primitive contributions associated with the $\mathfrak{sl}_2$-structure and two-row Specht modules.

More than forty years ago, Andersen and Hoffman independently proved that every symmetric Latin rectangle can be extended to a symmetric Latin square with prescribed diagonal entries. We generalize this theorem as follows. Let $k\leq n^2$, and let $M$ be an $n\times n$ array whose top-left $r\times r$ subarray is filled with symbols from $\{1,2,\ldots,k\}$. Suppose that, for each $i\in\{1,\ldots,r\}$ and each symbol, the number of occurrences of that symbol in row $i$ equals its number of occurrences in column $i$, and that each remaining diagonal entry is either empty or already contains a symbol from $\{1,\ldots,k\}$. We establish necessary and sufficient conditions for completing $M$ so that the resulting array is symmetric off the prescribed $r\times r$ subarray, each symbol occurs a specified total number of times in $M$, and, for every symbol, its numbers of occurrences in any two rows (respectively, columns) differ by at most one. Restricted to symmetric arrays, our theorem generalizes results of Cruse (1974), Goldwasser et al. (2015), and Bahmanian and Hilton (2025). It also extends Baranyai's theorem for complete graphs (1973) by characterizing when a partial coloring of $K_r$ with a loop on every vertex can be extended to an almost regular coloring of $K_n$ with a loop on every vertex, where $n\geq r$.

We prove that for all $c\in\mathbb N$ and nonnull graphs $H_1,\ldots,H_t$, there exists $n\in\mathbb N$ such that if $G$ is a $c$-edge-colored complete graph with no monochromatic induced copy of the complete join of $H_1,\ldots,H_t$, then $V(G)$ is the union of $n$ sets $V_1,\ldots,V_n$ such that within each set $V_j$ with $|V_j|\neq 1$, the edges of some color form a graph that excludes at least one of $H_1,\ldots,H_t$ as an induced subgraph. In fact, the same holds even if the colors overlap, and with a different list of graphs $H_1,\ldots,H_t$ assigned to each color. When $H_1,\ldots,H_t$ each have a single vertex, this is Ramsey's theorem, and when $c=2$, this is the "excluding pairs of graphs" theorem of Chudnovsky, Scott, and Seymour.

For which graphs $H$ does there exist a graph $G$ with at least one edge and no induced subgraph isomorphic to $H$, such that deleting any edge of $G$ creates an induced copy of $H$? We call such a graph "$H$-deletion-saturated". This version of the well-studied notion of "$H$-induced-saturated" graphs -- where both adding and deleting any edge creates an induced copy of $H$ -- appears more tractable. For example, while it remains wide open whether $H$-induced-saturated graphs exist for every even cycle $H$, we proved recently that deletion-saturated graphs exist for all even cycles. In fact, apart from complete graphs, no graph $H$ is known for which $H$-deletion-saturated graphs do not exist. We conjecture that $H$-deletion-saturated graphs exist for every non-complete graph $H$, and prove this conjecture for several types of graphs, including: complete bipartite graphs with parts of unequal size, triangle-free graphs with one cycle, graphs with two leaves at distance at most three, and line graphs of trees. In fact, in all cases, we prove the conjecture for substantially more general families. We also verify our conjecture for every graph $H$ on at most six vertices.

Let $H$ be a graph. A graph $G$ is $H$-saturated if $G$ is $H$-free, but adding any edge between two non-adjacent vertices of $G$ yields an $H$-copy as a subgraph. The saturation number $\mathrm{sat}(n, H)$ is the minimum number of edges in an $H$-saturated graph on $n$ vertices. The saturation number for the join of a vertex and a graph $F$, denoted by $K_1\vee F$, has attracted considerable attention. Cameron and Puleo [Discrete Math. 345 (2022), 112867] proved that $\mathrm{sat}(n,K_1 \vee F)\le n-1+\mathrm{sat}(n-1, F)$ for $n > |V(F)|$. A natural question is when the above equality holds. Most existing results impose conditions on $F$ and assume that $F$ has no isolated vertices. Let $K_p^-$ be the graph obtained by deleting one edge from the complete graph $K_p$. In this paper, we investigate the saturation number of $K_1\vee F$ when $F$ contains isolated vertices, and determine the exact value of $\mathrm{sat}(n, K_1\vee F)$ when $F=K^-_{3}\cup sK_1(s\ge 1)$ or $F=K^-_{p-1}\cup K_1(p\ge 5)$. In our results, $\mathrm{sat}(n,K_1 \vee F)= n-1+\mathrm{sat}(n-1, F)$ holds when $F=K^-_{3}\cup sK_1$ for any $s\ge 1$, but fails when $F=K^-_{p-1}\cup K_1$ for $p\ge 5$.

Keevash and Michaeli recently proved that, under the robustness assumption that \(G\) is an \(s\)-connector (i.e. \(\overline G\) is \(K_{s,s}\)-free), \(G\) has essentially the same multicolour Ramsey matching properties as complete graphs, with an additive error \(O(qs)\), where \(q\) is the number of colours. They asked whether the dependence on \(q\) can be removed. We answer this question in a stronger exact form. For \({\bf t}=(t_1,\ldots,t_q)\in\mathbb N_+^q\), let \(R_s({\bf t})\) be the smallest integer \(N\) such that every \(N\)-vertex \(s\)-connector \(G\) satisfies \( G\to (t_1K_2,\ldots,t_qK_2). \) We determine the exact value \[ R_s({\bf t})=\sum_{j\in[q]}(t_j-1)+ \max\left\{2s,\ s+\max_{j\in[q]}t_j\right\}. \] While Keevash and Michaeli's proof uses a compression algorithm based on the Gallai--Edmonds decomposition to reduce the colouring to a structured form, our proof is a direct minimal-counterexample argument together with a new counting method for monochromatic matchings which can be applied to \(s\)-connectors.

In this paper we introduce "graph linear notation" -- a complete graph invariant -- which is positioned as an alternative definition for the finite graphs. This invariant is constructed using an algorithm similar to the algorithm of finding canonical forms of graphs. Storing graph linear notation instead of a regular graph allows us to greatly simplify two major problems: the construction of illustrations for graphs with regards to possible graph symmetries, and the comparison of two graphs for isomorphism. We also demonstrate the transferability to the graph linear notations such classical graph theory concepts as colourings and graph paths.

In this note, we prove a tight lower bound on symmetric extended formulations for the spanning tree polytope of the complete graph. More precisely, let $P_{ST}(K_n)$ be the spanning tree polytope of $K_n$. We show that, for all $n\ge13$, every symmetric extended formulation for $P_{ST}(K_n)$ has at least $\binom n3$ inequalities. Since the classical Martin formulation has a symmetric formulation of size $O(n^3)$, this gives \[ \operatorname{xcs}(P_{ST}(K_n))=Θ(n^3). \]

Configuration spaces of graphs frequently grow factorially in complexity with the number of particles they parametrize. However, for suitable families of nested graphs $G_\bullet$ with compatible symmetric group actions, Ramos and White prove that, for fixed $k$, the rational homology of the $k$\textsuperscript{th} configuration spaces of $G_\bullet$ has multiplicity stability. In the current work, we derive the stable range and use computer algebra to determine the stable representations on homology for $k=2$ and $G_\bullet$ several families of graphs, including the complete graphs, the complete bipartite graphs on $2n$ vertices, the crown graphs on $2n$ vertices, and the complete tripartite graphs on $2n+1$ vertices. We determine the stable multiplicities for certain irreducible components in the case $k=3$ and $G_\bullet$ the complete graphs.

An $n$-partite graph is a graph such that every vertex has a color in $\{1,\ldots,n\}$ and every two vertices of the same color are not adjacent. We study the model comparisons of the theories of $n$-partite graph and $K_{\overline{m}}$-free $n$-partite graph, where $K_{\overline{m}}$ is a complete graph of a given size. The model companion of the theory of $n$-partite graph is simple and has IP. The model companion of the theory of $K_{\overline{m}}$-free $n$-partite graph has $\operatorname{TP}_2$, $\operatorname{SOP}_3$ and $\operatorname{NSOP}_4$ if $n > 2$. Forking independence coincides with dividing independence in this theory.

In this paper, we demonstrate the effects on the second largest eigenvalue $λ_2(G)$ of a connected graph $G$ after edge addition or deletion. In 1989, Chung, Graham and Wilson showed $\max\{|λ_2|,|λ_n|\}>Ω(n)$ for dense $K_{r+1}$-free graphs of order $n$, giving spectral comprehension of existence of large clique or independent set, respect to Ramsey theory. Applying the results of effects on $λ_2$ after edge operations, we determine the maximum value of $λ_2$ among all $K_{r+1}$-free connected graphs with given order, and completely characterize the extremal graphs. Moreover, for arbitrary given graph $F$, we investigates the maximum second largest $λ_2(G)$ among $F$-free connected graphs of order $n$. Let $ρ^*(n,F)$ be the maximum spectral radius of $F$-free graphs on $n\ge n_F$ vertices, and $G^*(n,F)$ be a graph with its spectral radius $ρ\big(G^*(n,F)\big)=ρ^*(n,F)$. We prove that, for an $F$-free connected graph $G$ of order $n\ge f(n_F)$, \\(1) if $n$ is odd, then $$λ_2(G)\leρ^*\left(\frac{n-1}{2},F\right)$$ with equality if and only if $G\in \mathcal{I}\big(G^*(\frac{n-1}{2},F),G^*(\frac{n-1}{2},F)\big)$; and\\ (2) if $n$ is even, and $F$ does not contain cut edges, then the graph $G^†$ with the maximum second largest eigenvalue satisfies $$λ_2(G^†)=ρ^*\left(\frac{n}{2},F\right)-o(1)$$ and $G^†\in \mathcal{E}\big(H_1,H_2\big)$, where $H_1$ and $H_2$ are $F$-saturated graphs on $\frac{n}{2}$ vertices. In particular, other than a complete graph $K_{r+1}$, when $F$ is a book graph $B_{k+1}$ or an odd cycle $C_{2k+1}$, we are able to determine the maximum second largest eigenvalue for $F$-free connected graphs of given order, and completely characterize the extremal graphs.

Let $λ_i(G)$ denote the $i$-th largest eigenvalue of adjacency matrix of a graph $G$. Gerschgorin's Theorem indicates $λ_1(G)$ belongs to the largest disk, i.e., $λ_1(G)\leΔ_1(G)$, where $Δ_i(G)$ is the $i$-th largest degree of $G$. We show that $λ_2(G)$ lies in the second largest disk. That is, in detail, $$λ_2(G)<Δ_2(G)-\frac{1}{n^2}.$$ A classical theorem proved by Hong [\textit{Linear Algebra Appl.} 1988] states that $λ_1(G)\le\sqrt{2m-n+1}$ for a connected graph $G$ with $n$ vertices and $m$ edges, where the equality holds if and only if $G$ is a star $S_n$ or a complete graph $K_n$. We give a refinement of Hong's theorem by showing $$λ_1(G)<\sqrt{2m-n}$$ for any connected graph $G\not\in\left\{S_n,S^1_{n-1},K_n,K^1_{n-1}\right\}$. Based on this improved upper bound of $λ_1(G)$, for a connected graph $G$ with $n$ vertices and $m$ edges, we are able to prove a sharp upper bound of $λ_2(G)$ that $$λ_2(G)\le\sqrt{m-\frac{n}{2}-\frac{1}{2}},$$ except $G$ is obtained from two disjoint $S_\frac{n}{2}$ by adding an edge between a pendant vertex of each star. Moreover, we provide a complete characterization to extremal graphs attaining the equality.

We study discrete analogues of classical spectral geometric inequalities and extremal eigenvalue problems on graphs. The well-known Krahn--Szegő inequality states that the minimum of $λ_2(Ω)$ among bounded open sets of $\mathbb{R}^n$ with given volume is achieved by the union of two identical balls $\mathbb{R}^n$. Firstly, we establish a Krahn--Szegő type inequality for trees. For trees with a fixed number of interior vertices and boundary leaves, we completely characterize the extremal structures that minimize the second Dirichlet eigenvalue. Secondly, we develop a nodal domain method for adjacency matrices. By proving a nodal domain theorem in adjacency version for graphs, we obtain upper bounds for the second largest adjacency eigenvalue $ρ_2(G)$ of $G$ in given graph classes. These bounds imply some previous results. Finally, we settle the Aouchiche--Hansen conjecture (2010) on the second largest eigenvalue with given number of edges and clique number. We prove that for connected graphs $G$ of odd order $n \geq 5$, $|ρ_2| \cdot ω\leq m-2$, with equality if and only if $G$ consists of two complete graphs of orders $\frac{n+1}{2}$ and $\frac{n-1}{2}$ joined by an edge or a path. For even $n \geq 2$, the quantity $|ρ_2| \cdot ω- m$ is maximized exactly when $G$ is the join of two copies of $K_{n/2}$ by an edge. The core of the methods developed in this paper is to regard a connected graph as an internally disconnected graph with Dirichlet boundary condition. This perspective allows us to transfer nodal domain techniques from continuous spectral geometry to discrete settings and to obtain sharp extremal characterizations across diverse graph classes.

A bicoloration of a graph $G=(V,E)$ is a map $β:V\to\{-1,1\}$. A local inversion at a vertex $v$ complements the subgraph induced by the neighbors of $v$ and simultaneously reverses the colors of all neighbors of $v$. Sabidussi (Discrete Mathematics, 1987) showed that every bicolored graph on $n$ vertices without isolated vertices admits a color reversal using at most $6n+3$ local inversions, and that any two bicolorings of such a graph can be transformed into each other using at most $9n$ local inversions. Recently, Porte, Sandeep, and Santra (CALDAM 2026) improved these bounds to $4n-3$ and $\lfloor(11n-3)/2\rfloor$, respectively. We prove the tight bound $3n$ by showing that, for every graph on $n$ vertices without isolated vertices, any bicoloring can be transformed into any other bicoloring using at most $3n$ local inversions. We also show that this bound is best possible: for complete graphs and stars on $n$ vertices, at least $3n$ local inversions are required to reverse the colors of all vertices. Moreover, the proof of the upper bound is constructive: given two bicolorings, it produces, in polynomial time, a sequence of at most $3n$ local inversions transforming one into the other.

Let $f(n,H)$ be the maximum number of copies of a graph $H$ in a planar graph of order $n$. When $H$ is a connected graph on four vertices, $f(n,H)$ has been completely determined except for two cases: $K_{1,3}^+$ (the claw graph $K_{1,3}$ with one additional edge) and $K_4^-$ (the complete graph $K_4$ with one edge removed). Here, we address these two cases and establish that for all $n\ge4$, $$f(n,K_{1,3}^+) = 4n^2-12n-4 \textrm{ and } f(n,K_4^-) =\frac{1}{2}(n^2+9n-40).$$

Let $f(n,k)$ be the minimum size of a collection of bicliques such that (i) every edge of the complete graph $K_n$ is covered by at least one and at most $k$ bicliques in the collection, and (ii) for each edge $\{u,v\}$, the number of bicliques in which $u$ appears in the first class and $v$ in the second class differs by at most one from the number of bicliques in which $u$ appears in the second class and $v$ in the first class. For $k=1$, $f(n,k)$ reduces to the biclique partition number of $K_n$, and the Graham--Pollak theorem gives $f(n,1)=n-1$. For $k=2$, $f(n,k)$ is the ordered biclique partition number of $K_n$, for which it is known that $c_1 n^{1/2} \le f(n,2) \le c_2 n^{1/2+o(1)}$ for some positive constants $c_1$ and $c_2$. In this note, we establish almost tight bounds for $f(n,k)$ for general $k$.