\begin{filecontents}{xspace.sty}
%%
%% This is file `xspace.sty',
%% generated with the docstrip utility.
%%
%% The original source files were:
%%
%% xspace.dtx  (with options: `package')
%%
%% IMPORTANT NOTICE:
%%
%% This file is a generated file from the sources of the `tools' bundle
%% in the LaTeX2e distribution.
%%
%% For the copyright notice see the source file(s).
%%
%% You are not allowed to modify this file.
%%
%% You are allowed to distribute this file if and only if
%% it is distributed with the corresponding source files in
%% the `tools' bundle.
%%
%% For the copying and distribution conditions of the source files,
%% see the file readme.txt distributed with the tools bundle.
%%
%% File: xspace.dtx Copyright (C) 1991-1996 David Carlisle
\NeedsTeXFormat{LaTeX2e}
\ProvidesPackage{xspace}
           [1996/05/17 v1.04 Space after command names (DPC)]
\DeclareRobustCommand\xspace{\futurelet\@let@token\@xspace}
\def\@xspace{%
   \ifx\@let@token\bgroup\else
   \ifx\@let@token\egroup\else
   \ifx\@let@token\/\else
   \ifx\@let@token\ \else
   \ifx\@let@token~\else
   \ifx\@let@token.\else
   \ifx\@let@token!\else
   \ifx\@let@token,\else
   \ifx\@let@token:\else
   \ifx\@let@token;\else
   \ifx\@let@token?\else
   \ifx\@let@token/\else
   \ifx\@let@token'\else
   \ifx\@let@token)\else
   \ifx\@let@token-\else
    \space
    \fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi\fi}

\endinput
%%
%% End of file `xspace.sty'.
\end{filecontents}

\begin{filecontents}{paper2e.sty}
% -----------------------------------------------------------------------------
% Page style settings
% -----------------------------------------------------------------------------
\setlength{\textwidth}{6in}
\setlength{\oddsidemargin}{0.25in}
\setlength{\evensidemargin}{0.25in}
\setlength{\topmargin}{-0.6in}%-0.40in
\setlength{\headheight}{0.3in}
\setlength{\headsep}{0.4in}
\setlength{\textheight}{8.4in}%8.4in
%\setlength{\footheight}{0.2in}
\setlength{\footskip}{0.7in}
\renewcommand{\baselinestretch}{1.1}  % line spacing
\setlength{\footnotesep}{.15in}
\setlength{\parskip}{3pt plus 0.2pt}

% ----------------------------------------------------------------------------
% Miscelaneous tools
% ----------------------------------------------------------------------------

% test whether argument is empty (a hack borrowed from eplain.tex)
\def\ifempty#1{\@ifempty #1\@emptymarkA\@emptymarkB}%
\def\@ifempty#1#2\@emptymarkB{\ifx #1\emptymarkA}%
\def\@emptymarkA{\@emptymarkA}%

% ----------------------------------------------------------------------------
% Draft mode
% ----------------------------------------------------------------------------

\newcounter{papermode}
\newcommand{\draft}{\setcounter{papermode}{1}}

% -----------------------------------------------------------------------------
% Title page
% -----------------------------------------------------------------------------

\renewenvironment{titlepage}{%
	\setcounter{page}{0}%  reset page #
	\pagestyle{empty}%  no page number
	\renewcommand{\thefootnote}{\fnsymbol{footnote}}}%  use symbols
%
	{\newpage%  send it out
	\renewcommand{\thefootnote}{\arabic{footnote})}%  use numbers
     \setcounter{footnote}{0}%  reset footnote #
	\setcounter{page}{1}}%  reset page #

% preprint numbers
\newcommand{\preprint}[1]{%
     \begin{flushright}%
     #1%
     \end{flushright}}

% title
\renewcommand{\title}[1]{%
	\bigskip%
	\begin{center}%
	\Large\bf #1%
  	\end{center}%
	\vskip .2in}

% author
\renewcommand{\author}[1]{%
	{\begin{center}
	#1
	\end{center}}}

% address
\newcommand{\address}[1]{\vspace{-1.7em}\vspace{0pt}
	{\begin{center}
	\it #1
	\end{center}}}

\renewenvironment{abstract}{%
     \noindent%
     \begin{center}%
     {\bf Abstract}\\\medskip%
     \begin{minipage}[t]{5.3in}}%
%
	{\end{minipage}%
	\end{center}}

% pacs numbers
\newcommand{\pacs}[1]{%
	{\rightline{PACS #1}}}

% date
\renewcommand{\date}[1]{%
	\begin{center}%
	#1%
	\end{center}}


% -----------------------------------------------------------------------------
% Sectioning style
% -----------------------------------------------------------------------------

% Reduce space in section headings
\renewcommand{\@seccntformat}[1]{%
	{\csname the#1\endcsname}\ \ }

% Section
\renewcommand{\section}{%
     \@startsection{section}{1}{\z@}%
     {-3.5ex plus -1ex minus -.2ex}%
     {2.3ex plus.2ex}%
     {\centering\normalsize\bfseries}}

%\renewcommand{\sec}[2][]{% optional argument is label
%    \ifempty#1% no optional argumet
%    \section{#2}% just start section
%    \else\section{#2\label{sec:#1}}}% label section

\newcommand{\Sec}[1]{{Sec.~\ref{sec:#1}}}

% Subsection
\renewcommand{\subsection}{\@startsection{subsection}{2}{0pt}%
	{-3.25ex plus -1ex minus -.2ex}%
	{1.5ex plus .2ex}%
	{\centering\normalsize\itshape}}

% Start appendices
%
% Example:
%
% \startappendices
% \section{Appendix A: ...}
% ...
% \section{Appendix B: ...}
% ...
% etc.
%
\newcommand{\startappendices}{%
		\setcounter{equation}{0}%
         \setcounter{section}{1}%
		\setcounter{subsection}{1}%
         \renewcommand{\thesection}{\Alph{section}}}

\newcommand\fakesection{\@startsection {section}{1}{\z@}%
                                    {-3.5ex \@plus -1ex \@minus -.2ex}%
                                    {2.3ex \@plus.2ex}%
                                    {\centering\normalsize\bfseries}}
% Appendix
%
% Do *not* use with \startappendices!
\newcounter{appendixcount}%
\setcounter{appendixcount}{0}%
\renewcommand{\appendix}[1]{%
	\ifnum\value{appendixcount} = 0% first appendix
         	%\newpage%
		\setcounter{equation}{0}%
         \setcounter{section}{0}%
		\setcounter{subsection}{1}%
         \renewcommand{\thesection}{\Alph{section}}%
	\fi{}%
	\stepcounter{appendixcount}
	\stepcounter{section}
	\section*{#1}}

% -----------------------------------------------------------------------------
% References
% -----------------------------------------------------------------------------

\newenvironment{references}{%
	%\newpage%  start new page
	\begin{thebibliography}{99}%
	\frenchspacing}%  use tighter spacing
%
	{\end{thebibliography}}

% -----------------------------------------------------------------------------
% Equation numbering
% -----------------------------------------------------------------------------

% Turn on equation numbering by section
\makeatletter%  allow access to internal LaTeX commands
	\renewcommand{\theequation}{\thesection.\arabic{equation}}%
	\@addtoreset{equation}{section}%
\makeatother%  turn off access to internal LaTeX commands

% -----------------------------------------------------------------------------
% Citation abbreviations
% -----------------------------------------------------------------------------

\newcommand{\cites}[2]{[#1--#2]}

% -----------------------------------------------------------------------------
% Draft mode stuff
% -----------------------------------------------------------------------------

\def\endignore{}
\def\ignore #1\endignore{}
\end{filecontents}


\begin{filecontents}{mydefs2e.sty}
% ----------------------------------------------------------------------------
% Text abbreviations
% ----------------------------------------------------------------------------

\usepackage{xspace}
\usepackage{equations}% by Charles Karney

% General
\newcommand{\lhs}{left-hand\ side\xspace}
\newcommand{\rhs}{right-hand\ side\xspace}

\newcommand{\ie}{\textit{i.e.}\xspace}
\newcommand{\eg}{\textit{e.g.}\xspace}
\newcommand{\etc}{\textit{etc.}\xspace}
\newcommand{\etal}{\textit{et.~al.}\xspace}
\newcommand{\apriori}{\textit{\'a priori}\xspace}

\newcommand{\naive}{na\"\i ve\xspace}
\newcommand{\naively}{na\"\i vely\xspace}
\newcommand{\Naive}{Na\"\i ve\xspace}
\newcommand{\Naively}{Na\"\i vely\xspace}

% Quantum mechanics
\newcommand{\vev}{va\-cuum\ ex\-pec\-ta\-tion\ value\xspace}
\newcommand{\vevs}{va\-cuum\ ex\-pec\-ta\-tion\ values\xspace}
\newcommand{\Vev}{Va\-cuum\ ex\-pec\-ta\-tion\ value\xspace}
\newcommand{\Vevs}{Va\-cuum\ ex\-pec\-ta\-tion\ values\xspace}
\newcommand{\SE}{Schr\"o\-ding\-er\ equa\-tion\xspace}

% Group theory
\newcommand{\rep}{rep\-re\-sen\-ta\-tion\xspace}
\newcommand{\reps}{rep\-re\-sen\-ta\-tions\xspace}
\newcommand{\Rep}{Rep\-re\-sen\-ta\-tion\xspace}
\newcommand{\Reps}{Rep\-re\-sen\-ta\-tions\xspace}

\newcommand{\trans}{trans\-for\-ma\-tion\xspace}
\newcommand{\transs}{trans\-for\-ma\-tions\xspace}
\newcommand{\Trans}{Trans\-for\-ma\-tion\xspace}
\newcommand{\Transs}{Trans\-for\-ma\-tions\xspace}

% Effective Field Theory
\newcommand{\cpt}{chi\-ral\ per\-tur\-ba\-tion\ theory\xspace}
\newcommand{\lag}{la\-gran\-gian\xspace}

% Standard Model
\newcommand{\ew}{elec\-tro\-weak\xspace}
\newcommand{\FCNC}{fla\-vor-chan\-ging neu\-tral cur\-rent\xspace}
\newcommand{\FCNCs}{fla\-vor-chan\-ging neu\-tral cur\-rents\xspace}
\newcommand{\tHooft}{'t~Hooft\xspace}
% \newcommand{\CP}{{\it CP}\xspace}
% \newcommand{\CPT}{{\it CPT}\xspace}
\newcommand{\CP}{$C\!P$\xspace}
\newcommand{\CPT}{$C\!P\!T$\xspace}

% SUSY
\newcommand{\Kahler}{K\"ah\-ler\xspace}
\newcommand{\OR}{O'Rai\-fear\-taigh\xspace}
\newcommand{\spot}{su\-per\-po\-ten\-tial\xspace}
\newcommand{\susy}{su\-per\-sym\-me\-try\xspace}
\newcommand{\Susy}{Su\-per\-sym\-me\-try\xspace}
\newcommand{\susc}{su\-per\-sym\-me\-tric\xspace}
\newcommand{\Susc}{Su\-per\-sym\-me\-tric\xspace}
\newcommand{\MSSM}{mi\-ni\-mal \susc stan\-dard mo\-del\xspace}

% ----------------------------------------------------------------------------
% Hyphenation
% ----------------------------------------------------------------------------

\hyphenation{ba-ry-on ba-ry-ons}
\hyphenation{la-gran-gi-an la-gran-gi-ans}
\hyphenation{mo-del mo-dels}
\hyphenation{mo-men-ta mo-men-tum}
\hyphenation{par-ti-cle par-ti-cles}
\hyphenation{phy-si-cal phy-sics}

% ----------------------------------------------------------------------------
% Miscelaneous tools
% ----------------------------------------------------------------------------

%test if argument is empty (copied from eplain.tex)
\def\ifempty#1{\@ifempty #1\@emptymarkA\@emptymarkB}%
\def\@ifempty#1#2\@emptymarkB{\ifx #1\emptymarkA}%
\def\@emptymarkA{\@emptymarkA}%

% use to "comment out" text
\def\endignore{}
\def\ignore #1\endignore{}

% ----------------------------------------------------------------------------
% Equation abbreviations
% ----------------------------------------------------------------------------

% reference equations
\newcommand{\eq}[1]{(\ref{eq:#1})}  % plain equation reference
\newcommand{\Eq}[1]{Eq.~\eq{#1}}  	 % always capitalize "Eq"
\newcommand{\Eqs}[1]{Eqs.~\eq{#1}}

% label equation
\newcommand{\eql}[1]{\label{eq:#1}}

% inline equation
\newcommand{\beq}[1][]% optional argument is equation label
     {\begin{eqalignno}% works even if equation has no &
     \ifempty#1\else% optional argument argument
         \eql{#1}\fi%
}

\newcommand{\eeq}{\end{eqalignno}}

\newcommand{\bal}{\begin{eqalign}}
\newcommand{\eal}{\end{eqalign}}

% begin unnumbered equation (or array)
\newcommand{\beqn}{\begin{eqalignno*}}
\newcommand{\eeqn}{\end{eqalignno*}}

% eqalign abbreviation
\newcommand{\bea}{\begin{eqalign}}
\newcommand{\eea}{\end{eqalign}}

% ----------------------------------------------------------------------------
% Citation abbreviations
% ----------------------------------------------------------------------------

% reference
\newcommand{\Ref}[1]{{Ref.~\cite{#1}}}
\newcommand{\Refs}[1]{{Refs.~\cite{#1}}}

% ----------------------------------------------------------------------------
% Figures
% ----------------------------------------------------------------------------

% change figure heading style (by J. Shultis)
\long\def\@makecaption#1#2{\vskip 10\p@
\setbox\@tempboxa\hbox{{\bf #1.} #2}% bold and "." instead of ":"
\ifdim \wd\@tempboxa >\hsize
{\bf #1.} #2\par% bold and "." instead of ":"
\else
\hbox to\hsize{\hfil\box\@tempboxa\hfil}%
\fi}

% change "Figure" to "Fig"
\newcommand{\thefigurename}{Fig.}
\def\fnum@figure{\thefigurename\ \thefigure}

% caption
\newcommand{\capt}[1]{%
     \begin{minipage}[t]{5in}%
     \caption{#1}%
     \end{minipage}%
}

% include eps figure (first optional argument is label}
\newcommand{\epsfig}[3][]{%
     \begin{figure}[htbp]%
         \begin{center}%
             \centerline{\epsfbox{#2}}%
             \capt{#3}%
         \end{center}%
     \ifempty#1\else% optional argument present
         \label{fig:#1}\fi%
     \end{figure}%
}

% reference figures
% reference equations
\newcommand{\fig}[1]{\ref{fig:#1}}  % plain figure reference
\newcommand{\Fig}[1]{Fig.~\fig{#1}}  % always capitalize "Fig"
\newcommand{\Figs}[1]{Figs.~\fig{#1}}



% ----------------------------------------------------------------------------
% Math relations
% ----------------------------------------------------------------------------

\newcommand{\too}{\longrightarrow}
\newcommand{\mapstoo}{\longmapsto}

\newcommand{\df}{\mathrel{:=}}
\newcommand{\fd}{\mathrel{=:}}

% ----------------------------------------------------------------------------
% Math functions
% ----------------------------------------------------------------------------

\newcommand{\Prob}{\mathop{\rm Prob}}
\newcommand{\tr}{\mathop{\rm tr}}
\newcommand{\Tr}{\mathop{\rm Tr}}
\newcommand{\Det}{\mathop{\rm Det}}
\newcommand{\Pf}{\mathop{\rm Pf}}
\newcommand{\sgn}{\mathop{\rm sgn}}
\newcommand{\diag}{\mathop{\rm diag}}

\renewcommand{\Re}{\mathop{\rm Re}}
\renewcommand{\Im}{\mathop{\rm Im}}

% ----------------------------------------------------------------------------
% Groups
% ----------------------------------------------------------------------------

\newcommand{\Group}[2]{{\hbox{{\itshape{#1}}($#2$)}}}
\newcommand{\U}[1]{\Group{U\kern0.05em}{#1}}
\newcommand{\SU}[1]{\Group{SU\kern0.1em}{#1}}
\newcommand{\SL}[1]{\Group{SL\kern0.05em}{#1}}
\newcommand{\Sp}[1]{\Group{Sp\kern0.05em}{#1}}
\newcommand{\SO}[1]{\Group{SO\kern0.1em}{#1}}

% ----------------------------------------------------------------------------
% Math accents
% ----------------------------------------------------------------------------

\newcommand{\scr}[1]{\ensuremath{\mathcal{#1}}}

\newcommand{\sub}[1]{^{\vphantom{\dagger}}_{#1}}
\newcommand{\rsub}[1]{\mathstrut_{\hbox{\scriptsize #1}}}
\newcommand{\rsup}[1]{\mathstrut^{\hbox{\scriptsize #1}}}

\newcommand{\twi}{\widetilde}
\newcommand{\mybar}[1]%
	{{\kern 0.8pt\overline{\kern -0.8pt#1\kern -0.8pt}\kern 0.8pt}}
\newcommand{\sla}[1]%
	{{\raise.15ex\hbox{$/$}\kern-.57em #1}}% Feynman slash
\newcommand{\Sla}[1]%
	{{\raise.15ex\hbox{$/$}\kern-.75em #1}}% Feynman slash
\newcommand{\roughly}[1]%
	{{\mathrel{\raise.3ex\hbox{$#1$\kern-.75em\lower1ex\hbox{$\sim$}}}}}

% ----------------------------------------------------------------------------
% Other math structures
% ----------------------------------------------------------------------------

% bras, kets, etc.
\newcommand{\bra}[1]{\langle #1 |}
\newcommand{\ket}[1]{| #1 \rangle}
\newcommand{\braket}[2]{\langle #1 | #2 \rangle}
\newcommand{\Bra}[1]{\left\langle #1 \left|}
\newcommand{\Ket}[1]{\right| #1 \right\rangle}
\newcommand{\Tvev}[1]{\langle 0 | T #1 | 0 \rangle}
\newcommand{\avg}[1]{\langle #1 \rangle}
\newcommand{\Avg}[1]{\left\langle #1 \right\rangle}
\newcommand{\nop}[1]{:\kern-.3em#1\kern-.3em:}

\newcommand{\vacbra}{{\bra 0}}
\newcommand{\vac}{{\ket 0}}

% rough comparisons
\newcommand{\lsim}{\mathrel{\roughly<}}
\newcommand{\gsim}{\mathrel{\roughly>}}

% integrals
\newcommand{\myint}{\int\mkern-5mu}
\newcommand{\ddx}[2]{d^{#1}#2\,}
\newcommand{\ddp}[2]{\frac{d^{#1}#2}{(2\pi)^{#1}}\,}

% derivatives
\newcommand{\del}{\partial}
\newcommand{\ddel}[2]{\frac{\partial{#1}}{\partial{#2}}}

% Math constructs -------------------------------------------------------------

\newcommand{\sfrac}[2]{{\textstyle\frac{#1}{#2}}}

\newcommand{\hc}{\ensuremath{\mathrm{h.c.}}}

% Abbreviations ---------------------------------------------------------------

% Greek letters (first two letters of name)
\newcommand{\al}{\ensuremath{\alpha}}
\newcommand{\be}{\ensuremath{\beta}}
\newcommand{\ga}{\ensuremath{\gamma}}
\newcommand{\Ga}{\ensuremath{\Gamma}}
\newcommand{\de}{\ensuremath{\delta}}
\newcommand{\De}{\ensuremath{\Delta}}
\newcommand{\ep}{\ensuremath{\epsilon}}
\newcommand{\ze}{\ensuremath{\zeta}}
\newcommand{\et}{\ensuremath{\eta}}
\renewcommand{\th}{\ensuremath{\theta}}
\newcommand{\Th}{\ensuremath{\Theta}}
\newcommand{\vth}{\ensuremath{\vartheta}}
\newcommand{\ka}{\ensuremath{\kappa}}
\newcommand{\la}{\ensuremath{\lambda}}
\newcommand{\La}{\ensuremath{\Lambda}}
\newcommand{\rh}{\ensuremath{\rho}}
\newcommand{\si}{\ensuremath{\sigma}}
\newcommand{\Si}{\ensuremath{\Sigma}}
\newcommand{\ta}{\ensuremath{\tau}}
\newcommand{\Up}{\ensuremath{\Upsilon}}
\newcommand{\ph}{\ensuremath{\phi}}
\newcommand{\vph}{\ensuremath{\varphi}}
\newcommand{\Ph}{\ensuremath{\Phi}}
\newcommand{\ps}{\ensuremath{\psi}}
\newcommand{\Ps}{\ensuremath{\Psi}}
\newcommand{\om}{\ensuremath{\omega}}
\newcommand{\Om}{\ensuremath{\Omega}}

% Squares ---------------------------------------------------------------------

% draw box with width #1 pt and line thickness #2 pt
\newcommand{\drawsquare}[2]{\hbox{%
\rule{#2pt}{#1pt}\hskip-#2pt%  left vertical
\rule{#1pt}{#2pt}\hskip-#1pt%  lower horizontal
\rule[#1pt]{#1pt}{#2pt}}\rule[#1pt]{#2pt}{#2pt}\hskip-#2pt%  upper horizontal
\rule{#2pt}{#1pt}}% right vertical

% Young tableaux
\newcommand{\fund}{\drawsquare{7}{0.6}}%  fundamental
\newcommand{\symm}{\drawsquare{7}{0.6}\hskip-0.6pt%
	\drawsquare{7}{0.6}}%  symmetric second rank tensor
\newcommand{\asymm}{\drawsquare{7}{0.6}\hskip-7.6pt%
	\raisebox{7pt}{\drawsquare{7}{0.6}}}%  antisymmetric second rank

% small Young Tableaux
\newcommand{\sfund}{\drawsquare{4}{0.6}}%  fundamental
\newcommand{\ssymm}{\drawsquare{4}{0.6}\hskip-0.6pt%
	\drawsquare{4}{0.6}}%  symmetric second rank tensor
\newcommand{\sasymm}{\drawsquare{4}{0.6}\hskip-4.6pt%
	\raisebox{4pt}{\drawsquare{4}{0.6}}}%  small antisymmetric second rank

% bone one
\newcommand{\one}{{\bf 1}}

% Delambertian
\newcommand{\Dlamb}{\ensuremath{\mathop{\drawsquare{7}{0.6}}}}

% -----------------------------------------------------------------------------
% Units
% -----------------------------------------------------------------------------

\newcommand{\eV}{\ensuremath{\mathrm{~eV}}}
\newcommand{\keV}{\ensuremath{\mathrm{~keV}}}
\newcommand{\MeV}{\ensuremath{\mathrm{~MeV}}}
\newcommand{\GeV}{\ensuremath{\mathrm{~GeV}}}
\newcommand{\TeV}{\ensuremath{\mathrm{~TeV}}}
\newcommand{\cm}{\ensuremath{\mathrm{~cm}}}
\newcommand{\degree}{^{\circ}}

% -----------------------------------------------------------------------------
% Journals
% -----------------------------------------------------------------------------
\newcommand{\JHEP}[3]{{\it JHEP}\ {#1:#2} (#3)}

\newcommand{\Journal}[4]{\textit{#1}\ \textbf{#2}, #3 (#4)}% APS style
\newcommand{\AP}[3]{\Journal{Ann.\ Phys.}{#1}{#2}{#3}}
\newcommand{\CMP}[3]{\Journal{Comm.\ Math.\ Phys.}{#1}{#2}{#3}}
\newcommand{\ARNPS}[3]{\Journal{Ann.\ Rev.\ Nucl.\ Part.\ Sci.}{#1}{#2}{#3}}
\newcommand{\EPJC}[3]{\Journal{Eur.\ Phys.\ J.}{#1}{#2}{#3}}
\newcommand{\HPA}[3]{\Journal{Helv.\ Phys.\ Act.}{#1}{#2}{#3}}
\newcommand{\IJTP}[3]{\Journal{Int.\ Jour.\ Theor.\ Phys.}{#1}{#2}{#3}}
\newcommand{\IJMP}[3]{\Journal{Int.\ Jour.\ Mod.\ Phys.}{#1}{#2}{#3}}
\newcommand{\JETP}[3]{\Journal{JETP}{#1}{#2}{#3}}
\newcommand{\JETPL}[3]{\Journal{JETP Lett.}{#1}{#2}{#3}}
\newcommand{\JMP}[3]{\Journal{Jour.\ Math.\ Phys.}{#1}{#2}{#3}}
\newcommand{\JPA}[3]{\Journal{Jour.\ Phys.}{A#1}{#2}{#3}}
\newcommand{\MPLA}[3]{\Journal{Mod.\ Phys.\ Lett.}{A#1}{#2}{#3}}
\newcommand{\NC}[3]{\Journal{Nuovo Cim.}{#1}{#2}{#3}}
\newcommand{\NPB}[3]{\Journal{Nucl.\ Phys.}{B#1}{#2}{#3}}
\newcommand{\NPPS}[3]{\Journal{Nucl.\ Phys.\ Proc.\ Suppl.}{#1}{#2}{#3}}
\newcommand{\PA}[3]{\Journal{Physica}{#1A}{#2}{#3}}
\newcommand{\PLB}[3]{\Journal{Phys.\ Lett.}{#1B}{#2}{#3}}
\newcommand{\PR}[3]{\Journal{Phys.\ Rep.}{#1}{#2}{#3}}
\newcommand{\PRD}[3]{\Journal{Phys.\ Rev.}{D#1}{#2}{#3}}
\newcommand{\PRC}[3]{\Journal{Phys.\ Rev.}{C#1}{#2}{#3}}
\newcommand{\PRL}[3]{\Journal{Phys.\ Rev.\ Lett.}{#1}{#2}{#3}}
\newcommand{\PRSL}[3]{\Journal{Proc. Roy. Soc. (London)}{#1}{#2}{#3}}
\newcommand{\PRV}[3]{\Journal{Phys.\ Rev.}{#1}{#2}{#3}}
\newcommand{\PTP}[3]{\Journal{Prog.\ Theor.\ Phys.}{#1}{#2}{#3}}
\newcommand{\RMP}[3]{\Journal{Rev.\ Mod.\ Phys.}{#1}{#2}{#3}}
\newcommand{\SJNP}[3]{\Journal{Sov.\ J.\ Nucl.\ Phys.}{#1}{#2}{#3}}
\newcommand{\ZETFP}[3]{\Journal{Zh.\ Eksp.\ Teor.\ Fiz.\ Pis'ma}{#1}{#2}{#3}}
\newcommand{\ZPC}[3]{\Journal{Zeit.\ Phys.}{C#1}{#2}{#3}}

% e-print archives
\newcommand{\hepph}[1]{\hbox{\tt hep-ph/\-#1}}
\newcommand{\hepth}[1]{\hbox{\tt hep-th/\-#1}}
\newcommand{\nuclth}[1]{{nucl-th/#1}}

\endinput

\end{filecontents}

\begin{filecontents}{equations.sty}
% This file, equations.sty (July 1990), contains a collection of macros
% to aid in constructing displayed equations in LaTeX.  Written by
%
%  Charles Karney
%  Plasma Physics Laboratory	  E-mail:  Karney@Princeton.EDU
%  Princeton University		  Phone:   +1 609 243 2607
%  Princeton, NJ 08543-0451	  FAX:	   +1 609 243 2662
% with some ideas and macros borrowed from John Hobby and Stephen Gildea.

\def\fileversion{2.0}
\def\filedate{93/12/17}
\def\docdate {93/08/30}

% 93/12/17 -- take out the \showthe
% \changes{v2.0}{93/08/30}{Added optional arguments to \yesnumber and
%	\begin{equation}}
%

% --------------------USER DOCUMENTATION--------------------

% Use this as a style option, e.g.,
%     \documentstyle[equations]{article}
% These probably don't work in conjunction with the leqno option.

% This implements the following:

% (1) \yesnumber turns on an equation number in an eqnarray* environment
% (just as \nonumber turns it off in an eqnarray environment).  E.g.,
%     \begin{eqnarray*}
%        a &=& b \\
%          & & + c \\
%          & & + d \\
%          & & + e \\
%          & & + f \\
%          & & + g \yesnumber
%     \end{eqnarray*}
%
%   \yesnumber takes an optional argument that will be used for the
%   equation number.  The equation counter will not be incremented.
%	\begin{eqnarray*}
%          & & + f \\
%          & & + g \yesnumber[**]
%     \end{eqnarray*}
%

% (2) The eqalign environment is just like Plain TeX's \eqalign.  E.g.,
%     \begin{equation}
%           \begin{eqalign}
%              a &= b, \\
%              c &= d.
%           \end{eqalign}
%     \end{equation}
% Note that \begin{equation} \end{equation} or equivalent is needed.

% (3) The eqalignno environment is just like Plain TeX's \eqalignno.  E.g.,
%     \begin{eqalignno}
%        a &= b, \label{foo}\\
%        c &= d. \label{bar}
%     \end{eqalignno}
% Note the absence of \begin{equation} \end{equation}.  \nonumber can be used
% to suppress the equation number.  eqalignno* is the same except that the
% equation numbers are suppressed (unless a \yesnumber appears).

% (4) The eqaligntwo environment is a two-equation per line equivalent of
% eqalignno.  E.g.,
%     \begin{eqaligntwo}
%        a &= b, & x &= y, \label{foo} \\
%        c &= d, & z &= w. \label{bar}
%     \end{eqaligntwo}
% eqaligntwo* is defined similarly.

% (5) The cases environment is just like Plain TeX's \cases.  E.g.,
%     \begin{equation}
%        u(x) =
%           \begin{cases}
%             0, & for $x < 0$, \\
%             1, & for $x \ge 0$.
%           \end{cases}
%     \end{equation}
% Note the first column is treated as math, the second column as text.

% (6) I've borrowed John Hobby's modifications to the eqnarray environment
% (to fix up the spacing around the operator), and to the \big, \bigg, etc.
% operators (to make them scale with the point size).

% (7) I've borrowed Stephen Gildea's subequations environment, and fixed it
% so that it ignores spaces after the environment and so that you can refer
% both to the overall set of equations and to individual subequations.  E.g.,
%     \begin{subequations} \label{foo}
%       \begin{eqalignno}
%          a &= b, \label{foo-a} \\
%          c &= d, \label{foo-b}
%       \end{eqalignno}
%       text text text text ...
%       \begin{equation}
%          e = f. \label{foo-c}
%       \end{equation}
%     \end{subequations}
% Now \ref{foo}, \ref{foo-a}, \ref{foo-b}, \ref{foo-c}, produce 1, 1a, 1b,
% 1c.

% (8) The equation number is always printed in text mode.  Normally an
% equation environment would print it in math mode (with the \rm family).
% This only makes a difference if \rm in text and math modes gives you
% different fonts.
%
% (8) \begin{equation} can take an optional argument that will be used for the
% equation number.  The equation counter will not be incremented.
%	\begin{equation}[$G'$]
%		2 + 2 = 4
%	\end{equation}

% --------------------END OF USER DOCUMENTATION--------------------

% Fix up eqnarray* so that \yesnumber and \nonumber do the obvious things
% Incorporate fixes of Peter Vanroose (peter@dit.lth.se) to make \yesnumber
% actually work.
\newif\if@defeqnsw \@defeqnswtrue

% Has the user specified a hard-wired equation number?
\newif\if@hardeqn \@hardeqnfalse

% This is John Hobby's (hobby@research.att.com) version to fix up the spacing.
\def\eqnarray{\stepcounter{equation}\let\@currentlabel=\theequation
\if@defeqnsw\global\@eqnswtrue\else\global\@eqnswfalse\fi
\tabskip\@centering\let\\=\@eqncr
$$\halign to \displaywidth\bgroup\hfil\global\@eqcnt\z@
   $\displaystyle\tabskip\z@{##}$&\global\@eqcnt\@ne
   \hfil$\displaystyle{{}##{}}$\hfil
   &\global\@eqcnt\tw@ $\displaystyle{##}$\hfil
   \tabskip\@centering&\llap{##}\tabskip\z@\cr}

\@namedef{eqnarray*}{\@defeqnswfalse\global\@eqnswfalse\eqnarray}
\@namedef{endeqnarray*}{\endeqnarray}

\def\yesnumber{\@ifnextchar[{\@yesnumber}{\global\@eqnswtrue}}	% ]

% Set up to use an hardwired equation number in an eqnarray
\def\@yesnumber[#1]{\global\@eqnswtrue
	\global\@hardeqntrue\let\ref=\expandableref\xdef\@hardeqndef{#1}}

% This is taken out of \@@eqncr because TeX \if nesting was misdesigned - ews
\def\make@eqnnum{\if@hardeqn{\def\theequation{\@hardeqndef}\@eqnnum}\global\@har
deqnfalse\else
                                  \@eqnnum\stepcounter{equation}\fi}

\def\@@eqncr{\let\@tempa\relax \global\advance\@eqcnt by \@ne
     \ifcase\@eqcnt \def\@tempa{& & & &}\or \def\@tempa{& & &}\or
      \def\@tempa{& &}\or \def\@tempa{&}\else\fi
      \@tempa \if@eqnsw\make@eqnnum\fi
      \if@defeqnsw\global\@eqnswtrue\else\global\@eqnswfalse\fi
      \global\@eqcnt\z@\cr}

% Several formulas like \eqalign (to go inside \begin{equation}
% \end{equation} or $$ $$.

\def\@eqnacr{{\ifnum0=`}\fi\@ifstar{\@yeqnacr}{\@yeqnacr}}

\def\@yeqnacr{\@ifnextchar [{\@xeqnacr}{\@xeqnacr[\z@]}}

\def\@xeqnacr[#1]{\ifnum0=`{\fi}\cr \noalign{\vskip\jot\vskip #1\relax}}

\def\eqalign{\null\,\vcenter\bgroup\openup1\jot \m@th \let\\=\@eqnacr
\ialign\bgroup\strut
\hfil$\displaystyle{##}$&$\displaystyle{{}##}$\hfil\crcr}
\def\endeqalign{\crcr\egroup\egroup\,}

% \cases

\def\cases{\left\{\,\vcenter\bgroup\normalbaselines\m@th \let\\=\@eqnacr
     \ialign\bgroup$##\hfil$&\quad##\hfil\crcr}
\def\endcases{\crcr\egroup\egroup\right.}

% Several formulas like \eqalignno (doesn't need the $$ $$)

\def\eqalignno{\stepcounter{equation}\let\@currentlabel=\theequation
\if@defeqnsw\global\@eqnswtrue\else\global\@eqnswfalse\fi
\let\\=\@eqncr
$$\displ@@ \tabskip\@centering \halign to \displaywidth\bgroup
   \global\@eqcnt\@ne\hfil
   $\@lign\displaystyle{##}$\tabskip\z@skip&\global\@eqcnt\tw@
   $\@lign\displaystyle{{}##}$\hfil\tabskip\@centering&
   \llap{\@lign##}\tabskip\z@skip\crcr}

\def\endeqalignno{\@@eqncr\egroup
       \global\advance\c@equation\m@ne$$\global\@ignoretrue}

\def\displ@@{\global\dt@ptrue\openup\jot\m@th % Remove \penalty from \displ@y
   \everycr{\noalign{\ifdt@p \global\dt@pfalse
       \vskip-\lineskiplimit \vskip\normallineskiplimit \fi}}}

% Here's the eqalignno* environment:

\@namedef{eqalignno*}{\@defeqnswfalse\eqalignno}
\@namedef{endeqalignno*}{\endeqalignno}

% Two formulas like \eqalignno (doesn't need the $$ $$)

\def\eqaligntwo{\stepcounter{equation}\let\@currentlabel=\theequation
\if@defeqnsw\global\@eqnswtrue\else\global\@eqnswfalse\fi
\let\\=\@eqncr
$$\displ@@ \tabskip\@centering \halign to \displaywidth\bgroup
   \global\@eqcnt\m@ne\hfil
   $\@lign\displaystyle{##}$\tabskip\z@skip&\global\@eqcnt\z@
   $\@lign\displaystyle{{}##}$\hfil\qquad&\global\@eqcnt\@ne
   \hfil$\@lign\displaystyle{##}$&\global\@eqcnt\tw@
   $\@lign\displaystyle{{}##}$\hfil\tabskip\@centering&
   \llap{\@lign##}\tabskip\z@skip\crcr}

\def\endeqaligntwo{\@@eqncr\egroup
       \global\advance\c@equation\m@ne$$\global\@ignoretrue}

\@namedef{eqaligntwo*}{\@defeqnswfalse\eqaligntwo}
\@namedef{endeqaligntwo*}{\endeqaligntwo}

% subequations
%%% File: subeqn.sty
%%% The subequations environment %%%
%
% Within the subequations environment, the only change is that
% equations are labeled differently.  The number stays the same,
% and lower case letters are appended.  For example, if after doing
% three equations, numbered 1, 2, and 3, you start a subequations
% environmment and do three more equations, they will be numbered
% 4a, 4b, and 4c.  After you end the subequations environment, the
% next equation will be numbered 5.
%
% Both text and equations can be put inside the subequations environment.
%
% If you make any improvements, I'd like to hear about them.
%
% Stephen Gildea
% MIT Earth Resources Lab
% Cambridge, Mass. 02139
% mit-erl!gildea
% gildea@erl.mit.edu
%
\newtoks\@stequation

\def\subequations{\refstepcounter{equation}%
   \edef\@savedequation{\the\c@equation}%
   \@stequation=\expandafter{\theequation}%   %only want \theequation
   \edef\@savedtheequation{\the\@stequation}% %expanded once
   \edef\oldtheequation{\theequation}%
   \setcounter{equation}{0}%
   \def\theequation{\oldtheequation\alph{equation}}}

\def\endsubequations{%
   \ifnum\c@equation < 2 \@warning{Only \the\c@equation\space subequation
     used in equation \@savedequation}\fi
   \setcounter{equation}{\@savedequation}%
   \@stequation=\expandafter{\@savedtheequation}%
   \edef\theequation{\the\@stequation}%
   \global\@ignoretrue}

% More from John Hobby
% Fix Plain's \bigl, \Bigl, etc. macros so that they try to scale with
% LaTeX size changes.

\ifx\selectfont\undefined	% nonNFSS version

% This uses the fact that \@setsize sets \ht\strutbox
% to be 70% of the normal unstretched baselineskip.
% (Actually it doesn't, so we have to redefine \@setsize to define \strutboxa

\newbox\strutboxa
\def\@setsize#1#2#3#4{\@nomath#1\let\@currsize#1\baselineskip
    #2\setbox\strutboxa\hbox{\vrule height.7\baselineskip
       depth.3\baselineskip width\z@}\baselineskip\baselinestretch\baselineskip
    \normalbaselineskip\baselineskip#3#4}
\def\struta{\relax\ifmmode\copy\strutboxa\else\unhcopy\strutboxa\fi}

\def\big#1{{\hbox{$\left#1\vcenter to1.428\ht\strutboxa{}\right.\n@space$}}}
\def\Big#1{{\hbox{$\left#1\vcenter to2.142\ht\strutboxa{}\right.\n@space$}}}
\def\bigg#1{{\hbox{$\left#1\vcenter to2.857\ht\strutboxa{}\right.\n@space$}}}
\def\Bigg#1{{\hbox{$\left#1\vcenter to3.571\ht\strutboxa{}\right.\n@space$}}}

\else % NFSS version

% Change \fontsize so that it remembers the \baselineskip in \baselinex
\newdimen\baselinex
\newbox\strutboxa
\def\fontsize#1#2{%
     \edef\f@size{#1}%
     \edef\setnew@baselineskip{\baselinex #2\relax%\showthe\baselinex
	\setbox\strutboxa\hbox{\vrule height.7\baselinex 
depth.3\baselinex width\z@}%
	\baselineskip #2\relax}%
     \edef\lcl@currsize{#1#2}}
\baselinex=\baselineskip
\def\struta{\relax\ifmmode\copy\strutboxa\else\unhcopy\strutboxa\fi}

\def\big#1{{\hbox{$\left#1\vcenter to1.0\baselinex{}\right.\n@space$}}}
\def\Big#1{{\hbox{$\left#1\vcenter to1.5\baselinex{}\right.\n@space$}}}
\def\bigg#1{{\hbox{$\left#1\vcenter to2.0\baselinex{}\right.\n@space$}}}
\def\Bigg#1{{\hbox{$\left#1\vcenter to2.5\baselinex{}\right.\n@space$}}}

\fi % nonNFSS version

% Finally, always put equation number in a box.  (Makes a difference when
% text Roman is not the same as textfont0

\def\@eqnnum{\mbox{\rm (\theequation)}}

% modify \begin{equation} \end{equation} so it will take an optional arg.
%
\def\equation{$$ % $$ BRACE MATCHING HACK
	\@ifnextchar[%     ] BRACE MATCHING HACK
	{\let\protect=\noexpand\@equation}%
	{\refstepcounter{equation}}}

\def\expandableref#1{\@ifundefined{r@#1}{??}%
         {\expandafter\expandafter\expandafter\@car\csname r@#1\endcsname\@nil}}

\let\@saveref=\ref
\def\@equation[#1]{%
	\let\ref=\expandableref
	\edef\theequation{#1}%
%\show\theequation
	\let\@currentlabel=\theequation
	\let\ref=\@saveref}

\endinput
\end{filecontents}


% =============================================================================
% START OF PAPER
% =============================================================================

\documentclass[12pt]{article}

\usepackage{paper2e}
\usepackage{mydefs2e}

\newcommand{\LUV}{\Lambda_{\rm UV}}
\newcommand{\LC}{\Lambda_{\rm CFT}}
\newcommand{\MP}{M_{*}}
\newcommand{\LIR}{\Lambda_{\rm IR}}


\begin{document}
%\newcommand{\Yfund}{\drawsquare{7}{0.6}}%  fundamental

\newcommand{\ths}{\vartheta}

\newcommand{\N}{$\scr{N}=1$\xspace}


% ---------------------------------------------------------------------
% Title page
% ---------------------------------------------------------------------
\begin{titlepage}
\preprint{UMD-PP-02-019 \\
JHU-TIPAC-2001-05}

\title{Anomaly Mediated Supersymmetry Breaking
      \\\medskip
in Four Dimensions, Naturally}

% \title{Natural Sequestering in Four Dimensions}

\author{Markus A. Luty}

\address{Department of Physics, University of Maryland\\
College Park, Maryland 20742, USA\\
{\tt mluty@physics.umd.edu}}

\author{Raman Sundrum}

\address{Department of Physics and Astronomy, Johns Hopkins University\\
Baltimore, Maryland 21218, USA\\
{\tt sundrum@pha.jhu.edu}}

\begin{abstract}
We present a simple four-dimensional
model in which anomaly mediated supersymmetry breaking naturally dominates.
The central ingredient is that the hidden sector is near a strongly-coupled
infrared fixed-point for several decades of energy below the Planck scale.
Strong renormalization effects then sequester the hidden sector from the
visible sector.
Supersymmetry is broken dynamically and requires no small input parameters.
The model provides a natural and economical explanation of the hierarchy
between the supersymmetry-breaking scale and the Planck scale, while
allowing anomaly mediation to address the phenomenological challenges posed
by weak scale supersymmetry.
In particular, flavor-changing neutral currents are naturally near their
experimental limits.
\end{abstract}

\end{titlepage}

% ------------------------------------------------------------------
\section{Introduction}
% ------------------------------------------------------------------
Anomaly mediated supersymmetry breaking (AMSB) \cite{amsb1, amsb2} is a
general supergravity mechanism that is tightly constrained by local
supersymmetry.
AMSB may play an important role in solving the major phenomenological
problems of weak scale supersymmetry (SUSY):
the flavor, $\mu$, and gaugino mass problems.
For example, \Ref{pomrat} describes a complete and very plausible extended
supersymmetric standard model where anomaly mediation is the main
ingredient in solving these problems and leads to a realistic and
distinctive spectrum.
\Refs{amsbfix} describe other proposals for weak scale AMSB.

In order for AMSB to dominate in the observable sector, SUSY breaking must
originate in a special type of hidden sector.
A general hidden  sector model has the form
\beq[genhid]
{\cal L} = {\cal L}_{\rm SUGRA} + {\cal L}_{\rm visible}
+ {\cal L}_{\rm hidden} +
       {\cal L}_{\rm mixed},
\eeq
where the first three terms are self-explanatory, while ${\cal L}_{\rm mixed}$
contains Planck-suppressed terms involving both visible and hidden
fields that cannot naturally be forbidden by symmetries.
AMSB in the visible sector arises from minimal coupling to supergravity,
in particular the auxiliary scalar field in the minimal formulation.
By supercovariance, this scalar couples via visible mass scales, in particular
the renormalization scale associated with the scale anomaly in radiative
corrections (hence `anomaly mediation').
Therefore, supersymmetry breaking effects arising from AMSB are suppressed
by loop factors.
In general hidden sector models, larger visible SUSY breaking can arise
directly from the hidden  sector through terms in ${\cal L}_{\rm mixed}$.
Therefore, in order for AMSB to dominate ${\cal L}_{\rm mixed}$ must be
strongly suppressed.%
\footnote{Note that this is true in superspace, but not after component
level field redefinitions to go to Einstein frame.
See \Ref{pomrat}.}
%
That is, the hidden and visible sectors are `sequestered'.

In \Refs{amsb1, radstab} it was shown that sequestering can be achieved if
the visible and hidden sectors are localized on different 3-branes
separated in extra dimensions.
Recently, we demonstrated that highly warped supersymmetric anti de Sitter
space (AdS) compactifications could be stabilized with sufficient
sequestering \cite{susywarp}.
AdS/conformal field theory (CFT) duality \cite{adscft} applied to such
compactifications \cite{adscftrs} then suggests that sequestering can also
arise in a purely 4D context with the help of strongly coupled conformal
dynamics.
In \Ref{last}, we showed that sequestering in fact occurs in a large
class of supersymmetric CFT's.
  We also presented a specific model incorporating SUSY breaking
of the required type.
This model is technically natural, but it requires several unexplained
small numbers.
In this paper, we will present a very simple and plausible model of
conformal sequestering, in which all large hierarchies are dynamically
generated.
Using `\naive dimensional analysis' to estimate the strong interaction
coefficients, we find that the model easily gives enough sequestering
so that anomaly mediation dominates, and % CP conserving
flavor-changing neutral currents are near their experimental limits.



The basic structure of our model is as follows.
The central component of ${\cal L}_{\rm hid}$ is a SUSY theory that is near
a strongly-coupled conformal fixed point below the Planck scale.
The infrared approach to the fixed point is governed by an order one
critical exponent $\beta_*'$.
Imposing certain exact hidden symmetries restricts the hidden sector
factors in ${\cal L}_{\rm mixed}$ to have the same form as the operators
in ${\cal L}_{\rm hid}$.
Because of this, the operators in ${\cal L}_{\rm mixed}$ can be viewed
as perturbations of hidden sector couplings with visible sector coefficients.
All such perturbations are suppressed by $(\mu/M)^{\beta_*'}$ as the hidden
sector approaches the fixed point, where  $\mu$ is the renormalization
scale and $M$ is the Planck scale.
This is the conformal sequestering mechanism.

Superconformal field theories naturally have a moduli space.
They are exactly superconformal only at the origin of moduli space, but
away from the origin, superconformal invariance is spontaneously broken.
The degeneracy of these vacua is lifted by weak, even technically
irrelevant perturbations to the fixed point theory.
We use such effects to generate an effective potential for the hidden
moduli space which stabilizes the moduli away from the origin with a SUSY
breaking vacuum energy.
The small numbers needed to ensure that the SUSY breaking scale and the
moduli VEVs are hierarchically smaller than the Planck scale are naturally
generated by non-perturbative % $e^{- 1/g^2}$
effects.




For an earlier application of strong conformal dynamics
(in the visible sector) to supersymmetric model-building see
\Ref{nelson-strassler}.



\section{The Model}

In this paper, we focus on  the hidden sector
   and the mechanism for sequestering from the visible sector.
The visible sector can be any theory for which AMSB yields an acceptable
phenomenology.
%For example we find \Ref{PR} a particularly
%attractive
%solution to the major challenges posed by weak-scale supersymmetry.
For now, we will restrict ourselves to global SUSY. In Section 4,
we will
%
%turn on
%
%+++
consider the
%+++
SUGRA corrections to the effective potential,
%
% to cancel the cosmological constant and to participate in modulus
%stabilization.
%
%+++
which are important for modulus stabilization and cancelling the
cosmological constant.

Our model of the hidden sector consists of two supersymmetric QCD (SQCD)
   subsectors:
a $SU(2)$ gauge theory with 4 flavors (8 fundamentals) $T^{J a}$
($J = 1, \ldots, 4$; $a = 1, 2$), denoted by SQCD$_2$;
and a $SU(3)$ gauge theory with 2 flavors $P^a$, $\bar{P}_a$
($a = 1, 2$), denoted by SQCD$_3$.
%
% We now detail the last two terms of \Eq{genhid} in our model.
% The hidden sector consists of two SQCD subsectors:
% an $SU(2)$ theory with 4 flavors, and a $SU(3)$ theory with 2 flavors.
% We denote these by SQCD$_2$ and SQCD$_3$, respectively, where the
% subscript indicates the number of colors.
% Since $SU(2)$ fundamentals and anti-fundamentals are
% equivalent, the 4 flavors of SQCD$_2$ simply correspond to eight
% identical gauge doublets that we denote, $T^{J a}$, $J = 1,2,3,4$,
% $a = 1, 2$.
% The SQCD$_3$ matter fields are denoted by $P^a$, $\bar{P}_a$.
Throughout the paper we will suppress all gauge indices, and we will
suppress the $a = 1, 2$ index when the meaning is clear.
%
% We assume that the hidden sector is invariant under the following
% symmetries:
We impose the following symmetries on the hidden sector:
permutations of the $T^{J}$, multiplication
of any of the $T^J$ by $-1$, charge conjugation for SQCD$_3$, and a
global $SU(2)$ symmetry acting on the $a = 1, 2$ index.%
%
\footnote{For readers concerned by quantum gravity violation of global
symmetries: the $SU(2)$ group can be weakly gauged, or can be replaced by a
suitable discrete subgroup.}
%
The theory has a superpotential invariant under these symmetries:
\beq[Wtree]
W = \frac{\la}{M} \sum_J (T^J T^J) (\bar{P} P)
+ \frac{\la'}{M} \sum_{J \neq K} (T^J T^J) (T^K T^K),
\eeq
where $M$ is the Planck scale.
We will show that this simple model sequesters itself from the visible
sector and has a local minimum that dynamically breaks SUSY.

The SQCD$_2$ sector is at the self-dual point of Seiberg's conformal window
\cite{Seiberg} and we will assume that it starts near its IR fixed point
coupling at the Planck scale.
It is therefore strongly coupled.
We assume the SQCD$_3$ sector is weakly coupled at the Planck scale.
We also assume that the superpotential couplings $\la$ and $\la'$ are
sufficiently small that they can be treated as perturbations of the
SQCD$_2$ fixed point.


The leading dangerous terms in ${\cal L}_{\rm mixed}$ compatible
with the hidden sector symmetries are
\beq[Lmixedops]
{\cal L}_{\rm mixed}(M) = \myint d^4 \th \left[
\frac{c^j{}_k}{M^2} Q^{\dagger}_j Q^k
\sum_{J} T_J^\dagger T^J + \frac{(c_P)^j{}_k}{M^2} Q^{\dagger}_j Q^k
(P^\dagger P + \bar{P}^\dagger \bar{P}) \right],
\eeq
where the $Q_j$ are visible chiral superfields.
The danger is that for $c$, $c_P$ of order unity and containing
SM flavor violation, flavor violating visible scalar masses will be generated
upon SUSY breaking in the hidden sector that will dominate over the
flavor-blind AMSB contributions.
We will show that the SQCD$_2$ conformal dynamics naturally suppresses the
effects of $c$, $c_P$ at low energies, allowing AMSB
to dominate the visible sector.
Supergravity loops can contribute to
mixed couplings, but they are dominant in the ultraviolet, so their
leading effects can be absorbed into the $c$ coefficients.






% To summarize, the hidden dynamics only appears in ${\cal L}_{\rm hidden} +
% {\cal L}_{\rm mixed}$, which at the Planck scale can be written
% \begin{eqnarray}
% {\cal L}(M) &=& \int d^4 \theta Z_0 |T_I|^2 + z_0 (|P|^2 + |\overline{P}|^2)
% + \int d^2 \theta \frac{\lambda_0}{M} \sum_I T_I^2 \overline{P} P
% + \frac{\lambda_0'}{M} \sum_{I \neq J} T_I^2 T_J^2 + {\rm h.c.} \nonumber \\
% &+& {\rm gauge-kinetic},
% \end{eqnarray}
% where from the viewpoint of the hidden dynamics, $Z_0, z_0$ are
% background vector superfields given by,
% \begin{eqnarray} \label{z}
% Z_0 &\equiv& 1 + \frac{c_{ab}}{M^2} Q^{\dagger}_a Q_b \nonumber \\
% z_0 &\equiv& 1 + \frac{\tilde{c}_{ab}}{M^2} Q^{\dagger}_a Q_b.
% \end{eqnarray}
% It will be useful to study the running of the hidden sector for general
% background vector superfields $Z_0, z_0$, and to then specialize to
% Eq. (\ref{z}). We will always work in the (excellent) approximation,
% \begin{eqnarray}
% \ln Z_0 &\approx&  \frac{c_{ab}}{M^2} Q^{\dagger}_a Q_b \nonumber \\
% \ln z_0 &\approx& \frac{\tilde{c}_{ab}}{M^2} Q^{\dagger}_a Q_b.
% \end{eqnarray}


\newpage
% ==================================================================
\section{Sequestering}
% ==================================================================

% The UV lagrangian is
% \beq
% \scr{L} = \myint d^4\th\, Z_0 T^\dagger T
% + \left( \myint d^2\th\, \tau_{{\rm hol},0} \tr W^\al W_\al + \hc \right),
% \eeq
% where
% \beq
% Z_0 = 1 + \frac{c^j{}_k}{M^2} Q^\dagger_j Q^k
% \eeq
% contains the flavor violating contact terms.
% An important point is that the physical gauge coupling is not equal
% to the holomorphic coupling $\tau_{\rm hol}$ that appears in the
% lagrangian.
% Rather, the physical gauge coupling is a function of the combination
% \beq
% \tau_{\rm hol} - \frac{N}{8 \pi^2} \ln Z.
% \eeq

We first consider the limit $\la = \la' = 0$.
In this limit the SQCD$_3$ sector completely decouples and we can
omit it from the discussion.
% We will later include these as weakly coupled perturbations.
The leading terms in $\scr{L}_{\rm mixed}$ (see \Eq{Lmixedops})
can be viewed as perturbations to the wavefunction of the
hidden fields renormalized at the Planck scale\footnote{
Note that without imposing the hidden-flavor symmetries discussed in
Section 2,
the mixed terms could be more general than this form. In this case
we would encounter the difficulties discussed in \Ref{last}.}:
\beq[hiddtheory]
(\scr{L}_{\rm hidden} + \scr{L}_{\rm mixed})(M)
= \myint d^4\th\, Z_0 T^\dagger T +
\left( \myint d^2\th\, \tau_{\rm hol,0} \tr W^\al W_\al + \hc \right),
\eeq
where
\beq[UVpert]
Z_0 = z_0 + \frac{c^j{}_k}{M^2} Q^\dagger_j Q^k.
\eeq
We will explain the role of % the number
$z_0$ below.
$\tau_{\rm hol,0}$ is the holomorphic $SU(2)$ gauge coupling.
The theory defined by
\Eq{hiddtheory} has only one physical coupling, namely the physical
gauge coupling $\tau = 1/g^2$, given by%
%
\footnote{Note that $Z_0$ in \Eq{UVpert} is a vector superfield.
By `analytic continuation into superspace' \Eq{NSVZ} can be interpreted
as an equality of vector superfields \cite{analcont}.}
%
\beq[NSVZ]
\tau = \Re(\tau_{\rm hol}) - \frac{F}{8\pi^2} \ln Z + \frac{N}{8\pi^2} \ln\tau
+ f(\tau).
\eeq
where $N$ is the number of colors and $F$ is the number of flavors;
in our theory, $N = 2$, $F = 4$.
Here $f(\tau) =  \hbox{\rm constant} + \scr{O}(\tau^{-1})$
parameterizes the scheme dependence.
The perturbation \Eq{UVpert} (holding $\tau_{\rm hol, 0}$ fixed)
therefore gives rise to a perturbation of the physical gauge coupling.
Taking the derivative $d/dt$  of \Eq{NSVZ}, where $t \equiv \ln\mu / M$,
we obtain
\beq[NSVZbeta]
\be(\tau) = \frac{\displaystyle \frac{b}{8\pi^2}
- \frac{F}{8\pi^2} \ga(\tau)}
{\displaystyle
1 - \frac{N}{8\pi^2} \frac{1}{\tau}
- f'(\tau)},
\qquad b = 3N - F,
\eeq
where $\be \equiv d\tau/dt$, $\ga \equiv d\ln Z / dt$, and we have used
$d\tau_{\rm hol} / dt = b / 8\pi^2$.
In the `NSVZ scheme' $f \equiv 0$, \Eqs{NSVZ} and \eq{NSVZbeta} are
the famous formulae of \Refs{NSVZ}.

Because \Eq{UVpert} is a perturbation to the UV gauge coupling,
it is clear that it is irrelevant near the IR fixed point.
This means that the effects of the perturbation
$c^j{}_k Q^\dagger_j Q^k / M^2$
are suppressed in the IR.
This is the underlying mechanism for sequestering in this class of models
\cite{last}.

We now make this quantitative.
Exactly at the fixed point, $\tau = \tau_* = $~constant,
% the holomorphic gauge coupling still runs at 1 loop, and
so $\ga(\tau) = \ga(\tau_*) \equiv \ga_* = $~constant.
Therefore (taking $Z_*(t = 0) = 1$)
\beq[Z*]
Z_*(t) = e^{\ga_* t}.
\eeq
The theory is at a fixed point despite the running of $Z$ because the
running of $\tau_{\rm hol}$ compensates so that
$\be(\tau_*) = 0$.
     From \Eq{NSVZbeta} we see that this requires \cite{Seiberg}
\beq
\ga_* = \frac{b}{F}.
\eeq

We now consider the perturbations about the fixed point.
We expand the RG functions in $\De\tau \equiv \tau - \tau_*$
to first order
to define critical exponents
\beq[fixedexp]
\be(\tau) &\simeq \be_*' \cdot \De\tau, % + \scr{O}(\De\tau^2),
\\
\ga(\tau) &\simeq \ga_* + \ga'_* \cdot \De\tau. % + \scr{O}(\De\tau^2),
\eeq
We factor out the fixed point running by defining
\beq
\De\ln Z \equiv \ln Z - \ga_* t.
% \tilde{Z}(t) = e^{-\ga_* t} Z(t).
\eeq
Then we have
\beq
\frac{d (\De\ln Z)}{dt} = \ga'_* \cdot \De\tau,
\qquad
\frac{d (\De\tau)}{dt} = \be'_* \cdot \De\tau.
\eeq
Because of the relation \Eq{NSVZ}, these equations are not independent.
Using \Eq{NSVZ} we can write an RG equation for $\De \ln Z$ alone:
%This is%
%
% \footnote{
% Note that the scheme dependence in $f(\tau)$ has dropped out.
% Also note that the appearance of the combination
% $\De\ln Z - ( 8\pi^2 / F) \De\tau_{\rm hol,0}$ % in \Eq{ZtildeRG}
% is required by invariance under complexified $U(1)_A$ transformations,
% taking into account the Konishi anomaly.}
%
\beq[ZtildeRG]
\frac{d (\De\ln Z)}{dt} = \be'_* \left[ \De\ln Z
- \frac{8\pi^2}{F} \De\tau_{\rm hol,0} \right].
\eeq
Here $\De\tau_{\rm hol} \equiv \tau_{\rm hol} - \tau_{\rm hol,*}$, and
$\tau_{\rm hol,*}$ satisfies \Eq{NSVZ} for $\tau = \tau_*, Z = Z_*$.
The deviation from the fixed point in the UV is parameterized by
$Z_0 \ne 1$ (see \Eq{UVpert} and \Eq{Z*}) and $\De\tau_{\rm hol,0} \ne 0$.
     From \Eq{NSVZ} we can see that these are not independent perturbations,
so we can choose $\De\tau_{\rm hol,0} = 0$ and parameterize the
perturbation by $Z_0$ alone.
The solution to \Eq{ZtildeRG} is then simply
\beq[delZ]
      \De\ln Z
% - \frac{8\pi^2}{F} \De\tau_{\rm hol,0}
= e^{\be'_* t}
      (\De\ln Z)_0.
% - \frac{8\pi^2}{F} \De\tau_{\rm hol,0} \right),
% \qquad
% \De\ln\tilde{Z} \equiv \De\ln Z - \frac{8\pi^2}{F} \De\tau_{\rm hol,0}.
\eeq
$\beta_*'$ is a strong-interaction critical exponent of order one.
Since the dangerous terms in $\scr{L}_{\rm mixed}$
are contained in $\De\ln Z_0$,
this clearly shows the sequestering.



% Exactly at the fixed point, we have $\tau = \tau_*$ and
% \beq
% \ga \equiv \frac{d\ln Z}{dt} = \ga_*,
% \eeq
% where $t \equiv \ln(\mu / M)$.
% Therefore
% \beq
% Z_*(t) = e^{\ga_* t}.
% \eeq
% The theory is at a fixed point despite the running of $Z$ because the
% running of the holomorphic gauge coupling compensates so that the
% physical gauge coupling is constant.
% % \beq
% % \tau_{{\rm hol},*}(t) = \tau_{{\rm hol},0,*} + \frac{b}{8\pi^2} t,
% % \eeq
% % where $b = 3N - F$.
% Differentiating \Eq{NSVZ} at the fixed point, we see that this requires
% \beq
% \ga_* = \frac{b}{F},
% \eeq
% where $b = 3N - F$ is the coefficient of the holomorphic (1 loop)
% beta function.
%
% Near the fixed point, we have
% \beq
% \be(\tau) = \frac{d\tau}{d t}
% = \be'_* \cdot \De \tau + \scr{O}(\De\tau^2),
% \eeq
% where $\De\tau = \tau - \tau_*$.
% The solution is
% \beq
% \De\tau = \De\tau_0 e^{\be'_* t}.
% \eeq
% Since the physical gauge coupling is the only gauge coupling in the
% theory, all effects of the flavor violating perturbation are contained
% in $\De\tau_0$, which is manifestly irrelevant in the IR.
% To see this explicitly, note that the deviation from the fixed point
% can be parameterized by the deviation of $Z$ from the fixed point
% trajectory, with the holomorphic gauge coupling held fixed.
% From \Eq{NSVZ} we see that
% \beq
% \De\ln Z = \left[ \frac{N}{F} \frac{1}{\tau_*}
% + \frac{8\pi^2}{F} (f'(\tau_*) - 1) \right] \De\tau,
% % + \frac{8\pi^2}{F} \De \tau_{\rm hol,0}\ ,
% \eeq
% where $\De\ln Z = \ln Z - \ln Z_*$.


Now we include the effects of $\la$, $\la'$, and $\tau_3$.
     From now on we specialize to the case $F = 2N$ for the
SQCD$_2$ sector, so that $\ga_* = \frac 12$.
We must now include the additional mixed terms
\beq[ZP]
Z_{P,0} = 1 + \frac{(c_P)^j{}_k}{M^2} Q^\dagger_j Q^k.
\eeq
Because the $SU(3)$ sector is not a CFT, we expect at most an order 1
renormalization of $Z_P$.
Since we are only interested in the order of magnitude of $Z_P$,
we will simply use the approximation $Z_P \simeq Z_{P,0}$.
The mixed terms in \Eq{ZP} do not directly give rise to large
visible soft masses because in our model the dominant source of
SUSY breaking is in the SQCD$_2$ sector.

However, we must determine the leading effects of the perturbation
\Eq{ZP} on the SQCD$_2$ sector.
These can be studied in the RG equation for $\De\ln Z$:
\beq[ZtildeRGlambdageneral]
\frac{d (\De\ln Z)}{dt}
= \ga'_* \cdot \De\tau
+ \De\ga(\tau, \tau_3, \la_{\rm phys}, \la'_{\rm phys}),
\eeq
where
\beq[lambdas]\bal
\la_{\rm phys} &= \frac{\la \mu}{M Z Z_P}
= \frac{\la e^{t/2} e^{-\De\ln Z}}{Z_P},
\\
\la'_{\rm phys} &= \frac{\la' \mu}{M Z^2}
= \la' e^{-2\De\ln Z}.
\eal
\eeq
While $\De\ga$ is a small perturbation in \Eq{ZtildeRGlambdageneral},
it becomes comparable to the first term on the \rhs in the IR.
We must show that this does not spoil sequestering.
Since we are expanding around the fixed point we can set
$\tau = \tau_*$ in $\De\ga$.
We will use \Eq{ZtildeRGlambdageneral} only in the regime where
the SQCD$_3$ sector is unbroken and weakly coupled.
In this regime, we can neglect the running due to $\tau_3$.
The leading terms are therefore
\beq[ZtildeRGlambda]
\frac{d (\De\ln Z)}{dt}
= \ga'_* \cdot \De\tau
+ \frac{ |\la_{\rm phys}|^2}{\rho^4}
+ \frac{ |\la'_{\rm phys}|^2}{\rho^4}.
% + \frac{a}{(16\pi^2)^2}\, \frac{|\la|^2 e^{t -2\De\ln Z}}{Z_P^2}
% + \frac{a'}{(16\pi^2)^2}\, |\la'|^2 e^{-2\De\ln Z}.
\eeq
Because of the SQCD$_2$ strong interaction uncertainties, we cannot
compute the coefficients of the last two terms precisely, but we have
estimated their order of magnitude using  `naive dimensional analysis' (NDA)
\cite{nda,SUSYNDA}. Here, and later in the paper, we will
give our NDA estimates in terms of
\begin{equation}
\rho \sim 4 \pi.
\end{equation}
Separate order one uncertainties should then be ascribed to
   different terms,
but these will not be written explicitly.

Once again, we would like to use \Eq{NSVZ} to eliminate $\De\tau$ on the
\rhs of \Eq{ZtildeRGlambda} in favor of $\De\ln Z$.
In the presence of the additional couplings $\la$, $\la'$, and $\tau_3$
\Eq{NSVZ} remains true, but the scheme dependent function $f$ is in
general a function of all the couplings.
However, we can always choose a scheme where $f$ is a function of $\tau$
alone.
In such a scheme we have
\beq[schemeZtildeeq]
\frac{d (\De\ln Z)}{dt}
= \be'_* \De\ln Z
+ \frac{|\la_{\rm phys}|^2}{\rho^4}
+ \frac{ |\la'_{\rm phys}|^2}{\rho^4}.
\eeq
The last two terms on the right-hand side are subdominant perturbations
compared to the first term unless $\De\ln Z$ is small. Therefore we can
approximate the last two terms using \Eq{lambdas} in the limit
$\De\ln Z \rightarrow 0$.
%mixed terms in $\De\ln Z$ are suppressed at low energies, we can
%approximate $\De\ln Z = 0$ on the \rhs of \Eq{schemeZtildeeq}
Also $Z_P$ runs only perturbatively, so we can approximate
$Z_P \simeq Z_{P,0}$.
We then obtain the approximate solution
\beq[DelogZ]
\bal
\De \ln Z &\simeq e^{\be'_* t} (\De\ln Z)_0
+ \frac{ |\la|^2}{\rho^4 Z_{P,0}^2}
\, \frac{e^{\be'_* t} - e^t}{\be'_* - 1}
\\
&\qquad
+ \frac{ |\la'|^2}{\rho^4} \, \frac{e^{\be'_* t} - 1}{\be'_*}.
\eal\eeq
% \beq\bal
% \De \ln Z &\simeq \frac{8\pi^2}{F} \De\tau_{\rm hol,0}
% - \frac{a' |\la'|^2}{(16\pi^2)^2 \be'_*}
% \\
% &\qquad
% + e^{\be'_* t} \left[
% (\De\ln {Z})_0 - \frac{8\pi^2}{F} \De\tau_{\rm hol,0}
% + \frac{a' |\la'|^2}{(16\pi^2)^2 \be'_*} \right]
% + \frac{a |\la|^2}{(16\pi^2)^2 Z_{P,0}^2}
% \cdot \frac{e^{\be'_* t} - e^t}{\be'_* - 1}.
% \eal\eeq
The first two terms contain mixed terms, but are sequestered,
while the third term is not sequestered, but contains no mixed
terms.
Therefore, all mixed terms are suppressed in this model provided
that there is a sufficiently large range of scales for which the
SQCD$_2$ sector is near the fixed point.
In fact, the above perturbations due to $\lambda, \lambda'$ have
subdominant effects to   others we will later identify and to $\De\ln Z$.
%Therefore, from now on we will simply make  use of the unperturbed \Eq{delZ}.

It is convenient to summarize the RG near the fixed point
by writing the effective lagrangian
\beq\bal
\scr{L} &\simeq \myint d^4\th \left[
\mu^{1/2}
\! (1 + \De \ln Z) \, \tilde{T}^\dagger \tilde{T}
+ Z_{P,0} \, (P^\dagger P + \bar{P}^\dagger \bar{P}) \right]
\\
& \quad + \myint d^2\th \left[
      \frac{\la}{M^{1/2}} \sum_J (\tilde{T}^J \tilde{T}^J) (\bar{P} P)
+ \la' \sum_{J \neq K} (\tilde{T}^J \tilde{T}^J)
(\tilde{T}^K \tilde{T}^K)
\right] + \hc
\\
&\quad + \hbox{\rm gauge\ kinetic\ terms},
\eal\eeq
% \beq
% \bal
% \scr{L} &\simeq \myint d^4\th \left[
% \left( \frac{\mu}{M} \right)^{1/2}
% \! (1 + \De \ln Z) \, T^\dagger T
% + Z_{P,0} \, (P^\dagger P + \bar{P}^\dagger \bar{P}) \right]
% \\
% & \quad + \myint d^2\th \left[
%  \frac{\la}{M} \sum_J (T^J T^J) (\bar{P} P)
% + \frac{\la'}{M} \sum_{J \neq K} (T^J T^J) (T^K T^K)
% \right] + \hc
% \\
% &\quad + \hbox{\rm gauge\ kinetic\ terms},
% \eal\eeq
where we have defined the rescaled fields \cite{last},
\beq
\tilde{T} \equiv \frac{T}{M^{1/4}}.
\eeq
This rescaling removes the leading $M$ dependence of the lagrangian, and
makes the canonical dimension of the $\tilde{T}$ fields the same as their
fixed-point scaling dimension in chiral operators.


% The RG equation for the physical gauge coupling $\tau_3$ is
% \beq[RG3]
% \frac{d\tau_3}{dt} = \frac{b_3}{8\pi^2} + \cdots + \frac{a}{(16\pi^2)^3}
% \, \frac{|\la|^2 \mu}{M \tilde{Z}^2 Z_P^2},
% \eeq
% where $b_3 = 7$
% and we have given the leading term that contains flavor violation.
% From this it is easy to see that the flavor violation in $\tau_3$ can
% be no larger than $\sim 10^{-6}$.


% It is a good approximation to solve
% \beq
% \frac{d \De\tau}{dt} = \be'_* \cdot \De\tau
% + \De\be(t, \tau),
% \eeq
% where we have substituted the solution to the 1-loop RG equations for
% the perturbative couplings $\tau_3$ and $Z_3$.
% Expanding in $\De\tau$ gives
% \beq[epRG]
% \frac{d \De\tau}{dt} = \be'_* \cdot \De\tau
% + \De\be(t, \tau_*) + \De\be'(t, \tau_*) \De\tau.
% % + \scr{O}(\De\tau^2).
% \eeq
% The last two terms are small, but they become comparable to the
% first term in the IR.
% % The omitted terms are even smaller, and so it is legitimate to drop them.
% However, it is easy to show that this does not spoil sequestering.
% The exact solution to \Eq{epRG} is
% \beq[seqpert]
% \De\tau(t) =\De\tau_0 e(t)
% + e(t) \int_0^t ds\, \frac{\De\be(s, \tau_*)}{e(s)},
% \eeq
% where
% \beq
% e(t) \equiv \exp\left\{ \int_0^t ds \left[ \be'_* + \De\be'(s,
%\tau_*) \right]
% \right\}.
% \eeq
% Note that $e(t) \simeq e^{\be'_* t}$ for all $t$.
% The crucial point is that
% although the second term on the \rhs of \Eq{seqpert}
% can be comparable to the first in the IR, it is independent of
%$\De\tau_0$,
% and therefore does not affect sequestering.
%
% The relation between $\tau$ and $Z$ is still given by \Eq{NSVZ},
% but the scheme dependent function $f$ can now depend on $\tau_3$
% and the physical superpotential couplings $\la / (Z Z_3)$
% and $\la' / Z^2$.
% In the `NSVZ scheme' $f \equiv 0$ and we have
% \beq
% \De\ln Z = \frac{1}{F} \left(
% \frac{N}{\tau_*} -  8\pi^2 \right) \De \tau.
% % \qquad
% % a_0 = \frac{N}{F} \frac{1}{\tau_*}
% % - \frac{8\pi^2}{F}.
% \eeq
% In a general scheme, there is a more complicated expression for the
% coefficient, which we do not write.
%
% Collecting these results, the lagrangian can be written
% \beq\bal
% \scr{L}(\mu) &\simeq \myint d^4\th \left\{
% \left( \frac{\mu}{M} \right)^{1/2}
% \left[ 1 + \De\ln Z_0 \left(
% \frac{\mu}{M} \right)^{\be'_*} \right] T^\dagger T
% + Z_P(\mu) P^\dagger P \right\}
% \\
% & \qquad + \myint d^2\th \left[ \frac{\la}{M} T^2 P^2
% + \frac{\la'}{M} T^4 \right] + \hc
% \eal\eeq
% where we omit the gauge couplings and gauge kinetic terms.
% The only approximation we have made is that the theory is
% sufficiently close
% to the fixed point so that we can expand around it.
% It is convenient to define
% \beq
% \hat{T} \equiv \frac{T}{M^{1/4}}.
% \eeq
% This eliminates the dominant dependence of $M$, and makes the canonical
% dimension of $\hat{T}$ the same as its fixed-point scaling dimension
% in chiral operators.
% This gives
% \beq\bal
% \scr{L}(\mu) &\simeq \myint d^4\th\, \mu^{1/2}
% \left[ 1 + \De\ln Z_0 \left(
% \frac{\mu}{M} \right)^{\be'_*} \right] \hat{T}^\dagger \hat{T}
% + Z_P(\mu) P^\dagger P
% \\
% & \qquad + \myint d^2\th \left[ \frac{\la}{M^{1/2}} \hat{T}^2 P^2
% + \la' \hat{T}^4 \right] + \hc
% \eal\eeq


% ====================================================================
\section{Supersymmetry Breaking}
% ====================================================================
We now determine the vacuum in this theory.
We will show that there is a locally stable vacuum with broken SUSY at
$T \ne 0$.

In the absence of the superpotential couplings \Eq{Wtree}, the
SQCD$_2$ theory has 13 independent moduli, which can be parameterized
by the $SU(2)$ gauge invariant `meson' operators of the form $T^{Ja}
T^{Kb}$ subject
to classical constraints.
Away from the origin of moduli space the superpotential couplings
proportional to $\la'$ reduce the moduli space to a single flat direction,
which we assume is in the direction%
%
\footnote{For more detail on the moduli space of this theory, see \Ref{last}.}
\beq
TT \propto \pmatrix{ X^{3/4} \, \ep & 0 \cr 0 & 0 \cr},
\qquad
\ep = \pmatrix{0 & 1 \cr -1 & 0 \cr},
\eeq
where we use the basis
\beq
T = \pmatrix{ T^{11} \cr T^{12} \cr \vdots \cr T^{42} }.
\eeq
The field $X$ parameterizes the flat direction.
A VEV for $X$ breaks the conformal symmetry, so $X$ is the Nambu-Goldstone
mode for spontaneous breaking of scale symmetry.
We have defined $X$ so that it has dimensions of mass.

The first threshold in this theory is given by the VEV $\avg{X}$, where the
conformal symmetry is spontaneously broken.
NDA tells us that the physical threshold is at a scale
$\sim
 (\rho \avg{\tilde{T}})^{4/3}$, and that the canonically normalized modulus
field
is $X \sim \rho^{1/3} \tilde{T}^{4/3}$.
% We will keep track of powers of $\rho \sim 4\pi$, where it is understood
% that there are order 1 uncertainties in all coefficients.
The effective lagrangian below the scale of conformal symmetry breaking is
written in terms of the modulus $X$ and the SQCD$_3$ fields:
\beq[LeffX]
\bal
\!\!\!\!\!\!\!
\scr{L}_{\rm eff}(\mu \lsim \rho |X|)
&\sim \myint d^4\th \left\{ \left[
1 + \De\ln Z(\mu \sim \rho |X|) \right] X^\dagger X
+ Z_{P,0} \, (P^\dagger P + \bar{P}^\dagger \bar{P}) \right\}
\\
&\qquad
+ \myint d^2\th\, \frac{\la}{\rho^{1/2} M^{1/2}} X^{3/2} \bar{P} P + \hc
\\
&\qquad
+ SU(3)\ \hbox{\rm gauge\ kinetic\ terms}.
\eal\eeq
%In \Eq{LeffX} and subsequently, it is understood that all terms in the
%effective lagrangian have independent unkown order 1 coefficients,
%including the different terms in $\De\ln Z$ with different powers of
%$e^t$ (see \Eq{DelogZ}).
% $\De\ln Z$ is the sum
% of the terms in , where each term with a different power of $e^t$
% has an independent ${\cal O}(1)$ coefficient.
% Similarly, each of the factors of $\rho \sim 4\pi$ that appears
% may have a different order 1 coefficient.

The superpotential in \Eq{LeffX} gives rise to a mass for the $P$ fields
\beq
m_P \sim \frac{\la}{\rho^{1/2} M^{1/2}} \avg{X}^{3/2}.
\eeq
We consider the case $m_P > \La_3$, where $\La_3$ is the scale
where the SQCD$_3$ gauge theory with 2 flavors becomes strong, and
will check the self-consistency of this choice later.
In this case, we can integrate out the $P$ fields perturbatively at
the scale $m_P$, and the effective theory is
\beq[LeffmP]
\bal
\scr{L}(\mu \lsim m_P) &\sim \myint d^4\th \left[
1 + \De\ln Z(\mu \sim \rho |X|)
\vphantom{\left( \frac{\rho |X|}{m_P} \right) }
\right. \\
& \qquad\qquad\quad
+ \left. \frac{\la^2}{\rho^{3} \, Z_{P,0}^2 M} \,
% + \left. \frac{3 \la^2}{8\pi^2 \, Z_{P,0}^2 M} \,
|X| \ln \left( \frac{\rho |X|}{m_P} \right)
\right] X^\dagger X
\\
& \qquad
+ SU(3)\ \hbox{\rm gauge\ kinetic\ terms}.
\eal\eeq
The ln$|X|$ term gives the leading effect of $P$ loops between the scales
$\rho \avg{X}$ and $m_P$.\footnote{
%, except for the log enhancement.
The precise coefficient of this log term is calculable but
is unimportant because of the order 1
uncertainties in the other coefficients such as $m_P$.}
%Note that this term naturally dominates over the effect of the
%second term on the \rhs
%of \Eq{DelogZ}.

The pure $SU(3)$ gauge theory becomes strong at a scale%
%
% \footnote{For purposes of counting factors of $4\pi$,
% we define the scales $\La_3$ and
% $\La_{\rm 3,eff}$ to be the physical mass of the lightest hadrons
% of the respective strong theories.}
\beq
\La_{\rm 3,eff} \sim m_P^{2/9} \La_3^{7/9}.
\eeq
Gaugino condensation gives rise to an effective superpotential
\beq[Polonyi]
W_{\rm dyn} \sim \frac{\Lambda_{\rm 3,eff}^3}{\rho^2} \sim \La_{\rm int}^2 X,
\eeq
where
\beq[intscale]
\La_{\rm int}^2 \sim \frac{\la^{2/3} \La_3^{7/3}}{\rho^{7/3} M^{1/3}}.
\eeq
\Eq{Polonyi} is the superpotential of a Polonyi model,
which breaks SUSY provided that the \Kahler terms stabilize the
field $X$.
The vacuum energy is then of order $\La_{\rm int}^4$, and therefore
$m_{3/2} \sim \La_{\rm int}^2 / M$.

The effective potential for $X$ including the \Kahler terms of
\Eq{LeffmP} is
\beq
\nonumber
\!\!\!\!\!\!\!
V_{\rm eff} &=
\La_{\rm int}^4 \left/ \frac{\partial^2 K_{\rm eff}}{\partial
X\partial X^\dagger}\
\right.
+ \De V_{\rm SUGRA}
% \frac{\La_{\rm int}^4}
% {\displaystyle \frac{\partial^2 K_{\rm eff}}{\partial X\partial X^\dagger}}
\\
&\sim \La_{\rm int}^4 \left[
1 + (\ln z_0) \left( \frac{\rho |X|}{M} \right)^{\be'_*}
- \frac{\la^2}{\rho^{3}} \, \frac{|X|}{M} \,
% - \frac{27 \la^2}{64 \pi^2} \, \frac{|X|}{M} \,
\ln \left( \frac{\rho |X|}{m_P} \right) \right]
\nonumber\\
&\qquad\quad
   - \Lambda_{\rm int}^4 (1 + \mathop{\rm Re}(X)/M).
\eeq
Here we have written out the leading terms in the solution for
$\De\ln Z$ (see \Eq{DelogZ}) and used $(\De \ln Z)_0 = \ln z_0$
(see \Eq{UVpert}). We have dropped terms comparable to the $\ln|X|$ term
that are not log-enhanced.
%The sign (in fact the precise coefficient) of this ln$|X|$ term is fixed
%by a perturbative anomalous dimension;
The coefficient of the $\ln z_0$ term depends on strong interactions,
but we can choose the sign of $\ln z_0$ so that the sign of this term
is positive. The last line contains the leading SUGRA corrections
once we add a constant superpotential so as to
cancel the $\Lambda_{\rm int}^4$ contribution to the cosmological
constant.
We will demand
   that the supergravity corrections to the potential dominate over
   the $|X| \ln|X|$ term. This gives the restriction
\beq[SUGRAconst]
\frac{\la^2}{\rho^{3}} \ln\left(
\frac{\rho \avg{X}}{m_P} \right) \lsim 1.
\eeq
%We will see in the next section that this can be satisfied.
% if $\la$ is strongly coupled
%at the fundamental scale $M$.
%
We then find a stable minimum at
\beq[paramseq]
\hbox{\rm sequestering}
\equiv \left( \frac{\rho \avg{X}}{M} \right)^{\be'_*}
\sim \left[\frac{1}{\rho \ln z_0}
% \frac{27 \la^2}{|\ln z_0| \rho^{3/4} 64\pi^2} \,
%\frac{\la^2}{|\ln z_0| \rho^{7/2}} \,
%\ln \left( \frac{\rho^{3/4} \avg{X}}{m_P} \right)
\right]^{\be'_* / (\be'_* - 1)},
\eeq
where we have solved for the sequestering factor for the mixed terms in
$Z_0$.
(By \Eq{SUGRAconst}, the dangerous mixed terms arising from
$Z_{P, 0 }$ are even more suppressed.)
The term $\ln z_0$ parametrizes the deviation of SQCD$_2$ from the
fixed point at the Planck scale, and must be small enough that we can trust
the fixed-point expansions, \Eq{fixedexp}.
NDA yields tells us that this requires $\ln z_0 \lsim 1$.
% \Eq{paramseq} therefore shows that this model naturally gives rise to
% sequestering for $\beta_*' \gsim 1$.
The anomalous dimension $\be'_*$ is order 1 (and positive), and therefore
the sequestering factor is an order-1 power of a loop suppression factor
(up to a logarithmic correction).

In fact, there is an adjustable parameter that controls the amount of
sequestering in our model.
It is completely natural for the SQCD$_2$ sector to enter the
strong-coupling conformal regime at a sub-Planckian scale, $\tilde{M} < M$,
although we have taken the two scales to be equal.
In this more general case, we must substitute $1/\rho \rightarrow
\tilde{M}/(\rho M)$ on the right-hand side of \Eq{paramseq}.
We can therefore obtain any desired amount of sequestering by taking
$\tilde{M} \ll M$.
Our analysis assumed that $\Lambda_3 < m_P$, so that the $P$'s were integrated
out of the theory before the SQCD$_3$ subsector became strongly coupled.
This naturally occurs for sufficiently small $\Lambda_3$, which also sets
the SUSY breaking scale according to \Eq{intscale}.
At the qualitative level, these observations show that the model naturally
breaks SUSY far below the Planck scale and generates a large amount of
sequestering.
In the next section we will see that quantitatively, we must saturate the
inequalities \Eq{SUGRAconst}, $\Lambda_3 < m_P$, and $\ln z_0 \lsim 1$ in
order to get maximal sequestering for the real world.
It is also optimal to take $\tilde{M} \sim M$ as we have throughout the
paper.





%Thus at the qualitative level, our model can naturally generate
%a parametrically large amount of sequestering




%Above, we considered the case where $m_P < \La_3$.
%We now consider the case where $m_P < \La_3$.
%In this case, the SQCD$_3$ gauge coupling gets strong at a scale
%where the $P$ fields are still light, and instantons generate a
%superpotential
%\beq
%W_{\rm instanton} \sim \frac{1}{\rho^6} \,
%\frac{\La_3^7}{\det(P\bar{P})}.
%\eeq
%This gives rise to a VEV for the $P$ fields of order
%\beq
%\avg{P}^2 \sim \frac{1}{\rho^2} \, \frac{\La_3^7}{m_P}.
%\eeq
%Integrating out the $P$ fields gives rise to the same superpotential
%as before, \Eq{Polonyi}.
%But now there is an additional contribution to the \Kahler potential
%from the $P$ kinetic terms.
%This has the wrong sign to give a stable minimum, and therefore we must
%demand that this contribution is smaller than the log-enhanced
%\Kahler term used to stabilize $X$.
%This condition is
%$m_P^2 \ln (\rho^{3/4} \avg{X} /m_P) / \rho^2 \gsim \avg{P}^2$,
%which gives
%\beq[Pconst]
%\left( \frac{\La_3}{m_P} \right)^{7/3} \lsim  \ln \left(
%\frac{\rho^{3/4} \avg{X}}{m_P} \right) .
%\eeq
%This shows that $\La_3$ cannot be much larger than $m_P$.
%As long as the constraints \Eqs{SUGRAconst} and \eq{Pconst} are
%satisfied, the central
%result of this section,
%\Eq{paramseq}, is valid.



% ===============================================================
\section{Numerical Estimates}
% ===============================================================

We now turn to the numerical estimates in this model.
%\Eq{paramseq} shows that we can obtain any desired level of
%sequestering for sufficiently small $\la$.
%However, we must ensure that the \Eqs{SUGRAconst} and \eq{Pconst} are
%satisfied.
Using \Eq{intscale} and  \Eq{paramseq} (with $\ln z_0 \sim 1$)
to eliminate the dependence
on $\Lambda_3$ and $\avg{X}$, the constraint $\Lambda_3 < m_P$ can be
written
\beq[bd]
\bigl( \hbox{\rm sequestering} \bigr)^{7/2} &\gsim
\frac{\rho^{7/2}}{\lambda^3} \left( \frac{\La_{\rm int}}{M} \right)^2.
\eeq
%\\
%
% Writing \Eq{Pconst} in terms of $\La_{\rm int}$ and $\avg{X}$,
% we obtain
% \beq[proconst]
% \frac{\la^3}{\rho^{25/8}} \left( \frac{\avg{X}}{M} \right)^{7/2}
% \ln\left( \frac{\rho^{3/4} \avg{X}}{m_P} \right)
% \gsim \left( \frac{\La_{\rm int}}{M} \right)^2.
% \eeq
%  From \Eq{paramseq} we see that small $\la$ implies small $\avg{X}$, so
% \Eq{proconst} limits how small $\la$ (and hence sequestering) can be.
%
% Eliminating the leading dependence on $\avg{X}$ and $\la$ using
% \Eq{paramseq}, the bound can be written
% \beq
%\bigl( \hbox{\rm sequestering} \bigr)^{3/2 + 2/\be'_*}
%&\gsim \left[ \rho \cdot
%\ln \left( \frac{\rho^{3/4} \avg{X}}{m_P} \right) \right]^{1/2}
%\left( \frac{\La_{\rm int}}{M} \right)^2.
%\eeq
We see that we obtain maximal sequestering by saturating the bound
\Eq{SUGRAconst}.
We will approximate the logarithm in \Eq{SUGRAconst} as order one.
Note that the resulting $\lambda \sim \rho^{3/2}$ is smaller than the
strong-coupling value, $\lambda_{\rm strong} \sim \rho^2$.
Substituting into \Eq{bd} then gives a bound on the sequestering factor:
% \begin{eqnarray}
% {\rm sequestering}  &\gsim&
% \frac{1}{\rho^{2/7}}
% \left( \frac{\La_{\rm int}}{M} \right)^{4/7} \nonumber \\
% &\sim& 6 \times 10^{-5},
% \end{eqnarray}
\beq
{\rm sequestering}  \gsim
\frac{1}{\rho^{2/7}}
\left( \frac{\La_{\rm int}}{M} \right)^{4/7}
\sim  6 \times 10^{-5}.
\eeq
%We obtain the largest possible sequestering under the assumption that
%all couplings (including $\la$)
%in the theory are strong at the fundamental scale $M$.
We have taken $M = 2.4 \times 10^{18} \GeV$ and
$\La_{\rm int} \simeq 3 \times 10^{11}\GeV$.
By \Eq{paramseq}, this maximal level of sequestering is obtained for
$\be'_* \simeq 1.2$.
% The stable value of $X$ is $\sim 10^{14}$ GeV,
% while its mass is $\sim 5 \times 10^6$ GeV.
%+++
The minimum is at $\avg{X} \sim 10^{14}\GeV$,
and the mass of $X$ is of order $5 \times 10^6\GeV$.
%+++

The amount of sequestering
is sufficient for AMSB to dominate in the visible sector,
and is within an order of magnitude
of the sequestering factor $3 \times 10^{-6}$ \cite{last} \cite{fcnc}
required to adequately suppress CP-conserving flavor violation
in anomaly-mediated SUSY breaking if the coefficients $c$ of
\Eq{Lmixedops} are
of order $1$. Given the considerable
uncertainties in the  strong-interaction coefficients,
our maximal sequestering could easily be at or below this
flavor-violation bound. Of course it is also possible that the $c$'s of
\Eq{Lmixedops} are of order $1/10$.




%Given the large uncertainties in the strong interaction coefficients,
%it is possible that the sequestering factor is significantly smaller.

% This can be used to find an approximate solution by assuming that the log
% is order 10.
% Using $\La_{\rm int} \simeq 3 \times 10^{11}\GeV$,
% $M \simeq 2\times 10^{18}\GeV$, and assuming
% $\rho \sim 10$ we find
% that sequestering of $3 \times 10^{-6}$ (sufficient to suppress
% CP conserving flavor violation) can be achieved
% with $\be'_* \simeq 2.5$, $X \sim 2 \times 10^{15}\GeV$, and
% $\la \sim 0.5$.
% Therefore, this model achieves the required level of sequestering
% and supersymmetry breaking for an order one value of $\be'_*$
% and other strong interaction coefficients, and all fundamental
% couplings within of order 1.

We now consider briefly the cosmology of this model.
In general, models of the hidden sector suffer from the Polonyi
problem \cite{Polonyi}.
Briefly stated, the problem is that models with moduli generally
have a cosmological epoch where coherent oscillations of the moduli
dominate the energy density of the universe, and the interactions
of the moduli with the visible sector are too weak to reheat the
universe to a sufficiently high temperature to allow nucleosynthesis.
In the present model, this problem is less severe than in
standard hidden sector models because the mass of the modulus is large
compared to the weak scale and the self-interactions of the moduli are
much
stronger than gravitational strength. We will leave a full analysis of this
issue for future work.


%For example, if we add the operator
%\beq[newop]
%\De\scr{L} \sim \myint d^2\th\, \frac{T^2}{M^2} W^\al W_\al + \hc,
%\eeq
%where $W_\al$ is the $U(1)_Y$ (or $SU(5)_{\rm GUT}$) field strength
%gives rise to a decay rate of the $X$ modulus to photons of order
%\beq
%\Ga \sim \frac{1}{8\pi} \, \frac{\avg{X} m_X^3}{M^3},
%\eeq
%which gives rise to a reheat temperature of order 100~MeV, sufficient
%for successful nucleosynthesis.
%The operator \Eq{newop} also gives rise to a gaugino mass of order
%$m_{\tilde{g}} \sim \left(\avg{X} / M\right)^{1/2} \La_{\rm int}^2 / M$.
%For the parameters chosen above, this is the same order as the
%AMSB contribution.

Another cosmological issue is the fact that the minimum we have
found is a false vacuum.
There is a supersymmetric vacuum at the origin $T = 0$, but
because $\avg{X} \gg \La_{\rm int}$, the tunnelling rate is
suppressed by a large exponent and is cosmologically safe \cite{cosmo}.



%There is a supersymmetric vacuum at the origin $T = 0$, but
%because $\avg{X} \gg \La_{\rm int}$, the tunnelling rate is
%suppressed by a large exponent and is cosmologically safe \cite{cosmo}.

% ===============================================================
\section{Discussion and Conclusions}
% ===============================================================
It is remarkable that the simple four-dimensional model of the hidden
sector presented here dynamically breaks supersymmetry and sequesters
itself from the visible sector, naturally allowing anomaly mediation to
dominate visible sector supersymmetry breaking.
We  believe that similar mechanisms of sequestering and dynamical
supersymmetry breaking can occur in a large class of  models,
although it is difficult to check this outside of supersymmetric QCD
because of the limited number of
superconformal theories that are known explicitly.

According to our estimates,
CP conserving flavor-changing neutral current processes are near their
experimental limits.
Given the large uncertainties, it is possible that there is more
sequestering than given in our estimates, so that CP-violating flavor
violation is also sufficiently suppressed.
Alternatively, suppressing CP violating flavor violation may require
additional structure.
%such as small CP phases and/or heavy squark masses.
In any case, we expect some flavor-changing neutral current processes
to be close to their experimental limits.

% In order to provide sufficient sequestering, the strong-coupling
% critical exponent $\be'_*$ had to be larger than 1.
% This may appear to be a `large' value, but it is compatible with
% \naive dimensional analysis and strong-coupling estimates.
% If is possible that in models based on other superconformal theories,
% sufficient sequestering can be obtained for $\be'_* < 1$.

We hope that this work will help open new directions
for constructing complete, compelling, and realistic hidden sector
models of supersymmetry breaking.


% In conclusion, we believe that there is a large class of candidate hidden
% sector theories in four dimensions that dynamically break supersymmetry and
% dynamically suppress flavor-violating contact terms.
% We hope that this work will suggest new directions for
% constructing complete, compelling, and realistic models of supersymmetry
% breaking in the hidden sector.











% It is remarkable that the simple four-dimensional model of the hidden
% sector presented here can succeed in dynamically breaking supersymmetry and
% sequestering itself from the visible sector.
% This naturally allows anomaly mediation to dominate visible sector
% supersymmetry breaking.
%
%
%
% We believe that these attractive properties are
% shared by a large class of hidden
% sector models, based on strongly-coupled superconformal field theories.
% At present supersymmetric QCD provides the central example of
% four-dimensional $N=1$ theories which flow to superconformal field theories,
% but it is likely that there are
% theories with matter in tensor representations with
% superconformal regimes which can also be used.
%
%
%
% We showed that for our model
% to succeed at the qualitative level, the strong-coupling critical exponent,
% $\beta_*'$, had to be greater than one. A somewhat larger value is
% necessary in order to obtain a phenomenologically acceptable level of
% sequestering.
% Although we are not yet able to calculate this exponent from
% first principles, the order of magnitude required fits well with
% strong-coupling expectations and naive dimensional analysis.
% Alternate models incorporating conformal sequestering may well
% place less stringent demands on the size of $\beta_*'$.



% ======================================================================
\section*{Acknowledgements}
We thank the Fermilab theory group for hospitality during
the initial stage of this work.
% We thank M. Schmaltz for discussions.
M.A.L. was supported by NSF grant PHY-98-02551. R.S. was supported in
part by a DOE Outstanding Junior Investigator award DEFG0201ER41198
and in part by NSF Grant PHY-0099468.



\newpage
% ---------------------------------------------------------------------
\begin{thebibliography}{99}
% ---------------------------------------------------------------------
\frenchspacing

\bibitem{amsb1}
L. Randall, R. Sundrum, {\em Nucl.\ Phys.}\ {\bf B557} 79 (1999),
{\tt hep-th/9810155}.

\bibitem{amsb2}
G.F. Giudice, M.A. Luty, H. Murayama, R. Rattazzi,
{\em JHEP} {\bf 9812} 027 (1998), {\tt hep-ph/9810442}.

\bibitem{pomrat} A.~Pomarol and R.~Rattazzi,
%``Sparticle masses from the superconformal anomaly,''
{\em JHEP} {\bf 9905} 013 (1999), {\tt hep-ph/9903448}.

\bibitem{amsbfix}
Z. Chacko, M.A. Luty, I. Maksymyk, E. Pont\`on,
{\em JHEP} {\bf 0004} 001 (2000),
{\tt hep-ph/9905390};
E. Katz, Y. Shadmi, Y. Shirman {\em JHEP} {\bf 9908} 015 (1999),
{\tt hep-ph/9906296};
K. I. Izawa, Y. Nomura, T. Yanagida, {\em Prog. Theor. Phys.} {\bf 102}
1181 (1999), {\tt hep-ph/9908240};
M. Carena, K. Huitu, T. Kobayashi, {\em Nucl. Phys.} {\bf B592} 164 (2000),
{\tt hep-ph/0003187};
B.C.~Allanach, A.~Dedes,
      {\em JHEP} {\bf 0006} 017 (2000), {\tt hep-ph/0003222};
I. Jack, D.R.T. Jones, {\em Phys. Lett.} {\bf B491} 151 (2000), {\tt
hep-ph/0006116};
D.E. Kaplan, G.D. Kribs, {\em JHEP} 0009 048 (2000), {\tt hep-ph/0009195}.
N.~Arkani-Hamed, D.~E.~Kaplan, H.~Murayama, Y.~Nomura,
%``Viable ultraviolet-insensitive supersymmetry breaking,''
{\em JHEP} {\bf 0102} 041 (2001),
{\tt hep-ph/0012103};
T. Gherghetta, A. Riotto, {\tt hep-th/0110022}.


\bibitem{radstab}
M.A.~Luty, R.~Sundrum,
{\em Phys.\ Rev.}\ {\bf D62} 035008 (2000),
{\tt hep-th/9910202}.

\bibitem{susywarp}
M.A. Luty, R. Sundrum, {\em Phys.\ Rev.}\ {\bf D64} 065012 (2001)
     {\tt hep-th/0012158}.


\bibitem{adscft} J.~Maldacena,
{\it Adv.\ Theor.\ Math.\ Phys.}\ {\bf 2} 231 (1998), {\tt hep-th/9711200};
S.S.~Gubser, I.R.~Klebanov, A.M.~Polyakov,
{\it Phys.\ Lett.}\ {\bf B428} 105 (1998), {\tt hep-th/9802109};
E.~Witten, {\it Adv.\ Theor.\ Math.\ Phys.}\ {\bf 2}
253 (1998), {\tt hep-th/9802150}.

%\bibitem{adscftrev}
%For a
%review see O.\ Aharony, S.S.\ Gubser, J.\ Maldacena, H.\ Ooguri, Y.\ Oz,
%{\em Phys.\ Rept.}\ {\bf 323} (2000) 183,
%{\tt hep-th/9905111}.

\bibitem{adscftrs}
H. Verlinde, {\em  Nucl. Phys.} {\bf  B580} 264 (2000),
{\tt hep-th/9906182};
J. Maldacena, unpublished remarks;
%H. Verlinde, talk at ITP Santa Barbara conference
%`New Dimensions in Field Theory and String Theory,'
%{\tt http://www.itp.ucsb.edu/online/susy c99/verlinde};
E. Witten, ITP Santa Barbara conference
`New Dimensions in Field Theory and String Theory,',
{\tt http://www.itp.ucsb.edu/online/susy
c99/discussion};
S. S. Gubser, {\em Phys.\ Rev.}\ {\bf D63} 084017 (2001),
{\tt hep-th/9912001};
E.~Verlinde, H.~Verlinde, {\em  JHEP} {\bf 0005} 034 (2000),
{\tt hep-th/9912018};
N. Arkani-Hamed, M. Porrati, L. Randall, {\it JHEP} {\bf 0108} 017 (2001),
{\tt hep-th/0012148};
R. Rattazzi, A. Zaffaroni,
{\em JHEP} {\bf 0104} (2001) 021,
{\tt hep-th/0012248}; M. Perez-Victoria, {\it JHEP} {\bf 0105} 064 (2001)
{\tt hep-th/0105048}.


%\bibitem{rs1}
%L.~Randall, R.~Sundrum,
%``A large mass hierarchy from a small extra dimension,''
%{\em Phys.\ Rev.\ Lett.}\ {\bf 83} (1999) 3370, {\tt hep-ph/9905221};
%{\em Phys.\ Rev.\ Lett.}\ {\bf 83} (1999) 4690, {\tt hep-th/9906064}.


%\bibitem{gubser}
%S. S. Gubser, {\em Phys.\ Rev.}\ {\bf D63} (2001) 084017,
%{\tt hep-th/9912001}.






%\bibitem{susyrs}
%M. Cvetic, H. Lu, C.N. Pope, {\tt hep-th/0002054};
%R. Altendorfer, J. Bagger, D. Nemeschansky, {\tt hep-th/0003117};
%T. Gherghetta, A. Pomarol, {\tt hep-ph/0003129};
%N. Alonso-Alberca, P. Meessen, T. Ortin, {\em Phys. Lett.}
%{\bf B482} (2000) 400, {\tt hep-th/0003248};
%A. Falkowski, Z. Lalak, S. Pokorski, {\tt hep-th/0004093};
%E. Bergshoeff, R. Kallosh, A. Van Proeyen,
%{\em JHEP} 0010 (2000) 033, {\tt hep-th/0007044};
%M. Zucker, {\tt hep-th/0009083};
%H. Nishino, S. Rajpoot, {\tt hep-th/0011066}.





%\bibitem{bagger}
%J.~Bagger, D.~Nemeschansky, R.-J.~Zhang, {\tt hep-th/0012163}.


\bibitem{last} M.A.~Luty, R.~Sundrum,
%{\em Phys.\ Rev.}\ {\bf D62} (2000) 035008,
{\tt hep-th/0105137}, to be published in {\it Phys.~Rev.}\ {\bf D}.




\bibitem{nelson-strassler}
A.E.~Nelson, M.J.~Strassler, {\tt hep-ph/0104051};
{\em JHEP} {\bf 0009} 030 (2000),
{\tt hep-ph/0006251}.


\bibitem{Seiberg}
N. Seiberg, {\em Nucl.\ Phys.}\ {\bf B435} 129 (1995),
{\tt hep-th/9411149}.
%%CITATION = HEP-TH 9411149;%%


% \bibitem{Z}  N.~Arkani-Hamed, R.~Rattazzi, {\em Phys.\ Lett.}
% {\bf B454} (1999) 290,
% {\tt hep-th/9804068}; M.A.~Luty, R.~Rattazzi, {\em JHEP} {\bf 9911}
% (1999) 001,  {\tt  hep-th/9908085}.


\bibitem{NSVZ}
V.A. Novikov, M.A. Shifman, A.I. Vainshtein, V.I. Zakharov,
{\em Nucl.\ Phys.}\ {\bf B229} 381 (1983);
M.A. Shifman, A.I. Vainshtein, {\em Nucl.\ Phys.}\ {\bf B277} 456 (1986);
{\em Nucl.\ Phys.}\ {\bf B359} 571 (1991);
N. Arkani-Hamed, H. Murayama, {\em JHEP} {\bf 0006} 030 (2000),
{\tt hep-th/9707133}.

\bibitem{analcont}
N. Arkani-Hamed, G. Giudice, M.A. Luty, R. Rattazzi,
{\em Phys.\ Rev.}\ {\bf D58} 115005 (1998),
{\tt hep-ph/9803290}.

\bibitem{nda} A.~Manohar, H.~Georgi, {\em Nucl.\ Phys.}\ {\bf B234}
189 (1984); H.~Georgi, L.~Randall, {\em Nucl.\ Phys.}\ {\bf B276}
241 (1986).

\bibitem{SUSYNDA}
M.A. Luty, \PRD{57}{1531}{1998}, {\tt hep-ph/9706235};
A.G. Cohen, D.B. Kaplan, A.E. Nelson,
\PLB{412}{301}{1997}, \PRD{59}{035005}{1999}, {\tt hep-ph/9706275};
L. Randall, R. Rattazzi, E. Shuryak, \PRD{59}{035005}{1999},
{\tt hep-ph/9803258}.


\bibitem{fcnc} F.~Gabbiani, E.~Gabrielli, A.~Masiero,
L.~Silvestrini, {\em Nucl.\ Phys.}\ {\bf B477}
321 (1996), {\tt hep-ph/9604387}.

\bibitem{Polonyi}
J. Polonyi, Budapest preprint KFKI-93 (1977);
G.D. Coughlan, R. Holman, P. Ramond, and G.G. Ross,
{\it Phys. Lett.} {\bf B140} 44 (1984);
B. de Carlos, J.A. Casas, F. Quevedo, and E. Roulet,
{\it Phys. Lett.} {\bf B318} 447 (1993);
T. Banks, D. B. Kaplan, and A. Nelson,
{\it Phys.\ Rev.} {\bf D49} 779 (1994).

\bibitem{cosmo}
K.-Y.~Lee, E.J.~Weinberg, \NPB{267}{181}{1986};
S.~Dimopoulos, G.~Dvali, R.~Rattazzi, G.F.~Giudice,
{\em Nucl.\ Phys.}\ {\bf B510}
12 (1998), {\tt  hep-ph/9705307}.



\end{thebibliography}





\end{document}


