graph
34665 papers tagged with this keyword
New upper bounds for the bondage number of a graph in terms of its maximum degree and Euler characteristic
Published in Ars Combinatoria 140 (2018) 373--387
• Search Publication
The bondage number $b(G)$ of a graph $G$ is the smallest number of edges whose removal from $G$ results in a graph with larger domination number. Let $G$ be embeddable on a surface whose Euler characteristic $χ$ is as large as possible, and assume $χ\leq0$. Gagarin-Zverovich and Huang have recently found upper bounds of $b(G)$ in terms of the maximum degree $Δ(G)$ and the Euler characteristic $χ(G)=χ$. In this paper we prove a better upper bound $b(G)\leqΔ(G)+\lfloor t\rfloor$ where $t$ is the largest real root of the cubic equation $z^3 + z^2 + (3χ- 8)z + 9χ- 12=0$; this upper bound is asymptotically equivalent to $b(G)\leqΔ(G)+1+\lfloor \sqrt{4-3χ} \rfloor$. We also establish further improved upper bounds for $b(G)$ when the girth, order, or size of the graph $G$ is large compared with its Euler characteristic $χ$.
Even cycles and perfect matchings in claw-free plane graphs
Published in Discrete Mathematics & Theoretical Computer Science, vol. 22 no. 4, Graph Theory (October 12, 2020) dmtcs:6062
• View Publication
• BIB
Lov{á}sz showed that a matching covered graph $G$ has an ear decomposition starting with an arbitrary edge of $G$. Let $G$ be a graph which has a perfect matching. We call $G$ cycle-nice if for each even cycle $C$ of $G$, $G-V(C)$ has a perfect matching. If $G$ is a cycle-nice matching covered graph, then $G$ has ear decompositions starting with an arbitrary even cycle of $G$. In this paper, we characterize cycle-nice claw-free plane graphs. We show that the only cycle-nice simple 3-connected claw-free plane graphs are $K_4$, $W_5$ and $\overline C_6$. Furthermore, every cycle-nice 2-connected claw-free plane graph can be obtained from a graph in the family ${\cal F}$ by a sequence of three types of operations, where ${\cal F}$ consists of even cycles, a diamond, $K_4$, and $\overline C_6$.
Matching numbers and dimension of edge ideals
Published
• View Publication
• BIB
Let $G$ be a finite simple graph on the vertex set $V(G) = \{x_{1}, \ldots, x_{n}\}$ and match$(G)$, min-match$(G)$ and ind-match$(G)$ the matching number, minimum matching number and induced matching number of $G$, respectively. Let $K[V(G)] = K[x_{1}, \ldots, x_{n}]$ denote the polynomial ring over a field $K$ and $I(G) \subset K[V(G)]$ the edge ideal of $G$. The relationship between these graph-theoretic invariants and ring-theoretic invariants of the quotient ring $K[V(G)]/I(G)$ has been studied. In the present paper, we study the relationship between match$(G)$, min-match$(G)$, ind-match$(G)$ and $\dim K[V(G)]/I(G)$.
On the site percolation threshold of circle packings and planar graphs
A circle packing is a collection of disks with disjoint interiors in the plane. It naturally defines a graph by tangency. It is shown that there exists $p>0$ such that the following holds for every circle packing: If each disk is retained with probability $p$ independently, then the probability that there is a path of retained disks connecting the origin to infinity is zero. The following conclusions are derived using results on circle packings of planar graphs: (i) Site percolation with parameter $p$ has no infinite connected component on recurrent simple plane triangulations, or on Benjamini--Schramm limits of finite simple planar graphs. (ii) Site percolation with parameter $1-p$ has an infinite connected component on transient simple plane triangulations with bounded degree. These results lend support to recent conjectures of Benjamini. Extensions to graphs formed from the packing of shapes other than disks, in the plane and in higher dimensions, are presented. Several conjectures and open questions are discussed.
Discrete Trace Theorems and Energy Minimizing Spring Embeddings of Planar Graphs
Published
• View Publication
• BIB
Tutte's spring embedding theorem states that, for a three-connected planar graph, if the outer face of the graph is fixed as the complement of some convex region in the plane, and all other vertices are placed at the mass center of their neighbors, then this results in a unique embedding, and this embedding is planar. It also follows fairly quickly that this embedding minimizes the sum of squared edge lengths, conditional on the embedding of the outer face. However, it is not at all clear how to embed this outer face. We consider the minimization problem of embedding this outer face, up to some normalization, so that the sum of squared edge lengths is minimized. In this work, we show the connection between this optimization problem and the Schur complement of the graph Laplacian with respect to the interior vertices. We prove a number of discrete trace theorems, and, using these new results, show the spectral equivalence of this Schur complement with the boundary Laplacian to the one-half power for a large class of graphs. Using this result, we give theoretical guarantees for this optimization problem, which motivates an algorithm to embed the outer face of a spring embedding.
Proximity and Remoteness in Directed and Undirected Graphs
Published
• View Publication
• BIB
Let $D$ be a strongly connected digraph. The average distance $\barσ(v)$ of a vertex $v$ of $D$ is the arithmetic mean of the distances from $v$ to all other vertices of $D$. The remoteness $ρ(D)$ and proximity $π(D)$ of $D$ are the maximum and the minimum of the average distances of the vertices of $D$, respectively. We obtain sharp upper and lower bounds on $π(D)$ and $ρ(D)$ as a function of the order $n$ of $D$ and describe the extreme digraphs for all the bounds. We also obtain such bounds for strong tournaments. We show that for a strong tournament $T$, we have $π(T)=ρ(T)$ if and only if $T$ is regular. Due to this result, one may conjecture that every strong digraph $D$ with $π(D)=ρ(D)$ is regular. We present an infinite family of non-regular strong digraphs $D$ such that $π(D)=ρ(D).$ We describe such a family for undirected graphs as well.
Stable and Discriminative Topological Graph Analysis
We propose a novel method for topological analysis of unweighted graphs which is based on \textit{persistent homology}. The proposed method maps the input graph to a complete weighted graph where the weighting function maps each edge to a value indicating the degree to which it belongs to a clique. The persistent homology of this weighted graph is subsequently computed to give a topological representation describing the topological features of the input graph plus their significance.
A formal and experimental analysis of the proposed and existing methods for topological graph analysis is presented. Through this analysis, we find that the proposed method possesses the properties of being stable and performing accurate discrimination. Therefore this method can make accurate inferences regarding the topological features of a given graph. On the other hand, we find that the existing methods considered do not possess these properties making it difficult from them to make such inferences. These findings are experimentally demonstrated using a number of random and real world graphs.
The Toucher-Isolator Game on Trees
Consider the following Maker-Breaker type game played by Toucher and Isolator on the edges of a graph $G$ with first move given to Toucher. The aim of Isolator is to maximise the number of vertices which are not incident to any edges claimed by Toucher, and the aim of Toucher is to minimise this number. Let $u\left(G\right)$ be the number of isolated vertices when both players play optimally. Dowden, Kang, Mikalački and Stojaković proved that $\left\lceil \frac{n+2}{8}\right\rceil \le u\left(T\right)\leq\left\lfloor \frac{n-1}{2}\right\rfloor $, where $T$ is a tree with $n$ vertices. The author also proved that $u\left(P_{n}\right)=\left\lfloor \frac{n+3}{5}\right\rfloor$ for all $n\geq3$, where $P_{n}$ is a path with $n$ vertices.
The aim of this paper is to improve the lower bound to $u\left(T\right)\geq\left\lfloor \frac{n+3}{5}\right\rfloor$, which is sharp. Our result may be viewed as saying that paths are the 'best' for Isolator among trees with a given number of vertices.
Can graph properties have exponential quantum speedup?
Quantum computers can sometimes exponentially outperform classical ones, but only for problems with sufficient structure. While it is well known that query problems with full permutation symmetry can have at most polynomial quantum speedup -- even for partial functions -- it is unclear how far this condition must be relaxed to enable exponential speedup. In particular, it is natural to ask whether exponential speedup is possible for (partial) graph properties, in which the input describes a graph and the output can only depend on its isomorphism class. We show that the answer to this question depends strongly on the input model. In the adjacency matrix model, we prove that the bounded-error randomized query complexity $R$ of any graph property $\mathcal{P}$ has $R(\mathcal{P}) = O(Q(\mathcal{P})^{6})$, where $Q$ is the bounded-error quantum query complexity. This negatively resolves an open question of Montanaro and de Wolf in the adjacency matrix model. More generally, we prove $R(\mathcal{P}) = O(Q(\mathcal{P})^{3l})$ for any $l$-uniform hypergraph property $\mathcal{P}$ in the adjacency matrix model. In direct contrast, in the adjacency list model for bounded-degree graphs, we exhibit a promise problem that shows an exponential separation between the randomized and quantum query complexities.
Rainbow independent sets on dense graph classes
Published
• View Publication
• BIB
Given a family $\mathcal{I}$ of independent sets in a graph, a rainbow independent set is an independent set $I$ such that there is an injection $φ\colon I\to \mathcal{I}$ where for each $v\in I$, $v$ is contained in $φ(v)$. Aharoni, Briggs, J. Kim, and M. Kim [Rainbow independent sets in certain classes of graphs. arXiv:1909.13143] determined for various graph classes $\mathcal{C}$ whether $\mathcal{C}$ satisfies a property that for every $n$, there exists $N=N(\mathcal{C},n)$ such that every family of $N$ independent sets of size $n$ in a graph in $\mathcal{C}$ contains a rainbow independent set of size $n$. In this paper, we add two dense graph classes satisfying this property, namely, the class of graphs of bounded neighborhood diversity and the class of $r$-powers of graphs in a bounded expansion class.
An efficient algorithm for $1$-dimensional (persistent) path homology
Published
• View Publication
• BIB
This paper focuses on developing an efficient algorithm for analyzing a directed network (graph) from a topological viewpoint. A prevalent technique for such topological analysis involves computation of homology groups and their persistence. These concepts are well suited for spaces that are not directed. As a result, one needs a concept of homology that accommodates orientations in input space. Path-homology developed for directed graphs by Grigor'yan, Lin, Muranov and Yau has been effectively adapted for this purpose recently by Chowdhury and Mémoli. They also give an algorithm to compute this path-homology. Our main contribution in this paper is an algorithm that computes this path-homology and its persistence more efficiently for the $1$-dimensional ($H_1$) case. In developing such an algorithm, we discover various structures and their efficient computations that aid computing the $1$-dimensional path-homnology. We implement our algorithm and present some preliminary experimental results.
On the Length of Monotone Paths in Polyhedra
Published
• View Publication
• BIB
Motivated by the problem of bounding the number of iterations of the Simplex algorithm we investigate the possible lengths of monotone paths followed by the Simplex method inside the oriented graphs of polyhedra (oriented by the objective function). We consider both the shortest and the longest monotone paths and estimate the monotone diameter and height of polyhedra. Our analysis applies to transportation polytopes, matroid polytopes, matching polytopes, shortest-path polytopes, and the TSP, among others. We begin by showing that combinatorial cubes have monotone and Bland pivot height bounded by their dimension and that in fact all monotone paths of zonotopes are no larger than the number of edge directions of the zonotope. We later use this to show that several polytopes have polynomial-size pivot height, for all pivot rules. In contrast, we show that many well-known combinatorial polytopes have exponentially-long monotone paths. Surprisingly, for some famous pivot rules, e.g., greatest improvement and steepest edge, these same polytopes have polynomial-size simplex paths.
Inequalities between Partial Domination and Independent Partial Domination in Graphs
For a graph $G$, a vertex subset $S \subseteq V(G)$ is said to be $K_{k}$-isolating if $G - N_{G}[S]$ does not contain $K_{k}$ as a subgraph. The $K_{k}$-isolation number of $G$, denoted by $ι_{k}(G)$, is the minimum cardinality of a $K_{k}$-isolating set of $G$. Analogously, $S$ is said to be independent $K_{k}$-isolating if $S$ is a $K_{k}$-isolating set of $G$ and $G[S]$ has no edge. The independent $K_{k}$-isolation number of $G$, denoted by $ι'_{k}(G)$, is the minimum cardinality of an independent $K_{k}$-isolating set of $G$. Clearly, when $k = 1$, we have $γ(G) = ι_{1}(G)$ and $i(G) = ι'_{1}(G)$ where $γ(G)$ and $i(G)$ are the domination and independent domination numbers. For classic results between $γ(G)$ and $i(G)$, in 1978, Allan and Laskar proved that $γ(G) = i(G)$ for all $K_{1, 3}$-free graphs and this result was generalized to $K_{1, r}$-free graphs by Bollob$\acute{a}$s and Cockayne in 1979. In 2013, Rad and Volkmann proved that the ratio $i(G)/γ(G)$ is at most $Δ(G)/2$ when $Δ(G) \in \{3, 4, 5\}$. Further, Furuya et. al. proved that when $Δ(G) \geq 6$, we have $i(G)/γ(G) \leq Δ(G) - 2\sqrt{Δ(G)} + 2$. In this paper, for a smallest $K_{k}$-isolating set $S$, we prove that $ι'_k(G)\le -\frac{ι_k^2(G)}{\ell} +i_k(G)(Δ+2)-\ell Δ$ where $\ell$ is the number of some specific vertices of $S$ such that the union of their closed neighborhoods in $S$ is $S$. We prove that this bound is sharp. A special case of our main theorem implies $ι'_{k}(G)/ι_{k}(G) \leq Δ(G) - 2\sqrt{Δ(G)} + 2$. Further, we find an inequality between $ι'_{k}(G)$ and $ι_{k}(G)$ when $G$ is $K_{1, r}$-free graph. This also generalizes the result of Bollob$\acute{a}$s and Cockayne.
A note on sublinear separators and expansion
For a hereditary class C of graphs, let s_C(n) be the minimum function such that each n-vertex graph in C has a balanced separator of order at most s_C(n), and let nabla_C(r) be the minimum function bounding the expansion of C, in the sense of bounded expansion theory of Nešetřil and Ossona de Mendez. The results of Plotkin, Rao, and Smith (1994) and Esperet and Raymond (2018) imply that if s_C(n)=Theta(n^{1-epsilon}) for some epsilon>0, then nabla_C(r)=Omega(r^{1/(2.epsilon)-1}/polylog r) and nabla_C(r)=O(r^{1/epsilon-1}polylog r). Answering a question of Esperet and Raymond, we show that neither of the exponents can be substantially improved.
Pattern Hopf algebras
Published
• View Publication
• BIB
This is a study on pattern Hopf algebras in combinatorial structures. We introduce the notion of combinatorial presheaf, by adapting the algebraic framework of species to the study of substructures in combinatorics. Afterwards, we consider functions that count the number of patterns of objects and endow the linear span of these functions with a product and a coproduct. In this way, any well behaved family of combinatorial objects that admits a notion of substructure generates a Hopf algebra, and this association is functorial. For example, the Hopf algebra on permutations studied by Vargas in 2014 and the Hopf algebra on symmetric functions are particular cases of this construction. A specific family of pattern Hopf algebras is of interest, the ones arising from commutative combinatorial presheaves. This includes the presheaves on graphs, posets and generalized permutahedra. Here, we show that all the pattern Hopf algebras corresponding to commutative presheaves are free. We also study a non-commutative presheaf on marked permutations, i.e. permutations with a marked element. These objects have an inherent product called inflation, which is an operation motivated by factorization theorems of permutations. In this paper we find new factorization theorems on marked permutations, and use them to show that this is another example of a pattern Hopf algebra that is free.
On the Growth of a Ballistic Deposition Model on Finite Graphs
We revisit a ballistic deposition process introduced by Atar, Athreya and Kang. Let $\mathcal{G}=(V,E)$ be a finite connected graph. We choose independently and uniformly vertices in $\mathcal{G}$. If a vertex $x$ is chosen and the previous height configuration is given by $h=(h_y)_{y \in V} \in \mathbb{N}_0^V$, the height $h_x$ is replaced by \[ \tilde{h}_x := 1 + \max_{y \sim x} h_y. \] We study asymptotic properties of this growth model. We determine the asymptotic growth parameter $γ(\mathcal{G} )$ for some graphs and prove a central limit theorem for the fluctuations around $γ( \mathcal{G})$. We also give a new graph-theoretic interpretation of an inequality obtained by Atar et al..
The game of Cops and Robbers on directed graphs with forbidden subgraphs
Published
• View Publication
• BIB
The traditional game of cops and robbers is played on undirected graph. Recently, the same game played on directed graph is getting attention by more and more people. We knew that if we forbid some subgraph we can bound the cop number of the corresponding class of graphs. In this paper, we analyze the game of cops and robbers on $\Vec{H}$-free digraphs. However, it is not the same as the case of undirected graph. So we give a new concept ($\Vec{H}^*$-free) to get a similar conclusion about the case of undirected graph.
Hasse diagrams with large chromatic number
Published
• View Publication
• BIB
For every positive integer $n$, we construct a Hasse diagram with $n$ vertices and chromatic number $Ω(n^{1/4})$, which significantly improves on the previously known best constructions of Hasse diagrams having chromatic number $Θ(\log n)$. In addition, if we also require that our Hasse diagram has girth at least $k\geq 5$, we can achieve a chromatic number of at least $n^{\frac{1}{2k-3}+o(1)}$.
These results have the following surprising geometric consequence. They imply the existence of a family $\mathcal{C}$ of $n$ curves in the plane such that the disjointness graph $G$ of $\mathcal{C}$ is triangle-free (or have high girth), but the chromatic number of $G$ is polynomial in $n$. Again, the previously known best construction, due to Pach, Tardos and Tóth, had only logarithmic chromatic number.
Strategy Stealing in Triangle Avoidance Games
In the game of $n-Sim$, two players take it in turn to claim unclaimed edges from a complete graph on $n$ vertices, with the first person to create a triangle in his own edges being the loser. We present some strategy-stealing arguments that show that certain positions are wins for the second player. These are among the only strategy-stealing arguments that are known for misère games.
Orientable Hamiltonian Embeddings of the Hypercube Graph
A Hamiltonian embedding is an embedding of a graph $G$ such that the boundary of each face is a Hamiltonian cycle of $G$. It is shown that the hypercube graph $Q_n$ admits such an embedding on an orientable surface when $n$ is a power of 2. Basic necessary conditions on Hamiltonian embeddings for $Q_n$ and conjectures are made about other values of $n$.