Manuscript IX-D-ST@1 · IX-D-ST.tex · assumption · b1dc631a

Assumption: Parent calibration, not re-proved

Inherited free sector and locked comparison kernel · lines 573–596

IX-D-ST@1#ass:parent

The scalar in (eq:word) is

N_{c} (f, g, f^{'}) = ⟨ U_{c}, f \otimes g \otimes f^{'} ⟩, U_{c} = u_{μ}^{ρ} + cr,

with the source-locked VII-D/IX-B normalization

u_{μ}^{ρ} = U_{m} + (κ_{ρ} + lo g μ) r .

Its supplied strong numerical estimate is

⟨ T_{ε}^{ρ} - lo g ((μ ε)^{- 1}) r - u_{μ}^{ρ}, Φ ⟩ \leq C_{A} ε (1 + ∣ lo g ε ∣) p_{A, 64} (Φ)

on arbitrary joint tests in a fixed retained compact set. The parent conversion class is $R r$ , not an evaluated binary time-ordering ambiguity class VIID,IXB.

Displayed formulas in this passage

unlabeled · line 576
$N_{c} (f, g, f^{'}) = ⟨ U_{c}, f \otimes g \otimes f^{'} ⟩, U_{c} = u_{μ}^{ρ} + cr,$
unlabeled · line 582
$u_{μ}^{ρ} = U_{m} + (κ_{ρ} + lo g μ) r .$
unlabeled · line 586
$⟨ T_{ε}^{ρ} - lo g ((μ ε)^{- 1}) r - u_{μ}^{ρ}, Φ ⟩ \leq C_{A} ε (1 + ∣ lo g ε ∣) p_{A, 64} (Φ)$

Assumption: Parent calibration, not re-proved

Displayed formulas in this passage

Nearby in this section