Related papers: A new characterization of Kac-type discrete quantu…
We classify discrete quantum subgroups in the quantum double of the $q$-deformation of a compact semisimple Lie group, regarded as the complexification. We also record their classifications in some variants of quantum groups. Along the way,…
Categorical quantum mechanics exploits the dagger compact closed structure of finite dimensional Hilbert spaces, and uses the graphical calculus of string diagrams to facilitate reasoning about finite dimensional processes. A significant…
In this paper, we introduce C*-algebraic partial compact quantum groups, which are quantizations of topological groupoids with discrete object set and compact morphism spaces. These C*-algebraic partial compact quantum groups are…
Quantum toroidal algebras (or double affine quantum algebras) are defined from quantum affine Kac-Moody algebras by using the Drinfeld quantum affinization process. They are quantum groups analogs of elliptic Cherednik algebras (elliptic…
We will study two kinds of actions of a discrete amenable Kac algebra. The first one is an action whose modular part is normal. We will construct a new invariant which generalizes a characteristic invariant for a discrete group action, and…
We study the behaviors of quantum groups under an edge contraction. We show that there exists an explicit embedding induced by an edge contraction operation. We further conjecture that this explicit embedding is a section of an explicit…
To any complex Hadamard matrix we associate a quantum permutation group. The correspondence is not one-to-one, but the quantum group encapsulates a number of subtle properties of the matrix. We investigate various aspects of the…
We study the discrete quantum groups $\Gamma$ whose group algebra has an inner faithful representation of type $\pi:C^*(\Gamma)\to M_K(\mathbb C)$. Such a representation can be thought of as coming from an embedding $\Gamma\subset U_K$. Our…
A denotational semantics of quantum Turing machines having a quantum control is defined in the dagger compact closed category of finite dimensional Hilbert spaces. Using the Moore-Penrose generalized inverse, a new additive trace is…
We introduce a notion of quantum function, and develop a compositional framework for finite quantum set theory based on a 2-category of quantum sets and quantum functions. We use this framework to formulate a 2-categorical theory of quantum…
We consider a twisted version of quantum groups corepresentations. This generalization amounts to include in the theory the case where quantum space coordinates and its endomorphism matrix entries belong to a non-commutative quadratic…
We show that either of the two reasonable choices for the category of compact quantum groups is nice enough to allow for a plethora of universal constructions, all obtained "by abstract nonsense" via the adjoint functor theorem. This…
Motivated by classical investigation of conjugation invariant positive-definite functions on discrete groups, we study tracial central states on universal C*-algebras associated with compact quantum groups, where centrality is understood in…
We discuss just infiniteness of C*-algebras associated to discrete quantum groups and relate it to the C*-uniqueness of the quantum groups in question, i.e. to the uniqueness of a C*-completion of the underlying Hopf *-algebra. It is shown…
We reconstruct finite-dimensional quantum theory from categorical principles. That is, we provide properties ensuring that a given physical theory described by a dagger compact category in which one may `discard' objects is equivalent to a…
We introduce the definition of the typical irreducible modules of the generalized quantum groups, and prove the Weyl-Kac-type formulas of their characters. As a by-product, we obtain the Weyl-Kac-type character formulas of the typical…
The complex numbers are an important part of quantum theory, but are difficult to motivate from a theoretical perspective. We describe a simple formal framework for theories of physics, and show that if a theory of physics presented in this…
It is shown that there is a $C^*$-algebraic quantum group related to any double Lie group. An algebra underlying this quantum group is an algebra of a differential groupoid naturally associated with a double Lie group
In this note, we introduce monoidal subcategories of the tensor category of finite-dimensional representations of a simply-laced quantum affine algebra, parametrized by arbitrary Dynkin quivers. For linearly oriented quivers of types A and…
Classical symmetric pairs consist of a symmetrizable Kac-Moody algebra $\mathfrak{g}$, together with its subalgebra of fixed points under an involutive automorphism of the second kind. Quantum group analogs of this construction, known as…