From 14ca71e20935cdc7975052547c2ca057a83222c0 Mon Sep 17 00:00:00 2001 From: "Jorge A. Garcia" <681013+jagg-ix@users.noreply.github.com> Date: Thu, 30 Jul 2026 10:55:53 -0600 Subject: [PATCH] feat(M13.4-M13.5): combine Yukawa RT and BCJ holographic bridges --- MODELS.md | 4 +- MODELS_M13.md | 20 ++++++- .../m13_scale_dilation_soliton/__init__.py | 16 ++---- .../bcj_yukawa_holographic_synthesis_m135.py | 49 +++++++++++++++++ .../bcj_yukawa_holographic_synthesis.v1.json | 23 ++++++++ .../yukawa_rt_holographic_entropy.v1.json | 20 +++++++ ...3_bcj_yukawa_holographic_synthesis_m135.zc | 7 +++ .../m13_yukawa_rt_holographic_entropy_m134.zc | 6 +++ .../yukawa_rt_holographic_entropy_m134.py | 52 +++++++++++++++++++ ...3_bcj_yukawa_holographic_synthesis_m135.py | 3 ++ ..._m13_yukawa_rt_holographic_entropy_m134.py | 3 ++ 11 files changed, 187 insertions(+), 16 deletions(-) create mode 100644 openwave/xperiments/m13_scale_dilation_soliton/bcj_yukawa_holographic_synthesis_m135.py create mode 100644 openwave/xperiments/m13_scale_dilation_soliton/formal/bcj_yukawa_holographic_synthesis.v1.json create mode 100644 openwave/xperiments/m13_scale_dilation_soliton/formal/yukawa_rt_holographic_entropy.v1.json create mode 100644 openwave/xperiments/m13_scale_dilation_soliton/research/zil/m13_bcj_yukawa_holographic_synthesis_m135.zc create mode 100644 openwave/xperiments/m13_scale_dilation_soliton/research/zil/m13_yukawa_rt_holographic_entropy_m134.zc create mode 100644 openwave/xperiments/m13_scale_dilation_soliton/yukawa_rt_holographic_entropy_m134.py create mode 100644 tests/test_m13_bcj_yukawa_holographic_synthesis_m135.py create mode 100644 tests/test_m13_yukawa_rt_holographic_entropy_m134.py diff --git a/MODELS.md b/MODELS.md index fbc977ba..953e1365 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.5 BCJ--Yukawa holographic synthesis** | ## 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.5 additionally threads one supplied Yukawa mass through finite massive BCJ/QCD channels, the Wilson-derived effective Regge slope, the GKP dimension and the RT cutoff while retaining a strict no-amplitude--entropy-equality boundary. diff --git a/MODELS_M13.md b/MODELS_M13.md index 2b0c9754..293e6da9 100644 --- a/MODELS_M13.md +++ b/MODELS_M13.md @@ -9,6 +9,8 @@ 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.5 | massive BCJ/QCD channels, Wilson-Regge effective tension, Yukawa width, GKP dimension and RT synthesis | ## M13.1 scale and carrier surface @@ -56,13 +58,27 @@ 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. + +## M13.5 BCJ--Yukawa holographic synthesis + +- inserts the same supplied Yukawa mass into finite massive BCJ channels and primitive-QCD bookkeeping; +- uses the positive M10 Wilson area coefficient as a finite effective string tension and reconstructs a Regge slope/intercept carrying that mass; +- matches the Regge imaginary trajectory to the Yukawa entropy-production width; +- threads the same mass through the GKP dimension and the M13.4 RT cutoff without asserting that an amplitude equals an entropy. + ## 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..b6d2a905 100644 --- a/openwave/xperiments/m13_scale_dilation_soliton/__init__.py +++ b/openwave/xperiments/m13_scale_dilation_soliton/__init__.py @@ -2,15 +2,7 @@ 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 +from .bcj_yukawa_holographic_synthesis_m135 import BCJYukawaHolographicConfig, run_bcj_yukawa_holographic_study +run_m13_model_study=run_bcj_yukawa_holographic_study +__all__=["ScaleDilationSolitonConfig","HolographicAmplitudeConfig","YukawaDilationGKPConfig","YukawaRTHolographicConfig","BCJYukawaHolographicConfig","run_scale_dilation_soliton_study","run_holographic_amplitude_study","run_yukawa_dilation_gkp_study","run_yukawa_rt_holographic_study","run_bcj_yukawa_holographic_study","run_m13_model_study"] diff --git a/openwave/xperiments/m13_scale_dilation_soliton/bcj_yukawa_holographic_synthesis_m135.py b/openwave/xperiments/m13_scale_dilation_soliton/bcj_yukawa_holographic_synthesis_m135.py new file mode 100644 index 00000000..33ab8216 --- /dev/null +++ b/openwave/xperiments/m13_scale_dilation_soliton/bcj_yukawa_holographic_synthesis_m135.py @@ -0,0 +1,49 @@ +"""M13.5 massive BCJ/QCD, Wilson-Regge, Yukawa, GKP and RT synthesis.""" +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, conformal_dimensions +from .yukawa_rt_holographic_entropy_m134 import run_yukawa_rt_holographic_study +MILESTONE="M13.5"; SCHEMA="openwave.m13.bcj-yukawa-holographic-synthesis.v1"; FORMAL_HEAD="8bafa9ab93cbb39e85909fc3837bb4b6e0dec748" +FORMAL_SOURCES=( + {"path":"Physlib/QuantumMechanics/ComplexAction/BCJDoubleCopy/ColorKinematicsDoubleCopy.lean","sha":"110a42b466c7fcf8be68be4326cb1d0c9197043c","theorems":["bcjDoubleCopy_diagonal_nonneg","faradayBCJDuality","cubicDoubleCopy_eq_cubicAmplitude_colorReplacement"]}, + {"path":"Physlib/QuantumMechanics/ComplexAction/Particles/QCDFundamentalBCJRelations.lean","sha":"5756653f5dbd58ac14fef7307d03223e7bf81304","theorems":["forwardBCJRelation_iff_backwardBCJRelation","threePoint_fundamentalBCJ","fundamentalBCJ_inductionStep_closes"]}, + {"path":"Physlib/QuantumMechanics/ComplexAction/Yukawa/ReggeStringMassYukawaReplacement.lean","sha":"71a75b6e6b94be3ec9a0fdb4915551accf08e0eb","theorems":["reggeTrajectory_at_massSq","reggeMass_sq","reggeWidth_at_mass_eq_widthFromRate_iff"]}, + {"path":"Physlib/QuantumMechanics/ComplexAction/Yukawa/MassDecoherenceProportionality.lean","sha":"578152c3b9d73b3baec98f845bca2f566f59e93e","theorems":["yukawaWidth_eq_widthFromRate_entropyRate","yukawaEntropyRate_eq_const_mul_mass"]}, + {"path":"Physlib/QuantumMechanics/ComplexAction/AdSCFT/GKPWittenAdSCFTDictionary.lean","sha":"d9f9bf5e00fd1a4880520cab6c4e5458ee4aa1d3","theorems":["massDimension_relation","cftTwoPoint_scaling"]}, + {"path":"Physlib/QuantumMechanics/ComplexAction/AdSCFT/RyuTakayanagiFormulaAlgebra.lean","sha":"c14aede2c8654bdbdb4aedfca543c36872c65e55","theorems":["rtAreaEntropy_nonneg","rt_log_square_prefactor_identity"]}, + {"path":"Physlib/QFT/PathIntegral/FiniteWilsonGaugeModel.lean","sha":"870efa65de9037ea7c8e617628b15c19fb3de521","theorems":["boltzmannFactor_pos","sourceCoupledPartition_linearSource_hasDerivAt_zero"]},) +def _canon(v:Mapping[str,Any])->str:return json.dumps(v,sort_keys=True,separators=(",",":"),default=str) +@dataclass(frozen=True) +class BCJYukawaHolographicConfig: + 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; boundary_dimension:float=4.0 + entropic_frequency:float=1.3; spin:float=2.0; loop_area:float=4.0; gluons:int=4; quark_pairs:int=2 + def validate(self): + if min(self.yukawa_coupling,self.higgs_vev,self.c,self.hbar,self.ads_radius,self.boundary_dimension,self.entropic_frequency,self.spin,self.loop_area)<=0: raise ValueError("positive controls required") + if self.gluons<=0 or self.quark_pairs<0: raise ValueError("moved-gluon primitive QCD content required") +def canonical_payload(config=None): + c=BCJYukawaHolographicConfig() if config is None else config + return {"schema":SCHEMA,"model_id":"M13","milestone":MILESTONE,"model":"CAT/EPT massive BCJ-Yukawa holographic synthesis","configuration":asdict(c),"lineage_dependencies":["M10.8","M13.2","M13.4"],"study_api":"openwave.xperiments.m13_scale_dilation_soliton.bcj_yukawa_holographic_synthesis_m135:run_bcj_yukawa_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 _wilson(): + from openwave.xperiments.m10_cat_ept.wilson_refinement_spectrum_m108 import run_wilson_refinement_spectrum_study + return run_wilson_refinement_spectrum_study() +def _m132(): + from .holographic_bcj_twistor_wilson_m132 import run_holographic_amplitude_study + return run_holographic_amplitude_study() +def run_bcj_yukawa_holographic_study(config=None): + cfg=BCJYukawaHolographicConfig() if config is None else config; cfg.validate() + m=yukawa_mass(cfg.yukawa_coupling,cfg.higgs_vev); mu=(m*cfg.c*cfg.ads_radius/cfg.hbar)**2; dp,dm=conformal_dimensions(cfg.boundary_dimension,mu) + colors=(1.0,-0.4,-0.6); nums=(m*m+1.0,0.5*m*m-0.2,0.0); nums=(nums[0],nums[1],-nums[0]-nums[1]); nums2=(0.7,-0.1,-0.6) + den=(m*m+1.2,m*m+1.7,m*m+2.3) + gauge=sum(c*n/d for c,n,d in zip(colors,nums,den)); double=sum(n*nt/d for n,nt,d in zip(nums,nums2,den)); diagonal=[n*n/d for n,d in zip(nums,den)] + forward=(2.0,-3.0,1.0); amps=(1+0j,1+0j,1+0j); fsum=sum(w*a for w,a in zip(forward,amps)); bsum=sum(-w*a for w,a in zip(forward,amps)) + wilson=_wilson(); sigma=float(wilson["area_perimeter_fit"]["area_coefficient"]); alpha_prime=1.0/(2.0*math.pi*sigma); alpha0=cfg.spin-alpha_prime*m*m + regge_m2=(cfg.spin-alpha0)/alpha_prime; dsi=cfg.yukawa_coupling*cfg.entropic_frequency/(2.0*cfg.hbar); im_alpha=2.0*alpha_prime*m*dsi; regge_width=im_alpha/(alpha_prime*m) + rt=run_yukawa_rt_holographic_study(); h132=_m132() + wilson_area=sigma*cfg.loop_area; rt_area=float(rt["diagnostics"]["rt_area"]) + diagnostics={"yukawa_mass":m,"mass_radius_sq":mu,"delta_plus":dp,"delta_minus":dm,"color_jacobi_error":abs(sum(colors)),"kinematic_jacobi_error":abs(sum(nums)),"second_copy_jacobi_error":abs(sum(nums2)),"gauge_amplitude":gauge,"double_copy_amplitude":double,"minimum_diagonal_channel":min(diagonal),"qcd_total_legs":cfg.gluons+2*cfg.quark_pairs,"qcd_moved_leg_is_gluon":cfg.gluons>0,"qcd_forward_sum_error":abs(fsum),"qcd_backward_sum_error":abs(bsum),"qcd_forward_backward_error":abs(fsum+bsum),"wilson_area_coefficient":sigma,"wilson_creutz_11":float(wilson["creutz_11"]),"wilson_passed":bool(wilson["passed"]),"regge_slope":alpha_prime,"regge_intercept":alpha0,"regge_mass_sq_error":abs(regge_m2-m*m),"yukawa_entropy_rate":dsi,"regge_width_error":abs(regge_width-2.0*dsi),"rt_passed":bool(rt["passed"]),"m13_2_passed":bool(h132["passed"]),"rt_area":rt_area,"wilson_effective_area":wilson_area,"finite_area_ratio":wilson_area/rt_area if rt_area else math.inf} + acceptance={"massive_bcj_jacobi":max(diagnostics["color_jacobi_error"],diagnostics["kinematic_jacobi_error"],diagnostics["second_copy_jacobi_error"])<5e-14,"primitive_qcd_bcj":diagnostics["qcd_total_legs"]==8 and diagnostics["qcd_moved_leg_is_gluon"] and max(diagnostics["qcd_forward_sum_error"],diagnostics["qcd_backward_sum_error"],diagnostics["qcd_forward_backward_error"])<5e-14,"double_copy_finite":math.isfinite(double) and diagnostics["minimum_diagonal_channel"]>=0.0,"wilson_regge_yukawa_mass":diagnostics["wilson_passed"] and sigma>0 and diagnostics["wilson_creutz_11"]>0 and diagnostics["regge_mass_sq_error"]<5e-14,"regge_entropy_width":diagnostics["regge_width_error"]<5e-14,"gkp_and_rt_share_supplied_mass":abs(dp*(dp-cfg.boundary_dimension)-mu)<5e-13 and diagnostics["rt_passed"],"dependencies_pass":diagnostics["m13_2_passed"]} + p=canonical_payload(cfg);return {**p,"task":MILESTONE,"diagnostics":diagnostics,"acceptance":acceptance,"fingerprint":fingerprint(p),"passed":all(acceptance.values()),"decision":{"same_supplied_yukawa_mass_threads_all_sectors":True,"wilson_area_coefficient_is_used_as_a_finite_effective_string_tension":True,"bcj_amplitude_is_not_identified_with_rt_entropy":True,"no_continuum_qcd_or_gauge_string_duality_is_claimed":True}} diff --git a/openwave/xperiments/m13_scale_dilation_soliton/formal/bcj_yukawa_holographic_synthesis.v1.json b/openwave/xperiments/m13_scale_dilation_soliton/formal/bcj_yukawa_holographic_synthesis.v1.json new file mode 100644 index 00000000..7709abd5 --- /dev/null +++ b/openwave/xperiments/m13_scale_dilation_soliton/formal/bcj_yukawa_holographic_synthesis.v1.json @@ -0,0 +1,23 @@ +{ + "claim_boundaries": { + "bcj_rt": "no amplitude-entropy equality", + "continuum": "no continuum QCD or string duality claim", + "mass": "same supplied Yukawa mass used across adapters", + "wilson_tension": "finite effective fit coefficient" + }, + "formal_branch": "entropic-physlib-linear-full", + "formal_head": "8bafa9ab93cbb39e85909fc3837bb4b6e0dec748", + "formal_repository": "jagg-ix/entropic-physlib-private", + "formal_sources": [ + {"path":"Physlib/QuantumMechanics/ComplexAction/BCJDoubleCopy/ColorKinematicsDoubleCopy.lean","sha":"110a42b466c7fcf8be68be4326cb1d0c9197043c","theorems":["bcjDoubleCopy_diagonal_nonneg","cubicDoubleCopy_eq_cubicAmplitude_colorReplacement"]}, + {"path":"Physlib/QuantumMechanics/ComplexAction/Particles/QCDFundamentalBCJRelations.lean","sha":"5756653f5dbd58ac14fef7307d03223e7bf81304","theorems":["forwardBCJRelation_iff_backwardBCJRelation","fundamentalBCJ_inductionStep_closes"]}, + {"path":"Physlib/QuantumMechanics/ComplexAction/Yukawa/ReggeStringMassYukawaReplacement.lean","sha":"71a75b6e6b94be3ec9a0fdb4915551accf08e0eb","theorems":["reggeTrajectory_at_massSq","reggeWidth_at_mass_eq_widthFromRate_iff"]}, + {"path":"Physlib/QuantumMechanics/ComplexAction/AdSCFT/GKPWittenAdSCFTDictionary.lean","sha":"d9f9bf5e00fd1a4880520cab6c4e5458ee4aa1d3","theorems":["massDimension_relation","cftTwoPoint_scaling"]}, + {"path":"Physlib/QuantumMechanics/ComplexAction/AdSCFT/RyuTakayanagiFormulaAlgebra.lean","sha":"c14aede2c8654bdbdb4aedfca543c36872c65e55","theorems":["rtAreaEntropy_nonneg","rt_log_square_prefactor_identity"]}, + {"path":"Physlib/QFT/PathIntegral/FiniteWilsonGaugeModel.lean","sha":"870efa65de9037ea7c8e617628b15c19fb3de521","theorems":["boltzmannFactor_pos","sourceCoupledPartition_linearSource_hasDerivAt_zero"]} + ], + "milestone": "M13.5", + "model_id": "M13", + "openwave_dependencies": ["M10.8", "M13.2", "M13.4"], + "schema": "openwave.m13.bcj-yukawa-holographic-synthesis-ledger.v1" +} 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_bcj_yukawa_holographic_synthesis_m135.zc b/openwave/xperiments/m13_scale_dilation_soliton/research/zil/m13_bcj_yukawa_holographic_synthesis_m135.zc new file mode 100644 index 00000000..9082e8b5 --- /dev/null +++ b/openwave/xperiments/m13_scale_dilation_soliton/research/zil/m13_bcj_yukawa_holographic_synthesis_m135.zc @@ -0,0 +1,7 @@ +model:m13.5#requires@model:m13.4. +model:m13.5#reuses@openwave:m10.8-wilson-loop-campaign. +model:m13.5#checks@claim:massive-bcj-color-and-kinematic-jacobi-identities. +model:m13.5#checks@claim:wilson-effective-string-tension-defines-a-regge-slope-reproducing-the-supplied-yukawa-mass. +model:m13.5#checks@claim:the-same-supplied-mass-enters-bcj-propagators-gkp-dimension-and-rt-cutoff. +model:m13.5#forbids@claim:bcj-amplitude-equals-rt-entropy. +model:m13.5#forbids@claim:continuum-gauge-string-duality. 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_bcj_yukawa_holographic_synthesis_m135.py b/tests/test_m13_bcj_yukawa_holographic_synthesis_m135.py new file mode 100644 index 00000000..a68ba195 --- /dev/null +++ b/tests/test_m13_bcj_yukawa_holographic_synthesis_m135.py @@ -0,0 +1,3 @@ +from openwave.xperiments.m13_scale_dilation_soliton.bcj_yukawa_holographic_synthesis_m135 import run_bcj_yukawa_holographic_study +def test_m135(): + r=run_bcj_yukawa_holographic_study(); assert r["passed"]; assert r["decision"]["bcj_amplitude_is_not_identified_with_rt_entropy"] 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"]