Searcharxiv⌕ Search

arXiv subjects

Tirthankar Bhattacharyya

Publications and source records attributed to Tirthankar Bhattacharyya.

At least 37 records · Page 2Linked to original sources
arXiv2022

On certain Toeplitz operators and associated completely positive maps

We study Toeplitz operators with respect to a commuting $n$-tuple of bounded operators which satisfies some additional conditions coming from complex geometry. Then we consider a particular such tuple on a function space. The algebra of Toeplitz operators with respect to that particular tuple becomes naturally homeomorphic to $L^\infty$ of a certain compact subset of $\mathbb C^n$. Dual Toeplitz operators are characterized. En route, we prove an extension type theorem which is not only important for studying Toeplitz operators, but also has an independent interest because dilation theorems do not hold in general for $n>2$.

math.FA↗
arXiv2022

Toeplitz operators and Hilbert modules on the symmetrized polydisc

When is the collection of $\mathsf S$-Toeplitz operators with respect to a tuple of commuting bounded operators $\mathsf S= (S_1, S_2, \ldots , S_{d-1}, P)$, which has the symmetrized polydisc as a spectral set, non-trivial? The answer is in terms of powers of $P$ as well as in terms of a unitary extension. En route, Brown-Halmos relations are investigated. A commutant lifting theorem is established. Finally, we establish a general result connecting the $C^*$-algebra generated by the commutant of $\mathsf S$ and the commutant of its unitary extension $\mathsf R$.

math.FA↗
arXiv2022

How to approximate irrational numbers nicely?

In the literature, we have various ways of proving irrationality of a real number. In this survey article, we shall emphasize on a particular criterion to prove irrationality. This is called nice approximation of a number by a sequence of rational numbers. This criterion of irrationality is easy to prove and is of great importance. Using it, irrationality of a large class of numbers is proved. We shall apply this method to prove irrationality of algebraic, exponential and trigonometric irrational numbers. Most of the times, explicit constructions are done of the nice sequence of rational numbers. Arguments used are basic like the binomial theorem and maxima and minima of functions. Thus, this survey article is accessible to undergraduate students and has a broad appeal for anyone looking for entertaining mathematics. This article brings out classically known beautiful mathematics without using any heavyweight machinery.

math.NT↗
arXiv2022

On the structure and the joint spectrum of a pair of commuting isometries

The study of a pair $(V_1,V_2)$ of commuting isometries is a classical theme. We shine new light on it by using the defect operator. In the cases when the defect operator is zero or positive or negative, or the difference of two mutually orthogonal projections with ranges adding up to $\ker (V_1V_2)^*$, we write down structure theorems for $(V_1,V_2)$. The structure theorems allow us to compute the joint spectrum in each of the cases above. Moreover, in each case, we also point out at which stage of the Koszul complex the exactness breaks. A pair of operator valued functions $(φ_1,φ_2)$ is canonically associated by Berger, Coburn and Lebow with $(V_1,V_2)$. If $(V_1,V_2)$ is a pure pair, then in each case above we show that $σ(V_1,V_2)=\bar{\cup_{z\in\D} σ(φ_1(z),φ_2(z))}.$ It has been known that the fundamental pair of commuting isometries with positive defect is the pair of multiplication operators by the coordinate functions on the Hardy space of the bidisc. A major contribution of this note is to figure out the fundamental pair of commuting isometries with negative defect. This pair of commuting isometries is constructed on the Hardy space of the bidisc.

math.FA↗
arXiv2021

On the Nevanlinna problem - Characterization of all Schur-Agler class solutions

Given a domain $Ω$ in $\mathbb{C}^m$, and a finite set of points $z_1,\ldots, z_n\in Ω$ and $w_1,\ldots, w_n\in \mathbb{D}$ (the open unit disc in the complex plane), the $Pick\, interpolation\, problem$ asks when there is a holomorphic function $f:Ω\rightarrow \overline{\mathbb{D}}$ such that $f(z_i)=w_i,1\leq i\leq n$. Pick gave a condition on the data $\{z_i, w_i:1\leq i\leq n\}$ for such an $interpolant$ to exist if $Ω=\mathbb{D}$. Nevanlinna characterized all possible functions $f$ that $interpolate$ the data. We generalize Nevanlinna's result to an arbitrary set $Ω$. In this case, the function $f$ comes from the Schur-Agler class. The abstract result is then applied to three examples - the bidisc, the symmetrized bidisc and the annulus. In these examples, the Schur-Agler class is the same as the Schur class.

math.FA↗
arXiv2020

Distinguished Varieties Through the Berger--Coburn--Lebow Theorem

A distinguished algebraic variety in $\mathbb{C}^2$ has been the focus of much research in recent years because of good reasons. This note gives a different perspective. (1) We find a new characterization of an algebraic variety $\mathcal W$ which is distinguished with respect to the bidisc. It is in terms of the joint spectrum of a pair of commuting linear matrix pencils. (2) There is a characterization known of $\mathbb{D}^2\cap\mathcal{W}$ due to a seminal work of Agler and McCarthy. We show that Agler--McCarthy characterization can be obtained from the new one and vice versa. (3) En route, we develop a new realization formula for operator-valued contractive analytic functions on the unit disc. (4) There is a one-to-one correspondence between operator valued contractive holomorphic functions and {\em canonical model triples}. This pertains to the new realization formula mentioned above. (5) Pal and Shalit gave a characterization of an algebraic variety, which is distinguished with respect to the symmetrized bidisc, in terms of a matrix of numerical radius no larger than $1$. We refine their result by making the class of matrices strictly smaller. (6) In a generalization in the direction of more than two variables, we characterize all one-dimensional algebraic varieties which are distinguished with respect to the polydisc. At the root of our work is the Berger--Coburn--Lebow theorem characterizing a commuting tuple of isometries.

math.FA↗
arXiv2020

On the geometry of the symmetrized bidisc

We study the action of the automorphism group of the $2$ complex dimensional manifold symmetrized bidisc $\mathbb{G}$ on itself. The automorphism group is 3 real dimensional. It foliates $\mathbb{G}$ into leaves all of which are 3 real dimensional hypersurfaces except one, viz., the royal variety. This leads us to investigate Isaev's classification of all Kobayashi-hyperbolic 2 complex dimensional manifolds for which the group of holomorphic automorphisms has real dimension 3 studied by Isaev. Indeed, we produce a biholomorphism between the symmetrized bidisc and the domain \[\{(z_1,z_2)\in \mathbb{C} ^2 : 1+|z_1|^2-|z_2|^2>|1+ z_1 ^2 -z_2 ^2|, Im(z_1 (1+\overline{z_2}))>0\}\] in Isaev's list. Isaev calls it $\mathcal D_1$. The road to the biholomorphism is paved with various geometric insights about $\mathbb{G}$. Several consequences of the biholomorphism follow including two new characterizations of the symmetrized bidisc and several new characterizations of $\mathcal D_1$. Among the results on $\mathcal D_1$, of particular interest is the fact that $\mathcal D_1$ is a "symmetrization". When we symmetrize (appropriately defined in the context in the last section) either $Ω_1$ or $\mathcal{D}^{(2)}_1$ (Isaev's notation), we get $\mathcal D_1$. These two domains $Ω_1$ and $\mathcal{D}^{(2)}_1$ are in Isaev's list and he mentioned that these are biholomorphic to $\mathbb{D} \times \mathbb{D}$. We produce explicit biholomorphisms between these domains and $\mathbb{D} \times \mathbb{D}$.

math.CV↗
arXiv2019

Toeplitz operators on the symmetrized bidisc

The symmetrized bidisc has been a rich field of holomorphic function theory and operator theory. A certain well-known reproducing kernel Hilbert space of holomorphic functions on the symmetrized bidisc resembles the Hardy space of the unit disc in several aspects. This space is known as the Hardy space of the symmetrized bidisc. We introduce the study of those operators on the Hardy space of the symmetrized bidisc that are analogous to Toeplitz operators on the Hardy space of the unit disc. More explicitly, we first study multiplication operators on a bigger space (an $L^2$-space) and then study compressions of these multiplication operators to the Hardy space of the symmetrized bidisc and prove the following major results: (1) Theorem I analyzes the Hardy space of the symmetrized bidisc, not just as a Hilbert space, but as a Hilbert module over the polynomial ring and finds three isomorphic copies of it as $\mathbb D^2$-contractive Hilbert modules. (2) Theorem II provides an algebraic, Brown and Halmos type, characterization of Toeplitz operators. (3)Theorem III gives several characterizations of an analytic Toeplitz operator. (4)Theorem IV characterizes asymptotic Toeplitz operators. (5)Theorem V is a commutant lifting theorem. (6)Theorem VI yields an algebraic characterization of dual Toeplitz operators. Every section from Section 1 to Section 6 contains a theorem each, the main result of that section.

math.FA↗
arXiv2019

On the Nevanlinna problem -- Characterization of all Schur-Agler class solutions affiliated with a given kernel

Given a domain $Ω$ in $\mathbb{C}^m$, and a finite set of points $z_1,z_2,\ldots, z_n\in Ω$ and $w_1,w_2,\ldots, w_n\in \mathbb{D}$ (the open unit disc in the complex plane), the \textit{Pick interpolation problem} asks when there is a holomorphic function $f:Ω\rightarrow \overline{\mathbb{D}}$ such that $f(z_i)=w_i,1\leq i\leq n$. Pick gave a condition on the data $\{z_i, w_i:1\leq i\leq n\}$ for such an $interpolant$ to exist if $Ω=\mathbb{D}$. Nevanlinna characterized all possible functions $f$ that \textit{interpolate} the data. We generalize Nevanlinna's result to a domain $Ω$ in $\mathbb{C}^m$ admitting holomorphic test functions when the function $f$ comes from the Schur-Agler class and is affiliated with a certain completely positive kernel. The Schur class is a naturally associated Banach algebra of functions with a domain. The success of the theory lies in characterizing the Schur class interpolating functions for three domains - the bidisc, the symmetrized bidisc and the annulus - which are affiliated to given kernels.

math.FA↗
arXiv2019

Toeplitz operators and pseudo-extensions

There are three main results in this paper. First, we find an easily computable and simple condition which is necessary and sufficient for a commuting tuple of contractions to possess a non-zero Toeplitz operator. This condition is just that the adjoint of the product of the contractions is not pure. On one hand this brings out the importance of the product of the contractions and on the other hand, the non-pureness turns out to be equivalent to the existence of a pseudo-extension to a tuple of commuting unitaries. The second main result is a commutant pseudo-extension theorem obtained by studying the unique canonical unitary pseudo-extension of a tuple of commuting contractions. The third one is about the $C^*$-algebra generated by the Toeplitz operators determined by a commuting tuple of contractions. With the help of a special completely positive map, a different proof of the existence of the unique canonical unitary pseudo-extension is given.

math.FA↗
arXiv2018

The Agler-Young Class

This note introduces a special class of tuples of bounded operators on a Hilbert space. It is called the Agler Young class. Major results about this class include a Wold decomposition and a dilation theorem. The structure of the dilation is completely spelt out. A characterization of this class using the hereditary functional calculus of Agler is obtained and examples are discussed. Toeplitz operators play a major role in this note. An Agler-Young pair arising from a truncated Toeplitz operator is characterized. Thus, we extend results obtained in the case of commuting operators by several authors over many decades to the non-commutative situation. The results for the commuting case can be recovered as special cases.

math.FA↗
arXiv2016

Holomorphic functions on the symmetrized bidisk - realization, interpolation and extension

There are three new things in this paper about the open symmetrized bidisk $\mathbb G = \{(z_1+z_2, z_1z_2) : |z_1|, |z_2| < 1\}$. They are motivated in the Introduction. In this Abstract, we mention them in the order in which they will be proved. \begin{enumerate} \item The Realization Theorem: A realization formula is demonstrated for every $f$ in the norm unit ball of $H^\infty(\mathbb G)$. \item The Interpolation Theorem: Nevanlinna-Pick interpolation theorem is proved for data from the symmetrized bidisk and a specific formula is obtained for the interpolating function. \item The Extension Theorem: A characterization is obtained of those subsets $V$ of the open symmetrized bidisk $\mathbb G$ that have the property that every function $f$ holomorphic in a neighbourhood of $V$ and bounded on $V$ has an $H^\infty$-norm preserving extension to the whole of $\mathbb G$. \end{enumerate}

math.FA↗
arXiv2016

$Γ$-unitaries, dilation and a natural example

This note constructs an explicit normal boundary dilation for a commuting pair $(S,P)$ of bounded operators with the symmetrized bidisk $$Γ=\{(z_1+z_2,z_1z_2):|z_1|,|z_2| \leq 1\}$$ as a spectral set. Such explicit dilations had hitherto been constructed only in the unit disk \cite{sfr}, the unit bidisk \cite{ando} and in the tetrablock \cite{sir and me1}. The dilation is minimal and unique under a suitable condition. This paper also contains a natural example of a $Γ$-isometry. We compute its associated fundamental operator.

math.FA↗
arXiv2015

Dilations of Γ-contractions by solving operator equations

For a contraction P and a bounded commutant S of P, we seek a solution X of the operator equation S-S*P = (I-P*P)^1/2 X(I-P*P) 1/2, where X is a bounded operator on Ran(I-P*P) 1/2 with numerical radius of X being not greater than 1. A pair of bounded operators (S,P) which has the domain \Gamme = {(z 1 +z 2, z 1z 2) : |z1|{\leq} 1, |z2| {\leq}1} {\subseteq} C2 as a spectral set, is called a \Gamme-contraction in the literature. We show the existence and uniqueness of solution to the operator equation above for a Γ-contraction (S,P). This allows us to construct an explicit Γ-isometric dilation of a Γ-contraction (S,P). We prove the other way too, i.e, for a commuting pair (S,P) with |P|| {\leq} 1 and the spectral radius of S being not greater than 2, the existence of a solution to the above equation implies that (S,P) is a Γ-contraction. We show that for a pure Γ-contraction (S,P), there is a bounded operator C with numerical radius not greater than 1, such that S = C +C*P. Any Γ-isometry can be written in this form where P now is an isometry commuting with C and C*. Any Γ-unitary is of this form as well with P and C being commuting unitaries. Examples of Γ-contractions on reproducing kernel Hilbert spaces and their Γ-isometric dilations are discussed.

math.FA↗
arXiv2015

A functional model for pure $Γ$-contractions

A pair of commuting operators $(S,P)$ defined on a Hilbert space $\mathcal H$ for which the closed symmetrized bidisc $$ Γ= \{(z_1+z_2,z_1z_2):: |z_1|\leq 1,\, |z_2|\leq 1 \}\subseteq \mathbb C^2, $$ is a spectral set is called a $Γ$-contraction in the literature. A $Γ$-contraction $(S,P)$ is said to be pure if $P$ is a pure contraction, i.e, ${P^*}^n \rightarrow 0$ strongly as $n \rightarrow \infty $. Here we construct a functional model and produce a complete unitary invariant for a pure $Γ$-contraction. The key ingredient in these constructions is an operator, which is the unique solution of the operator equation $$ S-S^*P=D_PXD_P, \textup{where} X\in \mathcal B(\mathcal D_P), $$and is called the fundamental operator of the $Γ$-contraction $(S,P)$. We also discuss some important properties of the fundamental operator.

math.FA↗