graph
34516 papers tagged with this keyword
Complementary edge ideals
In this paper, we introduce the concept of complementary edge ideals of graphs and study their algebraic properties and invariants.
The zero blocking numbers of grid graphs
In a zero forcing process, vertices of a graph are colored black and white initially, and if there exists a black vertex adjacent to exactly one white vertex, then the white vertex is forced to be black. A zero blocking set is an initial set of white vertices in a zero forcing process such that ultimately there exists a white vertex. The zero blocking number is the minimum size of a zero blocking set. This paper gives the exact value of the zero blocking number of grid graphs.
Proximity and Radius in Outerplanar Graphs with Bounded Faces
Let $G$ be a finite, connected graph and $v$ a vertex of $G$. The average distance and the eccentricity of $v$ in $G$ are defined as the arithmetic mean and the maximum, respectively, of the distances from $v$ to all other vertices of $G$. The proximity of $G$ and the radius of $G$ are defined as the minimum of the average distances and the eccentricities over all vertices of $G$.
In this paper, we establish an upper bound on the proximity of a $2$-connected outerplanar graphs in terms of order and maximum face length. This bound is sharp apart from a small additive constant.
It is known that the radius of a maximal outerplanar graph is at most $\lfloor \frac{n}{4} \rfloor +1$. In the second part of this paper we show that this bound on the radius holds for a much larger subclass of outerplanar graphs, for all $2$-connected outerplanar graphs of order $n$ whose maximum face length does not exceed $\frac{n+2}{4}$.
On Proximity and other Distance Parameters in Planar Graphs
Let $G$ be a connected graph. The average distance of a vertex $v$ of $G$ is the arithmetic mean of the distances from $v$ to all other vertices of $G$. The proximity and remoteness of $G$ are defined as the minimum and maximum, respectively, of the average distances of the vertices of $G$.
It was shown by Aouchiche and Hansen [Proximity and remoteness in graphs: bounds and conjectures, Networks 58 no.\ 2 (2011)] that for a connected graph of order $n$, the difference between remoteness and proximity and the difference between radius and proximity are bounded from above by about $\frac{n}{4}$, and the difference between diameter and proximity is bounded from above by about $\frac{3}{4}n$.
In this paper, we show that all three bounds can be improved significantly for maximal planar graphs, and for graphs of given connectivity.
We show that in maximal planar graphs the above bound on the difference between radius and proximity can be improved to about $\frac{1}{12}n$, and further to about $\frac{1}{16}n$ and $\frac{1}{20}n$ if the graphs is, in addition, $4$-connected or $5$-connected, respectively. Similar improvements are shown for quadrangulations, and for maximal outerplanar graphs. We further show that the above bound on the difference between remoteness and proximity can be improved to about $\frac{1}{4κ}n$ if $G$ is $κ$-connected. Finally, we improve the bound on the difference between diameter and proximity to about $\frac{3}{4κ}n$ if $G$ is $κ$-connected. We present graphs that demonstrate that our bounds are either sharp, or sharp apart from an additive constant, even if restricted to planar graphs.
Regularity for hypergraphs with bounded VC$_2$ dimension
While Szemerédi's graph regularity lemma is an indispensable tool for studying extremal problems in graph theory, using it comes with a hefty price, since a worst-case graph may only have regular partitions of tower-type size. It is thus sensible to ask if there is some natural restriction which forces graphs to have much smaller regular partitions. A celebrated result of this type, due to Alon-Fischer-Newman and Lovász-Szegedy, states that for graphs of bounded VC dimension, one can reduce the tower-type bounds to polynomial.
The graph regularity lemma has been extended to the setting of $k$-graphs by Gowers, Nagle-Rödl-Schacht-Skokan, and Tao. Unfortunately, these lemmas come with even larger Ackermann-type bounds. Chernikov-Starchenko and Fox-Pach-Suk considered a strong notion of $k$-graph VC dimension and proved that $k$-graphs of bounded VC dimension have regular partitions of polynomial size. Shelah introduced a weaker and combinatorially natural notion of dimension, called VC$_2$ dimension, which has since been extensively studied. In particular, Chernikov, Towsner, Terry, and Wolf asked if one can improve the worst case bounds for 3-graph regularity when the 3-graph has bounded VC$_2$ dimension. Our main result in this paper answers this question positively in the following strong sense: in the setting of bounded VC$_2$ dimension, one can reduce the bounds for 3-graph regularity by one level in Ackermann hierarchy. Furthermore, our new bound is best possible.
Our proof has two key steps. We first introduce a new method for designing regularity lemmas for graphs of bounded VC dimension, based on the cylinder regularity lemma. We then prove a hypergraph version of the cylinder regularity lemma, which allows us to extend this method to hypergraphs. We also highlight a few other applications of this cylinder regularity lemma, which we expect to find many other uses.
A forbidden pair for quasi 5-contractible edges
An edge of a quasi $k$-connected graph is said to be quasi $k$-contractible if the contraction of the edge results in a quasi $k$-connected graph. If every quasi $k$-connected graph without a quasi $k$-contractible edge has either $H_{1}$ or $H_{2}$ as a subgraph, then an unordered pair of graphs $\{H_{1}, H_{2}\}$ is said to be a forbidden pair for quasi $k$-contractible edges. We prove that $\{K_{4}^{-}, \overline{P_{5}}\}$ is a forbidden pair for quasi 5-contractible edges, where $K_{4}^{-}$ is the graph obtained from $K_{4}$ by removing just one edge and $\overline{P_{5}}$ is the complement of a path on five vertices.
On packing total coloring
In this paper, we introduce a new concept in graph coloring, namely the \textit{packing total coloring}, which extends the idea of packing coloring to both the vertices and the edges of a given graph. More precisely, for a graph $G$, a packing total coloring is a mapping $c: V(G) \cup E(G) \rightarrow \{1, 2, \ldots\}$ with the property that for any integer $i$, any two distinct elements $A, B \in V(G) \cup E(G)$ with $c(A) = c(B) = i$ must be at distance at least $i+1$ from each other. The smallest integer $k$ such that $G$ admits a packing total coloring using $k$ colors is called the \textit{packing total chromatic number}, denoted by $χ_ρ^{''}(G)$.
In addition to introducing this new concept, we provide lower and upper bounds for the packing total chromatic numbers of graphs. Furthermore, we consider packing total chromatic numbers of graphs from the perspective of their maximum degrees and characterize all graphs $G$ with $χ_ρ^{''}(G) \in \{1, 2, 3, 4\}$.
Critical edge sets in vertex-critical graphs
Criticality is a fundamental notion in graph theory that has been studied continually since its introduction in the early 50s by Dirac. A graph is called $k$-vertex-critical ($k$-edge-critical) if it is $k$-chromatic but removing any vertex (edge) lowers the chromatic number to $k-1$. A set of edges in a graph is called critical if its removal reduces the chromatic number of the graph.
In 1970, Dirac conjectured a rather strong distinction between the notions of vertex- and edge-criticality, namely that for every $k\ge 4$ there exists a $k$-vertex-critical graph that does not have any critical edges. This conjecture was proved for $k\ge 5$ by Jensen in 2002 and remains open only for $k=4$. A much stronger version of Dirac's conjecture was proposed by Erdős in 1985: Let $k\ge 4$ be fixed, and let $f_k(n)$ denote the largest integer such that there exists a $k$-vertex-critical graph of order $n$ in which no set of at most $f_k(n)$ edges is critical. Is it true that $f_k(n)\rightarrow \infty$ for $n\rightarrow \infty$?
Strengthening previous partial results, we solve this problem affirmatively for all $k>4$, proving that $$f_k(n)=Ω(n^{1/3}).$$ This leaves only the case $k=4$ open. We also show that a stronger lower bound of order $\sqrt{n}$ holds along an infinite sequence of numbers $n$. Finally, we provide a first non-trivial upper bound on the functions $f_k$ by proving that $$f_k(n)=O\left(\frac{n}{(\log n)^{Ω(1)}}\right)$$ for every $k\ge 4$. Our proof of the lower bound on $f_k(n)$ involves an intricate analysis of the structure of proper colorings of a modification of an earlier construction due to Jensen, combined with a gluing operation that creates new vertex-critical graphs without small critical edge sets from given such graphs. The upper bound is obtained using a variant of Szemerédi's regularity lemma due to Conlon and Fox.
On g-Extra Connectivity of Corona-Type Graph Products
Connectivity is one of the central ideas in graph theory, especially when it comes to building fault-tolerant networks. A cutset $S$ of $G$ is defined to be the set of vertices in $G$ whose removal disconnects the graph. An $R_g$ cutset of $G$ is a cutset whose removal disconnects the graph in such a way that each connected component has at least $g+1$ vertices. If $G$ has at least one $R_g$ cutset then the $g-$extra vertex connectivity (or the $g-$extra edge connectivity), denoted as $κ_g(G)$ ($λ_g(G)$), is defined as the minimum cardinality of $R_g$ cutset. In this paper, we obtain the $g-$ extra connectivity of various corona type graph products edge corona, neighbourhood corona, subdivision vertex neighbourhood corona,subdivision edge neighbourhood corona and generalised corona product.
Formulas and asymptotics of hypergraph Catalan numbers
Tree walks are a class of closed walks on a complete graph constrained to span trees. In this work, we focus on a special subclass called $k$-tours, which were recently introduced by Gunnells and are enumerated by the hypergraph Catalan numbers $ c_n^{(k)}$. Gunnells conjectured an asymptotic formula for $c_n^{(k)}$ which we confirm through an alternative approach to their enumeration. As it turns out, the asymptotic growth is governed by the number of $k$-tours on star-like trees.
The connectivity dimension of a graph
This article investigates the connectivity dimension of a graph. We introduce this concept in analogy to the metric dimension of a graph, providing a graph parameter that measures the heterogeneity of the connectivity structure of a graph. We fully characterize extremal examples and present explicit constructions of infinitely many graphs realizing any prescribed non-extremal connectivity dimension. We also establish a general lower bound in terms of the graph's block structure, linking the parameter to classical notions from graph theory. Finally, we prove that the problem of computing the connectivity dimension is NP-complete.
Lights Out On Nearly Complete Graphs
We study the generalization of the game Lights Out in which the standard square grid board is replaced by a graph. We examine the probability that, when a graph is chosen uniformly at random from the set of graphs with $n$ vertices and $e$ edges, the resulting game of Lights Out is universally solvable. Our work focuses on nearly complete graphs, graphs for which $e$ is close to $\binom{n}{2}$. For large values of $n$, we prove that, among nearly complete graphs, the probability of selecting a graph that gives a universally solvable game of Lights Out is maximized when $e = \binom{n}{2} - \lfloor \frac{n}{2} \rfloor$. More specifically, we prove that for any fixed integer $m > 0$, as $n$ approaches $\infty$, this value of $e$ maximizes the probability over all values of $e$ from $\binom{n}{2} - \lfloor \frac{n}{2} \rfloor - m$ to $\binom{n}{2}$.
All Type-2 isomorphic circulant graphs of $C_{16}(R)$ and $C_{24}(S)$
Circulant graphs $C_n(R)$ and $C_n(S)$ are said to be \emph{Adam's isomorphic} or {\em Type-1 isomorphic} if there exist some $a\in \mathbb{Z}_n^*$ such that $S = a R$ under arithmetic reflexive modulo $n$ \cite{ad67}. In 1970, Elspas and Turner \cite{eltu} raised a question on the isomorphism of $C_{16}(1,2,7)$ and $C_{16}(2,3,5)$ and in 1996, Vilfred \cite{v96} gave its answer by defining Type-2 isomorphism of $C_n(R)$ w.r.t. $m$ $\ni$ $m$ = $\gcd(n, r) > 1$, $r\in R$ and $r,n\in\mathbb{N}$ and studied such graphs for $m$ = 2 in \cite{v13,v20}. Vilfred and Wilson \cite{vw1} - \cite{vw3} obtained families of Type-2 isomorphic circulant graphs for $m$ = 3,5,7. In this paper, the author modifies the definition of Type-2 isomorphism of circulant graphs $C_n(R)$ w.r.t. $m$ by considering $m > 1$ is a divisor of $\gcd(n, r)$ and $r\in R$ and study Type-2 isomorphic circulant graphs of orders 16 and 24. We show that the number of pairs of Type-2 isomorphic circulant graphs of orders 16 and 24 are 8 and 32, respectively and list them all.
The exact Turán number of generalized book graph $B_{r,k}$ in non-$r$-partite graphs
Given a graph $H,$ we say that a graph is \textit{$H$-free} if it does not contain $H$ as a subgraph. The Turán number $\ex(n,H)$ of $H$ is the maximum number of edges in an $n$-vertex $H$-free graph, the set of all the corresponding extremal graphs is denoted by $\Ex(n, H)$. The study of Turán number of graphs is a central topic in extremal graph theory. A graph is \textit{color-critical} if it contains an edge whose deletion reduces its chromatic number. Simonovits showed that if $H$ is a color-critical graph of chromatic number $r+1,$ then for sufficiently large $n,$ $\Ex(n, H)=\{T_r(n)\},$ the $r$-partite Turán graph of order $n.$ Given a color-critical graph $H$ with chromatic number $r+1,$ it is interesting to determine $H$-free non-$r$-partite graphs with maximum number of edges. For a graph $H$ with chromatic number $r+1,$ denote $\ex_{r+1}(n,H)$ the maximum number of edges in non-$r$-partite $H$-free graphs of order $n,$ the set of all non-$r$-partite $H$-free graphs of order $n$ and size $\ex_{r+1}(n,H)$ is denoted by $\Ex_{r+1}(n, H)$. For $r\geq 3,\,k\geq1,$ the generalized book graph \({B}_{r,k}\) is a graph obtained by joining every vertex of $K_r$ to every vertex of an independent set of size \(k\). Note that \({B}_{r,k}\) is a color-critical graph of chromatic number $r+1.$ In this paper, based on the stability theory and local structure characterization, the exact value of $\ex_{r+1}(n,B_{r,k})$ is determined and all the corresponding extremal graphs are identified, where $r\geq 3,\,k\geq1$ and $n$ is sufficiently large.
Remarks on the Brouwer Conjecture
The Brouwer conjecture (BC) in spectral graph theory claims that the sum of the largest k Kirchhoff eigenvalues of a graph are bounded above by the number m of edges plus k(k+1)/2. We show that (BC) holds for all graphs with n vertices if n is larger or equal than 4 times the square of the maximal vertex degree. We also note that (BC) for graphs implies (BC) for quivers.
Sufficient minimum degree conditions for the existence of highly connected or edge-connected subgraphs
Mader conjectured that an average degree of at least $3k-1$ is sufficient for the existence of a $(k+1)$-connected subgraph. The following minimum degree version holds: Every graph with minimum degree at least $3k-1$ has a $(k+1)$-connected subgraph on more than $2k$ vertices. Moreover, for triangle-free graphs, already an average degree of at least $2k$ is sufficient for a $(k+1)$-connected subgraph (which has at least $2(k+1)$ vertices).
For edge-connectedness (in simple graphs), we prove the following: Every graph of average degree at least $2k$ has a $(k+1)$-edge-connected subgraph on more than $2k$ vertices. Moreover, for every small $α>0$ and for $k$ large enough in terms of $α$, already a minimum degree of at least $k+k^{\frac{1}{2}+α} = \big(1+o(1)\big)k$ is sufficient for a $(k+1)$-edge-connected subgraph.
It is shown that all of these results are sharp in some sense. The results can be used for the decomposition of graphs into two highly (edge-)connected parts.
Sparsifying Cayley Graphs on Every Group
A classic result in graph theory, due to Batson, Spielman, and Srivastava (STOC 2009) shows that every graph admits a $(1 \pm \varepsilon)$ cut (or spectral) sparsifier which preserves only $O(n / \varepsilon^2)$ reweighted edges. However, when applying this result to \emph{Cayley graphs}, the resulting sparsifier is no longer necessarily a Cayley graph -- it can be an arbitrary subset of edges.
Thus, a recent line of inquiry, and one which has only seen minor progress, asks: for any group $G$, do all Cayley graphs over the group $G$ admit sparsifiers which preserve only $\mathrm{polylog}(|G|)/\varepsilon^2$ many re-weighted generators?
As our primary contribution, we answer this question in the affirmative, presenting a proof of the existence of such Cayley graph spectral sparsifiers, along with an efficient algorithm for finding them. Our algorithm even extends to \emph{directed} Cayley graphs, if we instead ask only for cut sparsification instead of spectral sparsification.
We additionally study the sparsification of linear equations over non-abelian groups. In contrast to the abelian case, we show that for non-abelian valued equations, super-polynomially many linear equations must be preserved in order to approximately preserve the number of satisfied equations for any input. Together with our Cayley graph sparsification result, this provides a formal separation between Cayley graph sparsification and sparsifying linear equations.
Coloring Graphs With No Totally Odd Clique Immersion
We prove that graphs that do not contain a totally odd immersion of $K_t$ are $\mathcal{O}(t)$-colorable. In particular, we show that any graph with no totally odd immersion of $K_t$ is the union of a bipartite graph and a graph which forbids an immersion of $K_{\mathcal{O}(t)}$. Our results are algorithmic, and we give a fixed-parameter tractable algorithm (in $t$) to find such a decomposition.
Thomason-Type Model Structures on Simplicial Complexes and Graphs
In this paper we show that the Matsushita model structure on loop graphs, which is right-transferred from the Kan-Quillen model structure on simplicial sets, factors through two other right-transferred model structures on simplicial complexes and reflexive graphs. We show that each Quillen adjunction between these right-transferred model categories is a Quillen equivalence. These model structures are analogous to the Thomason model structure on small categories, and we prove that they are all cofibrantly generated and proper. Furthermore we show that all cofibrant simplicial complexes are flag complexes, and all forests are cofibrant.
Dubrovin-Natanzon divisors on MM-curves
${\mathtt{MM}}$-curves are rational degenerations of ${\mathtt{M}}$-curves, i.e. they are maximal Mumford in the sense that they posses $g$ tropical cycles and exactly $g+1$ real ovals, where $g$ is the arithmetic genus. For rational curves the ``naive'' definition of divisors as formal sums of points requires a refinement. In the finite-gap theory of KP II equation the real regular solutions correspond to the Dubrovin-Natanzon (DN) divisors on ${\mathtt{M}}$-curves. In the case of real regular multiline KP II solitons, it was shown by the authors that for any given solution there exists a normalization time such that the spectral data are smooth DN divisor on ${\mathtt{MM}}$-curve.
However, to show that DN divisors parameterize the; full positroid cell, it is necessary to fix the normalization time and consider both smooth and non-smooth divisors. In this paper we start such an investigation, and show that on ${\mathtt{MM}}$-curves whose dual graphs are trivalent Le-graphs of totally positive Schubert cells, the construction of non-smooth DN divisors requires combinations of just two basic types of blow-ups.