Professional Documents
Culture Documents
Brenden McDearmon
January 15, 2023
1
dΨ(m) (λ + ) δS
Ψ̇(m) (λ) = |=0 = (Ψ) (λ) (2) dimension. For example, a system
(0)
consisting
(1)
d δπm of a complex scalar field φ = Ψ + iΨ and
dπ (s) (λ + ) ∂S
a u(1) gauge field A = Ψ(2) has m|p = 2
π̇ (s) (λ) = |=0 = − (λ) (3) and m|l = 1. The number of degrees of
d ∂s
freedom for the discretized fields is given by
ds(λ + ) ∂S
ṡ(λ) = |=0 = (λ) (4) the sum nf = m|p · np + m|l · nl + ... up to
d ∂π (s)
the dimension of the lattice K where np and
While many action functionals may be nl are, respectively, the number of points and
defined, those studied herein are of the form the number of links in the lattice.
S = s (S x − S 0 ) where S x and S 0 are defined Specializing to discrete variational actions
as follows. P P 1 πm (Ψ)
(x)
2
of the form S v = x m 2 k x s
" (Ψ)
πm
#
(π (s) )2 where kx is a constant for each type of
Sx = Sv + + ~ nf ln(s) + S m [Ψ(m) ] (5)
s 2ms lattice element x, the discretized variational
equations for the action functional S =
S 0 = S x |λ=0 (6) s (S x − S 0 ) defined above are given by the
∂S m
h (Ψ)
πm
i R 1
(Ψ)
πm
(Ψ)
πm following where E (m) (x, λ) = ∂Ψ (m) (x, λ)
Here, S v = M 2
M̂ dvol is
s s s denotes the discretized Euler-Lagrange
a variational action where M̂ is an invertable functional.
operator, and S m [Ψ(m) ] is a matter and gauge
(Ψ)
action. Because only discretized systems π̇m (x, λ) = −s(λ)E (m) (x, λ) (7)
will be considered in this article, nf is the (Ψ)
finite number of degrees of freedom for the (m) πm (x, λ)
Ψ̇ (x, λ) = kx (8)
discretized fields as defined below. s(λ)
π̇ (s) (λ) = 2S v − ~nf − S x − S 0
Discretization and Integration |λ (9)
Consider a regular, finite periodic lattice π (s) (λ)
K. Elements of the lattice include points p, ṡ(λ) = s(λ) (10)
ms
links l connecting nearest neighbor points, Notice that the variational equations
plaquettes, and so on up to the dimension conserve the total action (i.e. dS(λ+) |=0 = 0
d
of the lattice. Collectively, these various for all λ).
lattice elements are denoted by x ∈ K. The Once a point in the variational phase
(Ψ)
fields Ψ(m) and πm are real valued n-forms space is specified at λ = 0 (i.e. given a
which are discretized by evaluation on n- γ(0) ∈ Γ), the variational equations can be
dimensional elements of the lattice, and the numerically integrated with respect to λ to
index m is allowed to vary with the type provide a trajectory in phase space γ(λ) ∈ Γ
of lattice element x ∈ K. For example, a using a generalized leap-frog algorithm [23].
system consisting of a complex scalar field Briefly, the numerical integration proceeds by
φ = Ψ(0) + iΨ(1) is discretized by evaluation iteration of the following assignments using a
at each point φ(p) and the index m at each step size ∆λ.
point p is 2 (i.e. m|p = 2). Similarly, a system
(Ψ) (Ψ)
consisting of a u(1) gauge field A = Ψ(0) can 1. πm (x, λ+0.5∆λ) = πm (x, λ)−0.5s(λ)E (m) (x, λ)∆λ
for each x and m.
be discretized by assigning a real number to
2. π (s) (λ + 0.5∆λ) = √ −2c
each link so that the index m at each link is
1+ (1−c∆λ/ms )
2
∆λπ (s) (λ+0.5∆λ)
3. s(λ + ∆λ) = s(λ)
1+ 2ms With this change of variables, integration
∆λπ (s) (λ+0.5∆λ)
1− 2ms over the Dirac delta function with respect
4. Ψ(m) (x,λ + ∆λ) = Ψ
(Ψ)
(m) (x, λ) + 0.5π
m (x, λ +
to s can be performed using the identity
δ[f (s−s0 )]
d
δ [f (s)] = , where s0 is the isolated
1 1
0.5∆λ) + ∆λ for each x and m. df
s(λ+∆λ) s(λ) ds ( ds |(s0 ) )
zero of S with respect to s.
5. π (s) (λ + ∆λ) = (s)
π (λ + 0.5∆λ) +
0.5∆λ 2S v − nf ~ − S x + S 0
(Ψ)
where S v and S x are evaluated with πm (x, λ + (Ψ) (π (s) )2
s0 = exp − S v [π̃m ] + + S m [Ψ(j) ] − S 0 /(~nf )
0.5∆λ), π (s) (λ + 0.5∆λ), s(λ + ∆λ), and Ψ(m) (x, λ + 2ms
∆λ). (14)
By the
assumption
of ergodicity,
dΓ̃ = snf ds dπ (s) D π̃ (Ψ) D [Ψ] . (13) O Ψ(m) λ = O Ψ(m) Γ .
2
Here,“observables” refer to Euclidean observables. Relativistic quantum observables may be constructed
based on the Osterwalder-Schrader procedure [1][2][3][5][6].
3
Examples points in the lattice, decreasing the step size
In each of the following examples, a ∆λ, increasing the total number of steps,
regular periodic lattice of N = 10 × 10 × and further optimizing the “equilibration”
10 × 10 points p having a lattice spacing of procedure.
1 was used. Complex scalar fields defined
as φ = Ψ(0) + iΨ(1) were assigned to the 1. Complex Scalar Field With Quadratic
points of the lattice and were initilized with Potential
Ψ(m) = 0 for Example 1 and Ψ(0) =
In this example, the complex free
1 and Ψ(1) = 0 for Examples 2 and
(Ψ) (Ψ) scalar field was simulated
R 1 using a lattice
4, respectively. The fields π0 and π0
discretization of S = M 2 ∂µ φ∂ φ̄+ 21 φφ̄ d4 x
m µ
variationally conjugate to Ψ(0) and Ψ(1) ,
given by the following.
respectively, were initialized with a random
(Ψ)
configuration with each πm (p) randomly
N −1 1 X3
selected from a uniform distribution ranging X X 1 (m) 2
Sm = Ψ (p + µk ) − Ψ(m) (p)
2
from -1.75 to 1.75. The U(1) gauge field was p=0 j=0 k=0
! (19)
treated at the Lie algebra level by assigning +
1
Ψ(m) (p)
2
2
a real number to each link l in the lattice.
For clarity, the Lie algebra element at a link Here, µk with k = 0, 1, 2, or 3 are the
will be denoted by A(l) = Ψ(m) (l), and the four unit lattice vectors. Overall, the system
variational conjugate field will be denoted by is described by the following extended action
π (A) (l) for some m depending on the example. functional with nf = 2N .
Each A(l) was initialized at 0 and each π (A) (l)
was initialized by randomly selecting from a " N −1
1 X (Ψ) 2 (Ψ) 2
uniform distribution ranging from -1.75 to S=s 2
2s p=0
π0 (p) + π1 (p)
1.75. For every example, s was initialized at 2 # (20)
π (s)
1, π (s) was initialized at 0, ~ was set equal to + + nf ~ ln(s) + S m − S 0
2ms
1, and ms was set equal to 0.5nf .
Once an initial configuration was The variational dynamics was then
established, each example was numerically numerically integrated with respect to λ,
integrated with respect to λ using the explicit and the resulting development of the system
leap-frog algorithm provided by Bond, was stable over the total number of steps
Leimkuhler, and Laird [23] and step size of observed.
∆λ = 0.01. Each system was “equilibrated” Figure 1 shows the development of the
by stepping the system forward for 250,000
h (Ψ) i
v πm
variational action S s
(A), the matter
steps. After this “equilibration,” the system
was further numerically integrated with action S m Ψ(m) (B), the global real-valued
x 0
respect to λ for an additional 1,000,000 steps, scalar s (C), and the error term S S−S 0 · 100%.
during which data was collected. Field correlations between nearby points
<[hφ(0)φ̄(0+nµ0 )i ]
The results provided in the examples are were calculated as λ
where <
hφ(0)φ(0)iλ
not intended to be quantitatively accurate. denotes the real part and µ0 is the unit lattice
Rather, the results demonstrate the proof- vector in the 0 direction. As depicted in figure
of-concept use of variational dynamics for 2A, there is a small short range correlation
Euclidean quantum field theory calculations. which rapidly decays to near zero.
Improved quantitative results could be
provided by, e.g., increasing the number of
4
Figure 1: Numerical results for Example 1 with S v (A), S m (B), s (C), and the percent error
for the system (D) as a function of integration steps along λ.
2. Complex Scalar Field With Quartic 2B, the system with the quartic potential
Potential appears to have longer range correlations
than the system with the quadratic potential.
A complex scalar field was simulated It was not determined whether these observed
similarly as in Example 1 except a lattice differences are statistically significant.
discretization of a Rquartic matter action
1
given by S m = ∂ φ∂ µ φ̄ − 12 φφ̄ + 3. U(1) Gauge Field
M 2 µ
1
2
4
φφ̄ d4 x was used. The resulting system U(1) gauge fields were treated at the Lie
development was stable over the total number algebra level by assigning a real number A(l)
of steps observed as seen in Figure A1 of to each link l in the lattice.
the appendix. Comparing Figures 2A and
5
Figure 2: Field correlations between nearby points for a system having a complex scalar field
φ with a quadratic potential (A) and quartic potential (B).
The field strength term Fjk (p) assigned Here, nf = 4N and the matter action
to each plaquette based at point p was S m [A] and the gauge fixing term S gf [A] are
calculated as Fjk (p) = A(l{p,p+µj } ) + described above.
A(l{p+µj ,p+µj +νk } ) − A(l{p+µj +νk ,p+νk } −
A(l{p+νk ,p} ) where µj and νk are unit lattice
vectors in the j and k directions respectively.
The matter action was calculated as S m =
P N −1 P 3 P 3 1 2
p=0 k=j+1 j=0 2 (Fjk (p)) . Since the
matter action has a gauge degree of freedom
where S m [A + dα] = S m [A] for any real
valued scalar field α, a gauge fixing term
given by S gf was included. PN −1Here, the gauge
1 ∗ 2
fixing term S gf = p=0 2 (d A) (p) =
PN −1 P3 1 2
p=0 j=0 2 A(l {p,p+µj } ) − A(l {p,p−µ j } ) ,
where d∗ denotes the lattice exterior
derivative, was used. A similar non-compact
U(1) gauge theory formulation has been
Figure 3: Field strength correlations between
shown by Balaban, Imbrie, and Jaffe to be
nearby plaquettes for a system with a U(1)
equivalent to the more traditional compact
gauge field.
formulation where an element of the Lie
group is assigned to each link [25]. The variational dynamics of this system
This system was described by the was simulated, and the resulting system
extended action functional S = s (S x − S 0 ) development was stable over the total number
where of steps observed as seen in Figure A2 of
the appendix. Correlations between the field
Sx = strength at different plaquettes is depicted in
4N −1
1 X (A) 2 π (s)
2 Figure 3. Interestingly, plaquettes sharing a
π (l) + + nf ~ ln(s) + S m [A] + S gf [A]. common link had a slight positive correlation
2s2 l=0 2ms
(21) in field strength whereas plaquettes sharing
6
only a single common point had a slight
negative correlation.
Sv =
N −1 4N −1
1 X (Ψ) 2 (Ψ) 2 X
(A)
2
π0 (p) + π1 (p) + π (l)
2s2 p=0 l=0
(23)
7
path integral. As such, this provides a new Author Contact Information
method for performing Euclidean quantum Brenden.McDearmon@gmail.com
field theory calculations. Verification of
References
the accuracy, and assumed ergodicity, of
[1] Gert Roepstorff. Path integral approach
this new technique should be conducted
to quantum physics: an introduction.
by, e.g., comparing these results to field
Springer Science & Business Media,
configurations generated using traditional
2012.
Monte Carlo methods.
[2] István Montvay and Gernot Münster.
One advantage variational dynamics may
Quantum fields on a lattice. Cambridge
have over Monte Carlo methods is the
University Press, 1994.
availability of new analytical techniques
which make use of correlations with respect to [3] James Glimm and Arthur Jaffe.
the variational parameter. For example, one Quantum physics: a functional integral
could consider various correlation functions point of view. Springer Science &
with respect to h λ given iby C A,B (λ̃) = Business Media, 2012.
RΛ
limΛ→∞ 0 OA Ψ(m) (λ − λ̃) OB Ψ(m) (λ) dλ.
[4] Raymond Frederick Streater and
In statistical mechanics, analogous Arthur S Wightman. PCT, spin and
correlation functions, and their Fourier statistics, and all that, volume 52.
transforms, are used extensively to relate Princeton University Press, 2000.
dynamical properties of a system to
equilibrium properties [26][27]. It would [5] Konrad Osterwalder and Robert
be interesting to similarly apply these Schrader. Axioms for euclidean
fluctuation-dissipation theorems to systems green’s functions. Communications in
undergoing variational dynamics. mathematical physics, 31(2):83–112,
1973.
Because Euclidean path integrals can
be used to construct relativistic n-point [6] Konrad Osterwalder and Robert
correlation functions, variational dynamics Schrader. Axioms for euclidean green’s
may prove useful in further studying functions ii. Communications in
relativistic quantum field theory. For Mathematical Physics, 42(3):281–305,
example, it may be interesting in future 1975.
studies to determine whether λ-dependent
aspects of variational dynamics can be [7] Kei-ichi KONDO. Constructive
preserved under the Osterwalder-Schrader quantum field theories via lattice
mapping so that a form of variational regularizations and critical phenomena
dynamics could be constructed directly on in statistical mechanics: Part i.
Minkowski space or an appropriate quantum Soryushiron Kenkyu Electronics,
Hilbert space. Such developments may be 70(2):11–175, 1984.
useful in determining whether variational [8] J Frohlich. Schwinger functions and
dynamics offers merely a new and useful tool their generating functionals, i. 1974.
for calculating Euclidean field configurations
or whether this approach can provide further [9] Jürg Fröhlich. Schwinger functions
insight into the nature of quantum theory and their generating functionals.
itself. ii. markovian and generalized path
8
space measures on j. Advances in [19] Shuichi Nose. A unified formulation
Mathematics, 23(2):119–180, 1977. of the constant temperature molecular
dynamics methods. The Journal of
[10] J-P Eckmann and Henri Epstein. chemical physics, 81(1):511–519, 1984.
Time-ordered products and schwinger
functions. Communications in [20] William G Hoover. Canonical dynamics:
Mathematical Physics, 64(2):95–130, Equilibrium phase-space distributions.
1979. Physical review A, 31(3):1695, 1985.
[11] Julian Schwinger. On the euclidean [21] Hans C Andersen. Molecular dynamics
structure of relativistic field theory. simulations at constant pressure and/or
Proceedings of the National Academy of temperature. The Journal of chemical
Sciences, 44(9):956–965, 1958. physics, 72(4):2384–2393, 1980.
[12] Res Jost. The general theory of [22] Tahir Cagin and B Montgomery Pettitt.
quantized fields. Number 4. American Molecular dynamics with a variable
Mathematical Society, 1965. number of molecules. Molecular physics,
72(1):169–175, 1991.
[13] Poul H Damgaard and Helmuth Huffel.
Stochastic quantization. Physics [23] Stephen D Bond, Benedict J
Reports, 152(5-6):227–398, 1987. Leimkuhler, and Brian B Laird.
The nose-poincare method for constant
[14] Edward Nelson. Derivation of the temperature molecular dynamics.
schrödinger equation from newtonian Journal of Computational Physics,
mechanics. Physical review, 150(4):1079, 151(1):114–134, 1999.
1966.
[24] Jess B Sturgeon and Brian B Laird.
[15] GG Batrouni, GR Katz, Andreas S Symplectic algorithm for constant-
Kronfeld, GP Lepage, B Svetitsky, and pressure molecular dynamics using a
KG Wilson. Langevin simulations of nose–poincare thermostat. The Journal
lattice field theories. Physical Review D, of Chemical Physics, 112(8):3474–3482,
32(10):2736, 1985. 2000.
[16] J Berges, Sz Borsanyi, D Sexty, and I-O [25] Tadeusz Balaban, John Imbrie, Arthur
Stamatescu. Lattice simulations of real- Jaffe, and David Brydges. The mass gap
time quantum fields. Physical Review D, for higgs models on a unit lattice. Annals
75(4):045007, 2007. of physics, 158(2):281–319, 1984.
9
Appendix to Euclidean Quantum Field Theory from Variational
Dynamics
Brenden McDearmon
January 15, 2023
Figure A1: Numerical results with S v (A), S m (B), s (C), and the percent error for the
system (D) as a function of integration steps along λ for Example 2 having a complex scalar
field φ with a quartic potential
A1
Figure A2: Numerical results with S v (A), S m (B), S gf (C), s (D), and the percent error for
the system (E) as a function of integration
P −1 1 steps along λ for Example 3 having a U(1) gauge
field with gauge fixing term S gf = N p=0 2 (d∗
A)2
(p).
A2
Figure A3: Numerical results with S v (A), S m (B), S gf (C), s (D), and the percent error for
the system (E) as a function of integration
PN −1 steps along λ for Example 4 having a U(1) gauge
field with gauge fixing term S = p=0 2 (d A)2 (p) coupled to a complex scalar field φ
gf 1 ∗
A3