Matchete`
Matchete`

ExportWCxf

ExportWCxf[arg,input,output]

generates WCxf files for the EFT Lagrangian or matching conditions specified by arg in the output directory. The parameter points must be specified through an input JSON file.

Details and Options

  • The argument arg must be either a SMEFT Lagrangian obtained by the Match function, or directly a list of matching conditions obtained by MapEffectiveCouplings with the option ShiftRenCouplings->True. Notice that only BSM models matching directly onto the default SMEFT Lagrangian obtained by LoadModel["SMEFT"] used by Matchete are currently supported.
  • The input argument must specify a path to a JSON file containing the following keys:
  • "matching scale"Matching scale in GeV.
    "parameters"List of all parameter names for which numerical input is provided.
    "dictionary"Dictionary mapping from Matchete notation to the parameter names given under "parameters".
    "parameter points"Dictionary containing all numerical values: keys are integer IDs for each parameter points and values are lists of numbers for the all parameters specified in the same order as in "parameters".
    "SM"Optional dictionary for overwriting default SM values or scheme choices.
  • The output argument specifies a path to the directory where all WCxf files should be saved.
  • The default SM parameter values used by this function are:
  • "mH"125.20 GeVHiggs mass
    "GFermi"1.1663788*10-5 GeV-2Fermi's constant
    "mZ"91.1880 GeVZ-bosons mass
    "sW2"0.22305Sine squared of the weak mixing angle
    "αEM"7.2973525693*10-3electromagnetic fine-structure constant
    "αS"0.1180strong fine-structure constant
    "me"0.511*10-3 GeVelectron mass
    "mμ"105.66*10-3 GeVmuon mass
    "mτ"1.77693 GeVtau mass
    "md"4.70*10-3 GeVdown-quark mass
    "ms"93.5*10 -3 GeVstrange-quark mass
    "mb"4.183 GeVbottom-quark mass
    "mu"2.16*10-3 GeVup-quark mass
    "mc"1.2730 GeVcharm-quark mass
    "mt"162.5 GeVtop-quark mass ()
    "λc"0.22501Wolfenstein parameter λ
    "A"0.826Wolfenstein parameter A
    "ρBar"0.1591Wolfenstein parameter
    "ηBar"0.3523Wolfenstein parameter
  • A one-loop renormalization group evolution from the input scale to the matching scale is employed for the gauge couplings and the top mass.
  • The Wilson coefficients can be computed in the up- or down-quark mass basis by including a key "flavor basis" with value "up" or "down" (default) under the optional "SM" directory in the input JSON file.
  • The electroweak scheme can be specified with the "EW scheme" key under the optional "SM" directory in the input JSON file. The available choices are:
  • 1 (default)mZ,GF,mW
    2mZ,GF,αEM
    3mZ,αEM,mW
    4mZ,GF,sW
    5mZ,αEM,sW
  • The numerical value of the input parameters listed above that are not used by the specified scheme are ignored.
  • Warning: Input redefinitions for these schemes are currently not implemented, since these are dimension-eight effects and this function is restricted to dimension six.
  • Baryon or lepton number violating operators are currently not supported.

Examples

Basic Examples  (6)

Example model definition  (1)

Loading the Standard Model:

Defining two heavy BSM fields: a flavored Majorana fermion χ and a colored scalar ϕ with Hypercharge :

Define a Yukawa coupling:

Define the BSM Lagrangian:

Matching  (1)

One-loop matching:

JSON input file  (2)

Example of a JSON file:

This specifies to work in the electroweak scheme {mZ,GF,mW} and the down-quark mass basis. The matching scale is set to 1 TeV and we have a total of 24 BSM parameters that must be specified. The generic matrix κ is parametrized by 18 real parameters in the "dictionary" and similarly for the 4 masses. For the one parameter point specified under "parameter points" we have mϕ=2.5 TeV, mχ1=1.0 TeV, mχ2=1.5 TeV, mχ3=2.0 TeV, κ33=1+0.01, while all other couplings κij=0 with {i,j}≠{3,3} vanish.

Exporting the input to a JSON file:

Example of the JSON input file  (1)

This JSON file generated and used above has the form:

{     "SM":{         "EW scheme":1,         "flavor basis":"down"     },     "matching scale":1000,     "parameters":[         "kapaRe11",         "kapaRe12",         "kapaRe13",         "kapaRe21",         "kapaRe22",         "kapaRe23",         "kapaRe31",         "kapaRe32",         "kapaRe33",         "kapaIm11",         "kapaIm12",         "kapaIm13",         "kapaIm21",         "kapaIm22",         "kapaIm23",         "kapaIm31",         "kapaIm32",         "kapaIm33",         "mPhi",         "mChi1",         "mChi2",         "mChi3"     ],     "dictionary":{         "Coupling[mχ, {Index[1, Flavor]}, 0]":"mChi1",         "Coupling[mχ, {Index[2, Flavor]}, 0]":"mChi2",         "Coupling[mχ, {Index[3, Flavor]}, 0]":"mChi3",         "Coupling[mϕ, {}, 0]":"mPhi",         "Coupling[κ, {Index[1, Flavor], Index[1, Flavor]}, 0]":"I kapaIm11 + kapaRe11",         "Coupling[κ, {Index[1, Flavor], Index[2, Flavor]}, 0]":"I kapaIm12 + kapaRe12",         "Coupling[κ, {Index[1, Flavor], Index[3, Flavor]}, 0]":"I kapaIm13 + kapaRe13",         "Coupling[κ, {Index[2, Flavor], Index[1, Flavor]}, 0]":"I kapaIm21 + kapaRe21",         "Coupling[κ, {Index[2, Flavor], Index[2, Flavor]}, 0]":"I kapaIm22 + kapaRe22",         "Coupling[κ, {Index[2, Flavor], Index[3, Flavor]}, 0]":"I kapaIm23 + kapaRe23",         "Coupling[κ, {Index[3, Flavor], Index[1, Flavor]}, 0]":"I kapaIm31 + kapaRe31",         "Coupling[κ, {Index[3, Flavor], Index[2, Flavor]}, 0]":"I kapaIm32 + kapaRe32",         "Coupling[κ, {Index[3, Flavor], Index[3, Flavor]}, 0]":"I kapaIm33 + kapaRe33"     },     "parameter points":{         "1":[             0,             0,             0,             0,             0,             0,             0,             0,             1.0,             0,             0,             0,             0,             0,             0,             0,             0,             1.0e-4,             2500,             1000,             1500,             2000         ]     } }

WCxf export  (2)

Generating the WCxf file "WCxf-directory/ParamPoint_1.json" from the EFT Lagrangian LEFT using the numerical input provided in the "WCxf-input.json" file:

Alternatively one can also first derive the matching conditions manually and pass these to the export function:

Both ways produce identical WCxf files. Notice that it is required to use the default SMEFT model file. Models not matching onto this file are currently not supported.

WCxf output file  (1)

The WCxf file produced by the above example takes the form:

{     "eft":"SMEFT",     "basis":"Warsaw",     "scale":1000,     "values":{         "dB_33":7.052107105142169e-14,         "dd_1111":-3.58954392937526e-12,         "dd_1122":3.559919980212726e-12,         "dd_1133":-4.3902937634319e-12,         "dd_1221":-1.0739007838963246e-11,         "dd_1331":1.502533139559438e-11,         "dd_2222":-3.58954392937526e-12,         "dd_2233":-4.3902937634319e-12,         "dd_2332":1.502533139559438e-11,         "dd_3333":3.6197382975819236e-12,         "dG_33":-6.338220259560097e-13,         "dphi_33":6.890430796112842e-16,         "ed_1111":-5.924789832506864e-14,         "ed_1122":-5.924789832506864e-14,         "ed_1133":1.8544501052986743e-12,         "ed_2211":-5.924789832506864e-14,         "ed_2222":-5.924789832506864e-14,         "ed_2233":1.8544501052986743e-12,         "ed_3311":-5.924789832506864e-14,         "ed_3322":-5.924789832506864e-14,         "ed_3333":1.8544501052986743e-12,         "ee_1111":-8.887184748760295e-14,         "ee_1122":-1.777436949752059e-13,         "ee_1133":-1.777436949752059e-13,         "ee_2222":-8.887184748760295e-14,         "ee_2233":-1.777436949752059e-13,         "ee_3333":-8.887184748760295e-14,         "eu_1111":1.1849579665013728e-13,         "eu_1122":1.1849579665013728e-13,         "eu_1133":1.1849579665013728e-13,         "eu_2211":1.1849579665013728e-13,         "eu_2222":1.1849579665013728e-13,         "eu_2233":1.1849579665013728e-13,         "eu_3311":1.1849579665013728e-13,         "eu_3322":1.1849579665013728e-13,         "eu_3333":1.1849579665013728e-13,         "G":3.3707893800117727e-12,         "phiBox":-2.2217961871900737e-14,         "phid_11":2.962394916253432e-14,         "phid_22":2.962394916253432e-14,         "phid_33":-9.272250526493372e-13,         "phiD":-8.887184748760295e-14,         "phie_11":8.887184748760295e-14,         "phie_22":8.887184748760295e-14,         "phie_33":8.887184748760295e-14,         "phil1_11":4.443592374380147e-14,         "phil1_22":4.443592374380147e-14,         "phil1_33":4.443592374380147e-14,         "phiq1_11":-1.481197458126716e-14,         "phiq1_22":-1.481197458126716e-14,         "phiq1_33":-2.9151547263141266e-14,         "phiq3_33":-1.4339572681874103e-14,         "phiu_11":-5.924789832506864e-14,         "phiu_22":-5.924789832506864e-14,         "phiu_33":-5.924789832506864e-14,         "ld_1111":-2.962394916253432e-14,         "ld_1122":-2.962394916253432e-14,         "ld_1133":9.272250526493372e-13,         "ld_2211":-2.962394916253432e-14,         "ld_2222":-2.962394916253432e-14,         "ld_2233":9.272250526493372e-13,         "ld_3311":-2.962394916253432e-14,         "ld_3322":-2.962394916253432e-14,         "ld_3333":9.272250526493372e-13,         "le_1111":-8.887184748760295e-14,         "le_1122":-8.887184748760295e-14,         "le_1133":-8.887184748760295e-14,         "le_2211":-8.887184748760295e-14,         "le_2222":-8.887184748760295e-14,         "le_2233":-8.887184748760295e-14,         "le_3311":-8.887184748760295e-14,         "le_3322":-8.887184748760295e-14,         "le_3333":-8.887184748760295e-14,         "ll_1111":-2.2217961871900737e-14,         "ll_1122":-4.443592374380147e-14,         "ll_1133":-4.443592374380147e-14,         "ll_2222":-2.2217961871900737e-14,         "ll_2233":-4.443592374380147e-14,         "ll_3333":-2.2217961871900737e-14,         "lq1_1111":1.481197458126716e-14,         "lq1_1122":1.481197458126716e-14,         "lq1_1133":1.481197458126716e-14,         "lq1_2211":1.481197458126716e-14,         "lq1_2222":1.481197458126716e-14,         "lq1_2233":1.481197458126716e-14,         "lq1_3311":1.481197458126716e-14,         "lq1_3322":1.481197458126716e-14,         "lq1_3333":1.481197458126716e-14,         "lu_1111":5.924789832506864e-14,         "lu_1122":5.924789832506864e-14,         "lu_1133":5.924789832506864e-14,         "lu_2211":5.924789832506864e-14,         "lu_2222":5.924789832506864e-14,         "lu_2233":5.924789832506864e-14,         "lu_3311":5.924789832506864e-14,         "lu_3322":5.924789832506864e-14,         "lu_3333":5.924789832506864e-14,         "qd1_1111":9.87464972084477e-15,         "qd1_1122":9.87464972084477e-15,         "qd1_1133":-3.0907501754977924e-13,         "qd1_2211":9.87464972084477e-15,         "qd1_2222":9.87464972084477e-15,         "qd1_2233":-3.0907501754977924e-13,         "qd1_3311":9.87464972084477e-15,         "qd1_3322":9.87464972084477e-15,         "qd1_3333":-3.0907501754977924e-13,         "qd8_1111":-2.1478015677926493e-11,         "qd8_1122":-2.1478015677926493e-11,         "qd8_1133":3.005066279118876e-11,         "qd8_2211":-2.1478015677926493e-11,         "qd8_2222":-2.1478015677926493e-11,         "qd8_2233":3.005066279118876e-11,         "qd8_3311":-2.1478015677926493e-11,         "qd8_3322":-2.1478015677926493e-11,         "qd8_3333":3.005066279118876e-11,         "qe_1111":2.962394916253432e-14,         "qe_1122":2.962394916253432e-14,         "qe_1133":2.962394916253432e-14,         "qe_2211":2.962394916253432e-14,         "qe_2222":2.962394916253432e-14,         "qe_2233":2.962394916253432e-14,         "qe_3311":2.962394916253432e-14,         "qe_3322":2.962394916253432e-14,         "qe_3333":2.962394916253432e-14,         "qq1_1111":-8.97385982343815e-13,         "qq1_1122":3.5747319547939927e-12,         "qq1_1133":3.5747319547939927e-12,         "qq1_1221":-5.369503919481623e-12,         "qq1_1331":-5.369503919481623e-12,         "qq1_2222":-8.97385982343815e-13,         "qq1_2233":3.5747319547939927e-12,         "qq1_2332":-5.369503919481623e-12,         "qq1_3333":-8.97385982343815e-13,         "qq3_1111":-2.6847519597408116e-12,         "qq3_1221":-5.369503919481623e-12,         "qq3_1331":-5.369503919481623e-12,         "qq3_2222":-2.6847519597408116e-12,         "qq3_2332":-5.369503919481623e-12,         "qq3_3333":-2.6847519597408116e-12,         "qu1_1111":-1.974929944168954e-14,         "qu1_1122":-1.974929944168954e-14,         "qu1_1133":-1.974929944168954e-14,         "qu1_2211":-1.974929944168954e-14,         "qu1_2222":-1.974929944168954e-14,         "qu1_2233":-1.974929944168954e-14,         "qu1_3311":-1.974929944168954e-14,         "qu1_3322":-1.974929944168954e-14,         "qu1_3333":-1.974929944168954e-14,         "qu8_1111":-2.1478015677926493e-11,         "qu8_1122":-2.1478015677926493e-11,         "qu8_1133":-2.1478015677926493e-11,         "qu8_2211":-2.1478015677926493e-11,         "qu8_2222":-2.1478015677926493e-11,         "qu8_2233":-2.1478015677926493e-11,         "qu8_3311":-2.1478015677926493e-11,         "qu8_3322":-2.1478015677926493e-11,         "qu8_3333":-2.1478015677926493e-11,         "ud1_1111":3.949859888337908e-14,         "ud1_1122":3.949859888337908e-14,         "ud1_1133":-1.236300070199117e-12,         "ud1_2211":3.949859888337908e-14,         "ud1_2222":3.949859888337908e-14,         "ud1_2233":-1.236300070199117e-12,         "ud1_3311":3.949859888337908e-14,         "ud1_3322":3.949859888337908e-14,         "ud1_3333":-1.236300070199117e-12,         "ud8_1111":-2.1478015677926493e-11,         "ud8_1122":-2.1478015677926493e-11,         "ud8_1133":3.005066279118876e-11,         "ud8_2211":-2.1478015677926493e-11,         "ud8_2222":-2.1478015677926493e-11,         "ud8_2233":3.005066279118876e-11,         "ud8_3311":-2.1478015677926493e-11,         "ud8_3322":-2.1478015677926493e-11,         "ud8_3333":3.005066279118876e-11,         "uu_1111":-3.619167878537794e-12,         "uu_1122":3.500672081887657e-12,         "uu_1133":3.500672081887657e-12,         "uu_1221":-1.0739007838963246e-11,         "uu_1331":-1.0739007838963246e-11,         "uu_2222":-3.619167878537794e-12,         "uu_2233":3.500672081887657e-12,         "uu_2332":-1.0739007838963246e-11,         "uu_3333":-3.619167878537794e-12     } }