The $\mu$-extension of iterated integrals and nested sums

This paper constructs $\mu$-extensions for iterated integrals and associated nested sums arising in perturbative quantum field theory calculations, demonstrating that while these extensions generally preserve the underlying Hopf algebra structure and map into the same function space polynomially in $\mu$, they lead to higher transcendental functions specifically in cases involving square-root valued alphabets or central binomials.

The Gist

Imagine you are a physicist trying to solve a very complex puzzle. In the world of quantum physics, these puzzles often involve calculating how particles interact. To solve them, mathematicians use special "tools" called functions. Think of these functions as different types of LEGO bricks. Some are simple (like a single flat brick), while others are intricate, interlocking structures built from many smaller pieces.

This paper is about taking those standard LEGO bricks and creating a new, slightly "deformed" version of them called $\mu$-extensions.

Here is the breakdown of what the authors did, using simple analogies:

1. The Standard Tools (The "Normal" Bricks)

In quantum physics, when scientists calculate how particles behave, they often end up with specific mathematical shapes called iterated integrals and nested sums.

• The Analogy: Imagine these are like a set of Russian nesting dolls or a specific type of musical scale. They follow strict rules. If you multiply two of them together, the result is always a predictable combination of other dolls in the same set. This predictability is called a "Shuffle Algebra." It's like a rulebook that says, "If you mix a red brick and a blue brick, you always get a purple brick."

2. The New Twist (The $\mu$-Deformation)

The authors wanted to see what happens if they introduce a new knob, called $\mu$, into the system.

• The Analogy: Imagine you have a standard LEGO brick. Now, imagine you have a machine that stretches or squishes that brick slightly depending on a setting called $\mu$.
  • If you turn the knob to zero ($\mu = 0$), the brick looks exactly like the original.
  • If you turn the knob, the brick changes shape. The question is: Does it still fit with the other bricks?

3. The Main Discovery: "Mostly, Yes"

The authors tested this stretching machine on many different types of mathematical bricks (polylogarithms, harmonic sums, etc.).

• The Good News: For most of the standard bricks, when they applied the $\mu$-stretch, the result was still a valid brick from the same set. It just looked a bit different.
  • The Metaphor: It's like stretching a rubber band. It gets longer, but it's still a rubber band. The mathematical "rules" (the algebra) that govern how these bricks fit together remained intact. The new, stretched bricks could still be mixed and matched using the same old rulebook, just with a few extra terms added in.

4. The Exception: The "Square-Root" Bricks

However, the authors found one specific type of brick that behaved differently. These were the ones involving square roots and central binomials (a specific type of number pattern).

• The Analogy: Imagine you try to stretch a delicate glass sculpture. Instead of just getting longer, it shatters into a completely different shape that doesn't fit the original box.
• The Result: When they applied the $\mu$-stretch to these specific square-root bricks, they didn't stay in the same family. They turned into "higher transcendental functions"—essentially, they became a new, more complex type of mathematical object that the old rulebook couldn't handle. The "Shuffle Algebra" broke down for these specific cases.

5. How They Did It

The authors didn't just guess; they built a systematic method.

• They looked at how these functions are built from the ground up (their "expansions").
• They applied the $\mu$-stretch to the individual building blocks (the numbers inside the functions).
• They then reassembled the pieces to see what the new, stretched function looked like.
• They found that for the "good" cases, the new function is just a polynomial (a simple algebraic expression) of the old function plus the $\mu$ parameter.

Summary

In short, this paper is a manual on how to "deform" the mathematical tools used in quantum physics.

• For most tools: You can twist them with the $\mu$ parameter, and they still work perfectly within the existing mathematical framework.
• For a specific, tricky set of tools: Twisting them creates something entirely new and more complex that breaks the old rules.

The authors conclude that while these new $\mu$-deformed functions are mathematically interesting and might one day be used in "deformed" versions of quantum theories, right now they have successfully mapped out exactly how these new shapes behave and where the limits of the old rules lie.

Technical Summary

Technical Summary: The $\mu$-extension of iterated integrals and nested sums in quantum field theory

Problem Statement
In perturbative calculations within quantum field theories (QFT), such as Quantum Chromodynamics (QCD) and Quantum Electrodynamics (QED), the analytic integration of single-scale Feynman integrals yields specific classes of special functions. These include polylogarithms, Nielsen integrals, harmonic polylogarithms, generalized harmonic polylogarithms (Kummer-Poincaré integrals), cyclotomic harmonic polylogarithms, and iterated integrals involving quadratic forms or square-root valued letters. These functions are solutions to first-order factorizing differential equations and are related to nested sums via the Mellin transform.

While $q$-deformations of these structures are well-studied in the context of quantum groups and non-commutative geometries, the $\mu$-deformation—a modification of the canonical Heisenberg algebra introduced by Jannussis—has not been systematically applied to these higher transcendental functions emerging in QFT. The paper addresses the construction of $\mu$-extensions for these specific function spaces to determine if they preserve the underlying algebraic structures (Hopf algebras) and to identify the nature of the resulting functions.

Methodology
The authors employ a systematic approach based on the series expansion of the iterated integrals around $x=0$. The methodology proceeds as follows:

1. Series Expansion and Coefficient Identification: For a given iterated integral $F(x)$, the expansion $F(x) = \sum f[n]x^n$ (or with logarithmic factors) is determined. The coefficients $f[n]$ are expressed in terms of nested sums (harmonic sums, generalized harmonic sums, cyclotomic sums, or sums involving central binomials).
2. $\mu$-Deformation of Components: The $\mu$-extension is applied to the fundamental building blocks of these coefficients:
   • The integer $n$ is replaced by the $\mu$-bracket $\{n\}_\mu = n/(1+\mu n)$.
   • Factorials and binomial coefficients are deformed accordingly.
   • The $\mu$-derivative operator $D^{(\mu)}_x = \frac{d}{dx}[1 + \mu x \frac{d}{dx}]^{-1}$ is defined to maintain the hierarchical structure of the differential equations.
3. Reconstruction: The $\mu$-extended coefficients $f[n; \mu]$ are re-summed to obtain the $\mu$-extended functions in $x$-space. This involves:
   • Using the package Sigma to solve difference equations for the coefficients.
   • Utilizing the HarmonicSums package to perform Mellin inversions and transform sums into iterated integrals.
   • Applying binomial decomposition to express $\mu$-extended sums as polynomials in $\mu$ over standard nested sums.

Key Contributions and Results

• Construction of $\mu$-Extensions: The paper provides closed-form solutions or algorithms for the $\mu$-extensions of:
  • Polylogarithms ($Li_n(x)$).
  • Nielsen integrals ($S_{n,p}(x)$).
  • Harmonic polylogarithms ($H_{\vec{a}}(x)$).
  • Generalized harmonic polylogarithms (Kummer-Poincaré integrals).
  • Cyclotomic harmonic polylogarithms.
  • Iterated integrals implied by quadratic forms.
• Algebraic Structure Preservation:
  • For polylogarithms, Nielsen integrals, harmonic polylogarithms, generalized harmonic polylogarithms, and cyclotomic integrals, the $\mu$-extension maps the function space into itself. The resulting functions are polynomials in $\mu$ with coefficients in the original function space.
  • Crucially, in these cases, the $\mu$-extension preserves the Hopf algebra structure implied by the (quasi)shuffle product. The deformation effectively supplements $\mu$ to the ground field without breaking the algebraic relations.
  • The $\mu$-extended functions satisfy analogous differentiation hierarchies to the undeformed case, governed by the $\mu$-derivative $D^{(\mu)}_x$.
• Exceptions and Higher Transcendence:
  • The paper identifies a distinct class of functions where the $\mu$-extension leads out of the original function space: iterated integrals containing square-root valued letters (associated with central binomial coefficients $\binom{2n}{n}$).
  • For these cases, the $\mu$-extension of the central binomial coefficient results in a rational function in $\mu$ and $n$ that grows with $n$. Consequently, the re-summed $x$-space functions become higher transcendental functions (specifically generalized hypergeometric functions like ${}_3F_2$) rather than remaining within the space of iterated integrals.
  • Similarly, nested sums containing central binomials do not map into the same algebraic space; their $\mu$-extensions involve higher transcendental functions.
• Singular Behavior: The $\mu$-extension introduces singular contributions at $x=1$ (and $N \to \infty$ in Mellin space) that are not present in the standard case. Specifically, terms proportional to $\mu^l$ introduce divergences that transform into singular behaviors in the $x$-space functions, such as those associated with $Li_0(x)$.

Significance and Claims
The authors state that the constructed $\mu$-deformed special functions are "completely new." They posit that these structures may emerge in perturbative calculations within $\mu$-deformed quantum field theories, analogous to how standard polylogarithms appear in standard QFT.

The paper emphasizes that, except for the specific case of square-root valued alphabets and central binomial sums, the $\mu$-extension preserves the rich algebraic structure (Hopf algebra) of the non-deformed function spaces. This suggests that the mathematical framework for handling these functions in $\mu$-deformed theories remains tractable and structurally similar to the standard case, provided the deformation parameter $\mu$ is treated as a supplement to the ground field.

The work is presented as a foundational mathematical step. The authors note that while the functions are of mathematical interest, their physical realization in specific $\mu$-deformed QFT models (such as those involving deformed harmonic oscillators or non-commutative geometries) is yet to be elaborated. The paper does not propose new experimental tests or immediate physical applications but rather provides the necessary analytic tools (closed forms and algorithms) for future investigations in $\mu$-deformed field theories.