stanford universitycgates/persi/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.'...

21

Upload: others

Post on 29-Jun-2020

5 views

Category:

Documents


0 download

TRANSCRIPT

Page 1: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

� ������� ��� � �� ���������

����� ����� �"!$#&%('&� )+*&,�%.-0/1%0!32&,4�65.%0-4-��&-7#�%.-3,4%0!4%.'8�&%0-9�:�;�:�;�;�;�;�;�:�;�:�;�;�:�;�(�:�;�:� <���=< >�?.@BAC'&D %E#�%;5.AC,�!4%.-F�;�;�:�;�:�;�;�:�;�(�:�;�:�;�;�:�;�:�;�;�;�;�;�:�;�:�;�;�:�;�(�:�;�:� G���IH JK� '&'&%ML"NB� 'O%.'P!Q,�%(@B%E)R?.@SAT'&D %U#&%0-75.AC,�!4%.-$%0!3@V%.-W,4%X!Q%0'6��%.-Y�;�;�;�:�;�:�;�;�:�;�(�:�;�:� Z���\[ ]^NB%.'�-$A`_C%.5;@SAa5.�C)+*&NB'&AT!Q� NV,4%bAC@BD ?0*&,4NVc8�&%d�;�:�;�;�:�;�:�;�;�;�;�;�:�;�:�;�;�:�;�(�:�;�:�e�C�

Page 2: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

<

Page 3: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

������������ ���� ����������� ������ �� �!�� "������#���$�%�$&'�� (")�+*,�� ���.-�� �%�/�.*102�����

3�4651798;:28=<?>A@CBD8E7FHGJIAK 518L4M5ONQP.RMP

Page 4: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

<

� %.@V� ' @��\%XL"2 � -4? %.' AC'&D @BACNB-3#&%�� %.,4-�N��bNBAC5.� '�NB-�� � ! AC'�#� � ,4#�7'&N�_ %.,�-4N�! ���bNV'P!QNV!4�&@B?��U�W#&#&NV'&D '8�&)��* %.,4-0/ -��6��� NV'&D 5 AT,4#&-EAT'&# -��6)R) %X!Q,4NV5�� ��'&50!4NB� '&-�� ��] A @B%��.� ' %.-�!(*&AC-4?0%+-4�&,b�&' !Q,4A`_TACNV@ 5.� )R)+�&' #�%� %0,4-�N A _C%.5�� AC-4� '��1�&@B) AC'! IG#"$�%7'&N�_ %.,�-4N�! � �&� � � ��!'�&%.,�' J AC@VN(� � ,�'&NSA)�X�

*+*,*,*+*,*+*,*,*J-�I%0-�! �&' %XL"2 �C-4?/. 2&,�� 2 � - #&% -4NB)R2&@V%.-0� ACNV!4-:50� '&5.%0,4'1AT'8!+@��IA ��� ��! #&% '&�C)+*&,4%0-./ @B% )R?.@BAC'&D %R#&%0-5 AT,�!Q%0-��1.E��� �&%.,2�7%0!3. 2&,4�C2 � -7#&� ��� @VN -�� ��%0!U#&%.-4� � '�50!QNV� '&-7-��6) ?X!Q,�NBc8�&%.-65�%0!7_ � �&-(AT@B@B%�7;_C� NB,7c8�&%a5.%0--4� ��%0!Q-$_ �C'8!3-�%;)R?.@BAC'&D %0,.�8�C%(50� ) )R%.'�5.%(A _ %05:@1�=A ���C��!$#&%.-$'&�C)+*&,4%0-.�

9;:=< >@?6A�BDCFE/GIHJA�KMLJNOGQPSRJGSCFTJNOA;U$GQPVPWB/PXEJGQPYNOGSCWGQHZB/GQP[ � NB50N$#&%.�"L�'&�C)+*&,4%0- #&% GC� 5\��N(] ,4%.- c8�&% @1�I� '�A ��� �"!Q%�. @��IACNB#�%O#�% @SA )R?0!2���"#&% !Q,4AC#&N�!QNB�C'&'&%.@V@B%T�

��\NB'&#&NVc8�&%E@SAa,4%X!Q%0'6��% AC2�21AC,QATNB-4-4AC'P!$#1AC'&-$@V%E5 AC@V5.�&@�-�� �&-3@SA+@VNBD '&%T�52564 72537 78954 12536 74561 54135 78932 87613 31518 71321

+ 76574 12365 74102 96542 00255 05081 71513 87412 33758 78925

^`_2a`_2bdce_\f 1 01100 00111 11001 01000 00100 00101 11001 11000 01011 1100,4?0-4�&@�! AT!1 29138 84903 59357 09078 74816 59217 50446 75025 65277 50246g ' A`��� ��!Q%h. 21AC,�!4NB,W#&%(@BA #�,4� N�!Q%C�^�ji;G+#&�C'&'&%hk�/T��%:,�%0!4NB%.'�-7�"/ <)i(< ?0DPAC@^[&/T��%(,4%X!QNV%.'&-7��/ HliEZa#&� '&'�%

� <"/P��%a,4%X!QNB%0'&-a� / �mi3nliU) A ,�%0!4%.'8�&% �a#&� '&'�%O� ��/8��%+,�%0!4NB%.'�-a� /�%0!45C���V� �bNB'�-4N @V� ,4-�c6��%+@��\� ' A ��� �"!Q%a#&%0-'&� ) *&,4%0-./ NB@o��A �&' 2&,��"50%.-�-4�&-U'&AT!Q�&,�%.@ #&%/�U,4%X!Q%0'6��%.-$� �p�UAC'&-U50%0!b%XL"%.)R2&@B%:21AC, !QNB50�&@BNV%.,0/1� ' A %0� @SA,4%X!Q%0'6��% � / <CHq� � NV-�� -4�&,bGC� 2&@SAT5.%.-$2 � -4-�NB*&@V%.-2�$%X!7@BAR,�%0!4%.'8�&%:��/ <)rq� �CNB-.�s @ %0-�!7'1AT!4�&,4%0@ #�%:2 %.'&-�%.,7c6��%-4N^@1�I�C' 2&,4%0'&# #&%EDC,QAC'&#�-3'�� )+*&,�%.-3AC@B?.AT!Q�CNB,4%0-./"� ' _CA A _ �CNB,W@SA+,�%0!4%.'8�&%:� #&AC'&-7GC�a2 �C�&,W5.%0'8!7#&%0-35.AC-./%0!$*�NB%.' -�t&, @BA+,4%0!4%.'8�&%a� /"#1AC'&-3GT�+2 � ��, 5.%0'8!$#�%.-$5 AC- AC�&-4-�N �u�bAC'&-W@��\%XL"%0) 2&@V%b50Nv� #�%.-4-�� �&-0/T��%U'w�IACN 21AT-?.50,4N�!$@B%.-$'&�C)+*&,4%0-W%.'�%.'P!QNV%.,.�u��=A ���C��!Q%() ACNB'P!Q%0'1AC'P!3Ha'&� )+*�,4%.-0�

08453 · · · · · · · · · · · · · · · · · · · · · · · · 74321+ 67711 · · · · · · · · · · · · · · · · · · · · · · · · 19354+ 76306 · · · · · · · · · · · · · · · · · · · · · · · · 78125

x�y`z1y�{}|my�~ 1 21010 · · · · · · · · · · · · · · · · · · · · · · · · 2011,4?.-��&@V!QAT!1 52470 · · · · · · · · · · · · · · · · · · · · · · · · 71800

.

> ACNV'P!Q%.'&AC'P! @V� ,4-�c8�&% ���=A ���C��!Q% !Q,�� NB-a'�� )+*&,�%.-./ @V%.- ,4%X!Q%0'6��%.-R2 %0��_ %0'8!��0!4,4%O��/W� � ��<"��� ! #&AC'&- 5.%X!%XL"%0) 2&@V%Z� c8�&% ��%E'w�IACN�2&AC-W?.50,4NV!$%0' %.'P!QNV%.,\�W< [a2 � ��,W5.%.'P!3#&� !Q%0) 2�-W�&'O�+%.-�!7AC2�21AC,4� %0'O,�%0!4%.'8�&%C/8k <� 5.%���t�! �&' � /T%X! � [ � �&' <"�&�C%K2 %.'&-�% c8�w�\NB@6'w�I%0-�! 2&AC-O� AC50NB@V% #�%K5.�C) 2&,�%.'&#�,4% 50%Kc8�&N&AT,4,4N�_ %T�C>O� N /4��%K'�%2 %.�"L;21AT- #�%0_6NB'&%0,.���V� %X! %0'�� ACN�! / 5d�I%0-�! �&'&%�_ ?0,4NV!QAC*&@V% c6��%.-�!4NB� ':#&%�-QA _ �CNB, 5.%�c8�&N6AC,4,�NV_ %T�j� ,4AC'&-�� � ,4)R� '&- @�.%.'a��'&%K_ ?0,4N�! AC*&@V%Kc8�&%0-�!QNV� 'a) AT!2�&?0) A !QNBc8�&%T� g ':_CA7#&?��1'�NB, @V%K2&,��"50%.-�-4�&- #&%0- ,4%X!Q%.'8�&%0-.� � �&2&2 � -4� '�- c6��%���IACN

m'&� ) *&,4%0-./&#&%b@B� '&DC�&%.�&,

r� A _ %.5

r#&?.50NB) AC@B%0-\�M����\?.50,4NB-W@V%b#&?X_ %0@B� 2&2 %.)R%.'P!$#&?05.NV) AC@ #&� 2&,�%.)RNB%.,

'&� ) *&,4%E50� ) )R%b50%.@BAX1,r−1X1,r−2 · · ·X1,1X1,0,

@V%U#&%.�6L�N(�.)R%E'&� )+*�,4%X2,r−1X2,r−2 · · ·X2,1X2,0

5 ��%'&�C!4%

Sr . . . S0@BA -�� )R) %U%X!

Cr . . . C0@V%E2&,4�65.%0-4-4��-b#&%0-3,�%0!4%.'8�&%.-�� A _ %05

C0 = 0�-�

X1,r−1 · · · X1,1 X1,0

+

��� � � � ��� ���+ Xm,r−1 · · · Xm,1 Xm,0

x�y`z�y�{}|my�~ Cr Cr−1 · · · C1 C0 = 0,4?.-��&@V!QAT!Sr Sr−1 · · · S1 S0

.

Page 5: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

H

�bNV'&-4N /"-�N8���IA ��� ��!4%m

'&� )+*&,�%.- ?05.,�NV!Q-K%.' *1AC-�%b/ ���IACN �&' 2�,4�65.%.-�-4�&-$#&%b,4%0!4%.'8�&%(*&NV%.'F#&? �1'&N /�. _TAC@V%.�&,�-

#1AC'�- {0, 1, . . . , b − 1} � ] A 2&,�%.)RN �.,�% 5\��� -4%J.O#&NB,�% %0-�!+@BA�-��&NV_TAC'P!Q%T� � �&2&2 � -4�C'&-+c8�&% @1�I�C' 5\�&� NV-4NV-4-4%) ACNB'P!Q%0'1AC'P!a@V%.-+'&�C)+*&,4%0-a#&% ) AC'&N �0,4%0-aAC@B?.AT!Q�CNB,4%0-./ NB'&#�?.2 %.'&#1AT) )R%.'P!a@V%.-+�&'�-a#&%.-RAC��!4,4%0-a-4%.@V� ' @SA@B�CNK-4��NV_TAC'P!Q%!� @V%.-a#&?05.NV) AC@V%.-+-�� 'P! NB'&#�?.2 %.'&#1AT'8!4%.- @B%0-a�&'&%0-R#�%.�"L AT��!Q,�%.-./ %X! 5\�1ACc8�&%O#&?.50NB) AC@B% %.- !5\�&� NV-4NV% �&'&N(� �C,4)R?.)R%.'P!a#1AC'�-a@��\%.'&-�%.)+*&@V% {0, . . . , b − 1} � �b�"!Q,4%0) %0'P! #�NV! / @SA � AC)RNB@V@B%R#&% #&?.50NB) AC@B%0-(Xi,j)i=1..m,j=0..r−1

%0-�!W��'&%-� AC)RNB@V@B%W#&%b_TAC,�NSAC*�@B%.- AC@V? AT!4� NB,�%.- NB'&#&?02 %0'&#1AC'P!4%.-W%0! #&%U@B�CN ��'&N(� � ,�) %3#1AC'�-{0, . . . , b−1} � g 'a�C*&-4%0,�_ %3ACNV-4?0) %0'8! #1AC'&- 50%W5 AC- c6��%W@B%.- ,4%0!4%.'8�&%0-./P@B%0-

Ci/C'&%K-4� 'P!�21AC- #&%.- _TAC,�NSAC*&@V%.-

NB'�#&?.2 %.'&#&AC'P!Q%.-0� � @B@V%.-R-4� 'P! #&?02 %0'&#1AC'P!4%.- #&%�) AC'�N �.,�%�-�NB)R2&@B% � @SA -��&NV!4%(Ci, i ∈ {0, . . . , r − 1})� � ,�) %O�&'&%�5\�1A � '�%�#&% > AC,��C�`_ �WJ-�\%.-�!�� AC5.NV@B% . _C� NB,0� � N ��%�)��\NB'P!Q?0,4%0-4-4% .C5

2&AC, %ML�%0) 2�@B%C��s @3%.- !� AC50NB@B% #�% _C� NB, c8�&% 2&AC,4)RN

C4, C3, C2, C1, C0/W-4%.��@

C4) % #&� '�'&% �&'�% NV'� � ,4) AT!4NB� '�/ 2&�&NV-4c8�&% @B%.-

'&� ) *&,4%0-R#�?0!Q%0,4)RNB'1AT'8!+@SA _TAC@B%0�&,a#&%C5

-4� 'P!R#w�\�&'&% 21AC, !X1,5, . . . , Xm,5

� c8�&NW-�� 'P!RNB'&#&?02 %0'&#1AC'P!4-5.@BACNB,�%.)R%.'P!�#&%

C4, C3, C2, C1, C0� %X!K#w�IAC��!4,4%721AC,�!

C4�P�7NB'&-�N /

C0, C1, . . .%.- ! �&'&%35\�1A � '&%3#&%U>�AC,��T� _

#&� 'P!;NB@ %.-�!:,QATNB-4�C'&'1AC*&@V%.)R%.'P!E-�NB)R2&@B%+#6�I%ML�2�,4NB)R%.,(@BA 2�,4� *1AT*&NB@VNV!Q?:#&%a!Q,4AC'&-4N�!QNV� '����3�C!Q�C'&-Pb{i, j}

@BA2&,�� *1AC*&NV@BN�!Q?Kc8�&%$-�N1�&'&%$,4%X!Q%.'8�&%3%.- !

i@BAU-4�&N�_TAC'P!Q%$-4� N�!

j� AC��!Q,�%.)R%.'P!�#&N�! / @BAU2&,4� *&AC*&NB@VNV!4?Kc8�&%

Ck_TACNB@V@B%

j50� '&#&N�!QNV� '&'&%0@B@B%0) %0'P!Q.a@��\?0_ ?0'&%.)R%.'P! {Ck−1 = i} �X� g ' !Q,�� ��_ %T/ 2 � ��,

i%X!

j#1AT'&- {0, m − 1}

Pb{i, j} = Pb{jb 6 i + X1 + · · ·+ Xm 6 (j + 1)b − 1} � �m�

=1

bm

j−bi/bc∑

r=0

(−1)r

(

m + 1

r

)(

n − 1 − i + (j + 1 − r)b

m

) � <)�

��� @V%.-Xi

-�� 'P!W#&%.- _TAC,�NSAC*�@B%.- NB'&#�?.2 %.'&#1AT'8!4%.-W%X!W�&'&Nv� � ,4)R%.- -4�&, {0, . . . , b− 1} /"%0!W�� bxc #&?.-�NBD '�%U@SA21AC, !QNV% %.'P!QN(�.,4%�#&%

x�m� ':% ] %X! / 2 � �&,^�&'

k > 1c8�&%0@B50� '&c8�&% �&'&% ,4%0!4%.'8�&%

Rk_TAC�"!

j5.� '�#&NV!4NB� '&'�%.@B@V%.)R%.'P!

AC�a5.AC- ���a@SAU,�%0!4%.'8�&%W2&,�?.5.?0#&%.'P!4%Rk−1

_TAC�"!i/T-4N&%X!�-4%.��@B%.)R%.'P!�-�N

iA ��� �"!Q?$AC�"L

m_CAT,4NSAT*&@B%0- NB'�#&?.2 %.'��

#1AC'P!4%.-X1, . . . , Xm

50� 'P!Q,�NB*&�1AT'8!WAC� 5 AC@V5.�&@ #&%Rk

_C?.,�N(�1%0'8!jb 6 i + X1 + · · ·+ Xm 6 (j + 1)b− 1� '��C!Q%�7:*&NV%.' c8�&% 50%.50N '�%;#�?.2 %.'&# 2&AC-$#&%

k�X� > ATNB'P!Q%0'1AC'P! /12 � �&,$� *�!4%.'&NV,$@SAa#&%.�6L�N(�.)R%3� � ,4)+��@B%ENB'�#&Nv�

c8�&?.%T/�NV@1-=�IACD NV! #w�\�&'F2&,�� *&@(�.)R%7#&%7#&?.'�� )+*&,�%.)R%.'P! -�NB)R2&@B%W#&� '&� )+*&,�%b#&%75\�&%.)RNB'�- .m

21AC-./6#&� 'P!K@B%.-NB'�5.,4?0) %0'P!Q-�-4� 'P!�#1AT'&- {0, . . . , b−1} /P%0! '&�C�&-�5.� '&'&ACNB-�-4� '&- ��'&% � � ,4)+��@B% 2 � �&, � ACNV,4% 50%.@BA�� g ' � *�!QNV%.'P!ACNV'&-4N �&'�% ) AT!Q,�NB50%

m21AC,

m#&? �1'&NB%;. @��IACNB#&%a#�%�� <)�X/^2&��NB-4c8�&% ,QAC2�2 %0@B� '&-`� @V%C/�@V%.-(,4%X!Q%.'8�&%0-+2 %.��_C%.'P!

2&,�%.'&#&,�%U!Q� �"!Q%.-K@B%.- _TAC@B%0�&,4- #1AC'&- {0, . . . , m− 1} � g ' 2 %.�"!$AC@B�C,4- ,4%.D AC,4#&%0, 5.%bc6��%E#&� '&'&%b@SA�� �C,4)+�&@V%2 � �&,W@B%0-$2 %X!QNV!4%.- _TAC@V%.�&,�-3#�%

b%0!

m�

] %(5.AC-7@V%(2&@B�&-$-�NB)R2&@B%E%0-�!7@B%E5 AT-7���O� '�A ��� ��!4%:#�%.-3'&� )+*&,�%.-3?.50,4NV!4-$%.' *&AC-4%b = 2

�����C' AC,�,4N�_ %�.� *�!4%.'&NV,W�&'&%3� � ,�)+�&@B%b-4NB)R2&@V%��

P2{i, j} =1

2m

(

m + 1

2j + i − 1

)

, i, j ∈ {0, . . . , m − 1}.

]^%R#�%.�"L"N �0) % 5.AC-(��� @B%.-(5\�&�C-4%.-;-4% 21AT-4-4%0'P! -�NB)R2&@B%0) %0'8!U%.-�!:@B�C,4-4c8�&%m = 3

/^AC�"!Q,4%0) %0'P!:#�NV! / � 'A ��� �"!Q%;HR'�� )+*&,�%.-./ #1AT'&-$�&'&%;*1AC-4%

bc8�&%0@B5.�C'&c8�&%C� ] AR) AT!Q,�NB50% Pb = (Pb{i, j})i=0,1,2,j=0,1,2

c6��%:@1�I� '� *�!4NB%0'8!$%0-�!

Pb =1

6b2

b2 + 3b + 2 4b2 − 4 b2 − 3b + 2b2 − 1 4b2 + 2 b2 − 1

b2 − 3b + 2 4b2 − 4 b2 + 3b + 2

.

g ' 2 %.��!:,4%0) AT,4c8�&%.,;c8�&% 50%0!�!Q% ) AT!4,4NB50% 2 � -�-'�0#&% �&'�% -��6)R?0!4,4NB%R5.%0'P!Q,QAT@B%C� � N�� ' ?.50,4NV!:@B%0-:) AT!4,4NB50%.-2 � �&,

m = 4/m = 5

���V��� 'O_C� NV!$c8�&%(50%:-�� 'P!bAT�&-4-�N^#&%E!Q,'�0- ��� @BNV%.- ) AT!Q,�NB50%.-.��b@V� ,4-0/ #6�I����-4� , !Q%0'8! 5.%0- ) AT!Q,�NB5.%0-����C%�'&%�@V%.- ACN$21AC-RNB'P_ %0'P!Q?.%0-.���V� �C%�2 %.,�#1ACNB-R)R� ' !4%.)R2&-R�&'

��� �&,0/�.a@BNV,4%��b�b)R%.,�NB5 AT'F) A !2� )R� 'P!2�&@v�h� AT� @BNB%0� #&%U!Q,4A _CATNB@B@V%.,0/6#6�=AC,�*&NV!4,4%0,K#&%0-7AT,�!QNV5.@V%.-./6� � #&%4� ACNV,4%c8�&%.@Vc8�&% 5\�&�C-4% #6�INV) 2 � ,�!QAC'P! ���V���C%�-��&,�_C� @SACNV- ��'�21AC2�NB%., 21AT,��C�&�&'� 3� @V!� r#" / -��=AT2&2 %0@SAC'P!��+J AC,�,4NB%0-./

Page 6: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

[

5.�C)+*&NB'&AT!Q� ,�NB50-WAC'&#�AC'OAC) A&7.NV'&Da) A !Q,4N L�� � ,4%X!Q%.'8�&%0-./ 5.� ) *&NB'1A !Q� NV,4%C/"%0!$�&'�%:) AT!Q,�NB50%U?0!4� '&'1AC'P!4%j�X�us @��!4NB@BNV-QACN�! ) AT!2�&%0) A !QNB5.A;2 � �&, #&?0) � 'P!4,4%., #&%.- !2�&?0� ,'�0) %0- AT� 21AC-�-QACDC%C/ ��%7#&?0!4%.- !Q%U) AT!2��%.) AT!QNV5 A %X!_ �CNB5.N^@1�I��'O#�%.-W!2�&?0� ,'�0) %0-$c6�6�INV@ A 2�,4� ��_C?C�

� �C��!E#w�IAC* � ,4# 50%0!4!4%a) A !Q,4NV5.%;'w�\%.-�!(2&AC-E-��6)R?0!Q,�NBc8�&%T/ %0!EAF2&,4NV� ,4N NB@ 'w� � AF21AT-U#&%a,QATNB-4�C' c8�&%a5.%0-_TAC@B%0�&,4-W2�,4� 2&,�%.-3-4� NV%.'P!$,4?0%.@V@B%.-W�C��2 � -4N�!QN�_ %.-0�V���&) ACNB-K5&�\%.-�!7@B%E5.AC-�� [ � NV5.N �

� � �&,7!4� ��!m/ Pb

A #�%.-b_TAC@V%.�&,�-72&,�� 2&,�%.-b,�?.%0@B@B%0-./ c8�&N -4� 'P!1 = 1/b0, 1/b1, . . . , 1/bm−1 �O� �:%.- !

_TAC@V%.�&,W2&,�� 2&,�%C/12&�&NV-4c8�w�\� '�ARA#]�ACNV,4%3. �&'&%() AT!Q,�NB50%U-�!4�"5\�1AT-�!QNVc8�&%j� @V%.- _C%.50!4%.�&,�- 2�,4� 2&,�%.-a-�� 'P! ,4?.%0@B-0/ %0!a�C' 2 %.�"!a@B%0-a?.5.,�NB,�%J. @��IACNB#�% #&% 50�"%�� 50NB%0'8!4- *&NB'&�C) NBAC�"L /

%X!b5\�&�C-4%+?X!Q� '&'&AC'P!Q%C/ NB@V-W'&% #�?.2 %.'&#&%0'P!E21AC-3#&%b� � !4!4%.'P!QNV� '�/ NB50N /T��%;)��\NB'P!4?.,4%0-4-�%+AC�"L _C%.5X!Q%.��,4-

2&,�� 2&,�%.-h.ODPAT�&5\�&% �^��' _ %050!4%.�&,:@BNBDC'&%V

%0-�!:_ %.5X!Q%0�&, 2&,�� 2&,�%�. DPAC�&5\��% #&% Pb-�N

V Pb = λV2 � �&, �&'�50%., ! ACNV'λ��� AC,R%XL"%.)R2&@V%C/�@B% 2&,�%.)RNB%.,a_C%.50!4%.�&, 2&,4� 2�,4% � '&� ,�) AT@BNB-�? #&%O-4� , !Q%Oc6��% @SA

-�� ) )R%3#&%b-�%.- 50�"%�� 50NB%0'8!4-K_TACNB@V@B%E�m�M/"50%.@V�&N 50� ,4,�%.-�2 � '�#1AC'P!Q.:@BA;_TAC@V%.�&, 2&,4�C2&,4%:�U%.- ! #&� '�'&?U21AC,π = (π(0), . . . , π(m − 1))

A _ %.5π(j) =

1

m!

mj

⟩ � Hl�

��� ⟨ mj

⟩ %.- ! @V% '&� )+*�,4% #&%O2 %0,4)+��!QAT!QNV� '&-a#&%Sm

� #&��DC,4� �&2 % #&%.-R2 %.,4) ��! AT!4NB� '�-a#&%.-m

%0'8!4NB%0,4- {1, 2 . . . , m} �^2 � -�-4?.#&AC'P! j#�%.-450%.'P!Q%0-.�&7' #�%.-450%.'P!Q% ?0!QAC'P! -�NB)R2&@B%0) %0'8! 50%�c6�6�I� ':2 %0'&-4% �

3'&%�2 %.,�)+��!QAT!QNV� 'σ

A �&'&%O#&%0-45.%0'P!Q% %0'i/ -4N

σ(i + 1) < σ(i)� '��C!QNV� ' #&? �'. _6�&%�#&AC'&-R@SA

� %050!4NB� 'O���IHl�X��� AC,$%XL"%0) 2&@V%(@SA+2 %.,4) ��! AT!4NB� 'σ = (625341)

2 �C-4-'�0#&%:HR#&%0-450%.'P!Q%0-q� -�� �&@VNBD '&?0%.-2�X�]^%O'&� )+*&,�%�#�% #&%0-45.%0'P!Q% #w�\�&'�2 %.,�)+��!QAT!QNV� '

σ-4%0,QA '&�T!Q?

D(σ)���bNV'&-4N / ⟨ m

j

= #{σ ∈Sm, D(σ) = j} 5�50%.-F'&�C)+*&,4%0- -�� 'P! AC2�2 %0@B?.-R'&� ) *&,4%0- %0�&@B%0,4NB%0'&-.� ]^%�_C%.5X!Q%.��,F2&,4�C2&,4%

π%0-�!

NV) 2 � ,�!QAC'P! 2&�&NV-4c8�&% NV@W#&� '&'�%�@BA )R%.-��&,4%O-�!QAT!QNV� '&'1ACNV,4% #&%O@SA 5\�1A � '&%�#�% > AT,��C�`_ / @SA ) %0-4�&,�%_C%.,4-b@SACc8�&%0@B@B%;5.�C'8_C%.,�D %a@SAR@B� N #&%

Cj@V� ,4-�c8�&%

j → +∞ � 5.� ,�,4%0-42 � '&#1AC'P!E#�� '&5�. @SA -�� )R) %;#&%'&�C)+*&,4%0-$#&� 'P!3@SA ! ATNB@B@V%7!4%.'&# _ %0,4-3@��\NB'�1'�N �X������� AC,$%XL"%.)R2&@B%T/&@B�C,4-4c8�&%

m = 3/&NV@6� A�k 2 %0,4)+��!QAT!QNV� '&- ��'&% A}� AC'P!b�a#&%0-450%.'P!Q%D� � <CH)�X/&[RA}�PAC'P!:�

#&%0-450%.'P!Q%D� <CH �m�X/V� �`H <)�M/W� H � <)�X/o� < �`H)�K%0!(�:Aj� AC'P!3#&%.�"LO#�%.-450%.'P!Q%0-q� H < �m�M/&5.%(c8�&N #&� '&'�%C/1#&� '�5π(0) = 1/6, π(1) = 2/3, π(2) = 1/6.

�7NB'&-�N / AC-��")R2�!4�C!QNVc6��%.)R%.'P!+-�N � ' A ��� ��!4% #�% !Q,��.-:D ,QAC'�#&- '&�C)+*&,4%0-./ �&' -�N�L"N �0) % #&%0-+,4%X!Q%.'8�&%0--�%.,4�C'8!3#&%0-b�"/&c8�1AT!Q,�%(-4N�L"N(�.)R%.-W#&%0-:� /�%0!3@B%E,�%.-�!4%(#&%.-b<"/&NV'&#&?.2 %.'�#1AC)R) %0'8!$#�%;@BA+_CAT@B%.��,W#&%

b�

� � �&,m = 4

/u� Aa#&�C'&'&%π(0) = 1/24, π(1) = 11/24, π(2) = 11/24, π(4) = 1/24.

3'&%aAC��!4,4%:5\�&� -4%aNV'P!Q?.,�%.-�-QAC'P!Q%�. ,4%.) AC,�c6��%.,U%X!Uc8�&%a5.%0-U) AT!Q,�NB5.%0-./ '&�C!4?.%.- Pb2&@B��--�1AC�"! /p� �C'8!

NV'8!4%., _ %.'�NB,3�&'&NBc8�&%0) %0'P!U@SAR*1AC-�%b5 � ' 2 %0��!U2&,�� ��_C%.,bc8�&% 2 � ��,3!4� ��!

a, b > 2� #�%.�"L ) A !Q,4NV5.%0-

#&%E!QACNB@V@B%m × m

5.� ,�,4%.-�2 �C'&#1AC'P! .a@��IA ��� ��!$#&%m

'&� )+*&,�%.-2�X/1� 'OAPaPb = Pab.

� [e�1 {� � x������ x ~���|�� |m{#y�������� {my�jy�� � x�!���"4~%|#x |#{�y�{d~%y$#&%'� y&(d{') E �*jy�%+��{m{my�~-,mx���,#x)/.`z�.�~�0��1,2.�x�)/�3')/�4) z�.�56) x�x�.$j|��87z)/%')/�9) z.;:<5�y4�/� y=,2��~�~?>@jyS|m{my=�/��) ~%z�� z)/� {m{+�1) x1y µ |#{')/�=|myBADCpy`z1z1y=�/��)8y'~�z�|#{my=#Sy�~1|mx1y=jy=,#x�B%��1%')/�/) z�.S~1|mx E 5�) {3"�� x�)/� {�z�y,�� xE�/���/��)lz�x�� {#~) z�)9��{*jy&�/��������� {myFmyF� � x�!���"G����� y'~�zH�I� ~1y�|'� yJ�9�B) µ z1y4�/� yF��|#y�~?) X0

~1|') zH�/���/��) µ 5 X1� |#~�~?)KA'L8|�) ~��=|my

P (X1 = j) =∑

i P (X1 = j|X0 = i)P (X0 = i) 5 µ ~��\z) ~?M��1) z µj =∑

i µiQi,j,2� |mx Qi,j = P (X1 = j|X0 = i) 5N� y{'��OP� | jy�z1x�� {#~) z�)9��{Qjy��/�R�����;� {my�A6SW|mz1x�y4#Sy�{=zJ ) z@5 µ y�~%z |m{Q" y$�`z1y�|mxT,#x�B,mx1y�UWVB� |����myF,2� |#xT�I�W#=�\z�x)I�`y Q 52��~1~� �8)/.UW�I�="��1� y�|#xT,mx���,#x1yWXR0 {'��x#=�1�/) ~?.�jy$~� x1z1y&�=|my��/� ~?�B#�# y�jy$~1y�~-�8�3� x� ��{m{'.�y'~�M�� ~�~1yYX@:8A2�Q�1) {�z�y�{�� {=z$5d~)D� {�~1|',',2��~1y

�=|my4�I�8��{��=|myZ�/�[�/��)Hmy .4,�� x%z@5\�1� y�~%z?7]U�7] ) x1yZ�I�^�/��)Hmy X05\)/�V~%y4z�x��|'" yG�=|my3~� |#~�� y�~=�3O3,2� z��>�~1y�~=N� �1,2.�x�)9� )I�8) z.3y�z

N� ) x�x�.$j|��`z)/%')/�9) z.B5 Xn�4� {3" y�xV�y$y�{_�/��)�"�y�x ~ µ 5��/� x ~�=|my n ⇒ +∞ AD`O{hx�y�{3"B��) y�� |^�/)/"=x�yWjyWa6x�.4#=� |�cbed@fg,2� |mxF,�� |#~N� ) {'Mh� x�#�� z)/� {#~$A

Page 7: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

G

�bNV'&-4N 5.%0-+#&%0�"L ) AT!4,4NV5.%.-;-4% 5.� )+*�NB'&%0'8!:#&%F50%0!�!Q% ) AC'&N(�.,�%C� �7�C!4%=7 c6��%D� A AT�&,QACN�!;2&� �0!4,4% �&' _6,QACN*1A&7.AC,./1) ACNV- 5.%('w�\%.- !72&AC-$@B%E5 AT-.���V��b� '�5C/ *�,4%�� /1��%F@BNV-QACNV-(5.%0!aAC,�!4NB5.@V% #�% 7� @�! #&AC'&-+@BA ,4%X_"��%F%.' c8�&%0-�!QNV� '����V� %0!a-�N _C� �&- A _6NB%=7 ?0!4? ) � N /_ �T!Q,4%(,�? AC5X!QNB�C'�AT�&,QACN�!W?0!4?��

�b%��G� ) ACNV- 5&�\%.- !b2&AC,4%0NB@�c8�&%(#&%()R?.@SAT'&D %.,K#&%.-35 AC, !Q%0-��P�e���\NB) ACD NB'�%Uc8�&% 2 � �&,W_ �C�&-b50%:c8�&% ��%:#�NB-$'w�IAR21AT-3!4,4� 2�#&%:-�%.'&-0� ] ACNV-4-�%=7;) � N _ � �&-721AC,�@B%.,$�&'O2 %.� #�%)R?.@SAT'&D %U#&%(5.AC,�!4%.-.�

9;:�� � �����hH��G EJG U�0NVCWGQP� �C��!(#w�IAC* �C,4# 5.% c8�&%7���\%.'P!Q%0'&#&-(21AC,E)R?.@BAC'&D %:#&%a5 AT,�!Q%0-./�5d�I%0-�!;@SA );�0) %+5\��� -4% c8�&%a_ � ��-.� [ � ��-

2&,�%.'&%�77�&'U��%.�R#&%$5 AT,�!Q%0-./ _C� �&- @B%W5.�C�&2 %�7$%.'R#&%.�"L /8%.'R2&,�%.'&%�77@BAU) � N�!QNV?K#1AC'�- 5\�&ACc8�&%7) ACNV'�/C%X! #6�I�&'�%) AC'&N �0,4%7� �F#w�\�&'&%(AC�"!Q,4%T/"_C� �&-W)R?.@SAT'&D %=7'���8� ���C%b_TACNB-KAC@B� ,�- _C� �&-W21AC,�@B%0,K#w�\�&' )R�"#��0@B%3) A !2�&?0) AT!4NBc8�&%c8�&N A ?0!Q?(NV'8!4,4�6#&�&N�! 21AC,� ENB@V* %0,�! / � �1AT'&'&� '�/1%X!��3%0%.#&-0�

� �C��!(#w�IAC* �C,4#�/��C' 5.� )R) %0'&5.%a2&AC,E2&,4%0'&#&,�%a�&' ��%.� � ,4#�� '&'&?T� g ' @V%+5.�C�&2 % %0' #�%.�"L 2&ACc8�&%0!4-A%0!

B�1@B%E2&ACc8�&%0!

A-4%0,QA #&%E! ACNV@B@V%

c#1AT'&-$@B%E5 AT-3��a���IACN

m5 AC, !Q%.-$%0'O!4� ��! / A _C%.5;2&,4� *&AC*&NB@VNV!4?

(

m

c

)

/2m 2 �C�&,c ∈ {0, . . . , m};

NB@8-��=ACDCNV! #�% @SA3@B� N8*&NV'&� )RNSAC@V%C�`]^%.- #&NB- !Q,4NV*&��!4NB� '&- #&% @BA3!QACNB@V@B%�#&%A

%0! #&%B

-4�C'8! AC@B� ,�- @V%.- );�0) %0-.�CJ-�I%0-�!5.%X!4!4%;#�NB-�!4,4NV*&��!QNV� 'Fc8�&N AC2�21AC,QA � !W-�N^� ' #&%.) AC'&#&%�.a5\�1ACc8�&%;5 AT,�!Q%E#���21ATc6��%0!$!Q�C!QAC@�#&%(5\�&�CNB-4NV, �&' ! AC-A

� �B

A _ %05:2�,4� *1AT*&NB@VNV!Q?;��� <6/�NB'�#&?.2 %.'&#&AC) )R%.'P!W#�%.-3AC��!4,4%.-W5.AC,�!4%.-0� � %.�&@V%.)R%.'P!$NB50N /6@B%0-W5 AC, !Q%.-W-�� 'P!'8�&)R?.,4�T!Q?.%0- #&%

1.

m/"%X!W� ' A !4!Q,�NB*&��%UAC�F2&ACc8�&%0!

A@B%.-

c2&,�%.)RN �0,4%.-0/"%X!$AC�F2&ACc8�&%0!

B@B%.- -4�&N�_TAC'P!Q%.-0�

> ACNV'8!4%.'1AT'8! c6��%U@��\� 'FA:5.%.-W#�%.�"L 21ACc8�&%X!Q-W#&%75 AC, !Q%.-0/�'&�T!Q?.-A

%0!B/�@V%72�,4�65.%.-�-4�&-W#�%U) ?0@SAC'�D %7-�%

21AC-�-4%U50� )R) %3-4�&N�! � g 'F%.)R2&NB@V%7@V%.- 5 AC, !Q%0- %.' @V%.-K@BACNB-�-QAC'P! !Q� ) * %0, #&� 2&ACc8�&%0!A

� �F#��F21ACc8�&%X!B/6#&%

@SAU) AC'&N(�.,�% -4�&N�_TAC'P!Q%C� � Nu.E�&' 5.%0,�! ATNB' ) �C) %0'8! @B% 21ATc6��%0!A

2 �C-4-'�0#&%a5.AC,�!4%.-0/P@B%W21ACc8�&%X!

B/b5 AC, !Q%.-0/

AC@V� ,4- � 'F@BACNB-�-4%$!Q� )+* %., @SA;5 AC, !Q%7#&��� � '&# #&�F21ACc8�&%X!W#&%A

A _ %05U2&,4�C*1AC*&NV@BNV!4?a/(a + b)

%0!W@BA;5.AC,�!4%b#&�� � '&# #�� 21ACc8�&%0!U#&%

BA _ %.5a2�,4� *1AT*&NB@VNV!Q?

b/(a + b)� �bNB'�-4N -�N ���IACN /p.F�&' 50%.,�!QACNB' ) � )R%.'P!b#&� '&'&?T/ �&'

D ,�� -$21ACc8�&%0!A

%0!3�&'O2 %0!QN�!$21ACc8�&%X!B/1@SA+2&,��"5\�1ATNB'&%(5 AT,�!Q%�.+!Q�C)+* %0,$AR2�@B�&-W#&%;5\�1AC'�5.%;#w� �X!Q,�%;NV-4-��&%

#&%A��] AF#&%.-�5.,�NB2�!4NB� ' #&%a@1�I?X_ � @V��!QNV� ' #&%0-E?0_C?.'&%0) %0'8!4-:c8�&%7��%:_"NV%.'&-E#�%�� ACNB,�% #&?05.,4N�!(%.'P!QN(�.,�%.)R%.'P!E@V%

2&,��"50%.-4-��&-32&,4� *&AC*&NB@VNB- !Q%C�JK� '&-�NB#&?0,4� '&- ) ATNB'P!Q%0'1AC'P! @BA 2 %.,�)+��!QAT!QNV� ' #&%

Sm#&? �1'&NB%O21AC,R@��\� ,�#&,4%O#&%.- 5 AC, !Q%0- #&� ��%.��)R? �

@SAT'&D ?C�&JK%0!�!Q%(2 %0,4)+�"! AT!4NB� ' %0-�!7AC@B?.AT!Q�CNB,4%7%0!$-4A @V� N %0-�!3'&�C!4?.%Q�1�bNV'&-4N

Q(σ)%.- !7#�� '&5E@SA+2�,4� *1AT*&NB@VNV!Q?

#w�\� *&-�%.,�_C%.,7@B% ��%.��%.'O2 �C-4NV!4NB� 'σAC2&,��.-$@B%()R?.@SAT'&D %C���E��%;-�%:2&AC-4-�% � !�� NV@ /�-�N � '�N�!2�0,4%E5.%X!4!4%:) AC'&N(�.,4%E#�%

)R?.@SAT'&D %., �� N6� '+)R?.@SAT'&D % #&%.�"L�� � NV-./ #&% ) AC'&N(�.,�% NV'&#&?02 %0'&#1AC'P!Q%0-./ @BA3@V� N8#&%K@BA72 %.,�)+��! A !QNB�C' AC@V? AT!4� NB,�%�#&%0_6NB%0'P!

Q?2(σ) =∑

η∈Sm

Q(η)Q(ση−1);

%.' % ] %X! / 2 � �&,��X!Q,4% %0'�2 � -�NV!QNV� 'σ

AC2�,'�.- #&%0�"L )R?.@BAC'&D %0-./ NB@$� AT��! c8�&% -4NW@V%F2&,4%0) NV%.,+)R?.@BAC'&D % ) %#&� '�'&%

η/ @B% #&%.�"L"N(�.)R%+) %:#&� '&'�%a5.%ac8�w�\NB@W� AC��!E2 � �&,b,4%0!4� )+* %.,7-4�&,

σ/ 5&�\%.- !��`.m� #&NV,4%C/

ση−1 �6s @ -��=ATD NV!2 {� � xJ� )9�6M���) zE� yTV�y�~%z1yJjy-#Sy`z%z�x1y � y�~Ejy�|��Yjy$#�)97���y�|��Y,#x� ���my'~ �K� |m{*my-�K� � |jz�x1yB5=y�zE,�� xw|m{my �/.4VB>�x�yWz��x�~)/� {�53,&y�x�# y�z

� |��*�4� x%z�y�~Hmy�~ my�|��Z,����=|my�z�~Hmy�~%y&#�.$�/� {'V y�x$5 ,+� xH) {#~1y�x1z)/� {G,'� |#~H��|Z#��B) {d~Wx�.4V |��9)/>�x�yJjy�~Tjy�|��Z,��B��|#y`z�~ jy&�4� x%z�y�~$5�8�B#�# y-Mh��{�zH� y�~�,#x��M y�~�~?)/� {m{#y4� ~4A

Page 8: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

k

#&� '�5 ����-�!Q%(#&%(@BA @V� N #�%;@BA+5.� 'P_C� @B��!4NB� ' -��&,$@B%ED ,�� �&2 %C���V�1� _ %05:@V%E);�0) %(AC,�D �&)R%.'P!$� 'O� *�!4NB%.'P!

Q?k(σ) =∑

η∈Sm

Q(η)Q?k−1(ση−1).

JK%.50N %.-�!3'&�T!Q,4%()R�"#�.@B%b) AT!'�&?.) AT!4NBc8�&%U2 � �&,W@V%E) ?0@SAC'&DC%U#&%(5 AC, !Q%0-.�7'&% c6��%.-�!4NB� ' c6��%F'&� �&- A _ � '&- ?0!Q��#&NB? A`_C%.5/�UA _C%�� A}� %0,J ���"K#&%FJK� @B�C)+*&NSA � �3%���� � ,����;%.- !a@SA

-4��NV_TAC'P!Q%���b50� )+*&NV%.' #&%3� � NV-W#&� NV!�� � ' )R?.@BAC'&D %0, �&'+��%.�O#&%(5 AC, !Q%0-32 � �&,Wc8�w�\NB@^-�� NV! *&NB%0' )R?.@BAC'&D ? �Q�

] A ) AT'&N �0,4% #&� 'P!+�C' !Q,4AC#&�&N�! 50%.@SAO) A !2�&?0) AT!4NBc8�&%0'8!;%0-�!a@BAO-��&NV_TAC'P!Q%��1��% #&?��&'&NB-:�&'&% #�NB-�!QAC'&50%%.'P!4,4%+@BA @B�CN

Q?k #&% @SA 2 %.,�)+��!QAT!QNV� '��C*�!Q%0'6��%a%.' )R?.@BAC'&D %.AC'P!b@V%$��%.�k� � NB-0/ %0!U@BA )R%.-��&,4%+��'&N(� � ,�) %

-4��,b@��\%.'�-4%.) *&@B%Sm

#�%:!Q�C��!Q%0-b@B%0-b2 %.,�)+��! A !QNB�C'&-$2 � -�-4NV*&@B%0-q� NV@ -=�IACD NV!3*&NV%.' -�t&,b#�% @SAR@B� N^#�� '&'1AC'P!b�&'2 � NB#&-

1/m!. 5\�1AC50�&'&%;#&%.-$2 %.,4) ��! AT!4NB� '�-W#&%

Sm�M� ] Aa#&NV-�!QAC'&5.%(%0-�!3#&� '&'�?.%;21AC,W5.%X!4!4%�� � ,�)+�&@V%��

‖Q?k − � s`� ‖ = maxE⊂Sm

Q?k(E) − |E|m!

=1

2

σ∈Sm

Q?k(σ) − 1

m!

.

JK%0!�!Q%U#�NB-�!QAC'&50%U%.- !WAC2&2 %.@V?.%U#�NB-�!QAC'&50%b%.'F_TAC,�NSAT!4NB� 'a!4�C! AC@V%72&AC,K@V%.-K2�,4� *1AT*&NB@VNB-�!4%.-0�"] A #�%.,4'�N �.,�%b?0DPAC@BN�!Q?%.- !R�&'&% NB#�%.'P!QN�!Q? 5.@BAC-4-�NBc8�&%T� �bNV'&-4N / ) A #&NB- ! AC'&50% %.-�!q� AT5.NB@V%J. 5.�C) 2&,�%.'&#�,4% � _ �C�&- 2&,4%0'&%=7O�&' -4� ��-%.'�-4%.) *&@B%

E#&%0-;2 %.,�)+��!QAT!QNV� '&-U#&%a!QACNB@V@B%

k� � N @V%7��%.� ?0!QACNV!U21AC,�� ATNV!Q%0) %0'P!E) ?0@SAC'�D ?aAC2&,��.-

k?0!QAC2 %.-

_ �C�&-3AC�&,4NV%=7Q?k(E) = k/m!

�us 5.N /�� ' 5 AT@B5.��@B% |Q?k(E) − k/m!| %0!$� ' 2&,�%.'&# @V%E-4�&2&,�%.)+��) -4�&, !4� �&-@B%0-W%.'&-�%.)+*�@B%.-

E�

> ACNV'8!4%.'1AT'8!Kc8�&%����IACN *&NB%0' !4� ��! -�2 ?05.Nv�1?C/6) A(#&NV-�! AT'&5.%7%0! @B%3) ?05 AC'&NV-4)R%$-4%.@V� 'F@V%.c8�&%.@C��%7) ?0@SAC'&DC%C/���IACN��&' 2&,�� *&@ �0) %b#&%() AT!'�&?.) AT!4NBc8�&%��&-�N^� ' -4%E#&�C'&'&%

ε > 0/&5.�C) )R%.'P!S� AC�"!�� NV@ 5\�&�CNB-4NV,

k2 � �&,$A _ � NV,

‖Q?k− � s`� ‖ < ε�$� _C%.5 �UA _ %T/6'�� �&-�A _ � '�- ,�?.-�� @B� 5.%W2�,4� *&@(�.)R%C�)�C% _CATNB- _C� �&-�?.'&�C'&5.%0, @V% ,4?0-4�&@�! AT!w5

#w�IAC* � ,4#�/ ��%U_CATNB-K_C� �&-$#&NB,�%E5.%Ec8�w�\NB@�-�%(21AC-4-�%(@B� ,�-4c8�&%m = 52

/"5 AC,S�&'1AC@B%0) %0'P!$5&�\%.-�!350%;c8�&N NB'P!Q?0,4%.-�-4%21AC-$) AC@�#&%(D %0'&-.�8� '�&'�/1@B%0-35.AC-4NV'&� -W-�� 'P!bNV'8!4?.,�%.-4-�?.-321AC,W@BA ,�?.2 � '&-�%;2 � �&,

6��%0�"Lg���8� #&%(5 AT,�!Q%0-.���V�

] A #&NB- ! AC'�5.% %0'�_CAT,4NSA !QNB�C'�%0-�! NV'� ?.,�NB%.��,4%�.�� / 2��&NB-�c6�6�I%0@B@B%�%.- ! #&?��&'&NB% 2&AC, #&%0- #&N(] ?.,�%.'&50%.-F#�%2&,�� *1AC*&NV@BN�!Q?.-0/�c8�&N^-�� 'P!7#�%.-3'&� )+*&,�%.-W50� ) 2�,4NB-W%0'P!Q,4%:�a%0!;� � [ �CNB5.N @B%.-W#�NB-�!QAC'&50%.-$c8�&%:@1�I�C'O�C*�!QNV%.'P!

k 1 2 3 4 5 6 7 8 9 · · ·‖Q?k − � s`� ‖ 1, 000 1, 000 1, 000 1, 000 0, 929 0, 628 0, 318 0, 162 0, 084 · · ·

� ' _ � N�!(c8�w�=AT� #&?0*&��!;5&�\%.- ! 50� @B@V?q. � /�%.' � ACN�!(*&NB%0' -�t&,./^5d�I%0-�!:�&' 2 %0� )R� NB'�-Uc8�&%��C/^%0!�. 21AC,�!4NB,U#�%G"/O� A #&?0) AC,�,4%T/ .�k��.A � ACNV!+��/ k <&n�/ 2&�&NB- %.'&-��&NV!4%F5&�\%.- ! #&NV_6NB-�?F%.' DC,4� -+2&AC,+#&%0�"L . 5\�1ATc6��%D� � NB-0/ %X!� AF50� 'P!QNV'6��%a5.� )R) %h� A�/ %.'&-��&NV!4%C/ 2 � �&,b@B%.-

k2&@B�&-bD ,QAC'�#&-.���V� g ' _C� NV!bc8�w�INV@ � AF�&'&%+!Q,4AC'&-�NV!QNV� ' � AC�

#&?0*&��!+50% 'w�\%.- !+21AT-:)R?.@BAC'&D ?T/^2&�&NB-�� A�#&%0_6NB%0'P!+%XL"2 � '&%0'8!4NB%0@B@B%0) %0'P!:*�NB%.' ) ?0@SAC'�D ?C� g � AT2&21AC,4ACNV!;@SA!Q,4AC'&-�NV!QNV� ' ���C%;#&NV-7c8�&%�� AR5.� )R) %0'&5.%�.R21AC,�!4NB,W#&%�rR)R?.@BAC'&D %0-.���V�1�C' 2 � �&,4,4ACNV!$%0' #&NV-450��!Q%0,.� � '�� ACN�! /��% -QACNV-E5.%Rc8�&% -4� 'P!:5.%.-;'&� ) *&,4%0-;2�,4?.50NB-�?.)R%.'P! /^� ' _TA @B%a_ � NV,.���7@B� ,�-./ _C�j� � '&-:) ATNB'P!Q%0'1AC'P!(c8�&%.@Vc6��%5\�&� -�%:c8�&N^,�%.-�-4%.) *&@B%(2&@V�&- . #�%.-3) AT!'�&-3����� ������������������ �"!$#�%�&

m '�(*)+( &-,/.10*2 k = 32log2 m + c

‖Q?k − 3�46587 ‖ = 1 − 2Φ

(

2−c

4√

3

)

+ O(1/√

m)

,/9/08:Φ(x) =

∫ x

−∞e−t2/2 dt√

2π ;.<,>=?# ) :*2�@A# )CB 0$& (ED ,/&F2G@A# )HBJI % ) 0$9�,/&F@�,LKM.�0 ' ,/%�N8N*@A0 ) ) 0PO-0 )QD ,/&F2G@A:*%�.R@A0*&S0*.T.�02E0 )UB 9/0*&8N

1/2.�#�&VNMWM%�0

x2E0 )UB 9/0*&VNYX8Z/[

3 \ ��OR�^] ��y�|��*jyJ�4� x%z�y�~E'� {#~�� y�~��%+� zEm|Za �I����! �?����!653� |G�4��~?) {'�

Page 9: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

r

�b��!4,4%0) %0'8! #&N�! � � ' AE�&'b��%0�R#�%m

5 AT,�!Q%0-�c6��%W@��\� 'a) ?0@SAC'�D %k� � NV-.� � N&� ' ) %K#&� '&'&%

k%0!

m/C5.%.@BA

#&?X!Q%.,�) NV'&%c��]^% !'�&?.� ,��.)R%+#&N�!Uc8�&%a@SA #&NB- ! AC'&50%q.F@SA ) %0-4�&,�%+-�!QAT!QNV� '&'1ACNV,4%T/ c8�&N %0-�!E@BA @B�CN �&'�N(� � ,�) %

NB50N /&%0-�!4.R�&'�% 2 %0!QN�!Q%(c8�1AC'P!QN�!Q?;2&,'�0-./p.R-4A _ � NV,O(1/

√m)

?.DPAC@V%�.1 − 2Φ( 2−c

4√

3)� � N � '�!4,QAC50%:2 � �&,

mD ,4AC'&# @BA -4�&N�!Q%k 7→ ‖Q?k − U‖ � ' _C� NV!;c8�w�\%.@B@V% 21AC-4-�% #&% 2&,4%0-4c8�&%��D. 2&,4%0-4c8�&% ��/ AC�6L AC@B%0'8!4� �&,�-

#&%(3/2) log2 m

/�%0!R@SA 5\�8��!Q%O%.- ! %ML"2 � '�%.'P!QNV%.@B@V%.)R%.'P! ,QAT2&NB#&%T��] A 50� �&,�* %�A 5.%Oc6�6�I� '�AC2&2 %.@V@B% �&'�%!Q,4AC'&-�NV!QNV� '�� -��1AC,�2��Z� AC*&,4��2�!Q%}�K%.'

(3/2) log2 m�1JK� ) )R%E� ' 5.�C'&'1A � !W*&NB%0'�@1�=AT-��6) 2"!Q�C!4NBc8�&%U#&%

ΦAC�"L

AC@V%.'P!Q� ��,4-E#&% ��/ � ' ) � 'P!4,4%aACNV-4?0) %0'8!(c8�&% @BAF#&%.-�5.%.'P!4% #&% �+_C%.,4-:�F%.- !;%XL"2 �C'&%.'P!QNV%.@V@B%.)R%.'P!E,4AC2&NV#&%C/%0! #&AC'&- @��IAC��!4,4%F-�%.'&-0/ %.' 2&,4%0'1AC'P! @SA 50� �&,4* %/. @��\%.'P_ %0,4-0/ @B% 21AC-�-QACDC% #&%O� _ %.,�-�� %0-�!R#&� ��*&@B%0) %0'8!%XL"2 %.'P!QNV%.@ �1�bNB'�-4N�#1AT'&-7��'O!4� ��!$2 %0!QN�!$#&� ) ACNB'�%C/&@BA+5.� �&,�* %(21AT-4-4%;#&%R��. �����bNB'�-4N A _ %05:50%;!'�&?.� ,��.)R%C/_ �C�&-(2 � �"_ %=7R-QA _C� NB,E50� )+*&NV%.' #&%�� � NV-UNB@ � AT��!() ?0@SAC'�D %.,-k ��%0�"L #&% 5.AC,�!4%.-./^50� )R) %aAT� 5.AC-4NV'&�&/�2 � �&,c8�w�\NB@ -4� NV%.'P!E*&NV%.' )R?.@BAC'&D ?0-.� �KNB%0' -'t&,0/ _ �C�&-U#&%X_ %=7q� � ��,4'&NV,

ε/ @BA #&NV-�!QAC'&5.% %.'P!Q,�%+@SA #�NB-�!4,4NV*&��!QNV� 'O#&�

��%.� )R?.@SAT'&D ?+%X!:@BA @B� N �&'&N(� �C,4)R%C/�2&��NB-4c8�&% *&NV%.' -'t&,0/^@B%7��%0� '&% -�%.,QA+�4AC) ACNB-721AC,�� ATNV!Q%0) %0'P!() ?0@SAC'&DC?C/c8�&%.@Vc8�&%:-�� NV! @B%E'&� ) *&,4%(#&%()R?.@SAT'&D %Uc8�&%;@��\� 'D� AC-�-4%C�

]^%(!'�&?.�C,'�.)R%;���=<"�V�;Aa?0!4?(#&?.)R� 'P!Q,�?:A _C%.5h�UA _ %Q� A}� %.,h �=" /�NB@6� Aa#&%(50%.@SA � GaAC'�-.���INV) ATD NB'&%;c8�&%a@B% 2 � NV'P!E5.� )R)+�&' %.'P!Q,�%a@�� �&NB- !Q� NV,4% #�� ) ?0@SAC'&DC% #w�\�&' ��%.� #&%+5.AC,�!4%.-E%X!(@�� �&NB- !Q� NV,4%

#&%0-7,�%0!Q%0'8�&%.-7'w�I%0-�!b21AC-$%.'&50� ,4%(!Q,��.-35.@BACNB,W2 � �&,$@��IAC�&#�NB%.'�5.%C� �C%E_TACNV-3) ACNV'8!4%.'1AT'8!$%ML"2&@BNVc6��%.,35.%;2 � NV'P! �[ � NV5.N �&'&%U'�� ��_ %0@B@V%7#&%0-450,4NB2"!QNB�C' #&� )R?.@BAC'&D %T�e��,�%.'&%�7

m2 �CNB'P!Q-

U1, . . . , Um-�%.@V� 'F@SA(@B�CN ��'&N(� � ,�) %$%X!

NB'�#&?.2 %.'&#&AC) )R%.'P!$#1AT'&-$@��\NB'P!Q%0,�_TAC@B@V%[0, 1]

/&%X!3'6��) ?0,4�C!4%=7(@B%0-./&21AT,3�C,4#&,�%E5.,4�CNB-4-4AC'P!

x(1) < · · · < x(m).

�bNV'&-4Nx(1)

%.- ! @V%a2&@B�&-(2 %0!4NV! /x(m)

@B% 2&@B��-;DC,QAC'&# � > ACNB'P!4%.'1AC'P!:AC2&2�@BNBc8�&�C'&-(@SAF!Q,4AC'&-�� �C,4) AT!QNV� ' #&%� A�T%.,

x 7→ {2x},A _ %05 {u} #&� '�'1AC'P!W@SA(21AC, !QNV% � ,4AC50!4NB� '&'&ACNB,�%3#�%

u�&JK%X!4!4%b!Q,4AC'&-�� �C,4) AT!QNV� ' %.'P_ � NV%U@��\NB'P!4%.,�_TAC@V@B%

[0, 1]-��&,

@B��N )Z�.)R%C/&%X!$5.� '&-�%., _ %;@SA+)R%.-4��,4%E�&'&Nv� � ,4)R%b%X!3@��\NB'&#&?02 %0'&#1AC'�5.%q�&-�NU

%0!V

-��&NV_C%.'P!7@SA @V� N �&'�N(� � ,�) %%0! -4� 'P!aNV'&#&?02 %0'&#1AC'P!Q%0-./ @V%.�&,;NB) ACD %R21AC,:@SA !Q,QAT'&-�� � ,�) A !QNB�C' #�%�� A�T%.,+� 'P! @SA�)Z�.)R% 2�,4� 2&,�NB?X!Q?C� � N���IAC2&2&@VNBc8�&%E@SA !4,QAC'�-�� � ,�) AT!4NB� 'D.R@BA+-4�&N�!Q%

x(1), . . . , x(m)/1@V%.-$NB) ACD %0- '&%(-4%0,4� 'P!32&@V�&-$� ,4#&�C'&'&?.%0-.�

��U�&%3� ACNV! @SA !Q,4AC'&-�� � ,4) AT!QNV� ' #&% � A�T%.,����� @B@B% 2&,�%.'&#d@��\NB'P!Q%0,�_TAC@B@V%

[0, 1/2]%0!�@��\?0!4NB,�% -��&, @1�INV'P!Q%., _TAC@B@V%

[0, 1]53%0@B@V%�� ACNV!O@SA )Z�.)R% 5\��� -4% -4�&,

@SA #&%0�"L"N �0) %O21AC, !QNB%[1/2, 1]

��� �C�&,a_ � NV,R@1�I%0'&-4%0)+*&@V%O#�%.- NV) ATD %.-a#&%0- '�� )+*&,�%.-x(i)

/�� ' 2&,4%0'&#�@V%.-#&%0�"L NB'P!Q%0,�_TAC@V@B%.-+AC@B� '�D ?.- %0!R� ' @V%.- ) %X!R@��\�&' -4�&, @��IAC��!4,4%T� JK%.@SA ,�%0_6NB%0'8!;. ) ?0@SAC'�D %.,a@V%.-a'&� ) *&,4%0-x(1), . . . , x(m)

� ) ACNB'P!4%.'1AC'P!;@B%0- '&�C)+*&,4%0-x(i)

AC2&21AC,4ACNB-�-4%0'8! #1AC'&-:�&' �C,4#&,�% D ?0'&?.,4AC@B%0) %0'8!:#&Nv] ? �,4%0'P!7#�%;50%(c6�6�INV@B-W?0!QACNB%0'P!bA _TAC'P!0�1NB@ %XL"NB- !Q%(�&'&%(2 %.,4) ��! AT!4NB� '

σ!Q%0@B@V%Uc8�&%:@V%E'&� ��_C%.@^� ,�#&,4%(-�� NV!

x(σ(1)), . . . , x(σ(n)).

JK� )+*�NB%.' #&% '&�C)+*&,4%0-x(i)

A _TACNV-��V��% AC� #&?.*&�"! #1AT'&- @��\NB'P!Q%0,�_TAC@V@B%[0, 1/2]

� ��� *&NB%0'�/ �&' '&� )+*�,4%AC@V? AT!4� NB,�%a#&% @V� N *&NV'&� )RNSAC@V%

B(m, 1/2)2&�&NB-�c8�&% 5\�&ACc8�&%

UiAC� #�?.*&��! A _TACNV! GC�

%#&% 5\�1AT'&5.% #w� �X!Q,�%

#1AC'�- 5.%X! NB'P!4%.,�_TAC@V@B%T/`NB'&#&?02 %0'&#1AC)R)R%.'P! #&%0- AC��!4,4%0-x(i)

�#s @�'w�\%.- ! 21AC- #&N �R50NB@B% #&% _ � NV, %0! #&% #&?0) �C'8!4,4%0,c8�&% @BA @V� N^#&%

σ%.- !U@SAR);�0) %(c8�&%+50%.@V@B%(#&� )R?.@BAC'&D %(#&%0-b5 AT,�!Q%0-bc8�&%3���IACN 2&,�?.-4%0'P!Q?aA _TAC'P!U%X!Uc8�&%$���IACN

'&�C!4?Q�

�b%;);�0) %T/T��%:2 %.�"LO#�?��1'&NV,3A`_C%.5:5.%;) �6#��.@V%E�&'b) ?0@SAC'&DC%q� 50� '&-�NB#&?0,4%=7;2 � �&,

b > 2@BA+!Q,QAT'&-�� � ,`�

) AT!QNV� 'x 7→ {bx},

%0!;,�%.DPAC,�#&%=7R@SA ACDCNB,E-4��,:@V%.-x(1), . . . , x(n)

� ] A 2 %0,4)+�"! AT!4NB� ' NV'&#&�&N�!Q%C/^@BA 2 %0,4)+��!QAT!QNV� 'σ

!4%.@V@B%ac8�&%x(σ(1)) < · · · < x(σ(m))

%0-�! 5.% c8�&% ���=AC2�2 %0@B@B% ��'b� )R?.@BAC'&D %T�}� AC, %XL"%.)R2&@B%�@V� ,4-�c6��%

b = 3/=� A$,4%0_6NV%.'P!

Page 10: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

n

.b50� �&2 %., @1�INV'8!4%., _CAT@B@B%[0, 1]

%0'+!Q,�� NB-0/[0, 1/3], [1/3, 2/3]

%0![2/3, 1]

/#.b@B%0- ?0!4NB,�%., -��&,[0, 1]

%X!�.b� *�-4%., _ %0,@��\� ,�#&,4%a#&%0-

x(i)�C*�!Q%0'6��-:AT2&,'�0-;50%0!�!Q% � 2 ?.,QA !QNB�C'��w� � �&,(@B%0- ��%.�"L #�%R5.AC,�!4%.-0/o� A ,4%0_6NV%.'P!h. 50� �&2 %.,E@V%

��%.��%.' !4,4� NV-$21AC,�!4NB%0-7-�%.@B�C' @SA @B�CN^)+�&@V!4NB'&�C) NBAC@B%3#&%;21AC,QAT);�X!Q,4%(m, 1/3, 1/3)

�8��IACN ) ACNB'P!Q%0'1AC'P!3!Q,4�CNB-) ACNB'&- �u�C%4� AC*&,�NBc8�&%U��' !QAC-./�%.'O@SACNV-4-QAT'8! !Q� ) * %0, �&'&%(5 AT,�!Q%E#6�I�&'�%E) ACNV'�/�%0' 5\�&� NB-�NB-�-QAC'P!$5.%X!4!4%E) ACNV'�/2&,�� 2 �C,�!QNV� '&'&%0@B@V%.)R%.'P! AC� '&�C)+*&,4% #�% 5 AC, !Q%.- c8�w�\%.@V@B% 5.�C'8!4NB%0'8!.� �b�"!Q,4% 5\�&�C-4% . -4NBDC'1AC@B%0,J. 2&,4�C2 � -#&�

b� )R?.@SAT'&D % 5�NV) ATD NB'&�C'&-bc8�&% _ � ��- A}� %�7 ��' D ,�� - ��%.� #&% 5 AT,�!Q%0-.�V� �C�&,3� ACNB,�%a�&' [#� )R?.@SAT'&D %C/ _ � ��-

2 � ��_ %�7;AC�&-4-�N / � ACNB,�%b#w�IAC* � ,4# [+!QAC-w5� ACNV,4%7�&' ) ?0@SAC'&DC%b#&%0-W#&%.�"L 2&,4%0) NV%.,4-0/�2&��NB- #&%0-W#&%.�6L AC��!4,4%0-./&%X!%.'��1'�/&)R?.@BAC'&D %0,K@B%0-W#&%.�6L 21ACc8�&%X!Q-$� *�!4%.'8�&-0� g ' -�%(5.� 'P_TACNB'�5EACNB-�?.)R%.'P!Wc8�&%(@B%7,4?0-4�&@�! AT!$%0-�!$@B%b);�0) %c8�w�\�&' [d� )R?.@BAC'&D %T/"-��&,�!4� ��!W%0'O,�?��1%05\�&NB-�-QAC'P! .+@��IACNV#&%7#�%E@SA ,�%.2&,�?.-4%0'P! AT!4NB� ' ��!4NB@BNV-QAC'P! @B%0-WAC2&2&@VNB5.AT!QNV� '&-x 7→ {bx} �8�C%E'��C!Q%E) ACNB'P!4%.'1AC'P!

Qb@BA @B�CN #w�\�&'

b)R?.@BAC'&D %�� @SA:#&NB- !Q,4NV*&��!4NB� '

QNB'P!4,4�6#&�&NV!4%b2&@V�&- �1AC�"!

-=�\?.50,4N�!7) ACNV'8!4%.'1AT'8!Q2�M�

]^% 2&,�NB'&50NB21AC@^,�?.-��&@V!QAT!bc8�&%:'&� �&-7A _ � '�-U� *�!4%.'8� A _ %05��UA _ %Y� A}� %.,b%.-�!7�&'&%:%XL"2&,�%.-4-�NB� ' -�NB)R2&@B%E#�%@SA+2�,4� *1AT*&NB@VNV!Q?7#w�\� *�!Q%0'&NB,$�&'�%;2 %.,�)+��!QAT!QNV� '

σ#&� '&'&?0%:@V� ,4-W#6�I�&'

b� )R?.@BAC'&D %��

���� ���������������� ������, D &V#/K8,[email protected]@T2 ( WM%�0 .�0��?0*%�N #�@T2 B , ) N .<, D # N*@T2�@A# ) σ, D &��8N % ) b � ( .<, )�' 008N*2

Qb(σ) =

(

m+b−rm

)

bm

#��r = r(σ)

08N*2".�0 ) # KM&V0 B 0N*% @T2E08N�:*&V#�@�N8NM, ) 2 08N B , ) N σO-#�% B 0

, ) @ �*&V0 ( WM%�@T9�,/.�0 ) 2 0 ;� D .R%LN .�0

) # KM&V0 B 0 N*%�@T2 08N B�( :*&V#�@�N8NM, ) 2E08N B , ) N σ−1 Z/[�b@V� ,4-&��% #�� NB- #&NB,�% ) ACNV'8!4%.'1AT'8! 5.% c8�w�I%0-�! @B% '&� )+*&,�% #�%K-4��NV!Q%0- 50,4� NV-4-QAT'8!4%.- #1AC'&- �&'&%K2 %.,�)+��!QAT!QNV� '��

�C%(_CATNB-W_ � ��-b#&NV,4%(5.%0@SA %0'�!4%.,4)R%(#&%$��%0� #&%;5 AT,�!Q%0-.� [ �C!Q,�%K��%.� #�%:5.AC,�!4%.-b%0-�!7) ?0@SAC'�D ?(%0!7#&NB-�� '&-3c6��%_ �C�&-3_C�j� %=7;@SAa-��&NV!4%

4, 5, 1, 8, 7, 2, 3, 6.]^�"5.AC@BNV-4%�7 �C/ 2��&NB-R%.'�21AC,�!QAC'P! #�% � /�� ' _ � N�! < . #�,4� N�!Q% #&% �C/ 2��&NB- H . #&,4�CNV!Q% #&% <"���V��) ACNB-a21AT-[&�^] A 2&,�%.)RN �.,�%+-4��NV!Q%a50,4� NV-4-4AC'P!Q% %.- ! � / <6/=H��o�C%a@SAF,4%X!QNV,4%C/ %0!(� *�!4NB%0'8!

4, 5, 8, 7, 65 @BAF#&%.�"L"N(�.)R%a-4�&N�!Q%

5.,�� NB-�-QAC'P!4%7%0-�!4, 5, 6

5 @BAE!4,4� NV-4N(�.)R%7/ %0! @SAEc8�1AT!4,4N(�.)R%

8� ��IACN1NB50N&#&� '&53[;-4�&N�!Q%.-�50,4� NV-4-QAT'8!4%.-w58� 'R2 %.��!

AC@V� ,4- #�?.)R� 'P!Q,4%0,�@SAU#&%0�"L"N �.)R%$AC-�-4%., !QNV� ' #&�R!'�&?.�C,'�.)R%C/).(-4A _ � NV, c6��%7@V% '&� )+*�,4%W#&%$-4��NV!Q%0-�5.,4�CNB-4-4AC'P!Q%0-#1AC'�-

σ%.- ! /8.a�&'O2&,'�0-./ ?.D AC@B%EAT��'&�C)+*&,4%E#�%;-��&NV!4%.-$#&?05.,4�CNB-4-4AC'P!Q%0-7#1AT'&-

σ−1 ��C%W_ � �&#�,QACNV- ) ACNV'P!Q%.'&AC'P! _ � �&-�#&�C'&'&%.,�c8�&%0@Bc8�&%.- NB'�� � ,4) AT!QNV� '&- 5.� '&50%.,�'1AC'P! @B%W)R?.@SAT'&D % #&%$5.AC,�!4%.-.� �C% '&�C!4% Qb

@SA ) AT!Q,�NB50% #&% !Q,QAT'&-4N�!QNB�C' #&%�@BA 5\�1A � '&% #&% >�AC,��T� _ -��&, @B% D ,�� �&2 %Sm

/ 50� ,4,�%.-`�2 � '&#1AT'8!7AC�O)R?.@SAT'&D % 51ATNB'&-�N Qb(σ, τ)

%.- !b@BA 2�,4� *1AT*&NB@VNV!Q?T/�21AT,�! AT'8!3#&%σ#w�\� *�!Q%0'&NB,

τAC2&,��.-$�&'

b� )R?.@BAC'&D %G���4� ��] A:) AT!4,4NV5.% Qb

%0-�!W@BA:) AT!Q,�NB50%7#&%3!Q,4AC'&-4N�!QNV� ' #w�\�&'&%b5\�1A � '�%U#&%(> AT,��C�`_ -4�&,Sm

/c8�&N %.- !E�&' %0'&-4%0)+*&@B%�.

m!?.@B?0) %0'P!Q-./ #&� '�5 Qb

%.- !E�&'&%:) A !Q,4NV5.%m! × m!

� g ' -QACN�!bc8�&% � %.- !_TAC@V%.�&,$2&,�� 2&,4%(5.AC,75d�I%0-�!7�&'&%;) A !Q,4NV5.%E- !Q�65\�1AC-�!4NBc8�&% 5 %=��*&NB%0'�/1@B%0-W_CAT@B%.��,4-$2&,4�C2&,4%0-7#&% Qb

-�� 'P!1, 1/b, 1/b2, · · · , 1/bm−1 �V���IAC��!Q,�% 21AT,�! / 50%.-:_TAC@V%.�&,�-:2�,4� 2&,�%.-;� 'P! #�%.- ) �&@V!4NB2&@VNB5.N�!Q?0-Uc8�&% @1�I� '-4ACNV!$5.AC@B50�&@B%0,.�

]^%.-W_C%.50!4%.�&,�-b2&,�� 2&,�%.-$#&% Qb'&%;#&?02 %0'&#&%.'P!721AC-$#&%

bg ' A Qb ? Qa = Qab

� J-�\%.- !�� .#� #&NV,4%T/�-4N _ �C�&-3� ACNV!4%.-E�&'a� )R?.@BAC'&D %a-��&NV_6N #w�\�&'

b� ) ?0@SAC'�D %C/ %=�

*&NV%.'�/ 5&�\%.-�! 5.�C) )R% -4N _C� �&-�� ACNB-�NB%=7 #&NB,�%.50!4%.)R%.'P!R�&'ab� ) ?0@SAC'�D %C� J-�I%0-�!Z� AC5.NV@B%J. _ � NV,./ 5.AC, NB@

-��=ACDCNV!^���&-�!4%U#&%b_C� NB, c8�&%U@SA;5.� )R2 � -4N�!QNB�C' #&%x 7→ {ax} %0!W#�%

x 7→ {bx} #&� '�'&%x 7→ {abx} /6%0!#w�IACNV@B@B%0�&,4-W5d�I%0-�!E%0'&5.�C,4% 2�@B�&-75.@SATNB,W-4N _ �C�&-U,4%��1?.5\��NB-4-�%=7+%0' !Q%0,4)R%:#6�INV'8!4%., _CAT@B@B%(?X!QNB,�?C/ 5.�C) )R%W��%

@V%E#&NB-4ACNB-WA _TAC'P! �4 {� � xZ�D�I�^�9�B) Qb

y�~%z��/�Q�9�B)�myR�I�Q������� {#yR� |Zz1y$#�,d~RXB5�y�{ ,�� x%z�� {=z�� |�z�y4#�,#~��Qjy*,&y�x�#�|jz��\z)/� {c)/my�{=z) z. σ =(123 . . .m)

Page 11: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

Z

� _6NB#&%0) )R%.'P! / 5.%a#&%0,4'&NV%.,E2 � NB'P!E%0-�!;5.,��&5.NBAC@ 2 � �&,U@1�=AC'&AC@(�6-4%a#�%a) ?0@SAC'&DC%.-U-��&5.50%.-4-�N(� -0� J AT,E*&NB%0' -�t&,./Q?k

2

#�� '&'1AC'P! @SAE@V� N1AC2&,��.-k� ) ?0@SAC'�D %.-0/ 5&�\%.- ! @BAE);�0) %W5\�&�C-4%3c6��%

Q2k

�e�b� '�53-�N&_ � ��- 50� '&'1ACNV-4-�%=73*&NB%0'@B%0-

a� )R?.@BAC'&D %0-./�_C� �&-35.� '&'&ACNB-�-4%=7E!4� ��! � J-�\%.- !35.,4��5.NSAT@ ����O*�NB%.' /"#&�C'&5C/&-�N _C� �&-W?0!4NB%�7U) �CN /8%0!Wc8�&%U_C� �&-W-4AC5\�&NB%�7U5.%0@SA�/"%=� *&NV%.'�/6_ � ��- _ � �&-W#�NB,4NV%=7T�V���"NV@ #�� NV!

� A _C� NB,E�&'�%a@BNB%0'�/ ��'&%a5.� '�'&%XL"NB�C' %0'8!4,4%a@V%a2&,4� *�@ �.)R%+#&� )R?.@BAC'&D %:#&%.-(5 AT,�!Q%0-./^%X!(@B%+2&,�� *&@(�.)R%.-E#&%0-,4%X!Q%0'6��%.-.�����

9;:�� � AhH HJG�����AhH GQHqCoN G � G K �����hH��G EJGQPFU�0NVCWGQPFGSC ��GQP N GSCWGQHZBJGQP[ � �&- _C� �&- -�� ��_C%.'&%�7C/ #1AT'&- @SA32&,4%0) N(�.,�% 21AT,�!QNV%C/Q���=ATN"AT2&2 %0@B?

C1, . . . , Ck@B%K2�,4�65.%.-�-4�&- #�%.- ,�%0!Q%0'8�&%.-0/

@B�C,4-4c8�&%^���=A`��� ��! ATNB-m� '&� )+*�,4%.-0/T#�% #&?.50NB) AC@B%0-S� %.'+*&AC-4%

b� NV'&#&?02 %0'&#1AC'P!Q%0-.��7�C!4� '&- 50%.- _TAC,�NSAC*�@B%.- -4�C�&-

@SA�� � ,�) %Cb

k

2 � �&, � ACNB,�%(AC2&21AT,QA � !Q,4%E@BAa*1AC-4%T�6� � �&,$#&?05.,4NV,4%;@SAa5.�C'&'&%XL"NV� ' %0'8!4,4%;@B%0-7#&%0�"LO2&,�� *&@ �0) %0-./��% 21AC,�-a#&%

σ0@SA 2 %.,4) ��! AT!4NB� ' NB#&%0'8!4NV!4?F#&%

Sm%X!b��% 5.� '&-�NB#��0,4% #&%0-

b� ) ?0@SAC'�D %.-+-��&5.50%.-�-4N(� - #&%

σ0�

��IAC2&2 %.@B@V%σ1

�&'b� ) ?0@SAC'&DC% #&%

σ0/σ2

�&'b� ) ?0@SAC'&DC% #&%

σ1/ %0!45C/P50%.-

b)R?.@SAT'&D %.- ?X! AC'P! NB'�#&?.2 %.'&#&AC'P!Q-.�

> ACNV'P!Q%.'&AC'P!;��%O'&�C!Q%Db

0 = D(σ0) = 0, Db1 = D(σ1), D

b2 = D(σ2), . . .

@B%0-R_TAC,�NSAC*�@B%.-RAC@V? AT!4� NB,�%.-#&� '�'1AC'P! @B%.-�'&�C)+*&,4%0-�#&%$-4�&N�!Q%.- #&?05.,4�CNB-4-4AC'P!Q%0- #1AT'&-

σ0, σ1, σ2, . . .� [ � NV5.N&��' @VNB%.'�� �C'&#1AC)R%.'P! AT@1%.'P!Q,�%

@B%E2�,4� *&@(�.)R%.-W#&�O)R?.@SAT'&D %U#&%0-75.AC,�!4%.-$%0!350%.@B��N�#&%.-3,4%X!Q%0'6��%.-������ �������� �������G� � OS9/08:�� ,�N # ) 7 %�. , )� ���� Z !$#�%�& 2 #�%�2

n > 10*2 2E#�% 2

b > 2 ;.�08N 9/08:*2E0*%�&8N

(Db1, . . . , D

bn)

0*2(Cb

1, . . . , Cbn)

# ) 2 ��� 0.�#�@PO-#�%�0 ) :8#�&V0 ;.�08N D &8# :808N8N*%LN (Di, i > 1)

0*2(Ci, i > 1)# ) 2 ��� 0 .�#�@�Z/[

7' 5.� ,�� @B@BACNB,�%C/ *�NB%.' -'t&,0/ %.-�!:c8�&% @BAO) AT!4,4NB50%a#&% 7� @�!:#�� '&'&?0% %0' � Hl�U%0-�!:@BNB?0%RAC� 2&,�� *&@(�.)R%a#&�)R?.@SAT'&D %U50� ) )R%E-4��NV!

Pb{i, j} = P (Dbn+1 = j | Db

n = i),� G&�

5&�\%.- !4. #&NV,4%(@SAa-4��NV!Q%(Db

k, k > 0)� #&� '�'1AC'P!b@BAa@BNB- !Q%E#&%0-b@V� '&D �&%0�&,4-$#&%0-7-��&NV!4%.-3#&?.50,4� NV-4-4AC'P!Q%.-7@B� ,�-W#&%

b� )R?.@BAC'&D %0- -4�&505.%.-�-4Nv� -\� %.-�! �&'�%35\�&A � '&%W#�%b>�AC,��T� _ #�� 'P! @BAU) A !Q,4NV5.% #�%$!4,QAC'�-4NV!4NB� '�- %.- ! 50%0!�!Q%$) A !Q,4NV5.%Pb

A}�PAC'P!7�&'&%(-��6)R?0!Q,�NB%E50%.'P!Q,4AC@B%T/1#&� 'P! ���=ACN 21AC,4@V?(AC� #&?.*���! �s @w� Aa�&'&%;c8�&%.- !QNB�C'�'1A !Q�&,�%.@B@V%Uc8�&N^-4%(2 � -4%() ACNB'P!4%.'1AC'P!0�

�Uc8�&%.@^%0-�!3@B%E,4AC2&2 � ,�!3A _C%.5;@B%E)R?.@SAT'&D %U#&%(_6,QACNV%.-W5.AC,�!4%.-�� �] ACNB-�-4%=7 )R� N ,4AC5.� 'P!4%., 5.%0@SA -4� ��-R@BA � � ,4)R% #w�\�&' !Q� �&,a#�%O5.AC,�!4%.-0� [ �CNB5.N / ��% ,�%0!Q�C�&,4'&% . �7NV5.% @SA

-4%0) ATNB'&%(2&,��"5\�1ATNB'&%T� s ) ACD NV'&%=7Ec8�&%W��%;_C� �&-3@SACNV-4-�%;��' ��%.��#&%;5 AC, !Q%.-0/ ) ACNV'8!4%.'1AT'8!./1%0! ��%E_ � �&-7#&� '&'�%�&'&% @V%0!4!4,4%T/ 5.�C'8!4%.'1AT'8!;�&' 2 %0!4NV!E-�5.,4NV2�!�.F%�] %.5X!Q�&%0,:@V� ,4-�c8�&%7��%a-4%0,QACN�. �3NB5.%T�V���ws @ '6� � A #�� '&5a21AC-E#�%!Q,��&5.-0/&_ � ��-7-�%.,4%�7;!4,QAC'�c6��NB@B@V%U5\�&%�7;_C� �&-./12 � �&,$@1�=AC2�2&@BNVc6��%.,./"-QAC'�-3-��&,�_C%.NV@B@SAT'&5.%T�1] AR@V%0!4!4,4%E#&N�!3� ,4%X!QNB,�%.,W@V% ��%.�O#&%(-QA * � � !Q%T� 5.� ��2 %0,3@V% ��%.��/1@V%E) ?0@SAC'�D %.,0� 5.� ��2 %0,3@V% ��%.��/1@V%E) ?0@SAC'�D %.,0� 5.� ��2 %0,3@V% ��%.��/1��'&%3� � NB-0/&#&%.�6L/� � NB-0/&AC��!QAC'P!3c6��%;_C� �&-W_ � ��@B%=7T��C%(-4�&NV-$-'t&,$c8�&%E_ � ��-7'&%(-4A`_C%=7;21AC-$5.%;c8�w�\%.-�!7@SA+5.AC,�!4%(#&��#�%.-4-��&-.�� ,4%0'&%=7;@�.�/"%0!3,QAT2&2 %0@B%�7(_C� �&-$5.%;c8�w�\%.@B@V%U_TAC��! �����V�&%X!3,4%.)R%0!�!Q%�7;@ . AC� ) NV@BNB%0�F#&� 21ACc8�&%X! � 5.� ��2 %0,3%X!3) ?0@SAC'&DC%., �&'�%;#�%.,4'�N �.,�%3� � NB-0�V���&%0!3%0'8_C�j� %=7 ) � N @B% ��%0��#1AT'&-$-QA * � � !Q%U2&AC,$@SA+2 � -�!4%C�

� !7,�%.- !Q%=7(!Q�C��!Q%(@SAa-�� NB,�?.%(5.� '�5.%.'P!4,4?;-4�&,W_ �T!Q,4%;5 AT,�!Q%T�V���12 � �&,$'&%(21AC-$@��\� �&*�@BNB%0,.�� !3c8�&%0@Bc8�&% ��� �&,4-AC2&,��.-0/T��%(_C� �&-3%.'P_ %0,4,4ACN �&'�)R%.-�-QACDC%;#�NB-QAT'8! � 5&�\%.- !7@V%0ka#&%(5 AC,�,4% AT��� ���V�1%X!35&�\?0! ATNV!$@B%0ka#&%(5.AC,4,�% AC�G�

Page 12: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

�`�

�b@V� ,4-;21AC,�@B� '&-;�&' 2 %0� #&%R5.% !4� �&,;2 %0'&#1AC'P! c6��%.@Bc8�&%0-+-4%05.� '�#&%.-D� @B%b��%0� c8�&%(��%R_ � �&- ACN�#&� '&'�??0!QACNV!3AT,4,QAT'&D ?C�u�C%(_C%.�"LO#�NB,4%q�1#�NB-4�C'&-Wc8�&%W��%(@1�=ACN ) ?0@SAC'�D ?C/&2��&NB-Wc8�&%K���IACN^'&�C!4?E-4�&,3�&' 21AC2&NV%.,W@1�I� ,�#&,4%#&%0-;5.AC,�!4%.-0�V���W�b� '&5a#�NB-4�C'&-./�2 � �&,E@1�=AT'1AC@(�6-�%C/ ) ACNV--� A '&%a5\�&AC'&D % ,4NV%.'�/ c8�&% @B%.-b5 AC, !Q%.-(-�� NB%0'8!(50@SAC-�-4?0-%0!�'8�&)R?.,4�T!Q?.%0-�#�%�� .�GC<"�Q���IAC* �C,4#�/$@B%�� ATNV! c8�&% _C� �&-O5.� ��2&NB%�7 '&% 5\�1AC'�D % ,�NB%0'��V���W%.' !Q%0,4)R% #�%2 %.,4) ��! AT!4NB� ' / _ �C�&-OAC2&2&@VNBc8�&%=7 ��'&% 2 %0,4)+�"! AT!4NB� ' 50NB,450�&@SATNB,4%T�V��� %0!O%.' � ACN�! / _C� �&- 2 � ��_ %�7 NB) ACD NB'�%.,c8�&%a_ �C!4,4%7��%0� %0-�!(5��650@BNBc8�&%T/^%0!(c8�&%q�1'1AT@B%.)R%.'P!./ _ �C�&-('&% 5\�1AC'&D %�7 ,4NB%0'��^>�ACNB'P!Q%0'1AC'P! / @B� ,�-4c8�&%a_ � ��-)R?.@SAT'&D %=7T/`@B% ��%0� -4%�!Q,�� ��_C%KA _ �CNB, #&%.�6L -��&NV!4%.- 5.,�� NB-�-QAC'P!Q%0-.���V� c8�&% _ � �&- )R?.@SAT'&D NB%�7 'w�\NB)R2 � , !Q% 50� )R) %0'8!� %0�������V�6%.';� ACNV!./6NV@12 %0��! )Z�.)R%Q� %0' A _ � NV, c8�w�\�&'&%T/�-�N AC� @BNV%.� #�%b)R?.@SAT'&D %.,0/ _ � ��- ) %X!4!4%=73@SA:#�%.�"L"N �0) %)R� NV!4NB? AC� #�%.-4-��&-./ 5.� )R)R% 5d�I%0-�!a2 %.,�) NV-;#&AC'&-+) AO,��.D @V% #�%F) ?0@SAC'�D %j�M� [ � �&- 50� �&2 %=7 %.'&50� ,4%T�V��� 21AT-D ,4A`_C%C���V�8%X! _C� �&- ) ?0@SAC'�D %=7T� [ �C!Q,�%$2&,4%0) N(�.,4%W)R� N�!QNB?KA _CATNV! <E-4�&N�!Q%.-�50,4� NV-4-QAT'8!4%.-0/6%X! @SAE#&%.�6L�N(�.)R%3AC�&-4-�N ��b2�,'�.-K) ?0@SAC'&DC%$_C� �&-WA _C%=7E) ACNB'P!Q%0'1AC'P!KAC�F2&@V�&- [ -4�&N�!Q%.- 5.,�� NB-�-QAC'P!Q%0-.��� ,�� NB- ) ?0@SAC'&DC%.-�_ � �&-K#&� '&'&%0'P!n -��&NV!4%.- 50,4� NV-4-QAT'8!4%.-0�1]^� ,4-�c6��%b_ � ��-W2&,4%0'&%=7U@BA:5.AC,�!4%U#&� #&%0-4-4��-W%0!Wc8�&%b_C� �&-W@BA:)R%0!4!4%=7EAT�F) NV@BNV%.��/l�.A_ �C�&-7#�� '&'&%;�&'&%:Z&�.)R%(-4�&N�!Q%;5.,�� NB-�-QAC'P!Q%T/ #&%E! ACNV@B@B% � �1�b@V� ,4-$c8�w�\%.-�!�� 50% c8�&% ��%0� ATNB-$c8�1AC'&#a��%;,�%=�0� NB-$@B%��%.�O21AC,W@BAa2 � - !Q% �

�C%K2&,�%.'&#�- @SA32&,4%0) N(�.,4% 5 AT,�!Q%T/T#�NB-4�C'&- @V% G6/ ��% @SA$2 � -�%C� � N6@SA7-��&NV_TAC'P!4% 5d�I%0-�! @V% k���% @SA3) %X!Q- #&%.-�-4�&-0/ -4N5&�\%.- ! @B%WZ ��%W5.�C) )R%.'&50%W�&'&%W'&�C��_ %0@B@B%W2�NB@B%T�l�C%W50� 'P!QNB'8�&%T� � N8.U�&' )R� )R%.'P! #&� '�'&? ��%W2&,4%0'&#&-��&'&%W5.AC,�!4%c8�&N %0-�! ����-�!Q% -4�&2 ?.,�NB%.��,4%+#&% �q. �&'&% 2&NB@V%:%ML�NV-�!QAC'P!Q%C/P��%+)R%0!Q-7@SAR5 AC, !Q%+#&%0-4-��&-./�-�NB'&�C'�/P��% 5.� )R) %0'&5.%�&'&%a'�� ��_ %0@B@V%+2&NB@V%C� ] �C,4-4c8�&%+_C� �&-3� ACN�!Q%.-b5.%.@BA�/ _C� �&-E� *"!Q%.'�%=7ZnF2&NB@V%.-U#�%+! ACNV@B@B%;%.'P_6NB,�� ' �&' �8�&NV!4N �0) %#&� ��%.��/ %0!:�&'&% 2&NB@V%a#&% ! ACNV@B@B% � �V��� J-�I%0-�!:_ �C!4,4% 5.AC,�!4% � [ � �&-;2 �C��_ %�7 %.-�-QA}� %0,.���V� %.'�1' / NV@ %.- !+* � ' #�%-=�\%.'P!4,QA � '&%.,$�&'O2 %0� A _TAC'P! /1*�NB%.' -�t&,.���V�

] A3)R� ,QAT@B%C/0*&NB%0'(-'t&,0/`5&�\%.-�! c8�&%�!Q,4�CNB-^)R?.@SAT'&D %.- '&% -�� 'P! 21AC- -4�D�R-4AC'P!Q- 2 � �&,^)R?.@BAC'&D %0,�2&,�� 2&,4%0) %0'P!�&':��%0� #&%U5 AT,�!Q%0-.��b%E@SA;);�0) % � A&�.� ' /&A _ %05E[+) ?0@SAC'�D %.- _ � �&-$A _C%=7a�jk -��&NV!4%.- 50,4� NV-4-4AC'P!Q%.-0/1A _ %05;G"/�H <-4��NV!Q%0- 5.,�� NB-�-QAC'P!4%.-./"� � 2&@V��!��C!./6AC�F2&@V�&-WHP<:-��&NV!4%.- 50,4� NV-4-4AC'P!Q%.-0/�%X!W-4N _ � �&-$� ACNV!4%.-K@V%b5.AC@B50�&@ /P_ �C�&-K_ �j�C%=7c8�&% _ �C�&-�2 %0,4#&%�73��'a5.%., ! ACNV'a2 �C�&,450%.'P! ACDC%3#�%.-�AC,�,QAC'&DC%.)R%.'P!Q- 2 � -4-�NB*&@V%.- #6�I�&'b��%0�R#�%W5 AC, !Q%.-0/ c8�&%W_ � ��-)R?.@SAT'&D NB%�7U'w�\NB)R2 �C,�!Q%b5.� )R) %0'P! �8�C%E_ %0�"LO#&NV,4%C/�c6��%.@B@V%Ec8�&%:-�� NV! @SA+! ACNV@B@V%b#&%0-3#�%.�"LO21AT,�!QNV%.-Wc8�&%(_ � ��-5\�&� NV-4NV-4-4NV%=7T�V���W�b� '&5 GF) ?0@SAC'�D %.-E'&% -�� 'P! 21AT-;-��D�R-QAC'P!4- 2 � �&,E)R?.@SAT'&D %.,E2�,4� 2&,�%.)R%.'P! G <F5 AC, !Q%0-.� ] A#&NV-�! AT'&5.%3A _ %057@BAU@B� N"�&'&N(� �C,4)R% %.- ! !4� � ��� ��,4-�AC��!4� �&,�AC�R)RNB%.�6Lq.(#&NB- ! AC'�5.%$��/IZ�� � N&_C� �&-��0!4%.- NB'P!Q?0,4%0-4-4?0-21AC,b@B% *�,4NB#�D %C/ _ � ��-E2 � �"_ %=7a)R%+2 � -4%0,U#&%0-Ec6��%.-�!4NB� '�-.���V��5.AC,UNV@V� AF�&'&% !4,'�0- ��� @BNV%;NV@B@V�&-�!4,QAT!4NB� 'O#&%+50%c8�&% ��%U_"NV%.'&-$#&%(#&NV,4%(AC�O*&,�NB#&D %T� ���8�

*,*+*,*+*,*,*+*,*+*,*,*+*,*�C%K_6NB%0'&- ���&- !Q% #&%K) � 'P!4,4%., c8�w�INV@ � A _TACNV! �&'&%W50� '&'&%ML�NV� '+%0'8!4,4%W@V% )R?.@BAC'&D % #&%.- 5.AC,�!4%.-0/C%0! @�� �&NB- !Q� NV,4%#&%0- ,�%0!Q%0'8�&%.-0� [ � NV5.N&) ACNB'P!4%.'1AC'P! ) A(50� 'P!Q,�NB*&��!4NB� 'Z.(@��\?0!4�&#&%3#&%7@BAE5.� '&'�%.50!4NB� 'R%.'P!4,4%b@V%.-�#&%0�"LR-4� ��%X!Q-0�[ � NV5.NEc8�&%.@Vc8�&%.- � ACNV!4-.� � �&2�2 � -�� '&-�c6��% @��\� ' A ��� ��!4%

m'&� )+*&,�%.-�AC@B?.AT!Q�CNB,4%0- %.'d*&AC-4%

b/7@BA _CAT@B%.��,

)R�m�C%.'&'�%:#&%(@BA+,4%0!4%.'8�&%;#1AC'&-$@BAk �����

5.�C@B� '&'�%E%.-�!

E(Ck) =m − 1

2(1 − b−k),

2 � �&,k = 0, 1, 2, . . .

,QAT2&2 %0@B� '�- c8�&% @1�I� '�A 2 �C-4?C0 = 0

/K2&AC, 50� 'P_ %.'P!4NB� '��K]��=AC-��6) 2�!4�C!QNVc8�&% #&% @SA _TAC@V%.�&, #&% @BAk ����,4%X!Q%0'6��%C/�@B� ,�-4c8�&%

k → +∞ %0-�! #&� '&5OACNV-4?.%T/ � A #&� '�'&%(m − 1)/2

� JK%.@SA #&�C'&'&%OAC�&-�-4N$@B% '&�C)+*&,4%)R�m�C%.'O#&%(,4%X!Q%.'8�&%0-b#1AT'&-$@B%.-

k2&,�%.)RN �0,4%.-W50� @B�C'&'&%.-0�

m − 1

2

(

k − 1

b − 1(1 − b−k)

)

.

JK%0!�!Q%3� � ,�)+�&@B%7%.- !$� *�!Q%0'8�&%(21AC,W-4�C) ) AT!QNV� ' #�%E@SA+2&,�?.5.?0#&%.'P!4%C� g ' 2 %0��!3AC�&-�-4N^5 AT@B5.��@B%.,K@SA:_TAC,�NSAC'&50%C�s @� A(AC��-4-4N1��'R!'�&?.� ,��.)R%W#&%W@SAU@VNB)RNV!4% 50%.'P!Q,4AC@B%T/Pc6��N1#&NV! c8�&%$@V%.- �1�&5X!Q�1A !QNB�C'&- #&�R'&� )+*&,�%W#&%$,4%X!Q%.'8�&%0-

5 {� � xF�#~$� �Bjx�y�~�~%y�x ) x�y$� z�y4#Sy�{=zHU��K� ��x�� z1y�|#x��=|')l{�� y'~�zH,���~wx1y$" y�{=|-~%|#xH�`y`z1z1yJ)/�9� |#~%z1x��\z�)9��{�A9A/A

Page 13: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

�C�

-4��NV!7@SA @V� N (AC�&-4-�NB%0'&'&%C� g ' _ �CNV!7c6��%+@SAk ����

,4%X!Q%0'6��%aA 2 � �&,3) �j� %0'&'&% m−12

(1 − b−k)%X!Uc8�&%+2 %0!4NV!

.a2 %X!QN�!$@B%E5.�C) 2 � ,�!4%.)R%.'P!$#&%0-3,�%0!4%.'8�&%.-7-=�IAC2&2&,��"5\��%;#6�I�&'�5.� )R2 � ,�!4%.)R%.'P!W-�!QAT!QNV� '&'1ATNB,4%T�s @6� A+%.'D� ACN�! �&' 50� 'P!Q, �C@B%b!4,'�.-W2�,4?.50NB- #�%E@SA:_6NV!4%.-�-4%E#&%U50� 'P_ %0,4D %0'&5.%(_ %0,4-W@SA:@B� N -�!QAT!QNV� '&'1ACNV,4%7c6��%

@��\� ' 2 %.��!W!4,QAC#&��NB,4%E2&AC,0�@B%b2&,4�65.%0-4-4��-b#&%0-3,�%0!4%.'8�&%.-7%.- !72�,4�65\�&%(#&%(@SAa@B� N -�!QAT!QNV� '&'1ACNV,4%EAT2&,'�0-

k = logb(m)21AC-.�

� @B�&-$2&,�?.5.NV-4?0) %0'8!./1� 'O2 %0��!32&,4� �"_ %.,$c8�&%

1

2

m−1∑

j=0

P (Ck = j) −

mj

m!

61

2

e1/c2 − 1 ∼ 1

2c

�1kl�

2 � �&,k = Vlogb(cm)W

� JK%05.N #&� '�'&%(�&'�50� 'P!Q, � @B%U!4,'�.-$2&,�?.50NB-$#&%(5.%X!4!Q%(_6NV!4%.-4-�%(#&%(5.� 'P_ %0,4D %0'&5.%T�� � ��,K'&�C!4,4%$5.�C'8!4,4NV*&��!QNV� ' AC� @VNB%.' %0'8!4,4%7@��\?0!Q��#&%7#�%.- ,4%0!4%.'8�&%0- %0! 5.%0@B�&N #&� ) ?0@SAC'&DC%W#&%.- 5 AC, !Q%.-0/"�C'

2 %.��! A ��� ��!4%., %0'&5.� ,�%Uc8�&%.@Vc8�&%.-W)R�C!Q-0� g 'FA:_6� c6�6�INV@ � AC@V@SACN�!�) ?0@SAC'�D %., 32log2 m

� � NV- �&' 2&ACc8�&%0!W#�%m5 AT,�!Q%0-E2 �C�&,U@B%:) ?0@SAC'�D %., � 5.�C,4,4%050!4%.)R%.'P! �Q� g ' 2 %0��!E-�%a#&%.) AC'&#&%0,Uc8�&%+_TAC@B%0'P!E5.%0,�! ATNB'&%0-U5 AC,4AC50!4?.,�NB-��

!QNVc8�&%.-$#&�+��%.�O#&%(5 AC, !Q%0- . 5.%()R� )R%.'P!$@�.�/"� �O2&@B��! �C!W50� )+*&NV%.'/� AC��!�� NB@ #&%(!Q%.)R2&-W2 � �&,$c8�&%(5.%0,�! ATNB'&%0-5 AT,QAC5X!Q?.,�NB- !QNBc8�&%0-K,�%.-4-�%.)+*�@B%.'P!Q.:5.%.@V@B%3#w�\�&':��%.�F-�� �&- @BA:@V� N �&'&N(� �C,4)R%C�8�bNV'&-4N /6�C' 2 %.��!W)R� 'P!Q,�%., c8�&%U@B%'&� ) *&,4%$#&%$#&%0-45.%0'P!Q%.- � AE@SAE* � '&'&%$#&NV-�!4,4NB*���!QNV� '��KAC2&,��.-

logb m) ?0@SAC'&DC%.-./Cc6��%3@BAE@B� '&DC�&%.�&, #�%3@BAE2&@B�&-

D ,4AC'&#&%7-4�&N�!Q%U50,4� NV-4-QAT'8!4%UA+@BA:* � '&'&%7#&NB- !Q,4NV*&��!4NB� ' AC2&,��.- 56log2 m

5"-4N �C'F-=�\NB'P!Q?0,4%0-4-4%E) ACNV'8!4%.'1AT'8!S. @SA-�!4,4�&5X!Q�&,�% #&% 5��65.@V%a#&% @SA 2 %.,�)+��! A !QNB�C'

(a1(σ), a2(σ), . . . , am(σ))#&� '�'1AC'P!(@B%+'�� )+*&,�%a#&% 5��65.@V%a#&%

@B�C'&D �&%0�&,7�C/�<6/ ���V��/m/"%��F*&NB%0'�/6'w�INV) 2 � , !Q%$c8�w�I%0@B@V%7-��&NV!4%

km#&%b)R?.@BAC'&D %T/

km → ∞ A`_C%.5m

50� 'P_6NB%.'P!3�21AC, %XL"%.)R2&@V%C/�-�N _C� �&-W2&,�%.'&%�7E�&'FD ,4AC'&#;��%0� #&%U5.AC,�!4%.-./6_ � ��- @B%7) ?0@SAC'&DC%=7

log log log m� �CNB-./8%X! _ �C!4,4%

��%.� A�/ %.' 5.% c8�&NW5.�C'&5.%0,4'&% @SA #�NB-�!4,4NV*&��!QNV� ' #�%O-�%.- @B�C'&D �&%0�&,4-a#&% 5 �65.@B%T/ @SA * � '&'&% #�NB-�!4,4NV*&��!QNV� ' � NB@-=�IACD N�!b*�NB%.' -'t&,0/ #w�\�&'&%+2�,4� 2&,�NB?X!Q?+AT-��6) 2"!Q�C!4NBc8�&%j�M�6� '�� ACN�! / 2 � �&,3#&%.-E,4ACNB-�� '&-3-4NB)R2&@V%.-./ -4N _ �C�&-U_ � ��-NB'P!4?.,4%0-4-�%=7:���&- !Q%D.�@SA @B� '&DC�&%.�&,;#&� 2&@V�&-;D ,QAC'�# 5��65.@V%C/ %.@V@B% A�@SAO* �C'&'&% #�NB-�!4,4NV*&��!QNV� ' AC2&,'�0-+�&' -�%.�&@)R?.@SAT'&D %C� ���IAC��!4,4%+c8�&%0-�!4NB� '�/ 21AC,7%XL"%.)R2&@B%T/ 50� )+*&NV%.' #�% !Q%0) 2&- � AC��!bNB@ 2 �C�&,bc8�&%a@1�=AC-3#&%+2�NBc8�&% -�� NV!*&NV%.' )R?.@BAC'&D ?;� ACNV!3�&'&%:@B� N �&'�N(� � ,�) %(#1AC'�-b@B%;21ACc8�&%X! �M/ 2 � �&,3) ?0@SAC'�D %.,$@B%0-75.AC,�!4%.-7,4� �&DC%.-b%X!U'&�CNB,4%0-./%0!45 �����O*&NB%0'�NV@p� AC��!3)R?.@BAC'&D %0,

log2 m� � NB-K@B%E21ACc8�&%X! �

9;:�� � ��GQH/P ����GQU ��� U AhKML ��H �0CWA � N G � � � � LJN ���ZBJGg 'aA721AT,4@B?�#&%0- @BNV%.'&- %0'8!4,4% @1�I?X!Q�&#�% #&%0- ,�%0!Q%0'8�&%.- %X! 50%.@B��N"#&�:2&,4�C*&@ �0) % #&� )R?.@BAC'&D %�#&%0- 5 AT,�!Q%0-.�T] A

5\�&� -�% c8�&% ��% _C%.�"L0� ACNV,4% ) ACNV'8!4%.'1AT'8!�%0! #&%�21AC,�@B%., #&%�5.� )+*�NB'1AT!4� NB,�% AC@VD ?.*�,4NBc8�&% 5.5&�\%.- ! @V% #&� ) ACNV'&% #1AC'�-@B%0c8�&%.@"� '+!Q,�� ��_ %0,QAU@V%.- � �"!QNB@V- '�?.5.%0-4-4ACNB,�%.- 2 � �&,O� ATNB,4% @B%0- 5 AC@V5.�&@V-.� [ � NB50N8#&� '&5W�&'a2 %.�a#�% 5.� ) *&NB'1A !Q� NV,4%AC@VD ?.*&,�NBc8�&%T/&� ' _TAR21AT,4@B%0, #&%3� � '&5X!QNV� '&-W#&% � 5\�8�&,0�

���� � �$%.2�,4?.-�%.'P! A !QNB�C'&-$#w�I��'&%:2&AC,�!4NV!QNV� 'F#&% �jk7'&%R21AC, !QN�!QNB�C'

λ#&%

n%0-�!;�&'&%R@BNV-�!Q%a#�?.5.,�� NB-�-QAC'P!4% #w�\%.'P!4NB%.,�-:- !Q,�NB50!4%.)R%.'P!;2 �C-4NV!4N(� -E#&% -�� ) )R%

n�

g ' ,�%.2&,�?.-�%.'P!Q%U��'&%W!Q%.@V@B%W21AT,�!QN�!QNV� 'λ-4� �"_ %.'P!K21AC,��&' %0'&-4%0)+*&@V%3#�%72 � NB'P!4- �C� �&'R%.'�-4%.) *&@B%3#&%$5 AC-�%.-0/

Page 14: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

� <

5.�C) )R%K-��&, @SA4� NBD �&,�%U��5C�C'R'��C!Q%λ ` n

� � �&, @B% #&%.-�-4NB' /P� ' AU@SAb2&AC,�!4NV!QNV� 'J� G"/\[&/=H"/=H�/��m� %X! � ' '&�C!4% #&� '�5(5, 4, 3, 3, 1) ` 16

� ]^%+#&%.-�-4NV' 5.� '&- !QN�!Q�&?+#�% 5 AT-4%.-E%X!E,4%02&,4?0-4%0'8!QAC'P!(@SAR21AC,�!4NV!4NB� 'O%.- !(AC2&2 %.@V?:! AT*&@B%.AC��/� � #&NBACD ,QAT) )R%b#&%��1%.,�,4%0,.�

7' !QAC*&@B%.AC� #&% � � �&'&D - ! AC'&#&AC,4# #&%h� � ,4)R%λ/ 2&AC,�!4NV!QNV� 'O#&%

n/ %.- !(@SA #�� '&'&?0%a#w�I��' ,4%.)R2&@VNB-4-4ACD %

#&%0-75.AC-4%0-3#��O!QAC*&@B%.AC�"Lλ21AC, !Q�C�&-$@B%.-$%0'8!4NB%0,4-$#&% ��.

n/&!Q%0@^c6��%Z�

-4�&,$5\�1ATc6��%:@VNBD '&%q� #&%(DPAC��5\�&%�.a#&,�� NV!4%j�K@V%.-W%.'P!4NB%.,�-$5.,4�CNB-4-�%.'P! / -4�&,$5\�1ATc6��%:50� @B� '�'&%;� #&%0�1AC�"!$%.'O*1AC-\� @V%.-W%.'P!4NB%.,�-750,4� NV-4-�%.'P! �� 'O_C� NB50N^�&' %XL"%.)R2&@V%;-��&,$@SA��1DC�&,4%:<"�1]^%('&� ) *&,4%(#&%E! AT*&@B%.AC�"L #�%P� �C�&'&D -�!QAC'&#1AC,�#�#�%0� �C,4)R%

λ%.- !

1 2 3 5 84 7 10 136 9 1411151612

���� < � L"%.)R2&@B%(#&%E! AT*&@B%.AC� #&% � � �&'&D -�!QAC'&#1AT,4#'&�C!4?

f(λ)�

�C%:#�� NB-$AC��-4-4N NV'8!4,4�6#&�&NV,4%E@SAa'&�T!QNB�C'O#�%(!QAC*&@V% AC�O#&% � � �&'&DR-4%0) N � - ! AC'&#&AC,4#35&@BAa#&N(] ?.,�%.'&50%:%0-�!7c6��%5.%X!4!4%�� � NV-./ #&AC'&- @B% ,4%0) 2�@BNB-�-QACDC% � ' AT��!Q� ,�NB-�% @B%.- ,�?.2 ?0!QN�!QNV� '&-^#&% '&� )+*�,4%.-65 @V%.- 5.�C'&#&NV!4NB� '�-^#&%�5.,4�CNB-4-4AC'&50%-4��,3@V%.-$@BNVD '&%0- %0!35.�C@B� '&'�%.-W5\�1AC'�D %.'P!bAC�&-4-�N�� -4�&,$5\�1ATc6��%:@VNBD '&%q� #&%(DPAC��5\�&%�.a#&,�� NV!4%j�K@V%.-W%.'P!4NB%.,�-$5.,4�CNB-4-�%.'P!bAC� -4%.'�-7@BAC,4D %T/ -4�&,$5\�1ATc6��%:50� @B� '�'&%;� #&%0�1AC�"!$%.'O*1AC-\� @V%.-W%.'P!4NB%.,�-750,4� NV-4-�%.'P!3-�!Q,�NB5X!Q%.)R%.'P!.�� AT,3%ML"%.)R2&@B%T/&@B%0-$!QAC*&@V% AC�"LF-4%0) N � -�!QAC'&#1AT,4#&-$AC-�-4�65.NV?.- .a@SAa21AC, !QNV!4NB� '

λ = (2, 1)-�� 'P!

1 12

1 13

1 22

1 23

1 32

1 33

2 23

2 33 .

g 'RA;@V% #&,4�CNV!�c8�w�IAC�"L '&�C)+*&,4%0-$� / <6/=H�/C5.%$c8�&N1DPAC,4AC'P!QNV! @SA4�1'&N�!Q�&#&%W#�� '&�C)+*&,4%W#�%.-�! AC*&@V% AC�6La#&% � � ,�) %#&� '�'&?.%T� g ' '&�C!4%

TY SS(λ)@��\%.'&-�%.)+*&@V%E#&%.-W!QAC*&@B%.AC�"L #�%P� �C�&'&D -4%0) N � -�!QAC'&#1AT,4#&-W#&%3� � ,�) %

λ�

[ � NB50N�) ACNB'P!Q%0'1AC'P!$@SA+#�?��1'&N�!QNV� ' #&��2 � @v�"' � ) %q� � �J� � '&5X!QNV� '8�K#&% � 5\�8�&,sλ

sλ(x1, . . . , xn) =∑

T∈TY SS(λ)

xT

���xT =

∏ni=1 xTi

i

/ ���Ti

%0-�!E@V%:'�� )+*&,�% #&%�� � NB-3��� @V%:'&�C)+*&,4%iAC2�21AC,QA � !3#1AC'&-b@B%(! AC*&@V% AC�

T5 21AC,

%XL"%0) 2&@V%C/1%0'���!4NB@VNB-QAT'8!K@SAa@BNV-�!4%U#&� '&'�?.%;2&@B�&- �&AC��! /1�C'O�C*�!QNV%.'P!

s2,1(x1, x2, x3) = x21x2 + x2

1x3 + x1x22 + 2x1x2x3 + x1x

23 + x2

2x3 + x2x23.

� '�� ACN�! /"@B%.-32 � @(�6' � )R%.-W#�% � 5\�8�&,3-4�C'8!7#&%0-72 � @(�6' �C) %0-W-��6) ?X!Q,�NBc8�&%.-�� 50%:c8�&N 'w�IAC2&2&AC,QA � !$21AC-35.@BACNB,�% �)R%.'P!(#1AC'&-E@V%.�&,b#&?��1'�NV!QNV� '8�M��]��I%0'&-4%0)+*&@V%a#&%.-E2 � @(�6' �C) %0-EAC-4-��"50NB?0-(AC�"L 2&AC,�!4NV!QNV� '&-7#&%

n� � ,4)R%+�&'�%

*1AC-�% #&% @��\%.'&-�%.)+*&@V% #&%.-(2 � @(�6' � )R%.-E-��6) ?X!Q,4NVc8�&%.-(-4��,n_TAC,�NSAC*&@V%.-0�ws @ � A * %.AC�&50� �&2 #w�I%0'&#&,�� NV!4-;��

@B%0-:2 � @v�"' � ) %0-E#&% � 5\�6��,$��� �&%0'P! �&' , � @V% %.' ) AT!'�&?.) AT!QNVc8�&%.-0/^%.' 50� )+*&NV'1AT!4� NB,�%C/ %0' !2��?.� ,�NB% #&%R,4% �2&,�?.-4%0'P! AT!4NB� ' #�%.-bDC,4� �&2 %.-0/ #&AC'&-3@��\?0!Q��#&% #&%0-b2 � @(�6' �C) %0-7-��")R?0!4,4NVc6��%.-./ *&NV%.' -�t&,.� s @ -=�IA _)�.,�%C/�%X!b50%.@BA2 %.��!E2&AC,QA � !Q,�%:?X!Q� '&'&AC'P!E-4N � ' '&%+@1�=A 21AC-7_6� A _TAC'P! / c6��%a@B%.-72 �C@(�6' � )R%.-3#&% � 5\�8�&,E�C'8!EAC�&-4-�N . _C� NB,A _ %05:@V%E2&,4�65.%0-4-4��-7#&%0-7,�%0!4%.'8�&%.-3%0!3@V%E) ?0@SAC'&DC%U#&%.-35 AT,�!Q%0-.�

[ � NB50N ��' � ACNV! -�! AT'&#1AC,�#�/ c8�&%;��% _CATNB- NV@B@V�&-�!4,4%.,;-4��,+�&' %XL"%0) 2&@V%F%0!+c6��NK-=�IAC2&2 %.@V@B% @SA 50� ,4,�%.-42 � '��#1AC'�5.%E#&% � 5\��%.'&- !Q%.# �p� @V@B%UAT-4-4�65.NV%3. !Q�C��!Q%E2 %.,�)+��! A !QNB�C'

σ#&%

Sn��'O50� �&2&@V%U#&%U!QAC*&@B%.AC�"L #&%S� � �&'�D

Page 15: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

� H

-�!QAC'&#1AT,4#�/1#&%E)Z�.)R%4� � ,�) %�� AC-4-��"50NB?0.a@SA+)Z�.)R%U21AT,�!QN�!QNV� '8� %X!$5.%T/1#&%() AC'�N �.,�%U*&N ��%.50!4NV_C%C� g ' _TAa_C� NB,5.%0@SAa-4��,3��'�%ML�%0) 2�@B%C� �C%(2&,�%.'&#�-3@BAa2 %0,4)+��!QAT!QNV� '

σ = (976851432).

�C%F_TACNB- #w�=AT* � ,�# 5.� '�-�!Q,��&NB,�% 5.% c8�w�\� ' AC2&2 %.@V@B%F@V% ! AC*�@B% AT�P(σ)

� [ �j� %=7/�.A 5.� )R) % @��IAC,4,4AC'&D %0) %0'8!#w�\�&':��%.� #�%U5 AC, !Q%0-./�'8�&)R?.,��C!Q?0%.-W#&% �3.+Z���> ACNV'8!4%.'1AT'8! � ' _TA3��� �&%0,S. �&'�%E-4� , !Q%b#�% ��%.� #&%b-4� @VNV! ATNB,4%T��C%;,4%0!4� �&,�'&%:@V%.-$5 AT,�!Q%0-7��'&%�.R�&'&%T�p� !3@B%0-7,��.D @V%.-$-4�C'8!7@B%0-$-4�&N�_CAT'8!4%.-��C��%(_TACNV- � AC*&,4NVc8�&%.,$#&%0-b2&NV@B%.-W#�%5 AT,�!Q%0-.���C%U2 %0�"L ) %X!4!Q,�%U�&'&%b2 %X!QNV!4%b5.AC,�!4%b-4��, �&'&%UDC,4� -�-4%C/��&' G -4��, �&' �`� /�21AC, %XL"%.)R2&@V%C�1>�ACNB- -4N8��%,4%X!Q� ��,4'&%7�&'&%b5.AC,�!4%7c8�&N %.- ! 2&@V�&- D ,4� -�-4%7c6��%7!Q�C��!Q%0-K@B%0- 5.AC,�!4%.- #&�F#&%0-4-4��-./ ��%3#&� NV- 50,4?0%.,K��'&%b'&�C��_ %0@B@B%2&NV@B%C�

���IAC* �C,4#�/T��%()R%0!Q-W@V%(Z�/u� Aa#&�C'&'&%9

2&�&NV- ��%() %X!Q-$@B%�r+-4��,3@V%(Zq� A #&� '&'&%79 ,

2&�&NV- ��%() %X!Q-$@B%0ka-4��,3@V%�r�� A #&� '&'&%679 .

]^%�nRAT,4,4N�_ %T/&� 'O#&� NV! 5.,4?0%.,3�&'&%('&� �"_ %.@V@B%E2&NV@B%q�&�C'�'&%(2 %.��!$2&AC-$@B%E)R%0!4!4,4%(-4��,3@V%0k�/��.AR#&�C'&'&%

6 879

> ACNV'P!Q%.'&AC'P! /6@B%7G 5"@1�I�C*6��%0! #&�(��%0�F%.- ! #&%75.,�?.%., @B%3) �CNB'&-�#&%72&NB@V%32 � -�-4NB*�@B%C�es @ %.- ! � AC50NB@V%3#�%7_ �CNB, c6��%b@SA-�!4,QAT!4?.D NV%(� 2�!QNV) AT@B%U%0-�!U#�%:)R%0!�!Q,4%(@BAR5.AC,�!4%:-��&,7@BAR2�NB@B%E@BAa2&@B�&- . DPAC�&5\�&%:2 �C-4-4NV*&@B%T�8�b� '&5T/ �C'�@V%;)R%0!-4��,3@V%0k�/��.AR#&�C'&'&%

5 8679

g '�#�NV!Wc8�&%;@B%;G+2 � �&-4-�%:@V%0kac6��N^2 � ��-4-4%;@B%�r6/&2&�&NV-W@B%(Z��8� '&-��&NV!4%C/1@B%a�C� g ' A

1 85679 ,

2&�&NV-W@B%E[1 45 8679 .

Page 16: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

� [

> ACNV'P!Q%.'&AC'P! /1-4N^�C'/� ATNV!$21AC,�%.NV@�A _ %05:@V%(H�/1� ' _TA A _ �CNB,1 35 46 879

JK%('w�\%.-�!721AC-W50%:c8�w�\� ' _ %0��!��1� ' _ %.�"!bc8�&%(5.%(-�� NV!$50,4� NV-4-QAT'8!3-��&,$@B%.-W@VNBD '�%.-0� 5&�\%.-�!7�&'&%(,��.D @V%E-4�&2&2�@B? �)R%.'P! ACNV,4%}�X� ] A ,'�.DC@B% DC?.'&?0,QAC@V%+%.- !E#&� '&5a@BA -��&NV_TAC'P!Q%�� �&'&% 5 AC, !Q%aAC,�,4N�_CAT'8!b-4�&,b�&'&%a@BNVD '&%;��� %0@B@B%:%.- !@SAF2�@B�&-(D ,4AC'&#&% -4% )R%0!E!4� ��!�. #&,4� N�!Q%T� � N %.@V@B%+'6�I%0-�!:21AC-(@SAF2&@V�&-ED ,4AC'&#&%T/^%.@B@V%a2&,4%0'&# @SA 2&@SAT5.%a#&% @SA5 AT,�!Q%;@SA 2&@V�&-72 %0!4NV!4%:c8�&N @B�&N^-�� NV!3-��&2 ?0,4NV%.�&,�%C� JK%0!4!4% 5.AC,�!4% %.- !b%0'P_ �j� ?0%R-��&,3@SA @BNBDC'&%(%.' #�%.-4-�� �&-0�V��� %X!� A ,4%05.� )R)R%.'&50%E%.'O#&%.-�-4� �&-0/P����-4c8�w�IAC��)R� )R%.'P!$��� !Q�C��!3@B%E)R� '&#&%(A+!Q,�� ��_C?:�&'�%;2�@SAC50%C� ���8� �

�b� '&5T/ NV5.N /1@BA 5.AC,�!4% [FAT,4,4N�_TAC'P!b%0' #&%.�6L�N(�.)R% @VNBD '&%(2&,�%.'&# @BAR2�@SAC50% #&� G6/ %X!U@1�I? ��%.50!4% -��&,U@SA @BNVD '&%-4��NV_TAC'P!Q%T� J AR#&�C'&'&%3�1'1AC@V%.)R%.'P!

1 34 85679

2&�&NV-W@B%;< AC,4,�NV_C%C/&2 � �&-�-4%;@B%(Hac8�&N^#&� N�!$2&,4%0'&#&,4%(@BA 2�@SAC50%E#&��[�/&%0! � Aa#&�C'&'&%

P(σ) =

1 23 845679

� @V%;<+2 � ��-4-4%;@B%(Hac8�&N^#&�CNV!$? ��%050!4%.,$@B%E[&/150%.@V�&N�5.N^%0'�)R� 'P! AT'8!$2 � �&-�-4%;@B%;G"/�c6��N^2 � ��-4-4%;@B%0k"�V��� �M�]^% #&%0�"L"N �.)R%(! AC*&@V% AC� AC-4-��"50NB?h. @BAR2 %.,�)+��! A !QNB�C'�/1%.- !U�&'&%:-4� , !Q%;#&%:!QAC*&@V% AC��#&%D�U,�?.-4%0,�_TAT!4NB� 'Z� �

J-�\%.-�!U�&'�!QAC*&@B%.AC��/ '&� )R)R?Q(σ)

/ c6��N D ,�� -4-�NV!3%.' )Z�.)R%(!Q%.)R2&-3c8�&%P(σ)

/ #&% @BAR)Z�.)R%;) AC'�N �.,�%;�1.5\�1ACc8�&%;NB'�-�! AT'8!3NV@�A @SA+)Z�.)R%4� � ,4)R%j�M/�%0!3c8�&N %.- !3,4%.)R2&@VN 21AC,$@V%.-W'&� ) *&,4%0-3#�%R�h. Z�/&#&%(-�� ,�!4%;c8�&%;@SA5 AT-4%;A ��� ��!4?.%;AC� !Q%0) 2&-

i/15.� 'P!QNV%.'&'�%;@V%E'&� )+*�,4%

i�

s 5.No�.AR#�� '&'&%0� A/�

12��&NB- 1

22&�&NV- 1

23

2&�&NB- 1 423%0!Q�1'&AC@B%0) %0'8!

Q(σ) :=

1 42 735689

.

6 {� � xT�3�`y�z%z�yT�8��{#~%z1x�|�� z�)9��{Q~4� �1,',&y4�/� yH� y ��y�|YmyWz��B�=|') { y�{W�8�B#&%') {�� z��) x�y��1"��B) xTb ]�f2,2� |mxp|m{Y��,dy�x���|YjyH�K� )/#�,+��x%z�� {���yjyF��y`z%z�yF�8��{#~�z�x1|+� z)/� { y�{G�8�B#&%') {�� z��) x�y-���9VB.4%mx�)/�=|my

Page 17: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

�`G

�bNV'&-4N /15.%X!4!Q%;5.�C'&-�!4,4�&5X!QNB�C' AC-�-4�65.NB%h. 5\�1ACc8�&%+2 %.,�)+��! A !QNB�C'O��'&% 21ATNB,4%(P(σ),Q(σ))

#&%;! AC*&@V% AC�6L #&%� � �&'�D7- ! AC'&#&AC,4#:#&% )Z�.)R% � � ,�) % 5`%X! 50%.@BA$%0-�! �&'&% *&N ��%050!QNV� '�� � N _ � �&- ) %�#&�C'&'&%=7 �&'&% 21ACNV,4%

(P,Q)#&%

! AT*&@B%.AC�"L #&% � � �&'&DE- ! AC'�#1AC,4#a#�%W);�0) %�� � ,4)R%C/TAC@B�C,4- NV@"%ML�NV-�!4%W�&'&%W-4%0�&@B%K2 %0,4)+��!QAT!QNV� 'σ/Tc8�&N&2 %.,4)R%0!

#&%O@B%0-�� AT*&,4NVc6��%., 21AC, 5.%X!4!4%�)R?0!'�&�"#�%C/�5&�\%.- !��`.m� #&NV,4% 2 � �&, @SACc8�&%0@B@V%(P(σ),Q(σ)) = (P,Q)

��]��\�&'&%#&%0-(!4,'�0-;'�� )+*&,�%.�&-�%.-;5.� '&-�?.c8�&%0'&5.%0-+#&% 5.%X!4!Q% *&N ��%.5X!QNB�C'�/ %0-�!;�&'&%�� � ,4) �&@B%+@VNB?0%aAC�"L ,�%.2&,�?.-�%.'P! AT!4NB� '�-NB,�,4?0#&�&50!4NB*&@V%.-W#&� D ,�� �&2 %(#&%.-$2 %.,4) ��! AT!4NB� '�-./&c8�&N^#&N�!$c8�&%

λ:λ`n

f(λ)2 = n!��r&�

���f(λ)

%.- !$@B%U'&�C)+*&,4%b#&%U! AC*�@B% AT�"LF#�% � � �&'&Da#�%4� � ,4)R%λ/�@SA:-4� )R) %72 �C,�! AT'8! -4�&,W@V%.- 21AT,�!QN�!QNV� '&-

λ#&%n� ] A 5.�C,4,4%0-42 � '&#1AT'&5.%:#&% � 5\��%.'&- !Q%.# AR#&%;!4,'�0-b'&� ) *&,4%0�&-4%0-U2&,4�C2&,4NV?0!Q?0-7) ACD NVc8�&%.-w5 -�N _C� �&-4�X!Q%0-

5.�C)+*&NB'&AT!Q� ,�NB- !Q%C/ �&' -42 ?.50NSAC@VNB-�!4%F#&% 5.�C)+*&NB'&AT!Q� NV,4% AC@BD ?0*&,4NVc8�&%C/ _ � �&-R-QA _C%=7O%.' 21AC, !QNB50�&@BNV%.,:@SA 5\�&� -�%-4��NV_TAC'P!Q%T� 3'&% 2 %.,�)+��! A !QNB�C' AO�&'&% #�%.-450%.'P!Q% %0'

i/ -�N

σ(i + 1) < σ(i)� '��C!QNV� ' #�? �'.O_6�&% #1AC'&-:@SA

� %050!QNV� 'O���IHl�X�u�bAC'&-3@SA+2 %.,4) ��! AT!4NB� ' -��&NV_TAC'P!4%C/T���IACN�-4�C�&@BNVD '&?E@�.+���NV@p� A _TACNV!$#�%.-$#&%.-�5.%0'8!4%.-��Z r

6n G

1[ H

2.

�C%3#&NB- ) ATNB'P!Q%0'1AC'P! c6�6�I�&' ! AC*&@V% AC�R#&%$� � �&'&D A;�&'�%b#&%0-45.%0'P!Q%U%0'i-�N @V%$'&� )+*&,�%

i+1-�%3!4,4� ��_C%b#1AT'&-

�&'&%R@BNVD '&%a2&@V�&-;*1AC-4-�% c8�&%i� [ � NV5.N�A _ %05 �&'&% ?0!4� NB@V%a@B%.-(#&%0-450%.'P!Q%0-a%.' @V%.-;'&� )+*�,4%.-;5.�C'&5.%0,4'&?0- #1AC'�-

Q(σ)/

Q(σ) :=

1? 4?

2? 7?

35?

68?

9 .7'�%E#&%.-$2&,�� 2&,4NV?0!4?.-W#&%E@BA *&N ��%050!4NB� ' #&% � 5\�&%.'&- !Q%0# %.- !$c8�&%(@B%U'&�C)+*&,4%E#�%E#&%.-�5.%.'P!4%.-b#&AC'&-W@SA:2 %0,4)+���! A !QNB�C'

σ%X!$#1AC'&-3@B%U!QAC*&@B%.AC�

Q(σ)-4� 'P!3?.D AC@B%0-3�

D(σ) = #{ #&%0-45.%0'P!Q%.-b#&% Q(σ)}. �%nl�7'�% AC��!4,4% 50� '&-�?.c8�&%.'�5.%C/K) � NV'&-�� AC) NV@BN(�.,4%T/ ) ACNB- 2&,�?.-4%0'P!Q% #1AC'�-F@SA @BN�!4!Q?0,QAT!4�&,4%T/�@BNB% @BA !2��?.� ,�NB%O#&�)R?.@SAT'&D %+#&%0-:5.AC,�!4%.-h. @SAF!2�&?0� ,4NV%a#&%.-0� � '&5X!QNV� '&-E-��6)R?0!4,4NBc8�&%0-.�V7'�% AT2&2&@BNV5 AT!4NB� ' #&% 5.%.@BAO%0-�!;@SAF-��&Nv�_TAC'P!Q%��12&,�%.'&� '�-7�&'+��%.�O#&%

n5 AC, !Q%0-7� ,�#&� '&'�?.%.-0/ AC2&2&@VNBc8�&� '&-W@V�&N��&'

b� )R?.@BAC'&D %

k� � NV-./&%X!3� *&-4%0,�_C� '&-

@SA 2 %.,4) ��! AT!4NB� '�5.� ,�,4%0-42 � '&#1AC'P!4%σ/ %0!b2&@B�&-72&,4?05.NV-4?.)R%.'P!./ @V%;!QAC*&@B%.AC� #�%J�U,4?0-4%., _TAT!QNV� 'Z�

Q(σ)� g '

-=�\NB'P!4?.,4%0-4-�%�.Qbk(Q(σ) = T )

/&@BA+2&,4� *&AC*&NB@VNV!4?7c8�&%(@B%U!QAC*&@V% AC� %0'�c8�&%0-�!QNV� ' -4� N�!W?.D [email protected]�&' ! AC*&@V% AC�Tc8�&%;@��\� ' -=�\%.- !b#&�C'&'&?�.a@��IA`_TAC'�5.%C/

T?0!QAC'P!7#�%0� �C,4)R%

λ�u���O*&NB%0'�/1� 'OA

Qbk(Q(σ) = T ) = sλ

(

1

bk, . . . ,

1

bk

)

,

@SA � � '&50!4NB� ' #�% � 5\�8�&,RAC-4-��"50NB?.%/.λ/ ?X_TAC@B�&?0% %.' @B%0-

1/bk � �bNV'&-4N / �&'�% AC��!Q,�% 5.� '�-4?.c8�&%0'&5.%�%.- ! c6��%@B%0-+'&� ) *&,4%0-q� �&@B?0,4NB%0'&-./ ⟨ m

j

⟩ 50� ) 2"! AC'P!a@V%.- 2 %.,�)+��!QAT!QNV� '&- #�%m

?.@B?0) %0'P!Q-aA}�PAT'8!j#&%0-45.%0'P!Q%.-0/

_ ?0,4Nv�1%.'P!⟨

mj

=∑

λ:λ`n

f(λ)fj(λ)� Z)�

Page 18: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

�jk

���fj(λ)

%0-�!3@B%U'�� )+*&,�%;#�%U! AC*&@V% AC� - ! AC'&#&AC,4# #&% � � �&'�DR2 � -�-4?.#&AC'P!j#&%.-�5.%.'P!4%.-.�p� ' � ATNV! /"5&�\%.- !7��'&%

5.�C'&-4?0c6��%.'&50% 5.@BACNB,�%E#&%(@SA�� � ,�)+�&@V%��1nl�M���=ATNB)R%.,QATNB-K) ACNV'8!4%.'1AT'8!./�%0'O_C� �&-$) �C'8!4,QAC'P!Wc8�&%0@Bc8�&%0-35.AC@B50�&@B-�� ) ATNB-K50%E-4� 'P!3@B%0-W-4%0�&@B-W#1AT'&-$) � '

%XL"2 � -4?0-\�M/ _C� �&-3) �C'8!4,4%0,W5.� )R) %0'P! /&50%;c8�&% ��%U_6NB%0'&-7#�%;#�NB,4%T/&2 %.,4)R%0!$#�%;)R� 'P!Q,�%.,W)R� ' !2�&?0� ,'�0) %T��C% ,4%0DPAC,�#&% @BA #&NV-�! AT'&5.% %0'�_TAC,4NBAT!QNV� ' %.'P!Q,�% @SA @B� N$#&%0- ,4%0!4%.'8�&%0-./ . @BA )R%.-��&,4% #�% 2&,�� *1AC*&NV@BN�!Q?

-�!QAT!QNV� '&'1ATNB,4%T� �7AC2�2 %0@B� '&-Rc8�&%Pb(Ck = j)

%0-�!F@BA 2&,�� *1AC*�NB@BN�!Q? c8�&% @BAk ����

,4%X!Q%.'8�&% %.-�!jc8�1AT'&#

���IA ��� ��!4%b#&%0- '&� )+*�,4%.-0� �$%0!4,QAC'&5\��� '&- @BA:@B�CN - ! AT!4NB� '�'1ACNB,�%h� -4�C��_ %0'&%=7U_C� �&-W#&%�� Hl���X/6%0! -�� )R) � '�- -��&,j�%�.Aa#&� '&'&%E@V%E) %0)+*&,�%U#&%EDPAC��5\�&%(#&%E@SA�� � ,�)+�&@V%U-4�&N�_TAC'P!Q%j�M� g ,./ ��%b#&NB-Wc8�&%(5.%05.N^5d�I%0-�!3%XL�AC5X!Q%.)R%.'P!3@SA

)Z�.)R% 5\�&� -�%+c8�&%a@SAR2&,4�C*1AC*&NV@BNV!4?(c6�6�I�&'bk )R?.@BAC'&D %;#&%

m5.AC,�!4%.-U2 � -�-'�.#�%

j#�%.-450%.'P!Q%0-.� g ' � *�!4NB%0'8!

#&� '�5;@BA�� � ,4) �&@B%E-��&NV_TAC'P!Q%T�

m−1∑

j=0

Pb(Ck = j) −

mj

m!

=

m−1∑

j=0

Qbk(##&%.-�5.%.'P!4%.-

(Q(σ) = j) −

mj

m!

.

� '��"!QNB@VNB-4AC'P!W�&'&%3� � ,�)+�&@B%q� Zl�M/�� A #&� '&'�%

=

m−1∑

j=0

λ:λ`n

fj(λ)sλ

(

1

bk, . . . ,

1

bk

)

− f(λ)fj(λ)

m!

�C%(,4%0'8!4,4%(@SA _TAC@V%.�&, AC*&-4�C@B�&%E-�� �&-$@SA+#&%0�"L"N �0) %E-�� ) )R%C/�� AC50!4� ,4NV-4%U�&'O2 %.��/��.Aa#&� '&'&%(@BA+* � ,�'&%E-4��2 ? �,4NV%.�&,�%E-4�&N�_TAC'P!Q%

6∑

λ:λ`n

(

1

bk, . . . ,

1

bk

)

− f(λ)

m!

m−1∑

j=0

fj(λ)

JK%0!�!Q%(#&%0,4'&N(�.,4%(-�� ) )R%C/"!Q� ��! . #&,�� NV!4%-� ACNV!f(λ)

/u�.Aa#&� '&'&%

=∑

λ:λ`n,|λ|=n

f(λ)sλ

(

1

bk, . . . ,

1

bk

)

− f 2(λ)

m!

.

g '��"!QNB@VNB-�%UAC@V� ,4-W@1�INV'&?.DPAT@BNV!4?7#�% J AT�&5\�l�e� � 5\�L� AT,'7C/

6

λ:λ`n

(

1

bk, . . . ,

1

bk

)

− f(λ)

m!

2∑

λ,|λ|=n

f 2(λ)

1/2

.

5.%(c8�&N^21AT,3@BA�� � ,4) �&@B%��1r)� %.- !7?0DPAC@o.

6

(

λ:λ`n

(

1

bk, . . . ,

1

bk

)

− f(λ)

m!

2

m!

)1/2

.

> ACNV'P!Q%.'&AC'P!7�C'O�"!QNB@VNB-�%U#&%.-$5\�&�C-4%.-7c8�&N^-4� 'P!35.�C'&'8�&%.-7-4�&,$@B%0-S� � '&5X!QNB�C'&-W#&% � 5\�8�&,./ %X!7�C'O�C*�!QNV%.'P!

=

(

λ:λ`n

s2λ

(

1

bk, . . . ,

1

bk

)

− 1

)1/2

=

(

m−1∏

i=1

(

1 +i

b2k

)

− 1

)1/2 � �`�l�

6

(

e(m2)/b2k − 1

)1/2 � � �m�

Page 19: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

�jr

� !7_C� NB@ .�/��.A #&?0) � 'P!4,4%;5.% c8�&% ��%(_ � �&@BACNB-$-��&,7@BA _6N�!Q%.-�-4%:#&%:50� 'P_ %0,4D %0'&5.% _C%.,�-b@SA @B�CN^-�! A !QNB�C'&'1ACNV,4%C/�.@SA�� �CNB-W2 � �&,W@B%0-$,4%0!4%.'8�&%0-7%X!72 � �&,W@V%E'&� )+*�,4%(#&%(#&%.-�5.%0'8!4%.-7@B� ,�-W#&��)R?.@BAC'&D %b#&%.-35 AC, !Q%0-.�

[ � NB50N�AT�&-4-�N�c8�&%.@Vc8�&% 5\�&� -�%Wc8�&% ��%K_C� �&@SATNB-W� ACNB,�% ,�%.) AC,4c8�&%0,S�T%0'�� ACNV!./`!Q� ��! 5.%0@SAb'w�\��!4NB@BNV-4%�21AC- D ,QAC'�#5\�&� -�%C�Os @ 'w� � A�21AC-:@�.O#&%.#1AT'&- #w�\NB'P_C%.'P!QNV� ' 21AC, !QNV5.�&@VN �.,�%C/"���&- !Q%F@1�I�"!QNB@VNB-4AT!QNV� ' #&% 5.� )+*�NB'1AT!4� NB,�% *&NB%0'5.�C'&'8�&%C�6�bNV'&-4N /P2 � ��, ,�?.-4�C�&#&,4%75.%32&,4�C*&@ �0) %T/PNB@1'&%7-=�IACD NB-�-QACN�!�21AC- #&%7-�� ,�!4NB,��&'&%7D ,QAT'&#&%$!2�&?0� ,4NV%C/P) ACNB-*&NV%.' #6�I��!4NB@VNB-4%0, �&'&%$!2�&?0� ,4NV%$%XL"NB- ! AC'P!Q%T/"50� '&'8�&%721AC,�@B%0- 50� )+*&NV'1AT!Q�C,4NB- !Q%0-.�P�b��-4-4N /.��%3_C� �&#&,4ACNB- #&NB,�%$c6��%��%�'&%�5.� '�'1ACNB- AC��5.�&'&% AC�"!Q,4% AC2�2&,4�65\�&%$.$50% 2�,4� *&@(�.)R%C/ %0':2&AC,�!4NB5.��@BNB%0,./ ��% '�% 50� '&'1ATNB- AC�&50�&'&% AC2&2&,��"5\��%�&'&NVc8�&%.)R%.'P!W2&,�� *1AC*�NB@BNV-�!4%C� �C%b_C� �&#&,4ACNB-WA`��� ��!Q%0,Kc8�&%0@Bc8�&%.-W2 %0!4NV!4%.-K5\��� -4%0-./1c8�&N _6NV%.'&'&%0'P!W#&%U-�� ,�!4NB,./8%X!#&� 'P! � ' ) �=A 21AC,�@B?R�&' ���C�&,:��O���I%ML"2 � -4ACNB-;5.%0- ,�?.-4��@V! A !Q- #�%0_TAC'P!+�&' 21AC, !Q%.,�,4% #&% 50� )+*&NV'1AT!Q�C,4NB- !Q%0-.�� ,4%0'&'&%=7W��'&%W-4�&N�!Q% #&%W'&� )+*�,4%.- ,4?.%0@B-

(aj, j > 0)!Q%0@�c8�&%W@SA3-4?0,4NB%

S(x) =∑

j>0 ajxj -4� N�! ,4AT!QNV� '&'&%0@B@B%T/%0!3-��I?05.,4N�_ %;-4� ��-3@BA�� � ,4)R%

S(x) =h(x)

(1 − x)d;

� ':-=�\NB'P!Q?0,4%.-�-4% ) ACNV'8!4%.'1AT'8!./`2 �C�&, ��' 5.%0,�!QACNB'r�"L�?T/&.3@SA$-4?0,4NB%

Sr(x)AC-4-��"50NB?.%$.7@BA3-�� �&-`� -4��NV!Q%

(ajr, j >

0) = (a0, ar, a2r, a3r, . . . )/ AC��!4,4%.)R%.'P!$#&N�!0�

Sr(x) =∑

j>0

ajrxj.

����*�NB%.' /&NB@�-��=A _&�.,4%:c8�&%(5.%0!�!Q%;-4?0,4NB%E%0-�!3%.'�5.� ,�%:,4AT!QNV� '&'&%0@B@B%T/"%X!3-=�\?.5.,�NV!

Sr(x) =h<r>(x)

(1 − x)d

A _ %05 5.� )R) % _ �C�&- @B%O_ �j� %�7 @V% )Z�.)R%�#�?.'&� )RNB'&AT!Q%0�&,./ %0! @V% '8�&)R?.,4AT!Q%0�&,h<r> @V�&N /�%.- ! �&' AC�"!Q,4%

2 � @(�6' � )R%C/ ) ACNB-7#&� );�0) %:#&%.D ,�?ac8�&%h� 5�� �o� ���K,�%.'P!QN / [ ��� %0@ �T%.,� \Hd" �M�w� '!� ACNV!./ NV@ -��=A _&�.,4%Rc8�&%a@SA

� � '&5X!QNV� 'h → h<r>

%.- !(@BNV'&? ACNV,4%�� #&% @��\%.-42&AC5.%a#&%0-E2 �C@(�6' � )R%.-7-4�&,U@V�&N )Z�.)R%j�M�ps @ -=�IACD N�!U#&� '�5 �E#6�I�&'�%a) AT!4,4NV5.%Q� ��J-�I%0-�!��.#� #&NB,�%C/ ��' 2 � @v�"' � ) % %.-�!;�&' _C%.50!4%.�&,�� -�%.-(5.�6%B�R50NB%.'P!4-0� �C,4)R%.'P!(�&' _ %050!Q%0�&,\�M/ %0!('&�C!4,4% AC2�2&@BNV5 AT!4NB� 'ACD NV-4-4AC'P!U@BNV'&? ATNB,4%0) %0'P!b-��&,UNB50%.�"L /^ATD NV!7*&NB%0' -'t�,E5.� )R) %:@SAR)+�&@V!4NB2&@VNB5.AT!QNV� ' 21AC,U��'&%+) AT!Q,�NB5.%T��JK%X!4!4%) AT!Q,�NB5.%T/"%0'J� ACNV!./"%0-�!$%.-�-4%0'8!4NB%0@B@B%0) %0'P!W@SA ) AT!4,4NB50%b#&%0-W,4%X!Q%.'8�&%0-7c8�&%E@1�I�C' A _6�&%E2&@B��- �1AC��!�� %.'J� ACN�! /6NB@� AC��!$% ]�AT5.%.,$#&%0-7@VNBD '�%.-./") ATNB- 5d�I%0-�! � Al�M�

� ' 5.� '&50@B�&-�NB� ' %0!K5.%0@SA:2 %.�"!�� �X!Q,�%b-4%0,QA#� !�� NB@ NB'P!Q?0,4%0-4-QAT'8! 2 � ��, @V%.-K2�@B�&-^��%.�&'&%0- ) AT!2�&?0) A !QNB50NB%0'&- ��%(_ � �&#�,QACNV-7#&NV,4%;2&,4%0) N(�.,�%.)R%.'P!3c6��% @��\� 'O2 %0��!3!Q,4�C��_ %0,b#&%0-b) AT!2�&?0) A !QNBc8�&%0-$21AC,�!4� ��!�� %.' A`��� ��! AT'8!#&%0-U'&� )+*�,4%.-0/ %0' ) ?0@SAC'�D % AC'P!7#&%.-b5 AC, !Q%.-0� ] A #�%.�"L"N �0) %:5\�&� -�%+c8�&%3��% -�� ���1ATNV! ATNB-3#&NB,�%C/ 5.� '&50%.,�'&%+@SA) AC'&N �0,4%7#w�=AT2&2&,4%0'&#&,�%E@B%.-K) AT!'�&?.) AT!4NBc8�&%.-0/"%X!$5.%05.N�-�2 ?05.NSAT@B%.)R%.'P!K%.' �1,QAC'&50%C�� � �&,S� ATNB,4%7#&%.-W) AT!'�&? �) AT!QNVc6��%.-./C� ' AT2&2&,4%0'&#R#&%.- ! AT- #�%35\��� -4%0-./8#&%$@��IAC@BD&�.*&,�%C/C#�%3@1�=AT'1AC@(�6-�%C/ #&%$@BAE!4� 2 � @B� DCNB% AC@BD ?0*&,4NVc8�&%C/ #�%@SAa50� )+*&NV'1AT!Q�CNB,4%UAC@BD ?0*&,4NVc8�&%C/1%X!Q5C�8s @w�OA �&'&%:AC��!4,4%() AT'&N �0,4%E#&%0� ACNB,�%E#&%.-3) AT!2�&?0) A !QNBc8�&%0-0�&!Q,4�C��_ %0,�&' 2�,4� *&@(�.)R%(c6��N _C� �&-UNV'8!4?.,�%.-4-�%C/ %0! ��,�?��1?05\�&NB,0��JK%:'w�\%.-�!U21AC-b��'&% ) AC'&N(�.,4%E!4,'�.- � ,QAC'� ACNV-4%;#&%h� ACNV,4%@B%0-$5\�&� -4%0-.� �KNB%0'�-�t&,./ @BA ) AC5\�&NV'&%.,�NB%U%0-�!7NB)R2 �C,�! AT'8!4%q�T���=ATN"���&-�!4%:��!4NB@VNB-4?b@SAa) AT5\�&NB'&%0,4NV%E#&%(@SAa5.� ) *&Nv�'1AT!4� NB,�%;AC@BD ?0*&,4NVc8�&%C/1) ACNB- _C� �&-b_C�j� %=7 5&�\%.-�!b@B%(2&,�� *&@ �0) %(c8�&N )��IARAC) %0'&?�. 50%.@SA"���KNB%0' -'t�,./ � '�2 %.�"!� ACNV,4%R#&%.-a) AT!2��- 5.�C'&5.%02�!Q�&%0@B@V%.)R%.'P! / %.' '&% 21AC,�!QAC'P!a#&%F,�NB%0'�/ %X!�� ACNV,4%R#&%.- !'�&?.�C,4NB%0-aAC*&- !Q,4ACNV!4%.-:!4,'�0-NB'P!4%.@B@VNBD %0'P!Q%.-0��>�ACNB-E� ' 2 %.��!;AT�&-4-�N /�50� ) )R% � 5\��%.'&- !Q%.# @��IA�� ACNV!./ 2&AC,�!4NB,U#w�\�&' 2&,4�C*&@ �0) % !4,'�0-E-4NB)R2&@V%C��C%E_ � ��#&,QACNV-W#&NB,�%E5.� )R)R%.'P!$-=�\%.- !b21AT-4-4?0%:@BA+#&?.50� ��_C%.,�!4% #&% � 5\��%.'&- !Q%.# � s @�!4,QA _TACNB@V@SACN�! #1AC'&-$@B%E*��&,4%.AC�.F5 �T!Q?+#&%a50%.@V�&N #&%��b� '��E'8��!2� c8�&N ?X!Q�&#&NBACNV!7@SA 5.� )+*�NB'1AT!4� NB,�%:#�� ��%.� #&� -4�C@BNV!QACNB,�%C� � 5\��%.'&- !Q%.# / c8�&N%.-�-QA}�PATNV!(#&%+50� )R2&,4%0'&#&,4%a@BA ! ATNB@B@V%(#&%+@SA 2&@B�&-bD ,QAC'�#&%+-4�C�&-�� -4�&N�!Q%+50,4� NV-4-QAT'8!4%a#1AC'&-E��'&%+2 %.,4) ��! AT!4NB� '

Page 20: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

�jn

A+_6��c8�w�\�&'+��%.�O-4NB)RNB@BACNB,�%3AC��-�� @BN�! ACNV,4%T/6%0'�@1�I�65.50�&,4%0'&5.%T/1@B% ��%0��#&%U!QACc8�&NB' /&#&� '&'&ACNV!$-�� �&-$@SA�� � ,�) %b#&�'&� ) *&,4%(#&%;2&NB@V%.-$,4%0-�!QAC'P!Q%.-0/ @BAa@B� '&DC�&%.�&,$#&%;5.%X!4!4%:-��&NV!4%C� ���<� s @ A _6��%.'&-��&NV!4%C/ c8�w�I%0' � ACNV-QAC'P!3%.'�);�0) %!Q%0) 2�- @B%b!QAC*&@V% AC�F#�%.-W,4?0-4%0,�_TAT!QNV� '&-0/

Q(σ)/"� ' � *�!4%.'1ATNV! ��'&%E*&N ��%050!4NB� '���J-�\%.-�!$%0' -4%U,�%.2&,�?.-4%0'P! AC'P!3�&'

��%.�O#&%(-4�C@BNV!QACNB,�%bc8�&% � 5\�&%0'&-�!4%.# A 2 %.'&-�?h. -QAa50� ,4,�%.-42 � '&#&AC'&5.%T�

7 {� � xZ�y�{ M���) z=�I� �/� {'V�|my�|mx�jy*�/�^,'� |#~�V x�� {�my ~?��|#~?7�~1|') z1yR��x�B) ~�~�� {=z1yY�� {#~ |m{my*,&y�x�#�|jz��\z)/� { σ y�~%z�.4VB��� y*U �I��/� {'V�|my�|mxEjyJ�I��,mx�y4#�)9>�x1y �/)9V�{my=0h�I��,'� |#~E�/� {'V�|my@: '� {#~�� y z��1%'� y$� |*jy��\��|m{'V

P(σ) ��~1~� �8)/.�A

Page 21: Stanford Universitycgates/PERSI/papers/diaconis-2.pdf · %.@v ' @ \%xl"2 -4? %.' ac'&d @bacnb-3#&% %.,4- n bnbac5. ' nb-! ac' # ,4# 7'&n _ %., -4n ! bnv'p!qnv!4 &@b? u w#&#&nv'&d

� �����^����� �������9���

�="� � ����������� � �������� �� / � &-,/@T.R@ )�' 2�! 0#"#�9/0*2 ,/@T.%$&!�%(' 0 2E# 5 2 N ��,/@T& / �7'&'1AC@V- �&�(�72&2&@VNB%.#� ,4� *&AC*&NB@VNV! �C/"_ �C@B�&)R%;<"/&2�� <TZC[d� H"�`H�/o� �`Z ZP<&�X�

I<#"�� ��� ,4?.) AC�&# /*) ,/&,+L#�9 :-! ,/@ ) NM[ .^@�K K*N0/^0*. B N ;) # ) 2 0#1 ,/&F.�# N*@

%�.<,/2�@A# ) ;

, )UB WM% 0*%�08N /w� %XL6!4-:NV'�b2�2&@BNV%.#�> AT!'�&%.) AT!QNV5.-0� �7%*� � � ,�� / �6� � � 2&,4NV'&D %0,.�"L6_6NBNVN /�[C[ [ 2��

\Hd" � � �2���43 5�26 879��:<;���� /%� ! 0>=U0*&V# ) 08N 0 :8# ) N*2�&*% :*2�@A# ) =?#�& =?#�& ,/. D #@? 0*& N 0*&F@A08NY, )UB ' &-, B 0 B,/. ' 0MKM&-,�N / �W#�_TAC'&50%.- NB' �b2�2&@BNV%.#R> AT!'�&%.) AT!4NB5.-0/ [ � @V�&) %K[8<"/)s -�-4�&%3[&/8> A}� <C�C� Z�/)� ACD %0- GT[PGm� G Gdk�� [&" � � ������*� �� ) ,/2�! 0

,/2�@A: ,/. B 0*9/0*.�# D 0 ) 2TN =F&V# 2�! 0 , ) ,/.BA N*@�N # =�&F@ ' 0�N-!�%(' @ )�' ;

�6�6�S�-�!QAT! �\-�!QAC'� � ,�#��\%.#&� � 5.DPA !Q%.-��&��� � � s � 21AC2 %.,4-�� �$N(�R%C�\2 #��

IG#" � � �������� ��<� C �ED8:<FG�8� / 1 ,/&F&*@A08N;

N-!�%(' @ )�' ;, )UB NHA

0*2G&F@A: =F% ) :*2G@A# ) N /�P!4!42 ��� �CAC, L�N�_ �I� ,�D �CAC*�- �C� ZC�P<"�I���mrCZ�� <C� �CZl�

kd" � � �1�&@�!Q� '�/JI #�% )�' 2A,LKM.�0 ,/%LK ���$%.2�,4NB'P!4%.# �$NV!'� 5.� ,�,4%.5X!QNV� '&-.��� J AC)+*&,�NB#&DC%!7'&N�_ %0,4-4N�! � � ,4%0-4-0/�`Z ZCZ����-� ]^� '�#&� ' > AT!2��%.) AT!QNV5 AC@ � �"50NB%X! � � !Q��#&%.'P! � %ML6!Q-\�M�

r#" C NM���:O3 / 1 ,/&F&F@A08N;:8#KM@ ) ,/2 #�&F@A:8N , )UB , ) ,

,QPM@ )�'

,/2G&F@RK / �b)R%.,0� > AT!2� � >O� 'P!2�&@v� �`�C[&/^2���`H)nm� � [8<6/o� � Z Zlr)�M�

�`Z