graph
35299 papers tagged with this keyword
Compressed Cliques Graphs, Clique Coverings and Positive Zero Forcing
Published
• View Publication
• BIB
Zero forcing parameters, associated with graphs, have been studied for over a decade, and have gained popularity as the number of related applications grows. In particular, it is well-known that such parameters are related to certain vertex coverings. Continuing along these lines, we investigate positive zero forcing within the context of certain clique coverings. A key object considered here is the compressed cliques graph. We study a number of properties associated with the compressed cliques graph, including: uniqueness, forbidden subgraphs, connections to Johnson graphs, and positive zero forcing.
On the Hamiltonian Number of a Planar Graph
Published
• View Publication
• BIB
The Hamiltonian number of a connected graph is the minimum of the lengths of the closed, spanning walks in the graph. In 1968, Grinberg published a necessary condition for the existence of a Hamiltonian cycle in a planar graph, formulated in terms of the lengths of its face cycles. We show how Grinberg's theorem can be adapted to provide a lower bound on the Hamiltonian number of a planar graph.
Triangle-free Uniquely 3-Edge Colorable Cubic Graphs
Published
• View Publication
• BIB
This paper presents infinitely many new examples of triangle-free uniquely 3-edge colorable cubic graphs. The only such graph previously known was given by Tutte in 1976.
Structure of the automorphism group of the augmented cube graph
\noindent The augmented cube graph $AQ_n$ is the Cayley graph of $\mathbb{Z}_2^n$ with respect to the set of $2n-1$ generators $\{e_1,e_2, \ldots,e_n, 00\ldots0011, 00\ldots0111, 11\ldots1111 \}$. It is known that the order of the automorphism group of the graph $AQ_n$ is $2^{n+3}$, for all $n \ge 4$. In the present paper, we obtain the structure of the automorphism group of $AQ_n$ to be \[ \Aut(AQ_n) \cong \mathbb{Z}_2^n \rtimes D_8~~(n \ge 4),\] where $D_8$ is the dihedral group of order 8. It is shown that the Cayley graph $AQ_3$ is non-normal and that $AQ_n$ is normal for all $n \ge 4$. We also analyze the clique structure of $AQ_4$ and show that the automorphism group of $AQ_4$ is isomorphic to that of $AQ_3$: \[ \Aut(AQ_4) \cong \Aut(AQ_3) \cong (D_8 \times D_8) \rtimes C_2.\] All the nontrivial blocks of $AQ_4$ are also determined.
One-way infinite 2-walks in planar graphs
Published
• View Publication
• BIB
We prove that every 3-connected 2-indivisible infinite planar graph has a 1-way infinite 2-walk. (A graph is 2-indivisible if deleting finitely many vertices leaves at most one infinite component, and a 2-walk is a spanning walk using every vertex at most twice.) This improves a result of Timar, which assumed local finiteness. Our proofs use Tutte subgraphs, and allow us to also provide other results when the graph is bipartite or an infinite analog of a triangulation: then the prism over the graph has a spanning 1-way infinite path.
On sets not belonging to algebras and rainbow matchings in graphs
Published
• View Publication
• BIB
Motivated by a question of Grinblat, we study the minimal number $\mathfrak{v}(n)$ that satisfies the following. If $A_1,\ldots, A_n$ are equivalence relations on a set $X$ such that for every $i\in[n]$ there are at least $\mathfrak{v}(n)$ elements whose equivalence classes with respect to $A_i$ are nontrivial, then $A_1, \ldots, A_n$ contain a rainbow matching, i.e. there exist $2n$ distinct elements $x_1,y_1,\ldots,x_n,y_n\in X$ with $x_i\sim_{A_i} y_i$ for each $i\in [n]$. Grinblat asked whether $\mathfrak{v}(n) = 3n-2$ for every $n\geq 4$. The best-known upper bound was $\mathfrak{v}(n) \leq 16n/5 + \mathcal{O}(1)$ due to Nivash and Omri. Transferring the problem into the setting of edge-coloured multigraphs, we affirm Grinblat's question asymptotically, i.e. we show that $\mathfrak{v}(n) = 3n+o(n)$.
Outermost boundaries for star-connected components in percolation
Tile \(\mathbb{R}^2\) into disjoint unit squares \(\{S_k\}_{k \geq 0}\) with the origin being the centre of \(S_0\) and say that \(S_i\) and \(S_j\) are star-adjacent if they share a corner and plus-adjacent if they share an edge. Every square is either vacant or occupied. If the occupied plus-connected component \(C^+(0)\) containing the origin is finite, it is known that the outermost boundary \(\partial^+_0\) of \(C^+(0)\) is a unique cycle surrounding the origin. For the finite occupied star-connected component \(C(0)\) containing the origin, we prove in this paper that the outermost boundary \(\partial_0\) is a unique connected graph consisting of a union of cycles \(\cup_{1 \leq i \leq n} C_i\) with mutually disjoint interiors. Moreover, we have that each pair of cycles in \(\partial_0\) share at most one vertex in common and we provide an inductive procedure to obtain a circuit containing all the edges of \(\cup_{1 \leq i \leq n} C_i.\) This has applications for contour analysis of star-connected components in percolation.
Universal targets for homomorphisms of edge-colored graphs
Published
• View Publication
• BIB
A $k$-edge-colored graph is a finite, simple graph with edges labeled by numbers $1,\ldots,k$. A function from the vertex set of one $k$-edge-colored graph to another is a homomorphism if the endpoints of any edge are mapped to two different vertices connected by an edge of the same color. Given a class $\mathcal{F}$ of graphs, a $k$-edge-colored graph $\mathbb{H}$ (not necessarily with the underlying graph in $\mathcal{F}$) is $k$-universal for $\mathcal{F}$ when any $k$-edge-colored graph with the underlying graph in $\mathcal{F}$ admits a homomorphism to $\mathbb{H}$. We characterize graph classes that admit $k$-universal graphs. For such classes, we establish asymptotically almost tight bounds on the size of the smallest universal graph.
For a nonempty graph $G$, the density of $G$ is the maximum ratio of the number of edges to the number of vertices ranging over all nonempty subgraphs of $G$. For a nonempty class $\mathcal{F}$ of graphs, $D(\mathcal{F})$ denotes the density of $\mathcal{F}$, that is the supremum of densities of graphs in $\mathcal{F}$.
The main results are the following. The class $\mathcal{F}$ admits $k$-universal graphs for $k\geq2$ if and only if there is an absolute constant that bounds the acyclic chromatic number of any graph in $\mathcal{F}$. For any such class, there exists a constant $c$, such that for any $k \geq 2$, the size of the smallest $k$-universal graph is between $k^{D(\mathcal{F})}$ and $ck^{\lceil D(\mathcal{F})\rceil}$.
A connection between the acyclic coloring and the existence of universal graphs was first observed by Alon and Marshall (Journal of Algebraic Combinatorics, 8(1):5-13, 1998). One of their results is that for planar graphs, the size of the smallest $k$-universal graph is between $k^3+3$ and $5k^4$. Our results yield that there exists a constant $c$ such that for all $k$, this size is bounded from above by $ck^3$.
Random walk on sparse random digraphs
Published
• View Publication
• BIB
A finite ergodic Markov chain exhibits cutoff if its distance to equilibrium remains close to its initial value over a certain number of iterations and then abruptly drops to near 0 on a much shorter time scale. Originally discovered in the context of card shuffling (Aldous-Diaconis, 1986), this remarkable phenomenon is now rigorously established for many reversible chains. Here we consider the non-reversible case of random walks on sparse directed graphs, for which even the equilibrium measure is far from being understood. We work under the configuration model, allowing both the in-degrees and the out-degrees to be freely specified. We establish the cutoff phenomenon, determine its precise window and prove that the cutoff profile approaches a universal shape. We also provide a detailed description of the equilibrium measure.
Embedding the Erdős-Rényi Hypergraph into the Random Regular Hypergraph and Hamiltonicity
Published in J. Combin. Theory Ser. B 122 (2017) 719-740
• View Publication
• BIB
We establish an inclusion relation between two uniform models of random $k$-graphs (for constant $k \ge 2$) on $n$ labeled vertices: $\mathbb G^{(k)}(n,m)$, the random $k$-graph with $m$ edges, and $\mathbb R^{(k)}(n,d)$, the random $d$-regular $k$-graph. We show that if $n\log n\ll m\ll n^k$ we can choose $d = d(n) \sim {km}/n$ and couple $\mathbb G^{(k)}(n,m)$ and $\mathbb R^{(k)}(n,d)$ so that the latter contains the former with probability tending to one as $n\to\infty$. This extends an earlier result of Kim and Vu about "sandwiching random graphs". In view of known threshold theorems on the existence of different types of Hamilton cycles in $\mathbb G^{(k)}(n,m)$, our result allows us to find conditions under which $\mathbb R^{(k)}(n,d)$ is Hamiltonian. In particular, for $k\ge 3$ we conclude that if $n^{k-2} \ll d \ll n^{k-1}$, then a.a.s. $\mathbb R^{(k)}(n,d)$ contains a tight Hamilton cycle.
Deterministic Abelian Sandpile and square-triangle tilings
Published
• View Publication
• BIB
The Abelian Sandpile Model, seen as a deterministic lattice automaton, on two-dimensional periodic graphs generates complex regular patterns displaying (fractal) self-similarity. In particular, on a variety of lattices and initial conditions, at all sizes, there appears what we call an exact Sierpinski structure: the volume is filled with periodic patterns, glued together along straight lines, with the topology of a triangular Sierpinski gasket. Various lattices (square, hexagonal, kagome,...), initial conditions, and toppling rules show Sierpinski structures which are apparently unrelated and involve different mechanisms. As will be shown elsewhere, all these structures fall under one roof, and are in fact different projections of a unique mechanism pertinent to a family of deterministic surfaces in a 4-dimensional lattice. This short note gives a description of this surface, and of the combinatorics associated to its construction.
On the neighbour sum distinguishing index of graphs with bounded maximum average degree
Published in Graphs Combin. 33(6) (2017) 1459-1471
• View Publication
• BIB
A proper edge $k$-colouring of a graph $G=(V,E)$ is an assignment $c:E\to \{1,2,\ldots,k\}$ of colours to the edges of the graph such that no two adjacent edges are associated with the same colour. A neighbour sum distinguishing edge $k$-colouring, or nsd $k$-colouring for short, is a proper edge $k$-colouring such that $\sum_{e\ni u}c(e)\neq \sum_{e\ni v}c(e)$ for every edge $uv$ of $G$. We denote by $χ'_{\sum}(G)$ the neighbour sum distinguishing index of $G$, which is the least integer $k$ such that an nsd $k$-colouring of $G$ exists. By definition at least maximum degree, $Δ(G)$ colours are needed for this goal. In this paper we prove that $χ'_Σ(G) \leq Δ(G)+1$ for any graph $G$ without isolated edges and with ${\rm mad}(G)<3$, $Δ(G) \geq 6$.
Recent advances on Dirac-type problems for hypergraphs
Published
• View Publication
• BIB
A fundamental question in graph theory is to establish conditions that ensure a graph contains certain spanning subgraphs. Two well-known examples are Tutte's theorem on perfect matchings and Dirac's theorem on Hamilton cycles. Generalizations of Dirac's theorem, and related matching and packing problems for hypergraphs, have received much attention in recent years. New tools such as the absorbing method and regularity method have helped produce many new results, and yet some fundamental problems in the area remain unsolved. We survey recent developments on Dirac-type problems along with the methods involved, and highlight some open problems.
Nucleation and growth in two dimensions
We consider a dynamical process on a graph $G$, in which vertices are infected (randomly) at a rate which depends on the number of their neighbours that are already infected. This model includes bootstrap percolation and first-passage percolation as its extreme points. We give a precise description of the evolution of this process on the graph $\mathbb{Z}^2$, significantly sharpening results of Dehghanpour and Schonmann. In particular, we determine the typical infection time up to a constant factor for almost all natural values of the parameters, and in a large range we obtain a stronger, sharp threshold.
On the extremal total reciprocal edge-eccentricity of trees
Published
• View Publication
• BIB
The total reciprocal edge-eccentricity is a novel graph invariant with vast potential in structure activity/property relationships. This graph invariant displays high discriminating power with respect to both biological activity and physical properties. If $G=(V_G,E_G)$ is a simple connected graph, then the total reciprocal edge-eccentricity (REE) of $G$ is defined as $ξ^{ee}(G)=\sum_{uv\in E_G}(1/\varepsilon_G(u)+1/\varepsilon_G(v))$, where $\varepsilon_G(v)$ is the eccentricity of the vertex $v$. In this paper we first introduced four edge-grafting transformations to study the mathematical properties of the reciprocal edge-eccentricity of $G$. Using these elegant mathematical properties, we characterize the extremal graphs among $n$-vertex trees with given graphic parameters, such as pendants, matching number, domination number, diameter, vertex bipartition, et al. Some sharp bounds on the reciprocal edge-eccentricity of trees are determined.
Variance and Covariance of Several Simultaneous Outputs of a Markov Chain
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 18 no. 3, Analysis of Algorithms (June 23, 2016) dmtcs:1341
• View Publication
• BIB
The partial sum of the states of a Markov chain or more generally a Markov source is asymptotically normally distributed under suitable conditions. One of these conditions is that the variance is unbounded. A simple combinatorial characterization of Markov sources which satisfy this condition is given in terms of cycles of the underlying graph of the Markov chain. Also Markov sources with higher dimensional alphabets are considered.
Furthermore, the case of an unbounded covariance between two coordinates of the Markov source is combinatorically characterized. If the covariance is bounded, then the two coordinates are asymptotically independent.
The results are illustrated by several examples, like the number of specific blocks in $0$-$1$-sequences and the Hamming weight of the width-$w$ non-adjacent form.
Distant set distinguishing total colourings of graphs
Published in Electron. J. Combin. 23(2) (2016), #P2.54
• Search Publication
The Total Colouring Conjecture suggests that $Δ+3$ colours ought to suffice in order to provide a proper total colouring of every graph $G$ with maximum degree $Δ$. Thus far this has been confirmed up to an additive constant factor, and the same holds even if one additionally requires every pair of neighbours in $G$ to differ with respect to the sets of their incident colours, so called pallets. Within this paper we conjecture that an upper bound of the form $Δ+const.$ still remains valid even after extending the distinction requirement to pallets associated with vertices at distance at most $r$, if only $G$ has minimum degree $δ$ larger than a constant dependent on $r$. We prove that such assumption on $δ$ is then unavoidable and exploit the probabilistic method in order to provide two supporting results for the conjecture. Namely, we prove the upper bound $(1+o(1))Δ$ for every $r$, and show that the conjecture holds if $δ\geq \varepsilonΔ$ for any fixed $ε\in(0,1]$ and $r$, i.e., in particular for regular graphs.
The Hamiltonian problem and $t$-path traceable graphs
Published in Involve 10 (2017) 801-812
• View Publication
• BIB
The problem of characterizing maximal non-Hamiltonian graphs may be naturally extended to characterizing graphs that are maximal with respect to non-traceability and beyond that to $t$-path traceability. We show how traceability behaves with respect to disjoint union of graphs and the join with a complete graph. Our main result is a decomposition theorem that reduces the problem of characterizing maximal $t$-path traceable graphs to characterizing those that have no universal vertex. We generalize a construction of maximal non-traceable graphs by Zelinka to $t$-path traceable graphs.
Binomial partial Steiner triple systems with complete graphs: structural problems
In the paper we study the structure of hyperplanes of so called binomial partial Steiner triple systems (BSTS's, in short) i.e. of configurations with $\binom{n}{2}$ points and $\binom{n}{3}$ lines, each line of the size $3$. Consequently, a BSTS has $n-2$ lines through each of its points.
A Dichotomy Theorem for Circular Colouring Reconfiguration
Published
• View Publication
• BIB
The "reconfiguration problem" for circular colourings asks, given two $(p,q)$-colourings $f$ and $g$ of a graph $G$, is it possible to transform $f$ into $g$ by changing the colour of one vertex at a time such that every intermediate mapping is a $(p,q)$-colouring? We show that this problem can be solved in polynomial time for $2\leq p/q <4$ and is PSPACE-complete for $p/q\geq 4$. This generalizes a known dichotomy theorem for reconfiguring classical graph colourings.