Search

We describe 'staq', a full-stack quantum processing toolkit written in standard C++. 'staq' is a quantum compiler toolkit, comprising of tools that range from quantum optimizers and translators to physical mappers for quantum devices with restricted connectives. The design of 'staq' is inspired from the UNIX philosophy of "less is more", i.e. 'staq' achieves complex functionality via combining (piping) small tools, each of which performs a single task using the most advanced current state-of-the-art methods. We also provide a set of illustrative benchmarks., Comment: Replaced with the published version, comments are welcome

Quantum secret-sharing and quantum error-correction schemes rely on multipartite decoding protocols, yet the non-local operations involved are challenging and sometimes infeasible. Here we construct a quantum secret-sharing protocol with a reduced number of quantum communication channels between the players. Our scheme is based on embedding a classical linear code into a quantum error-correcting code. Our work paves the way towards the more general problem of simplifying the decoding of quantum error-correcting codes., Comment: 5 pages, 2 figures, replaced with the PRA published version

We investigate quantum secret sharing schemes constructed from $[[n,k,\delta]]_D$ non-binary stabilizer quantum error correcting codes with carrier qudits of prime dimension $D$. We provide a systematic way of determining the access structure, which completely determines the forbidden and intermediate structures. We then show that the information available to the intermediate structure can be fully described and quantified by what we call the *information group*, a subgroup of the Pauli group of $k$ qudits, and employ this group structure to construct a method for hiding the information from the intermediate structure via twirling of the information group and sharing of classical bits between the dealer and the players. Our scheme allows the transformation of a ramp (intermediate) quantum secret sharing scheme into a semi-quantum perfect secret sharing scheme with the same access structure as the ramp one but without any intermediate subsets, and is optimal in the amount of classical bits the dealer has to distribute., Comment: Replaced by published version, typos corrected

We study how multi-partite entanglement evolves under the paradigm of separable operations, which include the local operations and classical communication (LOCC) as a special case. We prove that the average "decay" of entanglement induced by a separable operation is measure independent (among SL-invariant ones) and state independent: the ratio between the average output entanglement and the initial entanglement is solely a function of the separable operation, regardless of the input state and of the SL-invariant entanglement measure being used. We discuss the "disentangling power" of a quantum channel and show that it exhibits a similar state invariance as the average entanglement decay ratio. Our Rapid Communication significantly extends the bipartite results of Ref. [1-3] as well as the multi-partite one of Ref. [4], all of the previous work being restricted to one-sided or particular noise models., Comment: Replaced by the published version, comments are welcome!

We investigate the conditions under which a set $\SC$ of pure bipartite quantum states on a $D\times D$ system can be locally cloned deterministically by separable operations, when at least one of the states is full Schmidt rank. We allow for the possibility of cloning using a resource state that is less than maximally entangled. Our results include that: (i) all states in $\SC$ must be full Schmidt rank and equally entangled under the $G$-concurrence measure, and (ii) the set $\SC$ can be extended to a larger clonable set generated by a finite group $G$ of order $|G|=N$, the number of states in the larger set. It is then shown that any local cloning apparatus is capable of cloning a number of states that divides $D$ exactly. We provide a complete solution for two central problems in local cloning, giving necessary and sufficient conditions for (i) when a set of maximally entangled states can be locally cloned, valid for all $D$; and (ii) local cloning of entangled qubit states with non-vanishing entanglement. In both of these cases, a maximally entangled resource is necessary and sufficient, and the states must be related to each other by local unitary "shift" operations. These shifts are determined by the group structure, so need not be simple cyclic permutations. Assuming this shifted form and partially entangled states, then in D=3 we show that a maximally entangled resource is again necessary and sufficient, while for higher dimensional systems, we find that the resource state must be strictly more entangled than the states in $\SC$. All of our necessary conditions for separable operations are also necessary conditions for LOCC, since the latter is a proper subset of the former. In fact, all our results hold for LOCC, as our sufficient conditions are demonstrated for LOCC, directly., REVTEX 15 pages, 1 figure, minor modifications. Same as the published version. Any comments are welcome!

Recently [Karimipour and Memarzadeh, Phys. Rev. A 73, 012329 (2006)] studied the problem of finding a family of orthonormal bases in a bipartite space each of dimension $D$ with the following properties: (i) The family continuously interpolates between the product basis and the maximally entangled basis as some parameter $t$ is varied, and (ii) for a fixed $t$, all basis states have the same amount of entanglement. The authors derived a necessary condition and provided explicit solutions for $D \leq 5$ but the existence of a solution for arbitrary dimensions remained an open problem. We prove that such families exist in arbitrary dimensions by providing two simple solutions, one employing the properties of quadratic Gauss sums and the other using graph states. The latter can be generalized to multipartite equientangled bases with more than two parties., Comment: Minor changes, replaced by the published version. Any comments are welcome!

A Holevo measure is used to discuss how much information about a given POVM on system $a$ is present in another system $b$, and how this influences the presence or absence of information about a different POVM on $a$ in a third system $c$. The main goal is to extend information theorems for mutually unbiased bases or general bases to arbitrary POVMs, and especially to generalize "all-or-nothing" theorems about information located in tripartite systems to the case of \emph{partial information}, in the form of quantitative inequalities. Some of the inequalities can be viewed as entropic uncertainty relations that apply in the presence of quantum side information, as in recent work by Berta et al. [Nature Physics 6, 659 (2010)]. All of the results also apply to quantum channels: e.g., if $\EC$ accurately transmits certain POVMs, the complementary channel $\FC$ will necessarily be noisy for certain other POVMs. While the inequalities are valid for mixed states of tripartite systems, restricting to pure states leads to the basis-invariance of the difference between the information about $a$ contained in $b$ and $c$., 21 pages. An earlier version of this paper attempted to prove our main uncertainty relation, Theorem 5, using the achievability of the Holevo quantity in a coding task, an approach that ultimately failed because it did not account for locking of classical correlations, e.g. see [DiVincenzo et al. PRL. 92, 067902 (2004)]. In the latest version, we use a very different approach to prove Theorem 5

The location of quantum information in various subsets of the qudit carriers of an additive graph code is discussed using a collection of operators on the coding space which form what we call the information group. It represents the input information through an encoding operation constructed as an explicit quantum circuit. Partial traces of these operators down to a particular subset of carriers provide an isomorphism of a subgroup of the information group, and this gives a precise characterization of what kinds of information they contain. All carriers are assumed to have the same dimension D, an arbitrary integer greater than 1., Comments are welcome. 17 pages with 4 figures

We show that the possible ensembles produced when a separable operation acts on a single pure bipartite entangled state are completely characterized by a majorization condition, a collection of inequalities for Schmidt coefficients, which is identical to that already known for the particular case of local operations and classical communication (LOCC). As a consequence, various known results for LOCC, including some involving monotonicity of entanglement, can be extended to the class of all separable operations., Typo corrected in the abstract

We study conditions for the deterministic transformation $\ket{\psi}\longrightarrow\ket{\phi}$ of a bipartite entangled state by a separable operation. If the separable operation is a local operation with classical communication (LOCC), Nielsen's majorization theorem provides necessary and sufficient conditions. For the general case we derive a necessary condition in terms of products of Schmidt coefficients, which is equivalent to the Nielsen condition when either of the two factor spaces is of dimension 2, but is otherwise weaker. One implication is that no separable operation can reverse a deterministic map produced by another separable operation, if one excludes the case where the Schmidt coefficients of $\ket{\psi}$ and are the same as those of $\ket{\phi}$. The question of sufficient conditions in the general separable case remains open. When the Schmidt coefficients of $\ket{\psi}$ are the same as those of $\ket{\phi}$, we show that the Kraus operators of the separable transformation restricted to the supports of $\ket{\psi}$ on the factor spaces are proportional to unitaries. When that proportionality holds and the factor spaces have equal dimension, we find conditions for the deterministic transformation of a collection of several full Schmidt rank pure states $\ket{\psi_j}$ to pure states $\ket{\phi_j}$., Comment: Replaced with the published version. Any comments are welcome