• ### Large Deviations and the Lukic Conjecture(1703.00653)

April 12, 2018 math.SP
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.
• ### Tosio Kato's Work on Non-Relativistic Quantum Mechanics: An Outline(1710.06999)

Oct. 19, 2017 math-ph, math.MP, math.HO
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.
• ### Asymptotics of Chebyshev Polynomials, II. DCT Subsets of $\mathbb{R}$(1709.06707)

Sept. 20, 2017 math.CA
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 Parreau-Widom and DCT conditions.
• ### Similarity between two projections(1705.08937)

May 24, 2017 math.FA
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.
• ### Unitaries Permuting Two Orthogonal Projections(1703.05437)

March 27, 2017 math.FA
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(1-Q)) = \dim(\ker Q \cap \ker(1-P))$ (both may be infinite). We provide a new proof using the supersymmetric machinery of Avron, Seiler and Simon.
• ### Large Deviations and Sum Rules for Spectral Theory - A Pedagogical Approach(1608.01467)

Dec. 1, 2016 math.PR
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.
• ### Spectral Theory Sum Rules, Meromorphic Herglotz Functions and Large Deviations(1608.04825)

Aug. 17, 2016 math.SP
Short blurb for invited talk at AMS annual meeting in Atlanta; will appear in January AMS Notices
• ### Condensation of fermion pairs in a domain(1608.01088)

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 Gross-Pitaevskii (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.
• ### Eigenvalue bounds for Schr\"odinger operators with complex potentials. II(1504.01144)

June 17, 2015 math-ph, math.MP, math.SP
Laptev and Safronov conjectured that any non-positive 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.
• ### Asymptotics of Chebyshev Polynomials, I. Subsets of $\mathbb{R}$(1505.02604)

May 11, 2015 math.CA
We consider Chebyshev polynomials, $T_n(z)$, for infinite, compact sets $\frak{e} \subset \mathbb{R}$ (that is, the monic polynomials minimizing the sup-norm, $\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 Parreau-Widom condition.
• ### Stability of Asymptotics of Christoffel-Darboux Kernels(1302.7237)

Feb. 28, 2013 math-ph, math.MP, math.CA, math.SP
We study the stability of convergence of the Christoffel-Darboux 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$.
• ### Finite Gap Jacobi Matrices: A Review(1301.5073)

Jan. 23, 2013 math-ph, math.MP, math.SP
A review of Finite Gap Jacobi Matrices.
• ### Finite Gap Jacobi Matrices, III. Beyond the Szeg\H{o} Class(1108.0183)

July 31, 2011 math-ph, math.MP, math.SP
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 half-line 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 non-Szeg\H{o} class $J$'s for which this holds.
• ### Asymptotics of the L^2 Norm of Derivatives of OPUC(1006.0900)

Aug. 25, 2010 math.CA
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.
• ### Natural Boundaries and Spectral Theory(1002.0823)

Aug. 8, 2010 math.CV, math.SP
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.
• ### Critical Lieb-Thirring Bounds in Gaps and the Generalized Nevai Conjecture for Finite Gap Jacobi Matrices(1003.4703)

July 22, 2010 math-ph, math.MP, math.SP
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 one-dimensional 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 Birman--Schwinger bound in gaps.
• ### Finite Gap Jacobi Matrices, II. The Szeg\H{o} Class(0906.1630)

Nov. 17, 2009 math-ph, math.MP, math.SP
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/2-power 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 Peherstorfer--Yuditskii). Using Remling's extension of the Denisov--Rakhmanov 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 Sodin--Yuditskii as presented in our first paper in this series.
• ### The Hilbert Transform of a Measure(0811.0791)

June 5, 2009 math-ph, math.MP
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$.
• ### Equality of the Spectral and Dynamical Definitions of Reflection(0905.3724)

May 22, 2009 math-ph, math.MP, math.SP
For full-line Jacobi matrices, Schr\"odinger operators, and CMV matrices, we show that being reflectionless, in the sense of the well-known 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.
• ### Bulk Universality and Clock Spacing of Zeros for Ergodic Jacobi Matrices with A.C. Spectrum(0810.3277)

Oct. 18, 2008 math.SP
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.
• ### Finite Gap Jacobi Matrices, I. The Isospectral Torus(0810.3273)

Oct. 17, 2008 math-ph, math.MP, math.SP
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.
• ### Schrodinger Operators with Purely Discrete Spectrum(0810.3275)

Oct. 17, 2008 math.SP
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.
• ### The Nevai Condition(0809.2255)

Sept. 12, 2008 math-ph, math.MP, math.SP
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.
• ### The Christoffel-Darboux Kernel(0806.1528)

June 9, 2008 math.SP
A review of the uses of the CD kernel in the spectral theory of orthogonal polynomials, concentrating on recent results.
• ### The Analytic Theory of Matrix Orthogonal Polynomials(0711.2703)

Jan. 31, 2008 math.CA, math.SP
We give a survey of the analytic theory of matrix orthogonal polynomials.