graph
35396 papers tagged with this keyword
Binomial edge ideals of regularity $3$
Published
• View Publication
• BIB
Let $J_G$ be the binomial edge ideal of a graph $G$. We characterize all graphs whose binomial edge ideals, as well as their initial ideals, have regularity $3$. Consequently we characterize all graphs $G$ such that $J_G$ is extremal Gorenstein. Indeed, these characterizations are consequences of an explicit formula we obtain for the regularity of the binomial edge ideal of the join product of two graphs. Finally, by using our regularity formula, we discuss some open problems in the literature. In particular we disprove a conjecture in \cite{CDI} on the regularity of weakly closed graphs.
Hamiltonian cycles in 3-tough $2K_2$-free graphs
Published
• View Publication
• BIB
A graph is called $2K_2$-free if it does not contain two independent edges as an induced subgraph. Broersma, Patel, and Pyatkin showed that every 25-tough $2K_2$-free graph with at least three vertices is hamiltonian. In this paper, we improve the required toughness in this result from 25 to 3.
The Dimension of the Negative Cycle Vectors of Signed Graphs
Published in Ars Mathematica Contemporanea, 16(2) (2019), 625-639
• View Publication
• BIB
A "signed graph" is a graph $Γ$ where the edges are assigned sign labels, either "$+$" or "$-$". The sign of a cycle is the product of the signs of its edges. Let $\mathrm{SpecC}(Γ)$ denote the list of lengths of cycles in $Γ$. We equip each signed graph with a vector whose entries are the numbers of negative $k$-cycles for $k\in\mathrm{SpecC}(Γ)$. These vectors generate a subspace of $\mathbb R^{\mathrm{SpecC}(Γ)}$. Using matchings with a strong permutability property, we provide lower bounds on the dimension of this space; in particular, we show for complete graphs, complete bipartite graphs, and a few other graphs that this space is all of $\mathbb R^{\mathrm{SpecC}(Γ)}$.
Critical Vertices and Edges in $H$-free Graphs
A vertex or edge in a graph is critical if its deletion reduces the chromatic number of the graph by 1. We consider the problems of deciding whether a graph has a critical vertex or edge, respectively. We give a complexity dichotomy for both problems restricted to $H$-free graphs, that is, graphs with no induced subgraph isomorphic to $H$. Moreover, we show that an edge is critical if and only if its contraction reduces the chromatic number by 1. Hence, we also obtain a complexity dichotomy for the problem of deciding if a graph has an edge whose contraction reduces the chromatic number by 1.
Contraction and Deletion Blockers for Perfect Graphs and $H$-free Graphs
Published
• View Publication
• BIB
We study the following problem: for given integers $d$, $k$ and graph $G$, can we reduce some fixed graph parameter $π$ of $G$ by at least $d$ via at most $k$ graph operations from some fixed set $S$? As parameters we take the chromatic number $χ$, clique number $ω$ and independence number $α$, and as operations we choose the edge contraction ec and vertex deletion vd. We determine the complexity of this problem for $S=\{\mbox{ec}\}$ and $S=\{\mbox{vd}\}$ and $π\in \{χ,ω,α\}$ for a number of subclasses of perfect graphs. We use these results to determine the complexity of the problem for $S=\{\mbox{ec}\}$ and $S=\{\mbox{vd}\}$ and $π\in \{χ,ω,α\}$ restricted to $H$-free graphs.
On tree-decompositions of one-ended graphs
Published
• View Publication
• BIB
A graph is one-ended if it contains a ray (a one way infinite path) and whenever we remove a finite number of vertices from the graph then what remains has only one component which contains rays. A vertex $v$ {\em dominates} a ray in the end if there are infinitely many paths connecting $v$ to the ray such that any two of these paths have only the vertex $v$ in common. We prove that if a one-ended graph contains no ray which is dominated by a vertex and no infinite family of pairwise disjoint rays, then it has a tree-decomposition such that the decomposition tree is one-ended and the tree-decomposition is invariant under the group of automorphisms.
This can be applied to prove a conjecture of Halin from 2000 that the automorphism group of such a graph cannot be countably infinite and solves a recent problem of Boutin and Imrich. Furthermore, it implies that every transitive one-ended graph contains an infinite family of pairwise disjoint rays.
Premagic and Ideal Flow Matrices
Published
• View Publication
• BIB
Several interesting properties of a special type of matrix that has a row sum equal to the column sum are shown with the proofs. Premagic matrix can be applied to strongly connected directed network graph due to its nodes conservation flow. Relationships between Markov Chain, ideal flow and random walk on directed graph are also discussed.
Bounds on the length of a game of Cops and Robbers
Published
• View Publication
• BIB
In the game of Cops and Robbers, a team of cops attempts to capture a robber on a graph $G$. All players occupy vertices of $G$. The game operates in rounds; in each round the cops move to neighboring vertices, after which the robber does the same. The minimum number of cops needed to guarantee capture of a robber on $G$ is the cop number of $G$, denoted $c(G)$, and the minimum number of rounds needed for them to do so is the capture time. It has long been known that the capture time of an $n$-vertex graph with cop number $k$ is $O(n^{k+1})$. More recently, Bonato, Golovach, Hahn, and Kratochvíl (2009) and Gavenčiak (2010) showed that for $k = 1$, this upper bound is not asymptotically tight: for graphs with cop number 1, the cop can always win within $n-4$ rounds. In this paper, we show that the upper bound is tight when $k \ge 2$: for fixed $k \ge 2$, we construct arbitrarily large graphs $G$ having capture time at least $\left (\frac{\vert V(G) \vert}{40k^4}\right )^{k+1}$.
In the process of proving our main result, we establish results that may be of independent interest. In particular, we show that the problem of deciding whether $k$ cops can capture a robber on a directed graph is polynomial-time equivalent to deciding whether $k$ cops can capture a robber on an undirected graph. As a corollary of this fact, we obtain a relatively short proof of a major conjecture of Goldstein and Reingold (1995), which was recently proved through other means by the author (2015). We also show that $n$-vertex strongly-connected directed graphs with cop number 1 can have capture time $Ω(n^2)$, thereby showing that the result of Bonato et al. does not extend to the directed setting.
Paths in hypergraphs: a rescaling phenomenon
Let $P^k_\ell$ denote the loose $k$-path of length $\ell$ and let define $f^k_\ell(n,m)$ as the minimum value of $Δ(H)$ over all $P^k_\ell$-free $k$-graphs $H$ with $n$ vertices and $m$ edges. In the paper we study the behavior of $f^4_2(n,m)$ and $f^3_3(n,m)$ and characterize the structure of extremal hypergraphs. In particular, it is shown that when $m\sim n^2/8$ the value of each of these functions drops down from $Θ(n^2)$ to $Θ(n)$.
Treewidth Bounds for Planar Graphs Using Three-Sided Brambles
Square grids play a pivotal role in Robertson and Seymour's work on graph minors as planar obstructions to small treewidth. We introduce a three-sided bramble in a plane graph called a net, which generalizes the standard bramble of crosses in a square grid. We then characterize any minimal cover of a net as a tree drawn in the plane.
We use nets in an $O(n^3)$ time algorithm that computes both upper and lower bounds on the bramble number (hence treewidth) of any planar graph. Let $G$ be a planar graph, $BN(G)$ be its bramble number and $λ(G)$ be the largest order of any net in a subgraph of $G$. Our algorithm outputs a constant, $KB$, so that $λ(G)/4 \leq KB \leq BN(G)\leq 4KB \leq 4λ(G)$.
Let $s(G)$ be the size of a side of the largest square grid minor of $G$. Smith (2015) has shown that $λ(G) \geq s(G)$. Our upper bound improves that of Grigoriev (2011) when $λ(G)\leq (5/4)s(G)$. We correct a lower bound of Bodlaender, Grigoriev and Koster (2008) to $s(G)/5$ (instead of $s(G)/4$) and thus the lower bound of $λ(G)/4$ on our approximation is an improvement.
A splitter theorem for 3-connected 2-polymatroids
Published
• View Publication
• BIB
Seymour's Splitter Theorem is a basic inductive tool for dealing with $3$-connected matroids. This paper proves a generalization of that theorem for the class of $2$-polymatroids. Such structures include matroids, and they model both sets of points and lines in a projective space and sets of edges in a graph. A series compression in such a structure is an analogue of contracting an edge of a graph that is in a series pair. A $2$-polymatroid $N$ is an s-minor of a $2$-polymatroid $M$ if $N$ can be obtained from $M$ by a sequence of contractions, series compressions, and dual-contractions, where the last are modified deletions. The main result proves that if $M$ and $N$ are $3$-connected $2$-polymatroids such that $N$ is an s-minor of $M$, then $M$ has a $3$-connected s-minor $M'$ that has an s-minor isomorphic to $N$ and has $|E(M)| - 1$ elements unless $M$ is a whirl or the cycle matroid of a wheel. In the exceptional case, such an $M'$ can be found with $|E(M)| - 2$ elements.
Minimum Connected Transversals in Graphs: New Hardness Results and Tractable Cases Using the Price of Connectivity
Published
• View Publication
• BIB
We perform a systematic study in the computational complexity of the connected variant of three related transversal problems: Vertex Cover, Feedback Vertex Set, and Odd Cycle Transversal. Just like their original counterparts, these variants are NP-complete for general graphs. A graph $G$ is $H$-free for some graph $H$ if $G$ contains no induced subgraph isomorphic to $H$. It is known that Connected Vertex Cover is NP-complete even for $H$-free graphs if $H$ contains a claw or a cycle. We show that the two other connected variants also remain NP-complete if $H$ contains a cycle or claw. In the remaining case $H$ is a linear forest. We show that Connected Vertex Cover, Connected Feedback Vertex Set, and Connected Odd Cycle Transversal are polynomial-time solvable for $sP_2$-free graphs for every constant $s\geq 1$. For proving these results we use known results on the price of connectivity for vertex cover, feedback vertex set, and odd cycle transversal. This is the first application of the price of connectivity that results in polynomial-time algorithms.
Restricted size Ramsey number for $P_3$ versus cycles
Published
• View Publication
• BIB
Let $F$, $G$ and $H$ be simple graphs. We say $F \rightarrow (G, H)$ if for every $2$-coloring of the edges of $F$ there exists a monochromatic $G$ or $H$ in $F$. The Ramsey number $r(G, H)$ is defined as $r(G, H) = min\{|V (F)|: F \rightarrow (G, H)\}$, while the restricted size Ramsey number $r^{*}(G, H)$ is defined as $r^{*}(G, H) = min\{|E (F)|: F \rightarrow (G, H) , |V (F) | = r(G, H)\}$. In this paper we determine previously unknown restricted size Ramsey numbers $r^{*}(P_3, C_n)$ for $7 \leq n \leq 12$. We also give new upper bound $r^{*}(P_3, C_n) \leq 2n-2$ for even $n \geq 8$.
There is but one PDS in $\mathbb{Z}^{3}$ inducing just square components
It is known that in the unit distance graph of the lattice $\mathbb{Z}^3\subset\mathbb{R}^3$ there exists a dominating set $S$ with $4$-cycles as sole induced components and each vertex of $\mathbb{Z}^3\setminus S$ having a unique neighbor in $S$. We show $S$ is unique.
Smith and Critical groups of Polar Graphs
Published in J. Comb. Theory A. 167 (2019), 460-498
• View Publication
• BIB
We compute the elementary divisors of the adjacency and Laplacian matrices of families of polar graphs. These graphs have as vertices the isotropic one-dimensional subspaces of finite vector spaces with respect to non-degenerate forms, with adjacency given by orthogonality.
On Validity of Reed Conjecture for {P_5, Flag^C}-free graphs
Here we prove that Reed Conjecture is valid for {P5, Flag_Complement}-free graphs where FlagComplement is the complement of the Flag graph. Some of the known results follow as corollaries to our result. Reed conjecture is still open in general.
Numerical studies of Thompson's group F and related groups
Published in International Journal of Algebra and Computation 29.2 (2019): 179243
• View Publication
• BIB
We have developed polynomial-time algorithms to generate terms of the cogrowth series for groups $\mathbb{Z}\wr \mathbb{Z},$ the lamplighter group, $(\mathbb{Z}\wr \mathbb{Z})\wr \mathbb{Z}$ and the Navas-Brin group $B.$ We have also given an improved algorithm for the coefficients of Thompson's group $F,$ giving 32 terms of the cogrowth series. We develop numerical techniques to extract the asymptotics of these various cogrowth series. We present improved rigorous lower bounds on the growth-rate of the cogrowth series for Thompson's group $F$ using the method from \cite{HHR15} applied to our extended series. We also generalise their method by showing that it applies to loops on any locally finite graph. Unfortunately, lower bounds less than 16 do not help in determining amenability.
Again for Thompson's group $F$ we prove that, if the group is amenable, there cannot be a sub-dominant stretched exponential term in the asymptotics\footnote{ }. Yet the numerical data provides compelling evidence for the presence of such a term. This observation suggests a potential path to a proof of non-amenability: If the universality class of the cogrowth sequence can be determined rigorously, it will likely prove non-amenability.
We estimate the asymptotics of the cogrowth coefficients of $F$ to be $$ c_n \sim c \cdot μ^n \cdot κ^{n^σ\log^δ{n}} \cdot n^g,$$ where $μ\approx 15,$ $κ\approx 1/e,$ $σ\approx 1/2,$ $δ\approx 1/2,$ and $g \approx -1.$ The growth constant $μ$ must be 16 for amenability. These two approaches, plus a third based on extrapolating lower bounds, support the conjecture \cite{ERvR15, HHR15} that the group is not amenable.
A bijection of plane increasing trees with relaxed binary trees of right height at most one
Published
• View Publication
• BIB
Plane increasing trees are rooted labeled trees embedded into the plane such that the sequence of labels is increasing on any branch starting at the root. Relaxed binary trees are a subclass of unlabeled directed acyclic graphs. We construct a bijection between these two combinatorial objects and study the therefrom arising connections of certain parameters. Furthermore, we show central limit theorems for two statistics on leaves. We end the study by considering more than 20 subclasses and their bijective counterparts. Many of these subclasses are enumerated by known counting sequences, and thus enrich their combinatorial interpretation.
A note on edge degree and spanning trail containing given edges
Let $G$ be a simple graph with $n\geq4$ vertices and $d(x)+d(y)\geq n+k$ for each edge $xy\in E(G)$. In this work we prove that $G$ either contains a spanning closed trail containing any given edge set $X$ if $|X|\leq k$, or $G$ is a well characterized graph. As a corollary, we show that line graphs of such graphs are $k$-hamiltonian.
Decomposing $C_4$-free graphs under degree constraints
Published
• View Publication
• BIB
A celebrated theorem of Stiebitz asserts that any graph with minimum degree at least $s+t+1$ can be partitioned into two parts which induce two subgraphs with minimum degree at least $s$ and $t$, respectively. This resolved a conjecture of Thomassen. In this paper, we prove that for $s,t\geq 2$, if a graph $G$ contains no cycle of length four and has minimum degree at least $s+t-1$, then $G$ can be partitioned into two parts which induce two subgraphs with minimum degree at least $s$ and $t$, respectively. This improves the result of Diwan, who proved the same statement for graphs of girth at least five. Our proof also works for the case of variable functions, in which the bounds are sharp as showing by some polarity graphs. As a corollary, it follows that any graph containing no cycle of length four with minimum degree at least $k+1$ contains $k$ vertex-disjoint cycles.