Manuscript VI@1 · VI.tex · figure · b5b60afb

Two different certificates

The finite obstruction certificate › The evaluated two-representative table · lines 2765–2782

VI@1#fig:VI-two-certificates

Back to manuscript
metric / coordinatescalarswitching defectconditional quantumsupport / uncompleted
Established classical certificate
h=0:A(1)=0h=0:\quad \mathcal A^{(1)}=0h=Kξ:A(1)=−af,af≥12h=K\xi:\quad \mathcal A^{(1)}=-a_f,\qquad a_f\geq\tfrac12both have gh=0gh=0 and zero forced response
−af-a_f
0

analytic inequality, not a simulation: max⁡{∣F∣,∣F+af∣}≥af/2≥1/4\max\{|F|,|F+a_f|\}\geq a_f/2\geq 1/4

Unconstructed quantum certificate
empty qSq_S
empty NSN_S
empty complete catalogue
empty Ward-compatible products
RG-open
The two-representative obstruction table is not a counterterm-response matrix.

Different certificates. The two classical representatives share a proposed quotient label but have candidate values separated by . Any common quotient value therefore incurs error at least on one representative. This obstruction is established without constructing a radiative target vector or a counterterm response matrix; the quantum problem remains RG-open.

Nearby in this section