Appendix In this appendix we will describe some explicit symplectic

!#"$%"&'(')*,+-,(.%0/21345'(+(607819'*+4(+3*1:.5;
<2=/?>).@?'('AB/DCFEHGJI6KL+M?'('ON,QP@R.(S;UT8R57V>W/2-01YX G /2ZC)EHG[(
/2-013?'(\*[,/]@^_M`acbcX GVdfe Ng?h"i9*/.j7Zk6lmG@nWo2pq9+'/20*
.@?'('c/?>g-?R&o(VC G I
r$7tsH-,/?19/vuQwxszy*{ON|S>5"$$+*?t*1.*}F(W~0/2(BR/?6k6lmG@nWo0p4€Fk6lmGno l p
3C)E G 07819'*+4(+M?'('(7,*3,=-,?1R0‚,(0>ƒ7o l„ o l y2IF†A-,A"$
"&'('c*1:.V‡ „ yt.?''(ˆDCFE}G‰"&*4u2*-L-ˆ-,?coMŠM‹MŒMlHŒ*Œ… ‹o G ,(0>ƒ7
o Žl „ o  l … y >W/2-&?'('cLd“
‘ ’‹
n”yvp
jRAsH-,/21/vu•xˆ+*/?(,/2D(ˆ./?,D*+*,,?-07V?V0R–+*BA(‰(ˆ+M?0?I
sH-,/21/vu•xt+*/2((/2“n”y|p}1'(*=6>W/?-—™˜›š5Ng(>i"$%+*?#1.œ—
0781'+(+6.?''(L/>F-?(RLo9(CžEHGŸ*hšo^lH ¡y2IAri+M?R0‰¢?£^¤”C)EHG d
¢?£^¤”k:lmG@nUy|p(H/2R-/2-013'\*(/2JN?}.*+MR,&¢?£^¤n€g¥Mk6lmGno?p,p d —5o^lmG¢?£^¤0k:lmGn”y|p§¦
}/2-0,/2‰/>¨CžE G "&+©]+MV.}07819'*+4(+M?'('(7Qª@''(*D.B7]—%*«jR@?'.@''
&&1/2”A—¬2š^G5Iž],}/?(/2‰/?>)­vy2ISy2¦
—
nOš?p
® nCFE G ‹§—p‚ š G Œ
¯ R-$+/2”-,R+(/2%(19'(¨@)q./2RnOš2pžF(<2B$>W/2-Ly} °—D ±‡ „ y2I
²:³´tµ2¶ ·
¸¹vº^»
µ?¹|¼W¶·F½q¾ ¨(¿L/?>CFEH G}?J,ž«jR/?(*B/?>j)R(0-,
[C¨GMÀ .j7V:Á?<?/2@?'g?+,/2Ÿ/?>$ NJ,/%"&*["i"&-0(,:/21/2<2*/?R
+*/8/2-,@,*twÄÊLÅ@Œ*ŒMŒÅBà G {c"i}"&'('J?'S"‚M78L?,0R19H,@
Æ ÃŠ Æ l „ ŒMŒMŒ „ Æ Ã G Æ l d y2Œ
nÈÇ2p
:>?+4MN2'(g)Å8 lmGMÀ FÉ Ê C GvÀ  .i$0?@?-0z+'R0/26? e Å8 lmGvÀ žÊ
CFE}G9=”©?@?-,‰-,/^~0+(/2JIFˍ$Ì G .A=”©?@?-,‰”7819'(*+4+A>W/2-,1
/2]C¨GJN*
nÎBp
eÍ X G6d  Í Ì GvÀ §Œ
ψˆ+*?].H©¿?*Ÿ?‚tª@SÊ (/2D/?>ÐX G I
¾ tª@6z13ŸÑ|ŠAÅjk6lmG@nUy|p CFEHGD.j7
Ñ^ŠLÅnÈÒ4‹MŒ*ŒMŒJ‹©Ò G pFÊÓ wÔ y&Õ Æ ÖJÆ l ÅBÒ‚Å@ŒMŒMŒÅ2Ò G {Ȍ
nO×?p
"&*-0 Æ ÖJÆ l d Æ Ò Æ l „ ŒMŒ*Œ „ Æ Ò G Æ l I ¾ }/v"Ø0/v"}N>W/2''(/v"&<DwxÙV+*ÚHÇNš5IÜÛ5ISy*{ON
@^),F19?Q)}07819'*+4/21/2-001Ý/?>L/2*RS$.?''(3C¨GQ"&(,
CFE}GDÞ߈Ng"&*-0D dáà wxâ#Å
Ê ÃJzÅ)ŒMŒM Œ)Ågà G {ãVäd CFEHGå IVPÐ-006/?@^
Ñ^Š d¡eVæ“Ñ|ç Št"&*-, Ñ^ç ŠQōC¨G ÂÐGvÀ H4ª@#.B7[Q,?19z>W/2-01R'‰?
Ñ^ŠMI ¯ +M?[*?,('(7D+©+©¿Ÿ Ñ|ç Š Í Ì GvÀ  d Ì G Iqψ8RtÑ Š Í X G9d Ñ|ç Š Í e Í X G9d
Ñ^ç Š Í  Í Ì GvÀ  d Ì G I
è
é
Ë &o … y2N],}19?<2=R*-AÑ|ŠA/?>
t013''-‚.@?'('Jk:lmG@no?pi
à wÄÊLŌMŒ*ŒÅBà G { ÆÆ ÃJ Æ l „ ŒMŒMŒ Æ Ã G Æ l ±o l ã dêà wÄÊLÅ@ŒMŒMŒÅBà G { ÆÆ Ê Æ l ˜ëy
Չo l ãjŒ
T5(19('Á?-0'(72N2"$t@Mu2t*1.*<2LÑ24‹MŒMŒMŒc‹§Ñ G "&-,
ÑBiÅnÈÒMŠv‹©Ò l ‹MŒMŒMŒ‹©Ò G pžÊÓ wìÒMŠLÅcÔ yˆÕ Æ ÖJÆ l ÅjÒ l ŌMŒMŒÅjÒ G {
?],/Q/2cI ¾ }*1.*Vk:lmGno  piB,/9CFEHGD.B7]Ñ  ¦(,ˆ19?<2=(
k  dêà wìÊ&Å@ŒMŒMŒÅBà G { ÆÆ Ã  Æ l ˜ëy&Õío  l ãjŒ
¾ ‚+*'?1î,@Ð,ˆk  ?-0‚ƒ~0/2Bg(>,‚o  •x¨,”>ƒ7%nUy|p4Ig*JNB0R/2,
zwÄÊHÅcŒMŒ*ŒÅ5à G {g.'/2<2L,/3./?Ÿk Ž k  N Æ Ã Ž Æ lH˜ÝyL՜oŽl ?
Æ Ã  Æ l ˜êy@Õ:o  l N2.RÐ,* Æ Ã Ž Æ l „ Æ Ã  Æ l ˜°šcÕ%no Žl „ o  l piïîy$"&+©+/2B-+4
nÈÇ2p4I
ð ¶·g·´8µ?¹|¼¶·±ñ9¼W¹|³±¹|³´Zò#¶ò#´8·¹‰ò#óô$½ ψQ./vu2:*1.*<2L"i-,
/2-0<2(@?''S73>W/2R["&(Vz'[/?>ž,‰õ3£^õ3ö4÷@ø‚õù4úI ¾ :"&'('g(''R0-,
&>W/2-L,:+*?,:/?>FCFEtlBI&ψ:?161,/8Ÿ<2Su2*A*1.*<?q/?>ž.?''(
ß?B7ßCFEHG±?±1/2-0Ÿ<2*-,?''S7™(±?B7üû4ýõqú¤ö©þ4øÿOþø£ §ÿOþ¢^ù §ÿOö4øý¦A>W/24?1'(HD,/21H.'(/|"‚;mR&/?>ÐCFE}G• I
T5R/20A,@$t,/2-,R ü?+4$/2%}0781'+(+A19?S>W/2']n ‹0Ìip§I¨Ë Í
.=HR?'J/?>}Ë(H?'(<2*.-,:/?> tIFP@/2-ˆÊ ?B
7 ž' ¡.==u?*+,/2ª@'[/2
"&(+©Z<?*-,*HÊ /|
" hÓ 45
n Bp*n p4I õ3£^õ3ö4÷@ø‚õù4ú
>W/2-tn ‹0ÌL‹ qp$(&19?
Å
0R+©V,@&>W/2-&?'(!
' "0N
Í
#%$ q‹ &
)n (Bp
d ©n 'zpÌLŒ
r$7Z*w :N@s=;UT]š|{ONS+> (ˆ+*/21@?+4ˆ](13<22n ˆpi&z+*/?ju?4]/2'(7j,/2H(
IHT5R/2,:/v" ,@q,
1 yv¬2š¨1 ?,@. Ý+q0 /*+,(u?*'(7?I
ÏˆÍ 9.B7=/2-,1¡/?>Ú=*'(\M?BAd wìÚ=*'!{ONB,ˆ/?'(7j/2ˆ19?<2n ˆpž-,1
%n °‹0ÌL‹ qp$RD/?]*«jRSu?-,Áj&”7819'(*+4/21/2-,01VI
Ú=*'(\M?B*• ‚,*/2-0*1 ?'(,/"$/2-,¿jL'/8+M?'('(7?IÐD>?+*N@,R/20t,@6%n í4‹0ÌF0p
?í%n l ‹0Ì l pL?-,60781'+(+619?S>W/2'L/>F1*0/2Ÿš‡gN"&(Ê ,0 /*+4Su2
?+4/?‚/?>Ð:/2-0R1 d LGz?‰"&(,‰19/21*Bˆ19?2  3Å  Í "&+©
?-03-0/2-*I[ˍ4
4657 .%Ÿ+/2Bu24í,,R+©í(13?<??n L,9p 8:4 d
19? <2n Ê l ;p 8< 46I}ψ*[Í *-,:=[*«jR(u?-0Á?Bq07819'*+4/21/2-00>
1 = Å
å  4
å l 4f"&(,<
L l)æ =QIÏ
/D,*z,NJª@-,”}-,>W-H/Z@w ?);UÚA;”ÙD{
>W/2-D?°45'?@,/2°?‰,/™d /v"Y
h-0/2-,,V/?A>  +*?°-,*'Á?+h,
+*/?19@+*,ˆ/B> >W/2-i?''-,?+,+M'cR-0/?,*N?%,*]?'(73Ú=*'\*?BM•x
-0/5/?>UI
Ú=*'(\M?B*• t/2-,1 648-0*1*'S7#R0>WR'$#,@:('(,:Ru80R@?'(\*9
19?(>W/?'[/?>ˆ1*0/2#š‡™?:]/?'(7j/2D
C GF
I E¨u2*-”7#/2(j2 (Z,
/2'(7j/?H-0*-0*,B} ë/2-,.(&D619?S>W/2'JN8@?1*'S72N,}-,19?<2H/?>
Ig>W/2-,19,/2}?./2R
$19?S>W/2'H+*?:/?>ƒ,*6.)-,*?6>W-0/21î)/2'(7j/?I
G
jù?õqú¤öŸÛKJ‚ÏÐ?¿],D0?@?-0™”78192'(Q *+4 +%>W/?-,1 /2 Cžlj¦ Ì lDd $ML N
 „ $ML l N $PO l IψQ,/2-,RLl d   ?+4}.B7™n%Rc§‹SR l pT@nÒ4‹©Ò l p d
n c”Ò4‹SR l Ò l p9"&-,ZÒ  d L  „  O  NL"&(,ü19/21*B313?L*nÒ4‹©Ò l p d
n”Õ Æ Ò Æ l4¬2š5‹MÕ Æ Ò l Æ l§¬2š?p4IímQ(13?<?%z]*<B,(u?]«jR@-?BU
C)ljIíψ
19?<26/?>Fz.@''¨Wk V^no?pqq,-0Á?<2' à n L ‹ O p KÆ L Ý⋠O ⋠L „ O ˜
ol©¬2š8ãjI
H+Ijù?õqú¤öXYJZ l +$/2hnC l ‹”Ì pF.B7n%Rc§‹SR p!T|nÒ4‹©Ò p
nR å  Ò§‹[R å  R l Ò l p§N
l
l
l
d
"&(,Vz1/21*B&13
l nÈÒ4‹©Ò l p d nUÕ6yv¬2š „ Æ Ò Æ l§¬2š „ Æ Ò l Æ l§¬2š5‹MÕ Æ Ò l Æ l§¬2š2p§I
H+Ijù?õqú¤
ö \YJZ l +$/2hnC l ‹”Ì l pF.B7%n Rc§S‹ R l !p T|nÒ4‹©Ò l p d n R lå  Ò§[‹ RJ] R lå  Ò l p§N
"&(,Vz1/21*B&13
^vnÈÒ4‹©Ò l p d nUÕ Æ Ò l Æ l§¬?š5‹MÕty|¬2š „ Æ Ò Æ l©¬2š „ Æ Ò l Æ l§¬2š2p§I
H+Ijù?õqú¤öyvK
â JAl?+,:/2#C)E}l‰.B7“%n Rc4S‹ R l p TwxÒMЉÅgÒQÅgÒ l { d wìÒMЉ;Å RJ0ÒzÅ
R Ò {$"&SV19/21*B613: wìÒMŠ]ÅgÒÅ¨Ò {
V
l d n”Õty|¬2š Æ Ò Æ l ‹*Õ6y|¬?š Æ Ò l Æ l pH(>
Æ ÒMl Š Æ ll „ Æ Ò Æ l „ Æ 'Ò ^ Æ l d y2I
(13?<?_ V‚d å Š ` a
H+I
$PO
%R
å Š ` a
ψŸ+M?ê.í,* (î>W/?''/v"&(<“"iv7?I r$^ 7fÊ nÎjp§N:(0R–+*BZ,/
,/v" @9n)(Bpq/2'(H>W/2-q,z>WR+,/2<aQÅJC
C)l9"&(+© (H<2(u?*h.B7
Æ
Æ
Æ
Æ
a|nÈÒMŠv‹Ò4‹©Ò p
n”Õty|¬2š Ò lM‹*Õ6y|¬?š Ò l§p}?#>W/2-H,b
Ll+(/2±n RJ©S‹ R p T
nÈÒMŠM‹Ò4‹©Ò l p dl nd ÒMŠv‹SRJUÒ4‹SR l Ò l p)?9>W/2-Fl L0?@-,Dš|;O>W/2-,1 +Ì ^*I¨Ïˆ$(,,l *'S>
&u2-07D*?07D+/219R©,/2cI
ψt19?<2‚/?>Ð,}19/?19j‚13?L(D4?1'LÛ? yvâz'(/5/2¿9?'(¿?H(
*<?8./2-0/5/8]/?>¨:/2-0<2(‰c
C)lBILT5(19('Á?-0'(7?N56(13?<?*&]4?1'
X‰?œyvâ%'(/5/2¿]?'(¿M-=u?*-0,4“nUÕ6y|¬?š5‹©âBp§NJ?h([4?1'
\‰?
yveâ dQM?-)Au2*-”§ZnÈâ5‹MÕ6yv¬2š2p4I ¾ A/v"Ø'(79Ú='\Mj*• )/2-,1 ,-,
(19*N$,/ (*B,(>ƒ7í<2j./2-,/5/8/?>Qw yœÅˆâ±Åˆâ{ÈN‚/?>Qwìâ±Å=yœÅˆâ{A?™/?>
wxâîÅqâîÅ:y*{qüCFE}lh"&Sü<2j./2-,/5/8ß/?>6âüCžlBI ψ>W/2'('/v"&<
+4R-060/v"&q-,*6.@?'('&/?>ž-,?o^4‹o l ‹fo ^q*1:.*[(ŸCFE}l:u8ÁQ,
B(ª+M,/2N?ˆu84"iŸ(D,}19?<2A/?>g,}19/?19j&19?JI
g hkh j l
ghb
l 
gih l
l
ð ¶·
·´5µ?¹v¼¶·f¹v¶ ¶@¹|³´jº™´8m
ò lž3´ n;n
¼Z· o¸?½ êwxÙV+*ÚHÇ{ONLÙ]+MÚ=pR / *0+*-0.*
?h45'(+*SH0781'+,+z*1:.<]/>)"$/]ƒ~0/2B}.@?'('=(B/DCFE l IT8
q
/8*¨,g.j7:R,(<H1-0+$.@?''(Ð(zCFEtlˆ"&(,-,,*+4),/q&PR.!;”T8,R7
1-0+I¨T5ˆ/?¨@^F=194-0+i.?''8/?>-?R; r‰ž?'(,/H=”7819'(*+4+i.@?''
/?>Ð-?(Rˆo"&-,to d ,(2 rЦ}+*/?(,/2 nÈ×2p$Ÿ.*+/219s rg „ r l …
(W~0/2(j}1,-,(+.?''(t(
eCF¬2EtšDl?"&(Z,Z-,(?}+*(9 /2rg§(t‹ r (/2I ¯ ?''(/|"&/?H>)*-61 ,/]ª}+* B"$*-0/*í
^9w!yDōâ[ōâ{)Z,
/?,*-t}+*B*-0*í^t,l 'Á?3 d à wìâZÅÒh_Å uA{ãjI ¯ R-}*1:.<nÈ×2p
+*/?+F"&S%ÙV+MÚ=pR /‚• qw Ù]+MÚHÇN5š5IÜÛ5ISy*{OIÐ3@?-”(+*R'?-*NB/2R-).?''(F?-,A?'0/
1-0+z.@''I ¯ 9/?>i/2R-}.@?'('H(H+**B,*-,í3w yVōâ[Åâ{)Z,/?"$/3?-0}+**B,*-,q‚I
wx y zJx {
v x
| }_~cA€}ƒ‚„†…0‡Sˆ3‰‹ŠxŒ[Žt%0‘’”“.•S–˜—™Œ[šš›’œ‘fŸž •Sš‘¡@’¢ŒS‘£•[¤‰¥ƒ¦ §†§”€¨ ©0ª«©¬ªe‡S‚ˆ €M­'©®S€
¯'°A±²³¬´0µ0¶ ‰ ²¸·™²¹ €
|*º ·¢»Z· e~9€Aº!©0ª«¼k½[‡¬¦¾P‰À¿K€ » ‡¬Ák©0Â%«Ã‡Sª«Ä¿K€Åe©¬§†„†ª ©‰ÇÆÉ]ȏ ŒSškȏ ’œÊ‘£-–S›ÌËWŒSš1k’
͜ÎÏkȏ š‘•[‘Ê%9Λ–[УÑ_ž Œ–¬•S‘£kSÒ[‰¿x¦Ó §Ô„Õ®k‡S‚„†©¬ªÖ׫¦e«ƒkؼ ه¬Â)‚%¼kÚ1¼kªf‚_«¼9ڟ‡[‚ˆ×kؼ ڟ‡[‚%„†Ûf¦ ¼Ök‰
ؼ º!§Õ‡S¦« ¼B¥ƒ¼]ª‡¬Â%« · ¨3…¬©¬ª2݉ ²]³0´¬´ €
Ü ª „Ô½0¼k™Ö)„Ô‚ 9
| » ¼]§@~ÏÞB€ » ¼k§†Á]‡¬ª0‚‰3ßϕSš‘¡à’áŒ[‘£¸¤Zâ¸È ʑ£Œ–[‘£ãk›¸¤.¸’‘šŸ•kf˜—%ŒSŽ['s–0Ÿ¡)ä •™â¬âM¡à‘£—™•[’œ‘£Œ[Àš1ŒSÐ
šŸ¸’”‰ ¥ƒ¦ §†§†¼¸‚„†ªe«¼9§Õ‡1­©'®k„¸¸Ø¼ ‚ ;
ؼ ‡S‚ˆ×]ؼ ڟ‡[‚„ÕÛf¦ ¼9«¼å ™‡Sª®¸¼ ¯¯æÅ±²³¬´¬´f¶ ‰ ç ²¹t· ç¬ç ³ €
| ® » ç[~ » €® » ¦èK‰Ñ;¸šŸ•[Êé[¤ÏŒ[W’êž Ï›‘£ãk›k¸¤%¤Œë9¤™“[šZ⡆%—k’œ‘£—ìk¡ÔŒ[íY‘'.›â‰
| î ² ~A€î+©0Ú©[½M‰f¸k›–¬ŒSДž ŒS¡ÔŒ[šŸŒ[ʜâž'‘£—1—¸›ÊŽ[¸¤Z‘•[¡àšŸŒt¤’‹—™Œ[šZâ¡Ô%1šŸ•[‘ 브[¡Ô–[¤™‰Ýáª'½0¼kªf‚]€
‡S‚ˆ €ðMñ ±)²]³¬´f¹¬¶ ‰'ç0òfó · ç¬ô'ó'€
| î · ­ µ ~9õ€Pî+¦„Ô§†§Ô¼]Ú1„ԪŇSª«Å­M€ ­f‚¼]ª'Ó¼kÂ%ö‰ƒŠYŒSŽ[0‘’œ“âMʌ%âkʒ”‘£¸¤ŸŒ)ëÏ’êž Ÿš1ŒSš1k’_šŸ•%âMÐ
âM‘f¬‰ Ýáª'½¬¼kªf‚€ ‡[‚%ˆ € æM÷ű²]³0´0µ0¶ ‰'ô ³²¸·¹² ç€