Showing 1–30 of 30 results for author: Brannan, M

Quantum no-signalling bicorrelations

Authors: Michael Brannan, Samuel J. Harris, Ivan G. Todorov, Lyudmila Turowska

Abstract: We introduce classical and quantum no-signalling bicorrelations and characterise the different types thereof in terms of states on operator system tensor products, exhibiting connections with bistochastic operator matrices and with dilations of quantum magic squares. We define concurrent bicorrelations as a quantum input-output generalisation of bisynchronous correlations. We show that concurrent… ▽ More We introduce classical and quantum no-signalling bicorrelations and characterise the different types thereof in terms of states on operator system tensor products, exhibiting connections with bistochastic operator matrices and with dilations of quantum magic squares. We define concurrent bicorrelations as a quantum input-output generalisation of bisynchronous correlations. We show that concurrent bicorrelations of quantum commuting type correspond to tracial states on the universal C*-algebra of the projective free unitary quantum group, showing that in the quantum input-output setup, quantum permutations of finite sets must be replaced by quantum automorphisms of matrix algebras. We apply our results to study the quantum graph isomorphism game, describing the game C*-algebra in this case, and make precise connections with the algebraic notions of quantum graph isomorphism, existing presently in the literature. △ Less

Submitted 8 February, 2023; originally announced February 2023.

Comments: 76 pages

Quantum edge correspondences and quantum Cuntz-Krieger algebras

Authors: Michael Brannan, Mitch Hamidi, Lara Ismert, Brent Nelson, Mateusz Wasilewski

Abstract: Given a quantum graph $\mathcal{G}=(B,ψ,A)$, we define a C*-correspondence $E_\mathcal{G}$ over the noncommutative vertex C*-algebra $B$, called the quantum edge correspondence. For a classical graph $\mathcal{G}$, $E_\mathcal{G}$ is the usual graph correspondence spanned by the edges of $\mathcal{G}$. When the quantum adjacency matrix $A\colon B\to B$ is completely positive, we show that… ▽ More Given a quantum graph $\mathcal{G}=(B,ψ,A)$, we define a C*-correspondence $E_\mathcal{G}$ over the noncommutative vertex C*-algebra $B$, called the quantum edge correspondence. For a classical graph $\mathcal{G}$, $E_\mathcal{G}$ is the usual graph correspondence spanned by the edges of $\mathcal{G}$. When the quantum adjacency matrix $A\colon B\to B$ is completely positive, we show that $E_\mathcal{G}$ is faithful if and only if $\ker(A)$ does not contain a central summand of $B$. In this case, we show that the Cuntz-Pimsner algebra $\mathcal{O}_{E_\mathcal{G}}$ is isomorphic to a quotient of the quantum Cuntz-Krieger algebra $\mathcal{O}(\mathcal{G})$ defined by Brannan, Eifler, Voigt, and Weber. Moreover, the kernel of the quotient map is shown to be generated by "localized" versions of the quantum Cuntz-Krieger relations, and $\mathcal{O}_{E_\mathcal{G}}$ is shown to be the universal object associated to these local relations. We study in detail some concrete examples and make connections with the theory of Exel crossed products. △ Less

Submitted 10 March, 2022; originally announced March 2022.

Comments: 23 pages

Crossed Product Equivalence of Quantum Automorphism Groups

Authors: Michael Brannan, Floris Elzinga, Samuel J. Harris, Makoto Yamashita

Abstract: We compare the algebras of the quantum automorphism group of finite-dimensional C$^\ast$-algebra $B$, which includes the quantum permutation group $S_N^+$, where $N = \dim B$. We show that matrix amplification and crossed products by trace-preserving actions by a finite Abelian group $Γ$ lead to isomorphic $\ast$-algebras. This allows us to transfer various properties such as inner unitarity, Conn… ▽ More We compare the algebras of the quantum automorphism group of finite-dimensional C$^\ast$-algebra $B$, which includes the quantum permutation group $S_N^+$, where $N = \dim B$. We show that matrix amplification and crossed products by trace-preserving actions by a finite Abelian group $Γ$ lead to isomorphic $\ast$-algebras. This allows us to transfer various properties such as inner unitarity, Connes embeddability, and strong $1$-boundedness between the various algebras associated with these quantum groups. △ Less

Submitted 21 February, 2023; v1 submitted 9 February, 2022; originally announced February 2022.

Comments: 27 pages. Revised version to appear in IMRN

Synchronicity for quantum non-local games

Authors: Michael Brannan, Samuel J. Harris, Ivan G. Todorov, Lyudmila Turowska

Abstract: We introduce concurrent quantum non-local games, quantum output mirror games and concurrent classical-to-quantum non-local games, as quantum versions of synchronous non-local games, and provide tracial characterisations of their perfect strategies belonging to various correlation classes. We define *-algebras and C*-algebras of concurrent classical-to-quantum and concurrent quantum non-local games… ▽ More We introduce concurrent quantum non-local games, quantum output mirror games and concurrent classical-to-quantum non-local games, as quantum versions of synchronous non-local games, and provide tracial characterisations of their perfect strategies belonging to various correlation classes. We define *-algebras and C*-algebras of concurrent classical-to-quantum and concurrent quantum non-local games, and algebraic versions of the orthogonal rank of a graph. We show that quantum homomorphisms of quantum graphs can be viewed as entanglement assisted classical homomorphisms of the graphs, and give descriptions of the perfect quantum commuting and the perfect approximately quantum strategies for the quantum graph homomorphism game. We specialise the latter results to the case where the inputs of the game are based on a classical graph. △ Less

Submitted 21 June, 2021; originally announced June 2021.

Quantum Cuntz-Krieger algebras

Authors: Mike Brannan, Kari Eifler, Christian Voigt, Moritz Weber

Abstract: Motivated by the theory of Cuntz-Krieger algebras we define and study $ C^\ast $-algebras associated to directed quantum graphs. For classical graphs the $ C^\ast $-algebras obtained this way can be viewed as free analogues of Cuntz-Krieger algebras, and need not be nuclear. We study two particular classes of quantum graphs in detail, namely the trivial and the complete quantum graphs. For the t… ▽ More Motivated by the theory of Cuntz-Krieger algebras we define and study $ C^\ast $-algebras associated to directed quantum graphs. For classical graphs the $ C^\ast $-algebras obtained this way can be viewed as free analogues of Cuntz-Krieger algebras, and need not be nuclear. We study two particular classes of quantum graphs in detail, namely the trivial and the complete quantum graphs. For the trivial quantum graph on a single matrix block, we show that the associated quantum Cuntz-Krieger algebra is neither unital, nuclear nor simple, and does not depend on the size of the matrix block up to $ KK $-equivalence. In the case of the complete quantum graphs we use quantum symmetries to show that, in certain cases, the corresponding quantum Cuntz-Krieger algebras are isomorphic to Cuntz algebras. These isomorphisms, which seem far from obvious from the definitions, imply in particular that these $ C^\ast $-algebras are all pairwise non-isomorphic for complete quantum graphs of different dimensions, even on the level of $ KK $-theory. We explain how the notion of unitary error basis from quantum information theory can help to elucidate the situation. We also discuss quantum symmetries of quantum Cuntz-Krieger algebras in general. △ Less

Submitted 20 September, 2020; originally announced September 2020.

Comments: 40 pages

MSC Class: 46L55; 46L67; 81P40; 19K35

The quantum-to-classical graph homomorphism game

Authors: Michael Brannan, Priyanga Ganesan, Samuel J. Harris

Abstract: Motivated by non-local games and quantum coloring problems, we introduce a graph homomorphism game between quantum graphs and classical graphs. This game is naturally cast as a "quantum-classical game"--that is, a non-local game of two players involving quantum questions and classical answers. This game generalizes the graph homomorphism game between classical graphs. We show that winning strategi… ▽ More Motivated by non-local games and quantum coloring problems, we introduce a graph homomorphism game between quantum graphs and classical graphs. This game is naturally cast as a "quantum-classical game"--that is, a non-local game of two players involving quantum questions and classical answers. This game generalizes the graph homomorphism game between classical graphs. We show that winning strategies in the various quantum models for the game is an analogue of the notion of non-commutative graph homomorphisms due to D. Stahlke [44]. Moreover, we present a game algebra in this context that generalizes the game algebra for graph homomorphisms given by J.W. Helton, K. Meyer, V.I. Paulsen and M. Satriano [22]. We also demonstrate explicit quantum colorings of all quantum complete graphs, yielding the surprising fact that the algebra of the $4$-coloring game for a quantum graph is always non-trivial, extending a result of [22]. △ Less

Submitted 23 September, 2021; v1 submitted 15 September, 2020; originally announced September 2020.

Comments: v2: fixed errors in proofs of the old Theorem 4.7 and 5.6; removed Lemma 4.8

Complete Logarithmic Sobolev Inequalities via Ricci Curvature Bounded Below II

Authors: Michael Brannan, Li Gao, Marius Junge

Abstract: Using a non-negative curvature condition, we prove the complete version of modified log-Sobolev inequalities for central Markov semigroups on various compact quantum groups, including group von Neumann algebras, free orthogonal group and quantum automorphism groups. We also prove that the "geometric Ricci curvature lower bound" introduced by Junge-Li-LaRacuente is stable under tensor products and… ▽ More Using a non-negative curvature condition, we prove the complete version of modified log-Sobolev inequalities for central Markov semigroups on various compact quantum groups, including group von Neumann algebras, free orthogonal group and quantum automorphism groups. We also prove that the "geometric Ricci curvature lower bound" introduced by Junge-Li-LaRacuente is stable under tensor products and amalgamated free products. As an application, we obtain the geometric Ricci curvature lower bound and complete modified logarithmic Sobolev inequality for word-length semigroups on free group factors and amalgamated free product algebras. △ Less

Submitted 27 August, 2020; originally announced August 2020.

Comments: 51 pages. Comments are very welcome!

Complete Logarithmic Sobolev inequalities via Ricci curvature bounded below

Authors: Michael Brannan, Li Gao, Marius Junge

Abstract: We prove that for a symmetric Markov semigroup, Ricci curvature bounded from below by a non-positive constant combined with a finite $L_\infty$-mixing time implies the modified log-Sobolev inequality. Such $L_\infty$-mixing time estimates always hold for Markov semigroups that have spectral gap and finite Varopoulos dimension. Our results apply to non-ergodic quantum Markov semigroups with noncomm… ▽ More We prove that for a symmetric Markov semigroup, Ricci curvature bounded from below by a non-positive constant combined with a finite $L_\infty$-mixing time implies the modified log-Sobolev inequality. Such $L_\infty$-mixing time estimates always hold for Markov semigroups that have spectral gap and finite Varopoulos dimension. Our results apply to non-ergodic quantum Markov semigroups with noncommutative Ricci curvature bounds recently introduced by Carlen and Maas. As an application, we prove that the heat semigroup on a compact Riemannian manifold admits a uniform modified log-Sobolev inequality for all its matrix-valued extensions. △ Less

Submitted 27 August, 2020; v1 submitted 12 July, 2020; originally announced July 2020.

Comments: 55 pages. Comments are very welcome. v2: Additional details added. Email addresses corrected

MSC Class: 46L57; 47D07

Actions, quotients and lattices of locally compact quantum groups

Authors: Michael Brannan, Alexandru Chirvasitu, Ami Viselter

Abstract: We prove a number of property (T) permanence results for locally compact quantum groups under exact sequences and the presence of invariant states, analogous to their classical versions. Along the way we characterize the existence of invariant weights on quantum homogeneous spaces of quotient type, and relate invariant states for LCQG actions on von Neumann algebras to invariant vectors in canonic… ▽ More We prove a number of property (T) permanence results for locally compact quantum groups under exact sequences and the presence of invariant states, analogous to their classical versions. Along the way we characterize the existence of invariant weights on quantum homogeneous spaces of quotient type, and relate invariant states for LCQG actions on von Neumann algebras to invariant vectors in canonical unitary implementations, providing an application to amenability. Finally, we introduce a notion of lattice in a locally compact quantum group, noting examples provided by Drinfeld doubles of compact quantum groups. We show that property (T) lifts from a lattice to the ambient LCQG, just as it does classically, thus obtaining new examples of non-classical, non-compact, non-discrete LCQGs with property (T). △ Less

Submitted 5 February, 2021; v1 submitted 30 November, 2019; originally announced December 2019.

Comments: 31 pages; several changes following the referee's comments; to appear in Documenta Mathematica

MSC Class: 20G42 (Primary); 46L65; 46L30 (Secondary)

Journal ref: Doc. Math. 25 (2020), 2553-2582

Property RD and hypercontractivity for orthogonal free quantum groups

Authors: Michael Brannan, Roland Vergnioux, Sang-Gyun Youn

Abstract: We prove that the twisted property RD fails to hold for all non Kac type, non amenable orthogonal free quantum groups. In the Kac case we revisit property RD, proving an analogue of the $L_p-L_2$ non-commutative Khintchine inequality for free groups. As an application, we give new and improved hypercontractivity and ultracontractivity estimates for the generalized heat semigroups on free orthogona… ▽ More We prove that the twisted property RD fails to hold for all non Kac type, non amenable orthogonal free quantum groups. In the Kac case we revisit property RD, proving an analogue of the $L_p-L_2$ non-commutative Khintchine inequality for free groups. As an application, we give new and improved hypercontractivity and ultracontractivity estimates for the generalized heat semigroups on free orthogonal quantum groups, both in the Kac and non Kac cases. △ Less

Submitted 11 February, 2021; v1 submitted 12 November, 2019; originally announced November 2019.

Comments: 21pages

MSC Class: 47A30; 43A15; 20G42; 47D03

Journal ref: Int. Math. Res. Not. (2021); rnaa118

Bigalois extensions and the graph isomorphism game

Authors: Michael Brannan, Alexandru Chirvasitu, Kari Eifler, Samuel Harris, Vern Paulsen, Xiaoyu Su, Mateusz Wasilewski

Abstract: We study the graph isomorphism game that arises in quantum information theory from the perspective of bigalois extensions of compact quantum groups. We show that every algebraic quantum isomorphism between a pair of (quantum) graphs $X$ and $Y$ arises as a quotient of a certain measured bigalois extension for the quantum automorphism groups $G_X$ and $G_Y$ of the graphs $X$ and $Y$. In particular,… ▽ More We study the graph isomorphism game that arises in quantum information theory from the perspective of bigalois extensions of compact quantum groups. We show that every algebraic quantum isomorphism between a pair of (quantum) graphs $X$ and $Y$ arises as a quotient of a certain measured bigalois extension for the quantum automorphism groups $G_X$ and $G_Y$ of the graphs $X$ and $Y$. In particular, this implies that the quantum groups $G_X$ and $G_Y$ are monoidally equivalent. We also establish a converse to this result, which says that every compact quantum group $G$ monoidally equivalent to $G_X$ is of the form $G_Y$ for a suitably chosen quantum graph $Y$ that is quantum isomorphic to $X$. As an application of these results, we deduce that the $\ast$-algebraic, C$^\ast$-algebraic, and quantum commuting (qc) notions of a quantum isomorphism between classical graphs $X$ and $Y$ all coincide. Using the notion of equivalence for non-local games, we deduce the same result for other synchronous non-local games, including the synBCS game and certain related graph homomorphism games. △ Less

Submitted 3 November, 2020; v1 submitted 30 December, 2018; originally announced December 2018.

Comments: 33 pages

Journal ref: Comm. Math. Phys. 375 (2020), no. 3, 1777-1809

Temperley-Lieb quantum channels

Authors: Michael Brannan, Benoît Collins, Hun Hee Lee, Sang-Gyun Youn

Abstract: We study a class of quantum channels arising from the representation theory of compact quantum groups that we call Temperley-Lieb quantum channels. These channels simultaneously extend those introduced in [BC18], [AN14], and [LS14]. (Quantum) Symmetries in quantum information theory arise naturally from many points of view, providing an important source of new examples of quantum phenomena, and al… ▽ More We study a class of quantum channels arising from the representation theory of compact quantum groups that we call Temperley-Lieb quantum channels. These channels simultaneously extend those introduced in [BC18], [AN14], and [LS14]. (Quantum) Symmetries in quantum information theory arise naturally from many points of view, providing an important source of new examples of quantum phenomena, and also serve as useful tools to simplify or solve important problems. This work provides new applications of quantum symmetries in quantum information theory. Among others, we study entropies and capacitites of Temperley-Lieb channels, their (anti-)degradability, PPT and entanglement breaking properties, as well as the behaviour of their tensor products with respect to entangled inpurs. Finally we compare the Tempereley-Lieb channels with the (modified) TRO-channels recently introduced in [GJL16]. △ Less

Submitted 18 October, 2018; originally announced October 2018.

Comments: 35 pages

MSC Class: 46N50; 47L90; 81P45; 20G42

Journal ref: Commun. Math. Phys. 376, 795--839 (2020)

Topological generation and matrix models for quantum reflection groups

Authors: Michael Brannan, Alexandru Chirvasitu, Amaury Freslon

Abstract: We establish several new topological generation results for the quantum permutation groups $S^+_N$ and the quantum reflection groups $H^{s+}_N$. We use these results to show that these quantum groups admit sufficiently many "matrix models". In particular, all of these quantum groups have residually finite discrete duals (and are, in particular, hyperlinear), and certain "flat" matrix models for… ▽ More We establish several new topological generation results for the quantum permutation groups $S^+_N$ and the quantum reflection groups $H^{s+}_N$. We use these results to show that these quantum groups admit sufficiently many "matrix models". In particular, all of these quantum groups have residually finite discrete duals (and are, in particular, hyperlinear), and certain "flat" matrix models for $S_N^+$ are inner faithful. △ Less

Submitted 26 August, 2018; originally announced August 2018.

Property (T), property (F) and residual finiteness for discrete quantum groups

Authors: Angshuman Bhattacharya, Michael Brannan, Alexandru Chirvasitu, Shuzhou Wang

Abstract: We investigate connections between various rigidity and softness properties for discrete quantum groups. After introducing a notion of residual finiteness, we show that it implies the Kirchberg factorization property for the discrete quantum group in question. We also prove the analogue of Kirchberg's theorem, to the effect that conversely, the factorization property and property (T) jointly imply… ▽ More We investigate connections between various rigidity and softness properties for discrete quantum groups. After introducing a notion of residual finiteness, we show that it implies the Kirchberg factorization property for the discrete quantum group in question. We also prove the analogue of Kirchberg's theorem, to the effect that conversely, the factorization property and property (T) jointly imply residual finiteness. We also apply these results to certain classes of discrete quantum groups obtained by means of bicrossed product constructions and study the preservation of the properties (factorization, residual finiteness, property (T)) under extensions of discrete quantum groups. △ Less

Submitted 3 July, 2020; v1 submitted 22 December, 2017; originally announced December 2017.

Comments: 17 pages + references; edits following referee comments; to appear in JNCG

MSC Class: 20G42; 46L52; 16T20

On the similarity problem for locally compact quantum groups

Authors: Michael Brannan, Sang-Gyun Youn

Abstract: A well-known theorem of Day and Dixmier states that any uniformly bounded representation of an amenable locally compact group $G$ on a Hilbert space is similar to a unitary representation. Within the category of locally compact quantum groups, the conjectural analogue of the Day-Dixmier theorem is that every completely bounded Hilbert space representation of the convolution algebra of an amenable… ▽ More A well-known theorem of Day and Dixmier states that any uniformly bounded representation of an amenable locally compact group $G$ on a Hilbert space is similar to a unitary representation. Within the category of locally compact quantum groups, the conjectural analogue of the Day-Dixmier theorem is that every completely bounded Hilbert space representation of the convolution algebra of an amenable locally compact quantum group should be similar to a $\ast$-representation. We prove that this conjecture is false for a large class of non-Kac type compact quantum groups, including all $q$-deformations of compact simply connected semisimple Lie groups. On the other hand, within the Kac framework, we prove that the Day-Dixmier theorem does indeed hold for several new classes of examples, including amenable discrete quantum groups of Kac-type. △ Less

Submitted 14 November, 2017; v1 submitted 23 September, 2017; originally announced September 2017.

Comments: 19pages, The proof of Proposition 4.2 in v1 contains a gap, which invalidates the claim in Corollary 4.3 that Fourier algebras of unimodular groups have the completely bounded similarity property. These incorrect results are removed from the current version, v2

MSC Class: 20G42; 22D12; 22D15; 46L07; 46L89; 81R50

Quantum groups, property (T), and weak mixing

Authors: Michael Brannan, David Kerr

Abstract: For second countable discrete quantum groups, and more generally second countable locally compact quantum groups with trivial scaling group, we show that property (T) is equivalent to every weakly mixing unitary representation not having almost invariant vectors. This is a generalization of a theorem of Bekka and Valette from the group setting and was previously established in the case of low dual… ▽ More For second countable discrete quantum groups, and more generally second countable locally compact quantum groups with trivial scaling group, we show that property (T) is equivalent to every weakly mixing unitary representation not having almost invariant vectors. This is a generalization of a theorem of Bekka and Valette from the group setting and was previously established in the case of low dual by Daws, Skalsi, and Viselter. Our approach uses spectral techniques and is completely different from those of Bekka--Valette and Daws--Skalski--Viselter. By a separate argument we furthermore extend the result to second countable nonunimodular locally compact quantum groups, which are shown in particular not to have property (T), generalizing a theorem of Fima from the discrete setting. We also obtain quantum group versions of characterizations of property (T) of Kerr and Pichot in terms of the Baire category theory of weak mixing representations and of Connes and Weiss in term of the prevalence of strongly ergodic actions. △ Less

Submitted 2 June, 2017; originally announced June 2017.

Comments: 20 pages

Orthogonal free quantum group factors are strongly 1-bounded

Authors: Michael Brannan, Roland Vergnioux

Abstract: We prove that the orthogonal free quantum group factors $\mathcal{L}(\mathbb{F}O_N)$ are strongly $1$-bounded in the sense of Jung. In particular, they are not isomorphic to free group factors. This result is obtained by establishing a spectral regularity result for the edge reversing operator on the quantum Cayley tree associated to $\mathbb{F}O_N$, and combining this result with a recent free en… ▽ More We prove that the orthogonal free quantum group factors $\mathcal{L}(\mathbb{F}O_N)$ are strongly $1$-bounded in the sense of Jung. In particular, they are not isomorphic to free group factors. This result is obtained by establishing a spectral regularity result for the edge reversing operator on the quantum Cayley tree associated to $\mathbb{F}O_N$, and combining this result with a recent free entropy dimension rank theorem of Jung and Shlyakhtenko. △ Less

Submitted 7 March, 2018; v1 submitted 23 March, 2017; originally announced March 2017.

Comments: v3: accepted version

Journal ref: Adv. Math. 329 (2018) 133-156

Complete metric approximation property for $q$-Araki-Woods algebras

Authors: Stephen Avsec, Michael Brannan, Mateusz Wasilewski

Abstract: By adapting an ultraproduct technique of Junge and Zeng, we prove that radial completely bounded multipliers on $q$-Gaussian algebras transfer to $q$-Araki-Woods algebras. As a consequence, we establish the $w^{\ast}$-complete metric approximation property for all $q$-Araki-Woods algebras. We apply the latter result to show that the canonical ultraweakly dense C$^\ast$-subalgebras of $q$-Araki-Woo… ▽ More By adapting an ultraproduct technique of Junge and Zeng, we prove that radial completely bounded multipliers on $q$-Gaussian algebras transfer to $q$-Araki-Woods algebras. As a consequence, we establish the $w^{\ast}$-complete metric approximation property for all $q$-Araki-Woods algebras. We apply the latter result to show that the canonical ultraweakly dense C$^\ast$-subalgebras of $q$-Araki-Woods algebras are always QWEP. △ Less

Submitted 15 May, 2020; v1 submitted 3 March, 2017; originally announced March 2017.

Comments: 24 pages

MSC Class: 46L10

Journal ref: J. Funct. Anal. 274 (2018), no. 2

Highly entangled, non-random subspaces of tensor products from quantum groups

Authors: Michael Brannan, Benoit Collins

Abstract: In this paper we describe a class of highly entangled subspaces of a tensor product of finite dimensional Hilbert spaces arising from the representation theory of free orthogonal quantum groups. We determine their largest singular values and obtain lower bounds for the minimum output entropy of the corresponding quantum channels. An application to the construction of $d$-positive maps on matrix al… ▽ More In this paper we describe a class of highly entangled subspaces of a tensor product of finite dimensional Hilbert spaces arising from the representation theory of free orthogonal quantum groups. We determine their largest singular values and obtain lower bounds for the minimum output entropy of the corresponding quantum channels. An application to the construction of $d$-positive maps on matrix algebras is also presented. △ Less

Submitted 30 December, 2016; originally announced December 2016.

Comments: 18 pages

Journal ref: Comm. Math. Phys. 358 (2018), no. 3, 1007-1025

Dual bases in Temperley-Lieb algebras, quantum groups, and a question of Jones

Authors: Michael Brannan, Benoit Collins

Abstract: We derive a Laurent series expansion for the structure coefficients appearing in the dual basis corresponding to the Kauffman diagram basis of the Temperley-Lieb algebra $\text{TL}_k(d)$, converging for all complex loop parameters $d$ with $|d| > 2\cos\big(\fracπ{k+1}\big)$. In particular, this yields a new formula for the structure coefficients of the Jones-Wenzl projection in $\text{TL}_k(d)$. T… ▽ More We derive a Laurent series expansion for the structure coefficients appearing in the dual basis corresponding to the Kauffman diagram basis of the Temperley-Lieb algebra $\text{TL}_k(d)$, converging for all complex loop parameters $d$ with $|d| > 2\cos\big(\fracπ{k+1}\big)$. In particular, this yields a new formula for the structure coefficients of the Jones-Wenzl projection in $\text{TL}_k(d)$. The coefficients appearing in each Laurent expansion are shown to have a natural combinatorial interpretation in terms of a certain graph structure we place on non-crossing pairings, and these coefficients turn out to have the remarkable property that they either always positive integers or always negative integers. As an application, we answer affirmatively a question of Vaughan Jones, asking whether every Temperley-Lieb diagram appears with non-zero coefficient in the expansion of each dual basis element in $\text{TL}_k(d)$ (when $d \in \mathbb R \backslash [-2\cos\big(\fracπ{k+1}\big),2\cos\big(\fracπ{k+1}\big)]$). Specializing to Jones-Wenzl projections, this result gives a new proof of a result of Ocneanu, stating that every Temperley-Lieb diagram appears with non-zero coefficient in a Jones-Wenzl projection. Our methods establish a connection with the Weingarten calculus on free quantum groups, and yield as a byproduct improved asymptotics for the free orthogonal Weingarten function. △ Less

Submitted 1 September, 2016; v1 submitted 12 August, 2016; originally announced August 2016.

Journal ref: Quantum Topol. 9 (2018), no. 4, 715-748

Approximation properties for locally compact quantum groups

Authors: Michael Brannan

Abstract: This is a survey of some aspects of the subject of approximation properties for locally compact quantum groups, based on lectures given at the {\it Topological Quantum Groups} Graduate School, 28 June - 11 July, 2015 in Bedłewo, Poland. We begin with a study of the dual notions of amenability and co-amenability, and then consider weakenings of these properties in the form of the Haagerup property… ▽ More This is a survey of some aspects of the subject of approximation properties for locally compact quantum groups, based on lectures given at the {\it Topological Quantum Groups} Graduate School, 28 June - 11 July, 2015 in Bedłewo, Poland. We begin with a study of the dual notions of amenability and co-amenability, and then consider weakenings of these properties in the form of the Haagerup property and weak amenability. For discrete quantum groups, the interaction between these properties and various operator algebra approximation properties are investigated. We also study the connection between central approximation properties for discrete quantum groups and monoidal equivalence for their compact duals. We finish by discussing the central weak amenability and central Haagerup property for free quantum groups. △ Less

Submitted 5 May, 2016; originally announced May 2016.

Comments: Survey. 47 pages

Leinert sets and complemented ideals in Fourier algebras

Authors: Michael Brannan, Brian Forrest, Cameron Zwarich

Abstract: Let $G$ be a locally compact group. We show how complemented ideals in the Fourier algebra $A(G)$ of $G$ arise naturally from a class of thin sets known as Leinert sets. Moreover, we also present an explicit example of a closed ideal in $A(\mathbb{F}_{N})$, the free group on $N \ge 2$ generators, that is complemented in $A(\mathbb{F}_{N})$ but it is not completely complemented. Then by establishin… ▽ More Let $G$ be a locally compact group. We show how complemented ideals in the Fourier algebra $A(G)$ of $G$ arise naturally from a class of thin sets known as Leinert sets. Moreover, we also present an explicit example of a closed ideal in $A(\mathbb{F}_{N})$, the free group on $N \ge 2$ generators, that is complemented in $A(\mathbb{F}_{N})$ but it is not completely complemented. Then by establishing an appropriate extension result for restriction algebras arising from Leinert sets, we show that any almost connected group $G$ for which every complemented ideal in $A(G)$ is also completely complemented must be amenable. △ Less

Submitted 15 February, 2016; originally announced February 2016.

Comments: 23 pages

Quantum groups and generalized circular elements

Authors: Michael Brannan, Kay Kirkpatrick

Abstract: We show that with respect to the Haar state, the joint distributions of the generators of Van Daele and Wang's free orthogonal quantum groups are modeled by free families of generalized circular elements and semicircular elements in the large (quantum) dimension limit. We also show that this class of quantum groups acts naturally as distributional symmetries of almost-periodic free Araki-Woods fac… ▽ More We show that with respect to the Haar state, the joint distributions of the generators of Van Daele and Wang's free orthogonal quantum groups are modeled by free families of generalized circular elements and semicircular elements in the large (quantum) dimension limit. We also show that this class of quantum groups acts naturally as distributional symmetries of almost-periodic free Araki-Woods factors. △ Less

Submitted 12 June, 2015; v1 submitted 19 May, 2015; originally announced May 2015.

Comments: New reference added; a connection to earlier work of S. Vaes on actions of quantum groups on free Araki-Woods factors is pointed out

Journal ref: Pacific J. Math. 282 (2016) 35-61

The Connes embedding property for quantum group von Neumann algebras

Authors: Michael Brannan, Benoit Collins, Roland Vergnioux

Abstract: For a compact quantum group $\mathbb G$ of Kac type, we study the existence of a Haar trace-preserving embedding of the von Neumann algebra $L^\infty(\mathbb G)$ into an ultrapower of the hyperfinite II$_1$-factor (the Connes embedding property for $L^\infty(\mathbb G)$). We establish a connection between the Connes embedding property for $L^\infty(\mathbb G)$ and the structure of certain quantum… ▽ More For a compact quantum group $\mathbb G$ of Kac type, we study the existence of a Haar trace-preserving embedding of the von Neumann algebra $L^\infty(\mathbb G)$ into an ultrapower of the hyperfinite II$_1$-factor (the Connes embedding property for $L^\infty(\mathbb G)$). We establish a connection between the Connes embedding property for $L^\infty(\mathbb G)$ and the structure of certain quantum subgroups of $\mathbb G$, and use this to prove that the II$_1$-factors $L^\infty(O_N^+)$ and $L^\infty(U_N^+)$ associated to the free orthogonal and free unitary quantum groups have the Connes embedding property for all $N \ge 4$. As an application, we deduce that the free entropy dimension of the standard generators of $L^\infty(O_N^+)$ equals $1$ for all $N \ge 4$. We also mention an application of our work to the problem of classifying the quantum subgroups of $O_N^+$. △ Less

Submitted 20 May, 2015; v1 submitted 25 December, 2014; originally announced December 2014.

Comments: Minor corrections and clarifications. A few bibliography updates

Journal ref: Trans. Amer. Math. Soc. 369 (2017), no. 6, 3799-3819

$L_p$-Representations of Discrete Quantum Groups

Authors: Michael Brannan, Zhong-** Ruan

Abstract: Given a locally compact quantum group $\mathbb G$, we define and study representations and C$^\ast$-completions of the convolution algebra $L_1(\mathbb G)$ associated with various linear subspaces of the multiplier algebra $C_b(\mathbb G)$. For discrete quantum groups $\mathbb G$, we investigate the left regular representation, amenability and the Haagerup property in this framework. When… ▽ More Given a locally compact quantum group $\mathbb G$, we define and study representations and C$^\ast$-completions of the convolution algebra $L_1(\mathbb G)$ associated with various linear subspaces of the multiplier algebra $C_b(\mathbb G)$. For discrete quantum groups $\mathbb G$, we investigate the left regular representation, amenability and the Haagerup property in this framework. When $\mathbb G$ is unimodular and discrete, we study in detail the C$^\ast$-completions of $L_1(\mathbb G)$ associated with the non-commutative $L_p$-spaces $L_p(\mathbb G)$. As an application of this theory, we characterize (for each $p \in [1,\infty)$) the positive definite functions on unimodular orthogonal and unitary free quantum groups $\mathbb G$ that extend to states on the $L_p$-C$^\ast$-algebra of $\mathbb G$. Using this result, we construct uncountably many new examples of exotic quantum group norms for compact quantum groups. △ Less

Submitted 27 October, 2014; v1 submitted 16 April, 2014; originally announced April 2014.

Comments: Major improvements: More results in the locally compact case, and new results obtained for the $L_p$-C$^*$-algebras of unitary free quantum groups

Strong asymptotic freeness for free orthogonal quantum groups

Authors: Michael Brannan

Abstract: We prove that the normalized standard generators of the free orthogonal quantum group $O_N^+$ converge strongly to a free semicircular system as $N \to \infty$. Analogous results are obtained for the free unitary quantum groups, and some applications are given. We prove that the normalized standard generators of the free orthogonal quantum group $O_N^+$ converge strongly to a free semicircular system as $N \to \infty$. Analogous results are obtained for the free unitary quantum groups, and some applications are given. △ Less

Submitted 3 September, 2013; originally announced September 2013.

Journal ref: Can. Math. Bull. 57 (2014) 708-720

Reduced operator algebras of trace-preserving quantum automorphism groups

Authors: Michael Brannan

Abstract: Let $B$ be a finite dimensional C$^\ast$-algebra equipped with its canonical trace induced by the regular representation of $B$ on itself. In this paper, we study various properties of the trace-preserving quantum automorphism group $\G$ of $B$. We prove that the discrete dual quantum group $\hG$ has the property of rapid decay, the reduced von Neumann algebra $L^\infty(\G)$ has the Haagerup prope… ▽ More Let $B$ be a finite dimensional C$^\ast$-algebra equipped with its canonical trace induced by the regular representation of $B$ on itself. In this paper, we study various properties of the trace-preserving quantum automorphism group $\G$ of $B$. We prove that the discrete dual quantum group $\hG$ has the property of rapid decay, the reduced von Neumann algebra $L^\infty(\G)$ has the Haagerup property and is solid, and that $L^\infty(\G)$ is (in most cases) a prime type II$_1$-factor. As applications of these and other results, we deduce the metric approximation property, exactness, simplicity and uniqueness of trace for the reduced $C^\ast$-algebra $C_r(\G)$, and the existence of a multiplier-bounded approximate identity for the convolution algebra $L^1(\G)$. △ Less

Submitted 16 December, 2012; v1 submitted 22 February, 2012; originally announced February 2012.

Comments: Section 6 removed and replaced by a more general solidity result

Journal ref: Documenta Mathematica 18 (2013), 1349-1402

Completely bounded representations of convolution algebras of locally compact quantum groups

Authors: Michael Brannan, Matthew Daws, Ebrahim Samei

Abstract: Given a locally compact quantum group $\mathbb G$, we study the structure of completely bounded homomorphisms $π:L^1(\mathbb G)\rightarrow\mathcal B(H)$, and the question of when they are similar to $\ast$-homomorphisms. By analogy with the cocommutative case (representations of the Fourier algebra $A(G)$), we are led to consider the associated map… ▽ More Given a locally compact quantum group $\mathbb G$, we study the structure of completely bounded homomorphisms $π:L^1(\mathbb G)\rightarrow\mathcal B(H)$, and the question of when they are similar to $\ast$-homomorphisms. By analogy with the cocommutative case (representations of the Fourier algebra $A(G)$), we are led to consider the associated map $π^*:L^1_\sharp(\mathbb G) \rightarrow \mathcal B(H)$ given by $π^*(ω) = π(ω^\sharp)^*$. We show that the corepresentation $V_π$ of $L^\infty(\mathbb G)$ associated to $π$ is invertible if and only if both $π$ and $π^*$ are completely bounded. Moreover, we show that the co-efficient operators of such representations give rise to completely bounded multipliers of the dual convolution algebra $L^1(\hat \mathbb G)$. An application of these results is that any (co)isometric corepresentation is automatically unitary. An averaging argument then shows that when $\mathbb G$ is amenable, $π$ is similar to a *-homomorphism if and only if $π^*$ is completely bounded. For compact Kac algebras, and for certain cases of $A(G)$, we show that any completely bounded homomorphism $π$ is similar to a *-homomorphism, without further assumption on $π^*$. Using free product techniques, we construct new examples of compact quantum groups $\mathbb G$ such that $L^1(\mathbb G)$ admits bounded, but not completely bounded, representations. △ Less

Submitted 2 July, 2012; v1 submitted 11 July, 2011; originally announced July 2011.

Comments: 35 pages; some re-writing; new results added on (co)isometric corepresentations, free products and non-cb representations

MSC Class: 20G42; 22D12; 22D15; 43A30; 46L07; 46L51; 46L89; 81R50

Journal ref: Münster Journal of Mathematics 6 (2013), 445-482

Approximation properties for free orthogonal and free unitary quantum groups

Authors: Michael Brannan

Abstract: We show that the reduced von Neumann algebras of the free orthogonal and free unitary quantum groups have the Haagerup approximation property. Using this result and a Haagerup-type inequality for these quantum groups due to Vergnioux (J. Operator Theory 57, 303-324 (2007)), we also show that the reduced C$^\ast$-algebras of the free orthogonal and free unitary quantum groups have the metric approx… ▽ More We show that the reduced von Neumann algebras of the free orthogonal and free unitary quantum groups have the Haagerup approximation property. Using this result and a Haagerup-type inequality for these quantum groups due to Vergnioux (J. Operator Theory 57, 303-324 (2007)), we also show that the reduced C$^\ast$-algebras of the free orthogonal and free unitary quantum groups have the metric approximation property. △ Less

Submitted 10 October, 2011; v1 submitted 1 March, 2011; originally announced March 2011.

Comments: Minor corrections

Journal ref: Journal für die Reine und Angewandte Mathematik 672 (2012), 223--251

Quantum Symmetries and Strong Haagerup Inequalities

Authors: Michael Brannan

Abstract: In this paper, we consider families of operators $\{x_r\}_{r \in Λ}$ in a tracial C$^\ast$-probability space $(\mathcal A, φ)$, whose joint $\ast$-distribution is invariant under free complexification and the action of the hyperoctahedral quantum groups $\{H_n^+\}_{n \in \N}$. We prove a strong form of Haagerup's inequality for the non-self-adjoint operator algebra $\mathcal B$ generated by… ▽ More In this paper, we consider families of operators $\{x_r\}_{r \in Λ}$ in a tracial C$^\ast$-probability space $(\mathcal A, φ)$, whose joint $\ast$-distribution is invariant under free complexification and the action of the hyperoctahedral quantum groups $\{H_n^+\}_{n \in \N}$. We prove a strong form of Haagerup's inequality for the non-self-adjoint operator algebra $\mathcal B$ generated by $\{x_r\}_{r \in Λ}$, which generalizes the strong Haagerup inequalities for $\ast$-free R-diagonal families obtained by Kemp-Speicher \cite{KeSp}. As an application of our result, we show that $\mathcal B$ always has the metric approximation property (MAP). We also apply our techniques to study the reduced C$^\ast$-algebra of the free unitary quantum group $U_n^+$. We show that the non-self-adjoint subalgebra $\mathcal B_n$ generated by the matrix elements of the fundamental corepresentation of $U_n^+$ has the MAP. Additionally, we prove a strong Haagerup inequality for $\mathcal B_n$, which improves on the estimates given by Vergnioux's property RD \cite{Ve}. △ Less

Submitted 29 December, 2010; originally announced January 2011.

Journal ref: Comm. Math. Phys. 311 (2012), 21--53