Related papers: A structure theorem for streamed information
We introduce a new variant of Hochschild's two-sided bar construction for the setting of curved differential graded algebras. One can geometrically think of the classical bar complex as elements from the algebra positioned along different…
Functors with an instance of the Traversable type class can be thought of as data structures which permit a traversal of their elements. This has been made precise by the correspondence between traversable functors and finitary containers…
In this paper we use the technique of Hopf algebras and quasi-symmetric functions to study the combinatorial polytopes. Consider the free abelian group $\mathcal{P}$ generated by all combinatorial polytopes. There are two natural bilinear…
For a one-parameter degeneration of reduced compact complex analytic spaces of dimension $n$, we prove the invariance of the frontier Hodge numbers $h^{p,q}$ (that is, with $pq(n{-}p)(n{-}q)=0$) for the intersection cohomology of the fibers…
In this note we develop some properties of those algebras (called here locally simple) which can be generated by a single element after, if need be, a faithfully flat extension. For finite algebras, this is shown to be in fact a property of…
In this paper, we introduce certain new features of the shuffle algebra, that will allow us to obtain explicit formulas for the isomorphism between its Drinfeld double and the elliptic Hall algebra.
The first goal of this note is to extend the well-known Feigin homomorphisms taking quantum groups to quantum polynomial algebras. More precisely, we define generalized Feigin homomorphisms from a quantum shuffle algebra to quantum…
We build, using the notion of zinbiel algebra, some commutative subalgebras $C_{u,v}$ inside an algebra of formal iterated integrals. There is a quotient map from this algebra of formal iterated integrals to the algebra of motivic multiple…
To directed graphs with unique sink and source we associate a noncommutative associative alsgebra and a polynomial over this algebra. Edges of the graph correspond to pseudo-roots of the polynomial. We give a sufficient condition when…
The shrunk loop theorem presented here is an integral identity which facilitates the calculation of the relative probability (or probability amplitude) of any given topology that a free, closed Brownian or Feynman path of a given 'duration'…
'Skolem arithmetic' is the complete theory $T$ of the multiplicative monoid $(\mathbb{N},\cdot)$. We give a full characterization of the $\varnothing$-definable stably embedded sets of $T$, showing in particular that, up to the relation of…
In this paper we define a construct called a time-graph. A complete time-graph of order n is the cartesian product of a complete graph with n vertices and a linear graph with n vertices. A time-graph of order n is given by a subset of the…
Given an element $P(X_1,...,X_d)$ of the finitely generated free Lie algebra, for any Lie algebra $g$ we can consider the induced polynomial map $P: g^d\to g$. Assuming that $K$ is an arbitrary field of characteristic $\ne 2$, we prove that…
We study almost symmetric numerical semigroups and semigroup rings. We describe a characteristic property of the minimal free resolution of the semigroup ring of an almost symmetric numerical semigroup. For almost symmetric semigroups…
Let $A$ be a tame hereditary algebra over a finite field $k$ with $q$ elements, and ${\bar{A}}$ be the duplicated algebra of $A$. In this paper, we investigate the structure of Ringel-Hall algebra $\mathscr{H} (\bar{A})$ and of the…
We refine and advance the study of the local structure of idempotent finite algebras started in [A.Bulatov, The Graph of a Relational Structure and Constraint Satisfaction Problems, LICS, 2004]. We introduce a graph-like structure on an…
We describe the E-infinity algebra structure on the complex of singular cochains of a topological space, in the context of sheaf theory. As a first application, for any algebraic variety we define a weight filtration compatible with its…
We present a new proof of Stembridge's theorem about the enumeration of totally symmetric plane partitions using the methodology suggested in the recent Koutschan-Kauers-Zeilberger semi-rigorous proof of the Andrews-Robbins q-TSPP…
The central objective of this article is to provide an elementary proof of the following theorem, of which we are unaware of any trace in the existing literature. If $B$ is a net finite free algebra over a commutative ring $A$, then it is…
In several classes of countable structures it is known that every hyperarithmetic structure has a computable presentation up to bi-embeddability. In this article we investigate the complexity of embeddings between bi-embeddable structures…