graph
34665 papers tagged with this keyword
NP-Completeness Results for Graph Burning on Geometric Graphs
Published
• View Publication
• BIB
Graph burning runs on discrete time steps. The aim is to burn all the vertices in a given graph in the least number of time steps. This number is known to be the burning number of the graph. The spread of social influence, an alarm, or a social contagion can be modeled using graph burning. The less the burning number, the faster the spread.
Optimal burning of general graphs is NP-Hard. There is a 3-approximation algorithm to burn general graphs where as better approximation factors are there for many sub classes. Here we study burning of grids; provide a lower bound for burning arbitrary grids and a 2-approximation algorithm for burning square grids. On the other hand, burning path forests, spider graphs, and trees with maximum degree three is already known to be NP-Complete. In this article we show burning problem to be NP-Complete on connected interval graphs, permutation graphs and several other geometric graph classes as corollaries.
Classification of vertex-transitive digraphs via automorphism group
Published
• View Publication
• BIB
In the mid-1990s, two groups of authors independently obtained classifications of vertex-transitive graphs whose order is a product of two distinct primes. In the intervening years it has become clear that there is additional information concerning these graphs that would be useful, as well as making explicit the extensions of these results to digraphs. Additionally, there are several small errors in some of the papers that were involved in this classification. The purpose of this paper is to fill in the missing information as well as correct all known errors.
Many cliques with few edges and bounded maximum degree
Published
• View Publication
• BIB
Generalized Turán problems have been a central topic of study in extremal combinatorics throughout the last few decades. One such problem, maximizing the number of cliques of a fixed order in a graph with fixed number of vertices and bounded maximum degree, was recently completely resolved by Chase. Kirsch and Radcliffe raised a natural variant of this problem where the number of edges is fixed instead of the number of vertices. In this paper, we determine the maximum number of cliques of a fixed order in a graph with fixed number of edges and bounded maximum degree, resolving a conjecture by Kirsch and Radcliffe. We also give a complete characterization of the extremal graphs.
Minimal Kinematics: An All $k$ and $n$ Peek into ${\rm Trop}^+{\rm G}(k,n)$
Published in SIGMA 17 (2021), 078, 22 pages
• View Publication
• BIB
In this note we present a formula for the Cachazo-Early-Guevara-Mizera (CEGM) generalized biadjoint amplitudes for all $k$ and $n$ on what we call the minimal kinematics. We prove that on the minimal kinematics, the scattering equations on the configuration space of $n$ points on $\mathbb{CP}^{k-1}$ has a unique solution, and that this solution is in the image of a Veronese embedding. The minimal kinematics is an all $k$ generalization of the one recently introduced by Early for $k=2$ and uses a choice of cyclic ordering. We conjecture an explicit formula for $m_n^{(k)}(\mathbb{I},\mathbb{I})$ which we have checked analytically through $n=10$ for all $k$. The answer is a simple rational function which has only simple poles; the poles have the combinatorial structure of the circulant graph ${\rm C}_n^{(1,2,\dots, k-2)}$. Generalized biadjoint amplitudes can also be evaluated using the positive tropical Grassmannian ${\rm Tr}^+{\rm G}(k,n)$ in terms of generalized planar Feynman diagrams. We find perfect agreement between both definitions for all cases where the latter is known in the literature. In particular, this gives the first strong consistency check on the $90\,608$ planar arrays for ${\rm Tr}^+{\rm G}(4,8)$ recently computed by Cachazo, Guevara, Umbert and Zhang. We also introduce another class of special kinematics called planar-basis kinematics which generalizes the one introduced by Cachazo, He and Yuan for $k=2$ and uses the planar basis recently introduced by Early for all $k$. Based on numerical computations through $n=8$ for all $k$, we conjecture that on the planar-basis kinematics $m_n^{(k)}(\mathbb{I},\mathbb{I})$ evaluates to the multidimensional Catalan numbers, suggesting the possibility of novel combinatorial interpretations. For $k=2$ these are the standard Catalan numbers.
Some criteria for circle packing types and combinatorial Gauss-Bonnet Theorem
Published
• View Publication
• BIB
We investigate criteria for circle packing(CP) types of disk triangulation graphs embedded into simply connected domains in $ \mathbb{C}$. In particular, by studying combinatorial curvature and the combinatorial Gauss-Bonnet theorem involving boundary turns, we show that a disk triangulation graph is CP parabolic if \[
\sum_{n=1}^\infty \frac{1}{\sum_{j=0}^{n-1} (k_j +6)} = \infty,
\] where $k_n$ is the degree excess sequence defined by \[ k_n = \sum_{v \in B_n} (\mbox{deg}\, v - 6) \] for combinatorial balls $B_n$ of radius $n$ and centered at a fixed vertex. It is also shown that the simple random walk on a disk triangulation graph is recurrent if \[
\sum_{n=1}^\infty \frac{1}{\sum_{j=0}^{n-1} (k_j +6)+\sum_{j=0}^{n} (k_j +6)} = \infty.
\] These criteria are sharp, and generalize a conjecture by He and Schramm in their paper from 1995, which was later proved by Repp in 2001. We also give several criteria for CP hyperbolicity, one of which generalizes a theorem of He and Schramm, and present a necessary and sufficient condition for CP types of layered circle packings generalizing and confirming a criterion given by Siders in 1998.
Exact capacitated domination: on the computational complexity of uniqueness
Published
• View Publication
• BIB
In this paper we consider a local service-requirement assignment problem named exact capacitated domination from an algorithmic point of view. This problem aims to find a solution (a Nash equilibrium) to a game-theoretic model of public good provision. In the problem we are given a capacitated graph, a graph with a parameter defined on each vertex that is interpreted as the capacity of that vertex. The objective is to find a DP-Nash subgraph: a spanning bipartite subgraph with partite sets D and P, called the D-set and P-set respectively, such that no vertex in P is isolated and that each vertex in D is adjacent to a number of vertices equal to its capacity. We show that whether a capacitated graph has a unique DP-Nash subgraph can be decided in polynomial time. However, we also show that the nearby problem of deciding whether a capacitated graph has a unique D-set is co-NP-complete.
On the Baer-Lovász-Tutte construction of groups from graphs: isomorphism types and homomorphism notions
Published
• View Publication
• BIB
Let $p$ be an odd prime. From a simple undirected graph $G$, through the classical procedures of Baer (Trans. Am. Math. Soc., 1938), Tutte (J. Lond. Math. Soc., 1947) and Lovász (B. Braz. Math. Soc., 1989), there is a $p$-group $P_G$ of class $2$ and exponent $p$ that is naturally associated with $G$. Our first result is to show that this construction of groups from graphs respects isomorphism types. That is, given two graphs $G$ and $H$, $G$ and $H$ are isomorphic as graphs if and only if $P_G$ and $P_H$ are isomorphic as groups. Our second contribution is a new homomorphism notion for graphs. Based on this notion, a category of graphs can be defined, and the Baer-Lovász-Tutte construction naturally leads to a functor from this category of graphs to the category of groups.
Expectations of Tutte-related functions of random ranked sets with multiplicities
Published
• View Publication
• BIB
Employing two models, we show that various counting functions of a random variable defined by restriction or contraction of a ranked set with multiplicity (e.g., classical and arithmetic matroids) have expectations given by the corresponding multivariate Tutte polynomial. The first model is based on a generalization of a convolution formula of Kung (2010), extending from matroids to ranked sets with multiplicities. This model enables us to compute the expectations of many familiar polynomials, such as the chromatic, flow and Ehrhart polynomials, generalizing the classical results of Welsh (1996) on random graphs. The second model is designed to compute the expectations of invariants that are generally not evaluations of the polynomials mentioned above, such as the number of connected components of an intersection of hypersurfaces in an abelian Lie group arrangement, and the number of lattice points in a half-open zonotope. In particular, both models yield new probabilistic interpretations of the arithmetic Tutte polynomial and $G$-Tutte polynomial. A simple, but seems to be new convolution-like formula for the Ehrhart polynomials of lattice zonotopes will also be given.
The regularity and $h$-polynomial of Cameron-Walker graphs
Published
• View Publication
• BIB
Fix an integer $n \geq 1$, and consider the set of all connected finite simple graphs on $n$ vertices. For each $G$ in this set, let $I(G)$ denote the edge ideal of $G$ in the polynomial ring $R = K[x_1,\ldots,x_n]$. We initiate a study of the set $\mathcal{RD}(n) \subseteq \mathbb{N}^2$ consisting of all the pairs $(r,d)$ where $r = {\rm reg}(R/I(G))$, the Castelnuovo-Mumford regularity, and $d = {\rm deg} h_{R/I(G)}(t)$, the degree of the $h$-polynomial, as we vary over all the connected graphs on $n$ vertices. In particular, we identify sets $A(n)$ and $B(n)$ such that $A(n) \subseteq \mathcal{RD}(n) \subseteq B(n)$. When we restrict to the family of Cameron-Walker graphs on $n$ vertices, we can completely characterize all the possible $(r,d)$.
Brown representability for directed graphs
We prove that any contravariant functor from the homotopy category of finite directed graphs to abelian groups satisfying the additivity axiom and the Mayer-Vietoris axiom is representable.
The Reconstruction Conjecture for finite simple graphs and associated directed graphs
Published
• View Publication
• BIB
In this paper, we study the Reconstruction Conjecture for finite simple graphs. Let $Γ$ and $Γ'$ be finite simple graphs with at least three vertices such that there exists a bijective map $f:V(Γ) \rightarrow V(Γ')$ and for any $v\in V(Γ)$, there exists an isomorphism $φ_v:Γ-v \to Γ'-f(v)$. Then we define the associated directed graph $\widetildeΓ=\widetildeΓ(Γ,Γ',f,\{φ_v\}_{v\in V(Γ)})$ with two kinds of arrows from the graphs $Γ$ and $Γ'$, the bijective map $f$ and the isomorphisms $\{φ_v\}_{v\in V(Γ)}$. By investigating the associated directed graph $\widetildeΓ$, we study when are the two graphs $Γ$ and $Γ'$ isomorphic.
On perfect colorings of infinite multipath graphs
Published in Siberian Electronic Mathematical Reports 17 (2020) pp. 1863-1868
• View Publication
• BIB
A coloring of vertices of a given graph is called perfect if the color structure of each ball of radius $1$ in the graph depends only on the color of the ball center. Let $n$ be a positive integer. We consider a lexicographic product of the infinite path graph and a graph $G$ that can be either the complete or empty graph on $n$ vertices. We give a complete description of perfect colorings with an arbitrary number of colors of such graph products.
The maximum number of s-cliques in connected graphs and its application to spectral moment
Published
• View Publication
• BIB
Extremal problems concerning the number of complete subgraphs have a long story in extremal graph theory. Let $k_s(G)$ be the number of $s$-cliques in a graph $G$ and $m={{r_m}\choose s}+t_m$, where $0\le t_m\leq r_m$. Edrős showed that $k_s(G)\le {{r_m}\choose s}+{{t_m}\choose{s-1}}$ over all graphs of size $m$ and order $n\geq r_m+1$. %Clearly, $K_{r_m}^{t_m}\cup (n-r_m-1)K_1$ is an extremal graph, where $K_{r_m}^{t_m}$ is the graph by joining a new vertex to $t_m$ vertices of $K_{r_m}$. It is natural to consider an improvement in connected situation: what is the maximum number of $s$-cliques over all connected graphs of size $m$ and order $n$? In this paper, the sharp upper bound of $k_s(G)$ is obtained and extremal graphs are completely characterized. The technique and the bound are different from those in general case. As an application, this result can be used to solve a question on spectral moment.
New upper bounds for the crossing numbers of crossing-critical graphs
Published
• View Publication
• BIB
A graph $G$ is {$k$-crossing-critical} if $cr(G)\ge k$, but $cr(G\setminus e)<k$ for each edge $e\in E(G)$, where $cr(G)$ is the crossing number of $G$. It is known that for any $k$-crossing-critical graph $G$, $cr(G)\le 2.5k+16$ holds, and in particular, if $δ(G)\ge 4$, then $cr(G)\le 2k+35$ holds, where $δ(G)$ is the minimum degree of $G$. In this paper, we improve these upper bounds to $2.5k +2.5$ and $2k+8$ respectively. In particular, for any $k$-crossing-critical graph $G$ with $n$ vertices, if $δ(G)\ge 5$, then $cr(G)\le 2k-\sqrt k/2n+35/6$ holds.
Flexible circuits in the $d$-dimensional rigidity matroid
Published
• View Publication
• BIB
A bar-joint framework $(G,p)$ in $\mathbb{R}^d$ is rigid if the only edge-length preserving continuous motions of the vertices arise from isometries of $\mathbb{R}^d$. It is known that, when $(G,p)$ is generic, its rigidity depends only on the underlying graph $G$, and is determined by the rank of the edge set of $G$ in the generic $d$-dimensional rigidity matroid $\mathcal{R}_d$. Complete combinatorial descriptions of the rank function of this matroid are known when $d=1,2$, and imply that all circuits in $\mathcal{R}_d$ are generically rigid in $\mathbb{R}^d$ when $d=1,2$. Determining the rank function of $\mathcal{R}_d$ is a long standing open problem when $d\geq 3$, and the existence of non-rigid circuits in $\mathcal{R}_d$ for $d\geq 3$ is a major contributing factor to why this problem is so difficult. We begin a study of non-rigid circuits by characterising the non-rigid circuits in $\mathcal{R}_d$ which have at most $d+6$ vertices.
Improper interval edge colorings of graphs
Published
• View Publication
• BIB
A $k$-improper edge coloring of a graph $G$ is a mapping $α:E(G)\longrightarrow \mathbb{N}$ such that at most $k$ edges of $G$ with a common endpoint have the same color. An improper edge coloring of a graph $G$ is called an improper interval edge coloring if the colors of the edges incident to each vertex of $G$ form an integral interval. In this paper we introduce and investigate a new notion, the interval coloring impropriety (or just impropriety) of a graph $G$ defined as the smallest $k$ such that $G$ has a $k$-improper interval edge coloring; we denote the smallest such $k$ by $μ_{\mathrm{int}}(G)$. We prove upper bounds on $μ_{\mathrm{int}}(G)$ for general graphs $G$ and for particular families such as bipartite, complete multipartite and outerplanar graphs; we also determine $μ_{\mathrm{int}}(G)$ exactly for $G$ belonging to some particular classes of graphs. Furthermore, we provide several families of graphs with large impropriety; in particular, we prove that for each positive integer $k$, there exists a graph $G$ with $μ_{\mathrm{int}}(G) =k$. Finally, for graphs with at least two vertices we prove a new upper bound on the number of colors used in an improper interval edge coloring.
On semi-transitive orientability of triangle-free graphs
Published
• View Publication
• BIB
An orientation of a graph is semi-transitive if it is acyclic, and for any directed path $v_0\rightarrow v_1\rightarrow \cdots\rightarrow v_k$ either there is no arc between $v_0$ and $v_k$, or $v_i\rightarrow v_j$ is an arc for all $0\leq i<j\leq k$. An undirected graph is semi-transitive if it admits a semi-transitive orientation. Semi-transitive graphs generalize several important classes of graphs and they are precisely the class of word-representable graphs studied extensively in the literature.
Determining if a triangle-free graph is semi-transitive is an NP-hard problem. The existence of non-semi-transitive triangle-free graphs was established via Erdős' theorem by Halldórsson and the authors in 2011. However, no explicit examples of such graphs were known until recent work of the first author and Saito who have shown computationally that a certain subgraph on 16 vertices of the triangle-free Kneser graph $K(8,3)$ is not semi-transitive, and have raised the question on the existence of smaller triangle-free non-semi-transitive graphs. In this paper we prove that the smallest triangle-free 4-chromatic graph on 11 vertices (the Grötzsch graph) and the smallest triangle-free 4-chromatic 4-regular graph on 12 vertices (the Chvátal graph) are not semi-transitive. Hence, the Grötzsch graph is the smallest triangle-free non-semi-transitive graph. We also prove the existence of semi-transitive graphs of girth 4 with chromatic number 4 including a small one (the circulant graph $C(13;1,5)$ on 13 vertices) and dense ones (Toft's graphs). Finally, we show that each $4$-regular circulant graph (possibly containing triangles) is semi-transitive.
Harary polynomials
Published
• View Publication
• BIB
Given a graph property $\mathcal{P}$, F. Harary introduced in 1985 $\mathcal{P}$-colorings, graph colorings where each colorclass induces a graph in $\mathcal{P}$. Let $χ_{\mathcal{P}}(G;k)$ counts the number of $\mathcal{P}$-colorings of $G$ with at most $k$ colors. It turns out that $χ_{\mathcal{P}}(G;k)$ is a polynomial in $\mathbb{Z}[k]$ for each graph $G$. Graph polynomials of this form are called Harary polynomials. In this paper we investigate properties of Harary polynomials and compare them with properties of the classical chromatic polynomial $χ(G;k)$. We show that the characteristic and Laplacian polynomial, the matching, the independence and the domination polynomial are not Harary polynomials. We show that for various notions of sparse, non-trivial properties $\mathcal{P}$, the polynomial $χ_{\mathcal{P}}(G;k)$ is, in contrast to $χ(G;k)$, not a chromatic, and even not an edge elimination invariant. Finally we study whether Harary polynomials are definable in Monadic Second Order Logic.
Ramsey upper density of infinite graphs
Published
• View Publication
• BIB
For a fixed infinite graph $H$, we study the largest density of a monochromatic subgraph isomorphic to $H$ that can be found in every two-coloring of the edges of $K_{\mathbb{N}}$. This is called the Ramsey upper density of $H$, and was introduced by Erdős and Galvin. Recently, the Ramsey upper density of the infinite path was determined. Here, we find the value of this density for all locally finite graphs $H$ up to a factor of 2, answering a question of DeBiasio and McKenney.
We also find the exact density for a wide class of bipartite graphs, including all locally finite forests. Our approach relates this problem to the solution of an optimization problem for continuous functions. We show that, under certain conditions, the density depends only on the chromatic number of $H$, the number of components of $H$, and the expansion ratio $|N(I)|/|I|$ of the independent sets of $H$.
On bucket increasing trees, clustered increasing trees and increasing diamonds
Published
• View Publication
• BIB
In this work we analyze bucket increasing tree families. We introduce two simple stochastic growth processes, generating random bucket increasing trees of size $n$, complementing the earlier result of Mahmoud and Smythe for bucket recursive trees. On the combinatorial side, we define multilabelled generalizations of the tree families $d$-ary increasing trees and generalized plane-oriented recursive trees. Additionally, we introduce a clustering process for ordinary increasing trees and relate it to bucket increasing trees. We discuss in detail the bucket size two and present a bijection between such bucket increasing tree families and certain families of graphs called increasing diamonds, providing an explanation for phenomena observed by Bodini et al.