Related papers: Rewriting modulo isotopies in pivotal linear $(2,2…
A symmetry $SU(2,2)$ group in terms of ladder operators is presented for the Jacobi polynomials, $J_{n}^{(\alpha,\beta)}(x)$, and the Wigner $d_j$-matrices where the spins $j=n+(\alpha+\beta)/2$ integer and half-integer are considered…
For every $p \geq 2$, we obtained an explicit construction of a family of $\mathcal{W}(2,2p-1)$-modules, which decompose as direct sum of simple Virasoro algebra modules. Furthermore, we classified all irreducible self-dual…
We construct a symmetric monoidal closed category of polynomial endofunctors (as objects) and simulation cells (as morphisms). This structure is defined using universal properties without reference to representing polynomial diagrams and is…
We develop further the techniques presented in [M. Mombelli. On the tensor product of bimodule categories over Hopf algebras. Preprint arXiv:1111.1610 ] to study bimodule categories over the representation categories of arbitrary…
Generalizing Jones's notion of a planar algebra, we have previously introduced an A_2-planar algebra capturing the structure contained in the double complex pertaining to the subfactor for a finite SU(3) ADE graph with a flat cell system.…
A positroid is the matroid of a real matrix with nonnegative maximal minors, a positroid variety is the closure of the locus of points in a complex Grassmannian whose matroid is a fixed positroid, and a positroid class is the cohomology…
All current investigations to analyze the derivational complexity of term rewrite systems are based on a single termination method, possibly preceded by transformations. However, the exclusive use of direct criteria is problematic due to…
There are 6 types of 2-dimensional representations in general. For any groups and any monoids, we can construct the moduli of 2-dimensional representations for each type: the moduli of absolutely irreducible representations, representations…
In this paper, we show how to extend the notion of reducibility introduced by Girard for proving the termination of $\beta$-reduction in the polymorphic $\lambda$-calculus, to prove the termination of various kinds of rewrite relations on…
We study integrable models in the context of the recently discovered Gauge/YBE correspondence, where the Yang-Baxter equation is promoted to a duality between two supersymmetric gauge theories. We study flavored elliptic genus of 2d…
We study a problem related to Kontsevich's homological mirror symmetry conjecture for the case of a generic curve $\cal Y$ with bi-degree (2,2) in a product of projective lines ${\Bbb P}^{1} \times {\Bbb P}^{1}$. We calculate two…
Representation theorems for formal systems often take the form of an inductive translation that satisfies certain invariants, which are proved inductively. Theory morphisms and logical relations are common patterns of such inductive…
For a field of characteristic $\ne 2$ we study vector spaces that are graded by the weight lattice of a root system, and are endowed with linear operators in each simple root direction. We show that these data extend to a graded semisimple…
This is a continuation of arXiv:0908.4053, where, among other things, we classified irreducible representations of the triplet vertex algebra W_{2,3}. In this part we extend the classification to W_{2,p}, for all odd p>3. We also determine…
We propose and extension of the tableau-based first-order automated theorem prover Zenon Modulo to polarized rewriting. We introduce the framework and explain the potential benefits. The first target is an industrial benchmark composed of B…
Diagram chasing is not an easy task. The coherence holds in a generalized sense if we have a mechanical method to judge whether given two morphisms are equal to each other. A simple way to this end is to reform a concerned category into a…
We provide a tutorial introduction to the algebraic graph rewriting formalism PBPO+. We show how PBPO+ can be obtained by composing a few simple building blocks, and model the reduction rules for binary decision diagrams as an example.…
This paper concerns the reconstruction of possibly complex-valued coefficients in a second-order scalar elliptic equation posed on a bounded domain from knowledge of several solutions of that equation. We show that for a sufficiently large…
The paper studies modular reduction techniques for abstract regular and chiral polytopes, with two purposes in mind: first, to survey the literature about modular reduction in polytopes; and second, to apply modular reduction, with moduli…
In this series of papers, we propose a theory of enumerative invariants counting self-dual objects in self-dual categories. Ordinary enumerative invariants in abelian categories can be seen as invariants for the structure group $\mathrm{GL}…