
We carry out a systematic study of primary operators in the conformal field
theory of a free Weyl fermion. Using SO(4,2) characters we develop counting
formulas for primaries constructed using a fixed number of fermion fields. By
specializing to particular classes of primaries, we derive very explicit
formulas for the generating functions for the number of primaries in these
classes. We present a duality map between primary operators in the fermion
field theory and polynomial functions. This allows us to construct the
primaries that were counted. Next we show that these classes of primary fields
correspond to polynomial functions on certain permutation orbifolds. These
orbifolds have palindromic Hilbert series.

We consider operators in ${\cal N}=4$ super YangMills theory dual to closed
string states propagating on a class of LLM geometries. The LLM geometries we
consider are specified by a boundary condition that is a set of black rings on
the LLM plane. When projected to the LLM plane, the closed strings are polygons
with all corners lying on the outer edge of a single ring. The large $N$ limit
of correlators of these operators receives contributions from nonplanar
diagrams even for the leading large $N$ dynamics. Our interest in these
fluctuations is because a previous weak coupling analysis argues that the net
effect of summing the huge set of nonplanar diagrams, is a simple rescaling of
the 't Hooft coupling. We carry out some nontrivial checks of this proposal.
Using the $su(22)^2$ symmetry we determine the two magnon $S$matrix and
demonstrate that it agrees, up to two loops, with a weak coupling computation
performed in the CFT. We also compute the first finite size corrections to both
the magnon and the dyonic magnon by constructing solutions to the NambuGoto
action that carry finite angular momentum. These finite size computations
constitute a strong coupling confirmation of the proposal.

We identify the operators in ${\cal N}=4$ super YangMills theory that
correspond to ${1\over 8}$BPS giant gravitons in AdS$_5\times$S$^5$. Our
evidence for the identification comes from (1) counting these operators and
showing agreement with independent counts of the number of giant graviton
states, and (2) by demonstrating a correspondence between correlation functions
of the super YangMills operators and overlaps of the giant graviton wave
functions.

Operators dual to strings attached to giant graviton branes in
AdS$_5\times$S$^5$ can be described rather explicitly in the dual ${\cal N} =
4$ super YangMills theory. They have a bare dimension of order $N$ so that for
these operators the large $N$ limit and the planar limit are distinct: summing
only the planar diagrams will not capture the large $N$ dynamics. Focusing on
the oneloop $SU(3)$ sector of the theory, we consider operators that are a
small deformation of a ${1\over 2}$BPS multigiant graviton state. The
diagonalization of the dilatation operator at one loop has been carried out,
but explicit formulas for the operators of a good scaling dimension are only
known when certain terms which were argued to be small, are neglected. In this
article we include the terms which were neglected. The diagonalization is
achieved by a novel mapping which replaces the problem of diagonalizing the
dilatation operator with a system of bosons hopping on a lattice. The giant
gravitons define the sites of this lattice and the open strings stretching
between distinct giant gravitons define the hopping terms of the Hamiltonian.
Using the lattice boson model, we argue that the lowest energy giant graviton
states are obtained by distributing the momenta carried by the $X$ and $Y$
fields evenly between the giants with the condition that any particular giant
carries only $X$ or $Y$ momenta, but not both.

Motivated by the close connection of tensor models to the SYK model, we use
representation theory to construct the complete set of gauge invariant
observables for bosonic and fermionic tensor models. Correlation functions of
the gauge invariant operators in the free theory are computed exactly. The
gauge invariant operators close a ring. The structure constants of the ring are
described explicitly. Finally, we construct a collective field theory
description of the bosonic tensor model.

Counting formulae for general primary fields in free four dimensional
conformal field theories of scalars, vectors and matrices are derived. These
are specialised to count primaries which obey extremality conditions defined in
terms of the dimensions and left or right spins (i.e. in terms of relations
between the charges under the Cartan subgroup of $SO(4,2)$). The construction
of primary fields for scalar field theory is mapped to a problem of determining
multivariable polynomials subject to a system of symmetry and differential
constraints. For the extremal primaries, we give a construction in terms of
holomorphic polynomial functions on permutation orbifolds, which are shown to
be CalabiYau spaces.

We develop general counting formulae for primary fields in free four
dimensional (4D) scalar conformal field theory (CFT). Using a duality map
between primary operators in scalar field theory and multivariable polynomial
functions subject to differential constraints, we identify a sector of
holomorphic primary fields corresponding to polynomial functions on a class of
permutation orbifolds. These orbifolds have palindromic Hilbert series, which
indicates they are CalabiYau. We construct the topdimensional holomorphic
form expected from the CalabiYau property. This sector includes and extends
previous constructions of infinite families of primary fields. We sketch the
generalization of these results to free 4D vector and matrix CFTs.

We study the worldsheet Smatrix of a string attached to a Dbrane in
AdS$_5\times$S$^5$. The Dbrane is either a giant graviton or a dual giant
graviton. In the gauge theory, the operators we consider belong to the
$su(23)$ sector of the theory. Magnon excitations of open strings can exhibit
both elastic (when magnons in the bulk of the string scatter) and inelastic
(when magnons at the endpoint of an open string participate) scattering. Both
of these $S$matrices are determined (up to an overall phase) by the
$su(22)^2$ global symmetry of the theory. In this note we study the $S$matrix
for inelastic scattering. We show that it exhibits poles corresponding to
boundstates of bulk and boundary magnons. A crossing equation is derived for
the overall phase. It reproduces the crossing equation for maximal giant
gravitons, in the appropriate limit. Finally, scattering in the $su(2)$ sector
is computed to two loops. This two loop result, which determines the overall
phase to two loops, will be useful when a unique solution to the crossing
equation is to be selected.

By performing explicit computations of correlation functions, we find
evidence that there is a sector of the two matrix model defined by the $SU(2)$
sector of ${\cal N}=4$ super YangMills theory, that can be reduced to
eigenvalue dynamics. There is an interesting generalization of the usual Van
der Monde determinant that plays a role. The observables we study are the BPS
operators of the $SU(2)$ sector and include traces of products of both
matrices, which are genuine multi matrix observables. These operators are
associated to supergravity solutions of string theory.

Large $N$ but nonplanar limits of ${\cal N}=4$ super YangMills theory can
be described using restricted Schur polynomials. Previous investigations
demonstrate that the action of the one loop dilatation operator on restricted
Schur operators, with classical dimension of order $N$ and belonging to the
$su(2)$ sector, is largely determined by the $su(2)$ ${\cal R}$ symmetry
algebra as well as structural features of perturbative field theory. Studies
presented so far have used the form of ${\cal R}$ symmetry generators when
acting on small perturbations of halfBPS operators. In this article, as a
first step towards going beyond small perturbations of the halfBPS operators,
we explain how the exact action of symmetry generators on restricted Schur
polynomials can be determined.

We consider excitations of LLM geometries described by coloring the LLM plane
with concentric black rings. Certain closed string excitations are localized at
the edges of these rings. The string theory predictions for the energies of
magnon excitations of these strings depends on the radii of the edges of the
rings. In this article we construct the operators dual to these closed string
excitations and show how to reproduce the string theory predictions for magnon
energies by computing one loop anomalous dimensions. These operators are linear
combinations of restricted Schur polynomials. The distinction between what is
the background and what is the excitation is accomplished in the choice of the
subgroup and the representations used to construct the operator.

We study spin chains with boundaries that are dual to open strings suspended
between systems of giant gravitons and dual giant gravitons. The anomalous
dimensions computed in the gauge theory are in complete quantitative agreement
with energies computed in the dual string theory. The comparison makes use of a
description in terms of magnons, generalizing results for a single maximal
giant graviton. The symmetries of the problem determine the structure of the
magnon boundary reflection/scattering matrix up to a phase. We compute a
reflection/scattering matrix element at weak coupling and verify that it is
consistent with the answer determined by symmetry. We find the
reflection/scattering matrix does not satisfy the boundary YangBaxter equation
so that the boundary condition on the open spin chain spoils integrability. We
also explain the interpretation of the double coset ansatz in the magnon
language.

We consider the anomalous dimensions of restricted Schur polynomials
constructed using n~O(N) complex adjoint scalars Z and m complex adjoint
scalars Y. We fix m<<n so that our operators are almost half BPS. At leading
order in m/n this system corresponds to a dilute gas of m free magnons. Adding
the first correction of order m/n to the anomalous dimension, which arises at
two loops, we find nonzero magnon interactions. The form of this new operator
mixing is studied in detail for a system of two giant gravitons with four
strings attached.

In a recent paper we showed that the correlators of free scalar field theory
in four dimensions can be constructed from a two dimensional topological field
theory based on so(4,2) equivariant maps (intertwiners). The free field result,
along with results of Frenkel and Libine on equivariance properties of Feynman
integrals, are developed further in this paper. We show that the coefficient of
the log term in the 1loop 4point conformal integral is a projector in the
tensor product of so(4,2) representations. We also show that the 1loop 4point
integral can be written as a sum of four terms, each associated with the
quantum equation of motion for one of the four external legs. The quantum
equation of motion is shown to be related to equivariant maps involving
indecomposable representations of so(4,2), a phenomenon which illuminates
multiplet recombination. The harmonic expansion method for Feynman integrals is
a powerful tool for arriving at these results. The generalization to other
interactions and higher loops is discussed.

We show that correlators of local operators in four dimensional free scalar
field theory can be expressed in terms of amplitudes in a two dimensional
topological field theory (TFT2). We describe the state space of the TFT2, which
has $SO(4,2)$ as a global symmetry, and includes both positive and negative
energy representations. Invariant amplitudes in the TFT2 correspond to surfaces
interpolating from multiple circles to the vacuum. They are constructed from
SO(4,2) invariant linear maps from the tensor product of the state spaces to
complex numbers. When appropriate states labeled by 4Dspacetime coordinates
are inserted at the circles, the TFT2 amplitudes become correlators of the
fourdimensional CFT4. The TFT2 structure includes an associative algebra,
related to crossing in the 4DCFT, with a nondegenerate pairing related to the
CFT inner product in the CFT4. In the freefield case, the TFT2/CFT4
correspondence can largely be understood as realization of free quantum field
theory as a categorified form of classical invariant theory for appropriate
SO(4,2) representations. We discuss the prospects of going beyond free fields
in this framework.

We discuss how to compute connected matrix model correlators for operators
related to the gravitational descendants of the puncture operator, for the
topological A model on P^1. The relevant correlators are determined by
recursion relations that follow from a systematic 1/N expansion of well chosen
SchwingerDyson equations. Our results provide further compelling evidence for
Gopakumar's proposed "simplest gauge string duality" between the Gaussian
matrix model and the topological A model on P^1.

We discuss the canonical structure of the collective formulation of Vector
Model/Higher Spin Duality in AdS$_4$. This involves a construction of bulk AdS
Higher Spin fields through a timelike bilocal Map, with a Hamiltonian and
canonical structure which are established to all orders in $1/N$.

Employing the world line spinning particle picture we discuss the appearance
of several different `gauges' which we use to gain a deeper explanation of the
Collective/Gravity identification. We discuss transformations and algebraic
equivalences between them. For a bulk identification we develop a `gauge
independent' representation where all gauge constraints are eliminated. This
`gauge reduction' of Higher Spin Gravity demonstrates that the physical content
of 4D AdS HS theory is represented by the dynamics of an unconstrained scalar
field in 6d. It is in this gauge reduced form that HS Theory can be seen to be
equivalent to a 3+3 dimensional bilocal collective representation of CFT3.

We study the anomalous dimensions for scalar operators in ABJM theory in the
SU(2) sector. The operators we consider have a classical dimension that grows
as N in the large N limit. Consequently, the large N limit is not captured by
summing planar diagrams  nonplanar contributions have to be included. We find
that the mixing matrix at twoloop order is diagonalized using a double coset
ansatz, reducing it to the Hamiltonian of a set of decoupled oscillators. The
spectrum of anomalous dimensions, when interpreted in the dual gravity theory,
shows that the energy of the fluctuations of the corresponding giant graviton
is dependent on the size of the giant. The first subleading corrections to the
large N limit are also considered. These subleading corrections to the
dilatation operator do not commute with the leading terms, indicating that
integrability may not survive beyond the large N limit.

At finite N the number of restricted Schur polynomials is greater than or
equal to the number of generalized restricted Schur polynomials. In this note
we study this discrepancy and explain its origin. We conclude that, for quiver
gauge theories, in general, the generalized restricted Schur polynomials
correctly account for the complete set of finite N constraints and they provide
a basis, while the restricted Schur polynomials only account for a subset of
the finite N constraints and are thus overcomplete. We identify several
situations in which the restricted Schur polynomials do in fact account for the
complete set of finite N constraints. In these situations the restricted Schur
polynomials and the generalized restricted Schur polynomials both provide good
bases for the quiver gauge theory. Finally, we demonstrate situations in which
the generalized restricted Schur polynomials reduce to the restricted Schur
polynomials.

In this article we compute the anomalous dimensions for a class of operators,
belonging to the SU(3) sector of the theory, that have a bare dimension of
order N. For these operators the large N limit and the planar limit are
distinct and summing only the planar diagrams will not capture the large N
dynamics. Although the spectrum of anomalous dimensions has been computed for
this class of operators, previous studies have neglected certain terms which
were argued to be small. After dropping these terms diagonalizing the
dilatation operator reduces to diagonalizing a set of decoupled oscillators. In
this article we explicitly compute the terms which were neglected previously
and show that diagonalizing the dilatation operator still reduces to
diagonalizing a set of decoupled oscillators.

In this article we study the action of the one loop dilatation operator on
operators with a classical dimension of order N. These operators belong to the
su(2) sector and are constructed using two complex fields Y and Z. For these
operators nonplanar diagrams contribute already at the leading order in N and
the planar and large N limits are distinct. The action of the one loop and the
two loop dilatation operator reduces to a set of decoupled oscillators and
factorizes into an action on the Z fields and an action on the Y fields. Direct
computation has shown that the action on the Y fields is the same at one and
two loops. In this article, using the su(2) symmetry algebra as well as
structural features of field theory, we give compelling evidence that the
factor in the dilatation operator that acts on the Ys is given by the one loop
expression, at any loop order.

Using the recently constructed basis for local operators in free SO(N) gauge
theory we derive an exact formula for the correlation functions of multi trace
operators. This formula is used to obtain a simpler form and a simple product
rule for the operators in the SO(N) basis. The coefficients of the product rule
are the LittlewoodRichardson numbers which determine the corresponding product
rule in free U(N) gauge theory. SO(N) gauge theory is dual to a nonoriented
string theory on the AdS_5xRP^5 geometry. To explore the physics of this string
theory we consider the limit of the gauge theory that, for the U(N) gauge
theory, is dual to the ppwave limit of AdS_5xS^5. Nonplanar unoriented ribbon
diagrams do not survive this limit. We give arguments that the number of
operators in our basis matches counting using the exact free field partition
function of free SO(N) gauge theory. We connect the basis we have constructed
to free fermions, which has a natural interpretation in terms of a class of
1/2BPS bubbling geometries, which arise as orientifolds of type IIB string
theory. Finally, we obtain a complete generalization of these results to Sp(N)
gauge theory by proving that the finite N physics of SO(N) and Sp(N) gauge
theory are related by exchanging symmetrizations and antisymmetrizations and
replacing N by N.

Ribbon graphs embedded on a Riemann surface provide a useful way to describe
the double line Feynman diagrams of large N computations and a variety of other
QFT correlator and scattering amplitude calculations, e.g in MHV rules for
scattering amplitudes, as well as in ordinary QED. Their counting is a special
case of the counting of bipartite embedded graphs. We review and extend
relevant mathematical literature and present results on the counting of some
infinite classes of bipartite graphs. Permutation groups and representations
as well as double cosets and quotients of graphs are useful mathematical tools.
The counting results are refined according to data of physical relevance, such
as the structure of the vertices, faces and genus of the embedded graph. These
counting problems can be expressed in terms of observables in threedimensional
topological field theory with S_d gauge group which gives them a topological
membrane interpretation.

We develop techniques to study the correlation functions of "large operators"
whose bare dimension grows parametrically with N, in SO(N) gauge theory. We
build the operators from a single complex matrix. For these operators, the
large N limit of correlation functions is not captured by summing only the
planar diagrams. By employing group representation theory we are able to define
local operators which generalize the Schur polynomials of the theory with gauge
group U(N). We compute the two point function of our operators exactly in the
free field limit showing that they diagonalize the two point function. We
explain how these results can be used to obtain the exact free field answers
for correlators of operators in the trace basis.