Search arXiv⌕ Search

arXiv · 2009.03410

Tridiagonal kernels and left-invertible operators with applications to Aluthge transforms

Abstract

Given scalars $a_n (\neq 0)$ and $b_n$, $n \geq 0$, the tridiagonal kernel or band kernel with bandwidth $1$ is the positive definite kernel $k$ on the open unit disc $\mathbb{D}$ defined by \[ k(z, w) = \sum_{n=0}^\infty \Big((a_n + b_n z)z^n\Big) \Big((\bar{a}_n + \bar{b}_n \bar{w}) \bar{w}^n \Big) \qquad (z, w \in \mathbb{D}). \] This defines a reproducing kernel Hilbert space $\mathcal{H}_k$ (known as tridiagonal space) of analytic functions on $\mathbb{D}$ with $\{(a_n + b_nz) z^n\}_{n=0}^\infty$ as an orthonormal basis. We consider shift operators $M_z$ on $\mathcal{H}_k$ and prove that $M_z$ is left-invertible if and only if $\{|{a_n}/{a_{n+1}}|\}_{n\geq 0}$ is bounded away from zero. We find that, unlike the case of weighted shifts, Shimorin's models for left-invertible operators fail to bring to the foreground the tridiagonal structure of shifts. In fact, the tridiagonal structure of a kernel $k$, as above, is preserved under Shimorin model if and only if $b_0=0$ or that $M_z$ is a weighted shift. We prove concrete classification results concerning invariance of tridiagonality of kernels, Shimorin models, and positive operators. We also develop a computational approach to Aluthge transforms of shifts. Curiously, in contrast to direct kernel space techniques, often Shimorin models fails to yield tridiagonal Aluthge transforms of shifts defined on tridiagonal spaces.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Susmita Das, Jaydeb Sarkar. 2021-04-11. Tridiagonal kernels and left-invertible operators with applications to Aluthge transforms. https://arxiv.org/abs/2009.03410

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

KEEP EXPLORING

Related papers

Embedding complexity into the universal Banach space and the strong Novikov conjecture

Brown-Guentner and Haagerup-Przybyszewska showed that every discrete group admits a proper affine isometric action on the universal Banach space $\bigoplus_{p=1}^{\infty} \ell^{2p}(\mathbb{N}),$ taken as the $\ell^{2}$-direct sum, and hence admits a coarse embedding into this space [7, 28]. They further asked whether such embeddings could be used to study the Novikov conjecture. In this paper, we address this question by proving that the strong Novikov conjecture holds for any discrete group that admits a coarse embedding with finite complexity into this universal Banach space. Finally, we show that the recently discovered non-sofic groups constructed by Kun and Thom have Property A and therefore satisfy the Novikov conjecture.

math.FA↗

Symmetric Kahane--Salem--Zygmund Inequalities and the Supremum Norm

The Kahane--Salem--Zygmund inequality provides unimodular $m$-linear forms with small supremum norm. We consider its dimension-free symmetric constant $C_m^{\mathrm{sym}}$ over the real scalar field, defined by the requirement that, for every $n$, some real symmetric unimodular $m$-linear form $A:(\ell_\infty^n)^m\to\mathbb R$ satisfy \[ \|A\|\le C_m^{\mathrm{sym}}n^{(m+1)/2}. \] For complex scalars, Boas obtained under permutation symmetry an upper bound of order at most $\sqrt{m\log m}\,\sqrt{m!}$; over the real scalar field, an elementary argument gives the sharper order $\sqrt m\,\sqrt{m!}$. We prove \[ C_m^{\mathrm{sym}}\ge \left(\sqrt{\frac2e}+o(1)\right)\frac{\sqrt{m!}}m, \] using the square-free Walsh spectrum of the diagonal polynomial. In the opposite direction, we establish \[ C_m^{\mathrm{sym}}\le C_0\sqrt{m!}, \] where $C_0$ is absolute, removing the factor $\sqrt m$ from the real upper bound. This estimate follows from a geometric argument in which rigidity for Gram permanents reduces the relevant configurations to sets controlled by Gaussian width. For unrestricted unimodular forms, we also obtain a quantitative rectangular estimate from truncated Hadamard matrices; in equal dimension, the normalized minimum is at most $1+o(1)$ whenever $m=o(n^{5/6})$.

math.FA↗

The weak type $(1,1)$ estimate of Dirichlet Means for unbounded noncommutative Vilenkin systems

Let $\mathcal{R}$ be the hyperfinite $\mathrm{II}_1$ factor. Considering the partial sum operators $(\mathcal{S}_n)_{n\geq 1}$ of the noncommutative Vilenkin-Fourier series associated with an arbitrary admissible Vilenkin group, we prove that there exists a universal constant $c>0$ such that \begin{equation*} \sup_{n\geq1}\|\mathcal{S}_n(f)\|_{L_{1,\infty}(\mathcal{R})} \leq c\|f\|_{L_1(\mathcal{R})},\quad f \in L_1(\mathcal{R}), \end{equation*} and, for every $1<p<\infty$, $$\sup_{n\geq1}\|\mathcal{S}_n(f)\|_{L_p(\mathcal{R})} \leq c\frac{p}{p-1}\|f\|_{L_p(\mathcal{R})},\quad f \in L_p(\mathcal{R}).$$ Besides the transference technique, the main novel ingredient is a modified version of noncommutative Calderón-Zygmund decomposition established in \cite{CCP2022}. Consequently, we resolve the problem of weak type $(1,1)$ estimate communicated to the authors by Fedor Sukochev, and substantially improve the strong type (p,p) estimates obtained in \cite{DFdePS2001} by achieving the optimal order $\frac{p}{p-1}$.

math.FA↗