M5 measurement contributions: running coupling, string tension, and boosted-clock force #438
Replies: 2 comments
|
Implementation update — all three preregistered pilots now have signed, independently audited handoffs.
Per CONTRIBUTING.md I have not opened the latter two PRs or invented task IDs. Please allocate the appropriate roadmap IDs and advise whether you want each bounded method/failure record submitted as-is or only after the named next construction. MODELS.md remains untouched in every branch. |
|
Answers to the coordination questions, following the #437 re-review:
|
Uh oh!
There was an error while loading. Please reload this page.
Follow-up to the review of #437: I agree that the current scripts do not resolve the three M5 rows. They reproduce conditional algebra, do not consume M5 field data, use colliding task numbers, and cite a repository that is currently private and unlicensed. I will replace or retire that content rather than defend it.
I would like to take three independent measurement tasks, delivered as three separate PRs (one document/merge each). Please assign roadmap/task IDs and confirm whether #437 should be repurposed for the first task or closed in favor of clean PRs. I will not edit
MODELS.md; the model owner and maintainers can adjudicate any status change after the evidence lands.A. Running-coupling scale curve from the M5/Faber curvature field
Entry point:
research/scripts/m5_6_4b_faber_curvature_em.py.The first deliverable will densely sample the constructed field rather than five radii. It will publish the raw dimensionless shell observable
[
C(\rho)=\rho^2,\langle|R_{ij}|\rangle_{|x|=\rho r_0},
\qquad \mu/\mu_0=1/\rho,
]
and its logarithmic derivatives with grid, box, shell-width, and derivative-method refinement.
There is a convention question that must be settled by the field/action dictionary rather than by agreement with a target. Two preregistered interpretations are:
g_R^2/g_ref^2 = C/C_ref;g_R/g_ref = C/C_ref.Both curves will be reported until the M5 source and kinetic normalization selects one. A later one-loop
b0or effective-flavour conversion is only a conditional fit after the measured slope exists; it will not be presented as an M5-to-QCD derivation. If neither convention is licensed by the model, the result remains a curvature form-factor measurement, not a beta function.Competing stronger estimator: a potential/force-scheme coupling from stationary two-core M fields. I propose the dense Faber scan first because it is the reviewer-named entry point and supplies a cheap exact/numerical instrument test; the two-core scheme remains the escalation path if the single-profile observable cannot identify a coupling.
Falsifiers: loss of the far-field plateau, derivative disagreement above propagated discretization error, slope instability under fixed-physical-domain refinement, or failure of normalization/load-bearing mutations to change the result.
B. Confinement/string-tension instrument
Entry points:
research/scripts/m5_21_4_a_pair.pyandresearch/findings/m5_21_4_note.md.The present approximately linear seed curve is useful evidence, but it is not a continuum tension: the freely relaxed pair merges, the winding-2 line remains singular, changing the seed tube radius moves the slope, and the existing n=32/n=48 comparison keeps approximately the same lattice spacing.
Primary estimator: constrained smooth charge-2 stationary branches, fit before comparator inspection to
[
V(d)=C+A/d+\sigma d.
]
Independent estimator: the constraint reaction/virtual-work derivative, compared with
dV/dd. A transverse excess-energy plateau will be a diagnostic rather than a substitute for either force estimator.Required gates: fixed-box h refinement, separate box refinement, measured rather than seed separation, stationary residual convergence, multiple smooth initializations and constraint supports, fit-window/branch/error budget, singular-seed negative control, and an independently implemented audit.
The first honest result will be
sigmain continuum code units. Comparison with the Cornell approximately 1 GeV/fm anchor requires energy and length scales from the same M5 functional, normalization, and state family. The existing M5.16 scale chain uses a different functional, so I will report the physical conversion as blocked unless a same-functional bridge is supplied and validated.C. Boosted-clock two-body force and Newton exponent
Entry points: the boost-dressed 4x4 M construction in
research/scripts/m5_8_2q_delta_scaling.pyand the static 4D M functional inresearch/scripts/m5_21_3_a_4d.py(plus the fixed-clock/fixed-J machinery if the model owner confirms that as the canonical mass proxy).The missing prerequisite is a canonical two-center boost-dressed fixed-J construction. For two local clock flows, the inertia is a matrix, not two independent scalar terms:
[
K_{ab}=4h^3\sum_i\langle[a_a,A_i]\eta,[a_b,A_i]\eta\rangle_\eta,
\qquad E_J=E_{stat}+\tfrac14 J^T K^{-1}J.
]
The overlap term
K_12is load-bearing and positive-definiteness/conditioning of K will be checked at every separation.Two-center boost composition is also preregistered rather than chosen by its answer: (1) a single exponential of the summed local rapidity field, (2) a core-swap-symmetric/Strang product, and (3) either construction used only as a seed before constrained full-field relaxation. Selection criteria are Lorentz membership, exact core-swap symmetry, one-core and far-vacuum limits, parameter economy, and control closure. Composition-sensitive force results will not support a Newton claim.
Primary estimator: constrained stationary two-clock configurations at separation d, with interaction energy after separately measured self-energy subtraction, followed by a local derivative
F_E(d)=-dE_int/dd.Independent estimator: constraint reaction or localized virtual work,
F_R(d). The preregistered model comparison is Coulomb/NewtonK/d^2versus a free powerK/d^p, screened/Yukawa, and nonzero-offset alternatives. The Newton row moves only if the two force estimators agree,p=2survives refinement and fit-window changes, and the effect is absent in zero-boost/zero-clock controls.Required gates: an explicit mass/clock observable, fixed-separation constraints, stationary residuals, self-energy and boundary subtraction, zero-boost and Euclidean-signature controls, b-to-minus-b and J-to-minus-J evenness, h/box/tolerance refinement, covariance-aware exponent fit, load-bearing mutations, and an independent implementation. Total, eta-time-mixing, and matched boosted-minus-undressed energies will be reported separately because an inverse-square shape alone cannot distinguish gravity from the existing electric/topological channel. If the current boost channel does not admit a stable two-body branch, that is recorded as attempt evidence and not renamed a Newton result.
Shared contribution boundary
Model-owner input requested from @JarekDuda: (1) which
C(r)-to-g_Rconvention follows from the intended Faber/M5 action, and (2) which boosted-clock/fixed-J construction is the canonical inertial-mass proxy for the two-body test.All reactions