Himalaya_LibraryLink.m

InitializeHimalaya::usage = "Loads the Himalaya LibraryLink.  After
 InitializeHimalaya[] has been called, the function
 HimalayaCalculateDMh3L[] is available.

Usage:

  InitializeHimalaya[libraryLink];

Arguments:

 - libraryLink - The path to the Himalaya LibraryLink, 'Himalaya_LibraryLink.so'

";

HimalayaCalculateDMh3L::usage = "Runs Himalaya, given a set of input
parameters, and returns a list with all calculated loop corrections.

Usage:

  output = HimalayaCalculateDMh3L[settings -> {...}, parameters -> {...}];

Arguments:

 - settings - List of replacement rules with calculational settings.
   Allowed settings are:

    - bottom -> (True | False): calculate alpha_bottom (True) or
      alpha_top (False) corrections.  Default: False

    - loopOrder -> (0 | 1 | 2 | 3): calculate corrections up to
      (including) this loop order, skip all higher orders.  Default: 3

    - verbose -> (True | False): print verbose output.  Default: True

 - parameters - List of replacement rules for the running MSSM input
   parameters.  Same definition as in Himalaya_interface.hpp.
   Allowed parameters are:

    - scale: renormalization scale
    - mu: superpotential mu parameter
    - g1: GUT-normalized Hypercharge gauge coupling (gY = Sqrt[3/5] g1)
    - g2: SU(2)_L gauge coupling
    - g3: strong gauge coupling
    - vd: neutral down-type Higgs VEV (Sqrt[vu^2 + vd^2] ~ 246 GeV)
    - vu: neutral up-type Higgs VEV (Sqrt[vu^2 + vd^2] ~ 246 GeV)
    - mq2: 3x3 matrix of soft-breaking left-handed squark squared mass parameters
    - md2: 3x3 matrix of soft-breaking right-handed down-type squark squared mass parameters
    - mu2: 3x3 matrix of soft-breaking right-handed up-type squark squared mass parameters
    - ml2: 3x3 matrix of soft-breaking left-handed slepton squared mass parameters
    - me2: 3x3 matrix of soft-breaking right-handed down-type slepton squared mass parameters
    - Au: 3x3 matrix of trilinear up-type squark coupling
    - Ad: 3x3 matrix of trilinear down-type squark coupling
    - Ae: 3x3 matrix of trilinear down-type slepton coupling
    - Yu: 3x3 matrix of up-type quark Yukawa coupling
    - Yd: 3x3 matrix of down-type quark Yukawa coupling
    - Ye: 3x3 matrix of down-type lepton Yukawa coupling
    - MA: CP-odd Higgs boson mass
    - M1: bino mass
    - M2: wino mass
    - M3: gluino mass
    - MW: (optional) W boson mass
    - MZ: (optional) Z boson mass
    - Mt: (optional) top quark mass
    - Mb: (optional) bottom quark mass
    - Mtau: (optional) tau lepton mass
    - MSt: (optional) 2-vector with stop masses
    - MSb: (optional) 2-vector with sbottom masses
    - MStau: (optional) 2-vector with stau masses
    - s2t: (optional) sine of 2 times stop mixing angle
    - s2b: (optional) sine of 2 times sbottom mixing angle
    - s2tau: (optional) sine of 2 times stau mixing angle

Output: A list of replacement rules with

 - hierarchyID: ID of the used (best fitting) mass hierarchy
 - hierarchyName: name of the used (best fitting) mass hierarchy
 - MstopMDRPrime: used stop masses, defined in the MDR' scheme [only available if bottom == False]
 - MsbottomMDRPrime: used sbottom masses, defined in the MDR' scheme [only available if bottom == True]
 - Mh2: list with {0L, 1L, 2L, 3L} CP-even Higgs mass matrix corrections (DR' scheme)
 - Mh2ShiftDRbarPrimeToMDRPrime: list with {0L, 1L, 2L, 3L} shifts from DR' -> MDR' scheme
 - Mh2ShiftDRbarPrimeToH3m: list with {0L, 1L, 2L, 3L} shifts from DR' -> H3m scheme
 - expansionUncertainty: uncertainty from mass expansion for 0-, 1-, 2- and 3-loop correction
 - Mh2EFTAt: list with {0L, 1L, 2L, 3L} squared light CP-even Higgs mass contribution in the decoupling limit (DR' scheme) (only at-enhanced contributions)
 - Mh2FO: list with {0L, 1L, 2L, 3L} squared light CP-even Higgs mass contribution (DR' scheme)
 - Mh2FOAt: list with {0L, 1L, 2L, 3L} squared light CP-even Higgs mass contribution (DR' scheme) (only at-enhanced contributions)
 - lambda: {0L, 1L, 2L, 3L} correction to lambda, in DR' scheme, w/ full logarithms
 - lambdaUncertainty: uncertainty of lambda {0L, 1L, 2L, 3L}
 - lambdaShiftDRbarPrimeToMSbar: shifts from DR' -> MS scheme for lambda {0L, 1L, 2L, 3L}

Example:

MS = 2000;
TB = 20;
Xt = Sqrt[6]*MS;

output = HimalayaCalculateDMh3L[
    settings -> {
        bottom -> False,
        loopOrder -> 3,
        verbose -> True
    },
    parameters -> {
        scale -> MS,
        mu -> MS,
        g1 -> 0.46,
        g2 -> 0.65,
        g3 -> 1.166,
        vd -> 246*Cos[ArcTan[TB]],
        vu -> 246*Sin[ArcTan[TB]],
        mq2 -> MS^2 IdentityMatrix[3],
        md2 -> MS^2 IdentityMatrix[3],
        mu2 -> MS^2 IdentityMatrix[3],
        ml2 -> MS^2 IdentityMatrix[3],
        me2 -> MS^2 IdentityMatrix[3],
        Au -> {{0,0,0},
               {0,0,0},
               {0,0, Xt + MS/TB }},
        Ad -> 0 IdentityMatrix[3],
        Ae -> 0 IdentityMatrix[3],
        Yu -> {{0,0,0},
               {0,0,0},
               {0,0, 0.862 }},
        Yd -> {{0,0,0},
               {0,0,0},
               {0,0, 0.133 }},
        Ye -> {{0,0,0},
               {0,0,0},
               {0,0, 0.101 }},
        MA -> MS,
        M1 -> MS,
        M2 -> MS,
        M3 -> MS
    }
];
";

(* function arguments *)
{ parameters, settings };

(* settings *)
{ bottom, loopOrder, verbose };

(* input parameters *)
{ scale, mu, g1, g2, g3, vd, vu,
  mq2, md2, mu2, ml2, me2, Au, Ad, Ae, Yu, Yd, Ye,
  MA, M1, M2, M3, MW, MZ, Mt, Mb, Mtau, MSt, MSb, MStau,
  s2t, s2b, s2tau };

(* output parameters *)
{ hierarchyID, hierarchyName,
  MstopMDRPrime, MsbottomMDRPrime,
  Mh2,
  Mh2ShiftDRbarPrimeToMDRPrime,
  Mh2ShiftDRbarPrimeToH3m,
  expansionUncertainty,
  Mh2EFTAt, Mh2FO, Mh2FOAt,
  lambda, lambdaUncertainty, lambdaShiftDRbarPrimeToMSbar };

Himalaya::nonum = "Error: `1` is not a numeric input value!";
Himalaya::error = "`1`";
Himalaya::info  = "`1`";
HimalayaErrorMessage[s_] := Message[Himalaya::error, s];
HimalayaInfoMessage[s_]  := Message[Himalaya::info, s];

Begin["`Private`"];

InitializeHimalaya[libName_String] := (
       HimalayaCalculateDMh3LLibInterface =
          LibraryFunctionLoad[libName, "HimalayaCalculateDMh3L", LinkObject, LinkObject];
    );

himalayaDefaultSettings = {
    bottom -> False,
    loopOrder -> 3,
    verbose -> True
};

himalayaDefaultParameters = {
        scale -> 0,
        mu -> 0,
        g1 -> 0,
        g2 -> 0,
        g3 -> 0,
        vd -> 0,
        vu -> 0,
        mq2 -> {{0,0,0},{0,0,0},{0,0,0}},
        md2 -> {{0,0,0},{0,0,0},{0,0,0}},
        mu2 -> {{0,0,0},{0,0,0},{0,0,0}},
        ml2 -> {{0,0,0},{0,0,0},{0,0,0}},
        me2 -> {{0,0,0},{0,0,0},{0,0,0}},
        Ad -> {{0,0,0},{0,0,0},{0,0,0}},
        Au -> {{0,0,0},{0,0,0},{0,0,0}},
        Ae -> {{0,0,0},{0,0,0},{0,0,0}},
        Yd -> {{0,0,0},{0,0,0},{0,0,0}},
        Yu -> {{0,0,0},{0,0,0},{0,0,0}},
        Ye -> {{0,0,0},{0,0,0},{0,0,0}},
        MA -> 0,
        M1 -> 0,
        M2 -> 0,
        M3 -> 0,
        MW -> -1,          (* invalid input *)
        MZ -> -1,          (* invalid input *)
        Mt -> -1,          (* invalid input *)
        Mb -> -1,          (* invalid input *)
        Mtau -> -1,        (* invalid input *)
        MSt -> {-1, -1},   (* invalid input *)
        MSb -> {-1, -1},   (* invalid input *)
        MStau -> {-1, -1}, (* invalid input *)
        s2t -> -2,         (* invalid input *)
        s2b -> -2,         (* invalid input *)
        s2tau -> -2        (* invalid input *)
};

Options[HimalayaCalculateDMh3L] = {
    Sequence @@ himalayaDefaultSettings,
    Sequence @@ himalayaDefaultParameters
};

HimalayaNumericQ[a_?NumericQ] := N[a];
HimalayaNumericQ[a_] := (Message[Himalaya::nonum, a]; Abort[]);

HimalayaCalculateDMh3L[a___, (settings | parameters) -> s_List, r___] :=
    HimalayaCalculateDMh3L[a, Sequence @@ s, r];

HimalayaCalculateDMh3L[OptionsPattern[]] :=
    HimalayaCalculateDMh3LLibInterface[
        HimalayaNumericQ /@ {
            (* settings *)
            Boole[OptionValue[bottom]],
            OptionValue[loopOrder],
            Boole[OptionValue[verbose]],
            (* parameters *)
            OptionValue[scale],
            OptionValue[mu],
            OptionValue[g1],
            OptionValue[g2],
            OptionValue[g3],
            OptionValue[vd],
            OptionValue[vu],

            OptionValue[mq2][[1,1]],
            OptionValue[mq2][[1,2]],
            OptionValue[mq2][[1,3]],
            OptionValue[mq2][[2,1]],
            OptionValue[mq2][[2,2]],
            OptionValue[mq2][[2,3]],
            OptionValue[mq2][[3,1]],
            OptionValue[mq2][[3,2]],
            OptionValue[mq2][[3,3]],

            OptionValue[md2][[1,1]],
            OptionValue[md2][[1,2]],
            OptionValue[md2][[1,3]],
            OptionValue[md2][[2,1]],
            OptionValue[md2][[2,2]],
            OptionValue[md2][[2,3]],
            OptionValue[md2][[3,1]],
            OptionValue[md2][[3,2]],
            OptionValue[md2][[3,3]],

            OptionValue[mu2][[1,1]],
            OptionValue[mu2][[1,2]],
            OptionValue[mu2][[1,3]],
            OptionValue[mu2][[2,1]],
            OptionValue[mu2][[2,2]],
            OptionValue[mu2][[2,3]],
            OptionValue[mu2][[3,1]],
            OptionValue[mu2][[3,2]],
            OptionValue[mu2][[3,3]],

            OptionValue[ml2][[1,1]],
            OptionValue[ml2][[1,2]],
            OptionValue[ml2][[1,3]],
            OptionValue[ml2][[2,1]],
            OptionValue[ml2][[2,2]],
            OptionValue[ml2][[2,3]],
            OptionValue[ml2][[3,1]],
            OptionValue[ml2][[3,2]],
            OptionValue[ml2][[3,3]],

            OptionValue[me2][[1,1]],
            OptionValue[me2][[1,2]],
            OptionValue[me2][[1,3]],
            OptionValue[me2][[2,1]],
            OptionValue[me2][[2,2]],
            OptionValue[me2][[2,3]],
            OptionValue[me2][[3,1]],
            OptionValue[me2][[3,2]],
            OptionValue[me2][[3,3]],

            OptionValue[Au][[1,1]],
            OptionValue[Au][[1,2]],
            OptionValue[Au][[1,3]],
            OptionValue[Au][[2,1]],
            OptionValue[Au][[2,2]],
            OptionValue[Au][[2,3]],
            OptionValue[Au][[3,1]],
            OptionValue[Au][[3,2]],
            OptionValue[Au][[3,3]],

            OptionValue[Ad][[1,1]],
            OptionValue[Ad][[1,2]],
            OptionValue[Ad][[1,3]],
            OptionValue[Ad][[2,1]],
            OptionValue[Ad][[2,2]],
            OptionValue[Ad][[2,3]],
            OptionValue[Ad][[3,1]],
            OptionValue[Ad][[3,2]],
            OptionValue[Ad][[3,3]],

            OptionValue[Ae][[1,1]],
            OptionValue[Ae][[1,2]],
            OptionValue[Ae][[1,3]],
            OptionValue[Ae][[2,1]],
            OptionValue[Ae][[2,2]],
            OptionValue[Ae][[2,3]],
            OptionValue[Ae][[3,1]],
            OptionValue[Ae][[3,2]],
            OptionValue[Ae][[3,3]],

            OptionValue[Yu][[1,1]],
            OptionValue[Yu][[1,2]],
            OptionValue[Yu][[1,3]],
            OptionValue[Yu][[2,1]],
            OptionValue[Yu][[2,2]],
            OptionValue[Yu][[2,3]],
            OptionValue[Yu][[3,1]],
            OptionValue[Yu][[3,2]],
            OptionValue[Yu][[3,3]],

            OptionValue[Yd][[1,1]],
            OptionValue[Yd][[1,2]],
            OptionValue[Yd][[1,3]],
            OptionValue[Yd][[2,1]],
            OptionValue[Yd][[2,2]],
            OptionValue[Yd][[2,3]],
            OptionValue[Yd][[3,1]],
            OptionValue[Yd][[3,2]],
            OptionValue[Yd][[3,3]],

            OptionValue[Ye][[1,1]],
            OptionValue[Ye][[1,2]],
            OptionValue[Ye][[1,3]],
            OptionValue[Ye][[2,1]],
            OptionValue[Ye][[2,2]],
            OptionValue[Ye][[2,3]],
            OptionValue[Ye][[3,1]],
            OptionValue[Ye][[3,2]],
            OptionValue[Ye][[3,3]],

            OptionValue[MA],
            OptionValue[M1],
            OptionValue[M2],
            OptionValue[M3],
            OptionValue[MW],
            OptionValue[MZ],
            OptionValue[Mt],
            OptionValue[Mb],
            OptionValue[Mtau],
            OptionValue[MSt][[1]],
            OptionValue[MSt][[2]],
            OptionValue[MSb][[1]],
            OptionValue[MSb][[2]],
            OptionValue[MStau][[1]],
            OptionValue[MStau][[2]],
            OptionValue[s2t],
            OptionValue[s2b],
            OptionValue[s2tau]
        }
    ];

End[];