TransWikia.com

Is there a way to construct a quantum circuit/oracle to check if 2 qubits in an unknown pure state are entangled?

Quantum Computing Asked on August 19, 2021

I have 2 qubits which are in an unknown pure state i.e. their density matrix $rho$ can be expressed as $|psiranglelanglepsi|$.

Let the initial state be $|psirangle = c_{00}|00rangle + c_{01}|01rangle + c_{10}|10rangle + c_{11}|11rangle$. These coefficients $c_{i}$ are unknown.

I wish to find out if they are entangled or seperable? Can this be done by constructing a Quantum Oracle or some other circuit?

The Rules are:

  • We do not have access to the circuit which created this state $|psirangle$.
  • The initial state of the qubits can be destroyed at the end of the measurement.
  • Any method which has $>0.5$ chance of success is acceptable.
  • Free to use ancillary qubits.

Edit: I have tried to rewrite the question in order to clarify it as per suggestions in the comments.

2 Answers

No.

For instance, if I either give you $|00rangle$ or $|11rangle$ with 50% probability each, or $|00ranglepm|11rangle$ with 50% probability each, there is no way to distinguish these two cases - not even with any whatsoever small probability. The mathematical reason is that those are described by the same density matrix - but you always get some pure state!

However, one of those sets consists of entangled states, while the other one doesn't.

The situation is different if you get the same state several times and can do a number of tests on each of those copies.

Answered by Norbert Schuch on August 19, 2021

$newcommand{calU}{mathcal{U}}newcommand{ket}[1]{lvert#1rangle}$Suppose such a circuit existed, and denote with $calU$ the unitary describing its overall action. For this to be a "circuit detecting entanglement", there should be two types of output states, one corresponding to the answer "yes, the input was entangled" and the other corresponding to the answer "no, the input was not entangled".

In other words, there should be two orthogonal subspaces $mathcal V_e$ and $mathcal V_{ne}$ such that $calUlvertpsirangleinmathcal V_e$ for all entangled states $lvertpsirangle$, and $calUlvertphirangleinmathcal V_{ne}$ for all separable $lvertphirangle$.

Let $ket{psi_1},ket{psi_2}$ be two orthogonal separable states, so that $calUket{psi_i}inmathcal V_{ne}$. Then, by linearity, we must also have $calU(alphaket{psi_1}+betaket{psi_2})inmathcal V_{ne}$ for any pair of complex coefficients with $|alpha|^2+|beta|^2=1$.

But all entangled states can be written as superpositions of separable states, thus this circuit is bound to incorrectly classify all entangled states as separable as well.

Answered by glS on August 19, 2021

Add your own answers!

Ask a Question

Get help from others!

© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP