graph
35436 papers tagged with this keyword
On the packing chromatic number of Moore graphs
Published
• View Publication
• BIB
The \emph{packing chromatic number $χ_ρ(G)$} of a graph $G$ is the smallest integer $k$ for which there exists a vertex coloring $Γ: V(G)\rightarrow \{1,2,\dots , k\}$ such that any two vertices of color $i$ are at distance at least $i + 1$. For $g\in \{6,8,12\}$, $(q+1,g)$-Moore graphs are $(q+1)$-regular graphs with girth $g$ which are the incidence graphs of a symmetric generalized $g/2$-gons of order $q$. In this paper we study the packing chromatic number of a $(q+1,g)$-Moore graph $G$. For $g=6$ we present the exact value of $χ_ρ(G)$. For $g=8$, we determine $χ_ρ(G)$ in terms of the intersection of certain structures in generalized quadrangles. For $g=12$, we present lower and upper bounds for this invariant when $q\ge 9$ an odd prime power.
Ramanujan Graphs and the Spectral Gap of Supercomputing Topologies
Published
• View Publication
• BIB
Graph eigenvalues play a fundamental role in controlling structural properties, such as bisection bandwidth, diameter, and fault tolerance, which are critical considerations in the design of supercomputing interconnection networks. This motivates considering graphs with optimal spectral expansion, called Ramanujan graphs, as potential candidates for interconnection networks. In this work, we explore this possibility by comparing Ramanujan graph properties against those of a wide swath of current and proposed supercomputing topologies. We derive analytic expressions for the spectral gap, bisection bandwidth, and diameter of these topologies, some of which were previously unknown. We find the spectral gap of existing topologies are well-separated from the optimal achievable by Ramanujan topologies, suggesting the potential utility of adopting Ramanujan graphs as interconnection networks.
Random walks on dense graphs and graphons
Published
• View Publication
• BIB
Graph-limit theory focuses on the convergence of sequences of graphs when the number of nodes becomes arbitrarily large. This framework defines a continuous version of graphs allowing for the study of dynamical systems on very large graphs, where classical methods would become computationally intractable. Through an approximation procedure, the standard system of coupled ordinary differential equations is replaced by a nonlocal evolution equation on the unit interval. In this work, we adopt this methodology to explore the continuum limit of random walks, a popular model for diffusion on graphs. We focus on two classes of processes on dense weighted graph, in discrete and in continuous time, whose dynamics are encoded in the transition matrix and the random-walk Laplacian. We also show that previous works on the discrete heat equation, associated to the combinatorial Laplacian, fall within the scope of our approach. Finally, we apply the spectral theory of operators to characterize the relaxation time of the process in the continuum limit.
Decreasing the maximum average degree by deleting an independent set or a d-degenerate subgraph
Published
• View Publication
• BIB
The maximum average degree $\mathrm{mad}(G)$ of a graph $G$ is the maximum average degree over all subgraphs of $G$. In this paper we prove that for every $G$ and positive integer $k$ such that $\mathrm{mad}(G) \ge k$ there exists $S \subseteq V(G)$ such that $\mathrm{mad}(G - S) \le \mathrm{mad}(G) - k$ and $G[S]$ is $(k-1)$-degenerate. Moreover, such $S$ can be computed in polynomial time. In particular there exists an independent set $I$ in $G$ such that $\mathrm{mad}(G-I) \le \mathrm{mad}(G)-1$ and an induced forest $F$ such that $\mathrm{mad}(G-F) \le \mathrm{mad}(G) - 2$.
Graph Policy Gradients for Large Scale Unlabeled Motion Planning with Constraints
In this paper, we present a learning method to solve the unlabelled motion problem with motion constraints and space constraints in 2D space for a large number of robots. To solve the problem of arbitrary dynamics and constraints we propose formulating the problem as a multi-agent problem. In contrast to previous works that propose using learning solutions for unlabelled motion planning with constraints, we are able to demonstrate the scalability of our methods for a large number of robots. The curse of dimensionality one encounters when working with a large number of robots is mitigated by employing a graph convolutional neural (GCN) network to parametrize policies for the robots. The GCN reduces the dimensionality of the problem by learning filters that aggregate information among robots locally, similar to how a convolutional neural network is able to learn local features in an image. Additionally, by employing a GCN we are also able to overcome the computational overhead of training policies for a large number of robots by first training graph filters for a small number of robots followed by zero-shot policy transfer to a larger number of robots. We demonstrate the effectiveness of our framework through various simulations.
Constructing Laplacian matrices with Soules vectors: inverse eigenvalue problem and applications
The symmetric nonnegative inverse eigenvalue problem (SNIEP) asks which sets of numbers (counting multiplicities) can be the eigenvalues of a symmetric matrix with nonnegative entries. While examples of such matrices are abundant in linear algebra and various applications, this question is still open for matrices of dimension $N\geq 5$. One of the approaches to solve the SNIEP was proposed by George W. Soules, relying on a specific type of eigenvectors (Soules vectors) to derive sufficient conditions for this problem. Elsner et al. later showed a canonical way to construct all Soules vectors, based on binary rooted trees. While Soules vectors are typically treated as a totally ordered set of vectors, we propose in this article to consider a relaxed alternative: a partially ordered set of Soules vectors. We show that this perspective enables a more complete characterization of the sufficient conditions for the SNIEP. In particular, we show that the set of eigenvalues that satisfy these sufficient conditions is a convex cone, with symmetries corresponding to the automorphisms of the binary rooted tree from which the Soules vectors were constructed. As a second application, we show how Soules vectors can be used to construct graph Laplacian matrices with a given spectrum and describe a number of interesting connections with the concepts of hierarchical random graphs, equitable partitions and effective resistance.
Even-hole-free graphs still have bisimplicial vertices
Published
• View Publication
• BIB
A {\em hole} in a graph is an induced subgraph which is a cycle of length at least four. A hole is called {\em even} if it has an even number of vertices. An {\em even-hole-free} graph is a graph with no even holes. A vertex of a graph is {\em bisimplicial} if the set of its neighbours is the union of two cliques.
In an earlier paper \cite{bisimplicial}, Addario-Berry, Havet and Reed, with the authors, claimed to prove a conjecture of Reed, that every even-hole-free graph has a bisimplicial vertex, but we have recently been shown that the "proof" has a serious error. Here we give a proof using a different method.
Two remarks on graph norms
Published in Discrete & Computational Geometry (2021)
• View Publication
• BIB
For a graph $H$, its homomorphism density in graphs naturally extends to the space of two-variable symmetric functions $W$ in $L^p$, $p\geq e(H)$, denoted by $t(H,W)$. One may then define corresponding functionals $\|W\|_{H}:=|t(H,W)|^{1/e(H)}$ and $\|W\|_{r(H)}:=t(H,|W|)^{1/e(H)}$ and say that $H$ is (semi-)norming if $\|.\|_{H}$ is a (semi-)norm and that $H$ is weakly norming if $\|.\|_{r(H)}$ is a norm. We obtain two results that contribute to the theory of (weakly) norming graphs. Firstly, answering a question of Hatami, who estimated the modulus of convexity and smoothness of $\|.\|_{H}$, we prove that $\|.\|_{r(H)}$ is not uniformly convex nor uniformly smooth, provided that $H$ is weakly norming. Secondly, we prove that every graph $H$ without isolated vertices is (weakly) norming if and only if each component is an isomorphic copy of a (weakly) norming graph. This strong factorisation result allows us to assume connectivity of $H$ when studying graph norms. In particular, we correct an error in the original statement of the aforementioned theorem by Hatami.
The Graph Isomorphism Problem: Local Certificates for Giant Action
This thesis provides an explanation of László Babai's quasi-polynomial algorithm for the Graph Isomorphism Problem published in 2015 with a particular focus on the case of local certificates, i.e. the case that cannot be dealt with by Luks' method. The thesis extends the explanations provided by Harald Andrés Helfgott in 2017. It is concluded that the complexity of Babai's algorithm is $\exp\left(C \left(\log n\right)^3\right)$ for $n$ the number of vertices, $C$ a constant. Group theoretical and combinatorial arguments are used to give more details on Babai's method of local certificates. They treat Luks' barrier case in which the imprimitve permutation group $G$ can be mapped onto an alternating group with large domain.
2-Matching Complexes
A $2$-matching complex is a simplicial complex which captures the relationship between $2$-matchings of a graph. In this paper, we will use discrete Morse Theory and the Matching Tree Algorithm to prove homotopical results. We will consider a class of graphs for which the homotopy type of the $2$-matching complex transforms from a sphere to a point with the addition of leaves. We end the paper by defining $k$-matching sequences and looking at the $1$- and $2$-matching complexes of wheel graphs and perfect caterpillar graphs.
On the gonality of Cartesian products of graphs
Published
• View Publication
• BIB
In this paper we study Cartesian products of graphs and their divisorial gonality, which is a tropical version of the gonality of an algebraic curve. We present an upper bound on the gonality of the Cartesian product of any two graphs, and provide instances where this bound holds with equality, including for the $m\times n$ rook's graph with $\min\{m,n\}\leq 5$. We use our upper bound to prove that Baker's gonality conjecture holds for the Cartesian product of any two graphs with two or more vertices each, and we determine precisely which nontrivial product graphs have gonality equal to Baker's conjectural upper bound.
Edge Isoperimetric Inequalities for Powers of the Hypercube
Published
• View Publication
• BIB
For positive integers $n$ and $r$, we let $Q_n^r$ denote the $r$th power of the $n$-dimensional discrete hypercube graph, i.e., the graph with vertex-set $\{0,1\}^n$, where two 0-1 vectors are joined if they are Hamming distance at most $r$ apart. We study edge isoperimetric inequalities for this graph. Harper, Bernstein, Lindsey and Hart proved a best-possible edge isoperimetric inequality for this graph in the case $r=1$. For each $r \geq 2$, we obtain an edge isoperimetric inequality for $Q_n^r$; our inequality is tight up to a constant factor depending only upon $r$. Our techniques also yield an edge isoperimetric inequality for the `Kleitman-West graph' (the graph whose vertices are all the $k$-element subsets of $\{1,2,\ldots,n\}$, where two $k$-element sets have an edge between them if they have symmetric difference of size two); this inequality is sharp up to a factor of $2+o(1)$ for sets of size ${n -s \choose k-s}$, where $k=o(n)$ and $s \in \mathbb{N}$.
Counting Phylogenetic Networks of level 1 and 2
Published
• View Publication
• BIB
Phylogenetic networks generalize phylogenetic trees, and have been introduced in order to describe evolution in the case of transfer of genetic material between coexisting species. There are many classes of phylogenetic networks, which can all be modeled as families of graphs with labeled leaves. In this paper, we focus on rooted and unrooted level-k networks and provide enumeration formulas (exact and asymptotic) for rooted and unrooted level-1 and level-2 phylogenetic networks with a given number of leaves. We also prove that the distribution of some parameters of these networks (such as their number of cycles) are asymptotically normally distributed. These results are obtained by first providing a recursive description (also called combinatorial specification) of our networks, and by next applying classical methods of enumerative, symbolic and analytic combinatorics.
Antimagic orientations of graphs with given independence number
Published
• View Publication
• BIB
Given a digraph $D$ with $m$ arcs and a bijection $τ: A(D)\rightarrow \{1, 2, \ldots, m\}$, we say $(D, τ)$ is an antimagic orientation of a graph $G$ if $D$ is an orientation of $G$ and no two vertices in $D$ have the same vertex-sum under $τ$, where the vertex-sum of a vertex $u$ in $D$ under $τ$ is the sum of labels of all arcs entering $u$ minus the sum of labels of all arcs leaving $u$. Hefetz, Mütze, and Schwartz in 2010 initiated the study of antimagic orientations of graphs, and conjectured that every connected graph admits an antimagic orientation. This conjecture seems hard, and few related results are known. However, it has been verified to be true for regular graphs, biregular bipartite graphs, and graphs with large maximum degree. In this paper, we establish more evidence for the aforementioned conjecture by studying antimagic orientations of graphs $G$ with independence number at least $|V(G)|/2$ or at most four. We obtain several results. The method we develop in this paper may shed some light on attacking the aforementioned conjecture.
Moduli Spaces of Morse Functions for Persistence
Published
• View Publication
• BIB
We consider different notions of equivalence for Morse functions on the sphere in the context of persistent homology, and introduce new invariants to study these equivalence classes. These new invariants are as simple, but more discerning than existing topological invariants, such as persistence barcodes and Reeb graphs. We give a method to relate any two Morse--Smale vector fields on the sphere by a sequence of fundamental moves by considering graph-equivalent Morse functions. We also explore the combinatorially rich world of height-equivalent Morse functions, considered as height functions of embedded spheres in $\mathbf R^3$. Their level-set invariant, a poset generated by nested disks and annuli from levels sets, gives insight into the moduli space of Morse functions sharing the same persistence barcode.
Surrounding cops and robbers on graphs of bounded genus
We consider a surrounding variant of cops and robbers on graphs of bounded genus. We obtain bounds on the number of cops required to surround a robber on planar graphs, toroidal graphs, and outerplanar graphs. We also obtain improved bounds for bipartite planar and toroidal graphs. We briefly consider general graphs of bounded genus and graphs with a forbidden minor.
On well-dominated graphs
Published
• View Publication
• BIB
A graph is \emph{well-dominated} if all of its minimal dominating sets have the same cardinality. We prove that at least one of the factors is well-dominated if the Cartesian product of two graphs is well-dominated. In addition, we show that the Cartesian product of two connected, triangle-free graphs is well-dominated if and only if both graphs are complete graphs of order $2$. Under the assumption that at least one of the connected graphs $G$ or $H$ has no isolatable vertices, we prove that the direct product of $G$ and $H$ is well-dominated if and only if either $G=H=K_3$ or $G=K_2$ and $H$ is either the $4$-cycle or the corona of a connected graph. Furthermore, we show that the disjunctive product of two connected graphs is well-dominated if and only if one of the factors is a complete graph and the other factor has domination number at most $2$.
Monochromatic Equilateral Triangles in the Unit Distance Graph
Published in Bulletin of the London Mathematical Society 52, no. 4, 687-692, 2020
• View Publication
• BIB
Let $χ_Δ(\mathbb{R}^{n})$ denote the minimum number of colors needed to color $\mathbb{R}^{n}$ so that there will not be a monochromatic equilateral triangle with side length $1$. Using the slice rank method, we reprove a result of Frankl and Rodl, and show that $χ_Δ\left(\mathbb{R}^{n}\right)$ grows exponentially with $n$. This technique substantially improves upon the best known quantitative lower bounds for $χ_Δ\left(\mathbb{R}^{n}\right)$, and we obtain \[ χ_Δ\left(\mathbb{R}^{n}\right)>(1.01446+o(1))^{n}. \]
An algorithm and new bounds for the circular flow number of snarks
Published
• View Publication
• BIB
It is well-known that the circular flow number of a bridgeless cubic graph can be computed in terms of certain partitions of its vertex-set with prescribed properties. In the present paper, we first study some of these properties that turn out to be useful in order to design a more efficient algorithm for the computation of the circular flow number of a bridgeless cubic graph. Using this algorithm, we determine the circular flow number of all snarks up to 36 vertices as well as the circular flow number of various famous snarks. After that, as combination of the use of our algorithm with new theoretical results, we present an infinite family of snarks of order $8k+2$ whose circular flow numbers meet a general lower bound presented by Lukot'ka and Skoviera in 2008. In particular, this answers a question proposed in their paper. Moreover, we improve the best known upper bound for the circular flow number of Goldberg snarks and we conjecture that this new upper bound is optimal. Finally, we discuss a possible extension to the computation of the circular flow number in the non-regular case.
Kazhdan-Lusztig polynomials of matroids under deletion
Published in Electron. J. Combin. 27 (2020), no. 1, Paper No. 1.17
• View Publication
• BIB
We present a formula which relates the Kazhdan-Lusztig polynomial of a matroid $M$, as defined by Elias, Proudfoot and Wakefield, to the Kazhdan--Lusztig polynomials of the matroid obtained by deleting an element, and various contractions and localizations of $M$. We give a number of applications of our formula to Kazhdan--Lusztig polynomials of graphic matroids, including a simple formula for the Kazhdan--Lusztig polynomial of a parallel connection graph.