arXiv++ Combinatorics

Browse math.CO papers from arXiv

connected graph

2678 papers tagged with this keyword
Extremal Polynomial Norms of Graphs
Recent work shows that a new family of norms on Hermitian matrices arise by evaluating the even degree complete homogeneous symmetric (CHS) polynomials on the eigenvalues of a Hermitian matrix. The CHS norm of a graph is then defined by evaluating the even degree CHS polynomials on the eigenvalues of the adjacency matrix of a graph. The fact that these norms are defined in terms of eigenvalues (as opposed to singular values) ensures they can distinguish between graphs that other norms cannot. In addition, we prove that the CHS norms are minimized over all connected graphs by the path and maximized over all connected graphs by the complete graph. Finally, we prove that the CHS norms are minimized over all trees by the path and maximized over all trees by the star. Our paper is intended for a wide mathematical audience and we assume no prior knowledge about graphs or symmetric polynomials.
Graphs and groups with unique geodesics
A connected graph is called \emph{geodetic} if there is a unique geodesic between each pair of vertices. In this paper we prove that if a finitely generated group admits a Cayley graph which is geodetic, then the group must be virtually free. Before now, it was open whether finitely generated and geodetic implied hyperbolic. In fact we prove something more general: if a quasi-transitive locally finite connected undirected graph is geodetic then it is quasi-isometric to a tree. Our main tool is to define a \emph{boundary} of a graph and understand how the local behaviour influences it when the graph is geodetic. Our results unify, and represent significant progress on, research initiated by Ore, Shapiro, and Madlener and Otto.
$K_{1,2,2,2}$ has no $n$-fold planar cover graph for $n<14$
Published • View Publication • BIB
S. Negami conjectured in $1988$ that a connected graph has a finite planar cover if and only if it embeds in the projective plane. It follows from the works of D. Archdeacon, M. Fellows, P. Hliněný, and S. Negami that this conjecture is true if the graph $K_{1, 2, 2, 2}$ has no finite planar cover. We prove a number of structural results about putative finite planar covers of $K_{1,2,2,2}$ that may be of independent interest. We then apply these results to prove that $K_{1, 2, 2, 2}$ has no planar cover of fold number less than $14$.
2023-11-03
Graphs with arbitrary Ramsey number and connectivity
Published • View Publication • BIB
The Ramsey number $r(G)$ of a graph $G$ is the minimum number $N$ such that any red-blue colouring of the edges of $K_N$ contains a monochromatic copy of $G$. Pavez-Signé, Piga and Sanhueza-Matamala proved that for any function $n\leq f(n) \leq r(K_n)$, there is a sequence of connected graphs $(G_n)_{n\in \mathbb{N}}$ with $|V(G_n)|=n$ such that $r(G_n)=Θ(f(n))$ and conjectured that $G_n$ can additionally have arbitrarily large connectivity. In this note we prove their conjecture.
2023-11-02 v2
Inverse of the Squared Distance Matrix of a Complete Multipartite Graph
Published • View Publication • BIB
Let $G$ be a connected graph on $n$ vertices and $d_{ij}$ be the length of the shortest path between vertices $i$ and $j$ in $G$. We set $d_{ii}=0$ for every vertex $i$ in $G$. The squared distance matrix $Δ(G)$ of $G$ is the $n\times n$ matrix with $(i,j)^{th}$ entry equal to $0$ if $i = j$ and equal to $d_{ij}^2$ if $i \neq j$. For a given complete $t$-partite graph $K_{n_1,n_2,\cdots,n_t}$ on $n=\sum_{i=1}^t n_i$ vertices, under some condition we find the inverse $Δ(K_{n_1,n_2,\cdots,n_t})^{-1}$ as a rank-one perturbation of a symmetric Laplacian-like matrix $\mathcal{L}$ with $\textup{rank} (\mathcal{L})=n-1$. We also investigate the inertia of $\mathcal{L}$.
The dimension of the region of feasible tournament profiles
Erd\H os, Lovász and Spencer showed in the late 1970s that the dimension of the region of $k$-vertex graph profiles, i.e., the region of feasible densities of $k$-vertex graphs in large graphs, is equal to the number of non-trivial connected graphs with at most $k$ vertices. We determine the dimension of the region of $k$-vertex tournament profiles. Our result, which explores an interesting connection to Lyndon words, yields that the dimension is much larger than just the number of strongly connected tournaments, which would be the answer expected as the analogy to the setting of graphs.
2023-10-27
On stability of weighted spanning tree degree enumerators
Published • View Publication • BIB
Our previous paper shows that the (vertex) spanning tree degree enumerator polynomial of a connected graph $G$ is a real stable polynomial (id est is non-zero if all variables have positive imaginary parts) if and only if $G$ is distance-hereditary. In this note we generalize the result on weighted graphs. This generalization allows us to define the class of weighted distance-hereditary graphs.
2023-10-26
On the $C_4$-isolation number of a graph
Published • View Publication • BIB
Let $C_k$ be the cycle of length $k$. For any graph $G$, a subset $D \subseteq V(G)$ is a $C_k$-isolating set of $G$ if the graph obtained from $G$ by deleting the closed neighbourhood of $D$ contains no $C_k$ as a subgraph. The $C_k$-isolation number of $G$, denoted by $ι(G,C_k)$, is the cardinality of a smallest $C_k$-isolating set of $G$. Borg (2020) and Borg et al. (2022) proved that if $G \ncong C_3$ is a connected graph of order $n$ and size $m$, then $ι(G,C_3) \leq \frac{n}{4}$ and $ι(G,C_3) \leq \frac{m+1}{5}$. Very recently, Bartolo, Borg and Scicluna showed that if $G$ is a connected graph of order $n$ that is not one of the determined nine graphs, then $ι(G,C_4) \leq \frac{n}{5}$. In this paper, we prove that if $G \ncong C_4$ is a connected graph of size $m$, then $ι(G,C_4) \leq \frac{m+1}{6}$, and we characterize the graphs that attain the bound. Moreover, we conjecture that if $G \ncong C_k$ is a connected graph of size $m$, then $ι(G,C_k) \leq \frac{m+1}{k+2}$.
2023-10-25
Some results on the maximal chromatic polynomials of $2$-connected $k$-chromatic graphs
In 2015, Brown and Erey conjectured that every $2$-connected graph $G$ on $n$ vertices with chromatic number $k\geq 4$ has at most $(x-1)_{k-1}\big((x-1)^{n-k+1}+(-1)^{n-k}\big)$ proper $x$-colorings for all $x\geq k$. Engbers, Erey, Fox, and He proved this conjecture for $x=k$. In this paper, we prove Brown and Erey's conjecture under the condition that either the clique number of $G$ is $k$, or the independent number of $G$ is $2$.
2023-10-24 v2
A relation between multiplicity of nonzero eigenvalues and the matching number of graph
Published • View Publication • BIB
Let $G$ be a graph with an adjacent matrix $A(G)$. The multiplicity of an arbitrary eigenvalue $λ$ of $A(G)$ is denoted by $m_λ(G)$. In \cite{Wong}, the author apply the Pater-Wiener Theorem to prove that if the diameter of $T$ at least $4$, then $m_λ(T)\leq β'(T)-1$ for any $λ\neq0$. Moreover, they characterized all trees with $m_λ(T)=β'(T)-1$, where $β'(G)$ is the induced matching number of $G$. In this paper, we intend to extend this result from trees to any connected graph. Contrary to the technique used in \cite{Wong}, we prove the following result mainly by employing algebraic methods: For any non-zero eigenvalue $λ$ of the connected graph $G$, $m_λ(G)\leq β'(G)+c(G)$, where $c(G)$ is the cyclomatic number of $G$, and the equality holds if and only if $G\cong C_3(a,a,a)$ or $G\cong C_5$, or a tree with the diameter is at most $3$. Furthermore, if $β'(G)\geq3$, we characterize all connected graphs with $m_λ(G)=β'(G)+c(G)-1$.
2023-10-24 v2
Spanning trees in $\mathbb{Z}$-covers of a finite graph and Mahler measures
Published in Journal of the Australian Mathematical Society, Vol. 118, No. 1 (2025) • View Publication • BIB
Using the special value at $u=1$ of Artin-Ihara $L$-functions, we associate to every $\mathbb{Z}$-cover of a finite connected graph a polynomial which we call the \emph{Ihara polynomial}. We show that the number of spanning trees for the finite intermediate graphs of such a cover can be expressed in terms of the Pierce-Lehmer sequence associated to a factor of the Ihara polynomial. This allows us to express the asymptotic growth of the number of spanning trees in terms of the Mahler measure of this polynomial. Specializing to the situation where the base graph is a bouquet or the dumbbell graph gives us back previous results in the literature for circulant and $I$-graphs (including the generalized Petersen graphs). We also express the $p$-adic valuation of the number of spanning trees of the finite intermediate graphs in terms of the $p$-adic Mahler measure of the Ihara polynomial. When applied to a particular $\mathbb{Z}$-cover, our result gives us back Lengyel's calculation of the $p$-adic valuations of Fibonacci numbers.
2023-10-23 v3
Improved lower bound towards Chen-Chvátal conjecture
Published • View Publication • BIB
We prove that in every metric space where no line contains all the points, there are at least $Ω(n^{2/3})$ lines. This improves the previous $Ω(\sqrt{n})$ lower bound on the number of lines in general metric space, and also improves the previous $Ω(n^{4/7})$ lower bound on the number of lines in metric spaces generated by connected graphs.
2023-10-20
Ramsey goodness of fans
Published • View Publication • BIB
Given two graphs $G_1$ and $G_2$, the Ramsey number $r(G_1,G_2)$ refers to the smallest positive integer $N$ such that any graph $G$ with $N$ vertices contains $G_1$ as a subgraph, or the complement of $G$ contains $G_2$ as a subgraph. A connected graph $H$ is said to be $p$-good if $r(K_p,H)=(p-1)(|H|-1)+1$. A generalized fan, denoted as $K_1+nH$, is formed by the disjoint union of $n$ copies of $H$ along with an additional vertex that is connected to each vertex of $nH$. Recently Chung and Lin proved that $K_1+nH$ is $p$-good for $n\ge cp\ell/|H|$, where $c\approx 52.456$ and $\ell=r(K_{p},H)$. They also posed the question of improving the lower bound of $n$ further so that $K_1+nH$ remains $p$-good. In this paper, we present three different methods to improve the range of $n$. First, we apply the Andrásfai-Erdős-Sós theorem to reduce $c$ from $52.456$ to $3$. Second, we utilize the approach established by Chen and Zhang to achieve a further reduction of $c$ to $2$. Lastly, we employ a new method to bring $c$ down to $1$. In addition, when $K_1+nH$ forms a fan graph $F_n$, we can further obtain a slightly more refined bound of $n$.
2023-10-20
Integer flows on triangularly connected signed graphs
Published • View Publication • BIB
A triangle-path in a graph $G$ is a sequence of distinct triangles $T_1,T_2,\ldots,T_m$ in $G$ such that for any $i, j$ with $1\leq i < j \leq m$, $|E(T_i)\cap E(T_{i+1})|=1$ and $E(T_i)\cap E(T_j)=\emptyset$ if $j > i+1$. A connected graph $G$ is triangularly connected if for any two nonparallel edges $e$ and $e'$ there is a triangle-path $T_1T_2\cdots T_m$ such that $e\in E(T_1)$ and $e'\in E(T_m)$. For ordinary graphs, Fan {\it et al.}~(J. Combin. Theory Ser. B 98 (2008) 1325-1336) characterize all triangularly connected graphs that admit nowhere-zero $3$-flows or $4$-flows. Corollaries of this result include integer flow of some families of ordinary graphs, such as, locally connected graphs due to Lai (J. Graph Theory 42 (2003) 211-219) and some types of products of graphs due to Imrich et al.(J. Graph Theory 64 (2010) 267-276). In this paper, Fan's result for triangularly connected graphs is further extended to signed graphs. We proved that every flow-admissible triangularly connected signed graph admits a nowhere-zero $4$-flow if and only if it is not the wheel $W_5$ associated with a specific signature. Moreover, this result is sharp since there are infinitely many unbalanced triangularly connected signed graphs admitting a nowhere-zero $4$-flow but not $3$-flow.
2023-10-19
Proving a conjecture on the upper bound of semistrong chromatic indices of graphs
Let $G=(V(G), E(G))$ be a graph with maximum degree $Δ$. For a subset $M$ of $E(G)$, we denote by $G[V(M)]$ the subgraph of $G$ induced by the endvertices of edges in $M$. We call $M$ a semistrong matching if each edge of $M$ is incident with a vertex that is of degree 1 in $G[V(M)]$. Given a positive integer $k$, a semistrong $k$-edge-coloring of $G$ is an edge coloring using at most $k$ colors in which each color class is a semistrong matching of $G$. The semistrong chromatic index of $G$, denoted by $χ'_{ss}(G)$, is the minimum integer $k$ such that $G$ has a semistrong $k$-edge-coloring. Recently, Lužar, Mockovčiaková and Soták conjectured that $χ'_{ss}(G)\le Δ^{2}-1$ for any connected graph $G$ except the complete bipartite graph $K_{Δ,Δ}$. In this paper, we settle this conjecture by proving that each such graph $G$ other than a cycle on $7$ vertices has a semistrong edge coloring using at most $Δ^{2}-1$ colors.
2023-10-19
A hypergraph analog of Dirac's Theorem for long cycles in 2-connected graphs, II: Large uniformities
Dirac proved that each $n$-vertex $2$-connected graph with minimum degree $k$ contains a cycle of length at least $\min\{2k, n\}$. We obtain analogous results for Berge cycles in hypergraphs. Recently, the authors proved an exact lower bound on the minimum degree ensuring a Berge cycle of length at least $\min\{2k, n\}$ in $n$-vertex $r$-uniform $2$-connected hypergraphs when $k \geq r+2$. In this paper we address the case $k \leq r+1$ in which the bounds have a different behavior. We prove that each $n$-vertex $r$-uniform $2$-connected hypergraph $H$ with minimum degree $k$ contains a Berge cycle of length at least $\min\{2k,n,|E(H)|\}$. If $|E(H)|\geq n$, this bound coincides with the bound of the Dirac's Theorem for 2-connected graphs.
2023-10-17 v2
A characterization of 4-connected graphs with no $K_{3,3}+v$-minor
Published • View Publication • BIB
Among graphs with 13 edges, there are exactly three internally 4-connected graphs which are $Oct^{+}$, cube+e and $ K_{3,3} +v$. A complete characterization of all 4-connected graphs with no $Oct^{+}$-minor is given in [John Maharry, An excluded minor theorem for the octahedron plus an edge, Journal of Graph Theory 57(2) (2008) 124-130]. Let $K_{3,3}+v$ denote the graph obtained by adding a new vertex $v$ to $K_{3,3}$ and joining $v$ to the four vertices of a 4-cycle. In this paper, we determine all 4-connected graphs that do not contain $K_{3,3}+v$ as a minor.
2023-10-17
Gallai's path decomposition conjecture for Cartesian product of graphs
Let $G$ be a graph of order $n$. A path decomposition $\mathcal{P}$ of $G$ is a collection of edge-disjoint paths that covers all the edges of $G$. Let $p(G)$ denote the minimum number of paths needed in a path decomposition of $G$. Gallai conjectured that if $G$ is connected, then $p(G)\leq \lceil\frac{n}{2}\rceil$. Let $n_o(G)$ to denote the number of vertices with odd degree in $G$. Lovász proved that if $G$ is a connected graph with all vertices having degree odd, i.e. $n_o(G)=n$, then $p(G)=\frac n 2$. In this paper, we prove that if $G$ is a connected graph of order $m\geq 2$ with $p(G)=\frac{n_o(G)}{2}$ and $H$ is a connected graph of order $n$, then $p(G\Box H)\leq\frac{mn}{2}$. Furthermore, we prove that $p(G)=\frac{n_o(G)}{2}$, if one of the following is hold: (\romannumeral1) $G$ is a tree; (\romannumeral2) $G=P_n\Box T$, where $n\geq 4$ and $T$ is a tree; (\romannumeral3) $G=P_n\Box H$, where $H$ is an even graph.
2023-10-17
Proving the Existence of a GOR Without Probability
In this note, we provide a new proof that a $D$-connected graph $G$ on $n$ vertices has a general position orthogonal representation in $\RR^{n-D}$. Our argument, while based on many of the concepts from the original proof due to Lovász, Saks and Schrijver, does not use the probabilistic method.
2023-10-15
Cohen-Macaulayness of Total Simplicial Complexes
We first construct the total simplicial complex (TSC) of a finite simple graph $G$ in order to generalize the total graph $T(G)$. We show that $Δ_T(G)$ is not Cohen-Macaulay (CM) in general. For a connected graph $G$, we prove that the TSC is Buchsbaum. We demonstrate that the vanishing of first homology group of TSC associated to a connected graph $G$ is both a necessary and sufficient condition for it to be CM. We find the primary decomposition of the TSC associated to a family of friendship graphs $F_{5n+1}$ and prove it to be CM.