# Why do we use Hermitian operators in QM?

Position, momentum, energy and other observables yield real-valued measurements. The Hilbert-space formalism accounts for this physical fact by associating observables with Hermitian ('self-adjoint') operators. The eigenvalues of the operator are the allowed values of the observable. Since Hermitian operators have a real spectrum, all is well.

However, there are non-Hermitian operators with real eigenvalues, too. Consider the real triangular matrix:

$$\left( \begin{array}{ccc} 1 & 0 & 0 \\ 8 & 4 & 0 \\ 5 & 9 & 3 \end{array} \right)$$

Obviously this matrix isn't Hermitian, but it does have real eigenvalues, as can be easily verified.

Why can't this matrix represent an observable in QM? What other properties do Hermitian matrices have, which (for example) triangular matrices lack, that makes them desirable for this purpose?

-

## 3 Answers

One problem with the given $3\times 3$ matrix example is that the eigenspaces are not orthogonal.

Thus it doesn't make sense to say that one has with 100% certainty measured the system to be in some eigenspace but not in the others, because there may be a non-zero overlap to a different eigenspace.

One may prove$^{1}$ that an operator is Hermitian if and only if it is diagonalizable in an orthonormal basis with real eigenvalues. See also this Phys.SE post.

$^{1}$We will ignore subtleties with unbounded operators, domains, selfadjoint extensions, etc., in this answer.

-

Thanks for the answer @Qmechanic. Please could you elaborate a little on how a non-orthogonal eigenbasis differs from a classical uncertainty (ie a mixed state with a density operator)? After all, we're never 100% sure that a system is in some eigenspace but not the others. – poorsod Oct 11 '12 at 21:47
Also, if I encounter an operator with both real eigenvalues and an orthogonal eigenbasis, is that enough for me to conclude that it is Hermitian? – poorsod Oct 11 '12 at 21:49
1. Here I'm considering an ideal quantum system. 2. Yes, cf. my update. – Qmechanic♦ Oct 13 '12 at 12:44

If you want to see something different, there are actually a few articles by Carl Bender developing quantum mechanics formulated with parity-time symmetric operators. He shows that some Hamiltonians are not Hermitian, yet they have real eigenvalues and seem to represent valid physical systems. If you think about it, the requirement that your operator is parity-time symmetric makes more sense physically than hermiticity. In a later article, his quantum mechanics approach was proven to be equivalent to the standard one where operators are hermitian.

If you are interested, you can read http://arxiv.org/abs/quant-ph/0501052

-

It should be mentioned  that PT-symmetric operators are Hermitian operators wrt. a non-standard sesqui-linear form (inner product), so in that sense one may argue, that they do not constitute a departure from standard quantum mechanical axioms. – Qmechanic♦ Oct 11 '12 at 23:01

To give an answer that is a little more general than what you're asking I can think of three reasons for having hermitian operators in quantum theory:

1) Quantum theory relies on unitary transforms, for symmetries, basis changes or time evolution. Unitary transforms are generated by hermitian operators as in $U=\exp(iH)$. And unitary Lie group representations come with a lie algebra of hermitian operators.

2) Outcomes of measurements are taken from a set of orthogonal states with real measurement values. This structure if efficiently represented by a hermitian operator that comes with an eigenstructure that matches these requirements precisely.

3) State representations of subsystems and ensembles lead to hermitian operators. For ensembles this can be seen from the construction as a convex sum of projectors, which are necessarily hermitian. For subsystem states it comes out of tracing a projector over tensor factor spaces. This is related to point 2) because processes like decoherence connect measurement outcomes with density operators.

-
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 4, "mathjax_display_tex": 1, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "github"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9212732911109924, "perplexity_flag": "middle"}