arXiv++ Combinatorics

We consider the classical Smoluchowski coagulation equation with a general frequency kernel. We show that there exists a natural deterministic solution expansion in the non-associative algebra generated by the convolution product of the coalescence term. The non-associative solution expansion is equivalently represented by binary trees. We demonstrate that the existence of such solutions corresponds to establishing the compatibility of two binary-tree generating procedures, by: (i) grafting together the roots of all pairs of order-compatibile trees at preceding orders, or (ii) attaching binary branches to all free branches of trees at the previous order. We then show that the solution represents a linearised flow, and also establish a new numerical simulation method based on truncation of the solution tree expansion and approximating the integral terms at each order by fast Fourier transform. In particular, for general separable frequency kernels, the complexity of the method is linear-loglinear in the number of spatial modes/nodes.

We give a constructive proof, to all orders, that each member of the non-commutative potential Korteweg-de Vries hierarchy is a Fredholm Grassmannian flow and is therefore linearisable. Indeed we prove this for any linear combination of fields from this hierarchy. That each member of the hierarchy is linearisable, and integrable in this sense, means that the time evolving solution can be generated from the solution to the corresponding linear dispersion equation in the hierarchy, combined with solving an associated linear Fredholm equation representing the Marchenko equation. Further, we show that within the class of polynomial partial differential fields, at every order, each member of the non-commutative potential Korteweg--de Vries hierarchy is unique. Indeed, we prove to all orders, that each such member matches the non-commutative Lax hierarchy field, which is therefore a polynomial partial differential field. We achieve this by constructing the abstract combinatorial algebra that underlies the non-commutative potential Korteweg-de Vries hierarchy. This algebra is the non-commutative polynomial algebra over the real line generated by the set of all compositions endowed with the Poppe product. This product is the abstract representation of the product rule for Hankel operators pioneered by Ch. Poppe for integrable equations such as the Sine-Gordon and Korteweg-de Vries equations. Integrability of the hierarchy members translates, in the combinatorial algebra, to proving the existence of a `Poppe polynomial' expansion for basic compositions in terms of `linear signature expansions'. Proving the existence of such Poppe polynomial expansions boils down to solving a linear algebraic problem for the expansion coefficients, which we solve constructively to all orders.

For stochastic systems driven by continuous semimartingales an explicit formula for the logarithm of the Ito flow map is given. A similar formula is also obtained for solutions of linear matrix-valued SDEs driven by arbitrary semimartingales. The computation relies on the lift to quasi-shuffle algebras of formulas involving products of Ito integrals of semimartingales. Whereas the Chen-Strichartz formula computing the logarithm of the Stratonovich flow map is classically expanded as a formal sum indexed by permutations, the analogous formula in Ito calculus is naturally indexed by surjections. This reflects the change of algebraic background involved in the transition between the two integration theories.