Related papers: Multilinear representations of Free PROs
Methods for specifying Moore type state machines (transducers) abstractly via primitive recursive functions and for defining parallel composition via simultaneous primitive recursion are discussed. The method is mostly of interest as a…
We introduce and study wheeled PROPs, an extension of the theory of PROPs which can treat traces and, in particular, solutions to the master equations which involve divergence operators. We construct a dg free wheeled PROP whose…
We extend a previously introduced semi-analytical representation of a decomposition of CA dynamics in arbitrary dimensions and neighborhood schemes via the use of certain universal maps in which CA rule vectors are derivable from the…
We note a characterization of the amenability of unitary representations (in the sense of Bekka) via the existence of an orthonormal basis supporting an invariant probability charge. Based on this, we explore several natural notions of…
Replacing finite groups by linear algebraic groups, we study an algebraic-geometric counterpart of the theory of free profinite groups. In particular, we introduce free proalgebraic groups and characterize them in terms of embedding…
A matroid is a machine capturing linearity of mathematical objects and producing combinatorial structures. Matroid structure arises everywhere since linearity is a ubiquitous concept. One natural way to obtain matroids is by considering…
Building on work of Brandt and Terao in their study of $k$-formality, we introduce a co-chain complex associated to a multi-arrangement and prove that its cohomologies determine freeness of the associated module of multi-derivations. This…
Distributed representations (such as those based on embeddings) and discrete representations (such as those based on logic) have complementary strengths. We explore one possible approach to combining these two kinds of representations. We…
If H is a strongly regular hypergroup, we show that the set of regular relations on H and the set of subhypergroups containing $0_{H}$ are two lattices that are isomorphic to each other. In the next step, we introduce and study the…
We review the recent development in the representation theory of the $W_{1+\infty}$ algebra. The topics that we concern are, Quasifinite representation, Free field realizations, (Super) Matrix Generalization, Structure of subalgebras such…
The paper is devoted to two types of algebraic models of automata. The usual (first type) model leads to the developed decomposition theory (Krohn-Rhodes theory). We introduce another type of automata model and study how these automata are…
Inside a product of projective spaces, we try to understand which Chow classes come from irreducible subvarieties. The answer is closely related to the theory of integer polymatroids. The support of a representable class can be (partially)…
Constructing complex computation from simpler building blocks is a defining problem of computer science. In algebraic automata theory, we represent computing devices as semigroups. Accordingly, we use mathematical tools like products and…
The corepresentation theory of continuous groups is presented without the assumption that the subgroup $G$ of the group with antilinear operations is unitary. The formulas of the corepresentation theory with unitary groups $G$ can be…
The freeness of hyperplane arrangements in a three dimensional vector space over finite field is discussed. We prove that if the number of hyperplanes is greater than some bound, then the freeness is determined by the characteristic…
A model of representations of a Lie algebra is a representation which a direct sum of all irreducible finite dimensional representations taken with multiplicity $1$. In the paper an explicit construction of a model of representation for all…
We discuss representations of the projective line over a ring $R$ with 1 in a projective space over some (not necessarily commutative) field $K$. Such a representation is based upon a $(K,R)$-bimodule $U$. The points of the projective line…
After giving some definitions for vertex operator SUPERalgebras and their modules, we construct an associative algebra corresponding to any vertex operator superalgebra, such that the representations of the vertex operator algebra are in…
Each labeled rooted tree is associated with a hyperplane arrangement, which is free with exponents given by the depths of the vertices of this tree. The intersection lattices of these arrangements are described through posets of forests.…
The machinery is suggested to describe the varying spacetime topology on the level of its substitutes by finite topological spaces.