\documentclass[12pt,titlepage]{article}

\usepackage{amsmath}
\usepackage{mathrsfs}
\usepackage{amsfonts}
\usepackage{amssymb}
\usepackage{amsthm}
\usepackage{mathtools}
\usepackage{graphicx}
\usepackage{color}
\usepackage{ucs}
\usepackage[utf8x]{inputenc}
\usepackage{xparse}
\usepackage{hyperref}

%----Macros----------
%
% Unresolved issues:
%
%  \righttoleftarrow
%  \lefttorightarrow
%
%  \color{} with HTML colorspec
%  \bgcolor
%  \array with options (without options, it's equivalent to the matrix environment)

% Of the standard HTML named colors, white, black, red, green, blue and yellow
% are predefined in the color package. Here are the rest.
\definecolor{aqua}{rgb}{0, 1.0, 1.0}
\definecolor{fuschia}{rgb}{1.0, 0, 1.0}
\definecolor{gray}{rgb}{0.502, 0.502, 0.502}
\definecolor{lime}{rgb}{0, 1.0, 0}
\definecolor{maroon}{rgb}{0.502, 0, 0}
\definecolor{navy}{rgb}{0, 0, 0.502}
\definecolor{olive}{rgb}{0.502, 0.502, 0}
\definecolor{purple}{rgb}{0.502, 0, 0.502}
\definecolor{silver}{rgb}{0.753, 0.753, 0.753}
\definecolor{teal}{rgb}{0, 0.502, 0.502}

% Because of conflicts, \space and \mathop are converted to
% \itexspace and \operatorname during preprocessing.

% itex: \space{ht}{dp}{wd}
%
% Height and baseline depth measurements are in units of tenths of an ex while
% the width is measured in tenths of an em.
\makeatletter
\newdimen\itex@wd%
\newdimen\itex@dp%
\newdimen\itex@thd%
\def\itexspace#1#2#3{\itex@wd=#3em%
\itex@wd=0.1\itex@wd%
\itex@dp=#2ex%
\itex@dp=0.1\itex@dp%
\itex@thd=#1ex%
\itex@thd=0.1\itex@thd%
\advance\itex@thd\the\itex@dp%
\makebox[\the\itex@wd]{\rule[-\the\itex@dp]{0cm}{\the\itex@thd}}}
\makeatother

% \tensor and \multiscript
\makeatletter
\newif\if@sup
\newtoks\@sups
\def\append@sup#1{\edef\act{\noexpand\@sups={\the\@sups #1}}\act}%
\def\reset@sup{\@supfalse\@sups={}}%
\def\mk@scripts#1#2{\if #2/ \if@sup ^{\the\@sups}\fi \else%
  \ifx #1_ \if@sup ^{\the\@sups}\reset@sup \fi {}_{#2}%
  \else \append@sup#2 \@suptrue \fi%
  \expandafter\mk@scripts\fi}
\def\tensor#1#2{\reset@sup#1\mk@scripts#2_/}
\def\multiscripts#1#2#3{\reset@sup{}\mk@scripts#1_/#2%
  \reset@sup\mk@scripts#3_/}
\makeatother

% \slash
\makeatletter
\newbox\slashbox \setbox\slashbox=\hbox{$/$}
\def\itex@pslash#1{\setbox\@tempboxa=\hbox{$#1$}
  \@tempdima=0.5\wd\slashbox \advance\@tempdima 0.5\wd\@tempboxa
  \copy\slashbox \kern-\@tempdima \box\@tempboxa}
\def\slash{\protect\itex@pslash}
\makeatother

% math-mode versions of \rlap, etc
% from Alexander Perlis, "A complement to \smash, \llap, and lap"
%   http://math.arizona.edu/~aprl/publications/mathclap/
\def\clap#1{\hbox to 0pt{\hss#1\hss}}
\def\mathllap{\mathpalette\mathllapinternal}
\def\mathrlap{\mathpalette\mathrlapinternal}
\def\mathclap{\mathpalette\mathclapinternal}
\def\mathllapinternal#1#2{\llap{$\mathsurround=0pt#1{#2}$}}
\def\mathrlapinternal#1#2{\rlap{$\mathsurround=0pt#1{#2}$}}
\def\mathclapinternal#1#2{\clap{$\mathsurround=0pt#1{#2}$}}

% Renames \sqrt as \oldsqrt and redefine root to result in \sqrt[#1]{#2}
\let\oldroot\root
\def\root#1#2{\oldroot #1 \of{#2}}
\renewcommand{\sqrt}[2][]{\oldroot #1 \of{#2}}

% Manually declare the txfonts symbolsC font
\DeclareSymbolFont{symbolsC}{U}{txsyc}{m}{n}
\SetSymbolFont{symbolsC}{bold}{U}{txsyc}{bx}{n}
\DeclareFontSubstitution{U}{txsyc}{m}{n}

% Manually declare the stmaryrd font
\DeclareSymbolFont{stmry}{U}{stmry}{m}{n}
\SetSymbolFont{stmry}{bold}{U}{stmry}{b}{n}

% Manually declare the MnSymbolE font
\DeclareFontFamily{OMX}{MnSymbolE}{}
\DeclareSymbolFont{mnomx}{OMX}{MnSymbolE}{m}{n}
\SetSymbolFont{mnomx}{bold}{OMX}{MnSymbolE}{b}{n}
\DeclareFontShape{OMX}{MnSymbolE}{m}{n}{
    <-6>  MnSymbolE5
   <6-7>  MnSymbolE6
   <7-8>  MnSymbolE7
   <8-9>  MnSymbolE8
   <9-10> MnSymbolE9
  <10-12> MnSymbolE10
  <12->   MnSymbolE12}{}

% Declare specific arrows from txfonts without loading the full package
\makeatletter
\def\re@DeclareMathSymbol#1#2#3#4{%
    \let#1=\undefined
    \DeclareMathSymbol{#1}{#2}{#3}{#4}}
\re@DeclareMathSymbol{\neArrow}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\neArr}{\mathrel}{symbolsC}{116}
\re@DeclareMathSymbol{\seArrow}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\seArr}{\mathrel}{symbolsC}{117}
\re@DeclareMathSymbol{\nwArrow}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\nwArr}{\mathrel}{symbolsC}{118}
\re@DeclareMathSymbol{\swArrow}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\swArr}{\mathrel}{symbolsC}{119}
\re@DeclareMathSymbol{\nequiv}{\mathrel}{symbolsC}{46}
\re@DeclareMathSymbol{\Perp}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\Vbar}{\mathrel}{symbolsC}{121}
\re@DeclareMathSymbol{\sslash}{\mathrel}{stmry}{12}
\re@DeclareMathSymbol{\bigsqcap}{\mathop}{stmry}{"64}
\re@DeclareMathSymbol{\biginterleave}{\mathop}{stmry}{"6}
\re@DeclareMathSymbol{\invamp}{\mathrel}{symbolsC}{77}
\re@DeclareMathSymbol{\parr}{\mathrel}{symbolsC}{77}
\makeatother

% \llangle, \rrangle, \lmoustache and \rmoustache from MnSymbolE
\makeatletter
\def\Decl@Mn@Delim#1#2#3#4{%
  \if\relax\noexpand#1%
    \let#1\undefined
  \fi
  \DeclareMathDelimiter{#1}{#2}{#3}{#4}{#3}{#4}}
\def\Decl@Mn@Open#1#2#3{\Decl@Mn@Delim{#1}{\mathopen}{#2}{#3}}
\def\Decl@Mn@Close#1#2#3{\Decl@Mn@Delim{#1}{\mathclose}{#2}{#3}}
\Decl@Mn@Open{\llangle}{mnomx}{'164}
\Decl@Mn@Close{\rrangle}{mnomx}{'171}
\Decl@Mn@Open{\lmoustache}{mnomx}{'245}
\Decl@Mn@Close{\rmoustache}{mnomx}{'244}
\makeatother

% Widecheck
\makeatletter
\DeclareRobustCommand\widecheck[1]{{\mathpalette\@widecheck{#1}}}
\def\@widecheck#1#2{%
    \setbox\z@\hbox{\m@th$#1#2$}%
    \setbox\tw@\hbox{\m@th$#1%
       \widehat{%
          \vrule\@width\z@\@height\ht\z@
          \vrule\@height\z@\@width\wd\z@}$}%
    \dp\tw@-\ht\z@
    \@tempdima\ht\z@ \advance\@tempdima2\ht\tw@ \divide\@tempdima\thr@@
    \setbox\tw@\hbox{%
       \raise\@tempdima\hbox{\scalebox{1}[-1]{\lower\@tempdima\box
\tw@}}}%
    {\ooalign{\box\tw@ \cr \box\z@}}}
\makeatother

% \mathraisebox{voffset}[height][depth]{something}
\makeatletter
\NewDocumentCommand\mathraisebox{moom}{%
\IfNoValueTF{#2}{\def\@temp##1##2{\raisebox{#1}{$\m@th##1##2$}}}{%
\IfNoValueTF{#3}{\def\@temp##1##2{\raisebox{#1}[#2]{$\m@th##1##2$}}%
}{\def\@temp##1##2{\raisebox{#1}[#2][#3]{$\m@th##1##2$}}}}%
\mathpalette\@temp{#4}}
\makeatletter

% udots (taken from yhmath)
\makeatletter
\def\udots{\mathinner{\mkern2mu\raise\p@\hbox{.}
\mkern2mu\raise4\p@\hbox{.}\mkern1mu
\raise7\p@\vbox{\kern7\p@\hbox{.}}\mkern1mu}}
\makeatother

%% Fix array
\newcommand{\itexarray}[1]{\begin{matrix}#1\end{matrix}}
%% \itexnum is a noop
\newcommand{\itexnum}[1]{#1}

%% Renaming existing commands
\newcommand{\underoverset}[3]{\underset{#1}{\overset{#2}{#3}}}
\newcommand{\widevec}{\overrightarrow}
\newcommand{\darr}{\downarrow}
\newcommand{\nearr}{\nearrow}
\newcommand{\nwarr}{\nwarrow}
\newcommand{\searr}{\searrow}
\newcommand{\swarr}{\swarrow}
\newcommand{\curvearrowbotright}{\curvearrowright}
\newcommand{\uparr}{\uparrow}
\newcommand{\downuparrow}{\updownarrow}
\newcommand{\duparr}{\updownarrow}
\newcommand{\updarr}{\updownarrow}
\newcommand{\gt}{>}
\newcommand{\lt}{<}
\newcommand{\map}{\mapsto}
\newcommand{\embedsin}{\hookrightarrow}
\newcommand{\Alpha}{A}
\newcommand{\Beta}{B}
\newcommand{\Zeta}{Z}
\newcommand{\Eta}{H}
\newcommand{\Iota}{I}
\newcommand{\Kappa}{K}
\newcommand{\Mu}{M}
\newcommand{\Nu}{N}
\newcommand{\Rho}{P}
\newcommand{\Tau}{T}
\newcommand{\Upsi}{\Upsilon}
\newcommand{\omicron}{o}
\newcommand{\lang}{\langle}
\newcommand{\rang}{\rangle}
\newcommand{\Union}{\bigcup}
\newcommand{\Intersection}{\bigcap}
\newcommand{\Oplus}{\bigoplus}
\newcommand{\Otimes}{\bigotimes}
\newcommand{\Wedge}{\bigwedge}
\newcommand{\Vee}{\bigvee}
\newcommand{\coproduct}{\coprod}
\newcommand{\product}{\prod}
\newcommand{\closure}{\overline}
\newcommand{\integral}{\int}
\newcommand{\doubleintegral}{\iint}
\newcommand{\tripleintegral}{\iiint}
\newcommand{\quadrupleintegral}{\iiiint}
\newcommand{\conint}{\oint}
\newcommand{\contourintegral}{\oint}
\newcommand{\infinity}{\infty}
\newcommand{\bottom}{\bot}
\newcommand{\minusb}{\boxminus}
\newcommand{\plusb}{\boxplus}
\newcommand{\timesb}{\boxtimes}
\newcommand{\intersection}{\cap}
\newcommand{\union}{\cup}
\newcommand{\Del}{\nabla}
\newcommand{\odash}{\circleddash}
\newcommand{\negspace}{\!}
\newcommand{\widebar}{\overline}
\newcommand{\textsize}{\normalsize}
\renewcommand{\scriptsize}{\scriptstyle}
\newcommand{\scriptscriptsize}{\scriptscriptstyle}
\newcommand{\mathfr}{\mathfrak}
\newcommand{\statusline}[2]{#2}
\newcommand{\tooltip}[2]{#2}
\newcommand{\toggle}[2]{#2}

% Theorem Environments
\theoremstyle{plain}
\newtheorem{theorem}{Theorem}
\newtheorem{lemma}{Lemma}
\newtheorem{prop}{Proposition}
\newtheorem{cor}{Corollary}
\newtheorem*{utheorem}{Theorem}
\newtheorem*{ulemma}{Lemma}
\newtheorem*{uprop}{Proposition}
\newtheorem*{ucor}{Corollary}
\theoremstyle{definition}
\newtheorem{defn}{Definition}
\newtheorem{example}{Example}
\newtheorem*{udefn}{Definition}
\newtheorem*{uexample}{Example}
\theoremstyle{remark}
\newtheorem{remark}{Remark}
\newtheorem{note}{Note}
\newtheorem*{uremark}{Remark}
\newtheorem*{unote}{Note}

%-------------------------------------------------------------------

\begin{document}

%-------------------------------------------------------------------


\section*{c-theorem}

\hypertarget{context}{}\subsubsection*{{Context}}\label{context}

\hypertarget{quantum_field_theory}{}\paragraph*{{Quantum field theory}}\label{quantum_field_theory}

[[!include functorial quantum field theory - contents]]

\hypertarget{physics}{}\paragraph*{{Physics}}\label{physics}

[[!include physicscontents]]

\hypertarget{the_zamolodchikov_theorem}{}\section*{{The Zamolodchikov $c$-theorem}}\label{the_zamolodchikov_theorem}

\noindent\hyperlink{idea}{Idea}\dotfill \pageref*{idea} \linebreak
\noindent\hyperlink{proof}{Proof}\dotfill \pageref*{proof} \linebreak
\noindent\hyperlink{references}{References}\dotfill \pageref*{references} \linebreak


\hypertarget{idea}{}\subsection*{{Idea}}\label{idea}

The fixed point of a [[renormalization]]-group (RG) transform applied to a [[field theory]] should, intuitively, be described by a theory which is scale-invariant. The \textbf{Zamolodchikov $c$-theorem} makes this precise: for any renormalizable 2D field theory, there exists a function $c(g)$ of its coupling constants $g = (g_1,g_2,\ldots)$ which

\begin{itemize}%
\item decreases monotonically with successive RG transforms, and
\item at the fixed point of the RG, is equal to the [[Virasoro algebra|central charge]] of the [[conformal field theory]] which describes that critical point.

\end{itemize}
\begin{description}

\item[\hyperlink{Cardy1996}{Cardy (1996)} observes,] The $c$-theorem has the interpretation that renormalization group flows go `downhill'. In particular, it rules out the existence (for systems satisfying reflection positivity) of limit cycles and other esoteric behaviour in renormalization group flows. It also severely restricts the possible fixed points to which unstable directions at a given fixed point may flow. \ldots{} An appealing physical interpretation of the $[c(g)]$-function is as a kind of entropy of information about the critical system. Under renormalization, information is lost about the short distance behaviour of the correlation functions. However, this cannot be taken too literally---for example, even at infinite temperature a block spin transformation results in loss of information about the microstates of the system, yet no renormalization group flow takes place. Presumably, a more complete interpretation along these lines needs to account for the fact that the central charge is sensitive to only the effectively gapless degrees of freedom.

 
\end{description}
Attempts to find analogues for the 2D $c$-theorem in higher [[dimensions]] have involved versions of [[holographic principle|holographic duality]] such as the [[AdS/CFT correspondence]]. See \hyperlink{Myers2010}{Myers and Sinha (2010)}, \hyperlink{Myers2011}{(2011)}.

\hypertarget{proof}{}\subsection*{{Proof}}\label{proof}

We follow the original proof given by \hyperlink{Zamolodchikov}{Zamolodchikov (1986)}.

We start with a field theory whose action functional is an integral of a local [[Lagrangian]] density:

\begin{displaymath}
S = \int \mathcal{L}(g,a,x) d x,
\end{displaymath}
where $a$ is the ultraviolet cutoff of the theory. The basic assumption of RG is that there exists a single-parameter family of transformations on $Q$, the space of coupling constants,

\begin{displaymath}
R_t: Q \rightarrow Q,
\end{displaymath}
which has the property that a field theory with the action $S(R_t g, e^t a)$ is equivalent to the original theory with action $S(g, a)$. Here, \emph{equivalence} means that the [[correlation function]]s of the two theories agree, as long as we consider scales larger than the renormalized UV cutoff, $x \gg e^t a$. The RG flow is described by the [[beta function]]s:

\begin{displaymath}
d g^i = \beta^i(g) \,d t.
\end{displaymath}
At the fixed points, $\beta^i(g) = 0$. (The beta functions in RG theory should not be confused with the [[Euler beta function]]). Here, we are using the term in the same sense as when people say, ``The beta function in [[QCD]] is negative.''

The local energy-momentum tensor $T_{\mu\nu}(x) = T_{\nu\mu}(x)$ satisfies the conservation equation $\partial_\mu T_{\mu\nu} = 0$. Define the complex coordinates

\begin{displaymath}
(z, \bar{z}) = (x^1 + i x^2, x^1 - i x^2)
\end{displaymath}
and define $T = T_{zz}$, $\Theta = T_{z\bar{z}}$. The local scalar fields are given by

\begin{displaymath}
\Phi_i(g,x) = \frac{\partial}{\partial g^i} \mathcal{L}(g,a,x).
\end{displaymath}
If the field theory is renormalizable, we can expand the field $\Theta$ in the basis given by the $\Phi_i$:

\begin{displaymath}
\Theta = \beta^i(g) \Phi_i.
\end{displaymath}
Take a convenient distance scale $x_0$, significantly larger than the UV cutoff of the theory. This arbitrary value is the ``normalization point''. Define

\begin{displaymath}
C(g) = 2z^4 \left.\langle T(x) T(0) \rangle\right|_{x^2 = x_0^2}
\end{displaymath}
\begin{displaymath}
H_i(g) = z^2 x^2 \left.\langle T(x) \Phi_i(0) \rangle\right|_{x^2 = x_0^2}
\end{displaymath}
\begin{displaymath}
G_{i j}(g) = x^4 \left.\langle \Phi_i(x) \Phi_j(0) \rangle\right|_{x^2 = x_0^2}
\end{displaymath}
The positivity condition of the field theory implies that the symmetric [[matrix]] $G_{i j}(g)$ is positive definite, and that we can use it as the [[metric space|metric]] in the space of coupling constants.

The \textbf{Callan--Symanzik equation} describes how the $n$-point [[correlation function]]s vary under the RG transform. For our purposes, the scaling matrix $\gamma$ which appears in the Callan-Symanzik equation is given by

\begin{displaymath}
\gamma_i^{\,j} (g) \Phi_j = \left(\frac{a}{2} \frac{\partial}{\partial a} - \beta^k \frac{\partial}{\partial g^k}\right) \Phi_i = (\partial_i \beta^j) \Phi_j.
\end{displaymath}
We combine our expansion of the field $\Theta$ with the conservation condition $\partial_\mu T_{\mu\nu} = 0$ and the Callan--Symanzik equation to get

\begin{displaymath}
\frac{1}{2} \beta^i\partial_i C = -3\beta^i H_i + \beta^i\beta^k\partial_k H_i + \beta^k(\partial_k \beta^i) H_i,
\end{displaymath}
and

\begin{displaymath}
\beta^k \partial_k H_i + (\partial_i \beta^k)H_k - H_i = -2\beta^k G_{i k} + \beta^j \beta^k G_{i j} + \beta^j (\partial_i \beta^k) G_{j k} + \beta^j (\partial_j \beta^k) G_{i k},
\end{displaymath}
where we have written $\partial_i$ for the derivative in the coupling-constant space, $\partial/\partial g^i$.

For the function

\begin{displaymath}
c(g) = C(g) + 4\beta^i H_i = 6\beta^i \beta^j G_{i j},
\end{displaymath}
we have that

\begin{displaymath}
\beta^i \partial_i c(g) = -12 \beta^i \beta^j G_{i j}.
\end{displaymath}
This verifies that

\begin{displaymath}
\frac{d c}{d t} = \beta^i(g) \partial_i c(g) \leq 0,
\end{displaymath}
establishing that the function $c(g)$ decreases monotonically as we apply the RG transform.

Consider a fixed point $g_*$, and choose a coordinate system centered on that point, so that the metric becomes

\begin{displaymath}
G_{i j}(g) = \delta_{i j} + \mathcal{O}(g^2).
\end{displaymath}
Near the fixed point, we can calculate $c(g)$ using [[perturbation theory]]. This calculation results in

\begin{displaymath}
c(g) = \tilde{c}(g_*) - 3(2 - d_i) g^i g^i + 2C_{i j k} g^i g^j g^k + \mathcal{O}(g^4).
\end{displaymath}
We have written $d_i$ for the [[anomalous dimension]]s of the vectors $\Phi_i(g_*, x)$, which at the fixed point are conformal fields. It then follows that the 2D field theory at the fixed point has conformal symmetry, with an infinite set of generators

\begin{displaymath}
\{L_n | n = 0, \pm 1, \pm 2, \ldots \}
\end{displaymath}
which satisfy the [[Virasoro algebra]]

\begin{displaymath}
[L_n, L_m] = (n - m)L_{n+m} + \frac{\tilde{c}}{12}(n^3 - n) \delta_{n+m,0}.
\end{displaymath}
The fixed-point value of the $c$-function becomes the central charge of the Virasoro algebra. The central charge is the numerical coefficient in the correlation function

\begin{displaymath}
\langle T(z) T(0) \rangle = z^{-4} \tilde{c}(g_*) / 2.
\end{displaymath}
Near the fixed point, we can also compute the beta functions in perturbation theory.

\begin{displaymath}
\beta^i(g) = \frac{2 - d_i}{2} g^i - \frac{1}{2} C_{i j k} g^j g^k + \mathcal{O}(g^3).
\end{displaymath}
Note that to maintain consistency of indices across both sides of this equation, we do not sum over $i$ in the first term. If the perturbations are ``soft'', satisfying $|2 - d_i| \ll 1$, then the coefficients $C_{i j k}$ form the structure constants of a [[CFT]] operator algebra. Raising the indices on $G_{i j}$ by $G^{i k}G_{k j} = \delta^i_{\,j}$, we can write

\begin{displaymath}
\beta^i(g) = -\frac{1}{12} G^{i j}(g) \partial_j c(g).
\end{displaymath}
\hypertarget{references}{}\subsection*{{References}}\label{references}

\begin{itemize}%
\item A. B. Zamolodchikov (1986), \emph{``Irreversibility'' of the Flux of the Renormalization Group in a 2-D Field Theory}, JETP Lett. \textbf{43}: 730--732. (\href{http://www.jetpletters.ac.ru/ps/1413/article_21504.pdf}{pdf})
\item J. Cardy (1996), \emph{Scaling and Renormalization in Statistical Physics.} Cambridge Lecture Notes in Physics.
\item J. Cardy (2010), \emph{The Ubiquitous `c': From the Stefan--Boltzmann Law to Quantum Information}, J.Stat.Mech. \textbf{2010}: P10004, (\href{http://arxiv.org/abs/1008.2331}{arXiv:1008.2331})
\item R. C. Myers and A. Sinha (2010), \emph{Seeing a $c$-theorem with holography}, Physical Review D \textbf{82}: 046006, (\href{http://arxiv.org/abs/1006.1263}{arXiv:1006.1263})
\item R. C. Myers and A. Sinha (2011), \emph{Holographic $c$-theorems in arbitrary dimensions}, Journal of High Energy Physics \textbf{2011}, 1: 1--53, (\href{http://arxiv.org/abs/1011.5819}{arXiv:1011.5819})
\item Z. Komargodski and A. Schwimmer (2011), \emph{On renormalization group flows in four dimensions}, (\href{http://arxiv.org/abs/1107.3987}{arXiv:1107.3987})
\item Wikipedia, \href{http://en.wikipedia.org/wiki/Callan%E2%80%93Symanzik_equation}{Callan--Symanzik equation}

\end{itemize}


\end{document}