Related papers: Concrete Foundations for Categorical Quantum Physi…
The properties and applications of kronecker product in quantum theory is studied thoroughly. The use of kronecker product in quantum information theory to get the exact spin Hamiltonian is given. The proof of non-commutativity of matrices,…
We discuss the obstruction to the construction of a multiparticle field theory on a $\kappa$-Minkowski noncommutative spacetime: the existence of multilocal functions which respect the deformed symmetries of the problem. This construction…
A connection-like objects, termed {\em hom-connections} are defined in the realm of non-commutative geometry. The definition is based on the use of homomorphisms rather than tensor products. It is shown that hom-connections arise naturally…
Based on the Arnowitt-Deser-Misner (ADM) canonical formulation of general relativity, a canonical formulation of gravitationally interacting classical spinning-object systems is given to linear order in spin. The constructed position,…
The definition of a quantum system requires a Hilbert space, a way to define the dynamics, and an algebra of observables. The structure of the observable algebra is related to a tensor product decomposition of the Hilbert space and…
Coherence is here demonstrated for sesquicartesian categories, which are categories with nonempty finite products and arbitrary finite sums, including the empty sum, where moreover the first and the second projection from the product of the…
It is well known that the cohomology of a tensor product is essentially the tensor product of the cohomologies. We look at twisted tensor products, and investigate to which extend this is still true. We give an explicit description of the…
Kronecker products of unitary Fourier matrices play important role in solving multilevel circulant systems by a multidimensional Fast Fourier Transform. They are also special cases of complex Hadamard (Zeilinger) matrices arising in many…
We study quantum information and computation from a novel point of view. Our approach is based on recasting the standard axiomatic presentation of quantum mechanics, due to von Neumann, at a more abstract level, of compact closed categories…
Quantum spaces with $\frak{su}(2)$ noncommutativity can be modelled by using a family of $SO(3)$-equivariant differential $^*$-representations. The quantization maps are determined from the combination of the Wigner theorem for $SU(2)$ with…
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…
The centuries-long practice of the teaching turned mechanics into an academic construct detached from its underlying science, the physics of macroscopic bodies. In particular, the regularities that delineate the scope of validity of…
A geometric framework for describing quantum particles on a possibly curved background is proposed. Natural constructions on certain distributional bundles (`quantum bundles') over the spacetime manifold yield a quantum ``formalism'' along…
If the block universe view is correct, the future and the past have similar status and one would expect physical theories to involve final as well as initial boundary conditions. A plausible consistency condition between the initial and…
This survey article on bivariant Kasparov theory and E-theory is mainly intended for readers with a background in homotopical algebra and category theory. We approach both bivariant K-theories via their universal properties and equip them…
We develop a theory of adjunctions in semigroup categories, i.e. monoidal categories without a unit object. We show that a rigid semigroup category is promonoidal, and thus one can naturally adjoin a unit object to it. This extends the…
Quantum entanglement was first recognized as a feature of quantum mechanics in the famous paper of Einstein, Podolsky and Rosen [18]. Recently it has been realized that quantum entanglement is a key ingredient in quantum computation,…
Most often, in a categorical semantics for a programming language, the substitution of terms is expressed by composition and finite products. However this does not deal with the order of evaluation of arguments, which may have major…
Particle systems admit a variety of tensor product structures (TPSs) depending on the complete system of commuting observables chosen for the analysis. Different notions of entanglement are associated with these different TPSs. Global…
We give an elementary introduction to the theory of triangulated categories covering their axioms, homological algebra in triangulated categories, triangulated subcategories, and Verdier localization. We try to use a minimal set of axioms…