adventures with group theory: counting and constructing

24
Adventures with group theory: counting and constructing polynomial invariants for applications in quantum entanglement and molecular phylogenetics or: THE POWER OF PLETHYSM Peter Jarvis School of Mathematics and Physics University of Tasmania [email protected] Adelaide, June 2012 Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 1 / 24

Upload: others

Post on 22-Apr-2022

1 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Adventures with group theory: counting and constructing

Adventures with group theory:counting and constructing polynomial invariants

for applications in quantum entanglement and molecular phylogenetics

or: THE POWER OF PLETHYSM

Peter Jarvis

School of Mathematics and PhysicsUniversity of [email protected]

Adelaide, June 2012

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 1 / 24

Page 2: Adventures with group theory: counting and constructing

“Die Gruppenpest”

E Schrodinger

M BornP Dirac

E Wigner

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 2 / 24

Page 3: Adventures with group theory: counting and constructing

It has been rumoured that the group pest is gradually being cut out ofquantum physics−H. Weyl, The Theory of Groups and Quantum Mechanics, 1930

We wish finally to make a few remarks concerning the place of the theory ofgroups in the study of the quantum mechanics of atomic spectra. Thereader will have heard that this mathematical discipline is of greatimportance for the subject. We manage to get along without it.

− E. U. Condon and G. H. Shortley, Theory of Atomic Spectra, 1935

· · · I dont think [Pauli] liked it particularly · · · there was a word, DieGruppenpest, and you have to chase away the Gruppenpest. But JohnnyNeumann, told me, “Oh these are old fogeys; in five years every student willlearn group theory as a matter of course,” and essentially he was right.

−Eugene P. Wigner, Interview with T. S. Kuhn, 1963; c©AIP.

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 3 / 24

Page 4: Adventures with group theory: counting and constructing

This is the birthplace ofWIGNER JENO

1902-1995Nobel Prize in Physics

Student of the Fasori LutheranSecondary School

Honorary Doctorate at the EotvosLorand University

Honorary Member of the Eotvos LorandPhysics SocietyProud Hungarian

With his involvement in the ManhattanProject and in the field of Nuclear Physicsleft a lasting impression on humankind.

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 4 / 24

Page 5: Adventures with group theory: counting and constructing

The classical groups

GL(N,C) = {mi,j , 1 ≤ i , j ≤ N : det(m) 6= 0}

U(N) = {mi,j , 1 ≤ i , j ≤ N : det(m) 6= 0&m∗ij = m−1

ji }

O(N,C) = {mi,j , 1 ≤ i , j ≤ N : mTm = I}

Sp(N,C) = {mi,j , 1 ≤ i , j ≤ N : mT Jm = J, J = −JT}

Let g ∈ G let have eigenvalues x1, x2, · · · , xN . Then the character of the definingrepresentation is

Tr(g) =∑

ixi

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 5 / 24

Page 6: Adventures with group theory: counting and constructing

The classical groups (and a not-so-classical one)

GL(N,C) = {mi,j , 1 ≤ i , j ≤ N : det(m) 6= 0}

U(N) = {mi,j , 1 ≤ i , j ≤ N : det(m) 6= 0, &m∗ij = m−1

ji }

O(N,C) = {mi,j , 1 ≤ i , j ≤ N : mTm = I}

Sp(N,C) = {mi,j , 1 ≤ i , j ≤ N : mT Jm = J, J = −JT}

Let g ∈ G let have eigenvalues x1, x2, · · · , xN . Then the character of the definingrepresentation is

Tr(g) =∑

ixi

GL1(N,C) = {mi,j , 1 ≤ i , j ≤ N : det(m) 6= 0, &∑

i mij = 1, ∀j}

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 6 / 24

Page 7: Adventures with group theory: counting and constructing

Group Characters 101

For g ⊗ g acting on V ⊗ V we have

Tr(g ⊗ g) = Tr(g)2 =∑

i,jxixj

Consider W± = V ⊗ V /〈(v ⊗ w ± w ⊗ v)〉. – taking a generating set{ei ⊗ ej ± ej ⊗ ei} and diagonal matrices,

Tr+(g ⊗ g) =∑

i<jxixj +

ix2i =

i≤jxixj ,

Tr−(g ⊗ g) =∑

i<jxixj

Theorems(i)(Schur-Weyl) The characters of irreducible tensor representations ofGL(N) are certain symmetric polynomials sλ(x), where λ = (λ1, λ2, · · · , λN)is an integer partition.(ii)The character formula can be written combinatorially via tableaux as

sλ(x) =∑

T∈SSTλ

xT

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 7 / 24

Page 8: Adventures with group theory: counting and constructing

Symmetric functions 102

Extend C[x1, x2, · · · , xN ] to the ring Λ(X ) in an infinite alphabetX = (x1, x2, x3, · · · ), with the Schur functions as natural basis.

We need various binary operations (products):

outer product: sλ · sµ(X ) =∑

cνλ,µsν(X ), |ν| = |λ|+ |ν|;

inner product: sλ ∗ sµ(X ) =∑

gνλ,µsν(X ), |ν| = |λ| = |µ|;

· · · and their duals, expressing the expansion in composite alphabets X+Y =(x1, x2, x3, · · · , y1, y2, · · · ),XY =(x1y1, x2y1, x3y1, · · · ; x1y1, x2y1, · · · ):

outer coproduct: sν(X + Y ) =∑

cνλ,µsλ(X )sµ(Y );

inner coproduct: sν(XY ) =∑

gνλ,µsλ(X )sµ(Y );

( – generically, we write these asf (X+Y ) =

f(1)(X )f(2)(Y ), f (XY ) =∑

f[1](X )f[2](Y ).)

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 8 / 24

Page 9: Adventures with group theory: counting and constructing

The power of plethysm

One further binary operation is plethysm, named by D E Littlewoodfor the operation of composition of symmetric function maps.

Definition:let sµ =

T∈SSTµxT . Then sλ[sµ](X ) := sλ(Y ), where Y is the

alphabet {xT}T∈SSTµ, and we have

plethysm: sλ[sµ](X ) =∑

pνλ,µsν(X ), |ν| = |λ||µ|.

Often denoted multiplicatively, λ[µ] ≡ µ⊗λ (because theunderlying module is a projection of the tensor power ⊗|λ|Vµ).

(We could also have a plethysm coproduct with a compoundalphabet say XY =(xy11 , x

y12 , x

y13 , · · · ; x

y21 , x

y22 , x

y23 , · · · ; · · · ), so

f (XY ) =∑

f<1>(X )f<2>(Y )).

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 9 / 24

Page 10: Adventures with group theory: counting and constructing

Example: s(12)[s(2)] in GL(3)

The semi-standard tableaux T (and monomials xT ) for are

SST ={

1 1 , 1 2 , 1 3 , 2 2 , 2 3 , 3 3

}

,

∴ s(2) = x21 + x1x2 + x1x3 + x22 + x2x3 + x23

– that is, the alphabet Y = {xT} ≡ (x21 , x1x2, x1x3, x22 , x2x3, x

23 ).

Forming∑

T<T ′ xT xT′

gives 15 monomials,

x31 x2 + x31 x3 + x21 x22 + x21 x2x3 + x21 x

23+

x21 x2x3 + x1x32 + x1x

22 x3 + x1x2x

23 + x1x

22 x3+

x1x2x23 + x1x

33 + x32 x3 + x22 x

23 + x2x

33

∴ s(12)[s(2)] = s(3,1) ↔

1 1 12 ,

1 1 13 ,

1 1 22 ,

1 1 23 ,

1 1 33 ,

1 1 32 ,

1 2 22 ,

1 2 23 ,

1 2 33 ,

1 2 32 ,

1 3 32 ,

1 3 33 ,

2 2 23 ,

2 2 33 ,

2 3 33 .

.

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 10 / 24

Page 11: Adventures with group theory: counting and constructing

Invariants of group representations

Standard problem of invariant theory is, given a space W carrying arepresentation of some group, construct tensor products W , W⊗W ,W⊗W⊗W ,· · · , ⊗nW , and study group-invariant elements.

The space of ‘polynomials in the components of W ’ is in fact C[W ∗], so therelevant tensor spaces are the symmetric powers W , W∨W ,W∨W∨W ,· · · , ∨nW .

Theorem (Molien):Let hn = dimC[W ∗]Gn and define the Hilbert series h(z) =

∑∞0 hnz

n. For Gsemisimple and compact,

h(z) =

dµ1

det(I − zρ(g))

where dµ is the Haar measure, and ρ(g) is the group representation.

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 11 / 24

Page 12: Adventures with group theory: counting and constructing

Molien’s theorem via plethysms

Suppose the representation ρ is some irreducible with character sλ(x). Thenthe diagonal elements of ρ(g) are {xT}T∈SSTλ

, and

1

det(I − zρ(g))= 1+ z

xT+ z2∑

T≤T ′

xTxT′

+ z3∑

T≤T ′≤T ′′

xTxT′

xT′′

+· · ·

∴ hn =

dµ s(n)[sλ](x) ≡ p(0)(n),λ.

We enumerate the Hilbert series term-by-term by computing the appropriateplethysm of group characters. All evaluations are done with the softwarepackage c©

Schur.

Consider a model space V (of dimension N) carrying the definingrepresentation of a matrix group G , and the tensor product W of Kisomorphic copies W = V ⊗ V ⊗ · · · ⊗ V = ⊗KV , with groupG × G × · · · × G = ×KG .

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 12 / 24

Page 13: Adventures with group theory: counting and constructing

Counting entanglement invariants

(a) Quantum pure states: V ∼= CN , G = GL(N):

Let N ⊢ n, n = rN, and let τ be the partition (rN) (that is, withFerrers diagram a rectangular array of r columns of length N).Then

hn = g(n)τ,τ,··· ,τ (K -fold inner product).

If N 0 n, then hn = 0.

(b) Quantum mixed states: V ∼= CN ⊗ C

N∗, G = GL(N):

hn =∑

|τ |=n,ℓ(τ)≤N2

|σ|=n,ℓ(σ)≤N

gτσ,σ

2

(c) Phylogenetic pattern frequencies, general Markov model: G = GL1(N):Let n = rN + s, s ≥ 0. Then

hn = g(n)τ1,τ2,··· ,τK (K -fold inner product),

for each τk of the form (rk + sk , r(N−1)k ).

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 13 / 24

Page 14: Adventures with group theory: counting and constructing

Examplemodelspace V

tensorspace W state

2 qubits C2 V ⊗ V |00〉+|11〉

concurrence(= det) 6= 0

3 qubits C2 V⊗V⊗V

|000〉+|111〉|001〉+|010〉+|001〉

tangle 6= 0tangle = 0

2 qubits(mixed) C

2 ⊗ C∗2 V ⊗ V

ρiabjei⊗f j⊗ea⊗f b (20 invariants)

1

2 3

4

1

2 3

41

2 3

4

C4 V⊗V⊗V⊗V

Pijkℓei⊗ej⊗ek⊗eℓ∑

Pijkℓ = 1(squangles)

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 14 / 24

Page 15: Adventures with group theory: counting and constructing

Warmups

S2: n = 2, (rN) = (12):

∗ = +

Concurrence (determinant function):

det(ψ) = ψ00ψ11 − ψ01ψ10

S4: n = 4, (rN) = (22):

∗ = + + ,

∗ ∗ = + + 3 .

Tangle (hyperdeterminant):

hdet(ψ) =−ψ2011ψ

2100+2ψ010ψ011ψ100ψ101−ψ

2010ψ

2101+2ψ001ψ011ψ100ψ110

+2ψ001ψ010ψ101ψ110−4ψ000ψ011ψ101ψ110−ψ2001ψ

2110

−4ψ001ψ010ψ100ψ111+2ψ000ψ011ψ100ψ111+2ψ000ψ010ψ101ψ111

+2ψ000ψ001ψ110ψ111−ψ2000ψ

2111.

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 15 / 24

Page 16: Adventures with group theory: counting and constructing

Molecular phylogenetics

Taxa are represented by DNA sequencesACGTTGAACTGG · · ·

(or RYRYYRRRYYRR · · · )Genetic information content is sparse, so we can talk about probabilities(relative frequencies)

pA, pC , pG , pT with pA + pC + pG + pT = 1(or p0, p1 with p0 + p1 = 1 )

Mutations are mostly ‘neutral’, so these probabilities are subject to randomchanges under a Markov process – just given by matrix multiplication:

(

p0p1

)

(

m00 m01

m10 m11

)(

p0p1

)

⇔ p → M p

From the base sequences of an alignment of genes from different species, forexample with two or three species

ACGTTGAACTGG · · · ACGTTGAACTGG · · ·AAGTCGAACACG · · · AAGTCGAACACG · · ·

AATTCGATCAGG · · ·

we form the two-way, three-way, · · · , pattern arrays (relative frequencies).

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 16 / 24

Page 17: Adventures with group theory: counting and constructing

General Markov model

Thus the number of patterns is 16, or 64, or 4# of leaves:(pAA, pAC , pAG , pAT ; pCA, · · · ; · · · , pTG , pTT )

(pAAA, pAAC , pAAG , pAAT ; pACA, · · · ; · · · , pTTG , pTTT )

or (p00, p01, p10, p11), (p000, p001, · · · ; · · · p110, p111).

If the two sequences derive from a common ancestor, then just afterspeciation, the lists are

(pA, pC , pG , pT ) → (pAA=pA, pAC ≡0, · · · ; · · · , pTG ≡0, pTT =pT )

or (p0, p1) → (p00=p0, p01≡0, p10≡0, p11=p1)

Patterns on each edge evolve independently thereafter, according to theMarkov process;

For example for quartet trees, we can construct 3 phylogenetic tensors Pabcd

by starting with any leaf as root, and decorating the pendant and internaledges with matrices M1, M2, M3, M4, and M5:

1

2 3

4 1

2 3

4

1

2 3

4

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 17 / 24

Page 18: Adventures with group theory: counting and constructing

Stochastic tangles and quartet trees:

N = 4, n = 5, (r + s, rN−1) = (2, 13):

(2, 13) ∗ (2, 13) ∗ (2, 13) ∗ (2, 13) = 5(5) + · · ·

Under S4 (leaf permutations), these 5 invariants give 3(4) + (22). Two ofthese are algebraically dependent, but the tree-informative ones are (22).

Under each of the three equivalent quartet tree isotropy groups,S2 ≀S2 < S4, we have the branching rule (22) → (id) + (sgn). Define

q1 = sgn12|34, q2 = sgn13|24, q3 = sgn14|23

These are the squangles (stochastic quartet tangles) – degree 5 polynomialsin 256 variables, with 66,744 terms.

We have q1 + q2 + q3 = 0 and

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 18 / 24

Page 19: Adventures with group theory: counting and constructing

Entanglement invariants for mixed 2 qubit states

The Hilbert series can be evaluated via contour integration for SU(2):

H(q)

The task is to sort out algebraic dependencies amongst candidate invariants:

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 19 / 24

Page 20: Adventures with group theory: counting and constructing

There is trouble finding the right set of fundamental invariants . . .

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 20 / 24

Page 21: Adventures with group theory: counting and constructing

. . . Brian realized that this is an elementary ex-ample of what Littlewood has called a plethysm,which treats the symmetry of the products ofobjects that themselves possess symmetry. El-liott had used plethysms in his nuclear studies,but no one had noticed their relevance to atomicshell theory before. At a conference at the USNational Bureau of Standards in 1967, Brian un-flinchingly described the details of the mathe-matics. The audience was stunned. At the endof Brians presentation a despairing voice asked,‘What is a plethysm?’ We were all surprised tohear Brian say that a full explanation would taketoo much time. . .– B R Judd, Interaction with BrianWybourne, 2004

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 21 / 24

Page 22: Adventures with group theory: counting and constructing

B. Fauser and P. D. Jarvis.

A Hopf laboratory for symmetric functions.Journal of Physics A Mathematical General, 37:1633–1663, February 2004.

B. Fauser, P. D. Jarvis, R. C. King, and B. G. Wybourne.

New branching rules induced by plethysm.Journal of Physics A Mathematical General, 39:2611–2655, March 2006.

R C King, T A Welsh, and P D Jarvis.

The mixed two-qubit system and the structure of its ring of local invariants.Journal of Physics A: Mathematical and Theoretical, 40(33):10083, 2007.

J. G. Sumner, M. A. Charleston, L. S. Jermiin, and P. D. Jarvis.

Markov invariants, plethysms, and phylogenetics.J. Theor. Biol., 253:601–615, 2008.

J. G. Sumner and P. D. Jarvis.

Markov invariants and the isotropy subgroup of a quartet tree.J. Theor. Biol., 258:302–310, 2009.

B. R. Holland, P. D. Jarvis, and J. G. Sumner.

Low-parameter phylogenetics estimation under the general Markov model.Syst. Biol. (submitted), 2012.

P. D. Jarvis and J. G. Sumner.

Adventures in invariant theoryarXiv:1205.5433v1 [q-bio.QM], 2012.

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 22 / 24

Page 23: Adventures with group theory: counting and constructing

some collaborators

Ioannis Tsohantjis Bertfried FauserJim Bashford Ronald KingJeremy Sumner Trevor WelshBarbara Holland Gerd Rudolph

Luke YatesDemos EllinasTony BrackenSol JacobsenBob DelbourgoPaul StackSaun InglisStehen LowOtto Campoamor-StursbergStjepan MeljanacDijana Tolic

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 23 / 24

Page 24: Adventures with group theory: counting and constructing

Examplemodelspace V

tensorspace W state

2 qubits C2 V ⊗ V |00〉+|11〉

concurrence(= det) 6= 0

3 qubits C2 V⊗V⊗V

|000〉+|111〉|001〉+|010〉+|001〉

tangle 6= 0tangle = 0

2 qubits(mixed) C

2 ⊗ C∗2 V ⊗ V

ρiabjei⊗f j⊗ea⊗f b (20 invariants)

1

2 3

4

1

2 3

41

2 3

4

C4 V⊗V⊗V⊗V

Pijkℓei⊗ej⊗ek⊗eℓ∑

Pijkℓ = 1(squangles)

matrixmultiplic’n C

2⊗C∗2 V⊗V ∗⊗V ∗ µ =

eij⊗fj

k⊗fki

(Strassen’salgorithm)

Peter Jarvis (UTas) Adventures with group theory Adelaide, June 2012 24 / 24