arXiv subjects

Jason Crann

Publications and source records attributed to Jason Crann.

At least 19 recordsLinked to original sources

arXiv2026

Actions of quantum groups on dual operator spaces and their crossed products

We study the category of dual operator spaces equipped with an action of a locally compact quantum group $\mathbb{G}$. The Fubini crossed product functor $-\rtimes^\mathcal{F} \mathbb{G}$ and the weak$^*$-crossed product functor $-\bar{\rtimes}\mathbb{G}$ are shown to be equal if and only if $\mathbb{G}$ has the approximation property of Haagerup and Kraus. Using the natural isomorphism $-\rtimes^\mathcal{F}\mathbb{G}\cong {}_{L^1(\mathbb{G})}\mathcal{CB}(B(L^2(\mathbb{G}))_*, -)$, this leads to a characterization of the approximation property of $\mathbb{G}$ via an $L^1(\mathbb{G})$-module approximation property for $B(L^2(\mathbb{G}))_*$. Finally, exactness of the Fubini crossed product functor is investigated and related to amenability properties of $\mathbb{G}$.

math.OA↗

arXiv2026

A Banach algebra encoding quantum group duality

We introduce and study a new Banach algebra structure on the trace-zero subspace $\mathcal{T}(L^2(\mathbb{G}))_0$ of trace class operators for any locally compact quantum group $\mathbb{G}$; it is defined through a mixed Lie-type product of the two dual products on $\mathcal{T}(L^2(\mathbb{G}))$ arising from the canonical extensions of the co-products of $\mathbb{G}$ and $\widehat{\mathbb{G}}$. The surprising fact that this new product is indeed associative stems precisely from the duality of the latter two products. This, in particular, gives new faithful associative products on trace-zero matrices in $M_d(\mathbb{C})$. After establishing some basic properties, we show that the single algebra $\mathcal{T}(L^2(\mathbb{G}))_0$ captures simultaneous properties of $\mathbb{G}$ and $\widehat{\mathbb{G}}$, is faithful for a large class of quantum groups, and encodes both $M^r_{cb}(L^1(\mathbb{G}))$ and $M^r_{cb}(L^1(\widehat{\mathbb{G}}))$ as left, respectively right, completely bounded module maps on $\mathcal{T}(L^2(\mathbb{G}))$. We finish by exhibiting an analogous product on the trace-zero nuclear operators $\mathcal{N}(L^p(G))_0$ for a locally compact group $G$ and $p\in(1,\infty)$. Building on [7], our work suggests an approach for developing an $L^p$-version of locally compact quantum group theory.

math.OA↗

arXiv2025

An operator system approach to self-testing

We develop a general framework for self-testing, in which bipartite correlations are described by states on the commuting tensor product of a pair of operator systems. We propose a definition of a local isometry between bipartite quantum systems in the commuting operator model, and define self-testing and abstract self-testing in the latter generality. We show that self-tests are in the general case always abstract self-tests and that, in some cases, the converse is also true. We apply our framework in a variety of instances, including to correlations with quantum inputs and outputs, quantum commuting correlations for the CHSH game, synchronous correlations, contextuality scenarios, quantum colourings and Schur quantum channels.

quant-ph↗

arXiv2025

Fej\'er representations for discrete quantum groups and applications

We prove that a discrete quantum group $\mathbb{G}$ has the approximation property if and only if a Fej\'{e}r-type representation holds for its $C^*$-algebraic or von Neumann algebraic crossed products. As applications, we extend several results from the literature to the context of discrete quantum groups with the approximation property. Additionally, we provide new characterizations of invariant $L^\infty(\widehat{\mathbb{G}})$-bimodules of $\mathcal{B}(\ell^2(\mathbb{G}))$ and invariant $C(\widehat{\mathbb{G}})$-bimodules of $\mathcal{K}(\ell^2(\mathbb{G}))$, some of which are new in the group setting. Finally, we study Fubini crossed products of discrete quantum group actions.

math.OA↗

arXiv2024

Algebraic approach to spacetime bulk reconstruction

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.

math.OA↗

arXiv2023

Values of cooperative quantum games

We develop a resource-theoretical approach that allows us to quantify values of two-player, one-round cooperative games with quantum inputs and outputs, as well as values of quantum probabilistic hypergraphs. We analyse the quantum game values arising from the type hierarchy of quantum no-signalling correlations, establishing tensor norm expressions for each of the correlation types. As a consequence, we provide metric characterisations of state convertibility via LOSR and LOCC.En route, we obtain an alternative description of the maximal tensor products of ternary rings of operators.

quant-ph↗

arXiv2022

Quantum teleportation in the commuting operator framework

We introduce a notion of teleportation scheme between subalgebras of semi-finite von Neumann algebras in the commuting operator model of locality. Using techniques from subfactor theory, we present unbiased teleportation schemes for relative commutants $N'\cap M$ of a large class of finite-index inclusions $N\subseteq M$ of tracial von Neumann algebras, where the unbiased condition means that no information about the teleported observables are contained in the classical communication sent between the parties. For a large class of subalgebras $N$ of matrix algebras $M_n(\mathbb{C})$, including those relevant to hybrid classical/quantum codes, we show that any tight teleportation scheme for $N$ necessarily arises from an orthonormal unitary Pimsner-Popa basis of $M_n(\mathbb{C})$ over $N'$, generalising work of Werner. Combining our techniques with those of Brannan-Ganesan-Harris, we compute quantum chromatic numbers for a variety of quantum graphs arising from finite-dimensional inclusions $N\subseteq M$.

math.OA↗

arXiv2022

Orthogonal Unitary Bases and a Subfactor Conjecture

We show that any finite dimensional von Neumann algebra admits an orthonormal unitary basis with respect to its standard trace. We also show that a finite dimensional von Neumann subalgebra of $M_n(\mathbb{C})$ admits an orthonormal unitary basis under normalized matrix trace if and only if the normalized matrix trace and standard trace of the von Neumann subalgebra coincide. As an application, we verify a recent conjecture of Bakshi-Gupta, showing that any finite-index regular inclusion $N\subseteq M$ of $II_1$-factors admits an orthonormal unitary Pimsner-Popa basis.

math.OA↗

arXiv2022

Gaussian quantum information over general quantum kinematical systems I: Gaussian states

We develop a theory of Gaussian states over general quantum kinematical systems with finitely many degrees of freedom. The underlying phase space is described by a locally compact abelian (LCA) group $G$ with a symplectic structure determined by a 2-cocycle on $G$. We use the concept of Gaussian distributions on LCA groups in the sense of Bernstein to define Gaussian states and completely characterize Gaussian states over 2-regular LCA groups of the form $G= F\times\hat{F}$ endowed with a canonical normalized 2-cocycle. This covers, in particular, the case of $n$-bosonic modes, $n$-qudit systems with odd $d\ge 3$, and $p$-adic quantum systems. Our characterization reveals a topological obstruction to Gaussian state entanglement when we decompose the quantum kinematical system into the Euclidean part and the remaining part (whose phase space admits a compact open subgroup). We then generalize the discrete Hudson theorem \cite{Gro} to the case of totally disconnected 2-regular LCA groups. We also examine angle-number systems with phase space $\mathbb{T}^n\times\mathbb{Z}^n$ and fermionic/hard-core bosonic systems with phase space $\mathbb{Z}^{2n}_2$ (which are not 2-regular), and completely characterize their Gaussian states.

quant-ph↗

arXiv2021

Finite presentation, the local lifting property, and local approximation properties of operator modules

We introduce notions of finite presentation and co-exactness which serve as qualitative and quantitative analogues of finite-dimensionality for operator modules over completely contractive Banach algebras. With these notions we begin the development of a local theory of operator modules by introducing analogues of the local lifting property, nuclearity, and semi-discreteness. For a large class of operator modules we prove that the local lifting property is equivalent to flatness, generalizing the operator space result of Kye and Ruan. We pursue applications to abstract harmonic analysis, where, for a locally compact quantum group $\mathbb{G}$, we show that $L^1(\mathbb{G})$-nuclearity of $\mathrm{LUC}(\mathbb{G})$ and $L^1(\mathbb{G})$-semi-discreteness of $L^\infty(\mathbb{G})$ are both equivalent to co-amenability of $\mathbb{G}$. We establish the equivalence between $A(G)$-injectivity of $G\bar{\ltimes}M$, $A(G)$-semi-discreteness of $G\bar{\ltimes} M$, and amenability of $W^*$-dynamical systems $(M,G,α)$ with $M$ injective. We end with remarks on future directions.

math.OA↗

arXiv2020

A non-commutative Fejér theorem for crossed products, the approximation property, and applications

We prove that a locally compact group has the approximation property (AP), introduced by Haagerup-Kraus, if and only if a non-commutative Fejér theorem holds for the associated $C^*$- or von Neumann crossed products. As applications, we answer three open problems in the literature. Specifically, we show that any locally compact group with the AP is exact. This generalizes a result by Haagerup-Kraus, and answers a problem raised by Li. We also answer a question of Bédos-Conti on the Fejér property of discrete $C^*$-dynamical systems, as well as a question by Anoussis-Katavolos-Todorov for all locally compact groups with the AP. In our approach, which relies on operator space techniques, we develop a notion of Fubini crossed product for locally compact groups, and a dynamical version of the AP for actions associated with $C^*$- or $W^*$-dynamical systems.

math.OA↗

arXiv2020

State convertibility in the von Neumann algebra framework

We establish a generalisation of the fundamental state convertibility theorem in quantum information to the context of bipartite quantum systems modelled by commuting semi-finite von Neumann algebras. Namely, we establish a generalisation to this setting of Nielsen's theorem on the convertibility of quantum states under local operations and classical communication (LOCC) schemes. Along the way, we introduce an appropriate generalisation of LOCC operations and connect the resulting notion of approximate convertibility to the theory of singular numbers and majorisation in von Neumann algebras. As an application of our result in the setting of $II_1$-factors, we show that the entropy of the singular value distribution relative to the unique tracial state is an entanglement monotone in the sense of Vidal, thus yielding a new way to quantify entanglement in that context. Building on previous work in the infinite-dimensional setting, we show that trace vectors play the role of maximally entangled states for general $II_1$-factors. Examples are drawn from infinite spin chains, quasi-free representations of the CAR, and discretised versions of the CCR.

math.OA↗

arXiv2020

A weak expectation property for operator modules, injectivity and amenable actions

We introduce an equivariant version of the weak expectation property (WEP) at the level of operator modules over completely contractive Banach algebras $A$. We prove a number of general results---for example, a characterization of the $A$-WEP in terms of an appropriate $A$-injective envelope, and also a characterization of those $A$ for which $A$-WEP implies WEP. In the case of $A=L^1(G)$, we recover the $G$-WEP for $G$-$C^*$-algebras in recent work of Buss--Echterhoff--Willett. When $A=A(G)$, we obtain a dual notion for operator modules over the Fourier algebra. These dual notions are related in the setting of dynamical systems, where we show that a $W^*$-dynamical system $(M,G,α)$ with $M$ injective is amenable if and only if $M$ is $L^1(G)$-injective if and only if the crossed product $G\bar{\ltimes}M$ is $A(G)$-injective. Analogously, we show that a $C^*$-dynamical system $(A,G,α)$ with $A$ nuclear and $G$ exact is amenable if and only if $A$ has the $L^1(G)$-WEP if and only if the reduced crossed product $G\ltimes A$ has the $A(G)$-WEP.

math.OA↗

arXiv2020

Amenable dynamical systems over locally compact groups

We establish several new characterizations of amenable $W^*$- and $C^*$-dynamical systems over arbitrary locally compact groups. In the $W^*$-setting we show that amenability is equivalent to (1) a Reiter property and (2) the existence of a certain net of completely positive Herz-Schur multipliers of $(M,G,α)$ converging point weak* to the identity of $G\bar{\ltimes}M$. In the $C^*$-setting, we prove that amenability of $(A,G,α)$ is equivalent to an analogous Herz-Schur multiplier approximation of the identity of the reduced crossed product $G\ltimes A$, as well as a particular case of the positive weak approximation property of Bédos and Conti (generalized the locally compact setting). When $Z(A^{**})=Z(A)^{**}$, it follows that amenability is equivalent to the 1-positive approximation property of Exel and Ng. In particular, when $A=C_0(X)$ is commutative, amenability of $(C_0(X),G,α)$ coincides with topological amenability the $G$-space $(G,X)$. Our results answer 2 open questions from the literature; one of Anantharaman--Delaroche, and one from recent work of Buss--Echterhoff--Willett.

math.OA↗

arXiv2018

On the operator homology of the Fourier algebra and its $cb$-multiplier completion

We study various operator homological properties of the Fourier algebra $A(G)$ of a locally compact group $G$. Establishing the converse of two results of Ruan and Xu, we show that $A(G)$ is relatively operator 1-projective if and only if $G$ is IN, and that $A(G)$ is relatively operator 1-flat if and only if $G$ is inner amenable. We also exhibit the first known class of groups for which $A(G)$ is not relatively operator $C$-flat for any $C\geq1$. As applications of our techniques, we establish a hereditary property of inner amenability, answer an open question of Lau and Paterson, and answer an open question of Anantharaman--Delaroche on the equivalence of inner amenability and Property (W). In the bimodule setting, we show that relative operator 1-biflatness of $A(G)$ is equivalent to the existence of a contractive approximate indicator for the diagonal $G_Δ$ in the Fourier--Stieltjes algebra $B(G\times G)$, thereby establishing the converse to a result of Aristov, Runde, and Spronk. We conjecture that relative $1$-biflatness of $A(G)$ is equivalent to the existence of a quasi-central bounded approximate identity in $L^1(G)$, that is, $G$ is QSIN, and verify the conjecture in many special cases. We finish with an application to the operator homology of $A_{cb}(G)$, giving examples of weakly amenable groups for which $A_{cb}(G)$ is not operator amenable.

math.OA↗

arXiv2018

On hereditary properties of quantum group amenability

Given a locally compact quantum group $\mathbb{G}$ and a closed quantum subgroup $\mathbb{H}$, we show that $\mathbb{G}$ is amenable if and only if $\mathbb{H}$ is amenable and $\mathbb{G}$ acts amenably on the quantum homogenous space $\mathbb{G}/\mathbb{H}$. We also study the existence of $L^1(\widehat{\mathbb{G}})$-module projections from $L^{\infty}(\widehat{\mathbb{G}})$ onto $L^{\infty}(\widehat{\mathbb{H}})$.

math.OA↗

arXiv2018

Inner amenability and approximation properties of locally compact quantum groups

We introduce an appropriate notion of inner amenability for locally compact quantum groups, study its basic properties, related notions, and examples arising from the bicrossed product construction. We relate these notions to homological properties of the dual quantum group, which allow us to generalize a well-known result of Lau--Paterson, resolve a recent conjecture of Ng--Viselter, and prove that, for inner amenable quantum groups $\mathbb{G}$, approximation properties of the dual operator algebras can be averaged to approximation properties $\mathbb{G}$. Similar homological techniques are used to prove that $\ell^1(\mathbb{G})$ is not relatively operator biflat for any non-Kac discrete quantum group $\mathbb{G}$; a discrete Kac algebra $\mathbb{G}$ with Kirchberg's factorization property is weakly amenable if and only if $L^1_{cb}(\widehat{\mathbb{G}})$ is operator amenable, and amenability of a locally compact quantum group $\mathbb{G}$ implies $C_u(\widehat{\mathbb{G}})=L^1(\widehat{\mathbb{G}})\widehat{\otimes}_{L^1(\widehat{\mathbb{G}})}C_0(\widehat{\mathbb{G}})$ completely isometrically. The latter result allows us to partially answer a conjecture of Voiculescu when $\mathbb{G}$ has the approximation property.

math.OA↗

arXiv2018

A new duality via the Haagerup tensor product

We initiate the study of a new notion of duality defined with respect to the module Haagerup tensor product. This notion not only recovers the standard operator space dual for Hilbert $C^*$-modules, it also captures quantum group duality in a fundamental way. We compute the so-called Haagerup dual for various operator algebras arising from $\ell^p$ spaces. In particular, we show that the dual of $\ell^1$ under any operator space structure is $\min\ell^\infty$. In the setting of abstract harmonic analysis we generalize a result of Varopolous by showing that $C(\mathbb{G})$ is an operator algebra under convolution for any compact Kac algebra $\mathbb{G}$. We then prove that the corresponding Haagerup dual $C(\mathbb{G})^h=\ell^\infty(\widehat{\mathbb{G}})$, whenever $\widehat{\mathbb{G}}$ is weakly amenable. Our techniques comprise a mixture of quantum group theory and the geometry of operator space tensor products.

math.OA↗