Manuscript X-D@3 · X-D-v3.tex · section · b7774529
Diagnostics and the excluded edge argument
Diagnostics and the excluded edge argument · lines 1359–1457
Let , , and
The backgrounds vanish on . The rescaled layer therefore has zero source and zero solution, and both limiting data at are zero. The upstream pure-gauge laws give and for every small . This checks the complete two-jet and the zero-layer regime, not the general layer estimate.
Near a causal cylinder containing the observation dependence region, take , , with near zero. Spatial cutoffs outside the cylinder leave this evaluation unchanged. Then , , and
For sufficiently small , the exit positions are
while the exit velocities are and . The profile moments vanish with the positions. The quadratic velocity is retained and agrees with (eq:velocities).
Let , , , with smooth temporal data near the relevant causal cylinder and spatial cutoffs outside it. Let there. Define
Since , the massless second scalar vertex vanishes. On the smooth free solution , X-C's completed representatives give
and
If is supported in , these numbers are already independent of . For a genuine layer with , put
Then
On , , so
with error in the ramp evaluation. The first limiting number is .
The limiting time-coordinate velocities are and . The multiplied-equation first velocity instead tends to , displaying the homogeneous difference. These are classical numbers, not quantum expectation values. They check the rate and signs but do not replace the proof.
Displayed formulas in this passage
unlabeled · line 1364
unlabeled · line 1384
unlabeled · line 1389
unlabeled · line 1404
unlabeled · line 1413
unlabeled · line 1418
unlabeled · line 1429
unlabeled · line 1434
unlabeled · line 1441