2586 — The Relative Euler Detector Is Universal Across Normalized Mellin Regulators
For a rapidly decaying regulator with , Mellin inversion of
has two decisive residues. The Euler pole produces the regulator-dependent boundary current
while the unit residue of at zero produces the universal constant term . Therefore
throughout the normalized Mellin regulator class, subject to the stated contour/asymptotic hypotheses.
Gaussian and ordinary exponential regulators have different divergent boundary coefficients but the same finite part. An unmatched subtraction or finite counterterm changes the detector and can manufacture a divisor.
Scope
This is a conditional regulator-universality theorem. It proves neither off-seam divisor avoidance/nonvanishing nor independence under arbitrary regularizations.
Durable verification
- Packet:
research/kitaev/theta-relative-detector-regulator-universality.md - Checker:
uv run --with sympy python research/kitaev/checkers/check_theta_regulator_universality.py - Result:
research/kitaev/results/theta-regulator-universality.json - SymPy preflight:
1.14.0. - Exact checker: exit code
0; both normalized Mellin residues equal1, and the Gaussian/exponential boundary-coefficient ratio ispi**(s/2 - 1/2). - Checker SHA-256:
67b339db2c79ca675e6df1ce8d098d3624b3d7a6ff5fde5ea865a1b4f4fdfe24. - Ledger allocation:
seqclaim-101eecf6757d2a5cf490b16c. - Epistemic graph results:
ev-000000003725-fbc3d734-8858-429d-83d6-7903c5663e47tomarici.Grothendieckandev-000000003726-8b1b4b5f-205d-47f9-95e2-2a16e34c1d4atomarici.Nima. - No Git command, site build, or KaTeX checker was run.
- Committed: no. Pushed: no.