Table of Contents
Fetching ...

The inverse loop transform

Thomas Thiemann

TL;DR

The paper addresses reconstructing a measure on the compact gauge-history space ${\overline {{\cal A}/{\cal G}}}$ from its loop-transform, the characteristic functional, by developing an inverse Fourier transform for compact groups. It introduces loop- and edge-network bases to express cylindrical measures and proves an inverse Fourier transform theorem using the heat-kernel as an approximate identity, enabling the explicit computation of finite joint distributions via $\frac{d\mu_\gamma}{d\mu_{0,\gamma}}=\sum_{\vec{\pi},\pi} \chi(\gamma,\vec{\pi},\pi) T_{\gamma,\vec{\pi},\pi}$. The framework is illustrated with examples including the vacuum measure, orbit-sum knot measures, and two-dimensional Yang–Mills characteristic functionals, yielding concrete densities and 1D distributions in terms of heat kernels with area. This provides a constructive bridge between abstract measure-theoretic descriptions in quantum gauge theory and computable discrete data, with potential impact on quantum gravity and diffeomorphism-invariant formulations.

Abstract

The loop transform in quantum gauge field theory can be recognized as the Fourier transform (or characteristic functional) of a measure on the space of generalized connections modulo gauge transformations. Since this space is a compact Hausdorff space, conversely, we know from the Riesz-Markov theorem that every positive linear functional on the space of continuous functions thereon qualifies as the loop transform of a regular Borel measure on the moduli space. In the present article we show how one can compute the finite joint distributions of a given characteristic functional, that is, we derive the inverse loop transform.

The inverse loop transform

TL;DR

The paper addresses reconstructing a measure on the compact gauge-history space from its loop-transform, the characteristic functional, by developing an inverse Fourier transform for compact groups. It introduces loop- and edge-network bases to express cylindrical measures and proves an inverse Fourier transform theorem using the heat-kernel as an approximate identity, enabling the explicit computation of finite joint distributions via . The framework is illustrated with examples including the vacuum measure, orbit-sum knot measures, and two-dimensional Yang–Mills characteristic functionals, yielding concrete densities and 1D distributions in terms of heat kernels with area. This provides a constructive bridge between abstract measure-theoretic descriptions in quantum gauge theory and computable discrete data, with potential impact on quantum gravity and diffeomorphism-invariant formulations.

Abstract

The loop transform in quantum gauge field theory can be recognized as the Fourier transform (or characteristic functional) of a measure on the space of generalized connections modulo gauge transformations. Since this space is a compact Hausdorff space, conversely, we know from the Riesz-Markov theorem that every positive linear functional on the space of continuous functions thereon qualifies as the loop transform of a regular Borel measure on the moduli space. In the present article we show how one can compute the finite joint distributions of a given characteristic functional, that is, we derive the inverse loop transform.

Paper Structure

This paper contains 7 sections, 6 theorems, 48 equations.

Key Result

Theorem 3.1

1) The functions $g\to\sqrt{d_\pi}\pi_{ij}(g),\;i,j=1,..,d_\pi$ form a complete and orthonormal system on $L_2(G,d\mu_H)$. 2) For any $f\in L_2(G,d\mu_H)$ it holds that $f=\tilde{f}$ in the sense of $L_2$ functions and the Fourier transform is a unitary map $\wedge\;:\;L_2(G,d\mu_H) \to\ell_2$.

Theorems & Definitions (11)

  • Definition 3.1
  • Definition 3.2
  • Theorem 3.1: Peter&Weyl
  • Theorem 3.2
  • Definition 3.3
  • Lemma 3.1
  • Definition 3.4
  • Lemma 3.2
  • Theorem 3.3
  • Definition A.1
  • ...and 1 more