Related papers: Toy quantum categories
This paper has two tightly intertwined aims: (i) To introduce an intuitive and universal graphical calculus for multi-qubit systems, the ZX-calculus, which greatly simplifies derivations in the area of quantum computation and information.…
We give a concise and pedagogical introduction to Feynman diagrams. After discussing a toy model which requires only undergraduate mathematics, we focus on relativistic quantum field theory. We review the derivation of Feynman rules from…
For a rigid tensor abelian category $T$ over a field $k$ we introduce a notion of a normal quotient $q:T\to Q$. In case $T$ is a Tannaka category, our notion is equivalent to Milne's notion of a normal quotient. More precisely, if $T$ is…
Within the context of an involutive monoidal category the notion of a comparison relation is identified. Instances are equality on sets, inequality on posets, orthogonality on orthomodular lattices, non-empty intersection on powersets, and…
A quantum set is defined to be simply a set of nonzero finite-dimensional Hilbert spaces. Together with binary relations, essentially the quantum relations of Weaver, quantum sets form a dagger compact category. Functions between quantum…
A simple toy model is proposed that would allow conscious perceptions to be either classical (perceptions of objects without large quantum uncertainties or variances) or highly quantum (e.g., having large variances in the perceived position…
The goal of this paper is to relate the quantum category $\mathcal{O}$ (known also as the category of modules over the mixed quantum group) at an odd root of unity to the affine Hecke category. Namely, we prove equivalences of highest…
A simple and general formulation of the quantum game theory is presented, accommodating all possible strategies in the Hilbert space for the first time. The theory is solvable for the two strategy quantum game, which is shown to be…
This work has a methodological nature and is a set of lecture notes for undergraduate students. It is devoted to the study of the basic tools of quantum field theory on the example of the simplest cubic "toy" model. We introduce such…
We argue that rational conformally invariant quantum field theories in two dimensions are closely related to torsion elements of the algebraic K-theory group K_3(C). If such a theory has an integrable matrix perturbation with purely elastic…
On a smooth projective threefold, we construct an essentially surjective functor $\mathcal{F}$ from a category of two-term complexes to a category of quotients of coherent sheaves, and describe the fibers of this functor. Under a coprime…
We introduce pseudocubical objects with pseudoconnections in an arbitrary category, obtained from the Brown-Higgins structure of a cubical object with connections by suitably relaxing their identities, and construct a cubical analog of the…
In this chapter we survey some particular topics in category theory in a somewhat unconventional manner. Our main focus will be on monoidal categories, mostly symmetric ones, for which we propose a physical interpretation. These are…
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…
In an attempt to regularize a previously known exactly solvable model [Yang and Zhang, Eur. J. Phys. \textbf{40}, 035401 (2019)], we find yet another exactly solvable toy model. The interesting point is that while the Hamiltonian of the…
A paramount topic in quantum foundations, rooted in the study of the EPR paradox and Bell inequalities, is that of characterizing quantum theory in terms of the space-like correlations it allows. Here we show that to focus only on…
The quantum theory of ur objects postulates that all existing physical objects and their properties are constructed from fundamental objects called ur objects being described by an element of a two dimensional complex Hilbert space. This…
We explain how categories, and groupoids, can be seen as models for a Lawvere ${\mathfrak Gr}$-theory, where ${\mathfrak Gr}$ is the category of graphs, and show that for Lawvere ${\mathfrak Gr}$-theories finitely presentable models are…
In this paper, we show that $\C{G}$-Frobenius algebras (for $\C{G}$ a finite groupoid) correspond to a particular class of Frobenius objects in the representation category of $D(k[\C{G}])$, where $D(k[\C{G}])$ is the Drinfeld double of the…
A Tannakian category is an abelian tensor category equipped with a fiber functor and additional structures which ensure that it is equivalent to the category of representations of some affine groupoid scheme acting on the spectrum of a…