Skip to main content
added 597 characters in body
Source Link
user94624
  • 351
  • 1
  • 11

I don't think it's the case that all $n>0$ terms vanish, because the mode expansion of $\phi$ has a zero mode $\phi_0$:. Its expansion is

$\phi \left(z,\bar{z}\right) = \phi_0 - i\pi_0 \log\left(z\bar{z}\right) +i \sum_{n\neq 0} \frac{1}{n} \left(a_n z^{-n} + \bar{a}_n \bar{z}^{-n}\right)$.\begin{equation}\phi \left(z,\bar{z}\right) = \phi_0 - i\pi_0 \log\left(z\bar{z}\right) +i \sum_{n\neq 0} \frac{1}{n} \left(a_n z^{-n} + \bar{a}_n \bar{z}^{-n}\right)\end{equation}

Computing $\langle:\phi^n:\rangle$ for $n>0$, all terms annihilate the vacuum except for the only term proportional tothat contributes when we take the vacuum expectation value is $\phi_0^n$. This is because $a_n$ and $\bar{a}_n$ annihilate the vacuum for $n>0$, and $\pi_0|0\rangle=0$ as well. Any cross-terms involving $a_n$ and $a_{-m}$ will be zero due to the normal ordering, as will any terms involving $\phi_0$ and $\pi_0$ (as $\pi_0$ is placed to the right).

As a result, we can combine the terms tojust get $\langle V_\alpha \rangle = \langle e^{i\alpha \phi_0}\rangle = \delta_{\alpha,0}$. The last follows from the fact that on a vacuum state $|\alpha\rangle$, $e^{i\beta \phi_0} |\alpha\rangle = |\alpha+\beta\rangle$ (this in turn follows from \begin{equation} \langle V_\alpha \left(z\right) \rangle =\langle \sum_{n} \frac{\left(i\alpha \phi_0\right)^n}{n!} \rangle= \langle e^{i\alpha \phi_0} \rangle. \end{equation} Because of the commutation relationrelations between $\phi_0$$\pi_0$ and $\pi_0$)$\phi_0$, $e^{i\beta \phi_0} |\alpha\rangle = |\alpha+\beta\rangle$, so the vacuum expectation value is $\langle e^{i\alpha \phi_0}\rangle = \delta_{\alpha,0}$; this is just the charge neutrality condition.

It's easier to obtain this result by using the definition of normal ordering [see e.g. Di Francesco]; $V_\alpha = \exp\left(i\alpha \phi_0 + \alpha \sum_{n>0} \frac{1}{n}\left(a_{-n}z^n + \bar{a}_{-n} \bar{z}^n\right)\right) \exp \left(\alpha \pi_0 \log\left(z\bar{z}\right) - \alpha \sum_{n>0}\frac{1}{n} \left(a_{n}z^{-n} + \bar{a}_{n} \bar{z}^{-n}\right)\right)$\begin{equation}V_\alpha = \exp\left(i\alpha \phi_0 + \alpha \sum_{n>0} \frac{1}{n}\left(a_{-n}z^n + \bar{a}_{-n} \bar{z}^n\right)\right) \exp \left(\alpha \pi_0 \log\left(z\bar{z}\right) - \alpha \sum_{n>0}\frac{1}{n} \left(a_{n}z^{-n} + \bar{a}_{n} \bar{z}^{-n}\right)\right).\end{equation} The last exponential acts trivially on $|0\rangle$, and the $a_{-n},\bar{a}_{-n}$ with $n>0$ map $|0\rangle$ on to its descendants, which are orthogonal to $|0\rangle$. OrSo when taking the vacuum expectation value, the operator is just $e^{i\alpha \phi_0}$ as before.

Alternatively, one can use the Ward identities; the Ward identity for translational invariance $\partial_z \langle V_{\alpha} \left(z\right)\rangle = 0$ means the correlator is constant; theconstant. The Ward identity $ \left(z\partial_z + h_{\alpha}\right) \langle V_{\alpha}\left(z\right)\rangle =0$ then implies that the correlator$h_\alpha \langle V_{\alpha} =0 \rangle$: since $h_\alpha = \alpha^2/2$ is zeronon-zero for $\alpha>0$$\alpha \neq 0$, unlessthe correlator must be zero. If $\alpha=0$ in which case, $h_{\alpha}=\alpha^2/2=0$$V_{\alpha} = 1$ and the correlator is just 1.

I don't think it's the case that all $n>0$ terms vanish, because the mode expansion of $\phi$ has a zero mode $\phi_0$:

$\phi \left(z,\bar{z}\right) = \phi_0 - i\pi_0 \log\left(z\bar{z}\right) +i \sum_{n\neq 0} \frac{1}{n} \left(a_n z^{-n} + \bar{a}_n \bar{z}^{-n}\right)$.

Computing $\langle:\phi^n:\rangle$ for $n>0$, all terms annihilate the vacuum except for the term proportional to $\phi_0^n$. This is because $a_n$ and $\bar{a}_n$ annihilate the vacuum for $n>0$, and $\pi_0|0\rangle=0$ as well. Any cross-terms involving $a_n$ and $a_{-m}$ will be zero due to the normal ordering, as will any terms involving $\phi_0$ and $\pi_0$ (as $\pi_0$ is placed to the right).

As a result, we can combine the terms to get $\langle V_\alpha \rangle = \langle e^{i\alpha \phi_0}\rangle = \delta_{\alpha,0}$. The last follows from the fact that on a vacuum state $|\alpha\rangle$, $e^{i\beta \phi_0} |\alpha\rangle = |\alpha+\beta\rangle$ (this in turn follows from the commutation relation between $\phi_0$ and $\pi_0$).

It's easier to obtain this by using the definition of normal ordering [see e.g. Di Francesco]; $V_\alpha = \exp\left(i\alpha \phi_0 + \alpha \sum_{n>0} \frac{1}{n}\left(a_{-n}z^n + \bar{a}_{-n} \bar{z}^n\right)\right) \exp \left(\alpha \pi_0 \log\left(z\bar{z}\right) - \alpha \sum_{n>0}\frac{1}{n} \left(a_{n}z^{-n} + \bar{a}_{n} \bar{z}^{-n}\right)\right)$. Or one can use the Ward identities; the Ward identity for translational invariance $\partial_z \langle V_{\alpha} \left(z\right)\rangle = 0$ means the correlator is constant; the Ward identity $ \left(z\partial_z + h_{\alpha}\right) \langle V_{\alpha}\left(z\right)\rangle =0$ then implies that the correlator is zero for $\alpha>0$, unless $\alpha=0$ in which case $h_{\alpha}=\alpha^2/2=0$.

I don't think it's the case that all $n>0$ terms vanish, because the mode expansion of $\phi$ has a zero mode $\phi_0$. Its expansion is

\begin{equation}\phi \left(z,\bar{z}\right) = \phi_0 - i\pi_0 \log\left(z\bar{z}\right) +i \sum_{n\neq 0} \frac{1}{n} \left(a_n z^{-n} + \bar{a}_n \bar{z}^{-n}\right)\end{equation}

Computing $\langle:\phi^n:\rangle$ for $n>0$, the only term that contributes when we take the vacuum expectation value is $\phi_0^n$. This is because $a_n$ and $\bar{a}_n$ annihilate the vacuum for $n>0$, and $\pi_0|0\rangle=0$ as well. Any cross-terms involving $a_n$ and $a_{-m}$ will be zero due to the normal ordering, as will any terms involving $\phi_0$ and $\pi_0$ (as $\pi_0$ is placed to the right).

As a result, we just get \begin{equation} \langle V_\alpha \left(z\right) \rangle =\langle \sum_{n} \frac{\left(i\alpha \phi_0\right)^n}{n!} \rangle= \langle e^{i\alpha \phi_0} \rangle. \end{equation} Because of the commutation relations between $\pi_0$ and $\phi_0$, $e^{i\beta \phi_0} |\alpha\rangle = |\alpha+\beta\rangle$, so the vacuum expectation value is $\langle e^{i\alpha \phi_0}\rangle = \delta_{\alpha,0}$; this is just the charge neutrality condition.

It's easier to obtain this result by using the definition of normal ordering [see e.g. Di Francesco]; \begin{equation}V_\alpha = \exp\left(i\alpha \phi_0 + \alpha \sum_{n>0} \frac{1}{n}\left(a_{-n}z^n + \bar{a}_{-n} \bar{z}^n\right)\right) \exp \left(\alpha \pi_0 \log\left(z\bar{z}\right) - \alpha \sum_{n>0}\frac{1}{n} \left(a_{n}z^{-n} + \bar{a}_{n} \bar{z}^{-n}\right)\right).\end{equation} The last exponential acts trivially on $|0\rangle$, and the $a_{-n},\bar{a}_{-n}$ with $n>0$ map $|0\rangle$ on to its descendants, which are orthogonal to $|0\rangle$. So when taking the vacuum expectation value, the operator is just $e^{i\alpha \phi_0}$ as before.

Alternatively, one can use the Ward identities; the Ward identity for translational invariance $\partial_z \langle V_{\alpha} \left(z\right)\rangle = 0$ means the correlator is constant. The Ward identity $ \left(z\partial_z + h_{\alpha}\right) \langle V_{\alpha}\left(z\right)\rangle =0$ then implies that $h_\alpha \langle V_{\alpha} =0 \rangle$: since $h_\alpha = \alpha^2/2$ is non-zero for $\alpha \neq 0$, the correlator must be zero. If $\alpha=0$, $V_{\alpha} = 1$ and the correlator is just 1.

Bounty Ended with 50 reputation awarded by Weather Report
Source Link
user94624
  • 351
  • 1
  • 11

I don't think it's the case that all $n>0$ terms vanish, because the mode expansion of $\phi$ has a zero mode $\phi_0$:

$\phi \left(z,\bar{z}\right) = \phi_0 - i\pi_0 \log\left(z\bar{z}\right) +i \sum_{n\neq 0} \frac{1}{n} \left(a_n z^{-n} + \bar{a}_n \bar{z}^{-n}\right)$.

Computing $\langle:\phi^n:\rangle$ for $n>0$, all terms annihilate the vacuum except for the term proportional to $\phi_0^n$. This is because $a_n$ and $\bar{a}_n$ annihilate the vacuum for $n>0$, and $\pi_0|0\rangle=0$ as well. Any cross-terms involving $a_n$ and $a_{-m}$ will be zero due to the normal ordering, as will any terms involving $\phi_0$ and $\pi_0$ (as $\pi_0$ is placed to the right).

As a result, we can combine the terms to get $\langle V_\alpha \rangle = \langle e^{i\alpha \phi_0}\rangle = \delta_{\alpha,0}$. The last follows from the fact that on a vacuum state $|\alpha\rangle$, $e^{i\beta \phi_0} |\alpha\rangle = |\alpha+\beta\rangle$ (this in turn follows from the commutation relation between $\phi_0$ and $\pi_0$).

It's easier to obtain this by using the definition of normal ordering [see e.g. Di Francesco]; $V_\alpha = \exp\left(i\alpha \phi_0 + \alpha \sum_{n>0} \frac{1}{n}\left(a_{-n}z^n + \bar{a}_{-n} \bar{z}^n\right)\right) \exp \left(\alpha \pi_0 \log\left(z\bar{z}\right) - \alpha \sum_{n>0}\frac{1}{n} \left(a_{n}z^{-n} + \bar{a}_{n} \bar{z}^{-n}\right)\right)$. Or one can use the Ward identities; the Ward identity for translational invariance $\partial_z \langle V_{\alpha} \left(z\right)\rangle = 0$ means the correlator is constant; the Ward identity $ \left(z\partial_z + h_{\alpha}\right) \langle V_{\alpha}\left(z\right)\rangle =0$ then implies that the correlator is zero for $\alpha>0$, unless $\alpha=0$ in which case $h_{\alpha}=\alpha^2/2=0$.