graph
34828 papers tagged with this keyword
Dispersion processes
Published
• View Publication
• BIB
We study a synchronous dispersion process in which $M$ particles are initially placed at a distinguished origin vertex of a graph $G$. At each time step, at each vertex $v$ occupied by more than one particle at the beginning of this step, each of these particles moves to a neighbour of $v$ chosen independently and uniformly at random. The dispersion process ends once the particles have all stopped moving, i.e. at the first step at which each vertex is occupied by at most one particle.
For the complete graph $K_n$ and star graph $S_n$, we show that for any constant $δ>1$, with high probability, if $M \le n/2(1-δ)$, then the process finishes in $O(\log n)$ steps, whereas if $M \ge n/2(1+δ)$, then the process needs $e^{Ω(n)}$ steps to complete (if ever). We also show that an analogous lazy variant of the process exhibits the same behaviour but for higher thresholds, allowing faster dispersion of more particles.
For paths, trees, grids, hypercubes and Cayley graphs of large enough sizes (in terms of $M$) we give bounds on the time to finish and the maximum distance traveled from the origin as a function of the number of particles $M$.
On the saturation number of graphs
Let $G=(V,E)$ be a simple connected graph. A matching $M$ in a graph $G$ is a collection of edges of $G$ such that no two edges from $M$ share a vertex. A matching $M$ is maximal if it cannot be extended to a larger matching in $G$. The cardinality of any smallest maximal matching in $G$ is the saturation number of $G$ and is denoted by $s(G)$. In this paper we study the saturation number of the corona product of two specific graphs. We also consider some graphs with certain constructions that are of importance in chemistry and study their saturation number.
Linked systems of symmetric designs
Published
• View Publication
• BIB
A linked system of symmetric designs (LSSD) is a $w$-partite graph ($w\geq 2$) where the incidence between any two parts corresponds to a symmetric design and the designs arising from three parts are related. The original construction for LSSDs by Goethals used Kerdock sets, in which $v$ is a power of two. Some four decades later, new examples were given by Davis et.\ al.\ and Jedwab et.\ al.\ using difference sets, again with $v$ a power of two. In this paper we develop a connection between LSSDs and "linked simplices", full-dimensional regular simplices with two possible inner products between vertices of distinct simplices. We then use this geometric connection to construct sets of equiangular lines and to find an equivalence between regular unbiased Hadamard matrices and certain LSSDs with Menon parameters. We then construct examples of non-trivial LSSDs in which $w$ can be made arbitarily large for fixed even part of $v$. Finally we survey the known infinite families of symmetric designs and show, using basic number theoretic conditions, that $w=2$ in most cases.
Redundant edges in Ramsey graphs
Published
• View Publication
• BIB
For graphs $G$, $F$ and $H$, let $G\rightarrow (F,H)$ signify that any edge coloring of $G$ in red and blue contains a red $F$ or a blue $H$. The Ramsey number $R(F,H)=\min\{r|\; K_r\rightarrow (F,H)\}$. In this note, we consider redundant edges in Ramsey graphs, which are associate with critical Ramsey numbers. For an integer $k\ge 1$, let ${\mathbb G}=\{G_k,G_{k+1},\dots \}$ be a class of graphs with $δ(G_n)\ge 1$. We define the critical Ramsey number $R_{\mathbb G}(F,H)$ with respect to $\mathbb G$ to be $\max\{n|\; K_r\setminus G_n \rightarrow(F,H),\,G_n\in{\mathbb G}\big\}$, where $r=R(F,H)$. We shall determine some $R_{\mathbb G}(F,H)$, where ${\mathbb G}$ consists of stars, matchings and complete graphs, respectively.
The Graph Curvature Calculator and the curvatures of cubic graphs
Published
• View Publication
• BIB
We classify all cubic graphs with either non-negative Ollivier-Ricci curvature or non-negative Bakry-Émery curvature everywhere. We show in both curvature notions that the non-negatively curved graphs are the prism graphs and the Möbius ladders. We also highlight an online tool for calculating the curvature of graphs under several variants of these curvature notions that we use in the classification. As a consequence of the classification result we show, that non-negatively curved cubic expanders do not exist.
Monochromatic cycle covers in random graphs
A classic result of Erdős, Gyárfás and Pyber states that for every coloring of the edges of $K_n$ with $r$ colors, there is a cover of its vertex set by at most $f(r) = O(r^2 \log r)$ vertex-disjoint monochromatic cycles. In particular, the minimum number of such covering cycles does not depend on the size of $K_n$ but only on the number of colors. We initiate the study of this phenomena in the case where $K_n$ is replaced by the random graph $\mathcal G(n,p)$. Given a fixed integer $r$ and $p =p(n) \ge n^{-1/r + \varepsilon}$, we show that with high probability the random graph $G \sim \mathcal G(n,p)$ has the property that for every $r$-coloring of the edges of $G$, there is a collection of $f'(r) = O(r^8 \log r)$ monochromatic cycles covering all the vertices of $G$. Our bound on $p$ is close to optimal in the following sense: if $p\ll (\log n/n)^{1/r}$, then with high probability there are colorings of $G\sim\mathcal G(n,p)$ such that the number of monochromatic cycles needed to cover all vertices of $G$ grows with $n$.
On the complexity of graph coloring with additional local conditions
Published
• View Publication
• BIB
Let $G = (V,E)$ be a finite simple graph. Recall that a proper coloring of $G$ is a mapping $\varphi: V\to\{1,\ldots,k\}$ such that every color class induces an independent set. Such a $\varphi$ is called a semi-matching coloring if the union of any two consecutive color classes induces a matching. We show that the semi-matching coloring problem is NP-complete for any fixed $k\geqslant 3$, and we get the same result for another version of this problem in which any triangle of G is required to have vertices whose colors differ at least by three.
On inverse powers of graphs and topological implications of Hedetniemi's conjecture
Published in J. Comb. Theory B, 2019
• View Publication
• BIB
We consider a natural graph operation $Ω_k$ that is a certain inverse (formally: the right adjoint) to taking the k-th power of a graph. We show that it preserves the topology (the $\mathbb{Z}_2$-homotopy type) of the box complex, a basic tool in topological combinatorics. Moreover, we prove that the box complex of a graph G admits a $\mathbb{Z}_2$-map (an equivariant, continuous map) to the box complex of a graph H if and only if the graph $Ω_k(G)$ admits a homomorphism to H, for high enough k.
This allows to show that if Hedetniemi's conjecture on the chromatic number of graph products were true for n-colorings, then the following analogous conjecture in topology would also also true: If X,Y are $\mathbb{Z}_2$-spaces (finite $\mathbb{Z}_2$-simplicial complexes) such that X x Y admits a $\mathbb{Z}_2$-map to the (n-2)-dimensional sphere, then X or Y itself admits such a map. We discuss this and other implications, arguing the importance of the topological conjecture.
Uniquely $K^{(k)}_r$-saturated Hypergraphs
In this paper we generalize the concept of uniquely $K_r$-saturated graphs to hypergraphs. Let $K_r^{(k)}$ denote the complete $k$-uniform hypergraph on $r$ vertices. For integers $k,r,n$ such that $2\le k <r<n$, a $k$-uniform hypergraph $H$ with $n$ vertices is uniquely $K_r^{(k)}$-saturated if $H$ does not contain $K_r^{(k)}$ but adding to $H$ any $k$-set that is not a hyperedge of $H$ results in exactly one copy of $K_r^{(k)}$. Among uniquely $K_r^{(k)}$-saturated hypergraphs, the interesting ones are the primitive ones that do not have a dominating vertex---a vertex belonging to all possible ${n-1\choose k-1}$ edges. Translating the concept to the complements of these hypergraphs, we obtain a natural restriction of $τ$-critical hypergraphs: a hypergraph $H$ is uniquely $τ$-critical if for every edge $e$, $τ(H-e)=τ(H)-1$ and $H-e$ has a unique transversal of size $τ(H)-1$.
We have two constructions for primitive uniquely $K_r^{(k)}$-saturated hypergraphs. One shows that for $k$ and $r$ where $4\le k<r\le 2k-3$, there exists such a hypergraph for every $n>r$. This is in contrast to the case $k=2$ and $r=3$ where only the Moore graphs of diameter two have this property. Our other construction keeps $n-r$ fixed; in this case we show that for any fixed $k\ge 2$ there can only be finitely many examples. We give a range for $n$ where these hypergraphs exist. For $n-r=1$ the range is completely determined: $k+1\le n \le {(k+2)^2\over 4}$. For larger values of $n-r$ the upper end of our range reaches approximately half of its upper bound. The lower end depends on the chromatic number of certain Johnson graphs.
A note on the localization number of random graphs: diameter two case
Published
• View Publication
• BIB
We study the localization game on dense random graphs. In this game, a {\em cop} $x$ tries to locate a {\em robber} $y$ by asking for the graph distance of $y$ from every vertex in a sequence of sets $W_1,W_2,\ldots,W_\ell$. We prove high probability upper and lower bounds for the minimum size of each $W_i$ that will guarantee that $x$ will be able to locate $y$.
A Graphical Approach to Finding the Frobenius Number, Genus and Hilbert Series of a Numerical Semigroup
This paper proposes a new, visual method to study numerical semigroups and the Frobenius problem. The method is based on building a so-called reduction graph, whose nodes usually correspond to monogenic semigroups, and whose edges can have multiple inputs and outputs. If such a construction is possible, then determining whether the studied semigroup is symmetric, or finding explicit forms of its Apéry set and Hilbert series, is reduced to straightforward computations assisted by a MAPLE program we made available on arXiv. This approach applies to many of the cases considered in literature, including semigroups generated by arithmetic and geometric sequences, compound sequences, progressions of the form $a^n, a^n + a, \ldots, a^n + a^{n-1}$, triangular and tetrahedral numbers, certain Fibonacci triplets, etc.
After explaining the general approach in more detail, the paper studies the types of edges that can be used as building blocks of a reduction graph, as well as a series of operations that serve to modify or combine valid reduction graphs. In the end of the paper, we use these techniques to solve the Frobenius problem for 7 new classes of numerical semigroups.
High Dimensional Expanders
Published
• View Publication
• BIB
Expander graphs have been, during the last five decades, the subject of a most fruitful interaction between pure mathematics and computer science, with influence and applications going both ways (cf. [Lub94], [HLW06], [Lub12] and the references therein). In the last decade, a theory of "high dimensional expanders" has begun to emerge. The goal of the current paper is to describe some paths of this new area of study.
Orientable $\mathbb{Z}{}_{n}$-distance magic regular graphs
Published
• View Publication
• BIB
Hefetz, Mütze, and Schwartz conjectured that every connected undirected graph admits an antimagic orientation. In this paper we support the analogous question for distance magic labeling. Let $Γ$ be an Abelian group of order $n$. A \textit{directed $Γ$-distance magic labeling} of an oriented graph $\vec{G} = (V,A)$ of order $n$ is a bijection $\vec{l}:V \rightarrow Γ$ with the property that there is a \textit{magic constant} $μ\in Γ$ such that for every $x \in V(G)$ $ w(x) = \sum_{y \in N^{+}(x)}\vec{l}(y) - \sum_{y \in N^{-}(x)} \vec{l}(y) = μ. $ In this paper we provide an infinite family of odd regular graphs possessing an orientable $\mathbb{Z}_{n}$-distance magic labeling. Our results refer to lexicographic product of graphs. We also present a family of odd regular graphs that are not orientable $\mathbb{Z}_{n}$-distance magic.
On the metric dimension of Cartesian powers of a graph
Published in Journal of Combinatorial Theory, Series A, Volume 165, 2019, Pages 1-14
• View Publication
• BIB
A set of vertices $S$ resolves a graph if every vertex is uniquely determined by its vector of distances to the vertices in $S$. The metric dimension of a graph is the minimum cardinality of a resolving set of the graph. Fix a connected graph $G$ on $q \ge 2$ vertices, and let $M$ be the distance matrix of $G$. We prove that if there exists $w \in \mathbb{Z}^q$ such that $\sum_i w_i = 0$ and the vector $Mw$, after sorting its coordinates, is an arithmetic progression with nonzero common difference, then the metric dimension of the Cartesian product of $n$ copies of $G$ is $(2+o(1))n/\log_q n$. In the special case that $G$ is a complete graph, our results close the gap between the lower bound attributed to Erdős and Rényi and the upper bounds developed subsequently by Lindström, Chvátal, Kabatianski, Lebedev and Thorpe.
On the second largest component of random hyperbolic graphs
Published
• View Publication
• BIB
We show that in the random hyperbolic graph model as formalized by Gugelmann et al. in the most interesting range of $\frac12 < α< 1$ the size of the second largest component is $Θ((\log n)^{1/(1-α)})$, thus answering a question of Bode et al. We also show that for $α=\frac12$ with constant probability the corresponding size is $Θ(\log n)$, whereas for $α=1$ it is $Ω(n^{b})$ for some $b > 0$.
Circuit Preserving Edge Maps II
Published in J. Combin. Theory Ser. B 42 (1987), 146-155
• Search Publication
The results obtained in this paper grew from an attempt to generalize the main theorem of [1]. There it was shown that any circuit injection (a 1-1 onto edge map f such that if C is a circuit then f(C) is a circuit) from a 3-connected, not necessarily finite graph G onto a graph H is induced by a vertex isomorphism, where H is assumed to not have any isolated vertices. In the present article we examine the situation when the 1-1 condition is dropped (Chapter 1). An interesting result then is that the theorem remains true for finite (3-connected) graphs G but not for infinite G. In Chapter 2 we retain the 1-1 condition but allow the image of f to be first an arbitrary matroid and second a binary matroid. An interesting result then is the following. Let G be a graph of even order. Then the statement "no nontrivial map f:=>M exists, where M is a binary matroid" is equivalent to "G is Hamiltonian". If G is a graph of odd order, then the statement "no nontrivial map f:G=>M exists, where M is a binary matroid" is equivalent to "G is almost Hamiltonian", where we define a graph G of order n to be almost Hamiltonian if every subset of vertices of order n-1 is contained in some circuit of G.
[1] J.H. Sanders and D. Sanders, Circuit preserving edge maps, J. Combin. Theory Ser. B 22 (1977),91-96.
The vertex-isoperimetric number of the incidence andnon-incidence graphs of unitals
Published
• View Publication
• BIB
We derive upper and lower bounds for the vertex-isoperimetric number of the incidence graphs of unitals and determine its order of magnitude. In the case when a unital contains sufficiently large arcs, these bounds agree and give rise to the precise value of this parameter. In particular, we obtain the exact value of the vertex-isoperimetric number of the incidence graphs of classical unitals and a certain subfamily of BM-unitals. In the case when the maximum size of arcs in the unital is relatively small, we obtain an upper bound for this parameter in terms of the vertex-isoperimetric number of the incidence graph. We also determine the exact value of the vertex-isoperimetric number of the non-incidence graph of any unital.
For every quantum walk there is a (classical) lifted Markov chain with faster mixing time
Quantum walks on graphs have been shown in certain cases to mix quadratically faster than their classical counterparts. Lifted Markov chains, consisting of a Markov chain on an extended state space which is projected back down to the original state space, also show considerable speedups in mixing time. Here, we construct a lifted Markov chain on a graph with $n^2 D(G)$ vertices that mixes exactly to the average mixing distribution of a quantum walk on the graph $G$ with $n$ vertices, where $D(G)$ is the diameter of $G$. Moreover, the mixing time of this chain is $D(G)$ timesteps, and we prove that computing the transition probabilities for the lifted chain takes time polynomial in $n$. As an immediate consequence, for every quantum walk there is a lifted Markov chain with a faster mixing time that is polynomial-time computable, as the quantum mixing time is trivially lower bounded by the graph diameter. The result is based on a lifting presented by Apers, Ticozzi and Sarlette (arXiv:1705.08253).
A Note on Construction of Dual-Hamiltonian Graphs
A connected simple graph is said dual-hamiltonian if its vertex set has a $2$-coloring such that each color class induces a tree. We call such a coloring a hamiltonian coloring. We prove that if $G$ is a graph with a certain type of hamiltonian coloring and $T$ is a tree, then $G\times T$ is also dual-hamiltonian having the same certain type of hamiltonian coloring. This result is used to constructed a class of dual-hamiltonian graphs, which includes the hypercubes and other multidimensional grids.
Connected power domination in graphs
Published
• View Publication
• BIB
The study of power domination in graphs arises from the problem of placing a minimum number of measurement devices in an electrical network while monitoring the entire network. A power dominating set of a graph is a set of vertices from which every vertex in the graph can be observed, following a set of rules for power system monitoring. In this paper, we study the problem of finding a minimum power dominating set which is connected; the cardinality of such a set is called the connected power domination number of the graph. We show that the connected power domination number of a graph is NP-hard to compute in general, but can be computed in linear time in cactus graphs and block graphs. We also give various structural results about connected power domination, including a cut vertex decomposition and a characterization of the effects of various vertex and edge operations on the connected power domination number. Finally, we present novel integer programming formulations for power domination, connected power domination, and power propagation time, and give computational results.