Operator Algebras

AG-2024.11-1038

math.OA

Algebraic approach to spacetime bulk reconstruction

Jason Crann, Monica Jinwoo Kang

Motivated by the theory of holographic quantum error correction in the anti-de Sitter/conformal field theory (AdS/CFT) correspondence, together with the kink transform conjecture on the bulk AdS description of boundary cocycle flow, we characterize (approximate) complementary recovery in terms of (approximate) intertwining of bulk and boundary cocycle derivatives. Using the geometric modular structure in vacuum AdS, we establish an operator algebraic subregion-subregion duality of boundary causal diamonds and bulk causal wedges for Klein-Gordon fields in the universal cover of AdS. Our results suggest that, from an algebraic perspective, the kink transform is bulk cocycle flow, which (in the above case) induces the bulk geometry via geometric modular action and the corresponding notion of time. As a by-product, we find that if the von Neumann algebra of a boundary CFT subregion is a type $\mathrm{III}_1$ factor with an ergodic vacuum, then the von Neumann algebra of the corresponding dual bulk subregion, is either $\mathbb{C}1$ (with a one-dimensional Hilbert space) or a type $\mathrm{III}_1$ factor.

AG-2024.05-2388

math.OA

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

B. V. Rajarama Bhat, Biswarup Saha, Prajakta Sahasrabuddhe

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.

AG-2024.05-2079

math.OA

Operator-Valued Kernels, Machine Learning, and Dynamical Systems

Palle E. T. Jorgensen, James Tian

In the context of kernel optimization, we prove a result that yields new factorizations and realizations. Our initial context is that of general positive operator-valued kernels. We further present implications for Hilbert space-valued Gaussian processes, as they arise in applications to dynamics and to machine learning. Further applications are given in non-commutative probability theory, including a new non-commutative Radon--Nikodym theorem.

AG-2024.05-1697

math.OA

Almost-idempotent quantum channels and approximate $C^*$-algebras

Alexei Kitaev

Let $Φ$ be a unital completely positive (UCP) map on the space of operators on some Hilbert space. We assume that $Φ$ is $η$-idempotent, namely, $\|Φ^2-Φ\|_{\mathrm{cb}} \leη$, and construct an associated $\varepsilon$-$C^*$ algebra (of almost-invariant observables) for $\varepsilon=O(η)$. This type of structure has the axioms of a unital $C^*$ algebra but the associativity and other axioms involving the multiplication and the unit hold up to $\varepsilon$. We prove that any finite-dimensional $\varepsilon$-$C^*$ algebra $A$ is $O(\varepsilon)$-isomorphic to some genuine $C^*$ algebra $B$. These bounds are universal, i.e. do not depend on the dimensionality or other parameters. When $A$ comes from a finite-dimensional $η$-idempotent UCP map $Φ$, the $O(η)$-isomorphism and its inverse can be realized by UCP maps. This gives an approximate factorization of the quantum channel $Φ^*$ into a decoding channel, producing a state on $B$, and an encoding channel.

AG-2024.03-1683

math.OA

Characterizations of homomorphisms among unital completely positive maps

Andre Kornell

We prove that a unital completely positive map between finite-dimensional C*-algebras is a homomorphism if and only if it is completely entropy-nonincreasing, where the relevant notion of entropy is a variant of von Neumann entropy. This adjusted von Neumann entropy is the negative of the relative entropy with respect to the uniform state on the C*-algebra, up to an additive constant. As an intermediate step, we prove that a unital completely positive map between finite-dimensional C*-algebras is a homomorphism if and only if its adjusted Choi operator is a projection. Both equivalences generalize familiar facts about stochastic maps between finite sets.

AG-2024.01-2101

math.OA

Twisted tensor products of field algebras

Ezio Vasselli

Let A be a C*-algebra, h a Hilbert space and C the CAR algebra over h. We construct a twisted tensor product of A by C such that the two factors are not necessarily one in the relative commutant of the other. The resulting C*-algebra may be regarded as a generalized CAR algebra constructed over a suitable Hilbert A-bimodule. As an application, we exhibit a class of fixed-time models where a free Dirac field (giving rise to the C factor) in general is not relatively local to a free scalar field (which yields the A factor). In some of the models, gauge-invariant combinations of the two (not relatively local) fields form a local observable net.

AG-2024.01-1842

math.OA

Completely Bounded Norms of $k$-positive Maps

Guillaume Aubrun, Kenneth R. Davidson, Alexander Müller-Hermes, Vern I. Paulsen, Mizanur Rahaman

Given an operator system $\mathcal{S}$, we define the parameters $r_k(\mathcal{S})$ (resp. $d_k(\mathcal{S})$) defined as the maximal value of the completely bounded norm of a unital $k$-positive map from an arbitrary operator system into $\mathcal{S}$ (resp. from $\mathcal{S}$ into an arbitrary operator system). In the case of the matrix algebras $M_n$, for $1 \leq k \leq n$, we compute the exact value $r_k(M_n) = \frac{2n-k}{k}$ and show upper and lower bounds on the parameters $d_k(M_n)$. Moreover, when $\mathcal{S}$ is a finite-dimensional operator system, adapting recent results of Passer and the 4th author, we show that the sequence $(r_k( \mathcal{S}))$ tends to $1$ if and only if $\mathcal{S}$ is exact and that the sequence $(d_k(\mathcal{S}))$ tends to $1$ if and only if $\mathcal{S}$ has the lifting property.

AG-2024.01-542

math.OA

An entropy bound due to symmetries

Roberto Longo, Vincenzo Morinelli

Let $H$ be a local net of real Hilbert subspaces of a complex Hilbert space on the family of double cones of the spacetime $\mathbb{R}^{d+1}$, covariant with respect to a positive energy, unitary representation $U$ of the Poincaré group, with the Bisognano-Wichmann property for the wedge modular group. We set an upper bound on the local entropy $S_H(φ|\! | C)$ of a vector in a region $C$ that depends only on $U$ and the PCT anti-unitary canonically associated with $H$. A similar result holds for local, Möbius covariant nets of standard subspaces on the circle. We compute the entropy increase and illustrate this bound for the nets associated with the $U(1)$-current derivatives.

AG-2015.05-2414

math.OA

The construction of observable algebra in field algebra of $G$-spin models determined by a normal subgroup

Xin Qiaoling, Jiang Lining

Let $G$ be a finite group and $H$ a normal subgroup. Starting from $G$-spin models, in which a non-Abelian field ${\mathcal{F}}_H$ w.r.t. $H$ carries an action of the Hopf $C^*$-algebra $D(H;G)$, a subalgebra of the quantum double $D(G)$, the concrete construction of the observable algebra ${\mathcal{A}}_{(H,G)}$ is given, as $D(H;G)$-invariant subspace. Furthermore, using the iterated twisted tensor product, one can prove that the observable algebra ${\mathcal{A}}_{(H,G)}=\cdots\rtimes H\rtimes\hat{G}\rtimes H\rtimes\hat{G}\rtimes H\rtimes\cdots$, where $\hat{G}$ denotes the algebra of complex functions on $G$, and $H$ the group algebra.

AG-2015.03-1809

math.OA

Translation invariant pure state on $\clb=\otimes_{\IZ}M_d(\IC)$ and its split property

Anilesh Mohari

We prove that a real lattice symmetric reflection positive translation invariant pure state of $\clb=\otimes_{\IZ}M_d(\IC)$ is a split state if its two points spatial correlations functions decay exponentially.

AG-2015.02-849

math.OA

Spectral Measures for $Sp(2)$

David E. Evans, Mathew Pugh

Spectral measures provide invariants for braided subfactors via fusion modules. In this paper we study joint spectral measures associated to the compact connected rank two Lie group $SO(5)$ and its double cover the compact connected, simply-connected rank two Lie group $Sp(2)$, including the McKay graphs for the irreducible representations of $Sp(2)$ and $SO(5)$ and their maximal tori, and fusion modules associated to the $Sp(2)$ modular invariants.

AG-2015.01-1493

math.OA

Traces of holomorphic families of operators on the noncommutative torus and on Hilbert modules

Sara Azzali, Cyril Lévy, Carolina Neira Jiménez, Sylvie Paycha

We revisit traces of holomorphic families of pseudodifferential operators on a closed manifold in view of geometric applications. We then transpose the corresponding analytic constructions to two different geometric frameworks; the noncommutative torus and Hilbert modules. These traces are meromorphic functions whose residues at the poles as well as the constant term of the Laurent expansion at zero (the latter when the family at zero is a differential operator) can be expressed in terms of Wodzicki residues and extended Wodzicki residues involving logarithmic operators. They are therefore local and contain geometric information. For holomorphic families leading to zeta regularised traces, they relate to the heat-kernel asymptotic coefficients via an inverse Mellin mapping theorem. We revisit Atiyah's L^2-index theorem by means of the (extended) Wodzicki residue and interpret the scalar curvature on the noncommutative two torus as an (extended) Wodzicki residue.

AG-2015.01-1000

math.OA

Intrinsic Chern-Connes Characters for Crossed Products by $\mathbb Z^d$

Emil Prodan

We present a natural imbedding of the crossed product $\mathcal A \rtimes_ξ\mathbb Z^d$ into the $C^\ast$-algebra of adjointable operators over the standard Hilbert $\mathcal A$-module $\mathcal H_{\mathcal A}$. By replacing the representations on Hilbert spaces with this canonical imbedding, we define Fredholm modules and corresponding Chern-Connes characters that are intrinsic to the $C^\ast$-dynamical system $(\mathcal A,ξ,\mathbb Z^d)$. The compression of the Dirac operator against projectors from $\mathcal A \rtimes_ξ\mathbb Z^d$ produces generalized Fredholm operators over $\mathcal H_{\mathcal A}$ and Mingo's index defines a $KK$-map from $K_0(\mathcal A \rtimes_ξ\mathbb Z^d)$ to $K(\mathcal A)$. Using a generalized Fedosov principle and a generalized Fedosov formula, we prove an index formula for the pairing of the intrinsic Chern-Connes characters and $K_0(\mathcal A \rtimes_ξ\mathbb Z^d)$. This pairing takes values in the image of $K_0(\mathcal A)$ in $\mathbb R$ under a canonical trace. A local index formula enables new applications in condensed matter physics to the so called weak topological invariants.

AG-2014.12-064

math.OA

Bell and steering scenarios in terms of operator systems

Marcin Marciniak, Michal Horodecki, Zhi Yin

The aim of this paper is to indicate possible applications of operator systems in qualitative description of varoius scenarios while studying non-locality. To this end we study in details the notion of generalized non-commuting cube. Following ideas of Fritz and Farenick-Kavruk-Paulsen-Todorov we show in systematic way that various classes of Tsirelson's correlation boxes as well as NPA hierarchies can be described by using various operator system tensor products of generalized non-commuting cubes. Moreover, we show also that noncommuting cubes can be applied for the description of steering assemblages. Next we study some aproximation properties of noncommuting cubes by finite dimensional models. Finaly, we indicate possibility to use the framework operator systems for studying Bell and steering inequalities.

AG-2014.11-2649

math.OA

N=2 superconformal nets

Sebastiano Carpi, Robin Hillier, Yasuyuki Kawahigashi, Roberto Longo, Feng Xu

We provide an Operator Algebraic approach to N=2 chiral Conformal Field Theory and set up the Noncommutative Geometric framework. Compared to the N=1 case, the structure here is much richer. There are naturally associated nets of spectral triples and the JLO cocycles separate the Ramond sectors. We construct the N=2 superconformal nets of von Neumann algebras in general, classify them in the discrete series c<3, and we define and study an operator algebraic version of the N=2 spectral flow. We prove the coset identification for the N=2 super-Virasoro nets with c<3, a key result whose equivalent in the vertex algebra context has seemingly not been completely proved so far. Finally, the chiral ring is discussed in terms of net representations.

AG-2014.11-1397

math.OA

Two New Complete Invariants of von Neumann Algebras

Andreas Doering

We show that the oriented context category and the oriented spectral presheaf are complete invariants of a von Neumann algebra not isomorphic to $\mathbb{C}\oplus\mathbb{C}$ and with no direct summand of type $I_2$.

AG-2014.10-1884

math.OA

On a certain approach to quantum homogeneous spaces

Pawel Kasprzak

We propose a definition of a quantum homogeneous space of a locally compact quantum group. We show that classically it reduces to the notion of a homogeneous spaces. On the quantum level our definition goes beyond the quotient case. It provides a framework which, besides the Vaes&#39; quotient of a locally compact quantum group by its closed quantum subgroup (our main motivation) is also compatible with, generically non-quotient, quantum homogeneous spaces of a compact quantum group studied by P. Podles as well as the Rieffel deformation of G-homogeneous spaces. Finally, our definition rules out the paradoxical examples of the non-compact quantum homogeneous spaces of a compact quantum group.

AG-2014.10-1369

math.OA

Construction of exposed indecomposable positive linear maps between matrix algebras

Kil-Chan Ha, Seung-Hyeok Kye

We construct a large class of indecomposable positive linear maps from the $2\times 2$ matrix algebra into the $4\times 4$ matrix algebra, which generate exposed extreme rays of the convex cone of all positive maps. We show that extreme points of the dual faces for separable states arising from these maps are parametrized by the Riemann sphere, and the convex hulls of the extreme points arising from a circle parallel to the equator have the exactly same properties with the convex hull of the trigonometric moment curve studied from combinatorial topology. Any interior points of the dual faces are $2\otimes 4$ boundary separable states with full ranks. We exhibit concrete examples of such states.

AG-2014.10-3032

math.OA

Rieffel deformation of tensor functor and braided quantum groups

Pawel Kasprzak

In this paper we apply Rieffel deformation to C*- tensor product viewed as a functor on the category of C*-algebras with an abelian group action. In the case of the Rieffel deformation of a quantum group with the action by automorphisms the deformed tensor product enables us to view the deformed object as a braided quantum group. We construct a bicharacter for a braided quantum group and the dual braided quantum group. We employ our method to get a braided quantum Minkowski space. Its description in terms of the deformed space-time coordinates is provided.

AG-2014.10-2802

math.OA

The K-homology of nets of C*-algebras

Giuseppe Ruzzi, Ezio Vasselli

Let X be a space, intended as a possibly curved spacetime, and A a precosheaf of C*-algebras on X. Motivated by algebraic quantum field theory, we study the Kasparov and Theta-summable K-homology of A interpreting them in terms of the holonomy equivariant K-homology of the associated C*-dynamical system. This yields a characteristic class for K-homology cycles of A with values in the odd cohomology of X, that we interpret as a generalized statistical dimension.

AG-2014.09-713

math.OA

$C^*$-non-linear second quantization

Luigi Accardi, Ameur Dhahri

Recently, we have constructed a non{linear (polynomial) extension of the 1-mode Heisenberg group and the corresponding Fock and Weyl representations. The transition from the 1-mode case to the current algebra level, in which the operators are indexed by elements of an appropriate test function space (second quantization), can be done at Lie algebra level. A way to bypass the difficulties of constructing a (non trivial) Hilbert space representation is to try and construct directly a $C^*$-algebra rep- resentation and then to look for its Hilbert space representations. In usual (linear) quantization, this corresponds to the construction of the Weyl $C^*$-algebra. In this paper, we produce such a construction for the above mentioned polynomial extension of the Weyl $C^*$-algebra. The result of this construction is a factorizable system of local alge- bras localized on bounded Borel subsets of $\mathbb{R}$ and obtained as induc- tive limit of tensor products of finite sets of copies of the one mode $C^*$-algebra. The $C^*$-embeddings of the inductive system require some non{trivial re{scaling of the generators of the algebras involved. These re{scalings are responsible of a $C^*$-analogue of the &#34;no-go&#34; theorems, first met at the level of Fock second quantization, namely the proof that the family of Fock states defined on the inductive family of $C^*$-algebras is projective only in the linear case (i.e. the case of the usual Weyl algebra). Thus the solution of the representa- tion problem at $C^*$-level does not automatically imply its solution at Hilbert space level.

AG-2014.09-3463

math.OA

Categorical Non-commutative Geometry

Paolo Bertozzini, Roberto Conti, Wicharn Lewkeeratiyutkul

The purpose of this short note was to outline the current status, then in 2011, of some research programs aiming at a categorification of parts of A.Connes&#39; non-commutative geometry and to provide an outlook on some possible subsequent developments in categorical non-commutative geometry.

AG-2014.09-257

math.OA

Krein C*-modules

Paolo Bertozzini, Kasemsun Rutamorn

We introduce a notion of Krein C*-module over a C*-algebra and more generally over a Krein C*-algebra. Some properties of Krein C*-modules and their categories are investigated.

AG-2014.09-256

math.OA

Spectral Theory on Commutative Krein C*-algebras

Pichkitti Bannangkoon, Paolo Bertozzini, Wicharn Lewkeeratiyutkul

A Banach involutive algebra is called a Krein C*-algebra if there is a fundamental symmetry (an involutive automorphism of period 2) such that the C*-property is satisfied when the original involution is replaced with the new one obtained by composing the automorphism with the old involution. For a given fundamental symmetry, a Krein C*-algebra decomposes as a direct sum of an even part (a C*-algebra) and an odd part (a Hilbert C*-bimodule on the even part). Our goal here is to develop a spectral theory for commutative unital Krein C*-algebras when the odd part is a symmetric imprimitivity C*-bimodule over the even part and there exists an additional suitable &#34;exchange symmetry&#34; between the odd and even parts.

AG-2014.08-2432

math.OA

Estimates for compression norms and additivity violation in quantum information

Benoît Collins, Motohisa Fukuda, Ping Zhong

The free contraction norm (or the (t)-norm) was introduced by Belinschi, Collins and Nechita as a tool to compute the typical location of the collection of singular values associated to a random subspace of the tensor product of two Hilbert spaces. In turn, it was used in by them in order to obtain sharp bounds for the violation of the additivity of the minimum output entropy for random quantum channels with Bell states. This free contraction norm, however, is difficult to compute explicitly. The purpose of this note is to give a good estimate for this norm. Our technique is based on results of super convergence in the context of free probability theory. As an application, we give a new, simple and conceptual proof of the violation of the additivity of the minimum output entropy.

AG-2014.07-1718

math.OA

CB-norm estimates for maps between noncommutative $L_p$-spaces and quantum channel theory

Marius Junge, Carlos Palazuelos

In the first part of this work we show how certain techniques from quantum information theory can be used in order to obtain very sharp embeddings between noncommutative $L_p$-spaces. Then, we use these estimates to study the classical capacity with restricted assisted entanglement of the quantum erasure channel and the quantum depolarizing channel. In particular, we exactly compute the capacity of the first one and we show that certain nonmultiplicative results hold for the second one.

AG-2014.07-1068

math.OA

Quantitative K-Theory Related to Spin Chern Numbers

Terry A. Loring

We examine the various indices defined on pairs of almost commuting unitary matrices that can detect pairs that are far from commuting pairs. We do this in two symmetry classes, that of general unitary matrices and that of self-dual matrices, with an emphasis on quantitative results. We determine which values of the norm of the commutator guarantee that the indices are defined, where they are equal, and what quantitative results on the distance to a pair with a different index are possible. We validate a method of computing spin Chern numbers that was developed with Hastings and only conjectured to be correct. Specifically, the Pfaffian-Bott index can be computed by the &#34;log method&#34; for commutator norms up to a specific constant.

AG-2014.07-944

math.OA

Quantum Isometry Groups of Noncommutative Manifolds Obtained by Deformation Using Dual Unitary 2-Cocycles

Debashish Goswami, Soumalya Joardar

It is proved that the (volume and orientation-preserving) quantum isometry group of a spectral triple obtained by deformation by some dual unitary 2-cocycle is isomorphic with a similar twist-deformation of the quantum isometry group of the original (undeformed) spectral triple. This result generalizes similar work by Bhowmick and Goswami for Rieffel-deformed spectral triples in [Comm. Math. Phys. 285 (2009), 421-444, arXiv:0707.2648].

AG-2014.07-285

math.OA

Order theory and interpolation in operator algebras

David P. Blecher, Charles John Read

We continue our study of operator algebras with and contractive approximate identities (cais). In earlier papers we have introduced and studied a new notion of positivity in operator algebras, with an eye to extending certain C*-algebraic results and theories to more general algebras. Here we continue to develop this positivity and its associated ordering, proving many foundational facts. We also give many applications, for example to noncommutative topology, noncommutative peak sets, lifting problems, peak interpolation, approximate identities, and to order relations between an operator algebra and the C*-algebra it generates. In much of this it is not necessary that the algebra have an approximate identity. Many of our results apply immediately to function algebras, but we will not take the time to point these out, although most of these applications seem new.

AG-2014.07-282

math.OA

Private quantum codes: introduction and connection with higher rank numerical ranges

D. W. Kribs, S. Plosker

We give a brief introduction to private quantum codes, a basic notion in quantum cryptography and key distribution. Private code states are characterized by indistinguishability of their output states under the action of a quantum channel, and we show that higher rank numerical ranges can be used to describe them. We also show how this description arises naturally via conjugate channels and the bridge between quantum error correction and cryptography.

AG-2014.04-2600

math.OA

Spectral Measures for $G_2$

David E. Evans, Mathew Pugh

Spectral measures provide invariants for braided subfactors via fusion modules. In this paper we study joint spectral measures associated to the rank two Lie group $G_2$, including the McKay graphs for the irreducible representations of $G_2$ and its maximal torus, and fusion modules associated to all known $G_2$ modular invariants.

AG-2014.04-1833

math.OA

The C(X)-algebra of a net and index theory

Giuseppe Ruzzi, Ezio Vasselli

Given a connected and locally compact Hausdorff space X with a good base K we assign, in a functorial way, a C(X)-algebra to any precosheaf of C*-algebras A defined over K. Afterwards we consider the representation theory and the Kasparov K-homology of A, and interpret them in terms, respectively, of the representation theory and the K-homology of the associated C(X)-algebra. When A is an observable net over the spacetime X in the sense of algebraic quantum field theory, this yields a geometric description of the recently discovered representations affected by the topology of X.

AG-2014.04-194

math.OA

A crossed product of the CAR algebra in the Cuntz algebra

Marat Aukhadiev, Alexander Nikitin, Airat Sitdikov

In this paper we show that the Cuntz algebra can be represented as a C*-crossed product by endomorphism of the canonical anticommutation relations (CAR) algebra, generated by the standard recursive fermion system.

AG-2014.04-112

math.OA

A Note on Gluing Dirac Type Operators on a Mirror Quantum Two-Sphere

Slawomir Klimek, Matt McBride

The goal of this paper is to introduce a class of operators, which we call quantum Dirac type operators on a noncommutative sphere, by a gluing construction from copies of noncommutative disks, subject to an appropriate local boundary condition. We show that the resulting operators have compact resolvents, and so they are elliptic operators.

AG-2014.04-081

math.OA

On positivity and roots in operator algebras

Clifford A. Bearden, David P. Blecher, Sonia Sharma

In earlier papers the second author and Charles Read have introduced and studied a new notion of positivity for operator algebras, with an eye to extending certain C*-algebraic results and theories to more general algebras. The present paper consists of complements to some facts in the just mentioned papers, concerning this notion of positivity. For example we prove a result on the numerical range of products of the roots of commuting operators with numerical range in a sector.

AG-2014.03-781

math.OA

Generalized repeated interaction model and transfer functions

Santanu Dey, Kalpesh J. Haria

Using a scheme involving a lifting of a row contraction we introduce a toy model of repeated interactions between quantum systems. In this model there is an outgoing Cuntz scattering system involving two wandering subspaces. We associate to this model an input/output linear system which leads to a transfer function. This transfer function is a multi-analytic operator, and we show that it is inner if we assume that the system is observable. Finally it is established that transfer functions coincide with characteristic functions of associated liftings.

AG-2014.03-2114

math.OA

Numerical range for random matrices

Benoît Collins, Piotr Gawron, Alexander E. Litvak, Karol Życzkowski

We analyze the numerical range of high-dimensional random matrices, obtaining limit results and corresponding quantitative estimates in the non-limit case. For a large class of random matrices their numerical range is shown to converge to a disc. In particular, numerical range of complex Ginibre matrix almost surely converges to the disk of radius $\sqrt{2}$. Since the spectrum of non-hermitian random matrices from the Ginibre ensemble lives asymptotically in a neighborhood of the unit disk, it follows that the outer belt of width $\sqrt{2}-1$ containing no eigenvalues can be seen as a quantification the non-normality of the complex Ginibre random matrix. We also show that the numerical range of upper triangular Gaussian matrices converges to the same disk of radius $\sqrt{2}$, while all eigenvalues are equal to zero and we prove that the operator norm of such matrices converges to $\sqrt{2e}$.

AG-2014.03-2747

math.OA

Quantum Expanders and Geometry of Operator Spaces

Gilles Pisier

We show that there are well separated families of quantum expanders with asymptotically the maximal cardinality allowed by a known upper bound. This has applications to the &#34;growth&#34; of certain operator spaces: It implies asymptotically sharp estimates for the growth of the multiplicity of $M_N$-spaces needed to represent (up to a constant $C>1$) the $M_N$-version of the $n$-dimensional operator Hilbert space $OH_n$ as a direct sum of copies of $M_N$. We show that, when $C$ is close to 1, this multiplicity grows as $\exp{βn N^2}$ for some constant $β>0$. The main idea is to relate quantum expanders with &#34;smooth&#34; points on the matricial analogue of the Euclidean unit sphere. This generalizes to operator spaces a classical geometric result on $n$-dimensional Hilbert space (corresponding to N=1). In an appendix, we give a quick proof of an inequality (related to Hastings&#39;s previous work) on random unitary matrices that is crucial for this paper.

AG-2014.01-1385

math.OA

The Heisenberg Relation - Mathematical Formulations

Richard V. Kadison, Zhe Liu

We study some of the possibilities for formulating the Heisenberg relation of quantum mechanics in mathematical terms. In particular, we examine the framework discussed by Murray and von Neumann, the family (algebra) of operators affiliated with a finite factor (of infinite linear dimension).

AG-2013.12-257

math.OA

Generalised Gelfand Spectra of Nonabelian Unital C*-Algebras

Andreas Doering

To each unital C*-algebra A we associate a presheaf Σ^A, called the spectral presheaf of A, which can be regarded as a generalised Gelfand spectrum. We develop a categorical notion of local duality and show that there is a contravariant functor from the category of unital C*-algebras to a suitable category of presheaves containing the spectral presheaves. We clarify how much algebraic information about a C*-algebra is contained in its spectral presheaf. A nonabelian unital C*-algebra A that is neither isomorphic to C^2 nor to B(C^2) is determined by its spectral presheaf up to quasi-Jordan isomorphisms. For a particular class of unital C*-algebras, including all von Neumann algebras with no type I_2 summand, the spectral presheaf determines the Jordan structure up to isomorphisms.

AG-2013.12-259

math.OA

Flows on Generalised Gelfand Spectra of Nonabelian Unital C*-Algebras and Time Evolution of Quantum Systems

Andreas Doering

In arXiv:1212.2613, we associated a presheaf Σ^A with each unital C*-algebra A. The spectral presheaf Σ^A generalises the Gelfand spectrum of an abelian unital C*-algebra. In the present article, we consider one-parameter groups of automorphisms of the spectral presheaf, in particular those arising from one-parameter groups of inner automorphisms of the algebra. We interpret the spectral presheaf as a (generalised) state space for a quantum system and show how one can use flows on the spectral presheaf and on associated structures to describe the time evolution of non-relativistic quantum systems, both in the Schrödinger picture and the Heisenberg picture.

AG-2013.10-1351

math.OA

Spectral Triples and Generalized Crossed Products

Olivier Gabriel, Martin Grensing

We give a construction allowing to lift spectral triples to crossed products by Hilbert bimodules. The spectral triple one obtains is a concrete unbounded representative of the Kasparov product of the spectral triple and the Pimsner-Toeplitz extension associated to the crossed product by the Hilbert bimodule. To prove that the lifted spectral triple is the above-mentioned Kasparov product, we rely on operator-$*$-algebras and connexions.

AG-2013.10-1378

math.OA

Translation invariant pure state on $\otimes_{\IZ}/!M_d(\IC)$ and Haag duality

Anilesh Mohari

We prove Haag duality property of any translation invariant pure state on $\clb = \otimes_{\IZ}/!M_d(\IC), \;d \ge 2$, where $/!M_d(\IC)$ is the set of $d \times d$ dimensional matrices over the field of complex numbers. We also prove a necessary and sufficient condition for a translation invariant factor state to be pure on $\clb$.

AG-2013.09-829

math.OA

Operator algebras with contractive approximate identities, III

David P. Blecher, Charles John Read

We continue our study of operator algebras with contractive approximate identities (cais). In earlier papers we have introduced and studied a new notion of positivity in operator algebras, with an eye to extending certain $C^*$-algebraic results and theories to more general algebras. In the first part of this paper we do a more systematic development of this positivity and its associated ordering, proving many foundational facts. In much of this it is not necessary that the algebra have an approximate identity. In the second part we study interesting examples of operator algebras with cais, which in particular answer questions raised in previous papers in this series. Indeed the present work solves almost all of the open questions raised in these papers. Many of our results apply immediately to function algebras, but we will not take the time to point these out, although most of these applications seem new.

AG-2013.08-3627

math.OA

Superconformal nets and noncommutative geometry

Sebastiano Carpi, Robin Hillier, Roberto Longo

This paper provides a further step in our program of studying superconformal nets over S^1 from the point of view of noncommutative geometry. For any such net A and any family Delta of localized endomorphisms of the even part A^gamma of A, we define the locally convex differentiable algebra A_Delta with respect to a natural Dirac operator coming from supersymmetry. Having determined its structure and properties, we study the family of spectral triples and JLO entire cyclic cocycles associated to elements in Delta and show that they are nontrivial and that the cohomology classes of the cocycles corresponding to inequivalent endomorphisms can be separated through their even or odd index pairing with K-theory in various cases. We illustrate some of those cases in detail with superconformal nets associated to well-known CFT models, namely super-current algebra nets and super-Virasoro nets. All in all, the result allows us to encode parts of the representation theory of the net in terms of noncommutative geometry.

AG-2013.07-1446

math.OA

The resolvent algebra: Ideals and dimension

Detlev Buchholz

Let (X,σ) be a symplectic space admitting a complex structure and let R(X,σ) be the corresponding resolvent algebra, i.e. the C*-algebra generated by the resolvents of selfadjoint operators satisfying canonical commutation relations associated with (X,σ). In previous work this algebra was shown to provide a convenient framework for the analysis of quantum systems. In the present article its mathematical properties are elaborated with emphasis on its ideal structure. It is shown that R(X,σ) is always nuclear and, if X is finite dimensional, also of type I (postliminal). In the latter case dim(X) labels the isomorphism classes of the corresponding resolvent algebras. For X of arbitrary dimension, principal ideals are identified which are the building blocks for all other ideals. The maximal and minimal ideals of the resolvent algebra are also determined.

AG-2013.07-963

math.OA

Locally $C^*$ Algebras, $C^*$ Bundles and Noncommutative Spaces

Michael Forger, Daniel V. Paulino

This work provides a generalization of the Gelfand duality to the context of noncommutative locally $C^*$ algebras. Using a reformulation of a theorem proven by Dauns and Hofmann in the 60&#39;s we show that every locally $C^*$ algebra can be realized as the algebra of continuous sections of a $C^*$ bundle over a compactly generated topological space. This result is used then to show that on certain special cases locally $C^*$ algebras can be used to define certain sheaves of locally $C^*$ algebras that, inspired by the analogy with commutative geometry, we call noncommutative spaces. The last section provides some examples, motivated by mathematical physics, for this definition of noncommutative space. Namely we show that every local net of $C^*$ algebras defines a noncommutative space and, based on a loose generalization of the original construction by Doplicher, Fredenhagen and Roberts, construct what we propose to call a &#34;locally covariant quantum spacetime&#34;.

AG-2013.06-2390

math.OA

Noncommutative peak interpolation revisited

David P. Blecher

Peak interpolation is concerned with a foundational kind of mathematical task: building functions in a fixed algebra $A$ which have prescribed values or behaviour on a fixed closed subset (or on several disjoint subsets). In this paper we do the same but now $A$ is an algebra of operators on a Hilbert space. We briefly survey this {\em noncommutative peak interpolation}, which we have studied with coauthors in a long series of papers, and whose basic theory now appears to be approaching its culmination. This program developed from, and is based partly on, theorems of Hay and Read whose proofs were spectacular, but therefore inaccessible to an uncommitted reader. We give short proofs of these results, using recent progress in noncommutative peak interpolation, and conversely give examples of the use of these theorems in peak interpolation. For example, we prove a useful new noncommutative peak interpolation theorem.

AG-2013.06-2572

math.OA

Random Matrices and Subexponential Operator Spaces

Gilles Pisier

We introduce and study a generalization of the notion of exact operator space that we call subexponential. Using Random Matrices we show that the factorization results of Grothendieck type that are known in the exact case all extend to the subexponential case, but we exhibit (a continuum of distinct) examples of non-exact subexponential operator spaces, as well as a $C^*$-algebra that is subexponential with constant 1 but not exact. We also show that $OH$, $R+C$ and $\max(\ell_2)$ (or any other maximal operator space) are not subexponential.

AG-2013.06-098

math.OA

Braided Subfactors, Spectral Measures, Planar algebras and Calabi-Yau algebras associated to SU(3) modular invariants

David E. Evans, Mathew Pugh

Braided subfactors of von Neumann algebras provide a framework for studying two dimensional conformal field theories and their modular invariants. We review this in the context of SU(3) conformal field theories through corresponding SU(3) braided subfactors and various subfactor invariants including spectral measures for the nimrep graphs, A_2-planar algebras and almost Calabi-Yau algebras.

AG-2013.06-2346

math.OA

Notes on extremality of the Choi map

Kil-Chan Ha

It is widely believed that the Choi map generates an extremal ray in the cone $\mathcal P(M_3)$ of all positive linear maps between $C^*$-algebra $M_3$ of all $n\times n$ matrices over the complex field. But the only proven fact is that the Choi map generates the extremal ray in the cone of all positive linear map preserving all real symmetric $3\times 3$ matrices. In this note, we show that the Choi map is indeed extremal in the cone $\mathcal P(M_3)$. We also clarify some misclaims about the correspondence between positive semi-definite biquadratic real forms and postive linear maps, and discuss possible positive linear maps which coincide with the Choi map on symmetric matrices.

AG-2013.04-1582

math.OA

Yang- Mills on Quantum Heisenberg Manifolds

Partha Sarathi Chakraborty, Satyajit Guin

In the noncommutative geometry program of Connes there are two variations of the concept of Yang-Mills action functional. We show that for the quantum Heisenberg manifolds they agree.

AG-2013.04-1581

math.OA

Equivalence of Two Approaches to Yang-Mills on Non-commutative Torus

Partha Sarathi Chakraborty, Satyajit Guin

There are two notions of Yang-Mills action functional in noncommutative geometry. We show that for noncommutative n-torus both these notions agree. We also prove a structure theorem on the Hermitian structure of a finitely generated projective modules over spectrally invariant subalgebras of $C^*$-algebras.

AG-2013.04-2648

math.OA

Pseudo-Riemannian spectral triples and the harmonic oscillator

Koen van den Dungen, Mario Paschke, Adam Rennie

We define pseudo-Riemannian spectral triples, an analytic context broad enough to encompass a spectral description of a wide class of pseudo-Riemannian manifolds, as well as their noncommutative generalisations. Our main theorem shows that to each pseudo-Riemannian spectral triple we can associate a genuine spectral triple, and so a K-homology class. With some additional assumptions we can then apply the local index theorem. We give a range of examples and some applications. The example of the harmonic oscillator in particular shows that our main theorem applies to much more than just classical pseudo-Riemannian manifolds.

AG-2013.04-611

math.OA

Følner sequences in operator theory and operator algebras

Pere Ara, Fernando Lledó, Dmitry V. Yakubovich

The present article is a review of recent developments concerning the notion of Følner sequences both in operator theory and operator algebras. We also give a new direct proof that any essentially normal operator has an increasing Følner sequence $\{P_n\}$ of non-zero finite rank projections that strongly converges to 1. The proof is based on Brown-Douglas-Fillmore theory. We use Følner sequences to analyze the class of finite operators introduced by Williams in 1970. In the second part of this article we examine a procedure of approximating any amenable trace on a unital and separable C*-algebra by tracial states $\mathrm{Tr}(\cdot P_n)/\mathrm{Tr}(P_n)$ corresponding to a Følner sequence and apply this method to improve spectral approximation results due to Arveson and Bédos. The article concludes with the analysis of C*-algebras admitting a non-degenerate representation which has a Følner sequence or, equivalently, an amenable trace. We give an abstract characterization of these algebras in terms of unital completely positive maps and define Følner C*-algebras as those unital separable C*-algebras that satisfy these equivalent conditions. This is analogous to Voiculescu&#39;s abstract characterization of quasidiagonal C*-algebras.

AG-2013.03-1293

math.OA

Tsirelson&#39;s Problem and Asymptotically Commuting Unitary Matrices

Narutaka Ozawa

In this note, we consider quantum correlations of bipartite systems having a slight interaction, and reinterpret Tsirelson&#39;s problem (and hence Kirchberg&#39;s and Connes&#39;s conjectures) in terms of finite-dimensional asymptotically commuting positive operator valued measures. We also consider the systems of asymptotically commuting unitary matrices and formulate the Stronger Kirchberg Conjecture.

AG-2013.02-2617

math.OA

Almost commuting unitary matrices related to time reversal

Terry A. Loring, Adam P. W. Sørensen

The behavior of fermionic systems depends on the geometry of the system and the symmetry class of the Hamiltonian and observables. Almost commuting matrices arise from band-projected position observables in such systems. One expects the mathematical behavior of almost commuting Hermitian matrices to depend on two factors. One factor will be the approximate polynomial relations satisfied by the matrices. The other factor is what algebra the matrices are in, either the matrices over A for A the real numbers, A the complex numbers or A the algebra of quaternions. There are potential obstructions keeping k-tuples of almost commuting operators from being close to a commuting k-tuple. We consider two-dimensional geometries and so this obstruction lives in KO_{-2}(A). This obstruction corresponds to either the Chern number or spin Chern number in physics. We show that if this obstruction is the trivial element in K-theory then the approximation by commuting matrices is possible.

AG-2013.02-2434

math.OA

The fast track to Löwner&#39;s theorem

Frank Hansen

The operator monotone functions defined in the positive half-line are of particular importance. We give a version of the theory in which integral representations for these functions can be established directly without invoking Löwner&#39;s detailed analysis of matrix monotone functions of a fixed order or the theory of analytic functions. We found a canonical relationship between positive and arbitrary operator monotone functions defined in the positive half-line, and this result effectively reduces the theory to the case of positive functions. MSC2010 classification: 26A48; 26A51; 47A63. Key words and phrases: operator monotone function; integral representation; Löwner&#39;s theorem.

AG-2012.12-403

math.OA

Translation invariant pure state and its split property

Anilesh Mohari

We prove Haag duality property of any translation invariant pure state on $\clb = \otimes_{\IZ}M_d(C), \;d \ge 2$, where $M_d(C)$ is the set of $d \times d$ dimensional matrices over field of complex numbers. We also prove a necessary and sufficient condition for a translation invariant factor state to be pure on $\clb$. This result makes it possible to study such a pure state with additional symmetry. We prove that exponentially decaying two point spacial correlation function of a real lattice symmetric reflection positive translation invariant pure state is a split state. Further there exists no translation invariant pure state on $\clb$ that is real, lattice symmetric, refection positive and $su(2)$ invariant when $d$ is an even integer. This in particular says that Heisenberg iso-spin anti-ferromagnets model for 1/2-odd integer spin degrees of freedom admits spontaneous symmetry breaking at it&#39;s ground states

AG-2012.11-1106

math.OA

Quantum random walks and thermalisation II

Alexander C. R. Belton

A convergence theorem is obtained for quantum random walks with particles in an arbitrary normal state. This result unifies and extends previous work on repeated-interactions models, including that of the author (2010, J. London Math. Soc. (2) 81, 412-434; 2010, Comm. Math. Phys. 300, 317-329). When the random-walk generator acts by ampliation and multiplication or conjugation by a unitary operator, necessary and sufficient conditions are given for the quantum stochastic cocycle which arises in the limit to be driven by an isometric, co-isometric or unitary process.

AG-2012.11-628

math.OA

Self-Dual Maps and Symmetric Bistochastic Matrices

Corey O&#39;Meara, Rajesh Pereira

The H-unistochastic matrices are a special class of symmetric bistochastic matrices obtained by taking the square of the absolute value of each entry of a Hermitian unitary matrix. We examine the geometric relationship of the convex hull of the n by n H-unistochastic matrices relative to the larger convex set of n by n symmetric bistochastic matrices. We show that any line segment in the convex set of the n by n symmetric bistochastic matrices which passes through the centroid of this convex set must spend at least two-thirds of its length in the convex hull of the n by n H-unistochastic matrices when n is either three or four and we prove a partial result for higher n. A class of completely positive linear maps called the self-dual doubly stochastic maps is useful for studying this problem. Some results on self-dual doubly stochastic maps are given including a self-dual version of the Laudau-Streater theorem.

AG-2012.10-1431

math.OA

Private Quantum Channels, Conditional Expectations, and Trace Vectors

Amber Church, David W. Kribs, Rajesh Pereira, Sarah Plosker

Private quantum channels are the quantum analogue of the classical one-time pad. Conditional expectations and trace vectors are notions that have been part of operator algebra theory for several decades. We show that the theory of conditional expectations and trace vectors is intimately related to that of private quantum channels. Specifically we give a new geometric characterization of single qubit private quantum channels that relies on trace vectors. We further show that trace vectors completely describe the private states for quantum channels that are themselves conditional expectations. We also discuss several examples.

AG-2012.10-817

math.OA

Crossed products of C*-algebras for singular actions

Hendrik Grundling, Karl-Hermann Neeb

We consider group actions of topological groups on C*-algebras of the types which occur in many physics models. These are singular actions in the sense that they need not be strongly continuous, or the group need not be locally compact. We develop a &#34;crossed product host&#34; in analogy to the usual crossed product for strongly continuous actions of locally compact groups, in the sense that its representation theory is in a natural bijection with the covariant representation theory of the action. We prove a uniqueness theorem for crossed product hosts, and analyze existence conditions. We also present a number of examples where a crossed product host exists, but the usual crossed product does not. For actions where a crossed product host does not exist, we obtain a &#34;maximal&#34; invariant subalgebra for which a crossed product host exists. We further study the case of a discontinuous action of a locally compact group in detail.

AG-2012.10-2381

math.OA

On spectral approximation, Følner sequences and crossed products

Fernando Lledó

In this article we study Foelner sequences for operators and mention their relation to spectral approximation problems. We construct a canonical Foelner sequence for the crossed product of a discrete amenable group $Γ$ with a concrete C*-algebra A with a Foelner sequence. We also state a compatibility condition for the action of $Γ$ on A. We illustrate our results with two examples: the rotation algebra (which contains interesting operators like almost Mathieu operators or periodic magnetic Schrödinger operators on graphs) and the C*-algebra generated by bounded Jacobi operators. These examples can be interpreted in the context of crossed products. The crossed products considered can be also seen as a more general frame that included the set of generalized band-dominated operators.

AG-2012.09-1997

math.OA

Representations of Conformal Nets, Universal C*-Algebras and K-Theory

Sebastiano Carpi, Roberto Conti, Robin Hillier, Mihaly Weiner

We study the representation theory of a conformal net A on the circle from a K-theoretical point of view using its universal C*-algebra C*(A). We prove that if A satisfies the split property then, for every representation πof A with finite statistical dimension, π(C*(A)) is weakly closed and hence a finite direct sum of type I_\infty factors. We define the more manageable locally normal universal C*-algebra C*_ln(A) as the quotient of C*(A) by its largest ideal vanishing in all locally normal representations and we investigate its structure. In particular, if A is completely rational with n sectors, then C*_ln(A) is a direct sum of n type I_\infty factors. Its ideal K_A of compact operators has nontrivial K-theory, and we prove that the DHR endomorphisms of C*(A) with finite statistical dimension act on K_A, giving rise to an action of the fusion semiring of DHR sectors on K_0(K_A)$. Moreover, we show that this action corresponds to the regular representation of the associated fusion algebra.

AG-2012.09-212

math.OA

Operator systems from discrete groups

Douglas Farenick, Ali S. Kavruk, Vern I. Paulsen, Ivan G. Todorov

We formulate a general framework for the study of operator systems arising from discrete groups. We study in detail the operator system of the free group on $n$ generators, as well as the operator systems of the free products of finitely many copies of the two-element group $\mathbb Z_2$. We examine various tensor products of group operator systems, including the minimal, the maximal, and the commuting tensor products. We introduce a new tensor product in the category of operator systems and formulate necessary and sufficient conditions for its equality to the commuting tensor product in the case of group operator systems. We express various sets of quantum correlations studied in the theoretical physics literature in terms of different tensor products of operator systems of discrete groups. We thus recover earlier results of Tsirelson and formulate a new approach for the study of quantum correlation boxes.

AG-2012.09-1990

math.OA

Generation of Mapping Cones from Small Sets

Nathaniel Johnston, Łukasz Skowronek, Erling Størmer

We answer in the affirmative a recently-posed question that asked if there exists an &#34;untypical&#34; convex mapping cone -- i.e., one that does not arise from the transpose map and the cones of k-positive and k-superpositive maps. We explicitly construct such a cone based on atomic positive maps. Our general technique is to consider the smallest convex mapping cone generated by a single map, and we derive several results on such mapping cones. We use this technique to also present several other examples of untypical mapping cones, including a family of cones generated by spin factors. We also provide a full characterization of mapping cones generated by single elements in the qubit case in terms of their typicality.

AG-2012.08-726

math.OA

A Chern-Simons action for noncommutative spaces

Oliver Pfante

The content of this paper is completely contained in arXiv:1204.0418v2: &#34;A Chern-Simons action for noncommutative spaces in general with the example SU_q(2)&#34;

AG-2012.08-1657

math.OA

A Chern-Simons action for noncommutative spaces in general with the example SU_q(2)

Oliver Pfante

Witten constructed a topological quantum field theory with the Chern-Simons action as Lagrangian. We define a Chern-Simons action for 3-dimensional spectral triples. We prove gauge invariance of the Chern-Simons action, and we prove that it concurs with the classical one in the case the spectral triple comes from a 3-dimensional spin manifold. In contrast to the classical Chern-Simons action, or a noncommutative generalization of it introduced by A. H. Chamseddine, A. Connes, and M. Marcolli by use of cyclic cohomology, the formula of our definition contains a linear term which shifts the critical points of the action, i. e. the solutions of the corresponding variational problem. Additionally, we investigate and compute the action for a particular example: the quantum group SU_q(2). Two different spectral triples were constructed for SU_q(2). We investigate the Chern-Simons action, defined in the present paper, in both cases, and conclude the non-topological nature of the action. Using the Chern-Simons action as Lagrangian we define and compute the path integral, at least conceptually.

AG-2012.06-880

math.OA

Elementary Proofs of Grothendieck Theorems for Completely Bounded Norms

Oded Regev, Thomas Vidick

We provide alternative proofs of two recent Grothendieck theorems for jointly completely bounded bilinear forms, originally due to Pisier and Shlyakhtenko (Invent. Math. 2002) and Haagerup and Musat (Invent. Math. 2008). Our proofs are elementary and are inspired by the so-called embezzlement states in quantum information theory. Moreover, our proofs lead to quantitative estimates.

AG-2012.05-2678

math.OA

KMS states and conformal measures

Klaus Thomsen

From a non-constant holomorphic map on a connected Riemann surface we construct an &#39;etale second countable locally compact Hausdorff groupoid whose associated groupoid C*-algebra admits a one-parameter group of automorphisms with the property that its KMS states corresponds to conformal measures in the sense of Sullivan. In this way certain quadratic polynomials give rise to quantum statistical models with a phase transition arising from spontaneous symmetry breaking.

AG-2012.05-2403

math.OA

The Nakayama automorphism of the almost Calabi-Yau algebras associated to SU(3) modular invariants

David E. Evans, Mathew Pugh

We determine the Nakayama automorphism of the almost Calabi-Yau algebra A associated to the braided subfactors or nimrep graphs associated to each SU(3) modular invariant. We use this to determine a resolution of A as an A-A bimodule, which will yield a projective resolution of A.

AG-2012.04-1907

math.OA

Chern-Simons theory for the noncommutative 3-torus

Oliver Pfante

We study the Chern-Simons action, which was defined for noncommutative spaces in general by the author, for the noncommutative 3-torus, the universal C*-algebra generated by 3 unitaries. D. Essouabri, B. Iochum, C. Levy, and A. Sitarz constructed a spectral triple for the noncommutative 3-torus. We compute the Chern-Simons action for this noncommutative space. In connection with this computation we calculate the first coefficient in the loop expansion series of the corresponding Feynman path integral with the Chern-Simons action as Lagrangian. The result is independent of the deformation matrix of the noncommutative 3-torus and always 0.

AG-2012.03-3929

math.OA

Finitely-Generated Projective Modules over the Theta-deformed 4-sphere

Mira A. Peterka

We investigate the &#34;theta-deformed spheres&#34; C(S^{3}_{theta}) and C(S^{4}_{theta}), where theta is any real number. We show that all finitely-generated projective modules over C(S^{3}_{theta}) are free, and that C(S^{4}_{theta}) has the cancellation property. We classify and construct all finitely-generated projective modules over C(S^{4}_θ) up to isomorphism. An interesting feature is that if theta is irrational then there are nontrivial &#34;rank-1&#34; modules over C(S^{4}_θ). In that case, every finitely-generated projective module over C(S^{4}_θ) is a sum of a rank-1 module and a free module. If theta is rational, the situation mirrors that for the commutative case theta=0.

AG-2012.03-903

math.OA

The $(q,t)$-Gaussian Process

Natasha Blitvić

We introduce a two-parameter deformation of the classical Bosonic, Fermionic, and Boltzmann Fock spaces that is a refinement of the $q$-Fock space of [BS91]. Starting with a real, separable Hilbert space $H$, we construct the $(q,t)$-Fock space and the corresponding creation and annihilation operators, $\{a_{q,t}(h)^\ast\}_{h\in H}$ and $\{a_{q,t}(h)\}_{h\in H}$, satifying the $(q,t)$-commutation relation $a_{q,t}(f)a_{q,t}(g)^\ast-q \,a_{q,t}(g)^\ast a_{q,t}(f)= <f,g>_{_H}\, t^{N},$ for $h,g\in H$, with $N$ denoting the number operator. Interpreting the bounded linear operators on the $(q,t)$-Fock space as non-commutative random variables, the analogue of the Gaussian random variable is given by the deformed field operator $s_{q,t}(h):=a_{q,t}(h)+a_{q,t}(h)^\ast$, for $h\in H$. The resulting refinement is particularly natural, as the moments of $s_{q,t}(h)$ are encoded by the joint statistics of crossings \emph{and nestings} in pair partitions. Furthermore, the orthogonal polynomial sequence associated with the normalized $(q,t)$-Gaussian $s_{q,t}$ is that of the $(q,t)$-Hermite orthogonal polynomials, a deformation of the $q$-Hermite sequence that is given by the recurrence $zH_n(z;q,t)=H_{n+1}(z;q,t)+[n]_{q,t}H_{n-1}(z;q,t),$ with $H_0(z;q,t)=1$, $H_1(z;q,t)=z$, and $[n]_{q,t}=\sum_{i=1}^n q^{i-1}t^{n-i}$. The $q=0<t$ specialization yields a new single-parameter deformation of the full Boltzmann Fock space of free probability. The probability measure associated with the corresponding deformed semicircular operator turns out to be encoded, in various forms, via the Rogers-Ramanujan continued fraction, the Rogers-Ramanujan identities, the $t$-Airy function, the $t$-Catalan numbers of Carlitz-Riordan, and the first-order statistics of the reduced Wigner process.

AG-2012.03-3651

math.OA

De Finetti theorem on the CAR algebra

Vito Crismale, Francesco Fidaleo

The symmetric states on a quasi local C*-algebra on the infinite set of indices J are those invariant under the action of the group of the permutations moving only a finite, but arbitrary, number of elements of J. The celebrated De Finetti Theorem describes the structure of the symmetric states (i.e. exchangeable probability measures) in classical probability. In the present paper we extend De Finetti Theorem to the case of the CAR algebra, that is for physical systems describing Fermions. Namely, after showing that a symmetric state is automatically even under the natural action of the parity automorphism, we prove that the compact convex set of such states is a Choquet simplex, whose extremal (i.e. ergodic w.r.t. the action of the group of permutations previously described) are precisely the product states in the sense of Araki-Moriya. In order to do that, we also prove some ergodic properties naturally enjoyed by the symmetric states which have a self--containing interest.

AG-2012.03-506

math.OA

Tripartite Bell inequality, random matrices and trilinear forms

Gilles Pisier

In this seminar report, we present in detail the proof of a recent result due to J. Briët and T. Vidick, improving an estimate in a 2008 paper by D. Pérez-Garc\&#39;ıa, M. Wolf, C. Palazuelos, I. Villanueva, and M. Junge, estimating the growth of the deviation in the tripartite Bell inequality. The proof requires a delicate estimate of the norms of certain trilinear (or $d$-linear) forms on Hilbert space with coefficients in the second Gaussian Wiener chaos. Let $E^n_{\vee}$ (resp. $E^n_{\min}$) denote $ \ell_1^n \otimes \ell_1^n\otimes \ell_1^n$ equipped with the injective (resp. minimal) tensor norm. Here $ \ell_1^n$ is equipped with its maximal operator space structure. The Briët-Vidick method yields that the identity map $I_n$ satisfies (for some $c>0$) $\|I_n:\ E^n_{\vee}\to E^n_{\min}\|\ge c n^{1/4} (\log n)^{-3/2}.$ Let $S^n_2$ denote the (Hilbert) space of $n\times n$-matrices equipped with the Hilbert-Schmidt norm. While a lower bound closer to $n^{1/2} $ is still open, their method produces an interesting, asymptotically almost sharp, related estimate for the map $J_n:\ S^n_2\stackrel{\vee}{\otimes} S^n_2\stackrel{\vee}{\otimes}S^n_2 \to \ell_2^{n^3} \stackrel{\vee}{\otimes} \ell_2^{n^3} $ taking $e_{i,j}\otimes e_{k,l}\otimes e_{m,n}$ to $e_{[i,k,m],[j,l,n]}$.

AG-2012.02-1207

math.OA

Metric characterizations II

David P. Blecher, Matthew Neal

The present paper is a sequel to our paper &#34;Metric characterization of isometries and of unital operator spaces and systems&#34;. We characterize certain common objects in the theory of operator spaces (unitaries, unital operator spaces, operator systems, operator algebras, and so on), in terms which are purely linear-metric, by which we mean that they only use the vector space structure of the space and its matrix norms. In the last part we give some characterizations of operator algebras (which are not linear-metric in our strict sense described in the paper).

AG-2012.02-2277

math.OA

Operator system structures on the unital direct sum of C*-algebras

Tobias Fritz

This work is motivated by Radulescu&#39;s result on the comparison of C*-tensor norms on C*(F_n) x C*(F_n). For unital C*-algebras A and B, there are natural inclusions of A and B into their unital free product, their maximal tensor product and their minimal tensor product. These inclusions define three operator system structures on the internal sum A+B, the first of which we identify as the coproduct of A and B in the category of operator systems. Partly using ideas from quantum entanglement theory, we prove various interrelations between these three operator systems. As an application, the present results yield a significant improvement over Radulescu&#39;s bound on C*(F_n) x C*(F_n). At the same time, this tight comparison is so general that it cannot be regarded as evidence for a positive answer to the QWEP conjecture.

AG-2012.02-323

math.OA

Open projections in operator algebras I: Comparison theory

David P. Blecher, Matthew Neal

We begin a program of generalizing basic elements of the theory of comparison, equivalence, and subequivalence, of elements in C*-algebras, to the setting of more general algebras. In particular, we follow the recent lead of Lin, Ortega, Rordam, and Thiel of studying these equivalences, etc., in terms of open projections or module isomorphisms. We also define and characterize a new class of inner ideals in operator algebras, and develop a matching theory of open partial isometries in operator ideals which simultaneously generalize the open projections in operator algebras (in the sense of the authors and Hay), and the open partial isometries (tripotents) introduced by the authors.

AG-2012.02-065

math.OA

Morita &#34;equivalences&#34; of equivariant torus spectral triples

Jan Jitse Venselaar

In general, Morita equivalence of spectral triples need not be a symmetric relation. In this paper, we show that Morita equivalence of spectral triples is an equivalence relation for equivariant torus spectral triples.

AG-2012.01-286

math.OA

The DFR-Algebra for Poisson Vector Bundles

Michael Forger, Daniel V. Paulino

The aim of the present paper is to present the construction of a general family of $C^*$-algebras that includes, as a special case, the &#34;quantum space-time algebra&#34; first introduced by Doplicher, Fredenhagen and Roberts. To this end, we first review, within the $C^*$-algebra context, the Weyl-Moyal quantization procedure on a fixed Poisson vector space (a vector space equipped with a given bivector, which may be degenerate). We then show how to extend this construction to a Poisson vector bundle over a general manifold $M$, giving rise to a $C^*$-algebra which is also a module over $C_0(M)$. Apart from including the original DFR-model, this method yields a &#34;fiberwise quantization&#34; of general Poisson manifolds.

AG-2011.12-1251

math.OA

Classification of spin structures on the noncommutative n-torus

Jan Jitse Venselaar

We classify spin structures on the noncommutative torus, and find that the noncommutative n-torus has 2^n spin structures, corresponding to isospectral deformations of spin structures on the commutative n-torus. For n>3 the classification depends on Connes&#39; spin manifold theorem. In addition, we study unitary equivalences of these spin structures.

AG-2011.12-1541

math.OA

Non-Commutative Geometry, Categories and Quantum Physics

Paolo Bertozzini, Roberto Conti, Wicharn Lewkeeratiyutkul

After an introduction to some basic issues in non-commutative geometry (Gel&#39;fand duality, spectral triples), we present a &#34;panoramic view&#34; of the status of our current research program on the use of categorical methods in the setting of A.Connes&#39; non-commutative geometry: morphisms/categories of spectral triples, categorification of Gel&#39;fand duality. We conclude with a summary of the expected applications of &#34;categorical non-commutative geometry&#34; to structural questions in relativistic quantum physics: (hyper)covariance, quantum space-time, (algebraic) quantum gravity.

AG-2011.12-1763

math.OA

Mapping Cones are Operator Systems

Nathaniel Johnston, Erling Størmer

We investigate the relationship between mapping cones and matrix ordered *-vector spaces (i.e., abstract operator systems). We show that to every mapping cone there is an associated operator system on the space of n-by-n complex matrices, and furthermore we show that the associated operator system is unique and has a certain homogeneity property. Conversely, we show that the cone of completely positive maps on any operator system with that homogeneity property is a mapping cone. We also consider several related problems, such as characterizing cones that are closed under composition on the right by completely positive maps, and cones that are also semigroups, in terms of operator systems.

AG-2011.11-2345

math.OA

Approximating macroscopic observables in quantum spin systems with commuting matrices

Yoshiko Ogata

Macroscopic observables in a quantum spin system are given by sequences of spatial means of local elements $\frac{1}{2n+1}\sum_{j=-n}^nγ_j(A_{i}), \; n\in{\mathbb N},\; i=1,...,m$ in a UHF algebra. One of their properties is that they commute asymptotically, as $n$ goes to infinity. It is not true that any given set of asymptotically commuting matrices can be approximated by commuting ones in the norm topology. In this paper, we show that for macroscopic observables, this is true.

AG-2011.09-685

math.OA

A Chern-Weil Isomorphism for the Equivariant Brauer Group

Peter Bouwknegt, Alan Carey, Rishni Ratnam

In this paper we construct a Chern-Weil isomorphism for the equivariant Brauer group of R^n-actions on a principal torus bundle, where the target for this isomorphism is a &#34;dimensionally reduced&#34; Cech cohomology group. From this point of view, the usual forgetful functor takes the form of a connecting homomorphism in a long exact sequence in dimensionally reduced cohomology.

AG-2011.08-2310

math.OA

Spectral geometry of the Moyal plane with harmonic propagation

Victor Gayral, Raimar Wulkenhaar

We construct a `non-unital spectral triple of finite volume&#39; out of the Moyal product and a differential square root of the harmonic oscillator Hamiltonian. We find that the spectral dimension of this triple is d but the KO-dimension is 2d. We add another Connes-Lott copy and compute the spectral action of the corresponding U(1)-Yang-Mills-Higgs model. We find that the `covariant coordinate&#39; involving the gauge field combines with the Higgs field to a unified potential, yielding a deep unification of discrete and continuous parts of the geometry.

AG-2011.06-2165

math.OA

Quantum Free Yang-Mills on the Plane

Michael Anshelevich, Ambar N. Sengupta

We construct a free-probability quantum Yang-Mills theory on the two dimensional plane, determine the Wilson loop expectation values, and show that this theory is the $N=\infty$ limit of U(N) quantum Yang-Mills theory on the plane.

AG-2011.05-952

math.OA

A2-Planar Algebras II: Planar Modules

David E. Evans, Mathew Pugh

Generalizing Jones&#39;s notion of a planar algebra, we have previously introduced an A_2-planar algebra capturing the structure contained in the double complex pertaining to the subfactor for a finite SU(3) ADE graph with a flat cell system. We now introduce the notion of modules over an A_2-planar algebra, and describe certain irreducible Hilbert A_2-TL-modules. We construct an A_2-graph planar algebra associated to each pair (G,W) given by an SU(3) ADE graph G and a cell system W on G. A partial modular decomposition of these A_2-graph planar algebras is achieved.

AG-2011.05-332

math.OA

Fixed points of normal completely positive maps on B(H)

Bojan Magajna

Given a sequence of bounded operators $a_j$ on a Hilbert space $H$ with $\sum a_j^*a_j=1=\sum a_ja_j^*$, we study the map $Ψ$ defined on $B(H)$ by $Ψ(x)=\sum a_j^*xa_j$ and its restriction $Φ$ to the Hilbert-Schmidt class $C^2(H)$. In the case when the sum $\sum a_j^*a_j$ is norm-convergent we show in particular that the operator $Φ-1$ is not invertible if and only if the C$^*$-algebra $A$ generated by $(a_j)$ has an amenable trace. This is used to show that $Ψ$ may have fixed points in $B(H)$ which are not in the commutant $A&#39;$ of $A$ even in the case when the weak* closure of $A$ is injective. However, if $A$ is abelian, then all fixed points of $Ψ$ are in $A&#39;$ even if the operators $a_j$ are not positive.

AG-2011.04-1894

math.OA

A2-Planar Algebras I

David E. Evans, Mathew Pugh

We give a diagrammatic presentation of the A_2-Temperley-Lieb algebra. Generalizing Jones&#39; notion of a planar algebra, we formulate an A_2-planar algebra motivated by Kuperberg&#39;s A_2-spider. This A_2-planar algebra contains a subfamily of vector spaces which will capture the double complex structure pertaining to the subfactor for a finite SU(3) ADE graph with a flat cell system, including both the periodicity three coming from the A_2-Temperley-Lieb algebra as well as the periodicity two coming from the subfactor basic construction. We use an A_2-planar algebra to obtain a description of the (Jones) planar algebra for the Wenzl subfactor in terms of generators and relations.

AG-2011.04-1235

math.OA

Bose Einstein condensation on inhomogeneous amenable graphs

Francesco Fidaleo, Daniele Guido, Tommaso Isola

We investigate the Bose-Einstein Condensation on nonhomogeneous amenable networks for the model describing arrays of Josephson junctions. The resulting topological model, whose Hamiltonian is the pure hopping one given by the opposite of the adjacency operator, has also a mathematical interest in itself. We show that for the nonhomogeneous networks like the comb graphs, particles condensate in momentum and configuration space as well. In this case different properties of the network, of geometric and probabilistic nature, such as the volume growth, the shape of the ground state, and the transience, all play a role in the condensation phenomena. The situation is quite different for homogeneous networks where just one of these parameters, e.g. the volume growth, is enough to determine the appearance of the condensation.

AG-2011.04-237

math.OA

Differential algebras with Banach-algebra coefficients I: From C*-algebras to the K-theory of the spectral curve

Maurice J. Dupré, James F. Glazebrook, Emma Previato

We present an operator-coefficient version of Sato&#39;s infinite-dimensional Grassmann manifold, and tau-function. In this context, the Burchnall-Chaundy ring of commuting differential operators becomes a C*-algebra, to which we apply the Brown-Douglas-Fillmore theory, and topological invariants of the spectral ring become readily available. We construct KK classes of the spectral curve of the ring and, motivated by the fact that all isospectral Burchnall-Chaundy rings make up the Jacobian of the curve, we compare the (degree-1) K-homology of the curve with that of its Jacobian. We show how the Burchnall-Chaundy C*-algebra extension of the compact operators provides a family of operator-valued tau-functions.

AG-2011.04-238

math.OA

Differential algebras with Banach-algebra coefficients II: The operator cross-ratio tau-function and the Schwarzian derivative

Maurice J. Dupré, James F. Glazebrook, Emma Previato

Several features of an analytic (infinite-dimensional) Grassmannian of (commensurable) subspaces of a Hilbert space were developed in the context of integrable PDEs (KP hierarchy). We extended some of those features when polarized separable Hilbert spaces are generalized to a class of polarized Hilbert modules, in particular the Baker and tau-functions, which become operator-valued. Following from Part I we produce a pre-determinant structure for a class of tau-functions defined in the setting of the similarity class of projections of a certain Banach *-algebra. This structure is explicitly derived from the transition map of a corresponding principal bundle. The determinant of this map gives a generalized, operator-valued tau-function that takes values in a commutative C*-algebra. We extend to this setting the operator cross-ratio which had been used to produce the scalar-valued tau-function, as well as the associated notion of a Schwarzian derivative along curves inside the space of similarity classes. We link directly this cross-ratio with Fay&#39;s trisecant identity for the tau-function (equivalent to the KP hierarchy). By restriction to the image of the Krichever map, we use the Schwarzian to introduce the notion of operator-valued projective structure on a compact Riemann surface: this allows a deformation inside the Grassmannian (as it varies its complex structure). Lastly, we use our identification of the Jacobian of the Riemann surface in terms of extensions of the Burchnall-Chaundy C*-algebra (Part I) to describe the KP hierarchy.

AG-2011.02-714

math.OA

Operator algebras with contractive approximate identities

David P. Blecher, Charles John Read

We give several applications of a recent theorem of the second author, which solved a conjecture of the first author with Hay and Neal, concerning contractive approximate identities; and another of Hay from the theory of noncommutative peak sets, thereby putting the latter theory on a much firmer foundation. From this theorem it emerges there is a surprising amount of positivity present in any operator algebras with contractive approximate identity. We exploit this to generalize several results previously available only for $C^*$-algebras, and we give many other applications.

AG-2011.02-2450

math.OA

A new light on nets of C*-algebras and their representations

Giuseppe Ruzzi, Ezio Vasselli

The present paper deals with the question of representability of nets of C*-algebras whose underlying poset, indexing the net, is not upward directed. A particular class of nets, called C*-net bundles, is classified in terms of C*-dynamical systems having as group the fundamental group of the poset. Any net of C*-algebras embeds into a unique C*-net bundle, the enveloping net bundle, which generalizes the notion of universal C*-algebra given by Fredenhagen to nonsimply connected posets. This allows a classification of nets; in particular, we call injective those nets having a faithful embedding into the enveloping net bundle. Injectivity turns out to be equivalent to the existence of faithful representations. We further relate injectivity to a generalized Cech cocycle of the net, and this allows us to give examples of nets exhausting the above classification. Using the results of this paper we shall show, in a forthcoming paper, that any conformal net over S^1 is injective.

AG-2011.01-1353

math.OA

Cones with a Mapping Cone Symmetry in the Finite-Dimensional Case

Łukasz Skowronek

In the finite-dimensional case, we present a new approach to the theory of cones with a mapping cone symmetry, first introduced by Størmer. Our method is based on a definition of an inner product in the space of linear maps between two algebras of operators and the fact that the Jamiołkowski-Choi isomorphism is an isometry. We consider a slightly modified class of cones, although not substantially different from the original mapping cones by Størmer. Using the new approach, several known results are proved faster and often in more generality than before. For example, the dual of a mapping cone turns out to be a mapping cone as well, without any additional assumptions. The main result of the paper is a characterization of cones with a mapping cone symmetry, saying that a given map is an element of such cone if and only if the composition of the map with the conjugate of an arbitrary element in the dual cone is completely positive. A similar result was known in the case where the map goes from an algebra of operators into itself and the cone is a symmetric mapping cone. Our result is proved without the additional assumptions of symmetry and equality between the domain and the target space. We show how it gives a number of older results as a corollary, including an exemplary application.

AG-2010.12-1305

math.OA

On quantum stochastic differential equations

J. Martin Lindsay, Adam G. Skalski

Existence and uniqueness theorems for quantum stochastic differential equations with nontrivial initial conditions are proved for coefficients with completely bounded columns. Applications are given for the case of finite-dimensional initial space or, more generally, for coefficients satisfying a finite localisability condition. Necessary and sufficient conditions are obtained for a conjugate pair of quantum stochastic cocycles on a finite-dimensional operator space to strongly satisfy such a quantum stochastic differential equation. This gives an alternative approach to quantum stochastic convolution cocycles on a coalgebra.

AG-2010.12-1307

math.OA

Quantum stochastic cocycles and completely bounded semigroups on operator spaces

J. Martin Lindsay, Stephen J. Wills

An operator space analysis of quantum stochastic cocycles is undertaken. These are cocycles with respect to an ampliated CCR flow, adapted to the associated filtration of subspaces, or subalgebras. They form a noncommutative analogue of stochastic semigroups in the sense of Skorohod. One-to-one correspondences are established between classes of cocycle of interest and corresponding classes of one-parameter semigroups on associated matrix spaces. Each of these &#39;global&#39; semigroups may be viewed as the expectation semigroup of an associated quantum stochastic cocycle on the corresponding matrix space. The classes of cocycle covered include completely positive contraction cocycles on an operator system, or C*-algebra; completely contractive cocycles on an operator space; and contraction operator cocycles on a Hilbert space. As indicated by Accardi and Kozyrev, the Schur-action matrix semigroup viewpoint circumvents technical (domain) limitations inherent in the theory of quantum stochastic differential equations. An infinitesimal analysis of quantum stochastic cocycles from the present wider perspective is given in a sister paper.