arXiv subjects
Publications and source records attributed to V. S. Sunder.
We define generalised notions of biunitary elements in planar algebras and show that objects arising in quantum information theory such as Hadamard matrices, quantum latin squares and unitary error bases are all given by biunitary elements in the spin planar algebra. We show that there are natural subfactor planar algebras associated with biunitary elements.
We define a certain abstract planar algebra by generators and relations, study various aspects of its structure, and then identify it with Jones' spin planar algebra.
We consider the tensorial Schur product $R \circ^\otimes S = [r_{ij} \otimes s_{ij}]$ for $R \in M_n(\mathcal{A}), S\in M_n(\mathcal{B}),$ with $\mathcal{A}, \mathcal{B}$ unital $C^*$-algebras, verify that such a `tensorial Schur product' of positive operators is again positive, and then use this fact to prove (an apparently marginally more general version of) the classical result of Choi that a linear map $ϕ:M_n \to M_d$ is completely positive if and only if $[ϕ(E_{ij})] \in M_n(M_d)^+$, where of course $\{E_{ij}:1 \leq i,j \leq n\}$ denotes the usual system of matrix units in $M_n (:= M_n(\mathbb{C}))$. We also discuss some other corollaries of the main result.
This book is a compilation of notes from a two-week international workshop on the "The Functional Analysis of Quantum Information Theory" that was held at the Institute of Mathematical Sciences during 26/12/2011-06/01/2012. The workshop was devoted to the mathematical framework of quantized functional analysis (QFA), and aimed at illustrating its applications to problems in quantum communication. The lectures were given by Gilles Pisier (Pierre and Marie Curie University and Texas A&M), K.R. Parthasarathy (ISI Delhi), Vern Paulsen (University of Houston), and Andreas Winter (Universitat Autonoma de Barcelona). Topics discussed include Operator Spaces and Completely bounded maps, Schmidt number and Schmidt rank of bipartite entangled states, Operator Systems and Completely Positive Maps, and, Operator Methods in Quantum Information.
In classical matrix theory, there exist useful extremal characterizations of eigenvalues and their sums for Hermitian matrices (due to Ky Fan, Courant-Fischer-Weyl and Wielandt) and some consequences such as the majorization assertion in Lidskii's theorem. In this paper, we extend these results to the context of self adjoint elements of finite von Neumann algebras, and their distribution and quantile functions. This work was motivated by a lemma in a paper by Voiculescu and Bercovici, that described such an extremal characterization of the distribution of a self-adjoint operator affiliated to a finite von Neumann algebra - suggesting a possible analogue of the classical Courant-Fischer-Weyl minmax theorem, for a self adjoint operator in a finite von Neumann algebra. It is to be noted that the only von Neumann algebras considered here have separable pre-duals.
We begin this note with a von Neumann algebraic version of the elementary but extremely useful fact about being able to extend inner-product preserving maps from a total set of the domain Hilbert space to an isometry defined on the entire domain. This leads us to the notion of when `good' endomorphisms of a factorial probability space $(M,ϕ)$ (which we call equi-modular) admit a natural extension to endomorphisms of $L^2(M,ϕ)$. We exhibit examples of such extendable endomorphisms. We then pass to $E_0$-semigroups $α= {α_t: t \geq 0}$ of factors, and observe that extendability of this semigroup (i.e., extendability of each $α_t$) is a cocycle-conjugacy invariant of the semigroup. We identify a necessary condition for extendability of such an $E_0$-semigroup, which we then use to show that the Clifford flow on the hyperfinite $II_1$ factor is not extendable.
We introduce a way of regarding Hilbert von Neumann modules as spaces of operators between Hilbert space, not unlike [Skei], but in an apparently much simpler manner and involving far less machinery. We verify that our definition is equivalent to that of [Skei], by verifying the `Riesz lemma' or what is called `self-duality' in [Skei]. An advantage with our approach is that we can totally side-step the need to go through $C^*$-modules and avoid the two stages of completion - first in norm, then in the strong operator topology - involved in the former approach. We establish the analogue of the Stinespring dilation theorem for Hilbert von Neumann bimodules, and we develop our version of `internal tensor products' which we refer to as Connes fusion for obvious reasons. In our discussion of examples, we examine the bimodules arising from automorphisms of von Neumann algebras, verify that fusion of bimodules corresponds to composition of automorphisms in this case, and that the isomorphism class of such a bimodule depends only on the inner conjugacy class of the automorphism. We also relate Jones' basic construction to the Stinespring dilation associated to the conditional expectation onto a finite-index inclusion (by invoking the uniqueness assertion regarding the latter).
We investigate a construction which associates a finite von Neumann algebra $M(Γ,μ)$ to a finite weighted graph $(Γ,μ)$. Pleasantly, but not surprisingly, the von Neumann algebra associated to to a `flower with $n$ petals' is the group von Neumann algebra of the free group on $n$ generators. In general, the algebra $M(Γ,μ)$ is a free product, with amalgamation over a finite-dimensional abelian subalgebra corresponding to the vertex set, of algebras associated to subgraphs `with one edge' (or actually a pair of dual edges). This also yields `natural' examples of (i) a Fock-type model of an operator with a free Poisson distribution; and (ii) $\C \oplus \C$-valued circular and semi-circular operators.
Using an analogue of the Guionnet-Jones-Shlaykhtenko construction for graphs we show that their construction applied to any subfactor planar algebra of finite depth yields an inclusion of interpolated free group factors with finite parameter, thereby giving another proof of their universality for finite depth planar algebras.
We analyse the Guionnet-Jones-Shlyakhtenko construction for the planar algebra associated to a finite-dimensional Kac algebra and identify the factors that arise as finite interpolated free group factors.
We present a purely planar algebraic proof of the main result of a paper of Guionnet-Jones-Shlaykhtenko which constructs an extremal subfactor from a subfactor planar algebra whose standard invariant is given by that planar algebra.
We recapture Kuperberg's numerical invariant of 3-manifolds associated to a semisimple and cosemisimple Hopf algebra through a `planar algebra construction'. A result of possibly independent interest, used during the proof, which relates duality in planar graphs and Hopf algebras, is the subject of a final section.
We construct a certain `cobordism category' ${\cal D}$ whose morphisms are suitably decorated cobordism classes between similarly decorated closed oriented 1-manifolds, and show that there is essentially a bijection between (1+1-dimensional) unitary topological quantum field theories (TQFTs) defined on ${\cal D}$, on the one hand, and Jones' subfactor planar algebras, on the other.
To a semisimple and cosemisimple Hopf algebra over an algebraically closed field, we associate a planar algebra defined by generators and relations and show that it is a connected, irreducible, spherical, non-degenerate planar algebra with non-zero modulus and of depth two. This association is shown to yield a bijection between (the isomorphism classes, on both sides, of) such objects.