graph
35396 papers tagged with this keyword
Quantum Fourier Sampling is Guaranteed to Fail to Compute Automorphism Groups of Easy Graphs
The quantum hidden subgroup approach is an actively studied approach to solve combinatorial problems in quantum complexity theory. With the success of the Shor's algorithm, it was hoped that similar approach may be useful to solve the other combinatorial problems. One such problem is the graph isomorphism problem which has survived decades of efforts using the hidden subgroup approach. This paper provides a systematic approach to create arbitrarily large classes of classically efficiently solvable graph automorphism problems or easy graph automorphism problems for which hidden subgroup approach is guaranteed to always fail irrespective of the size of the graphs no matter how many copies of coset states are used. As the graph isomorphism problem is believed to be at least as hard as the graph automorphism problem, the result of this paper entails that the hidden subgroup approach is also guaranteed to always fail for the arbitrarily large classes of graph isomorphism problems. Combining these two results, it is argued that the hidden subgroup approach is essentially a dead end and alternative quantum algorithmic approach needs to be investigated for the graph isomorphism and automorphism problems.
Finding Minimum Spanning Forests in a Graph
We introduce a graph partitioning problem motivated by computational topology and propose two algorithms that produce approximate solutions. Specifically, given a weighted, undirected graph $G$ and a positive integer $k$, we desire to find $k$ disjoint trees within $G$ such that each vertex of $G$ is contained in one of the trees and the weight of the largest tree is as small as possible. We are unable to find this problem in the graph partitioning literature, but we show that the problem is NP-complete. We then propose two approximation algorithms, one that uses a spectral clustering approach and another that employs a dynamic programming strategy, which produce near-optimal partitions on a family of test graphs. We describe these algorithms and analyze their empirical performance.
Condition for zero and non-zero discord in graph Laplacian quantum states
Published in International Journal of Quantum Information, Vol. 17, No. 02, 1950018 (2019)
• View Publication
• BIB
This work is at the interface of graph theory and quantum mechanics. Quantum correlations epitomize the usefulness of quantum mechanics. Quantum discord is an interesting facet of bipartite quantum correlations. Earlier, it was shown that every combinatorial graph corresponds to quantum states whose characteristics are reflected in the structure of the underlined graph. A number of combinatorial relations between quantum discord and simple graphs were studied. To extend the scope of these studies, we need to generalize the earlier concepts applicable to simple graphs to weighted graphs, corresponding to a diverse class of quantum states. To this effect, we determine the class of quantum states whose density matrix representation can be derived from graph Laplacian matrices associated with a weighted directed graph and call them graph Laplacian quantum states. We find the graph-theoretic conditions for zero and non-zero quantum discord for these states. We apply these results on some important pure two qubit states, as well as a number of mixed quantum states, such as the Werner, Isotropic, and $X$-states. We also consider graph Laplacian states corresponding to simple graphs as a special case.
Some new results on the total domination polynomial of a graph
Let $G = (V, E)$ be a simple graph of order $n$. The total dominating set of $G$ is a subset $D$ of $V$ that every vertex of $V$ is adjacent to some vertices of $D$. The total domination number of $G$ is equal to minimum cardinality of total dominating set in $G$ and is denoted by $γ_t(G)$. The total domination polynomial of $G$ is the polynomial $D_t(G,x)=\sum_{i=γ_t(G)}^n d_t(G,i)x^i$, where $d_t(G,i)$ is the number of total dominating sets of $G$ of size $i$. A root of $D_t(G,x)$ is called a total domination root of $G$. An irrelevant edge of $D_t(G,x)$ is an edge $e \in E$, such that $D_t(G, x) = D_t(G\setminus e, x)$. In this paper, we characterize edges possessing this property. Also we obtain some results for the number of total dominating sets of a regular graph. Finally, we study graphs with exactly two total domination roots $\{-3,0\}$, $\{-2,0\}$ and $\{-1,0\}$.
Edge arboricity : Do we need equitabilility ?
In this paper we study a new variant of graph arboricity, which requires all the forests to have the same number of edges (up to a difference of 1). We prove that the new variant, which we call equitable arboricity, is equivalent to ordinary arboricity. In other words we show that any arborescent decomposition of a graph can be transformed into an equitable one without modifying the number of used forests.
On the super domination number of graphs
The open neighbourhood of a vertex $v$ of a graph $G$ is the set $N(v)$ consisting of all vertices adjacent to $v$ in $G$. For $D\subseteq V(G)$, we define $\overline{D}=V(G)\setminus D$. A set $D\subseteq V(G)$ is called a super dominating set of $G$ if for every vertex $u\in \overline{D}$, there exists $v\in D$ such that $N(v)\cap \overline{D}=\{u\}$. The super domination number of $G$ is the minimum cardinality among all super dominating sets in $G$. In this article, we obtain closed formulas and tight bounds for the super domination number of $G$ in terms of several invariants of $G$. Furthermore, the particular cases of corona product graphs and Cartesian product graphs are considered.
On Perfect Matchings and tilings in uniform Hypergraphs
Published
• View Publication
• BIB
In this paper we study some variants of Dirac-type problems in hypergraphs. First, we show that for $k\ge 3$, if $H$ is a $k$-graph on $n\in k\mathbb N$ vertices with independence number at most $n/p$ and minimum codegree at least $(1/p+o(1))n$, where $p$ is the smallest prime factor of $k$, then $H$ contains a perfect matching. Second, we show that if $H$ is a $3$-graph on $n\in 3\mathbb N$ vertices which does not contain any induced copy of $K_4^-$ (the unique $3$-graph with $4$ vertices and $3$ edges) and has minimum codegree at least $(1/3+o(1)))n$, then $H$ contains a perfect matching. Moreover, if we allow the matching to miss at most $3$ vertices, then the minimum degree condition can be reduced to $(1/6+o(1)))n$. Third, we show that if $H$ is a $3$-graph on $n\in 4\mathbb N$ vertices which does not contain any induced copy of $K_4^-$ and has minimum codegree at least $(1/8+o(1)))n$, then $H$ contains a perfect $Y$-tiling, where $Y$ represents the unique $3$-graph with $4$ vertices and $2$ edges. We also provide the examples showing that our minimum codegree conditions are asymptotically best possible. Our main tool for finding the perfect matching is a characterization theorem that characterizes the $k$-graphs with minimum codegree at least $n/k$ which contain a perfect matching.
Differential algebra of cubic planar graphs
Published
• View Publication
• BIB
In this article we associate a combinatorial differential graded algebra to a cubic planar graph G. This algebra is defined combinatorially by counting binary sequences, which we introduce, and several explicit computations are provided. In addition, in the appendix by K. Sackel the F(q)-rational points of its graded augmentation variety are shown to coincide with (q+1)-colorings of the dual graph.
On computational and combinatorial properties of the total co-independent domination number of graphs
A subset $D$ of vertices of a graph $G$ is a total dominating set if every vertex of $G$ is adjacent to at least one vertex of $D$. The total dominating set $D$ is called a total co-independent dominating set if the subgraph induced by $V-D$ is edgeless and has at least one vertex. The minimum cardinality of any total co-independent dominating set is the total co-independent domination number of $G$ and is denoted by $γ_{t,coi}(G)$. In this work we study some complexity and combinatorial properties of $γ_{t,coi}(G)$. Specifically, we prove that deciding whether $γ_{t,coi}(G)\le k$ for a given integer $k$ is an NP-complete problem and give several bounds on $γ_{t,coi}(G)$. Also, since any total co-independent dominating set is also a total dominating set, we characterize all the trees having equal total co-independent domination number and total domination number.
The Lovász Theta Function for Random Regular Graphs and Community Detection in the Hard Regime
Published
• View Publication
• BIB
We derive upper and lower bounds on the degree $d$ for which the Lovász $\vartheta$ function, or equivalently sum-of-squares proofs with degree two, can refute the existence of a $k$-coloring in random regular graphs $G_{n,d}$. We show that this type of refutation fails well above the $k$-colorability transition, and in particular everywhere below the Kesten-Stigum threshold. This is consistent with the conjecture that refuting $k$-colorability, or distinguishing $G_{n,d}$ from the planted coloring model, is hard in this region. Our results also apply to the disassortative case of the stochastic block model, adding evidence to the conjecture that there is a regime where community detection is computationally hard even though it is information-theoretically possible. Using orthogonal polynomials, we also provide explicit upper bounds on $\vartheta(\overline{G})$ for regular graphs of a given girth, which may be of independent interest.
Four Edge-Independent Spanning Trees
Published
• View Publication
• BIB
We prove an ear-decomposition theorem for $4$-edge-connected graphs and use it to prove that for every $4$-edge-connected graph $G$ and every $r\in V(G)$, there is a set of four spanning trees of $G$ with the following property. For every vertex in $G$, the unique paths back to $r$ in each tree are edge-disjoint. Our proof implies a polynomial-time algorithm for constructing the trees.
Polynomial-Time Algorithms for Sliding Tokens on Cactus Graphs and Block Graphs
Given two independent sets $I, J$ of a graph $G$, and imagine that a token (coin) is placed at each vertex of $I$. The Sliding Token problem asks if one could transform $I$ to $J$ via a sequence of elementary steps, where each step requires sliding a token from one vertex to one of its neighbors so that the resulting set of vertices where tokens are placed remains independent. This problem is $\mathsf{PSPACE}$-complete even for planar graphs of maximum degree $3$ and bounded-treewidth. In this paper, we show that Sliding Token can be solved efficiently for cactus graphs and block graphs, and give upper bounds on the length of a transformation sequence between any two independent sets of these graph classes. Our algorithms are designed based on two main observations. First, all structures that forbid the existence of a sequence of token slidings between $I$ and $J$, if exist, can be found in polynomial time. A sufficient condition for determining no-instances can be easily derived using this characterization. Second, without such forbidden structures, a sequence of token slidings between $I$ and $J$ does exist. In this case, one can indeed transform $I$ to $J$ (and vice versa) using a polynomial number of token-slides.
Highly connected infinite digraphs without edge-disjoint back and forth paths between a certain vertex pair
Published in Journal of graph theory, volume 85, 1, p. 51--55, 2017
• View Publication
• BIB
We construct for all $ k\in \mathbb{N} $ a $ k $-edge-connected digraph $ D $ with $ s,t\in V(D) $ such that there are no edge-disjoint $ s \rightarrow t $ and $t\rightarrow s $ paths. We use in our construction "self-similar" graphs which technique could be useful in other problems as well.
Orientations of 1-Factorizations and the List Chromatic Index of Small Graphs
Published
• View Publication
• BIB
As starting point, we formulate a corollary to the Quantitative Combinatorial Nullstellensatz. This corollary does not require the consideration of any coefficients of polynomials, only evaluations of polynomial functions. In certain situations, our corollary is more directly applicable and more ready-to-go than the Combinatorial Nullstellensatz itself. It is also of interest from a numerical point of view. We use it to explain a well-known connection between the sign of 1-factorizations (edge colorings) and the List Edge Coloring Conjecture. For efficient calculations and a better understanding of the sign, we then introduce and characterize the sign of single 1-factors. We show that the product over all signs of all the 1-factors in a 1-factorization is the sign of that 1-factorization. Using this result in an algorithm, we attempt to prove the List Edge Coloring Conjecture for all graphs with up to 10 vertices. This leaves us with some exceptional cases that need to be attacked with other methods.
On the existence of 4-regular matchstick graphs
A matchstick graph is a planar unit-distance graph. We call it \emph{4-regular} if every vertex has degree 4. While examples of 4-regular matchstick graphs with fewer than 63 vertices are known only for $n \in \{52, 54, 57, 60\}$, we prove the existence of such graphs for every integer $n \geq 63$.
Spanning Tree Auxiliary Graphs
In this paper, we define a class of auxiliary graphs associated with simple undirected graphs. This class of auxiliary graphs is based on the set of spanning trees of the original graph and the edges constituting those spanning trees. A class of auxiliary graphs can be viewed as a function from the class of graphs to the class of graphs. We provide mathematical characterisation of graphs which are the spanning tree auxiliary graphs of some simple graph. Since the class of spanning tree auxiliary graphs of graphs do not have unique preimages (the forward function is not injective), we derive precisely the classes of graphs which have the same auxiliary graph. We design algorithms for computing a basic preimage and define rules to get other solutions for the same auxiliary graph. We also obtain several results expressing parameters of the auxiliary graph in terms of (not necessarily the same) parameters of the original graph.
Reflexive polytopes arising from partially ordered sets and perfect graphs
Published in Journal of Algebraic Combinatorics 49(2019), 69--81
• View Publication
• BIB
Reflexive polytopes which have the integer decomposition property are of interest. Recently, some large classes of reflexive polytopes with integer decomposition property coming from the order polytopes and the chain polytopes of finite partially ordered sets are known. In the present paper, we will generalize this result. In fact, by virtue of the algebraic technique on Gröbner bases, new classes of reflexive polytopes with the integer decomposition property coming from the order polytopes of finite partially ordered sets and the stable set polytopes of perfect graphs will be introduced. Furthermore, the result will give a polyhedral characterization of perfect graphs. Finally, we will investigate the Ehrhart $δ$-polynomials of these reflexive polytopes.
Zero divisors and units with small supports in group algebras of torsion-free groups
Published
• View Publication
• BIB
We associate a graph to a possible non-zero zero-divisor in the group algebra of a torsion-free group.
Pebbling on Jahangir graphs
The pebbling number of a graph $G$, $f(G)$, is the least $p$ such that, however $p$ pebbles are placed on the vertices of $G$, we can move a pebble to any vertex by a sequence of moves, each move taking two pebbles off one vertex and placing one on an adjacent vertex. In this paper, we will show the pebbling number of Jahangir graphs $J_{n,m}$ with $n$ even, $m\geq8$.
Graham's pebbling conjecture on Cartesian product of the middle graphs of even cycles
A pebbling move on a graph $G$ consists of taking two pebbles off one vertex and placing one on an adjacent vertex. The pebbling number of a graph $G$, denoted by $f(G)$, is the least integer $n$ such that, however $n$ pebbles are located on the vertices of $G$, we can move one pebble to any vertex by a sequence of pebbling moves. Let $M(G)$ be the middle graph of $G$. For any connected graphs $G$ and $H$, Graham conjectured that $f(G\times H)\leq f(G)f(H)$. In this paper, we give the pebbling number of some graphs and prove that Graham's conjecture holds for the middle graphs of some even cycles.