Related papers: Feynman-diagram evaluation in the electroweak theo…
By using effective field theory techniques for the standard model, we discuss the issue of what $\mu$ scale is the appropriate one in the QCD corrections to the large-$\mt$ electroweak contributions to $\Delta r$. This needs the…
We show, in great detail, how the perturbative tools of quantum field theory allow one to rigorously obtain: a ``categorified'' Faa di Bruno type formula for multiple composition, an explicit formula for reversion and a proof of…
This article explains how to apply the computer algebra package GAP (www.gap-system.org) in the computation of the problems in quantum physics, in which the application of Lie algebra is necessary. The article contains several exemplary…
High-precision calculations of the energy levels of the superheavy elements E119 and E120+ are presented. Dominating correlation corrections beyond relativistic Hartree-Fock are included to all orders in the Coulomb interaction using the…
Stable reduction methods will be important in the evaluation of high-order perturbative diagrams appearing in QCD and mixed QCD-electroweak radiative corrections at the LHC. Differential reduction techniques are useful for relating…
Modern particle physics is increasingly becoming a precision science that relies on advanced theoretical predictions for the analysis and interpretation of experimental results. The planned physics program at the LHC and future colliders…
Measurements of electroweak precision observables at future electron-positron colliders, such as the CEPC, FCC-ee, and ILC, will be sensitive to physics at multi-TeV scales. To achieve this sensitivity, precise predictions for the Standard…
The Weizsacker-Williams method is a semiclassical approximation scheme used to analyze a wide variety of electromagnetic interactions. It can greatly simplify calculations that would otherwise be impractical or impossible to carry out using…
This text reviews, hopefully in a pedagogical manner, a series of work on the automatic calculations of Feynman diagrams in the context of quantum nanoelectronics (Keldysh formalism) with an application to the Kondo effect in the…
Electroweak Sudakov logarithms at high energy, of the form alpha/(sin^2theta_W)^n log^m s/M_{Z,W}^2, are summed using effective theory methods. The corrections are computed to processes involving two external particles in the standard…
Feynman integral reduction by means of integration-by-parts identities is a major power gadget in a theorist toolbox indispensable for calculation of multiloop quantum effects relevant for particle phenomenology and formal theory alike. An…
We propose a new symbolic algorithm and a C++ program for generating and calculating supersymmetric Feynman diagrams for ${\cal N}=1$ supersymmetric electrodynamics regularized by higher derivatives in four dimensions. According to standard…
We present results on the two-loop leading and angular-dependent next-to-leading logarithmic virtual corrections to arbitrary processes at energies above the electroweak scale. In the `t Hooft-Feynman gauge the relevant Feynman diagrams…
In the literature of calculating atomic and molecular structures, most Schrodinger equations are described by Coulomb potential. However, there are also a few literatures that discuss some magnetic correction methods, such as Pauli and…
The availability of computational modeling tools for subatomic physics (Form, FeynArts, FormCalc, and FeynCalc) has made it possible to perform sophisticated calculations in perturbative quantum field theory. We have adapted these packages…
Quantum field theory (QFT) for interacting many-electron systems is fundamental to condensed matter physics, yet achieving accurate solutions confronts computational challenges in managing the combinatorial complexity of Feynman diagrams,…
As we begin to reach the limits of classical computing, quantum computing has emerged as a technology that has captured the imagination of the scientific world. While for many years, the ability to execute quantum algorithms was only a…
As dynamic and control systems become more complex, relying purely on numerical computations for systems analysis and design might become extremely expensive or totally infeasible. Computer algebra can act as an enabler for analysis and…
Quantum computing promises substantial speedups by exploiting quantum mechanical phenomena such as superposition and entanglement. Corresponding design methods require efficient means of representation and manipulation of quantum…
Ab initio predictions of two-loop electroweak contributions to observables are increasingly essential for precision collider experiments, yet their evaluation remains very challenging. We connect recurrence techniques and dispersive method…