Related papers: Type classification of extremal quantized characte…
This paper unites two research lines. The first involves finding categorical models of quantum programming languages and their type systems. The second line concerns the program of quantization of mathematical structures, which amounts to…
This note, in a rather expository manner, serves as a conceptional introduction to the certain underlying mathematical structures encoding the geometric quantization formalism and the construction of Witten's quantum invariants, which is in…
We extend the usual process-theoretic view on locality and causality in subsystems (based on the tensor product case) to general quantum systems (i.e.\ possibly non-factor, finite-dimensional von Neumann algebras). To do so, we introduce a…
We obtain two related characterizations of discrete quantum groups and discrete quantum groups of Kac type as allegorical group objects in the symmetric monoidal dagger category of quantum sets and relations, of interest to quantum…
The notion of an action of a locally compact quantum group on a von Neumann algebra is studied from the amenability point of view. Various Reiter's conditions for such an action are discussed. Several applications to some specific actions…
Models for deterministic quantum mechanics of Cartan-Randers type are introduced, together with the fundamental notions of the concentration of measure theory. We explain how the application of the concentration of measure to Cartan-Randers…
We give parameterizations of the irreducible representations of finite groups of Lie type in their defining characteristic.
We provide an introduction to the theory of quantum measurements that is centered on the pivotal role played by John von Neumann's model. This introduction is accessible to students and researchers from outside the field of foundations of…
We extend algorithmic information theory to quantum mechanics, taking a universal semicomputable density matrix (``universal probability'') as a starting point, and define complexity (an operator) as its negative logarithm. A number of…
We construct a categorification of the modular data associated with every family of unipotent characters of the spetsial complex reflection group $G(d,1,n)$. The construction of the category follows the decomposition of the Fourier matrix…
We consider a family U of finite universes. The second order quantifier Q_R, means for each u in U quantifying over a set of n(R)-place relations isomorphic to a given relation. We define a natural partial order on such quantifiers called…
Following an article by John von Neumann on infinite tensor products, we develop the idea that the usual formalism of quantum mechanics, associated with unitary equivalence of representations, stops working when countable infinities of…
Decompositions of the unitary group U(n) are useful tools in quantum information theory as they allow one to decompose unitary evolutions into local evolutions and evolutions causing entanglement. Several recursive decompositions have been…
In this paper, we prove the integrality conjecture for quotient stacks arising from weakly symmetric representations of reductive groups. Our main result is a decomposition of the cohomology of the stack into finite-dimensional components…
We discuss special properties of the spaces of characters and positive definite functions, as well as their associated dynamics, for arithmetic groups of product type. Axiomatizing these properties, we define the notions of charmenability…
We show that a QWEP von Neumann algebra has the weak* positive approximation property if and only if it is seemingly injective in the following sense: there is a factorization of the identity of $M$ $$Id_M=vu: M{\buildrel…
As a hybrid of artificial intelligence and quantum computing, quantum neural networks (QNNs) have gained significant attention as a promising application on near-term, noisy intermediate-scale quantum (NISQ) devices. Conventional QNNs are…
The quantum group analogue of the normalizer of SU(1,1) in SL(2,C) is an important and non-trivial example of a non-compact quantum group. The general theory of locally compact quantum groups in the operator algebra setting implies the…
We develop a characterization of quantum states by means of first order variables and random variables, within a predicative logic with equality, in the framework of basic logic and its definitory equations. We introduce the notion of…
We propose a new definition of quantum metric spaces, or W*-metric spaces, in the setting of von Neumann algebras. Our definition effectively reduces to the classical notion in the atomic abelian case, has both concrete and intrinsic…