SD.h

Go to the documentation of this file.

 
#pragma once
 
extern "C" {
    #include <quadmath.h>
}
 
#include <dlfcn.h>
#include <string>
#include <signal.h>
#include <sys/syscall.h>
#include <sys/wait.h>
#include <sstream>
#include <ios>
#include <regex>
#include <complex>
#include "mpreal.h"
#include "BASIC.h"
 
namespace HepLib::SD {
    
    using namespace HepLib;
 
    /*-----------------------------------------------------*/
    // Global Functions
    /*-----------------------------------------------------*/
    exvector get_xy_from(ex pol);
    exvector get_x_from(ex pol);
    exvector get_y_from(ex pol);
    exvector get_z_from(ex pol);
    exvector get_pl_from(ex pol);
    int epsRank(ex,ex);
    int vsRank(ex);
    int x_free_index(ex expr);
    int y_free_index(ex expr);
    ex Factor(const ex expr);
    ex FactorOutX(const ex expr);
    ex exp_simplify(const ex);
    ex pow_simplify(const ex);
    ex xyz_pow_simplify(const ex expr);
    
    /*-----------------------------------------------------*/
    // Customized GiNaC Function
    /*-----------------------------------------------------*/
    DECLARE_FUNCTION_1P(fabs)
    DECLARE_FUNCTION_1P(PL)
    DECLARE_FUNCTION_1P(CT)
    DECLARE_FUNCTION_2P(FTX)
    DECLARE_FUNCTION_2P(VE)
    DECLARE_FUNCTION_2P(VEO)
    DECLARE_FUNCTION_2P(VEO2)
    DECLARE_FUNCTION_2P(CV) // not used internally, for user use only
    DECLARE_FUNCTION_1P(WRA) // for wick rotation
    extern int VEO_Digits;
    
    struct FeynmanParameter {
        lst LoopMomenta;
        lst tLoopMomenta;
        lst Propagator;
        lst Exponent;
        exmap lReplacement;
        exmap tReplacement;
        exmap nReplacement;
        ex Prefactor = 1;
        bool isQuasi = false;
        bool isAsy = false;
    };
 
    struct XIntegrand {
        lst Function;
        lst Exponent;
        exmap nReplacement;
        lst Deltas;
        bool isAsy = false;
    };
 
    class SecDecBase {
    public:
        virtual ~SecDecBase() { }
        virtual vector<exmap> x2y(const ex &xpol) =0;
        vector<exmap> x2y(const lst &xpols);
        bool use_XMonomials;
        static bool VerifySD(vector<exmap> vmap, bool quick = true);
        static ex XMonomials(const ex & expr);
    };
 
    class SecDecG : public SecDecBase {
    public:
        vector<exmap> x2y(const ex &xpol) override;
        static vector<vector<int>> RunQHull(const matrix &pts);
    private:
        vector<matrix> ZeroFaces(const matrix &pts);
        matrix NormalVectors(const vector<matrix> &zfs);
        matrix DualCone(const matrix &pts);
        vector<matrix> SimplexCones(matrix pts);
    };
 
    /*-----------------------------------------------------*/
    // Integrator Classes
    /*-----------------------------------------------------*/
    
    typedef long double dREAL;
    typedef complex<dREAL> dCOMPLEX;
    typedef __float128 qREAL;
    typedef __complex128 qCOMPLEX;
    typedef mpfr::mpreal mpREAL;
    typedef complex<mpREAL> mpCOMPLEX;
 
    class IntegratorBase {
    public:
        virtual ~IntegratorBase() { }
        
        typedef int (*SDD_Type) (const unsigned int xn, const dREAL x[], const unsigned int yn, dREAL y[], const dREAL pl[], const dREAL las[]);
        typedef int (*SDQ_Type) (const unsigned int xn, const qREAL x[], const unsigned int yn, qREAL y[], const qREAL pl[], const qREAL las[]);
        typedef int (*SDMP_Type) (const unsigned int xn, const mpREAL x[], const unsigned int yn, mpREAL y[], const mpREAL pl[], const mpREAL las[]);
        typedef qREAL (*FT_Type) (const qREAL xx[], const qREAL pl[]);
        virtual ex Integrate(size_t n=0) =0;
        
        FT_Type FT = NULL;
        SDD_Type IntegrandD = NULL;
        SDQ_Type IntegrandQ = NULL;
        SDMP_Type IntegrandMP = NULL;
        const dREAL* dLambda;
        const dREAL* dParameter;
        const qREAL* qLambda;
        const qREAL* qParameter;
        const mpREAL* mpLambda;
        const mpREAL* mpParameter;
        int XDim;
        
        qREAL EpsAbs = 1E-5;
        qREAL EpsRel = 0;
        int ReIm = 3; // 1-Re, 2-Im, 3-ReIm
        int MPDigits = 64;
        size_t NEval = 0;
    protected:
        time_t StartTimer; // used internally
        size_t RunTime = 0;
    };
 
    class HCubature : public IntegratorBase {
    public:
        static int Wrapper(unsigned int xdim, size_t npts, const qREAL *x, void *fdata, unsigned int ydim, qREAL *y);
        
        typedef void (*PrintHookerType) (qREAL*, qREAL*, size_t *, void *);
        
        virtual ex Integrate(size_t n=0) override;
        static void DefaultPrintHooker(qREAL*, qREAL*, size_t *, void*);
        PrintHookerType PrintHooker = DefaultPrintHooker;
        bool use_last = false;
        
        int DQMP = 0;
        int QXDim = 0;
        int MPXDim = 0;
        qREAL QXLimit = 1E-6Q;
        qREAL MPXLimit = 1E-8Q;
        qREAL QFLimit = -1;
        qREAL MPFLimit = -1;
        size_t RunMAX = 100;
        size_t RunPTS = 100000;
        size_t MinPTS = 0;
        size_t MaxPTS; // used internally
        unsigned int Threads = 0;
    private:
        int NANMax = 250;
        int nNAN = 0;
        size_t lastNRUN = 0;
        qREAL LastResult[2];
        qREAL LastAbsErr[2];
        int lastnNAN = 0;
        int LastState = 0;
        
        int inDQMP(qREAL const *x);
    };
    
    class HCubatureMP : public IntegratorBase {
    public:
        static int Wrapper(unsigned int xdim, size_t npts, const mpREAL *x, void *fdata, unsigned int ydim, mpREAL *y);
        typedef void (*PrintHookerType) (mpREAL*, mpREAL*, size_t *, void *);
        virtual ex Integrate(size_t n=0) override;
        static void DefaultPrintHooker(mpREAL*, mpREAL*, size_t *, void*);
        PrintHookerType PrintHooker = DefaultPrintHooker;
        size_t RunMAX = 100;
        size_t RunPTS = 100000;
        size_t MinPTS = 0;
        size_t MaxPTS; // used internally
        unsigned int Threads = 0;
    private:
        ex mp2ex(const mpREAL & num);
        int NANMax = 250;
        int nNAN = 0;
        bool use_last = false;
        size_t lastNRUN = 0;
        mpREAL LastResult[2];
        mpREAL LastAbsErr[2];
        int lastnNAN = 0;
        int LastState = 0;
        
        int inDQMP(qREAL const *x);
    };
    
    class TanhSinhMP : public IntegratorBase {
    public:
        static int Wrapper(unsigned ydim, mpREAL *y, mpREAL *e, unsigned xdim, const mpREAL *x, void *fdata);
        typedef void (*PrintHookerType) (mpREAL *, mpREAL *, size_t *, void *);
        virtual ex Integrate(size_t n=0) override;
        static void DefaultPrintHooker(mpREAL *, mpREAL *, size_t *, void *);
        PrintHookerType PrintHooker = DefaultPrintHooker;
        TanhSinhMP(size_t k=10);
    private:
        ex mp2ex(const mpREAL & num);
        size_t K = 10;
    };
    
    class QuadMP : public IntegratorBase {
    public:
        static int Wrapper(unsigned yn, mpREAL *y, mpREAL *e, unsigned xdim, const mpREAL *x, void *fdata);
        typedef void (*PrintHookerType) (mpREAL*, mpREAL*, size_t *, void *);
        virtual ex Integrate(size_t n=0) override;
        static void DefaultPrintHooker(mpREAL *, mpREAL *, size_t *, void *);
        PrintHookerType PrintHooker = DefaultPrintHooker;
        QuadMP() { }
        QuadMP(size_t m) : mGK(m) { }
        size_t nGK = 100;
        size_t mGK = 10;
    private:
        ex mp2ex(const mpREAL & num);
    };
 
    typedef long double dREAL;
    class MinimizeBase {
    public:
        typedef dREAL (*FunctionType)(int nvars, dREAL* x, dREAL* pl, dREAL *las);
        virtual dREAL FindMinimum(int nvars, FunctionType func, dREAL *PL = NULL, dREAL *las = NULL, dREAL *UB = NULL, dREAL *LB = NULL, dREAL *IP = NULL, bool compare0 = false, int TryPTS=0, int SavePTS=0) =0;
        dREAL ZeroValue = -1E-20;
        virtual void Minimize(int nvars, FunctionType func, dREAL *ip)=0;
        virtual void ForceStop()=0;
    };
 
    class HookeJeeves : public MinimizeBase {
    public:
        virtual dREAL FindMinimum(int nvars, FunctionType func, dREAL *PL = NULL, dREAL *las = NULL, dREAL *UB = NULL, dREAL *LB = NULL, dREAL *IP = NULL, bool compare0 = false, int TryPTS=0, int SavePTS=0) override;
        bool Exit = false;
        virtual void Minimize(int nvars, FunctionType func, dREAL *ip) override;
        virtual void ForceStop() override;
        
    private:
        dREAL best_nearby(dREAL* delta, dREAL* point, dREAL prevbest, int nvars);
        int hooke(int nvars, dREAL* startpt, dREAL* endpt, dREAL rho, dREAL epsilon, int itermax);
        dREAL ObjectWrapper(int nvars, dREAL* x);
        FunctionType ObjectFunction;
        dREAL UpperBound[50];
        dREAL LowerBound[50];
        dREAL *PL;
        dREAL *LAS;
    };
 
    class CppFormat : public print_csrc_cl_N {
        GINAC_DECLARE_PRINT_CONTEXT(CppFormat, print_csrc_cl_N)
    public:
        CppFormat(ostream &os, const string & s = "L", unsigned opt = 0);
        string suffix;
        string MQuote = "\"";
        
        template<class T> const CppFormat & operator << (const T & v) const {
            s << v;
            return *this;
        };
        const CppFormat & operator << (const basic & v) const;
        const CppFormat & operator << (const ex & v) const;
        const CppFormat & operator << (const lst & v) const;
        const CppFormat & operator<<(std::ostream& (*v)(std::ostream&)) const;
        
        #ifndef DOXYGEN_SKIP
        class _init {
            public: _init();
        };
        #endif
    private:
        #ifndef DOXYGEN_SKIP
        static _init CppFormat_init;
        #endif
        static void print_integer(const CppFormat & c, const cln::cl_I & x);
        static void print_real(const CppFormat & c, const cln::cl_R & x);
        static void print_numeric(const numeric & p, const CppFormat & c, unsigned level);
    };
    
    class ExFormat : public print_dflt {
        GINAC_DECLARE_PRINT_CONTEXT(ExFormat, print_dflt)
    public:
        ExFormat(ostream &os, const string & s = "L", unsigned opt = 0);
        string suffix;
        string type = "ex";
        string MQuote = "\"";
        
        template<class T> const ExFormat & operator << (const T & v) const {
            s << v;
            return *this;
        };
        const ExFormat & operator << (const basic & v) const;
        const ExFormat & operator << (const ex & v) const;
        const ExFormat & operator << (const lst & v) const;
        const ExFormat & operator<<(std::ostream& (*v)(std::ostream&)) const;
        
        class _init {
            public: _init();
        };
    private:
        static _init ExFormat_init;
        static void print_integer(const ExFormat & c, const cln::cl_I & x);
        static void print_real(const ExFormat & c, const cln::cl_R & x);
        static void print_numeric(const numeric & p, const ExFormat & c, unsigned level);
    };
 
    /*-----------------------------------------------------*/
    // VE
    /*-----------------------------------------------------*/
    ex VESimplify(ex expr);
    ex VEResult(ex expr);
    ex VEResult2(ex expr); // keep two digits in error
    ex VEMaxErr(ex expr);
 
    class ErrMin {
    public:
        static IntegratorBase *Integrator;
        static qREAL *paras;
        static dREAL err_max;
        static dREAL err_min;
        static size_t MaxRND;
        static size_t RunRND;
        static MinimizeBase *miner;
        static dREAL *lambda;
        static dREAL hjRHO;
        static ex lastResErr;
        static dREAL IntError(int nvars, dREAL *las, dREAL *n1, dREAL *n2);
    };
    
    class ChengWu {
    public:
        static bool isProjective(const ex fe, const ex delta);
        static void Projectivize(ex &fe, const ex delta, const ex xsum=0);
        static void Scalelize(ex &fe, const lst xs, const ex cy);
        static void Scalelize(ex &fe, const ex xi, const ex cy);
        static exvector Binarize(ex const fe, ex const eqn);
        static void Binarize(ex const fe, ex const eqn, exvector & ovec);
        static bool isLinearizable(const ex ft, const ex delta, lst & xcs);
        static void Linearize(const lst xcs, ex & fe, ex & ft);
        static bool isPartilizable(const ex ft, const ex delta, lst &xcs, int mode=0);
        static void Partilize(const lst xcs, const lst delta, const ex fe, exvector & ret_lst);
        
        static exvector Evaluate(const ex & fe);
        static exvector WickRotation(const exvector & fe_vec);
        static exvector Apply(const exvector & fe_vec, const ex & ft=0);
        inline static exvector Apply(const ex & fe, const ex & ft=0) {
            exvector fe_vec;
            fe_vec.push_back(fe);
            return Apply(fe_vec, ft);
        }
    };
 
    class SecDec {
 
    public:
        static bool use_dlclose;
        static string cpp;
        
        lst eps_lst = { lst{eps,0}, lst{ep,0} }; // { {epi, epiN}, ... }
        int vsN = 0;
        int PoleRequested = -5;
        bool vs_before_ep = false;
        bool use_XMonomials = true;
        bool disable_Contour = false;
        exmap nReplacement;
        exvector FunExp; // each item : { {f1,f2,...}, {n1,n2,...}, { delta_list1, delta_list2 } }
        exvector Integrands;
        exvector expResult;
        SecDecBase *SecDec = NULL;
        IntegratorBase *Integrator = NULL;
        MinimizeBase *Minimizer = NULL;
        ex ResultError;
        bool IsZero = false;
        bool CheckEnd = false;
        bool use_ErrMin = false;
        bool use_las = false;
        bool save_las = false;
        int IBF = 0; // 0 - not use IBF
        bool use_Normalizes = true;
        bool use_XReOrders = false;
        int MPDigits = 0; // digits in mpREAL for MP
        lst BisectionPoints = lst { ex(1)/13, ex(1)/19, ex(1)/29, ex(1)/59, ex(1)/41, ex(1)/37, ex(1)/43, ex(1)/53  };
        
        map<int, numeric> Parameter; // used Contours and Integrates, use PL in Prepares part
        
        // used in Contours
        bool CTMaxF = true;
        dREAL CTLaMax = 10; // CTLaMax<0 for explict REAL mode
        int CTTryPTS = 3;
        int CTSavePTS = 3;
        
        size_t LambdaSplit = 5;
        qREAL IntLaMax = 50;
        int CTryM = 1; // try lambda in Middle
        int CTryL = 1; // try lambda in Left
        int CTryR = 1; // try lambda in Right
        size_t CTryI = 0; // integrator limit in CTry
        dREAL CTryRRatio = 1.5;
        int soLimit = 10000;
        
        qREAL EpsAbs = 1E-4;
        int ReIm = 3; // 1-Re, 2-Im, 3-ReIm
        
        void Initialize(FeynmanParameter fpi);
        void Initialize(XIntegrand xint);
        void BiSection(ex xi, ex x0);
        void Normalizes();
        void Scalelesses();
        void SDPrepares();
        void EpsExpands();
        void RemoveDeltas();
        void XReOrders();
        void XTogethers();
        void XExpands();
        void KillPowers(int bits=1+2);
        bool IsBad(ex f, vector<exmap> vmap);
        exvector AutoEnd(ex po_ex);
        void CIPrepares(const string & key = "");
        void Contours(const string & key = "", const string & pkey = "");
        void Integrates(const string & key="", const string & pkey="", int kid=0);
        void ReIntegrates(const string & key, const string & pkey, qREAL err);
        void Evaluate(FeynmanParameter fpi, const string & key = "");
        void Evaluate(XIntegrand xint, const string & key = "");
        void Evaluate(const exvector & FunExp, const string & key = "");
        void MB();
        void XEnd();
        void ChengWu(const ex & ft=0);
        
        static bool VerifySD(vector<exmap> vmap, bool quick = true);
        static ex XRefined(ex const & ft);
        static lst XRefined_lst(ex const & ft);
        static ex PrefactorFIESTA(int nLoop);
        ex VEResult();
        void VEPrint(bool endlQ=true);
        static ex PExpand(ex xpol, bool delta=true);
        static int PRank(matrix m);
        static ex ContinuousWRA(ex expr_in, int nc=15);
        
        ~SecDec();
                
    private:
        exvector DS(const ex po_ex);
        lst Normalize(const ex &input);
        void DoAsy();
        bool KillPowerD(ex fe, int kpi);
        bool KillPower(ex fe, int kpi, int bits);
 
        void CompileMatDet();
        vector<lst> ciResult;
        lst FT_N_XN; // list of { ft, n, xn }
        exmap LambdaMap;
        
    };
 
    class cseParser {
    public:
        ex Parse(ex expr, bool reset=true);
        string oc = "o";
        int on();
        vector<pair<int, ex>> os();
    private:
        map<ex, ex, ex_is_less> ex_var_map;
        int no = 0;
        vector<pair<int, ex>> o_ex_vec;
        map<int, int> used;
    };
    
    class cse_Parser { // just a bit try
    public:
        ex Parse(ex expr) { return Parse(expr, true); }
        string v = "v";
        int vn();
        const vector<pair<int,ex>> & vs();
    private:
        ex Parse(ex expr, bool reset);
        map<ex, int, ex_is_less> exn;
        int no = 0;
        exvector exv;
        map<int, int> used;
        vector<pair<int,ex>> on_ex_vec;
    };
    
}