5
$\begingroup$

Elements of Quantum Computing draws a distinction between "Wave Mechanics" and "Matrix Mechanics" (p. 38). I believe the reason we use a matrix formulation is that we are not dealing with continuous quantities like position, but finite quantities like spin. But I would like to validate this assumption.

Quantum Information: A Brief Overview and Some Mathematical Aspects also notes this distinction on p. 3.

I believe my earlier version of this question mixed "Wave Mechanics" and "Matrix Mechanics" with Schrodinger and Heisenberg respectively. While Heisenberg was the first to introduce matrices to QM, his picture of QM is different than Schrodinger's. I believe that Von Neumann was able to unite these two pictures into the postulates we know and love today as described in this paper.

$\endgroup$
11
  • $\begingroup$ Why did you decide that Quantum Computing uses Heisenberg picture? Quantum circuits use Schrödinger picture. $\endgroup$
    – kludg
    Dec 23, 2019 at 5:51
  • $\begingroup$ @kludg The Heisenberg & Schrodinger pictures are a different thing to talking expressing quantum mechanics using matrices/differential equations, which are also typically associated with Heisenberg and Schrodinger. $\endgroup$
    – DaftWullie
    Dec 23, 2019 at 11:48
  • $\begingroup$ @DaftWullie the difference between Heisenberg and Schrödinger pictures is unrelated to the difference between matrices and differential equations. $\endgroup$
    – kludg
    Dec 23, 2019 at 13:41
  • $\begingroup$ @kludg DW isn't disputing the claim that " the difference between Heisenberg and Schrödinger pictures is unrelated to the difference between matrices and differential equations" but their point is expressing quantum mechanics using matrices is often attributed (perhaps wrongly) to Heisenberg while expressing it using wave equations (and differential equations) is attributed to Schrodinger. While I've never seen any evidence supporting that notion, this is too much of a semantics issue to have any impact on the real physics and I wouldn't care too much either way. $\endgroup$ Dec 23, 2019 at 14:17
  • 1
    $\begingroup$ It can get confusing very soon. For instance in the Heisenberg picture $a(t)$ are matrices, but in typical harmonic oscillator problems the solution is continuous $a(t) = e^{iwt}a_0 + e^{-iwt}a^\dagger_0$ (something like this). I would recommend instead looking at a physics book to clarify these issues; Sakurai, Modern Quantum Mechanics should be easy to read (one only has to study the first three first chapters or so...). $\endgroup$ Jul 19, 2021 at 11:16

3 Answers 3

6
$\begingroup$

Semantics aside, I’m assuming that your question is essentially “why do we use a matrix formulation of quantum mechanics rather than a continuous variable/differential equation/integral formulation” (I may be wrong and would welcome clarification) and nothing to do with the interaction picture and the like, which some other answers seem to be touching upon.

Largely, we use the bra-ket notation of Dirac, so we might write quantities such as $\langle\psi|\phi\rangle$. These are very abstract entities. You can choose to represent these abstract entities using either a vector/matrix formalism of an integral formalism. It doesn't matter.

However, we typically choose to use vectors just because it tends to make the maths easier. Vectors have, somewhat more obviously, properties such as orthogonality built into them, so I don't end up evaluating integrals all the time. Particularly when I want to talk about a two-level system, I could describe it using two continuous functions $\psi_0(x)$ and $\psi_1(x)$, but it's just overkill.

The sort of problem that I studied as an undergraduate would talk, for example, about the infinite square well. You'd be given some initial state $f(x)$, and asked what it looks like at some later time. Perhaps you have to evaluate the probability that the particle is on the right-hand side of the well. By far the quickest way of doing this is to decompose $$ f(x)=\sum_n\alpha_n\psi_n(x), $$ where $\psi_n(x)$ are the stationary states of energy $E_n$. The only thing I really care about is the discrete set of values $\alpha_n$, which are most conveniently stored as a vector. Then the solution would be $$ \sum_n\alpha_ne^{-iE_nt}\psi_n(x). $$ Next, I decompose the state of being on the right-hand side of the well as $$ \sum_n\beta_n\psi_n(x). $$ The probability that the final state is on that side is $$ \left|\sum_n\beta_n^\star\alpha_ne^{-iE_nt}\right|^2. $$ The only integrals that I need to do are to evaluate the $\alpha_n$ and $\beta_n$. The rest of the calculation is more easily done using orthogonality/linearity properties which are all present in the integral form, but are harder to see. So you very quickly start abstracting away from the integral form and are naturally led towards linear algebra.

$\endgroup$
1
  • 1
    $\begingroup$ While I suspect the OP's confusion was due to them seeing matrices all around in quantum computing textbooks and then assuming that they use the Heisenberg's matrix mechanics formulation, the difference between Heisenberg's matrix mechanics and Schrödinger's wave mechanics isn't that one uses matrices with another uses integrals/differential equations. Maybe I should address this in my answer too... $\endgroup$ Dec 23, 2019 at 11:55
6
$\begingroup$

Quantum computing, in general, does not use Heisenberg's matrix mechanics or Dirac's interaction picture.

I suggest that you carefully read the Wikipedia page on dynamical pictures. The differences between the Heisenberg picture, the Schrödinger picture and Dirac (interaction) picture are well summarized in the following chart. The development of matrix mechanics, as a mathematical formulation of quantum mechanics, is attributed to Werner Heisenberg, Max Born, and Pascual Jordan.)

In the widely used circuit model of quantum computing, the qubit states evolve in time as per the Schrödinger equation $|\Psi_s(t)\rangle = e^{-iH_st}|\Psi_s(0)\rangle$ (by application of quantum gates) while the observables are constant (note that observables in quantum mechanics are defined in terms of positive operator-valued measures). For details, read this section. So your claim that quantum computing (or quantum information theory for that matter) uses Heisenberg's matrix mechanics, is incorrect.

I presume your confusion arose because you saw matrices all around in quantum computing textbooks and thought they use some kind of "matrix mechanics", but in reality, Heisenberg's matrix mechanics is something completely different i.e., it's an algebraic approach to quantum mechanics using mathematical devices like ladder operators. Moreover, in Heisenberg's matrix mechanics quantum states remain constant while the operators evolve (see kludg's answer for an example). Nevertheless, DaftWullie's answer explains why matrices are preferable to using continuous-wave functions for low-dimensional finite systems like qubits in quantum computing if that's what you were confused about.

Nearly 100 years ago, von Neumann had already fairly rigorously shown the equivalence (under certain reasonable assumptions cf. this) among all the three pictures with his separable Hilbert space formulation of quantum mechanics (which really underpins all of modern quantum mechanics and quantum information theory); the three pictures differ only by a basis change with respect to time-dependency. It's just that one picture might be more useful than another in certain contexts.

Rotation of state vectors in the Hilbert space is easier to visualize than evolving observables and that's one of the reasons why the Schrödinger picture preferred in introductory approaches to quantum mechanics. And, in general, quantum computing just deals with "toy" systems from quantum mechanics i.e., finite-dimensional qubit or qudit systems, whereas very high-dimensional or infinite-dimensional systems are much more prevalent in the real-world (though, there are exceptions like continous variable quantum information that makes use of physical observables like the strength of electromagnetic fields whose values belong to continuous intervals).

$\endgroup$
4
  • 1
    $\begingroup$ If you have access to Nelson & Chuang, then take a look at section ˋ2.2.3 Quantum measurement´. This is the only place I know which puts POVM into the right context. Wikipedia also talks about the issue with the post measurement state, but contrary to Nelson & Chuang, it does not present the „even more general formulation of measurement“, which does not have that issue. $\endgroup$ Dec 29, 2019 at 22:17
  • $\begingroup$ @ThomasKlimpel I'm aware of the general formulation of measurement. Nielsen and Chuang doesn't teach it in measure theory terms so it's not that great either, but good for a basic idea. $\endgroup$ Dec 29, 2019 at 22:29
  • $\begingroup$ @ThomasKlimpel Typo corrected. Anyway, the POVM formalism can be accounted for by PVMs via the dilation theorems. $\endgroup$ Dec 29, 2019 at 23:21
  • $\begingroup$ I think your answer is incorrect according to this: youtube.com/watch?v=wIwnb1ldYTI and p. 73 here: uwaterloo.ca/institute-for-quantum-computing/sites/… $\endgroup$
    – LeWoody
    Jul 14, 2021 at 17:29
1
$\begingroup$

The quantum circuit model does not use the Heisenberg picture of quantum mechanics. Also, what is "Dirac's Matrix Mechanics"? Quantum computing widely uses Dirac's bra-ket notation.

Quantum circuit model considers how state vectors of qubits are transformed by quantum gates which follows the Schrödinger picture of quantum mechanics.


PS: Maybe I need to say more. The difference between Schrödinger and Heisenberg pictures of QM is totally unrelated to the difference between differential equation and matrices.

Suppose I have a qubit $$|0\rangle=\begin{pmatrix} 1\\ 0 \end{pmatrix}$$ and apply Hadamard gate to it; as a result, the state of the qubit changes: $$ \begin{pmatrix} 1\\ 0 \end{pmatrix}\rightarrow\frac{1}{\sqrt{2}} \begin{pmatrix} 1&1\\ 1&-1 \end{pmatrix} \begin{pmatrix} 1\\ 0 \end{pmatrix} =\frac{1}{\sqrt{2}} \begin{pmatrix} 1\\ 1 \end{pmatrix} $$ This is Schrödinger way of thinking, and it is used in Quantum Computing without saying it explicitly.

Heisenberg picture of QM is very different; It goes as follows: suppose I have $S_z$ spin operator, $$S_z=\frac{\hbar}{2}\sigma_z=\frac{\hbar}{2}\begin{pmatrix} 1&0\\ 0&-1 \end{pmatrix}$$ and apply Hadamard gate to it: $$S_z\rightarrow\frac{1}{\sqrt{2}} \begin{pmatrix} 1&1\\ 1&-1 \end{pmatrix}S_z \frac{1}{\sqrt{2}} \begin{pmatrix} 1&1\\ 1&-1 \end{pmatrix}=\frac{\hbar}{2} \begin{pmatrix} 0&1\\ 1&0 \end{pmatrix}=S_x $$ That is, Hadamard gate transforms $S_z$ operator to $S_x$ operator (or transforms $\sigma_z$ Pauli matrix to $\sigma_x$ Pauli matrix).

This is Heisenberg way of thinking; I'm not sure it suits well to quantum circuit model.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Not the answer you're looking for? Browse other questions tagged or ask your own question.