Paper VII visual guide · Visual 2 of 40 · AN ATLAS OF TYPES AND CONVENTIONS

The objects on the page

Traditional edition: Definition II.2.1, Definition II.7.1.

Start reading

Resources & source

Original plate in the monograph PDF · Original atlas source

Skip contents and start reading

The same letter can stand for different kinds of data in different calculations. Keep the following types fixed while reading a formula. In this appendix, vectors are columns, operators compose from right to left, and \(A^*\) denotes the conjugate transpose.

Types and conventions used in the atlas
SymbolObjectWhat it records
\({\mathcal H},\psi\)Hilbert space and state vectorThey specify the space of addresses and its coherent amplitudes.
\({\mathcal A}\)Declared operator algebraIt specifies the available linear operations.
\(P_a\)Orthogonal packet projectorIt selects an entire subspace.
\(\rho\)Positive matrix of trace oneIt records populations and coherences.
\(E_k\)Positive measurement effectIt gives the outcome probability \({\operatorname{Tr}}(E_k\rho)\).
\(K_a\)Kraus operatorIt describes one channel branch and need not be a projector.
\(H\)Self-adjoint HamiltonianIt generates evolution in real time through \(e^{-{\mathrm i} tH}\).
\(C,\nabla\)Packet transport generator and connectionThey describe moving subspaces and differentiation within their ranges.
\(P,Q\)Retained and hidden projectorsThey define a decomposition with \(Q=I-P\).
\(\Sigma(z)\)Self-energyIt records the spectral influence of the hidden sector.
\(L,T(\tau)\)Nonnegative operator and Euclidean transferThey determine decay factors and finite heat trace diagnostics.

Normalization and indexing

The tensor factors are ordered from left to right, so \(X_1=X\otimes I\otimes I\). A normalized pure state gives \(\rho=\psi\psi^*\). A coefficient matrix used to count a seed orbit need not be normalized. Scaling a nonzero seed does not change its generated linear span.

A Hamiltonian and a Hadamard gate are both traditionally denoted \(H\). Where both appear, the gate is \(H_{\rm Had}\) and the Hamiltonian keeps the letter \(H\). Numerical labels on a drawing are coordinates or exact example values, not observations of a physical device.

Read this as

Check the type before interpreting the picture. An idempotent projector, a density matrix, and a channel matrix have different defining equations.

Source and conversion record

The original atlas wording, equations, and drawing labels are retained. Drawings are views of the frozen monograph PDF. Text descriptions and table headings are added reading aids. This conversion does not rebuild TeX, rerun the examples, audit proofs or compile Lean.

Conversion checks and source hashes

Notation in Paper VII

Look up a symbol without leaving this chapter. Select text before opening help to search for it.

Search this work’s notation.

    Symbols can have different meanings in different passages. Read each result in its own context.

    Open the full notation index