Related papers: Quantitative Monoidal Algebra: Axiomatising Distan…
Quantiles are a fundamental concept in probability and theoretical statistics and a daily tool in their applications. While the univariate concept of quantiles is quite clear and well understood, its multivariate extension is more…
The diamond and completely bounded norms for linear maps play an increasingly important role in quantum information science, providing fundamental stabilized distance measures for differences of quantum operations. Based on the theory of…
These notes were originally developed as lecture notes for a category theory course. They should be well-suited to anyone that wants to learn category theory from scratch and has a scientific mind. There is no need to know advanced…
A new approach is suggested to quantum differential calculus on certain quantum varieties. It consists in replacing quantum de Rham complexes with differentials satisfying Leibniz rule by those which are in a sense close to Koszul complexes…
We present a quantum theory of distances along a curve, based on a linear line element that is equal to the operator square root of the quadratic metric of Riemannian geometry. Since the linear line element is an operator, we treat it…
String theory provides the only consistent framework so far that unifies all interactions including gravity. We discuss gravity and cosmology in string theory. Conventional notions from general relativity like geometry, topology etc. are…
We introduce collages of string diagrams as a diagrammatic syntax for glueing multiple monoidal categories. Collages of string diagrams are interpreted as pointed bimodular profunctors. As the main examples of this technique, we introduce…
The complete proof of cutting rules needed for proving perturbative unitarity of quantum field theories usually employs the largest time equation or old fashioned perturbation theory. None of these can be generalized to string field theory…
We introduce here a new axiomatisation of the rational fragment of the ZX-calculus, a diagrammatic language for quantum mechanics. Compared to the previous axiomatisation introduced in [8], our axiomatisation does not use any metarule , but…
Quantum computation represents a computational paradigm whose distinctive attributes confer the ability to devise algorithms with asymptotic performance levels significantly superior to those achievable via classical computation. Recent…
We introduce a new algebraic structure for multi-dimensional compositional embeddings, built on directional non-commutative monoidal operators. The core contribution of this work is this novel framework, which exhibits appealing theoretical…
In this paper we study the dynamics of a statistical ensemble of strings, building on a recently proposed gauge theory of the string geodesic field. We show that this stochastic approach is equivalent to the Carath\'eodory formulation of…
This paper proposes a refinement of the usual concept of algebraic quantum field theories (AQFTs) to theories that are smooth in the sense that they assign to every smooth family of spacetimes a smooth family of observable algebras. Using…
We introduce a notion of dynamics in the setting of Segal topos, by considering the Segal category of stacks $\mathcal{X} = \text{dAff}_{\mathcal{C}}^{\, \sim, \tau}$ on a Segal category $\text{dAff}_{\mathcal{C}}=$…
In the literature, there have been several methods and definitions for working out if two theories are "equivalent" (essentially the same) or not. In this article, we do something subtler. We provide means to measure distances (and explore…
We introduce monoidal width as a measure of the difficulty of decomposing morphisms in monoidal categories. For graphs, we show that monoidal width and two variations capture existing notions, namely branch width, tree width and path width.…
A low energy string theory should reduce to an ordinary quantum field theory, but in reality the structures of the two are so different as to make the equivalence obscure. The string formalism is more symmetrical between the spacetime and…
The interplay rich between algebraic geometry and string and gauge theories has recently been immensely aided by advances in computational algebra. However, these symbolic (Gr\"{o}bner) methods are severely limited by algorithmic issues…
We introduce a graphical language for closed symmetric monoidal categories based on an extension of string diagrams with special bracket wires representing internal homs. These bracket wires make the structure of the internal hom functor…
We adapt the notion of an algebraic theory to work in the setting of quasicategories developed recently by Joyal and Lurie. We develop the general theory at some length. We study one extended example in detail: the theory of commutative…