Physics Asked by Prof. Legolasov on March 2, 2021
I’m trying to prove that the Wilson loop operator is well-defined in non-interacting quantum electrodynamics without matter, that is, $hat{W}(gamma)$ is a bounded operator on the Hilbert space.
Since the Wilson loop is an exponentiation
$$ W(gamma) = exp intop_{gamma} A_{mu} dx^{mu}, $$
and an exponential of a bounded operator is bounded, if I can prove that
$$ intop_{gamma} A_{mu} dx^{mu} $$
is bounded then I’m done.
However, I don’t see how to show that.
In a typical Wightman QFT, quantum fields are linear functions from test functions on space-time to bounded operators on the Hilbert space. So for all rapidly decaying $f^{mu}(x)$,
$$ int d^4 x A_{mu}(x) f^{mu}(x) $$
is a bounded operator on the Hilbert space. There certainly exist deformations $f^{mu}(x, varepsilon)$ that approach a loop $gamma$ in the $varepsilon rightarrow 0$ limit, so maybe the Wilson loop operator can be defined as the limit of
$$hat{W}(gamma) = exp lim_{epsilon rightarrow 0} hat{A}(f^{mu}(x, varepsilon)), $$
however, a limit of bounded operators is not necessarily bounded.
How can I prove that the Wilson loop operator is bounded?
Answered by user142288 on March 2, 2021
I think the approach you suggest in the question is probably doomed. Classically, the Wilson loop is the imaginary exponential $W_gamma(A) = e^{i int _gamma A}$. The map $xmapsto e^{ix}$ is bounded on the reals and holomorphic, so if you had a hermitian operator $A$, you'd be all set. But those operators don't exist in the quantum theory. (As an aside, if they did, there's no way they'd be bounded. They're going to get contributions from the large-field regions.)
What one can do rigorously is define the Maxwell theory via the generating function of expectation values of curvatures:
$$Z(h) = exp(-frac{1}{2} langle Delta^{-1} delta h, delta hrangle)$$
Here $Delta$ is the Laplacian on $1$-forms, $delta$ is the Hodge adjoint to the exterior derivative, and $h$ is a smooth, rapidly-decaying 2-form, the test function paired with the curvature $F_A$.
I'm going off memory here, so I've probably dropped some factors. But this generating function is a rigorous version of the generating functional $int e^{i langle A, dh rangle} e^{-frac{1}{4}||F_A||^2}dA$. You should think that $dh = J$ is the 3-form conserved current that naturally pairs with the connection $A$. Via the Bochner-Minlos theorem, it defines a Gaussian measure $dmu([A])$ on the linear dual of the space of smooth conserved currents $J$. The moments of this measure are Schwinger functions of the smeared curvature operators, e.g., $$int dx f(x)frac{d Z}{d h(x)} = E[F_A(f)],$$ for any reasonable test function $f in Omega^2$.
Osterwalder-Schrader applies, allowing one to interpet these Schwinger functions as operators on a Hilbert space. Then one can define the Wilson loop operator via area integral $W_gamma = exp(iint_R F_A)$ for some region $R$ bounded by your loop $gamma$. Then the reasoning from the first paragraph applies: This is a bounded function of a real (but probably unbounded) observable.
Answered by user1504 on March 2, 2021
Get help from others!
Recent Questions
Recent Answers
© 2024 TransWikia.com. All rights reserved. Sites we Love: PCI Database, UKBizDB, Menu Kuliner, Sharing RPP