Source author record

Sixia Yu

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

41works
1topics
4close collaborators

Actions

Connect this record

Log in to claim

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

41 published item(s)

preprint2022arXiv

Efficient quantum algorithm for solving structured problems via multi-step quantum computation

In classical computation, a problem can be solved in multiple steps where calculated results of each step can be copied and used repeatedly. While in quantum computation, it is difficult to realize a similar multi-step computation process because the no-cloning theorem forbids making copies of an unknown quantum state perfectly. We find a method based on quantum resonant transition to protect and reuse an unknown quantum state that encodes calculated results of an intermediate step without making copies of the state, and present a quantum algorithm that solves a problem via a multi-step quantum computation process. This algorithm can achieve an exponential speedup over classical algorithms in solving a type of structured search problems.

preprint2022arXiv

Experimental demonstration of genuine tripartite nonlocality under strict locality conditions

Nonlocality captures one of the counterintuitive features of nature that defies classical intuition. Recent investigations reveal that our physical world's nonlocality is at least tripartite; i.e., genuinely tripartite nonlocal correlations in nature cannot be reproduced by any causal theory involving bipartite nonclassical resources and unlimited shared randomness. Here, by allowing the fair sampling assumption and postselection, we experimentally demonstrate such genuine tripartite nonlocality in a network under strict locality constraints that are ensured by spacelike separating all relevant events and employing fast quantum random number generators and high-speed polarization measurements. In particular, for a photonic quantum triangular network we observe a locality-loophole-free violation of the Bell-type inequality by 7.57 standard deviations for a postselected tripartite Greenberger-Horne-Zeilinger state of fidelity $(93.13 \pm 0.24)\%$, which convincingly disproves the possibility of simulating genuine tripartite nonlocality by bipartite nonlocal resources with globally shared randomness.

preprint2016arXiv

Effect of weak measurement on entanglement distribution over noisy channels

Being able to implement effective entanglement distribution in noisy environments is a key step towards practical quantum communication, and long-term efforts have been made on the development of it. Recently, it has been found that the null-result weak measurement (NRWM) can be used to enhance probabilistically the entanglement of a single copy of amplitude-damped entangled state. This paper investigates remote distributions of bipartite and multipartite entangled states in the amplitudedamping environment by combining NRWMs and entanglement distillation protocols (EDPs). We show that the NRWM has no positive effect on the distribution of bipartite maximally entangled states and multipartite Greenberger-Horne-Zeilinger states, although it is able to increase the amount of entanglement of each source state (noisy entangled state) of EDPs with a certain probability. However, we find that the NRWM would contribute to remote distributions of multipartite W states. We demonstrate that the NRWM can not only reduce the fidelity thresholds for distillability of decohered W states, but also raise the distillation efficiencies of W states. Our results suggest a new idea for quantifying the ability of a local filtering operation in protecting entanglement from decoherence.

preprint2016arXiv

Evaluation of entanglement measures by a single observable

We present observable lower bounds for several bipartite entanglement measures including entanglement of formation, geometric measure of entanglement, concurrence, convex-roof extended negativity, and G-concurrence. The lower bounds facilitate estimates of these entanglement measures for arbitrary finite-dimensional bipartite states. Moreover, these lower bounds can be calculated analytically from the expectation value of a single observable. Based on our results, we use several real experimental measurement data to get lower bounds of entanglement measures for these experimentally realized states. In addition, we also study the relations between entanglement measures.

preprint2016arXiv

Experimental test of non-classicality of quantum mechanics using an individual atomic solid-state quantum system

Quantum mechanics provides a statistical description about nature, and thus would be incomplete if its statistical predictions could not be accounted for some realistic models with hidden variables. There are, however, two powerful theorems against the hidden-variable theories showing that certain quantum features cannot be reproduced based on two rationale premises of classicality, the Bell theorem, and noncontextuality, due to Bell, Kochen and Specker (BKS) . Tests of the Bell inequality and the BKS theorem are both of fundamental interests and of great significance . The Bell theorem has already been experimentally verified extensively on many different systems , while the quantum contextuality, which is independent of nonlocality and manifests itself even in a single object, is experimentally more demanding. Moreover, the contextuality has been shown to play a critical role to supply the `magic' for quantum computation, making more extensive experimental verifications in potential systems for quantum computing even more stringent. Here we report an experimental verification of quantum contextuality on an individual atomic nuclear spin-1 system in solids under ambient condition. Such a three-level system is indivisible and thus the compatibility loophole, which exists in the experiments performed on bipartite systems, is closed. Our experimental results confirm that the quantum contextuality cannot be explained by nonlocal entanglement, revealing the fundamental quantumness other than locality/nonlocality within the intrinsic spin freedom of a concrete natural atomic solid-state system at room temperature.

preprint2016arXiv

Hierarchy of multipartite nonlocality in the nonsignaling scenario

We propose a hierarchy of Bell-type inequalities for arbitrary $n$-partite systems that identify the different degrees of nonlocality ranging from standard to genuine multipartite nonlocality. After introducing the definition of nonsignaling $m$-locality, we show that the observed joint probabilities in any nonsignaling $m$-local realistic models should satisfy the $(m-1)$-th Bell-type inequality. When $m=2$ the corresponding inequality reduces to the one shown in [Phys. Rev. Lett. 112, 140404 (2014)] whose violation indicates genuine multipartite nonlocality, and when $m=n$ the corresponding inequality is just Hardy's inequality whose violation indicates standard multipartite nonlocality. Furthermore, several examples are provided to demonstrate their hierarchy of multipartite nonlocality.

preprint2016arXiv

Separability criteria with angular and Hilbert space averages

The practically useful criteria of separable states $ρ=\sum_{k}w_{k}ρ_{k}$ in $d=2\times2$ are discussed. The equality $G({\bf a},{\bf b})= 4[\langle ψ|P({\bf a})\otimes P({\bf b})|ψ\rangle-\langle ψ|P({\bf a})\otimes{\bf 1}|ψ\rangle\langle ψ|{\bf 1}\otimes P({\bf b})|ψ\rangle]=0$ for any two projection operators $P({\bf a})$ and $P({\bf b})$ provides a necessary and sufficient separability criterion in the case of a separable pure state $ρ=|ψ\rangle\langleψ|$. We propose the separability criteria of mixed states, which are given by ${\rm Tr}ρ\{{\bf a}\cdot {\bf σ}\otimes {\bf b}\cdot {\bf σ}\}=(1/3)C\cosφ$ for two spin $1/2$ systems and $4{\rm Tr}ρ\{P({\bf a})\otimes P({\bf b})\}=1+(1/2)C\cos2φ$ for two photon systems, respectively, after taking a geometrical angular average of ${\bf a}$ and ${\bf b}$ with fixed $\cosφ={\bf a}\cdot{\bf b}$. Here $-1\leq C\leq 1$, and the difference in the numerical coefficients $1/2$ and $1/3$ arises from the different rotational properties of the spinor and the transverse photon. If one instead takes an average over the states in the $d=2$ Hilbert space, the criterion for two photon systems is replaced by $4{\rm Tr}ρ\{P({\bf a})\otimes P({\bf b})\}=1+(1/3)C\cos2φ$. Those separability criteria are shown to be very efficient using the existing experimental data of Aspect et al. in 1981 and Sakai et al. in 2006. When the Werner state is applied to two photon systems, it is shown that the Hilbert space average can judge its inseparability but not the geometrical angular average.

preprint2015arXiv

Complete condition for nonzero quantum correlation in continuous variable systems

Quantum correlation provides a promising measure beyond entanglement. Here, we propose a necessary and sufficient condition for nonzero quantum correlation in continuous variable systems, which is simple and easy to perform in terms of a marker $Q_r$. In order to get this condition, we introduce continuous-variable local orthogonal bases of the operator space, which are generalized from the orthogonal basis sets in local operator space for discrete variables. Based on this, we obtain the marker $Q_r$ for all bipartite continuous variable states, and provide several examples including two-mode Gaussian and non-Gaussian states. Our result may provide a candidate for quantum correlation measures, and can be measured by designed quantum circuits.

preprint2015arXiv

Detecting the local indistinguishability of maximally entangled states

By incorporating the asymmetry of local protocols, i.e., some party has to start with a nontrivial measurement, into an operational method of detecting the local indistinguishability proposed by Horodecki {\it et al.} [Phys.Rev.Lett. 90 047902 (2003)], we derive a computable criterion to efficiently detect the local indistinguishability of maximally entangled states. Locally indistinguishable sets of $d$ maximally entangled states in a $d\otimes d$ system are systematically constructed for all $d\ge 4$ as an application. Furthermore, by exploiting the fact that local protocols are necessarily separable, we explicitly construct small sets of $k$ locally indistinguishable maximally entangled states with the ratio $k/d$ approaching 3/4. In particular, in a $d\otimes d$ system with even $d\ge 6$, there always exist $d-1$ maximally entangled states that are locally indistinguishable by separable measurements.

preprint2015arXiv

Robust quantum metrological schemes based on protection of quantum Fisher information

Fragile quantum features such as entanglement are employed to improve the precision of parameter estimation and as a consequence the quantum gain becomes vulnerable to noise. As an established tool to subdue noise, quantum error correction is unfortunately overprotective because the quantum enhancement can still be achieved even if the states are irrecoverably affected, provided that the quantum Fisher information, which sets the ultimate limit to the precision of metrological schemes, is preserved and attained. Here, we develop a theory of robust metrological schemes that preserve the quantum Fisher information instead of the quantum states themselves against noise. After deriving a minimal set of testable conditions on this kind of robustness, we construct a family of $2t+1$ qubits metrological schemes being immune to $t$-qubit errors after the signal sensing. In comparison at least five qubits are required for correcting arbitrary 1-qubit errors in standard quantum error correction.

preprint2014arXiv

Bell's inequality and extremal nonlocal box from Hardy's test for nonlocality

Bell showed 50 years ago that quantum theory is nonlocal via his celebrated inequalities, turning the issue of quantum nonlocality from a matter of taste into a matter of test. Years later, Hardy proposed a test for nonlocality without inequality, which is a kind of "something-versus-nothing" argument. Hardy's test for $n$ particles induces an $n$-partite Bell's inequality with two dichotomic local measurements for each observer, which has been shown to be violated by all entangled pure states. Our first result is to show that the Bell-Hardy inequality arising form Hardy's nonlocality test is tight for an arbitrary number of parties, i.e., it defines a facet of the Bell polytope in the given scenario. On the other hand quantum theory is not that nonlocal since it forbids signaling and even not as nonlocal as allowed by non-signaling conditions, i.e., quantum mechanical predictions form a strict subset of the so called non-signaling polytope. In the scenario of each observer measuring two dichotomic observables, Fritz established a duality between the Bell polytope and the non-signaling polytope: tight Bell's inequalities, the facets of the Bell polytope, are in a one-to-one correspondence with extremal non-signaling boxes, the vertices of the non-signaling polytope. Our second result is to provide an alternative and more direct formula for this duality. As an example, the tight Bell-Hardy inequality gives rise to an extremal non-signaling box that serves as a natural multipartite generalization of Popescu-Rohrlich box.

preprint2014arXiv

Hardy's Paradox and Measurement-disturbance Relations

We establish a quantitative relation between Hardy's paradox and the breaking of uncertainty principle in the sense of measurement-disturbance relations in the conditional measurement of non-commuting operators. The analysis of the inconsistency of local realism with entanglement by Hardy is simplified if this breaking of measurement-disturbance relations is taken into account, and a much simplified experimental test of local realism is illustrated in the framework of Hardy's thought experiment. The essence of Hardy's model is identified as a combination of two conditional measurements, which give rise to definite eigenvalues to two non-commuting operators simultaneously in hidden-variables models. Better understanding of the intimate interplay of entanglement and measurement-disturbance is crucial in the current discussions of Hardy's paradox using the idea of weak measurement, which is based on a general analysis of measurement-disturbance relations.

preprint2014arXiv

Improved Error-Tradeoff and Error-Disturbance Relations

Heisenberg's uncertainty principle is quantified by error-disturbance tradeoff relations, which have been tested experimentally in various scenarios. Here we shall report improved new versions of various error-disturbance tradeoff relations by decomposing the measurement errors into two different components, namely, operator bias and fuzziness. Our improved uncertainty relations reveal the tradeoffs between these two components of errors, and imply various conditionally valid error-tradeoff relations for the unbiased and projective measurements. We also design a quantum circuit to measure the two components of the error and disturbance.

preprint2014arXiv

Optimal joint measurement of two observables of a qubit

Heisenberg's uncertainty relations for measurement quantify how well we can jointly measure two complementary observables and have attracted much experimental and theoretical attention recently. Here we provide an exact tradeoff between the worst-case errors in measuring jointly two observables of a qubit, i.e., all the allowed and forbidden pairs of errors, especially asymmetric ones, are exactly pinpointed. For each pair of optimal errors we provide an optimal joint measurement that is realizable without introducing any ancilla and entanglement. Possible experimental implementations are discussed and Toronto experiment [Rozema et al., Phys. Rev. Lett. 109, 100404 (2012)] can be readily adapted to an optimal joint measurement of two orthogonal observables.

preprint2014arXiv

Reveal quantum correlation in complementary bases

An essential feature of genuine quantum correlation is the simultaneous existence of correlation in complementary bases. We reveal this feature of quantum correlation by defining measures based on invariance under a basis change. For a bipartite quantum state, the classical correlation is the maximal correlation present in a certain optimum basis, while the quantum correlation is characterized as a series of residual correlations in the mutually unbiased bases. Compared with other approaches to quantify quantum correlation, our approach gives information-theoretical measures that directly reflect the essential feature of quantum correlation.

preprint2013arXiv

Detecting and estimating continuous-variable entanglement by local orthogonal observables

Entanglement detection and estimation are fundamental in quantum information science. Compared with discrete-variable states, for which lots of efficient entanglement detection criteria and lower bounds of entanglement measures have been proposed, the continuous-variable entanglement is much less understood. Here we shall present a family of entanglement witnesses based on continuous-variable local orthogonal observables (CVLOOs) to detect and estimate entanglement of Gaussian and non-Gaussian states, especially for bound entangled states. By choosing an optimal set of CVLOOs our entanglement witness is equivalent to the realignment criterion and can be used to detect bound entanglement of a class of 2+2 mode Gaussian states. Via our entanglement witness, lower bounds of two typical entanglement measures for arbitrary two-mode continuous-variable states are obtained.

preprint2013arXiv

Greenberger-Horne-Zeilinger paradoxes from qudit graph states

One fascinating way of revealing the quantum nonlocality is the all-versus-nothing test due to Greenberger, Horne, and Zeilinger (GHZ) known as GHZ paradox. So far genuine multipartite and multilevel GHZ paradoxes are known to exist only in systems containing an odd number of particles. Here we shall construct GHZ paradoxes for an arbitrary number (greater than 3) of particles with the help of qudit graph states on a special kind of graphs, called as GHZ graphs. Based on the GHZ paradox arising from a GHZ graph, we derive a Bell inequality with two $d$-outcome observables for each observer, whose maximal violation attained by the corresponding graph state, and a Kochen-Specker inequality testing the quantum contextuality in a state-independent fashion.

preprint2013arXiv

Quantum contextuality and joint measurement of three observables of a qubit

Whereas complementarity manifests itself via two incompatible observables, quantum contextuality can only be revealed via the joint measurements among at least three observables. By incorporating unsharp measurements and joint measurements into a realistic model, we reestablish an inequality due to Liang, Spekkens, and Wiseman rigorously based on the assumption of noncontextuality alone. Its violation therefore unambiguously pinpoints the quantum contextuality of a two-level system. The maximal violation is attained by three triplewise jointly measurable observables that are pairwise jointly measured in an incompatible way. We also present the necessary and sufficient condition of triplewise joint measurability of three unbiased observables of a qubit.

preprint2013arXiv

Quantum Fisher Information as the Convex Roof of Variance

Quantum Fisher information places the fundamental limit to the accuracy of estimating an unknown parameter. Here we shall provide the quantum Fisher information an operational meaning: a mixed state can be so prepared that a given observable has the minimal averaged variance, which equals exactly to the quantum Fisher information for estimating an unknown parameter generated by the unitary dynamics with the given observable as Hamiltonian. In particular we shall prove that the quantum Fisher information is the convex roof of the variance, as conjectured by Toth and Petz based on numerical and analytical evidences, by constructing explicitly a pure-state ensemble of the given mixed state in which the averaged variance of a given observable equals to the quantum Fisher information.

preprint2013arXiv

Robertson-Schroedinger Uncertainty Relation Refined by Skew Information

We report a refinement of Robertson-Schroedinger uncertainty relation via Wigner-Yanase skew information. Besides the well known quantum uncertainty arising from the noncommutativity of observables, there is classical uncertainty arising from the mixedness of the states that is quantified by the difference between the variance and the skew information. Our refined uncertainty relation for canonical observables is saturated by all the Gaussian states, pure or mixed, and thus provides an alternative measure for the non-Gaussianity of quantum states. Generalizations to the case of metric adjusted skew information are presented, unifying and refining most of previous results.

preprint2013arXiv

Test of Genuine Multipartite Nonlocality Without Inequality

In this letter we propose a set of conditions on the joint probabilities as a test of genuine multipartite nonlocality without inequality. Our test is failed by all non-signaling local models in which even nonlocal correlations among some observables (not all) are allowed as long as these correlations respect the non-signaling principle. A pass of our test by a state therefore indicates that this state cannot be simulated by any non-signaling local models, i.e., the state exhibits genuine multipartite nonlocality. It turns out that all entangled symmetric n-qubit ($n \geq 3$) states pass our test and therefore are n-way nonlocal. Also we construct two Bell-type inequalities from our proposed test whose violations indicate genuine multipartite nonlocal correlations.

preprint2013arXiv

Tripartite entangled pure states are tripartite nonlocal

Nonlocal correlations as revealed by the violations to Bell inequalities are incompatible with local models without any nonlocal correlations. However some tripartite entangled states, e.g., symmetric pure states, exhibit a stronger nonlocality even incompatible with hybrid local/nonlocal models allowing nonlocal correlations between any two parties. Here we propose a three-particle Hardy-type test without inequality, as illustrated by a gedanken experiment, that is failed by all non-signaling local models while is passed by all tripartite entangled asymmetric pure states. Our result implies that every tripartite entangled state, regardless of the dimensions of the underlying Hilbert spaces, passes a Hardy-type test and therefore is genuine tripartite nonlocal. Maximal success probability and a generalization to multipartite cases of our test are also presented.

preprint2012arXiv

1/2+1/2>1 for quantum error correction

Quantum error correction assisted by entanglement helps to transmit the encoded qudits through quantum channels with some of them being noiseless. Here we consider a more realistic scheme for experiments what we called as partial-noisy quantum channels in which, instead of completely free of noise, only part of the qudit suffers no noise. In this scenario we show by an explicit example that two half-noisy channels work better than one noiseless channel, a queer phenomenon showing 1/2+1/2>1. Our example also saturates a unified quantum Singleton bound, valid for the standard and entanglement-assisted codes as well. Furthermore, as illustrated by a mixed-alphabet code with half-noisy channels, a higher dimensional physical qudit can so improve the performance of a partial-noisy channel that it even outperforms a noiseless channel.

preprint2012arXiv

All entangled pure states violate a single Bell's inequality

We show that a single Bell's inequality with two dichotomic observables for each observer, which is originated from Hardy's nonlocality proof without inequalities, is violated by all entangled pure states of a given number of particles, each of which may have a different number of energy levels. Thus Gisin's theorem is proved in its most general form from which it follows that for pure states Bell's nonlocality and quantum entanglement are equivalent.

preprint2012arXiv

An experimental test of the non-classicality of quantum mechanics using an unmovable and indivisible system

Quantum mechanics provides a statistical description about nature, and thus would be incomplete if its statistical predictions could not be accounted for by some realistic models with hidden variables. There are, however, two powerful theorems against the hidden-variable theories showing that certain quantum features cannot be reproduced based on two rationale premises of locality, Bell's theorem, and noncontextuality, due to Bell, Kochen and Specker (BKS). Noncontextuality is independent of nonlocality, and the contextuality manifests itself even in a single object. Here we report an experimental verification of quantum contextuality by a single spin-1 electron system at room temperature. Such a three-level system is indivisible and then we close the compatibility loophole which exists in the experiments performed on bipartite systems. Our results confirm the quantum contextuality to be the intrinsic property of single particles.

preprint2012arXiv

Duality relations in a two-path interferometer with an asymmetric beam splitter

We investigate quantitatively the wave-particle duality in a general Mach-Zehnder interferometer setup with an asymmetric beam splitter. The asymmetric beam splitter introduces additional a priori which-path knowledge, which is different for a particle detected at one output port of the interferometer and a particle detected at the other. Accordingly, the fringe visibilities of the interference patterns emerging at the two output ports are also different. Hence, in sharp contrast with the symmetric case, here we should concentrate on one output port and distinguish two possible paths taken by the particles detected at that port among four paths. It turns out that two nonorthogonal unsharp observables are measured jointly in this setup. We apply the condition for joint measurability of these unsharp observables to obtain a trade-off relation between the fringe visibility of the interference pattern and the which-path distinguishability.

preprint2012arXiv

Extremal asymmetric universal cloning machines

The trade-offs among various output fidelities of asymmetric universal cloning machines are investigated. First we find out all the attainable optimal output fidelities for the 1 to 3 asymmetric universal cloning machine and it turns out that there are two kinds of extremal asymmetric cloning machines which have to cooperate in order to achieve some of the optimal output fidelities. Second we construct a family of extremal cloning machines that includes the universal symmetric cloning machine as well as an asymmetric 1 to $1+N$ cloning machine for qudits with two different output fidelities such that the optimal trade-off between the measurement disturbance and state estimation is attained in the limit of infinite $N$.

preprint2012arXiv

Quantum Error-Correcting Codes over Mixed Alphabets

Errors are inevitable during all kinds quantum informational tasks and quantum error-correcting codes (QECCs) are powerful tools to fight various quantum noises. For standard QECCs physical systems have the same number of energy levels. Here we shall propose QECCs over mixed alphabets, i.e., physical systems of different dimensions, and investigate their constructions as well as their quantum Singleton bound. We propose two kinds of constructions: a graphical construction based a graph-theoretical object composite coding clique and a projection-based construction. We illustrate our ideas using two alphabets by finding out some 1-error correcting or detecting codes over mixed alphabets, e.g., optimal $((6,8,3))_{4^52^1}$, $((6,4,3))_{4^42^2}$ and $((5,16,2))_{4^32^2}$ code and suboptimal $((5,9,2))_{3^42^1}$ code. Our methods also shed light to the constructions of standard QECCs, e.g., the construction of the optimal $((6,16,3))_4$ code as well as the optimal $((2n+3,p^{2n+1},2))_{p}$ codes with $p=4k$.

preprint2011arXiv

All the stabilizer codes of distance 3

We give necessary and sufficient conditions for the existence of stabilizer codes $[[n,k,3]]$ of distance 3 for qubits: $n-k\ge \lceil\log_2(3n+1)\rceil+ε_n$ where $ε_n=1$ if $n=8\frac{4^m-1}3+\{\pm1,2\}$ or $n=\frac{4^{m+2}-1}3-\{1,2,3\}$ for some integer $m\ge1$ and $ε_n=0$ otherwise. Or equivalently, a code $[[n,n-r,3]]$ exists if and only if $n\leq (4^r-1)/3, (4^r-1)/3-n\notin\lbrace 1,2,3\rbrace$ for even $r$ and $n\leq 8(4^{r-3}-1)/3, 8(4^{r-3}-1)/3-n\not=1$ for odd $r$. Given an arbitrary length $n$ we present an explicit construction for an optimal quantum stabilizer code of distance 3 that saturates the above bound.

preprint2011arXiv

Bell Function Values Approach to Topological Quantum Phase Transitions

We investigate the relation between Bell function values (BFV) of the reduced density matrix and the topological quantum phase transitions in the Kitaev-Castelnovo-Chamon model. % [Phys. Rev. B \textbf{77}, %054433 (2008)]. We find that the first order derivative of BFV exhibits singular behavior at the critical point and we propose that it can serve as a good and convenient marker for the transition point. More interestingly, the value of the critical point can be analytically obtained in this approach. Since the BFV serves as a measure of nonlocality when it is greater than the classical bound of the correlation functions, our work has established a link between quantum nonlocality and phase transitions.

preprint2011arXiv

Detecting the quantum discord of an unknown state by a single observable

We propose a single observable to witness the nonzero quantum discord of an unknown quantum state provided that we have four copies of the state. The expectation value of this observable provides a necessary and sufficient condition for nonzero quantum discord in $2\times N$ systems and a necessary condition in higher finite-dimensional bipartite systems. Furthermore, a nontrivial lower bound of quantum discord can be obtained from this expectation value. The proposed observable can be experimentally measured in exactly the same easy manner as that of the entanglement witness, moreover a quantum circuit is designed to determine the expectation value of our observable with four simultaneous local qubit-measurements.

preprint2011arXiv

Minimal Kochen-Specker theorem in finite dimensions

In [1] we proved a strengthened Kochen-Specker theorem in 3 dimensions: non-contextual hidden variable (NCHV) models cannot reproduce all the quantum correlations of two compatible observables, which is a minimal requirement imposed on the NCHV models. Here we shall exclude the NCHV models with this minimal requirement in $d\ge 4$ dimensions by state-independent and experimentally testable inequalities satisfied by all NCHV models that are required to reproduce only the quantum correlations of at most two compatible observables. Furthermore our proofs use the smallest number of rays known so far, e.g., 25 (instead of 31) rays in $5$ dimensions and $5d-2\lfloor d/3\rfloor$ rays in $d\ge 6$ dimensions.

preprint2011arXiv

Observable estimation of entanglement of formation and quantum discord for bipartite mixed quantum states

We present observable lower and upper bounds for the entanglement of formation (EOF) and quantum discord (QD), which facilitates estimates of EOF and QD for arbitrary experimental unknown states in finite-dimensional bipartite systems. These bounds can be easily obtained by a few experimental measurements on a twofold copy $\varrho\otimes\varrho$ of the mixed states. Based on our results, we use the experimental measurement data of the real experiment given by Schmid \textit{et al.} [Phys. Rev. Lett. \textbf{101}, 260505 (2008)] to obtain the lower and upper bounds of EOF and QD for the experimental unknown state.

preprint2011arXiv

Quantum channels that preserve the commutativity

We identify and characterize all the local quantum channels that preserves the set of classical states, i.e., does not create any quantum correlations. At first we show that the quantum correlations cannot be created from without if and only if the local quantum channel preserves the commutativity, i.e., the images of any two commuting states also commute. And then we provide an operational necessary and sufficient criterion for a known quantum channel to preserve the commutativity as well as a single observable to witness an arbitrary unknown commutativity-preserving channel. All the distance-based measures for quantum correlations, e.g., the geometric measure, are non-increasing while the quantum discord defined by von Neumann measurements can be increasing or decreasing under local commutativity-preserving channels.

preprint2011arXiv

Quantum discord of two-qubit X-states

Quantum discord provides a measure for quantifying quantum correlations beyond entanglement and is very hard to compute even for two-qubit states because of the minimization over all possible measurements. Recently a simple algorithm to evaluate the quantum discord for two-qubit X-states is proposed by Ali, Rau and Alber [Phys. Rev. A 81, 042105 (2010)] with minimization taken over only a few cases. Here we shall at first identify a class of X-states, whose quantum discord can be evaluated analytically without any minimization, for which their algorithm is valid, and also identify a family of X-states for which their algorithm fails. And then we demonstrate that this special family of X-states provides furthermore an explicit example for the inequivalence between the minimization over positive operator-valued measures and that over von Neumann measurements.

preprint2011arXiv

State-independent proof of Kochen-Specker theorem with 13 rays

Quantum contextuality, as proved by Kochen and Specker, and also by Bell, should manifest itself in any state in any system with more than two distinguishable states and recently has been experimentally verified on various physical systems. However for the simplest system capable of exhibiting contextuality, a qutrit, the quantum contextuality is verified only state-dependently in experiment because too many (at least 31) observables are involved in all the known state-independent tests. Here we report an experimentally testable inequality involving only 13 observables that is satisfied by all non-contextual realistic models while being violated by all qutrit states. Thus our inequality will practically facilitate a state-independent test of the quantum contextuality for an indivisible quantum system. We provide also a record-breaking state-independent proof of the Kochen-Specker theorem with 13 directions determined by 26 points on the surface of a three by three magic cube.

preprint2011arXiv

Tight bounds for the quantum discord

Quantum discord quantifies quantum correlations beyond entanglement and assumes nonzero values, which are notoriously hard to compute, for almost all quantum states. Here we provide computable tight bounds for the quantum discord for qubit-qudit states. In the case of two qubits our lower and upper bounds coincide for a 7-parameter family of filtered $X$-states, whose quantum discords can therefore be evaluated analytically. An application to the accessible information of the binary qubit channel is also presented. For the qubit-qudit state output by the circuit of deterministic computation with one qubit, nontrivial lower and upper bounds that respect the zero-discord conditions are obtained for its quantum discord.

preprint2011arXiv

Witnessing the quantum discord of all the unknown states

Like entanglement, quantum discord quantifies the quantum correlations. Unlike entanglement, whose detection is extremely difficult, the quantum discord of an arbitrary bipartite state allows itself to be detected perfectly by a single observable, the quantum discord witness. In particular, we report a single observable whose expectation value provides a necessary and sufficient condition for the vanishing quantum discord of an arbitrary bipartite unknown state with four copies. A quantum circuit is designed to measure the quantum discord witness by using only local qubit-measurements.

preprint2010arXiv

Strengthened quantum Hamming bound

We report two analytical bounds for quantum error-correcting codes that do not have preexisting classical counterparts. Firstly the quantum Hamming and Singleton bounds are combined into a single tighter bound, and then the combined bound is further strengthened via the well-known Lloyd's theorem in classical coding theory, which claims that perfect codes, codes attaining the Hamming bound, do not exist if the Lloyd's polynomial has some non-integer zeros. Our bound characterizes quantitatively the improvement over the Hamming bound via the non-integerness of the zeros of the Lloyd's polynomial. In the case of 1-error correcting codes our bound holds true for impure codes as well, which we conjecture to be always true, and for stabilizer codes there is a 1-logical-qudit improvement for an infinite family of lengths.

preprint2003arXiv

Perfect Test of Entanglement for Two-level Systems

A 3-setting Bell-type inequality enforced by the indeterminacy relation of complementary local observables is proposed as an experimental test of the 2-qubit entanglement. The proposed inequality has an advantage of being a sufficient and necessary criterion of the separability. Therefore any entangled 2-qubit state cannot escape the detection by this kind of tests. It turns out that the orientation of the local testing observables plays a crucial role in our perfect detection of the entanglement.

preprint2002arXiv

Classifying N-qubit Entanglement via Bell's Inequalities

All the states of N qubits can be classified into N-1 entanglement classes from 2-entangled to N-entangled (fully entangled) states. Each class of entangled states is characterized by an entanglement index that depends on the partition of N. The larger the entanglement index of an state, the more entangled or the less separable is the state in the sense that a larger maximal violation of Bell's inequality is attainable for this class of state.