The Noncommutative Geode

Basic Information

• Paper ID: 2511.18366
• Title: The Noncommutative Geode
• Authors: Jean-Christophe Novelli, Jean-Yves Thibon
• Classification: math.CO (Combinatorics)
• Publication Date: November 23, 2025
• Paper Link: https://arxiv.org/abs/2511.18366
• Affiliated Institutions: Université Gustave Eiffel, CNRS

Abstract

This paper investigates the geode and several of its generalizations from the perspective of noncommutative symmetric functions. The geode is a formal power series with nonnegative integer coefficients discovered by Wildberger and Rubine in their study of Lagrange series. The paper systematically studies its combinatorial properties and algebraic structures within the framework of noncommutative symmetric functions.

Research Background and Motivation

Core Problem

This paper studies a special property of Lagrange series: for a Lagrange series $g(t)$ satisfying the functional equation $g(t) = f(tg(t))$, the quotient $\gamma(t) := \frac{g(t)-1}{f(t)-1}$ has nonnegative integer coefficients. This series is called the geode.

Problem Significance

1. Combinatorial Significance: Lagrange series have profound combinatorial interpretations in combinatorics, with coefficients closely related to important combinatorial objects such as parking functions, plane trees, and noncrossing partitions.
2. Algebraic Structure: Within the framework of noncommutative symmetric function theory, the geode connects multiple important algebraic structures (Hopf algebras, 0-Hecke algebras, etc.).
3. Generalization Value: The existence of the geode can be generalized to k-Lagrange series and more general settings.

Existing Research

• Wildberger and Rubine (2025) first discovered the nonnegativity of the geode
• The authors' previous work established symmetric and noncommutative versions of Lagrange series theory
• Gessel recently provided an explicit formula for the geode

Research Motivation

To place the geode within a systematic framework of noncommutative symmetric functions, revealing its underlying combinatorial and algebraic structures, and exploring its generalizations.

Core Contributions

1. Combinatorial Interpretation of Noncommutative Geode: Provides the precise combinatorial meaning of noncommutative symmetric geode coefficients—they count translations of nondecreasing parking functions.
2. Multi-basis Expansions: Computes the expansion of the geode in the ribbon basis $R_I$ and $\Lambda_I$, providing combinatorial interpretations of parking quasi-ribbons.
3. k-Geode Hierarchy: Generalizes the geode to k-Lagrange series, establishing two levels of higher-order geodes $\gamma^{(k)}$ and $\theta^{(k)}$.
4. Lagrange Transform: Introduces the Lagrange transform as an algebraic automorphism, providing a unified treatment of different levels of Lagrange series.
5. e-Geode: Generalizes the geode to cases involving elementary symmetric functions, establishing connections with Schröder trees.
6. Explicit Formulas: Provides explicit computational formulas and generating functions for various geodes and related series.

Detailed Methodology

Problem Definition

Study Lagrange series $g(t) = \sum_{n \geq 0} g_n t^n$ satisfying the functional equation $g(t) = f(tg(t)) = \sum_{n \geq 1} f_n t^n g(t)^n$ particularly the noncommutative symmetric function version of the geode series $\gamma(t) := \frac{g(t)-1}{f(t)-1}$ and its generalizations.

Core Framework: Łukasiewicz Series

Combinatorial Realization of Noncommutative Lagrange Series:

When $f_n$ are noncommutative variables, $g_n$ becomes the sum of all Łukasiewicz words of length $n+1$ with sum $n$. For example: $g_2 = f_{200} + f_{110}, \quad g_3 = f_{3000} + f_{2100} + f_{2010} + f_{1200} + f_{1110}$

These words encode plane rooted trees with $n+1$ vertices (reading node degrees in preorder traversal).

Proof of Geode Existence:

Define the operator $d_k$: given a tree $T$, if the last nonzero value in its Łukasiewicz word is not $k$, map to zero; otherwise, replace the corresponding corolla (node of degree $k$) with a leaf.

Key observation: For any $k$, the multiset $\Gamma_n$ of trees obtained by applying $d_k$ to $g_{n+k}$ is independent of $k$. This is because the number of ways to add a corolla as the last element in preorder traversal on a size-$n$ tree is independent of the corolla size.

Setting $f_0 = 1$, the sum of tree encodings $\gamma_n$ satisfies: $g_n = f_n + \gamma_1 f_{n-1} + \gamma_2 f_{n-2} + \cdots + \gamma_{n-1} f_1$

Noncommutative Symmetric Geode

Definition: Setting $f_n = S_n$ (noncommutative complete symmetric functions), we obtain the noncommutative symmetric Lagrange series: $g_0 = 1, \quad g_1 = S_1, \quad g_2 = S_2 + S_{11}, \quad g_3 = S_3 + 2S_{21} + S_{12} + S_{111}$

Operator $S_n^{-1}$: $S_{i_1 \cdots i_r} S_n^{-1} = \begin{cases} S_{i_1 \cdots i_{r-1}} & \text{if } i_r = n \\ 0 & \text{otherwise} \end{cases}$

Since $\gamma_n = g_{n+k} S_k^{-1}$, we can compute via $\gamma = g S_1^{-1}$: $\gamma_0 = 1, \quad \gamma_1 = S_1, \quad \gamma_2 = 2S_2 + S_{11}, \quad \gamma_3 = 3S_3 + 3S_{21} + 2S_{12} + S_{111}$

Combinatorial Interpretation: The coefficient of $S_I$ in $\gamma_n$ equals the sum of trailing zeros in all tree encodings, equivalent to the number of ways to shift the encoding rightward to become an evaluation of a word on $[n]$.

For example, $3000$ can be shifted to $0300, 0030$, corresponding to words $111, 222, 333$ (contributing $3S_3$).

Representation-Theoretic Interpretation: $\gamma_n$ is the noncommutative Frobenius characteristic of the representation of the 0-Hecke algebra $H_n(0)$ on rearrangements of these words.

Expansions in Other Bases

Ribbon Basis $R_I$:

$\gamma_3 = 9R_3 + 4R_{21} + 3R_{12} + R_{111}$

Coefficients count parking quasi-ribbons. Generating function: $\frac{(x-1)\sqrt{x^2-6x+1} - x^2 - 4x + 1}{8x^2} + 1$

Basis $\Lambda_I$:

Coefficients relate to the ribbon basis: $[\Lambda_I]g = (-1)^{|I|-\ell(I)}[R_{I^\sim}]g$

$\gamma_3 = 3\Lambda_3 - 6\Lambda_{21} - 5\Lambda_{12} + 9\Lambda_{111}$

k-Lagrange Series and k-Geode

k-Lagrange Series Definition: $g^{(k)} = \sum_{n \geq 0} S_n (g^{(k)})^{kn}$

or equivalently $g^{(k)} = \phi_k(g)$, where $\phi_k$ is the algebra homomorphism mapping $S_n$ to $S_{n/k}$ (when $k|n$) or $0$.

k-Geode: $g^{(k)} = 1 + \gamma^{(k)}(\sigma_1 - 1), \quad \gamma^{(k)} = \phi_k(\gamma)$

Coefficient Formula: The coefficient of $S_I$ in $g^{(k)}$ is: $\delta_I^{(k)} = \sum_a \prod_{j=1}^{p-1} \binom{ki_j}{a_j}$ where $a$ ranges over Polish encodings of plane trees with $p$ nodes.

Lagrange Transform: Define the algebra automorphism $\mathcal{L}(S_n) = g_n$, then $g^{(k)} = \mathcal{L}^k(g^{(0)})$ (for $k \in \mathbb{Z}$).

Introduce two levels:

• $\gamma^{(k)} = \phi_k(\gamma)$
• $\theta^{(k)} = \mathcal{L}^{k-1}(\gamma)$, satisfying $g^{(k)} = 1 + \theta^{(k)}(g^{(k-1)} - 1)$

e-Lagrange Series and Schröder Trees

Generalization to Elementary Symmetric Functions: Define $g^{[e]} = \sum_{n \geq 0} S_n \left(\sum_{k \geq 0} e_k (g^{[e]})^k\right)^n$

where $e_n$ are elementary symmetric functions.

The coefficient of $S_I$ in $g^{[e]}$ is: $\delta_I^{[e]} = \sum_a \prod_{j=1}^{p-1} e_{a_j}(i_j A)$

Schröder Tree Interpretation: By lifting to the system $G = (1+X)S_0, \quad X = \sum_{n \geq 1} S_n Y^n, \quad Y = S_0 + \sum_{n \geq 1} e_n X^n S_0$

one can show that coefficients of $Y_n$ correspond to Schröder trees (trees with internal nodes of degree $>1$).

e-Geode: Similarly define $\gamma^{[e]} = g^{[e]} S_k^{-1}$ (for any $k \geq 1$).

Experimental Setup

Computational Verification

This paper is primarily theoretical but includes extensive concrete calculations:

1. Low-Order Term Computation: Explicitly computes expansions of $g_n, \gamma_n, \theta_n, h_n, \eta_n$ up to $n=4$.
2. Integer Sequence Verification: Cross-references with sequences in the OEIS (Online Encyclopedia of Integer Sequences).
3. Generating Functions: Provides closed forms for multiple specialized generating functions.

Key Sequences

• Sum of $\gamma_n$ coefficients: A071724 (1, 1, 3, 9, 28, 90, 297, 1001, ...)
• Ribbon basis coefficient sums: A239204
• Sum of absolute values of $\Lambda$ basis coefficients: A238112
• Schröder numbers: A006318

Experimental Results

Main Computational Results

First Few Terms of Noncommutative Symmetric Geode: $\gamma_1 = S_1$$\gamma_2 = 2S_2 + S_{11}$$\gamma_3 = 3S_3 + 3S_{21} + 2S_{12} + S_{111}$$\gamma_4 = 4S_4 + 6S_{31} + 5S_{22} + 8S_{211} + 3S_{13} + 5S_{121} + 4S_{112} + 6S_{1111}$

Parametrized Geode $\gamma^{(t)}$:

$\gamma_3^{(t)} = 3tS_3 + (4t^2-t)S_{21} + \frac{5t^2-t}{2}S_{12} + \frac{8t^3-6t^2+t}{3}S_{111}$

Verification: Setting $t=1$ yields the standard geode.

Generating Functions:

Generating function for coefficient sums (with $S_n \mapsto x^n$): $\gamma(x) = \frac{(C(x)-1)(1-x)}{x}$ where $C(x) = \frac{1-\sqrt{1-4x}}{2x}$ is the Catalan number generating function.

Ribbon Basis Generating Function: $1 + \frac{(x-1)\sqrt{x^2-6x+1} - x^2-4x+1}{8x^2}$

Combinatorial Verification

Example: Parking Quasi-Ribbons for $n=3$

Nine $R_3$: 111|2, 111|3, 111|4, 112|3, 112|4, 1213|4, 122|3, 122|4, 123|4

Four $R_{21}$: 11|2|3, 11|2|4, 11|3|4, 12|3|4

Three $R_{12}$: 1|22|3, 1|22|4, 1|23|4

One $R_{111}$: 1|2|3|4

Total of 17, consistent with sequence A239204.

Schröder Tree Correspondence for e-Geode

Prime Schröder Trees for $n=3$: Six trees corresponding to $G_3 = S_{30000} + e_1 S_{210000} + e_1 S_{201000} + S_{120000} + e_1^2 S_{1110000} + e_2 S_{1101000}$

Verified the combinatorial meaning of Schröder numbers.

Related Work

Historical Background

1. Lagrange Inversion: Classical result; this paper studies its combinatorial and algebraic aspects.
2. Parking Functions: Work by Haiman et al. established connections with symmetric group representations.
3. Noncommutative Symmetric Functions: Theoretical framework established by Gelfand et al. (1995).

Authors' Previous Work

• 13, 16 Established connections between noncommutative symmetric functions and Lagrange inversion
• 14 Studied k-Lagrange series and noncrossing partitions
• 10 Introduced free cumulants and connections with Schröder trees

Recent Related Work

• Wildberger & Rubine (2025): First discovered the nonnegativity of the geode
• Gessel (2024): Provided explicit formula for the geode (Equation 32)
• Gossow (2024): Studied the geode from the perspective of ordered trees

Contributions of This Paper

This paper systematically incorporates the recently discovered geode phenomenon into the framework of noncommutative symmetric functions, providing:

• Deeper combinatorial interpretations
• Connections with representation theory
• Multiple generalizations (k-geode, e-geode)
• Unified algebraic treatment methods

Conclusions and Discussion

Main Conclusions

1. Noncommutative Theory of Geode: Within the framework of noncommutative symmetric functions, the geode has natural combinatorial and algebraic interpretations, with coefficients counting shifted nondecreasing parking functions.
2. Multi-Level Structure: Establishes a hierarchical theory of the geode ($\gamma^{(k)}, \theta^{(k)}$), with unified treatment via the Lagrange transform.
3. Possibilities for Generalization: The e-geode extends the theory to cases involving elementary symmetric functions, establishing profound connections with Schröder trees.
4. Explicit Formulas: Provides coefficient formulas and generating functions for various cases.

Theoretical Significance

Algebraic Structure:

• The geode naturally embeds into the Hopf algebra structure of noncommutative symmetric functions
• Has profound connections with representation theory of the 0-Hecke algebra
• The Lagrange transform provides new algebraic automorphisms

Combinatorial Significance:

• Unifies multiple combinatorial objects (trees, parking functions, noncrossing partitions)
• Provides new perspectives on counting problems

Limitations

1. Computational Complexity: Explicit computation of higher-order terms remains complex.
2. Combinatorial Interpretation: Combinatorial meanings of certain coefficients are not sufficiently direct.
3. Scope of Generalization: The complete theory of e-geode requires further development.

Future Directions

Research directions implicit in the paper:

1. Geode properties for more general functional equations
2. Connections with other combinatorial Hopf algebras
3. Optimization of computational algorithms
4. Applications in other mathematical fields (e.g., free probability theory)

In-Depth Evaluation

Strengths

1. Theoretical Depth

• Places a newly discovered phenomenon (nonnegativity of the geode) within a mature theoretical framework (noncommutative symmetric functions)
• Reveals underlying algebraic and combinatorial structures
• Provides multiple levels of generalization

2. Methodological Innovation

• The Łukasiewicz word perspective elegantly proves the existence of the geode
• The operator $S_n^{-1}$ provides concise computational tools
• The Lagrange transform unifies treatment at different levels

3. Sufficient Computation

• Provides numerous concrete computational examples
• Cross-references with OEIS sequences enhance credibility
• Provides expansions in multiple bases

4. Clear Exposition

• Well-structured, progressing from simple to complex
• Rich examples aid understanding of abstract concepts
• Consistent notation system

Weaknesses

1. Proof Details

• Certain key properties (formal theorem statements) are missing
• The e-geode section only sketches the inductive proof
• Some generating function derivations are omitted

2. Directness of Combinatorial Interpretation

• Combinatorial interpretations in the ribbon basis and $\Lambda$ basis are less direct than in the $S$ basis
• Combinatorial meanings of certain coefficient formulas require further clarification

3. Application Outlook

• Lacks discussion of practical applications
• Connections with other mathematical branches could be deeper

4. Computational Tools

• No computational software or code provided
• Methods for computing higher-order terms lack systematicity

Impact

Academic Value:

• Provides new research objects and tools for combinatorics
• Deepens understanding of Lagrange series
• May inspire research in related fields

Theoretical Contribution:

• Enriches the theory of noncommutative symmetric functions
• Establishes new connections between multiple combinatorial objects
• Provides a unified algebraic framework

Reproducibility:

• Theoretical results are clear and verifiable
• Concrete computations can be reproduced
• Requires specialized background knowledge

Applicable Scenarios

Direct Applications:

• Combinatorial counting problems
• Research in symmetric function theory
• Representation-theoretic computations

Potential Applications:

• Free probability theory (via connections with free cumulants)
• Topology (via noncrossing partitions)
• Other branches of algebraic combinatorics

Tool Value:

• Provides methodology for studying similar functional equations
• Operator techniques applicable to other problems
• Generating function methods have universal applicability

References

Key References:

1. 19 Wildberger & Rubine (2025): First discovered the geode, the starting point of this paper
2. 13 Novelli & Thibon (2008): Foundational work on noncommutative symmetric functions and Lagrange inversion
3. 14 Novelli & Thibon (2022): k-Lagrange series and noncrossing partitions
4. 4 Gessel (2024): Explicit formula for the geode
5. 10 Josuat-Vergès et al. (2017): Free cumulants and Schröder trees
6. 3 Gelfand et al. (1995): Foundational work on noncommutative symmetric functions

Summary

This is a high-quality theoretical paper in combinatorics that systematically incorporates the recently discovered geode phenomenon into the framework of noncommutative symmetric functions. The paper's main strengths lie in theoretical depth, methodological innovation, and computational sufficiency, providing new research objects and tools for combinatorics. Main weaknesses include omitted proof details and limited discussion of applications. Overall, this is an important contribution to combinatorial Hopf algebras and Lagrange series theory that will inspire subsequent research in the field.