Related papers: Numerical computations in cobordism categories
A palstar (after Knuth, Morris, and Pratt) is a concatenation of even-length palindromes. We show that, asymptotically, there are $\Theta(\alpha_k^n)$ palstars of length $2n$ over a $k$-letter alphabet, where $\alpha_k$ is a constant such…
There is a well-known correspondence between coherent theories (and their interpretations) and coherent categories (resp. functors), hence the (2,1)-category $\mathbf{Coh_{\sim}}$ (of small coherent categories, coherent functors and all…
We study the relationship between Bell states, finite groups and complete sets of bases. We show how to obtain a set of N+1 bases in which Bell states are invariant. They generalize the X, Y and Z qubit bases and are associated to groups of…
Cobordism categories have played an important role in classical geometry and more recently in mathematical treatments of quantum field theory. Here we will compute localisations of two-dimensional discrete cobordism categories. This allows…
We present a bijection between non-crossing partitions of the set $[2n+1]$ into $n+1$ blocks such that no block contains two consecutive integers, and the set of sequences $\{s_{i}\}_{1}^{n}$ such that $1 \leq s_{i} \leq i$, and if…
This paper presents two alternative approaches for counting the number of two-row weakly increasing matrices, which are $2\times n$ matrices whose entries are integers from $1$ to $k$ and are weakly increasing along all rows and columns,…
Stanley, building on work of Stern, defined an array of numbers by the recurrence $s(n, 2k) = s(n-1, k)$, $s(n, 2k+1) = s(n-1, k) + s(n-1, k+1)$. Stanley showed that, for each positive integer $r$, the sequence $s_n^r:= \sum_k s(n,k)^r$…
The Z_2^n gradings of the classical Lie algebras are described. To elucidate the grading, the classical Lie algebras are expressed in terms of matrix algebras over one of eight fields or Clifford algebras which carry gradings ranging from…
Capacities that provide both qualitative and quantitative obstructions to the existence of a Lagrangian cobordism between two $(n-1)$-dimensional submanifolds in parallel hyperplanes of $\mathbb{R}^{2n}$ are defined using the theory of…
We study modular forms of some congruence subgroups. In this paper, we treat the cases level is 2-power, 3-power or 5. Structures of graded rings and many identities of infinite sum or infinite product are given. Theory of rational (1/3,…
We prove the existence of a ternary sequence of factor complexity $2n+1$ for any given vector of rationally independent letter frequencies. Such sequences are constructed from an infinite product of two substitutions according to a…
A large family of words must contain two words that are similar. We investigate several problems where the measure of similarity is the length of a common subsequence. We construct a family of n^{1/3} permutations on n letters, such that…
For Lucas sequences of the first kind (u_n) and second kind (v_n) defined as usual for positive n by u_n=(a^n-b^n)/(a-b), v_n=a^n+b^n, where a and b are either integers or conjugate quadratic integers, we describe the set of indices n for…
We study divisibility properties of certain sums and alternating sums involving binomial coefficients and powers of integers. For example, we prove that for all positive integers $n_1,..., n_m$, $n_{m+1}=n_1$, and any nonnegative integer…
It is shown that the ${\cal N}=1$ supersymmetric quantum mechanics (SQM) can be extended to a $\mathbb{Z}_2^n$-graded superalgebra. This is done by presenting quantum mechanical models which realize, with the aid of Clifford gamma matrices,…
We consider the dimensional reduction of N=1 {SYM}_{2+1} to 1+1 dimensions. The gauge groups we consider are U(N) and SU(N), where N is finite. We formulate the continuum bound state problem in the light-cone formalism, and show that any…
We give an algebraic quantization, in the sense of quantum groups, of the complex Minkowski space, and we examine the real forms corresponding to the signatures $(3,1)$, $(2,2)$, $(4,0)$, constructing the corresponding quantum metrics and…
A permutation is (1-23-4)-avoiding if it contains no four entries, increasing left to right, with the middle two adjacent in the permutation. Here we give a 2-variable recurrence for the number of such permutations, improving on the…
In this paper, we perform an arithmetization of well-formed parenthesis strings with zeros (Motzkin words) and of corresponding Motzkin paths. The transformations used are reminiscent of G\"odel numbering for mathematical objects of some…
Consider the sequence $\mathcal{V}(2,n)$ constructed in a greedy fashion by setting $a_1 = 2$, $a_2 = n$ and defining $a_{m+1}$ as the smallest integer larger than $a_m$ that can be written as the sum of two (not necessarily distinct)…