CHC: A Restricted Covariant Expansion-Phase Scalar-Tensor Framework with Controlled General-Relativistic Recovery
This is a reader-facing guide to the paper: what it is for, where it sits in the 70-entry parent-and-companion release,
what the manuscript abstract says, and what not to over-read from the web page.
Claim authority. The manuscript remains the authority for definitions, assumptions,
derivations, and exclusions. This guide explains the route into the paper.
Plain reading map
What to use this paper for.
Role in the series
The covariant expansion-phase root and the homogeneous background response used as the public entry point.
Use these papers to understand the root branch, the background response, and the recovery envelope before opening the later sectors.
Read it for
What is being defined as the admitted CHC branch.
Which recovery limits are stated and which domains are excluded.
How the homogeneous background reading is separated from later probe-specific inference.
Keep separate
Framework definition versus detector response.
Background branch behavior versus perturbation or clock inference.
Existence/admissibility statements versus empirical confirmation.
Manuscript-based orientation
What the manuscript says this paper establishes.
We define a minimal covariant scalar-tensor formulation (CHC-min) on a nondegenerate admissible branch with a scalar global phase field H and a constrained auxiliary sector; where a cosmological reading is used, the relevant sector of this global phase field encodes an expansion-response branch. Under the stated positivity assumptions and an adopted standard strongly hyperbolic gauge reduction, the reduced equations carry one branch-local non-ghost scalar degree of freedom beyond general relativity under the stated positivity and hyperbolicity assumptions and fall within the local Cauchy theory for quasilinear hyperbolic systems. The archived manuscript remains authoritative for exact notation, equations, assumptions, and exclusions.
Open source-excerpt note
This web guide uses a reader-safe rendering of the manuscript abstract. The manuscript PDF and
canonical archive remain authoritative for exact notation, equations, definitions, and exclusions.
Manuscript structure
Open the paper by section.
12 manuscript sections indexed.
These links jump into a source-derived web reader generated from the canonical TeX manuscript.
Use the Zenodo PDF for exact equations, figures, tables, and final citation authority.
Reader boundary. This HTML reader is generated from 01_CHC_A_Restricted_Covariant_Expansion_Phase_Scalar_Tensor_Framework_with_Controlled_General_Relativistic_Recovery.tex.
It is optimized for navigation and search; the DOI archive controls over any web rendering difference.
Scalar-tensor departures from general relativity are tightly constrained by the multimessenger luminality bound following GW170817/GRB170817A, by solar-system light-deflection and time-delay measurements, and by current strong-field gravitational-wave consistency tests, including the GWTC-3 published analysis and the GWTC-4.0 O4a general, parameterized, and remnant-test papers [citation]. The -min action, the admissible nondegenerate branch, the reduced degree-of-freedom count, the conditional hyperbolicity assumptions, the controlled recovery theorem, and the exclusion criterion are specified below.
The construction uses a scalar global phase field H(x)\HH(x) coupled covariantly to the metric and to a constrained auxiliary sector. In cosmological applications, the relevant sector of this global phase field encodes the expansion-response branch where applicable; it is not a fixed background stage on which local physics rides. On the admissible nondegenerate branch, the reduced system contains a single effective scalar beyond GR, with departures organized by the background-adapted hierarchy parameter
Ξ≡ΛΞ4Meff2∣∇H∣bg2.
TeX source
\Xi \equiv \frac{\Meff^2\GradHbg}{\Lambda_\Xi^4}.
Here ∣∇H∣bg2\GradHbg denotes the background-adapted nonnegative norm used to define Ξ\Xi, while ΛΞ\Lambda_\Xi sets the phase-gradient hierarchy scale. The Lorentzian kinetic contractions entering the action are defined in reference. The following analysis develops only the covariant field equations, the admissible branch, the EFT hierarchy, the controlled recovery structure, and the branch-level exclusion criterion.
Detector-facing, information-access, source-model, distance/clock, and compact-object inference layers are outside the restricted branch analyzed here.
The assumptions below define the branch variables, admissibility conditions, and hierarchy conventions for the restricted branch. Only the consequences required for branch admissibility, stability, recovery, and hierarchy control are developed explicitly. The finite-access, bookkeeping, and empirical-discipline assumptions restrict the allowed branch and are not expanded into detector statistics or event-probability laws.
- Global phase field and expansion-response branch. The construction uses a scalar global phase field H(x)\HH(x). Its cosmological sector encodes an expansion-response branch where applicable, while local matter, boundary, media, and detector effects are described through local phase-field responses rather than through a separate material carrier. - Local covariance. Laws are tensorial and form-invariant under diffeomorphisms. - Phase-response encoding. Observable structure is represented through phase response to H\HH on finite observation domains; the locally accessible information used in the construction need not coincide with the full global information state. - Controlled recovery. There exists a stable regime in which the metric equations reduce to GR+Λeff\Lambda_{\mathrm{eff}} up to O(∣∇H∣bg2)\mathcal{O}(\GradHbg) under the conditions listed in reference. - Minimal propagation. Beyond the two tensor polarizations of GR, \ carries at most one branch-local non-ghost scalar in the nondegenerate branch under the stated positivity and hyperbolicity assumptions. - Energetic consistency. The scalar sector contributes positive energy under the positivity conditions summarized in reference. - Information-energy bookkeeping. Any information-bearing realization used in the construction is required to satisfy thermodynamic bookkeeping compatible with the hierarchy variables. - Empirical admissibility. Parameter choices are subject to explicit falsification thresholds when independent probes are introduced. - Phase-gradient hierarchy. Departures are organized by the hierarchy variable
Ξ≡ΛΞ4Meff2∣∇H∣bg2,
TeX source
\Xi \equiv \frac{\Meff^2\GradHbg}{\Lambda_\Xi^4},
where ΛΞ\Lambda_\Xi is the hierarchy scale controlling the phase-gradient expansion and ∣∇H∣bg2\GradHbg denotes the positive norm appropriate to the background under consideration. With the metric signature (−,+,+,+)(-,+,+,+) adopted below, one uses ∣∇H∣bg2≡−gμν∇μH∇νH\GradHbg\equiv -g^{\mu\nu}\nabla_\mu\HH\nabla_\nu\HH on homogeneous timelike backgrounds and ∣∇H∣bg2≡gij∂iH∂jH\GradHbg\equiv g^{ij}\partial_i\HH\,\partial_j\HH in static spatial problems. In particular, for homogeneous FRW-like backgrounds with H=H(t)\HH=\HH(t),
Ξ=Meff2H˙2/ΛΞ4≥0.
TeX source
\Xi = \Meff^2\dot{\HH}^{2}/\Lambda_\Xi^4 \ge 0.
When a process probes the global phase field with characteristic variation length ℓH\ell_{\HH} on a scale LL, the small-gradient branch is L/ℓH≪1L/\ell_{\HH}\ll 1, and leading small-gradient envelopes are organized by powers of (L/ℓH)2(L/\ell_{\HH})^2. The formal limit Ξ→0\Xi\to 0 is a hierarchy limit only.
We use the metric signature (−,+,+,+)(-,+,+,+) and □≡∇μ∇μ\Box\equiv\nabla_\mu\nabla^\mu throughout. For the Lorentzian kinetic contractions entering the action and field equations, we write
which implements the scalar-side boundary Legendre transform for the adopted sign convention. For pure Dirichlet data on (H,Φ)(\HH,\PPhi) one omits SbdryCHCS^{\CHC}_{\mathrm{bdry}}.
Nondegenerate branch, well-posedness, and stability
Admissible -min branchHyperbolicity and local well-posednessEnergy positivity and stability
Admissible -min branch
We work throughout in the nondegenerate -min branch defined by the following conditions:
- the auxiliary constraint is enforced as Φ=f(H)\PPhi=f(\HH) on the domain of interest, - the reduced kinetic prefactor
Meff2(H)≡MH2+MΦ2f′(H)2
TeX source
\Meff^2(\HH) \equiv \Mh^2 + \Mp^2 f'(\HH)^2
obeys Meff2(H)≥m02>0\Meff^2(\HH)\ge m_0^2>0, - the reduced potential Ueff(H)≡U(H,f(H))U_{\mathrm{eff}}(\HH)\equiv U(\HH,f(\HH)) has Ueff′′(H⋆)>0U''_{\mathrm{eff}}(\HH_\star)>0 near the recovery point, and - the reduced chart is used only on domains where the chosen branch parametrization remains regular. Zeros of f′(H)f'(\HH) are not singular in the reduced kinetic coefficient by themselves; they matter only if an alternative inversion or auxiliary-field chart is invoked.
Alternative local charts may be introduced near isolated zeros of f′(H)f'(\HH) if needed, but no such reparametrization is required for the reduced theory used below.
proposition: Reduced propagating content on the -min branch. On the -min branch, the scalar sector reduces to a single effective field H\HH with Lagrangian density
After the standard diffeomorphism constraints of GR are handled, the propagating content is the two tensor polarizations of GR plus one scalar degree of freedom.
Hyperbolicity and local well-posedness
Introduce Xμ≡∇μHX_\mu\equiv\nabla_\mu\HH and work in a standard strongly hyperbolic gravitational reduction. Using standard hyperbolic formulations of Einstein's equations together with well-posed scalar-tensor EFT reductions as external anchors [citation], the linearized principal symbol block-diagonalizes as
theorem: Conditional local Cauchy theory on the nondegenerate branch. Assume the -min branch conditions, a positive-definite reduced Hessian near the recovery point, and a standard strongly hyperbolic gauge reduction for the gravitational sector. Then the reduced first-order formulation of the coupled GR+\,\ system is strongly hyperbolic, with real diagonalizable principal symbol. Local existence, uniqueness, and continuous dependence in HsH^s then follow from the standard local theory for quasilinear hyperbolic systems [citation].
The theorem concerns the reduced leading-order -min system on the stated branch. Higher-derivative EFT operators are organized perturbatively and are not promoted here to an independent well-posed PDE claim.
Energy positivity and stability
Linearizing around a homogeneous background (H0,Φ0=f(H0))(\HH_0,\PPhi_0=f(\HH_0)) gives the quadratic energy density
together with Meff2(H0)>0\Meff^2(\HH_0)>0. These conditions bound the scalar Hamiltonian from below and exclude ghost and gradient instabilities on the stated branch.
Higher operators are organized by a cutoff ΛH\Lambda_{\HH}. -min is restricted to a luminality-safe admissible basis, motivated by the post-GW170817 requirement that tensor modes remain luminal to very high accuracy [citation].
definition: Luminality-safe operator basis. The admissible operator class Ilum\mathfrak{I}_{\mathrm{lum}} is the smallest diffeomorphism-covariant set of local operators that is closed under integrations by parts, local field redefinitions, and use of the leading equations of motion, while excluding curvature-dressed scalar-gradient terms that would split the tensor kinetic and gradient coefficients on smooth backgrounds. In particular, operators of the forms
-min is formulated within this admissible operator class. The loop-level remarks recorded in reference remain within the same restricted basis and are not used as independent field equations.
For a probe of characteristic size LL in a region where the global phase field has variation length ℓH\ell_{\HH}, the small-gradient branch is L/ℓH≪1L/\ell_{\HH}\ll1. Weak-field envelopes and homogeneous-FRW response quoted below are therefore organized by (L/ℓH)2(L/\ell_{\HH})^2, consistent with the underlying hierarchy parameter Ξ\Xi.
theorem: Controlled GR recovery on the small-gradient branch. Assume the -min branch, ∇H→0\nabla\HH\to0, and a local minimum of U(H,Φ)U(\HH,\PPhi) on the constraint surface Φ=f(H)\PPhi=f(\HH) with positive-definite reduced Hessian. Then the metric equations reduce to Einstein gravity with an effective cosmological constant,
equivalently Gμν+Λeffgμν=MPl−2TμνmG_{\mu\nu}+\Lambda_{\mathrm{eff}}g_{\mu\nu}=\Mpl^{-2}T^{\mathrm{m}}_{\mu\nu}, up to O(∣∇H∣bg2)\mathcal{O}(\GradHbg). In the same regime, \ corrections are organized by the small hierarchy parameter Ξ\Xi and vanish continuously with the phase gradient.
Weak-field and time-transfer regimeHomogeneous-FRW branch
Weak-field and time-transfer regime
Precision solar-system tests require that the local phase-field environment lie in the small-gradient branch, with characteristic probe scale L∼bL\sim b much smaller than the variation length ℓH\ell_{\HH} of the global phase field. In that regime, the leading \ corrections are quadratic in the small ratio b/ℓHb/\ell_{\HH} and do not shift the PPN sector at linear order in the phase gradient:
Solar VLBI deflection and time-delay measurements therefore require the coefficients entering εα\varepsilon_\alpha and εt\varepsilon_t to remain below current observational sensitivity on solar-system backgrounds [citation]. Recent weak-field analyses of luminality-safe scalar-tensor sectors exhibit the same requirement that admissible parameters recover standard solar-system behavior on slowly varying backgrounds [citation]. These relations are weak-field envelopes on slowly varying backgrounds and do not constitute a full source model or a global PN reconstruction.
Homogeneous-FRW branch
For a flat FRW metric with scale factor a(t)a(t) and homogeneous H(t)\HH(t),
When H\HH evolves into a slowly varying regime with locally convex Ueff(H)=U(H,f(H))U_{\mathrm{eff}}(\HH)=U(\HH,f(\HH)), the homogeneous-FRW response approaches a plateau with weff≃−1w_{\mathrm{eff}}\simeq -1. Only this homogeneous-FRW branch and its small-Ξ\Xi organization are retained below; no observational distance or clock law is introduced.
-min is excluded if no single admissible parameter set simultaneously (i) satisfies the nondegenerate branch and positivity conditions of reference, (ii) preserves the conditional local Cauchy structure of reference, (iii) reduces to GR+Λeff\Lambda_{\mathrm{eff}} in the small-gradient regime of reference, and (iv) remains consistent with the weak-field and homogeneous-FRW envelopes of reference.
A single failure of the admitted branch, stability, recovery, or envelope conditions is sufficient to reject the formulation on the stated branch. The auxiliary stationary-symmetric compact-object diagnostic recorded in reference does not enter this exclusion criterion.
We have specified a restricted covariant scalar-tensor formulation based on a global phase field, whose cosmological sector encodes an expansion-response branch where applicable, together with a constrained auxiliary sector and a nondegenerate admissible branch. Under the stated branch assumptions and adopted hyperbolic reduction, the reduced system has the propagating content described above and admits controlled recovery to GR+Λeff\Lambda_{\mathrm{eff}} in the small phase-gradient regime. Departures are organized by the hierarchy variable Ξ\Xi and by probe-to-global-phase-field variation ratios.
The result established here is branch-local. It fixes the action, reduced branch, conditional local Cauchy structure, restricted EFT hierarchy, recovery theorem, and exclusion criterion for the stated formulation. The compact-object quantity Ξth\Xith remains an auxiliary stationary-symmetric diagnostic and is not part of the exclusion criterion. Source models, detector response, distance/clock inference, and compact-object inference are not developed here.
For solar-grazing rays with b≃R⊙b\simeq R_\odot, current light-deflection bounds therefore require b/ℓH≪1b/\ell_{\HH}\ll1 for Cα=O(1)C_\alpha=\mathcal{O}(1), i.e. a background that is nearly homogeneous on scales much larger than the probed impact parameter. These relations are weak-field envelopes on slowly varying backgrounds and do not constitute a full source model or a global PN reconstruction.
The quantity Ξth\Xith is retained only as an auxiliary stationary-symmetric compact-object diagnostic, to be used diagnostically only on the admitted branch. It does not enter the exclusion criterion and is not promoted to a compact-object theorem or inference law. With horizon generator χμ\chi^\mu and surface gravity κ\kappa, define
Under χμ→λχμ\chi^\mu\to\lambda\chi^\mu one has κ→λκ\kappa\to\lambda\kappa, so (χ⋅∇H)/κ(\chi\cdot\nabla\HH)/\kappa is invariant. In admitted stationary-symmetric settings, one may test whether a suitable choice of (Ξth)⋆(\Xith)_\star aligns Ξth=0\Xith=0 with the marginally outer trapped surface in the recovery limit. The quantity Ξth\Xith remains diagnostic-only in this admitted stationary-symmetric class and does not by itself define a compact-object theorem or inference scheme. Away from that admitted stationary-symmetric class, no further claim is made.
Constraint reduction, hyperbolicity, and stability
proposition: Constraint reduction on the admissible branch. The conjugate momentum of Ω\OOm yields the primary constraint ΠΩ≈0\Pi_{\OOm}\approx0, and preservation of the corresponding multiplier equation gives the algebraic branch constraint C2≡Φ−f(H)≈0C_2\equiv\PPhi-f(\HH)\approx0. On the nondegenerate admitted branch one solves this algebraic constraint and substitutes Φ=f(H)\PPhi=f(\HH) in the reduced action. This removes the auxiliary direction from the reduced scalar sector and leaves the single effective field H\HH with kinetic prefactor Meff2(H)\Meff^2(\HH). No independent Hamiltonian gauge-fixing equivalence is asserted here beyond this branch reduction.
proposition: Reduced Hamiltonian criterion. Let HAB=∂2L/∂φ˙A∂φ˙B\mathcal{H}_{AB}=\partial^2\Lag/\partial\dot\varphi^A\partial\dot\varphi^B for φA=(g,H,Φ,Ω,Ψ)\varphi^A=(g,\HH,\PPhi,\OOm,\Psi). On the nondegenerate branch where the reduced kinetic matrix is positive and the constraint algebra removes the auxiliary field, the Hamiltonian is bounded below modulo the usual first-class gravitational constraints. This is the standard no-ghost criterion for the reduced branch.
proposition: Leading-order principal-cone alignment on the admissible branch. If the conditions of reference hold, then the reduced scalar principal symbol is proportional to Meff2gμνξμξν\Meff^2 g^{\mu\nu}\xi_\mu\xi_\nu. Thus, at leading principal order, the scalar characteristic set coincides with the metric null cone on the admitted branch. In particular, the admitted -min branch introduces no independent cone-widening operator or superluminal principal characteristic at this order.
Forward-limit analyticity and unitarity constrain EFT Wilson coefficients through positivity bounds, but in the presence of gravity the standard flat-space argument must be treated with care because of the massless tt-channel graviton pole. The admissible -min basis therefore uses positivity only as a supporting filter. Standard flat-space positivity logic follows Adams et al. [citation], while gravitational refinements, scalar-tensor causality bounds, and the massless spin-2 subtlety are discussed by Tokuda, Aoki, and Hirano, Alberte et al., Hong, Wang, and Zhou, and Alviani, Falkowski, and Marinellis [citation].
Restricted tensor-luminality closure..
Assume diffeomorphism covariance, the admissible operator-basis restriction of Definition reference, and a renormalization scheme that preserves that restriction. Then no admitted operator in the selected basis splits the tensor kinetic and gradient coefficients on smooth backgrounds. Within that restricted basis one therefore retains
This is a basis-closure statement and not a general UV-completion theorem.
Loop-level consequence..
Within the admissible basis, loop-induced deformations of weak-field observables remain at least quadratic in the small-gradient parameters used in the main text. Any stronger statement about arbitrary higher-curvature completions or all-sector symmetry protection lies beyond the present formulation.
Funding and competing interests..
No external funding was received for this work. The author declares no competing interests.