SearcharxivSearch

arXiv subjects

Tirthankar Bhattacharyya

Publications and source records attributed to Tirthankar Bhattacharyya.

At least 19 recordsLinked to original sources

Multiplicative linear functionals on reproducing kernel Hilbert spaces

The classical Gleason--Kahane--Zelazko theorem characterizes multiplicative linear functionals on a unital Banach algebra through the scalar identity $Λ(x^{2})=Λ(x)^{2}$. We develop analogues of this theorem for bounded linear functionals on reproducing kernel Hilbert spaces of holomorphic functions on domains in $\mathbb{C}^{d}$, replacing conditions on the whole space by tractable conditions involving only kernel functions. Our first main result shows that if $k$ is a diagonal holomorphic kernel on a domain $Ω\subseteq\mathbb{C}^{d}$ containing the origin, and if $k_{w}^{2}\in\mathcal H(k)$ for every $w\inΩ$, then a bounded linear functional $Λ$ on $\mathcal H(k)$ satisfying $Λ(1)=1$ is multiplicative if and only if $Λ(k_{w}^{2})=Λ(k_{w})^{2}$ for all $w\inΩ$. Kernels satisfying $2$-point Pick property and their powers furnish a natural class of examples. When $k$ arises as a Schur product or a tensor product of complete diagonal Pick kernels, we obtain a further, more algebraic characterization of multiplicativity, expressed in terms of the values of $Λ$ on kernel functions and their reciprocals. This framework subsumes the weighted Bergman and Dirichlet-type spaces, as well as the Hardy space on the polydisc. We extend the analysis to Hilbert spaces associated with diagonal Dirichlet series kernels on half-planes, encompassing in particular the Hardy space of Dirichlet series and its Riemann zeta reproducing kernel. Explicit examples demonstrate that the boundedness hypothesis on $Λ$ cannot be omitted. Finally, our characterization of multiplicative linear functionals leads to characterizations of weighted composition operators on a reproducing kernel Hilbert space associated with a diagonal holomorphic kernel.

math.FA

Pure matrix states on block Toeplitz matrices

Let $\mathcal{T}_{n,m} = \mathcal T_n(M_m(\mathbb{C}))$ denote the operator system of all block Toeplitz matrices $ T = (( T_{i-j}))_{i,j=1}^n$ with entries $T_k \in M_m(\mathbb C) $ % T_{k} = \left[ t^{(k)}_{p-q} \right]_{p,q=1}^m. \[ T = \begin{pmatrix} T_0 & T_{-1} & \cdots & T_{-(n-1)} T_1 & T_0 & \cdots & T_{-(n-2)} \vdots & \vdots & \ddots & \vdots T_{n-1} & T_{n-2}& \cdots & T_0 \end{pmatrix} \in M_{mn}(\mathbb{C}). \] We characterize all pure unital completely positive ({\it{ucp}}) maps from $\mathcal{T}_{n,m}$ to $M_m(\mathbb{C})$. Working through the Stinespring isometry $V = (V_1, \ldots, V_n)^t \colon \mathbb{C}^m \to \mathbb{C}^{mn}$ and the matrix-valued polynomial $Q_V(z) = \sum_{i=1}^n z^{n-i} V_i$, we prove that $φ$ is pure if and only if it admits a unique pure \ucp extension to $M_{mn}(\mathbb{C})$ if and only if $Q_V$ has degree $n-1$ with all its roots on the unit circle $\T$. Every such pure $φ$ induces a \ucp map $Φ_{Q_V}$ on $C(\mathbb{T}, M_m(\mathbb{C}))$ given by \[ Φ_{Q_V}(f) = \int_{\mathbb{T}} Q_V(z)^* f(z) Q_V(z)\, dz. \] Let $\mathcal{Y}_m$ be the compact convex set of all \ucp maps from $C(\mathbb{T}, M_m(\mathbb{C}))$ to $M_m(\mathbb{C})$. Endowing $\mathcal{Y}_m$ with the matricial Monge-Kantorovich metric $ρ$, via an analysis of the extreme points of $\mathcal{Y}_m$ together with a point-splitting lemma, we show that the induced maps as above are $ρ$-dense in $\mathcal{Y}_m$. Consequently, if $\Bmn$ denotes the set of normalized $Φ_{Q_V}$ where $Q_V$ is as above, then the Hausdorff distance $d_H(\Bmn, \mathcal{Y}_m) \to 0$ as $n \to \infty$, extending known results of approximation of positive regular Borel measures on the unit circle to the setting of matrix-valued completely positive maps.

math.FA

Finite sum of squares, finite realization and noncommutative Carathéodory approximation

In the noncommutative polydisc, we first prove a positive sum of squares formula for a non-negative hereditary rational nc-function. The number of summands is finite. This result is used to derive a finite-dimensional realization formula for contractive nc-rational functions, where the colligation matrix is contractive. It is unitary if and only if the function is inner. Finally, we apply these results to generalize Carathéodory's classical theorem - approximating holomorphic self-maps of the unit disc by finite Blaschke products - to the setting of holomorphic functions on the noncommutative polydisc. This is in sharp contrast with the commutative situation where Carathéodory's approximation is known for Schur classes only in the unit disc and the unit bidisc.

math.FA

On factorization of the shift semigroup

Let $\E$ be a finite dimensional Hilbert space. This note finds all factorizations of the right shift semigroup $§^\E=(S_t^\E)_{t\ge 0}$ on $L^2(\R_+,\E)$ into the product of $n$ commuting contractive semigroups, i.e., characterizes all $n$-tuples of commuting semigroups $(\V_1,\V_2,...,\V_n)$ where $\V_i=(V_{i,t})_{t\ge 0}$ for $i=1,2,...,n$ are semigroups of contractions satisfying $V_{i,t}V_{j,t}=V_{j,t}V_{i,t}$ for all $i$ and $j$ and $S_t^\E=V_{1,t}V_{2,t}\cdots V_{n,t}$ for all $t\ge 0.$ The factorizations are characterized by tuples of self-adjoint operators $\underline{A}=(A_1,A_2,...,A_n)$ and tuples of positive contractions $\underline{B}=(B_1,B_2,...,B_n)$ on $\E$ satisfying certain conditions which are stated in \cref{thm:psi12}. One of the tools of our analysis is a convexity argument using the extreme points of the {\em Herglotz } class of functions \[P:=\{f:\D\to \C \text{ is analytic}, \Re{f}>0 \text{ and }f(0)=1 \}.\]

math.FA

Lipschitz Estimates and an application to trace formulae

In this note, we provide an elementary proof for the expression of $f(U)-f(V)$ in the form of a double operator integral for every Lipschitz function $f$ on the unit circle $\cir$ and for a pair of unitary operators $(U,V)$ with $U-V\in\mathcal{S}_{2}(\hilh)$ (the Hilbert-Schmidt class). As a consequence, we obtain the Schatten $2$-Lipschitz estimate $\|f(U)-f(V)\|_2\leq \|f\|_{\lip(\cir)}\|U-V\|_2$ for all Lipschitz functions $f:\cir\to\C$. Moreover, we develop an approach to the operator Lipschitz estimate for a pair of contractions with the assumption that one of them is a strict contraction, which significantly extends the class of functions from results known earlier. More specifically, for each $p\in(1,\infty)$ and for every pair of contractions $(T_0,T_1)$ with $\|T_0\|<1$, there exists a constant $d_{f, p,T_0}>0$ such that $\|f(T_1)-f(T_0)\|_p\leq d_{f,p, T_0}\|T_1-T_0\|_p$ for all Lipschitz functions on $\cir$. Using our Lipschitz estimates, we establish a modified Krein trace formula applicable to a specific category of pairs of contractions featuring Hilbert-Schmidt perturbations.

math.FA

Gromov-Hausdorff convergence of metric spaces of UCP maps

It is shown that van Suijlekom's technique of imposing a set of conditions on operator system spectral triples ensures Gromov-Hausdorff convergence of sequences of sets of unital completely positive maps (equipped with the BW-topology which is metrizable). This implies that even when only a part of the spectrum of the Dirac operator is available together with a certain truncation of the $C^*$-algebra, information about the geometry can be extracted.

math.OA

Hankel operators and Projective Hilbert modules on quotients of bounded symmetric domains

Consider a bounded symmetric domain $Ω$ with a finite pseudo-reflection group acting on it as a subgroup of the group of automorphisms. This gives rise to quotient domains by means of basic polynomials $θ$ which by virtue of being proper maps map the \v Silov boundary of $Ω$ to the \v Silov boundary of $θ(Ω)$. Thus, the natural measure on the \v Silov boundary of $Ω$ can be pushed forward. This gives rise to Hardy spaces on the quotient domain. The study of Hankel operators on the Hardy spaces of the quotient domains is introduced. The use of the weak product space shows that an analogue of Hartman's theorem holds for the small Hankel operator. Nehari's theorem fails for the big Hankel operator and this has the consequence that when the domain $Ω$ is the polydisc $\mathbb D^d$, the {\em Hardy space} is not a projective object in the category of all Hilbert modules over the algebra $\mathcal A (θ(\mathbb D^d))$ of functions which are holomorphic in the quotient domain and continuous on the closure $\overline {θ(\mathbb D^d)}$. It is not a projective object in the category of cramped Hilbert modules either. Indeed, no projective object is known in these two categories. On the other hand, every normal Hilbert module over the algebra of continuous functions on the \v Silov boundary, treated as a Hilbert module over the algebra $\mathcal A (θ(\mathbb D^d))$, is projective.

math.FA

Functions with image in a strip

We consider holomorphic functions on the unit disc whose images are contained in a strip of the complex plane. Under an additional condition, such functions are constants. We also consider appropriate operator valued versions. Applications are found to the theory of semigroups.

math.FA

The Bishop-Phelps-Bollobas property for certain Banach spaces

Let $X$ be a complex Banach space. We prove that if $L$ is an extremally disconnected compact Hausdorff topological space, then the pair $(X, C(L))$ satisfies the Bishop-Phelps-Bollobás property (BPBp for short). As a byproduct, we obtain the BPBp for the pair $(X, L^\infty(ν))$ for any measure $ν$. In particular, this settles an unresolved question regarding the BPBp for the pair $(L^\infty(μ), L^\infty(ν) )$ for any two measures $μ$ and $ν$. Finally, we show that $(X,H^\infty(Ω)$ has the BPBp when $Ω$ is a multi-connected planar domain bounded by finitely many disjoint analytic simple closed curves.

math.FA

Herglotz's representation and Caratheodory's approximation

Herglotz's representation of holomorphic functions with positive real part and Carathéodory's theorem on approximation by inner functions are two well-known classical results in the theory of holomorphic functions on the unit disc. We show that they are equivalent. On a multi-connected domain $Ω$, a version of Heglotz's representation is known. Carathéodory's approximation was not known. We formulate and prove it and then show that it is equivalent to the known form of Herglotz's representation. Additionally, it also enables us to prove a new Heglotz's representation in the style of Koranyi and Pukanszky. Of particular interest is the fact that the scaling technique of the disc is replaced by Carathéodory's approximation theorem while proving this new form of Herglotz's representation. Carathéodory's approximation theorem is also proved for matrix-valued functions on a multi-connected domain.

math.FA

Kernels with complete Nevanlinna-Pick factors and the characteristic function

The Sz.-Nagy Foias characteristic function for a contraction has had a rejuvenation in recent times due to a number of authors. Such a classical object relates to an object of very contemporary interest, viz., the complete Nevanlinna-Pick kernels. Indeed, a unitarily invariant kernel on the unit ball {\em admits} a characteristic function if and only if it is a complete Nevanlinna-Pick kernel. However, what has captured our curiosity are the recent advancements in constructing characteristic functions for kernels that do not have complete Nevanlinna-Pick property. In such cases, the reproducing kernel Hilbert space which has served as the domain of the multiplication operator has always been the vector-valued Drury-Arveson space (thus the Hardy space in case of the unit disc). We present a unified framework for deriving characteristic functions for kernels that allow a complete Nevanlinna-Pick factor. Notably, our approach not only encapsulates all previously documented cases but also achieves a remarkable level of generalization, thereby expanding the concept of the characteristic function substantially. We also provide an explanation for the prominence of the Drury-Arveson kernel in all previously established results by showing that the Drury-Arveson kernel was the natural choice inherently suitable for those situations.

math.FA

Complete Nevanlinna-Pick Kernels and the Curvature Invariant

We consider a unitarily invariant complete Nevanlinna-Pick kernel denoted by $s$ and a commuting $d$-tuple of bounded operators $T = (T_{1}, \dots, T_{d})$ satisfying a natural contractivity condition with respect to $s$. We associate with $T$ its curvature invariant which is a non-negative real number bounded above by the dimension of a defect space of $\bfT$. The instrument which makes this possible is the characteristic function developed in \cite{BJ}. \medskip We present an asymptotic formula for the curvature invariant. In the special case when $\bfT$ is pure, we provide a notably simpler formula, revealing that in this instance, the curvature invariant is an integer. We further investigate its connection with an algebraic invariant known as fibre dimension. Moreover, we obtain a refined and simplified asymptotic formula for the curvature invariant of $\bfT$ specifically when its characteristic function is a polynomial.

math.FA

Complete Nevanlinna-Pick kernels, the Schwarz lemma and the Schur algorithm

We investigate the Schwarz lemma and the Schur algorithm for elements in the unit ball of the multiplier algebra of a reproducing kernel Hilbert space on the open unit ball whose kernel satisfies the complete Nevanlinna-Pick property. This paper also explores the Poincaré contractivity for elements in the unit ball of the multiplier algebra of a reproducing kernel Hilbert space whose kernel satisfies the property mentioned above.

math.FA

A dilation theoretic approach to approximation by inner functions

Using results from theory of operators on a Hilbert space, we prove approximation results for matrix-valued holomorphic functions on the unit disc and the unit bidisc. The essential tools are the theory of unitary dilation of a contraction and the realization formula for functions in the unit ball of $H^\infty$. We first prove a generalization of a result of Carathéodory. This generalization has many applications. A uniform approximation result for matrix-valued holomorphic functions which extend continuously to the unit circle is proved using the Potapov factorization. This generalizes a theorem due to Fisher. Approximation results are proved for matrix-valued functions for whom a naturally associated kernel has finitely many negative squares. This uses the Krein-Langer factorization. Approximation results for $J$-contractive meromorphic functions where $J$ induces an indefinite metric on $\mathbb C^N$ are proved using the Potapov-Ginzburg Theorem. Moreover, approximation results for holomorphic functions on the unit disc with values in certain other domains of interest are also proved.

math.CV

Complete Nevanlinna-Pick kernels And The Characteristic Function

This note finds a new characterization of complete Nevanlinna-Pick kernels on the Euclidean unit ball. The classical theory of Sz.-Nagy and Foias about the characteristic function is extended in this note to a commuting tuple $\bfT$ of bounded operators satisfying the natural positivity condition of $1/k$-contractivity for an irreducible unitarily invariant complete Nevanlinna-Pick kernel. The characteristic function is a multiplier from $H_k \otimes \cE$ to $H_k \otimes \cF$, {\em factoring} a certain positive operator, for suitable Hilbert spaces $\cE$ and $\cF$ depending on $\bfT$. There is a converse, which roughly says that if a kernel $k$ {\em admits} a characteristic function, then it has to be an irreducible unitarily invariant complete Nevanlinna-Pick kernel. The characterization explains, among other things, why in the literature an analogue of the characteristic function for a Bergman contraction ($1/k$-contraction where $k$ is the Bergman kernel), when viewed as a multiplier between two vector valued reproducing kernel Hilbert spaces, requires a different (vector valued) reproducing kernel Hilbert space as the domain.

math.FA

A note on the dilation of a certain family of tetrablock contractions

We find an explicit tetrablock isometric dilation for every member $(A_α, B, P)$ of a family of tetrablock contractions indexed by a parameter $α$ in the closed unit disc (only the first operator of the tetrablock contraction depends on the parameter). The dilation space is the same for any member of the family. Explicit dilation for the adjoint tetrablock contraction $(A_α^*, B^*, P^*)$ for every member of the family mentioned above is constructed as well. This example is important because it has been claimed in the literature that this example does not have a dilation. Taking cue from this construction and using Toeplitz operators on $H^2_{\mathbb D}(\mathcal D_P)$, we obtain necessary and sufficient conditions for a tetrablock contraction to have a certain type of tetrablock isometric dilation.

math.FA

Sequences of operator algebras converging to odd spheres in the quantum Gromov-Hausdorff distance

Marc Rieffel had introduced the notion of the quantum Gromov-Hausdorff distance on compact quantum metric spaces and found a sequence of matrix algebras that converges to the space of continuous functions on $2$-sphere in this distance. One finds applications of similar approximations in many places in the theoretical physics literature. In this paper, we have defined a compact quantum metric space structure on the sequence of Toeplitz algebras on generalized Bergman spaces and have proved that the sequence converges to the space of continuous function on odd spheres in the quantum Gromov-Hausdorff distance.

math.OA