Related papers: Classical structures of CP maps are all canonical
Let $L$ be a differential operator with coefficients in $\mathbb{Q}(z)$ of order $n\geq2$ with maximal unipotent monodromy at zero. In this paper we are interested in determining when the canonical coordinate of $L$ belongs to…
The Hamiltonian formulation plays the essential role in constructing the framework of modern physics. In this paper, a new form of canonical equations of Hamilton with the complete symmetry is obtained, which are valid not only for the…
Scheme-theoretic methods are used to classify ternary quadratic forms with values in line bundles over arbitrary schemes and to canonically determine the isomorphisms between them. The association of a quadratic bundle to its even Clifford…
We explore several variations of the notion of purity for the action of Frobenius on schemes defined over finite fields. In particular, we study how these notions are preserved under certain natural operations like quotients for principal…
For a bialgebra $L$ coacting on a $\Bbbk$-algebra $A$, a classical result states that $A$ is a right $L$-comodule algebra if and only if $A$ is an algebra in the monoidal category $\mathcal{M}^{L}$ of right $L$-comodules; the former notion…
We describe how dagger-Frobenius monoids give the correct categorical description of certain kinds of finite-dimensional 'quantum algebras'. We develop the concept of an involution monoid, and use it to construct a correspondence between…
Let S be a subsemigroup of an abelian torsion-free group G. If S is a positive cone of G, then all C*-algebras generated by faithful isometrical non-unitary representations of S are canonically isomorphic. Proved by Murphy, this statement…
We introduce a new category of coefficients for p-adic cohomology called constructible isocrystals. Conjecturally, the category of constructible isocrystals endowed with a Frobenius structure is equivalent to the category of perverse…
In this article, we consider the conjectured relationship between F-purity and log canonicity for polynomials over the complex numbers. We associate to a collection M of n monomials a rational polytope P contained in [0,1]^n. Using P and…
The first goal of this paper is to study the amount of compatibility between two important constructions in the theory of quantized enveloping algebras, namely the canonical basis and the quantum Frobenius morphism. The second goal is to…
Coecke and Heunen described completely positive maps in dagger monoidal categories and the {\sf CP}-infinity construction on these categories in order to construct a category of arbitrary dimensional quantum processes. This article…
This paper gives a simple presentation of the free star-autonomous category over a category, based on Eilenberg-Kelly-MacLane graphs and Trimble rewiring, yielding a full coherence theorem: the commutativity of diagrams of canonical maps is…
We use non-standard analysis to define a category $^\star\!\operatorname{Hilb}$ suitable for categorical quantum mechanics in arbitrary separable Hilbert spaces, and we show that standard bounded operators can be suitably embedded in it. We…
The pure spinor superfield formalism reveals that, in any dimension and with any amount of supersymmetry, one particular supermultiplet is distinguished from all others. This "canonical supermultiplet" is equipped with an additional…
The Poincare duality of classical cohomology and the extension of this duality to quantum cohomology endows these rings with the structure of a Frobenius algebra. Any such algebra possesses a canonical ``characteristic element;'' in the…
Classical block designs are important combinatorial structures with a wide range of applications in Computer Science and Statistics. Here we give a new abstract description of block designs based on the arrow category construction. We show…
There are two ways to describe the interaction between classical and quantum information categorically: one based on completely positive maps between Frobenius algebras, the other using symmetric monoidal 2-categories. This paper makes a…
Given a direct sum $A$ of full matrix algebras, if there is a combinatorial interpretation associated with both the dimension of $A$ and the dimensions of the irreducible $A$-modules, then this can be thought of as providing an analogue of…
Recently, S. Carpi et al. (Comm. Math. Phys., 402:169-212, 2023) proved that every connected (i.e. haploid) Frobenius algebra in a tensor C$^*$-category is unitarizable (i.e. isomorphic to a special C$^*$-Frobenius algebra). Building on…
Using a categorial version of Fra\"iss\'e's theorem due to Droste and G\"obel, we derive a criterion for a comma-category to have universal homogeneous objects. As a first application we give new existence result for universal structures…