Related papers: Distributive Laws, Spans and the ZX-Calculus
We consider a class of real numbers, a subset of irrational numbers and certain mathematical constants, for which the elements in the simple continued fraction appears to be random. As an illustrative example, one can consider $\pi = \{x_0,…
Based on the superconvergent approximation at some point (depending on the fractional order $\alpha$, but not belonging to the mesh points) for Gr\"{u}nwald discretization to fractional derivative, we develop a series of high order…
All rational parametric curves with prescribed polynomial tangent direction form a vector space. Via tangent directions with rational norm, this includes the important case of rational Pythagorean hodograph curves. We study vector subspaces…
Given a dense additive subgroup $G$ of $\mathbb R$ containing $\mathbb Z$, we consider its intersection $\mathbb G$ with the interval $[0,1[$ with the induced order and the group structure given by addition modulo $1$. We axiomatize the…
We generalize the fractional packing framework of Garg and Koenemann to the case of linear fractional packing problems over polyhedral cones. More precisely, we provide approximation algorithms for problems of the form $\max\{c^T x : Ax…
The skew monoidal categories of Szlach\'anyi are a weakening of monoidal categories where the three structural laws of left and right unitality and associativity are not required to be isomorphisms but merely transformations in a particular…
Two models of binary fragmentation are introduced in which a time dependent transition size produces two regions of fragment sizes above and below the transition size. In the models we consider a fixed rate of fragmentation for the largest…
We introduce an approach to the categorification of rings, via the notion of distributive categories with negative objects, and use it to lay down categorical foundations for the study of super, quantum and non-commutative combinatorics.…
Designing scalable estimation algorithms is a core challenge in modern statistics. Here we introduce a framework to address this challenge based on parallel approximants, which yields estimators with provable properties that operate on the…
Let $X$ be a reduced closed subscheme in $\mathbb P^n$. As a slight generalization of property $\textbf{N}_p$ due to Green-Lazarsfeld, we can say that $X$ satisfies property $\textbf{N}_{2,p}$ scheme-theoretically if there is an ideal $I$…
We introduce an addition law for the usual quantum matrices $A(R)$ by means of a coaddition $\underline{\Delta} t=t\otimes 1+1\otimes t$. It supplements the usual comultiplication $\Delta t=t\otimes t$ and together they obey a…
We characterize type isomorphisms in the multiplicative-additive fragment of linear logic (MALL), and thus in *-autonomous categories with finite products, extending a result for the multiplicative fragment by Balat and Di Cosmo. This…
The zx-calculus and related theories are based on so-called interacting Frobenius algebras, where a pair of dagger-special commutative Frobenius algebras jointly form a pair of Hopf algebras. In this setting we introduce a generalisation of…
The factorial hull of the projective variety X (or its cone) is a graded algebra R(X) that can be used in some situations to consider simultaneously all divisor classes on X. Associated with X is a certain cone H in the divisor class group…
Uninorms play a prominent role both in the theory and the applications of Aggregations and Fuzzy Logic. In this paper the class of group-like uninorms is introduced and characterized. First, two variants of a general construction -- called…
On classes of functions defined on R^2n we introduce abstract composition laws modelled after the pseudodifferential product of symbols. We attach to these composition laws modulation mappings and spaces with useful algebraic and…
We envision programmable matter as a system of nano-scale agents (called particles) with very limited computational capabilities that move and compute collectively to achieve a desired goal. We use the geometric amoebot model as our…
We present general techniques for constructing functorial factorizations appropriate for model structures that are not known to be cofibrantly generated. Our methods use "algebraic" characterizations of fibrations to produce factorizations…
Inspired by Morse theory, we introduce a topological stack Broken, which we refer to as the moduli stack of broken lines. We show that Broken can be presented as a Lie groupoid with corners and provide a combinatorial description of sheaves…
A Lattice is a partially ordered set where both least upper bound and greatest lower bound of any pair of elements are unique and exist within the set. K\"{o}tter and Kschischang proved that codes in the linear lattice can be used for error…