graph
35396 papers tagged with this keyword
Maximum nullity and zero forcing number on cubic graphs
Let $G$ be a graph. The maximum nullity of $G$, denoted by $M(G)$, is defined to be the largest possible nullity over all real symmetric matrices $A$ whose $a_{ij}\neq 0$ for $i\neq j$, whenever two vertices $u_i$ and $u_j$ of $G$ are adjacent. In this paper, we characterize all cubic graphs with zero forcing number $3$. As a corollary, it is shown that if the zero forcing number is $3$, then $M(G)=3$. In addition, we introduce a family of cubic graphs containing graphs $G$ with $M(G)=Z(G)=4$.
Also, we provide an algorithm which make a relation between maximum nullity of $G$ and the number of leaves in a spanning tree of $G$.
Maximum nullity of Cayley graph
One of the most interesting problems on maximum nullity (minimum rank) is to characterize $M(\mathcal{G})$ ($mr(\mathcal{G})$) for a graph $\mathcal{G}$. In this regard, many researchers have been trying to find an upper or lower bound for the maximum nullity. For more results on this topic, see \cite{4}, \cite{2}, \cite{10} and \cite{1}.
In this paper, by using a result of Babai \cite{Babai}, which presents the spectrum of a Cayley graph in terms of irreducible characters of the underlying group, and using representation and character of groups, we give a lower bound for the maximum nullity of Cayley graph, $X_S(G)$, where $G=\langle a\rangle$ is a cyclic group, or $G=G_1\times \cdots\times G_t$ such that $G_1=\langle a\rangle$ is a cyclic group and $G_i$ is an arbitrary finite group, for some $2\leq i\leq t$, with determine the spectrum of Cayley graphs.
Slimness of graphs
Published in Discrete Mathematics & Theoretical Computer Science, Vol. 21 no. 3 , Graph Theory (March 4, 2019) dmtcs:4288
• View Publication
• BIB
Slimness of a graph measures the local deviation of its metric from a tree metric. In a graph $G=(V,E)$, a geodesic triangle $\bigtriangleup(x,y,z)$ with $x, y, z\in V$ is the union $P(x,y) \cup P(x,z) \cup P(y,z)$ of three shortest paths connecting these vertices. A geodesic triangle $\bigtriangleup(x,y,z)$ is called $δ$-slim if for any vertex $u\in V$ on any side $P(x,y)$ the distance from $u$ to $P(x,z) \cup P(y,z)$ is at most $δ$, i.e. each path is contained in the union of the $δ$-neighborhoods of two others. A graph $G$ is called $δ$-slim, if all geodesic triangles in $G$ are $δ$-slim. The smallest value $δ$ for which $G$ is $δ$-slim is called the slimness of $G$. In this paper, using the layering partition technique, we obtain sharp bounds on slimness of such families of graphs as (1) graphs with cluster-diameter $Δ(G)$ of a layering partition of $G$, (2) graphs with tree-length $λ$, (3) graphs with tree-breadth $ρ$, (4) $k$-chordal graphs, AT-free graphs and HHD-free graphs. Additionally, we show that the slimness of every 4-chordal graph is at most 2 and characterize those 4-chordal graphs for which the slimness of every of its induced subgraph is at most 1.
On Two Unsolved Problems Concerning Matching Covered Graphs
Published
• View Publication
• BIB
A cut $C:=\partial(X)$ of a matching covered graph $G$ is a separating cut if both its $C$-contractions $G/X$ and $G/\overline{X}$ are also matching covered. A brick is solid if it is free of nontrivial separating cuts. In 2004, we (Carvalho, Lucchesi and Murty) showed that the perfect matching polytope of a brick may be described without recourse to odd set constraints if and only if it is solid. In 2006, we proved that the only simple planar solid bricks are the odd wheels. The problem of characterizing nonplanar solid bricks remains unsolved.
A bi-subdivision of a graph $J$ is a graph obtained from $J$ by replacing each of its edges by paths of odd length. A matching covered graph $J$ is a conformal minor of a matching covered graph $G$ if there exists a bi-subdivision $H$ of $J$ which is a subgraph of $G$ such that $G-V(H)$ has a perfect matching. For a fixed matching covered graph $J$, a matching covered graph $G$ is $J$-based if $J$ is a conformal minor of $G$ and, otherwise, $G$ is $J$-free. A basic result due to Lovász (1983) states that every nonbipartite matching covered graph is either $K_4$-based or is $\overline{C_6}$-based or both, where $\overline{C_6}$ is the triangular prism. In 2016, we (Kothari and Murty) showed that, for any cubic brick $J$, a matching covered graph $G$ is $J$-free if and only if each of its bricks is $J$-free. We also found characterizations of planar bricks which are $K_4$-free and those which are $\overline{C_6}$-free. Each of these problems remains unsolved in the nonplanar case.
In this paper we show that the seemingly unrelated problems of characterizing nonplanar solid bricks and of characterizing nonplanar $\overline{C_6}$-free bricks are essentially the same. We do this by establishing that a simple nonplanar brick, other than the Petersen graph, is solid if and only if it is $\overline{C_6}$-free.
An update on non-Hamiltonian $\frac{5}{4}$-tough maximal planar graphs
Published
• View Publication
• BIB
Studying the shortness of longest cycles in maximal planar graphs, we improve the upper bound on the shortness exponent of the class of $\frac{5}{4}$-tough maximal planar graphs presented by Harant and Owens [Discrete Math. 147 (1995), 301--305]. In addition, we present two generalizations of a similar result of Tkáč who considered $1$-tough maximal planar graphs [Discrete Math. 154 (1996), 321--328]; we remark that one of these generalizations gives a tight upper bound. We fix a problematic argument used in the first paper.
Two characteristic polynomials corresponding to graphical networks over min-plus algebra
In this paper, we investigate characteristic polynomials of matrices in min-plus algebra. Eigenvalues of min-plus matrices are known to be the minimum roots of the characteristic polynomials based on tropical determinants which are designed from emulating standard determinants. Moreover, minimum roots of characteristic polynomials have a close relationship to graphs associated with min-plus matrices consisting of vertices and directed edges with weights. The literature has yet to focus on the other roots of min-plus characteristic polynomials. Thus, here we consider how to relate the 2nd, 3rd,... minimum roots of min-plus characteristic polynomials to graphical features. We then define new characteristic polynomials of min-plus matrices by considering an analogue of the Faddeev-LeVerrier algorithm that generates the characteristic polynomials of linear matrices. We conclusively show that minimum roots of the proposed characteristic polynomials coincide with min-plus eigenvalues, and observe the other roots as in the study of the already known characteristic polynomials. We also give an example to illustrate the difference between the already known and proposed characteristic polynomials.
On vertex types of graphs
Published
• View Publication
• BIB
The vertices of a graph are classified into seven types by J.T. Hedetniemi, S.M. Hedetniemi, S.T. Hedetniemi and T.M. Lewis and they ask the following questions: 1) What is the smallest order $n$ of a graph having $n-2$ very typical vertices or $n-2$ typical vertices? 2) What is the smallest order of a pantypical graph? We answer these two questions in this paper.
The maximal subgroups and the complexity of the flow semigroup of finite (di)graphs
The flow semigroup, introduced by John Rhodes, is an invariant for digraphs and a complete invariant for graphs. After collecting together previous partial results, we refine and prove Rhodes's conjecture on the structure of the maximal groups in the flow semigroup for finite, antisymmetric, strongly connected digraphs.
Building on this result, we investigate and fully describe the structure and actions of the maximal subgroups of the flow semigroup acting on all but $k$ points for all finite digraphs and graphs for all $k\geq 1$. A linear algorithm (in the number of edges) is presented to determine these so-called `defect $k$ groups' for any finite (di)graph.
Finally, we prove that the complexity of the flow semigroup of a 2-vertex connected (and strongly connected di)graph with $n$ vertices is $n-2$, completely confirming Rhodes's conjecture for such (di)graphs.
Multidesigns for a graph pair of order 6
Given two graphs $G$ and $H$, a $(G,H)$-multidecomposition of $K_{n}$ is a partition of the edges of $K_{n}$ into copies of $G$ and $H$ such that at least one copy of each is used. We give necessary and sufficient conditions for the existence of $(C_{6},\overline{C}_{6})$-multidecomposition of $K_{n}$ where $C_{6}$ denotes a cycle of length 6 and $\overline{C}_{6}$ denotes the complement of $C_{6}$.
A $(G,H)$-multipacking of $K_{n}$ is a partition of a subset of the edges of $K_{n}$ into copies of $G$ and $H$ such that at least one copy of each is used. The set consisting of the edges of $K_{n}$ that are not used in any copy of either $G$ or $H$ is called the \emph{leave} of the multipacking. A $(G,H)$-multipacking of $K_{n}$ is called \emph{maximum} if the cardinality of the leave is minimum with respect to all $(G,H)$-multipackings of $K_{n}$. A $(G,H)$-multicovering of $K_{n}$ is a $(G,H)$-multidecomposition of $K_{n}$ where some edges can be used repeatedly in copies of $G$ or $H$. The (multi)set of repeated edges is called the \emph{padding} of the $(G,H)$-multicovering of $K_{n}$. A $(G,H)$-multicovering is called \emph{minimum} if the cardinality of the padding is minimum with respect to all $(G,H)$-multicoverings of $K_{n}$. We also characterize the cardinality of the leaves and paddings of maximum $(C_6, \overline{C}_6)$-multipackings and minimum $(C_6, \overline{C}_6)$-multicoverings of $K_{n}$.
Probabilistic and Geometrical Applications to Graph Theory
This paper consists of two halves.
In the first half of the paper, we consider real-valued functions $f$ whose domain is the vertex set of a graph $G$ and that are Lipschitz with respect to the graph distance. By placing a uniform distribution on the vertex set, we treat $f$ as a random variable. We investigate the link between the isoperimetric function of $G$ and the functions $f$ that have maximum variance or meet the bound established by the subgaussian inequality. We present several results describing the extremal functions, and use those results to resolve: (A) a conjecture by Bobkov, Houdré, and Tetali characterizing the extremal functions of the subgaussian inequality of the odd cycle, and (B) a conjecture by Alon, Boppana, and Spencer on the relationship between maximum variance functions and the isoperimetric function of product graphs.
While establishing a discrete analogue of the curved Brunn-Minkowski inequality for the discrete hypercube, Ollivier and Villani suggested several avenues for research. We resolve them in second half of the paper as follows.
(1) They propose that a bound on $t$-midpoints can be obtained by repeated application of the bound on midpoints, if the original sets are convex. We construct a specific example where this reasoning fails, and then prove our construction is general by characterizing the convex sets in the discrete hypercube.
(2) A second proposed technique to bound $t$-midpoints involves new results in concentration of measure. We follow through on this proposal, with heavy use on results from the first half of the paper.
(3) We show that the curvature of the discrete hypercube is not positive or zero.
The tessellation problem of quantum walks
Published in Theoretical Computer Science 801, 175-191, 2020
• View Publication
• BIB
Quantum walks have received a great deal of attention recently because they can be used to develop new quantum algorithms and to simulate interesting quantum systems. In this work, we focus on a model called staggered quantum walk, which employs advanced ideas of graph theory and has the advantage of including the most important instances of other discrete-time models. The evolution operator of the staggered model is obtained from a tessellation cover, which is defined in terms of a set of partitions of the graph into cliques. It is important to establish the minimum number of tessellations required in a tessellation cover, and what classes of graphs admit a small number of tessellations. We describe two main results: (1) infinite classes of graphs where we relate the chromatic number of the clique graph to the minimum number of tessellations required in a tessellation cover, and (2) the problem of deciding whether a graph is $k$-tessellable for $k\ge 3$ is NP-complete.
Cut-norm and entropy minimization over weak* limits
Published in Journal of Combinatorial Theory, series B, 137 (2019), pages 232-263
• View Publication
• BIB
We prove that the accumulation points of a sequence of graphs $G_1,G_2,G_3,\ldots$ with respect to the cut-distance are exactly the weak$^*$ limit points of subsequences of the adjacency matrices (when all possible orders of the vertices are considered) that minimize the entropy over all weak$^*$ limit points of the corresponding subsequence. In fact, the entropy can be replaced by any map $W\mapsto \int\int f(W(x,y))$, where $f$ is a continuous and strictly concave function. Our proofs are elementary, and do not use the regularity lemma.
Distributed Dominating Set Approximations beyond Planar Graphs
Published
• View Publication
• BIB
The Minimum Dominating Set (MDS) problem is one of the most fundamental and challenging problems in distributed computing. While it is well-known that minimum dominating sets cannot be approximated locally on general graphs, over the last years, there has been much progress on computing local approximations on sparse graphs, and in particular planar graphs.
In this paper we study distributed and deterministic MDS approximation algorithms for graph classes beyond planar graphs. In particular, we show that existing approximation bounds for planar graphs can be lifted to bounded genus graphs, and present (1) a local constant-time, constant-factor MDS approximation algorithm and (2) a local $\mathcal{O}(\log^*{n})$-time approximation scheme. Our main technical contribution is a new analysis of a slightly modified variant of an existing algorithm by Lenzen et al. Interestingly, unlike existing proofs for planar graphs, our analysis does not rely on direct topological arguments.
Entanglement properties of quantum grid states
Published in Phys. Rev. A 97, 062340 (2018)
• View Publication
• BIB
Grid states form a discrete set of mixed quantum states that can be described by graphs. We characterize the entanglement properties of these states and provide methods to evaluate entanglement criteria for grid states in a graphical way. With these ideas we find bound entangled grid states for two-particle systems of any dimension and multiparticle grid states that provide examples for the different aspects of genuine multiparticle entanglement. Our findings suggest that entanglement theory for grid states, although being a discrete set, has already a complexity similar to the one for general states.
On the number of types in sparse graphs
Published
• View Publication
• BIB
We prove that for every class of graphs $\mathcal{C}$ which is nowhere dense, as defined by Nesetril and Ossona de Mendez, and for every first order formula $φ(\bar x,\bar y)$, whenever one draws a graph $G\in \mathcal{C}$ and a subset of its nodes $A$, the number of subsets of $A^{|\bar y|}$ which are of the form $\{\bar v\in A^{|\bar y|}\, \colon\, G\modelsφ(\bar u,\bar v)\}$ for some valuation $\bar u$ of $\bar x$ in $G$ is bounded by $\mathcal{O}(|A|^{|\bar x|+ε})$, for every $ε>0$. This provides optimal bounds on the VC-density of first-order definable set systems in nowhere dense graph classes.
We also give two new proofs of upper bounds on quantities in nowhere dense classes which are relevant for their logical treatment. Firstly, we provide a new proof of the fact that nowhere dense classes are uniformly quasi-wide, implying explicit, polynomial upper bounds on the functions relating the two notions. Secondly, we give a new combinatorial proof of the result of Adler and Adler stating that every nowhere dense class of graphs is stable. In contrast to the previous proofs of the above results, our proofs are completely finitistic and constructive, and yield explicit and computable upper bounds on quantities related to uniform quasi-wideness (margins) and stability (ladder indices).
On Star Coloring of Splitting Graphs
In this paper, we consider the problem of a star coloring. In general case the problems in NP-complete. We establish the star chromatic number for splitting graph of complete and complete bipartite graphs, as well of paths and cycles. Our proofs are constructive, so they lead to appropriate star colorings of graphs under consideration.
Covering complete graphs by monochromatically bounded sets
Published
• View Publication
• BIB
Given a $k$-colouring of the edges of the complete graph $K_n$, are there $k-1$ monochromatic components that cover its vertices? This important special case of the well-known Lovász-Ryser conjecture is still open. In this paper we consider a strengthening of this question, where we insist that the covering sets are not merely connected but have bounded diameter. In particular, we prove that for any colouring of $E(K_n)$ with 4 colours, there is a choice of sets $A_1, A_2, A_3$ that cover all vertices, and colours $c_1, c_2, c_3$, such that for each $i = 1,2,3$ the monochromatic subgraph induced by the set $A_i$ and the colour $c_i$ has diameter at most 160.
Reconfiguration graphs of shortest paths
Published
• View Publication
• BIB
For a graph $G$ and $a,b\in V(G)$, the shortest path reconfiguration graph of $G$ with respect to $a$ and $b$ is denoted by $S(G,a,b)$. The vertex set of $S(G,a,b)$ is the set of all shortest paths between $a$ and $b$ in $G$. Two vertices in $V(S(G,a,b))$ are adjacent, if their corresponding paths in $G$ differ by exactly one vertex. This paper examines the properties of shortest path graphs. Results include establishing classes of graphs that appear as shortest path graphs, decompositions and sums involving shortest path graphs, and the complete classification of shortest path graphs with girth $5$ or greater. We also show that the shortest path graph of a grid graph is an induced subgraph of a lattice.
Sufficient conditions for the existence of a path-factor which are related to odd components
Published
• View Publication
• BIB
In this paper, we are concerned with sufficient conditions for the existence of a $\{P_{2},P_{2k+1}\}$-factor. We prove that for $k\geq 3$, there exists $\varepsilon_{k}>0$ such that if a graph $G$ satisfies $\sum_{0\leq j\leq k-1}c_{2j+1}(G-X)\leq \varepsilon_{k}|X|$ for all $X\subseteq V(G)$, then $G$ has a $\{P_{2},P_{2k+1}\}$-factor, where $c_{i}(G-X)$ is the number of components $C$ of $G-X$ with $|V(C)|=i$. On the other hand, we construct infinitely many graphs $G$ having no $\{P_{2},P_{2k+1}\}$-factor such that $\sum_{0\leq j\leq k-1}c_{2j+1}(G-X)\leq \frac{32k+141}{72k-78}|X|$ for all $X\subseteq V(G)$.
Packing parameters in graphs: New bounds and a solution to an open problem
Published in Journal of Combinatorial Optimization, 2019
• View Publication
• BIB
In this paper, we investigate the packing parameters in graphs. By applying the Mantel's theorem, We give upper bounds on packing and open packing numbers of triangle-free graphs along with characterizing the graphs for which the equalities hold and exhibit sharp Nordhaus-Gaddum type inequalities for packing numbers. We also solve the open problem of characterizing all connected graphs with $ρ_{o}(G)=n-ω(G)$ posed in [S. Hamid and S. Saravanakumar, {\em Packing parameters in graphs}, Discuss Math. Graph Theory, 35 (2015), 5--16].