graph
34763 papers tagged with this keyword
Linear-Time and Efficient Distributed Algorithms for List Coloring Graphs on Surfaces
In 1994, Thomassen proved that every planar graph is 5-list-colorable. In 1995, Thomassen proved that every planar graph of girth at least five is 3-list-colorable. His proofs naturally lead to quadratic-time algorithms to find such colorings. Here, we provide the first such linear-time algorithms to find such colorings.
For a fixed surface S, Thomassen showed in 1997 that there exists a linear-time algorithm to decide if a graph embedded in S is 5-colorable and similarly in 2003 if a graph of girth at least five embedded in S is 3-colorable. Using the theory of hyperbolic families, the author and Thomas showed such algorithms exist for list-colorings. Dvorak and Kawarabayashi actually gave an $O(n^{O(g+1)})$-time algorithm to find such colorings (if they exist) in n-vertex graphs where g is the Euler genus of the surface. Here we provide the first such algorithm whose exponent does not depend on the genus; indeed, we provide a linear-time algorithm.
In 1988, Goldberg, Plotkin and Shannon provided a deterministic distributed algorithm for 7-coloring n-vertex planar graphs in $O(\log n)$ rounds. In 2018, Aboulker, Bonamy, Bousquet, and Esperet provided a deterministic distributed algorithm for 6-coloring n-vertex planar graphs in $O(\log^3 n)$ rounds. Their algorithm in fact works for 6-list-coloring. They also provided an $O(\log^3 n)$-round algorithm for 4-list-coloring triangle-free planar graphs. Chechik and Mukhtar independently obtained such algorithms for ordinary coloring in $O(\log n)$ rounds, which is best possible in terms of running time. Here we provide the first polylogarithmic deterministic distributed algorithms for 5-coloring n-vertex planar graphs and similarly for 3-coloring planar graphs of girth at least five. Indeed, these algorithms run in $O(\log n)$ rounds, work also for list-colorings, and even work on a fixed surface (assuming such a coloring exists).
$X$-Ramanujan Graphs
Let $X$ be an infinite graph of bounded degree; e.g., the Cayley graph of a free product of finite groups. If $G$ is a finite graph covered by $X$, it is said to be $X$-Ramanujan if its second-largest eigenvalue $λ_2(G)$ is at most the spectral radius $ρ(X)$ of $X$, and more generally $k$-quasi-$X$-Ramanujan if $λ_k(G)$ is at most $ρ(X)$. In case $X$ is the infinite $Δ$-regular tree, this reduces to the well known notion of a finite $Δ$-regular graph being Ramanujan. Inspired by the Interlacing Polynomials method of Marcus, Spielman, and Srivastava, we show the existence of infinitely many $k$-quasi-$X$-Ramanujan graphs for a variety of infinite $X$. In particular, $X$ need not be a tree; our analysis is applicable whenever $X$ is what we call an additive product graph. This additive product is a new construction of an infinite graph $\mathsf{AddProd}(A_1, \dots, A_c)$ from finite 'atom' graphs $A_1, \dots, A_c$ over a common vertex set. It generalizes the notion of the free product graph $A_1 * \cdots * A_c$ when the atoms $A_j$ are vertex-transitive, and it generalizes the notion of the universal covering tree when the atoms $A_j$ are single-edge graphs. Key to our analysis is a new graph polynomial $α(A_1, \dots, A_c;x)$ that we call the additive characteristic polynomial. It generalizes the well known matching polynomial $μ(G;x)$ in case the atoms $A_j$ are the single edges of $G$, and it generalizes the $r$-characteristic polynomial introduced in [Ravichandran'16, Leake-Ravichandran'18]. We show that $α(A_1, \dots, A_c;x)$ is real-rooted, and all of its roots have magnitude at most $ρ(\mathsf{AddProd}(A_1, \dots, A_c))$. This last fact is proven by generalizing Godsil's notion of treelike walks on a graph $G$ to a notion of freelike walks on a collection of atoms $A_1, \dots, A_c$.
From Ramanujan Graphs to Ramanujan Complexes
Published in Philosophical Transactions of the Royal Society A, 378 (2020), no. 2163
• View Publication
• BIB
Ramanujan graphs are graphs whose spectrum is bounded optimally. Such graphs have found numerous applications in combinatorics and computer science. In recent years, a high dimensional theory has emerged. In this paper these developments are surveyed. After explaining their connection to the Ramanujan conjecture we will present some old and new results with an emphasis on random walks on these discrete objects and on the Euclidean spheres. The latter lead to "golden gates" which are of importance in quantum computation.
The asymptotics of the partition of the cube into Weyl simplices, and an encoding of a Bernoulli scheme
Published in Funct. Anal. and Appl.#2,v.53,2019
• Search Publication
We suggest a combinatorial method of encoding continuous symbolic dynamical systems. A~continuous phase space, the infinite-dimensional cube, turns into the path space of a tree, and the shift is mapped to a transformation which was called a "transfer." The central problem is that of distinguishability: does the encoding separate almost all points of the space? The main result says that the partition of the cube into Weyl simplices satisfies this property.\footnote{{\it Keywords:} combinatorial encoding, transfer, Bernoulli scheme, graded graph.
Bounding the number of $(σ,ρ)$-dominating sets in trees, forests and graphs of bounded pathwidth
The notion of $(σ,ρ)$-dominating set generalizes many notions including dominating set, induced matching, perfect codes or independent sets. Bounds on the maximal number of such (maximal, minimal) sets were established for different $σ$ and $ρ$ and different classes of graphs. In particular, Rote showed that the number of minimal dominating sets in trees of order $n$ is at most $95^{\frac{n}{13}}$ and Golovach et Al. computed the asymptotic of the number of $(σ,ρ)$-dominating sets in paths for all $σ$ and $ρ$.
Here, we propose a method to compute bounds on the number of $(σ,ρ)$-dominating sets in graphs or bounded pathwidth, trees and forests, under the conditions that $σ$ and $ρ$ are finite unions of (possibly infinite) arithmetic progressions. It seems that this method shouldn't always work, but in practice we are able to give many sharp bounds by direct application of the method. Moreover, in the case of graphs of bounded pathwidth, we deduce the existence of an algorithm that can output abritrarily good approximations of the growth rate.
Unavoidable minors for graphs with large $\ell_p$-dimension
A metric graph is a pair $(G,d)$, where $G$ is a graph and $d:E(G) \to\mathbb{R}_{\geq0}$ is a distance function. Let $p \in [1,\infty]$ be fixed. An isometric embedding of the metric graph $(G,d)$ in $\ell_p^k = (\mathbb{R}^k, d_p)$ is a map $φ: V(G) \to \mathbb{R}^k$ such that $d_p(φ(v), φ(w)) = d(vw)$ for all edges $vw\in E(G)$. The $\ell_p$-dimension of $G$ is the least integer $k$ such that there exists an isometric embedding of $(G,d)$ in $\ell_p^k$ for all distance functions $d$ such that $(G,d)$ has an isometric embedding in $\ell_p^K$ for some $K$.
It is easy to show that $\ell_p$-dimension is a minor-monotone property. In this paper, we characterize the minor-closed graph classes $\mathcal{C}$ with bounded $\ell_p$-dimension, for $p \in \{2,\infty\}$. For $p=2$, we give a simple proof that $\mathcal{C}$ has bounded $\ell_2$-dimension if and only if $\mathcal{C}$ has bounded treewidth. In this sense, the $\ell_2$-dimension of a graph is `tied' to its treewidth.
For $p=\infty$, the situation is completely different. Our main result states that a minor-closed class $\mathcal{C}$ has bounded $\ell_\infty$-dimension if and only if $\mathcal{C}$ excludes a graph obtained by joining copies of $K_4$ using the $2$-sum operation, or excludes a Möbius ladder with one `horizontal edge' removed.
Maps related to polar spaces preserving a Weyl distance or an incidence condition
Published in Journal of Combinatorial Theory, Series A 160C (2018) pp. 332-408
• View Publication
• BIB
Let $Ω_i$ and $Ω_j$ be the sets of elements of respective types $i$ and $j$ of a polar space~$Δ$ of rank at least $3$, viewed as a Tits-building. For any Weyl distance $δ$ between $Ω_i$ and $Ω_j$, we show that $δ$ is characterised by $i$ and $j$ and two additional numerical parameters $k$ and $\ell$. We consider permutations $ρ$ of $Ω_i \cup Ω_j$ that preserve a single Weyl distance $δ$. Up to a minor technical condition on $\ell$, we prove that, up to trivial cases and two classes of true exceptions, $ρ$ is induced by an automorphism of the Tits-building associated to $Δ$, which is always a type-preserving automorphism of $Δ$ (and hence preserving all Weyl-distances), unless $Δ$ is hyperbolic, in which case there are outer automorphisms. For each class of exceptions, we determine a Tits-building $Δ'$ in which $Δ$ naturally embeds and is such that $ρ$ is induced by an automorphism of $Δ'$. At the same time, we prove similar results for permutations preserving a natural incidence condition. These yield combinatorial characterisations of all groups of algebraic origin which are the full automorphism group of some polar space as the automorphism group of many bipartite graphs.
The Sortability of Graphs and Matrices under Context Directed Swaps
The study of sorting permutations by block interchanges has recently been stimulated by a phenomenon observed in the genome maintenance of certain ciliate species. The result was the identification of a block interchange operation that applies only under certain constraints. Interestingly, this constrained block interchange operation can be generalized naturally to simple graphs and to an operation on square matrices. This more general context provides numerous techniques applicable to the original context. In this paper we consider the more general context, and obtain an enumeration, in closed form, of all simple graphs on n vertices that are ``sortable" by the graph analogue of the constrained version of block interchanges. We also obtain asymptotic results on the proportion of graphs on n vertices that are so sortable.
On functions computed on trees
Published in Neural Computation 31 (2019), no. 11, 2075--2137
• View Publication
• BIB
Any function can be constructed using a hierarchy of simpler functions through compositions. Such a hierarchy can be characterized by a binary rooted tree. Each node of this tree is associated with a function which takes as inputs two numbers from its children and produces one output. Since thinking about functions in terms of computation graphs is getting popular we may want to know which functions can be implemented on a given tree. Here, we describe a set of necessary constraints in the form of a system of non-linear partial differential equations that must be satisfied. Moreover, we prove that these conditions are sufficient in both contexts of analytic and bit-valued functions. In the latter case, we explicitly enumerate discrete functions and observe that there are relatively few. Our point of view allows us to compare different neural network architectures in regard to their function spaces. Our work connects the structure of computation graphs with the functions they can implement and has potential applications to neuroscience and computer science.
Directed domination in oriented hypergraphs
Erdős [On Schütte problem, Math. Gaz. 47 (1963)] proved that every tournament on $n$ vertices has a directed dominating set of at most $\log (n+1)$ vertices, where $\log$ is the logarithm to base $2$. He also showed that there is a tournament on $n$ vertices with no directed domination set of cardinality less than $\log n - 2 \log \log n + 1$. This notion of directed domination number has been generalized to arbitrary graphs by Caro and Henning in [Directed domination in oriented graphs, Discrete Appl. Math. (2012) 160:7--8.]. However, the generalization to directed r-uniform hypergraphs seems to be rare. Among several results, we prove the following upper and lower bounds on $\overrightarrowΓ_{r-1}(H(n,r))$, the upper directed $(r-1)$-domination number of the complete $r$-uniform hypergraph on $n$ vertices $H(n,r)$, which is the main theorem of this paper: \[c (\ln n)^{\frac{1}{r-1}} \le \overrightarrowΓ_{r-1}(H(n,r)) \le C \ln n,\] where $r$ is a positive integer and $c= c(r) > 0$ and $C = C(r) > 0$ are constants depending on $r$.
The Extension Degree Conditions for Fractional Factor
In Gao's previous work, the authors determined several graph degree conditions of a graph which admits fractional factor in particular settings. It was revealed that these degree conditions are tight if $b=f(x)=g(x)=a$ for all vertices $x$ in $G$. In this paper, we continue to discuss these degree conditions for admitting fractional factor in the setting that several vertices and edges are removed and there is a difference $Δ$ between $g(x)$ and $f(x)$ for every vertex $x$ in $G$. These obtained new degree conditions reformulate Gao's previous conclusions, and show how $Δ$ acts in the results. Furthermore, counterexamples are structured to reveal the sharpness of degree conditions in the setting $f(x)=g(x)+Δ$.
The Hamiltonicity, Hamiltonian Connectivity, and Longest (s, t)-path of L-shaped Supergrid Graphs
Supergrid graphs contain grid graphs and triangular grid graphs as their subgraphs. The Hamiltonian cycle and path problems for general supergrid graphs were known to be NP-complete. A graph is called Hamiltonian if it contains a Hamiltonian cycle, and is said to be Hamiltonian connected if there exists a Hamiltonian path between any two distinct vertices in it. In this paper, we first prove that every L-shaped supergrid graph always contains a Hamiltonian cycle except one trivial condition. We then verify the Hamiltonian connectivity of L-shaped supergrid graphs except few conditions. The Hamiltonicity and Hamiltonian connectivity of L-shaped supergrid graphs can be applied to compute the minimum trace of computerized embroidery machine and 3D printer when a L-like object is printed. Finally, we present a linear-time algorithm to compute the longest (s, t)-path of L-shaped supergrid graph given two distinct vertices s and t.
Isoperimetry, Stability, and Irredundance in Direct Products
The direct product of graphs $G_1,\ldots,G_n$ is the graph with vertex set $V(G_1)\times\cdots\times V(G_n)$ in which two vertices $(g_1,\ldots,g_n)$ and $(g_1',\ldots,g_n')$ are adjacent if and only if $g_i$ is adjacent to $g_i'$ in $G_i$ for all $i$. Building off of the recent work of Brakensiek, we prove an optimal vertex isoperimetric inequality for direct products of complete multipartite graphs. Applying this inequality, we derive a stability result for independent sets in direct products of balanced complete multipartite graphs, showing that every large independent set must be close to the maximal independent set determined by setting one of the coordinates to be constant. Armed with these isoperimetry and stability results, we prove that the upper irredundance number of a direct product of balanced complete multipartite graphs is equal to its independence number in all but at most $37$ cases. This proves most of a conjecture of Burcroff that arose as a strengthening of a conjecture of the second author and Iyer. We also propose a further strengthening of Burcroff's conjecture.
Eulerian Spaces
We develop a unified theory of Eulerian spaces by combining the combinatorial theory of infinite, locally finite Eulerian graphs as introduced by Diestel and Kühn with the topological theory of Eulerian continua defined as irreducible images of the circle, as proposed by Bula, Nikiel and Tymchatyn.
First, we clarify the notion of an Eulerian space and establish that all competing definitions in the literature are in fact equivalent. Next, responding to an unsolved problem of Treybig and Ward from 1981, we formulate a combinatorial conjecture for characterising the Eulerian spaces, in a manner that naturally extends the characterisation for finite Eulerian graphs. Finally, we present far-reaching results in support of our conjecture which together subsume and extend all known results about the Eulerianity of infinite graphs and continua to date. In particular, we characterise all one-dimensional Eulerian spaces.
Normal $5$-edge-colorings of a family of Loupekhine snarks
Published
• View Publication
• BIB
In a proper edge-coloring of a cubic graph an edge $uv$ is called poor or rich, if the set of colors of the edges incident to $u$ and $v$ contains exactly three or five colors, respectively. An edge-coloring of a graph is normal, if any edge of the graph is either poor or rich. In this note, we show that some snarks constructed by using a method introduced by Loupekhine admit a normal edge-coloring with five colors. The existence of a Berge-Fulkerson Covering for a part of the snarks considered in this paper was recently proved by Manuel and Shanthi (2015). Since the existence of a normal edge-coloring with five colors implies the existence of a Berge-Fulkerson Covering, our main theorem can be viewed as a generalization of their result.
Perfect digraphs
Let $D$ be a digraph. Given a set of vertices $S \subseteq V(D)$, an $S$-path partition $\mathcal{P}$ of $D$ is a collection of paths of $D$ such that $\{V(P) \colon P \in \mathcal{P}\}$ is a partition of $V(D)$ and $|V(P) \cap S| = 1$ for every $P \in \mathcal{P}$. We say that $D$ satisfies the $α$-property if, for every maximum stable set $S$ of $D$, there exists an $S$-path partition of $D$, and we say that $D$ is $α$-diperfect if every induced subdigraph of $D$ satisfies the $α$-property. A digraph $C$ is an anti-directed odd cycle if (i) the underlying graph of $C$ is a cycle $x_1x_2 \cdots x_{2k + 1}x_1$, where $k \in \mathbb{Z}$ and $k \geq 2$, and (ii) each of the vertices $x_1, x_2, x_3, x_4, x_6,$ $x_8, \ldots, x_{2k}$ is either a source or a sink. Berge (1982) conjectured that a digraph is $α$-diperfect if, and only if, it contains no induced anti-directed odd cycle. Remark that this conjecture is strikingly similar to Berge's conjecture on perfect graphs -- nowadays known as the Strong Perfect Graph Theorem (Chudnovsky, Robertson, Seymour, and Thomas, 2006). To the best of our knowledge, Berge's conjecture for $α$-diperfect digraphs has been verified only for symmetric digraphs and digraphs whose underlying graph are perfect. In this paper, we verify it for digraphs whose underlying graphs are series-parallel and for in-semicomplete digraphs. Moreover, we propose a conjecture similar to Berge's and verify it for all the known cases of Berge's conjecture.
Subdivisions of vertex-disjoint cycles in bipartite graphs
Let $n\geq 6,k\geq 0$ be two integers. Let $H$ be a graph of order $n$ with $k$ components, each of which is an even cycle of length at least $6$ and $G$ be a bipartite graph with bipartition $(X,Y)$ such that $|X|=|Y|\geq n/2$. In this paper, we show that if the minimum degree of $G$ is at least $n/2-k+1$, then $G$ contains a subdivision of $H$. This generalized an older result of Wang.
Strict log-concavity of the Kirchhoff polynomial and its applications to the strong Lefschetz property
Anari, Gharan, and Vinzant proved (complete) log-concavity of the basis generating functions for all matroids. From the viewpoint of combinatorial Hodge theory, it is natural to ask whether these functions are "strictly" log-concave for simple matroids. In this paper, we show this strictness for simple graphic matroids, that is, we show that Kirchhoff polynomials of simple graphs are strictly log-concave. Our key observation is that the Kirchhoff polynomial {of a complete graph} can be seen as the (irreducible) relative invariant of a certain prehomogeneous vector space, which may be independently interesting in its own right. Furthermore, we prove that for any $a_i\in\mathbb{R}_{>0}$, $a_1x_1+\cdots+a_nx_n\in R^1_{M}$ satisfies the strong Lefschetz property (moreover, Hodge--Riemann bilinear relation) at degree one of the Artinian Gorenstein algebra $R^*_M$ associated to a graphic matroid $M$, which is defined by Maeno and Numata for all matroids.
Subgroup perfect codes in Cayley graphs
Let $Γ$ be a graph with vertex set $V(Γ)$. A subset $C$ of $V(Γ)$ is called a perfect code in $Γ$ if $C$ is an independent set of $Γ$ and every vertex in $V(Γ)\setminus C$ is adjacent to exactly one vertex in $C$. A subset $C$ of a group $G$ is called a perfect code of $G$ if there exists a Cayley graph of $G$ which admits $C$ as a perfect code. A group $G$ is said to be code-perfect if every proper subgroup of $G$ is a perfect code of $G$. In this paper we prove that a group is code-perfect if and only if it has no elements of order $4$. We also prove that a proper subgroup $H$ of an abelian group $G$ is a perfect code of $G$ if and only if the Sylow $2$-subgroup of $H$ is a perfect code of the Sylow $2$-subgroup of $G$. This reduces the problem of determining when a given subgroup of an abelian group is a perfect code to the case of abelian $2$-groups. Finally, we determine all subgroup perfect codes in any generalized quaternion group.
On the independence number of $(3, 3)$-Ramsey graphs and the Folkman number $F_e(3, 3; 4)$
Published in Australas. J. Comb., 77:35-50, 2020
• Search Publication
The graph $G$ is called a $(3, 3)$-Ramsey graph if in every coloring of the edges of $G$ in two colors there is a monochromatic triangle. The minimum number of vertices of the $(3, 3)$-Ramsey graphs without 4-cliques is denoted by $F_e(3, 3; 4)$. The number $F_e(3, 3; 4)$ is referred to as the most wanted Folkman number. It is known that $20 \leq F_e(3, 3; 4) \leq 786$.
In this paper we prove that if $G$ is an $n$-vertex $(3, 3)$-Ramsey graph without 4-cliques, then $α(G) \leq n - 16$, where $α(G)$ denotes the independence number of $G$. Using the newly obtained bound on $α(G)$ and complex computer calculations we obtain the new lower bound $$F_e(3, 3; 4) \geq 21.$$