Quantcast
  • Register
PhysicsOverflow is a next-generation academic platform for physicists and astronomers, including a community peer review system and a postgraduate-level discussion forum analogous to MathOverflow.

Welcome to PhysicsOverflow! PhysicsOverflow is an open platform for community peer review and graduate-level Physics discussion.

Please help promote PhysicsOverflow ads elsewhere if you like it.

News

PO is now at the Physics Department of Bielefeld University!

New printer friendly PO pages!

Migration to Bielefeld University was successful!

Please vote for this year's PhysicsOverflow ads!

Please do help out in categorising submissions. Submit a paper to PhysicsOverflow!

... see more

Tools for paper authors

Submit paper
Claim Paper Authorship

Tools for SE users

Search User
Reclaim SE Account
Request Account Merger
Nativise imported posts
Claim post (deleted users)
Import SE post

Users whose questions have been imported from Physics Stack Exchange, Theoretical Physics Stack Exchange, or any other Stack Exchange site are kindly requested to reclaim their account and not to register as a new user.

Public \(\beta\) tools

Report a bug with a feature
Request a new functionality
404 page design
Send feedback

Attributions

(propose a free ad)

Site Statistics

205 submissions , 163 unreviewed
5,047 questions , 2,200 unanswered
5,345 answers , 22,709 comments
1,470 users with positive rep
816 active unimported users
More ...

  Functionals of quantum states in QFT

+ 5 like - 0 dislike
4132 views

Almost every book and article I can think of represents states of QFT using the Heisenberg picture of Hilbert space vectors, but Visser in "Lorentzian wormholes" does mention that you can also represent them as a functional.

It is very briefly mentionned, and he does not mention any sources for it, just the result :

$\Psi_0[t, \Phi(\vec{x})] \propto e^{-\frac{1}{2\hbar c}\int d^3x\Phi(\vec{x}) \sqrt{-\nabla^2} \Phi(\vec{x})} e^{-\frac{i}{\hbar}E_0t}$

With $\sqrt{-\nabla^2}$ some pseudodifferential operator.

Is there any source, book or otherwise, that expands on this topic?

This post imported from StackExchange Physics at 2014-08-11 14:57 (UCT), posted by SE-user Slereah
asked Jan 9, 2014 in Theoretical Physics by Slereah (540 points) [ no revision ]
retagged Aug 11, 2014
It would be polite to say explicitly what $\Psi_0$ is.

This post imported from StackExchange Physics at 2014-08-11 14:57 (UCT), posted by SE-user user1504
$\Psi_0$ is the ground state wave function of a free scalar field.

This post imported from StackExchange Physics at 2014-08-11 14:57 (UCT), posted by SE-user Slereah
The ground state wave functionals (GSWF) are useful for free fields as they are Gaussian. I am not sure the wave functional approach is useful for interacting theory (as a matter of fact, I think the regularization could be a problem in the interacting case). IRCC, there is an exercise problem in Srednicki's book in which you are asked to derive the GSWF for free scalar theory. In the same vein, you can derive the GSWF for other kinds of free theories. Unfortunately I am not aware of any reference for this particular topic.

This post imported from StackExchange Physics at 2014-08-11 14:57 (UCT), posted by SE-user Isidore Seville
While it is not exactly what you are searching, there is an interesting discussion here, see for instance chapter $5.3$ (Quantum field theory) page $132$ (the formula $5.128$ page $137$ is interesting)

This post imported from StackExchange Physics at 2014-08-11 14:57 (UCT), posted by SE-user Trimok

2 Answers

+ 5 like - 0 dislike

It's very simple to write down the ground state wave-functional for any free field, and to give it a completely satisfying quasi-rigorous meaning (you will see what I mean by quasi-rigorous). You have to start with the ground state wavefunction for the Harmonic oscillator:

$$\psi(x) = C e^{-\omega {x^2 \over 2}} $$

Where C is a normalizing constant. Then note that each k-mode of a free bosonic field theory (or any mode in curved space) is a Harmonic oscillator, so that it's ground state is an independent Gaussian. The ground state wavefunction is therefore the product over all k of the

$$ \psi(\phi) = C \prod_k e^{-\omega(k) {\phi(k)^2\over 2} \epsilon^3} $$

Which, when you multiply it out (meaning turn the product into a sum in the exponent), becomes the formula in question, Fourier transformed. The $\epsilon^3$ is defining the scale of normalization of the fluctuations of the field mode, it is the size of k-steps, or the volume of space, and it reproduces the integral when you turn the multiplication into a sum.

It is best to say that the integral in the exponent is not really a single integral, because the square root of a differential operator is not a local operator. The ground state wavefunctional does not consist of locally independent fluctuations, but of independent fluctuations at each separate k (or each separate mode).

The quasi-rigorous interpretation associates a constructed measure to this as follows--- to take a statistical sample from a free field theory, simply select a Gaussian random number for each k mode of the appropriate variance, and Fourier transform the random numbers. This produces a sampled distribution $\phi$ in the ground state of the Euclidean continuum field theory. It's a distribution because the variances don't get small very fast at large k.

This is a well-defined randomized computational procedure which produces a mathematical object whose statistics converges in the limit that the random reals you choose are chosen to more precision, and the number of modes simultaneously goes to infinity. There is no problem with either limit, the resulting random picks for $\phi$ converge in distribution to the correct thing.

But because this construction, no matter how concrete, involves picking random real numbers, actually infinitely many, it is not allowed as it stands as a rigorous construction, because modern mathematics does not allow you to speak about picking random numbers freely, because it is not true that every set of real numbers is measurable in standard axiomatizations.

This is why this construction is quasi-rigorous and not rigorous. Usually, when something is not rigorous, this is the fault of the thing. In this case, it is the fault of the axiomatization we use to define rigorous. There is nothing wrong with this definition of free fields, and the headaches in making it formal are simply due to bad foundations for statistics. In a universe where every set of R is measurable, you just say you have described the ground state wavefunction by the above randomized algorithm.

This complete description of the ground state of field theory has been used in several places, most recently in quantum information theoretic analysis of the entanglement content of a quantum field vacuum. There are many references in the last 5 years.

I should also say that you can do the same thing for pure U(1) gauge theory, pure electrodynamics, it is also a free field theory. In this case, the vacuum functional depends on the gauge and you are best off doing it in Dirac gauge, where the independent oscillators are physical.

The interacting analog of the vacuum gauge functional is any convergent stochastic algorithm for sampling distributions from the ground state of the interacting theory, in an infinite limit analogous to "picking more modes" in the free field theory. For example, in pure gauge theory, the algorithm which produces an equilibrated configuration on a lattice, in the limit that the lattice is tiny. This vacuum functional encodes all the information about the correlation functions, so describing it explicitly is out of the question in a field theory that is not exactly integrable.

answered Aug 12, 2014 by Ron Maimon (7,720 points) [ revision history ]
edited Aug 12, 2014 by Ron Maimon
+ 3 like - 0 dislike

This is the representation of the ground state in the functional Schroedinger picture, in which states of a QFT are treated as functionals of the field coordinates in the same way as states in QM are treated as functions of the position coordinates. A thorough discussion of  the functional Schroedinger picture is in the article by Jackiw,  Analysis on infinite dimensional manifolds: Schrodinger representation for quantized fields (p.78-143 of the linked document).

answered Aug 12, 2014 by Arnold Neumaier (15,787 points) [ revision history ]
edited Oct 10, 2017 by Arnold Neumaier

Your answer

Please use answers only to (at least partly) answer questions. To comment, discuss, or ask for clarification, leave a comment instead.
To mask links under text, please type your text, highlight it, and click the "link" button. You can then enter your link URL.
Please consult the FAQ for as to how to format your post.
This is the answer box; if you want to write a comment instead, please use the 'add comment' button.
Live preview (may slow down editor)   Preview
Your name to display (optional):
Privacy: Your email address will only be used for sending these notifications.
Anti-spam verification:
If you are a human please identify the position of the character covered by the symbol $\varnothing$ in the following word:
p$\hbar$ysicsOve$\varnothing$flow
Then drag the red bullet below over the corresponding character of our banner. When you drop it there, the bullet changes to green (on slow internet connections after a few seconds).
Please complete the anti-spam verification




user contributions licensed under cc by-sa 3.0 with attribution required

Your rights
...