diff --git a/MODELS.md b/MODELS.md index fbc977ba..e6337e9f 100644 --- a/MODELS.md +++ b/MODELS.md @@ -9,7 +9,7 @@ OpenWave hosts multiple candidate field-theoretic models. Historical M4--M8 resu | **M10** | **CAT/EPT Dirac--Cartan--2I--Compton--Yukawa and SU(3) color matter** | **`MODELS_M10.md`** | **latest M10.8 registration, Wilson refinement and decoherence spectra** | | **M11** | **CAT/EPT pointwise soliton--Liouville--QDO model** | **`MODELS_M11.md`** | **M11.1--M11.5 executable lineage and theorem-pinned ledgers** | | **M12** | **CAT/EPT particle-zoo coverage model** | **`MODELS_M12.md`** | **M12.1--M12.3 executable identity, electroweak, flavor, hadron and QCD coverage** | -| **M13** | **CAT/EPT scale-dilation and holographic-amplitude model** | **`MODELS_M13.md`** | **M13.3 Yukawa/dilation/GKP invariant mass-radius bridge** | +| **M13** | **CAT/EPT scale-dilation and holographic-amplitude model** | **`MODELS_M13.md`** | **M13.4 Yukawa/Compton RT entropy bridge** | ## M9 stable and latest lineage @@ -31,4 +31,4 @@ M12 mirrors the particle-zoo theorem surfaces as executable checks: the 17 Stand ## M13 scale-dilation soliton-tensor model -M13 places the M11 pointwise soliton and finite-cutoff infinite-mode tensor on the exact multiplicative scale line formalized by CAT/EPT. M13.2 composes that carrier with finite GKP--Witten and Ryu--Takayanagi identities, conformal operator towers, finite-density and Lovelock AdS data, projective twistors, BCJ/primitive-QCD relations, M10 Wilson loops and ABJM Wilson algebra while retaining explicit finite/algebraic claim boundaries. M13.3 additionally links the supplied Yukawa mass and Compton clock to the exact dilation group and GKP mass--dimension relation through the invariant mass-radius product. +M13 places the M11 pointwise soliton and finite-cutoff infinite-mode tensor on the exact multiplicative scale line formalized by CAT/EPT. M13.2 composes that carrier with finite GKP--Witten and Ryu--Takayanagi identities, conformal operator towers, finite-density and Lovelock AdS data, projective twistors, BCJ/primitive-QCD relations, M10 Wilson loops and ABJM Wilson algebra while retaining explicit finite/algebraic claim boundaries. M13.4 additionally uses the Compton wavelength as an explicit RT cutoff adapter and checks common-dilation invariance plus the conditional horizon-area-rate mass identity. diff --git a/MODELS_M13.md b/MODELS_M13.md index 2b0c9754..fd9d2d6d 100644 --- a/MODELS_M13.md +++ b/MODELS_M13.md @@ -9,6 +9,7 @@ M13 isolates the exact scale geometry underlying the CAT/EPT entropic-time arc, | M13.1 | dilation/Noether group, invariant logarithmic metric, block-spin ladder, `sqrt(2)` half-step, M11 soliton/tensor scale transport | | M13.2 | GKP/RT and extended AdS/CFT checks, projective twistor incidence, finite BCJ and primitive-QCD relations, M10 Wilson-loop reuse and ABJM Wilson algebra | | M13.3 | Yukawa mass and Compton clock transported by the dilation group with invariant mass-radius product and GKP dimension | +| M13.4 | Compton-cutoff RT entropy, common-dilation invariance, and the conditional horizon-area-rate mass bridge | ## M13.1 scale and carrier surface @@ -56,13 +57,20 @@ M13 isolates the exact scale geometry underlying the CAT/EPT entropic-time arc, - checks the isolated Yukawa/Compton-clock identity; - keeps the Weyl--Cartan dilatonic charge distinct from the global dilation group. +## M13.4 Yukawa--RT entropy bridge + +- uses the Yukawa Compton wavelength as an explicit UV-cutoff adapter for the CFT interval entropy; +- verifies the RT area identity and invariance when interval and cutoff share one dilation; +- checks the entropy response to logarithmic mass changes; +- recovers the same mass and Compton frequency from the conditional horizon-area-rate bridge. + ## Claim boundary -M13.3 remains a finite adapter over the M13.2 closure. It does not derive the Yukawa coupling, the inverse-mass scale law, AdS/CFT, or a dilaton gauge theory. The Weyl--Cartan dilatonic charge is recorded separately from the global dilation group. +M13.2 is a finite and algebraic closure. It does not derive AdS/CFT or gauge/string duality, evaluate or holographically renormalize an interacting Witten diagram, derive anomalous dimensions or the conformal bootstrap, independently prove BCFW/CHY falloff from QCD Feynman rules, construct loop amplitudes, formalize the full `SU(2,2)` twistor action, or prove the continuum QCD limit. Wilson and RT observables are both executed, but they are not asserted to be equal. ## Formal authority -`jagg-ix/entropic-physlib-private`, branch `entropic-physlib-linear-full`, TIP `8bafa9ab93cbb39e85909fc3837bb4b6e0dec748`. The M13.3 ledger pins the Yukawa, dilation, GKP and Weyl--Cartan source blobs. +`jagg-ix/entropic-physlib-private`, branch `entropic-physlib-linear-full`, TIP `8bafa9ab93cbb39e85909fc3837bb4b6e0dec748`. The M13.2 ledger pins the exact GKP--Witten, RT, operator-spectrum, finite-density, Lovelock, twistor, BCJ-QCD, finite-Wilson and ABJM source blobs. ## Reproduction diff --git a/openwave/xperiments/m13_scale_dilation_soliton/__init__.py b/openwave/xperiments/m13_scale_dilation_soliton/__init__.py index 4db439da..cc1f7bd4 100644 --- a/openwave/xperiments/m13_scale_dilation_soliton/__init__.py +++ b/openwave/xperiments/m13_scale_dilation_soliton/__init__.py @@ -2,15 +2,6 @@ from .model_registration import ScaleDilationSolitonConfig, run_scale_dilation_soliton_study from .holographic_bcj_twistor_wilson_m132 import HolographicAmplitudeConfig, run_holographic_amplitude_study from .yukawa_dilation_gkp_m133 import YukawaDilationGKPConfig, run_yukawa_dilation_gkp_study - -run_m13_model_study = run_yukawa_dilation_gkp_study - -__all__ = [ - "ScaleDilationSolitonConfig", - "HolographicAmplitudeConfig", - "YukawaDilationGKPConfig", - "run_scale_dilation_soliton_study", - "run_holographic_amplitude_study", - "run_yukawa_dilation_gkp_study", - "run_m13_model_study", -] +from .yukawa_rt_holographic_entropy_m134 import YukawaRTHolographicConfig, run_yukawa_rt_holographic_study +run_m13_model_study=run_yukawa_rt_holographic_study +__all__=["ScaleDilationSolitonConfig","HolographicAmplitudeConfig","YukawaDilationGKPConfig","YukawaRTHolographicConfig","run_scale_dilation_soliton_study","run_holographic_amplitude_study","run_yukawa_dilation_gkp_study","run_yukawa_rt_holographic_study","run_m13_model_study"] diff --git a/openwave/xperiments/m13_scale_dilation_soliton/formal/yukawa_rt_holographic_entropy.v1.json b/openwave/xperiments/m13_scale_dilation_soliton/formal/yukawa_rt_holographic_entropy.v1.json new file mode 100644 index 00000000..8c67e84a --- /dev/null +++ b/openwave/xperiments/m13_scale_dilation_soliton/formal/yukawa_rt_holographic_entropy.v1.json @@ -0,0 +1,20 @@ +{ + "claim_boundaries": { + "compton_cutoff": "explicit UV-cutoff adapter", + "mass_origin_equality": "requires supplied equality hypothesis", + "rt_area": "not identified with horizon area growth" + }, + "formal_branch": "entropic-physlib-linear-full", + "formal_head": "8bafa9ab93cbb39e85909fc3837bb4b6e0dec748", + "formal_repository": "jagg-ix/entropic-physlib-private", + "formal_sources": [ + {"path":"Physlib/QuantumMechanics/ComplexAction/AdSCFT/RyuTakayanagiFormulaAlgebra.lean","sha":"c14aede2c8654bdbdb4aedfca543c36872c65e55","theorems":["rt_log_square_prefactor_identity","cftEntropyVacuumLine_strongSubadditivity"]}, + {"path":"Physlib/QuantumMechanics/ComplexAction/MassOrigin/GravitationalMassHorizonEntropyNoYukawa.lean","sha":"a7ff039e9f23a10dac72a818862a1a057108f9f7","theorems":["gravitationalMass_eq","gravitationalWidth_eq"]}, + {"path":"Physlib/QuantumMechanics/ComplexAction/MassOrigin/HiggsClockThreeOrigins.lean","sha":"377374eb2e0861e671a6f5fcf08da44f1ca52a1c","theorems":["higgsClockFrequency_eq","higgs_clock_three_origins"]}, + {"path":"Physlib/QuantumMechanics/ComplexAction/EntropicTime/ScaleDilationLogMetric.lean","sha":"0c8262bac90d2dff03a04cc8e15efb21ee87ff0e","theorems":["dilation_isometry","adsRadial_dilation_invariant"]} + ], + "milestone": "M13.4", + "model_id": "M13", + "openwave_dependencies": ["M13.2", "M13.3"], + "schema": "openwave.m13.yukawa-rt-entropy-ledger.v1" +} diff --git a/openwave/xperiments/m13_scale_dilation_soliton/research/zil/m13_yukawa_rt_holographic_entropy_m134.zc b/openwave/xperiments/m13_scale_dilation_soliton/research/zil/m13_yukawa_rt_holographic_entropy_m134.zc new file mode 100644 index 00000000..9962bb25 --- /dev/null +++ b/openwave/xperiments/m13_scale_dilation_soliton/research/zil/m13_yukawa_rt_holographic_entropy_m134.zc @@ -0,0 +1,6 @@ +model:m13.4#requires@model:m13.3. +model:m13.4#reuses@physlib:ryu-takayanagi-formula-algebra. +model:m13.4#chooses@adapter:compton-wavelength-as-rt-ultraviolet-cutoff. +model:m13.4#checks@claim:rt-entropy-is-invariant-when-interval-and-compton-cutoff-share-one-dilation. +model:m13.4#checks@claim:yukawa-clock-mass-can-match-the-horizon-area-rate-mass-under-a-supplied-equality. +model:m13.4#separates@claim:rt-area-from-horizon-area-growth-rate. diff --git a/openwave/xperiments/m13_scale_dilation_soliton/yukawa_rt_holographic_entropy_m134.py b/openwave/xperiments/m13_scale_dilation_soliton/yukawa_rt_holographic_entropy_m134.py new file mode 100644 index 00000000..69e4cced --- /dev/null +++ b/openwave/xperiments/m13_scale_dilation_soliton/yukawa_rt_holographic_entropy_m134.py @@ -0,0 +1,52 @@ +"""M13.4 Yukawa/Compton cutoff and Ryu--Takayanagi entropy bridge.""" +from __future__ import annotations +from dataclasses import asdict, dataclass +from hashlib import sha256 +import json, math +from typing import Any, Mapping +from .yukawa_dilation_gkp_m133 import yukawa_mass, scale_distance, run_yukawa_dilation_gkp_study + +MILESTONE="M13.4"; SCHEMA="openwave.m13.yukawa-rt-entropy.v1"; FORMAL_HEAD="8bafa9ab93cbb39e85909fc3837bb4b6e0dec748" +FORMAL_SOURCES=( + {"path":"Physlib/QuantumMechanics/ComplexAction/AdSCFT/RyuTakayanagiFormulaAlgebra.lean","sha":"c14aede2c8654bdbdb4aedfca543c36872c65e55","theorems":["rt_log_square_prefactor_identity","rtPoincareLineDensity_regulated_integral_eq_neg_two_log","cftEntropyVacuumLine_strongSubadditivity","cftEntropyFiniteT_strongSubadditivity"]}, + {"path":"Physlib/QuantumMechanics/ComplexAction/MassOrigin/GravitationalMassHorizonEntropyNoYukawa.lean","sha":"a7ff039e9f23a10dac72a818862a1a057108f9f7","theorems":["gravitationalMass_eq","gravitationalWidth_eq","norm_nnPathWeight_horizon"]}, + {"path":"Physlib/QuantumMechanics/ComplexAction/MassOrigin/HiggsClockThreeOrigins.lean","sha":"377374eb2e0861e671a6f5fcf08da44f1ca52a1c","theorems":["higgsClockFrequency_eq","higgs_clock_three_origins"]}, + {"path":"Physlib/QuantumMechanics/ComplexAction/Yukawa/MassDecoherenceProportionality.lean","sha":"578152c3b9d73b3baec98f845bca2f566f59e93e","theorems":["yukawaEntropyRate_eq_const_mul_mass"]}, + {"path":"Physlib/QuantumMechanics/ComplexAction/EntropicTime/ScaleDilationLogMetric.lean","sha":"0c8262bac90d2dff03a04cc8e15efb21ee87ff0e","theorems":["dilation_isometry","scaleDistance_eq_dist_log","adsRadial_dilation_invariant"]},) +def _canon(v:Mapping[str,Any])->str:return json.dumps(v,sort_keys=True,separators=(",",":"),default=str) +@dataclass(frozen=True) +class YukawaRTHolographicConfig: + yukawa_coupling:float=0.2; higgs_vev:float=math.sqrt(2.0); c:float=1.0; hbar:float=1.0 + ads_radius:float=2.0; newton_constant:float=0.25; interval_to_cutoff:float=12.0; dilation_factor:float=2.5; log_mass_step:float=1e-5 + def validate(self)->None: + if min(self.yukawa_coupling,self.higgs_vev,self.c,self.hbar,self.ads_radius,self.newton_constant,self.interval_to_cutoff,self.dilation_factor,self.log_mass_step)<=0: raise ValueError("positive controls required") + if self.interval_to_cutoff<=1: raise ValueError("interval must exceed cutoff") +def canonical_payload(config=None): + c=YukawaRTHolographicConfig() if config is None else config + return {"schema":SCHEMA,"model_id":"M13","milestone":MILESTONE,"model":"CAT/EPT Yukawa-Compton RT entropy bridge","configuration":asdict(c),"lineage_dependencies":["M13.2","M13.3"],"study_api":"openwave.xperiments.m13_scale_dilation_soliton.yukawa_rt_holographic_entropy_m134:run_yukawa_rt_holographic_study","formal_authority":{"repository":"jagg-ix/entropic-physlib-private","branch":"entropic-physlib-linear-full","head":FORMAL_HEAD,"sources":list(FORMAL_SOURCES)}} +def fingerprint(payload=None):return sha256(_canon(canonical_payload() if payload is None else payload).encode()).hexdigest() +def _deps(): + try:a=bool(run_yukawa_dilation_gkp_study()["passed"]) + except Exception:a=False + try: + from .holographic_bcj_twistor_wilson_m132 import run_holographic_amplitude_study + b=bool(run_holographic_amplitude_study()["passed"]) + except Exception:b=False + return {"m13_3_yukawa_dilation_gkp":a,"m13_2_holographic_closure":b} +def _entropy(central:float,ell:float,cutoff:float)->float:return central/3.0*math.log(ell/cutoff) +def run_yukawa_rt_holographic_study(config=None): + cfg=YukawaRTHolographicConfig() if config is None else config; cfg.validate() + m=yukawa_mass(cfg.yukawa_coupling,cfg.higgs_vev); cutoff=cfg.hbar/(m*cfg.c); ell=cfg.interval_to_cutoff*cutoff + central=3.0*cfg.ads_radius/(2.0*cfg.newton_constant); entropy=_entropy(central,ell,cutoff); area=4.0*cfg.newton_constant*entropy + rt_err=abs(area/(4.0*cfg.newton_constant)-entropy); metric_err=abs(entropy-central/3.0*scale_distance(ell,cutoff)) + lam=cfg.dilation_factor; mp=m/lam; cutoffp=cfg.hbar/(mp*cfg.c); ellp=lam*ell; entropy_p=_entropy(central,ellp,cutoffp) + dilation_err=abs(entropy_p-entropy) + h=cfg.log_mass_step + def s_log(delta:float)->float: + mm=m*math.exp(delta); aa=cfg.hbar/(mm*cfg.c); return _entropy(central,ell,aa) + derivative=(s_log(h)-s_log(-h))/(2*h); derivative_err=abs(derivative-central/3.0) + Adot=4.0*cfg.newton_constant*m/cfg.c; grav_mass=cfg.c/(4.0*cfg.newton_constant)*Adot; horizon_rate=cfg.c**3/(4.0*cfg.newton_constant)*Adot + omega=m*cfg.c**2/cfg.hbar; horizon_omega=cfg.c**3*Adot/(4.0*cfg.newton_constant*cfg.hbar) + deps=_deps(); diagnostics={"yukawa_mass":m,"compton_cutoff":cutoff,"interval_length":ell,"brown_henneaux_central_charge":central,"cft_entropy":entropy,"rt_area":area,"rt_identity_error":rt_err,"scale_metric_entropy_error":metric_err,"dilation_entropy_error":dilation_err,"log_mass_entropy_derivative":derivative,"log_mass_entropy_derivative_error":derivative_err,"horizon_area_rate":Adot,"gravitational_mass_recovery_error":abs(grav_mass-m),"horizon_entropy_rate_error":abs(horizon_rate-m*cfg.c**2),"clock_horizon_frequency_error":abs(omega-horizon_omega),"dependencies":deps} + acceptance={"rt_area_entropy_identity":rt_err<5e-14,"compton_cutoff_scale_metric":metric_err<5e-14,"common_dilation_invariance":dilation_err<5e-13,"mass_log_entropy_response":derivative_err<2e-9,"horizon_area_rate_mass_bridge":max(diagnostics["gravitational_mass_recovery_error"],diagnostics["horizon_entropy_rate_error"],diagnostics["clock_horizon_frequency_error"])<5e-13,"dependencies_pass":all(deps.values())} + p=canonical_payload(cfg); return {**p,"task":MILESTONE,"diagnostics":diagnostics,"acceptance":acceptance,"fingerprint":fingerprint(p),"passed":all(acceptance.values()),"decision":{"compton_wavelength_as_rt_cutoff_is_a_model_adapter":True,"rt_area_and_horizon_area_rate_are_not_identified":True,"yukawa_and_gravitational_mass_equality_is_a_supplied_bridge_hypothesis":True}} diff --git a/tests/test_m13_yukawa_rt_holographic_entropy_m134.py b/tests/test_m13_yukawa_rt_holographic_entropy_m134.py new file mode 100644 index 00000000..e3f544e7 --- /dev/null +++ b/tests/test_m13_yukawa_rt_holographic_entropy_m134.py @@ -0,0 +1,3 @@ +from openwave.xperiments.m13_scale_dilation_soliton.yukawa_rt_holographic_entropy_m134 import run_yukawa_rt_holographic_study +def test_m134(): + r=run_yukawa_rt_holographic_study(); assert r["passed"]; assert r["decision"]["rt_area_and_horizon_area_rate_are_not_identified"]