arXiv++ Combinatorics

We study discrete period matrices associated with graphs cellularly embedded on closed surfaces, resembling classical period matrices of Riemann surfaces. Defined via integrals of discrete harmonic 1-forms, these period matrices are known to encode discrete conformal structure in the sense of circle patterns. We obtain a combinatorial interpretation of the discrete period matrix, where its minors are expressed as weighted sums over certain spanning subgraphs, which we call homological quasi-trees. Furthermore, we relate the period matrix to the determinant of the Laplacian for a flat complex line bundle. We derive a combinatorial analogue of the Weil-Petersson potential on the Teichmüller space, expressed as a weighted sum over homological quasi-trees. Finally, we study the collection of homological quasi-trees from a (delta-)matroidal perspective. The discrete period matrix plays a role similar to that of the response matrix in circular planar networks, thereby addressing a question posed by Richard Kenyon.

Let $G_{n,p}^{[κ]}$ denote the space of $n$-vertex edge coloured graphs, where each edge occurs independently with probability $p$. The colour of each existing edge is chosen independently and uniformly at random from the set $[κ]$. We consider the threshold for the existence of rainbow colored copies of a spanning subgraph $H$. We provide lower bounds on $p$ and $κ$ sufficient to prove the existence of such copies w.h.p.

A graph $G$ has the $k$-strong parity property if for any $X\subseteq V(G)$ with $|X|$ even, $G$ contains a spanning subgraph $F$ with $d_F(u)\equiv1$ (mod 2) for each $u\in X$ and $d_F(v)\in\{k,k+2,k+4,\ldots\}$ for each $v\in V(G)\setminus X$, where $k\geq2$ is an even integer. Kano and Matsumura proposed a characterization for a graph with the $k$-strong parity property (M. Kano, H. Matsumura, Odd-even factors of graphs, Graphs Combin. 41 (2025) 55). In this paper, we first give a size condition for a graph to have the $k$-strong parity property. Then we establish a signless Laplacian spectral radius condition to guarantee that a graph has the $k$-strong parity property.

The distance signless Laplacian matrix of a graph $G$ is define as $Q(G)=$Tr$(G)+D(G)$, where Tr$(G)$ and $D(G)$ are the diagonal matrix of vertex transmissions and the distance matrix of $G$, respectively. Denote by $E_G(v)$ the set of all edges incident to a vertex $v$ in $G$. A fractional matching of a graph $G$ is a function $f:E(G) \rightarrow [0,1]$ such that $\sum_{e\in E_G(v)} f(e)\leq 1$ for every vertex $v\in V(G)$. The fractional matching number $μ_f(G)$ of a graph $G$ is the maximum value of $ \sum_{e\in E(G)} f(e)$ over all fractional matchings. Given subgraphs $H_1, H_2,...,H_k$ of $G$, a $\{H_1, H_2,...,H_k\}$-factor of $G$ is a spanning subgraph $F$ in which each connected component is isomorphic to one of $H_1, H_2,...,H_k$. In this paper, we establish a upper bound for the distance signless Laplacian spectral radius of a graph $G$ of order $n$ to guarantee that $μ_f(G)> \frac{n-k}{2}$, where $1\leq k<n$ is an integer. Besides, we also provide a sufficient condition based on distance signless Laplacian spectral radius to guarantee the existence of a $\{K_2,\{C_k\}\}$-factor in a graph, where $k \geq 3$ is an integer.

A vertex $v$ of a 2-connected cubic graph $G$ is $λ$-matchable if $G$ has a spanning subgraph in which $v$ has degree three whereas every other vertex has degree one, and we let $λ(G)$ denote the number of such vertices. Clearly, $λ=0$ for bipartite graphs; ergo, we define $λ$-matchable pairs analogously, and we let $ρ(G)$ denote the number of such pairs. We improve the constant lower bounds on both $λ$ and $ρ$ established recently by Chen, Lu and Zhang [Discrete Math., 2025] using matching-theoretic parameters arising from the seminal work of Lovász [J. Combin. Theory Ser. B, 1987], and we characterize all of the tight examples. We also solve the problem posed by Chen, Lu and Zhang: characterize 2-connected cubic graphs that satisfy $λ=n$.

Let $Γ=(K_n,H^-)$ be a signed complete graph with the negative edges induced subgraph $H$. According to the properties of the negative-edge-induced subgraph, characterizing the extremum problem of the index of the signed complete graph is a concern in signed graphs. A graph $G$ is called $H$-minor free if $G$ has no minor which is isomorphic to $H$. In this paper, we characterize the extremal signed complete graphs that achieve the maximum and the second maximum index when $H$ is a $K_{2,2}$-minor free spanning subgraph of $K_n$.

A $k$-decomposition $(G_1,\dots,G_k)$ of a graph $G$ is a partition of its edge set into $k$ spanning subgraphs $G_1,\dots,G_k$. The classical theorem of Nordhaus and Gaddum bounds $χ(G_1) + χ(G_2)$ and $χ(G_1) χ(G_2)$ over all 2-decompositions of $K_n$. For a graph parameter $p$, let $p(k,G) = \max \{ \sum_{i=1}^k p(Gi) \}$, taken over all $k$-decompositions of graph $G$. In this paper we consider $M(k,K_n) = M(k,n) = \max \{ \sum_{i=1}^k \mathrm{Mad}(G_i) \}$, taken over all $k$-decompositions of the complete graph $K_n$, where $\mathrm{Mad}(G)$ denotes the maximum average degree of $G$, $\mathrm{Mad}(G) = \max \{ 2e(H)/|H| : H \subseteq G \} = \max \{d(H) : H \subseteq G \}$. Among the many results obtained in this paper we mention the following selected ones. (1) $M(k, n) < \sqrt{k} n$, and $\lim_{k\to\infty} ( \liminf_{n\to\infty} \frac{M(k,n)}{\sqrt{k}\,n} ) = 1$. (2) Exact determination of $M(2,n)$. (3) Exact determination of $M(k,n)$ when $k = \binom{n}{2} - t$, $0 \leq t\leq (n-1)^2/3$. Applications of these bounds to other parameters considered before in the literature are given.

In this paper we present various lower bound results on collective tree spanners and on spanners of bounded treewidth. A graph $G$ is said to admit a system of $μ$ collective additive tree $c$-spanners if there is a system $\cal{T}$$(G)$ of at most $μ$ spanning trees of $G$ such that for any two vertices $u,v$ of $G$ a tree $T\in \cal{T}$$(G)$ exists such that the distance in $T$ between $u$ and $v$ is at most $c$ plus their distance in $G$. A graph $G$ is said to admit an additive $k$-treewidth $c$-spanner if there is a spanning subgraph $H$ of $G$ with treewidth $k$ such that for any pair of vertices $u$ and $v$ their distance in $H$ is at most $c$ plus their distance in $G$. Among other results, we show that: $\bullet$ Any system of collective additive tree $1$ -- spanners must have $Ω(\sqrt[3]{\log n})$ spanning trees for some unit interval graphs; $\bullet$ No system of a constant number of collective additive tree $2$-spanners can exist for strongly chordal graphs; $\bullet$ No system of a constant number of collective additive tree $3$-spanners can exist for chordal graphs; $\bullet$ No system of a constant number of collective additive tree $c$-spanners can exist for weakly chordal graphs as well as for outerplanar graphs for any constant $c\geq 0$; $\bullet$ For any constants $k \ge 2$ and $c \ge 1$ there are graphs of treewidth $k$ such that no spanning subgraph of treewidth $k-1$ can be an additive $c$-spanner of such a graph. All these lower bound results apply also to general graphs. Furthermore, they %results complement known upper bound results with tight lower bound results.

A claw-free graph is a graph that does not contain $K_{1,3}$ as an induced subgraph, and a 2-factor is a 2-regular spanning subgraph of a graph. In 1997, Ryjáček introduced the closure concept of claw-free graphs, and Hamilton cycles and related structures in claw-free graphs have been intensively studied via the closure concept. In this paper, using the closure concept, we show that for a claw-free graph $G$ of order $n$, if every independent set $I$ of $G$ satisfies $|I|\leq δ_G(I)-1$ and $G$ satisfies $σ_{k+1}(G)\geq n$, then $G$ has a 2-factor with at most $k$ cycles, where $δ_G(I)$ denotes the minimum degree of the vertices in $I$. As a corollary of the result, we show that every claw-free graph $G$ with $δ(G)\geq α(G)+1$ has a 2-factor with at most $α(G)$ cycles, which partially solves a conjecture by Faudree et al. in 2012.

Let $\mathcal{T}_{\frac{k}{r}}$ denote the set of trees $T$ such that $i(T-S)\leq\frac{k}{r}|S|$ for any $S\subset V(T)$ and for any $e\in E(T)$ there exists a set $S^{*}\subset V(T)$ with $i((T-e)-S^{*})>\frac{k}{r}|S^{*}|$, where $r<k$ are two positive integers. A $\{C_{2i+1},T:1\leq i<\frac{r}{k-r},T\in\mathcal{T}_{\frac{k}{r}}\}$-factor of a graph $G$ is a spanning subgraph of $G$, in which every component is isomorphic to an element in $\{C_{2i+1},T:1\leq i<\frac{r}{k-r},T\in\mathcal{T}_{\frac{k}{r}}\}$. Let $A(G)$ and $Q(G)$ denote the adjacency matrix and the signless Laplacian matrix of $G$, respectively. The adjacency spectral radius and the signless Laplacian spectral radius of $G$, denoted by $ρ(G)$ and $q(G)$, are the largest eigenvalues of $A(G)$ and $Q(G)$, respectively. In this paper, we study the connections between the spectral radius and the existence of a $\{C_{2i+1},T:1\leq i<\frac{r}{k-r},T\in\mathcal{T}_{\frac{k}{r}}\}$-factor in a graph. We first establish a tight sufficient condition involving the adjacency spectral radius to guarantee the existence of a $\{C_{2i+1},T:1\leq i<\frac{r}{k-r},T\in\mathcal{T}_{\frac{k}{r}}\}$-factor in a graph. Then we propose a tight signless Laplacian spectral radius condition for the existence of a $\{C_{2i+1},T:1\leq i<\frac{r}{k-r},T\in\mathcal{T}_{\frac{k}{r}}\}$-factor in a graph.

A 2-factor of a graph is a 2-regular spanning subgraph. For a graph $G$ and an independent set $I$ of $G$, let $δ_G(I)$ denote the minimum degree of vertices contained in $I$. We show that (1) if every independent set $I$ of $G$ satisfies $|I|\leq δ_G(I)-1$, then $G$ has a 2-factor and that (2) if every independent set $I$ of $G$ satisfies $|I|\leq δ_G(I)$, then $G$ has a 2-factor unless $G$ is isomorphic to a graph in completely determined exceptional graphs. It can be easily shown that the assumption of (1) is a relaxation of the Dirac condition on Hamiltonicity of graphs, and that the assumption of (2) is a relaxation of the Chvátal-Erdős condition on Hamiltonicity of graphs. Furthermore, for graphs with the assumption of (1), we show some results on a 2-factor with a bounded number of cycles.

A two-terminal graph is a graph equipped with two distinguished vertices, called terminals. Let $T_{n,m}$ be the set of all nonisomorphic connected simple two-terminal graphs on $n$ vertices and $m$ edges. Let $G$ be any two-terminal graph in $T_{n,m}$. For every number $p$ in $[0,1]$ we let each of the edges in $G$ be independently deleted with probability $1-p$. The split reliability $SR_{G}(p)$ is the probability that the resulting spanning subgraph has precisely $2$ connected components, each one including one terminal. The two-terminal graph $G$ is uniformly most split reliable if $SR_G(p)\geq SR_{H}(p)$ for each $H$ in $T_{n,m}$ and every $p$ in $[0,1]$. We say $G$ is locally most split reliable if there exists $δ>0$ such that $SR_G(p)\geq SR_{H}(p)$ for each $H$ in $T_{n,m}$ and every $p$ in $(1-δ,1)$. Brown and McMullin showed that there exists uniformly most split reliable graphs in each class $T_{n,m}$ such that $m=n-1$, $m=\binom{n}{2}$, or $m=\binom{n}{2}-1$. The authors also proved that there is no uniformly most split reliable two-terminal graph in $T_{n,n}$ when $n\geq 6$ and specified in which classes $T_{n,m}$ such that $n\leq 7$ there exist uniformly most split reliable graphs. The existence or nonexistence of uniformly most split reliable graphs in the remaining cases is posed by Brown and McMullin as an open problem. In this work, the set $\mathcal{G}_{n,m}$ consisting of all locally most split reliable graphs is characterized in each nonempty class $T_{n,m}$. It is proved that a graph in $T_{n,m}$ is locally most split reliable if and only if its split reliability equals that of the balloon graph equipped with two terminals whose distance equals its diameter. Finally, it is proved that there is no uniformly most split reliable graph in $T_{n,m}$ when $n\geq 7$ and $n\leq m \leq \binom{n-3}{2}+3$.

Brouwer conjectured that the sum of the first $k$ largest Laplacian eigenvalues of an $n$-vertex graph is less than or equal to the number of its edges plus $\binom{k+1}{2}$ for each $k\in \{1,2,\cdots,n\}$, which has come to be known as Brouwer's conjecture. Recently, Li and Guo further considered the case when the equalities hold in these conjectured inequalities, and proposed the full version of Brouwer's conjecture. In this paper, we first present a concise version of the full Brouwer's conjecture. Then we show that the full Brouwer's conjecture holds for two families of spanning subgraphs of complete split graphs and for $c$-cyclic graphs with $c\in\{0,1,2\}$. We also consider the Nordhaus-Gaddum version of the full Brouwer's conjecture and present partial solutions to it.

Let $\mathcal{F}$ be a set of connected graphs, and let $G$ be a graph. We say that $G$ is \emph{$\mathcal{F}$-free} if it does not contain $F$ as an induced subgraph for all $F\in\mathcal{F}$, and we call $\mathcal{F}$ a forbidden pair if $|\mathcal{F}|=2$. A \emph{$\varTheta$-graph} is the graph consisting of three internally disjoint paths with the same pair of end-vertices. If the $\varTheta$-subgraph $T$ contains all vertices of $G$, then we call $T$ a \emph{spanning $\varTheta$-subgraph} of $G$. In this paper, we characterize all pairs of connected graphs $R,S$ such that every 2-connected $\{R,S\}$-free graph has a spanning $\varTheta$-subgraph. In order to obtain this result, we also characterize all minimal 2-connected non-cycle claw-free graphs without spanning $\varTheta$-subgraphs.

A graph $G$ is said to be equitably $c$-colorable if its vertices can be partitioned into $c$ independent sets that pairwise differ in size by at most one. Chen, Lih, and Wu conjectured that every connected graph $G$ with maximum degree $Δ(G)\geq 2$ has an equitable coloring with $Δ(G)$ colors, except when $G$ is complete, an odd cycle, or a balanced bipartite graph with odd sized partitions. Suppose $G$ is a connected graph with a $k$-factor (a regular spanning subgraph) $F$ such that $G$ is not complete, a $1$-factor, nor an odd cycle. When $k\geq 1$ we demonstrate that there is a connected $(k-1)$ edge-connected equitably $Δ(G)$-colorable graph $H$ with a $k$-factor $F'$ such that $G-E(F)=H-E(F')$. If we drop the requirement that $G-E(F)=H-E(F')$, then we can say more. Considering the non-increasing degree sequence $π=(d_{1},\ldots, d_{n})$ of $G$ where $d_{i}=deg_{G}(v_{i})$ for all vertices $\{v_{1},\ldots,v_{n}\}$ of $G$, we call $m(π)=\max\{i|d_{i}\geq i\}$ the strong index of $π$. For $k\geq 0$, we can show that for every $$c\geq \max_{l\leq m(π)}\bigg\{\bigg\lfloor\frac{d_{l}+l}{2}\bigg\rfloor\bigg\}+1$$ we can find a connected $(k-1)$ edge-connected equitably $c$-colorable realization $H$ of $π$ that has a $k$-factor. In a third theorem we show that if $d_{d_{1}-d_{n}+1}\geq d_{1}-d_{n}+k-1$, then some realization of $π$ has a $k$-factor. Together, these three theorems allow us to prove that for all $k$, there is a connected equitably $Δ(G)$-colorable realization $H$ of $π$ with a $k$-factor. Thus, giving support to the validity of the Chen-Lih-Wu Conjecture.

We prove that $(1+o(1))\sqrt{e/n}$ is the sharp threshold for the appearance of the square of a Hamilton cycle in $G(n,p)$, confirming the conjecture of Kahn, Narayanan, and Park. We also find the exact asymptotics of the threshold for the emergence of a spanning subgraph isomorphic to a fixed graph $F$ for a wide family of $d$-regular graphs $F$. This family includes almost all $d$-regular graphs.

A directed graph $F$ with a root node $r$ is called a flame if for every vertex $v$ other than $r$ the local edge-connectivity value $λ(r,v)$ from $r$ to $v$ is equal to $\varrho_F(v)$, the in-degree of $v$. It is a classic, simple and beautiful result of Lovász that every digraph $D$ with a root node $r$ has a spanning subgraph $F$ that is a flame and the $λ(r,v)$ values are the same in $F$ as in $D$ for every vertex $v$ other than $r$. However, the complexity of finding the minimum weight of such a subgraph is open. In this paper we prove that this problem is solvable in strongly polynomial time for acyclic digraphs. Besides that, we prove a decomposition result of flames into a chain of smaller flames via edge-disjoint branchings and use this to prove a common generalization of Lovász's above mentioned theorem and Edmonds' classic disjoint arborescences theorem.

A spanning subgraph $F$ of a graph $G$ is called a $[1,b]$-odd factor if $b\equiv1$ (mod 2) and $d_F(v)\in\{1,3,\ldots,b\}$ for every $v\in V(G)$. A graph $G$ of order $n\geq k+2$ is $k$-critical with respect to $[1,b]$-odd factor if for any $X\subseteq V(G)$ with $|X|=k$, $G-X$ has a $[1,b]$-odd factor. In this paper, we provide a size and spectral radius conditions for a graph with minimum degree to be $k$-critical with respect to $[1,b]$-odd factor, respectively.

The $\{K_{1,1}, K_{1,2},C_m: m\geq3\}$-factor of a graph is a spanning subgraph whose each component is an element of $\{K_{1,1}, K_{1,2},C_m: m\geq3\}$. In this paper, through the graph spectral methods, we establish the lower bound of the signless Laplacian spectral radius and the upper bound of the distance spectral radius to determine whether a graph admits a $\{K_2\}$-factor. We get a lower bound on the size (resp. the spectral radius) of $G$ to guarantee that $G$ contains a $\{K_{1,1}, K_{1,2},C_m: m\geq3\}$-factor. Then we determine an upper bound on the distance spectral radius of $G$ to ensure that $G$ has a $\{K_{1,1}, K_{1,2},C_m: m\geq3\}$-factor. Furthermore, by constructing extremal graphs, we show that the above all bounds are best possible.

Let $G$ be a connected graph of order $n$ with $n\geq25$. A $\{P_3,P_4,P_5\}$-factor is a spanning subgraph $H$ of $G$ such that every component of $H$ is isomorphic to an element of $\{P_3,P_4,P_5\}$. Nikiforov introduced the $A_α$-matrix of $G$ as $A_α(G)=αD(G)+(1-α)A(G)$ [V. Nikiforov, Merging the $A$- and $Q$-spectral theories, Appl. Anal. Discrete Math. 11 (2017) 81--107], where $α\in[0,1]$, $D(G)$ denotes the diagonal matrix of vertex degrees of $G$ and $A(G)$ denotes the adjacency matrix of $G$. The largest eigenvalue of $A_α(G)$, denoted by $λ_α(G)$, is called the $A_α$-spectral radius of $G$. In this paper, it is proved that $G$ has a $\{P_3,P_4,P_5\}$-factor unless $G=K_1\vee(K_{n-2}\cup K_1)$ if $λ_α(G)\geqλ_α(K_1\vee(K_{n-2}\cup K_1))$, where $α$ be a real number with $0\leqα<\frac{2}{3}$.