graph
35436 papers tagged with this keyword
The Average Order of Dominating Sets of a Graph
Published
• View Publication
• BIB
This papers focuses on the average order of dominating sets of a graph. We find the extremal graphs for the maximum and minimum value over all graphs on $n$ vertices, while for trees we prove that the star minimizes the average order of dominating sets. We prove the average order of dominating sets in graphs without isolated vertices is at most $3n/4$, but provide evidence that the actual upper bound is $2n/3$. Finally, we show that the normalized average, while dense in $[1/2,1]$, tends to $\frac{1}{2}$ for almost all graphs.
On leaky forcing and resilience
Published
• View Publication
• BIB
A leak is a vertex that is not allowed to perform a force during the zero forcing process.
Leaky forcing was recently introduced as a new variation of zero forcing in order to analyze how leaks in a network disrupt the zero forcing process. The $\ell$-leaky forcing number of a graph is the size of the smallest zero forcing set that can force a graph despite $\ell$ leaks. A graph $G$ is $\ell$-resilient if its zero forcing number is the same as its $\ell$-leaky forcing number. In this paper, we analyze $\ell$-leaky forcing and show that if an $(\ell-1)$-leaky forcing set $B$ is robust enough, then $B$ is an $\ell$-leaky forcing set. This provides the framework for characterizing $\ell$-leaky forcing sets. Furthermore, we consider structural implications of $\ell$-resilient graphs. We apply these results to bound the $\ell$-leaky forcing number of several graph families including trees, supertriangles, and grid graphs. In particular, we resolve a question posed by Dillman and Kenter concerning the upper bound on the $1$-leaky forcing number of grid graphs.
Cut Sparsification of the Clique Beyond the Ramanujan Bound: A Separation of Cut Versus Spectral Sparsification
Published
• View Publication
• BIB
We prove that a random $d$-regular graph, with high probability, is a cut sparsifier of the clique with approximation error at most $\left(2\sqrt{\frac 2 π} + o_{n,d}(1)\right)/\sqrt d$, where $2\sqrt{\frac 2 π} = 1.595\ldots$ and $o_{n,d}(1)$ denotes an error term that depends on $n$ and $d$ and goes to zero if we first take the limit $n\rightarrow \infty$ and then the limit $d \rightarrow \infty$.
This is established by analyzing linear-size cuts using techniques of Jagannath and Sen derived from ideas in statistical physics, and analyzing small cuts via martingale inequalities.
We also prove new lower bounds on spectral sparsification of the clique. If $G$ is a spectral sparsifier of the clique and $G$ has average degree $d$, we prove that the approximation error is at least the "Ramanujan bound'' $(2-o_{n,d}(1))/\sqrt d$, which is met by $d$-regular Ramanujan graphs, provided that either the weighted adjacency matrix of $G$ is a (multiple of) a doubly stochastic matrix, or that $G$ satisfies a certain high "odd pseudo-girth" property. The first case can be seen as an "Alon-Boppana theorem for symmetric doubly stochastic matrices," showing that a symmetric doubly stochastic matrix with $dn$ non-zero entries has a non-trivial eigenvalue of magnitude at least $(2-o_{n,d}(1))/\sqrt d$; the second case generalizes a lower bound of Srivastava and Trevisan, which requires a large girth assumption.
Together, these results imply a separation between spectral sparsification and cut sparsification. If $G$ is a random $\log n$-regular graph on $n$ vertices, we show that, with high probability, $G$ admits a (weighted subgraph) cut sparsifier of average degree $d$ and approximation error at most $(1.595\ldots + o_{n,d}(1))/\sqrt d$, while every (weighted subgraph) spectral sparsifier of $G$ having average degree $d$ has approximation error at least $(2-o_{n,d}(1))/\sqrt d$.
Graph Complexity and Link Colorings
The (torsion) complexity of a finite signed graph is defined to be the order of the torsion subgroup of the abelian group presented by its Laplacian matrix. When $G$ is $d$-periodic (i.e., $G$ has a free ${\mathbb Z}^d$-action by graph automorphisms with finite quotient) the Mahler measure of its Laplacian polynomial is the growth rate of the complexity of finite quotients of $G$. Any 1-periodic plane graph $G$ determines a link $\ell \cup C$ with unknotted component $C$. In this case the Laplacian polynomial of $G$ is related to the Alexander polynomial of the link. Lehmer's question, an open question about the roots of monic integral polynomials, is equivalent to a question about the complexity growth of signed 1-periodic graphs that are not necessarily embedded.
On the Equitable Choosability of the Disjoint Union of Stars
Published
• View Publication
• BIB
Equitable $k$-choosability is a list analogue of equitable $k$-coloring that was introduced by Kostochka, Pelsmajer, and West in 2003. It is known that if vertex disjoint graphs $G_1$ and $G_2$ are equitably $k$-choosable, the disjoint union of $G_1$ and $G_2$ may not be equitably $k$-choosable. Given any $m \in \mathbb{N}$ the values of $k$ for which $K_{1,m}$ is equitably $k$-choosable are known. Also, a complete characterization of equitably $2$-choosable graphs is not known. With these facts in mind, we study the equitable choosability of $\sum_{i=1}^n K_{1,m_i}$, the disjoint union of $n$ stars. We show that determining whether $\sum_{i=1}^n K_{1,m_i}$ is equitably choosable is NP-complete when the same list of two colors is assigned to every vertex. We completely determine when the disjoint union of two stars (or $n \geq 2$ identical stars) is equitably 2-choosable, and we present results on the equitable $k$-choosability of the disjoint union of two stars for arbitrary $k$.
Some Preliminary Result About the Inset Edge and Average Distance of Trees
Published
• View Publication
• BIB
An added edge to a graph is called an inset edge. Predicting k inset edges which minimize the average distance of a graph is known to be NP-Hard. However, when k = 1 the complexity of the problem is polynomial. In this paper, some tools for a precise analysis of the problem for the trees are established. Using the tools, we can avoid using the distance matrix. This leads to more efficient algorithms and a better analysis of the problem. Several applications of the tools as well as a tight bound for the change of average distance when an inset edge is added to a tree are presented.
Enumeration of cospectral and coinvariant graphs
Published
• View Publication
• BIB
We present enumeration results on the number of connected graphs up to 10 vertices for which there is at least one other graph with the same spectrum (a cospectral mate), or at least one other graph with the same Smith normal form (coinvariant mate) with respect to several matrices associated to a graph. The present data give some indication that possibly the Smith normal form of the distance Laplacian and the signless distance Laplacian matrices could be a finer invariant to distinguish graphs in cases where other algebraic invariants, such as those derived from the spectrum, fail. Finally, we show a new graph characterization using the Smith normal form of the signless distance Laplacian matrix.
On Testability of First-Order Properties in Bounded-Degree Graphs
Published
• View Publication
• BIB
We study property testing of properties that are definable in first-order logic (FO) in the bounded-degree graph and relational structure models. We show that any FO property that is defined by a formula with quantifier prefix $\exists^*\forall^*$ is testable (i.e., testable with constant query complexity), while there exists an FO property that is expressible by a formula with quantifier prefix $\forall^*\exists^*$ that is not testable. In the dense graph model, a similar picture is long known (Alon, Fischer, Krivelevich, Szegedy, Combinatorica 2000), despite the very different nature of the two models. In particular, we obtain our lower bound by a first-order formula that defines a class of bounded-degree expanders, based on zig-zag products of graphs. We expect this to be of independent interest. We then prove testability of some first-order properties that speak about isomorphism types of neighbourhoods, including testability of $1$-neighbourhood-freeness, and $r$-neighbourhood-freeness under a mild assumption on the degrees.
On the Bipartiteness Constant and Expansion of Cayley Graphs
Published
• View Publication
• BIB
Let $G$ be a finite, undirected $d$-regular graph and $A(G)$ its normalized adjacency matrix, with eigenvalues $1 = λ_1(A)\geq \dots \ge λ_n \ge -1$. It is a classical fact that $λ_n = -1$ if and only if $G$ is bipartite. Our main result provides a quantitative separation of $λ_n$ from $-1$ in the case of Cayley graphs, in terms of their expansion. Denoting $h_{out}$ by the (outer boundary) vertex expansion of $G$, we show that if $G$ is a non-bipartite Cayley graph (constructed using a group and a symmetric generating set of size $d$) then $λ_n \ge -1 + ch_{out}^2/d^2\,,$ for $c$ an absolute constant. We exhibit graphs for which this result is tight up to a factor depending on $d$. This improves upon a recent result by Biswas and Saha who showed $λ_n \ge -1 + h_{out}^4/(2^9d^8)\,.$ We also note that such a result could not be true for general non-bipartite graphs.
Coloring bipartite graphs with semi-small list size
Published in Ann. Comb. 27 (2023), 469-491
• View Publication
• BIB
Recently, Alon, Cambie, and Kang introduced asymmetric list coloring of bipartite graphs, where the size of each vertex's list depends on its part. For complete bipartite graphs, we fix the list sizes of one part and consider the resulting asymptotics, revealing an invariant quantity instrumental in determining choosability across most of the parameter space. By connecting this quantity to a simple question on independent sets of hypergraphs, we strengthen bounds when a part has list size 2. Finally, we state via our framework a conjecture on general bipartite graphs, unifying three conjectures of Alon-Cambie-Kang.
Bilinear matrix equation characterizes Laplacian and distance matrices of weighted trees
Published
• View Publication
• BIB
It is known from the algebraic graph theory that if $L$ is the Laplacian matrix of some tree $G$ with a vertex degree sequence $\mathbf{d}=(d_1, ..., d_n)^\top$ and $D$ is its distance matrix, then $LD+2I=(2\cdot\mathbf{1}-\mathbf{d})\mathbf{1}^\top$, where $\mathbf{1}$ is an all-ones column vector. We prove that if this matrix identity holds for the Laplacian matrix of some graph $G$ with a degree sequence $\mathbf{d}$ and for some matrix $D$, then $G$ is essentially a tree, and $D$ is its distance matrix. This result immediately generalizes to weighted graphs. If the matrix $D$ is symmetric, the lower triangular part of this matrix identity is redundant and can be omitted. Therefore, the above bilinear matrix equation in $L$, $D$, and $\mathbf{d}$ characterizes trees in terms of their Laplacian and distance matrices. Applications to the extremal graph theory (especially, to topological index optimization and to optimal tree problems) and to road topology design are discussed.
A note on the zero divisor graph of the ring of Lipschitz integers modulo $n$
Published
• View Publication
• BIB
In a recent paper, Grau et al. (2017) studied the zero divisor graphs of the ring of Lipschitz integers modulo $n$, and computed the domination number of the undirected zero divisor graph of the ring of Lipschitz integers modulo $n$. But the case $n$ is a power of prime numbers remained open. In this note, this problem is solved. We also show the automorphism group of the zero divisor graph of the ring of Lipschitz integers modulo $2^s$.
Vertex-minor-closed classes are $χ$-bounded
Published
• View Publication
• BIB
We prove a conjecture of Geelen that every proper vertex-minor-closed class of graphs is $χ$-bounded.
A short proof of the non-biplanarity of $K_9$
Published
• View Publication
• BIB
Battle, Harary, and Kodama (1962) and independently Tutte (1963) proved that the complete graph with nine vertices is not biplanar. Aiming towards simplicity and brevity, in this note we provide a short proof of this claim.
Low chromatic spanning sub(di)graphs with prescribed degree or connectivity properties
Published
• View Publication
• BIB
Generalizing well-known results of Erdős and Lovász, we show that every graph $G$ contains a spanning $k$-partite subgraph $H$ with $λ(H)\geq \lceil{}\frac{k-1}{k}λ(G)\rceil$, where $λ(G)$ is the edge-connectivity of $G$. In particular, together with a well-known result due to Nash-Williams and Tutte, this implies that every $7$-edge-connected graphs contains a spanning bipartite graph whose edge set decomposes into two edge-disjoint spanning trees. We show that this is best possible as it does not hold for infintely many $6$-edge-connected graphs.
For directed graphs, it was shown in [6] that there is no $k$ such that every $k$-arc-connected digraph has a spanning strong bipartite subdigraph. We prove that every strong digraph has a spanning strong 3-partite subdigraph and that every strong semicomplete digraph on at least 6 vertices contains a spanning strong bipartite subdigraph. \jbj{We generalize this result to higher connectivities by proving} that, for every positive integer $k$, every $k$-arc-connected digraph contains a spanning $(2k+1$)-partite subdigraph which is $k$-arc-connected and this is best possible.
A conjecture in [18] implies that every digraph of minimum out-degree $2k-1$ contains a spanning $3$-partite subdigraph with minimum out-degree at least $k$. We prove that the bound $2k-1$ would be best possible by providing an infinite class of digraphs with minimum out-degree $2k-2$ which do not contain any spanning $3$-partite subdigraph in which all out-degrees are at least $k$.
We also prove that every digraph of minimum semi-degree at least $3r$ contains a spanning $6$-partite subdigraph in which every vertex has in- and out-degree at least $r$.
Monochromatic triangle packings in red-blue graphs
We prove that in every $2$-edge-colouring of $K_n$ there is a collection of $n^2/12 + o(n^2)$ edge-disjoint monochromatic triangles, thus confirming a conjecture of Erdős. We also prove a corresponding stability result, showing that $2$-colourings that are close to attaining the aforementioned bound have a colour class which is close to bipartite. As part of our proof, we confirm a recent conjecture of Tyomkyn about the fractional version of this problem.
Fractional triangle decompositions in almost complete graphs
We prove that every $n$-vertex graph with at least $\binom{n}{2} - (n - 4)$ edges has a fractional triangle decomposition, for $n \ge 7$. This is a key ingredient in our proof, given in a companion paper, that every $n$-vertex $2$-coloured complete graph contains $n^2/12 + o(n^2)$ edge-disjoint monochromatic triangles, which confirms a conjecture of Erdős.
Efficient algorithms for tuple domination on co-biconvex graphs and web graphs
A vertex in a graph dominates itself and each of its adjacent vertices. The \emph{$k$-tuple domination problem}, for a fixed positive integer $k$, is to find a minimum sized vertex subset in a given graph such that every vertex is dominated by at least $k$ vertices of this set. From the computational point of view, this problem is NP-hard. It follows from previous works by Bui-Xuan et al.~(2013) and by Belmonte et al.~(2013) -- in the context of locally checkable vertex subset problems in graph classes with quickly computable and bounded min-width -- that the $k$-tuple domination problem is solvable in time $\mathcal{O}(|V(G)|^{6k+4})$ in the class of circular-arc graphs. In this work, we develop faster algorithms for $k$-tuple domination in co-biconvex graphs and in web graphs, which are incomparable subclasses of concave-round graphs and thus of circular-arc graphs. On the one hand, we present an $\mathcal{O}(n^2)$-time algorithm for solving it for each $2\leq k\leq |U|+3$, where $U$ is the set of universal vertices and $n$ the total number of vertices of the input co-biconvex graph. On the other hand, the study of this problem on web graphs was already started by Argiroffo et al. (2010) from a polyhedral point of view only for the cases $k=2$ and $k=d(G)$, where $d(G)$ equals the degree of each vertex of the input web graph $G$. We complete this study for web graphs from an algorithmic point of view, by designing a linear-time algorithm based on the modular arithmetic for integer numbers. The algorithms presented in this work are mutually independent but both exploit the circular properties of the augmented adjacency matrices of each studied graph class.
The Local Queue Number of Graphs with Bounded Treewidth
Published
• View Publication
• BIB
A queue layout of a graph $G$ consists of a vertex ordering of $G$ and a partition of the edges into so-called queues such that no two edges in the same queue nest, i.e., have their endpoints ordered in an ABBA-pattern. Continuing the research on local ordered covering numbers, we introduce the local queue number of a graph $G$ as the minimum $\ell$ such that $G$ admits a queue layout with each vertex having incident edges in no more than $\ell$ queues. Similarly to the local page number [Merker, Ueckerdt, GD'19], the local queue number is closely related to the graph's density and can be arbitrarily far from the classical queue number.
We present tools to bound the local queue number of graphs from above and below, focusing on graphs of treewidth $k$. Using these, we show that every graph of treewidth $k$ has local queue number at most $k+1$ and that this bound is tight for $k=2$, while a general lower bound is $\lceil k/2\rceil+1$. Our results imply, inter alia, that the maximum local queue number among planar graphs is either 3 or 4.
Spectra of generalized corona of graphs constrained by vertex subsets
Published
• View Publication
• BIB
In this paper, we introduce a generalization of corona of graphs. This construction generalizes the generalized corona of graphs (consequently, the corona of graphs), the cluster of graphs, the corona-vertex subdivision graph of graphs and the corona-edge subdivision graph of graphs. Further, it enables to get some more variants of corona of graphs as its particular cases. To determine the spectra of the adjacency, Laplacian and the signless Laplacian matrices of the above mentioned graphs, we define a notion namely, the coronal of a matrix constrained by an index set, which generalizes the coronal of a graph matrix. Then we prove several results pertain to the determination of this value. Then we determine the characteristic polynomials of the adjacency and the Laplacian matrices of this graph in terms of the characteristic polynomials of the adjacency and the Laplacian matrices of the constituent graphs and the coronal of some matrices related to the constituent graphs. Using these, we derive the characteristic polynomials of the adjacency and the Laplacian matrices of the above mentioned existing variants of corona of graphs, and some more variants of corona of graphs with some special constraints.