arXiv++ Combinatorics

For every $α\ge3$ and all sufficiently large $n$, we identify a single graph that simultaneously maximizes the number of independent sets of every size among all $n$-vertex $2$-connected graphs with independence number $α$. This graph is unique up to isomorphism and is a balanced cycle-linking of the disjoint union of $α$ cliques whose orders differ by at most one. More precisely, for each $3\leβ\leα$, the graphs maximizing the number of independent $β$-sets are exactly the cycle-linkings whose clique-size cyclic words are $\lfloorβ/2\rfloor$-balanced. These results extend the corresponding extremal result for connected graphs to the $2$-connected setting. The proof combines generalized Turán-type clique counting and the edge-extremal theory of $2$-connected graphs with a coefficientwise balancing-switch argument. The switch also shows that a shortest imbalance of length $r$ first affects the independent-set count in degree $2r$.

A filoop is a generic immersion of a circle in a closed oriented surface, whose complement is a disjoint union of discs, considered up to orientation preserving diffeomorphisms. It gives rise to a chord diagram C which has an interlace graph G, called a chordiagraph. For a graph G with even degrees, we compute a quantity mg(G) which yields, for every chord diagram $C$ with interlace graph G, the minimal genus of filoops with chord diagram C. If mg(G)=0 then C admits exactly two framings of genus 0, corresponding to spheriloops. After recalling the Cunningham factorisation of connected graphs, we describe a canonical factorisation of filoops into spheric sums followed by toric sums, for which the genus is additive. This is analogous to the factorisation of compact connected 3-manifolds along spheres and tori. We describe unambiguous context-sensitive grammars generating the set of all graphs and with mg(G)=0 and deduce stability properties with respect to spheric and toric factorisations. Similar results hold for chordiagraphs with mg(G) = 0 and their corresponding spheriloops.

The complementary prism $G\overline{G}$ of a graph $G$ is obtained from the disjoint union of $G$ and its complement $\overline{G}$ by adding an edge between each vertex $a$ in $G$ and its copy $a'$ in $\overline{G}.$ This paper explores a general framework for studying fractional revival with respect to real symmetric matrices with a block structure. The framework is then used to show that, for a fixed state $\mathbf{u}$ in $G$ orthogonal to the all-one vector, the complementary prism $G\overline{G}$ exhibits fractional revival from the state $[\mathbf{u},\mathbf{0}]^T$ with respect to the adjacency, Laplacian, and signless Laplacian matrices. We further characterize perfect pair state transfer in the complementary prism of a complete graph and establish the existence of perfect pair and plus state transfer in the complementary prism of a complete bipartite graph.

It is shown that every Eulerian digraph on $n$ vertices with more than $(t-1)n$ arcs contains every oriented tree with $t$ edges. The digraphs have no loops or repeated arcs, but opposite arcs are permitted. The bound is sharp for each fixed oriented tree, as witnessed by disjoint unions of complete bidirected graphs. Previously, such tight bounds were not known, even just for directed paths. This can be considered as a directed analog of the recently proved Erdős-Sós conjecture. The result was proved by GPT-6 Astra.

Let $G$ be a graph with minimum degree $δ(G)\ge|V(G)|/2$. Can we color the edges of $G$ with red and blue so that every pair of non-adjacent vertices is connected by a path consisting of exactly one red edge and one blue edge? We provide an affirmative answer to this question for a class of graphs that are ``close'' to a complete balanced bipartite graph or the disjoint union of two cliques of the same order. Surprisingly, our methods extend to a much broader class of graphs with minimum degree slightly above $|V(G)|/2$. Furthermore, we answer an asymptotic version of this question in full, proving that every graph $G$ satisfying $δ(G)\ge(|V(G)|-1)/2$ has a $2$-edge-coloring such that almost all pairs of vertices are connected by a rainbow path. In addition, we propose a number of related open problems.

Exceptional CR-quadrics are studied. An example of an exceptional (4,4)-quadric is constructed; it realizes the minimum exceptional type with respect to both n and k. Its graded Lie algebra is described. The available information on exceptional types is summarized, and the lattice of CR-types is decomposed into the disjoint union of three sets: A, the types for which exceptional quadrics are impossible; B, the types for which examples of exceptional quadrics are known; and C, the types whose status is currently unknown (neither an example nor a nonexistence proof is known). Several questions are posed.

We give a counterexample to Wormald's conjecture. A 16-vertex cubic graph, the disjoint union of $K_{3,3}$ with a 10-vertex bridged graph built from two subdivided copies of $K_4$, has no partition of its edges into two isomorphic spanning linear forests. The obstruction is parity: any such partition would force every monochromatic component to have even order while requiring a five-vertex side of a bridge to be partitioned into such components. Adjoining copies of $K_4$ gives counterexamples in every order $16+4t$. The counterexample is disconnected and leaves the connected case unresolved. The full family is verified in Lean without custom axioms.

For an $n\times n$ nonnegative matrix $A$, the Bethe permanent, which is computable in deterministic polynomial time, satisfies the tight universal comparison \[\operatorname{Bethe}(A) \leq \operatorname{per}(A) \leq 2^{n/2}\operatorname{Bethe}(A).\] The lower bound, due to Gurvits, is attained on forests. The upper bound, due to Anari and Rezaei, is attained by the adjacency matrix of a disjoint union of $4$-cycles. Confirming a conjecture of Anari, we provide an optimal girth-dependent refinement of the above comparison. More precisely, we show that if the bipartite support graph of $A$ has girth at least an even integer $g \geq 4$, then \[\operatorname{Bethe}(A) \leq \operatorname{per}(A) \leq 2^{2n/g}\operatorname{Bethe}(A).\] The upper bound is attained by the adjacency matrix of a disjoint union of $g$-cycles.

The Non-Cancelling Intersections (NCI) conjecture of Amarilli, Monet and Suciu [arXiv:2401.16210] states that the union of a finite family of sets can always be built from its algebraically non-cancelling intersections using only disjoint unions and subset complements. In Wilhelm [arXiv:2608.19414] the conjecture was shown to fail when the witnessing dot-algebra expression is required to be left-linear. Here we remove that restriction and show that the conjecture is false in general: there is a finite lattice admitting no dot-algebra representation of its top element whatsoever. The counterexample is a lattice $P_{p,\mathfrak{m}}$ as in Wilhelm [arXiv:2608.19414], and the argument differs in only two ways. First, we replace the sequential "toggle game" of Wilhelm [arXiv:2608.19414] by a corresponding tree-shaped object, the plane tree, which stands to dot-algebra trees as the toggle game stands to left-linear ones. Second, we use a marked plane in which there is no admissible set of any size between $2p$ and $4p$, which also removes the need for the Erdős--Beck theorem and for the arithmetic Nullstellensatz. Consequently $p$ need not be astronomically large: every prime $p \ge 10^{5}$ works.

The spectral Turán type problem, initiated by Nikiforov in 2007, aims to determine the graphs among $n$-vertex $H$-free graphs having maximum spectral radius. In this paper, we study this problem for $1$-planar graphs, i.e., graphs that admit a drawing in the plane such that each edge is crossed at most once. Recently, Xu and Chang proved that the graphs among all $n$-vertex $K_5$-free $1$-planar graphs having maximum spectral radius lie within a small family of candidates. First, this paper explicitly identifies the unique spectral extremal graph among the $n$-vertex $K_5$-free $1$-planar graphs. Second, it establishes a structural reduction theorem: For any forbidden subgraph $F$ with $δ(F)\ge2$ that is contained in $K_2\vee P_{n-2}^{2+}$ but not in $K_2\vee I_{n-2}$, every spectral extremal $F$-free $1$-planar graph contains a spanning complete bipartite graph $K_{2,n-2}$, where $P^{2+}_{n-2}$ is obtained from a path $u_1u_2\dots u_{n-2}$ by adding edge $u_1u_{n-2}$ and all edges $u_iu_{i+2}$ for $1\le i\le n-4$, and $I_{n-2}$ denotes the empty graph on $n-2$ vertices. As applications, the graph among all $n$-vertex $C_5$-free (resp. $2C_5$-free) $1$-planar graphs having maximum spectral radius is determined. These results extend spectral Turán type problems for $1$-planar graphs from cliques to cycles and their disjoint union.

First formulated by Amarilli, Monet, and Suciu (arXiv:2401.16210, 2024), the Non-Cancelling Intersections (NCI) conjecture is an open problem in combinatorics stating that any set union can be constructively built from its algebraically non-cancelling intersections using only disjoint unions and subset complements. In the same paper, two orthogonal possible strengthenings are proposed: using only left-linear trees, and using non-trivial intersections only positively or only negatively depending on the sign of their Möbius value. Here we show that using only left-linear trees, the conjecture is false (independent of the other strengthening). Our argument is non-constructive. We prove the existence of a counterexample, though it is of immense size.

The cluster graphs on $n$ vertices, the disjoint unions of complete graphs, have the integer partitions of $n$ as their isomorphism classes, and the quotient edit distance $q^*(λ,μ)=\min_{σ\in S_n}|E(G_λ)\triangleσE(G_μ)|$ makes that set a metric space. Its metric geometry and its computational complexity both issue from one identity: $q^*$ is an affine function of the maximum of $\lVert X\rVert_F^2$ over the contingency tables with margins $λ$ and $μ$. Combinatorially, it yields two explicit $\ell_1$ models: the vertex-mass metric $δ_1$ on sorted degree sequences, with $\frac12δ_1\le q^*<\frac32δ_1$ and both constants optimal, and the block-energy metric $B$ on the vectors $\bigl(\binom{λ_i}2\bigr)_i$, with $q^*\le B\le2q^*-1$ by a per-table refinement measuring how far an alignment is from a block bijection. Hence $c_1(\mathcal K_n)\le2$, and an $O(n\log n)$-time algorithm returns an alignment of cost below $2q^*$ with the certificate $q^*\in[\lceil(B+1)/2\rceil,B]$. The Euclidean distortion of the class is $c_2(\mathcal K_n)=Θ(n^{1/4})$; against it we measure the weighted dyadic sums $F^{(γ)}$ of the Ferrers staircase, of dimension below $4n$ and computable in $O(n)$ time. The unweighted member has distortion exactly $Θ(n^{1/4}\sqrt{\log n})$, while the critical weight $γ=\frac14$ improves this unconditionally to $O(n^{1/4}(\log n)^{1/4})$ through an inverse energy inequality proved from the quantization of staircase jumps; removing the residual $(\log n)^{1/4}$ is reduced to one inverse inequality on the realizable cone. Computationally, the same identity gives a classification: deciding $q^*(λ,μ)\le Q$ is strongly NP-complete, evaluation is strongly NP-hard and admits no FPTAS unless $\mathrm P=\mathrm{NP}$, while the farthest alignment is polynomial-time solvable.

For a graph $G$, Schur positivity of $X_G$ implies that $G$ is strongly nice, and every strongly nice graph is nice. We construct three infinite families separating these properties. We first give a connected family $F_t$, $t\ge6$, that is strongly nice but not Schur positive. We then prove that homogeneous strongly nice symmetric functions with nonnegative monomial coefficients are closed under multiplication, and hence that strongly nice graphs are closed under disjoint union. As an application, for $H=K_{3,3}-e$, the graphs \[ M_t=H\sqcup K_t,\qquad t\ge3, \] form a disconnected family that is strongly nice but not Schur positive. Finally, we define \[ N_r=K_r\vee(K_2\sqcup2K_1),\qquad r\ge2, \] and prove that every $N_r$ is connected and nice but not strongly nice. We also introduce the level-$k$ nice property and show that the level depth of $N_r$ is $4r!$.

Let $F$ be a graph. A graph $G$ is called $F$-free if $G$ does not contain $F$ as a subgraph. Let ${\rm EX}(n,F)$ denote the set of $F$-free graphs of order $n$ with the maximum edges. In this paper, we characterize the graphs in ${\rm EX}(n,F)$ for large $n$, where $F$ is the disjoint union of paths and stars. This generalizes a result in \cite{LLP}.

Identifying and constructing graphs that are determined by their generalized spectrum (DGS) is a significant and challenging problem in spectral graph theory. Recently, a simple criterion for almost controllable graphs to be DGS was proposed by Lin et al. (2026), utilizing the modified walk matrix. In this paper, we investigate the evolution of the modified walk matrix under disjoint union and join operations with a singleton vertex. We establish an exact algebraic identity for the determinant of the modified walk matrix of the resulting graph. Based on this identity and the DGS-criterion of Lin et al., we construct infinite families of almost controllable graphs that are DGS, extending the previous construction of Liu et al. (2019), which was restricted to controllable graphs.

In a graph, a set $D$ is $k$-dominating if every vertex in $V(G) \setminus D$ has at least $k$ neighbors in $D$. Jafari, Alikhani, and Bakhshesh introduced the concept of a $k$-coalition, which is a pair of disjoint sets $X_1$ and $X_2$ of vertices such that neither is a $k$-dominating set but $X_1 \cup X_2$ is a $k$-dominating set. A $k$-coalition partition is a vertex partition in which each set either forms a $k$-coalition with some other set or is itself a $k$-dominating set with exactly $k$ vertices. The $k$-coalition number $\operatorname{CO_k}(G)$ is the maximum number of sets in a $k$-coalition partition. We compute the $k$-coalition number for several families and bound the $k$-coalition number under disjoint union and graph join. We show that the set of possible sizes of $k$-coalition partitions forms an interval. Finally, we investigate $k$-coalition graphs and prove that every graph is a $k$-coalition graph.

For a graph $G$ of order $n$, let $\mathcal E(G)$ denote its adjacency energy and let $α(G)$ denote its independence number. A recent theorem of Kumar and Pragada states that $$\mathcal E(G)\ge 2\bigl(n-α(G)\bigr).$$ We determine all graphs attaining equality. More precisely, equality holds if and only if every connected component of $G$ is an isolated vertex, a balanced complete multipartite graph, or a graph obtained by taking the disjoint union of $K_{a,\ldots,a}$ and $K_{b,\ldots,b}$, with the same number $r\ge3$ of parts, and then completely joining corresponding parts.

We study partitions which attain the largest Littlewood-Richardson coefficient. More precisely, we prove that the largest $c^λ_{μν}$ is attained at partitions such that $μ\subseteq ν$ and $ν/μ$ is a disjoint union of squares. We conjecture that for $n \ge 16$, all largest $c^λ_{μν}$ must satisfy this property. We confirm this conjecture numerically, for $16 \le n \le 45$.

Let $K_N^{(r)}$ denote the $N$-vertex complete $r$-uniform hypergraph. For an $r$-uniform hypergraph $H$ and an integer $k\geq2$, the $k$-color Ramsey number $R(H,k)$ is the least integer $N$ such that every $k$-edge-coloring of $K_N^{(r)}$ contains a monochromatic copy of $H$. When $k\mid\esize(H)$, the zero-sum Ramsey number $R(H,\mathbb Z_k)$ is the least integer $N$ such that every edge-labeling of $K_N^{(r)}$ by elements of $\mathbb Z_k$ contains a copy of $H$ whose edge labels sum to $0$ in $\mathbb Z_k$. We settle two conjectures and a problem concerning these two Ramsey numbers. First, Caro and Provstgaard proposed exact values for the zero-sum Ramsey numbers over $\mathbb Z_2$ of delta-systems with an even number of edges. We determine these numbers and thereby prove their conjecture. Second, for a forest $F$ with $m$ edges, let $tF$ denote the disjoint union of $t$ copies of $F$. Caro conjectured that $R(tF,\mathbb Z_{mt})=R(tF,2)$ for all sufficiently large $t$. We show that this conjecture does not hold for double stars. Caro also asked whether there exists a tree $T$ with $m$ edges such that $R(T,\mathbb Z_m)>R(T,2)$. We answer this question affirmatively by constructing an infinite family of such trees.

For an $n$-vertex graph $G$, let $N(H_3,G)$ be the number of injective labeled copies of the red-blue path $H_3$ for which the two blue pairs are mapped to non-edges of $G$ and the red pair is mapped to an edge of $G$. We determine the maximum limiting value of $N(H_3,G)/n^4$ and give an extremal construction, which is the disjoint union of a clique and an asymptotically regular graph. The proof uses weighted vertex quotients and degree-square tie-breaking. We thereby resolve the exceptional four-vertex case left open in the recent classification of non-complete red-blue graphs.