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 ...

  Generalization of Itzykson-Zuber Formula to Path Integrals?

+ 4 like - 0 dislike
1153 views

Some Background: In mathematical physics (matrix quantum mechanics in particular), one often runs into path integrals of the form: $$ Z = \int \prod_{ab} DM^1_{ab}(\tau) DM^2_{ab}(\tau) e^{-NS(M^1,M^2,\dot M^1,\dot M^2)}$$ Where $M^1$ and $M^2$ are $N$ by $N$ Hermitian matrices and $S$ is a function invariant under simultaneous conjugation of $M^1$ and $M^2$ by $U(N)$ group action. To understand properties of this integral, physicists often look at a simpler version without time dependence: $$ Z' = \int \prod_{ab} dM^1_{ab} dM^2_{ab} e^{-NV(M^1,M^2)}$$ Where $V$ is the potential energy in the action $S$ which is usually taken to be a trace of powers of $M^1$ and $M^2$. The usual trick is to make a change of coordinates and write the measure as: $$ \int \prod_{ab} dM^1_{ab} = \int \prod_{a} d \lambda^1_a dU^1 \cdot \Delta(\lambda^1)^2$$ Where $\lambda^1_a$'s are the eigenvalues of $M^1$ and $dU^1$ schematically means integral over the group manifold $U(N)/U(1)^N$. The $\Delta(\lambda^1)^2$ term is just a Jacobian factor. After this change of coordinates, we get (for example) integrals of the form: $$ \int dU e^{tr(M^1UM^2U)} $$ This integral is hard but there is a nice Itzykson-Zuber formula for it. For details see Terry Tao's blog post.

My question: is there a generalization of the Itzykson-Zuber formula for path integrals? In particular, I wonder if there is in general a nice formula for the integral: $$ \int \mathcal{D}U(\tau) e^{tr(A(\tau)U(\tau)B(\tau)U(\tau)} $$ Written in terms of $A(\tau),B(\tau)$.

This post imported from StackExchange Physics at 2017-10-10 21:08 (UTC), posted by SE-user Zhengyan Shi
asked Jun 25, 2017 in Theoretical Physics by Zhengyan Shi (50 points) [ no revision ]
Sure, if $IZ(\tau)$ denotes the usual Itzykson-Zuber integral with time parameter $\tau$, then the corresponding path integral trivially factorizes in a formal product $\prod_{\tau}IZ(\tau) $ over time .

This post imported from StackExchange Physics at 2017-10-10 21:08 (UTC), posted by SE-user Qmechanic
So would the answer be something like the following? $$\prod_{\tau} IZ(\tau) = e^{\sum_{i=0}^N \log IZ(i\frac{\tau}{N}) \cdot \frac{\tau}{N} \cdot \frac{N}{\tau}} $$ In the end as I take a large N limit (small step size), it seems like I get something divergent: $$ e^{\int_0^{\tau} \log IZ(\tau) \cdot \frac{N}{\tau}} = IZ(\tau)^N $$ That is confusing to me. Could you help me understand that better?

This post imported from StackExchange Physics at 2017-10-10 21:08 (UTC), posted by SE-user Zhengyan Shi

1 Answer

+ 4 like - 0 dislike

The answer is positive, modulo the inherent non-rigor in the path integral quantization. There is a series of papers by Antti Niemi and collaborators where this problem was considered. I'll give you here an introduction to their main reasoning and some references.

The Itzykson-Zuber formula belongs to a special case of integrals where the WKB semiclassical approximation is exact due to the Duistermaat-Heckmann theorem (which is also described in Terry Tao's lecture).

Physically, the integrals satisfying this property can be expressed as classical partition functions: $$ Z = \int_{\mathcal{M}} e^{-\beta H(x)} d{\mu}(x)$$ Where the integration is over a classical phase space $\mathcal{M}$ which is a symplectic manifold, and $ d{\mu}(x)$ is the Liouville measure on the manifold, which can be locally written as: $$d{\mu}(x) = det(\omega) d_L(x)$$ Where $ \omega$ is the symplectic form and $d_L$ is the Lebesgue measure.

In the Itzykson-Zuber formula, the integrand is invariant under the action of the maximal torus $T^n$ of $U(n)$. Thus the integration can be effectively performed on the flag manifold $U(n)/T^n$, which is a symplectic manifold.

In physics, the exactness of the WKB approximation is attributed to the existence of supersymmetry.

This property is explained by A Keski-Vakkuri, Niemi, Semenoff and Tirkkonen in the following work. I'll repeat the main arguments (which I'll bring here their main arguments heuristically)

This supersymmetry is obtained by exponentiating the determinant factor of the symplectic form by means of a Berezin Grassmann integral: $$ Z = \int_{\mathcal{M}} e^{-\beta ( H(x) + c^a \omega_{ab} c^b)} d_L(x)$$ One can easily check that the integrand is invariant under the following supersymmetry operator: $$ Q = c^a \partial_a + \omega^{ab}\partial_aH \frac{\partial}{\partial c^b}$$, i.e., $$[Q, H(x) + c^a \omega_{ab} c^b] = 0$$ Thus: $$[Q, e^{-\beta ( H(x) + c^a \omega_{ab} c^b)}] = 0$$ This operator squares to: $$Q^2 = c^a \partial_a( \omega^{bc} \partial_c H )\frac{\partial}{\partial c^b}$$

Thus this operator vanishes in the stationary points $\partial_a H = 0$.

The Berezin integral picks the top form, the action of Q on the top form has two components, one which reduces the ghost number and the second increases the ghost number, which acts as an exterior derivative. Thus the top form is exact in all points where $Q$ is not zero, that is when $\partial_a H \neq 0$. Thus only points where the Hamiltonian is stationary contribute to the integral. Thus the semiclassical approximation is exact.

Niemi generalized the same reasoning for path integrals in 0+1 dimensions.

Final remarks

  1. The above heuristic reasoning seems to apply to any Hamiltonian, but a deeper analysis shows that it applies only to Hamiltonians which are perfect Morse functions on the phase space.

  2. Witten applied the same reasoning even in field theory computations for example $N=2$ Susy Yang-Mills theory in $4D$.

This post imported from StackExchange Physics at 2017-10-10 21:08 (UTC), posted by SE-user David Bar Moshe
answered Jul 23, 2017 by David Bar Moshe (4,355 points) [ no revision ]

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$ysicsOv$\varnothing$rflow
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
...