arXiv++ Combinatorics

Given a connected graph $G=(V(G), E(G))$, the length of a shortest path from a vertex $u$ to a vertex $v$ is denoted by $d(u,v)$. For a proper subset $W$ of $V(G)$, let $m(W)$ be the maximum value of $d(u,v)$ as $u$ ranging over $W$ and $v$ ranging over $V(G)\setminus W$. The proper subset $W=\{w_1,\ldots,w_{|W|}\}$ is a {\em completeness-resolving set} of $G$ if $$ Ψ_W: V(G)\setminus W \longrightarrow [m(W)]^{|W|},\qquad u\longmapsto (d(w_1,u),\ldots,d(w_{|W|},u)) $$ is a bijection, where $$ [m(W)]^{|W|}=\{(a_{(1)},\ldots,a_{(|W|)})\mid 1\leq a_{(i)}\leq m(W)\text{ for each }i=1,\ldots,|W|\}. $$ A graph is {\em completeness-resolvable} if it admits a completeness-resolving set. In this paper, we first construct the set of all completeness-resolvable graphs by using the edge coverings of some vertices in given bipartite graphs, and then establish posets on some subsets of this set by the spanning subgraph relationship. Based on each poset, we find the maximum graph and give the lower and upper bounds for the number of edges in a minimal graph. Furthermore, minimal graphs satisfying the lower or upper bound are characterized.

We conjecture that finite graphs with positive Cheeger constant admit a spanning subgraph with positive Cheeger constant and girth proportional to the diameter. We prove this conjecture for regular expander graphs with large expansion. Our proof relies on the Local Lemma.

A graph is said to be $K_{1,r}$-free if it does not contain an induced subgraph isomorphic to $K_{1,r}$. An $\mathcal{F}$-factor is a spanning subgraph $H$ such that each connected component of $H$ is isomorphic to some graph in $\mathcal{F}$. In particular, $H$ is called an $\{P_2,P_3\}$-factor of $G$ if $\mathcal{F}=\{P_2,P_3\}$; $H$ is called an $\mathcal{S}_n$-factor of $G$ if $\mathcal{F}=\{K_{1,1},K_{1,2},K_{1,3},...,K_{1,n}\}$, where $n\geq2$. A spanning subgraph of a graph $G$ is called a $\mathcal{P}_{\geq k}$-factor of $G$ if its each component is isomorphic to a path of order at least $k$, where $k\geq2$. A graph $G$ is called a $\mathcal{F}$-factor covered graph if there is a $\mathcal{F}$-factor of $G$ including $e$ for any $e\in E(G)$. In this paper, we give a minimum degree condition for a $K_{1,r}$-free graph to have an $\mathcal{S}_n$-factor and a $\mathcal{P}_{\geq 3}$-factor, respectively. Further, we obtain sufficient conditions for $K_{1,r}$-free graphs to be $\mathcal{P}_{\geq 2}$-factor, $\mathcal{P}_{\geq 3}$-factor or $\{P_2,P_3\}$-factor covered graphs. In addition, examples show that our results are sharp.

A graph $G$ has the \emph{strong parity property} if for every subset $X\subseteq V$ with $|X|$ even, $G$ has a spanning subgraph $F$ with minimum degree at least one such that $d_F(v)\equiv 1\pmod 2$ for all $v\in X$, $d_F(y)\equiv 0\pmod 2$ for all $y\in V(G)-X$. Bujtás, Jendrol and Tuza (On specific factors in graphs, \emph{Graphs and Combin.}, 36 (2020), 1391-1399.) introduced the concept and conjectured that every 2-edge-connected graph with minimum degree at least three has the strong parity property. In this paper, we give a characterization for graphs to have the strong parity property and construct a counterexample to disprove the conjecture proposed by Bujtás, Jendrol and Tuza.

Let $G$ be a connected graph and $u,v$ and $w$ vertices of $G$. Then $w$ is said to {\em strongly resolve} $u$ and $v$, if there is either a shortest $u$-$w$ path that contains $v$ or a shortest $v$-$w$ path that contains $u$. A set $W$ of vertices of $G$ is a {\em strong resolving set} if every pair of vertices of $G$ is strongly resolved by some vertex of $W$. A smallest strong resolving set of a graph is called a {\em strong basis} and its cardinality, denoted $β_s(G)$, the {\em strong dimension} of $G$. The {\em threshold strong dimension} of a graph $G$, denoted $τ_s(G)$, is the smallest strong dimension among all graphs having $G$ as spanning subgraph. A graph whose strong dimension equals its threshold strong dimension is called $β_s$-{\em irreducible}. In this paper we establish a geometric characterization for the threshold strong dimension of a graph $G$ that is expressed in terms of the smallest number of paths (each of sufficiently large order) whose strong product admits a certain type of embedding of $G$. We demonstrate that the threshold strong dimension of a graph is not equal to the previously studied threshold dimension of a graph. Graphs with strong dimension $1$ and $2$ are necessarily $β_s$-irreducible. It is well-known that the only graphs with strong dimension $1$ are the paths. We completely describe graphs with strong dimension $2$ in terms of the strong resolving graphs introduced by Oellermann and Peters-Fransen. We obtain sharp upper bounds for the threshold strong dimension of general graphs and determine exact values for this invariant for certain subclasses of trees.

Crapo introduced a construction of interval partitions of the Boolean lattice for sets equipped with matroid structure. This construction, in the context of graphic matroids, is related to the notion of edge activities introduced by Tutte. This implies that each spanning subgraph of a connected graph can be constructed from edges of exactly one spanning tree by deleting a unique subset of internally active edges and adding a unique subset of externally active edges. Since the family of vertex independent sets does not give rise to a matroid structure we can not apply Crapo's construction on the vertex set when using the family of independent sets as generating sets. In this paper, we introduce the concept of vertex activities to tackle the problem of generating interval partitions of the Boolean lattice of the vertex set. We show how to generate a cover, present some properties related to vertex activities of some special maximal independent sets and consider some special graphs. Finally, we will show that level labellings in pruned graphs always generate a partition.

The chromatic polynomial and its generalization, the chromatic symmetric function, are two important graph invariants. Celebrated theorems of Birkhoff, Whitney, and Stanley show how both objects can be expressed in three different ways: as sums over all spanning subgraphs, as sums over spanning subgraphs with no broken circuits, and in terms of acyclic orientations with compatible colorings. We establish all six of these expressions bijectively. In fact, we do this with only two bijections, as the proofs in the symmetric function setting are obtained using the same bijections as in the polynomial case and the bijection for broken circuits is just a restriction of the one for all spanning subgraphs.

For positive integers $d<k$ and $n$ divisible by $k$, let $m_{d}(k,n)$ be the minimum $d$-degree ensuring the existence of a perfect matching in a $k$-uniform hypergraph. In the graph case (where $k=2$), a classical theorem of Dirac says that $m_{1}(2,n)=\lceil n/2\rceil$. However, in general, our understanding of the values of $m_{d}(k,n)$ is still very limited, and it is an active topic of research to determine or approximate these values. In this paper we prove a "transference" theorem for Dirac-type results relative to random hypergraphs. Specifically, for any $d< k$, any $\varepsilon>0$ and any "not too small" $p$, we prove that a random $k$-uniform hypergraph $G$ with $n$ vertices and edge probability $p$ typically has the property that every spanning subgraph of $G$ with minimum degree at least $(1+\varepsilon)m_{d}(k,n)p$ has a perfect matching. One interesting aspect of our proof is a "non-constructive" application of the absorbing method, which allows us to prove a bound in terms of $m_{d}(k,n)$ without actually knowing its value.

Let $F(G)$ be the number of forests of a graph $G$. Similarly let $C(G)$ be the number of connected spanning subgraphs of a connected graph $G$. We bound $F(G)$ and $C(G)$ for regular graphs and for graphs with fixed average degree. Among many other things we study $f_d=\sup_{G\in \mathcal{G}_d}F(G)^{1/v(G)}$, where $\mathcal{G}_d$ is the family of $d$--regular graphs, and $v(G)$ denotes the number of vertices of a graph $G$. We show that $f_3=2^{3/2}$, and if $(G_n)_n$ is a sequence of $3$--regular graphs with length of the shortest cycle tending to infinity, then $\lim_{n\to \infty}F(G_n)^{1/v(G_n)}=2^{3/2}$. We also improve on the previous best bounds on $f_d$ for $4\leq d\leq 9$.

In this article, we introduce a geometric and a spectral preorder relation on the class of weighted graphs with a magnetic potential. The first preorder is expressed through the existence of a graph homomorphism respecting the magnetic potential and fulfilling certain inequalities for the weights. The second preorder refers to the spectrum of the associated Laplacian of the magnetic weighted graph. These relations give a quantitative control of the effect of elementary and composite perturbations of the graph (deleting edges, contracting vertices, etc.) on the spectrum of the corresponding Laplacians, generalising interlacing of eigenvalues. We give several applications of the preorders: we show how to classify graphs according to these preorders and we prove the stability of certain eigenvalues in graphs with a maximal d-clique. Moreover, we show the monotonicity of the eigenvalues when passing to spanning subgraphs and the monotonicity of magnetic Cheeger constants with respect to the geometric preorder. Finally, we prove a refined procedure to detect spectral gaps in the spectrum of an infinite covering graph.

Let $T$ be a digraph with vertices $u_1, \dots, u_t$ ($t\ge 2$) and let $H_1, \dots, H_t$ be digraphs such that $H_i$ has vertices $u_{i,j_i},\ 1\le j_i\le n_i.$ Then the composition $Q=T[H_1, \dots, H_t]$ is a digraph with vertex set $\{u_{i,j_i}\colon\, 1\le i\le t, 1\le j_i\le n_i\}$ and arc set $$A(Q)=\cup^t_{i=1}A(H_i)\cup \{u_{ij_i}u_{pq_p}\colon\, u_iu_p\in A(T), 1\le j_i\le n_i, 1\le q_p\le n_p\}.$$ The composition $Q=T[H_1, \dots, H_t]$ is a semicomplete composition if $T$ is semicomplete, i.e. there is at least one arc between every pair of vertices. Digraph compositions generalize some families of digraphs, including (extended) semicomplete digraphs, quasi-transitive digraphs and lexicographic product digraphs. In particular, strong semicomplete compositions form a significant generalization of strong quasi-transitive digraphs. In this paper, we study the structural properties of semicomplete compositions and obtain results on connectivity, paths, cycles, strong spanning subdigraphs and acyclic spanning subgraphs. Our results show that this class of digraphs shares some nice properties of quasi-transitive digraphs.

We prove that any quasirandom dense large graph in which all degrees are equal and even can be decomposed into any given collection of two-factors (2-regular spanning subgraphs). A special case of this result gives a new solution to the Oberwolfach problem.

The notion of weak saturation was introduced by Bollobás in 1968. Let $F$ and $H$ be graphs. A spanning subgraph $G \subseteq F$ is weakly $(F,H)$-saturated if it contains no copy of $H$ but there exists an ordering $e_1,\ldots,e_t$ of $E(F)\setminus E(G)$ such that for each $i \in [t]$, the graph $G \cup \{e_1,\ldots,e_i\}$ contains a copy $H'$ of $H$ such that $e_i \in H'$. Define $wsat(F,H)$ to be the minimum number of edges in a weakly $(F,H)$-saturated graph. In this paper, we prove for all $t \ge 2$ and $n \ge 3t-3$, that $wsat(K_n,K_{t,t}) = (t-1)(n + 1 - t/2)$, and we determine the value of $wsat(K_n,K_{t-1,t})$ as well. For fixed $2 \le s < t$, we also obtain bounds on $wsat(K_n,K_{s,t})$ that are asymptotically tight.

An odd $[1,b]$-factor of a graph $G$ is a spanning subgraph $H$ such that for each vertex $v \in V(G)$, $d_H(v)$ is odd and $1\le d_H(v) \le b$. Let $λ_3(G)$ be the third largest eigenvalue of the adjacency matrix of $G$. For positive integers $r \ge 3$ and even $n$, Lu, Wu, and Yang [10] proved a lower bound for $λ_3(G)$ in an $n$-vertex $r$-regular graph $G$ to gurantee the existence of an odd $[1,b]$-factor in $G$. In this paper, we improve the bound; it is sharp for every $r$.

Results on the existence of various types of spanning subgraphs of graphs are milestones in structural graph theory and have been diversified in several directions. In the present paper, we consider "local" versions of such statements. In 1966, for instance, D. W. Barnette proved that a $3$-connected planar graph contains a spanning tree of maximum degree at most $3$. A local translation of this statement is that if $G$ is a planar graph, $X$ is a subset of specified vertices of $G$ such that $X$ cannot be separated in $G$ by removing $2$ or fewer vertices of $G$, then $G$ has a tree of maximum degree at most $3$ containing all vertices of $X$. Our results constitute a general machinery for strengthening statements about $k$-connected graphs (for $1 \leq k \leq 4$) to locally spanning versions, i.e. subgraphs containing a set $X\subseteq V(G)$ of a (not necessarily planar) graph $G$ in which only $X$ has high connectedness. Given a graph $G$ and $X\subseteq V(G)$, we say $M$ is a minor of $G$ rooted at $X$, if $M$ is a minor of $G$ such that each bag of $M$ contains at most one vertex of $X$ and $X$ is a subset of the union of all bags. We show that $G$ has a highly connected minor rooted at $X$ if $X\subseteq V(G)$ cannot be separated in $G$ by removing a few vertices of $G$. Combining these investigations and the theory of Tutte paths in the planar case yields to locally spanning versions of six well-known results about degree-bounded trees, hamiltonian paths and cycles, and $2$-connected subgraphs of graphs.

We show that the square of every connected $S(K_{1,4})$-free graph satisfying a matching condition has a $2$-connected spanning subgraph of maximum degree at most~$3$. Furthermore, we characterise trees whose square has a $2$-connected spanning subgraph of maximum degree at most~$k$. This generalises the results on $S(K_{1,3})$-free graphs of Henry and Vogler (1985) and Harary and Schwenk (1971), respectively.

In the literature, the notion of discrepancy is used in several contexts, even in the theory of graphs. Here, for a graph $G$, $\{-1, 1\}$ labels are assigned to the edges, and we consider a family $\mathcal{S}_G$ of (spanning) subgraphs of certain types, among others spanning trees, Hamiltonian cycles. As usual, we seek for bounds on the sum of the labels that hold for all elements of $\mathcal{S}_G$, for every labeling.

Let $G$ be a graph, and let $u$, $v$, and $w$ be vertices of $G$. If the distance between $u$ and $w$ does not equal the distance between $v$ and $w$, then $w$ is said to resolve $u$ and $v$. The metric dimension of $G$, denoted $β(G)$, is the cardinality of a smallest set $W$ of vertices such that every pair of vertices of $G$ is resolved by some vertex of $W$. The threshold dimension of $G$, denoted $τ(G)$, is the minimum metric dimension among all graphs $H$ having $G$ as a spanning subgraph. In other words, the threshold dimension of $G$ is the minimum metric dimension among all graphs obtained from $G$ by adding edges. If $β(G) = τ(G)$, then $G$ is said to be irreducible. We give two upper bounds for the threshold dimension of a graph, the first in terms of the diameter, and the second in terms of the chromatic number. As a consequence, we show that every planar graph of order $n$ has threshold dimension $O (\log_2 n)$. We show that several infinite families of graphs, known to have metric dimension $3$, are in fact irreducible. Finally, we show that for any integers $n$ and $b$ with $1 \leq b < n$, there is an irreducible graph of order $n$ and metric dimension $b$.

We calculate exponential growth constants $φ$ and $σ$ describing the asymptotic behavior of spanning forests and connected spanning subgraphs on strip graphs, with arbitrarily great length, of several two-dimensional lattices, including square, triangular, honeycomb, and certain heteropolygonal Archimedean lattices. By studying the limiting values as the strip widths get large, we infer lower and upper bounds on these exponential growth constants for the respective infinite lattices. Since our lower and upper bounds are quite close to each other, we can infer very accurate approximate values for these exponential growth constants, with fractional uncertainties ranging from $O(10^{-4})$ to $O(10^{-2})$. We show that $φ$ and $σ$, are monotonically increasing functions of vertex degree for these lattices.

Let $G$ be a graph with order $n$ and adjacency matrix $\mathbf{A}(G)$. The adjacency polynomial of $G$ is defined as $φ(G;λ) =det(λ\mathbf{I}-\mathbf{A}(G))=\sum_{i=0}^n\mathbf{a_i}(G)λ^{n-i}$. Hereafter, $\mathbf{a}_i(G)$ is called the $i$-th adjacency coefficient of $G$. Denote by $\mathfrak{G}_{n,m}$ the set of all connected graphs having $n$ vertices and $m$ edges. A graph $G$ is said $4$-Sachs minimal if $$\mathbf{a}_4(G)=min\{\mathbf{a}_4(H)|H\in \mathfrak{G}_{n,m}\}.$$ The value $min\{\mathbf{a}_4(H)|H\in \mathfrak{G}_{n,m}\}$ is called the minimal $4$-Sachs number in $\mathfrak{G}_{n,m}$, denoted by $\bar{\mathbf{a}}_4(\mathfrak{G}_{n,m})$. In this paper, we study the relationship between the value $\mathbf{a}_4(G)$ and its structural properties. Especially, we give a structural characterization on $4$-Sachs minimal graphs, showing that each $4$-Sachs minimal graph contains a difference graph as its spanning subgraph (see Theorem 8). Then, for $n\ge 4$ and $n-1\le m\le 2n-4$, we determine all $4$-Sachs minimal graphs together with the corresponding minimal $4$-Sachs number $\bar{\mathbf{a}}_4(\mathfrak{G}_{n,m})$.