⚛️ high-energy theory

Closed-form thermal threshold functions for the proper-time renormalisation group

This paper derives closed-form expressions for thermal threshold functions in the proper-time renormalisation group using Poisson resummation and algebraic identities, enabling the extension of anomalous-dimension constructions to finite temperature and the continuous tracking of fixed points across the entire regulator parameter space.

Original authors: Daniele Rizzo

Published 2026-08-11

📖 5 min read🧠 Deep dive

CC BY 4.0

Original authors: Daniele Rizzo

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 the universe as a giant, bustling kitchen where particles are constantly cooking up new states of matter. Sometimes, this kitchen undergoes a dramatic "phase transition," like water suddenly turning into steam or a magnet losing its magnetism as it heats up. Physicists are obsessed with understanding these moments because they might hold the secrets to how the early universe evolved or even how we could one day generate energy from the vacuum of space. To study these transitions, scientists use a powerful mathematical tool called the "Renormalization Group." Think of this as a special microscope that lets you zoom in and out of the particle soup, watching how the rules of physics change as you look at different sizes and temperatures.

However, when you add heat to the mix, things get messy. The standard way to calculate what happens at high temperatures involves summing up an infinite number of "vibrations" or "modes" (like the notes on a guitar string), but doing this one by one is incredibly slow and often requires brute-force computer calculations that can't be easily checked. It's like trying to count every single grain of sand on a beach by picking them up one at a time; you might get the right answer eventually, but you'll never know if you missed a speck or if your counting method was flawed. Scientists needed a way to see the whole beach at once, to find a "closed-form" formula—a single, neat equation that describes the entire process without needing to count every grain individually.

This is exactly what Daniele Rizzo has achieved in this paper. The author has derived a set of "closed-form" formulas for the thermal threshold functions used in the Proper-Time Renormalization Group (PTRG) method. Until now, these functions had to be calculated numerically, mode by mode, which was like trying to solve a puzzle by guessing the shape of every piece. Rizzo shows that for a whole family of these mathematical tools, the answer can be written down as a rapidly converging series of "Modified Bessel functions." To use a metaphor, instead of counting every grain of sand, the author found a magical sieve that instantly separates the sand into neat, predictable piles based on how many times the wind (thermal energy) has blown around the beach.

The paper reveals two major findings. First, it proves that for a specific setting (where a parameter $m = 5/2$ ), this new method matches perfectly with the most accurate existing method (the Wetterich equation), confirming that the new formulas are correct. Second, and perhaps more importantly, the author shows that these formulas work for any real number setting of the parameter, not just a few isolated points. This allows scientists to track how the "fixed points" (the stable states of the system) change smoothly as they adjust the mathematical "knobs" of the theory. Previously, they could only check a handful of specific settings; now, they can watch the whole landscape shift in real-time. The paper also extends a known method for calculating how particles "anomalously" change their behavior at zero temperature to work at finite temperatures, a step that was previously missing.

The author is very sure about these results because they have been cross-checked against known limits. For instance, when the temperature is zero, the new formulas perfectly reproduce the known results from previous decades. When the temperature is very high, the formulas correctly simplify to the physics of a three-dimensional world, just as theory predicts. Furthermore, the paper demonstrates that if you integrate the flow over all scales, it exactly recovers the standard one-loop thermal perturbation theory, meaning the new method doesn't break any fundamental laws of physics. The paper explicitly rules out the idea that these formulas are only valid for specific, isolated cases; instead, it proves they hold continuously across the entire range of the regulator parameter.

In the world of these calculations, there are different "regulators," which are like different types of lenses used to view the particle soup. Some lenses are "smooth," gradually blurring out high-energy details, while others are "sharp," cutting them off abruptly. The paper shows that the "sharp" lens is actually just the extreme limit of the smooth family of lenses. Interestingly, the smooth lenses and the sharp lens behave differently when it comes to how quickly they "turn off" heavy particles. The smooth lenses turn them off algebraically (like a gentle slope), while the sharp lens turns them off exponentially (like a cliff). This difference is crucial because it explains why different calculations sometimes give slightly different numbers for how particles behave.

The paper also constructs a refined version of the theory called LPA' (Local Potential Approximation prime), which includes a running "anomalous dimension"—a measure of how the field's strength changes with scale. The author finds that while the critical exponent $\nu$ (which describes how the correlation length grows) stays very stable and changes by less than 1.3% across all the different regulator settings, the anomalous dimension $\eta$ is much more sensitive, varying by nearly 30%. This suggests that while the overall structure of the phase transition is robust, the specific details of how particles interact are highly dependent on the mathematical "lens" chosen.

Ultimately, this work turns a difficult, numerical problem into a clean, analytical one. It provides a "closed-form calculus" for finite-temperature physics, meaning that instead of running slow, expensive computer simulations to count every vibration, physicists can now use these new formulas to get answers quickly and with built-in checks for accuracy. This is particularly useful for studying first-order phase transitions, where the potential energy landscape has "barriers" that are hard to navigate numerically. By having a formula that works everywhere, scientists can now map out the entire regulator dependence of these thermal observables continuously, rather than just at a few scattered points, opening the door to more precise studies of cosmological phase transitions and the gravitational waves they might produce.

Technical Summary: Closed-form thermal threshold functions for the proper-time renormalisation group

Problem Statement
The finite-temperature proper-time renormalisation group (PTRG) is a non-perturbative continuum method used to study thermodynamics, phase transitions, and critical phenomena in scalar field theories. While the PTRG offers analytic simplicity and has produced accurate critical exponents at zero temperature ( $T=0$ ), its application at finite temperature has been hindered by a lack of closed-form expressions for thermal threshold functions. Historically, these functions—dimensionless loop integrals describing how modes decouple from the flow—have been evaluated numerically by summing Matsubara modes individually. This numerical approach is computationally expensive and obscures the analytic structure of the flow. Although a closed form exists for the specific regulator parameter $m=5/2$ (where PTRG coincides with the exact Wetterich equation), no general closed-form solution was available for the standard one-parameter family of proper-time regulators.

Methodology
The paper derives closed-form expressions for the thermal threshold functions of the standard one-parameter proper-time kernel family, defined by the regulator function involving the incomplete Gamma function with parameter $m$ . The derivation proceeds as follows:

Matsubara Representation: The thermal threshold function $L_0$ is first expressed as a sum over Matsubara frequencies, resulting in a series with a quadratically shifted argument.
Poisson Resummation: The author applies Poisson resummation to the Matsubara sum. This transforms the sum over frequencies into a sum over winding numbers ( $\ell$ ) of thermal loops around the Euclidean time circle.
Integral Evaluation: By representing the terms as Mellin–Laplace integrals and utilizing the modular inversion of the Jacobi theta function, the integrals are evaluated using standard identities for modified Bessel functions ( $K_\nu$ ).
Algebraic Reduction: A key step involves establishing a cross-family algebraic identity. By analyzing the integrand before integration, the author proves that higher-order threshold functions $L_n$ (derivatives of $L_0$ with respect to the curvature) can be reduced to the base function $L_0$ evaluated at a shifted kernel parameter ( $m \to m+n$ ).
Sharp Regulator Limit: The sharp proper-time regulator (a delta-function kernel) is analyzed as the $m \to \infty$ endpoint of the family, demonstrating a controlled $O(1/m)$ convergence and a unique factorization property.

Key Contributions and Results

Closed-Form Thermal Thresholds: The primary result is the derivation of $L_0^{(m)}(w; \tau)$ as a rapidly convergent series of modified Bessel functions (Eq. 12). This expression is valid for any real regulator parameter $m > 2$ , any dimensionless curvature $w > -1$ , and any dimensionless temperature $\tau = T/k$ .
Cross-Family Identity: The paper establishes the identity $L_n^{(m)}(w; \tau) = \binom{m+n-1}{n} L_0^{(m+n)}(w; \tau)$ (Eq. 22). This allows all higher threshold functions required for derivative expansions (such as the anomalous dimension) to be computed using a single implementation of the base function $L_0$ with shifted parameters.
Sharp Regulator Factorization: The sharp regulator limit ( $m \to \infty$ ) is shown to factorize exactly into a field-dependent term ( $e^{-w}$ ) and a purely thermal term involving a Jacobi theta function (Eq. 15). This factorization does not hold for finite $m$ .
Finite-Temperature Anomalous Dimension: The paper extends the known zero-temperature construction of the anomalous dimension ( $\eta$ ) to finite temperature within the Local Potential Approximation with running anomalous dimension (LPA'). A closed-form expression for $\eta$ is provided (Eq. 44), which depends on the third threshold function $L_3$ .
Continuous Regulator Scan: Unlike previous studies that could only evaluate fixed points at isolated regulator values, the closed forms allow the LPA' fixed point (specifically the correlation-length exponent $\nu$ and anomalous dimension $\eta_*$ ) to be tracked as a continuous function of the regulator parameter $m$ .
Comparison with Wetterich Equation: The results are benchmarked against the exact Wetterich equation with the optimised Litim regulator.
- At $T=0$ , the $m=3$ PTRG reproduces the Wetterich flow exactly.
- At $T>0$ , the two schemes are generally inequivalent, differing in their decoupling behavior (algebraic vs. exponential) and approach to dimensional reduction.
- A unique coincidence occurs at $m=5/2$ , where the PTRG threshold function becomes identical to the Wetterich result for all $\tau$ and $w$ .
- The paper finds that while $\nu$ varies smoothly and remains bounded (within 1.3% of the $m=3$ value) across the regulator line, $\eta_*$ varies more significantly (approx. 30%), reflecting the sensitivity of $L_3$ to the regulator's decoupling power.

Significance and Claims
The paper claims to close a significant gap in the PTRG formalism by providing the first general closed-form expressions for thermal threshold functions. The significance lies in transforming the finite-temperature PTRG from a numerically intensive procedure into a "closed-form calculus."

Analytic Control: The results provide full analytic control over the regulator dependence of thermal observables, allowing for continuous scans of the regulator parameter rather than discrete sampling.
Efficiency: The derived Bessel-K winding series are exponentially convergent, offering a computationally efficient alternative to numerical Matsubara summation.
Consistency: The framework passes rigorous consistency checks, including the exact recovery of one-loop thermal perturbation theory under frozen curvature, correct zero-temperature limits, and proper dimensional reduction to 3D theories at high temperatures.
Limitations: The author modestly notes that the results are derived within the LPA and LPA' truncations. The observed deviations from 3D Ising critical exponents are attributed to the truncation of the potential to two couplings rather than the regulator scheme itself. Furthermore, the study assumes a field-independent wave-function renormalization ( $Z_k$ ) and does not address the $O(4)$ -breaking split between spatial and temporal components of $Z_k$ at finite temperature.

In summary, the paper provides the necessary analytic infrastructure to apply the PTRG to finite-temperature problems with the same ease and analytic transparency previously available only at zero temperature, while clarifying the precise relationship between proper-time flows and the exact Wetterich flow across the entire regulator family.

More like this