graph
35299 papers tagged with this keyword
Spanning Trees and Mahler Measure
The complexity of a finite connected graph is its number of spanning trees; for a non-connected graph it is the product of complexities of its connected components. If $G$ is an infinite graph with cofinite free ${\mathbb Z}^d$-symmetry, then the logarithmic Mahler measure $m(Δ)$ of its Laplacian polynomial $Δ$ is the exponential growth rate of the complexity of finite quotients of $G$. It is bounded below by $m(Δ({\mathbb G}_d))$, where ${\mathbb G}_d$ is the grid graph of dimension $d$. The growth rates $m(Δ({\mathbb G}_d))$ are asymptotic to $\log 2d$ as $d$ tends to infinity. If $m(Δ(G))\ne 0$, then $m(Δ(G)) \ge \log 2$. An application to determinant growth rates of families of alternating links arising from planar graphs is given.
A decomposition theorem for {ISK4,wheel}-free trigraphs
An ISK4 in a graph G is an induced subgraph of G that is isomorphic to a subdivision of K4 (the complete graph on four vertices). A wheel is a graph that consists of a chordless cycle, together with a vertex that has at least three neighbors in the cycle. A graph is {ISK4,wheel}-free if it has no ISK4 and does not contain a wheel as an induced subgraph. A "trigraph" is a generalization of a graph in which some pairs of vertices have "undetermined" adjacency. We prove a decomposition theorem for {ISK4,wheel}-free trigraphs. Our proof closely follows the proof of a decomposition theorem for ISK4-free graphs due to Lévêque, Maffray, and Trotignon (On graphs with no induced subdivision of K4. J. Combin. Theory Ser. B, 102(4):924-947, 2012).
Discrepancy and Eigenvalues of Cayley Graphs
Published in Czech. Math. J. 66(3), 2016, 941-954
• View Publication
• BIB
We consider quasirandom properties for Cayley graphs of finite abelian groups. We show that having uniform edge-distribution (i.e., small discrepancy) and having large eigenvalue gap are equivalent properties for such Cayley graphs, even if they are sparse. This positively answers a question of Chung and Graham ["Sparse quasi-random graphs", Combinatorica 22 (2002), no. 2, 217-244] for the particular case of Cayley graphs of abelian groups, while in general the answer is negative.
Some remarks on the extremal function for uniformly two-path dense hypergraphs
Published in Connections in Discrete Mathematics: A Celebration of the Work of Ron Graham, Cambridge University Press, 2018, 214-239
• View Publication
• BIB
We investigate extremal problems for hypergraphs satisfying the following density condition. A $3$-uniform hypergraph $H=(V, E)$ is $(d, η,P_2)$-dense if for any two subsets of pairs $P$, $Q\subseteq V\times V$ the number of pairs $((x,y),(x,z))\in P\times Q$ with $\{x,y,z\}\in E$ is at least $d|\mathcal{K}_{P_2}(P,Q)|-η|V|^3,$ where $\mathcal{K}_{P_2}(P,Q)$ denotes the set of pairs in $P\times Q$ of the form $((x,y),(x,z))$. For a given $3$-uniform hypergraph $F$ we are interested in the infimum $d\geq 0$ such that for sufficiently small $η$ every sufficiently large $(d, η,P_2)$-dense hypergraph $H$ contains a copy of $F$ and this infimum will be denoted by $π_{P_2}(F)$. We present a few results for the case when $F=K_k^{(3)}$ is a complete three uniform hypergraph on $k$ vertices. It will be shown that $π_{P_2}(K_{2^r}^{(3)})\leq \frac{r-2}{r-1}$, which is sharp for $r=2,3,4$, where the lower bound for $r=4$ is based on a result of Chung and Graham [Edge-colored complete graphs with precisely colored subgraphs, Combinatorica 3 (3-4), 315-324].
On the structure of dense graphs with fixed clique number
Published
• View Publication
• BIB
We study structural properties of graphs with fixed clique number and high minimum degree. In particular, we show that there exists a function $L=L(r,\varepsilon)$, such that every $K_r$-free graph $G$ on $n$ vertices with minimum degree at least $(\frac{2r-5}{2r-3}+\varepsilon)n$ is homomorphic to a $K_r$-free graph on at most $L$ vertices. It is known that the required minimum degree condition is approximately best possible for this result.
For $r=3$ this result was obtained by Łuczak [On the structure of triangle-free graphs of large minimum degree, Combinatorica 26 (2006), no. 4, 489-493] and, more recently, Goddard and Lyle [Dense graphs with small clique number, J. Graph Theory 66 (2011), no. 4, 319-331] deduced the general case from Łuczak's result. Łuczak's proof was based on an application of Szemerédi's regularity lemma and, as a consequence, it only gave rise to a tower-type bound on $L(3,\varepsilon)$. The proof presented here replaces the application of the regularity lemma by a probabilistic argument, which yields a bound for $L(r,\varepsilon)$ that is doubly exponential in poly($\varepsilon$).
Counting spanning trees on fractal graphs and their asymptotic complexity
Published
• View Publication
• BIB
Using the method of spectral decimation and a modified version of Kirchhoff's Matrix-Tree Theorem, a closed form solution to the number of spanning trees on approximating graphs to a fully symmetric self-similar structure on a finitely ramified fractal is given in Theorem \ref{thm:maintheoremfull}. We show how spectral decimation implies the existence of the asymptotic complexity constant and obtain some bounds for it. Examples calculated include the Sierpinski Gasket, a non post critically finite analog of the Sierpinski Gasket, the Diamond fractal, and the Hexagasket. For each example, the asymptotic complexity constant is found.
The Structure of $W_4$-Immersion-Free Graphs
We study the structure of graphs that do not contain the wheel on 5 vertices W4 as an immersion, and show that these graphs can be constructed via 1, 2, and 3-edge-sums from subcubic graphs and graphs of bounded treewidth.
Graph parameters from symplectic group invariants
Published
• View Publication
• BIB
In this paper we introduce, and characterize, a class of graph parameters obtained from tensor invariants of the symplectic group. These parameters are similar to partition functions of vertex models, as introduced by de la Harpe and Jones, [P. de la Harpe, V.F.R. Jones, Graph invariants related to statistical mechanical models: examples and problems, Journal of Combinatorial Theory, Series B 57 (1993) 207-227]. Yet they give a completely different class of graph invariants. We moreover show that certain evaluations of the cycle partition polynomial, as defined by Martin [P. Martin, Enumérations eulériennes dans les multigraphes et invariants de Tutte-Grothendieck, Diss. Institut National Polytechnique de Grenoble-INPG; Université Joseph-Fourier-Grenoble I, 1977], give examples of graph parameters that can be obtained this way.
Exponential extinction time of the contact process on rank-one inhomogeneous random graphs
Published
• View Publication
• BIB
We show that the contact process on the rank-one inhomogeneous random graphs and Erdos-R{é}nyi graphs with mean degree large enough survives a time exponential in the size of these graphs for any positive infection rate. In addition, a metastable result for the extinction time is also proved.
Spectral properties of cographs and $P_5$-free graphs
Published
• View Publication
• BIB
A cograph is a simple graph which contains no path on 4 vertices as an induced subgraph. We consider the eigenvalues of adjacency matrices of cographs and prove that a graph $G$ is a cograph if and only if no induced subgraph of $G$ has an eigenvalue in the interval $(-1,0)$. It is also shown that the multiplicity of any eigenvalue of a cograph $G$ does not exceed the sum of multiplicities of $0$ and $-1$ as eigenvalues of $G$. We introduce a partial order on the vertex set of graphs $G$ in terms of inclusions among the open and closed neighborhoods of vertices, and conjecture that the multiplicity of any eigenvalue of a cograph $G$ except for $0,-1$ does not exceed the maximum size of an antichain with respect to that partial order. In two extreme cases (in particular for threshold graphs), the conjecture is shown to be true. Finally, we give a simple proof for the result that bipartite $P_5$-free graphs have no eigenvalue in the intervals $(-1/2,0)$ and $(0,1/2)$.
Oriented Book Embeddings
A graph $G$ has a $k$-page book embedding if $G$ can be embedded into a $k$-page book. The minimum $k$ such that $G$ has a $k$-page book embedding is the book thickness of $G$, denoted $bt(G)$. Most of the work on this subject has been done for unoriented graphs and oriented acyclic graphs (no directed cycles). In this work we discuss oriented graphs $\overrightarrow{D}$ containing directed cycles by using oriented book embeddings and oriented book thickness, $obt(\overrightarrow{D})$. To characterize $\overrightarrow{D}$ such that $obt(\overrightarrow{D}) = k$, we define the class $\mathcal{M}^k$ of $k$-page critical oriented graphs to be all oriented graphs $\overrightarrow{D}$ with $obt(\overrightarrow{D}) =k$, but for every proper oriented subgraph of $\overrightarrow{D}$, denoted $\overrightarrow{D}'$, we have that $obt(\overrightarrow{D}') < k$. Determining $\mathcal{M}^k$ for general $k$ is challenging; we narrow down the list of oriented graphs in $\mathcal{M}^k$ for small $k$. In this work we show complete lists for $\mathcal{M}^1$ and for $\mathcal{M}^2 \cap \mathcal{U}$, where $\mathcal{U}$ consists of all strictly dicyclic oriented graphs, that is, oriented graphs containing exactly one oriented cycle, which is a directed cycle.
Keywords: book embedding, book thickness, oriented book embedding, oriented book thickness, directed cycle, critical graph
Endomorphisms of The Hamming Graph and Related Graphs
In this paper we determine all singular endomorphisms of the Hamming graph and other related graphs. The Hamming graph has vertices $\mathbb{Z}^{m}_n$ where two vertices are adjacent, if their Hamming distance is $1$. We show that its singular endomorphisms are uniform (each kernel has the same size) and that they are induced by Latin hypercubes (which essentially determines the number of singular endomorphisms). However, we do the same for its complement and some related graphs where the Hamming distance is allowed to be one of $1,...,k$, for some $1\leq k\leq m-1$. Ultimately, we consider the same situation where the vertices are tuples in $\mathbb{Z}_{n_1}\times\mathbb{Z}_{n_2}\times\cdots \times\mathbb{Z}_{n_m}$ (not all $n_i$ are equal).
$k$-geometric graphs
A finite, simple and undirected graph $G = (V, E)$ with $p$ vertices and $q$ edges is said to be a $k$-geometric mean graph for a positive integer $k$ if there is an injection $ψ:V(G)\to \{k,k+1,\dots,k+q\}$ such that, when each edge $uv\in E(G)$ is assigned the label $\lfloor\sqrt{ψ(u)ψ(v)}\rfloor$ or $\lceil\sqrt{ψ(u)ψ(v)}\rceil$, the resulting edge label set is $\{k,k+1,...,k+q-1\}$ and $ψ$ is called a \emph{$k$-geometric mean labeling} of $G$. The special case $k=1$, a $1$-geometric mean labeling is called a geometric mean labeling, and a $1$-geometric mean graph is called a geometric mean graph.
In this paper, we present new classes of geometric mean graphs. Then we introduce $k$-geometric mean labeling and prove some classes of graphs are $k$-geometric mean. We also study some classes of finite join of graphs that admit geometric mean labeling.
Domination in 3-tournaments
A 3-tournament is a complete 3-uniform hypergraph where each edge has a special vertex designated as its tail. A vertex set $X$ dominates $T$ if every vertex not in $X$ is contained in an edge whose tail is in $X$. The domination number of $T$ is the minimum size of such an $X$. Generalizing well-known results about usual (graph) tournaments, Gyárfás conjectured that there are 3-tournaments with arbitrarily large domination number, and that this is not the case if any four vertices induce two triples with the same tail. In this short note we solve both problems, proving the first conjecture and refuting the second.
Contagious Sets in Random Graphs
Published
• View Publication
• BIB
We consider the following activation process in undirected graphs: a vertex is active either if it belongs to a set of initially activated vertices or if at some point it has at least $r$ active neighbors. A \emph{contagious set} is a set whose activation results with the entire graph being active. Given a graph $G$, let $m(G,r)$ be the minimal size of a contagious set.
We study this process on the binomial random graph $G:=G(n,p)$ with $p: = \frac{d}{n}$ and $1 \ll d \ll \left(\frac{n \log \log n}{\log^2 n}\right)^{\frac{r-1}{r}}$. Assuming $r > 1$ to be a constant that does not depend on $n$, we prove that $$m(G,r) = Θ\left(\frac{n}{d^{\frac{r}{r-1}}\log d}\right),$$ with high probability. We also show that the threshold probability for $m(G,r)=r$ to hold is $p^*=Θ\left(\frac{1}{(n \log^{r-1} n)^{1/r}}\right)$.
On Betti numbers of flag complexes with forbidden induced subgraphs
Published in Math. Proc. Camb. Phil. Soc. 168 (2020) 567-600
• View Publication
• BIB
We analyze the asymptotic extremal growth rate of the Betti numbers of clique complexes of graphs on n vertices not containing a fixed forbidden induced subgraph H.
In particular, we prove a theorem of the alternative: for any H the growth rate achieves exactly one of five possible exponentials, that is, independent of the field of coefficients, the nth root of the maximal total Betti number over n-vertex graphs with no induced copy of H has a limit, as n tends to infinity, and, ranging over all H, exactly five different limits are attained.
For the interesting case where H is the 4-cycle, the above limit is 1, and we prove a slightly superpolynomial upper bound.
Hypergraph Versals
Let H be a hypergraph on n vertices with the property that no edge contains another. We prove some results for a special case of the Isolation Lemma when the label set for the edges of H can only take two values. Given any set of vertices S and an edge e, the weight of S in e is the size of e plus the size of the intersection of S and e. A versal S for an edge e is a set of vertices with weight in e smaller than the weight in any other edge. We show that H always has at least n + 1 versals except if H is either the set of all singletons T_n or the complement of T_n or the 4-cycle graph. In those exceptional cases there are only n versals.
Extreme values of the stationary distribution of random walks on directed graphs
Published
• View Publication
• BIB
We examine the stationary distribution of random walks on directed graphs. In particular, we focus on the {\em principal ratio}, which is the ratio of maximum to minimum values of vertices in the stationary distribution. We give an upper bound for this ratio over all strongly connected graphs on $n$ vertices. We characterize all graphs achieving the upper bound and we give explicit constructions for these extremal graphs. Additionally, we show that under certain conditions, the principal ratio is tightly bounded. We also provide counterexamples to show the principal ratio cannot be tightly bounded under weaker conditions.
Maximal $m$-distance sets containing the representation of the Hamming graph $H(n,m)$
Published
• View Publication
• BIB
A set $X$ in the Euclidean space $\mathbb{R}^d$ is called an $m$-distance set if the set of Euclidean distances between two distinct points in $X$ has size $m$. An $m$-distance set $X$ in $\mathbb{R}^d$ is said to be maximal if there does not exist a vector $x$ in $\mathbb{R}^d$ such that the union of $X$ and $\{x\}$ still has only $m$ distances. Bannai--Sato--Shigezumi (2012) investigated the maximal $m$-distance sets which contain the Euclidean representation of the Johnson graph $J(n,m)$. In this paper, we consider the same problem for the Hamming graph $H(n,m)$. The Euclidean representation of $H(n,m)$ is an $m$-distance set in $\mathbb{R}^{m(n-1)}$. We prove that the maximum $n$ is $m^2 + m - 1$ such that the representation of $H(n,m)$ is not maximal as an $m$-distance set. Moreover we classify the largest $m$-distance sets which contain the representation of $H(n,m)$ for $m\leq 4$ and any $n$. We also classify the maximal $2$-distance sets in $\mathbb{R}^{2n-1}$ which contain the representation of $H(n,2)$ for any $n$.
Constructing Dominating Sets in Circulant Graphs
Published
• View Publication
• BIB
We give an efficient construction of a reasonably small dominating set in a circulant graph on $n$ notes and $k$ distinct chord lengths. This result is based on bounds on some double exponential sums. .