graph
34793 papers tagged with this keyword
Every planar graph without 4-cycles adjacent to two triangles is DP-4-colorable
Published
• View Publication
• BIB
Wang and Lih in 2002 conjectured that every planar graph without adjacent triangles is 4-choosable. In this paper, we prove that every planar graph without any 4-cycle adjacent to two triangles is DP-4-colorable, which improves the results of Lam, Xu and Liu [Journal of Combin. Theory, Ser. B, 76 (1999) 117--126], of Cheng, Chen and Wang [Discrete Math., 339(2016) 3052--3057] and of Kim and Yu [arXiv:1709.09809v1].
Sufficient conditions for the global rigidity of periodic graphs
Published
• View Publication
• BIB
Tanigawa (2016) showed that vertex-redundant rigidity of a graph implies its global rigidity in arbitrary dimension. We extend this result to periodic graphs under fixed lattice representations. A periodic graph is vertex-redundantly rigid if the deletion of a single vertex orbit under the periodicity results in a periodically rigid graph. Our proof is similar to the one of Tanigawa, but there are some added difficulties. First, it is not known whether periodic global rigidity is a generic property. This issue is resolved via a slight modification of a recent result of Kaszanitzy, Schulze and Tanigawa (2016). Secondly, while the rigidity of finite graphs in $\mathbb{R}^d$ on at most $d$ vertices obviously implies their global rigidity, it is non-trivial to prove a similar result for periodic graphs. This is accomplished by extending a result of Bezdek and Connelly (2002) on the existence of a continuous movement between two equivalent $d$-dimensional realisations of a single graph in $\mathbb{R}^{2d}$ to periodic frameworks.
As an application of our result, we give a necessary and sufficient condition for the global rigidity of generic periodic body-bar frameworks in arbitrary dimension. This provides a periodic counterpart to a result of Connelly, Jordan and Whiteley (2013) regarding the global rigidity of generic finite body-bar frameworks.
Ramanujan Graphs and Digraphs
Published
• View Publication
• BIB
Ramanujan graphs have fascinating properties and history. In this paper we explore a parallel notion of Ramanujan digraphs, collecting relevant results from old and recent papers, and proving some new ones. Almost-normal Ramanujan digraphs are shown to be of special interest, as they are extreme in the sense of an Alon-Boppana theorem, and they have remarkable combinatorial features, such as small diameter, Chernoff bound for sampling, optimal covering time and sharp cutoff. Other topics explored are the connection to Cayley graphs and digraphs, the spectral radius of universal covers, Alon's conjecture for random digraphs, and explicit constructions of almost-normal Ramanujan digraphs.
Finding Cliques in Social Networks: A New Distribution-Free Model
Published
• View Publication
• BIB
We propose a new distribution-free model of social networks. Our definitions are motivated by one of the most universal signatures of social networks, triadic closure---the property that pairs of vertices with common neighbors tend to be adjacent. Our most basic definition is that of a "$c$-closed" graph, where for every pair of vertices $u,v$ with at least $c$ common neighbors, $u$ and $v$ are adjacent. We study the classic problem of enumerating all maximal cliques, an important task in social network analysis. We prove that this problem is fixed-parameter tractable with respect to $c$ on $c$-closed graphs. Our results carry over to "weakly $c$-closed graphs", which only require a vertex deletion ordering that avoids pairs of non-adjacent vertices with $c$ common neighbors. Numerical experiments show that well-studied social networks tend to be weakly $c$-closed for modest values of $c$.
Determining Genus From Sandpile Torsor Algorithms
Published in Discrete Mathematics & Theoretical Computer Science, vol. 23 no. 1, Combinatorics (January 7, 2021) dmtcs:6176
• View Publication
• BIB
We provide a pair of ribbon graphs that have the same rotor routing and Bernardi sandpile torsors, but different topological genus. This resolves a question posed by M. Chan [Cha]. We also show that if we are given a graph, but not its ribbon structure, along with the rotor routing sandpile torsors, we are able to determine the ribbon graph's genus.
Broadcast Domination of Triangular Matchstick Graphs and the Triangular Lattice
Blessing, Insko, Johnson and Mauretour gave a generalization of the domination number of a graph $G=(V,E)$ called the $(t,r)$ broadcast domination number which depends on the positive integer parameters $t$ and $r$. In this setting, a vertex $v \in V$ is a broadcast vertex of transmission strength $t$ if it transmits a signal of strength $t-d(u,v)$ to every vertex $u \in V$, where $d(u,v)$ denotes the distance between vertices $u$ and $v$ and $d(u,v) <t$. Given a set of broadcast vertices $S\subseteq V$, the reception at vertex $u$ is the sum of the transmissions from the broadcast vertices in $S$. The set $S \subseteq V$ is called a $(t,r)$ broadcast dominating set if every vertex $u \in V$ has a reception strength $r(u) \geq r$ and for a finite graph $G$ the cardinality of a smallest broadcast dominating set is called the $(t,r)$ broadcast domination number of $G$. In this paper, we consider the infinite triangular grid graph and define efficient $(t,r)$ broadcast dominating sets as those broadcasts that minimize signal waste. Our main result constructs efficient $(t,r)$ broadcasts on the infinite triangular lattice for all $t\geq r\geq 1$. Using these broadcasts, we then provide upper bounds for the $(t,r)$ broadcast domination numbers for triangular matchstick graphs when $(t,r)\in\{(2,1),(3,1),(3,2),(4,1),(4,2),(4,3),(t,t)\}$.
From a Consequence of Bertrand's Postulate to Hamilton Cycles
A consequence of Bertrand's postulate, proved by L. Greenfield and S. Greenfield in 1998, assures that the set of integers $\{1,2,\cdots, 2n\}$ can be partitioned into pairs so that the sum of each pair is a prime number for any positive integer $n$. Cutting through it from the angle of Graph Theory, this paper provides new insights into the problem. We conjecture a stronger statement that the set of integers $\{1,2,\cdots, 2n\}$ can be rearranged into a cycle so that the sum of any two adjacent integers is a prime number. Our main result is that this conjecture is true for infinitely many cases.
Trees with unique minimum glolal offensive alliance sets
Published
• View Publication
• BIB
Let $G=$ $\left( V,E\right) $ be a simple graph.\ A non-empty set $S \subseteq V$ is called a global offensive alliance if $S$ is a dominating set and for every vertex $v$ in $V-S$, at least half of the vertices from the closed neighborhood of $v$ are in $S$. The global offensive alliance number is the minimum cardinality of a global offensive alliance in $G$. In this paper, we give a constructive characterization of trees having a unique minimum global offensive alliance.
On the stab number of rectangle intersection graphs
Published
• View Publication
• BIB
We introduce the notion of \emph{stab number} and \emph{exact stab number} of rectangle intersection graphs, otherwise known as graphs of boxicity at most 2. A graph $G$ is said to be a \emph{$k$-stabbable rectangle intersection graph}, or \emph{$k$-SRIG} for short, if it has a rectangle intersection representation in which $k$ horizontal lines can be chosen such that each rectangle is intersected by at least one of them. If there exists such a representation with the additional property that each rectangle intersects exactly one of the $k$ horizontal lines, then the graph $G$ is said to be a \emph{$k$-exactly stabbable rectangle intersection graph}, or \emph{$k$-ESRIG} for short. The stab number of a graph $G$, denoted by $stab(G)$, is the minimum integer $k$ such that $G$ is a $k$-SRIG. Similarly, the exact stab number of a graph $G$, denoted by $estab(G)$, is the minimum integer $k$ such that $G$ is a $k$-ESRIG. In this work, we study the stab number and exact stab number of some subclasses of rectangle intersection graphs. A lower bound on the stab number of rectangle intersection graphs in terms of its pathwidth and clique number is shown. Tight upper bounds on the exact stab number of split graphs with boxicity at most 2 and block graphs are also given. We show that for $k\leq 3$, $k$-SRIG is equivalent to $k$-ESRIG and for any $k\geq 10$, there is a tree which is a $k$-SRIG but not a $k$-ESRIG. We also develop a forbidden structure characterization for block graphs that are 2-ESRIG and trees that are 3-ESRIG, which lead to polynomial-time recognition algorithms for these two classes of graphs. These forbidden structures are natural generalizations of asteroidal triples. Finally, we construct examples to show that these forbidden structures are not sufficient to characterize block graphs that are 3-SRIG or trees that are $k$-SRIG for any $k\geq 4$.
On bounds on bend number of split and cocomparability graphs
Published
• View Publication
• BIB
A path is a simple, piecewise linear curve made up of alternating horizontal and vertical line segments in the plane. A $k$-bend path is a path made up of at most $k + 1$ line segments. A $B_k$-VPG representation of a graph is a collection of $k$-bend paths such that each path in the collection represents a vertex of the graph and two such paths intersect if and only if the vertices they represent are adjacent in the graph. The graphs that have a $B_k$-VPG representation are called $B_k$-VPG graphs. It is known that the poset dimension $dim(G)$ of a cocomparability graph $G$ is greater than or equal to its bend number $bend(G)$. Cohen et al. ({\textsc{order 2015}}) asked for examples of cocomparability graphs with low bend number and high poset dimension. We answer this question by proving that for each $m, t \in \mathbb{N}$, there exists a cocomparability graph $G_{t,m}$ with $t < bend(G_{t,m}) \leq 4t+29$ and $dim(G_{t,m})-bend(G_{t,m})>m$. Techniques used to prove the above result, allows us to partially address the open question posed by Chaplick et al. ({\textsc{wg 2012}}) who asked whether $B_k$-VPG-chordal $\subsetneq$ $B_{k+1}$-VPG-chordal for all $k \in \mathbb{N}$. We address this by proving that there are infinitely many $m \in \mathbb{N}$ such that $B_m$-VPG-split $\subsetneq$ $B_{m+1}$-VPG-split which provides infinitely many positive examples. We use the same techniques to prove that, for all $t \in \mathbb{N}$, $B_t$-VPG-$Forb(C_{\geq 5})$ $\subsetneq$ $B_{4t+29}$-VPG-$Forb(C_{\geq 5})$, where $Forb(C_{\geq 5})$ denotes the family of graphs that does not contain induced cycles of length greater than 4. Furthermore, we show that for all $t \in \mathbb{N}$, $PB_t$-VPG-split $\subsetneq PB_{36t+80}$-VPG-split, where $PB_t$-VPG denotes the class of graphs with proper bend number at most $t$.
Rooted complete minors in line graphs with a Kempe coloring
Published in Graphs and Combinatorics (2019) 35:551-557
• View Publication
• BIB
It has been conjectured that if a finite graph has a vertex coloring such that the union of any two color classes induces a connected graph, then for every set $T$ of vertices containing exactly one member from each color class there exists a complete minor such that $T$ contains exactly one member from each branching set. Here we prove the statement for line graphs.
A local approach to the Erdős-Sós conjecture
A famous conjecture of Erdős and Sós states that every graph with average degree more than $k - 1$ contains all trees with $k$ edges as subgraphs. We prove that the Erdős-Sós conjecture holds approximately, if the size of the embedded tree is linear in the size of the graph, and the maximum degree of the tree is sublinear.
Hamiltonian surgery: Cheeger-type gap inequalities for nonpositive (stoquastic), real, and Hermitian matrices
Cheeger inequalities bound the spectral gap $γ$ of a space by isoperimetric properties of that space and vice versa. In this paper, I derive Cheeger-type inequalities for nonpositive matrices (aka stoquastic Hamiltonians), real matrices, and Hermitian matrices. For matrices written $H = L+W$, where $L$ is either a combinatorial or normalized graph Laplacian, I show that: (1) when $W$ is diagonal and $L$ has maximum degree $d_{\max}$, $2h \geq γ\geq \sqrt{h^2 + d_{\max}^2}-d_\max$; (2) when $W$ is real, we can often route negative-weighted edges along positive-weighted edges such that the Cheeger constant of the resulting graph obeys an inequality similar to that above; and (3) when $W$ is Hermitian, the weighted Cheeger constant obeys $2h \geq γ$ here $h$ is the weighted Cheeger constant of $H$. This constant reduces bounds on $γ$ to information contained in the underlying graph and the Hamiltonian's ground-state.
If efficiently computable, the constant opens up a very clear path towards adaptive quantum adiabatic algorithms, those that adjust the adiabatic path based on spectral structure. I sketch a bashful adiabatic algorithm that aborts the adiabatic process early, uses the resulting state to approximate the weighted Cheeger constant, and restarts the process using the updated information. Should this approach work, it would provide more rigorous foundations for adiabatic quantum computing without \textit{a priori} knowledge of the spectral gap.
One-dependent colorings of the star graph
Published
• View Publication
• BIB
This paper is concerned with symmetric $1$-dependent colorings of the $d$-ray star graph $\mathscr{S}^d$ for $d \ge 2$. We compute the critical point of the $1$-dependent hard-core processes on $\mathscr{S}^d$, which gives a lower bound for the number of colors needed for a $1$-dependent coloring of $\mathscr{S}^d$. We provide an explicit construction of a $1$-dependent $q$-coloring for any $q \ge 5$ of the infinite subgraph $\mathscr{S}^3_{(1,1,\infty)}$, which is symmetric in the colors and whose restriction to any path is some symmetric $1$-dependent $q$-coloring. We also prove that there is no such coloring of $\mathscr{S}^3_{(1,1,\infty)}$ with $q = 4$ colors. A list of open problems are presented.
On extremal cacti with respect to the edge revised Szeged index
Let $G$ be a connected graph. The edge revised Szeged index of $G$ is defined as $Sz^{\ast}_{e}(G)=\sum\limits_{e=uv\in E(G)}(m_{u}(e|G)+\frac{m_{0}(e|G)}{2})(m_{v}(e|G)+\frac{m_{0}(e|G)}{2})$, where $m_{u}(e|G)$ (resp., $m_{v}(e|G)$) is the number of edges whose distance to vertex $u$ (resp., $v$) is smaller than the distance to vertex $v$ (resp., $u$), and $m_{0}(e|G)$ is the number of edges equidistant from both ends of $e$. In this paper, we give the minimal and the second minimal edge revised Szeged index of cacti with order $n$ and $k$ cycles, and all the graphs that achieve the minimal and second minimal edge revised Szeged index are identified.
On incidence choosability of cubic graphs
Published
• View Publication
• BIB
An incidence of a graph $G$ is a pair $(u,e)$ where $u$ is a vertex of $G$ and $e$ is an edge of $G$ incident with $u$. Two incidences $(u,e)$ and $(v,f)$ of $G$ are adjacent whenever (i) $u=v$, or (ii) $e=f$, or (iii) $uv=e$ or $uv=f$. An incidence $k$-coloring of $G$ is a mapping from the set of incidences of $G$ to a set of $k$ colors such that every two adjacent incidences receive distinct colors. The notion of incidence coloring has been introduced by Brualdi and Quinn Massey (1993) from a relation to strong edge coloring, and since then, attracted by many authors. On a list version of incidence coloring, it was shown by Benmedjdoub et. al. (2017) that every Hamiltonian cubic graph is incidence 6-choosable. In this paper, we show that every cubic (loopless) multigraph is incidence 6-choosable. As a direct consequence, it implies that the list strong chromatic index of a $(2,3)$-bipartite graph is at most 6, where a (2,3)-bipartite graph is a bipartite graph such that one partite set has maximum degree at most 2 and the other partite set has maximum degree at most 3.
Constructions of maximum few-distance sets in Euclidean spaces
A finite set of distinct vectors $\mathcal{X}$ in the $d$-dimensional Euclidean space $\mathbb{R}^d$ is called an $s$-distance set if the set of mutual distances between distinct elements of $\mathcal{X}$ has cardinality $s$. In this paper we present a combined approach of isomorph-free exhaustive generation of graphs and Gröbner basis computation to classify the largest $3$-distance sets in $\mathbb{R}^4$, the largest $4$-distance sets in $\mathbb{R}^3$, and the largest $6$-distance sets in $\mathbb{R}^2$. We also construct new examples of large $s$-distance sets for $d\leq 8$ and $s\leq 6$, and independently verify several earlier results from the literature.
Progress on the adjacent vertex distinguishing edge colouring conjecture
Published in SIAM Journal on Discrete Mathematics, 34/4:2221-2238, 2020
• View Publication
• BIB
A proper edge colouring of a graph is adjacent vertex distinguishing if no two adjacent vertices see the same set of colours. Using a clever application of the Local Lemma, Hatami (2005) proved that every graph with maximum degree $Δ$ and no isolated edge has an adjacent vertex distinguishing edge colouring with $Δ+ 300$ colours, provided $Δ$ is large enough. We show that this bound can be reduced to $Δ+ 19$. This is motivated by the conjecture of Zhang, Liu, and Wang (2002) that $Δ+ 2$ colours are enough for $Δ\geq 3$.
New bounds on the distance Laplacian and distance signless Laplacian spectral radii
Let G be a simple undirected connected graph. In this paper, new upper bounds on the distance Laplacian spectral radius of G are obtained. Moreover, new lower and upper bounds for the distance signless Laplacian spectral radius of G are derived. Some of the above mentioned bounds are sharp and the graphs attaining the corresponding bound are characterized. Several illustrative examples are included.
The maximum relaxation time of a random walk
Published
• View Publication
• BIB
We show the minimum spectral gap of the normalized Laplacian over all simple, connected graphs on $n$ vertices is $(1+o(1))\tfrac{54}{n^3}$. This minimum is achieved asymptotically by a double kite graph. Consequently, this leads to sharp upper bounds for the maximum relaxation time of a random walk, settling a conjecture of Aldous and Fill. We also improve an eigenvalue-diameter inequality by giving a new lower bound for the spectral gap of the normalized Laplacian. This eigenvalue lower bound is asymptotically best possible.