BZPEERPapers, people, evidence and research paths
Menu

Discover

SearchFind papers, people, topics, institutions and opportunities from one place.GraphSee how papers, authors, topics and evidence connect.

Research tools

HomeContinue from the papers, people and topics that matter now.CollectionsTurn saved papers into reading lists, evidence maps and shareable context.ResearchReconstruct the path that led you from search to paper to question.CollaborationMove from a paper, topic or expert request into a focused thread.PublishCreate full-text research articles with metadata, formulas and versions.

Network

ExpertsFind specialists whose work and reviews explain why they can help.CommunitiesJoin research groups organized around papers, topics and shared evidence.

Opportunities

ListingsBrowse roles, calls and collaborations connected to real research context.

Account

Log inReturn to your saved papers, graph views and active threads.Create accountStart saving papers, building a research trail and joining teams.
Log inCreate account

Source author record

Salman Beigi

Salman Beigi appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record
quant-phInformation Theorymath.ITmath-phmath.MPComputational Complexitymath.FAData Structures and Algorithmsmath.QA

Catalog footprint

What is connected

27works
9topics
4close collaborators

Actions

Connect this record

Log in to claim
Open graphBrowse works

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

27 published item(s)

preprint2022arXiv

Covariance Decomposition as a Universal Limit on Correlations in Networks

Parties connected to independent sources through a network can generate correlations among themselves. Notably, the space of feasible correlations for a given network, depends on the physical nature of the sources and the measurements performed by the parties. In particular, quantum sources give access to nonlocal correlations that cannot be generated classically. In this paper, we derive a universal limit on correlations in networks in terms of their covariance matrix. We show that in a network satisfying a certain condition, the covariance matrix of any feasible correlation can be decomposed as a summation of positive semidefinite matrices each of whose terms corresponds to a source in the network. Our result is universal in the sense that it holds in any physical theory of correlation in networks, including the classical, quantum and all generalized probabilistic theories.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Limits of Short-Time Evolution of Local Hamiltonians

Evolutions of local Hamiltonians in short times are expected to remain local and thus limited. In this paper, we validate this intuition by proving some limitations on short-time evolutions of local time-dependent Hamiltonians. We show that the distribution of the measurement output of short-time (at most logarithmic) evolutions of local Hamiltonians are \emph{concentrated} and satisfy an \emph{isoperimetric inequality}. To showcase explicit applications of our results, we study the \textsc{MaxCut} problem and conclude that quantum annealing needs at least a run-time that scales logarithmically in the problem size to beat classical algorithms on \textsc{MaxCut}. To establish our results, we also prove a Lieb-Robinson bound that works for time-dependent Hamiltonians which might be of independent interest.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Network Nonlocality via Rigidity of Token-Counting and Color-Matching

Network Nonlocality is the study of the Network Nonlocal correlations created by several independent entangled states shared in a network. In this paper, we provide the first two generic strategies to produce nonlocal correlations in large classes of networks without input. In the first one, called Token-Counting (TC), each source distributes a fixed number of tokens and each party counts the number of received tokens. In the second one, called Color-Matching (CM), each source takes a color and a party checks if the color of neighboring sources match. Using graph theoretic tools and Finner's inequality, we show that TC and CM distributions are rigid in wide classes of networks, meaning that there is essentially a unique classical strategy to simulate such correlations. Using this rigidity property, we show that certain quantum TC and CM strategies produce correlations that cannot be produced classicality. This leads us to several examples of Network Nonlocality without input. These examples involve creation of coherence throughout the whole network, which we claim to be a fingerprint of genuine forms of Network Nonlocality. This work extends a more compact parallel work [Nonlocality for Generic Networks, arXiv:2011.02769] on the same subject and provides all the required technical proofs.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Nonlocality for Generic Networks

Bell's theorem shows that correlations created by a single entangled quantum state cannot be reproduced classically. Such correlations are called Nonlocal. They are the elementary manifestation of a broader phenomenon called Network Nonlocality, where several entangled states shared in a network create Network Nonlocal correlations. In this paper, we provide the first class of strategies producing nonlocal correlations in generic networks. In these strategies, called Color-Matching (CM), any source takes a color at random or in superposition, where the colors are labels for a basis of the associated Hilbert space. A party (besides other things) checks if the color of neighboring sources match. We show that in a large class of networks without input, well-chosen quantum CM strategies result in nonlocal correlations that cannot be produced classically. For our construction, we introduce the graph theoretical concept of rigidity of classical strategies in networks, and using the Finner inequality, establish a deep connection between network nonlocality and graph theory. In particular, we establish a link between CM strategies and the graph coloring problem. This work is extended in a longer paper, Network Nonlocality via Rigidity of Token-Counting and Color-Matching, where we introduce a second family of rigid strategies called Token-Counting, leading to network nonlocality.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Separation of quantum, spatial quantum, and approximate quantum correlations

Quantum nonlocal correlations are generated by implementation of local quantum measurements on spatially separated quantum subsystems. Depending on the underlying mathematical model, various notions of sets of quantum correlations can be defined. In this paper we prove separations of such sets of quantum correlations. In particular, we show that the set of bipartite quantum correlations with four binary measurements per party becomes strictly smaller once we restrict the local Hilbert spaces to be finite dimensional, i.e., $\mathcal{C}_{q}^{(4, 4, 2,2)} \neq \mathcal{C}_{qs}^{(4, 4, 2,2)}$. We also prove non-closure of the set of bipartite quantum correlations with four ternary measurements per party, i.e., $\mathcal{C}_{qs}^{(4, 4, 3,3)} \neq \mathcal{C}_{qa}^{(4, 4, 3,3)}$.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Quantum reverse hypercontractivity: its tensorization and application to strong converses

In this paper we develop the theory of quantum reverse hypercontractivity inequalities and show how they can be derived from log-Sobolev inequalities. Next we prove a generalization of the Stroock-Varopoulos inequality in the non-commutative setting which allows us to derive quantum hypercontractivity and reverse hypercontractivity inequalities solely from $2$-log-Sobolev and $1$-log-Sobolev inequalities respectively. We then prove some tensorization-type results providing us with tools to prove hypercontractivity and reverse hypercontractivity not only for certain quantum superoperators but also for their tensor powers. Finally as an application of these results, we generalize a recent technique for proving strong converse bounds in information theory via reverse hypercontractivity inequalities to the quantum setting. We prove strong converse bounds for the problems of quantum hypothesis testing and classical-quantum channel coding based on the quantum reverse hypercontractivity inequalities that we derive.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Quantum Speedup Based on Classical Decision Trees

Lin and Lin have recently shown how starting with a classical query algorithm (decision tree) for a function, we may find upper bounds on its quantum query complexity. More precisely, they have shown that given a decision tree for a function $f:\{0,1\}^n\to[m]$ whose input can be accessed via queries to its bits, and a guessing algorithm that predicts answers to the queries, there is a quantum query algorithm for $f$ which makes at most $O(\sqrt{GT})$ quantum queries where $T$ is the depth of the decision tree and $G$ is the maximum number of mistakes of the guessing algorithm. In this paper we give a simple proof of and generalize this result for functions $f:[\ell]^n \to [m]$ with non-binary input as well as output alphabets. Our main tool for this generalization is non-binary span program which has recently been developed for non-binary functions, and the dual adversary bound. As applications of our main result we present several quantum query upper bounds, some of which are new. In particular, we show that topological sorting of vertices of a directed graph $\mathcal{G}$ can be done with $O(n^{3/2})$ quantum queries in the adjacency matrix model. Also, we show that the quantum query complexity of the maximum bipartite matching is upper bounded by $O(n^{3/4}\sqrt m + n)$ in the adjacency list model.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

On the Duality of Additivity and Tensorization

A function is said to be additive if, similar to mutual information, expands by a factor of $n$, when evaluated on $n$ i.i.d. repetitions of a source or channel. On the other hand, a function is said to satisfy the tensorization property if it remains unchanged when evaluated on i.i.d. repetitions. Additive rate regions are of fundamental importance in network information theory, serving as capacity regions or upper bounds thereof. Tensorizing measures of correlation have also found applications in distributed source and channel coding problems as well as the distribution simulation problem. Prior to our work only two measures of correlation, namely the hypercontractivity ribbon and maximal correlation (and their derivatives), were known to have the tensorization property. In this paper, we provide a general framework to obtain a region with the tensorization property from any additive rate region. We observe that hypercontractivity ribbon indeed comes from the dual of the rate region of the Gray-Wyner source coding problem, and generalize it to the multipartite case. Then we define other measures of correlation with similar properties from other source coding problems. We also present some applications of our results.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Phi-Entropic Measures of Correlation

A measure of correlation is said to have the tensorization property if it is unchanged when computed for i.i.d.\ copies. More precisely, a measure of correlation between two random variables $(X, Y)$ denoted by $ρ(X, Y)$, has the tensorization property if $ρ(X^n, Y^n)=ρ(X, Y)$ where $(X^n, Y^n)$ is $n$ i.i.d.\ copies of $(X, Y)$.Two well-known examples of such measures are the maximal correlation and the hypercontractivity ribbon (HC~ribbon). We show that the maximal correlation and HC ribbons are special cases of $Φ$-ribbon, defined in this paper for any function $Φ$ from a class of convex functions ($Φ$-ribbon reduces to HC~ribbon and the maximal correlation for special choices of $Φ$). Any $Φ$-ribbon is shown to be a measures of correlation with the tensorization property. We show that the $Φ$-ribbon also characterizes the $Φ$-strong data processing inequality constant introduced by Raginsky. We further study the $Φ$-ribbon for the choice of $Φ(t)=t^2$ and introduce an equivalent characterization of this ribbon.

0 citations0 reviewsNo code linkedOpen access
preprint2016arXiv

Simulation of a Channel with Another Channel

In this paper, we study the problem of simulating a DMC channel from another DMC channel under an average-case and an exact model. We present several achievability and infeasibility results, with tight characterizations in special cases. In particular for the exact model, we fully characterize when a BSC channel can be simulated from a BEC channel when there is no shared randomness. We also provide infeasibility and achievability results for simulation of a binary channel from another binary channel in the case of no shared randomness. To do this, we use properties of Rényi capacity of a given order. We also introduce a notion of "channel diameter" which is shown to be additive and satisfy a data processing inequality.

0 citations0 reviewsNo code linkedOpen access
preprint2015arXiv

Hypercontractivity and the logarithmic Sobolev inequality for the completely bounded norm

We develop the notions of hypercontractivity (HC) and the log-Sobolev (LS) inequality for completely bounded norms of one-parameter semigroups of super-operators acting on matrix algebras. We prove the equivalence of the completely bounded versions of HC and LS under suitable hypotheses. We also prove a version of the Gross Lemma which allows LS at general $q$ to be deduced from LS at $q=2$.

0 citations0 reviewsNo code linkedOpen access
preprint2014arXiv

Deterministic Randomness Extraction from Generalized and Distributed Santha-Vazirani Sources

A Santha-Vazirani (SV) source is a sequence of random bits where the conditional distribution of each bit, given the previous bits, can be partially controlled by an adversary. Santha and Vazirani show that deterministic randomness extraction from these sources is impossible. In this paper, we study the generalization of SV sources for non-binary sequences. We show that unlike the binary case, deterministic randomness extraction in the generalized case is sometimes possible. We present a necessary condition and a sufficient condition for the possibility of deterministic randomness extraction. These two conditions coincide in "non-degenerate" cases. Next, we turn to a distributed setting. In this setting the SV source consists of a random sequence of pairs $(a_1, b_1), (a_2, b_2), \ldots$ distributed between two parties, where the first party receives $a_i$'s and the second one receives $b_i$'s. The goal of the two parties is to extract common randomness without communication. Using the notion of maximal correlation, we prove a necessary condition and a sufficient condition for the possibility of common randomness extraction from these sources. Based on these two conditions, the problem of common randomness extraction essentially reduces to the problem of randomness extraction from (non-distributed) SV sources. This result generalizes results of Gács and Körner, and Witsenhausen about common randomness extraction from i.i.d. sources to adversarial sources.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

On Dimension Bounds for Auxiliary Quantum Systems

Expressions of several capacity regions in quantum information theory involve an optimization over auxiliary quantum registers. Evaluating such expressions requires bounds on the dimension of the Hilbert space of these auxiliary registers, for which no non-trivial technique is known; we lack a quantum analog of the Carathéodory theorem. In this paper, we develop a new non-Carathéodory-type tool for evaluating expressions involving a single quantum auxiliary register and several classical random variables. As we show, such expressions appear in problems of entanglement-assisted Gray-Wyner and entanglement-assisted channel simulation, where the question of whether entanglement helps in these settings is related to that of evaluating expressions with a single quantum auxiliary register. To evaluate such expressions, we argue that developing a quantum analog of the Carathéodory theorem requires a better understanding of a notion which we call ``quantum conditioning." We then proceed by proving a few results about quantum conditioning, one of which is that quantum conditioning is strictly richer than the usual classical conditioning.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Sandwiched Rényi Divergence Satisfies Data Processing Inequality

Sandwiched (quantum) $α$-Rényi divergence has been recently defined in the independent works of Wilde et al. (arXiv:1306.1586) and Müller-Lennert et al (arXiv:1306.3142v1). This new quantum divergence has already found applications in quantum information theory. Here we further investigate properties of this new quantum divergence. In particular we show that sandwiched $α$-Rényi divergence satisfies the data processing inequality for all values of $α> 1$. Moreover we prove that $α$-Holevo information, a variant of Holevo information defined in terms of sandwiched $α$-Rényi divergence, is super-additive. Our results are based on Hölder's inequality, the Riesz-Thorin theorem and ideas from the theory of complex interpolation. We also employ Sion's minimax theorem.

0 citations0 reviewsNo code linkedOpen access
preprint2013arXiv

Symmetries of Codeword Stabilized Quantum Codes

Symmetry is at the heart of coding theory. Codes with symmetry, especially cyclic codes, play an essential role in both theory and practical applications of classical error-correcting codes. Here we examine symmetry properties for codeword stabilized (CWS) quantum codes, which is the most general framework for constructing quantum error-correcting codes known to date. A CWS code Q can be represented by a self-dual additive code S and a classical code C, i.,e., Q=(S,C), however this representation is in general not unique. We show that for any CWS code Q with certain permutation symmetry, one can always find a self-dual additive code S with the same permutation symmetry as Q such that Q=(S,C). As many good CWS codes have been found by starting from a chosen S, this ensures that when trying to find CWS codes with certain permutation symmetry, the choice of S with the same symmetry will suffice. A key step for this result is a new canonical representation for CWS codes, which is given in terms of a unique decomposition as union stabilizer codes. For CWS codes, so far mainly the standard form (G,C) has been considered, where G is a graph state. We analyze the symmetry of the corresponding graph of G, which in general cannot possess the same permutation symmetry as Q. We show that it is indeed the case for the toric code on a square lattice with translational symmetry, even if its encoding graph can be chosen to be translational invariant.

0 citations0 reviewsNo code linkedOpen access
preprint2012arXiv

Indistinguishable Chargeon-Fluxion Pairs in the Quantum Double of Finite Groups

We consider the category of finite dimensional representations of the quantum double of a finite group as a modular tensor category. We study auto-equivalences of this category whose induced permutations on the set of simple objects (particles) are of the special form of PJ, where J sends every particle to its charge conjugation and P is a transposition of a chargeon-fluxion pair. We prove that if the underlying group is the semidirect product of the additive and multiplicative groups of a finite field, then such an auto-equivalence exists. In particular, we show that for S_3 (the permutation group over three letters) there is a chargeon and a fluxion which are not distinguishable. Conversely, by considering such permutations as modular invariants, we show that a transposition of a chargeon-fluxion pair forms a modular invariant if and only if the corresponding group is isomorphic to the semidirect product of the additive and multiplicative groups of a finite near-field.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

A Lower Bound on the Value of Entangled Binary Games

A two-player one-round binary game consists of two cooperative players who each replies by one bit to a message that he receives privately; they win the game if both questions and answers satisfy some predetermined property. A game is called entangled if the players are allowed to share a priori entanglement. It is well-known that the maximum winning probability (value) of entangled XOR-games (binary games in which the predetermined property depends only on the XOR of the two output bits) can be computed by a semidefinite program. In this paper we extend this result in the following sense; if a binary game is uniform, meaning that in an optimal strategy the marginal distributions of the output of each player are uniform, then its entangled value can be efficiently computed by a semidefinite program. We also introduce a lower bound on the entangled value of a general two-player one-round game; this bound depends on the size of the output set of each player and can be computed by a semidefinite program. In particular, we show that if the game is binary, w_q is its entangled value, and w_{sdp} is the optimum value of the corresponding semidefinite program, then 0.68w_{sdp} < w_q <= w_{sdp}.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Approximating the Set of Separable States Using the Positive Partial Transpose Test

The positive partial transpose test is one of the main criteria for detecting entanglement, and the set of states with positive partial transpose is considered as an approximation of the set of separable states. However, we do not know to what extent this criterion, as well as the approximation, are efficient. In this paper, we show that the positive partial transpose test gives no bound on the distance of a density matrix from separable states. More precisely, we prove that, as the dimension of the space tends to infinity, the maximum trace distance of a positive partial transpose state from separable states tends to 1. Using similar techniques, we show that the same result holds for other well-known separability criteria such as reduction criterion, majorization criterion and symmetric extension criterion. We also bring an evidence that the sets of positive partial transpose states and separable states have totally different shapes.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Classification of the phases of 1D spin chains with commuting Hamiltonians

We consider the class of spin Hamiltonians on a 1D chain with periodic boundary conditions that are (i) translational invariant, (ii) commuting and (iii) scale invariant, where by the latter we mean that the ground state degeneracy is independent of the system size. We correspond a directed graph to a Hamiltonian of this form and show that the structure of its ground space can be read from the cycles of the graph. We show that the ground state degeneracy is the only parameter that distinguishes the phases of these Hamiltonians. Our main tool in this paper is the idea of Bravyi and Vyalyi (2005) in using the representation theory of finite dimensional C^*-algebras to study commuting Hamiltonians.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Entanglement-assisted zero-error capacity is upper bounded by the Lovasz theta function

The zero-error capacity of a classical channel is expressed in terms of the independence number of some graph and its tensor powers. This quantity is hard to compute even for small graphs such as the cycle of length seven, so upper bounds such as the Lovasz theta function play an important role in zero-error communication. In this paper, we show that the Lovasz theta function is an upper bound on the zero-error capacity even in the presence of entanglement between the sender and receiver.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Quantum interactive proofs with short messages

This paper considers three variants of quantum interactive proof systems in which short (meaning logarithmic-length) messages are exchanged between the prover and verifier. The first variant is one in which the verifier sends a short message to the prover, and the prover responds with an ordinary, or polynomial-length, message; the second variant is one in which any number of messages can be exchanged, but where the combined length of all the messages is logarithmic; and the third variant is one in which the verifier sends polynomially many random bits to the prover, who responds with a short quantum message. We prove that in all of these cases the short messages can be eliminated without changing the power of the model, so the first variant has the expressive power of QMA and the second and third variants have the expressive power of BQP. These facts are proved through the use of quantum state tomography, along with the finite quantum de Finetti theorem for the first variant.

0 citations0 reviewsNo code linkedOpen access
preprint2011arXiv

Simplified instantaneous non-local quantum computation with applications to position-based cryptography

Instantaneous measurements of non-local observables between space-like separated regions can be performed without violating causality. This feat relies on the use of entanglement. Here we propose novel protocols for this task and the related problem of multipartite quantum computation with local operations and a single round of classical communication. Compared to previously known techniques, our protocols reduce the entanglement consumption by an exponential amount. We also prove a linear lower bound on the amount of entanglement required for the implementation of a certain non-local measurement. These results relate to position-based cryptography: an amount of entanglement scaling exponentially in the number of communicated qubits is sufficient to render any such scheme insecure. Furthermore, we show that certain schemes are secure under the assumption that the adversary has less entanglement than a given linear bound and is restricted to classical communication.

0 citations0 reviewsNo code linkedOpen access
preprint2010arXiv

Graph Concatenation for Quantum Codes

Graphs are closely related to quantum error-correcting codes: every stabilizer code is locally equivalent to a graph code, and every codeword stabilized code can be described by a graph and a classical code. For the construction of good quantum codes of relatively large block length, concatenated quantum codes and their generalizations play an important role. We develop a systematic method for constructing concatenated quantum codes based on "graph concatenation", where graphs representing the inner and outer codes are concatenated via a simple graph operation called "generalized local complementation." Our method applies to both binary and non-binary concatenated quantum codes as well as their generalizations.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

C3, Semi-Clifford and Generalized Semi-Clifford Operations

Fault-tolerant quantum computation is a basic problem in quantum computation, and teleportation is one of the main techniques in this theory. Using teleportation on stabilizer codes, the most well-known quantum codes, Pauli gates and Clifford operators can be applied fault-tolerantly. Indeed, this technique can be generalized for an extended set of gates, the so called ${\mathcal{C}}_k$ hierarchy gates, introduced by Gottesman and Chuang (Nature, 402, 390-392). ${\mathcal{C}}_k$ gates are a generalization of Clifford operators, but our knowledge of these sets is not as rich as our knowledge of Clifford gates. Zeng et al. in (Phys. Rev. A 77, 042313) raise the question of the relation between ${\mathcal{C}}_k$ hierarchy and the set of semi-Clifford and generalized semi-Clifford operators. They conjecture that any ${\mathcal{C}}_k$ gate is a generalized semi-Clifford operator. In this paper, we prove this conjecture for $k=3$. Using the techniques that we develop, we obtain more insight on how to characterize ${\mathcal{C}}_3$ gates. Indeed, the more we understand ${\mathcal{C}}_3$, the more intuition we have on ${\mathcal{C}}_k$, $k\geq 4$, and then we have a way of attacking the conjecture for larger $k$.

0 citations0 reviewsNo code linkedOpen access
preprint2009arXiv

NP vs QMA_log(2)

Although it is believed unlikely that $\NP$-hard problems admit efficient quantum algorithms, it has been shown that a quantum verifier can solve $\NP$-complete problems given a "short" quantum proof; more precisely, $\NP\subseteq \QMA_{\log}(2)$ where $\QMA_{\log}(2)$ denotes the class of quantum Merlin-Arthur games in which there are two unentangled provers who send two logarithmic size quantum witnesses to the verifier. The inclusion $\NP\subseteq \QMA_{\log}(2)$ has been proved by Blier and Tapp by stating a quantum Merlin-Arthur protocol for 3-coloring with perfect completeness and gap $\frac{1}{24n^6}$. Moreover, Aaronson {\it et al.} have shown the above inclusion with a constant gap by considering $\widetilde{O}(\sqrt{n})$ witnesses of logarithmic size. However, we still do not know if $\QMA_{\log}(2)$ with a constant gap contains $\NP$. In this paper, we show that 3-SAT admits a $\QMA_{\log}(2)$ protocol with the gap $\frac{1}{n^{3+ε}}$ for every constant $ε>0$.

0 citations0 reviewsNo code linkedOpen access
preprint2007arXiv

Graph States Under the Action of Local Clifford Group in Non-Binary Case

Graph states are well-entangled quantum states that are defined based on a graph. Of course, if two graphs are isomorphic their associated states are the same. Also, we know local operations do not change the entanglement of quantum states. Therefore, graph states that are either isomorphic or equivalent under the local Clifford group have the same properties. In this paper, we first establish a bound on the number of graph states which are neither isomorphic nor equivalent under the action of local Clifford group. Also, we study graph states in non-binary case. We translate the action of local Clifford group, as well as measurement of Pauli operators, into transformations on their associated graphs. Finally, we present an efficient algorithm to verify whether two graph states, in non-binary case, are locally equivalent or not.

0 citations0 reviewsNo code linkedOpen access