Source author record

Constanze Liaw

Constanze Liaw appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

24works
6topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

24 published item(s)

preprint2022arXiv

Spectral Measures for Derivative Powers via Matrix-Valued Clark Theory

The theory of finite-rank perturbations allows for the determination of spectral information for broad classes of operators using the tools of analytic function theory. In this work, finite-rank perturbations are applied to powers of the derivative operator, providing a full account from self-adjoint boundary conditions to computing aspects of the operators' matrix-valued spectral measures. In particular, the support and weights of the Clark (spectral) measures are computed via the connection between matrix-valued contractive analytic functions and matrix-valued nonnegative measures through the Herglotz Representation Theorem. For operators associated with several powers of the derivative, explicit formulae for these measures are included. While eigenfunctions and eigenvalues for these operators with fixed boundary conditions can often be computed using direct methods from ordinary differential equations, this approach provides a more complete picture of the spectral information.

preprint2021arXiv

Preservation of absolutely continuous spectrum for contractive operators

We consider contractive operators $T$ that are trace class perturbations of a unitary operator $U$. We prove that the dimension functions of the absolutely continuous spectrum of $T$, $T^*$ and of $U$ coincide. In particular, if $U$ has a purely singular spectrum then the characteristic function $θ$ of $T$ is a two-sided inner function, i.e. $θ(ξ)$ is unitary a.e. on $\mathbb{T}$. Some corollaries of this result are related to investigations of the asymptotic stability of the operators $T$ and $T^*$ (convergence $T^n\to 0$ and $(T^*)^n\to 0$, respectively, in the strong operator topology). The proof is based on an explicit computation of the characteristic function.

preprint2020arXiv

Dimension of the exceptional set in the Aronszajn-Donoghue theorem for finite rank perturbations

The classical Aronszajn-Donoghue theorem states that for a rank one perturbation of a self-adjoint operator (by a cyclic vector) the singular parts of the spectral measures of the original and perturbed operators are mutually singular. As simple direct sum type examples show, this result does not hold for finite rank perturbations. However, the set of exceptional perturbations is pretty small. Namely, for a family of rank $d$ perturbations $A_{\boldsymbolα} := A +\mathbf{B} \boldsymbolα \mathbf{B}^*$, $\mathbf{B}:\mathbb{C}^d\to \mathbf{H}$, with Ran$\,\mathbf{B}$ being cyclic for $A$, parametrized by $d\times d$ Hermitian matrices $\boldsymbolα$, the singular parts of the spectral measures of $A$ and $A_{\boldsymbolα}$ are mutually singular for all $\boldsymbolα$ except for a small exceptional set $E$. It was shown earlier by the first two authors that $E$ is a subset of measure zero of the space $\mathbf{H}(d)$ of $d\times d$ Hermitian matrices. In this paper we show that the set $E$ has small Hausdorff dimension, $\dim E \le \dim\mathbf{H}(d)-1 = d^2-1$.

preprint2020arXiv

Perspectives on General Left-Definite Theory

In 2002, Littlejohn and Wellman developed a celebrated general left-definite theory for semi-bounded self-adjoint operators with many applications to differential operators. The theory starts with a semi-bounded self-adjoint operator and constructs a continuum of related Hilbert spaces and self-adjoint operators that are intimately related with powers of the initial operator. The development spurred a flurry of activity in the field that is still ongoing today. The main goal of this expository (with the exception of Proposition 1) manuscript is to compare and contrast the complementary theories of general left-definite theory, the Birman--Krein--Vishik (BKV) theory of self-adjoint extensions and singular perturbation theory. In this way, we hope to encourage interest in left-definite theory as well as point out directions of potential growth where the fields are interconnected. We include several related open questions to further these goals.

preprint2019arXiv

Matrix Measures and Finite Rank Perturbations of Self-adjoint Operators

Matrix-valued measures provide a natural language for the theory of finite rank perturbations. In this paper we use this language to prove some new perturbation theoretic results. Our main result is a generalization of the Aronszajn--Donoghue theorem about the mutual singularity of the singular parts of the spectrum for rank one perturbations to the case of finite rank perturbations. Simple direct sum type examples indicate that an exact generalization is not possible. However, in this paper we introduce the notion of \emph{vector mutual singularity} for the matrix-valued measures and show that if we use this notion, the mutual singularity still holds for the finite rank perturbations. As for the scalar spectral measures and the classical mutual singularity, we show that the singular parts are mutually singular for almost all perturbations. One of the ways to prove that is to use a generalization of the Aleksandrov's spectral averaging to the matrix-valued measures, which is also one of the main results of this paper. Finally, the spectral representation of the perturbed operator is obtained. The matrix Muckenhoupt $A_2$ condition appears naturally there, and it plays an important role in establishing the vector mutual singularity of the spectral measures.

preprint2019arXiv

Properties and Decompositions of Domains for Powers of the Jacobi Differential Operator

We set out to build a framework for self-adjoint extension theory for powers of the Jacobi differential operator that does not make use of classical deficiency elements. Instead, we rely on simpler functions that capture the impact of these elements on extensions but are defined by boundary asymptotics. This new perspective makes calculations much more accessible and allows for a more nuanced analysis of the associated domains. The maximal domain for $n$-th composition of the Jacobi operator is characterized in terms of a smoothness condition for each derivative, and the endpoint behavior of functions in the underlying Hilbert space can then be classified, for $j\in\mathbb{N}_0$, by $(1-x)^j$, $(1+x)^j$, $(1-x)^{-α+j}$ and $(1+x)^{β+j}$. Most of these behaviors can only occur when functions are in the associated minimal domain, and this leads to a formulation of the defect spaces with a convenient basis. Self-adjoint extensions, including the important left-definite domain, are then given in terms of the new basis functions for the defect spaces using GKN theory. Comments are made for the Laguerre operator as well.

preprint2015arXiv

Orthogonal polynomials, reproducing kernels, and zeros of optimal approximants

We study connections between orthogonal polynomials, reproducing kernel functions, and polynomials $p$ minimizing Dirichlet-type norms $\|pf-1\|_α$ for a given function $f$. For $α\in [0,1]$ (which includes the Hardy and Dirichlet spaces of the disk) and general $f$, we show that such extremal polynomials are non-vanishing in the closed unit disk. For negative $α$, the weighted Bergman space case, the extremal polynomials are non-vanishing on a disk of strictly smaller radius, and zeros can move inside the unit disk. We also explain how $\mathrm{dist}_{D_α}(1,f\cdot \mathcal{P}_n)$, where $\mathcal{P}_n$ is the space of polynomials of degree at most $n$, can be expressed in terms of quantities associated with orthogonal polynomials and kernels, and we discuss methods for computing the quantities in question.

preprint2015arXiv

Properties of vector-valued submodules on the bidisk

In previous work, the authors studied the compressed shift operators $S_{z_1}$ and $S_{z_2}$ on two-variable model spaces $H^2(\mathbb{D}^2)\ominus θH^2(\mathbb{D}^2)$, where $θ$ is a two-variable scalar inner function. Among other results, the authors used Agler decompositions to characterize the ranks of the operators $[S_{z_j}, S^*_{z_j}]$ in terms of the degree of rational $θ.$ In this paper, we examine similar questions for $H^2(\mathbb{D}^2)\ominus ΘH^2(\mathbb{D}^2)$ when $Θ$ is a matrix-valued inner function. We extend several results our previous work connecting $\text{Rank} [S_{z_j}, S^*_{z_j}]$ and the degree of $Θ$ to the matrix setting. When results do not clearly generalize, we conjecture what is true and provide supporting examples.

preprint2015arXiv

Spectral analysis for the exceptional $X_m$-Jacobi equation

We provide the mathematical foundation for the $X_m$-Jacobi spectral theory. Namely, we present a self-adjoint operator associated to the differential expression with the exceptional $X_m$-Jacobi orthogonal polynomials as eigenfunctions. This proves that those polynomials are indeed eigenfunctions of the self-adjoint operator (rather than just formal eigenfunctions). Further, we prove the completeness of the exceptional $X_m$-Jacobi orthogonal polynomials (of degrees $m, m+1, m+2, ...$) in the Lebesgue--Hilbert space with the appropriate weight. In particular, the self-adjoint operator has no other spectrum.

preprint2014arXiv

A New Class of Exceptional Orthogonal Polynomials: The Type III $X_{m}$-Laguerre Polynomials And The Spectral Analysis of Three Types of Exceptional Laguerre Polynomials

The Bochner Classification Theorem (1929) characterizes the polynomial sequences $\p_{n}\}_{n=0}^{\infty}$, with $\text{deg}\,p_{n}=n$ that simultaneously form a complete set of eigenstates for a second-order differential operator and are orthogonal with respect to a positive Borel measure having finite moments of all orders. Indeed, up to a complex linear change of variable, only the classical Hermite, Laguerre, and Jacobi polynomials satisfy these conditions. In 2009, Gómez-Ullate, Kamran, and Milson found that for sequences $\{p_{n}\}_{n=1}^{\infty}$, $\text{deg}\,p_{n}=n$ (without the constant polynomial), the only such sequences are the exceptional $X_{1}$-Laguerre and $X_{1}$-Jacobi polynomials. Subsequently, other exceptional orthogonal polynomials $\{p_{n}\}_{n\in\mathbb{N}_{0}\diagdown A}$ were discovered and studied (here $A$ is a finite subset of the non-negative integers $\mathbb{N}_{0}$ and $\text{deg}\,p_{n}=n$ for all $n\in\mathbb{N}_{0}\diagdown A$). We call such a sequence an exceptional $X_{\left\vert A\right\vert}$ sequence. Remarkably, all exceptional sequences found, to date, form a complete orthogonal set in their natural Hilbert space setting. Among the exceptional sets already known are the Type I and Type II $X_{m}$-Laguerre polynomials, each omitting $m$ polynomials. We briefly discuss these polynomials and construct self-adjoint operators generated by their corresponding second-order differential expressions in appropriate Hilbert spaces. In addition, we present a new Type III family of $X_{m}$-Laguerre polynomials along with a detailed disquisition of its properties. We include several representations of these polynomials, orthogonality, norms, completeness, the location of their local extrema and roots, root asymptotics, as well as the spectral study of the second-order Type III exceptional $X_{m}$-Laguerre differential expression.

preprint2014arXiv

A Spectral Study of the Second-Order Exceptional $X_1$-Jacobi Differential Expression and a Related Non-classical Jacobi Differential Expression

The exceptional $X_{1}$-Jacobi differential expression is a second-order ordinary differential expression with rational coefficients; it was discovered by Gómez-Ullate, Kamran and Milson in 2009. In their work, they showed that there is a sequence of polynomial eigenfunctions $\left\{\widehat{P} _{n}^{(α,β)}\right\}_{n=1}^{\infty}$ called the exceptional $X_{1}$-Jacobi polynomials. There is no exceptional $X_{1}$-Jacobi polynomial of degree zero. These polynomials form a complete orthogonal set in the weighted Hilbert space $L^{2}((-1,1);\widehat{w}_{α,β}),$ where $\widehat{w}_{α,β}$ is a positive rational weight function related to the classical Jacobi weight. Among other conditions placed on the parameters $α$ and $β,$ it is required that $α,β>0.$ In this paper, we develop the spectral theory of this expression in $L^{2}((-1,1);\widehat{w}_{α,β})$. We also consider the spectral analysis of the `extreme' non-exceptional case, namely when $α=0$. In this case, the polynomial solutions are the non-classical Jacobi polynomials $\left\{ P_{n}^{(-2,β)}\right\} _{n=2}^{\infty}.$ We study the corresponding Jacobi differential expression in several Hilbert spaces, including their natural $L^{2}$ setting and a certain Sobolev space $S$ where the full sequence $\left\{ P_{n}^{(-2,β)}\right\} _{n=0}^{\infty}$ is studied and a careful spectral analysis of the Jacobi expression is carried out.

preprint2014arXiv

Cyclic polynomials in two variables

We give a complete characterization of polynomials in two complex variables that are cyclic with respect to the coordinate shifts acting on Dirichlet-type spaces in the bidisk, which include the Hardy space and the Dirichlet space of the bidisk. The cyclicity of a polynomial depends on both the size and nature of the zero set of the polynomial on the distinguished boundary. The techniques in the proof come from real analytic function theory, determinantal representations for stable polynomials, and harmonic analysis on curves

preprint2014arXiv

Properties of Beurling-Type Submodules via Agler Decompositions

In this paper, we study operator-theoretic properties of the compressed shift operators $S_{z_1}$ and $S_{z_2}$ on complements of submodules of the Hardy space over the bidisk $H^2(\mathbb{D}^2)$. Specifically, we study Beurling-type submodules - namely submodules of the form $θH^2(\mathbb{D}^2)$ for $θ$ inner - using properties of Agler decompositions of $θ$ to deduce properties of $S_{z_1}$ and $S_{z_2}$ on model spaces $H^2(\mathbb{D}^2) \ominus θH^2(\mathbb{D}^2)$. Results include characterizations (in terms of $θ$) of when a commutator $[S_{z_j}^*, S_{z_j}]$ has rank $n$ and when subspaces associated to Agler decompositions are reducing for $S_{z_1}$ and $S_{z_2}$. We include several open questions.

preprint2013arXiv

Cyclicity in Dirichlet-type spaces and extremal polynomials

For functions $f$ in Dirichlet-type spaces we study how to determine constructively optimal polynomials $p_n$ that minimize $\|p f-1\|_α$ among all polynomials $p$ of degree at most $n$. Then we give upper and lower bounds for the rate of decay of $\|p_{n}f-1\|_α$ as $n$ approaches $\infty$. Further, we study a generalization of a weak version of the Brown-Shields conjecture and some computational phenomena about the zeros of optimal polynomials.

preprint2013arXiv

Cyclicity in Dirichlet-type spaces and extremal polynomials II: functions on the bidisk

We study Dirichlet-type spaces $\mathfrak{D}_α$ of analytic functions in the unit bidisk and their cyclic elements. These are the functions $f$ for which there exists a sequence $(p_n)_{n=1}^{\infty}$ of polynomials in two variables such that $\|p_nf-1\|_α\to 0$ as $n\to \infty$. We obtain a number of conditions that imply cyclicity, and obtain sharp estimates on the best possible rate of decay of the norms $\|p_nf-1\|_α$, in terms of the degree of $p_n$, for certain classes of functions using results concerning Hilbert spaces of functions of one complex variable and comparisons between norms in one and two variables. We give examples of polynomials with no zeros on the bidisk that are not cyclic in $\mathfrak{D}_α$ for $α>1/2$ (including the Dirichlet space); this is in contrast with the one-variable case where all non-vanishing polynomials are cyclic in Dirichlet-type spaces that are not algebras ($α\le 1$). Further, we point out the necessity of a capacity zero condition on zero sets (in an appropriate sense) for cyclicity in the setting of the bidisk, and conclude by stating some open problems.

preprint2013arXiv

Cyclicity in rank-one perturbation problems

The property of cyclicity of a linear operator, or equivalently the property of simplicity of its spectrum, is an important spectral characteristic that appears in many problems of functional analysis and applications to mathematical physics. In this paper we study cyclicity in the context of rank-one perturbation problems for self-adjoint and unitary operators. We show that for a fixed non-zero vector the property of being a cyclic vector is not rare, in the sense that for any family of rank-one perturbations of self-adjoint or unitary operators acting on the space, that vector will be cyclic for every operator from the family, with a possible exception of a small set with respect to the parameter. We discuss applications of our results to Anderson-type Hamiltonians.

preprint2013arXiv

Delocalization for the 3-D discrete random Schroedinger operator at weak disorder

We apply a recently developed approach (Liaw 2013) to study the existence of extended states for the three dimensional discrete random Schroedinger operator at small disorder. The conclusion of delocalization at small disorder agrees with other numerical and experimental observations. Further the work furnishes a verification of the numerical approach and its implementation. Not being based on scaling theory, this method eliminates problems due to boundary conditions, common to previous numerical methods in the field. At the same time, as with any numerical experiment, one cannot exclude finite-size effects with complete certainty. Our work can be thought of as a new and quite different use of Lanczos' algorithm; a posteriori tests to show that the orthogonality loss is very small. We numerically track the "bulk distribution" (here: the distribution of where we most likely find an electron) of a wave packet initially located at the origin, after iterative application of the discrete random Schroedinger operator.

preprint2012arXiv

A new numerical approach to Anderson (de)localization

We develop a new approach for the Anderson localization problem. The implementation of this method yields strong numerical evidence leading to a (surprising to many) conjecture: The two dimensional discrete random Schroedinger operator with small disorder allows states that are dynamically delocalized with positive probability. This approach is based on a recent result by Abakumov-Liaw-Poltoratski which is rooted in the study of spectral behavior under rank-one perturbations, and states that every non-zero vector is almost surely cyclic for the singular part of the operator. The numerical work presented is rather simplistic compared to other numerical approaches in the field. Further, this method eliminates effects due to boundary conditions. While we carried out the numerical experiment almost exclusively in the case of the two dimensional discrete random Schroedinger operator, we include the setup for the general class of Anderson models called Anderson-type Hamiltonians. We track the location of the energy when a wave packet initially located at the origin is evolved according to the discrete random Schroedinger operator. This method does not provide new insight on the energy regimes for which diffusion occurs.

preprint2012arXiv

Conductance for the two dimensional discrete random Schroedinger operator with small disorder

As part of condensed-matter physics, the field of Anderson localization concerns the study of conductance of electrons in a random medium. We summarize and explain the results obtained in "A new numerical approach to Anderson (de)localization" from a physics perspective. Further, we discover a relationship with the so-called Thouless criterion - a dimensionless scaling parameter often used as the sole indicator whether or not the system exhibits Anderson localization.

preprint2012arXiv

Rank one and finite rank perturbations - survey and open problems

We survey the relationships of rank one self-adjoint and unitary perturbations as well as finite rank unitary perturbations with various branches of analysis and mathematical physics. We include the case of non-inner characteristic operator functions. For rank one perturbations and non-inner characteristic functions, we prove a representation formula for the adjoint of the Clark operator. Throughout we mention many open problems at varying levels of difficulty.

preprint2011arXiv

A geometric approach to finite rank unitary perturbations

For a fixed natural number n, we consider a family of rank n unitary perturbations of a completely non-unitary contraction (cnu) with deficiency indices (n,n) on a separable Hilbert space. We relate the unitary dilation of such a contraction to its rank n unitary perturbations. Based on this construction, we prove that the spectra of the perturbed operators are purely singular if and only if the operator-valued characteristic function corresponding to the unperturbed operator is inner. In the case where n=1 the latter statement reduces to a well-known result in the theory of rank one perturbations. However, our method of proof via the theory of dilations extends to the case of arbitrary n. We find a formula for the operator-valued characteristic functions corresponding to a family of related cnu contractions. In the case where n=1, the characteristic function of the original contraction we obtain a simple expression involving the normalized Cauchy transform of a certain measure. An application of this representation then enables us to control the jump behavior of this normalized Cauchy transform "across" the unit circle.

preprint2011arXiv

Regularizations of general singular integral operators

In the theory of singular integral operators significant effort is often required to rigorously define such an operator. This is due to the fact that the kernels of such operators are not locally integrable on the diagonal, so the integral formally defining the operator or its bilinear form is not well defined (the integrand is not in L^1) even for nice functions. However, since the kernel only has singularities on the diagonal, the bilinear form is well defined say for bounded compactly supported functions with separated supports. One of the standard ways to interpret the boundedness of a singular integral operators is to consider regularized kernels, where the cut-off function is zero in a neighborhood of the origin, so the corresponding regularized operators with kernel are well defined (at least on a dense set). Then one can ask about uniform boundedness of the regularized operators. For the standard regularizations one usually considers truncated operators. The main result of the paper is that for a wide class of singular integral operators (including the classical Calderon-Zygmund operators in non-homogeneous two weight settings), the L^p boundedness of the bilinear form on the compactly supported functions with separated supports (the so-called restricted L^p boundedness) implies the uniform L^p-boundedness of regularized operators for any reasonable choice of a smooth cut-off of the kernel. If the kernel satisfies some additional assumptions (which are satisfied for classical singular integral operators like Hilbert Transform, Cauchy Transform, Ahlfors--Beurling Transform, Generalized Riesz Transforms), then the restricted L^p boundedness also implies the uniform L^p boundedness of the classical truncated operators.

preprint2008arXiv

Rank one perturbations and singular integral operators

We consider rank one perturbations $A_α=A+α(\cdot,φ)φ$ of a self-adjoint operator $A$ with cyclic vector $φ\in\mathcal H_{-1}(A)$ on a Hilbert space $\mathcal H$. The spectral representation of the perturbed operator $A_α$ is given by a singular integral operator of special form. Such operators exhibit what we call 'rigidity' and are connected with two weight estimates for the Hilbert transform. Also, some results about two weight estimates of Cauchy (Hilbert) transforms are proved. In particular, it is proved that the regularized Cauchy transforms $T_\varepsilon$ are uniformly (in $\varepsilon$) bounded operators from $L^2(μ)$ to $L^2(μ_α)$, where $μ$ and $μ_α$ are the spectral measures of $A$ and $A_α$, respectively. As an application, a sufficient condition for $A_α$ to have a pure absolutely continuous spectrum on a closed interval is given in terms of the density of the spectral measure of $A$ with respect to $φ$. Some examples, like Jacobi matrices and Schrödinger operators with $L^2$ potentials are considered.