arXiv:0904.2387v2 [hep-ph] 5 Oct 2009

arXiv:0904.2387v2 [hep-ph] 5 Oct 2009

J. A. AguilarSaavedra

Departamento de Físi a Teóri a y del Cosmos and CAFPE,

Universidad de Granada, E-18071 Granada, Spain

Abstra t

We use the equations of motion to simplify the general form of fermion-

fermion-Higgs intera tions generated by dimension-six gauge-invariant ee tive

operators. Afterremoving redundant operatorsitisfound thatthemost general

Hf i f j

^{vertexforo-shellfermions}

f i

^,

f j

^{andano-shellHiggsbosononlyinvolves}

s alar and pseudo-s alarterms, without derivatives. Examples arepresentedfor

the

Htt

^and

Htq

intera tions, where

q = u, c

^{, giving the expli it} expressions of the verti es in terms of gauge-invariant operators. The new operator equalities

obtained herealso redu e the number of operators relevant for the

Ztq

^{verti es,}

although the general form of these intera tions is not simpliedwith respe t to

previous results.

1 Introdu tion

The dis overyofthe Higgsbosonisoneofthe maingoalsandmotivationsoftheLarge

Hadron Collider (LHC). If this parti le is nally found, as it is widely expe ted, its

dis overywill onstitute amajoradvan e inour understandingof ele troweaksymme-

try breaking. The study of its properties and ouplings to the Standard Model (SM)

parti les willthen be of the greatest importan etodetermine itsnature and fully un-

derstand the symmetry breaking me hanism, and it may possibly provide signals of

new physi s beyond the SM. On the other hand, the top quark also deserves spe ial

interest among the known fermions. Being the heaviest quark, ee ts of new physi s

on its ouplings are expe ted to belarger than for other fermions, so it is hoped that

deviations with respe t to the SM predi tions might be found with pre ise measure-

mentsofits ouplings. Hen e, inthe aseofthetop-Higgs ouplingsthe measurements

haveaddedrelevan e,alsobearinginmindthatthe top itselfmighthaveaspe ialrole

in ele troweak symmetry breaking due toits large mass.

It is known sin e some time that ee ts of new weakly oupled physi s at a high

s ale

Λ

^{an be des ribed by anee tive Lagrangian [13℄}

L

^e

= X C x

Λ ² O x + . . . ,

⁽¹⁾

where

O x

^are dimension-six gauge-invariant operators and

C x

^{are omplex onstants.}

The dots in the aboveequation standfor higher-dimension operatorsnegle ted inthis

work, whose ontributions are suppressed by higher powers of

Λ

^{. The framework of}

ee tive operators is very onvenient to des ribe the ee t of new physi s in fermion

ouplings. In parti ular, for the top quark the ee tive operator ontributions have

beenalreadyobtained,forthirdgeneration ouplings[47℄andalsoin ludingintergen-

erational mixing[813℄.

The usefulnessof theee tive operatorapproa harises fromthe fa tthat anynew

physi s ontribution (in our ase, at order

1/Λ ²

^{) an be} parameterised in terms of a omplete operatorbasis, and this frameworkis then ompletelygeneral. But it isalso

very importanttohavesu habasis inaminimalform. Inthis dire tion, agreateort

wasdone inRef. [3℄toremove redundant operators and redu ethe set of independent

O x

^{. (This an always be done by using the equations of motion, even for o-shell}

parti les or when loop orre tions are onsidered [14,15℄.) Still, few redundant ones

remained, as pointed out in Ref. [16℄, and re ently the set of independent operators

has been further redu ed [13℄. This latter simpli ation has been parti ularlyuseful,

be ause it implies that the most general fermion-fermion-gauge boson intera tions,

in luding the SM ontributions as well as those from dimension-six operators, an be

parameterised in full generality with only

γ ^µ

^and

σ ^µν q ν

^{terms, where}

q ν

^{is the gauge}

boson momentum. In this paper we extend previous work and obtain new operator

equalities whi h allow to simplify the general form of the

Hf i f j

intera tions among twofermions

f i

^,

f j

^{and the Higgsboson. Forbrevity, we} on entrate ourselves on

Htt

and

Htq

intera tions, although the results are general for all fermions. Among the operatorslisted in Ref.[3℄, those ontributing tothe

Htt

^and

Htq

^{verti es are}

O ^ij _uφ = (φ ^† φ)(¯ q Li u Rj φ) , ˜

O _φq ^(3,ij) = i(φ ^† τ ^I D µ φ)(¯ q Li γ ^µ τ ^I q Lj ) , O _φq ^(1,ij) = i(φ ^† D µ φ)(¯ q Li γ ^µ q Lj ) ,

O ^ij _φu = i(φ ^† D µ φ)(¯ u Ri γ ^µ u Rj ) ,

⁽²⁾

where we have already omitted several operators already shown to be redundant [13℄.

(We denote the quark elds as

q Li

^,

u Ri

^,

d Ri

^{in standard notation, with}

i, j = 1, 2, 3

avour indi es.) The rst operator in Eqs. (2) gives s alar

f ¯ i f j H

^and pseudo-s alar

f ¯ i γ ₅ f j H

ontributions to the verti es, while the three remaining ones give derivative terms of the type

f ¯ i γ ^µ P L,R f j ∂ µ H

^{. However, in this paper we will show that these}

derivativeintera tions areredundant and anbedropped. Indeed,insteadofusingthe

operators

O _φq ^(3,ij) , O _φq ^(1,ij) , O _φu ^ij ,

⁽³⁾

with

i, j = 1, 2, 3

^to parameterisenew physi s ontributions, one may equivalently use the sums and dieren es of operators with

i ≤ j = 1, 2, 3

^,

O ^(3,i+j) _φq ≡ 1 2

h O ^(3,ij) _φq + (O ^(3,ji) _φq ) ^† i , O ^(1,i+j) _φq ≡ 1

2

h O ^(1,ij) _φq + (O ^(1,ji) _φq ) ^† i , O _φu ^i+j ≡ 1

2 O ^ij _φu + (O _φu ^ji ) ^†  , O ^(3,i−j) _φq ≡ 1

2

h O ^(3,ij) _φq − (O φq ^(3,ji) ) ^† i , O ^(1,i−j) _φq ≡ 1

2

h O ^(1,ij) _φq − (O φq ^(1,ji) ) ^† i , O _φu ^i−j ≡ 1

2 O ^ij _φu − (O ^ji φu ) ^†  .

⁽⁴⁾

For

i 6= j

^the equivalen e of both sets is evident, whereas for

i = j

^{the hange of}

basis amounts to de omposing the operators in Eq. (3) (with omplex oe ients in

general)intotheir hermitianand anti-hermitianparts(withreal andpurely imaginary

oe ients,respe tively). As we willshow, the opposite-sign ombinationsinEqs. (4)

are redundant and thereforethey an be dropped from the operatorlist. Forapair of

dierent avour indi es

i 6= j

^{this redu es the number of relevant operators: the six}

operators

O _x ^ij

^,

O _x ^ji

^{in Eq. (3) are repla ed by the rst three ones in Eqs. (4), namely}

O ^i+j _x

^with

i < j

^{. For the same avour}

i = j

^{the three operators}

O _x ⁱⁱ

^{are repla ed}

by their hermitian parts

O ⁱ⁺ⁱ _x

^{. The advantage of this hange of basis, apart from the}

redu tion inthe numberofrelevantoperators,isthatthesame-sign ombinations

O _x ^i+j

inEqs.(4)donot give

Hf i f j

^{verti esbe ausethederivativeterms}originatingfrom

O _x ^ij

and

(O ^ji _x ) ^†

^{exa tly an el. Hen e, the stru ture of these verti es is redu ed to s alar}

and pseudo-s alarterms.

It is important to remark here the importan e of simplifying the general form of

the fermion intera tions with the gauge and Higgs bosons. First, be ause the number

of relevant parameters ne essary to des ribe the verti es is redu ed, with an obvious

advantage forthe studyofanomalousintera tionsand theextra tionoflimitsfromex-

perimentaldata: thedimensionalityoftheparameterspa eisredu ed andtheanalyses

are greatlysimplied. Additionally,the presen eofmore variablesthanthe onesreally

needed would lead to perfe t orrelations in the limitsobtained on them, whi h ap-

parentlywouldsuggestthat ertain ombinationsofvariables annotbeexperimentally

measured. However, these orrelations only ree t the fa t that some parameters an

a tually be eliminated from the analysis. A se ond advantage on erns Monte Carlo

generation of the new signals, be ause with an adequate hoi e of gauge-invariantop-

erators the number of diagrams and anomalous intera tions ontributing to a given

pro esses. Inthe aseofthe topquark,generators fortopprodu tionpro essesinvolv-

inganomalous ouplings[17℄benetfromthesimpli ationoftheintera tionswiththe

W

^and

Z

^{bosons, the photon and the gluon. One must note, however, that dierent}

operatorbases mayalways be hoosentoparameterisenewphysi see ts[1012℄,and

resultsfor rossse tions, bran hingratios,et . will learlybebasis-independent. Butit

isalso learthatanadequatesele tionminimisingthe numberofparametersne essary

to des ribe the most relevant top quark produ tion and de ay pro esses onsiderably

simplies the al ulations.

Inthis paperwerst proveinse tion2the operator equalitieswhi hallowto drop

the opposite-sign ombinationsinEqs. (4). Then,wepresent inse tion 3the minimal

Htt

^and

Htq

^{verti es,and inse tion4wedis usshowthe operator}repla ementsmade ae t gauge boson verti es. Although the stru ture of the latter is not simplied

with respe t to previous work [13℄, the number of ontributing operators de reases

in some ases. In se tion 5 we summarise our results. Appendix A studies in detail

quark mixing. Sin e the equalitiesobtained in se tion2 relateoperators whi h donot

ontribute to quark masses to other ones whi h do, understanding their impli ations

for

Htt

^,

Htq

^{verti esrequiresa orre ta ountofquarkmixingee ts. InappendixB}

it isshown withanexpli it examplethat the trilinearvertex repla ementsdi tated by

the operator equalities give the same results in amplitude al ulations. Finally, the

ontributions ofthe relevantee tiveoperatorstothe

Htt

^and

Htq

^{verti es,aswellas}

to quark masses,are olle ted inappendix C.

2 Ee tive operator equalities

In this paper we approximately follow the notation in Ref. [3℄. The onventions and

signs used for ovariantderivatives, the equationsofmotion, et . are given indetailin

Ref. [13℄. Usingthe denitions in Eqs. (2), the lastthree operatorsin Eqs. (4) an be

written as

O _φq ^(3,i−j) = i

2 φ ^† τ ^I D µ φ + (D µ φ) ^† τ ^I φ (¯ q Li γ ^µ τ ^I q Lj ) , O _φq ^(1,i−j) = i

2 φ ^† D µ φ + (D µ φ) ^† φ (¯ q Li γ ^µ q Lj ) = i

2 D µ (φ ^† φ)(¯ q Li γ ^µ q Lj ) , O _φu ^i−j = i

2 φ ^† D µ φ + (D µ φ) ^† φ (¯u Ri γ ^µ u Rj ) = i

2 D µ (φ ^† φ)(¯ u Ri γ ^µ u Rj ) .

⁽⁵⁾

Integrating by parts,and usingfor the rst operatorthe equality

D µ τ ^I ψ = τ ^I D µ ψ + gǫ IJ K W _µ ^J τ ^K ψ ,

⁽⁶⁾

for

ψ = φ, q Lj

^{(orany SU}

(2)

^{doublet), we have}

O ^(3,i−j) _φq = 1

2 h

(φ ^† τ ^I φ)(iD 6 q ^Li )τ ^I q Lj − (φ ^† τ ^I φ)¯ q Li τ ^I (iD 6 q ^Lj ) i , O ^(1,i−j) _φq = 1

2

h (φ ^† φ)(iD 6 q ^Li )q Lj − (φ ^† φ)¯ q Li (iD 6 q ^Lj ) i , O ^i−j _φu = 1

2

h (φ ^† φ)(iD 6 u ^Ri )u Rj − (φ ^† φ)¯ u Ri (iD 6 u ^Rj ) i

.

⁽⁷⁾

Then, using the quark equations of motionit isthen easy tond that

O _φq ^(3,i−j) = 1 2

h Y _jk ^u O ^ik _uφ − Y jk ^d O ^ik _dφ − Y ki ^u† (O ^jk _uφ ) ^† + Y _ki ^d† (O _dφ ^jk ) ^† i , O _φq ^(1,i−j) = 1

2 h

−Y jk ^u O ^ik _uφ − Y jk ^d O ^ik _dφ + Y _ki ^u† (O _uφ ^jk ) ^† + Y _ki ^d† (O ^jk _dφ ) ^† i , O _φu ^i−j = 1

2 h

Y _ki ^u O _uφ ^kj − Y jk ^u† (O _uφ ^ki ) ^† i

,

⁽⁸⁾

where

Y ^u

^,

Y ^d

^{are the up and down quarkYukawa matri es,} respe tively,and

O ^ij _dφ = (φ ^† φ)(¯ q Li d Rj φ) .

⁽⁹⁾

These relations show that the operators on the left-hand side are redundant. Noti e

that for

O _φq ^(3,i−j)

^{the terms involving Pauli matri es an be simplied after using the}

equations of motion, be ause

(ψ ₁ ^† τ ^I ψ 2 )(ψ ₃ ^† τ ^I ψ 2 ) = (ψ ₁ ^† ψ 2 )(ψ ^† ₃ ψ 2 ) ,

⁽¹⁰⁾

being

ψ i

^{any SU}

(2)

^doublets.

The operator equalities in Eqs. (8) imply in parti ular that, in the al ulation of

gauge-invariantquantities,thederivative ontributiontothetop-Higgstrilinearverti es

from the operators

O ^(3,i−j) _φq

^,

O ^(1,i−j) _φq

^,

O _φu ^i−j

^{an be repla ed by the s alar and pseudo-}

s alar ontributions fromtheright-handside of the orrespondingequations,provided

that allthe remainingoperator ontributions, ifany, are in luded. Itmust benoti ed,

however, that Eqs. (8) relate some operators (on the left-hand side) whi h do not

ontributetoquarkmassestosomeotherswhi hdo ontribute(the ombinationsonthe

right-handside). Therefore, quarkmixingplays a entralrole inthe orre textra tion

of relationsamongtrilinearverti esfromthe gauge-invariantoperatorequalities. This

issue is dis ussed indetail inappendix A. In appendix B it is shown with anexpli it

example that the derivative terms an indeed be repla ed by (pseudo-)s alar terms in

amplitude al ulations.

Finally, it is worth pointing out that for brevity we have restri ted ourselves to

operators involving the top quark, but for other operators involving only down-type

O ^ij _φd = i(φ ^† D µ φ)( ¯ d Ri γ ^µ d Rj ) , O ^(3,ij) _φℓ = i(φ ^† τ ^I D µ φ)(¯ ℓ Li γ ^µ τ ^I ℓ Lj ) , O ^(1,ij) _φℓ = i(φ ^† D µ φ)(¯ ℓ Li γ ^µ ℓ Lj ) ,

O ^ij _φe = i(φ ^† D µ φ)(¯ e Ri γ ^µ e Rj ) ,

⁽¹¹⁾

the same re koning applies, and onlythe sums

O _x ^ij + (O _x ^ji ) ^†

^{are relevant.}

3 General

Htt

^and

Htq

intera tions

Wegivehere generalexpressions for the

Htt

^and

Htq

^{verti esarisingfrom dimension-}

six gauge-invariant operators, ex luding the redundant ones. The Lagrangians given

here are valid for o-shell parti les and do not make any assumption about fermion

masses and mixings, be ause the proof that

O ^(3,i−j) _φq

^,

O _φq ^(1,i−j)

^and

O _φu ^i−j

^{are redundant}

involvesarbitrary Yukawa matri es. The ontributions tothe

Htt

^and

Htq

^{verti esof}

the ee tive operatorsin Eqs. (2)are olle ted inappendix C for omplex oe ients

C x

^.

3.1

Htt

^vertex

For

i = j = 3

^{, one may in full generality repla ethe} gauge-invariant operators

O _φq ^(3,33)

^,

O ^(1,33) _φq

^and

O _φu ³³

^{by the hermitianones}

O ^(3,3+3) _φq = i

2 φ ^† τ ^I D µ φ − (D ^µ φ) ^† τ ^I φ (¯ q _L3 γ ^µ τ ^I q _L3 ) , O ^(1,3+3) _φq = i

2 (φ ^† ← →

D ^µ φ)(¯ q L3 γ ^µ q L3 ) , O _φu ³⁺³ = i

2 (φ ^† ← →

D ^µ φ)(¯ u R3 γ ^µ u R3 ) .

⁽¹²⁾

These substitutionssimplifytheformofthe

Htt

intera tion,be ausethe ontributions of the new operators to this vertex identi ally vanish. Thus, the most general

Htt

vertex in luding the SM Yukawa oupling as well as orre tions from dimension-six

operatorsis

L ^Htt = − 1

√ 2 ¯t Y _t ^V + iY _t ^A γ ₅
t H .

⁽¹³⁾

with

Y _t ^V = √

2m t /v

^,

Y _t ^A = 0

^{in the SM at the tree level. The} ontributions from dimension-six operatorsare

δY _t ^V = − 3

2

^Re

C _uφ ³³ v ² Λ ² , δY _t ^A = − 3

2

^Im

C _uφ ³³ v ²

Λ ² .

⁽¹⁴⁾

We point out that this ee tive Lagrangian, while being ompletely general, is far

simplerthan the onegiveninpreviousliterature [6,7℄whi hinvolvesseveral derivative

terms.

3.2

Htq

^{verti es}

For dierent avour indi es

i 6= j

^{, the six operators}

O ^(3,ij) _φq

^,

O _φq ^(1,ij)

^and

O ^ij _φu

^{an be}

repla ed by the three same-sign ombinations

O _φq ^(3,i+j) = i

2 φ ^† τ ^I D µ φ − (D ^µ φ) ^† τ ^I φ (¯ q Li γ ^µ τ ^I q Lj ) , O _φq ^(1,i+j) = i

2 (φ ^† ← →

D ^µ φ)(¯ q Li γ ^µ q Lj ) , O ^i+j _φu = i

2 (φ ^† ← →

D ^µ φ)(¯ u Ri γ ^µ u Rj ) .

⁽¹⁵⁾

This redu es the numberof operators relevant for FCNintera tions and, moreimpor-

tantly, itsimplies the formof the

Htq

^{verti es be ause the operators inEqs. (15) do}

not ontribute (the ontributions of both terms identi ally an el). Then, the most

general avour- hanging

Htc

^{vertex arisingfrom}dimension-six ee tive operators an bewritten as

L ^Htc = − 1

√ 2 ¯ c η _ct ^L P L + η _ct ^R P R
t H +

^{H. .}

,

⁽¹⁶⁾

where

η _ct ^L = η ^R _ct = 0

^{in the SM at the tree level. The} ontributions from dimension-six operatorsare

δη _ct ^L = − 3

2 C _uφ ^32∗ v ² Λ ² , δη _ct ^R = − 3

2 C _uφ ²³ v ²

Λ ² .

⁽¹⁷⁾

For the

Htu

^{vertex the results are analogous by hanging the avour indi es}

2 → 1

^.

These ee tive Lagrangians are also simplerthan the ones previously found [8,9℄. We

remark here that equivalent Lagrangians have been used to study top FCN pro esses

indu ed by

Htq

^{ouplings[19℄, namelytop pairprodu tionwithFCNde ayof onetop}

quark and asso iated

Ht

produ tion. Those studies are thus ompletelygeneral from the point of viewof dimension-six ee tive operators.

The hange of operator basis performed with the substitution of

O _φq ^(3,ij)

^,

O _φq ^(1,ij)

^and

O ^ij _φu

^by

O ^(3,i+j) _φq

^,

O ^(1,i+j) _φq

^and

O _φu ^i+j

^{doesnot modify the generalLorentz stru ture ofthe}

top quark gauge intera tions, whi h only involve

γ ^µ

^and

σ ^µν q ν

^{ouplings as shown in}

Ref.[13℄. Forphotonandgluonintera tionstheee tiveLagrangiansremainthesame

be ause

O _φq ^(3,ij)

^,

O _φq ^(1,ij)

^and

O ^ij _φu

^donot ontribute. Forthe

W

^and

Z

^bosonintera tions there are few modi ations. The additional operators ontributing to these verti es

but not toHiggs ouplings are

O ^ij _φφ = i( ˜ φ ^† D µ φ)(¯ u Ri γ ^µ d Rj ) , O ^ij _uW = (¯ q Li σ ^µν τ ^I u Rj ) ˜ φ W _µν ^I , O _dW ^ij = (¯ q Li σ ^µν τ ^I d Rj )φ W _µν ^I ,

O ^ij _uBφ = (¯ q Li σ ^µν u Rj ) ˜ φ B µν .

⁽¹⁸⁾

The

W tb

^{vertex is still}parameterised as[18℄

L ^{W tb} = − g

√ 2 ¯b γ ^µ (V L P L + V R P R ) t W _µ ⁻

− g

√ 2 ¯b iσ ^µν q ν

M W

(g L P L + g R P R ) t W _µ ⁻ + H.c.

⁽¹⁹⁾

Within the SM,

V L

^{equals the} Cabibbo-Kobayaski-Maskawa matrix element

V tb ≃ 1

^,

while the restof ouplings

V R

^,

g L

^and

g R

^{vanishatthe treelevel. The} ontributions to these ouplings fromdimension-six gauge-invariantoperators are

δV L = C _φq ^(3,3+3)∗ v ²

Λ ² , δg L = √

2C _dW ^33∗ v ² Λ ² , δV R = 1

2 C _φφ ³³ v ²

Λ ² , δg R = √

2C _uW ³³ v ²

Λ ² .

⁽²⁰⁾

The only dieren ewith respe t to Ref. [13℄ is the repla ement of the operator oe-

ient

C _φq ^(3,33) → C φq ^(3,3+3) .

⁽²¹⁾

Noti e howeverthatsin e

O ^(3,3+3) _φq

^{ishermitian,its oe ient}

C _φq ^(3,3+3)

^{isreal inorderto}

ensure the hermiti ityofthe Lagrangian. The other ontributions tothe

W tb

^{ee tive}

vertex are omplex ingeneral. The

Ztt

^{vertex is} parameterised as [13℄

L ^Ztt = − g 2c W

¯ t γ ^µ X _tt ^L P L + X _tt ^R P R − 2s ² W Q t
t Z µ

− g 2c W

¯ t iσ ^µν q ν

M Z

d ^Z _V + id ^Z _A γ 5
t Z µ ,

⁽²²⁾

with

Q t = 2/3

^{the top quark ele tri harge. Within the SM, these ouplings take}

the values

X _tt ^L = 2 T ₃ (t L ) = 1

^,

X _tt ^R = 2 T ₃ (t R ) = 0

^{, where}

T ₃

^{denotes the third isospin}

omponent, and

d ^Z _V = d ^Z _A = 0

^{at the tree level. The} ontributions from dimension-six operatorsare

δX _tt ^L = h

C _φq ^(3,3+3) − C φq ^(1,3+3)

i v ² Λ ² , δX _tt ^R = −C φu ³⁺³

v ² Λ ² , δd ^Z _V = √

2

^Re

c W C _uW ³³ − s ^W C _uBφ ³³  v

2

Λ ² , δd ^Z _A = √

2

^Im

c W C _uW ³³ − s ^W C _uBφ ³³  v ²

Λ ² .

⁽²³⁾

The dieren es with respe t tothe results inRef. [13℄ are the repla ements

Re

C _φq ^(3,33) → C φq ^(3,3+3) ,

Re

C _φq ^(1,33) → C φq ^(1,3+3) ,

Re

C _φu ³³ → C φu ³⁺³ ,

⁽²⁴⁾

whi h do not redu e the number of operators involved nor the number of parameters

needed to des ribe the

Ztt

^{vertex, be ause the oe ients}

C x

^{on the right olumn}

of Eqs. (24) are real. Finally, for

Ztq

^{verti es the number of relevant} ontributing operatorsisredu ed. The

Ztc

^{vertex anstillbe}parameterisedwiththeLagrangian[13℄

L ^Ztc = − g 2c W

¯

c γ ^µ X _ct ^L P L + X _ct ^R P R
t Z µ

− g 2c W

¯ c iσ ^µν q ν

M Z

κ ^L _ct P L + κ ^R _ct P R
t Z µ +

^{H. .}

,

⁽²⁵⁾

but the anomalous ouplings depend on a smallernumber of ee tive operator oe-

ients (ve instead ofeight),

δX _ct ^L = 1 2

h C _φq ^(3,2+3) − C φq ^(1,2+3)

i v ² Λ ² , δX _ct ^R = − 1

2 C _φu ²⁺³ v ² Λ ² , δκ ^L _ct = √

2 c W C _uW ^32∗ − s ^W C _uBφ ^32∗  v ² Λ ² , δκ ^R _ct = √

2 c W C _uW ²³ − s ^W C _uBφ ²³  v ²

Λ ² ,

⁽²⁶⁾

Wesee thatthe dieren es withrespe ttothe resultsinRef.[13℄are therepla ements

C _φq ^(3,23) + C _φq ^(3,32)∗ → C φq ^(3,2+3) , C _φq ^(1,23) + C _φq ^(1,32)∗ → C φq ^(1,2+3) ,

C _φu ²³ + C _φu ^32∗ → C φu ²⁺³ .

⁽²⁷⁾

For

Ztu

^{ouplings the Lagrangian is similar, and the ee tive operator} ontributions are obtained by repla ing the avour indi es

2 → 1

^.

5 Summary

IftheHiggsbosonisfoundatLHC,theexperimentalmeasurementofitspropertiesand

ouplings, in parti ular those involving the top quark, will be of utmost importan e

to investigate whether it is the SM Higgs or there is any new physi s asso iated to

ele troweak symmetry breaking. Hen e, an adequate parameterisation of the most

general Higgs intera tions with fermions is fundamental, and nding a minimal one

involving the smallest parameter set is very useful. With su h a minimal set the

interpretation of experimental measurements in terms of the underlying physi s, e.g.

limitson new physi s ata highers ale, is onsiderably simplied.

In this paper we have shown that the fermion-fermion-Higgs intera tions arising

from dimension-six gauge-invariant ee tive operators an be des ribed in full gener-

alityusing onlys alar

f ¯ i f j H

^and pseudo-s alar

f ¯ i γ 5 f j H

^{terms. Thekey forthis useful}

result is the derivation of new relations among gauge-invariant operators using the

equations of motion. Theserelations allowto drop several redundant operatorswhi h

givederivativetermsof thetype

f ¯ i γ ^µ P L,R f j ∂ µ H

^{,whilethe remainingoperatorsdonot}

givesu h ontributions. Wehavegivenexpli itexamplesforthetop quark,namelythe

Htt

^,

Htu

^and

Htc

^{verti es, writingthe anomalous ouplingsin termsof oe ientsof}

gauge-invariantoperators.

The new operator relations found do not simplify the stru ture of the fermion-

fermion-gauge boson verti es whi h, as previously shown [13℄, involve only

γ ^µ

^and

σ ^µν q ν

^{ouplings, with}

q ν

^{the boson momentum.} Nevertheless, for the

W tb

^{vertex they}

imply that the orre tion from ee tive operators to the SM oupling

V tb

^{is real, and}

for

Ztu

^,

Ztc

intera tions the number of relevant ee tive operators ontributing to ea h ee tive vertex is redu ed fromeight tove.

The simpli ation of the top-Higgs verti es, whi h ompletes the study made for

top gauge intera tions, is also very useful to build Monte Carlo generators for new

pro esses beyond the SM. In this way, single top produ tion through FCN ouplings

and top pair produ tion with FCN de ay of one top quark have been added to the

Protos generator [17℄, using the minimal sets of anomalous

Ztq

^,

γtq

^,

gtq

^and

Htq

ouplings obtained. The advantage of these minimalsets is that they greatly simplify

the al ulations for the most relevant top produ tion pro esses at LHC, redu ing the

number of parameters, Lorentz stru tures and diagramsrequired in a gauge-invariant

spa e tobeinvestigated(andonwhi h onstraintsaretobepla ed)isredu edroughly

by a fa tor of two, whi h is atremendous advantage for phenomenologi alstudies.

A knowledgements

I thank M. Pérez-Vi toria for useful omments and for reading the manus ript. This

workhas been supportedby aMECRamóny Cajal ontra t, MECproje tFPA2006-

05294 and Junta de Andalu ía proje ts FQM101 and FQM 437.

A Operator equalities and quark mixing

On ethatithasbeenshownthattheoperators

O _φq ^(3,i−j)

^,

O _φq ^(1,i−j)

^and

O ^i−j _φu

^{areredundant,}

they anberemoved fromtheoperatorbasisinthe samewayasmanyotherredundant

operators are [3℄. Still,it is illustrating tosee how the operator equalities in Eqs. (8)

translate into relations among

Hf i f j

^{ouplings. In other words, we are interested in}

investigating how the derivative terms in luded in these operators an be repla ed by

(pseudo-)s alar terms in the al ulation of gauge-invariant quantities. Quark mixing

playsa entralroleinthisderivation: while

O _φq ^(3,i−j)

^,

O _φq ^(1,i−j)

^and

O _φu ^i−j

^{donot ontribute}

to quark masses, the ombinationsobtained from them using the equations of motion

give non-diagonal orre tions to the mass matri es. In this appendix we obtain su h

repla ementrelationsfor the simplest ase, the operator

O _φu ^i−j

^{,and taking}

i = 2

^,

j = 3

fordeniteness. Theremaining asesare ompletelyanalogous. InappendixBweshow

withanexamplethatsu hrepla ementsgivethesameresultinamplitude al ulations.

We an assume without loss of generality that the up-quark Yukawa matrix is

diagonal. (In absen e of dimension-six operator ontributions to quark masses, this

implies that the weak and mass eigenstates oin ide.) Then, the operator equality for

O ²⁻³ _φu

^is

O _φu ²⁻³ ≡ 1

2 O _φu ²³ − (O φu ³² ) ^†  = 1

2 Y ₂₂ ^u O ²³ _uφ − Y 33 ^u∗ (O _uφ ³² ) ^†  .

⁽²⁸⁾

Forbrevity,we denote as

O ¯ ²⁻³ _φu

^{the right-handside of this equation,}

O ¯ _φu ²⁻³ ≡ 1

2 Y ₂₂ ^u O ²³ _uφ − Y 33 ^u∗ (O _uφ ³² ) ^†  .

⁽²⁹⁾

The operator

O ²⁻³ _φu

^{does not give} orre tions to quark masses. Its ontributionto the

Htc

^{vertex is (see appendix C)}

αO _φu ²⁻³ + α ^∗ (O _φu ²⁻³ ) ^† ⊃ i v

2 [α ¯ c R γ ^µ t R − α ^∗ ¯t R γ ^µ c R ] ∂ µ H ,

⁽³⁰⁾

where

α

^{stands for}

C _φu ²⁻³ /Λ ²

^{. On the other hand,}

O ¯ _φu ²⁻³

^{indu es} non-diagonal Yukawa terms,

α ¯ O ²⁻³ _φu + α ^∗ ( ¯ O ²⁻³ _φu ) ^† ⊃ v ³ 4 √

2 [α(Y ₂₂ ^u c ¯ ^′ _L t ^′ _R − Y 33 ^u∗ c ¯ ^′ _R t ^′ _L ) + α ^∗ (Y ₂₂ ^u∗ ¯t ^′ _R c ^′ _L − Y 33 ^u ¯t ^′ _L c ^′ _R )] .

⁽³¹⁾

In this ase we denote the weak eigenstates with primes todistinguish them fromthe

mass eigenstates, whi h are obtained after diagonalising the mass matrix for up-type

quarks. Introdu ing the small dimensionless parameter

ε = αv ² /4 = C _φu ²⁻³ (v/Λ) ² /4

^,

the mass term for up-typequarks is

L

^mass

= −(¯u ^′ L ¯ c ^′ _L ¯t ^′ _L ) v

√ 2







Y ₁₁ ^u 0 0 0 Y ₂₂ ^u εY ₂₂ ^u 0 −ε ^∗ Y ₃₃ Y ₃₃











 u ^′ _R c ^′ _R t ^′ _R





 +

^{H. . (32)}

At rst order in

ε

^{,the relationbetween weak and mass} eigenstates is

u ^′ _L,R = u L,R ; c ^′ _L = c L , c ^′ _R = c R − εt ^R ; t ^′ _L = t L , t ^′ _R = t R + ε ^∗ c R .

⁽³³⁾

We an now ompute the ontributionof

O ¯ _φu ²⁻³

^tothe

Htc

^{vertex. The rst one omes}

from the operator itself,

α ¯ O _φu ²⁻³ + α ^∗ ( ¯ O _φu ²⁻³ ) ^† ⊃ 3v ² 4 √

2 [α(Y ₂₂ ^u ¯ c L t R − Y 33 ^u∗ ¯ c R t L ) + α ^∗ (Y ₂₂ ^u∗ ¯t R c L − Y 33 ^u ¯t L c R )] H .

⁽³⁴⁾

Noti e that in this equation we have repla ed weak by mass eigenstates at rst order

in

ε

^{,be ause they arealready multipliedby termsof order}

ε

^{. These ond} ontribution to the

Htc

^{vertex omes afterwritingtheSM Yukawa}intera tions, whi hare diagonal in the primed basis,

L

^Y

= − 1

√ 2 [Y ₁₁ ^u u ¯ ^′ _L u ^′ _R + Y ₂₂ ^u ¯ c ^′ _L c ^′ _R + Y ₃₃ ^u ¯ t ^′ _L t ^′ _R ] H

− 1

√ 2 [Y ₁₁ ^u∗ u ¯ ^′ _R u ^′ _L + Y ₂₂ ^u∗ ¯ c ^′ _R c ^′ _L + Y ₃₃ ^u∗ ¯ t ^′ _R t ^′ _L ] H

⁽³⁵⁾

in terms of the mass eigenstates

u L,R

^,

c L,R

^,

t L,R

^{. This additional} ontribution oming from mixingis

v ² 4 √

2 [α(−Y 22 ^u ¯ c L t R + Y ₃₃ ^u∗ c ¯ R t L ) + α ^∗ (−Y 22 ^u∗ ¯t R c L + Y ₃₃ ^u ¯t L c R )] H ,

⁽³⁶⁾

so thatthe total ontributionwhen

α ¯ O ²⁻³ _φu + α ^∗ ( ¯ O _φu ²⁻³ ) ^†

^{isaddedtotheSM Lagrangian}

is

v ² 2 √

2 [α(Y ₂₂ ^u c ¯ L t R − Y 33 ^u∗ c ¯ R t L ) + α ^∗ (Y ₂₂ ^u∗ ¯t R c L − Y 33 ^u ¯t L c R )] H .

⁽³⁷⁾

Comparing Eqs. (30) and (37), and introdu ing the quark masses

m c = Y ₂₂ ^u v/ √ 2

^,

m t = Y ₃₃ ^u v/ √

2

^{, we observe that the operatorequality implies the} repla ements

i¯ c R γ ^µ t R ∂ µ H → (m ^c ¯ c L t R − m ^t ¯ c R t L )H ,

−i¯t ^R γ ^µ c R ∂ µ H → (m ^c ¯ t R c L − m ^t ¯t L c R )H .

⁽³⁸⁾

Thesesubstitutionsareexa tlytheonesthat anbeappliedforon-shell

t

^and

c

^quarks,

be ause

∂ µ H = iq µ H

^{, with}

q = p t − p ^c

^{, andthe Dira equation an beused tosimplify}

p t

6

^and

p c 6

^{. However, the operator equality inEq. (28)is more general,and validfor o-}

shell parti les as well, provided that all ontributions from gauge-invariant operators

are taken intoa ount.

B Rewriting derivative terms in amplitude al ula-

tions

AswehaveseeninappendixA,theoperatorequalitiesinEqs.(8)implythatderivative

terms in

Htt

^,

Htq

intera tions anberepla edinamplitude al ulationsby s alarand pseudo-s alar terms, if all ontributions from the gauge-invariant ee tive operators

involvedaretakenintoa ountintheamplitudesandagauge-invariantsetofFeynman

diagrams is onsidered. For example,the repla ementsfor the

Htc

^{vertex are}

¯

c L 6 t q ^L → m ^t ¯ c L t R − m ^c ¯ c R t L ,

¯

c R 6 t q ^R → m ^t ¯ c R t L − m ^c ¯ c L t R ,

⁽³⁹⁾

plus thehermitian onjugate,being

q = p t −p ^c

^{the(outgoing)Higgsbosonmomentum.}

These repla ements are trivialif both the top and harm quarks are on-shell,be ause

in this ase they follow from the appli ation of the Dira equation. In this appendix

we show expli itly with a simple amplitude al ulation that this is also the ase for

o-shell quarks. For onvenien e, we dene the o-shell operator

O

^o

= ¯ c [q 6 (ω ^L P L + ω R P R ) − m ^t (ω R P L + ω L P R ) + m c (ω L P L + ω R P R )] t +

^{H. .}

,

⁽⁴⁰⁾

where

ω L

^and

ω R

^{are omplex onstants. This operator is dened as an arbitrary}

derivative ontribution minus the (pseudo-)s alar terms by whi h it an be repla ed,

a ording to Eqs. (39). It an alsobe writtenas

O

^o

= (ω R P L + ω L P R )(p 6 −m t ^t ) − (p 6 −m ^{c c} )(ω L P L + ω R P R ) +

^{H. .}

,

⁽⁴¹⁾

whi h is a mu h more onvenient form for omputations. Here we al ulate the am-

plitude for

gc → tH

^{, involving the two diagrams in Fig. 1. The gray ir les stand}

for an anomalous vertex involving

O

^{o. In order to show that the} repla ements in Eqs. (39) an be done in this pro ess (where the

O

^{o anomalous} intera tion involves o-shellquarks)itissu ienttoshowthatthesumoftheamplitudes orrespondingto

both diagrams an el. In this simplepro ess, the only ontributions tothe amplitude

from the gauge-invariantoperators onsidered are the

Htc

^{trilinear verti es, although}

this is not always the ase, and for gauge boson verti es additionalquarti diagrams

sometimes appear [13,17℄.

c

g

H

t t

c

g

H

t c

Figure1: Feynman diagrams ontributingto

gc → tH

^.

We label the momenta of the gluon, the external harm and top quarks and the

Higgs boson as

p ₁

^,

p ₂

^,

p ₃

^and

p ₄

^, respe tively. Using the on-shell onditions for the harm(top) quark involved inthe anomalous intera tion inthe rst (se ond) diagram

and using

(p6 +m)(p6 −m) = p ² − m ²

^{to simplify the} propagators, the two amplitudes read, in standard notation,

M ^t = −g ^s λ ^a

2 u(p ¯ 3 )γ ^µ (ω L P L + ω R P R )u(p 2 ) ε µ (p 1 ) , M ^s = g s

λ ^a

2 u(p ¯ 3 )(ω R P L + ω L P R )γ ^µ u(p 2 ) ε µ (p 1 ) ,

⁽⁴²⁾

and itis lear that

M ^t + M ^s = 0

^.

C Operator ontributions to top-Higgs intera tions

and quark masses

We olle theretheee tiveoperator ontributionstotop-Higgsintera tionsandquark

masses. We use the shorthand

α x = C x /Λ ²

^{, and drop the indi es on the}

α

^onstants.

Our expressions oin ide with those in Refs. [6,7℄. The ontribution of the operators

in Eqs. (2)with

i = j = 3

^{to the}

Htt

^{vertex are}

αO ^(3,33) _φq + α ^∗ (O ^(3,33) _φq ) ^† ⊃

^Im

α v ¯ t L γ ^µ t L ∂ µ H , αO ^(1,33) _φq + α ^∗ (O ^(1,33) _φq ) ^† ⊃ −

^Im

α v ¯ t L γ ^µ t L ∂ µ H ,

αO ³³ _φu + α ^∗ (O ³³ _φu ) ^† ⊃ −

^Im

α v ¯ t R γ ^µ t R ∂ µ H , αO ³³ _uφ + α ^∗ (O ³³ _uφ ) ^† ⊃ 3v ²

2 √

2 [

^Re

α ¯ t t + i

^Im

α ¯ tγ ₅ t] H .

⁽⁴³⁾

The ontributions totop FCN verti es with the Higgsboson are given by

αO _φq ^(3,ij) + α ^∗ (O ^(3,ij) _φq ) ^† ⊃ −i v

2 [α ¯ u Li γ ^µ u Lj − α ^∗ u ¯ Lj γ ^µ u Li ] ∂ µ H , αO _φq ^(1,ij) + α ^∗ (O ^(1,ij) _φq ) ^† ⊃ i v

2 [α ¯ u Li γ ^µ u Lj − α ^∗ u ¯ Lj γ ^µ u Li ] ∂ µ H , αO _φu ^ij + α ^∗ (O _φu ^ij ) ^† ⊃ i v

2 [α ¯ u Ri γ ^µ u Rj − α ^∗ u ¯ Rj γ ^µ u Ri ] ∂ µ H , αO _uφ ^ij + α ^∗ (O _uφ ^ij ) ^† ⊃ 3v ²

2 √

2 [α ¯ u Li u Rj + α ^∗ u ¯ Rj u Li ] H ,

⁽⁴⁴⁾

with

i, j = 1, 3/3, 1

^for

Htu

^and

i, j = 2, 3/3, 2

^for

Htc

^{. Finally, the only operator}

ontributing toquark massesis

O ^ij _uφ

^,

αO _uφ ^ij + α ^∗ (O _uφ ^ij ) ^† ⊃ v ³

2 √

2 [α ¯ u Li u Rj + α ^∗ u ¯ Rj u Li ] .

⁽⁴⁵⁾

Referen es

[1℄ C. J. C. Burgess and H. J.S hnitzer, Nu l.Phys. B 228 (1983)464

[2℄ C. N. Leung, S.T. Love and S. Rao, Z.Phys. C31 (1986) 433

[3℄ W.Bu hmuller and D. Wyler,Nu l.Phys. B 268 (1986) 621

[4℄ G. J. Gounaris, M. Kuroda and F. M. Renard, Phys. Rev. D 54 (1996) 6861

[hep-ph/9606435℄

[5℄ G. J. Gounaris, D. T. Papadamou and F. M. Renard, Z. Phys. C 76 (1997) 333

[hep-ph/9609437℄

[6℄ K. Whisnant, J. M. Yang, B. L. Young and X. Zhang, Phys. Rev. D 56 (1997)

467 [hep-ph/9702305℄

[7℄ J.M. Yang and B. L. Young, Phys. Rev.D 56 (1997)5907 [hep-ph/9703463℄

[hep-ph/0007316℄

[9℄ F. del Aguila, M. Perez-Vi toria and J. Santiago, Phys. Lett. B 492 (2000) 98

[hep-ph/0007160℄

[10℄ P. M. Ferreira, R. B. Guedes and R. Santos, Phys. Rev. D 77 (2008) 114008

[0802.2075 [hep-ph℄℄

[11℄ R. A. Coimbra, P. M. Ferreira, R. B. Guedes, O. Oliveira, A. Onofre, R. Santos

and M.Won, Phys. Rev. D 79 (2009) 014006 [0811.1743 [hep-ph℄℄

[12℄ P. M. Ferreiraand R. Santos, 0903.4470 [hep-ph℄

[13℄ J.A. Aguilar-Saavedra, Nu l.Phys. B 812 (2009) 181 [0811.3842 [hep-ph℄℄

[14℄ H.Georgi, Nu l.Phys. B 361 (1991) 339

[15℄ C. Arzt, Phys. Lett. B 342 (1995) 189 [hep-ph/9304230℄

[16℄ B. Grzadkowski, Z. Hioki, K.Ohkuma and J. Wudka, Nu l. Phys. B 689 (2004)

108 [hep-ph/0310159℄

[17℄ J.A. Aguilar-Saavedra, Nu l.Phys. B 804 (2008) 160 [0803.3810 [hep-ph℄℄

[18℄ J. A. Aguilar-Saavedra, J. Carvalho, N. Castro, A. Onofre and F. Veloso, Eur.

Phys. J.C 50 (2007) 519 [hep-ph/0605190℄

[19℄ J. A. Aguilar-Saavedra and G. C. Bran o, Phys. Lett. B 495 (2000) 347

[hep-ph/0004190℄