# Going integrated

As a quantum information theorist, the cleanest types of results I can get are proofs that something is possible, impossible or optimal. Much of my work focused on these types of results in the context of measurements and non-locality. As a physicist, it is always nice to bring these conceptual ideas closer to the lab, so I try to collaborate with experimentalists. The types of problems an experimental group can work on are constrained by technical capabilities. In the case of Amr Helmy’s group, they specialize in integrated photonic sources so I now know something about integrated optics.

When I started learning about the possibilities and constraints in the group, I realized that the types of devices they can fabricate are much better suited for work in continuous variables as opposed to single photons. I also realized that no one explored the limitations of these types of devices. In other words, we did not know the subset of states that we could generate in principle (in an ideal device).

In trying to answer this question we figured out that, with our capabilities,  it is in principle (i.e in the absence of loss) possible to fabricate a device that can generate any Gaussian state (up to some limitations on squeezing and displacement). What turns out to be even nicer is that we could have a single device that can be programmed to generate any N-mode Gausssia state. The basic design for this device was recently posted on arXiv.

We left the results fairly generic so that they could be applied to a variety of integrated devices, using various semiconductors. The next step would be to apply them to something more specific and start accounting for loss and other imperfections. Once we figure that out, we (i.e. the fab guys) an go on to building an actual device that could be tested in the lab.

# Tomaytos, Tomahtos and Non-local Measurements

In the interest of keeping this blog active, i’m recycling one of my old IQC blog posts

One of my discoveries as a physicist was that, despite all attempts at clarity, we still have different meanings for the same words and use different words to refer the the same thing. When Alice says measurement, Bob hears a `quantum to classical channel’, but Alice, a hard-core Everettian, does not even believe such channels exist. When Charlie says non-local, he means Bell non-local, but string theorist Dan starts lecturing him about non-local Lagrangian terms and violations of causality. And when I say non-local measurements, you hear #\$%^ ?e#&*?.  Let me give you a hint, I do not mean ‘Bell non-local quantum to classical channels’, to be honest, I am not even sure what that would mean.

So what do I mean when I say measurement? A measurement is a quantum operation that takes a quantum state as its input and spits out a quantum state and a classical result as an output (no, I am not an Everettian). For simplicity I will concentrate of a special case of this operation, a projective measurement of an observable A. The classical result of a projective measurement is an eigenvalue of A, but what is the outgoing state?

A textbook (projective) measurement.  A Quantum state $|\psi\rangle$  goes in and a classical outcome “r” comes out together with a corresponding  quantum state $|\psi_r\rangle$.

### The Lüders measurement

Even the term projective measurement can lead to confusion, and indeed in the early days of quantum mechanics it did. When von Neumann wrote down the mathematical formalism for quantum measurements, he missed an important detail about degenerate observables (i.e Hermitian operators with a degenerate eigenvalue spectrum). In the usual projective measurement, the state of the system after the measurement is uniquely determined by the classical result (an eigenvalue of the observable). Consequently,  if we don’t look at the classical result, the quantum channel is a standard dephasing channel. In the case of a degenerate observable, the same eigenvalue corresponds to two or more orthogonal eigenstates. Seemingly the state of the system should correspond to one of those eigenstates, and the channel is a standard dephasing channel. But a degenerate spectrum means that the set of orthogonal eigenvectors is not unique, instead each eigenvalue has a corresponding subspace of eigenvectors. What Lüders suggested is that the dephasing channel does nothing within these subspaces.

### Example

Consider the two qubit observable $A=|00\rangle\langle 00 |$. It has eigenvalues $1,0,0,0$. A $1$ result in this measurement corresponds to “The system is in the state $|00\rangle$“.  Following a measurement with outcome $1$, the outgoing state will be $|00\rangle$. Similarly, a $0$ result corresponds to “The system is not in the state $|00\rangle$ “. But here is where the Lüders rule kicks in. Given a generic input state $\alpha|00\rangle+\beta|01\rangle+\gamma|{10}\rangle+\delta|{11}\rangle$ and a Lüders measurement of $A$ with outcome 0, the outgoing state will be $\frac{1}{\sqrt{|\alpha|^2+|\beta|^2+|\gamma|^2}}\left[\beta|{01}\rangle+\gamma|{10}\rangle+\delta|{11}\rangle\right]$.

### Non-local measurements

The relation to non-locality may already be apparent from the example, but let me start with some definitions. A system can be called non-local if it has parts in different locations, e.g. one part on Earth and the other on the moon. A measurement is non-local if it reveals something about a non-local system as a whole. In principle these definitions apply to classical and quantum systems. Classically a non-local measurement is trivial, there is no conceptual reason why we can’t just measure at each location. For a quantum system the situation is different. Let us use the example above, but now consider the situation where the two qubits are in separate locations. Local measurements of $\sigma_z$ will produce the desired measurement statistics (after coarse graining) but reveal too much information and dephase the state completely, while a Lüders measurement should not. What is quite neat about this example is that the Lüders measurement of $|{00}\rangle$ cannot be implemented without entanglement (or quantum communication) resources and two-way classical communication. To prove that entanglement is necessary, it is enough to give an example where entanglement is created during the measurement. To show that communication is necessary, it is enough to show that the measurement (even if the outcome is unknown) can be used to transmit information. The detailed proof is left as an exercise to the reader. The lazy reader can find it here (see appendix A).

This is a slighly modified version of a  Feb 2016 IQC blog post.

# Three papers published

When it rains it pours. I had three papers published in the last week. One experimental paper and two papers about entanglement.

1. Experimental violation of the Leggett–Garg inequality in a three-level system. A cool experimental project with IQC’s liquid state NMR group.    Check out the outreach article  about this experiment.
2. Extrapolated quantum states, void states and a huge novel class of distillable entangled states. My first collaboration with Tal Mor and Michel Boyer and my first paper to appear in a bona fide CS journal (although the content is really mathematical physics). It took about 18 months to get the first referee reports.
3. Entanglement and deterministic quantum computing with one qubit. This is a follow up to the paper above, although it appeared on arXiv  a few months earlier.

# Entangled cats and quantum discord

It turns out that few people appreciate the relation between Schrödinger’s cat and entanglement.  When we hear entanglement, the first paper that comes to mind is Einstein Podolsky and Rosen’s “Can Quantum-Mechanical Description of Physical Reality Be Considered Complete?”  EPR were the first to point out a strange prediction of quantum mechanics (which we now call entanglement),  but the   term entanglement (or its German equivalent) was coined by Schrödinger in a  paper  inspired by EPR. In the same paper Schrödinger describes an experiment involving a cat interacting with a  “small flask of hydrocyanic acid” (and a Geiger counter etc.) such that, at some point the best quantum description of the cat-flask system is an entangled state. If one then ignores the state of the flask, the cat is in a mixture of being dead and alive (and not in a superposition as some wold have you believe). Schrödinger noted that this is a peculiar situation,  the cat’s state has large uncertainty (it is maximally mixed) while the cat+flask etc. are in a well defined state, that is, the uncertainty is at the minimum allowed by the theory. We call such a state a pure state.

Schrödinger coined the term entanglement in the context of pure quantum states. A pure quantum state describing two subsystems is entangled  if (and only if) the state of each subsystem is mixed, i.e (within the context of the relevant operators) there is no (rank 1) measurement that yields a definite outcome1.  But in reality the states we encounter are mixed and Schrödinger’s definition cannot be applied in a straightforward way.

A mixed quantum state is similar to a composite color such as pink, brown or white which have no specific wavelength.  Any composite color can be made by mixing elements from a set of primary colors such as red green and blue (RBG) but one can choose different conventions to produce the same color2. Similarly, a mixed quantum state does not have a unique decomposition in terms of pure quantum states.  The cat in the box is in a mixture of being dead and alive, yet it is also in a mixture of being in various superpositions of dead and alive.  It turns out that this creates a serious problem when we try to define mixed state entanglement.

The standard way to define entanglement is to look for a decomposition into pure non-entangled states. So, if we can find some way to describe the mixed quantum state as a mixture of non-entangled (i.e separable) states, then the state is separable.  This is a convenient mathematical definition 3 but it is not consistent with the physical manifestation of entanglement.

What is the physical manifestation of entanglement?

One way  to think of entanglement is as a resource for some physical tasks such as teleportation or quantum communication.  Ideally one would want to make a claim such as “If you gave me enough copies of an entangled state I could perform perfect teleportation”.  Indeed this would be the case if the states were pure, but in the case of mixed states there are counterexamples to this statement for practically any physical task (except channel discrimination).

Another way to think about entanglement is as a way to quantify complexity.  The intuition comes from the fact that a good enough description4  of an entangled state usually requires a very large memory.  If a system is in a pure quantum state and it is not entangled, we can fully describe it by specifying each part.  If it is entangled, we must also specify some global properties. Roughly speaking, these global properties describe the relations between the subsystems, and the number of parameters we need to keep track of grows exponentially with the number of subsystems.  However, as it turns out, some highly entangled states can be described in a very concise way.  When it comes to mixed states, the situation is different and it is unclear if we can give a concise description of a separable system.

The bottom line is,  the physical manifestation of entanglement is not trivial, especially when we consider mixed states. As a result, there is no obvious one-size-fits-all way to extend various ideas about entanglement to mixed states.

Quantum correlations and discord

So, while there is no unique way to generalize entanglement to mixed states,  one particular method (entangled = not separable) has become canonical. Other ways of generalizing entanglement from pure states must be given a different name. Many of these fall into the broad category of quantum correlations (or discord).  These quantities are equivalent to entanglement in pure states, but don’t correspond to non-separable in the case of mixed states.

Ok, but why should we care?

Entanglement is one of the central features of quantum theory, and there is good reason to suspect that it plays a crucial role in many physical scenarios, from many body physics to black holes and of course quantum information processing.  Unfortunately, it is not trivial to extend our mathematical treatment of entanglement beyond the two party, pure state case.   There are many examples  where separable mixed states or ensembles of separable pure states,  behave in a way that resembles pure entangled states.  Apart from the obvious joy of playing around with the mathematical structure of quantum states, there are many things we can learn by trying to understand this rich structure beyond the usual separable vs non-separable states.  Discord is one, and there are others, most notably Bell non-locality.

And if you want to know more, check out my paper with Danny Terno , arXiv:1608.01920

Footnotes

1.  The caveats here are simply to ensure that the measurement is not trivial in some sense. For example if the states are entangled in spin, asking about their position is not relevant, similarly making a trivial measurement (one that has outcome 1 if the spin is up and the same outcome 1 if the spin is down) is not interesting.
2. Actually,  the situation with colors is far more complex than I described, but as far as the human eye is concerned the statement is more or less correct.  Spectroscopy would reveal a unique decomposition to any color.  Quantum states on the other hand have no unique decomposition, in fact, if they did we would be in big trouble with relativistic causality (i.e we would be able to send information faster than the speed of light). As a side note: Schrödinger was interested in our perception of colors and made some interesting contributions to the field.
3. Given the complete description of a (mixed) quantum state, it can be very difficult (computationally) to decide if it is entangled or separable.
4. Think of trying to keep a description of the state in the memory of a computer for the purpose of simulating the evolution and finally reproducing some measurement statistics.

These last four and a half months have been exciting in may ways. Three papers submitted to arXiv: The first on Entanglement in DQC1, the second, a Leggett Garg experiment in liquid state NMR; and the third, a book chapter titled Why should we care about quantum discord? I also had two papers published one on quantum money and the second on  sequential measurements.

In August I organized a workshop on Semi-quantum computing and recently wrote about it on the IQC blog.  I also attended a workshop on Entanglement and quantumnes  in Montréal.

Earlier this month I got sucked into a discussion about publishing.

# Nonlocal Measurements

My paper Nonlocal Measurements Via Quantum Erasure has  finally been published in PRL.  There is a short news story on the work on the IQC website. I also recently wrote a related blog post on nonlocal measurements for the IQC blog.

#### IQC blog post: Tomaytos, Tomahtos and Non-local Measurements

Nonlocal measurements via quantum erasure, A. Brodutch and E. Cohen  Phys. Rev. Lett 116 (2016)