Source author record

Michael Brannan

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

17works
6topics
4close collaborators

Published work

17 publications

preprint2024arXiv

Quantum graphs, subfactors and tensor categories I

We develop an equivariant theory of graphs with respect to quantum symmetries and present a detailed exposition of various examples. We portray unitary tensor categories as a unifying framework encompassing all finite classical simple graphs, (quantum) Cayley graphs of finite (quantum) groupoids, and all finite-dimensional quantum graphs. We model a quantum set by a finite-index inclusion of C*-algebras and use the quantum Fourier transform to obtain all possible adjacency operators. In particular, we show every finite-index subfactor can be regarded as a complete quantum graph and describe how to find all its subgraphs. As applications, we prove a version of Frucht's Theorem for finite quantum groupoids, and introduce a version of path spaces for quantum graphs.

preprint2022arXiv

Quantum edge correspondences and quantum Cuntz-Krieger algebras

Given a quantum graph G=(B,ψ,A)\mathcal{G}=(B,ψ,A), we define a C*-correspondence EGE_\mathcal{G} over the noncommutative vertex C*-algebra BB, called the quantum edge correspondence. For a classical graph G\mathcal{G}, EGE_\mathcal{G} is the usual graph correspondence spanned by the edges of G\mathcal{G}. When the quantum adjacency matrix A ⁣:B→BA\colon B\to B is completely positive, we show that EGE_\mathcal{G} is faithful if and only if ker⁡(A)\ker(A) does not contain a central summand of BB. In this case, we show that the Cuntz-Pimsner algebra OEG\mathcal{O}_{E_\mathcal{G}} is isomorphic to a quotient of the quantum Cuntz-Krieger algebra O(G)\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 OEG\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.

preprint2021arXiv

Property RD and hypercontractivity for orthogonal free quantum groups

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 Lp−L2L_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.

preprint2020arXiv

Complete Logarithmic Sobolev inequalities via Ricci curvature bounded below

We prove that for a symmetric Markov semigroup, Ricci curvature bounded from below by a non-positive constant combined with a finite L∞L_\infty-mixing time implies the modified log-Sobolev inequality. Such L∞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.

preprint2020arXiv

Complete Logarithmic Sobolev Inequalities via Ricci Curvature Bounded Below II

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.

preprint2020arXiv

Complete metric approximation property for qq-Araki-Woods algebras

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

preprint2020arXiv

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

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.

preprint2018arXiv

Temperley-Lieb quantum channels

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].

preprint2016arXiv

Approximation properties for locally compact quantum groups

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.

preprint2016arXiv

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

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 TLk(d)\text{TL}_k(d), converging for all complex loop parameters dd with ∣d∣>2cos⁡(πk+1)|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 TLk(d)\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 TLk(d)\text{TL}_k(d) (when d∈R\[−2cos⁡(πk+1),2cos⁡(πk+1)]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.

preprint2016arXiv

Leinert sets and complemented ideals in Fourier algebras

Let GG be a locally compact group. We show how complemented ideals in the Fourier algebra A(G)A(G) of GG 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(FN)A(\mathbb{F}_{N}), the free group on N≥2N \ge 2 generators, that is complemented in A(FN)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 GG for which every complemented ideal in A(G)A(G) is also completely complemented must be amenable.

preprint2014arXiv

LpL_p-Representations of Discrete Quantum Groups

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

preprint2012arXiv

Completely bounded representations of convolution algebras of locally compact quantum groups

Given a locally compact quantum group G\mathbb G, we study the structure of completely bounded homomorphisms π:L1(G)→B(H)π: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)A(G)), we are led to consider the associated map π∗:L♯1(G)→B(H)π^*:L^1_\sharp(\mathbb G) \rightarrow \mathcal B(H) given by π∗(ω)=π(ω♯)∗π^*(ω) = π(ω^\sharp)^*. We show that the corepresentation VπV_π of L∞(G)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 G\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)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 G\mathbb G such that L1(G)L^1(\mathbb G) admits bounded, but not completely bounded, representations.

preprint2012arXiv

Reduced operator algebras of trace-preserving quantum automorphism groups

Let BB be a finite dimensional C∗^\ast-algebra equipped with its canonical trace induced by the regular representation of BB on itself. In this paper, we study various properties of the trace-preserving quantum automorphism group $\G$ of BB. 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 II1_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∗C^\ast-algebra $C_r(\G)$, and the existence of a multiplier-bounded approximate identity for the convolution algebra $L^1(\G)$.

preprint2011arXiv

Approximation properties for free orthogonal and free unitary quantum groups

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.

preprint2010arXiv

Quantum Symmetries and Strong Haagerup Inequalities

In this paper, we consider families of operators {xr}r∈Λ\{x_r\}_{r \in Λ} in a tracial C∗^\ast-probability space (A,ϕ)(\mathcal A, ϕ), whose joint ∗\ast-distribution is invariant under free complexification and the action of the hyperoctahedral quantum groups {Hn+}n∈N\{H_n^+\}_{n \in \N}. We prove a strong form of Haagerup's inequality for the non-self-adjoint operator algebra B\mathcal B generated by {xr}r∈Λ\{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 B\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 Un+U_n^+. We show that the non-self-adjoint subalgebra Bn\mathcal B_n generated by the matrix elements of the fundamental corepresentation of Un+U_n^+ has the MAP. Additionally, we prove a strong Haagerup inequality for Bn\mathcal B_n, which improves on the estimates given by Vergnioux's property RD \cite{Ve}.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.