Registry · Definition V.D68 tau-effective formalized

V.D68 — GR tension functional

The GR tension functional T[chi] = sum_{n >= n_0} iota_tau^n ||G_omega(chi)|_n - G_omega(chi_flat)|_n||_n^2 measures the total deviation of a configuration from the flat torus vacuum, weighted by iota_tau^n at each orbit depth.

Book V Part 2 Ch. 17

Dependency Graph

Depends on (2)

Depended on by (6)

Lean Formalization

Module: TauLib.BookV.GravityField.TOVStarBuilder

Symbol: Tau.BookV.GravityField.GrTensionFunctional