arXiv subjects

B. V. Rajarama Bhat

Publications and source records attributed to B. V. Rajarama Bhat.

At least 19 recordsLinked to original sources

arXiv2026

A complete characterization of eventually entanglement breaking unital quantum channels

We obtain a complete characterization of eventually entanglement breaking (EEB) unital channels in terms of some simple commutation properties of their eigenvectors. Specifically, the following properties are equivalent for a unital channel: (i) it is EEB; (ii) it is eventually positive partial transpose (PPT); (iii) it is eventually mixed twisted dephasing; and (iv) its eigenvectors corresponding to non-zero eigenvalues commute with all its peripheral eigenvectors. Similar results hold for one-parameter semigroups of unital quantum channels, where continuity forces such semigroups to become primitive. We employ a matrix integral technique inspired by a result of Watrous. We also characterize the extreme points of the convex set of unital EB channels and, using this characterization and the theory of equiangular tight frames (ETFs), identify several extreme points beyond the twisted dephasing channels.

math.OA↗

arXiv2026

Spectral radii for subsets of Hilbert $C^*$-modules and spectral properties of positive maps

The notions of joint and outer spectral radii are extended to the setting of Hilbert $C^*$-bimodules. A Rota-Strang type characterisation is proved for the joint spectral radius. In this general setting, an approximation result for the joint spectral radius in terms of the outer spectral radius has been established. This work leads to a new proof of the Wielandt-Friedland's formula for the spectral radius of positive maps. Following an idea of J. E. Pascoe, a positive map called the maximal part has been associated to any positive map with non-zero spectral radius, on finite dimensional $C^*$-algebras. This provides a constructive treatment of the Perron-Frobenius theorem. It is seen that the maximal part of a completely positive map has a very simple structure and it is irreducible if and only if the original map is irreducible. It is observed that algebras generated by tuples of matrices can be determined and their dimensions can be computed by realizing them as linear span of Choi-Kraus coefficients of some easily computable completely positive maps.

math.OA↗

arXiv2025

Understanding Quantum Instruments Through the Analysis of $C^*$-Convexity and Their Marginals

Quantum instruments are mathematical devices introduced to describe the conditional state change during a quantum process. They are completely positive map valued measures on measurable spaces. We may also view them as non-commutative analogues of joint probability measures. We analyze the $C^*$-convexity structure of spaces of quantum instruments. A complete description of the $C^*$-extreme instruments in finite dimensions has been established. Further, the implications of $C^*$-extremity between quantum instruments and their marginals has been explored.

math.OA↗

arXiv2025

Operator moment dilations as block operators

Let $\mathcal{H}$ be a complex Hilbert space and let $\big\{A_{n}\big\}_{n\geq 1}$ be a sequence of bounded linear operators on $\mathcal{H}$. Then a bounded operator $B$ on a Hilbert space $\mathcal{K} \supseteq \mathcal{H}$ is said to be a dilation of this sequence if \begin{equation*} A_{n} = P_{\mathcal{H}}B^{n}|_{\mathcal{H}} \; \text{for all}\; n\geq 1, \end{equation*} where $P_{\mathcal{H}}$ is the projection of $\mathcal{K}$ onto $\mathcal{H}.$ The question of existence of dilation is a generalization of the classical moment problem. We recall necessary and sufficient conditions for the existence of self-adjoint, isometric and unitary dilations and present block operator representations for these dilations. For instance, for self-adjoint dilations one gets block tridiagonal representations similar to the classical moment problem. Given a positive invertible operator $A$, an operator $T$ is said to be in the $\mathcal{C}_{A}$-class if the sequence $\{A^{-\frac{1}{2}}T^nA^{-\frac{1}{2}}:n\geq 1\}$ admits a unitary dilation. We identify a tractable collection of $\mathcal{C}_A$-class operators for which isometric and unitary dilations can be written down explicitly in block operator form. This includes the well-known $ρ$-dilations for positive scalars. Here the special cases $ρ=1$ and $ρ=2$ correspond to Schäffer representation for contractions and Ando representation for operators with numerical radius not more than one respectively.

math.FA↗

arXiv2024

A minimal completion theorem and almost everywhere equivalence for Completely Positive maps

A problem of completing a linear map on C*-algebras to a completely positive map is analyzed. It is shown that whenever such a completion is feasible there exists a unique minimal completion. This theorem is used to show that under some very general conditions a completely positive map almost everywhere equivalent to a quasi-pure map is actually equal to that map.

math.OA↗

arXiv2024

Peripheral Poisson Boundary

It is shown that the operator space generated by peripheral eigenvectors of a unital completely positive map on a von Neumann algebra has a $C^*$-algebra structure. This extends the notion of non-commutative Poisson boundary by including the point spectrum of the map contained in the unit circle. The main ingredient is dilation theory. This theory provides a simple formula for the new product. The notion has implications to our understanding of quantum dynamics. For instance, it is shown that the peripheral Poisson boundary remains invariant in discrete quantum dynamics.

math.OA↗

arXiv2023

Schoenberg Correspondence for $k$-(Super)Positive Maps on Matrix Algebras

We prove a Schoenberg-type correspondence for non-unital semigroups which generalizes an analogous result for unital semigroup proved by Michael Schürmann. It characterizes the generators of semigroups of linear maps on $M_n(C)$ which are $k$-positive, $k$-superpositive, or $k$-entanglement breaking. As a corollary we reprove Lindblad, Gorini, Kossakowski, Sudarshan's theorem. We present some concrete examples of semigroups of operators and study how their positivity properties can improve with time.

math.FA↗

arXiv2023

Error Basis and Quantum Channel

The Weyl operators give a convenient basis of $M_n(\mathbb{C})$ which is also orthonormal with respect to the Hilbert-Schmidt inner product. The properties of such a basis can be generalised to the notion of a nice error basis(NEB), as introduced by E. Knill. We can use an NEB of $M_n(\mathbb{C})$ to construct an NEB for $Lin(M_n(\mathbb{C}))$, the space of linear maps on $M_n(\mathbb{C})$. Any linear map on $M_n(\mathbb{C})$ will then correspond to a $n^2\times n^2$ coefficient matrix in the basis decomposition with respect to such an NEB of $Lin(M_n(\mathbb{C}))$. Positivity, complete (co)positivity or other properties of a linear map can be characterised in terms of such a coefficient matrix.

quant-ph↗

arXiv2022

Peripherally automorphic unital completely positive maps

We identify and characterize unital completely positive (UCP) maps on finite dimensional $C^*$-algebras for which the Choi-Effros product extended to the space generated by peripheral eigenvectors matches with the original product. We analyze a decomposition of general UCP maps in finite dimensions into persistent and transient parts. It is shown that UCP maps on finite dimensional $C^*$-algebras with spectrum contained in the unit circle are $\ast$-automorphisms.

math.OA↗

arXiv2022

Iterative Roots of Multifunctions

Some easily verifiable sufficient conditions for the nonexistence of iterative roots for multifunctions on arbitrary nonempty sets are presented. Typically if the graph of the multifunction has a distinguished point with a relatively large number of paths leading to it then such a multifunction does not admit any iterative root. These results can be applied to single-valued maps by considering their pullbacks as multifunctions. This has been illustrated by showing the nonexistence of iterative roots of some specified orders for certain complex polynomials.

math.DS↗

arXiv2022

The non-iterates are dense in the space of continuous self-maps

In this paper we develop a tool to identify functions which have no iterative roots of any order. Using this, we prove that when $X$ is $[0,1]^m$, $\mathbb{R}^m$ or $S^1$, every non-empty open set of the space $\mathcal{C}(X)$ of continuous self-maps on $X$ endowed with the compact-open topology contains a map that does not have even discontinuous iterative roots of order $n\ge 2$. This, in particular, proves that the complement of $\{f^n: f\in \mathcal{C}(X)~\text{and}~n\ge 2\}$, the set of non-iterates, is dense in $\mathcal{C}(X)$ for these $X$.

math.DS↗

arXiv2022

Poisson boundary on full Fock space

This article is devoted to studying the non-commutative Poisson boundary associated with $\Big(B\big(\mathcal{F}(\mathcal{H})\big), P_ω\Big)$ where $\mathcal{H}$ is a separable Hilbert space (finite or infinite-dimensional), $\dim \mathcal{H} > 1$, with an orthonormal basis $\mathcal{E}$, $B\big(\mathcal{F}(\mathcal{H})\big)$ is the algebra of bounded linear operators on the full Fock space $\mathcal{F}(\mathcal{H})$ defined over $\mathcal{H}$, $ω= \{ω_e : e \in \mathcal{E} \}$ is a sequence of positive real numbers such that $\sum_e ω_e = 1$ and $P_ω$ is the Markov operator on $B\big(\mathcal{F}(\mathcal{H})\big)$ defined by \begin{align*} P_ω(x) = \sum_{e \in \mathcal{E}} ω_e l_e^* x l_e, \ x \in B\big(\mathcal{F}(\mathcal{H})\big), \end{align*} where, for $e \in \mathcal{E}$, $l_e$ denotes the left creation operator associated with $e$. The non-commutative Poisson boundary associated with $\Big(B\big(\mathcal{F}(\mathcal{H})\big), P_ω\Big)$ turns out to be an injective factor of type $III$ for any choice of $ω$. Moreover, if $\mathcal{H}$ is finite-dimensional, we completely classify the Poisson boundary in terms of its Connes $S$-invarinat and curiously they are type $III _{λ}$ factors with $λ$ belonging to a certain small class of algebraic numbers.

math.OA↗

arXiv2022

$C^*$-extreme points of entanglement breaking maps

In this paper we study the $C^*$-convex set of unital entanglement breaking (EB-)maps on matrix algebras. General properties and an abstract characterization of $C^*$-extreme points are discussed. By establishing a Radon-Nikodym type theorem for a class of EB-maps we give a complete description of the $C^*$-extreme points. It is shown that a unital EB-map $Φ:M_{d_1}\to M_{d_2}$ is $C^*$-extreme if and only if it has Choi-rank equal to $d_2$. Finally, as a direct consequence of the Holevo form of EB-maps, we derive a noncommutative analogue of the Krein-Milman theorem for $C^*$-convexity of the set of unital EB-maps.

math.OA↗

arXiv2022

$C^\ast$-extreme maps and nests

The generalized state space $ S_{\mathcal{H}}(\mathcal{\mathcal{A}})$ of all unital completely positive (UCP) maps on a unital $C^*$-algebra $\mathcal{A}$ taking values in the algebra $\mathcal{B}(\mathcal{H})$ of all bounded operators on a Hilbert space $\mathcal{H}$, is a $C^\ast$-convex set. In this paper, we establish a connection between $C^\ast$-extreme points of $S_{\mathcal{H}}(\mathcal{A})$ and a factorization property of certain algebras associated to the UCP map. In particular, this factorization property of some nest algebras is used to give a complete characterization of those $C^\ast$-extreme maps which are direct sums of pure UCP maps. This significantly extends a result of Farenick and Zhou [Proc. Amer. Math. Soc. 126 (1998)] from finite to infinite dimensional Hilbert spaces. Also it is shown that normal $C^\ast$-extreme maps on type $I$ factors are direct sums of normal pure UCP maps if and only if an associated algebra is reflexive. Further, a Krein-Milman type theorem is established for $C^\ast$-convexity of the set $ S_{\mathcal{H}}(\mathcal{A})$ equipped with bounded weak topology, whenever $\mathcal{A}$ is a separable $C^\ast$-algebra or it is a type $I$ factor. As an application, we provide a new proof of a classical factorization result on operator valued Hardy algebras.

math.OA↗

arXiv2021

Stinespring's Theorem for Unbounded Operator valued Local completely positive maps and Its Applications

Anar A. Dosiev in [Local operator spaces, unbounded operators and multinormed $C^*$-algebras, J. Funct. Anal. 255 (2008), 1724-1760], obtained a Stinespring's theorem for local completely positive maps (in short: local CP-maps) on locally $C^{\ast}$-algebras. In this article a suitable notion of minimality for this construction has been identified so as to ensure uniqueness up to unitary equivalence for the associated representation. Using this a Radon-Nikodym type theorem for local completely positive maps has been proved. Further, a Stinespring's theorem for unbounded operator valued local completely positive maps on Hilbert modules over locally $C^{\ast}$-algebras (also called as local CP-inducing maps) has been presented. Following a construction of M. Joiţa, a Radon-Nikodym type theorem for local CP-inducing maps has been shown. In both cases the Radon-Nikodym derivative obtained is a positive contraction on some complex Hilbert space with an upward filtered family of reducing subspaces.

math.OA↗

arXiv2021

Lattices of logmodular algebras

A subalgebra $\mathcal{A}$ of a $C^*$-algebra $\mathcal{M}$ is logmodular (resp. has factorization) if the set $\{a^*a; a\text{ is invertible with }a,a^{-1}\in\mathcal{A}\}$ is dense in (resp. equal to) the set of all positive and invertible elements of $\mathcal{M}$. There are large classes of well studied algebras, both in commutative and non-commutative settings, which are known to be logmodular. In this paper, we show that the lattice of projections in a von Neumann algebra $\mathcal{M}$ whose ranges are invariant under a logmodular algebra in $\mathcal{M}$, is a commutative subspace lattice. Further, if $\mathcal{M}$ is a factor then this lattice is a nest. As a special case, it follows that all reflexive (in particular, completely distributive CSL) logmodular subalgebras of type I factors are nest algebras, thus answering a question of Paulsen and Raghupathi [Trans. Amer. Math. Soc., 363 (2011) 2627-2640]. We also discuss some sufficient criteria under which an algebra having factorization is automatically reflexive and is a nest algebra.

math.OA↗

arXiv2020

Two states

D. Bures defined a metric $β$ on states of a $C^*$-algebra and this concept has been generalized to unital completely positive maps $ϕ: \mathcal A \to \mathcal B$, where $\mathcal B$ is either an injective $C^*$-algebra or a von Neumann algebra. We introduce a new distance $γ$ for the same classes of unital completely positive maps. We use in our definition the distance between representations on the same Hilbert $C^*$-module in contrast to the Bures metric which uses one representation and distinct vectors. This metric can be expressed in terms of a class of completely positive maps on free products of $C^*$-algebras and in this setting $γ$ looks like Wasserstein metric on probability measures. Surprisingly, when the range algebra $\mathcal B$ is injective, $γ$ and $β$ are related by the following explicit formula: $β^2= 2-\sqrt{4- γ^2} .$ A deep result of Choi and Li on constrained dilation is the main tool in proving this formula.

math.FA↗

arXiv2019

Roots of Completely Positive Maps

We introduce the concept of completely positive roots of completely positive maps on operator algebras. We do this in different forms: as asymptotic roots, proper discrete roots and as continuous one-parameter semigroups of roots. We present structural and general existence and non-existence results, some special examples in settings where we understand the situation better, and several challenging open problems. Our study is closely related to Elfving's embedding problem in classical probability and the divisibility problem of quantum channels.

math.OA↗