graph
34828 papers tagged with this keyword
Enumeration of idempotents in planar diagram monoids
Published
• View Publication
• BIB
We classify and enumerate the idempotents in several planar diagram monoids: namely, the Motzkin, Jones (a.k.a. Temperley-Lieb) and Kauffman monoids. The classification is in terms of certain vertex- and edge-coloured graphs associated to Motzkin diagrams. The enumeration is necessarily algorithmic in nature, and is based on parameters associated to cycle components of these graphs. We compare our algorithms to existing algorithms for enumerating idempotents in arbitrary (regular *-) semigroups, and give several tables of calculated values.
Distance-regular graphs with valency k having smallest eigenvalue at most -k/2
In this paper, we study the non-bipartite distance-regular graphs with valency k and having a smallest eigenvalue at most -k/2.
Averaging $2$-Rainbow Domination and Roman Domination
Published
• View Publication
• BIB
For a graph $G$, let $γ_{r2}(G)$ and $γ_R(G)$ denote the $2$-rainbow domination number and the Roman domination number, respectively. Fujita and Furuya (Difference between 2-rainbow domination and Roman domination in graphs, Discrete Applied Mathematics 161 (2013) 806-812) proved $γ_{r2}(G)+γ_R(G)\leq \frac{6}{4}n(G)$ for a connected graph $G$ of order $n(G)$ at least $3$. Furthermore, they conjectured $γ_{r2}(G)+γ_R(G)\leq \frac{4}{3}n(G)$ for a connected graph $G$ of minimum degree at least $2$ that is distinct from $C_5$. We characterize all extremal graphs for their inequality and prove their conjecture.
Relating $2$-rainbow domination to weak Roman domination
Addressing a problem posed by Chellali, Haynes, and Hedetniemi (Discrete Appl. Math. 178 (2014) 27-32) we prove $γ_{r2}(G)\leq 2γ_r(G)$ for every graph $G$, where $γ_{r2}(G)$ and $γ_r(G)$ denote the $2$-rainbow domination number and the weak Roman domination number of $G$, respectively. We characterize the extremal graphs for this inequality that are $\{ K_4,K_4-e\}$-free, and show that the recognition of the $K_5$-free extremal graphs is NP-hard.
Forbidding induced even cycles in a graph: typical structure and counting
Published
• View Publication
• BIB
We determine, for all $k\geq 6$, the typical structure of graphs that do not contain an induced $2k$-cycle. This verifies a conjecture of Balogh and Butterfield. Surprisingly, the typical structure of such graphs is richer than that encountered in related results. The approach we take also yields an approximate result on the typical structure of graphs without an induced $8$-cycle or without an induced $10$-cycle.
Infinitely many nonsolvable groups whose Cayley graphs are hamiltonian
Published
• View Publication
• BIB
This note shows there are infinitely many finite groups G, such that every connected Cayley graph on G has a hamiltonian cycle, and G is not solvable. Specifically, for every prime p that is congruent to 1, modulo 30, we show there is a hamiltonian cycle in every connected Cayley graph on the direct product of the cyclic group of order p with the alternating group A_5 on five letters.
On the enumeration of tanglegrams and tangled chains
Published
• View Publication
• BIB
Tanglegrams are a special class of graphs appearing in applications concerning cospeciation and coevolution in biology and computer science. They are formed by identifying the leaves of two rooted binary trees. We give an explicit formula to count the number of distinct binary rooted tanglegrams with $n$ matched vertices, along with a simple asymptotic formula and an algorithm for choosing a tanglegram uniformly at random. The enumeration formula is then extended to count the number of tangled chains of binary trees of any length. This includes a new formula for the number of binary trees with $n$ leaves. We also give a conjecture for the expected number of cherries in a large randomly chosen binary tree and an extension of this conjecture to other types of trees.
Fractional Clique Decompositions of Dense Graphs and Hypergraphs
Published in J. Combin. Theory Ser. B 127 (2017), 148-186
• View Publication
• BIB
Our main result is that every graph $G$ on $n\ge 10^4r^3$ vertices with minimum degree $δ(G) \ge (1 - 1 / 10^4 r^{3/2} ) n$ has a fractional $K_r$-decomposition. Combining this result with recent work of Barber, Kühn, Lo and Osthus leads to the best known minimum degree thresholds for exact (non-fractional) $F$-decompositions for a wide class of graphs~$F$ (including large cliques). For general $k$-uniform hypergraphs, we give a short argument which shows that there exists a constant $c_k>0$ such that every $k$-uniform hypergraph $G$ on $n$ vertices with minimum codegree at least $(1- c_k /r^{2k-1}) n $ has a fractional $K^{(k)}_r$-decomposition, where $K^{(k)}_r$ is the complete $k$-uniform hypergraph on $r$ vertices. (Related fractional decomposition results for triangles have been obtained by Dross and for hypergraph cliques by Dukes as well as Yuster.) All the above new results involve purely combinatorial arguments. In particular, this yields a combinatorial proof of Wilson's theorem that every large $F$-divisible complete graph has an $F$-decomposition.
Identifying Codes in the Complementary Prism of Cycles
Published
• View Publication
• BIB
We show that an identifying code of minimum order in the complementary prism of a cycle of order $n$ has order $7n/9+Θ(1)$. Furthermore, we observe that the clique-width of the complementary prism of a graph of clique-width $k$ is at most $4k$, and discuss some algorithmic consequences.
Regularity in Weighted Graphs: A Symmetric Function Approach
Published
• View Publication
• BIB
In this note we consider $k$-regular multigraphs, where the possible edge multiplicities are controlled. These structures are considered in a question recently posed by Brendan McKay. We express the generating functions using the scalar product of symmetric functions, and consequently give conditions on when the classes are D-finite. We appeal to symmetric species results of Mendez to write the expressions in a systematic way.
On the power graphs which are Cayley graphs of some groups
In 2013, Jemal Abawajy, Andrei Kelarev and Morshed Chowdhury [1] proposed a problem to characterize the finite groups whose power graphs are Cayley graphs of some groups. Here we give a complete answer to this question.
Hamilton cycles in sparse robustly expanding digraphs
Published
• View Publication
• BIB
The notion of robust expansion has played a central role in the solution of several conjectures involving the packing of Hamilton cycles in graphs and directed graphs. These and other results usually rely on the fact that every robustly expanding (di)graph with suitably large minimum degree contains a Hamilton cycle. Previous proofs of this require Szemerédi's Regularity Lemma and so this fact can only be applied to dense, sufficiently large robust expanders. We give a proof that does not use the Regularity Lemma and, indeed, we can apply our result to suitable sparse robustly expanding digraphs.
Degree choosable signed graphs
Published
• View Publication
• BIB
A signed graph is a graph in which each edge is labeled with $+1$ or $-1$. A (proper) vertex coloring of a signed graph is a mapping $\f$ that assigns to each vertex $v\in V(G)$ a color $\f(v)\in \mz$ such that every edge $vw$ of $G$ satisfies $\f(v)\not= \sg(vw)\f(w)$, where $\sg(vw)$ is the sign of the edge $vw$. For an integer $h\geq 0$, let $\Ga_{2h}=\{\pm1,\pm2, \ldots, \pm h\}$ and $\Ga_{2h+1}=\Ga_{2h} \cup \{0\}$. Following \cite{MaRS2015}, the signed chromatic number $\scn(G)$ of $G$ is the least integer $k$ such that $G$ admits a vertex coloring $\f$ with ${\rm im}(\f)\subseteq \Ga_k$. As proved in \cite{MaRS2015}, every signed graph $G$ satisfies $\scn(G)\leq \De(G)+1$ and there are three types of signed connected simple graphs for which equality holds. We will extend this Brooks' type result by considering graphs having multiple edges. We will also proof a list version of this result by characterizing degree choosable signed graphs. Furthermore, we will establish some basic facts about color critical signed graphs.
Smallest Domination Number and Largest Independence Number of Graphs and Forests with given Degree Sequence
Published
• View Publication
• BIB
For a sequence $d$ of non-negative integers, let ${\cal G}(d)$ and ${\cal F}(d)$ be the sets of all graphs and forests with degree sequence $d$, respectively. Let $γ_{\min}(d)=\min\{ γ(G):G\in {\cal G}(d)\}$, $α_{\max}(d)=\max\{ α(G):G\in {\cal G}(d)\}$, $γ_{\min}^{\cal F}(d)=\min\{ γ(F):F\in {\cal F}(d)\}$, and $α_{\max}^{\cal F}(d)=\max\{ α(F):F\in {\cal F}(d)\}$ where $γ(G)$ is the domination number and $α(G)$ is the independence number of a graph $G$. Adapting results of Havel and Hakimi, Rao showed in 1979 that $α_{\max}(d)$ can be determined in polynomial time.
We establish the existence of realizations $G\in {\cal G}(d)$ with $γ_{\min}(d)=γ(G)$, and $F_γ,F_α\in {\cal F}(d)$ with $γ_{\min}^{\cal F}(d)=γ(F_γ)$ and $α_{\max}^{\cal F}(d)=α(F_α)$ that have strong structural properties. This leads to an efficient algorithm to determine $γ_{\min}(d)$ for every given degree sequence $d$ with bounded entries as well as closed formulas for $γ_{\min}^{\cal F}(d)$ and $α_{\max}^{\cal F}(d)$.
Cutoff on all Ramanujan graphs
Published
• View Publication
• BIB
We show that on every Ramanujan graph $G$, the simple random walk exhibits cutoff: when $G$ has $n$ vertices and degree $d$, the total-variation distance of the walk from the uniform distribution at time $t=\frac{d}{d-2}\log_{d-1} n + s\sqrt{\log n}$ is asymptotically $\mathbb{P}(Z > c\, s)$ where $Z$ is a standard normal variable and $c=c(d)$ is an explicit constant. Furthermore, for all $1 \leq p \leq \infty$, $d$-regular Ramanujan graphs minimize the asymptotic $L^p$-mixing time for SRW among all $d$-regular graphs. Our proof also shows that, for every vertex $x$ in $G$ as above, its distance from $n-o(n)$ of the vertices is asymptotically $\log_{d-1} n$.
Counting matchings in irregular bipartite graphs and random lifts
Published
• View Publication
• BIB
We give a sharp lower bound on the number of matchings of a given size in a bipartite graph. When specialized to regular bipartite graphs, our results imply Friedland's Lower Matching Conjecture and Schrijver's theorem proven by Gurvits and Csikvari. Indeed, our work extends the recent work of Csikvari done for regular and bi-regular bipartite graphs. Moreover, our lower bounds are order optimal as they are attained for a sequence of $2$-lifts of the original graph as well as for random $n$-lifts of the original graph when $n$ tends to infinity.
We then extend our results to permanents and subpermanents sums. For permanents, we are able to recover the lower bound of Schrijver recently proved by Gurvits using stable polynomials. Our proof is algorithmic and borrows ideas from the theory of local weak convergence of graphs, statistical physics and covers of graphs. We provide new lower bounds for subpermanents sums and obtain new results on the number of matching in random $n$-lifts with some implications for the matching measure and the spectral measure of random $n$-lifts as well as for the spectral measure of infinite trees.
A sub-exponential transition of the chromatic generalized Ramsey numbers
Published
• View Publication
• BIB
A simple graph-product type construction shows that for all natural numbers $r \ge q$, there exists an edge-coloring of the complete graph on $2^r$ vertices using $r$ colors where the graph consisting of the union of arbitrary $q$ color classes has chromatic number $2^q$. We show that for each fixed natural number $q$, if there exists an edge-coloring of the complete graph on $n$ vertices using $r$ colors where the graph consisting of the union of arbitrary $q$ color classes has chromatic number at most $2^q -1 $, then $n$ must be sub-exponential in $r$. This answers a question of Conlon, Fox, Lee, and Sudakov.
Distance preserving graphs and graph products
If $G$ is a graph then a subgraph $H$ is $isometric$ if, for every pair of vertices $u,v$ of $H$, we have $d_H(u,v) = d_G(u,v)$ where $d$ is the distance function. We say a graph $G$ is $distance\ preserving\ (dp)$ if it has an isometric subgraph of every possible order up to the order of $G$. We give a necessary and sufficient condition for the lexicographic product of two graphs to be a dp graph. A graph $G$ is $sequentially\ distance\ preserving\ (sdp)$ if the vertex set of $G$ can be ordered so that, for all $i\ge1$, deleting the first $i$ vertices in the sequence results in an isometric graph. We show that the Cartesian product of two graphs is sdp if and only if each of them is sdp. In closing, we state a conjecture concerning the Cartesian products of dp graphs.
Upper tails and independence polynomials in random graphs
Published in Adv. Math. 319 (2017), 313-347
• View Publication
• BIB
The upper tail problem in the Erdős--Rényi random graph $G\sim\mathcal{G}_{n,p}$ asks to estimate the probability that the number of copies of a graph $H$ in $G$ exceeds its expectation by a factor $1+δ$. Chatterjee and Dembo showed that in the sparse regime of $p\to 0$ as $n\to\infty$ with $p \geq n^{-α}$ for an explicit $α=α_H>0$, this problem reduces to a natural variational problem on weighted graphs, which was thereafter asymptotically solved by two of the authors in the case where $H$ is a clique.
Here we extend the latter work to any fixed graph $H$ and determine a function $c_H(δ)$ such that, for $p$ as above and any fixed $δ>0$, the upper tail probability is $\exp[-(c_H(δ)+o(1))n^2 p^Δ\log(1/p)]$, where $Δ$ is the maximum degree of $H$. As it turns out, the leading order constant in the large deviation rate function, $c_H(δ)$, is governed by the independence polynomial of $H$, defined as $P_H(x)=\sum i_H(k) x^k $ where $i_H(k)$ is the number of independent sets of size $k$ in $H$. For instance, if $H$ is a regular graph on $m$ vertices, then $c_H(δ)$ is the minimum between $\frac12 δ^{2/m}$ and the unique positive solution of $P_H(x) = 1+δ$.
The 1-2 model
The current paper is a short review of rigorous results for the 1-2 model. The 1-2 model on the hexagonal lattice is a model of statistical mechanics in which each vertex is constrained to have degree either 1 or 2. It was proposed in a study by Schwartz and Bruck of constrained coding systems, and is strongly connected to the dimer model on a decoration of the lattice, and to an enhanced Ising model and an associated polygon model on the graph derived from the hexagonal lattice by adding a further vertex in the middle of each edge.
The general 1-2 model possesses three parameters $a$, $b$, $c$. The fundamental technique is to represent probabilities of interest as ratios of counts of dimer coverings of certain associated graphs, and to apply the Pfaffian method of Kasteleyn, Fisher, and Temperley.
Of special interest is the existence (or not) of phase transitions. It turns out that all clusters of the infinite-volume limit are almost surely finite. On the other hand, the existence (with strictly positive probability) of infinite `homogeneous' clusters, containing vertices of given type, depends on the values of the parameters.
A further type of phase transition emerges in the study of the two-edge correlation function, and in this case the critical surface may be found explicitly. For instance, when $a \ge b \ge c > 0$, the surface given by $\sqrt a = \sqrt b + \sqrt c$ is critical.