Notation and Conventions

This page fixes local notation for measurement, decoherence, channels, open-system dynamics, trajectories, and thermodynamic bookkeeping. It is a convention page, not a derivation page. For general density-operator and operator conventions, use Density Matrix Conventions and Operator Conventions. For formulas with assumptions, use the Formula Sheet.

The main local rule is collision avoidance. The same letter $E$ is often used in the literature for energy, environment, and POVM effects. This volume prefers different symbols when several of those objects appear on the same page.

Quick Symbol Table

Symbol	Default Meaning	Notes
$\rho$	density operator	Use $\rho_S$ for a system state and $\rho_{SE}$ for a joint system-environment state.
$\operatorname{Tr}_E$	partial trace over the environment	Use a subscript on the trace to name what is discarded.
$\Pi_m$ or $P_m$	projective-measurement projector	$\Pi_m$ is preferred when $P$ is already used for probabilities.
$F_m$	POVM effect	Preferred over $E_m$ when energy or environment also appears.
$M_m$, $K_m$	measurement or Kraus operator	A map may require more than one operator per outcome, $M_{m\alpha}$.
$\mathcal I_m$	instrument operation for outcome $m$	Outcome-resolved completely positive map.
$\Phi$, $\mathcal E$, $\Lambda_t$	quantum channel or dynamical map	Use $\mathcal E$ sparingly if environment notation is nearby.
$\Phi^\dagger$	Heisenberg-picture adjoint map	Defined by the trace pairing, not by matrix conjugation of one Kraus operator.
$\mathcal L$	Liouvillian generator	Continuous-time generator for a master equation.
$L_k$	Lindblad or jump operator	State whether rates are included in $L_k$ or written separately.
$H_S,H_E,H_I$	system, environment, and interaction Hamiltonians	In prose, write “environment” or “bath” when $E$ might be confused with energy.
$\rho_c$	conditional state	State conditioned on a measurement record.
$\eta$	detection or measurement efficiency	Always declare the convention.
$\gamma,\kappa,\Gamma$	rates	Define per model; do not infer a factor-of-two convention from the symbol alone.
$W,Q,\Delta E$	work, heat, and internal-energy change	Sign conventions must be stated for each thermodynamic protocol.

State and Subsystem Notation

The default state is a density operator $\rho$ satisfying

$$\rho^\dagger=\rho, \qquad \rho\ge0, \qquad \operatorname{Tr}\rho=1.$$

When a system is coupled to an environment, write the joint state as $\rho_{SE}$ and the reduced system state as

$$\rho_S = \operatorname{Tr}_E(\rho_{SE}).$$

The subscript on the trace names the degrees of freedom removed. This is deliberately redundant: it prevents tensor-ordering mistakes in long open-system formulas.

Use $S$ for the system of interest and $E$ for an environment only as a subscript or in a compound symbol such as $H_E$. In prose, prefer “environment” or “bath” when a page also uses $E_n$ for energies.

Measurement Notation

For a projective measurement with outcomes $m$, use projectors $\{\Pi_m\}$:

$$\Pi_m\Pi_n = \delta_{mn}\Pi_m, \qquad \sum_m\Pi_m=I.$$

The probability of outcome $m$ is

$$p(m) = \operatorname{Tr}(\Pi_m\rho).$$

For an ideal selective Lüders update,

$$\rho_m = \frac{\Pi_m\rho\Pi_m}{p(m)}$$

when $p(m)$ is nonzero.

For generalized measurements, use POVM effects $\{F_m\}$:

$$F_m\ge0, \qquad \sum_mF_m=I, \qquad p(m)=\operatorname{Tr}(F_m\rho).$$

The letter $F_m$ is preferred locally because $E_m$ often denotes an energy eigenvalue. If a source uses $E_m$ for effects, translate it explicitly before combining with thermodynamic or spectral formulas.

Operators, Effects, and Instruments

A measurement operator $M_m$ is not the same object as a POVM effect. With one measurement operator per outcome,

$$F_m = M_m^\dagger M_m.$$

The selective output state is

$$\rho_m = \frac{M_m\rho M_m^\dagger} {\operatorname{Tr}(M_m\rho M_m^\dagger)}.$$

With several microscopic Kraus operators for the same macroscopic outcome,

$$\mathcal I_m(\rho) = \sum_\alpha M_{m\alpha}\rho M_{m\alpha}^\dagger, \qquad F_m = \sum_\alpha M_{m\alpha}^\dagger M_{m\alpha}.$$

The instrument operation $\mathcal I_m$ gives both the probability and the unnormalized post-measurement state:

$$p(m) = \operatorname{Tr}[\mathcal I_m(\rho)], \qquad \rho_m = \frac{\mathcal I_m(\rho)}{p(m)}.$$

If the outcome is ignored, the unconditional channel is

$$\Phi(\rho) = \sum_m\mathcal I_m(\rho).$$

Thus a POVM answers “which probabilities?”, while an instrument answers “which probabilities and what state update?”

Channels and Adjoint Maps

The default Schrödinger-picture channel acts on states:

$$\rho' = \Phi(\rho).$$

For a Kraus representation,

$$\Phi(\rho) = \sum_\alpha K_\alpha\rho K_\alpha^\dagger.$$

Trace preservation is

$$\sum_\alpha K_\alpha^\dagger K_\alpha = I.$$

The Heisenberg-picture adjoint $\Phi^\dagger$ acts on observables and is defined by

$$\operatorname{Tr}[A\,\Phi(\rho)] = \operatorname{Tr}[\Phi^\dagger(A)\rho].$$

For the same Kraus representation,

$$\Phi^\dagger(A) = \sum_\alpha K_\alpha^\dagger A K_\alpha.$$

Do not confuse $\Phi^\dagger$ with the adjoint of a single operator. It is a superoperator adjoint with respect to the trace pairing.

Superoperators and Vectorization

Calligraphic symbols such as $\mathcal L$, $\mathcal D$, and $\mathcal H$ usually denote superoperators, meaning maps that act on operators. This volume writes master equations directly in operator form unless a page declares a vectorization convention.

When vectorization is used, the page must state whether matrices are stacked by columns or rows. In the computational notebook pages, column-stacking is preferred:

$$\operatorname{vec}(AXB) = (B^{\mathsf T}\otimes A)\operatorname{vec}(X).$$

No page should mix vectorized Liouvillians with unvectorized density matrices without declaring the conversion.

Lindblad and Rate Conventions

The default finite-dimensional Lindblad–GKSL convention is

$$\frac{d\rho}{dt} = - \frac{i}{\hbar}[H,\rho] + \sum_k\gamma_k \mathcal D[L_k]\rho, \qquad \gamma_k\ge0,$$

with

$$\mathcal D[L]\rho = L\rho L^\dagger - \frac12 \{L^\dagger L,\rho\}.$$

Many sources absorb rates into jump operators by replacing $L_k$ with $\sqrt{\gamma_k}L_k$. Both conventions are standard. A page must declare which one it uses before comparing rates.

For pure dephasing, this volume often writes

$$\frac{\Gamma_\phi}{2} \left( \sigma_z\rho\sigma_z-\rho \right),$$

so that the off-diagonal element $\rho_{01}$ decays as $e^{-\Gamma_\phi t}$. If another page uses $\gamma_\phi\mathcal D[\sigma_z]\rho$, it must state the relation between $\gamma_\phi$ and the coherence-decay rate.

Noise and Bath Conventions

For a system-environment Hamiltonian, use

$$H = H_S+H_E+H_I.$$

The interaction is often decomposed as

$$H_I = \sum_\alpha A_\alpha\otimes B_\alpha,$$

where $A_\alpha$ acts on the system and $B_\alpha$ acts on the environment.

Correlation functions and spectra are convention-sensitive. A page that uses spectra should state whether it means a two-sided angular-frequency spectrum, a one-sided spectrum, or an ordinary-frequency spectrum. The default two-sided angular-frequency convention is

$$C_{BB}(t) = \langle B(t)B(0)\rangle, \qquad S_{BB}(\omega) = \int_{-\infty}^{\infty} dt\, e^{i\omega t}C_{BB}(t).$$

Cutoffs, symmetrization, and thermal factors should be declared locally. They are not safely inferred from the symbol $S(\omega)$.

Trajectory and Record Notation

A conditional state given a measurement record is written $\rho_c$ or $\rho_{t|Y}$ when the record must be explicit. Use $\rho(t)$ for the unconditional ensemble state.

Diffusive equations use Wiener increments $dW_t$ with

$$\mathbb E[dW_t]=0, \qquad \mathbb E[dW_t^2]=dt.$$

Jump equations use counting increments $dN_t$ with values $0$ or $1$ over an infinitesimal interval. The mean increment depends on the conditional jump rate and must be declared for the model.

Measurement efficiency is usually $\eta$, with

$$0\le\eta\le1.$$

The same symbol may mean detector efficiency, collection efficiency, or total measurement efficiency in different subfields. State the operational meaning before using it in a rate or stochastic equation.

Thermodynamic Sign Conventions

Thermodynamic pages use the convention that work in a closed two-point measurement protocol is the measured final energy minus the measured initial energy:

$$W = E_m^\tau-E_n^0.$$

For open systems, separate the internal-energy change from heat and work:

$$\Delta E = W+Q$$

only after the page has declared the sign of $Q$. Some communities define heat into the system as positive; others use the opposite sign for heat dumped into a reservoir. The sign convention must be stated on every page where heat is computed.

Local Collision Rules

Use the following preferences when notation would otherwise collide:

Collision	Preferred Local Choice
environment versus energy	write the environment as a word, or use subscript $E$ only in symbols such as $H_E$
POVM effect versus energy	use $F_m$ for effects and $E_n$ for energy eigenvalues
channel versus environment	use $\Phi$ or $\Lambda_t$ for channels when $\mathcal E$ might be read as environment
Kraus operator versus Hamiltonian	use $K_\alpha$ for channel Kraus operators and $M_m$ for measurement operators
Lindblad operator versus Liouvillian	use $L_k$ for jump operators and $\mathcal L$ for the generator
measurement rate versus resonator decay	define $\Gamma_m$, $\kappa$, and $\gamma$ locally before comparing them

Common Mistakes

• Using $E_m$ for both an energy and a POVM effect in the same derivation.
• Calling a POVM effect a Kraus operator.
• Forgetting that an instrument, not a POVM alone, specifies the post-measurement state.
• Comparing dephasing rates across pages without checking the factor-of-two convention.
• Treating $\Phi^\dagger$ as ordinary matrix adjunction rather than a superoperator adjoint.
• Dropping the subscript on a partial trace and then losing track of tensor ordering.
• Quoting heat or work without a sign convention.

Exercises

Effect Versus Measurement Operator

Suppose a two-outcome measurement has operators

$$M_0 = \sqrt{1-p}\,I, \qquad M_1 = \sqrt p\,\sigma_z, \qquad 0\le p\le1.$$

What are the POVM effects $F_0$ and $F_1$?

Solution

The effects are

$$F_0 = M_0^\dagger M_0 = (1-p)I, \qquad F_1 = M_1^\dagger M_1 = pI.$$

They sum to $I$. The outcome probabilities are independent of the state, even though the $M_1$ state update applies $\sigma_z$.

Trace Preservation

Show that a Kraus map

$$\Phi(\rho) = \sum_\alpha K_\alpha\rho K_\alpha^\dagger$$

is trace preserving when $\sum_\alpha K_\alpha^\dagger K_\alpha=I$.

Solution

Using cyclicity of the trace in finite dimension,

$$\operatorname{Tr}\Phi(\rho) = \sum_\alpha \operatorname{Tr} \left( K_\alpha\rho K_\alpha^\dagger \right) = \sum_\alpha \operatorname{Tr} \left( K_\alpha^\dagger K_\alpha\rho \right).$$

If the Kraus operators satisfy

$$\sum_\alpha K_\alpha^\dagger K_\alpha=I,$$

then

$$\operatorname{Tr}\Phi(\rho) = \operatorname{Tr}\rho.$$

Partial Trace Label

If $\rho_{SE}$ is a joint state, what does $\operatorname{Tr}_E(\rho_{SE})$ represent, and why is the subscript useful?

Solution

It represents the reduced state of the system $S$ after the environment degrees of freedom are ignored:

$$\rho_S = \operatorname{Tr}_E(\rho_{SE}).$$

The subscript records which factor was traced out. This matters because $\operatorname{Tr}_S(\rho_{SE})$ would instead give the reduced environment state.

Cross-Links

• Concept Map
• Closed vs Open Quantum Systems
• Density Matrix Conventions
• Probability and Measurement Conventions
• Projective Measurements
• POVMs
• Kraus Operators
• Quantum Instruments
• Completely Positive Maps
• Lindblad–GKSL Equation
• Stochastic Master Equations
• Energy, Heat, and Work
• Formula Sheet

References

• K. Kraus, States, Effects, and Operations, Springer (1983).
• A. S. Holevo, Probabilistic and Statistical Aspects of Quantum Theory, 2nd ed., Edizioni della Normale (2011).
• M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press (2010).
• H.-P. Breuer and F. Petruccione, The Theory of Open Quantum Systems, Oxford University Press (2002).
• H. M. Wiseman and G. J. Milburn, Quantum Measurement and Control, Cambridge University Press (2010).