arXiv subjects
Publications and source records attributed to Brian Simanek.
We study decaying half-line Schr\"odinger operators and the local eigenvalue spacing of their Dirichlet restrictions. While absolutely continuous spectrum is strongly associated with bulk universality and clock behavior, singular spectral measures can correspond to varied local behaviors. In this work, the rate of decay of the potential is shown to give upper bounds for the spacing of Dirichlet eigenvalues on finite intervals.
We show that under very mild conditions on a measure $\mu$ on the interval $[0,\infty)$, the span of $\{x^k\}_{k=n}^{\infty}$ is dense in $L^2(\mu)$ for any $n=0,1,\ldots$. We present two different proofs of this result, one based on the density index of Berg and Thill and one based on the Hilbert space $L^2(\mu)\oplus \mathbb{C}^{n+1}$. Using the index of determinacy of Berg and Dur\'an we prove that if the measure $\mu$ on $\mathbb{R}$ has infinite index of determinacy then the polynomial ideal $R(x)\mathbb{C}[x]$ is dense in $L^2(\mu)$ for any polynomial $R$ with zeros having no mass under $\mu$.
Two interesting phenomena for the construction of quantum states are that of mutually unbiased bases and that of balanced states. We explore a constructive approach to each phenomenon that involves orthogonal polynomials on the unit circle. In the case of mutually unbiased bases, we show that this approach does not produce such bases. In the case of balanced states, we provide examples of pairs of orthonormal bases and states that are balanced with respect to them. We also consider extensions of these ideas to the infinite dimensional setting.
We show that under very mild conditions on a measure $\mu$ on the real line, the span of $\{x^n\}_{n=j}^{\infty}$ is dense in $L^2(\mu)$ for any $j\in\mathbb{N}$. We also present a slightly weaker result with an interesting proof that uses Sobolev orthogonality.
We resolve some questions posed by Handelman in 1996 concerning log convex integrable functions. In particular, we give a negative answer to a question he posed concerning the integrability of $h^2(x)/h(2x)$ when $h$ is integrable and log convex and $h(n)^{1/n}$ converges to 1.
We consider families of polynomial lemniscates in the complex plane and determine if they bound a Jordan domain. This allows us to find examples of regions for which we can calculate the projection of $\bar{z}$ to the Bergman space of the bounded region. Such knowledge has applications to the calculation of torsional rigidity.
We consider polynomial approximations of z-bar to better understand the torsional rigidity of polygons. Our main focus is on low degree approximations and associated extremal problems that are analogous to Polya's conjecture for torsional rigidity of polygons. We also present some numerics in support of Polya's Conjecture on the torsional rigidity of pentagons.
We consider Toeplitz operators with bounded symbol acting on the Bergman space of the unit disk and assess their hyponormality. We will mainly be concerned with the symbol $\varphi(z)=z^{n}|z|^{2s}+a(t)\bar{z}^{m}|z|^{2t}$, where $s$ and $t$ are positive real numbers and $m$ and $n$ are natural numbers. The main goal is to understand how large $|a(t)|$ can be for this operator to be hyponormal and we will answer this question for large values of $t$. We also correct a typo from a 2019 paper of Fleeman and Liaw concerning the norm of the commutator of the Toeplitz operator with symbol $z^m\bar{z}^n$ when $m>n$.
We demonstrate that discrete m-functions with eventually periodic continued fraction coefficients have an algebraic relationship to their second solution if and only if the periodic part of the sequence of continued fraction coefficients is doubly palindromic. In this setting, doubly palindromic means that each sequence is a repeated concatenation of two palindromes and a compatibility condition between the lengths of these palindromes is satisfied.
We present determinantal formulas for families of exceptional $X_m$-Laguerre and exceptional $X_m$-Jacobi polynomials and also for exceptional $X_2$-Hermite polynomials. The formulas resemble Vandermonde determinants and use the zeros of the classical orthogonal polynomials.
We describe an approach to universality limits for orthogonal polynomials on the real line which is completely local and uses only the boundary behavior of the Weyl m-function at the point. We show that bulk universality of the Christoffel-Darboux kernel holds for any point where the imaginary part of the m-function has a positive finite nontangential limit. This approach is based on studying a matrix version of the Christoffel-Darboux kernel and the realization that bulk universality for this kernel at a point is equivalent to the fact that the corresponding m-function has normal limits at the same point. Our approach automatically applies to other self-adjoint systems with $2\times 2$ transfer matrices such as continuum Schr\"odinger and Dirac operators. We also obtain analogous results for orthogonal polynomials on the unit circle.
Given a natural number $n\geq3$ and two points $a$ and $b$ in the unit disk $\mathbb D$ in the complex plane, it is known that there exists a unique elliptical disk having $a$ and $b$ as foci that can also be realized as the intersection of a collection of convex cyclic $n$-gons whose vertices fill the whole unit circle $\mathbb T$. What is less clear is how to find a convenient formula or expression for such an elliptical disk. Our main results reveal how orthogonal polynomials on the unit circle provide a useful tool for finding such a formula for some values of $n$. The main idea is to realize the elliptical disk as the numerical range of a matrix and the problem reduces to finding the eigenvalues of that matrix.
We study algebraic curves that are envelopes of families of polygons supported on the unit circle T. We address, in particular, a characterization of such curves of minimal class and show that all realizations of these curves are essentially equivalent and can be described in terms of orthogonal polynomials on the unit circle (OPUC), also known as Szeg\H{o} polynomials. Our results have connections to classical results from algebraic and projective geometry, such as theorems of Poncelet, Darboux, and Kippenhahn; numerical ranges of a class of matrices; and Blaschke products and disk functions. This paper contains new results, some old results presented from a different perspective or with a different proof, and a formal foundation for our analysis. We give a rigorous definition of the Poncelet property, of curves tangent to a family of polygons, and of polygons associated with Poncelet curves. As a result, we are able to clarify some misconceptions that appear in the literature and present counterexamples to some existing assertions along with necessary modifications to their hypotheses to validate them. For instance, we show that curves inscribed in some families of polygons supported on T are not necessarily convex, can have cusps, and can even intersect the unit circle. Two ideas play a unifying role in this work. The first is the utility of OPUC and the second is the advantage of working with tangent coordinates. This latter idea has been previously exploited in the works of B. Mirman, whose contribution we have tried to put in perspective.
We consider the zeros of exceptional orthogonal polynomials (XOP). Exceptional orthogonal polynomials were originally discovered as eigenfunctions of second order differential operators that exist outside the classical Bochner-Brenke classification due to the fact that XOP sequences omit polynomials of certain degrees. This omission causes several properties of the classical orthogonal polynomial sequences to not extend to the XOP sequences. One such property is the restriction of the zeros to the convex hull of the support of the measure of orthogonality. In the XOP case, the zeros that exist outside the classical intervals are called exceptional zeros and they often converge to easily identifiable limit points as the degree becomes large. We deduce the exact rate of convergence and verify that certain estimates that previously appeared in the literature are sharp.
We use classical Jacobi polynomials to identify the equilibrium configurations of charged particles confined to the unit circle. Our main result unifies two theorems from a 1986 paper of Forrester and Rogers.
We consider operators acting on a Hilbert space that can be written as the sum of a shift and a diagonal operator and determine when the operator is hyponormal. The condition is presented in terms of the norm of an explicit block Jacobi matrix. We apply this result to the Toeplitz operator with specific algebraic symbols acting on certain weighted Bergman spaces of the unit disk and determine when such operators are hyponormal.
We consider the Toeplitz operator with symbol z^n+C|z|^s acting on certain weighted Bergman spaces and determine for what values of the constant C this operator is hyponormal. The condition is presented in terms of the norm of an explicit block Jacobi matrix.
We prove some new results about the spacing between neighboring zeros of paraorthogonal polynomials on the unit circle. Our methods also provide new proofs of some existing results. The main tool we will use is a formula for the phase of the appropriate Blaschke product at points on the unit circle.