
We use the large deviation approach to sum rules pioneered by Gamboa, Nagel
and Rouault to prove higher order sum rules for orthogonal polynomials on the
unit circle. In particular, we prove one half of a conjectured sum rule of
Lukic in the case of two singular points, one simple and one double. This is
important because it is known that the conjecture of Simon fails in exactly
this case, so this paper provides support for the idea that Lukic's replacement
for Simon's conjecture might be true.

Based at a talk given at the Kato Centennial Symposium in Sept. 2017, this
article discusses the scientific life and some of the scientific work of T.
Kato.

We prove Szeg\H{o}Widom asymptotics for the Chebyshev polynomials of a
compact subset of $\mathbb{R}$ which is regular for potential theory and obeys
the ParreauWidom and DCT conditions.

Given two orthogonal projections P and Q, we are interested in all unitary
operators U such that UP=QU and UQ=PU. Such unitaries U have previously been
constructed by Wang, Du, and Dou and also by one of the authors. One purpose of
this note is to compare these constructions. Very recently, Dou, Shi, Cui, and
Du described all unitaries U with the required property. Their proof is via the
two projections theorem by Halmos. We here give a proof based on the
supersymmetric approach by Avron, Seiler, and one of the authors.

Let $P$ and $Q$ be two orthogonal projections on a separable Hilbert space,
$\calH$. Wang, Du and Dou proved that there exists a unitary, $U$, with
$UPU^{1} =Q, \quad UQU^{1} = P$ if and only if $\dim(\ker P \cap \ker(1Q)) =
\dim(\ker Q \cap \ker(1P))$ (both may be infinite). We provide a new proof
using the supersymmetric machinery of Avron, Seiler and Simon.

This is a pedagogical exposition of the large deviation approach to sum rules
pioneered by Gamboa, Nagel and Rouault. We'll explain how to use their ideas to
recover the Szeg}o and Killip{ Simon Theorems. The primary audience is spectral
theorists and people working on orthogonal polynomials who have limited
familiarity with the theory of large deviations.

Short blurb for invited talk at AMS annual meeting in Atlanta; will appear in
January AMS Notices

We consider a gas of fermions at zero temperature and low density,
interacting via a microscopic two body potential which admits a bound state.
The particles are confined to a domain with Dirichlet (i.e. zero) boundary
conditions. Starting from the microscopic BCS theory, we derive an effective
macroscopic GrossPitaevskii (GP) theory describing the condensate of fermion
pairs. The GP theory also has Dirichlet boundary conditions.
Along the way, we prove that the GP energy, defined with Dirichlet boundary
conditions on a bounded Lipschitz domain, is continuous under interior and
exterior approximations of that domain.

Laptev and Safronov conjectured that any nonpositive eigenvalue of a
Schr\"odinger operator $\Delta+V$ in $L^2(\mathbb R^\nu)$ with complex
potential has absolute value at most a constant times
$\V\_{\gamma+\nu/2}^{(\gamma+\nu/2)/\gamma}$ for $0<\gamma\leq\nu/2$ in
dimension $\nu\geq 2$. We prove this conjecture for radial potentials if
$0<\gamma<\nu/2$ and we `almost disprove' it for general potentials if
$1/2<\gamma<\nu/2$. In addition, we prove various bounds that hold, in
particular, for positive eigenvalues.

We consider Chebyshev polynomials, $T_n(z)$, for infinite, compact sets
$\frak{e} \subset \mathbb{R}$ (that is, the monic polynomials minimizing the
supnorm, $\Vert T_n \Vert_{\frak{e}}$, on $\frak{e}$). We resolve a $45+$ year
old conjecture of Widom that for finite gap subsets of $\mathbb{R}$, his
conjectured asymptotics (which we call Szeg\H{o}Widom asymptotics) holds. We
also prove the first upper bounds of the form $\Vert T_n \Vert_{\frak{e}} \leq
Q C({\frak{e}})^n$ (where $C(\frak{e})$ is the logarithmic capacity of
$\frak{e}$) for a class of $\frak{e}$'s with an infinite number of components,
explicitly for those $\frak{e} \subset \mathbb{R}$ that obey a ParreauWidom
condition.

We study the stability of convergence of the ChristoffelDarboux kernel,
associated with a compactly supported measure, to the sine kernel, under
perturbations of the Jacobi coefficients of the measure. We prove stability
under variations of the boundary conditions and stability in a weak sense under
$\ell^1$ and random $\ell^2$ diagonal perturbations. We also show that
convergence to the sine kernel at $x$ implies that $\mu(\{x\})=0$.

A review of Finite Gap Jacobi Matrices.

Let $\fre\subset\bbR$ be a finite union of $\ell+1$ disjoint closed intervals
and denote by $\omega_j$ the harmonic measure of the $j$ leftmost bands. The
frequency module for $\fre$ is the set of all integral combinations of
$\omega_1,..., \omega_\ell$. Let $\{\tilde{a}_n, \tilde{b}_n\}_{n=1}^\infty$ be
a point in the isospectral torus for $\fre$ and $\tilde{p}_n$ its orthogonal
polynomials. Let $\{a_n,b_n\}_{n=1}^\infty$ be a halfline Jacobi matrix with
$a_n = \tilde{a}_n + \delta a_n$, $b_n = \tilde{b}_n + \delta b_n$. Suppose \[
\sum_{n=1}^\infty %(\abs{a_n\tilde{a}_n}^2 + \abs{b_n\tilde{b}_n}^2) <\infty
\abs{\delta a_n}^2 + \abs{\delta b_n}^2 <\infty \] and $\sum_{n=1}^N e^{2\pi
i\omega n} \delta a_n$, $\sum_{n=1}^N e^{2\pi i\omega n} \delta b_n$ have
finite limits as $N\to\infty$ for all $\omega$ in the frequency module. If, in
addition, these partial sums grow at most subexponentially with respect to
$\omega$, then for $z\in\bbC\setminus\bbR$, $p_n(z)/\tilde{p}_n(z)$ has a limit
as $n\to\infty$. Moreover, we show that there are nonSzeg\H{o} class $J$'s for
which this holds.

We show that for many families of OPUC, one has $\varphi'_n_2/n > 1$, a
condition we call normal behavior. We prove that this implies $\alpha_n > 0$
and that it holds if the sequence $\alpha_n$ is in $\ell^1$. We also prove it
is true for many sparse sequences. On the other hand, it is often destroyed by
the insertion of a mass point.

We present and exploit an analogy between lack of absolutely continuous
spectrum for Schroedinger operators and natural boundaries for power series.
Among our new results are generalizations of Hecke's example and natural
boundary examples for random power series where independence is not assumed.

We prove bounds of the form $\sum_{e\in I\cap\sigma_\di (H)} \dist
(e,\sigma_\e (H))^{1/2} \leq L^1$norm of a perturbation, where $I$ is a gap.
Included are gaps in continuum onedimensional periodic Schr\"odinger operators
and finite gap Jacobi matrices where we get a generalized Nevai conjecture
about an $L^1$ condition implying a Szeg\H{o} condition. One key is a general
new form of the BirmanSchwinger bound in gaps.

Let $\fre\subset\bbR$ be a finite union of disjoint closed intervals. We
study measures whose essential support is $\fre$ and whose discrete eigenvalues
obey a 1/2power condition. We show that a Szeg\H{o} condition is equivalent to
\[ \limsup \f{a_1... a_n}{\ca(\fre)^n}>0 \] (this includes prior results of
Widom and PeherstorferYuditskii). Using Remling's extension of the
DenisovRakhmanov theorem and an analysis of Jost functions, we provide a new
proof of Szeg\H{o} asymptotics, including $L^2$ asymptotics on the spectrum. We
use heavily the covering map formalism of SodinYuditskii as presented in our
first paper in this series.

Let $\fre$ be a homogeneous subset of $\bbR$ in the sense of Carleson. Let
$\mu$ be a finite positive measure on $\bbR$ and $H_\mu(x)$ its Hilbert
transform. We prove that if $\lim_{t\to\infty} t
\abs{\fre\cap\{x\mid\abs{H_\mu(x)}>t\}}=0$, then $\mu_s(\fre)=0$, where
$\mu_\s$ is the singular part of $\mu$.

For fullline Jacobi matrices, Schr\"odinger operators, and CMV matrices, we
show that being reflectionless, in the sense of the wellknown property of
$m$functions, is equivalent to a lack of reflection in the dynamics in the
sense that any state that goes entirely to $x=\infty$ as $t\to \infty $ goes
entirely to $x=\infty$ as $t\to\infty$. This allows us to settle a conjecture
of Deift and Simon from 1983 regarding ergodic Jacobi matrices.

By combining some ideas of Lubinsky with some soft analysis, we prove that
universality and clock behavior of zeros for OPRL in the a.c. spectral region
is implied by convergence of $\frac{1}{n} K_n(x,x)$ for the diagonal CD kernel
and boundedness of the analog associated to second kind polynomials. We then
show that these hypotheses are always valid for ergodic Jacobi matrices with
a.c. spectrum and prove that the limit of $\frac{1}{n} K_n(x,x)$ is
$\rho_\infty(x)/w(x)$ where $\rho_\infty$ is the density of zeros and $w$ is
the a.c. weight of the spectral measure.

Let $\frak{e}\subset\mathbb{R}$ be a finite union of disjoint closed
intervals. In the study of OPRL with measures whose essential support is
$\frak{e}$, a fundamental role is played by the isospectral torus. In this
paper, we use a covering map formalism to define and study this isospectral
torus. Our goal is to make a coherent presentation of properties and bounds for
this special class as a tool for ourselves and others to study perturbations.
One important result is the expression of Jost functions for the torus in terms
of theta functions.

We prove $\Delta +V$ has purely discrete spectrum if $V\geq 0$ and, for all
$M$, $\{x\mid V(x)<M\}<\infty$ and various extensions.

We study Nevai's condition that for orthogonal polynomials on the real line,
$K_n(x,x_0)^2 K_n(x_0,x_0)^{1} d\rho (x)\to\delta_{x_0}$ where $K_n$ is the CD
kernel. We prove that it holds for the Nevai class of a finite gap set
uniformly on the spectrum and we provide an example of a regular measure on
$[2,2]$ where it fails on an interval.

A review of the uses of the CD kernel in the spectral theory of orthogonal
polynomials, concentrating on recent results.

We give a survey of the analytic theory of matrix orthogonal polynomials.