Manuscript Hawk02-A@1 · Hawk02-A.tex · corollary · 7fbae745

Corollary: Persistent small pair corrections

Stage 3: pair structure and an explicit entropy test · lines 774–788 · proof included or linked

Hawk02-A@1#cor:pairgrowth

Suppose every step satisfies Theorem thm:pairentropy, previously emitted radiation does not subsequently interact with the remaining system, and $lo g 2 - s_{j} - t_{j} \geq γ > 0$ . Then

S (R_{N}) \geq S (R_{0}) + N γ .

Proof. The entropy before each new emission is the preceding radiation entropy under the stated no-reinteraction assumption. Sum (eq:pairgrowth).

Displayed formulas in this passage

unlabeled · line 779
$S (R_{N}) \geq S (R_{0}) + N γ .$

Nearby in this section

section: Stage 3: pair structure and an explicit entropy test
theorem: Theorem: Pair-entropy growth interface
section: Stage 3: pair structure and an explicit entropy test