13

I went through several books regarding zero dimensional path integral formulation. Can anyone please explain it to me what is that more physically. I read in the book that the formulation in 0+0D made the Feynman path integral calculation much easier. Why are we even considering zero dimension concept?

Qmechanic
  • 201,751
  • 5
    The zero dimensional path integral is like a playground, where you can exploreore complicated topics (gauge theory, topological QFT, supersymmetry, etc.), without getting bogged down in the messiness that higher-dimensional QFTs offer. I'm not sure if it has physical meaning or applications, it's just a simplified version of a harder physical theory that still lets you study the important features. – Bob Knighton Nov 03 '17 at 13:52
  • Means is it just for the sake of mathematical calculation? What I understood was that the whatever frame we would be considering for these fields are reduced to zero dimension. Please make it further clear. Like zero dimension means here as 0 in (spacetime) or 0 in (space -time) – Jyotsna Sharma Nov 03 '17 at 14:01
  • For 0+1 dimensional case you can look at very pedagogical paper found at https://authors.library.caltech.edu/8383/1/BOOejp07b.pdf. I don't quite understand what you mean by 0+0 dimensional field theory. Do you consider discrete state system evolving in discrete time as 0+0 dimensional field theory? – Sunyam Nov 03 '17 at 14:40
  • you could refer first few chapters of "R. Kleiss - Quantum Field Theory_ A Diagrammatic Approach" for mathematical treatment. But it's more of a toy model to learn about tools we have in QFT in simpler manner. – Chandra Prakash Dec 03 '23 at 14:45

2 Answers2

22

Zero-dimensional quantum field theory is exactly like a standard quantum field theory, except that the background spacetime is exactly one point.

Consider, for a moment, a $d$-dimensional QFT defined by a partition functional (in the Euclidean signature)

$$\mathcal{Z}[J]=\int\mathcal{D}\phi\,e^{-S[\phi,J]},$$

where $\phi$ is a placeholder for all fields and $J$ is a placeholder for all of the currents. Varying $\mathcal{Z}$ with respect to $J$ gives a way to calculate correlation functions.

Now, a zero-dimensional QFT is formulated in the same light, but, since the fields don't vary with position (since there is no position with which to vary), the path integral simply becomes a regular integral:

$$\mathcal{Z}(J)=\int_{-\infty}^{\infty}\mathrm{d}\phi\,e^{-S(\phi,J)}.$$

In this light, $\mathcal{Z}$ is a function of a variable $J$ and $S$ is a function of $\phi$ and $J$, not a functional.

Why is this even a useful thing to define? The biggest use is being able to study properties of QFTs without the extra complications of having to work with multiple dimensions. For instance, consider a zero-dimensional QFT, whose action is given by

$$S(\phi)=\frac{1}{2}m^2\phi^2+\frac{\lambda}{4}\phi^4.$$

This is just a zero-dimensional analogue of $\phi^4$ theory that we're all used to studying. Let's say I want to compute the four-point function

$$\langle\phi^4\rangle=\frac{1}{\mathcal{Z}}\int_{-\infty}^{\infty}\mathrm{d}\phi\,\phi^4\,\exp\left(-\frac{1}{2}m^2\phi^2-\frac{\lambda}{4}\phi^4\right).$$

Expanding the exponential in both the numerator and denominator, we find that $\langle\phi^4\rangle$ is a perturbative expansion in $\lambda$. If I did a little more work, I could easily discover the diagrammatic picture of this expansion! We just found a diagrammatic expansion with minimal work. Whoo!

This is also a good playground for considering more complicated QFT topics, like gauge theory, fermionic path integrals, resummation, and even supersymmetry (see the following wonderful set of notes by David Skinner).

This is even useful outside of physics. A mathematician might see the power in this very quickly. By using a zero-dimensional path integral, we can find a way to enumerate the number of graphs with $k$ external lines, $n$ vertices, and with specific rules for how many edges can hit a node. Zero-dimensional path integrals also have geometric importance, as some supersymmetric theories have cohomologies corresponding to those of interesting topological spaces.

All in all, zero dimensional QFTs are just very useful playgrounds for exploring aspects of more complicated QFTs, and also have utility in pure mathematics.

I hope this helps!

Bob Knighton
  • 8,460
  • What would the partition function expansion be in zero field theory? – twisted manifold Dec 09 '19 at 12:57
  • @fielder I'm not exactly sure what you're asking. The perturbation expansion of the partition function is just a Taylor series in whatever coupling you have, just as in standard field theory. – Bob Knighton Dec 09 '19 at 14:48
  • @BobKnighton According to Ch 2 of the lecture notes linked above, the scalar field $\phi$ is a function on $M = \lbrace \text{pt} \rbrace$; i.e., $\phi: \lbrace \text{pt} \rbrace \to \mathbb{R}$. Then how do we define $d\phi$ here? As there's only one point in the domain, shouldn't $d\phi = 0$? – rainman Jul 08 '20 at 02:37
  • 1
    @rainman The symbol $\mathrm{d}\phi$ here represents the integration measure over the space of all field configurations. Since every field configuration is just a real number, this integral is just a standard one-dimensional integral. $\phi$ doesn't change in a specific field configuration, but in the ensemble of all field configurations it can. – Bob Knighton Jul 08 '20 at 08:09
4

I just wanted to complement the answers above by noting that Wick rotation of 0D QFT is the same as statistical mechanics. For example, the partition function of a gas $$Z(\beta)=\int d^3\vec{p}_1\cdots d^3\vec{p}_Nd^3\vec{r}_1\cdots d^3\vec{r}_N e^{-\beta\left(\sum_{i=1}^N\frac{\vec{p_i}^2}{2m}+V(\vec{r}_1,\dots,\vec{r}_N)\right)}$$ Takes exactly the form of a 0D QFT for a field $\phi=(\vec{p}_1,\dots,\vec{p}_N,\vec{r}_1,\dots\vec{r}_N):\{\text{pt}\}\rightarrow\mathbb{R}^{6N}$ whose Euclidean action is $$S_E(\phi)=\sum_{i=1}^N\frac{\vec{p_i}^2}{2m}+V(\vec{r}_1,\dots,\vec{r}_N)$$ and $\beta=\frac{1}{\hbar}$. Of course, the identification of spacetime with one point is arbitrary. I could've equally well set $\phi:\{1,\dots,N\}\rightarrow\mathbb{R}^6$ by $\phi(i)=(\vec{r}_i,\vec{p}_i)$, or $\phi:\{1,2\}\rightarrow\mathbb{R}^N$ by $\phi(1)=(\vec{r}_1,\dots\vec{r}_N)$ and $\phi(2)=(\vec{p}_1,\dots,\vec{p}_N)$.

Ivan Burbano
  • 3,875