5th Red LHC Workshop	-	May 11th 2021		-	Javier Virto	(Universitat de Barcelona)

DsixTools
The Effective Field Theory Toolkit

Quit[];

Needs["DsixTools`"]

DsixTools 2.0

1. What is DsixTools?

2. Finding and Installing DsixTools

Import["https://raw.githubusercontent.com/DsixTools/DsixTools/master/install.m"];

DsixTools 2.0

3. DsixTools as an EFT Repository

SMEFT Lagrangian

SMEFTOperatorsGrid

SMEFTOperators

SMEFTParameterList[]

SMEFTParameterList["D5"]

SMEFTParameterList["0F"]

SMEFTParameterList["B-violating"]//Short[#,3]&

SMEFT beta functions

CHl3[2,3]//β//Expand//Short[#,9]&

SM Beta functions up to 4 loops :

gs//β

LEFT Lagrangian

LEFTOperatorsGrid

LEFTOperators

LEFTParameterList[]

LEFTParameterList["D5"]

LEFTParameterList["2F"]

LEFTParameterList["LFV"]//Short[#,8]&

LEFT Matching to SMEFT

ObjectInfo[LedVLL]

LedVLL[2,2,2,3]//MatchEW//Short[#,12]&

%/.LoopParameter->0

LνeduVLL//ObjectInfo

LνeduVLL[3,3,3,3]//MatchEW//ReplaceAll[LoopParameter->0]//Simplify//Expand

--(From 1812.08163)

LEFT beta functions

LedVLL[2,2,2,3]//β

SM Beta functions up to 4 loops :

Md[1,3]//β

gQCD//β//Short[#,12]&

4. Input, Running and Matching

NewInput[{Clq1[1,1,1,2]->1/HIGHSCALE^2,Clq1[1,1,2,1]->1/HIGHSCALE^2,CH->-0.5/HIGHSCALE^2},HIGHSCALE->10000];

RunDsixTools;

D6run[Clq1[1,1,1,2]]/.μ->EWSCALE//Chop

Plot[D6run[Clq1[1,1,1,2]]//Re,{μ,5,EWSCALE},Frame->True]

D6run[LeuVLL[2,2,1,1]]/.μ->LOWSCALE

at  μ=5 GeV

Plot[D6run[LeuVLL[2,2,1,1]],{μ,5,EWSCALE},Frame->True]

5. Working with Lagrangians

EXPLICIT SMEFT and LEFT Lagrangians at different scales for the chosen input:

SMEFTLagrangian[HIGHSCALE]

SMEFTLagrangian[100]

LEFTLagrangian[EWSCALE]//Chop[#,10^-5]&

LEFTLagrangian[5]//Chop//Chop[#,10^-5]&

INPUT-INDEPENDENT RUNNING :

SMEFTEvolve[CHbox,EWSCALE,HIGHSCALE]//Chop[#,10^-2]&

LEFTEvolve[LuuVLL,LOWSCALE]//Chop[#,10^-3]&

LEFT Lagrangian at any scale in the SM:

SetSMLEFTInput

LEFTLagrangian[EWSCALE]//Chop[#,10^-5]&

6. Full Mathematica Documentation

Click F1 on top of :

DsixTools

See papers and documentation for further details

Artwork

Mixing among all SMEFT Leptonic Four-Fermion operators (Qll, Qee, Qle):

LeptOps=Position[SMEFTParameterList[],Cll|Cle|Cee][[All,1]];
ArrayPlot[ParallelTable[(Coefficient[β[SMEFTParameterList[][[i]]]/.SubRedundant,SMEFTParameterList[][[j]]]===0)/.{True->0,False->1},{i,LeptOps},{j,LeptOps}]]