Related papers: A new description of orthogonal bases
We extend categorical semantics of monadic programming to reversible computing, by considering monoidal closed dagger categories: the dagger gives reversibility, whereas closure gives higher-order expressivity. We demonstrate that Frobenius…
In quantum mechanics, mutually unbiased bases (MUBs) represent orthonormal bases that are as "far apart" as possible, and their classification reveals rich underlying geometric structure. Given a complex inner product space, we construct…
We unravel a deep connection between limits of real numbers and limits in category theory. Using a new variant of the classical characterisation of the real numbers, we characterise the category of finite-dimensional Hilbert spaces and…
We associate a diagrammatic monoidal category $\mathcal{H}\textit{eis}_k(A;z,t)$, which we call the quantum Frobenius Heisenberg category, to a symmetric Frobenius superalgebra $A$, a central charge $k \in \mathbb{Z}$, and invertible…
We consider recognizable evaluations for a suitable category of oriented two-dimensional cobordisms with corners between finite unions of intervals. We call such cobordisms thin flat surfaces. An evaluation is given by a power series in two…
A set of exactly computable orthonormal basis functions that are useful in computations involving constituent quarks is presented. These basis functions are distinguished by the property that they fall off algebraically in momentum space…
We endow twisted tensor products with a natural notion of counit and comultiplication, and we provide sufficient and necessary conditions making the twisted tensor product a counital coassociative coalgebra. We then characterize when the…
An orthonormal basis consisting of unentangled (pure tensor) elements in a tensor product of Hilbert spaces is an Unentangled Orthogonal Basis (UOB). In general, for $n$ qubits, we prove that in its natural structure as a real variety, the…
We investigate the triangulated structure of stable monomorphism categories (filtered chain categories) over a Frobenius category. The high degree of symmetry of linear quivers leads to a plethora of semiorthogonal decompositions into…
Classifying Frobenius algebras is a key question that has been addressed in various contexts. The structure of finite-dimensional Frobenius algebras depends on the base field and the dimension of the algebra, leading to different…
Symmetric Hilbert spaces such as the bosonic and the fermionic Fock spaces over some `one particle space' $\K$ are formed by certain symmetrization procedures performed on the full Fock space. We investigate alternative ways of…
We prove that coherent configurations can be represented as modules over Frobenius structures in the category of real nonnegative matrices. We generalize the notion of admissible morphism from association schemes to coherent configurations.…
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…
An orthogonality space is a set equipped with a symmetric and irreflexive binary relation. We consider orthogonality spaces with the additional property that any collection of mutually orthogonal elements gives rise to the structure of a…
It is known that irreducible noncommutative differential structures over $\Bbb F_p[x]$ are classified by irreducible monics $m$. We show that the cohomology $H_{\rm dR}^0(\Bbb F_p[x]; m)=\Bbb F_p[g_d]$ if and only if ${\rm Tr}(m)\ne 0$,…
In this article, we present what we believe to be a simple way to motivate the use of Hilbert spaces in quantum mechanics. To achieve this, we study the way the notion of dimension can, at a very primitive level, be defined as the…
A collection of orthonormal bases for a complex dXd Hilbert space is called mutually unbiased (MUB) if for any two vectors v and w from different bases the square of the inner product equals 1/d: |<v,w>| ^{2}=1/d. The MUB problem is to…
Akin to the idea of complete sets of Mutually Unbiased Bases for prime dimensional Hilbert spaces, $\mathcal{H}_d$, we study its analogue for a $d$ dimensional subspace of $M (d,\mathbb{C})$, i.e. Mutually Unbiased Unitary Bases (MUUBs)…
We consider orthogonal polynomials on the surface of a double cone or a hyperboloid of revolution, either finite or infinite in axis direction, and on the solid domain bounded by such a surface and, when the surface is finite, by…
Adapting the recently developed randomized dyadic structures, we introduce the notion of spline function in geometrically doubling quasi-metric spaces. Such functions have interpolation and reproducing properties as the linear splines in…