arXiv:0811.3842v2 [hep-ph] 11 Dec 2008

arXiv:0811.3842v2 [hep-ph] 11 Dec 2008

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

Wesimplifythegeneral formofthefermion-fermion-gaugebosonintera tions

generated bydimension-sixgauge-invariant ee tiveoperatorsbyusingtheequa-

tions ofmotiontoremoveredundant operators. Itisfoundthatthemostgeneral

vertex for o-shell fermions

f i

^,

f j

^{and an o-shell boson}

V = W, Z, γ, g

^only

involves

γ ^µ

^and

σ ^µν q ν

^{terms, with}

q = p i − p ^j

^{. Examples are given for the}

W tb

^,

Ztt

^,

γtt

^and

gtt

intera tions, whose general expressionisgreatly simplied with respe t to previous results in theliterature. The same arguments apply to

top avour- hanging neutral intera tions with the

Z

^{boson, the photon or the}

gluon, whi h an alsobeparameterisedinfullgeneralitywithonly

γ ^µ

^and

σ ^µν q ν

ouplings. Expli itexpressionsaregivenfortheseverti esintermsofdimension-

sixgauge-invariant operators. We alsodis uss howee tiveoperator oe ients

might bedetermined fromeventual measurements ofanomalous ouplings.

1 Introdu tion

The pre ise measurement of the ouplings among the known fermions and bosons is

a standard tool for the sear h of new physi s beyond the Standard Model (SM). In

parti ular, atthe Large Hadron Collider (LHC), top quarks will be produ ed in large

numbers,allowingtoprobethetop ouplingswithagreatpre ision. Su hahighpre i-

sion is most wel omebe ause, being the top the heaviestquark, ee ts of new physi s

on its ouplings are expe ted to be larger than for any other fermion, and deviations

withrespe ttotheSMpredi tionsmightbedete table. Anadequateparameterisation

of themostgeneralintera tionsofthe topquark(oranyotherfermion)withthe gauge

bosons is ompulsory in order to sear h for new physi s and to interpret the results

of experimental measurements. In parti ular, itis importantto avoid the appearan e

of redundantparameters whi honlylead to a ompli ationof the analyses, both from

the theoreti aland experimental side, withoutmaking them more general.

The on-shell intera tion between two fermions

f i

^,

f j

^{and a gauge boson}

V =

W, Z, γ, g

^{an be} parameterised infull generality as

L

^OS

V f _i f _j = f ¯ j γ ^µ (A ^L P L + A ^R P R ) f i V µ

+ ¯ f j iσ ^µν q ν (B ^L P L + B ^R P R ) f i V µ + H.c. ,

⁽¹⁾

where

q = p i − p ^j

^{is the outgoing boson momentum and}

A ^L,R

^,

B ^L,R

^{are formfa tors,}

whi h in general may depend on

q ²

^{. (For the} avour- onserving photon and gluon verti es

A ^L = A ^R

^andforthe avour- hangingones

A ^L,R = 0

^{duetogaugesymmetry.)}

Aterm proportionalto

q ^µ

^{doesnotgiveany} ontributiontotheamplitudesforon-shell

V

^{,be ause inthis ase the ve tor boson} polarisation

ǫ µ

^satises

q ^µ ǫ µ = 0

^{.1 Additional}

terms with dierent Lorentz stru tures an bebrought intothis formby usingthe on-

shell onditions, namely, the Dira equation. Foro-shell fermions

f i

^,

f j

^{the situation}

might seem quite dierent be ause the Dira equation annot be used to restri t the

number and stru ture of the Lagrangian terms. However, as we will show here, if the

new anomalous ouplings arise fromdimension-six gauge-invariantee tive operators,

then the LagrangianinEq.(1) isstillthemost generalone. Were allhere thatee ts

of new physi sat ahigh s ale

Λ

^{an bedes ribed by an ee 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.}

(Higher-order orre tions from operators of higher dimension, suppressed by higher

powers of

Λ

^{, are negle ted in this work.) Among the operators listed in Ref. [3℄,}

fourteen ontribute totop ele troweak anomalous ouplings,

O ^(3,ij) _φq = i(φ ^† τ ^I D µ φ)(¯ q Li γ ^µ τ ^I q Lj ) , O _Du ^ij = (¯ q Li D µ u Rj ) D ^µ φ , ˜ O ^(1,ij) _φq = i(φ ^† D µ φ)(¯ q Li γ ^µ q Lj ) , O _Du ^ij _¯ = (D µ q ¯ Li u Rj ) D ^µ φ , ˜ O ^ij _φφ = i( ˜ φ ^† D µ φ)(¯ u Ri γ ^µ d Rj ) , O _Dd ^ij = (¯ q Li D µ d Rj ) D ^µ φ , O ^ij _φu = i(φ ^† D µ φ)(¯ u Ri γ ^µ u Rj ) , O _Dd ^ij _¯ = (D µ q ¯ Li d Rj ) D ^µ φ , O ^ij _uW = (¯ q Li σ ^µν τ ^I u Rj ) ˜ φ W _µν ^I , O _qW ^ij = ¯ q Li γ ^µ τ ^I D ^ν q Lj W _µν ^I , O ^ij _dW = (¯ q Li σ ^µν τ ^I d Rj )φ W _µν ^I , O _qB ^ij = ¯ q Li γ ^µ D ^ν q Lj B µν ,

O ^ij _uBφ = (¯ q Li σ ^µν u Rj ) ˜ φ B µν , O _uB ^ij = ¯ u Ri γ ^µ D ^ν u Rj B µν ,

⁽³⁾

up to dierent values of the avour indi es

i, j = 1, 2, 3

^{. Here}

q ¯ Li

^,

u Ri

^and

d Ri

^are

the quarkelds instandard notation(for detailssee thenext se tion). Operatorswith

1

A

q ^µ

^{term an also be dropped if}

V

^{ouples to external massless fermions, in whi h ase its}

ontributiontotheamplitudevanishesbyappli ationof theDira equation. Thisisindeed the ase

in severalpro essesofinterestatLHCand Tevatron,likeforexamplesingletopprodu tionin

t

^and

s

^hannels.

i = j = 3

^{ontribute to the}

W tb

^,

Ztt

^or

γtt

^{verti es, while operators involving two}

up-type quarks with

i, j = 1, 3/3, 1

^or

i, j = 2, 3/3, 2

^{ontribute to} avour- hanging neutral (FCN) top-up and top- harm intera tions, respe tively. Onlythree operators

(up toavour indi es) ontribute to strongintera tions,

O ^ij _uGφ = (¯ q Li λ ^a σ ^µν u Rj ) ˜ φ G ^a _µν , O _qG ^ij = ¯ q Li λ ^a γ ^µ D ^ν q Lj G ^a _µν ,

O _uG ^ij = ¯ u Ri λ ^a γ ^µ D ^ν u Rj G ^a _µν .

⁽⁴⁾

For

i = j = 3

^{they give diagonal}

gtt

^{ouplings whereas for}

i 6= j

^the intera tions are

avour- hanging,as the ele troweak ones.

All operators in the left olumns of Eqs. (3), (4) yield

γ ^µ

^and

σ ^µν q ν

^{terms, while}

thoseintheright olumnsgive

k ^µ ≡ (p ⁱ +p j ) ^µ

^and

q ^µ

^termsormore ompli atedLorentz stru tures. Not allthese ontributions to top ouplings are independent, however. In

Ref. [4℄ it was pointed out that

O _qW ³³

^,

O _qB ³³

^,

O _uB ³³

^{are redundant and an be expressed}

in terms of other operators in Eqs. (3)with

i = j = 3

^{, plus} four-fermionintera tions.

This implies in parti ular that their ontributions to the

W tb

^,

Ztt

^and

γtt

^ouplings

an be expressed in terms of other operator ontributions both for on-shell and o-

shell external parti les. Here we will generalise this result for operators with

i 6= j

^,

in luding also strong intera tions. We will nd expressions whi h allow to write: (i)

O ^ij _qW

^,

O ^ij _qB

^and

O _uB ^ij

^{intermsofoperatorsintheleft olumnofEqs.(3)plus}four-fermion intera tions, extendingthe resultsin Ref. [4℄to the ase of

i 6= j

^{; (ii)}

O ^ij _qG

^and

O _uG ^ij

ⁱⁿ

terms of

O ^ij _uGφ

^plus four-fermion intera tions. After proving that these operators are redundant,they anbeex ludedfromfurther onsiderationinthe sameway asseveral

othergauge-invariantdimension-sixredundantoperatorsone may onstru t[3℄arenot

onsidered.

Con erning the remaining operators, it has been previously noted that using the

equationsofmotion

O ³³ Du ¯

^and

O Dd ³³ ¯

^{an beexpressed intermsof}

O _Du ³³

^,

O _Dd ³³

^,respe tively, plus additionalterms. More re ently, inRef.[5℄ithas been shown withadire t al u-

lation ofthe amplitudesthat, forthe spe i ase ofthe

W tb

^{vertex, the} ontributions of

O _Du ³³

^,

O Du ³³ ¯

^,

O ³³ _Dd

^and

O Dd ³³ ¯

^{an be rewritten in terms of}

γ ^µ

^and

σ ^µν q ν

^{terms. Here}

we will show that the underlying reason for this simpli ation is that the four oper-

ators

O ^ij _Du

^,

O _Du ^ij _¯

^,

O ^ij _Dd

^and

O _Dd ^ij _¯

^{are a tually redundant. Therefore, only the operators}

in the left olumns of Eqs. (3), (4) are independent, and all of them give

γ ^µ

^or

σ ^µν q ν

ontributions to the verti es.

We must emphasise here that the fundamental prin iple whi h allows to rewrite

vertex ontributions into

γ ^µ

^and

σ ^µν q ν

^{terms foro-shell parti les isgauge symmetry.}

It is well-known that for o-shell fermions the Lorentz stru ture in Eq. (1) is not

the most general one and, for example, a

k ^µ

^{term annot be rewritten into}

σ ^µν q ν

plus

γ ^µ

^{terms using the Gordon identities if the fermions are o-shell. But when}

thesetrilineartermsaregeneratedfromgauge-invariantoperators,theyhaveasso iated

quarti intera tions (among several others) whi h also ontribute to the amplitudes.

In this way, the ontributionof a

k ^µ

^{term plusthe additional} ontributions relatedby gauge symmetry are equivalent to the one from a ombination of

σ ^µν q ν

^and

γ ^µ

^terms.

This fa twillbeexpli itlyshown here with examplesof amplitude al ulations.

The aimof this paper isto nd general expressions of the ele troweak top anoma-

lous intera tions generatedby dimension-sixgauge-invariant operators,whi hare also

minimalinthesensethatthey involveaset of ouplingsassmallaspossible. Se tion2

is devoted toobtain relationswhi h will eventually prove that the operators listed in

the right olumns of Eqs. (3), (4) are redundant and may be safely ex luded. The

results obtainedare thenappliedinse tion3tothe

W tb

^,

Ztt

^,

γtt

^and

gtt

^{verti es. We}

nd mu hsimplervertex stru turesin omparisontopreviousworks[69℄. Altogether,

these intera tions anbedes ribed with onlytwelve independent anomalous ouplings

whi hare the oe ientsof theee tive

γ ^µ

^and

σ ^µν q ν

intera tions. Theeventual mea- surement of these anomalous ouplings might be used to determine ee tive operator

oe ients. In se tion 4 we present results for

Ztu/Ztc

^,

γtq/γtc

^and

gtu/gtc

^{intera -}

tions, simplifyingprevious results [10,11℄. Forexample, the

Ztu

^and

Ztc

intera tions an be ea h des ribed by only four quantities and the

γtu

^and

γtc

^{verti es only need}

two parameters, whi h are the most onvenient ones to express observables su h as

ross se tions and bran hing ratios for FCN de ays. As we willsee, these parameters

turnouttobeindependent,despitethegaugerelationbetweenthe

Z

^{bosonandphoton}

elds. In appendix A we give expli it examples toshow how gauge symmetry ensures

that the ontributions to the amplitudes are the same inall ases when operators are

rewritten. In appendix B we olle t the ee tive operator ontributions to the

W tb

^,

Ztt

^,

γtt

^and

gtt

^{verti es, whileinappendix Cwe dothe samefor the} avour- hanging ones.

2 Ee tive operator equalities

In this paper we follow the notation of Ref. [3℄ for gauge invariant ee tive operators

with slightnormalisation hangesandsign dieren es,alsointrodu ingavour indi es.

We denoteby

q Li = u Li

d Li

!

, u Ri , d Ri (i = 1, 2, 3)

⁽⁵⁾

the quark weak intera tion eigenstates, with

(u ₁ , u ₂ , u ₃ ) = (u, c, t)

^and

(d ₁ , d ₂ , d ₃ ) = (d, s, b)

^{intheusualnotation.} Analogously,

ℓ Li

^and

e Ri

^{theleptondoubletsandsinglets,}

respe tively. The ovariantderivative is

D µ = ∂ µ + ig s

λ ^a

2 G ^a _µ + ig τ ^I

2 W _µ ^I + ig ^′ Y B µ ,

⁽⁶⁾

where

G ^a _µ

^,

W _µ ^I

^and

B µ

^{are the gauge elds for}

SU(3)

^,

SU(2) L

^and

U(1) Y

^,

λ ^a

^{are the}

Gell-Mann matri eswith

a = 1 . . . 8

^,

τ ^I

^{the Paulimatri es for}

I = 1, 2, 3

^and

Y

^isthe

hyper harge (with

Q = T ₃ + Y

^{) of the eld to whi h}

D µ

^{is applied. The harged}

W

boson elds are

W _µ ^± = 1

√ 2 W _µ ¹ ∓ iW µ ²

(7)

and the

Z

^{and photon are relatedto the}

W ³

^,

B

^{elds by}

Z µ = c W W _µ ³ − s ^W B µ ,

A µ = s W W _µ ³ + c W B µ ,

⁽⁸⁾

where

s W

^and

c W

^{are the sine and osineof the weakangle}

θ W

^, respe tively. Theeld strength tensors forSU

(3)

^{, SU}

(2) L

^{and U}

(1) Y

^are

G ^a _µν = ∂ µ G ^a _ν − ∂ ^ν G ^a _µ − g ^s f abc G ^a _µ G ^c _ν , W _µν ^I = ∂ µ W _ν ^I − ∂ ^ν W _µ ^I − gǫ ^{IJ K} W _µ ^J W _ν ^K ,

B µν = ∂ µ B ν − ∂ ^ν B µ ,

⁽⁹⁾

and the dual tensors are

F ˜ ^µν = 1

2 ǫ ^{µντ ρ} F τ ρ ,

⁽¹⁰⁾

for

F = B, W ^I , G ^a

^with

ǫ 0123 = 1

^{. The SM Higgsdoublet}

φ

^{has va uum} expe tation value

hφi = 1

√ 2 0 v

!

,

⁽¹¹⁾

with

v = 246

^{GeV, and we dene}

φ = ǫφ ˜ ^∗

^,

ǫ = iτ ²

^{. We will use the} dimension-four equations of motion of the quark elds

iD 6 q ^Li = Y _ij ^u u Rj φ + Y ˜ _ij ^d d Rj φ , iD 6 u ^Ri = Y _ij ^u† φ ˜ ^† q Lj ,

iD 6 d ^Ri = Y _ij ^d† φ ^† q Lj ,

⁽¹²⁾

with

Y ^u

^,

Y ^d

^the

3 × 3

^{matri es of up- and down-type quark Yukawa ouplings. The}

equations of motion of gaugeelds are

∂ ν B ^νµ − g ^′



− 1

2 ℓ ¯ Li γ ^µ ℓ Li − ¯e ^Ri γ ^µ e Ri + 1

6 q ¯ Li γ ^µ q Li + 2

3 u ¯ Ri γ ^µ u Ri − 1

3 d ¯ Ri γ ^µ d Ri

+ i 2 φ ^† ← →

D ^µ φ



= 0 , (D ν W ^νµ ) ^I − g



ℓ ¯ Li γ ^µ τ ^I

2 ℓ Li + ¯ q Li γ ^µ τ ^I

2 q Li + i

 φ ^† τ ^I

2 D ^µ φ − (D ^µ φ) ^† τ ^I 2 φ



= 0 , (D ν G ^νµ ) ^a − g ^s



¯ q Li

λ ^a

2 γ ^µ q Li + ¯ u Ri

λ ^a

2 γ ^µ u Ri + ¯ d Ri

λ ^a 2 γ ^µ d Ri



= 0 ,

⁽¹³⁾

summing overavours

i = 1, 2, 3

^{, with}

(D µ W νσ ) ^I = ∂ µ W _νσ ^I − gǫ ^{IJ K} W _µ ^J W _νσ ^K ,

(D µ G νσ ) ^a = ∂ µ G ^a _νσ − g ^s f abc G ^b _µ G ^c _νσ .

⁽¹⁴⁾

The equationof motion for the s alar eld is

D µ D ^µ φ − m ² φ + λ(φ ^† φ)φ + Y _ij ^e† e ¯ Ri ℓ Lj + Y _ij ^u (¯ q Li ǫ) ^T u Rj + Y _ij ^d† d ¯ Ri q Lj ,

⁽¹⁵⁾

and wewill alsouse

D µ D ^µ φ − m ˜ ² φ + λ( ˜ ˜ φ ^† φ) ˜ ˜ φ + Y _ij ^e (¯ ℓ Li ǫ) ^T e ¯ Rj + Y _ij ^u† u ¯ Ri q Lj + Y _ij ^d (¯ q Li ǫ) ^T d Rj .

⁽¹⁶⁾

In therestofthis se tionwewilluse thedimension-fourequationsofmotionforthein-

tera ting SM elds toobtain relationsamongthe ee tive operators. These equations

an be used to remove redundant operators even for o-shell external parti les [12℄.

Although for deniteness we restri t ourselves to operatorsinvolving quarks, it is evi-

dentthatthesameargumentsapplytotheleptonse torwheretheeldshavethesame

isospin stru ture but are singlets under

SU(3)

^{, and the equivalent leptoni operators}

are redundantas well. In appendix A we provideexamplesshowing thatthe rewriting

of ontributions implied by the operator equalities give the same result in amplitude

al ulations even with o-shell fermions and bosons.

2.1 Equalities for

O ^ij _qW

^,

O ^ij _qB

^,

O _uB ^ij

^,

O _qG ^ij

^and

O _uG ^ij

InRef.[4℄itwaspointedoutthat

O ³³ _qW

^,

O _qB ³³

^and

O _uB ³³

^{areredundantand anbewritten}

in termsof othergauge-invariantoperators. Weextend this resulttothe non-diagonal

ase

i 6= j

^{also in luding}

O ^ij _qG

^and

O _uG ^ij

^{. The desired relations an be obtained by}

writing allthese operators as

O ^ij _x = 1

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

2 O _x ^ij − (O ^ji x ) ^†  ,

⁽¹⁷⁾

Note that for

i = j

^{the rst term is hermitianwhile the se ond one is} anti-hermitian.

Forthe rst one wehave

O ^ij _qW + (O _qW ^ji ) ^† = (¯ q Li γ ^µ τ ^I q Lj ) (D ^ν W νµ ) ^I , O ^ij _qB + (O ^ji _qB ) ^† = (¯ q Li γ ^µ q Lj ) ∂ ^ν B νµ , O _uB ^ij + (O _uB ^ji ) ^† = (¯ u Ri γ ^µ u Rj ) ∂ ^ν B νµ ,

O _qG ^ij + (O ^ji _qG ) ^† = (¯ q Li λ ^a γ ^µ q Lj ) (D ^ν G νµ ) ^a ,

O ^ij _uG + (O ^ji _uG ) ^† = (¯ u Ri λ ^a γ ^µ u Rj ) (D ^ν G νµ ) ^a ,

⁽¹⁸⁾

up to a total derivative. These sums an then be transformed using the gauge eld

equations ofmotion. Forthe se ondterm wemake use ofthe operators involvingdual

eld strengths, whi h we dene withan extra

i

^{fa tor,}

O ^ij _{q ˜ W} = i¯ q Li γ ^µ D ^ν τ ^I q Lj W ˜ _µν ^I , O _{q ˜} ^ij _G = i¯ q Li λ ^a γ ^µ D ^ν q Lj G ˜ ^a _µν , O ^ij _{q ˜ B} = i¯ q Li γ ^µ D ^ν q Lj B ˜ µν , O _{u ˜} ^ij _G = i¯ u Ri λ ^a γ ^µ D ^ν u Rj G ˜ ^a _µν ,

O ^ij _{u ˜ B} = i¯ u Ri γ ^µ D ^ν u Rj B ˜ µν .

⁽¹⁹⁾

Their relation with the ones involving

B

^,

W ^I

^,

G ^a

^,

O _{q ˜} ^ij _W = O ^ij _qW + 1

2 q ¯ Li σ ^µν τ ^I iD 6 q ^Lj W _µν ^I , O ^ij _{q ˜ B} = O ^ij _qB + 1

2 q ¯ Li σ ^µν iD 6 q ^Lj B µν , O ^ij _{u ˜ B} = −O ^ij uB − 1

2 u ¯ Ri σ ^µν iD 6 u ^Rj B µν , O _{q ˜} ^ij _G = O ^ij _qG + 1

2 q ¯ Li λ ^a σ ^µν iD 6 q ^Lj G ^a _µν , O ^ij _{u ˜ G} = −O ^ij uG + 1

2 u ¯ Ri λ ^a σ ^µν iD 6 u ^Rj G ^a _µν ,

⁽²⁰⁾

an be triviallyobtained fromthe equality [3℄

F ˜ ^µν γ µ D ν ψ ± = ±



iF ^µν γ µ D ν − 1

2 F ^µν σ µν D 6



ψ ± ,

⁽²¹⁾

where the spinors

ψ ±

^satisfy

γ 5 ψ ± = ±ψ ^±

^{.2 The quark equations of motion an then}

beused inthelastterms inEqs.(20). Moreover, usingthe Bian hiidentities it anbe

2

InRefs.[8,9℄relationsequivalenttothoseinEqs.(20)plusthehermitian onjugatearequotedbut

withoutthe

1/2

^{fa torsinthetermswiththe}

σ ^µν

^{matri es. Inorderto larifythis}dis repan y,wehave onrmedEqs.(20)withadire t al ulationusingtheproperty

σ ^µν γ ^σ = −ǫ ^µνσρ γ ⁵ γ ρ +iγ ^µ g ^νσ −iγ ^ν g ^µσ

^.

Noti ealsoadierentsigninRef.[3℄whenwritingEq.(21).

O ^ij _{q ˜ W} − (O ^ji _{q ˜ W} ) ^† = O _{q ˜} ^ij _B − (O _{q ˜} ^ji _B ) ^† = O ^ij _{u ˜ B} − (O _{u ˜} ^ji _B ) ^† = 0 ,

O ^ij _{q ˜ G} − (O ^ji _{q ˜ G} ) ^† = O ^ij _{u ˜ G} − (O ^ji _{u ˜ G} ) ^† = 0 ,

⁽²²⁾

up tototal derivatives. Joiningthe two termsit is found that

O _qW ^ij = − 1 4

h Y _jk ^u O ^ik _uW + Y _jk ^d O ^ik _dW − Y ki ^u† (O _uW ^jk ) ^† − Y ki ^d† (O _dW ^jk ) ^† i + g

4



O ^(3,ij) _φq + O _φq ^{(3,ji) †}



+ g

4 (¯ q Li γ ^µ τ ^I q Lj )(¯ ℓ Lk γ µ τ ^I ℓ Lk ) + g

4 (¯ q Li γ ^µ q Lj )(¯ q Lk γ µ τ ^I q Lk ) , O ^ij _qB = − 1

4 h

Y _jk ^u O ^ik _uBφ + Y _jk ^d O ^ik _dBφ − Y ki ^u† (O ^jk _uBφ ) ^† − Y ki ^d† (O _dBφ ^jk ) ^† i + g ^′

4



O ^(1,ij) _φq + O _φq ^{(1,ji) †}



− g ^′

4 (¯ q Li γ ^µ q Lj )(¯ ℓ Lk γ µ ℓ Lk ) − g ^′

2 (¯ q Li γ ^µ q Lj )(¯ e Rk γ µ e Rk ) + g ^′

12 (¯ q Li γ ^µ q Lj )(¯ q Lk γ µ q Lk ) + g ^′

3 (¯ q Li γ ^µ q Lj )(¯ u Rk γ µ u Rk ) − g ^′

6 (¯ q Li γ ^µ q Lj )( ¯ d Rk γ µ d Rk ) , O ^ij _uB = 1

4 h

Y _ki ^u O _uBφ ^kj − Y jk ^u† (O ^ki _uBφ ) ^† i + g ^′

4 h

O _φu ^ij + (O _φu ^ji ) ^† i

− g ^′

4 (¯ u Ri γ ^µ u Rj )(¯ ℓ Lk γ µ ℓ Lk )

− g ^′

2 (¯ u _Ri γ ^µ u _Rj )(¯ e _Rk γ _µ e _Rk ) + g ^′

12 (¯ u _Ri γ ^µ u _Rj )(¯ q _Lk γ _µ q _Lk ) + g ^′

3 (¯ u _Ri γ ^µ u _Rj )(¯ u _Rk γ _µ u _Rk ) − g ^′

6 (¯ u _Ri γ ^µ u _Rj )( ¯ d _Rk γ _µ d _Rk ) , O _qG ^ij = − 1

4

h Y _jk ^u O ^ik _uGφ + Y _jk ^d O _dGφ ^ik − Y ki ^u† (O _uGφ ^jk ) ^† − Y ki ^d† (O _dGφ ^jk ) ^† i + g s

4 (¯ q Li λ ^a γ ^µ q Lj )(¯ q Lk λ ^a γ µ q Lk ) + g s

4 (¯ q Li λ ^a γ ^µ q Lj )(¯ u Rk λ ^a γ µ u Rk ) + g _s

4 (¯ q _Li λ ^a γ ^µ q _Lj )( ¯ d _Rk λ ^a γ _µ d _Rk ) , O ^ij _uG = 1

4

h Y _ki ^u O _uGφ ^kj − Y jk ^u† (O _uGφ ^ki ) ^† i + g s

4 (¯ u Ri λ ^a γ ^µ u Rj )(¯ q _Lk λ ^a γ µ q _Lk ) + g s

4 (¯ u Ri λ ^a γ ^µ u Rj )(¯ u Rk λ ^a γ µ u Rk ) + g s

4 (¯ u Ri λ ^a γ ^µ u Rj )( ¯ d Rk λ ^a γ µ d Rk ) .

⁽²³⁾

A sum over

k = 1, 2, 3

^is understood. The operators

O ^ij _dBφ = (¯ q Li σ ^µν d Rj )φB µν ,

O ^ij _dGφ = (¯ q Li λ ^a σ ^µν d Rj )φG ^a _µν

⁽²⁴⁾

appearing inthe aboveequations donot ontribute totop ouplings.

2.2 Equalities for

O ^ij _Du

^,

O ^ij _{Du ¯}

^,

O _Dd ^ij

^and

O ^ij _{Dd ¯}

In order to show that these operators are redundant, itis onvenient to onsider their

sums

O _Du ^ij + O _Du ^ij _¯

^,

O ^ij _Dd + O _Dd ^ij _¯

^{and dieren es}

O _Du ^ij − O ^ij Du ¯

^,

O _Dd ^ij − O Dd ^ij ¯

^{. The sums an}

O _Du ^ij + O _Du ^ij _¯ = D µ (¯ q Li u Rj )D ^µ φ = −¯q ˜ ^Li u Rj D µ D ^µ φ , ˜

O ^ij _Dd + O ^ij _{Dd ¯} = D µ (¯ q Li d Rj )D ^µ φ = −¯q ^Li d Rj D µ D ^µ φ .

⁽²⁵⁾

Using the s alar equations of motionit isfound that these sums are equivalent to

O ^ij _Du + O ^ij _{Du ¯} = −m ² q ¯ Li u Rj φ + λO ˜ _uφ ^ij + Y _kl ^e (¯ q Li u Rj ) (¯ ℓ Lk ǫ) ^T e Rl

 +Y _kl ^u† (¯ q Li u Rj )(¯ u Rk q Ll ) + Y _kl ^d (¯ q Li u Rj ) (¯ q Lk ǫ) ^T d Rl  , O _Dd ^ij + O ^ij _{Dd ¯} = −m ² q ¯ Li d Rj φ + λO _dφ ^ij + Y _kl ^e† (¯ q Li d Rj )(¯ e Rk ℓ Ll ) ,

+Y _kl ^u (¯ q Li d Rj ) (¯ q Lk ǫ) ^T u Rl  + Y _kl ^d† (¯ q Li d Rj )( ¯ d Rk q Ll ) ,

⁽²⁶⁾

summing over

k, l

^,with

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

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

⁽²⁷⁾

and thereforeredundant. Notethatthe rewrittentermsonthe right-handsideofthese

equations do not ontributeto the gauge boson verti es. This result is not surprising

sin e the ontributionbefore rewriting is proportionalto

q ^µ

^{and vanishes if the gauge}

boson is on-shellor oupling tomasless externalfermions.

In order to rewrite the dieren es

O _Du ^ij − O Du ^ij ¯

^and

O _Dd ^ij − O Dd ^ij ¯

^{, we introdu e the}

auxiliary operators

O ^′ _Du ^ij = i(¯ q Li σ ^µν D ν u Rj ) D µ φ , ˜ O ^′ _{Du ¯} ^ij = i(D ν q ¯ Li σ ^µν u Rj ) D µ φ , ˜ O ^′ _Dd ^ij = i(¯ q Li σ ^µν D ν d Rj ) D µ φ ,

O ^′ _{Dd ¯} ^ij = i(D ν q ¯ Li σ ^µν d Rj ) D µ φ ,

⁽²⁸⁾

whi haregaugeinvariant. Usingthedenitionofthe

σ ^µν

^{matri esand}

{γ ^µ , γ ^ν } = 2g ^µν

^,

it is easyto see that these two sets of operatorsare related by

O _Du ^ij = O _Du ^{′ ij} − i¯q ^Li γ ^µ (iD 6 u ^Rj ) D µ φ ˜ ≡ O ^′ Du ^ij − ∆O ^ij Du , O _Du ^ij _¯ = −O Du ^′ ¯ ^ij + i(iD 6 q ^Li )γ ^µ u Rj D µ φ ˜ ≡ −O ^′ Du ¯ ^ij + ∆O _Du ^ij _¯ , O _Dd ^ij = O ^′ _Dd ^ij − i¯q ^Li γ ^µ (iD 6 d ^Rj ) D µ φ ≡ O ^′ Dd ^ij − ∆O ^ij Dd ,

O _Dd ^ij _¯ = −O ^′ Dd ¯ ^ij + i(iD 6 q ^Li )γ ^µ d Rj D µ φ ≡ −O ^′ Dd ¯ ^ij + ∆O ^ij _{Dd ¯} .

⁽²⁹⁾

∆O ^ij _Du = 1 2 Y _jk ^u† h

(O _φq ^(3,ki) ) ^† − (O ^(1,ki) φq ) ^† i ,

∆O ^ij _{Du ¯} = −Y ki ^u† (O _φu ^jk ) ^† + Y _ki ^d† (O _φφ ^jk ) ^† ,

∆O ^ij _Dd = 1 2 Y _jk ^d† h

O ^(3,ik) _φq + O _φq ^(1,ik) i ,

∆O ^ij _{Dd ¯} = Y _ki ^u† O ^kj _φφ + Y _ki ^d† O ^kj _φd ,

⁽³⁰⁾

with

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

⁽³¹⁾

On the other hand, wehave

O _Du ^{′ ij} + O _Du ^′ _¯ ^ij = iD ν (¯ q Li σ ^µν u Rj )D µ φ = −i¯q ˜ ^Li σ ^µν u Rj D ν D µ φ , ˜

O ^′ _Dd ^ij + O _Dd ^′ _¯ ^ij = iD ν (¯ q Li σ ^µν d Rj )D µ φ = −i¯q ^Li σ ^µν d Rj D ν D µ φ .

⁽³²⁾

Sin e

[D µ , D ν ]φ = ig τ ^I

2 W _µν ^I φ + ig ^′ Y B µν φ ,

⁽³³⁾

these sums an alsobe writtenin terms of already known operators,

O ^′ _Du ^ij + O _Du ^′ _¯ ^ij = − g

4 O ^ij _uW + g ^′ 4 O ^ij _uBφ , O _Dd ^{′ ij} + O _Dd ^′ _¯ ^ij = − g

4 O ^ij _dW − g ^′

4 O dBφ .

⁽³⁴⁾

Finally, using Eqs.(29), (30) and (34) wearriveat the desired result,

O ^ij _Du − O ^ij Du ^¯ = − g

4 O _uW ^ij + g ^′

4 O _uBφ ^ij − 1 2 Y _jk ^u† h

(O _φq ^(3,ki) ) ^† − (O φq ^(1,ki) ) ^† i +Y _ki ^u† (O ^jk _φu ) ^† − Y ki ^d† (O _φφ ^jk ) ^† ,

O _Dd ^ij − O ^ij Dd ¯ = − g

4 O _dW ^ij − g ^′

4 O dBφ − 1 2 Y _jk ^d† h

O _φq ^(3,ik) + O ^(1,ik) _φq i

−Y ki ^u† O _φφ ^kj − Y ki ^d† O ^kj _φd .

⁽³⁵⁾

This, together with Eqs. (26), shows that the four operators

O _Du ^ij

^,

O ^ij _{Du ¯}

^,

O ^ij _Dd

^and

O ^ij _{Dd ¯}

are redundant.

3 General

W tb

^,

Ztt

^,

γtt

^and

gtt

intera tions

We onsider new physi s ontributions tothe third generation intera tions, whi h are

des ribed by the dimension-six ee tiveoperatorsin Eqs. (3) and (4) with avour in-

di es

i = j = 3

^{. These} ontributionsare olle tedinappendixBfor omplex oe ients

C x

^{. Here we ex lude fromthe analysis the redundant operatorsin these equations, in}

the same way as many other possible redundant operators one may onstru t [3℄ are

ignored. Thus, weprovide ompletelygeneralexpressionsforthe

W tb

^,

Ztt

^,

γtt

^and

gtt

verti esforo-shell fermionsandbosons whi halsoinvolveaminimalset of ouplings.

We remark that the expressions presented here do not make any assumption about

quark masses and mixings. (In fa t, the operator equalities in the previous se tion

involvearbitrary Yukawamatri es, witharbitrary massesand mixings.) Moreover, we

take into a ount all ontributing operators independently of whether they also give

orre tions to the

Zbb

^{verte, whi h is very} onstrained by present experimental data, or not. Can ellationsamongee tive operator ontributions are possible and o ur in

minimal SM extensions [13℄ as we will show later in more detail. (The same remarks

apply to the results in the next se tion.) We nally show that anomalous oupling

measurementsmight beused todetermine ee tive operator oe ients.

3.1

W tb

^vertex

The ee tive

W tb

^{vertex in luding SM} ontributions and those from dimension-six operators an beparameterised as

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. .

⁽³⁶⁾

The mass s ale normalising the

σ ^µν q ν

^{termhas been taken as}

M W

^{be ause this hoi e}

onsiderably simplies the algebrai expressions of observables al ulated from this

vertex [14℄. Additionally, with this normalisation the relation between

g L

^,

g R

^and

ee tive operator oe ients is simplerand involvesthe ratioof s ales

v ² /Λ ²

^{. Within}

the SM,

V L

^{equals the}Cabibbo-Kobayaski-Maskawamatrix element

V tb ≃ 1

^{, whilethe}

rest of ouplings

V R

^,

g L

^and

g R

^{vanish at the tree level. The} ontributions to these

ouplings fromthe operators inEqs. (3) are

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

Λ ² , δg L = √

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

2 C _φφ ³³ v ²

Λ ² , δg R = √

2C _uW ³³ v ²

Λ ² .

⁽³⁷⁾

After removing redundant operators the stru ture of the Lagrangian in Eq. (36) is

rather simple. All the new physi s ee ts onthe

W tb

^{vertex an be des ribed by four}

parameters, whi hhave a dire t onne tion with ee tive operator oe ients.

3.2

Ztt

^vertex

We parameterise the

Ztt

^{vertex in luding the SM} ontributions as well as those from dimension-six ee tive operators as

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

^{thetopquarkele tri harge. Themasss aleforthe}

σ ^µν q ν

^termistaken

as

M Z

^{inanalogy withthe}

W tb

^{vertex but, onthe other hand,we have} parameterised this oupling in terms of the ve tor and axial parts. The former is real while the

latter is purely imaginary and CP-violating. They are the weak analogous to the top

quark magneti and ele tri dipole moment, respe tively (see next subse tion), up to

normalisation. Within the SM, these ouplings take the values

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

^,

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

^{, where}

T 3

^{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 =

^Re

h

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

i v ²

Λ ² , δd ^Z _V = √

2

^Re

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

2

Λ ² , δX _tt ^R = −

^Re

C _φu ³³ v ²

Λ ² , δd ^Z _A = √

2

^Im

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

Λ ² .

⁽³⁹⁾

Atthis pointit isworthwhiletodis uss therelationbetween the

Ztt

^and

Zbb

^{verti es,}

the latter very onstrained by LEP data. Some authors drop from their analyses the

operators

O ⁽³⁾ _φq

^and

O _φq ⁽¹⁾

^{for this reason,be ausethey give} ontributions

δX _bb ^L =

^Re

h

C _φq ^(3,33) + C _φq ^(1,33) i v ²

Λ ² .

⁽⁴⁰⁾

However, an ellations are possible and take pla e in minimal models. For example,

in a SM extension with a

Q = 2/3

^{singlet we have}

C _φq ^(3,33) = −C φq ^(1,33)

^{[13℄, so that}

3

Noti eatypoin Eqs.(8)ofRef.[5℄,whereaminussignshould multiply

O uW

^.

the ontribution to the

Zbb

^vertex identi ally an els but there an be deviations in the

Ztt

intera tion. One an still wonder about the orre tions to the

W tb

^vertex

from

O _φq ^(3,33)

^{, whi h may ae t low-energy}

B

^{physi s [15℄. However, in this parti ular}

model additional ontributions an (at least partly) make up for the dieren e as it

has been shown with a global analysis of pre ision ele troweak data and low energy

onstraints from

B

^and

K

^{physi s [16℄. The reason behind the (partial) an ella-}

tion amongnew physi s ontributions in this simple, parti ular modelis pre isely the

Glashow-Iliopoulos-Maiani(GIM)me hanism[17℄.

3.3

γtt

^vertex

The

γtt

^{vertex in luding the SM oupling (given by the top ele tri harge}

Q t

^{) and}

ontributions from dimension-six ee tive operators an beparameterised as

L ^γtt = −eQ ^t ¯ t γ ^µ t A µ − e¯t iσ ^µν q ν

m t

(d ^γ _V + id ^γ _A γ 5 ) t A µ .

⁽⁴¹⁾

The ouplings

d ^γ _V

^,

d ^γ _A

^{arerealandrelatedtothe topquarkmagneti andele tri dipole}

moment, respe tively, by a multipli ative fa tor, and the latter is CP-violating. For

this intera tion we have

δd ^γ _V =

√ 2

e

^Re

c W C _uBφ ³³ + s W C _uW ³³  vm t

Λ ² , δd ^γ _A =

√ 2

e

^Im

c W C _uBφ ³³ + s W C _uW ³³  vm t

Λ ² .

⁽⁴²⁾

We note that the

γ ^µ

^{term does not re eive} orre tions from dimension-six operators (thisalsoappliestothe

gtt

^,

γtu/γtc

^and

gtu/gtc

^{verti es). Ifwehadin ludedtheredun-}

dant operators

O qW

^,

O qB

^and

O uB

^{,the rst twowould yield} orre tions

∼ q ² ¯t L γ ^µ t L A µ

and the latter

∼ q ² t ¯ R γ ^µ t R A µ

^, non-vanishing only when the photon is o-shell. The operator rewriting in Eqs. (23) eliminates su h terms, so that orre tions to the ele -

tromagneti oupling are absent even for o-shell photons. In parti ular, as di tated

by Eqs. (23) the ontributionto the amplitudes of a

q ²

^-dependent

γ ^µ

^{term an be re-}

produ ed by a onstant

γ ^µ

^term (proportionaltothe square of the gaugeboson mass) plus four-fermionintera tions. An expli it example an be found inappendix A.

3.4

gtt

^vertex

This vertex, in ludingthe SM ontribution, is written as

L ^gtt = −g ^s ¯ t λ ^a

2 γ ^µ t G ^a _µ − g ^s ¯tλ ^a iσ ^µν q ν

m t

(d ^g _V + id ^g _A γ ₅ ) t G ^a _µ ,

⁽⁴³⁾

The ouplings

d ^g _V

^,

d ^g _A

^{are real and relatedtothe top} hromomagneti and hromoele - tri dipole moments, respe tively. They vanish in the SM at the tree level. The new

physi s ontributions fromee tive operators are

δd ^g _V =

√ 2 g s

Re

C _uGφ ³³ vm t

Λ ² , δd ^g _A =

√ 2 g s

Im

C _uGφ ³³ vm t

Λ ² .

⁽⁴⁴⁾

As inthe ase ofthephoton, the

γ ^µ

^{term doesnot in lude} orre tionsfromdimension- six operators.

3.5 Determination of ee tive operator oe ients

One may nally wonder whether hypotheti almeasurements of these anomalous ou-

plings might provide any insight on the ee tive operators generating them. The

answer is armative, sin e there are 12 anomalous ouplings and only 8 operator o-

e ients. (Noti e, however, that some of the anomalous ouplings orrespond to the

real or imaginary parts of an ee tive operator oe ient or ombination of them.)

The measurementof

W tb

^{anomalous ouplings would translateintoa} measurementof

C _φq ^3,33

^,

C _φφ ³³

^,

C _dW ³³

^and

C _uW ³³

^{. In the}

Ztt

^{vertex, the anomalous} ontributions to

X _tt ^L

^and

X _tt ^R

^{would then determine the real parts of}

C _φq ^(1,33)

^and

C _φq ³³

^{. From}

d ^Z _V

^and

d ^γ _V

^{the real}

parts of

C _uW ³³

^and

C _uBφ ³³

^{might be obtained, while from}

d ^Z _A

^and

d ^γ _A

^{one would obtain}

the imaginaryparts. Inthe gluon vertex,

d ^g _V

^and

d ^g _A

^{determine the realand imaginary}

parts, respe tively,of

C _uGφ ³³

^{. Theonly oe ientforwhi htwo}independentdetermina- tions arepossibleis

C _uW ³³

^{,whi h ouldbeobtainedfrom}

g R

^{andalsofromthe ombined}

measurements of

d ^Z _V

^,

d ^γ _V

^{(the real part) and}

d ^Z _A

^,

d ^γ _A

^{(the imaginary part). Of ourse,}

this isatremendously optimisti pi ture,sin e obtainingthese measurementsinareal

dete tor is very hallenging (see for instan e Ref. [18℄) and nding some eviden e of

physi s beyond the SM would already be very positive.

4 General top avour- hanging intera tions

In this se tion we olle t the general Lagrangians for

Ztc

^,

γtc

^and

gtc

intera tions with o-shell

t

^,

c

^{quarks and gauge bosons, and the relation between the respe tive}

terms and oe ients of dimension-six gauge-invariant operators. For

Ztu

^,

γtu

^and

gtu

^{verti esthe Lagrangian stru ture is the same and the oe ients are obtained by}

repla ingthe generationindex(

2 → 1

^{). The} ontributionsofalloperatorsare olle ted in appendix C.

4.1

Ztc

^vertex

This intera tion, as the remaining avour- hanging ones, vanishes in the SM at the

tree leveldue totheGIM me hanism. The ontributions fromdimension-sixoperators

an be parameterised with the Lagrangian

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. .}

,

⁽⁴⁵⁾

in ludingonly

γ ^µ

^and

σ ^µν q ν

^{terms and involvingfour anomalous ouplings whose on-}

tributions from ee tive operatorsread

δX _ct ^L = 1 2

h

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

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

2 C _φu ²³ + C _φu ^32∗  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

2

Λ ² .

⁽⁴⁶⁾

A few omments are now in order. The Lagrangian in Eq. (45) for

Ztc

intera tions involves all ontributing dimension-six ee tive operators, in luding

O _φq ^(3,ij)

^and

O _φq ^(1,ij)

that were dis arded in Refs. [10,11℄ be ause an ellations were banned there. These

an ellations naturally happen in some SM extensions, for example with an extra

Q = 2/3

^{quark singlet (see the dis ussion in se tion 3.2 and Refs. [13,16℄). Hen e,}

this simpli ation does not have a solid phenomenologi al basis and turns out to be

restri tive. We alsoobserve that, although there are several possible ontributingop-

erators, the number of relevant parameters ne essary to des ribe the

Ztc

intera tion is only four instead of seven as onsidered before [10,11℄. We also emphasise that

these parameters are independent, as we will observe by omparing with the results

in the next subse tion. We nally remark that a Lagrangian equivalent to the one in

Eq. (45) has been used for previous phenomenologi al analyses [19,20℄. The results

presented here show that those analyses are ompletely general also if regarded from

the framework of dimension-six gauge-invariantee tive operators.

4.2

γtc

^vertex

The

γtc

^{vertex arising from} dimension-six ee tive operators an beparameterised in full generality as

L ^γtc = −e¯c iσ ^µν q ν

m t

λ ^L _ct P L + λ ^R _ct P R
t A µ +

^{H. .}

,

⁽⁴⁷⁾

δλ ^L _ct =

√ 2

e s W C _uW ^32∗ + c W C _uBφ ^32∗  vm t

Λ ² , δλ ^R _ct =

√ 2

e s W C _uW ²³ + c W C _uBφ ²³  vm t

Λ ² .

⁽⁴⁸⁾

This Lagrangian is ompletely general but only involves two independent parameters

instead of the four ones onsidered in Refs. [10,11℄. As we have anti ipated, these

parameters are independent from the orresponding ones involvinga

Ztc

intera tion.

(For example, a ombination of operators with

C _uBφ ³² = − tan θ ^W C _uW ²³

^{does not on-}

tribute to

λ ^R _ct

^but ontributes to

κ ^R _ct

^{.) An equivalent Lagrangian has been used in}

previous phenomenologi al analyses [19,20℄ whi h are ompletelygeneral, as we have

shown here.

4.3

gtc

^vertex

Finally, the

gtc

^{vertex arisingfrom} dimension-six ee tive operatorsis writtenas

L ^gtc = −g ^s c λ ¯ ^a iσ ^µν q ν

m t

ζ _ct ^L P L + ζ _ct ^R P R
t G ^a _µ ,

⁽⁴⁹⁾

where the ontributions to the two relevant ouplings

ζ _ct ^L

^,

ζ _ct ^R

^are

δζ _ct ^L =

√ 2 g s

C _uGφ ^32∗ vm t

Λ ² , δζ _ct ^R =

√ 2 g s

C _uGφ ²³ vm t

Λ ² .

⁽⁵⁰⁾

Thisparameterisationseemsmore onvenientthatotherones[21℄be ausetherewriting

of

O qG

^and

O uG

^{eliminates quarti terms whi h otherwise would have to be in luded}

in amplitude al ulations. Of ourse, the physi al results are independent of the pa-

rameterisation but the eort needed for omputations may be redu ed if an adequate

parameter set is hosen.

4.4 Determination of ee tive operator oe ients

A hypotheti almeasurement ofFCN ouplings mighteventuallybeused todetermine

ee tive operator oe ients but not ompletely, be ause there are 8 anomalous ou-

plings involved in the verti es and 9 ee tive operator oe ients. Let us fo us on

top- harm intera tions for deniteness. The simultaneous measurement of

κ ^L _ct

^and

λ ^L _ct

would determine

C _uW ³²

^and

C _uBφ ³²

^{, while}

κ ^R _ct

^and

λ ^R _ct

^{would do the same for}

C _uW ²³

^and

C _uBφ ²³

^{. From the gluon ouplings,}

C _uGφ ³²

^and

C _uGφ ²³

^{might be obtained. On the other}

hand, the various oe ients appearing in

X _ct ^L

^and

X _ct ^R

^{annot be} disentangled using only measurements of FCN ouplings. As we have pointed out, the FCN anomalous

ouplings are all independent, althoughthey ould be relatedto anomalous ouplings

appearing inthe

W td

^and

W ts

^{verti es, whi h are not addressed here.}

5 Summary

New physi satahighers ale anbedes ribed withintheframeworkofgauge-invariant

ee tive operatorswhi h result after integrating the heavy degrees of freedom. These

operators an indu e orre tions to SM ouplings and, in parti ular, may originate

anomalous ouplings of the top quark to the gauge bosons. The large number and

variety of dimension-six gauge-invariant ee tive operators [3℄ leads to the apperan e

of many possible Lorentz stru tures for the top trilinear verti es involving a large

numberof parameters.

In this work we have used the equations of motion to remove redundant opera-

tors, arriving at the gratifying on lusion that all ee tive operator ontributions to

the trilinear

V f i f j

^{verti es involving a}

W

^or

Z

^{boson, a photon or a gluon, an be}

parameterised infull generality using only

γ ^µ

^and

σ ^µν q ν

^{terms, with}

q = p j − p ⁱ

^{. This}

result, whi h iswell-known foranon-shellboson

V

^{and on-shellfermions}

f i

^,

f j

^,isalso

valid if they are o-shell due to the gauge stru ture of the theory, i.e. the fa t that

gauge-invariantee tive operators in ludenot only

V f i f j

^{verti es but alsoother ones}

as for example

gV f i f j

^and four-fermion intera tions. In this way, phenomenologi al analyses involving anomalous ouplings an be onsiderably simplied. Compared to

previous literature, we nd that new physi s ontributions to top intera tions an be

des ribed with a smaller number of parameters and a simpler Lorentz stru ture. The

redu tion in the number of ee tive operator oe ients an be read in Table 1 for

ea hof the ouplingsstudied. Thenumberofanomalous ouplingsinvolved inthever-

ti es is in luded aswell. Notethat someof the anomalous ouplingsare real orpurely

imaginary by denition. For example, in the

gtt

^{vertex the two anomalous ouplings}

involvethe real and imaginarypart of the oe ient

C _uGφ ³³

^.

A se ond importantpoint whi h must be noted is that in most ases the relation

between anomalous ouplings and ee tive operator oe ients is dire t, for example

in the

W tb

^{vertex. This would allow for the} determinationof ee tive operator oef-

 ients if these anomalous ouplings were measured at LHC [5℄. In some other ases

ee tive operator oe ients anbedeterminedbysimultaneous measurementsoftwo

W tb Ztt γtt gtt Ztu/c γtu/c gtu/c

C _x ⁰

^{9 10 5 3 20 10 6}

C x

^{4 5 2 1 10 4 2}

N

^{min 4 4 2 2 4 2 2}

Table 1: For ea h intera tion: number of ee tive operator oe ients

C _x ⁰

^,

C x

^on-

tributingtothetrilinearvertexbeforeandafterremovingredundantoperators;number

of anomalous ouplings

N

^{min ne essary to des ribethe vertex.}

anomalous ouplings, e.g. involvingthe

Z

^{boson and the photon ouplings. Moreover,}

if allanomalous ouplingsinthe

W tb

^,

Ztt

^and

γtt

^{verti esmightbedetermined(whi h}

isanextremelyoptimisti assumption)a onsisten y he k ouldbeperformedby om-

paringthe determinationof

C _uW ³³

^fromthe

W tb

^oupling

g R

^andfromthesimultaneous measurementofthe

Ztt

^ouplings

d ^Z _V

^,

d ^Z _A

^and

γtt

^ouplings

d ^γ _V

^,

d ^γ _A

^{. Analogoustestsare}

not possible in FCN intera tions where all anomalous ouplings involve independent

ombinationsofoperator oe ients,but ouldbepossibleifanomalous

W td

^and

W ts

intera tions were in luded.

Working within the framework of gauge-invariantee tive operators, phenomeno-

logi al studies of the inuen e of top anomalous ouplings an be arried out using

the simpleLagrangians given in se tions3and 4. (This isvalidfor any other fermion,

sin ethe resultsare general.) Of ourse,inagiven pro esstheremaybefurther ontri-

butions to the amplitudes apart from those originatingfrom trilinearverti es, related

by gauge symmetry. But in this respe t the operator rewriting performed alsoproves

to be very useful. The redundant operators removed in lude asso iated intera tions,

for example

gZtc

^and

gγtc

^{verti es, whi h should otherwise be taken into a ount in}

amplitude al ulations. After rewriting these operatorsand showing that they are re-

dundant, not only the extra terms in the vertex are unne essary but also the quarti

intera tions. This fa t greatly simpliesthe theoreti al setup and the development of

Monte Carlo generators involvingtop anomalous ouplings.

A knowledgements

I thank M. Pérez-Vi toria for dis ussions and F. del Aguila and J. Wudka for useful

omments. This work has been supported by a MEC Ramón y Cajal ontra t, MEC

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