Related papers: Numerical computations in cobordism categories
We develop a categorical compositional distributional semantics for Lambek Calculus with a Relevant Modality !L*, which has a limited edition of the contraction and permutation rules. The categorical part of the semantics is a monoidal…
We demonstrate that the checkable/synthesisable split in bidirectional typechecking coincides with existing dualities in polarised System L, also known as polarised $\mu\tilde{\mu}$-calculus. Specifically, positive terms and negative…
In the paper we describe the derivations of complex $n$-dimensional naturally graded filiform Leibniz algebras $NGF_1, NGF_2\ \text{and} \ \ NGF_3.$ We show that the dimension of the derivation algebras of $NGF_1$ and $NGF_2$ equals $n+1$…
In this paper we study mixed sums of primes and linear recurrences. We show that if m=2(mod 4) and m+1 is a prime then $(m^{2^n-1}-1)/(m-1)\not=m^n+p^a$ for any n=3,4,... and prime power p^a. We also prove that if a>1 is an integer, u_0=0,…
We study the cobordism of manifolds with boundary, and its applications to codimension 2 embeddings $M^m\subset N^{m+2}$, using the method of the algebraic theory of surgery. The first main result is a splitting theorem for cobordisms of…
Given a positive integer $n$, a sufficient condition on a field is given for bounding its Pythagoras number by $2^n+1$. The condition is satisfied for $n=1$ by function fields of curves over iterated formal power series fields over…
Monads can be interpreted as encoding formal expressions, or formal operations in the sense of universal algebra. We give a construction which formalizes the idea of "evaluating an expression partially": for example, "2+3" can be obtained…
We show that for fields that are of characteristic 0 or algebraically closed of characteristic greater than 5, that certain classes of Leibniz algebras are 2-recognizeable. These classes are solvable, strongly solvable and super solvable.…
We establish an explicit formula for the number $C_n(q)$ of ideals of codimension $n$ of the algebra ${\mathbb F}_q[x,y,x^{-1}, y^{-1}]$ of Laurent polynomials in two variables over a finite field of cardinality $q$. This number is a…
We relate the computational complexity of finite strings to universal representations of their underlying symmetries. First, Boolean functions are classified using the universal covering topologies of the circuits which enumerate them. A…
We propose a type IIB super-Poincare algebra with SO(2,1) covariant central extension. Together with SO(2,1) and SO(9,1) generators, a SO(2,1) triplet (momenta), a Majorana-spinor doublet (supercharges) and a Rarita-Schwinger central charge…
Possible short and semi-short positive energy, unitary representations of the Osp(2N|4) superconformal group in three dimensions are discussed. Corresponding character formulae are obtained, consistent with character formulae for the…
From a generalization to $Z^n$ of the concept of congruence we define a family of regular digraphs or graphs called multidimensional circulants, which turn out to be Cayley (di)graphs of Abelian groups. This paper is mainly devoted to show…
We consider a language together with the subword relation, the cover relation, and regular predicates. For such structures, we consider the extension of first-order logic by threshold- and modulo-counting quantifiers. Depending on the…
In this paper we present a recurrent relation for counting meaningful compositions of the higher-order differential operations on the space $R^{n}$ (n=3,4,...) and extract the non-trivial compositions of order higher than two.
By considering the tiling of an $N$-board (a linear array of $N$ square cells of unit width) with new types of tile that we refer to as combs, we give a combinatorial interpretation of the product of two consecutive generalized Fibonacci…
Motivated by a recent work of Tr\"umper we consider the general Collatz word (up-down pattern) and the sequences following this pattern. The recurrences for the first and last sequence entries are given, obtained from repeated application…
We study the structure and enumeration of the final two 2x4 permutation classes, completing a research program that has spanned almost two decades. For both classes, careful structural analysis produces a complicated functional equation.…
In this paper we consider the palindromes that can be formed by taking unordered sets of $n$ elements from an alphabet of $b$ letters. In particular, we seek to find the probability that given a random member of this space we are able to…
We analyze the structure of co-invariant subspaces for representations of the Cuntz algebras O_N for N = 2,3,..., N < infinity, with special attention to the representations which are associated to orthonormal and tight-frame wavelets in…