graph
35411 papers tagged with this keyword
Effect of predomination and vertex removal on the game total domination number of a graph
The game total domination number, ${γ_{g}^{t}}$, was introduced by Henning et al.\ in 2015. In this paper we study the effect of vertex predomination on the game total domination number. We prove that ${γ_{g}^{t}}(G|v) \geq {γ_{g}^{t}}(G) - 2$ holds for all vertices $v$ of a graph $G$ and present infinite families attaining the equality. To achieve this, some new variations of the total domination game are introduced. The effect of vertex removal is also studied. We show that ${γ_{g}^{t}}(G) \leq {γ_{g}^{t}}(G-v) + 4$ and ${γ_{g}^{t}}'(G) \leq {γ_{g}^{t}}'(G-v) + 4$.
Turán, involution and shifting
Published
• View Publication
• BIB
We propose a strengthening of the conclusion in Turán's (3,4)-conjecture in terms of algebraic shifting, and show that its analogue for graphs does hold. In another direction, we generalize the Mantel-Turán theorem by weakening its assumption: for any graph G on n vertices and any involution on its vertex set, if for any 3-set S of the vertices, the number of edges in G spanned by S, plus the number of edges in G spanned by the image of S under the involution, is at least 2, then the number of edges in G is at least the Mantel-Turán bound, namely the number achieved by two disjoint cliques of sizes n/2 rounded up and down.
Approximating Sparse Graphs: The Random Overlapping Communities Model
Published
• View Publication
• BIB
How can we approximate sparse graphs and sequences of sparse graphs (with unbounded average degree)? We consider convergence in the first $k$ moments of the graph spectrum (equivalent to the numbers of closed $k$-walks) appropriately normalized. We introduce a simple, easy to sample, random graph model that captures the limiting spectra of many sequences of interest, including the sequence of hypercube graphs. The Random Overlapping Communities (ROC) model is specified by a distribution on pairs $(s,q)$, $s \in \mathbb{Z}_+, q \in (0,1]$. A graph on $n$ vertices with average degree $d$ is generated by repeatedly picking pairs $(s,q)$ from the distribution, adding an Erdős-Rényi random graph of edge density $q$ on a subset of vertices chosen by including each vertex with probability $s/n$, and repeating this process so that the expected degree is $d$. Our proof of convergence to a ROC random graph is based on the Stieltjes moment condition. We also show that the model is an effective approximation for individual graphs. For almost all possible triangle-to-edge and four-cycle-to-edge ratios, there exists a pair $(s,q)$ such that the ROC model with this single community type produces graphs with both desired ratios, a property that cannot be achieved by stochastic block models of bounded description size. Moreover, ROC graphs exhibit an inverse relationship between degree and clustering coefficient, a characteristic of many real-world networks.
Generalized Fitch Graphs: Edge-labeled Graphs that are explained by Edge-labeled Trees
Published
• View Publication
• BIB
Fitch graphs $G=(X,E)$ are di-graphs that are explained by $\{\otimes,1\}$-edge-labeled rooted trees with leaf set $X$: there is an arc $xy\in E$ if and only if the unique path in $T$ that connects the least common ancestor $\textrm{lca}(x,y)$ of $x$ and $y$ with $y$ contains at least one edge with label $1$. In practice, Fitch graphs represent xenology relations, i.e., pairs of genes $x$ and $y$ for which a horizontal gene transfer happened along the path from $\textrm{lca}(x,y)$ to $y$. In this contribution, we generalize the concept of xenology and Fitch graphs and consider complete di-graphs $K_{|X|}$ with vertex set $X$ and a map $ε$ that assigns to each arc $xy$ a unique label $ε(x,y)\in M\cup \{\otimes\}$, where $M$ denotes an arbitrary set of symbols. A di-graph $(K_{|X|},ε)$ is a generalized Fitch graph if there is an $M\cup \{\otimes\}$-edge-labeled tree $(T,λ)$ that can explain $(K_{|X|},ε)$. We provide a simple characterization of generalized Fitch graphs $(K_{|X|},ε)$ and give an $O(|X|^2)$-time algorithm for their recognition as well as for the reconstruction of the unique least resolved phylogenetic tree that explains $(K_{|X|},ε)$.
Sparse Random Matrices have Simple Spectrum
Published
• View Publication
• BIB
Let $M_n$ be a class of symmetric sparse random matrices, with independent entries $M_{ij} = δ_{ij} ξ_{ij}$ for $i \leq j$. $δ_{ij}$ are i.i.d. Bernoulli random variables taking the value $1$ with probability $p \geq n^{-1+δ}$ for any constant $δ> 0$ and $ξ_{ij}$ are i.i.d. centered, subgaussian random variables. We show that with high probability this class of random matrices has simple spectrum (i.e. the eigenvalues appear with multiplicity one). We can slightly modify our proof to show that the adjacency matrix of a sparse Erdős-Rényi graph has simple spectrum for $n^{-1+δ} \leq p \leq 1- n^{-1+δ}$. These results are optimal in the exponent. The result for graphs has connections to the notorious graph isomorphism problem.
Embedding graphs in Euclidean space
Published in Journal of Combinatorial Theory, Ser. A, 171 (2020), article 105146
• View Publication
• BIB
The dimension of a graph $G$ is the smallest $d$ for which its vertices can be embedded in $d$-dimensional Euclidean space in the sense that the distances between endpoints of edges equal $1$ (but there may be other unit distances). Answering a question of Erdős and Simonovits [Ars Combin. 9 (1980) 229--246], we show that any graph with less than $\binom{d+2}{2}$ edges has dimension at most $d$. Improving their result, we prove that that the dimension of a graph with maximum degree $d$ is at most $d$. We show the following Ramsey result: if each edge of the complete graph on $2d$ vertices is coloured red or blue, then either the red graph or the blue graph can be embedded in Euclidean $d$-space. We also derive analogous results for embeddings of graphs into the $(d-1)$-dimensional sphere of radius $1/\sqrt{2}$.
Zero Forcing in Claw-Free Cubic Graphs
Published
• View Publication
• BIB
The zero forcing number of a simple graph, written $Z(G)$, is a NP-hard graph invariant which is the result of the zero forcing color change rule. This graph invariant has been heavily studied by linear algebraists, physicists, and graph theorist. It's broad applicability and interesting combinatorial properties have attracted the attention of many researchers. Of particular interest, is that of bounding the zero forcing number from above. In this paper we show a surprising relation between the zero forcing number of a graph and the independence number of a graph, denoted $α(G)$. Our main theorem states that if $G \ne K_4$ is a connected, cubic, claw-free graph, then $Z(G) \le α(G) + 1$. This improves on best known upper bounds for $Z(G)$, as well as known lower bounds on $α(G)$. As a consequence of this result, if $G \ne K_4$ is a connected, cubic, claw-free graph with order $n$, then $Z(G) \le \frac{2}{5}n + 1$. Additionally, under the hypothesis of our main theorem, we further show $Z(G) \le α'(G)$, where $α'(G)$ denotes the matching number of $G$.
Erratum for Ricci-flat graphs with girth at least five
Published
• View Publication
• BIB
This erratum will correct the classification of Theorem 1 in Lin-Lu-Yau, Comm. Anal. Geom., 2014, that misses the Triplex graph.
Ricci-flat cubic graphs with girth five
Published
• View Publication
• BIB
We classify all connected, simple, 3-regular graphs with girth at least 5 that are Ricci-flat. We use the definition of Ricci curvature on graphs given in Lin-Lu-Yau, Tohoku Math., 2011, which is a variation of Ollivier, J. Funct. Anal., 2009. A graph is Ricci-flat, if it has vanishing Ricci curvature on all edges. We show, that the only Ricci-flat cubic graphs with girth at least 5 are the Petersen graph, the Triplex and the dodecahedral graph. This will correct the classification in Lin-Lu-Yau, Comm. Anal. Geom., 2014, that misses the Triplex.
Hadwiger numbers of self-complementary graphs
Published
• View Publication
• BIB
The Hadwiger number of a graph $G$, denoted by $h(G)$, is the order of the largest complete minor of $G$. A graph is said to be self-complementary if it is isomorphic to its complement. We prove that for all $n\equiv 0,1 (\text{mod 4})$ and for all $ \lfloor \dfrac{n+1}{2} \rfloor \le h \le \lfloor \dfrac{3n}{5}\rfloor $, there exists a self-complementary graph $G$ with $n$ vertices whose Hadwiger number is $h$.
Four-coloring $P_6$-free graphs. I. Extending an excellent precoloring
Published
• View Publication
• BIB
This is the first paper in a series whose goal is to give a polynomial time algorithm for the $4$-coloring problem and the $4$-precoloring extension problem restricted to the class of graphs with no induced six-vertex path, thus proving a conjecture of Huang. Combined with previously known results this completes the classification of the complexity of the $4$-coloring problem for graphs with a connected forbidden induced subgraph.
In this paper we give a polynomial time algorithm that determines if a special kind of precoloring of a $P_6$-free graph has a precoloring extension, and constructs such an extension if one exists. Combined with the main result of the second paper of the series, this gives a complete solution to the problem.
Four-coloring $P_6$-free graphs. II. Finding an excellent precoloring
Published
• View Publication
• BIB
This is the second paper in a series of two. The goal of the series is to give a polynomial time algorithm for the $4$-coloring problem and the $4$-precoloring extension problem restricted to the class of graphs with no induced six-vertex path, thus proving a conjecture of Huang. Combined with previously known results this completes the classification of the complexity of the $4$-coloring problem for graphs with a connected forbidden induced subgraph.
In this paper we give a polynomial time algorithm that starts with a $4$-precoloring of a graph with no induced six-vertex path, and outputs a polynomial-size collection of so-called excellent precolorings. Excellent precolorings are easier to handle than general ones, and, in addition, in order to determine whether the initial precoloring can be extended to the whole graph, it is enough to answer the same question for each of the excellent precolorings in the collection. The first paper in the series deals with excellent precolorings, thus providing a complete solution to the problem.
On the Stability of Independence Polynomials
Published
• View Publication
• BIB
The independence polynomial of a graph is the generating polynomial for the number of independent sets of each size, and its roots are called {\em independence roots}. We investigate the stability of such polynomials, that is, conditions under which the roots lie in the left half-plane (all of the real roots of independence polynomial are negative and hence lie in this half-plane). We show stability for all independence polynomials of graphs with independence number at most three, but for larger independence number we show that the independence polynomials can have roots arbitrarily far to the right. We provide families of graphs whose independence polynomials are stable and ones that are not, utilizing various graph operations.
Cubic Preferences and the Character Admissibility Problem
Published
• View Publication
• BIB
In multiple-question referendum elections, the separability problem occurs when a voter's preferences on some questions or proposals depend on the predicted outcomes of others. The notion of separability formalizes the study of interdependence in multidimensional preferences, and the character admissibility problem deals with the construction of voter preferences with given separability structures. In this paper, we develop a graph theoretic approach to the character admissibilty problem, using Hamiltonian paths to generate voter preferences. We apply this method specifically to the hypercube graph, defining the class of cubic preferences. We then explore how the algebraic structure of the group of symmetries of the hypercube impacts the separability structures exhibited by cubic preferences. We prove that the characters of cubic preferences satisfy set theoretic properties distinct from those produced by previous methods, and we define two functions to construct cubic preferences. Our results have potential applications to experimental work involving election simulation.
Deletable edges in 3-connected graphs and their applications
Published
• View Publication
• BIB
Let $G$ and $H$ be simple 3-connected graphs such that $G$ has an $H$-minor. An edge $e$ in $G$ is called {\it $H$-deletable} if $G\backslash e$ is 3-connected and has an $H$-minor. The main result in this paper establishes that, if $G$ has no $H$-deletable edges, then there exists a sequence of simple 3-connected graphs $G_0, \dots , G_k$ with no $H$-deletable edges such that $G_0\cong H$, $G_k= G$, and for $1 \le i \le k$ one of three possibilities holds: $G_{i-1}= G_i/f$; $G_{i-1}=G_i/f \backslash e$ where $e$ and $f$ are incident to a degree 3 vertex in $G_i$; or $G_{i-1}=G_i-w$ where $w$ is a degree $3$ vertex in $G_i$. Several applications are given including a graph theoretic proof of the matroid theory result known as the Strong Splitter Theorem, a short new proof of Dirac's characterization of 3-connected graphs with no minor isomorphic to the prism graph, and an extension of a result by Halin that bounds the number of edges in a minimally 3-connected graph. Halin proved that if $G$ is a minimally $3$-connected graph on $n\ge 8$ vertices, then $|E(G)|\le 3n-9$ and equality holds if and only if $G\cong K_{3, n-3}$. We give a different proof of Halin's result and extend it by identifying the minimally 3-connected infinite family of graphs with $|E(G)|=3n-10$.
Upper bound for the minimal quantifier depth of the first part of a monadic second-order sentence without asymptotic probability
In this paper we found an upper bound for the minimal quantifier depth of the first part of a monadic second-order sentence without asymptotic probability described by Jerzy Tyszkiewicz, which express the extension grid axiom in the Erdős-Rényi model of random graphs $G(n,n^{-α})$ for some irrational $α$.
Girth-regular graphs
Published in Ars Mathematica Contemporanea, 17(2):349--368, 2019
• View Publication
• BIB
We introduce a notion of a girth-regular graph as a $k$-regular graph for which there exists a non-descending sequence $(a_1, a_2, \dots, a_k)$ (called the signature) giving, for every vertex $u$ of the graph, the number of girth cycles the edges with end-vertex $u$ lie on. Girth-regularity generalises two very different aspects of symmetry in graph theory: that of vertex transitivity and that of distance-regularity. For general girth-regular graphs, we give some results on the extremal cases of signatures. We then focus on the cubic case and provide a characterisation of cubic girth-regular graphs of girth up to $5$.
Cantor combinatorics and almost finiteness
In this survey we give a concise introduction to a continuous version of Borel combinatorics. Our approach will have a certain algorithm-theoretic nature and we will give special emphasis to the notion of almost finiteness introduced by Matui as a continuous analogue of Borel hyperfiniteness. We also show how the theory can be used to study spectral convergence for graph Laplacians.
Random cliques in random graphs and sharp thresholds for $F$-factors
Published
• View Publication
• BIB
We show that for each $r\ge 4$, in a density range extending up to, and slightly beyond, the threshold for a $K_r$-factor, the copies of $K_r$ in the random graph $G(n,p)$ are randomly distributed, in the (one-sided) sense that the hypergraph that they form contains a copy of a binomial random hypergraph with almost exactly the right density. Thus Jeff Kahn's recent asymptotically sharp bound for the threshold in Shamir's hypergraph matching problem implies a corresponding bound for the threshold for $G(n,p)$ to contain a $K_r$-factor. The case $r=3$ is more difficult, and has been settled by Annika Heckel. We also prove a corresponding result for $K_r^{(t)}$-factors in random $t$-uniform hypergraphs, as well as (in some cases weaker) generalizations replacing $K_r$ by certain other (hyper)graphs.
Volume growth, curvature, and Buser-type inequalities in graphs
Published
• View Publication
• BIB
We study the volume growth of metric balls as a function of the radius in discrete spaces, and focus on the relationship between volume growth and discrete curvature. We improve volume growth bounds under a lower bound on the so-called Ollivier curvature, and discuss similar results under other types of discrete Ricci curvature. Following recent work in the continuous setting of Riemannian manifolds (by the first author), we then bound the eigenvalues of the Laplacian of a graph under bounds on the volume growth. In particular, the spectral gap of the graph can be bounded using a weighted discrete Hardy inequality and the higher eigenvalues of the graph can be bounded by the eigenvalues of a tridiagonal matrix times a multiplicative factor, both of which only depend on the volume growth of the graph. As a direct application, we relate the eigenvalues to the Cheeger isoperimetric constant. Using these methods, we describe classes of graphs for which the Cheeger inequality is tight on the second eigenvalue. We also describe a method for proving Buser's inequality in graphs, particularly under a lower bound assumption on curvature.