Choi–Jamiołkowski isomorphism

In quantum information theory and operator theory, the Choi–Jamiołkowski isomorphism refers to the correspondence between quantum channels (described by completely positive maps) and quantum states (described by density matrices), this is introduced by Man-Duen Choi[1] and Andrzej Jamiołkowski.[2] It is also called channel-state duality by some authors in the quantum information area,[3] but mathematically, this is a more general correspondence between positive operators and the complete positive superoperators.[citation needed]

Definition

edit

To study a quantum channel   from system   to  , which is a trace-preserving completely positive map from operator spaces   to  , we introduce an auxiliary system   with the same dimension as system  . Consider the maximally entangled state:

 

in the space of  . Since   is completely positive,   is a nonnegative operator. Conversely, for any nonnegative operator on  , we can associate a completely positive map from  to  . This kind of correspondence is called Choi-Jamiołkowski isomorphism.

The composition of Choi states

edit

The Choi-Jamiołkowski isomorphism is a mathematical concept that connects quantum gates or operations to quantum states called Choi states. It allows us to represent a gate's properties and behavior as a Choi state.

In the generalised gate teleportation scheme, we can teleport a quantum gate from one location to another using entangled states and local operations. Here's how it works:

  1. The sender wants to apply a specific gate to an input quantum state.
  2. Instead of directly applying the gate, the sender creates an entangled state with the receiver.
  3. The sender performs measurements on their input state and their part of the entangled state.
  4. The measurement outcomes are communicated to the receiver through classical communication.
  5. Based on the measurement results, the receiver performs local operations on their share of the entangled state.
  6. These local operations reconstruct the gate's effect on the receiver's side.

By combining the powers of entanglement, measurements, and local operations, the gate's effect is effectively transferred to the receiver's location.

This process enables the teleportation of gate information or the application of the gate itself, making it a fascinating method to manipulate quantum gates in a distributed manner.

Simulating composition of gates using generalized gate teleportation

edit

Pure Choi state

edit

Let's consider the unitary case first, where the Choi state is pure. Suppose we have two Choi states represented as  , and   and the corresponding systems are labeled as A, B, C, and D. To simulate the composition of gates   or  , we aim to obtain the state   or  .

The standard Bell scheme

edit

The standard approach is to use the Bell scheme, where the gate   is teleported from site A to site C using a Bell measurement on sites B and C, resulting in the state   on sites A and D. To obtain  , we would apply the Bell scheme on sites A and D. However, this can introduce Pauli byproduct operators, such as  , between the two unitary gates, which are generally non-correctable, and can affect the desired gate composition.

Indirect Bell measurement

edit

To address this issue, an indirect Bell measurement is used instead of the standard Bell scheme. This measurement involves an extra qubit ancilla. The indirect Bell measurement is performed by applying a gate  , which is the Toffoli gate with one-control qubit replaced by a zero-control qubit and the ancilla as the target. This measurement is expressed as  , where   represents the reverse operation of preparing Bell states.

Outcomes and resulting states

edit

The outcome of the indirect Bell measurement corresponds to either the singlet or the triplet state. If the outcome is the singlet on sites B and C, the gate U on site C is teleported to site A, resulting in the state  . On the other hand, if the outcome is the triplet, which has the full symmetry of the relevant unitary group, the gate V is modified by applying a rotation T on the triplet state, equivalent to the action of   on site C. This leads to the state  , where t represents the adjoint operation.

Achieving desired states

edit

By applying the generalised gate teleportation scheme, the states   or   can be realised in a heralded manner, depending on the outcome from the qubit ancilla measurement. By combining this scheme with the POVM (Positive Operator-Valued Measure) scheme on site D, the gates   or   can be simulated, with the output on site A for final readout.

Avoiding transposition issue

edit

Although the generalised gate teleportation scheme enables the composition of Choi states and the simulation of desired gates, there is an apparent issue of transposition. However, this issue can be avoided by expressing any unitary operator as a product of two symmetric unitary operators. Therefore, for any unitary U, only two Choi program states,   and  , are needed to deterministically teleport U.

Mixed Choi state

edit

In the case of channels whose Choi states are mixed states, the symmetry condition does not directly generalise as it does for unitary operators. However, a scheme based on direct-sum dilation can be employed to overcome this obstacle.

For a channel E with a set of Kraus operators  , each Kraus operator can be dilated to a unitary operator  . The dilation is given by  , where   acts on a space of dimension 2d.

Dilation-based scheme

edit

In this scheme, each Kraus operator is expanded to a larger unitary operator, allowing the use of symmetry-based techniques. By considering the larger unitary operators, the issue of dealing with mixed Choi states is circumvented, and the computations can proceed using unitary transformations.

Unitary dilation

edit

The channel   can be simulated by using a random-unitary channel, where the controlled-unitary gate U̘ acts on the joint system of the input state ρ and an ancilla qubit. The ancilla qubit, initially prepared in the state |e⟩, is later traced out. The state σ is a combination of ρ and 0, where 0 represents the state of the ancilla on the dilated subspace. The action E(ρ) is obtained by restricting the evolution to the system subspace.

Simulation of the channel

edit

In this scheme, the simulation of channel E involves applying the controlled-unitary gate U̘ to the input state ρ and the ancilla qubit prepared in the state |e⟩. The gate U̘ combines the Kraus operators   with the ancilla qubit. After tracing out the ancilla qubit, the resulting state σ is a combination of ρ and 0, with 0 representing the state of the ancilla on the dilated subspace. Finally, the action of the channel E on the input state ρ is obtained by considering the evolution restricted to the system subspace.

Teleportation of controlled-unitary gates

edit

In comparison to the unitary case, the task here is to teleport controlled-unitary gates instead of unitary gates. This can be achieved by extending the scheme used in the unitary case. For each   in U̘, there exists a gate   that can teleport it. The   gates are controlled by the same ancilla used for  . When a singlet is obtained, the channel E is teleported. To avoid the issue of transposition, each   is decomposed as the product of two symmetric unitary matrices,   =  . By using the same control wire for   and   and employing two program states, the gate U̘ can be teleported, thereby teleporting the channel E.

POVM and channel design

edit

To execute the action of the channel on a state, a POVM (Positive Operator-Valued Measure) and a channel based on the state   need to be designed. The channel  , an extension of the channel R, contains three Kraus operators:   and  . This channel requires a qutrit ancilla, and when the outcome is 2, indicating the occurrence of  , which is equal to 1 due to the trace-preserving condition, the simulation has to be restarted.

Special cases

edit

For special types of channels, the scheme can be significantly simplified. Random unitary channels, which are a broad class of channels, can be realised using the controlled-unitary scheme mentioned earlier, without the need for direct-sum dilation. Unital channels, which preserve the identity, are random unitary channels for qubits and can be easily simulated. Another type of channel is the entanglement-breaking channel, characterised by bipartite separable Choi states. These channels and program states are trivial since there is no entanglement, and they can be simulated using a measurement-preparation scheme.

Preparation of program states

edit

Now we study the preparation of program states if they are not given for free.

Choi states and program state preparation

edit

A Choi state C is not easy to prepare on the first hand, namely, this may require the operation of E on the Bell state  , and realising E itself (e.g., by a dilated unitary) is a nontrivial task. From Stinespring's dilation, we know that it requires the form of Kraus operators, which are not easy to find in general given a Choi state.

Convexity and extreme channels

edit

The set of qudit channels forms a convex body. This means that a convex sum of channels still leads to a channel, and there are extreme channels that are not convex sums of others. From Choi, a channel is extreme if there exists a Kraus representation   such that the set   is linearly independent. For a qudit, this means the rank of an extreme channel is at most  . Channels of rank   are termed as generalised-extreme channels, here termed as 'gen-extreme channels.'

Convex-sum decomposition and random bits

edit

It is clear to see that a gen-extreme but not extreme channel is a convex sum of extreme channels of lower ranks. It has been conjectured and numerically supported that an arbitrary channel can be written as a convex sum of at most   gen-extreme channels  . This requires a random dit. For the worst case, the upper bound for such a convex sum is   from Carathéodory's theorem on convex sets, which merely costs more random dits.

Quantum circuit complexity reduction

edit

Simulating composition of gen-extreme channels

edit

To simulate the composition  , with each   of rank greater than  , hence permitting a convex-sum decomposition, one needs to sample the composition of gen-extreme channels. We find that there exists a concise form of Choi states for gen-extreme channels, which can be used to find the circuit and also Kraus operators directly.

Quantum circuit realization of channels and Choi states for gen-extreme channels

edit

The Choi state   for a gen-extreme channel   is of rank   and  .

It turns out   for   for  , and   .

Observe that  , for an isometry  .

Here   is an ancilla state. Now we show that   can be used to find a quantum circuit to realise  . Given  , we can find a unitary dilation   such that  , and it relates to the channel by  , while the final projection   is on the system. Define   for the swap gate between the system and ancilla, which are of the same dimension.

Then we find  , which means   is the circuit to realise the channel   as in the standard dilation scheme. The Kraus operators can be obtained from it as  .

Circuit complexity reduction

edit

Compared with the standard (tensor-product) dilation method to simulate a general channel, which requires two qudit ancillas, the method above requires lower circuit cost since it only needs a single qudit ancilla instead of two. While the convex-sum decomposition, which is a sort of generalised eigenvalue decomposition since a gen-extreme Choi state can be mapped to a pure state, is difficult to solve for large-dimensional channels, it shall be comparable with the eigen-decomposition of the Choi state to find the set of Kraus operators. Both of the decompositions are solvable for smaller systems.

It's important to note that this discussion focuses on the primary components of the model and does not address fault tolerance, as it is beyond the scope of this model. We assume fault-tolerant qubits, gates, and measurements, which can be achieved with quantum error-correcting codes. Additionally, we highlight two intriguing issues that establish connections with standard frameworks and results.

Connections with standard frameworks and results

edit

Teleportation of universal gate set

edit

A computation is universal if the group   can be realised for any integer  . The common approach to achieving universality is by gate-compiling based on universal gate sets. Our method can be used to teleport unitary universal gate sets. Consider the popular Hadamard gate  , phase gate  , the so-called   gate  , CNOT, CZ, and Toffoli gate. One immediately notices that these gates are all symmetric matrices. We see above that symmetric unitary operators, for which  , can be teleported deterministically, and the byproduct are Pauli operators. Note that a product of symmetric matrices is not symmetric in general.

It is easy to check that the affine forms of  ,  , CNOT, and CZ are (generalised) permutations since they are Clifford gates, which preserve the Pauli group. A generalised permutation is a permutation that also allows entry of modulus 1 besides 1 itself. The   gate and Toffoli gate are not Clifford gates, and their affine forms are not permutations. Instead, the affine forms of them contain a Hadamard-like gate as a sub-matrix, which means, in the Heisenberg picture, they are able to generate superpositions of Pauli operators. This fact also generalises to the qudit case, with Hadamard replaced by Fourier transform operators. This serves as an intriguing fact regarding the origin of the computational power of quantum computing.

Stored-program quantum computing

edit

In this approach, a modification is introduced to enable the simulation of the operation   using a generalised gate teleportation scheme. This proposed method allows for the unitary simulation of   by utilising a processor   that depends on the input program state.

For symmetric matrices  , the program state   is sufficient to achieve the desired results. However, in general cases where , both program states   and   are required for deterministic teleportation and composition.

References

edit
  1. ^ Choi, Man-Duen (1975). "Completely positive linear maps on complex matrices". Linear Algebra and Its Applications. 10 (3): 285–290. doi:10.1016/0024-3795(75)90075-0.
  2. ^ Jamiołkowski, Andrzej (1972). "Linear transformations which preserve trace and positive semidefiniteness of operators". Reports on Mathematical Physics. 3 (4): 275–278. Bibcode:1972RpMP....3..275J. doi:10.1016/0034-4877(72)90011-0.
  3. ^ Jiang, Min; Luo, Shunlong; Fu, Shuangshuang (2013). "Channel-state duality". Physical Review A. 87 (2): 022310. Bibcode:2013PhRvA..87b2310J. doi:10.1103/PhysRevA.87.022310.