Search arXivSearch

arXiv · 1503.05003

Darboux transformations for CMV matrices

Abstract

We develop a theory of Darboux transformations for CMV matrices, canonical representations of the unitary operators. In perfect analogy with their self-adjoint version -- the Darboux transformations of Jacobi matrices -- they are equivalent to Laurent polynomial modifications of the underlying measures. We address other questions which emphasize the similarities between Darboux transformations for Jacobi and CMV matrices, like their (almost) isospectrality or the relation that they establish between the corresponding orthogonal polynomials, showing also that both transformations are connected by the Szeg\"o mapping. Nevertheless, we uncover some features of the Darboux transformations for CMV matrices which are in striking contrast with those of the Jacobi case. In particular, when applied to CMV matrices, the matrix realization of the inverse Darboux transformations -- what we call 'Darboux transformations with parameters' -- leads to spurious solutions whose interpretation deserves future research. Such spurious solutions are neither unitary nor band matrices, so Darboux transformations for CMV matrices are much more subject to the subtleties of the algebra of infinite matrices than their Jacobi counterparts. A key role in our theory is played by the Cholesky factorizations of infinite matrices. Actually, the Darboux transformations introduced in this paper are based on the Cholesky factorizations of degree one Hermitian Laurent polynomials evaluated on CMV matrices. We also show how these transformations can be generalized to higher degree Laurent polynomials, as well as to the extension of CMV matrices to quasi-definite functionals -- what we call 'quasi-CMV' matrices.

Explore related subjects

Keep this discovery

BibTeXRIS

M. J. Cantero, F. Marcellán, L. Moral, L. Velázquez. 2015-03-17. Darboux transformations for CMV matrices. https://arxiv.org/abs/1503.05003

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On the log-concavity of the composite Bessel function $x^{\alpha}J_{\nu }\left( \beta x^{\gamma}\right) $

For a twice differentiable function $f:\left( a,b\right) \rightarrow \mathbb{R}$ define $v\left( f\right) =f^{\prime}f^{\prime}-f^{\prime\prime }f.$ It is well known that the positivity of $v\left( f\right) $ implies that the function $\left\vert f\right\vert $ is strictly log-concave on each subinterval which does not contain zeros of $f.$ In this paper we provide criteria for the positivity of $v\left( F\right) $ for the composite Bessel function $F\left( x\right) =J_{\alpha,\beta,\gamma,\nu}\left( x\right) :=x^{\alpha}J_{\nu}\left( \beta x^{\gamma}\right) $ for positive numbers $\beta$ and $\gamma$ and real numbers $\alpha$ and $\nu.$

math.CA

Riesz capacity ratios with negative exponents

We investigate sharp inequalities for ratios of Riesz capacities with negative exponents by combining computational experiments with rigorous analysis. For finite subsets of the line, we prove positivity of equilibrium masses when $-1<p<0$, enabling numerical tests of conjectured extremal ratios. In the plane, comparisons of the disk with regular polygon vertex sets reveal a cascade of transitions among the tested competitors and suggest a precise conjecture for the equilibrium measure of odd polygons, for which we give a partial proof. Numerical intersections of equality curves show that the regions where these sets outperform the disk are not simply nested. Similar numerical intersections occur in three dimensions between the regular-simplex equality curve and those of explicit five-point and six-point configurations. Motivated by the dimensional dependence of these comparisons, we prove that for each fixed $p<-2<q<0$, the regular simplex has a larger capacity ratio than the ball in all sufficiently large dimensions. Accompanying Python and Mathematica code supports reproduction and further testing of the conjectures.

math.CA

Shorter proof of dimension-free $L^p$ estimates for maximal Riesz transforms

We provide a shorter and more direct proof of $L^p$ estimates for maximal Riesz transforms (of an arbitrary order) in terms of the corresponding Riesz transforms, with a constant independent of the dimension of the Euclidean space $\mathbb R^d$. This result was originally proved by Mateu, Orobitg, P\'erez and Verdera with a constant depending on the dimension, and improved to a dimension-free inequality by Kucharski, Wr\'obel and Zienkiewicz.

math.CA