Related papers: The operad Lie is free
We show that the celebrated operad of pre-Lie algebras is very rigid: it has no "non-obvious" degrees of freedom from either of the three points of view: deformations of maps to and from the "three graces of operad theory", homotopy…
We prove explicit asymptotic formulae for some functions used in sieve methods and show that there exists no odd multiperfect number of abundancy four whose squared part is cubefree.
For $\mathcal{O}$ a reduced operad, a generalized divergence from the derivations of a free $\mathcal{O}$-algebra to a suitable trace space is constructed. In the case of the Lie operad, this corresponds to Satoh's trace map and, for the…
Let $(u_n)_{n \geq 0}$ be a nondegenerate linear recurrence of integers, and let $\mathcal{A}$ be the set of positive integers $n$ such that $u_n$ and $n$ are relatively prime. We prove that $\mathcal{A}$ has an asymptotic density, and that…
The operad Lie can be constructed as the operad of primitives Prim As from the operad As of associative algebras. This is reflected by the theorems of Friedrichs, Poincare'-Birkhoff-Witt and Cartier-Milnor-Moore. We replace As by families…
An operad describes a category of algebras and a (co)homology theory for these algebras may be formulated using the homological algebra of operads. A morphism of operads $f:\mathcal{O}\rightarrow\mathcal{P}$ describes a functor allowing a…
First, we give a functorial construction of a group associated to a symmetric operad. Applied to the endomorphism operad it gives the group of formal diffeomorphisms. Second, we associate a symmetric operad to any family of decorated graphs…
Using methods of computer algebra, especially Gr\"obner bases for submodules of free modules over polynomial rings, we solve a classification problem in theory of algebraic operads: we show that the only nontrivial (possibly inhomogeneous)…
This article aims at a detailed analysis of the PreLie operad. We obtain a more concrete description of the relationship between the anticyclic structure of PreLie and the generators of PreLie as a Lie-module, which was known before only at…
Two operads are said to belong to the same Wilf class if they have the same generating series. We discuss possible Wilf classifications of non-symmetric operads with monomial relations. As a corollary, this would give the same…
We show that there are sets of integers with asymptotic density arbitrarily close to 1 in which there is no solution to the equation ab=c, with a,b,c in the set. We also consider some natural generalizations, as well as a specific numerical…
We derive an asymptotic formula for operator product expansion coefficients of heavy operators in two dimensional conformal field theory. This follows from modular invariance of the genus two partition function, and generalises the…
An Eggert-operad is a variant of Mac Lane's notion of a PROP, for which not only bijective maps, but all maps between standard finite sets, are part of the structure. We construct the free Eggert-operad and prove the universal property it…
We study the asymptotic behavior of the sequence $\{\Omega(n) \}_{ n \in \mathbb{N} }$ from a dynamical point of view, where $\Omega(n)$ denotes the number of prime factors of $n$ counted with multiplicity. First, we show that for any…
We show that a certain symmetry exists in the stable irreducible decomposition of the Lie algebra consisting of symplectic derivations of the free Lie algebra generated by the first homology group of compact oriented surfaces.
For $k \geq 2$, we consider the number $A_k(Z)$ of positive integers $n \leq Z$ such that both $n$ and $n+1$ are $k$-free. We prove an asymptotic formula $A_k(Z) = c_k Z + O(Z^{14/(9k)+\epsilon})$, where the error term improves upon…
We study a natural Lie algebra structure on the free vector space generated by all rooted planar trees as the associated Lie algebra of the nonsymmetric operad (non-$\Sigma$ operad, preoperad) of rooted planar trees. We determine whether…
We examine the exponential generating function for the number of symmetric involutions (A000898 in OEIS) and point out that Robinson's asymptotic formula for its coefficients is incorrect. We further supply the correct formula.
This monograph is a comprehensive study of the combinatorial structure of various operads of wiring diagrams and undirected wiring diagrams. Our first main objective is to prove a finite presentation theorem for each operad of wiring…
We obtained the probabilities for the values of the M\"obius function for arbitrary numbers and found that the asymptotic densities of the squarefree integers among the odd and even numbers are $8/\pi^2$ and $4/\pi^2$, respectively. It is…