Epistemological Proof of the Unique Density-Dependent Effective Mass Law in Single-Field Screening Theories

Epistemological Proof of the Unique Density-Dependent Effective Mass Law in Single-Field Screening Theories Kevin Narsh October 25, 2025 Abstract This work establishes an epistemological proof for single–field density–dependent scalar theories, demonstrating that under a minimal and physically motivated set of axioms—vacuum stability, regulated monotonicity, local energy conservation, bounded amplification, and mathematical regularity—only one effective–mass profile remains mathematically consistent, energetically stable, and epistemically closed. The unique solution, m2 eff (ρ)=m2 0+Amin(ρα, ρα t), arises as the sole form compatible with all logical and dynamical constraints, independent of empirical adjustment. This result applies generally to single–field chameleon–type and density–dependent scalar frameworks, of which Stratophysics constitutes a specific realization. It transforms the mass–density relation from a model assumption into a mathematical necessity, illustrating how logical completeness can determine physical form prior to observation. 1 Contents 1 Epistemological Introduction 3 2 Background: The Constraining Theorems 3 2.1 The Impossibility of Mass-Free Gravitational Amplification ........ 3 2.2 The Screening Trilemma ........................... 4 2.3 Logical Relationship of the Theorems .................... 4 3 Formal Objective of the Proof 5 4 Fundamental Axioms 6 5 Epistemological Structure of the Problem 7 6 Epistemological Proof of Uniqueness 8 6.1 Theorem: Uniqueness of the Effective Mass Profile ............. 9 6.2 Corollary: Exclusion of Alternative Forms ................. 10 7 Discussion and Epistemological Closure 11 7.1 Epistemic Meaning of the Uniqueness .................... 11 7.2 Relation to the No–Go and Trilemma Theorems .............. 11 7.3 Consequences for Physical Interpretation .................. 11 7.4 On the Regularity of the Stratified Solution ................ 12 8 Scope and Limitations of the Uniqueness Result 13 8.1 Mathematical vs. Physical Necessity ..................... 13 8.2 Functional vs. Parametric Freedom ..................... 13 8.3 Dependence on the Axioms .......................... 13 8.4 Single–Field Limitation ............................ 14 8.5 Domain of Validity .............................. 14 9 Conclusion 16 2 1 Epistemological Introduction The origin of this proof lies not in the search for a new force, but in the pursuit of conceptual closure: to determine whether gravity, when expressed through a density– dependent scalar degree of freedom, can preserve internal consistency without violating fundamental axioms such as energy positivity, stability, and equivalence. Whereas most theoretical extensions of gravity achieve empirical adequacy by sacrificing one of these principles, Stratophysics aims to retain them all, providing a self–consistent framework in which the strength of gravity adapts to environmental density without introducing nonphysical divergences. The motivation is therefore epistemological. The question is not whether amplification exists—observations at galactic scales already suggest so— but whether such amplification can exist coherently. If a consistent law can be found, its form is not arbitrary: it would represent the only possible way in which gravitational coupling can depend on density while remaining mathematically regular and physically conservative. Historically, the search for modified gravity has oscillated between two extremes: empirical parametrizations (as in MOND–type models) and field–theoretic extensions (as in chameleon or f(R) frameworks [5,4,6]). Both succeed phenomenologically but fail epistemologically, either by violating conservation or by losing control of the vacuum behavior. The goal of Stratophysics is to identify the middle ground: a theory that modifies nothing fundamental, yet recovers the observed amplifications through the internal logic of its axioms. This leads naturally to the question: if all known constraints—stability, conservation, positivity, and bounded amplification— are imposed simultaneously, does a consistent law of effective mass still exist? And if so, is that law unique? The following sections answer both questions affirmatively through a constructive proof. 2 Background: The Constraining Theorems This section summarizes the two foundational consistency results that delimit the logical space within which the present uniqueness theorem is formulated. They establish the epistemic boundaries of any mathematically consistent, density–dependent modification of gravity and motivate the axioms adopted in Section 4. 2.1 The Impossibility of Mass-Free Gravitational Amplification The Theorem of Gravitational Amplification [1] demonstrates that, within the classical framework of General Relativity supplemented by any well–posed scalar extension, no reproducible local amplification of the gravitational field can occur without altering at least one of the fundamental consistency conditions of the theory. Statement. Let gµν be a Lorentzian metric satisfying the Einstein field equations Gµν = 8πG Tµν under fixed boundary data and standard energy conditions. Then no perturbation δgµν induced by an auxiliary field can produce a persistent local increase ∆g/gN>0 unless one of the following is violated: 1. conservation of the stress–energy tensor ∇µTµν = 0, 2. fixed boundary data on the hypersurface ∂M, 3 3. or the dominant energy condition. Implication. Any consistent model that exhibits an apparent amplification must therefore contain an additional source of stress–energy, such as a scalar field ϕwhose effective potential contributes to Tµν. The gravitational modification is not “free” but mediated by a field that carries its own energy–momentum. Relevance. This theorem motivates Axioms A1–A3 of the present framework, ensuring that any proposed effective mass law preserves vacuum stability, energy conservation, and bounded growth without invoking external or ill–posed sources. 2.2 The Screening Trilemma The Screening Trilemma [2] establishes a fundamental upper bound on curvature enhancement in single–field scalar theories whose mass and coupling depend on ambient matter density. It demonstrates that three desiderata cannot be simultaneously satisfied. Statement. For a scalar field ϕwith effective potential Veff (ϕ, ρ) = V(ϕ)+β(ρ)ρϕ/MPl and effective mass meff (ρ), the following conditions are mutually incompatible: 1. Energy consistency: ρϕ/ρΛ<1, 2. Dynamical stability: m2 eff (ρ)>0, 3. Amplification beyond the Newtonian limit: ∆g/gN≳0.2 at the transition density ρt≃10−25 kg m−3. Implication. The third condition introduces a quantitative ceiling on the effective amplification achievable by any single–field model anchored to the dark–energy scale Λ≃2.4×10−3eV. The maximum consistent enhancement is ∆g gN ≲0.2,(1) a value derived from the interplay between Yukawa suppression, finite coupling βeff ≲1, and bounded screening factor S(ρt)≤0.66. This numerical ceiling, later encoded as Axiom A4, arises from internal mathematical consistency rather than empirical fitting. Relevance. The Trilemma constrains the amplitude of any admissible modification without specifying its functional form. It provides the quantitative boundary within which the present proof searches for the unique admissible m2 eff (ρ). 2.3 Logical Relationship of the Theorems The two results define a possibility corridor for any consistent density–dependent scalar theory: •The Impossibility Theorem prohibits gravitational amplification without an explicit field–theoretic source; 4 •The Screening Trilemma limits the magnitude of such amplification once a source is introduced. Within this corridor, the Uniqueness Theorem proven in the present work identifies the single functional form of m2 eff (ρ) that satisfies all consistency conditions simultaneously. Together, these theorems establish the logical hierarchy: (Impossibility) ⇒(Bounded Consistency) ⇒(Functional Uniqueness). They transform the search for modified–gravity laws from empirical guessing into a mathematically closed problem of internal coherence. 3 Formal Objective of the Proof The purpose of this proof is to demonstrate that, within the axiomatic structure of Stratophysics, there exists exactly one admissible functional form for the density–dependent effective mass meff (ρ) that satisfies: •Positivity and finiteness for all ρ≥0, •Monotonicity regulated by a finite transition density ρt, •Local conservation of energy and stability of the effective potential, •Compliance with the gravitational amplification bound established by the Trilemma, •Continuity and differentiability consistent with physical regularity. Formally, the statement to be proven is: Theorem (Epistemological Uniqueness). Given the axioms of vacuum stability, monotonic regulation, local energy conservation, bounded amplification, and mathematical regularity, there exists exactly one continuous and physically admissible functional dependence between effective mass and density. The proof that follows is epistemological in nature: it determines not only what form meff (ρ) must take, but why no other function can exist without breaking either the mathematical structure or the conceptual integrity of the physical system. The resulting function therefore defines the boundary of knowable physics for density–dependent gravitation. Proof Strategy. The proof proceeds in three conceptual stages: 1. Boundary Conditions (Lemma 1): Derive the necessary limits and sign behaviour of m2 eff (ρ) from Axioms A1, A2, and A5. 2. Functional Exhaustion (Lemma 2): Identify and test all admissible functional families satisfying these boundaries, showing that only the stratified form survives. 3. Verification (Theorem 1 and Corollary 1): Demonstrate that the surviving form satisfies all five axioms simultaneously and that no alternative law can exist within the admissible class. This roadmap clarifies that the derivation is not empirical but logical: a reconstruction of necessity from within the axioms themselves. 5 4 Fundamental Axioms The axiomatic system developed here applies generally to single–field, density–dependent scalar theories of gravity, establishing the logical conditions under which such models remain mathematically consistent and energetically stable. These axioms—vacuum stability, regulated monotonicity, local energy conservation, bounded amplification, and mathematical regularity—together form a minimal structure of epistemic completeness. They are motivated by two constraining theorems [1,2]: the Impossibility Theorem for Gravitational Amplification, which forbids unmediated enhancement of curvature under classical conditions, and the Screening Trilemma, which limits the amplification achievable by any self–consistent scalar field. Within this broader logical framework, the Stratophysical formulation serves as a concrete realization of these principles, organizing the general constraints of screened–scalar gravity [3,7] into a coherent and self–contained system. Each axiom expresses a necessary mathematical and physical property, and violating any of them leads to instability, energy nonconservation, or loss of theoretical coherence. Axiom 1 (A1: Vacuum Stability).The effective mass is finite and positive for all ρ≥0: m2 eff (ρ)>0. This excludes tachyonic or divergent modes and guarantees that the vacuum state constitutes a well–posed minimum of the effective potential. It provides the lower bound for admissible configurations. Axiom 2 (A2: Regulated Monotonicity).The effective mass increases with environmental density up to a transition density ρt, beyond which the growth saturates: dmeff dρ >0for ρ < ρt,dmeff dρ = 0 for ρ≥ρt. This describes the screening–unscreening transition characteristic of density–dependent scalar fields. Remark. The equality dmeff dρ = 0 for ρ≥ρtrepresents exact saturation of growth; it corresponds to the minimal case allowed by the axioms. Any true reversal (dmeff dρ <0) would require additional structure beyond the single–field framework and therefore lies outside the Stratophysical domain. Axiom 3 (A3: Local Energy Conservation).The effective potential Veff (ϕ, ρ)must preserve positivity of its curvature and yield no net energy exchange between field and matter at equilibrium: V′′(ϕ)>0,∂Veff ∂ρ = 0 at equilibrium. This condition enforces local conservation of the stress–energy tensor and excludes dissipative or runaway evolutions. It provides the Hamiltonian closure of the system. Axiom 4 (A4: Gravitational Amplification Bound).Any deviation from Newtonian gravity must remain below the theoretical ceiling derived from the Screening Trilemma: ∆g gN ≤0.2. This is not an empirical adjustment but a consequence of internal consistency. At the transition density ρtwhere the screening length λeff =m−1 eff matches the characteristic radius of the gravitational domain, the bound follows from: (i) Yukawa suppression: [1 + (meff r)2]−1=1 2,(ii) S(ρt)≤0.66,(iii) βeff ≲1. 6 Combining these yields ∆g gNmax =1 2β2 eff S2(ρt)≲0.22. Thus the amplification ceiling arises from the geometry of the scalar propagator and coupling hierarchy itself. It establishes the quantitative consistency condition that bounds all admissible solutions of the Stratophysical system. Axiom 5 (A5: Mathematical Regularity).The effective mass function must be continuous with piecewise continuous first derivative and finite total variation, ensuring that it belongs to the minimal regularity class required for well–posed variational analysis: meff ∈C0(R+)∩W1,1(R+),lim ρ→0meff =m0,lim ρ→∞ meff =m∞<∞. This permits bounded derivative discontinuities at isolated points (such as the transition ρ=ρt) but excludes jump discontinuities, singularities, or pathological oscillations. The Sobolev class W1,1ensures that the total variation R∞ 0|m′ eff (ρ)|dρ remains finite, so that variational and energy principles are well defined. It represents the minimal functional regularity compatible with Axioms A1–A4 and provides the analytic closure of the Stratophysical system. Summary. Together, Axioms A1–A5 define the closed logical domain within which any consistent density–dependent modification of gravity must reside. Violating one of them leads respectively to: instability (A1), loss of bounded monotonicity (A2), energy nonconservation (A3), amplification inconsistency (A4), or mathematical incoherence (A5). Their conjunction is both necessary and sufficient for the existence of a single consistent effective–mass law. 5 Epistemological Structure of the Problem The proof of uniqueness arises from the tension between two complementary constraints: the Impossibility Theorem for Gravitational Amplification, which forbids any unbounded enhancement of the gravitational field without generating energy inconsistencies, and the Screening Trilemma, which states that stability, conservation, and amplification cannot coexist in a single monotonic law. The epistemological question is therefore: Can a system exist that satisfies all five axioms simultaneously? If yes, what is its functional form, and is that form unique? Under traditional monotonic laws m2 eff ∝ρα, the Impossibility Theorem demonstrates that the field becomes overconstrained: amplification requires violating either A1 (positivity) or A3 (energy conservation). Likewise, purely saturating laws (e.g. tanh or rational forms) cannot reproduce both the unscreened and screened limits without breaching A5. Stratophysics introduces a third path: a stratified law in which the effective mass transitions between regimes while remaining locally analytic. This reinterpretation of A5—from strict global differentiability to piecewise C1regularity—preserves all physical axioms and opens a narrow corridor of logical possibility inside the domain previously closed by the Trilemma. The proof that follows shows that within this corridor, only one analytic family remains consistent with the five axioms and the epistemic requirements of bounded amplification. The resulting expression for meff (ρ) therefore represents not an empirical 7 fit but the only knowable law connecting density to effective mass in a self–consistent gravitational framework. 6 Epistemological Proof of Uniqueness The proof proceeds by constructing the only admissible function meff (ρ) that satisfies all five axioms simultaneously. It follows a minimal path: first establishing the universal boundary conditions imposed by stability and regularity (Lemma 1), and then deriving the general functional form permitted under those limits (Lemma 2). Each step eliminates entire families of candidate functions until a single consistent structure remains. Lemma 1 (Boundary and Sign Conditions).Let f(ρ) = m2 eff (ρ)denote the squared effective mass. Under Axioms A1–A2 and A5, the following boundary and derivative conditions necessarily hold: lim ρ→0f(ρ) = f0=m2 0>0, lim ρ→∞ f(ρ) = f∞<∞, f′(ρ− t)>0, f′(ρ+ t) = 0, for a single transition density ρt>0. Proof. By A1, f(ρ)remains positive and finite for all ρ≥0. By A2, the effective mass grows monotonically with ρuntil a transition density ρtis reached, at which growth ceases exactly. Hence f′(ρ)>0for ρ < ρtand f′(ρ) = 0 for ρ≥ρt. By A5, f(ρ)is continuous and piecewise differentiable, so this transition occurs smoothly, with no jump or singularity. Therefore f(ρ)is bounded, continuous, and admits a unique saturation point where the derivative vanishes. Remark 1.Lemma 1 establishes that any admissible f(ρ) must approach finite limits both in the vacuum and dense regimes and possess exactly one critical transition. This immediately excludes oscillatory or multi-valued functions, reducing the solution space to monotonic or saturating forms. Lemma 2 (Reinforced Functional Form).Let h(ρ)be the normalized function encoding the density dependence of the effective mass, such that f(ρ)=f0+A h(ρ)with A>0 and h(0) = 0. Under Axioms A1–A5 and Lemma 1, the only analytic family satisfying boundedness, single inflection, and derivative continuity is equivalent (in limits and first derivatives) to h(ρ)≃min(ρα, ρα t), α > 0. Proof. Define the admissible class Hof functions h(ρ)by h(0) = 0, h′(ρ)>0for ρ < ρt, h′(ρ)→0+for ρ>ρt, h ∈C1(R+). Every h∈ H can be written piecewise as h(ρ) = (g(ρ), ρ < ρt, g(ρt), ρ ≥ρt, where g(ρ)is monotonic and C1. By dimensional consistency (A1, A3) and bounded sublinear growth, g(ρ)∝ραwith α > 0. Case analysis. 8 •Rational forms: h(ρ)=ρα/(1 + ρα/ρα t)yield h′(ρ)>0for all ρ, never exactly vanishing at ρt, thus violating the monotonicity cutoff in A2. •Hyperbolic forms: h(ρ)=ρα ttanh(ρ/ρt)fail to match h(ρt)=ρα tand introduce transcendental dependence inconsistent with A5’s minimal regularity. •Logarithmic forms: h(ρ)=Alog(1+ρ/ρt)diverge for ρ→ ∞, breaking boundedness (A2) and the amplification limit (A4). •Piecewise–smooth matches: Continuous matching of polynomial segments at ρtrequires h′(ρ+ t)=h′(ρ− t)>0, contradicting A2’s requirement that the derivative saturates to zero beyond the transition. Hence, the only function in Hsatisfying all axioms with minimal parametrization (α, ρt)is h(ρ) = min(ρα, ρα t), which exhibits exact saturation (h′(ρ− t)>0,h′(ρ+ t) = 0) and bounded curvature. No alternative form preserves the axioms simultaneously. Remark 2.Lemma 2 encapsulates the principle of parsimony: among all admissible saturating functions, min(ρα, ρα t) is the simplest form that remains continuous, dimensionally consistent, and analytically solvable. Its simplicity is epistemic rather than aesthetic—any additional parameter would introduce information not warranted by the axioms themselves. The case analysis exhausts all standard smooth and piecewise-smooth families: rational, hyperbolic, and logarithmic alternatives each fail at least one axiom (typically A2 or A5), while more elaborate functional classes reduce to these or violate parsimony. Hence, min(ρα, ρα t) stands as the unique minimal–complexity representation of a mathematically and physically admissible stratified law. 6.1 Theorem: Uniqueness of the Effective Mass Profile Theorem 1 (Uniqueness of the Effective Mass Law).Given Axioms A1–A5 and Lemmas 1–2, there exists exactly one continuous, finite, and physically admissible function meff (ρ) satisfying all five axioms simultaneously: m2 eff (ρ)=m2 0+Amin(ρα, ρα t), A > 0, α > 0. Proof. Let f(ρ) = m2 eff (ρ) = m2 0+A h(ρ). From Lemma 2, h(ρ) must belong to the minimal family h(ρ)≃min(ρα, ρα t). We verify sequentially that this form satisfies each axiom: (A1) Vacuum Stability. For ρ→0, f(ρ)→m2 0>0; no negative or divergent terms appear. (A2) Regulated Monotonicity. For ρ<ρt,f′(ρ)=Aαρα−1>0; for ρ>ρt,f′(ρ) = 0. Hence f′changes sign exactly once, realizing the unique transition required. (A3) Local Energy Conservation. Because Veff (ϕ, ρ) depends on m2 eff quadratically, a constant or saturating meff at high ρguarantees a positive definite curvature V′′(ϕ)>0 and eliminates any runaway behaviour. 9 9 Conclusion The proof presented here demonstrates that, within the axioms of Stratophysics, only one density–dependent law of effective mass remains both mathematically regular and physically coherent: m2 eff (ρ) = m2 0+Amin(ρα, ρα t). This expression is not selected but derived—it emerges as the unique resolution of the constraints imposed by stability, conservation, and bounded amplification. The result closes a conceptual loop initiated by the Impossibility Theorem for Gravitational Amplification: where that theorem delineated what cannot exist, the present proof identifies what must exist within those limits. This transition from impossibility to uniqueness marks the passage from negative to positive knowledge—from limitation to law. In epistemological terms, Stratophysics constitutes a self–contained system of reasoning: it preserves the formal structure of classical gravity while introducing an internally necessary extension. Its outcomes are not arbitrary modifications but logical consequences of consistency under variable density conditions. Hence, the effective–mass profile derived here is not merely a physical solution but an epistemic invariant—the sole admissible expression of a gravitational law that remains simultaneously consistent, conservative, and cognitively complete. 16 References [1] Narsh, K. The Impossibility of Mass-Free Gravitational Amplification. Zenodo, 2025. doi.org/10.5281/zenodo.17239493. [2] Narsh, K. The Screening Trilemma: Fundamental No-Go Theorem for LambdaAnchored Scalar Field Theories. Zenodo, 2025. doi:10.5281/zenodo.17420330. [3] Khoury, J. and Weltman, A. Chameleon fields: Awaiting surprises for tests of gravity in space. Phys. Rev. Lett.,93, 171104, 2004. doi:10.1103/PhysRevLett.93.171104. [4] Brax, P., van de Bruck, C., Davis, A.-C., Shaw, D., and Iannuzzi, D. Tuning the mass of chameleon fields in Casimir experiments. Phys. Rev. Lett.,104, 241101, 2010. doi:10.1103/PhysRevLett.104.241101. [5] Burrage, C. and Sakstein, J. Tests of chameleon gravity. Living Rev. Relativity,21, 1, 2018. doi:10.1007/s41114-018-0011-x. [6] Hinterbichler, K. and Khoury, J. Screening long-range forces through local symmetry restoration. Phys. Rev. Lett.,104, 231301, 2010. doi:10.1103/PhysRevLett.104.231301. [7] Hui, L., Nicolis, A., and Stubbs, C. W. Equivalence principle tests and new long-range forces. Annu. Rev. Astron. Astrophys.,59, 247–290, 2021. doi:10.1146/annurev-astro-111720-030007. [8] Alberte, L., Herrero-Valea, M., and Nicola, A. Equivalence principle on cosmological backgrounds in scalar–tensor theories. J. High Energy Phys.,07, 146, 2019. doi:10.1007/JHEP07(2019)146. [9] Feyerabend, P. Against Method: Outline of an Anarchistic Theory of Knowledge. New Left Books, London, 1975. 17