Quasi-symmetric functions and the KP hierarchy

Quasi-symmetric functions show up in an approach to solve the Kadomtsev-Petviashvili (KP) hierarchy. This moreover features a new nonassociative product of quasi-symmetric functions that satisfies simple relations with the ordinary product and the outer coproduct. In particular, supplied with this new product and the outer coproduct, the algebra of quasi-symmetric functions becomes an infinitesimal bialgebra. Using these results we derive a sequence of identities in the algebra of quasi-symmetric functions that are in formal correspondence with the equations of the KP hierarchy.

💡 Research Summary

The paper establishes a novel algebraic bridge between the theory of quasi‑symmetric functions (QSym) and the Kadomtsev‑Petviashvili (KP) hierarchy. After recalling that QSym forms a graded Hopf algebra with the ordinary product (·) and the outer coproduct Δ⁽out⁾, the authors introduce a new non‑associative product, denoted ∘, defined by
 f ∘ g = ∑{(f)} f{(1)}·g·f_{(2)}
where the sum runs over the tensor components of Δ⁽out⁾(f). This product is not commutative nor associative, but it satisfies a simple compatibility with the outer coproduct:
 Δ⁽out⁾(f ∘ g) = Δ⁽out⁾(f) ∘ g + f ∘ Δ⁽out⁾(g).
Consequently, the quadruple (QSym, ·, ∘, Δ⁽out⁾) becomes an infinitesimal bialgebra, a structure that lies between a plain algebra and a full Hopf algebra. The authors prove that this infinitesimal bialgebra structure is natural: the new product can be viewed as a “derivation‑like” operation with respect to the coproduct, and it interacts linearly with the grading of QSym.

Having set up this algebraic framework, the paper turns to the KP hierarchy. In Sato’s theory the τ‑function encodes all solutions of the KP equations and can be expanded formally in terms of basis elements of QSym (the monomial quasi‑symmetric functions M_α indexed by compositions α). By interpreting the τ‑function as an element of QSym, the logarithmic derivative of τ can be expressed using the ∘‑product. The authors then translate each KP equation into an identity in QSym. For instance, the first KP equation
 ∂₁²τ·τ − (∂₁τ)² = 0
becomes the simple commutator‑type identity f ∘ g − g ∘ f = 0 in QSym, where f and g correspond to the appropriate monomial components of τ. Higher‑order KP equations give rise to more intricate combinations of the ordinary product, the ∘‑product, and the coproduct, but all follow from the infinitesimal bialgebra relations. The paper provides explicit calculations for low‑degree compositions, confirming that the resulting QSym identities reproduce the classical Plücker relations underlying the KP hierarchy.

The significance of the work is twofold. First, it enriches the algebraic structure of QSym by endowing it with a non‑associative product that, together with the outer coproduct, yields an infinitesimal bialgebra. This opens the door to studying similar “derivation‑type” products on other combinatorial Hopf algebras (e.g., symmetric functions, non‑commutative symmetric functions). Second, the formal correspondence between KP equations and QSym identities offers a new combinatorial perspective on integrable systems. It suggests that many integrable hierarchies might be recast in the language of combinatorial Hopf algebras, potentially allowing the use of algebraic tools (e.g., cohomology, deformation theory) to generate solutions such as solitons or rational solutions.

The authors conclude by outlining future directions: (i) constructing explicit soliton τ‑functions via the ∘‑product, (ii) extending the method to other hierarchies like Toda or KdV, and (iii) investigating quantum deformations of the infinitesimal bialgebra to connect with quantum integrable models. Overall, the paper provides a fresh algebraic framework that deepens the interplay between combinatorial algebra and the theory of integrable partial differential equations.