Search arXivSearch

arXiv · 1305.0687

Computer Algebra Algorithms for Special Functions in Particle Physics

Abstract

This work deals with special nested objects arising in massive higher order perturbative calculations in renormalizable quantum field theories. On the one hand we work with nested sums such as harmonic sums and their generalizations (S-sums, cyclotomic harmonic sums, cyclotomic S-sums) and on the other hand we treat iterated integrals of the Poincaré and Chen-type, such as harmonic polylogarithms and their generalizations (multiple polylogarithms, cyclotomic harmonic polylogarithms). The iterated integrals are connected to the nested sums via (generalizations of) the Mellin-transformation and we show how this transformation can be computed. We derive algebraic and structural relations between the nested sums as well as relations between the values of the sums at infinity and connected to it the values of the iterated integrals evaluated at special constants. In addition we state algorithms to compute asymptotic expansions of these nested objects and we state an algorithm which rewrites certain types of nested sums into expressions in terms of cyclotomic S-sums. Moreover we summarize the main functionality of the computer algebra package HarmonicSums in which all these algorithms and transformations are implemented. Furthermore, we present application of and enhancements of the multivariate Almkvist-Zeilberger algorithm to certain types of Feynman integrals and the corresponding computer algebra package MultiIntegrate.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jakob Ablinger. 2013-05-03. Computer Algebra Algorithms for Special Functions in Particle Physics. https://arxiv.org/abs/1305.0687

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

The quantum Almeida-Thouless line in the self-overlap-corrected quantum Sherrington-Kirkpatrick model

We present a complete analysis of the glass transition in the self-overlap-corrected Sherrington\--Kirkpatrick (SK) model in a transverse magnetic field, also referred to as the quantum SK (QSK) model. In particular, we determine the phase boundary separating the glassy and paramagnetic phases explicitly. Such an analytic characterization of the glass transition is not expected for the true QSK and even unknown for most vector glass models. Despite being of independent interest, the analysis of the self-overlap corrected QSK model serves as important ingredient in the characterization of paramagnetic behavior in the real QSK. The proof is based on a simplified Parisi variational principle for the quantum pressure, which only involves classical Parisi order parameters. As part of the proof, we also analyze the pressure of the self-overlap-constrained quantum SK model and its Parisi description, as well as the pressure of generalized quantum Hopfield models.

math-ph

How to Recover Oscillation-Free Pressure in Real Fluids: The RFQC Method and Its Liquid-Upwind Anomaly

From the perspective of continuum thermodynamics, we revisit the pressure oscillation problem in finite-volume methods for multiphase real fluids and clarify the physical counterpart of the Real Fluid Quasi-Conservative (RFQC) method. The pressure oscillation in conservative finite-volume methods originates from their implicit thermodynamic equilibrium assumption, whereas recovering an oscillation-free pressure requires additional physical information. The RFQC method achieves this by evolving the affine parameters xi and E0 of the isentropic internal-energy-pressure relation along pathlines, while the thermodynamic re-projection converts the deviation from the isentropic trajectory into an internal-energy error, thereby ensuring the thermodynamic consistency and numerical stability of the method. We then investigate the applicability limit of the RFQC method and identify a Liquid-upwind Anomaly (LUA) in extreme phase-change cases. For a Riemann problem involving liquid-vapor phase change, a numerical anomaly may occur if a liquid-upwind translational velocity is initially superimposed. Theoretical analysis reveals that this anomaly is initiated by the jump in the affine slope xi during phase change, which delays pressure rise in the downstream vapor cell. Concurrently, the re-projection removes the positive pressure increment, repeatedly generating large internal-energy errors and trapping the vapor cell in a cycle of delayed pressure recovery. The analysis indicates that the LUA is a start-up anomaly, which can be resolved by introducing a regularization strategy at the initial discontinuity. With the proposed regularization strategy, the RFQC method is equipped with enhanced accuracy and robustness for extreme thermodynamic flows, such as sonic phase-change jets.

math-ph

Nonlocal Cubic Density Gibbs Measures from Bosonic Gibbs States with Three-Body Interactions

We study the high-temperature mean-field limit of grand-canonical bosonic Gibbs states on the torus with renormalized nonlocal three-body interactions. In dimensions two and three, we construct the limiting nonlinear classical Gibbs measure and prove convergence of the relative free energy and of the reduced density matrices of every fixed order; in three dimensions, a smallness condition on the interaction is imposed. The proof combines the density-channel representation of the interaction with a coherent-state variational method based on the upper-symbol representation of the free Gibbs state. The same framework also contains, as a special case, the homogeneous positive-type model studied by Lewin, Nam, and Rougerie (2021).

math-ph