Classification of higher-dimensional operators in the Standard Model - - PowerPoint PPT Presentation

classification of higher dimensional operators in the
SMART_READER_LITE
LIVE PREVIEW

Classification of higher-dimensional operators in the Standard Model - - PowerPoint PPT Presentation

Classification of higher-dimensional operators in the Standard Model Mateusz Iskrzy nski University of Warsaw IMPRS Workshop, Munich 19.07.2010 Higher-dimensional operators in the Standard Model 1 Introduction Effective theories Structure


slide-1
SLIDE 1

Classification of higher-dimensional operators in the Standard Model

Mateusz Iskrzy´ nski

University of Warsaw

IMPRS Workshop, Munich 19.07.2010

slide-2
SLIDE 2

Higher-dimensional operators in the Standard Model

1 Introduction

Effective theories Structure of the Standard Model

2 Reasoning scheme 3 Basis of invariant effective operators 4 Comparison with ”Effective lagrangian analysis of new interactions

and flavour conservation” by Buchm¨ uller, Wyler (1986)

slide-3
SLIDE 3

Effective theories

Standard Model → Extension

slide-4
SLIDE 4

Effective theories

Standard Model → Extension But how does Extension correct Standard Model interactions in low-energy processes?

slide-5
SLIDE 5

Effective theories

Standard Model → Extension But how does Extension correct Standard Model interactions in low-energy processes? Appelquist-Carazzone decoupling theorem: L = L(4)

SM + 1 Λ

  • i

c(5)

i

O(5)

i

+ 1

Λ2

  • i

c(6)

i

O(6)

i

+ O( 1

Λ3 )

slide-6
SLIDE 6

Effective theories

Standard Model → Extension But how does Extension correct Standard Model interactions in low-energy processes? Appelquist-Carazzone decoupling theorem: L = L(4)

SM + 1 Λ

  • i

c(5)

i

O(5)

i

+ 1

Λ2

  • i

c(6)

i

O(6)

i

+ O( 1

Λ3 )

What are the operators O(5)

i

and O(6)

i

?

slide-7
SLIDE 7

Effective theories

Standard Model → Extension But how does Extension correct Standard Model interactions in low-energy processes? Appelquist-Carazzone decoupling theorem: L = L(4)

SM + 1 Λ

  • i

c(5)

i

O(5)

i

+ 1

Λ2

  • i

c(6)

i

O(6)

i

+ O( 1

Λ3 )

What are the operators O(5)

i

and O(6)

i

?

◮ Gauge and Lorentz symmetry ◮ Dependencies through EOM

slide-8
SLIDE 8

Effective theories

Standard Model → Extension But how does Extension correct Standard Model interactions in low-energy processes? Appelquist-Carazzone decoupling theorem: L = L(4)

SM + 1 Λ

  • i

c(5)

i

O(5)

i

+ 1

Λ2

  • i

c(6)

i

O(6)

i

+ O( 1

Λ3 )

What are the operators O(5)

i

and O(6)

i

?

◮ Gauge and Lorentz symmetry ◮ Dependencies through EOM

Classification given in the paper ”Effective lagrangian analysis of new interactions and flavour conservation” by W. Buchm¨ uller, D. Wyler (1986), but...

slide-9
SLIDE 9

Effective theories

Standard Model → Extension But how does Extension correct Standard Model interactions in low-energy processes? Appelquist-Carazzone decoupling theorem: L = L(4)

SM + 1 Λ

  • i

c(5)

i

O(5)

i

+ 1

Λ2

  • i

c(6)

i

O(6)

i

+ O( 1

Λ3 )

What are the operators O(5)

i

and O(6)

i

?

◮ Gauge and Lorentz symmetry ◮ Dependencies through EOM

Classification given in the paper ”Effective lagrangian analysis of new interactions and flavour conservation” by W. Buchm¨ uller, D. Wyler (1986), but... 22 (of 81) operators are redundant and 1 is absent.

slide-10
SLIDE 10

SM - gauge group representations structure

Field representation (dimension) hypercharge SU(3) SU(2) U(1) Gµ 8 1 Wµ 1 3 Bµ 1 1 q 3 2

1 6

u 3 1

2 3

d 3 1 − 1

3

l 1 2 − 1

2

e 1 1 −1 ϕ 1 2

1 2

slide-11
SLIDE 11

SM - lagrangian density

L0 = − 1

4G A µνG Aµν − 1 4W I µνW Iµν − 1 4BµνBµν

+ (Dµϕ)†(Dµϕ) + m2ϕ†ϕ − 1

2λ(ϕ†ϕ)2

+ i¯ l Dl + i¯ e De + i¯ q Dq + i¯ u Du + i ¯ d Dd+ − (¯ lΓeeϕ + ¯ qΓuu( ˜ ϕ) + ¯ qΓddϕ + h.c.)

slide-12
SLIDE 12

Mass-dimension of fundamental objects in units = c = 1

Type vector Vµ tensor Xµν spinor Ψ skalar ϕ Dimension (GeV )1 (GeV )2 (GeV )

3 2

(GeV )1 Object Dµ Wµν, Gµν, Bµν q, l, u, d, e ϕ

◮ for SU(3)

G A

µν = ∂µG B ν − ∂νG C µ − gsf ABCG B µ G C ν ◮ for SU(2)

W I

µν = ∂µW I ν − ∂νW I µ − gεIJKW J µ W K ν ◮ for U(1)

Bµν = ∂µBν − ∂νBµ

slide-13
SLIDE 13

Reasoning scheme

  • 1. Description in terms of matter fields ϕ, ψ, field strength tensors

Xµν and covariant derivatives Dµ. Dimensional analysis.

  • 2. Gauge and Lorentz symmetry.
  • 3. Reduction of the set of operators using algebraic properties and

SM EOM:

slide-14
SLIDE 14

Reasoning scheme

  • 1. Description in terms of matter fields ϕ, ψ, field strength tensors

Xµν and covariant derivatives Dµ. Dimensional analysis. e.g. dim-6 expressions containing both fermionic and bosonic fields: ψψXD, ψψXϕ, ψψϕϕϕ, ψψϕϕD, ψψϕDD, ψψDDD

  • 2. Gauge and Lorentz symmetry.
  • 3. Reduction of the set of operators using algebraic properties and

SM EOM:

slide-15
SLIDE 15

Reasoning scheme

  • 1. Description in terms of matter fields ϕ, ψ, field strength tensors

Xµν and covariant derivatives Dµ. Dimensional analysis.

  • 2. Gauge and Lorentz symmetry.
  • 3. Reduction of the set of operators using algebraic properties and

SM EOM:

slide-16
SLIDE 16

Reasoning scheme

  • 1. Description in terms of matter fields ϕ, ψ, field strength tensors

Xµν and covariant derivatives Dµ. Dimensional analysis.

  • 2. Gauge and Lorentz symmetry.

e.g. ψψϕDD : many possible choices of ψ - the only singlet in ˆ 2SU(2) ⊗ ˆ 2SU(2) hypercharge conservation (q†εϕ∗)u, (q†ϕ)d, (l†ϕ)e, + h.c.

  • 3. Reduction of the set of operators using algebraic properties and

SM EOM:

slide-17
SLIDE 17

Reasoning scheme

  • 1. Description in terms of matter fields ϕ, ψ, field strength tensors

Xµν and covariant derivatives Dµ. Dimensional analysis.

  • 2. Gauge and Lorentz symmetry.

e.g. ψψϕDD : many possible choices of ψ - the only singlet in ˆ 2SU(2) ⊗ ˆ 2SU(2) hypercharge conservation (q†εϕ∗)u, (q†ϕ)d, (l†ϕ)e, + h.c. Lorentz structure contains 2 singlets: ( 1

2, 0) ⊗ ( 1 2, 0) ⊗ ( 1 2, 1 2) ⊗ ( 1 2, 1 2) = (0, 0) ⊕ (0, 0) ⊕ (1, 0) ⊕ (2, 0)

⊕ (1, 1) ⊕ (0, 1) ⊕ (1, 1) ⊕ (2, 1)

  • 3. Reduction of the set of operators using algebraic properties and

SM EOM:

slide-18
SLIDE 18

Reasoning scheme

  • 1. Description in terms of matter fields ϕ, ψ, field strength tensors

Xµν and covariant derivatives Dµ. Dimensional analysis.

  • 2. Gauge and Lorentz symmetry.

e.g. ψψϕDD : many possible choices of ψ - the only singlet in ˆ 2SU(2) ⊗ ˆ 2SU(2) hypercharge conservation (q†εϕ∗)u, (q†ϕ)d, (l†ϕ)e, + h.c. 2 independent Lorentz invariants (for each): ¯ ψLψRϕDµDµ ¯ ψLσµνψRϕDµDν

  • 3. Reduction of the set of operators using algebraic properties and

SM EOM:

slide-19
SLIDE 19

Reasoning scheme

  • 1. Description in terms of matter fields ϕ, ψ, field strength tensors

Xµν and covariant derivatives Dµ. Dimensional analysis.

  • 2. Gauge and Lorentz symmetry.
  • 3. Reduction of the set of operators using algebraic properties and

SM EOM: We have (omitting full div) the following operators: ( ¯ ψLσµνψR)(DµDνϕ) (1) ( ¯ ψLσµνDµDνψR)ϕ (2) ( ¯ ψLσµνDµψR)(Dνϕ) (3) ( ¯ ψLDµDµψR)ϕ (4) ( ¯ ψLDµψR)(Dµϕ) (5) ( ¯ ψLψR)(DµDµϕ) (6)

slide-20
SLIDE 20

Reasoning scheme

  • 1. Description in terms of matter fields ϕ, ψ, field strength tensors

Xµν and covariant derivatives Dµ. Dimensional analysis.

  • 2. Gauge and Lorentz symmetry.
  • 3. Reduction of the set of operators using algebraic properties and

SM EOM: We can reduce: ( ¯ ψLσµνψR)(DµDνϕ) = 1

2( ¯

ψLσµνψR)([Dµ, Dν]ϕ) = 1

2( ¯

ψLσµνψR)(igWµν + ig′Bµν)ϕ ∼ ψψXϕ

slide-21
SLIDE 21

Reduction scheme

slide-22
SLIDE 22

Bosonic invariant operators

ϕ6 XXX ϕϕXX ϕ4DD (ϕ†ϕ)3 εIJKW I ν

µ

W J ρ

ν

W K µ

ρ

ϕ†T IϕW I

µνBµν

(ϕ†ϕ)(Dµϕ)†(Dµϕ) εIJK W IµνW J

νδW Kδ µ

ϕ†T IϕW I

µν ˜

Bµν [ϕ†(Dµϕ)][(Dµϕ)†ϕ] f ABCcG A ν

µ G B ρ ν G C µ ρ

ϕ†ϕW I

µνW Iµν

f ABC ˜ G A ν

µ G B δ ν G C µ δ

ϕ†ϕW I

µν ˜

W Iµν ϕ†ϕG A

µνG Aµν

ϕ†ϕG A

µν ˜

G Aµν ϕ†ϕBµνBµν ϕ†ϕBµν ˜ Bµν

slide-23
SLIDE 23

Invariant operators with 2 fermions

ψψϕϕD ψψϕϕϕ ψψXϕ (¯ qγµq)(ϕ†Dµϕ) [¯ u( ˜ ϕ†q)](ϕ†ϕ) ¯ dσµνλA(ϕ†q)G A

µν

(¯ qγµT Iq)(ϕ†T IDµϕ) [¯ d(ϕ†q)](ϕ†ϕ) ¯ uσµνλA( ˜ ϕ†q)G A

µν

(¯ uγµd)(ϕ†Dµ ˜ ϕ) [¯ e(ϕ†l)](ϕ†ϕ) ¯ dσµνT I(ϕ†q)W I

µν

(¯ uγµu)(ϕ†Dµϕ) ¯ uσµνT I( ˜ ϕ†q)W I

µν

(¯ dγµd)(ϕ†Dµϕ) ¯ eσµνT I(ϕ†l)W I

µν

(¯ eγµe)(ϕ†Dµϕ) ¯ uσµν( ˜ ϕ†q)Bµν (¯ lγµl)(ϕ†Dµϕ) ¯ dσµν(ϕ†q)Bµν (ϕ†l)γµ(¯ lDµϕ) ¯ eσµν(ϕ†l)Bµν

slide-24
SLIDE 24

Fermionic operators

¯ LL¯ LL ¯ RR ¯ RR (¯ lp1γµlp2)(¯ lp3γµlp4) (¯ eγµe)(¯ eγµe) (¯ qp1γµqp2)(¯ qp3γµqp4) (¯ up1γµup2)(¯ up3γµup4) (¯ qp1γµT Iqp2)(¯ qp3γµT Iqp4) (¯ dp1γµdp2)(¯ dp3γµdp4) (¯ qp1γµqp2)(¯ lp3γµlp4) (¯ uγµu)(¯ eγµe) (¯ qp1γµT Iqp2)(¯ lp3γµT Ilp4) (¯ dγµd)(¯ eγµe) (¯ up1γµup2)(¯ dp3γµdp4) (¯ up1γµT Aup2)(¯ dp3T Adp4)

slide-25
SLIDE 25

Fermionic operators

¯ LR ¯ RL ¯ LR¯ LR (¯ le)(¯ el) (¯ qp1up2)ε(¯ qp3dp4) (¯ ul)(¯ lu) (¯ qp1T Aup2)ε(¯ qp3T Adp4) (¯ dl)(¯ ld) (¯ qu)ε(¯ le)T (¯ qp1ep2)(¯ ep3qp4) (¯ qe)ε(¯ lu)T (¯ qp1up2)(¯ up3qp4) (¯ qp1T Aup2)(¯ up3T Aqp4) (¯ qp1dp2)(¯ dp3qp4) (¯ qp1T Adp4)(¯ dp3T Aqp2) (¯ qd)(¯ el)

slide-26
SLIDE 26

Redundant operators

1 2∂µ(ϕ†ϕ)∂µ(ϕ†ϕ)

slide-27
SLIDE 27

Redundant operators

1 2∂µ(ϕ†ϕ)∂µ(ϕ†ϕ)

( ¯ ψRDµψL)(Dµϕ) [(Dµ ¯ ψR)ψL](Dµϕ) ( ¯ ψγµDνψ)X µν

slide-28
SLIDE 28

Redundant operators

1 2∂µ(ϕ†ϕ)∂µ(ϕ†ϕ)

( ¯ ψRDµψL)(Dµϕ) [(Dµ ¯ ψR)ψL](Dµϕ) ( ¯ ψγµDνψ)X µν (¯ lp1γµT Ilp2)(¯ lp3γµT Ilp4) T I

ijT I kl = 1 2δilδkj − 1 2N δijδkl

slide-29
SLIDE 29

Redundant operators

1 2∂µ(ϕ†ϕ)∂µ(ϕ†ϕ)

( ¯ ψRDµψL)(Dµϕ) [(Dµ ¯ ψR)ψL](Dµϕ) ( ¯ ψγµDνψ)X µν (¯ lp1γµT Ilp2)(¯ lp3γµT Ilp4) T I

ijT I kl = 1 2δilδkj − 1 2N δijδkl

The absent one: (¯ qe)ε(¯ lu)T

slide-30
SLIDE 30

Lepton/baryon nr violating invariant operators

(lT ˜ ϕ∗)( ˜ ϕ†l) (1) εabc(lT

p1γµub)p2ε(dcT p3 γµqa p4)

(2) εabc(eT

p1γµqai p2)εij(ucT p3 γµqbj p4)

(3) εabc(eT

p1ua p4)(ubT p3 dc p2)

(4) εabc(lT

p1εqa p2)(qbT p3 εqc p4)

(5) εabc(lT

p1ετ Iqa p2)(qbT p3 ετ Iqc p4)

(6)

slide-31
SLIDE 31

The importance of classification

How to discover new physics?

slide-32
SLIDE 32

The importance of classification

How to discover new physics? Recent papers with redundant operators:

◮ J. A. Aguilar-Saavedra, ”Single top quark production at LHC with

anomalous Wtb couplings”, Nucl. Phys. B804 (2008) 160;

◮ K. Agashe, R. Contino, ”Composite Higgs-mediated

flavor-changing neutral current”, Phys. Rev. D 80, 075016 (2009);

◮ S. Kanemura, K. Tsumura, ”Effects of the anomalous Higgs

couplings on the Higgs boson production at the Large Hadron Collider ”, Eur. Phys. J. C63 (2009) 11;

slide-33
SLIDE 33

Questions

slide-34
SLIDE 34

Example: reduction of ( ¯ ψDµψ)(Dµϕ)

( ¯ ψDµψ)(Dµϕ) = ( ¯ ψDνηνµψ)(Dµϕ) = ( ¯ ψDν 1

2{γν, γµ}ψ)(Dµϕ)

= 1

2( ¯

ψDνγνγµψ)(Dµϕ) + 1

2( ¯

ψγµDψ)(Dµϕ) = ψψϕϕD + 1

2Dν[( ¯

ψγνγµψ)(Dµϕ)] − 1

2( ¯

ψ

Dγµψ)(Dµϕ)+ − 1

2( ¯

ψγνγµψ)(DνDµϕ) but ( ¯ ψγνγµψ)(DνDµϕ) = ( ¯ ψ(−i)σνµψ)(

  • k

X k

νµϕ) + ( ¯

ψψ)(DµDµϕ) so ( ¯ ψLDµψR)(Dµϕ) = ψψϕϕD + ψψXϕ + ψψϕ + ψψϕϕϕ + ψψψψ

slide-35
SLIDE 35

Example: reduction of ( ¯ ψDµψ)(Dµϕ)

( ¯ ψDµψ)(Dµϕ) = ( ¯ ψDνηνµψ)(Dµϕ) = ( ¯ ψDν 1

2{γν, γµ}ψ)(Dµϕ)

= 1

2( ¯

ψDνγνγµψ)(Dµϕ) + 1

2( ¯

ψγµDψ)(Dµϕ) = ψψϕϕD + 1

2Dν[( ¯

ψγνγµψ)(Dµϕ)] − 1

2( ¯

ψ

Dγµψ)(Dµϕ)+ − 1

2( ¯

ψγνγµψ)(DνDµϕ) but ( ¯ ψγνγµψ)(DνDµϕ) = ( ¯ ψ(−i)σνµψ)(

  • k

X k

νµϕ) + ( ¯

ψψ)(DµDµϕ) so ( ¯ ψLDµψR)(Dµϕ) = ψψϕϕD + ψψXϕ + ψψϕ + ψψϕϕϕ + ψψψψ

slide-36
SLIDE 36

Example: reduction of ( ¯ ψDµψ)(Dµϕ)

( ¯ ψDµψ)(Dµϕ) = ( ¯ ψDνηνµψ)(Dµϕ) = ( ¯ ψDν 1

2{γν, γµ}ψ)(Dµϕ)

= 1

2( ¯

ψDνγνγµψ)(Dµϕ) + 1

2( ¯

ψγµDψ)(Dµϕ) = ψψϕϕD + 1

2Dν[( ¯

ψγνγµψ)(Dµϕ)] − 1

2( ¯

ψ

Dγµψ)(Dµϕ)+ − 1

2( ¯

ψγνγµψ)(DνDµϕ) but ( ¯ ψγνγµψ)(DνDµϕ) = ( ¯ ψ(−i)σνµψ)(

  • k

X k

νµϕ) + ( ¯

ψψ)(DµDµϕ) so ( ¯ ψLDµψR)(Dµϕ) = ψψϕϕD + ψψXϕ + ψψϕ + ψψϕϕϕ + ψψψψ

slide-37
SLIDE 37

Example: reduction of ( ¯ ψDµψ)(Dµϕ)

( ¯ ψDµψ)(Dµϕ) = ( ¯ ψDνηνµψ)(Dµϕ) = ( ¯ ψDν 1

2{γν, γµ}ψ)(Dµϕ)

= 1

2( ¯

ψDνγνγµψ)(Dµϕ) + 1

2( ¯

ψγµDψ)(Dµϕ) = ψψϕϕD + 1

2Dν[( ¯

ψγνγµψ)(Dµϕ)] − 1

2( ¯

ψ

Dγµψ)(Dµϕ)+ − 1

2( ¯

ψγνγµψ)(DνDµϕ) but ( ¯ ψγνγµψ)(DνDµϕ) = ( ¯ ψ(−i)σνµψ)(

  • k

X k

νµϕ) + ( ¯

ψψ)(DµDµϕ) so ( ¯ ψLDµψR)(Dµϕ) = ψψϕϕD + ψψXϕ + ψψϕ + ψψϕϕϕ + ψψψψ

slide-38
SLIDE 38

Example: reduction of ( ¯ ψDµψ)(Dµϕ)

( ¯ ψDµψ)(Dµϕ) = ( ¯ ψDνηνµψ)(Dµϕ) = ( ¯ ψDν 1

2{γν, γµ}ψ)(Dµϕ)

= 1

2( ¯

ψDνγνγµψ)(Dµϕ) + 1

2( ¯

ψγµDψ)(Dµϕ) = ψψϕϕD + 1

2Dν[( ¯

ψγνγµψ)(Dµϕ)] − 1

2( ¯

ψ

Dγµψ)(Dµϕ)+ − 1

2( ¯

ψγνγµψ)(DνDµϕ) but ( ¯ ψγνγµψ)(DνDµϕ) = ( ¯ ψ(−i)σνµψ)(

  • k

X k

νµϕ) + ( ¯

ψψ)(DµDµϕ) so ( ¯ ψLDµψR)(Dµϕ) = ψψϕϕD + ψψXϕ + ψψϕ + ψψϕϕϕ + ψψψψ