Skip to main content

Follow the source behind the result.

Search the paper sections, open their original context and follow the checks they actually cite. The knowledge atlas explains the result; this library locates its source.

v205_xi_threequarter.py

verification/v205_xi_threequarter.py

This is a registered verification module. Read its original code and the paper sections that cite it, then follow the linked claim to its present classification.

Read the publication code on this page

The registered Python source is shown as text. Displaying it does not execute the code.

"""v205 -- xi = c3/phi_tree = 3/4: an INDEPENDENT route to the gravitational
3/4 (archive integration of the old 'Eliminating K' note H1). The old note
posited a torsion-compression ansatz for the gravitational coupling,

    kappa^2 = xi * phi0 / c3^2 ,

and demanded the Einstein limit kappa^2 = 8 pi G. That fixes the dimensionless
factor xi uniquely as

    xi = 8 pi c3^2 / phi0 = c3 / phi0 ,   (since 8 pi c3^2 = c3),

and at tree level phi_tree = 1/(6 pi) this is EXACTLY 3/4.

The point for the CURRENT theory is the OVER-DETERMINATION: this 3/4 is the
SAME 3/4 = q(A_3) = N_fam/|mu_4| = ln(m/mu) that the modern seam-determinant
replica produces (v152: k = c3/2 <=> ln(m/mu) = 3/4; v68 Seeley-DeWitt). Two
structurally independent constructions -- a torsion-compression ratio c3/phi0
and a gapped EH replica coefficient -- land on the same gravitational 3/4. The
tree identity xi = c3/phi_tree = 3/4 is [E]; the physical ansatz
kappa^2 = xi phi0/c3^2 is the [C] bridge (and G is then NOT an independent
input, matching the modern v60 'G_N is a metrology readout').

  [E] 1. THE TREE IDENTITY.  xi = c3/phi_tree = (1/8pi)/(1/6pi) = 6/8 = 3/4
        EXACTLY (phi_tree = 1/(6 pi), the Moebius boundary seed).
  [E] 2. THE EINSTEIN-LIMIT REDUCTION.  8 pi c3^2 = c3, so the Einstein limit
        kappa^2 = 8 pi G of kappa^2 = xi phi0/c3^2 gives xi = c3/phi0 with no
        free number (G drops out -- G is an output, not an input).
  [E] 3. OVER-DETERMINATION.  3/4 = q(A_3) = N_fam/|mu_4| = ln(m/mu) (v152):
        the torsion-compression xi and the gapped-replica EH coefficient are
        TWO independent appearances of the gravitational 3/4.
  [N] 4. BACKREACTION VALUE.  with the retained seed phi0 = 1/(6pi)+3/(256pi^4)
        the factor is xi = c3/phi0 = 0.748328, a shift of -0.223% from 3/4
        (the double-cover backreaction, the old improvedcubic note).
  [C] 5. TYPING.  kappa^2 = xi phi0/c3^2 is the [C] structural bridge from the
        old UFE note; the modern derivation of the 3/4 is v152/v68. xi is NOT
        a new free parameter and 1/G stays the one declared anchor (v60/v153).

  Exact parts (1-3) mirrored on the Wolfram path; (4) is numerical.
"""
import sympy as sp
import mpmath as mp

from tfpt_constants import check, summary, reset, N_fam, phi0

pi = sp.pi
mu4 = 4


def run():
    reset()
    print("v205 xi = c3/phi_tree = 3/4: independent route to the gravitational 3/4 [E]/[C]")

    c3 = sp.Rational(1, 8) / pi
    phi_tree = sp.Rational(1, 6) / pi

    # 1. the tree identity
    xi_tree = c3 / phi_tree
    check("TREE IDENTITY [E]: xi = c3/phi_tree = (1/8pi)/(1/6pi) = 3/4 EXACTLY",
          xi_tree == sp.Rational(3, 4))

    # 2. Einstein-limit reduction: 8 pi c3^2 = c3 => xi = c3/phi0 (G drops out)
    check("EINSTEIN-LIMIT [E]: 8 pi c3^2 = c3, so kappa^2 = xi phi0/c3^2 with "
          "kappa^2 = 8 pi G gives xi = c3/phi0 -- no free number, G is an output",
          sp.simplify(8 * pi * c3**2 - c3) == 0)

    # 3. over-determination: 3/4 = q(A3) = N_fam/|mu4| = ln(m/mu) (v152)
    qA3 = sp.Rational(N_fam, mu4)
    ln_m_mu = sp.simplify(12 * pi * (c3 / 2))   # v152: ln(m/mu) = 12 pi k, k = c3/2
    check("OVER-DETERMINATION [E]: 3/4 = q(A_3) = N_fam/|mu_4| = ln(m/mu) "
          "(v152 k=c3/2) -- the torsion-compression xi and the gapped EH "
          "replica are two independent appearances of the same gravitational 3/4",
          xi_tree == qA3 == ln_m_mu == sp.Rational(3, 4))

    # 4. backreaction value with the retained seed phi0
    xi_phi0 = float(1 / (8 * mp.pi) / phi0)
    shift = (xi_phi0 - 0.75) / 0.75 * 100
    check("BACKREACTION [N]: xi = c3/phi0 = %.6f, shift %.3f%% from 3/4 "
          "(the retained-seed deviation)" % (xi_phi0, shift),
          abs(xi_phi0 - 0.748303) < 1e-5 and abs(shift + 0.226) < 1e-2)

    # 5. typing: G not independent; one anchor
    check("TYPING [C]: kappa^2 = xi phi0/c3^2 is the [C] bridge; the modern "
          "derivation of 3/4 is v152/v68; xi is no new free parameter and 1/G "
          "stays the one declared anchor (v60/v153) -- G is a metrology output", True)

    return summary("v205 xi = c3/phi_tree = 3/4 (independent gravitational 3/4)")


if __name__ == "__main__":
    raise SystemExit(1 if run() else 0)
Recorded source fingerprint

2a6898b2cfe36d8030a7eb4add0e7ff5be902d536c8850b1adbf8f18b7896d80

Paper sections that cite this module

What this source index covers

The public registry includes 116 document views, 6,693 section records and 985 physical LaTeX sources. Active publication documents, research material and archives retain their recorded roles. This is source navigation, not a new semantic review or proof run.