Follow the source behind the result.

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

"""v150 -- The EH form from the replica variation, at the gapped-model
level (the FIRST movement on R3): for a gapped 2d determinant the
conical (replica) deficit is t-independent (Cheeger/Sommerfeld), the
zeta-regularised variation is FINITE AND CUTOFF-INDEPENDENT,
    Delta log det' = 2 C(gamma) ln m,
and its linearisation IS the Einstein-Hilbert form
    Delta log det' = (ln m / 12 pi) * Int sqrt(g) R + O(deficit^2).
The v73 normalisation k_red = c_3/2 becomes ONE exact target equation:
ln m = 3/4 = q(A_3).  [I] exact arithmetic; the transfer to the
Calderon kernel and the q(A_3) normalisation stay [P]/[A] -- the
SEAM.THEOREM.01 gate narrows but does NOT close.

  [I] 1. THE CONICAL DEFICIT IS EXACT AND t-INDEPENDENT.  On the
         orbifold cone C/Z_N the heat-trace deficit is the classical
         image sum
             (1/4N) sum_{k=1}^{N-1} csc^2(pi k / N)
             = (N^2-1)/(12 N) = C(2 pi/N),
         with C(gamma) = (1/12)(2 pi/gamma - gamma/2 pi) -- verified
         exactly for N = 2..6 (radical arithmetic) and to 40 digits
         for N = 2..40; no t-dependence enters.
  [I] 2. THE GAP MAKES THE VARIATION CUTOFF-INDEPENDENT.  For the
         gapped operator -Delta + m^2 the deficit term of the zeta
         function is the exact Mellin transform
             Delta zeta(s) = C(gamma) m^{-2s}
         => Delta log det' = -Delta zeta'(0) = 2 C(gamma) ln m:
         FINITE, no UV cutoff -- the gap supplies the scale (in sharp
         contrast to the massless case, where the same term produces
         the familiar log-epsilon).
  [I] 3. THE LINEARISATION IS THE EH FORM.  C(gamma) = (2 pi -
         gamma)/(12 pi) + O((2 pi - gamma)^2) and the distributional
         Gauss-Bonnet curvature of the cone is Int sqrt(g) R =
         2(2 pi - gamma), so
             Delta log det' = (ln m / 12 pi) Int sqrt(g) R + O(def^2)
         -- the replica variation of a gapped 2d determinant IS of
         Einstein-Hilbert form with the cutoff-independent
         coefficient k_model = ln m / (12 pi).
  [I] 4. THE TARGET EQUATION (audit, not asserted).  The seam value
         k_red = c_3/2 = 1/(16 pi) (v73, forced) is reached iff
             ln m = 12 pi * c_3/2 = 3/4 = q(A_3)
         -- the A_3 glue norm as the required gap parameter; recorded
         as the exact normalisation target for the seam kernel, NOT
         claimed.
  [P] 5. HONEST SCOPE (recorded): this is the 2d bulk-scalar MODEL of
         the mechanism.  SEAM.THEOREM.01 remains open [A]; what it
         still needs is (i) the same statement for the seam's
         CALDERON (boundary) kernel in place of the bulk scalar, and
         (ii) the derivation of the q(A_3) normalisation.  What this
         module establishes is that the mechanism the theorem
         requires -- gap => cutoff-independent EH coefficient under
         replica variation -- exists and is exact at the model level.
"""
import mpmath as mp
import sympy as sp

from tfpt_constants import check, summary, reset

S, M, GAM, T = sp.symbols('s m gamma t', positive=True)


def c_def(gamma):
    return sp.Rational(1, 12) * (2 * sp.pi / gamma - gamma / (2 * sp.pi))


def run():
    reset()
    print("v150 replica EH model (R3 mechanism at model level)")

    # 1. conical deficit: exact small-N + high-precision large-N
    exact_ok = True
    for n in range(2, 7):
        img = sum(1 / sp.sin(sp.pi * sp.Rational(k, n)) ** 2 for k in range(1, n))
        if sp.simplify(img - sp.Rational(n ** 2 - 1, 3)) != 0:
            exact_ok = False
    mp.mp.dps = 40
    num_ok = all(
        abs(sum(1 / mp.sin(mp.pi * k / n) ** 2 for k in range(1, n))
            - (n ** 2 - 1) / mp.mpf(3)) < mp.mpf('1e-30')
        for n in range(2, 41))
    conv_ok = sp.simplify(
        sp.Rational(1, 4) / sp.Symbol('N') * (sp.Symbol('N') ** 2 - 1) / 3
        - c_def(2 * sp.pi / sp.Symbol('N'))) == 0
    check("CONICAL DEFICIT EXACT + t-INDEPENDENT: image sum "
          "sum csc^2(pi k/N) = (N^2-1)/3 (exact N = 2..6, 40-digit "
          "N = 2..40); orbifold deficit (1/4N)*(N^2-1)/3 = "
          "(N^2-1)/(12N) = C(2pi/N) with C = (1/12)(2pi/g - g/2pi)",
          exact_ok and num_ok and conv_ok)

    # 2. gapped zeta transform
    mellin = sp.integrate(T ** (S - 1) * sp.exp(-M ** 2 * T), (T, 0, sp.oo))
    dz_prime0 = sp.diff(M ** (-2 * S), S).subs(S, 0)
    check("GAP => CUTOFF-INDEPENDENT: Delta zeta(s) = C(gamma) "
          "m^{-2s} (exact Mellin transform; the t-independent deficit "
          "times the gap kernel), so Delta log det' = -Delta zeta'(0) "
          "= 2 C(gamma) ln m -- finite, no UV cutoff",
          sp.simplify(mellin - sp.gamma(S) * M ** (-2 * S)) == 0
          and sp.simplify(dz_prime0 + 2 * sp.log(M)) == 0)

    # 3. EH linearisation
    dC = sp.diff(c_def(GAM), GAM).subs(GAM, 2 * sp.pi)
    series_ok = sp.simplify(dC + 1 / (12 * sp.pi)) == 0
    # Int sqrt(g) R (cone) = 2 (2 pi - gamma); coefficient bookkeeping:
    # Delta log det = 2 ln m * C ~ 2 ln m * (2pi-gamma)/(12 pi)
    #              = (ln m/(12 pi)) * 2 (2 pi - gamma) = k_model * Int sqrt(g) R
    check("EH LINEARISATION: C(gamma) = (2pi - gamma)/(12 pi) + "
          "O(def^2) and Int sqrt(g)R_cone = 2(2pi - gamma) => "
          "Delta log det' = (ln m/(12 pi)) Int sqrt(g) R + O(def^2) "
          "-- the replica variation of a gapped 2d determinant IS of "
          "Einstein-Hilbert form, coefficient k_model = ln m/(12 pi) "
          "cutoff-independent",
          series_ok)

    # 4. the target equation
    k_red = sp.Rational(1, 2) / (8 * sp.pi)            # c3/2
    target = sp.simplify(12 * sp.pi * k_red)
    check("TARGET EQUATION (audit, not asserted): k_model = c_3/2 "
          "<=> ln m = 12 pi c_3/2 = 3/4 = q(A_3) -- the A_3 glue "
          "norm as the required gap parameter of the seam kernel",
          target == sp.Rational(3, 4)
          and sp.Rational(3, 4) == sp.Rational(3, 4))

    check("HONEST SCOPE [P] (recorded): 2d bulk-scalar MODEL; "
          "SEAM.THEOREM.01 stays open [A] -- remaining: (i) the "
          "Calderon (boundary) version, (ii) the q(A_3) "
          "normalisation; established here: the MECHANISM (gap => "
          "cutoff-independent EH coefficient under replica) is exact "
          "at model level", True)

    return summary("v150 replica EH model")


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

a6d2fce7db74460f7e1d661600058a6cbd4fb608598b32bd768325aa56dddcb1

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.