🔢 mathematics

Local Lie Theory in Quasi-Banach Lie Algebras: Convergence of the BCH Series and Geometric Implications

This paper establishes a local Lie theory for complete quasi-normed Lie algebras by proving the convergence of the Baker--Campbell--Hausdorff series via the Aoki--Rolewicz theorem, thereby defining a local Lie group structure and analyzing how the quasi-norm exponent influences geometric properties and convergence radii.

Original authors: Nassim Athmouni, Mohsen Ben Abdallah, Mondher Damak, Marwa Ennaceur, Amel Jadlaoui, Lotfi Souden

Published 2026-04-10

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Nassim Athmouni, Mohsen Ben Abdallah, Mondher Damak, Marwa Ennaceur, Amel Jadlaoui, Lotfi Souden

Original paper licensed under CC BY 4.0 (http://creativecommons.org/licenses/by/4.0/). ✨ This is an AI-generated explanation of the paper below. It is not written or endorsed by the authors. For technical accuracy, refer to the original paper. Read full disclaimer

Imagine you are trying to build a complex structure out of Lego bricks. In the world of standard mathematics (called "Banach spaces"), the rules are very strict: if you snap two bricks together, the resulting piece is perfectly stable, and you can predict exactly how big your final structure will be. This is the realm of the Baker–Campbell–Hausdorff (BCH) formula, a famous mathematical recipe that tells you how to combine two movements (or "exponentials") into a single, smooth motion.

However, in many real-world problems—like analyzing certain types of sound waves or quantum signals—the "bricks" are a bit wobbly. They don't snap together perfectly; they stretch and squish. Mathematicians call these wobbly spaces Quasi-Banach spaces. In these spaces, the usual rules of geometry (like the triangle inequality) are relaxed. If you add two wobbly pieces, the result might be slightly larger than the sum of the parts.

This paper is a guidebook for building with these wobbly bricks. Here is the story of what the authors discovered, explained simply:

1. The Problem: Building with "Squishy" Bricks

In standard math, if you want to combine two movements, you use a specific formula (the BCH series). It's like a recipe: Add a little bit of X, mix in some Y, add a pinch of commutator (a specific type of twist), and you get Z.

But when the space is "squishy" (a quasi-normed space), the usual recipe might fail. The ingredients might expand too much, and the recipe could blow up, never settling on a final answer. The authors asked: "Can we still build a stable structure with these wobbly bricks, and if so, how big can we make it before it collapses?"

2. The Solution: The "Magic Squeeze" (Aoki–Rolewicz Theorem)

The authors used a clever mathematical trick called the Aoki–Rolewicz theorem. Think of this as a "magic squeeze."

Even though the bricks are wobbly and don't follow the standard rules, this theorem proves you can find a different way to measure them (a new "p-norm") where the rules become much stricter and more predictable. It's like putting the wobbly clay into a mold; once inside, it behaves like a solid block.

By using this "mold," the authors could prove that the BCH recipe does converge. It means that if you keep your starting pieces small enough, the recipe will eventually settle down to a single, stable result, even in this wobbly world.

3. The "Safety Zone" (Convergence Radius)

The paper calculates a "Safety Zone." Imagine you are walking on a tightrope.

The Old Rule: In perfect worlds, you know exactly how far you can walk.
The New Rule: In this wobbly world, the tightrope is a bit slippery. The authors found that as long as your starting steps (the size of your inputs) are smaller than a specific limit (roughly 1 divided by 4 times the "wobble factor"), you will stay on the rope.

They also discovered that the "wobble factor" (called $C_\Delta$ ) acts like a safety margin. If the bricks are very wobbly, you have to take smaller steps to stay safe. If they are less wobbly, you can take bigger steps.

4. The "Hidden Savings" (Numerical Surprises)

Here is the most exciting part. The authors ran computer simulations to check their math. They used a "worst-case scenario" estimate (like assuming every Lego brick is the heaviest, clumsiest one possible). This estimate suggested the safety zone was quite small.

However, when they actually built the structure using the real rules of the game (the Lie algebra rules), they found that the bricks cancel each other out in clever ways.

Analogy: Imagine you are pushing a heavy box. The "worst-case" math says you need 100 people to push it. But because the box has wheels and the ground is smooth (algebraic cancellations), you only actually need 10 people.
Result: The real "Safety Zone" is actually much larger (about 14 times larger in their tests) than the conservative math predicted. This means we can do much more complex calculations in these wobbly spaces than we thought possible.

5. Why Does This Matter? (Real World Applications)

Why should a regular person care about wobbly math? Because these spaces describe real things that standard math struggles with:

Weak Signals: In signal processing, some signals are "spiky" or "weak" (like the faint hum of a distant star). Standard math treats them as infinite or broken, but these new tools can handle them.
Quantum Physics: Some quantum operators behave like these wobbly bricks.
Image Compression: Understanding how to manipulate these spaces helps in compressing data without losing quality.

The Big Picture

The authors essentially said: "Don't be afraid of the wobbly math. We found a way to measure it, we proved the recipes work, and we discovered that the 'danger zone' is actually much smaller than we feared. You can build bigger, more complex structures in these strange spaces than anyone thought possible."

They turned a chaotic, wobbly world into a place where you can still build a stable, predictable Lie group (a mathematical structure representing symmetry and motion), opening the door to solving harder problems in physics and engineering.

1. Problem Statement

The paper addresses a fundamental gap in infinite-dimensional Lie theory: the behavior of the Baker–Campbell–Hausdorff (BCH) series in quasi-Banach Lie algebras.

Context: In classical Banach Lie theory, the triangle inequality $\|x+y\| \le \|x\| + \|y\|$ holds, ensuring the convergence of the BCH series $Z(x,y) = \log(e^x e^y)$ in a neighborhood of the origin. This allows the construction of a local Lie group.
Challenge: In quasi-Banach spaces (common in harmonic analysis, approximation theory, and operator ideals like weak Schatten classes $L_{p,\infty}$ for $0 < p < 1$ ), the triangle inequality is relaxed to $\|x+y\| \le C_\triangle (\|x\| + \|y\|)$ with $C_\triangle \ge 1$ .
Core Question: Does the BCH series converge in these non-locally convex settings? If so, what is the convergence radius, and how does the relaxed metric structure affect the resulting local Lie group geometry?

2. Methodology

The authors employ a combination of functional analysis, combinatorial estimation, and numerical verification:

Aoki–Rolewicz Theorem: To handle the lack of local convexity, the authors utilize the Aoki–Rolewicz theorem. This theorem guarantees that for any quasi-norm with constant $C_\triangle$ , there exists an equivalent $p$ -norm ( $0 < p \le 1$ ) satisfying the strict subadditivity condition $\||x+y\||^p \le \||x\||^p + \||y\||^p$ . This allows the use of rigorous Cauchy-sequence arguments in the complete metric space $(E, d_p)$ where $d_p(x,y) = \|x-y\|^p$ .
Catalan-Majorant Strategy: The authors bound the homogeneous components of the BCH series using Catalan numbers. They estimate the norm of nested commutators (associated with full binary trees) and sum the series using the generating function properties of Catalan numbers.
Combinatorial Analysis: They distinguish between the "associative" expansion (words in free algebra) and the "Lie-projected" expansion (Hall–Lyndon basis). They analyze the coefficients to determine if algebraic cancellations (Jacobi identity) improve convergence beyond the worst-case combinatorial bounds.
Numerical Validation: Using Python/SymPy with exact rational arithmetic, the authors computed BCH coefficients up to degree 20 to test theoretical bounds against actual decay rates.

3. Key Contributions

A. Convergence Theorem for BCH Series

The paper establishes that the BCH series converges in a quasi-Banach Lie algebra $\mathfrak{g}$ with bracket continuity constant $B$ and quasi-triangle constant $C_\triangle$ .

Convergence Condition: The series converges in the $d_p$ -metric topology if:
$\|x\| + \|y\| < \frac{1}{4B}$
Conservative Bound: A uniform bound valid across all settings is given by $K = C_\triangle B$ , requiring $\|x\| + \|y\| < \frac{1}{4K}$ .
Sharpness: The authors note that the factor $C_\triangle$ in the conservative bound is an artifact of the norm equivalence proof. The "true" radius is determined by $B$ alone ( $1/4B$ ), but the $C_\triangle$ factor provides a safety margin for the $p$ -norm construction.

B. Local Lie Group Structure

The convergence of the BCH series allows for the definition of a local binary operation $x * y = Z(x, y)$ .

Local Group Properties: The authors prove that on a sufficiently small ball $B(0, \rho)$ , this operation satisfies associativity, identity, and invertibility.
Inverse Radius: They derive an explicit radius for the existence of inverses:
$\rho_{\text{inv}} = \frac{1}{8B(1 + 2C_\triangle)^2}$
For the classical Banach case ( $C_\triangle=1$ ), this reduces to $\rho_{\text{inv}} = 1/(72B)$ .

C. Geometric and Spectral Implications

Metric Geometry: The local group is a complete quasi-metric space. The exponential map is shown to be bi-Lipschitz with respect to the $p$ -metric $d_p$ , despite the lack of local convexity.
Spectral Radius: Bounds are established for the spectral radius of the adjoint operator $\text{ad}_x$ , showing $\rho(\text{ad}_x) \le B\|x\|$ .
O-Operators: The paper extends spectral bounds to O-operators (generalized Rota-Baxter operators) in this setting.

D. Numerical Insights

Coefficient Decay: Numerical experiments reveal that the Lie-projected coefficients (using Hall–Lyndon basis) decay significantly faster ( $\gamma \approx 0.29$ ) than the worst-case Catalan majorant ( $4^{n-1}$ ).
Practical Radius: In structured algebras with algebraic cancellations, the practical convergence radius can be roughly 13.8 times larger than the theoretical worst-case bound derived from the Catalan majorant method.

4. Results

Existence of Local Lie Groups: A local Lie group structure is rigorously constructed for quasi-Banach Lie algebras, extending the classical Banach theory to non-locally convex spaces.
Explicit Convergence Radii: The paper provides precise formulas for convergence radii dependent on the bracket continuity constant $B$ and the quasi-triangle constant $C_\triangle$ .
Applications to Operator Algebras: The theory is applied to:
- Weak Schatten Ideals ( $L_{p,\infty}$ ): Validating convergence for $0 < p < 1$ .
- Hardy-space Operator Algebras: Extending results to Toeplitz operators.
- Weighted Shift Algebras: Providing concrete constant calculations for specific operator examples.
Refinement of Bounds: The numerical data suggests that while the Catalan bound is mathematically necessary for the general proof, it is overly conservative for specific algebras where the Jacobi identity induces significant cancellations.

5. Significance

Theoretical Extension: This work bridges a critical gap between classical Lie theory and the analysis of non-locally convex spaces, which are ubiquitous in modern harmonic analysis and PDEs (e.g., magnetic pseudodifferential operators).
Robustness of BCH: It confirms that the BCH formula remains a valid tool for defining local group laws even when the underlying space lacks local convexity, provided the bracket is continuous.
Practical Utility: By quantifying the "safety margin" provided by the quasi-triangle constant and demonstrating the potential for larger convergence radii in structured algebras, the paper offers practical guidelines for numerical simulations and operator algebra applications in $L_p$ spaces for $p < 1$ .
Methodological Innovation: The combination of the Aoki–Rolewicz $p$ -norm technique with Catalan-majorant combinatorics provides a robust framework for analyzing series convergence in quasi-Banach settings.