QiqtGrShowcase · section of the QIQT-H book

QIQTH.QiqtGrShowcase

← all sections · ← QiqtGrPPWave · QiqtGrThermo →

QiqtGrShowcase · entries 558–558 of 1000

Theorem 558 (qiqt_gr_ppwave_showcase). source ↗

The instantiated showcase: QIQT→GR for the explicit pp-wave spacetime, floor laid bare. The Einstein equations a·kgStress = G + Λg with g = ppMetric H, with every geometric and analytic premise discharged — the pp-wave metric/tetrad (via qiqt_gr_ppwave), the area derivative hA (via area_hasDerivAt_of_covConst, the expansion-free congruence), and the entropy bound hbound (via shannon_le_log_card, the area = holographic capacity). The only remaining hypotheses are the irreducible floor: the matter EOM hKG, the FQ capacity hcap (η·c = log|R| = P4), and the localization map hS/hK (the field-coupled record law whose entropy rate is the stress flux — Gap-2), plus the covariantly-constant congruence and constants. …

({H})\in C^{\infty} \to \forall (\varphi : \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}} \to \mathbb{R}) (m \eta \hbar a : \mathbb{R}), \hbar \ne 0 \to 0 < \hbar \to \eta \ne 0 \to a = 2 \cdot \pi / (\hbar \cdot \eta) \to ({\varphi})\in C^{\infty} \to (\forall (x : \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}}), \href{/browser/qiqth-kgstressconservation#d-qiqth-curvature-boxfield}{(\Box {\varphi})({x})} = {m}^{2} \cdot \varphi\,x) \to \forall (c : \mathbb{R}), \eta \cdot c = \log\,(\#\,\iota) \to \forall (\mathrm{sd} : \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}} \to (\mathrm{Fin}\,4 \to \mathbb{R}) \to \mathbb{R}) (p : \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}} \to (\mathrm{Fin}\,4 \to \mathbb{R}) \to \mathbb{R} \to \iota \to \mathbb{R}), (\forall (x : \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}}) (v : \mathrm{Fin}\,4 \to \mathbb{R}) (t : \mathbb{R}) (r : \iota), 0 \le p\,x\,v\,t\,r) \to (\forall (x : \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}}) (v : \mathrm{Fin}\,4 \to \mathbb{R}) (t : \mathbb{R}), \sum_{r} p\,x\,v\,t\,r = 1) \to (\forall (x : \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}}) (v : \mathrm{Fin}\,4 \to \mathbb{R}), p\,x\,v\,0 = \lambda x \mapsto {((\#\,\iota))}^{-1}) \to \forall (W : \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}} \to (\mathrm{Fin}\,4 \to \mathbb{R}) \to \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}} \to \mathrm{Fin}\,4 \to \mathbb{R}), (\forall (x : \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}}) (v : \mathrm{Fin}\,4 \to \mathbb{R}), ({\href{/browser/qiqth-ppwavemetric#d-qiqth-curvature-ppmetric}{g^{\mathrm{pp}}}\,H\,x})({v},{v}) = 0 \to W\,x\,v\,x = v) \to (\forall (x : \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}}) (v : \mathrm{Fin}\,4 \to \mathbb{R}) (\mu : \mathrm{Fin}\,4), ({\lambda y \mapsto W\,x\,v\,y\,\mu})\in C^{\infty}) \to (\forall (x : \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}}) (v : \mathrm{Fin}\,4 \to \mathbb{R}) (p q : \mathrm{Fin}\,4) (y : \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}}), \href{/browser/qiqth-curvature#d-qiqth-curvature-covderivvec}{(\nabla {W\,x\,v})_{{p}}{}^{{q}}({y})} = 0) \to (\forall (x : \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}}) (v : \mathrm{Fin}\,4 \to \mathbb{R}), ({\href{/browser/qiqth-ppwavemetric#d-qiqth-curvature-ppmetric}{g^{\mathrm{pp}}}\,H\,x})({v},{v}) = 0 \to ({\lambda t \mapsto \href{/browser/qiqth-branchledger#d-qiqth-branchledger-shannon}{S({p\,x\,v\,t})}})'({0})={\dot{S}({x},{v})}) \to (\forall (x : \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}}) (v : \mathrm{Fin}\,4 \to \mathbb{R}), ({\href{/browser/qiqth-ppwavemetric#d-qiqth-curvature-ppmetric}{g^{\mathrm{pp}}}\,H\,x})({v},{v}) = 0 \to ({\lambda t \mapsto \href{/browser/qiqth-branchledger#d-qiqth-branchledger-shannon}{S({p\,x\,v\,t})} + \href{/browser/qiqth-relentpositivity#d-qiqth-relentpositivity-kl}{D_{\mathrm{KL}}({p\,x\,v\,t}\,\|\,{p\,x\,v\,0})}})'({0})={2 \cdot \pi / \hbar \cdot ({\href{/browser/qiqth-kgstressconservation#d-qiqth-curvature-kgstress}{T({x})}})({v},{v})}) \to \forall (\mathrm{mw} : \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}} \to (\mathrm{Fin}\,4 \to \mathbb{R}) \to \mathbb{R}), (\forall (x : \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}}) (v : \mathrm{Fin}\,4 \to \mathbb{R}), 0 < \mathrm{mw}\,x\,v) \to \exists \Lambda, \forall (x : \href{/browser/qiqth-curvature#d-qiqth-curvature-point}{M^{{4}}}) (\mu \nu : \mathrm{Fin}\,4), a \cdot \href{/browser/qiqth-kgstressconservation#d-qiqth-curvature-kgstress}{T({x})\,\mu\,\nu} = \href{/browser/qiqth-curvature#d-qiqth-curvature-einsteintensor}{G_{{\mu}{\nu}}({x})} + \Lambda \cdot \href{/browser/qiqth-ppwavemetric#d-qiqth-curvature-ppmetric}{g^{\mathrm{pp}}}\,H\,x\,\mu\,\nu

Proof. By qiqt_gr_ppwave, area_hasDerivAt_of_covConst, shannon_le_log_card. $\square$

← all sections · ← QiqtGrPPWave · QiqtGrThermo →