arXiv++ Combinatorics

For an oriented graph $G$, the oriented discrepancy problem concerns the existence of a spanning subgraph of $G$ with a large imbalance between its forward and backward edge orientations. Freschi and Lo proved the Dirac-type Hamilton cycle result in oriented graphs, and asked for an analogue for powers of Hamilton cycles under a minimum-degree condition. We show that, for sufficiently large $n$, every oriented graph $G$ on $n$ vertices with minimum degree $δ(G)\geq 2n/3$ contains the square of a Hamilton cycle $H$ with $σ_{\max}(H)$ guaranteed to exceed a function depending on $δ(G)$ and $n$.

Given a polyhedron (planar, $3$-connected graph) $G$, we investigate its common neighbourhood graph con($G$). For cubic ($3$-regular) polyhedra, we show that the planarity of con($G$) depends on the number of odd faces of $G$, and on their adjacency. We then prove that for all other polyhedra, con($G$) is non-planar. We introduce a novel concept for polyhedra (and more generally, for plane graphs) $G$, namely the `facial common neighbourhood graph' facecon($G$). Its definition takes into account pairs of vertices with a common neighbour on the same face of $G$. It is a spanning subgraph of con($G$), that coincides with con($G$) for cubic polyhedra. It also generalises the reverse construction of the radial graph. As part of our investigation, we also prove a technical result of independent interest: if a maximal planar graph (triangulation of the sphere) has exactly two vertices of odd degree, then they are not adjacent. We also answer several questions in extremal graph theory. Fixing the number of vertices, we characterise the polyhedra $G$ such that con($G$) is planar and the number of edges in con($G$) is minimal/maximal. We address the same problem for facecon($G$), and prove that if it is maximal planar, then $G$ has no face of length greater than $6$. We notably characterise and explicitly construct all polyhedra $G$ of maximal face length $4$ such that facecon($G$) is maximal planar.

The toughness of a graph $G$, denoted by $τ(G)$, is defined by $τ(G)=$min $\{\frac{|S|}{c(G-S)}:S\subseteq V(G)$ and $c(G-S)\geq2\}$. A graph $G$ is said to be $τ$-tough if $τ(G)\geq τ$. Let $k\geq2$ be an integer. A tree $T$ is called a $k$-tree if $d_{T}(v)\leq k$ for each $v\in V(T)$, that is, the maximum degree of a $k$-tree is at most $k$. A $k$-tree $T$ is a spanning $k$-tree if $T$ is a spanning subgraph of a connected graph $G$. In 1989, Win [Graphs Combin. 5 (1989) 201--205] proved that if $τ(G)\geq\frac{1}{k-2}$, where $k\geq3$, then $G$ contains a spanning $k$-tree. Liu, Fan and Shu [Discrete Math. 348 (2025) 114593] provided a tight sufficient condition based on the spectral condition for connected $\frac{1}{k}$-tough and $\frac{1}{k-1}$-tough graphs to contain a spanning $k$-tree, where $k\geq3$ is an integer. A natural and interesting problem arises: Can the value of $τ$ be refined? When $\frac{1}{k-2}>τ\geq\frac{1}{k-1}$, we initially establish a lower bound on the size to ensure that a connected $\frac{t}{t(k-2)+1}$-tough graph $G$ contains a spanning $k$-tree, where $k\geq3$ and $t\geq1$ are integers. Meanwhile, we provide two sufficient conditions in terms of spectral radius and signless Laplacian spectral radius for a connected $\frac{t}{t(k-2)+1}$-tough graph $G$ to contain a spanning $k$-tree, where $k\geq3$ and $t\geq1$ are integers. When $t=1$, we obtain the result $η=1$ from Liu, Fan and Shu.

For a positive integer \( k \), let \( [k] = \{1, 2, \ldots, k\} \). Let \( h \) be a non-negative integer, and let \( n \) be a multiple of \( h + 1 \). Define \( H \) as the disjoint union of \( n/(h+1) \) cliques (each of size \( h + 1 \)) with vertex sets \( V_1, \ldots, V_{n/(h+1)} \), where \( V_i = \{ v_j \mid j = (i-1)(h+1) + k, k \in [h+1] \} \) for \( i \in [n/(h+1)] \). A non-increasing integer sequence \( (d_1, \ldots, d_n) \) is \( H \)-realizable if there exists a graph \( G \) with \( V(G) = V(H) = \{ v_i \mid i \in [n] \} \), \( d_G(v_i) = d_i \) for all \( i\in [n] \), and \( G \) contains \( H \) as a spanning subgraph. If \( h = 0 \), then a non-increasing integer sequence \( (d_1, \ldots, d_n) \) is \( H \)-realizable if and only if there exists a graph \( G \) with degree sequence \( (d_1, d_2, \dots, d_n) \); Erdős and Gallai established a necessary and sufficient condition for this property. Recently, Briggs, McDonald, and Shan extended their result to the case \( h = 1 \). In this paper, we establish a necessary and sufficient condition for a sequence \( (d_1, d_2, \dots, d_n) \) to be \( H \)-realizable for any non-negative integer \( h \), thereby confirming a conjecture due to Briggs, McDonald and Shan.

A $k$-edge-coloured graph is colour-balanced if each colour appears equally often. Resolving a conjecture of Pardey and Rautenbach, we show that any colour-balanced $k$-edge-coloured complete graph $K_{2kt}$ contains a perfect matching that can be made colour-balanced by recolouring $O(k^2)$ edges. More generally, we obtain analogous bounds for arbitrary bounded-degree spanning subgraphs of edge-coloured complete graphs and for perfect matchings in edge-coloured $r$-uniform complete hypergraphs in a more general vector-label setting. The former result answers a question recently posed by Banerjee and Hollom, and significantly improves earlier bounds for all previously studied classes of subgraph. Our proofs reduce each of these problems to a setting in which we can apply a bound for perfect matchings in the complete bipartite graph, established via a linear relaxation and a necklace-splitting argument.

Let $G$ be a connected graph with $n$ vertices. The isolated toughness of $G$, denoted by $I(G)$, is defined by $I(G)=\min\left\{\frac{|S|}{i(G-S)}:S\subseteq V(G) \ \mbox{and} \ i(G-S)\geq2\right\}$ if $G$ is not complete, or $I(G)=+\infty$ if $G$ is complete. A graph $G$ is called isolated $r$-tough if $I(G)\geq r$. A spanning subgraph $H$ of $G$ is called a $\{K_{1,j}:m\leq j\leq2m\}$-factor of $G$ if every component of $H$ is isomorphic to an element of $\{K_{1,j}:m\leq j\leq2m\}$. Let $ρ(G)$, $q(G)$ and $μ(G)$ denote the adjacency spectral radius, the signless Laplacian spectral radius and the distance spectral radius of $G$, respectively. Let $m$ and $b$ be two positive integers with $m\geq2$. In this paper, we first establish a lower bounds on the adjacency spectral radius of a connected isolated $\frac{mb-1}{b}$-tough graph $G$ to guarantees that $G$ contains a $\{K_{1,j}:m\leq j\leq2m\}$-factor. Second, we establish a lower bounds on the signless Laplacian spectral radius of a connected isolated $\frac{mb-1}{b}$-tough graph $G$ to ensures that $G$ contains a $\{K_{1,j}:m\leq j\leq2m\}$-factor. Finally, we create an upper bounds on the distance spectral radius of a connected isolated $\frac{mb-1}{b}$-tough graph $G$ with a $\{K_{1,j}:m\leq j\leq2m\}$-factor. Furthermore, we construct some extremal graphs to claim that all the bounds obtained in this paper are sharp.

A graph of order $n$ is said to be $k$-\emph{factor-critical} $(0\le k<n)$ if the removal of any $k$ vertices results in a graph with a perfect matching. A $k$-factor-critical graph $G$ is \emph{minimal} if $G-e$ is not $k$-factor-critical for any edge $e$ in $G$. In 1998, Favaron and Shi posed the conjecture that every minimal $k$-factor-critical graph is of minimum degree $k+1$. A natural extension of this notion arises from $\{1,2\}$-factors. A spanning subgraph of $G$ is called a $\{1,2\}$-factor if each of its components is a regular graph of degree one or two. A graph is $k$-\emph{$\{1,2\}$-factor critical} if the removal of any $k$ vertices results in a graph with a $\{1,2\}$-factor. A recent conjecture in the area states that every minimal $k$-$\{1,2\}$-factor critical graph $G$ satisfies $k+1\le δ(G)\le k+2$. In this paper, we prove that the conjecture holds for $k$-planar graphs, that is, graphs in which the deletion of any set of $k$ vertices yields a planar graph. In particular, this resolves the conjecture for planar graphs.

We investigate the pairwise negative correlation (p-NC) property for uniform probability measures on several families of spanning subgraphs of the complete graph $K_n$. Motivated by conjectured negative dependence properties of the random-cluster model with $q<1$, we focus on three natural families: the set of all connected spanning subgraphs, the set of forests with exactly $k$ components, and the set of connected spanning subgraphs with excess $k$, where $k$ is a fixed integer. We prove that for each of these families, the associated uniform measure satisfies the p-NC property provided $n$ is sufficiently large. Our results extend earlier work on uniform forests and provide the first verification of the p-NC property for uniform connected subgraphs and their truncations on complete graphs.

Isomorphic factorizations of complete graphs originate from the seminal work of Frank Harary and collaborators, who initiated the systematic study of decompositions of complete graphs into pairwise isomorphic spanning subgraphs. In this paper, we investigate isomorphic factorizations of complete graphs into Cayley graphs on CI-groups. Let $Γ=Cay(G,S)$ denote the Cayley graph of finite group $G$. We obtain a necessary and sufficient condition on CI-group $G$ so that the complete graph on $|G|$ vertices can be edge-partitioned into $k$-copies of Cayley graph of the same CI-group $G$ each isomorphic to $Cay(G,S)$ for some inverse-closed subset $S\subset G\setminus\{1\}$. Further we give a construction of isomorphic factorizations of the complete graph into Cayley graphs on CI-group.

Autocatalytic cores are minimal units in reaction networks (RNs) responsible for the emergence of autocatalysis. In the absence of explicit catalysis, i.e., when an entity appears both as reactant and product in the same reaction, they are known to be encoded by square submatrices of the stoichiometric matrix whose columns can be reordered as an irreducible child-selection (CS) matrix with negative diagonal and nonnegative off-diagonal (Metzler matrix). In the bipartite Koenig graph representing the RN, these CS matrices can be identified by fluffles, i.e., strong blocks with an identical number of entity and reaction vertices that have out- and in-degree 1, respectively. Here, we adapt the concepts derived for autocatalytic cores to RNs with explicitly catalyzed reactions, which emerge as digons, i.e., elementary circuits in the Koenig graph of length 2. In this setting, we confirm that an inspection of the stoichiometric matrix alone is inconclusive concerning the presence and number of autocatalytic cores, requiring a more delicate algebraic analysis. Nevertheless, this generalization preserves both the graph and the matrix representation as fluffles and irreducible Metzler CS matrices, respectively, although the diagonal is no longer necessarily strictly negative. We introduce the notion of hard autocatalytic cores, i.e. those that do not yield other autocatalytic cores upon inclusion of all reverse reactions. Finally, we consider the case of unit stoichiometries and show that each autocatalytic core can be constructed as the superposition of at most 2 elementary circuits. In particular, autocatalytic cores involving explicitly catalyzed reactions always contain a spanning subgraph consisting of a single elementary circuit together with a simple entity-to-reaction chord. Moreover, we identify the essentially unique example for which at least two circuits are required.

We prove a conjecture of Shteiner and Shteyner stating that for a bipartite graph $G=(V,E)$, the number of forests in $G$ equals the number of degree sequences arising from its spanning subgraphs. In the process, we provide several equivalent evaluations of the Tutte polynomial $T_G(x,y)$ at $(2,1)$, including interpretations in terms of degree vectors obtained from orientations of $G$.

Let $G$ be a finite simple graph and $B \subseteq V(G)$. We introduce the \emph{bivariate $B$-restricted clique polynomial} \[ C_B(G;x,y) = \sum_{\substack{K \subseteq V \\ K \text{ is a clique}}} x^{|K|} y^{|K \cap B|}, \] where the coefficient of $x^i y^j$ counts cliques of size $i$ with exactly $j$ vertices in $B$. This polynomial simultaneously captures combinatorial structure, local extremal properties, and spectral constraints associated with the subset $B$. \\ First, we develop vertex and edge deletion recurrences, generalizing classical clique polynomial results. These recurrences imply monotonicity for the largest negative root $ζ_G(B;y)$ (viewed as a polynomial in $x$ for fixed $y \in [0,1]$) under induced and spanning subgraphs. From this, we derive bounds on $B$-independence numbers, $B$-girth, and clique densities restricted to $B$. \\ Next, we prove that for any integer $r \ge 1$, any $r$-connected $K_{r+3}$-free chordal graph $G$, and any subset $B \subseteq V(G)$, the bivariate clique polynomial $C_B(G;x,y)$ is real-stable. \\ Then, we connect $C_B(G;x,y)$ with spectral graph theory. For $(n,d,λ)$-graphs, expansion constraints via Tanner's inequality limit clique growth within $B$, yielding explicit bounds on coefficients and $ζ_G(B;y)$. \\ Finally, we analyze weighted vertices and homomorphism obstructions in this framework, giving a general no-homomorphism criterion. We also conclude the paper with a couple of interesting open problems for young and motivated researchers.

A $k$-regular spanning subgraph of $G$ is called a $k$-factor. In this paper, we provide spectral radius and edge conditions to ensure that a graph $G$ with $δ(G)\ge k$ admits a $k$-factor. Fan, Lin and Lu [European J. Combin. 110 (2023) 103701] presented a tight sufficient condition in terms of the spectral radius for a connected 1-tough graph to contain a connected 2-factor (Hamilton cycle). Then it is interesting to consider the following problem: What is the spectral radius condition to guarantee the existence of a $k$-factor with $k\ge3$ in a connected 1-tough graph $G$ with $δ(G)\ge k$? We completely solve this problem, and we further obtain a sufficient spectral radius condition for the existence of a $k$-factor in a connected 1-binding graph, which solves an important problem posed by Fan and Lin [Electron. J. Combin. 31 (2024) 1--30].

Let $G$ be a finite simple graph and $B \subseteq V(G)$. We study the \emph{$B$-restricted clique polynomial} $C_B(G;x)$, including its weighted version allowing vertex multiplicities, as a versatile tool to capture structural properties of vertex subsets. First, we develop a complete deletion theory for $C_B(G;x)$, including vertex and edge recurrences that generalize classical clique polynomial results. These recurrences yield monotonicity principles for the largest negative root $ζ_G(B)$: it is monotone under induced subgraphs and reverse-monotone under spanning subgraphs. Consequently, we derive explicit bounds on $B$-independence numbers, chromatic numbers, $B$-girth, and Hamiltonicity constraints, showing that $ζ_G(B)$ serves as a unifying local invariant. Next, we connect $B$-clique polynomials to spectral graph theory. For $(n,d,λ)$-graphs, spectral techniques, including the Expander Mixing Lemma and Tanner's inequality, provide uniform bounds on $B$-restricted clique coefficients, demonstrating that clique growth within $B$ is naturally controlled by the spectral gap. Finally, we show that weighted $B$-clique polynomials encode \emph{homomorphism constraints}. Specifically, if $f: G \to H$ is a surjective homomorphism mapping $B_G$ onto $B_H$, then $ζ_G(B_G) \ge ζ_H(B_H)$, yielding a local \emph{no-homomorphism criterion} based on $B$-roots. Overall, $C_B(G;x)$ provides a unified framework capturing combinatorial, spectral, and homomorphic information in vertex-restricted analysis, highlighting its power for both global and local structural insights.

We show that for any constant $μ>0$ and $k\ge 3$, there exists $α>0$ such that the following holds for sufficiently large $n \in \mathbb{N}$. If $G=(V_{1},\ldots,V_{k},E)$ is a spanning subgraph of the $n$-blow-up of $K_{k}$ with ${δ^*}(G)\geq (\frac{1}{2}+μ) n$ and $α^*_{k-1}(G)<αn$, then $G$ has a transversal $K_{k}$-factor. Moreover, the bound $\frac{1}{2}$ is asymptotically tight for the case \(k=3\). In addition, we show that if $k\ge 4$, $G=(V_{1},\ldots,V_{k},E)$ is a spanning subgraph of the $n$-blow-up of $C_{k}$ with ${δ^*}(G)\ge (\frac{2}{k}+μ) n$, and $α^*_{2}(G)<αn$, then $G$ has a transversal $C_{k}$-factor. This extends a recent result of Han, Hu, Ping, Wang, Wang and Yang.

Let $a$, $b$, and $n$ be three integers such that $1\leq a \leq b < n$, $a \equiv b$ (mod $2$), and $na$ is even. A parity $[a,b]$-factor of $G$ is a spanning subgraph $H$ such that for each vertex $v \in V(G)$, $a \leq d_H(v) \leq b$ and $d_H(v) \equiv a \equiv b$ (mod $2$). Recently, O [J. Graph Theory 100 (2022) 458-469] proved eigenvalue conditions for a regular graph to have a parity $[a,b]$-factor. In this paper, we prove a sharp lower bound on the spectral radius for an $n$-vertex graph $G$ to have a parity $[a,b]$-factor as follows: If $G$ is an $n$-vertex connected graph with $δ(G)\geq a$ and $ρ(G)\geqρ(G_{n}^{a})$, then $G$ contains a parity $[a,b]$-factor unless $G \cong G_{n}^{a}$, where $2\leq a<b$ and $G_{n}^{a}$ is the graph obtained from $K_{a-1}\vee(K_{n-2a-1}\cup(a+1)K_1)$ by adding a new vertex and adding all possible edges between the added vertex and each vertex in $(a+1)K_1$.

A graph $G$ is $k$-factor-critical if $G-S$ has a perfect matching for every subset $S \subseteq V(G)$ with $|S|=k$. A spanning subgraph $H$ of $G$ is called a $[1,b]$-odd factor if $b \equiv 1 \pmod{2}$ and $d_{H}(v) \in\left\lbrace 1, 3, \ldots, b\right\rbrace$ for every $v\in V(G),$ where $d_{H}(v)$ denotes the degree of vertex $v$ in $H$. Moreover, $G$ is said to be $k$-critical with respect to $[1,b]$-odd factors if $G-X$ contains a $[1,b]$-odd factor for every subset $X \subseteq V(G)$ with $|X|=k$. In this paper, we provide some sufficient conditions based on the distance spectral radius and the distance signless Laplacian spectral radius for a graph with minimum degree to be $k$-critical with respect to $[1,b]$-odd factors.

From any graph $G$ arises a flat space wavefunction, obtained by integrating a product of propagators associated to the vertices and edges of $G$. This function is a key ingredient in the computation of cosmological correlators, and several representations for it have been proposed. We formulate three such representations and prove their correctness. In particular, we show that the flat space wavefunction can be read off from the canonical form of the cosmological polytope, and we settle a conjecture of Fevola, Pimentel, Sattelberger, and Westerdijk regarding a partial fraction decomposition for the flat space wavefunction. The terms of the decomposition correspond to certain collections of connected subgraphs associated to $G$ and its spanning subgraphs, reflecting the fact that the flat space wavefunction contains information about how $G$ is connected.

A factor of a graph is essentially a specific type spanning subgraph. The study of characterizing the existence of $[a, b]$-factors based on eigenvalue conditions can be traced back to the work of Brouwer and Haemers (2005) on perfect matchings. With the advancement of graphs factor theory, the related spectral extremal problems, particularly the study of $[a,b]$-factors and fractional $[a,b]$-factors, have been widely studied by scholars. Our work is motivated by research related to the $[a,b]$-factors and fractional $[a,b]$-factors, and explores their generalizations: $(a,b,k)$-critical graphs and fractional $(a,b,k)$-critical graphs. A graph $G$ is called an $(a,b,k)$-critical (a fractional $(a,b,k)$-critical) graph if after deleting any $k$ vertices of $G$ the remaining graph of $G$ has an $[a,b]$-factor (a fractional $[a,b]$-factor). In this paper, we establish spectral radius conditions for a graph to be $(a,b,k)$-critical or fractional $(a,b,k)$-critical. When $k=0$, our results also resolve some open problems concerning $[a, b]$-factors and fractional $[a, b]$-factors.

The number of spanning trees in a graph $G$ is the total number of distinct spanning subgraphs of $G$ that are trees. In this paper we characterize the unique graph with a prescribed vertex (resp. edge) connectivity, minimum degree and order that attains the maximum number of spanning trees. Moreover, all the bipartite graphs are determined with a given vertex (resp. edge) connectivity and order maximizing the number of spanning trees.