No Arabic abstract
{em Quantum Fourier analysis} is a new subject that combines an algebraic Fourier transform (pictorial in the case of subfactor theory) with analytic estimates. This provides interesting tools to investigate phenomena such as quantum symmetry. We establish bounds on the quantum Fourier transform $FS$, as a map between suitably defined $L^{p}$ spaces, leading to a new uncertainty principle for relative entropy. We cite several applications of the quantum Fourier analysis in subfactor theory, in category theory, and in quantum information. We suggest a new topological inequality, and we outline several open problems.
Discrete subfactors include a particular class of infinite index subfactors and all finite index ones. A discrete subfactor is called local when it is braided and it fulfills a commutativity condition motivated by the study of inclusion of Quantum Field Theories in the algebraic Haag-Kastler setting. In [BDG21], we proved that every irreducible local discrete subfactor arises as the fixed point subfactor under the action of a canonical compact hypergroup. In this work, we prove a Galois correspondence between intermediate von Neumann algebras and closed subhypergroups, and we study the subfactor theoretical Fourier transform in this context. Along the way, we extend the main results concerning $alpha$-induction and $sigma$-restriction for braided subfactors previously known in the finite index case.
For the noncommutative 2-torus, we define and study Fourier transforms arising from representations of states with central supports in the bidual, exhibiting a possibly nontrivial modular structure (i.e. type III representations). We then prove the associated noncommutative analogous of Riemann-Lebesgue Lemma and Hausdorff-Young Theorem. In addition, the $L^p$- convergence result of the Cesaro means (i.e. the Fejer theorem), and the Abel means reproducing the Poisson kernel are also established, providing inversion formulae for the Fourier transforms in $L^p$ spaces, $pin[1,2]$. Finally, in $L^2(M)$ we show how such Fourier transforms diagonalise appropriately some particular cases of modular Dirac operators, the latter being part of a one-parameter family of modular spectral triples naturally associated to the previously mentioned non type ${rm II}_1$ representations.
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.
Canonical tensor product subfactors (CTPSs) describe, among other things, the embedding of chiral observables in two-dimensional conformal quantum field theories. A new class of CTPSs is constructed some of which are associated with certain modular invariants, thereby establishing the expected existence of the corresponding two-dimensional theories.
By analogy with the classical construction due to Forrest, Samei and Spronk we associate to every compact quantum group $mathbb{G}$ a completely contractive Banach algebra $A_Delta(mathbb{G})$, which can be viewed as a deformed Fourier algebra of $mathbb{G}$. To motivate the construction we first analyse in detail the quantum version of the integration over the diagonal subgroup, showing that although the quantum diagonal subgroups in fact never exist, as noted earlier by Kasprzak and So{l}tan, the corresponding integration represented by a certain idempotent state on $C(mathbb{G})$ makes sense as long as $mathbb{G}$ is of Kac type. Finally we analyse as an explicit example the algebras $A_Delta(O_N^+)$, $Nge 2$, associated to Wangs free orthogonal groups, and show that they are not operator weakly amenable.