Paper VII visual guide · Visual 11 of 40 · COMMUTATORS AND PROBABILITY BOUNDS

Quantify the amplitude that escapes

Traditional edition: Theorem II.5.3, Corollary II.5.4.

Start reading

Resources & source

Original plate in the monograph PDF · Original atlas source

Skip contents and start reading

For a two-level system, choose \(H=\varepsilon X\), \(P={\left|0\right\rangle}{\left\langle0\right|}\), and \(Q=I-P\). Direct exponentiation gives

\[ e^{-{\mathrm i} tH}=\cos(\varepsilon t)I-{\mathrm i}\sin(\varepsilon t)X, \quad {\left\lVert Qe^{-{\mathrm i} tH}P\right\rVert}=|\sin(\varepsilon t)|, \quad{\left\lVert[H,P]\right\rVert}=|\varepsilon|. \]

The general commutator estimate becomes the elementary bound \(|\sin u|\le |u|\). Unitarity also bounds the amplitude by one.

A leakage-amplitude curve is compared with its bound.
Original drawing. Read the description below; expand the labels and data for selectable text.

Reading the drawing

The horizontal axis is scaled elapsed time. The solid curve is the absolute sine amplitude and the dashed curve is the stated upper bound. The note on the right distinguishes this amplitude from the squared transition probability.

Drawing labels and data 14 labels

Read the original labels as selectable text. Tables preserve grid relationships; other short labels are grouped compactly.

  • 0
  • 0.5
  • 1
  • 1.5
  • 2
  • 2.5
  • 0
  • 0.5
  • 1
  • \(u=|\varepsilon t|\)
  • leakage amplitude
  • \(H=\varepsilon X\)

solid: \(|\sin u|\)
dashed: \(\min(1,u)\)

Probability is \(\sin^2u\),
not \(|\sin u|\).

Open the full-size drawing

From a norm to a probability

For this initial state, the escape probability is \(\sin^2(\varepsilon t)\), not \(|\sin(\varepsilon t)|\). Consequently

\[ \Pr(\text{hidden packet at }t)\le\min\{1,\varepsilon^2t^2\}. \]

At \(\varepsilon t=\pi/6\), the amplitude is \(1/2\) and the probability is \(1/4\). Near zero, amplitudes are first order while escape probabilities are second order. Mixing those two quantities produces an incorrect interpretation of a leakage plot.

The figure displays samples of the explicit functions above. The supporting check verifies the exact exponential identity, its unitarity, the squared leakage matrix, and the special-time value. The paper's theorem supplies the bound for all times within its stated scope.

At larger times amplitude can return from the hidden packet. The commutator bound therefore limits the largest possible leakage without predicting that it must rise monotonically.

Read this as

The norm estimate controls amplitude. For a normalized state, square it to obtain a probability bound, and retain the distinction between a bound and the actual oscillatory dynamics.

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