graph
35436 papers tagged with this keyword
The phylogeny number in the aspect of triangles and diamonds of a graph
Given an acyclic digraph $D$, the competition graph of $D$, denoted by $C(D)$, is the simple graph having vertex set $V(D)$ and edge set $\{uv \mid (u, w), (v, w) \in A(D) \text{ for some } w \in V(D) \}$. The phylogeny graph of an acyclic digraph $D$, denoted by $P(D)$, is the graph with the vertex set $V(D)$ and the edge set $E(U(D)) \cup E(C(D))$ where $U(D)$ denotes the underlying graph of $D$. The notion of phylogeny graphs was introduced by Roberts and Sheng~\cite{roberts1997phylogeny} as a variant of competition graph. Moral graphs having arisen from studying Bayesian networks are the same as phylogeny graphs. In this paper, we integrate the existing theorems computing phylogeny numbers of connected graph with a small number of triangles into one proposition: for a graph $G$ containing at most two triangle, $ |E(G)|-|V(G)|-2t(G)+d(G)+1 \le p(G) \le |E(G)|-|V(G)|-t(G)+1 $ where $t(G)$ and $d(G)$ denote the number of triangles and the number of diamond in $G$, respectively. Then we show that these inequalities hold for graphs with many triangles. In the process of showing it, we derive a useful theorem which plays a key role in deducing various meaningful results including a theorem that answers a question given by Wu~{\it et al.}~\cite{Wu2019}.
A Turán-type theorem for large-distance graphs in Euclidean spaces, and related isodiametric problems
Published in Discrete & Computational Geometry, 66(1), 281-300 (2021)
• View Publication
• BIB
Given a measurable set $A\subset \mathbb R^d$ we consider the "large-distance graph" $\mathcal{G}_A$, on the ground set $A$, in which each pair of points from $A$ whose distance is bigger than 2 forms an edge. We consider the problems of maximizing the $2d$-dimensional Lebesgue measure of the edge set as well as the $d$-dimensional Lebesgue measure of the vertex set of a large-distance graph in the $d$-dimensional Euclidean space that contains no copies of a complete graph on $k$ vertices. The former problem may be seen as a continuous analogue of Turán's classical graph theorem, and the latter as a graph-theoretic analogue of the classical isodiametric problem. Our main result yields an analogue of Mantel's theorem for large-distance graphs. Our approach employs an isodiametric inequality in an annulus, which might be of independent interest.
On the inducibility problem for random Cayley graphs of abelian groups with a few deleted vertices
Published
• View Publication
• BIB
Given a $k$-vertex graph $H$ and an integer $n$, what are the $n$-vertex graphs with the maximum number of induced copies of $H$? This question is closely related to the inducibility problem introduced by Pippenger and Golumbic in 1975, which asks for the maximum possible fraction of $k$-vertex subsets of an $n$-vertex graph that induce a copy of $H$. Huang, Lee and the first author proved that for a random $k$-vertex graph $H$, almost surely the $n$-vertex graphs maximizing the number of induced copies of $H$ are the balanced iterated blow-ups of $H$. In this paper, we consider the case where the graph $H$ is obtained by deleting a small number of vertices from a random Cayley graph $\widetilde{H}$ of an abelian group. We prove that in this case, almost surely all $n$-vertex graphs maximizing the number of induced copies of $H$ are balanced iterated blow-ups of $\widetilde{H}$.
On the Chromatic Polynomial and Counting DP-Colorings
The chromatic polynomial of a graph $G$, denoted $P(G,m)$, is equal to the number of proper $m$-colorings of $G$. The list color function of graph $G$, denoted $P_{\ell}(G,m)$, is a list analogue of the chromatic polynomial that has been studied since 1992, primarily through comparisons with the corresponding chromatic polynomial. DP-coloring (also called correspondence coloring) is a generalization of list coloring recently introduced by Dvořák and Postle. In this paper, we introduce a DP-coloring analogue of the chromatic polynomial called the DP color function, denoted $P_{DP}(G,m)$, and ask several fundamental open questions about it, making progress on some of them. Motivated by known results related to the list color function, we show that while the DP color function behaves similar to the list color function for some graphs, there are also some surprising differences. For example, Wang, Qian, and Yan recently showed that if $G$ is a connected graph with $l$ edges, then $P_{\ell}(G,m)=P(G,m)$ whenever $m > \frac{l-1}{\ln(1+ \sqrt{2})}$, but we will show that for any $g \geq 3$ there exists a graph, $G$, with girth $g$ such that $P_{DP}(G,m) < P(G,m)$ when $m$ is sufficiently large. We also study the asymptotics of $P(G,m) - P_{DP}(G,m)$ for a fixed graph $G$. We develop techniques to compute $P_{DP}(G,m)$ exactly and apply them to certain classes of graphs such as chordal graphs, unicyclic graphs, and cycles with a chord. Finally, we make progress towards showing that for any graph $G$, there is a $p$ such that $P_{DP}(G \vee K_p, m) = P(G \vee K_p , m)$ for large enough $m$.
Spanning trees in complete bipartite graphs and resistance distance in nearly complete bipartite graphs
Published in Discrete Applied Mathematics 283 (2020) 542-554
• View Publication
• BIB
Using the theory of electrical network, we first obtain a simple formula for the number of spanning trees of a complete bipartite graph containing a certain matching or a certain tree. Then we apply the effective resistance (i.e., resistance distance in graphs) to find a formula for the number of spanning trees in the nearly complete bipartite graph $G(m,n,p)=K_{m,n}-pK_2$ $(p\leq \min\{m,n\})$, which extends a recent result by Ye and Yan who obtained the effective resistances and the number of spanning trees in $G(n,n,p)$. As a corollary, we obtain the Kirchhoff index of $G(m,n,p)$ which extends a previous result by Shi and Chen.
On the size of $(K_t,\mathcal{T}_k)$-co-critical graphs
Given an integer $r\ge1$ and graphs $G, H_1, \ldots, H_r$, we write $G \rightarrow ({H}_1, \ldots, {H}_r)$ if every $r$-coloring of the edges of $G$ contains a monochromatic copy of $H_i$ in color $i$ for some $i\in\{1, \ldots, r\}$. A non-complete graph $G$ is $(H_1, \ldots, H_r)$-co-critical if $G \nrightarrow ({H}_1, \ldots, {H}_r)$, but $G+e\rightarrow ({H}_1, \ldots, {H}_r)$ for every edge $e$ in $\overline{G}$. In this paper, motivated by Hanson and Toft's conjecture [Edge-colored saturated graphs, J Graph Theory 11(1987), 191--196], we study the minimum number of edges over all $(K_t, \mathcal{T}_k)$-co-critical graphs on $n$ vertices, where $\mathcal{T}_k$ denotes the family of all trees on $k$ vertices. Following Day [Saturated graphs of prescribed minimum degree, Combin. Probab. Comput. 26 (2017), 201--207], we apply graph bootstrap percolation on a not necessarily $K_t$-saturated graph to prove that for all $t\ge4 $ and $k\ge \max\{6, t\}$, there exists a constant $c(t, k)$ such that, for all $n \ge (t-1)(k-1)+1$, if $G$ is a $(K_t, \mathcal{T}_k)$-co-critical graph on $n$ vertices, then $$ e(G)\ge \left(\frac{4t-9}{2}+\frac{1}{2}\left\lceil \frac{k}{2} \right\rceil\right)n-c(t, k).$$ Furthermore, this linear bound is asymptotically best possible when $t\in\{4,5\}$ and $k\ge6$. The method we develop in this paper may shed some light on attacking Hanson and Toft's conjecture.
On the cop number of toroidal graphs
We show that the cop number of toroidal graphs is at most 3. This resolves a conjecture by Schroeder from 2001 which is implicit in a question by Andreae from 1986.
Outliers in spectrum of sparse Wigner matrices
In this paper, we study the effect of sparsity on the appearance of outliers in the semi-circular law. Let $(W_n)_{n=1}^\infty$ be a sequence of random symmetric matrices such that each $W_n$ is $n\times n$ with i.i.d entries above and on the main diagonal equidistributed with the product $b_nξ$, where $ξ$ is a real centered uniformly bounded random variable of unit variance and $b_n$ is an independent Bernoulli random variable with a probability of success $p_n$. Assuming that $\lim\limits_{n\to\infty}n p_n=\infty$, we show that for the random sequence $(ρ_n)_{n=1}^\infty$ given by $$ρ_n:=θ_n+\frac{n p_n}{θ_n},\quad θ_n:=\sqrt{\max\big(\max\limits_{i\leq n}\|{\rm Row_i}(W_n)\|_2^2-np_n,n p_n\big)},$$ the ratio $\frac{\|W_n\|}{ρ_n}$ converges to one in probability. A non-centered counterpart of the theorem allows to obtain asymptotic expressions for eigenvalues of the Erdős--Renyi graphs, which were unknown in the regime $n p_n=Θ(\log n)$. In particular, denoting by $A_n$ the adjacency matrix of $\mathcal{G}(n,p_n)$ and by $λ_{|k|}(A_n)$ its $k$-th largest (by the absolute value) eigenvalue, under the assumptions $\lim\limits_{n\to\infty }n p_n=\infty$ and $\lim\limits_{n\to\infty}p_n=0$ we have:
-(No non-trivial outliers) If $\liminf\frac{n p_n}{\log n}\geq\frac{1}{\log (4/e)}$ then for any fixed $k\geq2$, $\frac{|λ_{|k|}(A_n)|}{2\sqrt{n p_n}}$ converges to $1$ in probability.
-(Outliers) If $\limsup\frac{n p_n}{\log n}<\frac{1}{\log (4/e)}$ then there is $\varepsilon>0$ such that for any $k\in\mathbb{N}$, we have $\lim\limits_{n\to\infty}\mathbb{P}\Big\{\frac{|λ_{|k|}(A_n)|}{2\sqrt{n p_n}}>1+\varepsilon\Big\}=1$.
On a conceptual level, our result highlights similarities in appearance of outliers in spectrum of sparse matrices and the so-called BBP phase transition phenomenon in deformed Wigner matrices.
Some results on double triangle descendants of $K_5$
Double triangle expansion is an operation on $4$-regular graphs with at least one triangle which replaces a triangle with two triangles in a particular way. We study the class of graphs which can be obtained by repeated double triangle expansion beginning with the complete graph $K_5$. These are called double triangle descendants of $K_5$. We enumerate, with explicit rational generating functions, those double triangle descendants of $K_5$ with at most four more vertices than triangles. We also prove that the minimum number of triangles in any $K_5$ descendant is four. Double triangle descendants are an important class of graphs because of conjectured properties of their Feynman periods when they are viewed as scalar Feynman diagrams, and also because of conjectured properties of their $c_2$ invariants, an arithmetic graph invariant with quantum field theoretical applications.
Deza graphs with parameters (v,k,k-2,a)
Published in J Combin Des. (2020) 1-12
• View Publication
• BIB
A Deza graph with parameters $(v,k,b,a)$ is a $k$-regular graph on $v$ vertices in which the number of common neighbors of two distinct vertices takes two values $a$ or $b$ ($a\leq b$) and both cases exist. In the previous papers Deza graphs with parameters $(v,k,b,a)$ where $k-b = 1$ were characterized. In the paper we characterise Deza graphs with $k-b = 2$.
Making multigraphs simple by a sequence of double edge swaps
We show that any loopy multigraph with a graphical degree sequence can be transformed into a simple graph by a finite sequence of double edge swaps with each swap involving at least one loop or multiple edge. Our result answers a question of Janson motivated by random graph theory, and it adds to the rich literature on reachability of double edge swaps with applications in Markov chain Monte Carlo sampling from the uniform distribution of graphs with prescribed degrees.
On restricted colorings of $(d,s)$-edge colorable graphs
A cycle is $2$-colored if its edges are properly colored by two distinct colors. A $(d,s)$-edge colorable graph $G$ is a $d$-regular graph that admits a proper $d$-edge coloring in which every edge of $G$ is in at least $s-1$ $2$-colored $4$-cycles. Given a $(d,s)$-edge colorable graph $G$ and a list assigment $L$ of forbidden colors for the edges of $G$ satisfying certain sparsity conditions, we prove that there is a proper $d$-edge coloring of $G$ that avoids $L$, that is, a proper edge coloring $\varphi$ of $G$ such that $\varphi(e) \notin L(e)$ for every edge $e$ of $G$.
Some cyclic properties of $L_1$-graphs
A graph $G$ is called an $L_1$-graph if $d(u)+d(v)\ge|N(u)\cup N(v)\cup N(w)|-1$ for every triple of vertices $u,v,w$ where $u$ and $v$ are at distance 2 and $w\in N(u)\cap N(v)$. Asratian et al. (1996) proved that all finite connected $L_1$-graphs on at least three vertices such that $|N(u)\cap N(v)|\ge2$ for each pair of vertices $u,v$ at distance 2 are Hamiltonian, except for a simple family $\mathcal{K}$ of exceptions.
We show that not all such graphs are pancyclic, but that any non-Hamiltonian cycle in such a graph can be extended to a larger cycle containing all vertices of the original cycle and at most two other vertices. We also prove a similar result for paths whose endpoints do not have any common neighbors.
A Linear Upper Bound on the Weisfeiler-Leman Dimension of Graphs of Bounded Genus
The Weisfeiler-Leman (WL) dimension of a graph is a measure for the inherent descriptive complexity of the graph. While originally derived from a combinatorial graph isomorphism test called the Weisfeiler-Leman algorithm, the WL dimension can also be characterised in terms of the number of variables that is required to describe the graph up to isomorphism in first-order logic with counting quantifiers.
It is known that the WL dimension is upper-bounded for all graphs that exclude some fixed graph as a minor (Grohe, JACM 2012). However, the bounds that can be derived from this general result are astronomic. Only recently, it was proved that the WL dimension of planar graphs is at most 3 (Kiefer, Ponomarenko, and Schweitzer, LICS 2017).
In this paper, we prove that the WL dimension of graphs embeddable in a surface of Euler genus $g$ is at most $4g+3$. For the WL dimension of graphs embeddable in an orientable surface of Euler genus $g$, our approach yields an upper bound of $2g+3$.
The Turán number of blow-ups of trees
A conjecture of Erdős from 1967 asserts that any graph on $n$ vertices which does not contain a fixed $r$-degenerate bipartite graph $F$ has at most $Cn^{2-1/r}$ edges, where $C$ is a constant depending only on $F$. We show that this bound holds for a large family of $r$-degenerate bipartite graphs, including all $r$-degenerate blow-ups of trees. Our results generalise many previously proven cases of the Erdős conjecture, including the related results of Füredi and Alon, Krivelevich and Sudakov. Our proof uses supersaturation and a random walk on an auxiliary graph.
Spectra of comb graphs with tails
Given two graphs, a backbone and a finger, a comb product is a new graph obtained by grafting a copy of the finger into each vertex of the backbone. We study the comb graphs in the case when both components are the paths of order $n$ and $k$, respectively, as well as the above comb graphs with an infinite ray attached to some of their vertices. A detailed spectral analysis is carried out in both situations.
On bipartite distance-regular Cayley graphs with diameter $3$
In this paper, we show that every bipartite distance-regular Cayley graph with diameter $3$ can be constructed on the semidirect product of a group and $\mathbb{Z}_{2}$, except possibly for one case.
Linear algorithms on Steiner domination of trees
A set of vertices $W$ in a connected graph $G$ is called a Steiner dominating set if $W$ is both Steiner and dominating set. The Steiner domination number $γ_{st}(G)$ is the minimum cardinality of a Steiner dominating set of $G$. A linear algorithm is proposed in this paper for finding a minimum Steiner dominating set for a tree $T$.
Arc-transitive bicirculants
In this paper, we characterise the family of finite arc-transitive bicirculants. We show that every finite arc-transitive bicirculant is a normal $r$-cover of an arc-transitive graph that lies in one of eight infinite families or is one of seven sporadic arc-transitive graphs. Moreover, each of these "basic" graphs is either an arc-transitive bicirculant or an arc-transitive circulant, and each graph in the latter case has an arc-transitive bicirculant normal $r$-cover for some integer $r$.
On the $g$-extra connectivity of graphs
Connectivity and diagnosability are two important parameters for the fault tolerant of an interconnection network $G$. In 1996, Fàbrega and Fiol proposed the $g$-extra connectivity of $G$. A subset of vertices $S$ is said to be a \emph{cutset} if $G-S$ is not connected. A cutset $S$ is called an \emph{$R_g$-cutset}, where $g$ is a non-negative integer, if every component of $G-S$ has at least $g+1$ vertices. If $G$ has at least one $R_g$-cutset, the \emph{$g$-extra connectivity} of $G$, denoted by $κ_g(G)$, is then defined as the minimum cardinality over all $R_g$-cutsets of $G$. In this paper, we first obtain the exact values of $g$-extra connectivity of some special graphs. Next, we show that $1\leq κ_g(G)\leq n-2g-2$ for $0\leq g\leq \left\lfloor \frac{n-3}{2}\right\rfloor$, and graphs with $κ_g(G)=1,2,3$ and trees with $κ_g(T_n)=n-2g-2$ are characterized, respectively. In the end, we get the three extremal results for the $g$-extra connectivity.