如果所有量子门必须是单一的,那么测量呢?


23

所有量子操作必须统一才能允许可逆性,但是测量又如何呢?可以将测量表示为一个矩阵,并将该矩阵应用于量子位,因此这似乎等效于量子门的操作。这绝对是不可逆的。有没有可能允许非单一门的情况?

Answers:


21

ary运算只是量子运算的一种特殊情况,量子运算是将密度算符映射到密度算符的线性,完全正图(“通道”)。这在信道的克劳斯的表示变得明显,其中所谓的克劳斯运营ķ 满足Σ Ñ = 1 ķ ķ 符号

Φ(ρ)=i=1nKiρKi,
Kii=1nKiKiI)。通常,人们只考虑保留迹线的量子运算,对于这些运算,先前的不等式成立。如果另外只有一个克劳斯算子(所以),那么我们看到量子运算是一元的。 n=1

但是,量子门是单一的,因为它们是通过哈密顿量在特定时间内完成的,这根据Schrödinger方程给出了单一的时间演化。


4
+1对量子力学(不仅仅是量子信息)感兴趣的每个人都应该了解量子操作,例如尼尔森和庄。我认为值得一提的是(由于有关Stinespring扩张的Wikipedia页面太技术性了),每个有限维量子运算在数学上都等同于在更大的希尔伯特空间中的某些unit运算,然后是对子系统的限制(通过局部迹线) 。
Ninnat Dangniam '18

13

简短答案

量子操作并不需要是单一的。实际上,许多量子算法和协议都利用非单一性。


长答案

测量,可以说是非统一转变为算法的基本组成部分(在这个意义上,一个“测量”是等同于从退相干操作后的概率分布采样的最明显的例子)。ķCķ|ķķ|Cķ|2|ķķ|

More generally, any quantum algorithm that involves probabilistic steps requires non-unitary operations. A notable example that comes to mind is HHL09's algorithm to solve linear systems of equations (see 0811.3171). A crucial step in this algorithm is the mapping |λĴCλĴ-1个|λĴ, where |λĴ are eigenvectors of some operator. This mapping is necessarily probabilistic and therefore non-unitary.

任何利用(经典)前馈的算法或协议也都在利用非单一运算。这就是单向量子计算协议的全部(顾名思义,它们要求不可逆的操作)。

使用单个光子进行光学量子计算的最著名方案还需要进行测量,有时还需要进行后选择,以纠缠不同光子的状态。例如,KLM协议会产生概率门,因此概率门至少部分不可逆。关于该主题的一个不错的评论是quant-ph / 0512071

耗散诱导的量子态工程(例如1402.0529srep10656)提供了不太直观的示例。在这些协议中,人们使用开放式地图耗散动态,并设计状态与环境的交互关系,以使系统的长期静态状态成为理想状态。


11

冒着脱离量子计算进入物理学的风险,我将回答我认为与该主题相关的子问题,并用它来指导量子计算中gate门的讨论。

The question here is: Why do we want unitarity in quantum gates?

The less specific answer is as above, it gives us 'reversibility', or as physicists often talk about it, a type of symmetry for the system. I'm taking a course in quantum mechanics right now, and the way unitary gates cropped up in that course was motivated by the desire to have physical transformations ü^: that act as symmetries. This imposed two conditions on the transformation ü^:

  1. The transformations should act linearly on the state (this is what gives us a matrix representation).
  2. The transformations should preserve probability, or more specifically inner product. This means that if we define:

|ψ=ü|ψ|ϕ=ü|ϕ

的内积来保存该。从第二个规范中可以得出统一性(有关完整详细信息,请参见van Raamsdonk博士的注释,此处ϕ||ψ=ϕ||ψ)。

因此,这回答了为什么保持事物“可逆”的操作必须统一的问题。

为什么测量本身不统一的问题更多地与量子计算有关。度量是对基准的投影;本质上,它必须以一个或多个基本状态作为状态本身来“回答”。它还以与度量的“答案”一致的方式离开状态,而不与状态开始时的潜在概率一致。因此,该运算满足变换规格1. ,但绝对不满足规格2。并非所有矩阵都相等!ü

为了使事情回到量子计算上,测量是破坏性的和射影的(即,我们只能通过重复测量相同状态来重建叠加,而每个测量只能给出0/1的答案),这是使得量子计算和常规计算之间的区分非常微妙(这也是很难确定这一点的部分原因)。人们可能会认为,由于希尔伯特空间的大小,量子计算的功能更加强大,所有这些状态叠加都对我们可用。但是我们提取这些信息的能力受到很大限制。

As far as I understand it this shows that for information storage purposes, a qubit is only as good as a regular bit, and no better. But we can be clever in quantum computation with the way that information is traded around, because of the underlying linear-algebraic structure.


1
I find the last paragraph a bit cryptic. What do you mean by "slippery" separation here? It is also non-obvious how the fact that measurements are destructive implies something about such separation. Could you clarify these points?
glS

2
@glS, good point, that was worded poorly. Does this help? I don't think I'm saying anything particularly deep, simply that Hilbert space size alone isn't a priori what makes quantum computation powerful (and it doesn't give us any information storage advantages)
Emily Tyhurst

8

There are several misconceptions here, most of them originate from exposure to only the pure state formalism of quantum mechanics, so let's address them one by one:

  1. All quantum operations must be unitary to allow reversibility, but what about measurement?

This is false. In general, the states of a quantum system are not just vectors in a Hilbert space H but density matrices unit-trace, positive semidefinite operators acting on the Hilbert space H i.e., ρ:HH, Tr(ρ)=1, and ρ0 (Note that the pure state vectors are not vectors in the Hilbert space but rays in a complex projective space; for a qubit this amounts to the Hilbert space being CP1 and not C2). Density matrices are used to describe a statistical ensemble of quantum states.

The density matrix is called pure if ρ2=ρ and mixed if ρ2<ρ. Once we are dealing with a pure state density matrix (that is, there's no statistical uncertainty involved), since ρ2=ρ, the density matrix is actually a projection operator and one can find a |ψH such that ρ=|ψψ|.

The most general quantum operation is a CP-map (completely positive map), i.e., Φ:L(H)L(H) such that

Φ(ρ)=iKiρKi;iKiKiI
(if iKiKi=I then these are called CPTP (completely positive and trace-preserving) map or a quantum channel) where the {Ki} are called Kraus operators.

Now, coming to the OP's claim that all quantum operations are unitary to allow reversibility -- this is just not true. The unitarity of time evolution operator (eiHt/) in quantum mechanics (for closed system quantum evolution) is simply a consequence of the Schrödinger equation.

However, when we consider density matrices, the most general evolution is a CP-map (or CPTP for a closed system to preserve the trace and hence the probability).

  1. Are there any situations where non-unitary gates might be allowed?

Yes. An important example that comes to mind is open quantum systems where Kraus operators (which are not unitary) are the "gates" with which the system evolves.

Note that if there is only a single Kraus operator then, iKiKi=I. But there's only one i, therefore, we have, KK=I or, K is unitary. So the system evolves as ρUρU (which is the standard evolution that you may have seen before). However, in general, there are several Kraus operators and therefore the evolution is non-unitary.

Coming to the final point:


  1. Measurement can be represented as a matrix, and that matrix is applied to qubits, so that seems equivalent to the operation of a quantum gate. That's definitively not reversible.

In standard quantum mechanics (with wavefunctions etc.), the system's evolution is composed of two parts a smooth unitary evolution under the system's Hamiltonian and then a sudden quantum jump when a measurement is made also known as wavefunction collapse. Wavefunction collapses are described as some projection operator say |ϕϕ| acting on the quantum state |ψ and the |ϕ|ψ|2 gives us the probability of finding the system in the state |ϕ after the measurement. Since the measurement operator is after all a projector (or as the OP suggests, a matrix), shouldn't it be linear and physically similar to the unitary evolution (also happening via a matrix). This is an interesting question and in my opinion, difficult to answer physically. However, I can shed some light on this mathematically.

If we are working in the modern formalism, then measurements are given by POVM elements; Hermitian positive semidefinite operators, {Mi} on a Hilbert space H that sum to the identity operator (on the Hilbert space) i=1nMi=I. Therefore, a measurement takes the form

ρEiρEiTr(EiρEi), where Mi=EiEi.

The Tr(EiρEi)=:pi is the probability of the measurement outcome being Mi and is used to renormalize the state to unit trace. Note that the numerator, ρEiρEi is a linear operation, but the probabilistic dependence on pi is what brings in the non-linearity or irreversibility.

Edit 1: You might also be interested Stinespring dilation theorem which gives you an isomorphism between a CPTP map and a unitary operation on a larger Hilbert space followed by partial tracing the (tensored) Hilbert space (see 1, 2).


5

I'll add a small bit complementing the other answers, just about the idea of measurement.

Measurement is usually taken as a postulate of quantum mechanics. There's usually some preceding postulates about hilbert spaces, but following that

  • Every measurable physical quantity A is described by an operator A^ acting on a Hilbert space H. This operator is called an observable, and it's eigenvalues are the possibly outcomes of a measurement.
  • If a measurement is made of the observable A, in the state of the system ψ, and the outcome is an, then the state of the system immediately after measurement is
    P^n|ψP^n|ψ,
    where P^n is the projector onto the eigen-subspace of the eigenvalue an.

Normally the projection operators themselves should satisfy P^=P^ and P^2=P^, which means they themselves are observables by the above postulates, and their eigenvalues 1 or 0. Supposing we take one of the P^n above, we can interpret the 1,0 eigenvalues as a binary yes/no answer to whether the observable quantity an is available as an outcome of measurement of the state |ψ.


2

Measurements are unitary operations, too, you just don't see it: A measurement is equivalent to some complicated (quantum) operation that acts not just on the system but also on its environment. If one were to model everything as a quantum system (including the environment), one would have unitary operations all the way.

However, usually there is little point in this because we usually don't know the exact action on the environment and typically don't care. If we consider only the system, then the result is the well-known collapse of the wave function, which is indeed a non-unitary operation.


1

Quantum states can change in two ways: 1. quantumly, 2. classically.

  1. All the state changes taking place quantumly, are unitary. All the quantum gates, quantum errors, etc., are quantum changes.

  2. There is no obligation on classical changes to be unitary, e.g. measurement is a classical change.

All the more reason, why it is said that the quantum state is 'disturbed' once it's measured.


1
Why would errors be "quantum"?
Norbert Schuch

@NorbertSchuch: Some errors could come in the form of the environment "measuring" the state, which could be considered classical in the language of this user, but other errors may come in the form of rotations/transformations in the Bloch sphere which don't make sense classically. Certainly you need to do full quantum dynamics if you want to model decoherence exactly (non-Markovian and non-perturbative ideally, but even Markovian master equations are quantum).
user1271772

Surely not all errors are 'quantum', but I meant to say that all 'quantum errors' (σx,σy,σz and their linear combinations) are unitary. Please correct me if I am wrong, thanks.
alphaQuant

To be more precise, errors which are taken care of by QECCs.
alphaQuant

1
I guess I'm not sure what "quantum" and "classical" means. What would a CP map qualify as?
Norbert Schuch
By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.