arXiv subjects
Publications and source records attributed to Tsubasa Ichikawa.
We present a systematic construction of quantum circuits implementing Grover's database search algorithm for arbitrary number of targets. We introduce a new operator which flips the sign of the targets and evaluate its circuit complexity. We find the condition under which the circuit complexity of the database search algorithm based on this operator is less than that of the conventional one.
We present a general criterion for entanglement of N indistinguishable particles decomposed into arbitrary s subsystems based on the unambiguous measurability of correlation. Our argument provides a unified viewpoint on the entanglement of indistinguishable particles, which is still unsettled despite various proposals made mainly for the s = 2 case. Even though entanglement is defined only with reference to the measurement setup, we find that the so-called i.i.d. states form a special class of bosonic states which are universally separable.
We present a criterion of separability for arbitrary s partitions of N-particle fermionic pure states. We show that, despite the superficial non-factorizability due to the antisymmetry required by the indistinguishability of the particles, the states which meet our criterion have factorizable correlations for a class of observables which are specified consistently with the states. The separable states and the associated class of observables share an orthogonal structure, whose non-uniqueness is found to be intrinsic to the multi-partite separability and leads to the non-transitivity in the factorizability in general. Our result generalizes the previous result obtained by Ghirardi et. al. [J. Stat. Phys. 108 (2002) 49] for the s = 2 and s = N case.
To determine whether a given multipartite quantum state is separable with respect to some partition we construct a family of entanglement measures R_m. This is done utilizing generalized concurrences as building blocks which are defined by flipping of M constituents and indicate states that are separable with regard to bipartitions when vanishing. Further, we provide an analytically computable lower bound for R_m via a simple ordering relation of the convex roof extension. Using the derived lower bound, we illustrate the effect of the isotropic noise on a family of four-qubit mixed states for each intermediate separability.
We present a family of entanglement measures R_m which act as indicators for separability of n-qubit quantum states into m subsystems for arbitrary 2 \leq m \leq n. The measure R_m vanishes if the state is separable into m subsystems, and for m = n it gives the Meyer-Wallach measure while for m = 2 it reduces, in effect, to the one introduced recently by Love et al. The measures R_m are evaluated explicitly for the GHZ state and the W state (and its modifications, the W_k states) to show that these globally entangled states exhibit rather distinct behaviors under the measures, indicating the utility of the measures R_m for characterizing globally entangled states as well.
Entanglement of multipartite systems is studied based on exchange symmetry under the permutation group S_N. With the observation that symmetric property under the exchange of two constituent states and their separability are intimately linked, we show that anti-symmetric (fermionic) states are necessarily globally entangled, while symmetric (bosonic) states are either globally entangled or fully separable and possess essentially identical states in all the constituent systems. It is also shown that there cannot exist a fully separable state which is orthogonal to all symmetric states, and that full separability of states does not survive under total symmetrization unless the states are originally symmetric. Besides, anyonic states permitted under the braid group B_N should also be globally entangled. Our results reveal that exchange symmetry is actually sufficient for pure states to become globally entangled or fully separable.
We study the possibility of testing local realistic theory (LRT), envisioned implicitly by Einstein, Podolsky and Rosen in 1935, based on the Bell inequality for the correlations in the decay modes of entangled K or B-mesons. It is shown that such a test is possible for a restricted class of LRT, despite the passive nature of decay events and/or the non-unitary treatment of the correlations which invalidate the test for general LRT. Unfortunately, the present setup of the KEKB (Belle) experiment, where the coherence of entangled B-mesons has been confirmed recently, does not admit such a test due to the inability of determining the decay times of the entangled pairs separately. The indeterminacy also poses a problem for ensuring the locality of the test, indicating that improvement to resolve the indeterminacy is crucial for the test of LRT.
Symmetric quantum games for 2-player, 2-qubit strategies are analyzed in detail by using a scheme in which all pure states in the 2-qubit Hilbert space are utilized for strategies. We consider two different types of symmetric games exemplified by the familiar games, the Battle of the Sexes (BoS) and the Prisoners' Dilemma (PD). These two types of symmetric games are shown to be related by a duality map, which ensures that they share common phase structures with respect to the equilibria of the strategies. We find eight distinct phase structures possible for the symmetric games, which are determined by the classical payoff matrices from which the quantum games are defined. We also discuss the possibility of resolving the dilemmas in the classical BoS, PD and the Stag Hunt (SH) game based on the phase structures obtained in the quantum games. It is observed that quantization cannot resolve the dilemma fully for the BoS, while it generically can for the PD and SH if appropriate correlations for the strategies of the players are provided.