graph
35299 papers tagged with this keyword
Group Inverses of Weighted Trees
Published
• View Publication
• BIB
Let $(G,w)$ be an undirected weighted graph. The group inverse of $(G,w)$ is the weighted graph with the adjacency matrix $A^{\#}$, where $A$ is the adjacency matrix of $(G,w)$. We study the group inverse of singular weighted trees. It is shown that if $(T,w)$ is a singular weighted tree, then $T^{\#}$ is again a tree, if and only if $T$ is a star tree, which in turn, holds if and only if $T^{\#}$ is graph isomorphic to $T$. A new class $\mathbb{T}$ of weighted trees, is introduced and studied here. It is shown that the group inverse of the adjacency matrix of a positively weighted tree in $\mathbb{T}$, is signature similar to a non-negative matrix.
On the $A_α$-spectral radius of graphs without linear forests
Let $A(G)$ and $D(G)$ be the adjacency and degree matrices of a simple graph $G$ on $n$ vertices, respectively. The \emph{$A_α$-spectral radius} of $G$ is the largest eigenvalue of $A_α(G)=αD(G)+(1-α)A(G)$ for a real number $α\in[0,1]$. In this paper, for $α\in (0,1)$, we obtain a sharp upper bound for the $A_α$-spectral radius of graphs on $n$ vertices without a subgraph isomorphic to a liner forest for $n$ large enough and characterize all graphs which attain the upper bound. As a result, we completely obtain the maximum signless Laplacian spectral radius of graphs on $n$ vertices without a subgraph isomorphic to a liner forest for $n$ large enough.
The number of colorings of the middle layers of the Hamming cube
Published
• View Publication
• BIB
For an odd integer $n = 2d-1$, let $\mathcal B_d$ be the subgraph of the hypercube $Q_n$ induced by the two largest layers. In this paper, we describe the typical structure of proper $q$-colorings of $V(\mathcal B_d)$ and give asymptotics on the number of them. The proofs use various tools including information theory (entropy), Sapozhenko's graph container method and a recently developed method of M. Jenssen and W. Perkins that combines Sapozhenko's graph container lemma with the cluster expansion for polymer models from statistical physics.
Degrees of interior polynomials and parking function enumerators
The interior polynomial of a directed graph is defined as the $h^*$-polynomial of the graph's (extended) root polytope, and it displays several attractive properties. Here we express its degree in terms of the minimum cardinality of a directed join, and give a formula for the leading coefficient. We present natural generalizations of these results to oriented regular matroids; in the process we also give a facet description for the extended root polytope of an oriented regular matroid.
By duality, our expression for the degree of the interior polynomial implies a formula for the degree of the parking function enumerator of an Eulerian directed graph (which is equivalent to the greedoid polynomial of the corresponding branching greedoid). We extend that result to obtain the degree of the parking function enumerator of an arbitrary rooted directed graph in terms of the minimum cardinality of a certain type of feedback arc set.
The complexity of decomposing a graph into a matching and a bounded linear forest
Published
• View Publication
• BIB
Deciding whether a graph can be edge-decomposed into a matching and a $k$-bounded linear forest was recently shown by Campbell, H{ö}rsch and Moore to be NP-complete for every $k \ge 9$, and solvable in polynomial time for $k=1,2$. In the first part of this paper, we close this gap by showing that this problem is in NP-complete for every $k \ge 3$. In the second part of the paper, we show that deciding whether a graph can be edge-decomposed into a matching and a $k$-bounded star forest is polynomially solvable for any $k \in \mathbb{N} \cup \{ \infty \}$, answering another question by Campbell, H{ö}rsch and Moore from the same paper.
Cayley graphs of order 8pq are hamiltonian
Published
• View Publication
• BIB
We give a computer-assisted proof that if $G$ is a finite group of order $8pq$, where $p$ and $q$ are distinct primes, then every connected Cayley graph on $G$ has a hamiltonian cycle.
Extremal trees, unicyclic and bicyclic graphs with respect to $p$-Sombor spectral radii
For a graph $G=(V,E)$ and $v_{i}\in V$, denote by $d_{v_{i}}$ (or $d_{i}$ for short) the degree of vertex $v_{i}$. The $p$-Sombor matrix $\textbf{S}_{\textbf{p}}(G)$ ($p\neq0$) of a graph $G$ is a square matrix, where the $(i,j)$-entry is equal to $\displaystyle (d_{i}^{p}+d_{j}^{p})^{\frac{1}{p}}$ if the vertices $v_{i}$ and $v_{j}$ are adjacent, and 0 otherwise. The $p$-Sombor spectral radius of $G$, denoted by $\displaystyle ρ(\textbf{S}_{\textbf{p}}(G))$, is the largest eigenvalue of the $p$-Sombor matrix $\textbf{S}_{\textbf{p}}(G)$. In this paper, we consider the extremal trees, unicyclic and bicyclic graphs with respect to the $p$-Sombor spectral radii. We characterize completely the extremal graphs with the first three maximum Sombor spectral radii, which answers partially a problem posed by Liu et al. in [MATCH Commun. Math. Comput. Chem. 87 (2022) 59-87].
A necessary and sufficient condition for lower bounds on crossing numbers of generalized periodic graphs in an arbitrary surface
Let $H$, $T$ and $C_n$ be a graph, a tree and a cycle of order $n$, respectively. Let $H^{(i)}$ be the complete join of $H$ and an empty graph on $i$ vertices. Then the Cartesian product $H\Box T$ of $H$ and $T$ can be obtained by applying zip product on $H^{(i)}$ and the graph produced by zip product repeatedly. Let $\textrm{cr}_Σ(H)$ denote the crossing number of $H$ in an arbitrary surface $Σ$. If $H$ satisfies certain connectivity condition, then $\textrm{cr}_Σ(H\Box T)$ is not less than the sum of the crossing numbers of its ``subgraphs". In this paper, we introduced a new concept of generalized periodic graphs, which contains $H\Box C_n$. For a generalized periodic graph $G$ and a function $f(t)$, where $t$ is the number of subgraphs in a decomposition of $G$, we gave a necessary and sufficient condition for $\textrm{cr}_Σ(G)\geq f(t)$. As an application, we confirmed a conjecture of Lin et al. on the crossing number of the generalized Petersen graph $P(4h+2,2h)$ in the plane. Based on the condition, algorithms are constructed to compute lower bounds on the crossing number of generalized periodic graphs in $Σ$. In special cases, it is possible to determine lower bounds on an infinite family of generalized periodic graphs, by determining a lower bound on the crossing number of a finite generalized periodic graph.
Large $ Y_{3,2} $-tilings in 3-uniform hypergraphs
Published
• View Publication
• BIB
Let $Y_{3,2}$ be the 3-graph with two edges intersecting in two vertices. We prove that every 3-graph $ H $ on $ n $ vertices with at least $ \max \left \{ \binom{4αn}{3}, \binom{n}{3}-\binom{n-αn}{3} \right \}+o(n^3) $ edges contains a $Y_{3,2}$-tiling covering more than $ 4αn$ vertices, for sufficiently large $ n $ and $0<α< 1/4$. The bound on the number of edges is asymptotically best possible and solves a conjecture of the authors for 3-graphs that generalizes the Matching Conjecture of Erdős.
Unfriendly partitions when avoiding vertices of finite degree
Published
• View Publication
• BIB
An unfriendly partition of a graph $G = (V,E)$ is a function $c: V \to 2$ such that $|\{x\in N(v): c(x)\neq c(v)\}|\geq |\{x\in N(v): c(x)=c(v)\}|$ for every vertex $v\in V$, where $N(v)$ denotes its neighborhood. It was conjectured by Cowen and Emerson that every graph has an unfriendly partition, but Milner and Shelah found counterexamples for that statement by analyzing graphs with uncountably many vertices. Curiously, none of their graphs have vertices with finite degree. Therefore, as a natural direction to approach, in this paper we search for the least cardinality of a graph with that property that admits no unfriendly partitions. Actually, among some other independence results, we conclude that this size cannot be determined from the usual axioms of set theory.
Fixing the Kawarabayashi-Thomas-Wollan Flat Wall
Two recent papers by Kawarabayashi, Thomas and Wollan, "A New Proof of the Flat Wall Theorem" (arXiv:1207.6927) and "Quickly Excluding a Non-Planar Graph" (arXiv:2010.12397) provide major improvements over Robertson and Seymour's original proof of the structure theorem for finite graphs that exclude a given graph. The first paper redefines the notion of a flat wall. Unfortunately, this new notion is too strong. As a result, the new Flat Wall Theorem in that paper is incorrect. A counterexample is given in Appendix A. A follow-on lemma in the first paper, about the transitivity of flatness, is also incorrect, a fact that was noticed by Dimitrios Thilikos et al in arXiv:2102.06463. However, that error is derivative and not the main issue. This paper provides a weaker definition of the notion of a flat wall, provides a correction to the proof of the new Flat Wall Theorem and a new proof of flatness transitivity. The notion of a tight rendition as presented here differs from Thilikos' definition but is defined much more simply, and the notion of a proper cycle is introduced. The notions of certificates and tilted walls used by Thilikos turn out of be unnecessary and transitivity is preserved in its original simplicity and generality. Most importantly, it looks like the new weaker definition of flatness is all that is really necessary to carry through the proof of the structure theorem in the second paper of Kawarabayashi, Thomas and Wollan.
Planar site percolation on semi-transitive graphs
Semi-transitive graphs, defined in \cite{hps98} as examples where ``uniform percolation" holds whenever $p>p_c$, are a large class of graphs more general than quasi-transitive graphs. Let $G$ be a semi-transitive graph with one end which can be properly embedded into the plane with uniformly bounded face degree for finite faces and minimal vertex degree at least 7. We show that $p_u^{site}(G) +p_c^{site}(G_*)=1$, where $G_*$ denotes the matching graph of $G$. This fulfils and extends an observation of Sykes and Essam in 1964 (\cite{SE64}) to semi-transitive graphs.
Exact enumeration of fullerenes
Published
• View Publication
• BIB
A fullerene, or buckyball, is a trivalent graph on the sphere with only pentagonal and hexagonal faces. Building on ideas of Thurston, we use modular forms to give an exact formula for the number of oriented fullerenes with a given number of vertices.
The sufficient conditions for $k$-leaf-connected graphs in terms of several topological indices
Let $G=(V(G), E(G))$ be a graph with vertex set $V(G)$ and edge set $E(G)$. For $k\geq2$ and given any subset $S\subseteq|V(G)|$ with $|S|=k$, if a graph $G$ of order $|V(G)|\geq k+1$ always has a spanning tree $T$ such that $S$ is precisely the set of leaves of $T$, then the graph $G$ is a $k$-leaf-connected graph. A graph $G$ is called Hamilton-connected if any two vertices of $G$ are connected by a Hamilton path. Based on the definitions of $k$-leaf-connected and Hamilton-connected, we known that a graph is $2$-leaf-connected if and only if it is Hamilton-connected. During the past decades, there have been many results of sufficient conditions for Hamilton-connected with respect to topological indices. In this paper, we present sufficient conditions for a graph $G$ to be $k$-leaf-connected in terms of the Zagreb index, the reciprocal degree distance or the hyper-Zagreb index. Furthermore, we use the first Zagreb index and hyper-Zagreb index of the complement graph $\overline{G}$ to give sufficient conditions for a graph $G$ to be $k$-leaf-connected.
Constructing extremal triangle-free graphs using integer programming
Published
• View Publication
• BIB
The maximum number of edges in a graph with matching number m and maximum degree d has been determined in [1] and [2], where some extremal graphs have also been provided. Then, a new question has emerged: how the maximum edge count is affected by forbidding some subgraphs occurring in these extremal graphs? In [3], the problem is solved in triangle-free graphs for $d \geq m$, and for $d < m$ with either $Z(d) \leq m < 2d$ or $d \leq 6$, where $Z(d)$ is approximately $5d/4$. The authors derived structural properties of triangle-free extremal graphs, which allows us to focus on constructing small extremal components to form an extremal graph. Based on these findings, in this paper, we develop an integer programming formulation for constructing extremal graphs. Since our formulation is highly symmetric, we use our own implementation of Orbital Branching to reduce symmetry. We also implement our integer programming formulation so that the feasible region is restricted iteratively. Using a combination of the two approaches, we expand the solution into $d \leq 10$ instead of $d \leq 6$ for $m > d$. Our results endorse the formula for the number of edges in all extremal triangle-free graphs conjectured in [3].
VC Set Systems in Minor-free (Di)Graphs and Applications
Published
• View Publication
• BIB
A recent line of work on VC set systems in minor-free (undirected) graphs, starting from Li and Parter, who constructed a new VC set system for planar graphs, has given surprising algorithmic results. In this work, we initialize a more systematic study of VC set systems for minor-free graphs and their applications in both undirected graphs and directed graphs (a.k.a digraphs). More precisely:
- We propose a new variant of Li-Parter set system for undirected graphs.
- We extend our set system to $K_h$-minor-free digraphs and show that its VC dimension is $O(h^2)$.
- We show that the system of directed balls in minor-free digraphs has VC dimension at most $h-1$.
- On the negative side, we show that VC set system constructed from shortest path trees of planar digraphs does not have a bounded VC dimension.
The highlight of our work is the results for digraphs, as we are not aware of known algorithmic work on constructing and exploiting VC set systems for digraphs.
The structure of quasi-transitive graphs avoiding a minor with applications to the domino problem
Published in Journal of Combinatorial Theory, Series B 169 (2024), 561-613
• View Publication
• BIB
An infinite graph is quasi-transitive if its vertex set has finitely many orbits under the action of its automorphism group. In this paper we obtain a structure theorem for locally finite quasi-transitive graphs avoiding a minor, which is reminiscent of the Robertson-Seymour Graph Minor Structure Theorem. We prove that every locally finite quasi-transitive graph $G$ avoiding a minor has a tree-decomposition whose torsos are finite or planar; moreover the tree-decomposition is canonical, i.e. invariant under the action of the automorphism group of $G$. As applications of this result, we prove the following.
* Every locally finite quasi-transitive graph attains its Hadwiger number, that is, if such a graph contains arbitrarily large clique minors, then it contains an infinite clique minor. This extends a result of Thomassen (1992) who proved it in the 4-connected case and suggested that this assumption could be omitted.
* Locally finite quasi-transitive graphs avoiding a minor are accessible (in the sense of Thomassen and Woess), which extends known results on planar graphs to any proper minor-closed family.
* Minor-excluded finitely generated groups are accessible (in the group-theoretic sense) and finitely presented, which extends classical results on planar groups.
* The domino problem is decidable in a minor-excluded finitely generated group if and only if the group is virtually free, which proves the minor-excluded case of a conjecture of Ballier and Stein (2018).
A canonical Ramsey theorem with list constraints in random (hyper-)graphs
Published
• View Publication
• BIB
The celebrated canonical Ramsey theorem of Erdős and Rado implies that for a given $k$-uniform hypergraph (or $k$-graph) $H$, if $n$ is sufficiently large then any colouring of the edges of the complete $k$-graph $K^{(k)}_n$ gives rise to copies of $H$ that exhibit certain colour patterns. We are interested in sparse random versions of this result and the threshold at which the random $k$-graph ${\mathbf{G}}^{(k)}(n,p)$ inherits the canonical Ramsey properties of $K^{(k)}_n$. Our main result here pins down this threshold when we focus on colourings that are constrained by some prefixed lists. This result is applied in an accompanying work of the authors on the threshold for the canonical Ramsey property (with no list constraints) in the case that $H$ is a (2-uniform) even cycle.
Strong spatial mixing for colorings on trees and its algorithmic applications
Published
• View Publication
• BIB
Strong spatial mixing (SSM) is an important quantitative notion of correlation decay for Gibbs distributions arising in statistical physics, probability theory, and theoretical computer science. A longstanding conjecture is that the uniform distribution on proper $q$-colorings on a $Δ$-regular tree exhibits SSM whenever $q \ge Δ+1$. Moreover, it is widely believed that as long as SSM holds on bounded-degree trees with $q$ colors, one would obtain an efficient sampler for $q$-colorings on all bounded-degree graphs via simple Markov chain algorithms. It is surprising that such a basic question is still open, even on trees, but then again it also highlights how much we still have to learn about random colorings. In this paper, we show the following:
(1) For any $Δ\ge 3$, SSM holds for random $q$-colorings on trees of maximum degree $Δ$ whenever $q \ge Δ+ 3$. Thus we almost fully resolve the aforementioned conjecture. Our result substantially improves upon the previously best bound which requires $q \ge 1.59Δ+γ^*$ for an absolute constant $γ^* > 0$.
(2) For any $Δ\ge 3$ and girth $g = Ω_Δ(1)$, we establish optimal mixing of the Glauber dynamics for $q$-colorings on graphs of maximum degree $Δ$ and girth $g$ whenever $q \ge Δ+3$. Our approach is based on a new general reduction from spectral independence on large-girth graphs to SSM on trees that is of independent interest.
Using the same techniques, we also prove near-optimal bounds on weak spatial mixing (WSM), a closely-related notion to SSM, for the antiferromagnetic Potts model on trees.
A Nordhaus-Gaddum type problem for the normalized Laplacian spectrum and graph Cheeger constant
Published
• View Publication
• BIB
For a graph $G$ on $n$ vertices with normalized Laplacian eigenvalues $0 = λ_1(G) \leq λ_2(G) \leq \cdots \leq λ_n(G)$ and graph complement $G^c$, we prove that
\begin{equation*}
\max\{λ_2(G),λ_2(G^c)\}\geq \frac{2}{n^2}.
\end{equation*} We do this by way of lower bounding $\max\{i(G), i(G^c)\}$ and $\max\{h(G), h(G^c)\}$ where $i(G)$ and $h(G)$ denote the isoperimetric number and Cheeger constant of $G$, respectively.