Related papers: Rewriting modulo isotopies in pivotal linear $(2,2…
We introduce the class of isotypic $2$-representations for finitary $2$-categories and the notion of inflation of $2$-representations. Under some natural assumptions we show that isotypic $2$-representations are equivalent to inflations of…
For the whole class of linear term rewriting systems, we define \emph{bottom-up rewriting} which is a restriction of the usual notion of rewriting. We show that bottom-up rewriting effectively inverse-preserves recognizability and analyze…
We give compact extended formulations for the packing and partitioning orbitopes (with respect to the full symmetric group) described and analyzed in (Kaibel and Pfetsch, 2008). These polytopes are the convex hulls of all 0/1-matrices with…
A natural construction of the logarithmic extension of the M(2,p) minimal models is presented, which generalises our previous model [0708.0802] of percolation (p=3). Its key aspect is the replacement of the minimal model irreducible modules…
We define a notion of colimit for diagrams in a motivic category indexed by a presheaf of spaces (e.g. an \'etale classifying space), and we study basic properties of this construction. As a case study, we construct the motivic analogs of…
In this paper, we propose a compositional nonparametric method in which a model is expressed as a labeled binary tree of $2k+1$ nodes, where each node is either a summation, a multiplication, or the application of one of the $q$ basis…
We consider a framework for representing double loop spaces (and more generally E-2 spaces) as commutative monoids. There are analogous commutative rectifications of braided monoidal structures and we use this framework to define iterated…
Support $\tau$-tilting modules correspond to some classes of categorical objects bijectively, such as two-term tilting complexes for any finite dimensional symmetric algebra. This fact motivates us to classify support $\tau$-tilting modules…
Contemporary large models often exhibit behaviors suggesting the presence of low-level primitives that compose into modules with richer functionality, but these fundamental building blocks remain poorly understood. We investigate this…
We construct explicitly some analytic families of etale (phi,Gamma)-modules, which give rise to analytic families of 2-dimensional crystalline representations. As an application of our constructions, we verify some conjectures of Breuil on…
We construct real Jacobi forms with matrix index using path integrals. The path integral expressions represent elliptic genera of two-dimensional N=(2,2) supersymmetric theories. They arise in a family labeled by two integers N and k which…
The moduli space of flat SL(2,R)-connections modulo gauge transformations on the torus may be described by ordered pairs of commuting SL(2,R) matrices modulo simultaneous conjugation by SL(2,R) matrices. Their spectral properties allow a…
We show how to reconstruct the topology on the monoid of endomorphisms of the rational numbers under the strict or reflexive order relation, and the polymorphism clone of the rational numbers under the reflexive relation. In addition we…
We investigate a class of algebras on $\mathbb{R}^3$ arising and generalized from the algebraic structure of magnetic gradient fields induced by systems of synchronous magnets with identical dipole moments (i.e.,…
In this work, we use a labelled deduction system based on the concept of computational paths (sequence of rewrites) as equalities between two terms of the same type. We also define a term rewriting system that is used to make computations…
We discuss the concepts of fine and coarse moduli spaces in the context of finite dimensional algebras over algebraically closed fields. In particular, our formulation of a moduli problem and its potential strong or weak solution is adapted…
In this paper, we construct three binary linear codes $C(SO^{-}(2,q))$, $C(O^{-}(2,q))$, $C(SO^{-}(4,q))$, respectively associated with the orthogonal groups $SO^{-}(2,q)$, $O^{-}(2,q)$, $SO^{-}(4,q)$, with $q$ powers of two. Then we obtain…
Let $\bar{S}_2$ be the Lie algebra of polynomial vector fields on $A_2=\mathbb{C}[t_1,t_2]$ with constant divergence.In this paper, we first show that each block $\Omega^{\widetilde{S}_2}_{\mathbf{a}}$ of the category of $(A_2,…
In this short note, we develop a novel idea of a bilinear cryptosystem using the discrete logarithm problem in matrices. These matrices come from a linear representation of a finite $p$-group of class 2. We discuss an example at the end.
The moduli space of Riemann surfaces with at least two punctures can be decomposed into a cell complex by using a particular family of ribbon graphs called Nakamura graphs. We distinguish the moduli space with all punctures labelled from…