SLIDE 26 ❈❍❆P❚❊❘ ✸✳ ◆❯▼❊❘■❈❆▲ ❘❊❙❯▲❚❙ ❋❖❘ ❚❍❊ 3D O(4) ▼❖❉❊▲ ✸✳✷✳ ❙❊❚✲❯P ✇❤❡r❡ z0 ❛♥❞ q2 ❛r❡ ♦❜t❛✐♥❡❞ ❢r♦♠ z0 ❛♥❞ q2 ❣✐✈❡♥ ✐♥ r❡❢✳ ❬✶✾❪ ❜② s✉❜st✐t✉t✐♥❣ −b−1
j±3 t♦ aj ❢♦r
j = 1, 2, ..., 6✳ ❚❤❡ ♥♦t❛t✐♦♥ ✐♥ t❤❡♦r❡♠ ✭✶✮ ✇❛s ❝❤❛♥❣❡❞ t♦ ❛ ❜❡tt❡r ✉♥❞❡rst❛♥❞✐♥❣ ♦❢ t❤❡ ♦♥❡✳ ❊❞❣❡ ❧❡♥❣t❤ ✐s t❤❡ ❧✐♥❡❛r ❞✐st❛♥❝❡ ❜❡t✇❡❡♥ t✇♦ s♣✐♥s Si ❛♥❞ Sj✳ ❙♣❤❡r✐❝❛❧ ❡❞❣❡ ❧❡♥❣t❤ ✐s t❤❡ ❛r❝ ♦❢ ❛ ❝✐r❝❧❡ ♦❢ r❛❞✐✉s ✶ ✇✐t❤ Si ❛♥❞ Sj ❛s ✈❡rt✐❝❡s✳ ❆♥ str❛♥❣❡ ♣♦✐♥t t❤❛t ✇❛s ❢♦✉♥❞ ✐♥ t❤❡ ❝❛❧❝✉❧❛t✐♦♥ ♦❢ t❤❡ s♣❤❡r✐❝❛❧ t❡tr❛❤❡❞r♦♥ ✈♦❧✉♠❡ ✐s t❤❛t t❤❡ ♦r❞❡r ♦❢ t❤❡ ❡❞❣❡ ❧❡♥❣t❤s ei✬s ♠❛tt❡rs ✐♥ ▼✉r❛❦❛♠✐✬s ❢♦r♠✉❧❛✱ s♦ t❤❡ ♥❡①t ❛❣r❡❡♠❡♥t ✇❛s r❡❛❝❤❡❞✿ ■♥ t❤❡ ❝❛❧❝✉❧❛t✐♦♥ ♦❢ t❤❡ ✈♦❧✉♠❡ ♦❢ t❤❡ s♣❤❡r✐❝❛❧ t❡tr❛❤❡❞r♦♥ ❢♦r♠❡❞ ❜② ❢♦✉r s♣✐♥s S1✱ S2✱
S4✱ t❤❡ s♣✐♥ S1 ✐s t❤❡ t♦♣ ❝♦r♥❡r ♦❢ t❤❡ s♣❤❡r✐❝❛❧ t❡tr❛❤❡❞r♦♥✱ S2 ✇✐❧❧ ❜❡ t❤❡ ❧❡❢t ❝♦r♥❡r✱ S3 ✐s t❤❡ ♦♥❡ ❛t t❤❡ ❜♦tt♦♠ ❛♥❞ S4 ✇✐❧❧ ❜❡ t❤❡ ❝♦r♥❡r ❛t t❤❡ r✐❣❤t✱ s♦ t❤❡♥ t❤❡ ❡❞❣❡ ❧❡♥❣t❤ e1 ❝♦♥♥❡❝ts ( S1, S2✱ e2 ❝♦♥♥❡❝ts ( S1, S3)✱ e3 ❝♦♥♥❡❝ts ( S1, S4)✱ e4 ❝♦♥♥❡❝ts ( S3, S4)✱ e5 ❝♦♥♥❡❝ts ( S2, S4) ❛♥❞ e6 ❝♦♥♥❡❝ts ( S2, S3)✳ ❚❤❡ ✈❡❝t♦rs ✇❡r❡ ✜①❡❞ t❤❛t ✇❛② ❜❡❝❛✉s❡ ✐t s❡❡♠❡❞ t♦ ♠❛t❝❤ t❤❡ ♦r❞❡r ❣✐✈❡♥ ✐♥ r❡❢✳ ❬✶✾❪ ✭s❡❡ ✜❣✉r❡ ✸✳✶✮✳ ❋♦r t❤❡ ❞❡t❡r♠✐♥❛t✐♦♥ ♦❢ t❤❡ ✈♦❧✉♠❡ t❤❡ ♥❡①t q✉❛♥t✐t✐❡s ❛r❡ ✉s❡❞✿ q0 = a1a4 + a2a5 + a3a6 + a1a2a6 + a1a3a5 + a2a3a4 + a4a5a6 + a1a2a3a4a5a6 ✭✸✳✷✮ q1 = − (a1 − a−1
1 )(a4 − a−1 4 ) − (a2 − a−1 2 )(a5 − a−1 5 ) − (a3 − a−1 3 )(a6 − a−1 6 )
✭✸✳✸✮ q2 = a−1
1 a−1 4
+ a−1
2 a−1 5
+ a−1
3 a−1 6
+ a−1
1 a−1 2 a−1 6 ) + a−1 1 a−1 3 a−1 5
+ a−1
2 a−1 3 a−1 4
+ a−1
4 a−1 5 a−1 6
+ a−1
1 a−1 2 a−1 3 a−1 4 a−1 5 a−1 6
✭✸✳✹✮ z0 = −q1 +
1 − 4q0q2
2q2 ✭✸✳✺✮ L(a1, a2, ..., a6, z) = 1 2(Li2(z) + Li2(a−1
1 a−1 2 a−1 4 a−1 5 z) + Li2(a−1 1 a−1 3 a−1 4 a−1 6 z)
+ Li2(a−1
2 a−1 3 a−1 5 a−1 6 z) − Li2(−a−1 1 a−1 2 a−1 3 z) − Li2(−a−1 1 a−1 5 a−1 6 z)
− Li2(−a−1
2 a−1 4 a−1 6 z) − Li2(−a−1 3 a−1 4 a−1 5 z)
+ log a1 log a4 + log a2 log a5 + log a3 log a6) ✭✸✳✻✮ ❋♦r t❤❡ tr❡❛t♠❡♥t ♦❢ t❤❡ ❞✐❧♦❣❛r✐t❤♠ ❢✉♥❝t✐♦♥s ✐t ♠❛② ❜❡ ❡①♣❛♥❞ t❤❡ ❧♦❣❛r✐t❤♠ ✐♥ ♣♦✇❡rs ♦❢ z✱ ♦❜t❛✐♥✐♥❣ t❤❡ ❚❛②❧♦r s❡r✐❡s ❡①♣❛♥s✐♦♥ ❢♦r t❤❡ ❞✐❧♦❣❛r✐t❤♠✱ ✈❛❧✐❞ ❢♦r |z| ≤ 1✱ Li2(x) = − x log (1 − t) t dt ⇒ Li2 =
∞
zk k2 . ✭✸✳✼✮ ❆ ❝♦♠♣❧❡t❡ st✉❞② ♦❢ ❞✐❧♦❣❛r✐t❤♠ ❢✉♥❝t✐♦♥ ❝❛♥ ❜❡ ❢♦✉♥❞ ❛t r❡❢✳ ❬✷✵❪✳ ❚❤❡ s✐❣♥❡❞ ✈♦❧✉♠❡ ♦❢ t❤❡ s♣❤❡r✐❝❛❧ t❡tr❛❤❡❞r♦♥ ❢♦r♠❡❞ ❜② S1✱ S2✱ S3 ❛♥❞ S4 ✐s ❣✐✈❡♥ ❜② V ( S1, S2, S3, S4) = sign(det( S1, S2, S3, S4)) × V ol( S1, S2, S3, S4) ✭✸✳✽✮
✸✳✷ ❙❡t✲✉♣
❚❤❡ ♥❡①t r❡s✉❧ts ❢♦r t❤❡ 3d O(4) ♠♦❞❡❧ ✇❡r❡ ♦❜t❛✐♥❡❞ ✇✐t❤ t❤❡ s✐♥❣❧❡ ❝❧✉st❡r ❲♦❧✛ ❛❧❣♦r✐t❤♠ ✭❢♦r t❤❡ ❢♦r♠❛t✐♦♥ ♦❢ ❝❧✉st❡rs✮ ❛♥❞ ▼❡tr♦♣♦❧✐s ❛❧❣♦r✐t❤♠ ✭❢♦r t❤❡ ❛❝❝❡♣t❛♥❝❡ ♦❢ t❤❡ ❝❧✉st❡rs✮ ✇✐t❤ s❡✈❡r❛❧ ❜❛r②♦♥✐❝ ❝❤❡♠✐❝❛❧ ♣♦t❡♥t✐❛❧s ✭µB ≥ 0✮✳ ✶✽