graph
34828 papers tagged with this keyword
Regular Bipartite Lattices with Large Values of Theta_2,2,2/C_4
The quantities C_4 and Theta_2,2,2 are as defined by Wanless, C_4 just the number of 4-loops of a graph. The construction of this paper provides a counterexample to a conjecture of Butera, Pernici, and the author about the monomer-dimer entropy, lambda, of a regular bipartite lattice. The lattice we construct is not a lattice graph in its most common definition.
The exact minimum number of triangles in graphs of given order and size
Published
• View Publication
• BIB
What is the minimum number of triangles in a graph of given order and size? Motivated by earlier results of Mantel and Turán, Rademacher solved the first non-trivial case of this problem in 1941. The problem was revived by Erdős in 1955; it is now known as the Erdős-Rademacher problem. After attracting much attention, it was solved asymptotically in a major breakthrough by Razborov in 2008. In this paper, we provide an exact solution for all large graphs whose edge density is bounded away from~$1$, which in this range confirms a conjecture of Lovász and Simonovits from 1975. Furthermore, we give a description of the extremal graphs.
Non-branching tree-decompositions
We prove that if a graph has a tree-decomposition of width at most w, then it has a tree-decomposition of width at most w with certain desirable properties. We will use this result in a subsequent paper to show that every 2-connected graph of large path-width has a minor isomorphic to either a large tree with a vertex attached to every vertex of the tree or a large outerplanar graph.
Computing upper bounds for optimal density of $(t,r)$ broadcasts on the infinite grid
The domination number of a finite graph $G$ with vertex set $V$ is the cardinality of the smallest set $S\subseteq V$ such that for every vertex $v\in V$ either $v\in S$ or $v$ is adjacent to a vertex in $S$. A set $S$ satisfying these conditions is called a dominating set. In 2015 Blessing, Insko, Johnson, and Mauretour introduced $(t,r)$ broadcast domination, a generalization of graph domination parameterized by the nonnegative integers $t$ and $r$. In this setting, we say that the signal a vertex $v\in V$ receives from a tower of strength $t$ located at vertex $T$ is defined by $sig(v,T)=max(t-dist(v,T),0)$. Then a $(t,r)$ broadcast dominating set on $G$ is a set $S\subseteq V$ such that the sum of all signal received at each vertex $v \in V$ is at least $r$. In this paper, we consider $(t,r)$ broadcasts of the infinite grid and present a Python program to compute upper bounds on the minimal density of a $(t,r)$ broadcast on the infinite grid. These upper bounds allow us to construct counterexamples to a conjecture by Blessing et al. that the $(t,r)$ and $(t+1, r+2)$ broadcasts are equal whenever $t,r\geq 1$.
On Edge-Colored Saturation Problems
Published
• View Publication
• BIB
Let $\mathcal{C}$ be a family of edge-colored graphs. A $t$-edge colored graph $G$ is $(\mathcal{C}, t)$-saturated if $G$ does not contain any graph in $\mathcal{C}$ but the addition of any edge in any color in $[t]$ creates a copy of some graph in $\mathcal{C}$. Similarly to classical saturation functions, define $\mathrm{sat}_t(n, \mathcal{C})$ to be the minimum number of edges in a $(\mathcal{C},t)$ saturated graph. Let $\mathcal{C}_r(H)$ be the family consisting of every edge-colored copy of $H$ which uses exactly $r$ colors.
In this paper we consider a variety of colored saturation problems. We determine the order of magnitude for $\mathrm{sat}_t(n, \mathcal{C}_r(K_k))$ for all $r$, showing a sharp change in behavior when $r\geq \binom{k-1}{2}+2$. A particular case of this theorem proves a conjecture of Barrus, Ferrara, Vandenbussche, and Wenger. We determine $\mathrm{sat}_t(n, \mathcal{C}_2(K_3))$ exactly and determine the extremal graphs. Additionally, we document some interesting irregularities in the colored saturation function.
Tight Hamilton cycles in cherry quasirandom $3$-uniform hypergraphs
Published
• View Publication
• BIB
We employ the absorbing-path method in order to prove two results regarding the emergence of tight Hamilton cycles in the so called {\em two-path} or {\em cherry}-quasirandom $3$-graphs.
Our first result asserts that for any fixed real $α>0$, cherry-quasirandom $3$-graphs of sufficiently large order $n$ having minimum $2$-degree at least $α(n-2)$ have a tight Hamilton cycle.
Our second result concerns the minimum $1$-degree sufficient for such $3$-graphs to have a tight Hamilton cycle. Roughly speaking, we prove that for every $d,α>0$ satisfying $d + α>1$, any sufficiently large $n$-vertex such $3$-graph $H$ of density $d$ and minimum $1$-degree at least $α\binom{n-1}{2}$, has a tight Hamilton cycle.
Graph Homomorphism Reconfiguration and Frozen $H$-Colourings
Published
• View Publication
• BIB
For a fixed graph $H$, the reconfiguration problem for $H$-colourings (i.e. homomorphisms to $H$) asks: given a graph $G$ and two $H$-colourings $\varphi$ and $ψ$ of $G$, does there exist a sequence $f_0,\dots,f_m$ of $H$-colourings such that $f_0=\varphi$, $f_m=ψ$ and $f_i(u)f_{i+1}(v)\in E(H)$ for every $0\leq i<m$ and $uv\in E(G)$? If the graph $G$ is loop-free, then this is the equivalent to asking whether it possible to transform $\varphi$ into $ψ$ by changing the colour of one vertex at a time such that all intermediate mappings are $H$-colourings. In the affirmative, we say that $\varphi$ reconfigures to $ψ$. Currently, the complexity of deciding whether an $H$-colouring $\varphi$ reconfigures to an $H$-colouring $ψ$ is only known when $H$ is a clique, a circular clique, a $C_4$-free graph, or in a few other cases which are easily derived from these. We show that this problem is PSPACE-complete when $H$ is an odd wheel.
An important notion in the study of reconfiguration problems for $H$-colourings is that of a frozen $H$-colouring; i.e. an $H$-colouring $\varphi$ such that $\varphi$ does not reconfigure to any $H$-colouring $ψ$ such that $ψ\neq \varphi$. We obtain an explicit dichotomy theorem for the problem of deciding whether a given graph $G$ admits a frozen $H$-colouring. The hardness proof involves a reduction from a CSP problem which is shown to be NP-complete by establishing the non-existence of a certain type of polymorphism.
The full chracterazation of the graphs with a L-eigenvalue of multiplicity $n-3$
Let $\mathcal{G}(n,k)$ be the set of connected graphs of order $n$ with one of the Laplacian eigenvalue having multiplicity $k$. It is well known that $\mathcal{G}(n,n-1)=\{K_n\}$. The graphs of $\mathcal{G}(n,n-2)$ are determined by Das, and the graphs of $\mathcal{G}(n,n-3)$ with four distinct Laplacian eigenvalues are determined by Mohammadian et al. In this paper, we determine the graphs of $\mathcal{G}(n,n-3)$ with three distinct Laplacian eigenvalues, and then the full characterization of the graphs in $\mathcal{G}(n,n-3)$ is completed.
Footprint and minimum distance functions
Published in Commun. Korean Math. Soc. 33 (2018), No. 1, pp. 85--101
• Search Publication
Let $S$ be a polynomial ring over a field $K$, with a monomial order $\prec$, and let $I$ be an unmixed graded ideal of $S$. In this paper we study two functions associated to $I$: the minimum distance function $δ_I$ and the footprint function ${\rm fp}_I$. It is shown that $δ_I$ is positive and that ${\rm fp}_I$ is positive if the initial ideal of $I$ is unmixed. Then we show that if $I$ is radical and its associated primes are generated by linear forms, then $δ_I$ is strictly decreasing until it reaches the asymptotic value $1$. If $I$ is the edge ideal of a Cohen--Macaulay bipartite graph, we show that $δ_I(d)=1$ for $d$ greater than or equal to the regularity of $S/I$. For a graded ideal of dimension $\geq 1$, whose initial ideal is a complete intersection, we give an exact sharp lower bound for the corresponding minimum distance function.
On the treewidth of triangulated 3-manifolds
Published in Journal of Computational Geometry, 10(2):70-98, 2019
• View Publication
• BIB
In graph theory, as well as in 3-manifold topology, there exist several width-type parameters to describe how "simple" or "thin" a given graph or 3-manifold is. These parameters, such as pathwidth or treewidth for graphs, or the concept of thin position for 3-manifolds, play an important role when studying algorithmic problems; in particular, there is a variety of problems in computational 3-manifold topology - some of them known to be computationally hard in general - that become solvable in polynomial time as soon as the dual graph of the input triangulation has bounded treewidth.
In view of these algorithmic results, it is natural to ask whether every 3-manifold admits a triangulation of bounded treewidth. We show that this is not the case, i.e., that there exists an infinite family of closed 3-manifolds not admitting triangulations of bounded pathwidth or treewidth (the latter implies the former, but we present two separate proofs).
We derive these results from work of Agol, of Scharlemann and Thompson, and of Scharlemann, Schultens and Saito by exhibiting explicit connections between the topology of a 3-manifold M on the one hand and width-type parameters of the dual graphs of triangulations of M on the other hand, answering a question that had been raised repeatedly by researchers in computational 3-manifold topology. In particular, we show that if a closed, orientable, irreducible, non-Haken 3-manifold M has a triangulation of treewidth (resp. pathwidth) k then the Heegaard genus of M is at most 18(k+1) (resp. 4(3k+1)).
The diachromatic number of digraphs
Published in The Electronic Journal of Combinatorics-2018
• View Publication
• BIB
We consider the extension to directed graphs of the concept of achromatic number in terms of acyclic vertex colorings. The achromatic number have been intensely studied since it was introduced by Harary, Hedetniemi and Prins in 1967. The dichromatic number is a generalization of the chromatic number for digraphs defined by Neumann-Lara in 1982. A coloring of a digraph is an acyclic coloring if each subdigraph induced by each chromatic class is acyclic, and a coloring is complete if for any pair of chromatic classes $x,y$, there is an arc from $x$ to $y$ and an arc from $y$ to $x$. The dichromatic and diachromatic numbers are, respectively, the smallest and the largest number of colors in a complete acyclic coloring. We give some general results for the diachromatic number and study it for tournaments. We also show that the interpolation property for complete acyclic colorings does hold and establish Nordhaus-Gaddum relations.
Signless Laplacian spectral conditions for Hamilton-connected graphs with large minimum degree
Published
• View Publication
• BIB
In this paper, we present a spectral sufficient condition for a graph to be Hamilton-connected in terms of signless Laplacian spectral radius with large minimum degree.
On central-max-point tolerance graphs and some subclasses of interval catch digraphs
Published
• View Publication
• BIB
Max-point-tolerance graphs (MPTG) were studied by Catanzaro et al. in 2017 and the same class of graphs were introduced in the name of p-BOX(1) graphs by Soto and Caro in 2015. In our paper we consider central-max-point tolerance graphs (central MPTG) by taking the points of MPTG as center points of their corresponding intervals. In course of study on this class of graphs we show that the class of central MPTG is same as the class of unit max-tolerance graphs. We prove the class of unit central max-point tolerance graphs is same as that of proper central max-point tolerance graphs and both of them are equivalent to the class of proper interval graphs. Next we introduce 50% max-tolerance graphs and separate this class from unit max-tolerance graph whereas for min-tolerance graphs 50% and unit denote the same graph class.
Interval catch digraphs (ICD) was introduced by Maehera in 1984. In his introducing paper Maehera proposed a conjecture for the characterization of central interval catch digraph (central ICD) in terms of forbidden subdigraphs. In this paper, we disprove the conjecture by showing counter examples. We find close relation between a central MPTG and a central ICD. Also we characterize this digraph by defining a suitable mapping from the vertex set to the real line. Next we study oriented interval catch digraphs (oriented ICD). We characterize augmented adjacency matrix of an oriented ICD when it is a tournament. Also we characterize an oriented ICD whose underlying graph is a tree. Further we obtain characterization of the adjacency matrix of a proper interval catch digraph. Another important result is to provide forbidden subdigraph characterization of those proper oriented interval catch digraphs whose underlying undirected graph is chordal. In last section we discuss relationships between these classes of graphs and digraphs.
Approximating Connected Safe Sets in Weighted Trees
Published
• View Publication
• BIB
For a graph $G$ and a non-negative integral weight function $w$ on the vertex set of $G$, a set $S$ of vertices of $G$ is $w$-safe if $w(C)\geq w(D)$ for every component $C$ of the subgraph of $G$ induced by $S$ and every component $D$ of the subgraph of $G$ induced by the complement of $S$ such that some vertex in $C$ is adjacent to some vertex of $D$. The minimum weight $w(S)$ of a $w$-safe set $S$ is the safe number $s(G,w)$ of the weighted graph $(G,w)$, and the minimum weight of a $w$-safe set that induces a connected subgraph of $G$ is its connected safe number $cs(G,w)$. Bapat et al. showed that computing $cs(G,w)$ is NP-hard even when $G$ is a star. For a given weighted tree $(T,w)$, they described an efficient $2$-approximation algorithm for $cs(T,w)$ as well as an efficient $4$-approximation algorithm for $s(T,w)$. Addressing a problem they posed, we present a PTAS for the connected safe number of a weighted tree. Our PTAS partly relies on an exact pseudopolynomial time algorithm, which also allows to derive an asymptotic FPTAS for restricted instances. Finally, we extend a bound due to Fujita et al. from trees to block graphs.
On density of subgraphs of halved cubes
Published
• View Publication
• BIB
Let $\mathcal S$ be a family of subsets of a set $X$ of cardinality $m$ and $\text{VC-dim}(\mathcal S)$ be the Vapnik-Chervonenkis dimension of $\mathcal S$. Haussler, Littlestone, and Warmuth (Inf. Comput., 1994) proved that if $G_1(\mathcal S)=(V,E)$ is the subgraph of the hypercube $Q_m$ induced by $\mathcal S$ (called the 1-inclusion graph of $\mathcal S$), then $\frac{|E|}{|V|}\le \text{VC-dim}({\mathcal S})$. Haussler (J. Combin. Th. A, 1995) presented an elegant proof of this inequality using the shifting operation.
In this note, we adapt the shifting technique to prove that if $\mathcal S$ is an arbitrary set family and $G_{1,2}(\mathcal S)=(V,E)$ is the 1,2-inclusion graph of $\mathcal S$ (i.e., the subgraph of the square $Q^2_m$ of the hypercube $Q_m$ induced by $\mathcal S$), then $\frac{|E|}{|V|}\le \binom{d}{2}$, where $d:=\text{cVC-dim}^*(\mathcal S)$ is the clique-VC-dimension of $\mathcal S$ (which we introduce in this paper). The 1,2-inclusion graphs are exactly the subgraphs of halved cubes and comprise subgraphs of Johnson graphs as a subclass.
On density of subgraphs of Cartesian products
Published
• View Publication
• BIB
In this paper, we extend two classical results about the density of subgraphs of hypercubes to subgraphs $G$ of Cartesian products $G_1\times\cdots\times G_m$ of arbitrary connected graphs. Namely, we show that $\frac{|E(G)|}{|V(G)|}\le \lceil 2\max\{ \text{dens}(G_1),\ldots,\text{dens}(G_m)\} \rceil\log|V(G)|$, where $\text{dens}(H)$ is the maximum ratio $\frac{|E(H')|}{|V(H')|}$ over all subgraphs $H'$ of $H$. We introduce the notions of VC-dimension $\text{VC-dim}(G)$ and VC-density $\text{VC-dens}(G)$ of a subgraph $G$ of a Cartesian product $G_1\times\cdots\times G_m$, generalizing the classical Vapnik-Chervonenkis dimension of set-families (viewed as subgraphs of hypercubes). We prove that if $G_1,\ldots,G_m$ belong to the class ${\mathcal G}(H)$ of all finite connected graphs not containing a given graph $H$ as a minor, then for any subgraph $G$ of $G_1\times\cdots\times G_m$ a sharper inequality $\frac{|E(G)|}{|V(G)|}\le \text{VC-dim}(G)α(H)$ holds, where $α(H)$ is the density of the graphs from ${\mathcal G}(H)$. We refine and sharpen those two results to several specific graph classes. We also derive upper bounds (some of them polylogarithmic) for the size of adjacency labeling schemes of subgraphs of Cartesian products.
A note on the restricted arc connectivity of oriented graphs of girth four
Let $D$ be a strongly connected digraph.
An arc set $S$ of $D$ is a \emph{restricted arc-cut} of $D$ if $D-S$ has a non-trivial strong component $D_{1}$ such that $D-V(D_{1})$ contains an arc. The \emph{restricted arc-connectivity} $λ'(D)$ of a digraph $D$ is the minimum cardinality over all restricted arc-cuts of $D$. A strongly connected digraph $D$ is \emph{$λ'$-connected} when $λ'(D)$ exists. This paper presents a family $\cal{F}$ of strong digraphs of girth four that are not $λ'$-connected and for every strong digraph $D\notin \cal{F}$ with girth four it follows that it is $λ'$-connected. Also, an upper and lower bound for $λ'(D)$ are given.
Newton-Okounkov bodies, cluster duality, and mirror symmetry for Grassmannians
Published in Duke Math. J. 168, no. 18 (2019), 3437-3527
• View Publication
• BIB
We use cluster structures and mirror symmetry to explicitly describe a natural class of Newton-Okounkov bodies for Grassmannians. We consider the Grassmannian $X=Gr_{n-k}(\mathbb C^n)$, as well as the mirror dual Landau-Ginzburg model $(\check{X}^\circ, W_q:\check{X}^\circ \to \mathbb C)$, where $\check{X}^\circ$ is the complement of a particular anti-canonical divisor in a Langlands dual Grassmannian $\check{X} = Gr_k((\mathbb C^n)^*)$, and the superpotential W_q has a simple expression in terms of Plücker coordinates. Grassmannians simultaneously have the structure of an $\mathcal{A}$-cluster variety and an $\mathcal{X}$-cluster variety. Given a cluster seed G, we consider two associated coordinate systems: a $\mathcal X$-cluster chart $Φ_G:(\mathbb C^*)^{k(n-k)}\to X^{\circ}$ and a $\mathcal A$-cluster chart $Φ_G^{\vee}:(\mathbb C^*)^{k(n-k)}\to \check{X}^\circ$. To each $\mathcal X$-cluster chart $Φ_G$ and ample `boundary divisor' $D$ in $X\setminus X^{\circ}$, we associate a Newton-Okounkov body $Δ_G(D)$ in $\mathbb R^{k(n-k)}$, which is defined as the convex hull of rational points. On the other hand using the $\mathcal A$-cluster chart $Φ_G^{\vee}$ on the mirror side, we obtain a set of rational polytopes, described by inequalities, by writing the superpotential $W_q$ in the $\mathcal A$-cluster coordinates, and then "tropicalising". Our main result is that the Newton-Okounkov bodies $Δ_G(D)$ and the polytopes obtained by tropicalisation coincide. As an application, we construct degenerations of the Grassmannian to toric varieties corresponding to these Newton-Okounkov bodies. Additionally, when $G$ corresponds to a plabic graph, we give a formula for the lattice points of the Newton-Okounkov bodies, which has an interpretation in terms of quantum Schubert calculus.
Spanning closed walks with bounded maximum degrees of graphs on surfaces
Gao and Richter (1994) showed that every $3$-connected graph which embeds on the plane or the projective plane has a spanning closed walk meeting each vertex at most $2$ times. Brunet, Ellingham, Gao, Metzlar, and Richter (1995) extended this result to the torus and Klein bottle. Sanders and Zhao (2001) obtained a sharp result for higher surfaces by proving that every $3$-connected graph embeddable on a surface with Euler characteristic $χ\le -46$ admits a spanning closed walk meeting each vertex at most $\lceil \frac{6-2χ}{3}\rceil$ times. In this paper, we develop these results to the remaining surfaces with Euler characteristic $χ\le 0$.
Split-Decomposition Trees with Prime Nodes: Enumeration and Random Generation of Cactus Graphs
Published
• View Publication
• BIB
In this paper, we build on recent results by Chauve et al. (2014) and Bahrani and Lumbroso (2017), which combined the split-decomposition, as exposed by Gioan and Paul, with analytic combinatorics, to produce new enumerative results on graphs---in particular the enumeration of several subclasses of perfect graphs (distance-hereditary, 3-leaf power, ptolemaic). Our goal was to study a simple family of graphs, of which the split-decomposition trees have prime nodes drawn from an enumerable (and manageable!) set of graphs. Cactus graphs, which we describe in more detail further down in this paper, can be thought of as trees with their edges replaced by cycles (of arbitrary lengths). Their split-decomposition trees contain prime nodes that are cycles, making them ideal to study. We derive a characterization for the split-decomposition trees of cactus graphs, produce a general template of symbolic grammars for cactus graphs, and implement random generation for these graphs, building on work by Iriza (2015).