Search arXivSearch

arXiv · 1911.08766

From iterated integrals and chronological calculus to Hopf and Rota-Baxter algebras

Abstract

Gian-Carlo Rota mentioned in one of his last articles the problem of developing a theory around the notion of integration algebras, which should be dual to the one of differential algebras. This idea has been developed historically along three lines: using properties of iterated integrals and generalisations thereof, as in the theory of rough paths; using the algebraic structures underlying chronological calculus such as shuffle and pre-Lie products, as they appear in theoretical physics and control theory; and, more generally, using a particular operator identity which came to be known as Rota-Baxter relation. The recent developments along each of these lines of research and their various application domains are not always known to other communities in mathematics and related fields. The general aim of this survey is therefore to present a modern and unified perspective on these approaches, featuring among others non-commutative Rota-Baxter algebras and related Hopf and Lie algebraic structures such as descent algebras, algebras of simplices as well as shuffle, pre- and post-Lie algebras and their enveloping algebras. Accordingly, two viewpoints are proposed. A geometric one, that can be derived using combinatorial properties of Euclidean simplices and the duality between integrands and integration domains in iterated integrals. An algebraic one, provided by the axiomatisation of integral calculus in terms of Rota-Baxter algebra.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Kurusch Ebrahimi-Fard, Frederic Patras. 2019-11-20. From iterated integrals and chronological calculus to Hopf and Rota-Baxter algebras. https://doi.org/10.1002/9781119880912.ch2

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

On solutions of singular Sylvester equations in quaternions

The quaternionic equations ax-xb=0 and ax-xb=c are investigated, which are called homogeneous and inhomogeneous Sylvester equations, respectively. Conditions for the existence of solutions are provided. In addition, the general and nonzero solutions to these equations are derived applying quaternion square roots.

math.RA

Positivity preservers over finite fields II

We say that a matrix over a finite field $\mathbb{F}_q$ is positive definite if it is symmetric and each of its leading principal minors is a nonzero square in $\mathbb{F}_q$. In previous work of the authors [J. Algebra, 2025], the entrywise positivity preservers on $M_n(\mathbb{F}_q)$ were classified in every case except when $n=2$, $q\equiv1\pmod4$, and $q$ is not a square. We settle this remaining case, thereby completing the classification of entrywise positivity preservers over every finite field and in every dimension $n\ge2$. Our proof is based on a novel idempotent reduction that not only resolves the remaining case but also yields a self-contained proof of the complete classification, while avoiding several technical results used in the earlier arguments. As a further application of the same reduction, we classify the entrywise preservers of strongly nonsingular matrices, i.e., matrices whose leading principal minors are all nonzero. We also prove a more general theorem in odd characteristic: for every prescribed sign pattern of nonzero leading principal minors of matrices of a fixed dimension $n\ge2$, the entrywise preservers are precisely the positive scalar multiples of field automorphisms. Thus, in odd characteristic, preserving any nonzero leading-principal-minor sign pattern surprisingly forces the preservation of every such sign pattern.

math.RA

Graphs of Moore-Penrose inverse of matrices possessing the treeangle property

It is known that the inverse of an invertible real square matrix satisfying the treeangle property, is a treediagonal matrix. A converse statement also holds. We show that the verbatim analogues are not true for the Moore-Penrose inverse, and obtain the precise structure of graphs corresponding to the Moore-Penrose inverse of matrices possessing the treeangle property.

math.RA