Logo
ScienceStack
Table of Contents
Fetching ...
Sign In

Renormalisation of φ^4-theory on noncommutative R^4 in the matrix base

Harald Grosse, Raimar Wulkenhaar

TL;DR

This work establishes that the real φ^4 theory on four-dimensional noncommutative space ℝ^4_θ is renormalisable to all orders when the free action is augmented by a duality-covariant harmonic oscillator term. The authors formulate the theory in the matrix base, diagonalise the kinetic operator with orthogonal Meixner polynomials, and apply Polchinski flow equations for the effective action expressed as a matrix-index expansion. A novel integration strategy with finite initial data (ρ-parameters) and a careful treatment of ribbon graphs, including composite propagators, yields robust power-counting bounds and a convergent Λ_0→∞ limit, proving renormalisability and fixing the physical parameters (mass, wavefunction, coupling, and oscillator frequency). The result resolves the UV/IR-mixing problem by embedding it into a modified large-distance structure while producing a discrete spectrum linked to Meixner polynomials, and it opens the path to potential extensions to gauge theories and connections to string-theoretic backgrounds. Overall, the paper provides a rigorous, all-orders renormalisation framework for a noncommutative field theory with a duality-invariant kinetic term and highlights the interplay between topology, matrix-model techniques, and orthogonal polynomials in controlling divergences.

Abstract

We prove that the real four-dimensional Euclidean noncommutative φ^4-model is renormalisable to all orders in perturbation theory. Compared with the commutative case, the bare action of relevant and marginal couplings contains necessarily an additional term: an harmonic oscillator potential for the free scalar field action. This entails a modified dispersion relation for the free theory, which becomes important at large distances (UV/IR-entanglement). The renormalisation proof relies on flow equations for the expansion coefficients of the effective action with respect to scalar fields written in the matrix base of the noncommutative R^4. The renormalisation flow depends on the topology of ribbon graphs and on the asymptotic and local behaviour of the propagator governed by orthogonal Meixner polynomials.

Renormalisation of φ^4-theory on noncommutative R^4 in the matrix base

TL;DR

This work establishes that the real φ^4 theory on four-dimensional noncommutative space ℝ^4_θ is renormalisable to all orders when the free action is augmented by a duality-covariant harmonic oscillator term. The authors formulate the theory in the matrix base, diagonalise the kinetic operator with orthogonal Meixner polynomials, and apply Polchinski flow equations for the effective action expressed as a matrix-index expansion. A novel integration strategy with finite initial data (ρ-parameters) and a careful treatment of ribbon graphs, including composite propagators, yields robust power-counting bounds and a convergent Λ_0→∞ limit, proving renormalisability and fixing the physical parameters (mass, wavefunction, coupling, and oscillator frequency). The result resolves the UV/IR-mixing problem by embedding it into a modified large-distance structure while producing a discrete spectrum linked to Meixner polynomials, and it opens the path to potential extensions to gauge theories and connections to string-theoretic backgrounds. Overall, the paper provides a rigorous, all-orders renormalisation framework for a noncommutative field theory with a duality-invariant kinetic term and highlights the interplay between topology, matrix-model techniques, and orthogonal polynomials in controlling divergences.

Abstract

We prove that the real four-dimensional Euclidean noncommutative φ^4-model is renormalisable to all orders in perturbation theory. Compared with the commutative case, the bare action of relevant and marginal couplings contains necessarily an additional term: an harmonic oscillator potential for the free scalar field action. This entails a modified dispersion relation for the free theory, which becomes important at large distances (UV/IR-entanglement). The renormalisation proof relies on flow equations for the expansion coefficients of the effective action with respect to scalar fields written in the matrix base of the noncommutative R^4. The renormalisation flow depends on the topology of ribbon graphs and on the asymptotic and local behaviour of the propagator governed by orthogonal Meixner polynomials.

Paper Structure

This paper contains 25 sections, 4 theorems, 126 equations, 6 figures.

Table of Contents

  1. Introduction
  2. Strategy of the proof
  3. The duality-covariant noncommutative $\phi^4$-action in the matrix base
  4. Estimation of the interaction coefficients
  5. The Polchinski equation
  6. Integration of the Polchinski equation
  7. Ribbon graphs with composite propagators
  8. Bounds for the cut-off propagator
  9. The power-counting estimation
  10. The convergence theorem
  11. The $\Lambda_0$-dependence of the effective action
  12. Initial data and graphs for the auxiliary functions
  13. The power-counting behaviour of the auxiliary functions
  14. The power-counting behaviour of the $\Lambda_0$-varied functions
  15. Finishing the convergence and renormalisation theorem
  16. ...and 10 more sections

Key Result

Proposition 2

Let $\gamma$ be a ribbon graph having $N$ external legs, $V$ vertices, $V^e$ external vertices and segmentation index $\iota$, which is drawn on a genus-$g$ Riemann surface with $B$ boundary components. We require the graph $\gamma$ to be constructed via a history of subgraphs and an integration pro

Figures (6)

  • Figure 1: Relations between the main steps of the proof. The central results are the power-counting behaviour of Proposition \ref{['power-counting-prop']} and the convergence theorem (Theorem \ref{['final-theorem']}). Note that the numerical estimations for the propagator influence the entire chain of the proof.
  • Figure 2: Comparison of $\max \Delta_{mn;kl}^{\mathcal{C}}/\theta$ at $\mu_0=0$ (dots) with $(\sqrt{\frac{1}{\pi}(16\, \mathcal{C}{+}12)} + \frac{6 \Omega}{1+ 2\Omega^3+2\Omega^4} \mathcal{C})^{-1}$ (solid line). The left plot shows the inverses of both the propagator and its approximation over $\mathcal{C}$ for various values of $\Omega$. The right plot shows the propagator and its approximation over $\Omega$ for various values of $\mathcal{C}$.
  • Figure 3: Comparison of $\theta/(\max_{m} \sum_{l} \max_{n,k} |\Delta_{mn;kl}^{\mathcal{C}}| )$ at $\mu_0=0$ (dots) with $7 \Omega^2 (\mathcal{C}+1)/(1{+}2\Omega^2)$ (solid line). The left plot shows the inverse propagator and its approximation over $\mathcal{C}$ for three values of $\Omega$, whereas the right plot shows the inverse propagator and its approximation over $\Omega$ for three values of $\mathcal{C}$.
  • Figure 4: The index summation $\frac{1}{\theta} (\sum_{l\;,~\|m-l\|_1 \geq 5} \max_{k,r} | \Delta_{mn;kl}^{\mathcal{C}}|)$ of the cut-off propagator at $\mu_0=0$ (dots) compared with $\frac{\theta\,(1{-} \Omega)^4 (15 + \frac{4}{5} \|m\|_\infty + \frac{1}{25}\|m\|_\infty^2)}{ \Omega^2 (\mathcal{C}{+}1)^3}$ (solid line), both plotted over $\|m\|_\infty$.
  • Figure 5: The inverse $\theta (\sum_{l\;,~\|m-l\|_1 \geq 5} \max_{k,r} | \Delta_{mn;kl}^{\mathcal{C}}|)^{-1}$ of the summed propagator at $\mu_0=0$ (dots) compared with $\frac{\Omega^2 (\mathcal{C}{+}1)^3}{(1{-} \Omega)^4(15 + \frac{4}{5} \|m\|_\infty + \frac{1}{25}\|m\|_\infty^2)}$ (solid line), both plotted over $\mathcal{C}$.
  • ...and 1 more figures

Theorems & Definitions (5)

  • Definition 1
  • Proposition 2
  • Proposition 3
  • Proposition 4
  • Theorem 5