Skip to content

Common Convention Translations

This page is a quick crosswalk for comparing formulas written in different conventions. Use it when a textbook, paper, notebook, or software package appears to disagree with a page by a sign, factor of ℏ\hbar, Fourier normalization, tensor-product order, or basis choice.

The canonical convention definitions live in Conventions Overview. This page only records common translations.

The default conventions are:

  • keep ℏ\hbar explicit unless a page declares otherwise;
  • use e>0e>0 for the elementary positive charge and q=−eq=-e for an electron;
  • use p^→p^−qA\hat{\mathbf p}\to\hat{\mathbf p}-q\mathbf A for minimal electromagnetic coupling;
  • use the physics inner product, conjugate-linear in the bra and linear in the ket;
  • use symmetric position-momentum Fourier factors with phases eipx/ℏe^{ipx/\hbar} and e−ipx/ℏe^{-ipx/\hbar};
  • use [A,B]=AB−BA[A,B]=AB-BA and {A,B}=AB+BA\{A,B\}=AB+BA;
  • use left-to-right tensor-product subsystem ordering;
  • use the standard SzS_z spin-half basis and Si=ℏσi/2S_i=\hbar\sigma_i/2;
  • use the Condon-Shortley phase convention for spherical harmonics and angular momentum tables;
  • use density operators ρ\rho with ρ†=ρ\rho^\dagger=\rho, ρ≥0\rho\ge0, and Tr⁡ρ=1\operatorname{Tr}\rho=1.
IssueDefault conventionCommon alternate conventionTranslation check
Reduced Planck constantℏ\hbar explicitℏ=1\hbar=1Restore ℏ\hbar by dimensional analysis: commutators, phases, momenta, and spectra are the first places to check.
Speed of lightcc explicit outside declared relativistic unitsc=1c=1Restore cc by dimensions before mixing nonrelativistic and relativistic formulas.
Electric chargee>0e>0, electron charge q=−eq=-eElectron charge denoted by ee with sign included locallyCheck whether ee means positive elementary charge or signed electron charge before using electromagnetic Hamiltonians.
Minimal couplingp^→p^−qA\hat{\mathbf p}\to\hat{\mathbf p}-q\mathbf AOpposite charge sign or different vector-potential signTranslate the sign of qAq\mathbf A together with the stated charge convention.
Fourier variablemomentum pp with px/ℏpx/\hbarwave number kk with kxkxUse p=ℏkp=\hbar k and include the Jacobian in probability densities.
Fourier signψ(x)\psi(x) from eipx/ℏe^{ipx/\hbar} and ϕ(p)\phi(p) from e−ipx/ℏe^{-ipx/\hbar}Opposite forward transform signTranslate the transform pair as a whole; do not change one sign while keeping the old momentum operator.
Inner-product slot⟨ϕ∣ψ⟩\langle\phi\vert\psi\rangle linear in ψ\psiLinear in the first argumentComplex conjugate scalar-linearity statements and check adjoint definitions.
Matrix elementsAmn=⟨m∣A∣n⟩A_{mn}=\langle m\vert A\vert n\rangleRow-vector or opposite-index conventionCheck which index labels the output component before importing matrices.
Commutator[A,B]=AB−BA[A,B]=AB-BAFormula written using [B,A][B,A] or opposite Lie-bracket signReverse the sign when the order is reversed.
Heisenberg equationdAH/dt=(i/ℏ)[H,AH]dA_H/dt=(i/\hbar)[H,A_H] for no explicit time dependencedAH/dt=[AH,H]/(iℏ)dA_H/dt=[A_H,H]/(i\hbar)These are equivalent because [AH,H]=−[H,AH][A_H,H]=-[H,A_H].
Tensor-product basis∣ij⟩=∣i⟩A⊗∣j⟩B\lvert ij\rangle=\lvert i\rangle_A\otimes\lvert j\rangle_BLittle-endian or software-specific bit orderTranslate by a basis permutation, not by changing physics.
Local operatorsOA⊗IBO_A\otimes I_B acts on the first factorIdentities suppressed or subsystem order reversedRestore identity factors before comparing matrices.
Spin operatorsSi=ℏσi/2S_i=\hbar\sigma_i/2Dimensionless spin operators or ℏ=1\hbar=1Check whether eigenvalues are ±1\pm1, ±1/2\pm1/2, or ±ℏ/2\pm\hbar/2.
Pauli basis∣+⟩z=(1,0)T\lvert+\rangle_z=(1,0)^T, ∣−⟩z=(0,1)T\lvert-\rangle_z=(0,1)^TBasis labels or phases changedCompare the displayed Pauli matrices; basis changes conjugate all matrices consistently.
Angular momentumJ±=Jx±iJyJ_\pm=J_x\pm iJ_y and Condon-Shortley phasesDifferent spherical-harmonic phase conventionTranslate spherical-harmonic and Clebsch-Gordan signs together.
Density operatorAbstract ρ\rho; matrix entries are basis dependentDensity matrix treated as primary objectName the basis before interpreting populations, coherences, or matrix entries.
Measurement notationProjectors PaP_a, POVM effects EaE_aProjectors written Πa\Pi_a or effects written MaM_aIdentify whether the symbol denotes a projector, effect, Kraus operator, or outcome label.

If a source sets ℏ=1\hbar=1, then

[x^,p^]=i[\hat x,\hat p]=i

translates to

[x^,p^]=iℏ.[\hat x,\hat p]=i\hbar.

Similarly,

U(t)=e−iHtU(t)=e^{-iHt}

translates to

U(t)=e−iHt/ℏ.U(t)=e^{-iHt/\hbar}.

The quickest check is dimensional: the argument of an exponential must be dimensionless, and a commutator of position and momentum has units of action.

Momentum Fourier Amplitudes from Wave-Number Amplitudes

Section titled “Momentum Fourier Amplitudes from Wave-Number Amplitudes”

Suppose a source uses

ψ~(k)=12π∫e−ikxψ(x) dx.\tilde\psi(k) = \frac{1}{\sqrt{2\pi}} \int e^{-ikx}\psi(x)\,dx.

With p=ℏkp=\hbar k, the default momentum-space amplitude is

ϕ(p)=1ℏψ~(p/ℏ),\phi(p) = \frac{1}{\sqrt{\hbar}} \tilde\psi(p/\hbar),

provided the sign convention matches. This factor is required because probabilities must agree:

∣ϕ(p)∣2 dp=∣ψ~(k)∣2 dk.\lvert\phi(p)\rvert^2\,dp = \lvert\tilde\psi(k)\rvert^2\,dk.

Missing this Jacobian is one of the most common normalization errors in position-momentum translations.

With the physics convention,

⟨aϕ∣ψ⟩=a∗⟨ϕ∣ψ⟩,⟨ϕ∣aψ⟩=a⟨ϕ∣ψ⟩.\langle a\phi\vert\psi\rangle = a^*\langle\phi\vert\psi\rangle, \qquad \langle\phi\vert a\psi\rangle = a\langle\phi\vert\psi\rangle.

Some mathematics texts reverse which slot is linear. When comparing a theorem stated in that convention, do not copy sesquilinear identities mechanically. Check whether the adjoint, Riesz map, or matrix-element convention has been defined with the opposite slot.

The default two-qubit coefficient order is

∣00⟩,∣01⟩,∣10⟩,∣11⟩.\lvert00\rangle,\quad \lvert01\rangle,\quad \lvert10\rangle,\quad \lvert11\rangle.

If a software convention orders the middle two basis states as ∣10⟩,∣01⟩\lvert10\rangle,\lvert01\rangle, then the same physical state has its middle coefficients swapped. This is a permutation of coordinate labels, not a different state.

The default no-explicit-time-dependence form is

dAHdt=iℏ[H,AH].\frac{dA_H}{dt} = \frac{i}{\hbar}[H,A_H].

The form

dAHdt=1iℏ[AH,H]\frac{dA_H}{dt} = \frac{1}{i\hbar}[A_H,H]

is the same statement because 1/i=−i1/i=-i and [AH,H]=−[H,AH][A_H,H]=-[H,A_H].

  1. Identify the source convention explicitly. Do not infer it from one formula if the source may be mixing notation.
  2. Translate one simple diagnostic formula first, such as [x^,p^][\hat x,\hat p], U(t)U(t), a Fourier pair, or a Pauli matrix.
  3. Check dimensions, normalization, and basis order.
  4. Compare a convention-independent result, such as a probability, spectrum, trace, or expectation value.
  5. Link to the canonical convention page if the translated formula will appear in a page.
  • Restoring ℏ\hbar in one formula but not in the related phase or commutator.
  • Changing a Fourier sign without changing the transform pair consistently.
  • Treating ϕ(p)\phi(p) and ψ~(k)\tilde\psi(k) as the same function rather than related amplitudes.
  • Comparing matrix elements without checking which index labels the output basis vector.
  • Reading software bit strings as if they used the pedagogical tensor-product order.
  • Treating σi\sigma_i and SiS_i as interchangeable.
  • Copying spherical-harmonic or Clebsch-Gordan signs from a source with a different phase convention.
  • Using a POVM effect as if it were automatically the state-update operator.
  • P. A. M. Dirac, The Principles of Quantum Mechanics, 4th ed., Oxford University Press, 1958.
  • J. J. Sakurai and J. Napolitano, Modern Quantum Mechanics, 3rd ed., Cambridge University Press, 2020.
  • R. Shankar, Principles of Quantum Mechanics, 2nd ed., Springer, 1994.
  • C. Cohen-Tannoudji, B. Diu, and F. Laloë, Quantum Mechanics, Wiley, 1977.
  • M. A. Nielsen and I. L. Chuang, Quantum Computation and Quantum Information, Cambridge University Press, 2010.
  • D. A. Varshalovich, A. N. Moskalev, and V. K. Khersonskii, Quantum Theory of Angular Momentum, World Scientific, 1988.
  1. A source writes U(t)=e−iHtU(t)=e^{-iHt} after setting ℏ=1\hbar=1. What is the explicit-ℏ\hbar form?
Solution

The explicit form is

U(t)=e−iHt/ℏ.U(t)=e^{-iHt/\hbar}.

The exponent must be dimensionless, and HtHt has units of action.

  1. A wave-number amplitude ψ~(k)\tilde\psi(k) is normalized so that ∫∣ψ~(k)∣2 dk=1\int\lvert\tilde\psi(k)\rvert^2\,dk=1. What momentum amplitude ϕ(p)\phi(p) preserves normalization when p=ℏkp=\hbar k?
Solution

Use

ϕ(p)=1ℏψ~(p/ℏ).\phi(p)=\frac{1}{\sqrt{\hbar}}\tilde\psi(p/\hbar).

Then ∣ϕ(p)∣2dp=∣ψ~(k)∣2dk\lvert\phi(p)\rvert^2dp=\lvert\tilde\psi(k)\rvert^2dk.

  1. In the default two-qubit order, a state has coefficient column (a,b,c,d)T(a,b,c,d)^T. A source uses the order ∣00⟩,∣10⟩,∣01⟩,∣11⟩\lvert00\rangle,\lvert10\rangle,\lvert01\rangle,\lvert11\rangle. What is the source-order coefficient column for the same state?
Solution

The middle two basis labels are swapped. The source-order column is

(a,c,b,d)T.(a,c,b,d)^T.