SearcharxivSearch

arXiv subjects

Souvik Bera

Publications and source records attributed to Souvik Bera.

12 recordsLinked to original sources

Elements of Topology, Differential Geometry and General Relativity for Physicists: A Mathematica-based Tutorial Approach

This book is a self-contained, tutorial introduction to topology, differential geometry, and general relativity for students and researchers in physics. Its distinguishing feature is a Mathematica-based approach that makes abstract constructions concrete through explicit, runnable notebooks and worked examples. A key contribution is a large collection of original Mathematica notebooks, written by the authors themselves, that let readers run, verify, and extend every demonstration. The first part covers point-set topology, topological spaces, continuity of maps, homotopy, and the fundamental group with applications that highlight the role of topology in modern physics. The second and largest part develops differential geometry from the ground up: manifolds, tangent and dual spaces, vector fields, pullbacks and pushforwards, Lie brackets and Lie algebras, local flows, and the Lie derivative. It then treats tensors, differential forms, the exterior derivative, volume forms, the metric tensor, and Hodge duality, emphasizing coordinate-free formulations and their computational realization. These tools are applied to Maxwell's equations in the language of forms and the generalized Stokes theorem, while Lie groups, fiber bundles, connections, and curvature bridge geometry and gauge-theoretic physics. The final part uses this framework to present general relativity, computing curvature tensors and field equations for standard spacetimes with dedicated Mathematica packages. Throughout, the book balances mathematical rigor with hands-on computation, enabling readers both to understand the theory and to reproduce every result themselves.

math-ph

HyperPrecision: A Mathematica package for High-Precision Numerical Evaluation of Multivariate Hypergeometric Functions

In this paper, we present HyperPrecision, a Mathematica package for high-precision numerical evaluation of general Horn-type multivariate hypergeometric functions and their Laurent expansions in a small parameter $\epsilon$. Such functions appear widely in physics and mathematics, with applications ranging from quantum field theory and string theory to number theory and statistics. Their high-precision numerical evaluation, however, remains challenging, since their defining series converge only in restricted domains and analytic continuation beyond these domains is, in general, non-trivial. HyperPrecision addresses this problem by automatically constructing the Pfaffian system of partial differential equations for a given hypergeometric function and restricting it to a one-dimensional contour in the space of variables connecting the starting to the target point. The resulting ordinary differential equation is then solved by the Frobenius method, with boundary conditions fixed analytically by the defining series. We illustrate the use of the package by evaluating commonly occurring multivariate hypergeometric functions, including the Appell $F_1$, $F_2$, $F_3$, and $F_4$ functions, the Horn $G$- and $H$-series, and the Lauricella $F_A$, $F_B$, $F_C$, and $F_D$ functions, as well as by considering applications to angular integrals, Feynman integrals, and cosmological and holographic correlators.

hep-ph

One-loop amplitudes for $t\bar{t}j$ and $t\bar{t}\gamma$ productions at the LHC through $\mathcal{O}(\epsilon^2)$

We present analytic expressions for the one-loop QCD helicity amplitudes contributing to top-quark pair production in association with a photon or a jet at the Large Hadron Collider (LHC), evaluated through $\mathcal{O}(\epsilon^2)$ in the dimensional regularisation parameter, $\epsilon$. These amplitudes are required to construct the two-loop hard functions that enter the NNLO QCD computation. The helicity amplitudes are expressed as linear combinations of algebraically independent components of the $\epsilon$-expanded master integrals--known as pentagon function--with the corresponding rational coefficients written in terms of momentum-twistor variables. We derive differential equations for the pentagon functions and solve them numerically using the generalised power series expansion method.

hep-ph

Analytic continuations and numerical evaluation of the Appell $F_1$, $F_3$, Lauricella $F_D^{(3)}$ and Lauricella-Saran $F_S^{(3)}$ and their Application to Feynman Integrals

We present our investigation of the study of two variable hypergeometric series, namely Appell $F_{1}$ and $F_{3}$ series, and obtain a comprehensive list of its analytic continuations enough to cover the whole real $(x,y)$ plane, except on their singular loci. We also derive analytic continuations of their 3-variable generalization, the Lauricella $F_{D}^{(3)}$ series and the Lauricella-Saran $F_{S}^{(3)}$ series, leveraging the analytic continuations of $F_{1}$ and $F_{3}$, which ensures that the whole real $(x,y,z)$ space is covered, except on the singular loci of these functions. While these studies are motivated by the frequent occurrence of these multivariable hypergeometric functions in Feynman integral evaluation, they can also be used whenever they appear in other branches of mathematical physics. To facilitate their practical use, we provide four packages: AppellF1$.$wl, AppellF3$.$wl, LauricellaFD$.$wl, and LauricellaSaranFS$.$wl in MATHEMATICA. These packages are applicable for generic as well as non-generic values of parameters, keeping in mind their utilities in the evaluation of the Feynman integrals. We explicitly present various physical applications of these packages in the context of Feynman integral evaluation and compare the results using other packages such as FIESTA. Upon applying the appropriate conventions for numerical evaluation, we find that the results obtained from our packages are consistent. Various Mathematica notebooks demonstrating different numerical results are also provided along with this paper.

hep-ph

$\texttt{ChisholmD.wl}$- Automated rational approximant for bi-variate series

The Chisholm rational approximant is a natural generalization to two variables of the well-known single variable Pad\'e approximant, and has the advantage of reducing to the latter when one of the variables is set equals to 0. We present, to our knowledge, the first automated Mathematica package to evaluate diagonal Chisholm approximants of two variable series. For the moment, the package can only be used to evaluate diagonal approximants i.e. the maximum powers of both the variables, in both the numerator and the denominator, is equal to some integer $M$. We further modify the original method so as to allow us to evaluate the approximants around some general point $(x,y)$ not necessarily $(0,0)$. Using the approximants around general point $(x,y)$, allows us to get a better estimate of the result when the point of evaluation is far from $(0,0)$. Several examples of the elementary functions have been studied which shows that the approximants can be useful for analytic continuation and convergence acceleration purposes. We continue our study using various examples of two variable hypergeometric series, $\mathrm{Li}_{2,2}(x,y)$ etc that arise in particle physics and in the study of critical phenomena in condensed matter physics. The demonstration of the package is discussed in detail and the Mathematica package is provided as an ancillary file.

cs.MS

$\texttt{AlgRel.wl}$: Algebraic Relations for the Product of Propagators in Feynman integrals

Motivated by the foundational work of Tarasov, who pointed out that the algebraic relations of the type considered here can lead to functional reduction of Feynman integrals, we suitably modify the original method to be able to implement and automatize it and present a $\textit{Mathematica}$ package $\texttt{AlgRel.wl}$. The purpose of this package is to help derive the algebraic relations with arbitrary kinematic quantities, for the product of propagators. Under specific choices of the arbitrary parameters that appear in these relations, we can write the original integral with all massive propagators in general, as a sum of integrals which have fewer massive propagators. The resulting integrals are of reduced complexity for computational purposes. For the one-loop cases, with all different and non-zero masses, this would result in integrals with one massive propagator. We also devise a strategy so that the method can also be applied to higher-loop integrals. We demonstrate the procedure and the results obtained using the package for various one-loop and higher-loop examples. Due to the fact that the Feynman integrals are intimately related to the hypergeometric functions, a useful consequence of these algebraic relations is in deriving the sets of non-trivial reduction formulae. We present various such reduction formulae and further discuss how, more such formulae can be obtained than described here. The $\texttt{AlgRel.wl}$ package and an example notebook $\texttt{Examples.nb}$ can be found at https://github.com/TanayPathak-17/Algebraic-relation-for-the-product-of-propagators

hep-ph

$\texttt{MultiHypExp}$: A Mathematica Package For Expanding Multivariate Hypergeometric Functions In Terms Of Multiple Polylogarithms

We present the Mathematica package $\texttt{MultiHypExp}$ that allows for the expansion of multivariate hypergeometric functions (MHFs), especially those likely to appear as solutions of multi-loop, multi-scale Feynman integrals, in the dimensional regularization parameter. The series expansion of MHFs can be carried out around integer values of parameters to express the series coefficients in terms of multiple polylogarithms. The package uses a modified version of the algorithm prescribed in arXiv:2208.01000v2. In the present work, we relate a given MHF to a Taylor series expandable MHF by a differential operator. The Taylor expansion of the latter MHF is found by first finding the associated partial differential equations (PDEs) from its series representation. We then bring the PDEs to the Pfaffian system and further to the canonical form, and solve them order by order in the expansion parameter using appropriate boundary conditions. The Taylor expansion so obtained and the differential operators are used to find the series expansion of the given MHF. We provide examples to demonstrate the algorithm and to describe the usage of the package, which can be found in https://github.com/souvik5151/MultiHypExp.

hep-th

$ε$-Expansion of Multivariable Hypergeometric Functions Appearing in Feynman Integral Calculus

We present a new methodology, suitable for implementation on computer, to perform the $ε$-expansion of hypergeometric functions with linear $ε$ dependent Pochhammer parameters in any number of variables. Our approach allows one to perform Taylor as well as Laurent series expansion of multivariable hypergeometric functions. Each of the coefficients of $ε$ in the series expansion is expressed as a linear combination of multivariable hypergeometric functions with the same domain of convergence as that of the original hypergeometric function. We present illustrative examples of hypergeometric functions in one, two and three variables which are typical of Feynman integral calculus.

math-ph

FeynGKZ: a Mathematica package for solving Feynman integrals using GKZ hypergeometric systems

In the Lee-Pomeransky representation, Feynman integrals can be identified as a subset of Euler-Mellin integrals, which are known to satisfy Gel'fand-Kapranov-Zelevinsky (GKZ) system of partial differential equations. Here we present an automated package to derive the associated GKZ system for a given Feynman diagram and solve it in terms of hypergeometric functions using two equivalent algorithms, namely the triangulation method and the Gröbner deformation method. We present our code in the form of a Mathematica package FeynGKZ.wl which requires the softwares polymake, Macaulay2 and TOPCOM, and the packages AMBRE and Olsson.wl as dependencies. As applications of the package, we find series solutions to the GKZ systems of several one-loop and two-loop Feynman integrals. These are included in the file Examples.nb that can be downloaded along with the package from https://github.com/anant-group/FeynGKZ.

hep-th

Analytic continuations of the Horn $H_1$ and $H_5$ functions

The analytic continuations (ACs) of the double variable Horn $H_1$ and $H_5$ functions have been derived for the first time using the automated symbolic $\textit{Mathematica}$ package $\texttt{Olsson.wl}$. The use of Pfaff-Euler transformations have been emphasised to derive AC to cover regions which are otherwise not possible. The corresponding region of convergence (ROC) is obtained using its companion package $\texttt{ROC2.wl}$. A $\textit{Mathematica}$ package $\texttt{HornH1H5.wl}$, containing all the derived ACs and the associated ROCs, along with a demonstration file of the same is made publicly available in https://github.com/souvik5151/Horn_H1_H5 .

math-ph

Olsson.wl : a Mathematica package for the computation of linear transformations of multivariable hypergeometric functions

We present the Olsson$.$wl Mathematica package which aims to find linear transformations for some classes of multivariable hypergeometric functions. It is based on a well-known method developed by P. O. M. Olsson in J. Math. Phys. 5, 420 (1964) in order to derive the analytic continuations of the Appell $F_1$ double hypergeometric series from the linear transformations of the Gauss $_2F_1$ hypergeometric function. We provide a brief description of Olsson's method and demonstrate the commands of the package, along with examples. We also provide a companion package, called ROC2$.$wl and dedicated to the derivation of the regions of convergence of double hypergeometric series. This package can be used independently of Olsson$.$wl.

cs.MS

On the evaluation of the Appell $F_2$ double hypergeometric function

The transformation theory of the Appell $F_2(a,b_1,b_2;c_1,c_2;x,y)$ double hypergeometric function is used to obtain a set of series representations of $F_2$ which provide an efficient way to evaluate $F_2$ for real values of its arguments $x$ and $y$ and generic complex values of its parameters $a,b_1, b_2, c_1$ and $c_2$ (i.e. in the nonlogarithmic case). This study rests on a classical approach where the usual double series representation of $F_2$ and other double hypergeometric series that appear in the intermediate steps of the calculations are written as infinite sums of one variable hypergeometric series, such as the Gauss $_2F_1$ or the $_3F_2$, various linear transformations of the latter being then applied to derive known and new formulas. Using the three well-known Euler transformations of $F_2$ on these results allows us to obtain a total of 44 series which form the basis of the Mathematica package AppellF2, dedicated to the evaluation of $F_2$. A brief description of the package and of the numerical analysis that we have performed to test it are also presented.

math.CA