Paper VII visual guide · Visual 21 of 40 · TWO INVERTIBILITY CONDITIONS, NOT ONE

Hidden states return as spectral dependence

Traditional edition: Theorem II.9.2, Theorem II.9.3.

Start reading

Resources & source

Original plate in the monograph PDF · Original atlas source

Skip contents and start reading

Take \(H={\begin{pmatrix}0&1\\1&2\end{pmatrix}}\) and retain its first coordinate. The eliminated block is \(H_{QQ}=2\). Whenever \(z-2\) and the full \(zI-H\) are invertible,

\[ H_{\rm eff}(z)=\frac1{z-2},\qquad \bigl[(zI-H)^{-1}\bigr]_{00} =\frac1{z-1/(z-2)}=\frac{z-2}{z^2-2z-1}. \]

This is the corrected hypothesis set recorded in the formal release.

Filled and open points distinguish two kinds of spectral failure.
Original drawing. Read the description below; expand the labels and data for selectable text.

Reading the drawing

The filled points mark poles of the full resolvent. Open points mark the displayed hidden-sector inverses that fail. The bottom comparison evaluates the exact retained resolvent and the bare truncation at the same regular spectral point.

Drawing labels and data 6 labels

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

  • \(1-\sqrt2\)
  • \(1+\sqrt2\)
  • \(2\)
  • \(3\)

Filled: full resolvent poles. Open at 2: only the eliminated inverse fails.

At \(z=3\): exact retained resolvent \(1/2\), bare truncation \(1/3\).

Open the full-size drawing

At \(z=3\), the exact retained resolvent is \(1/2\). Bare truncation uses only \(H_{PP}=0\) and gives \(1/3\), an error of \(1/6\). The omitted coupling has changed the response even though the retained diagonal entry did not change.

A pole can belong to the elimination chart

At \(z=2\), the eliminated inverse does not exist, so the displayed Schur formula cannot be applied there as written. Nevertheless, the full resolvent exists and its retained entry is zero. The rational expression has a continuation to this value. By contrast, \(1\pm\sqrt2\) are poles of the full resolvent.

Invertibility of the full matrix is an independent requirement. At \(z=0\), \(H={\operatorname{diag}}(0,-1)\) has an invertible eliminated block in \(zI-H\), but the full matrix is singular. The original prose omitted this condition. The preserved amendments restore it. This appendix uses the corrected form throughout.

Read this as

An exact elimination formula has a spectral domain. Check both inverses before evaluating it, and distinguish poles of an intermediate inverse from poles of the full physical resolvent.

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