%%Creator: %!PS-Adobe-2.0 dvips(k) 5.86 Copyright 1999 Radical Eye Software %%Title: lec17.dvi %%Pages: 4 %%PageOrder: Ascend %%BoundingBox: 0 0 612 792 %%DocumentFonts: Palatino-Bold Palatino-Roman Palatino-Italic %%+ Palatino-BoldItalic %%EndComments %DVIPSWebPage: (www.radicaleye.com) %DVIPSCommandLine: dvips lec17.dvi -o %DVIPSParameters: dpi=300, compressed %DVIPSSource: TeX output 2004.08.01:1652 %%BeginProcSet: texc.pro %! /TeXDict 300 dict def TeXDict begin/N{def}def/B{bind def}N/S{exch}N/X{S N}B/A{dup}B/TR{translate}N/isls false N/vsize 11 72 mul N/hsize 8.5 72 mul N/landplus90{false}def/@rigin{isls{[0 landplus90{1 -1}{-1 1}ifelse 0 0 0]concat}if 72 Resolution div 72 VResolution div neg scale isls{ landplus90{VResolution 72 div vsize mul 0 exch}{Resolution -72 div hsize mul 0}ifelse TR}if Resolution VResolution vsize -72 div 1 add mul TR[ matrix currentmatrix{A A round sub abs 0.00001 lt{round}if}forall round exch round exch]setmatrix}N/@landscape{/isls true N}B/@manualfeed{ statusdict/manualfeed true put}B/@copies{/#copies X}B/FMat[1 0 0 -1 0 0] N/FBB[0 0 0 0]N/nn 0 N/IEn 0 N/ctr 0 N/df-tail{/nn 8 dict N nn begin /FontType 3 N/FontMatrix fntrx N/FontBBox FBB N string/base X array /BitMaps X/BuildChar{CharBuilder}N/Encoding IEn N end A{/foo setfont}2 array copy cvx N load 0 nn put/ctr 0 N[}B/sf 0 N/df{/sf 1 N/fntrx FMat N df-tail}B/dfs{div/sf X/fntrx[sf 0 0 sf neg 0 0]N df-tail}B/E{pop nn A definefont setfont}B/Cw{Cd A length 5 sub get}B/Ch{Cd A length 4 sub get }B/Cx{128 Cd A length 3 sub get sub}B/Cy{Cd A length 2 sub get 127 sub} B/Cdx{Cd A length 1 sub get}B/Ci{Cd A type/stringtype ne{ctr get/ctr ctr 1 add N}if}B/id 0 N/rw 0 N/rc 0 N/gp 0 N/cp 0 N/G 0 N/CharBuilder{save 3 1 roll S A/base get 2 index get S/BitMaps get S get/Cd X pop/ctr 0 N Cdx 0 Cx Cy Ch sub Cx Cw add Cy setcachedevice Cw Ch true[1 0 0 -1 -.1 Cx sub Cy .1 sub]/id Ci N/rw Cw 7 add 8 idiv string N/rc 0 N/gp 0 N/cp 0 N{ rc 0 ne{rc 1 sub/rc X rw}{G}ifelse}imagemask restore}B/G{{id gp get/gp gp 1 add N A 18 mod S 18 idiv pl S get exec}loop}B/adv{cp add/cp X}B /chg{rw cp id gp 4 index getinterval putinterval A gp add/gp X adv}B/nd{ /cp 0 N rw exit}B/lsh{rw cp 2 copy get A 0 eq{pop 1}{A 255 eq{pop 254}{ A A add 255 and S 1 and or}ifelse}ifelse put 1 adv}B/rsh{rw cp 2 copy get A 0 eq{pop 128}{A 255 eq{pop 127}{A 2 idiv S 128 and or}ifelse} ifelse put 1 adv}B/clr{rw cp 2 index string putinterval adv}B/set{rw cp fillstr 0 4 index getinterval putinterval adv}B/fillstr 18 string 0 1 17 {2 copy 255 put pop}for N/pl[{adv 1 chg}{adv 1 chg nd}{1 add chg}{1 add chg nd}{adv lsh}{adv lsh nd}{adv rsh}{adv rsh nd}{1 add adv}{/rc X nd}{ 1 add set}{1 add clr}{adv 2 chg}{adv 2 chg nd}{pop nd}]A{bind pop} forall N/D{/cc X A type/stringtype ne{]}if nn/base get cc ctr put nn /BitMaps get S ctr S sf 1 ne{A A length 1 sub A 2 index S get sf div put }if put/ctr ctr 1 add N}B/I{cc 1 add D}B/bop{userdict/bop-hook known{ bop-hook}if/SI save N @rigin 0 0 moveto/V matrix currentmatrix A 1 get A mul exch 0 get A mul add .99 lt{/QV}{/RV}ifelse load def pop pop}N/eop{ SI restore userdict/eop-hook known{eop-hook}if showpage}N/@start{ userdict/start-hook known{start-hook}if pop/VResolution X/Resolution X 1000 div/DVImag X/IEn 256 array N 2 string 0 1 255{IEn S A 360 add 36 4 index cvrs cvn put}for pop 65781.76 div/vsize X 65781.76 div/hsize X}N /p{show}N/RMat[1 0 0 -1 0 0]N/BDot 260 string N/Rx 0 N/Ry 0 N/V{}B/RV/v{ /Ry X/Rx X V}B statusdict begin/product where{pop false[(Display)(NeXT) (LaserWriter 16/600)]{A length product length le{A length product exch 0
exch getinterval eq{pop true exit}if}{pop}ifelse}forall}{false}ifelse end{{gsave TR -.1 .1 TR 1 1 scale Rx Ry false RMat{BDot}imagemask grestore}}{{gsave TR -.1 .1 TR Rx Ry scale 1 1 false RMat{BDot} imagemask grestore}}ifelse B/QV{gsave newpath transform round exch round exch itransform moveto Rx 0 rlineto 0 Ry neg rlineto Rx neg 0 rlineto fill grestore}B/a{moveto}B/delta 0 N/tail{A/delta X 0 rmoveto}B/M{S p delta add tail}B/b{S p tail}B/c{-4 M}B/d{-3 M}B/e{-2 M}B/f{-1 M}B/g{0 M} B/h{1 M}B/i{2 M}B/j{3 M}B/k{4 M}B/w{0 rmoveto}B/l{p -4 w}B/m{p -3 w}B/n{ p -2 w}B/o{p -1 w}B/q{p 1 w}B/r{p 2 w}B/s{p 3 w}B/t{p 4 w}B/x{0 S rmoveto}B/y{3 2 roll p a}B/bos{/SS save N}B/eos{SS restore}B end %%EndProcSet %%BeginProcSet: 8r.enc % @@psencodingfile@{ % author = "S. Rahtz, P. MacKay, Alan Jeffrey, B. Horn, K. Berry", % version = "0.6", % date = "1 July 1998", % filename = "8r.enc", % email = "tex-fonts@@tug.org", % docstring = "Encoding for TrueType or Type 1 fonts % to be used with TeX." % @} % % Idea is to have all the characters normally included in Type 1 fonts % available for typesetting. This is effectively the characters in Adobe % Standard Encoding + ISO Latin 1 + extra characters from Lucida. % % Character code assignments were made as follows: % % (1) the Windows ANSI characters are almost all in their Windows ANSI % positions, because some Windows users cannot easily reencode the % fonts, and it makes no difference on other systems. The only Windows % ANSI characters not available are those that make no sense for % typesetting -- rubout (127 decimal), nobreakspace (160), softhyphen % (173). quotesingle and grave are moved just because it's such an % irritation not having them in TeX positions. % % (2) Remaining characters are assigned arbitrarily to the lower part % of the range, avoiding 0, 10 and 13 in case we meet dumb software. % % (3) Y&Y Lucida Bright includes some extra text characters; in the % hopes that other PostScript fonts, perhaps created for public % consumption, will include them, they are included starting at 0x12. % % (4) Remaining positions left undefined are for use in (hopefully) % upward-compatible revisions, if someday more characters are generally % available. % % (5) hyphen appears twice for compatibility with both % ASCII and Windows. % /TeXBase1Encoding [ % 0x00 (encoded characters from Adobe Standard not in Windows 3.1) /.notdef /dotaccent /fi /fl /fraction /hungarumlaut /Lslash /lslash /ogonek /ring /.notdef /breve /minus /.notdef % These are the only two remaining unencoded characters, so may as % well include them.
/Zcaron /zcaron % 0x10 /caron /dotlessi % (unusual TeX characters available in, e.g., Lucida Bright) /dotlessj /ff /ffi /ffl /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef /.notdef % very contentious; it's so painful not having quoteleft and quoteright % at 96 and 145 that we move the things normally found there to here. /grave /quotesingle % 0x20 (ASCII begins) /space /exclam /quotedbl /numbersign /dollar /percent /ampersand /quoteright /parenleft /parenright /asterisk /plus /comma /hyphen /period /slash % 0x30 /zero /one /two /three /four /five /six /seven /eight /nine /colon /semicolon /less /equal /greater /question % 0x40 /at /A /B /C /D /E /F /G /H /I /J /K /L /M /N /O % 0x50 /P /Q /R /S /T /U /V /W /X /Y /Z /bracketleft /backslash /bracketright /asciicircum /underscore % 0x60 /quoteleft /a /b /c /d /e /f /g /h /i /j /k /l /m /n /o % 0x70 /p /q /r /s /t /u /v /w /x /y /z /braceleft /bar /braceright /asciitilde /.notdef % rubout; ASCII ends % 0x80 /.notdef /.notdef /quotesinglbase /florin /quotedblbase /ellipsis /dagger /daggerdbl /circumflex /perthousand /Scaron /guilsinglleft /OE /.notdef /.notdef /.notdef % 0x90 /.notdef /.notdef /.notdef /quotedblleft /quotedblright /bullet /endash /emdash /tilde /trademark /scaron /guilsinglright /oe /.notdef /.notdef /Ydieresis % 0xA0 /.notdef % nobreakspace /exclamdown /cent /sterling /currency /yen /brokenbar /section /dieresis /copyright /ordfeminine /guillemotleft /logicalnot /hyphen % Y&Y (also at 45); Windows' softhyphen /registered /macron % 0xD0 /degree /plusminus /twosuperior /threesuperior /acute /mu /paragraph /periodcentered /cedilla /onesuperior /ordmasculine /guillemotright /onequarter /onehalf /threequarters /questiondown % 0xC0 /Agrave /Aacute /Acircumflex /Atilde /Adieresis /Aring /AE /Ccedilla /Egrave /Eacute /Ecircumflex /Edieresis /Igrave /Iacute /Icircumflex /Idieresis % 0xD0 /Eth /Ntilde /Ograve /Oacute /Ocircumflex /Otilde /Odieresis /multiply
/Oslash /Ugrave /Uacute /Ucircumflex /Udieresis /Yacute /Thorn /germandbls % 0xE0 /agrave /aacute /acircumflex /atilde /adieresis /aring /ae /ccedilla /egrave /eacute /ecircumflex /edieresis /igrave /iacute /icircumflex /idieresis % 0xF0 /eth /ntilde /ograve /oacute /ocircumflex /otilde /odieresis /divide /oslash /ugrave /uacute /ucircumflex /udieresis /yacute /thorn /ydieresis ] def %%EndProcSet %%BeginProcSet: texps.pro %! TeXDict begin/rf{findfont dup length 1 add dict begin{1 index/FID ne 2 index/UniqueID ne and{def}{pop pop}ifelse}forall[1 index 0 6 -1 roll exec 0 exch 5 -1 roll VResolution Resolution div mul neg 0 0]/Metrics exch def dict begin Encoding{exch dup type/integertype ne{pop pop 1 sub dup 0 le{pop}{[}ifelse}{FontMatrix 0 get div Metrics 0 get div def} ifelse}forall Metrics/Metrics currentdict end def[2 index currentdict end definefont 3 -1 roll makefont/setfont cvx]cvx def}def/ObliqueSlant{ dup sin S cos div neg}B/SlantFont{4 index mul add}def/ExtendFont{3 -1 roll mul exch}def/ReEncodeFont{CharStrings rcheck{/Encoding false def dup[exch{dup CharStrings exch known not{pop/.notdef/Encoding true def} if}forall Encoding{]exch pop}{cleartomark}ifelse}if/Encoding exch def} def end %%EndProcSet %%BeginProcSet: special.pro %! TeXDict begin/SDict 200 dict N SDict begin/@SpecialDefaults{/hs 612 N /vs 792 N/ho 0 N/vo 0 N/hsc 1 N/vsc 1 N/ang 0 N/CLIP 0 N/rwiSeen false N /rhiSeen false N/letter{}N/note{}N/a4{}N/legal{}N}B/@scaleunit 100 N /@hscale{@scaleunit div/hsc X}B/@vscale{@scaleunit div/vsc X}B/@hsize{ /hs X/CLIP 1 N}B/@vsize{/vs X/CLIP 1 N}B/@clip{/CLIP 2 N}B/@hoffset{/ho X}B/@voffset{/vo X}B/@angle{/ang X}B/@rwi{10 div/rwi X/rwiSeen true N}B /@rhi{10 div/rhi X/rhiSeen true N}B/@llx{/llx X}B/@lly{/lly X}B/@urx{ /urx X}B/@ury{/ury X}B/magscale true def end/@MacSetUp{userdict/md known {userdict/md get type/dicttype eq{userdict begin md length 10 add md maxlength ge{/md md dup length 20 add dict copy def}if end md begin /letter{}N/note{}N/legal{}N/od{txpose 1 0 mtx defaultmatrix dtransform S atan/pa X newpath clippath mark{transform{itransform moveto}}{transform{ itransform lineto}}{6 -2 roll transform 6 -2 roll transform 6 -2 roll transform{itransform 6 2 roll itransform 6 2 roll itransform 6 2 roll curveto}}{{closepath}}pathforall newpath counttomark array astore/gc xdf pop ct 39 0 put 10 fz 0 fs 2 F/|______Courier fnt invertflag{PaintBlack} if}N/txpose{pxs pys scale ppr aload pop por{noflips{pop S neg S TR pop 1 -1 scale}if xflip yflip and{pop S neg S TR 180 rotate 1 -1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflip yflip not and{pop S neg S TR pop 180 rotate ppr 3 get ppr 1 get neg sub neg 0 TR}if yflip xflip not and{ppr 1 get neg ppr 0 get neg TR}if}{ noflips{TR pop pop 270 rotate 1 -1 scale}if xflip yflip and{TR pop pop 90 rotate 1 -1 scale ppr 3 get ppr 1 get neg sub neg ppr 2 get ppr 0 get neg sub neg TR}if xflip yflip not and{TR pop pop 90 rotate ppr 3 get ppr 1 get neg sub neg 0 TR}if yflip xflip not and{TR pop pop 270 rotate ppr 2 get ppr 0 get neg sub neg 0 S TR}if}ifelse scaleby96{ppr aload pop 4
-1 roll add 2 div 3 1 roll add 2 div 2 copy TR .96 dup scale neg S neg S TR}if}N/cp{pop pop showpage pm restore}N end}if}if}N/normalscale{ Resolution 72 div VResolution 72 div neg scale magscale{DVImag dup scale }if 0 setgray}N/psfts{S 65781.76 div N}N/startTexFig{/psf$SavedState save N userdict maxlength dict begin/magscale true def normalscale currentpoint TR/psf$ury psfts/psf$urx psfts/psf$lly psfts/psf$llx psfts /psf$y psfts/psf$x psfts currentpoint/psf$cy X/psf$cx X/psf$sx psf$x psf$urx psf$llx sub div N/psf$sy psf$y psf$ury psf$lly sub div N psf$sx psf$sy scale psf$cx psf$sx div psf$llx sub psf$cy psf$sy div psf$ury sub TR/showpage{}N/erasepage{}N/copypage{}N/p 3 def @MacSetUp}N/doclip{ psf$llx psf$lly psf$urx psf$ury currentpoint 6 2 roll newpath 4 copy 4 2 roll moveto 6 -1 roll S lineto S lineto S lineto closepath clip newpath moveto}N/endTexFig{end psf$SavedState restore}N/@beginspecial{SDict begin/SpecialSave save N gsave normalscale currentpoint TR @SpecialDefaults count/ocount X/dcount countdictstack N}N/@setspecial{ CLIP 1 eq{newpath 0 0 moveto hs 0 rlineto 0 vs rlineto hs neg 0 rlineto closepath clip}if ho vo TR hsc vsc scale ang rotate rwiSeen{rwi urx llx sub div rhiSeen{rhi ury lly sub div}{dup}ifelse scale llx neg lly neg TR }{rhiSeen{rhi ury lly sub div dup scale llx neg lly neg TR}if}ifelse CLIP 2 eq{newpath llx lly moveto urx lly lineto urx ury lineto llx ury lineto closepath clip}if/showpage{}N/erasepage{}N/copypage{}N newpath}N /@endspecial{count ocount sub{pop}repeat countdictstack dcount sub{end} repeat grestore SpecialSave restore end}N/@defspecial{SDict begin}N /@fedspecial{end}B/li{lineto}B/rl{rlineto}B/rc{rcurveto}B/np{/SaveX currentpoint/SaveY X N 1 setlinecap newpath}N/st{stroke SaveX SaveY moveto}N/fil{fill SaveX SaveY moveto}N/ellipse{/endangle X/startangle X /yrad X/xrad X/savematrix matrix currentmatrix N TR xrad yrad scale 0 0 1 startangle endangle arc savematrix setmatrix}N end %%EndProcSet TeXDict begin 40258431 52099146 1000 300 300 (lec17.dvi) @start %DVIPSBitmapFont: Fa cmr5 5 2 /Fa 2 51 df<121812F81218AA12FF080D7D8C0E>49 D<123EEA4180EA80C012C01200A2 EA0180EA03001204EA08401230EA7F8012FF0A0D7E8C0E>I E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fb cmex10 10 11 /Fb 11 89 df<132013401380EA01005A1206A25AA25AA212381230A21270A3126012E0 AD12601270A31230A212381218A27EA27EA27E7EEA0080134013200B317A8113>0 D<7E12407E7E12187EA27EA27EA213801201A213C0A3120013E0AD13C01201A31380A212 031300A21206A25AA25A12105A5A5A0B317F8113>I<1306130C131813301370136013C0 12011380120313005A1206120E120C121CA212181238A312301270A65AB21270A6123012 38A31218121CA2120C120E120612077E1380120113C012001360137013301318130C1306 0F4A788119>16 D<12C012607E7E121C120C7E12077E1380120113C0120013E013601370 A213301338A31318131CA6130EB2131CA613181338A313301370A2136013E013C0120113 80120313005A12065A121C12185A5A5A0F4A7F8119>I<1430146014C0EB01801303EB07 00130E130C131C5BA25B5BA2485AA212035BA248C7FCA25A120EA2121EA2121CA2123CA3 12381278A6127012F0B3A312701278A61238123CA3121CA2121EA2120EA2120F7EA26C7E A27F1201A26C7EA213707FA27F130C130E7FEB03801301EB00C014601430146377811F> I<12C012607E7E121C7E7E7E7F6C7EA26C7E1370A27FA2133C131CA27FA2130F7FA21480 A21303A214C0A3130114E0A6130014F0B3A314E01301A614C01303A31480A21307A21400 A25B130EA25BA2133C1338A25BA25B485AA2485A90C7FC5A120E5A12185A5A5A14637F81 1F>I<1470EB01F0EB03E0EB0780EB0F00131E5B5BA25BB3AD485AA25B1203485A90C7FC 120E123C12705A1270123C120E7E7F6C7E12017FA26C7EB3AD1378A27F7F7FEB0780EB03 E0EB01F0EB007014637B811F>26 D<14181430146014E014C0EB01801303EB0700130613 0E130C131C5BA25BA25BA212015BA2485AA3120790C7FCA25A120EA2121EA3121CA2123C A412381278A8127012F0B3A812701278A81238123CA4121CA2121EA3120EA2120F7EA27F 1203A36C7EA27F1200A21370A27FA27F130C130E13061307EB03801301EB00C014E01460 14301418157C768121>32 D<12C012607E123812187E120E7E7E7F12017F6C7EA21370A2
7FA2133C131CA27FA3130F7FA214801303A214C0A31301A214E0A4130014F0A814701478 B3A8147014F0A814E01301A414C0A21303A31480A213071400A25B130EA35BA2133C1338 A25BA25BA2485A5B120390C7FC5A120E120C5A123812305A5A157C7F8121>I<B712F0A2 0078C7EA0FF8007C14006C15386C151C6C150C6D14046C6C1406000315026D14006C7E6C 7E1378137C7F131E131F6D7E6D7E1303A26D5A130391C8FC13065B5B133813305B491402 484814060003150490C8120C0006151C4815384815F80038140F003FB6FC4815F0B7FC27 2A7E7F2C>80 D<B912C018E06CC812016DEC001F003FEE03F06C6C15006C6C163818186C 6C160C6C6C16047F000117026C6C1600137FA26D7E6D7E6D7EA26D7E6D7E8013016D7E14 7FA26E7E6E7E81140F6E5A6E5A4AC9FC140E5C5CA25C5C495A495A49CAFCA2130E491602 4916045B49160C181848481638484816F848C9EA01F0000E160F48ED01FF001FB812E05A 5AB912C0373A7E7F3C>88 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fc cmmi5 5 3 /Fc 3 110 df<001FEB0F800007EB1C003805802C144C0009135814983808C11813C200 105B13C41368137000305B38F861F8190E7E8D1B>77 D<1208A21200A41270129812B012 30A21260126412681270060F7D8E0B>105 D<EA73C7389C6880389830C0383861801230 A2EB63103860C320EBC1C014097D8819>109 D E %EndDVIPSBitmapFont /Fd 206[21 49[{TeXBase1Encoding ReEncodeFont}1 41.511 /Palatino-BoldItalic rf %DVIPSBitmapFont: Fe cmr7 7 8 /Fe 8 85 df<120212041208121812101230A21260A312E0AA1260A31230A21210121812 0812041202071E7D950D>40 D<128012401220123012101218A2120CA3120EAA120CA312 18A212101230122012401280071E7E950D>I<1206121E12EE120EAFEAFFE00B137D9211> 49 D<121FEA21C0EA40E0EAC07012E0A21200136013E013C0EA0180EA03001206EA0C10 1208EA1030EA3FE0127F12FF0C137E9211>I<EA1FC0EA2070EA7038A212201200137013 E0EA0FC0EA007013381318131C124012E01318EA4038EA2070EA1FC00E137F9211>I<13 6013E0A2120112021206120C120812101220126012C0EAFFFCEA00E0A5EA07FC0E137F92 11>I<B512F0A2C8FCA6B512F0A2140A7E8B19>61 D<387FFFF03860703000401310A200 801308A300001300ACEA07FF15147F9318>84 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Ff cmsy7 7 4 /Ff 4 113 df<B512C0A212027D871A>0 D<12C0B3AB021D7D950A>106 D<EAC060B3AC0B1E7E9511>I<15C014011580140315005C1406140E140C141C14181438 143014705C00305BEAD80100185BEA0C0391C7FC6C5A1306EA030E130CEA019C1398EA00 F85B137013601A1E7F811B>112 D E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fg cmr10 10 18 /Fg 18 116 df<EB3F80EBE0E03803803848487E000E7F487F003C148000381303007814 C0A20070130100F014E000F11311EBFFF1A3EB001100F01301A2007014C000781303A200 381480003C1307001C14006C130E6C5B6C6C5A3800E0E0EB3F801B1E7E9C20>2 D<B612F0390F000F00B3A839FFF0FFF01C1C7F9B1F>5 D<137F3803C1E038070070001C 131C003C131E0038130E0078130F00707F00F01480A50070140000785BA20038130E6C5B A26C5B00061330A20083EB608000811340A2394180C100007F13FFA3191D7E9C1E>10 D<EAFFFC0E017D9815>22 D<1380EA0100120212065AA25AA25AA35AA412E0AC1260A47E A37EA27EA27E12027EEA0080092A7C9E10>40 D<7E12407E12307EA27EA27EA37EA41380 AC1300A41206A35AA25AA25A12205A5A092A7E9E10>I<1306ADB612E0A2D80006C7FCAD 1B1C7E9720>43 D<EA03C0EA0C30EA1818EA381CEA300CEA700EA3EAF00FADEA700EA3EA 300CEA381CEA1818EA0C30EA07E0101D7E9B15>48 D<5A1207123F12C71207B3A5EAFFF8 0D1C7C9B15>I<EA07C0EA1830EA201C1240130EEAF00F12F8A312701200131EA2131C13 381330137013C0EA018013001202EA040112081210EA3002EA3FFE127F12FF101C7E9B15 >I<B612E0A2C9FCA8B612E0A21B0C7E8F20>61 D<B512FC380F003C140C1404A2140614 02A213011400A35B13FF13037FA3140113001402A31406A2140C143CB512FC181C7E9B1C >69 D<12FEA212C0B3B312FEA207297C9E0C>91 D<12FEA21206B3B312FEA20729809E0C >93 D<EA0FE0EA1838EA3C1C7F12181200A2EA01FEEA0F8EEA3C0E1278127000F01320A3 EA701E38382740380FC38013127F9115>97 D<EAFC7CEA1C87EA1D03001E1380121CAD38 FF9FF014127F9117>110 D<EAFC7CEA1D87381E0380381C01C014E0130014F0A6EB01E0 A214C0381E0380381D0700EA1CFC90C7FCA7B47E141A7F9117>112 D<EA1F90EA2070EA4030EAC010A212E0EAF800EA7F80EA3FE0EA0FF0EA00F8EA80381318
12C0A2EAE010EAD060EA8FC00D127F9110>115 D E %EndDVIPSBitmapFont /Fh 134[21 1[30 21 23 14 16 16 1[21 18 23 32 12 2[12 21 21 12 16 21 17 19 18 12[25 23 8[14 14 5[28 20[10 1[10 44[{TeXBase1Encoding ReEncodeFont}28 41.511 /Palatino-Italic rf %DVIPSBitmapFont: Fi cmmi7 7 19 /Fi 19 122 df<EA0180EA03F0EA04301300120612021203EA0180EA03C0120CEA18E0EA 30601260A3EAC0C0A21240EA6180EA3100121E0C157F940F>14 D<121C120612077EA2EA 0180A213C01200A213E01201EA0370EA0630120CEA18181230EA601CEAC00CEA800E0F14 7E9314>21 D<EA0C0CA3EA1818A4EA30301332A21372EA78B4EA6F1CEA6000A25AA35A0F 137E8C14>I<126012F0A212701210A21220A21240A2040A7E830A>59 D<1360A213E013C0A212011380A212031300A25A1206A2120E120CA2121C1218A2123812 30A212701260A212E05AA20B1D7E9511>61 D<D807F013FE000014F039017001E01402A2 14040002EB09C01338141114210004EB238014431483131C39081D0700131EA2131C3818 180E00FEEB7FC01F147F9320>77 D<3907E01FC00000EB060038017004A21338A238021C 08A2130EA2486C5AA2EB0390A2380801E0A21300A20018134012FE1A147F931A>I<3807 FFE03800E0703801C018141CA338038038A21470EB81C03807FF0090C7FCA3120EA45AB4 7E16147F9315>80 D<381FFFF838381C18EA2038140812401410EA807000001300A35BA4 485AA4485AEA3FF81514809314>84 D<3907FC3F803900E01C00EBF010EB70205C6D5A01 39C7FC133E131C131EA2133F136713C738018380EA030300067FEA0401001C7F38FE07F8 19147F931B>88 D<1206120712061200A41238124CA2128C12981218A212301232A21264 A2123808147F930C>105 D<1330133813301300A4EA01C0EA0260EA0430136012081200 A213C0A4EA0180A4EA630012E312C612780D1A81930E>I<121E12065AA45A1338135C13 9CEA3118EA36001238EA3F80EA61C0EA60C8A3EAC0D013600E147F9312>I<3830F87C38 590C86384E0D06EA9C0EEA980C1218A248485A15801418A23960301900140E190D7F8C1D >109 D<EA30F8EA590C124E129C12981218A2EA301813191331A2EA6032131C100D7F8C 15>I<EA31E0EA5A70124CEA9C60EA98001218A25AA45AA20C0D7F8C0F>114 D<1204120CA35AEAFF80EA1800A25AA45A1261A212621264123809127F910D>116 D<EA0E3CEA13CEEA238EEA430C13001203A21206130812C6EAE610EACA20EA71C00F0D7F 8C13>120 D<EA380C124CA2EA8C1812981218A2EA3030A31370EA18E0EA0F60120013C0 12E0EAE180EA4300123C0E137F8C11>I E %EndDVIPSBitmapFont %DVIPSBitmapFont: Fj cmsy10 10 16 /Fj 16 113 df<B61280A219027D8A20>0 D<127012F8A3127005057D8C0C>I<00C01360 6C13E0387001C038380380381C0700EA0E0E6C5AEA03B8EA01F06C5AA2487EEA03B8EA07 1CEA0E0E487E38380380387001C038E000E048136013147A9320>I<90387FFF8048B5FC D80780C7FC000EC8FC5A5A12301270126012E05AA67E12601270123012387E7E6C7E0001 B512806C7E90C8FCA8007FB51280A219247D9920>18 D<EC01801407EC1E001478EB01E0 EB0780010EC7FC133C13F0EA03C0000FC8FC123C12F0A2123C120FEA03C0EA00F0133813 1EEB0780EB01E0EB0078141EEC0780140191C7FCA8B61280A219247D9920>20 D<12C012F0123C120FEA03C0EA00F01338131EEB0780EB01E0EB0078141EEC0780A2EC1E 001478EB01E0EB0780010EC7FC133C13F0EA03C0000FC8FC123C12F012C0C9FCA8B61280 A219247D9920>I<153081A381A281811680ED00C0B712F8A2C912C0ED0380160015065D A25DA35D25167E942A>33 D<EB7FF8EA01FF38078000000EC7FC5A5A12301270126012E0 5AA2B512F8A200C0C7FCA27E12601270123012387E7E6C7E3801FFF8EA007F151A7D961C >50 D<1460A214E014C013011480130314005B1306A2130E130C131C1318133813301370 136013E05BA212015B120390C7FC5A1206120E120CA2121C1218123812301270126012E0 5AA213287A9D00>54 D<13FE3807FFC0381F01F03838003848131C0060130C00E0130E48 1306B3171A7E981C>92 D<133C13E0EA01C013801203AD13005A121C12F0121C12077E13 80AD120113C0EA00E0133C0E297D9E15>102 D<12F0121C12077E1380AD120113C0EA00 E0133C13E0EA01C013801203AD13005A121C12F00E297D9E15>I<12C0A27E1260127012 30A212381218121C120CA2120E120612077EA21380120113C01200A21201138012031300 A25A1206120E120CA2121C121812381230A21270126012E05AA20A2A7E9E10>105 D<12C0B3B3A502297B9E0C>I<EAC030B3B3A60C2A7C9E15>I<16C015011680150316005D 1506150E150C151C1518153815301570156015E05D14015D140392C7FC00065B001E1306 002F130E004F130C3887801C000713183803C038143014703801E06014E06C6C5A13F1EB 7980137B013FC8FCA2131EA2130CA2222A7E8123>112 D E %EndDVIPSBitmapFont
%DVIPSBitmapFont: Fk cmmi10 10 37 /Fk 37 122 df<1338137FEB87803801030090C7FC7FA27F12007FA2137013F8EA03B8EA 063CEA0C1C121812381270A212E0A413181338EA6030EA70606C5AEA0F80111E7F9D12> 14 D<13FCEA0380EA0E005A123C12381278EA7FE0EAF000A51270A27EEA1C30EA07C00E 127F9111>I<EA0780EA01C07F1200A27F1370A213781338A2133C131CA2131E130E131E 133F136713C738018780EA03031206000E13C0EA1C011238007013E0EAE0004813F0141D 7E9C18>21 D<3801803000031370A3380700E0A4380E01C0A4381C0388A3EA1E07383E19 90383BE0E00038C7FCA25AA45AA25A151B7F9119>I<007E1360000E13E0A3381C01C0A2 EB03801400485A130E130C5B485A5BEA71C00073C7FC12FC12F013127E9115>I<EBFFFC 12035A380E0F00487E1238487E5B12E0A31306130E130CEA60185BEA30E0EA0F8016127F 9118>27 D<5B1302A45BA45BA2137E3801C980380710E0000C13600018137000381330EA 7020A200E01370A2134014E0A2386041C0EB838038308600EA1C9CEA07E00001C7FCA412 02A414257E9C19>30 D<14401480A4EB0100A41302A2001C130C0027131EEA4704A20087 1306A2380E0802A2001C1304A2EB1008A214101420EB2040000C138038072300EA01FCEA 0040A45BA417257E9C1B>32 D<127012F8A3127005057D840C>58 D<127012F012F8A212781208A31210A21220A21240050D7D840C>I<1303A213071306A2 130E130C131C1318A213381330A213701360A213E013C0A21201138012031300A25A1206 A2120E120CA2121C1218A21238123012701260A212E05AA210297E9E15>61 D<12C012F0123C120FEA03C0EA00F0133C130E6D7EEB01E0EB0078141EEC0780A2EC1E00 1478EB01E0EB0780010EC7FC133C13F0EA03C0000FC8FC123C12F012C0191A7D9620>I< 48B512F839003E0078013C13181510A35BA214081500495AA21430EBFFF03801E020A439 03C0404014001580A23907800100A25C1406380F001EB512FC1D1C7E9B1F>69 D<3801FFE038003E00133CA45BA45BA4485AA4485AA4485AA4120FEAFFF0131C7F9B12> 73 D<EB1FFEEB01F014E0A4EB03C0A4EB0780A4EB0F00A4131EA312785B12F81338EAE0 78EA40F0EA61C0001FC7FC171D7E9B17>I<48B4EB01FFD8003F14F0012FEB03E01505A2 1509014FEB0BC015131523EB47800187EB4780A21587EC8107D80107EB0F0014821484A2 0002EB881EEB03C814D014E000045C14C0A2000C1380001CEB007C3AFF8307FF80281C7E 9B28>77 D<D801FEEB3FE0D8001FEB0700012F13061504EB2780A2903843C008A2EB41E0 A2903881F010138014F81478D801005B143CA2141E00025C141F140F15C0486D5AA21403 120C001C6DC7FCEAFF80231C7F9B21>I<EB03F8EB0E0E90383803809038E001C0EA01C0 39038000E048C7FC4814F0121E121C123CA25AA348EB01E0A3EC03C0A2EC0780A2EC0F00 0070130E5C6C5B003C5B381C01C038070780D801FCC7FC1C1E7E9C20>I<48B5FC39003E 03C090383C00E015F01570A24913F0A315E0EBF001EC03C0EC0700141E3801FFF001E0C7 FCA3485AA4485AA4120FEAFFF01C1C7E9B1B>I<3801FFFE39003E03C090383C00E015F0 1570A24913F0A3EC01E001F013C0EC0780EC1E00EBFFF03801E03C140E140FA2EA03C0A4 3807801E1508A21510000F130ED8FFF01320C7EA03C01D1D7E9B20>82 D<001FB512F0391C03C07039300780300020142012601240EB0F001280A200001400131E A45BA45BA45BA41201387FFF801C1C7F9B18>84 D<3AFFE1FFC0FF3A3E003C003C001E15 10163016201640A2027C1380A29138BC01009038013C0315029038023E04001F131ED80F 045B130C01085B01105BA201205BA201405B1380021FC7FCEB001EA2000E130C12060004 1308281D7D9B27>87 D<3A01FFE0FF803A001F003C00153015206D5B6E5AD90781C7FC14 8214C4EB03C814F86D5A5C801300497EEB02781304EB087CEB103CEB203E1340EB801E00 01131F48487E1206001E497E39FF807FF0211C7F9B22>I<EB01E0EB0630EB0E7814F0EB 1C601400A45BA23803FFC038003800A25BA55BA5485AA55B1203A20063C7FC12F312F612 E4127815257E9C14>102 D<EA01C01203A2EA0180C7FCA6121C12271247A21287A2120E A25AA35A1380A21270EA71001232121C0A1C7E9B0E>105 D<1307130FA213061300A613 78139CEA010C1202131C12041200A21338A41370A413E0A4EA01C01261EAF180EAF30012 E6127C1024809B11>I<EA0FC01201A2485AA448C7FCA4EA0E07EB0880EB11C01323381C 4780EB8300001DC7FC121EEA3FC0EA38E01370A2EA7071A31372EAE032EA601C121D7E9C 16>I<39381F81F0394E20C618394640E81CEB80F0EA8F00008E13E0120EA2391C01C038 A315703938038071A215E115E23970070064D83003133820127E9124>109 D<EA3C1F384E6180384681C0EA4701128F128E120EA2381C0380A3EB070000381310A213 0E1420387006403830038014127E9119>I<13FCEA038738070380380E01C0121C123812 78A2EAF003A3148013071400EA700EEA301CEA1870EA0FC012127F9114>I<380783C038 09CC603808D030EBE038EA11C0A20001133CA238038078A31470380700F014E0EB01C0EB 8380380EC700133C90C7FCA25AA4123CB4FC161A819115>I<EA3C3CEA4E42EA4687EA47 0FEA8E1E130CEA0E00A25AA45AA45A123010127E9113>114 D<EA01F0EA060CEA0C0413 0EEA180CEA1C00121FEA0FE013F0EA03F8EA0038EA201CEA701812F01310EA8030EA6060 EA1F800F127E9113>I<13C01201A3EA0380A4EAFFF0EA0700A3120EA45AA4EA3820A213
40A2EA1880EA0F000C1A80990F>I<EA1C06EA270F1247A2EA8703A2EA0E01A2EA1C02A3 130412181308A2EA1C10EA0C20EA07C010127E9114>118 D<380787803808C8403810F0 C03820F1E0EBE3C03840E1803800E000A2485AA43863808012F3EB810012E5EA84C6EA78 7813127E9118>120 D<001C13C0EA27011247A238870380A2120EA2381C0700A4EA180E A3EA1C1EEA0C3CEA07DCEA001C1318EA6038EAF0305B485AEA4180003EC7FC121A7E9114 >I E %EndDVIPSBitmapFont /Fl 87[14 16[42 21 27[21 23 21 35 23 25 14 18 16 23 25 23 24 37 12 23 10 12 24 23 14 20 25 18 23 21 3[14 1[14 3[42 1[32 25 22 28 33 25 33 34 39 25 1[14 14 35 32 23 25 32 29 25 32 1[18 4[10 21 1[21 21 1[21 21 21 21 21 25 10 14 10 2[14 14 12 35[25 25 2[{TeXBase1Encoding ReEncodeFont}71 41.511 /Palatino-Roman rf /Fm 133[30 33 1[50 1[37 20 27 23 37 1[33 37 53 20 37 1[20 37 33 23 30 37 27 1[30 12[40 37 43 12[37 50 43 1[47 13[30 30 30 49[{ TeXBase1Encoding ReEncodeFont}31 59.7758 /Palatino-Bold rf /Fn 133[21 23 1[35 23 25 14 18 16 25 25 23 25 37 14 25 1[14 25 23 16 21 25 18 25 21 9[42 1[32 28 25 1[35 1[35 35 42 25 32 16 16 2[23 2[30 1[32 8[21 21 21 1[21 21 21 21 21 1[10 1[10 2[14 14 40[{TeXBase1Encoding ReEncodeFont}51 41.511 /Palatino-Bold rf end %%EndProlog %%BeginSetup %%Feature: *Resolution 300dpi TeXDict begin %%EndSetup %%Page: 1 1 1 0 bop 0 4 1950 3 v 0 68 a Fn(T)-5 b(opics)12 b(in)e(Quantum)h (Information)731 b(U.)11 b(W)m(aterloo)f(CO)f(781,)h(Spring)i(2004)0 118 y(Ashwin)f(Nayak)f(\(Instructor\))1032 b(Kelly)10 b(Itakura)g(\(Scribe\))0 167 y(Classical)h(hitting)f(time.)j(Szegedy)d (quantization)h(of)f(Markov)h(chains)557 b(July)10 b(6,)h(2004)p 0 230 V 0 477 a Fm(1)60 b(Classical)13 b(hitting)h(time)0 590 y Fl(In)d(the)f(last)g(lectur)o(e,)i(we)e(derived)i(an)f(expr)o (ession)g(for)f(the)h(hitting)f(time)g(of)g(a)h(classical)f(Markov)i (chain)f(in)g(terms)f(of)g(the)0 640 y(transition)f(matrix)i(and)f(the) g(initial)g(distribution.)0 707 y(T)l(o)h(r)o(ecall,)h(let)e Fk(P)16 b Fl(be)10 b(an)g Fk(N)15 b Fj(\002)9 b Fk(N)16 b Fl(symmetric)9 b(stochastic)h(matrix)g(that)g(de\002nes)g(a)g(Markov) h(chain)h(\(M.C.\))f(on)g(state)d(space)0 757 y Fk(X)s Fl(.)18 b(Suppose)10 b(that)h(the)g(MC)i(is)e(also)g(irr)o(educible)i (and)f(aperiodic.)18 b(Let)11 b Fk(M)19 b Fj(\022)14 b Fk(X)i Fl(be)11 b(a)h(subset)e(of)h Fk(m)h Fl(marked)g(elements,)0 807 y(and)f Fk(P)108 813 y Fi(M)155 807 y Fl(be)f(the)g(matrix)g (obtained)g(by)g(deleting)h(r)o(ows)e(and)i(columns)f(of)g Fk(P)16 b Fl(corr)o(esponding)11 b(to)f Fk(M)5 b Fl(.)0 916 y Fn(Fact)10 b(1)21 b Fh(The)15 b(hitting)e(time)i(of)g Fk(M)20 b Fh(fr)o(om)15 b(a)g(given)g(distribution)f Fk(s)h Fh(on)g Fk(X)k Fh(is)14 b Fk(s)1180 901 y Fi(T)1180 928 y(M)1218 916 y Fg(\()p Fk(I)i Fj(\000)d Fk(P)1340 922 y Fi(M)1376 916 y Fg(\))1392 901 y Ff(\000)p Fe(1)1450 916 y Fj(\001)f Fd(1)o Fh(,)17 b(wher)o(e)e Fk(s)1653 901 y Fe(T)1653 928 y Fi(M)1705 916 y Fh(is)g(the)f(vector)i Fk(s)0 966 y Fh(r)o(estricted)10 b(to)h Fk(M)5 b Fh(.)0 1075 y Fl(Note)11 b(that)f Fk(P)212 1081 y Fi(M)259 1075 y Fl(is)h(orthogonally)f(diagonalizable,)i(and)f(has)f(spectral)h(norm) g(strictly)g(smaller)f(than)h Fg(1)p Fl(,)h(and)f(so)f Fk(I)j Fj(\000)e Fk(P)1914 1081 y Fi(M)0 1125 y Fl(is)i(invertible.)21
b(If)13 b Fg(\()p Fk(\025)331 1131 y Fi(i)345 1125 y Fk(;)7 b(v)384 1131 y Fi(i)398 1125 y Fg(\))13 b Fl(ar)o(e)g(a)g (complete)f(set)g(of)h(eigenvalues)g(with)f(the)h(corr)o(esponding)h (orthogonal)e(eigenvectors)0 1175 y(for)e Fk(P)90 1181 y Fi(M)127 1175 y Fl(,)h(then)f Fk(I)i Fj(\000)e Fk(P)339 1181 y Fi(M)386 1175 y Fl(has)g(the)g(same)f(eigenvectors)h(but)g(with) g(eigenvalues)1303 1159 y Fe(1)p 1273 1166 76 2 v 1273 1189 a(1)p Ff(\000)p Fi(\025)1336 1193 y Fc(i)1354 1175 y Fl(.)0 1243 y(By)h(choosing)g(the)f(initial)h(state)e(to)h(be)g(the)h (stationary)e(distribution)h(\(in)h(this)f(case,)h(the)f(uniform)h (distribution\),)f(we)h(get)0 1292 y(a)f(good)g(bound)h(on)f(hitting)g (time.)0 1402 y Fn(Corollary)g(2)21 b Fh(If)10 b Fk(s)i Fg(=)f(\()370 1385 y Fe(1)p 363 1392 30 2 v 363 1416 a Fi(N)398 1402 y Fk(;)428 1385 y Fe(1)p 421 1392 V 421 1416 a Fi(N)456 1402 y Fk(;)c(:)g(:)g(:)t(;)559 1385 y Fe(1)p 553 1392 V 553 1416 a Fi(N)587 1402 y Fg(\))p Fh(,)k(then)f(hitting)f(time)h Fg(E\()p Fk(T)c Fg(\))11 b Fh(is)687 1516 y Fg(E\()p Fk(T)6 b Fg(\))33 b(=)888 1488 y(1)p 880 1507 38 2 v 880 1545 a Fk(N)923 1516 y Fd(1)943 1499 y Fe(T)978 1516 y Fj(\001)9 b Fg(\()p Fk(I)k Fj(\000)d Fk(P)1115 1522 y Fi(M)1151 1516 y Fg(\))1167 1499 y Ff(\000)p Fe(1)1221 1516 y Fj(\001)f Fd(1)0 1635 y Fh(If)59 1619 y Fd(1)p 41 1626 57 2 v 41 1630 a Ff(p)p 68 1630 30 2 v 25 x Fi(N)114 1635 y Fg(=)158 1604 y Fb(P)202 1614 y Fi(N)s Ff(\000)p Fi(m)202 1648 y(i)p Fe(=1)295 1635 y Fk(\027)316 1641 y Fi(i)330 1635 y Fk(v)350 1641 y Fi(i)374 1635 y Fh(then,)597 1738 y Fg(E\()p Fk(T)d Fg(\))33 b(=)791 1686 y Fi(N)s Ff(\000)p Fi(m)804 1698 y Fb(X)807 1787 y Fi(i)p Fe(=1)883 1738 y Fk(\027)907 1721 y Fe(2)904 1748 y Fi(i)974 1710 y Fg(1)p 930 1728 110 2 v 930 1766 a(1)9 b Fj(\000)g Fk(\025)1025 1772 y Fi(i)1077 1738 y Fj(\024)1231 1710 y Fg(1)p 1146 1728 191 2 v 1146 1766 a(1)g Fj(\000)h(k)c Fk(P)1272 1772 y Fi(M)1316 y 1766 Fj(k)1341 1738 y Fk(:)549 b Fl(\(1\))0 1885 y(Her)o(e,)10 b(we)f(have)h(made)f(use)g(of)h(the)f(fact)g(that)g Fj(k)d Fk(P)782 1891 y Fi(M)826 1885 y Fj(k)j Fl(is)g(the)h(size)e(of)i (the)f(eigenvalue)h(with)f(the)g(lar)o(gest)g(magnitude,)h(and)0 1935 y(that)82 1904 y Fb(P)126 1948 y Fi(i)147 1935 y Fk(\027)171 1920 y Fe(2)168 1946 y Fi(i)200 1935 y Fg(=)i(1)d Fj(\000)h Fk(m=)n(N)16 b Fj(\024)c Fg(1)p Fl(.)0 2018 y(If)j Fk(\025)67 2024 y Fe(1)101 2018 y Fl(is)f(the)h(eigenvalue)g (with)g(maximum)f(magnitude,)i(and)f Fk(\027)1070 2024 y Fe(1)1109 2018 y Fg(=)20 b(\012\(1\))p Fl(,)d(then)d Fg(E\()p Fk(T)6 b Fg(\))21 b(=)g(\002)1570 1971 y Fb(\020)1661 2001 y Fe(1)p 1600 2008 140 2 v 1600 2032 a(1)p Ff(\000k)5 b Fi(P)1686 2036 y Fc(M)1723 2032 y Ff(k)1745 1971 y Fb(\021)1769 2018 y Fl(.)28 b(W)l(e)14 b(will)0 2079 y(see)e(later)f(that)g(the)h(hitting)g(time)f(of)h(the)g(Szegedy)g (quantitization)e(of)i(this)f(Markov)i(chain)g(is)f(the)f(squar)o(e-r)o (oot)h(of)g(this)0 2129 y(quantity)-5 b(,)11 b(and)f(hence)h(gives)g(a) f(quadratic)h(speed-up.)0 2289 y Fm(2)60 b(Analysis)13 b(of)i(the)f(random)h(walk)f(algorithm)h(for)h(Element)d(Distinctness)0 2402 y Fl(Using)d(the)g(r)o(esults)f(above,)h(we)g(can)g(impr)o(ove)g (the)g(crude)g(upper)g(bound)h(we)e(gave)h(in)g(the)g(last)f(lectur)o (e)h(for)g(the)f(Element)0 2452 y(Distinctness)g(algorithm)h(based)g (on)g(random)g(walk.)0 2519 y(W)l(e)i(will)h(need)g(the)f(following)g (lemma)g(with)g(which)h(we)g(can)g(bound)g(the)f(eigenvalues)h(of)f Fk(P)1532 2525 y Fi(M)1568 2519 y Fl(,)i(given)g(the)e(spectrum)0 2569 y(of)f Fk(P)6 b Fl(.)17 b(De\002ne)12 b Fk(\033)265
2575 y Fi(i)278 2569 y Fg(\()p Fk(P)6 b Fg(\))12 b Fl(to)f(be)g Fk(i)p Fl(th)h(lar)o(gest)g(singular)f(value)h(of)g Fk(P)6 b Fl(.)16 b(Note)c(that)e(since)i Fk(P)18 b Fl(has)11 b(a)g(uniform)h(stationary)e(distri-)0 2619 y(bution,)j Fk(\033)168 2625 y Fi(i)181 2619 y Fg(\()p Fk(P)6 b Fg(\))15 b(=)h Fk(\025)333 2625 y Fe(1)367 2619 y Fg(=)g(1)p Fl(.)j(So)12 b(the)g(spectral)g(gap,)h(which)g(is)f(the)g(gap)g(between)f(the)h(two) g(lar)o(gest)g(singular)g(values,)h(is)0 2669 y Fk(\033)24 2675 y Fe(1)42 2669 y Fg(\()p Fk(P)6 b Fg(\))j Fj(\000)h Fk(\033)182 2675 y Fe(2)200 2669 y Fg(\()p Fk(P)c Fg(\))11 b(=)h(1)d Fj(\000)h Fk(\033)416 2675 y Fe(2)434 2669 y Fg(\()p Fk(P)c Fg(\))p Fl(.)965 2825 y(1)p eop %%Page: 2 2 2 1 bop 525 600 a gsave currentpoint currentpoint translate 0 neg rotate neg exch neg exch translate 525 600 a @beginspecial 0 @llx 0 @lly 182 @urx 112 @ury 2160 @rwi 1440 @rhi @setspecial %%BeginDocument: lec17-fig1.eps %!PS-Adobe-2.0 EPSF-2.0 %%Title: co781lec17-1.eps %%Creator: fig2dev Version 3.2 Patchlevel 1 %%CreationDate: Tue Jul 6 19:43:38 2004 %%For: [e-mail] (Kelly Itakura,,,,153 Weber St. North) %%Orientation: Portrait %%BoundingBox: 0 0 182 112 %%Pages: 0 %%BeginSetup %%EndSetup %%Magnification: 0.5000 %%EndComments /$F2psDict 200 dict def $F2psDict begin $F2psDict /mtrx matrix put /col-1 {0 setgray} bind def /col0 {0.000 0.000 0.000 srgb} bind def /col1 {0.000 0.000 1.000 srgb} bind def /col2 {0.000 1.000 0.000 srgb} bind def /col3 {0.000 1.000 1.000 srgb} bind def /col4 {1.000 0.000 0.000 srgb} bind def /col5 {1.000 0.000 1.000 srgb} bind def /col6 {1.000 1.000 0.000 srgb} bind def /col7 {1.000 1.000 1.000 srgb} bind def /col8 {0.000 0.000 0.560 srgb} bind def /col9 {0.000 0.000 0.690 srgb} bind def /col10 {0.000 0.000 0.820 srgb} bind def /col11 {0.530 0.810 1.000 srgb} bind def /col12 {0.000 0.560 0.000 srgb} bind def /col13 {0.000 0.690 0.000 srgb} bind def /col14 {0.000 0.820 0.000 srgb} bind def /col15 {0.000 0.560 0.560 srgb} bind def /col16 {0.000 0.690 0.690 srgb} bind def /col17 {0.000 0.820 0.820 srgb} bind def /col18 {0.560 0.000 0.000 srgb} bind def /col19 {0.690 0.000 0.000 srgb} bind def /col20 {0.820 0.000 0.000 srgb} bind def /col21 {0.560 0.000 0.560 srgb} bind def /col22 {0.690 0.000 0.690 srgb} bind def /col23 {0.820 0.000 0.820 srgb} bind def
/col24 /col25 /col26 /col27 /col28 /col29 /col30 /col31
{0.500 {0.630 {0.750 {1.000 {1.000 {1.000 {1.000 {1.000
0.190 0.250 0.380 0.500 0.630 0.750 0.880 0.840
0.000 0.000 0.000 0.500 0.630 0.750 0.880 0.000
srgb} srgb} srgb} srgb} srgb} srgb} srgb} srgb}
bind bind bind bind bind bind bind bind
def def def def def def def def
end save -24.0 199.0 translate 1 -1 scale /cp {closepath} bind def /ef {eofill} bind def /gr {grestore} bind def /gs {gsave} bind def /sa {save} bind def /rs {restore} bind def /l {lineto} bind def /m {moveto} bind def /rm {rmoveto} bind def /n {newpath} bind def /s {stroke} bind def /sh {show} bind def /slc {setlinecap} bind def /slj {setlinejoin} bind def /slw {setlinewidth} bind def /srgb {setrgbcolor} bind def /rot {rotate} bind def /sc {scale} bind def /sd {setdash} bind def /ff {findfont} bind def /sf {setfont} bind def /scf {scalefont} bind def /sw {stringwidth} bind def /tr {translate} bind def /tnt {dup dup currentrgbcolor 4 -2 roll dup 1 exch sub 3 -1 roll mul add 4 -2 roll dup 1 exch sub 3 -1 roll mul add 4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb} bind def /shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul 4 -2 roll mul srgb} bind def /reencdict 12 dict def /ReEncode { reencdict begin /newcodesandnames exch def /newfontname exch def /basefontname exch def /basefontdict basefontname findfont def /newfont basefontdict maxlength dict def basefontdict { exch dup /FID ne { dup /Encoding eq { exch dup length array copy newfont 3 1 roll put } { exch newfont 3 1 roll put } ifelse } { pop pop } ifelse } forall newfont /FontName newfontname put newcodesandnames aload pop 128 1 255 { newfont /Encoding get exch /.notdef put } for newcodesandnames length 2 idiv { newfont /Encoding get 3 1 roll put } repeat newfontname newfont definefont pop end } def /isovec [ 8#200 /grave 8#201 /acute 8#202 /circumflex 8#203 /tilde 8#204 /macron 8#205 /breve 8#206 /dotaccent 8#207 /dieresis 8#210 /ring 8#211 /cedilla 8#212 /hungarumlaut 8#213 /ogonek 8#214 /caron
8#220 /dotlessi 8#230 /oe 8#231 /OE 8#240 /space 8#241 /exclamdown 8#242 /cent 8#243 /sterling 8#244 /currency 8#245 /yen 8#246 /brokenbar 8#247 /section 8#250 /dieresis 8#251 /copyright 8#252 /ordfeminine 8#253 /guillemotleft 8#254 /logicalnot 8#255 /endash 8#256 /registered 8#257 /macron 8#260 /degree 8#261 /plusminus 8#262 /twosuperior 8#263 /threesuperior 8#264 /acute 8#265 /mu 8#266 /paragraph 8#267 /periodcentered 8#270 /cedilla 8#271 /onesuperior 8#272 /ordmasculine 8#273 /guillemotright 8#274 /onequarter 8#275 /onehalf 8#276 /threequarters 8#277 /questiondown 8#300 /Agrave 8#301 /Aacute 8#302 /Acircumflex 8#303 /Atilde 8#304 /Adieresis 8#305 /Aring 8#306 /AE 8#307 /Ccedilla 8#310 /Egrave 8#311 /Eacute 8#312 /Ecircumflex 8#313 /Edieresis 8#314 /Igrave 8#315 /Iacute 8#316 /Icircumflex 8#317 /Idieresis 8#320 /Eth 8#321 /Ntilde 8#322 /Ograve 8#323 /Oacute 8#324 /Ocircumflex 8#325 /Otilde 8#326 /Odieresis 8#327 /multiply 8#330 /Oslash 8#331 /Ugrave 8#332 /Uacute 8#333 /Ucircumflex 8#334 /Udieresis 8#335 /Yacute 8#336 /Thorn 8#337 /germandbls 8#340 /agrave 8#341 /aacute 8#342 /acircumflex 8#343 /atilde 8#344 /adieresis 8#345 /aring 8#346 /ae 8#347 /ccedilla 8#350 /egrave 8#351 /eacute 8#352 /ecircumflex 8#353 /edieresis 8#354 /igrave 8#355 /iacute 8#356 /icircumflex 8#357 /idieresis 8#360 /eth 8#361 /ntilde 8#362 /ograve 8#363 /oacute 8#364 /ocircumflex 8#365 /otilde 8#366 /odieresis 8#367 /divide 8#370 /oslash 8#371 /ugrave 8#372 /uacute 8#373 /ucircumflex 8#374 /udieresis 8#375 /yacute 8#376 /thorn 8#377 /ydieresis] def /Times-Roman /Times-Roman-iso isovec ReEncode /DrawEllipse { /endangle exch def /startangle exch def /yrad exch def /xrad exch def /y exch def /x exch def /savematrix mtrx currentmatrix def x y tr xrad yrad sc 0 0 1 startangle endangle arc closepath savematrix setmatrix } def /$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def /$F2psEnd {$F2psEnteredState restore end} def %%EndProlog $F2psBegin 10 setmiterlimit n -1000 7611 m -1000 -1000 l 7836 -1000 l 7836 7611 l cp clip 0.03000 0.03000 sc 7.500 slw % Ellipse n 2625 4725 1803 1803 0 360 DrawEllipse gs col0 s gr % Ellipse n 5025 4800 1803 1803 0 360 DrawEllipse gs col0 s gr % Ellipse n 1875 4725 106 106 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr % Ellipse n 5475 4800 106 106 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr /Times-Roman-iso ff 240.00 scf sf
3375 4725 m gs 1 -1 sc ( r-1 ) col0 sh gr /Times-Roman-iso ff 240.00 scf sf 3375 5010 m gs 1 -1 sc (elements) col0 sh gr $F2psEnd rs %%EndDocument @endspecial 1425 600 a currentpoint grestore moveto 1425 600 a 591 733 a Fl(Figur)o(e)11 b(1:)i Fk(r)q Fl(-subsets)8 b Fk(x;)f(y)k Fl(for)g(which)f Fk(p)1224 739 y Fi(x;y)1285 733 y Fj(6)p Fg(=)h(0)p Fl(.)0 869 y Fn(Lemma)f(3)21 b Fh(If)9 b(the)h(spectral)h(gap)f Fg(1)f Fj(\000)g Fk(\025)595 875 y Fe(2)614 869 y Fg(\()p Fk(P)d Fg(\))k Fh(of)h Fk(P)16 b Fh(is)10 b Fj(\025)h Fk(\016)r Fh(,)g(and)g(if)e Fk(m=)n(N)17 b Fg(=)1154 849 y Ff(j)p Fi(M)s Ff(j)p 1154 860 55 2 v 1157 883 a(j)p Fi(X)r Ff(j)1225 869 y Fj(\025)12 b Fk(\026)p Fh(,)f(then)f Fj(k)d Fk(P)1454 875 y Fi(M)1497 869 y Fj(k)12 b(\024)f Fg(1)e Fj(\000)1650 851 y Fi(\016)q(\026)p 1650 860 37 2 v 1660 883 a Fe(2)1691 869 y Fh(.)0 984 y Fl(W)l(e)h(omit)f(the)h(pr) o(oof)g(of)g(the)g(lemma.)0 1051 y(Now)g(we)g(would)h(like)f(an)h (explicit)g(description)g(of)f(the)g(matrix)g Fk(P)16 b Fl(so)10 b(that)g(we)g(can)h(compute)e(the)h(the)h(spectral)f(gap)g (for)0 1101 y(the)f(matrix.)k(Recall)c(fr)o(om)h(the)f(last)f(lectur)o (e,)j(that)e(the)g(state)f(space)h Fk(X)k Fl(of)c(the)g(walk)g(is)g (the)h(collection)f(of)g Fk(r)q Fl(-subsets)f(of)h Fg([)p Fk(n)p Fg(])p Fl(.)0 1151 y(Given)j(an)f Fk(r)q Fl(-subset)f Fk(x)p Fl(,)i(ther)o(e)f(ar)o(e)h Fk(r)q Fg(\()p Fk(n)e Fj(\000)g Fk(r)q Fg(\))h Fl(other)h Fk(r)q Fl(-subsets)d Fk(y)k Fl(r)o(eachable)f(by)g(swapping)e(one)h(of)g(the)g Fk(r)i Fl(elements)d(in)h Fk(x)0 1201 y Fl(with)i(one)h(of)f(the)g Fk(n)f Fj(\000)g Fk(r)i Fl(elements)f(not)g(in)h(the)f(subset.)22 b(Each)14 b(of)f(these)g Fk(r)q Fg(\()p Fk(n)f Fj(\000)g Fk(r)q Fg(\))i Fl(subsets)d Fk(y)16 b Fl(is)d(equally)h(likely)g(to)f (be)0 1250 y(chosen)d(as)g(the)g(next)g(state)f(of)h(the)g(Markov)h (chain.)j(Then)780 1356 y Fk(N)37 b Fg(=)c Fj(j)p Fk(X)s Fj(j)f Fg(=)1072 1298 y Fb(\022)1103 1328 y Fk(n)1105 1385 y(r)1128 1298 y Fb(\023)1158 1356 y Fk(;)0 1471 y Fl(and)608 1580 y Fk(p)629 1586 y Fi(x;y)719 1580 y Fg(=)793 1522 y Fb(\032)894 1535 y Fe(1)p 850 1542 106 2 v 850 1566 a Fi(r)q Fe(\()p Fi(n)p Ff(\000)p Fi(r)q Fe(\))1012 1552 y Fl(if)10 b Fj(j)p Fk(x)e Fj(\\)h Fk(y)q Fj(j)j Fg(=)g Fk(r)e Fj(\000)g Fg(1)892 1608 y(0)88 b Fl(otherwise)719 1696 y Fg(=)802 1668 y Fk(J)825 1674 y Fi(n;r)o(;r)q Ff(\000)p Fe(1)p 798 1686 148 2 v 798 1724 a Fk(r)q Fg(\()p Fk(n)9 b Fj(\000)g Fk(r)q Fg(\))950 1696 y Fk(;)0 1811 y Fl(wher)o(e)i Fk(J)148 1817 y Fi(n;r)o(;r)q Ff(\000)p Fe(1)274 1811 y Fl(is)f(a)g(boolean)g(matrix)g(indexed)i(by)e Fk(r)q Fl(-subsets)f(with)h(the)g Fg(\()p Fk(x;)d(y)q Fg(\))p Fl(th)j(entry)h Fg(=)h(1)e Fl(if)o(f)g(the)g(intersection)g Fk(x)f Fj(\\)g Fk(y)0 1861 y Fl(is)h(of)g(size)g Fk(r)g Fj(\000)f Fg(1)p Fl(.)0 1928 y(W)l(e)g(have)g(encounter)o(ed)h(the)f (collection)g(of)f(matrices)h Fk(J)887 1934 y Fi(n;k)q(;t)969 1928 y Fl(several)h(times)d(in)j(class)f(befor)o(e\227once)f(in)i(the)e (communica-)0 1978 y(tion)j(pr)o(otocol)g(for)g(sampling)f(disjoint)h (subsets,)f(and)i(once)f(in)h(the)e(Razbor)o(ov)h(lower)g(bound)h(for)f
(the)g(communication)0 2028 y(complexity)h(of)f(Set)g(Disjointness.)17 b(The)12 b(spectrum)f(of)h(the)f(matrices)h(is)f(well)h(known.)18 b(The)12 b(matrix)g Fk(J)1661 2034 y Fi(n;k)q(;t)1746 2028 y Fl(has)g(exactly)0 2078 y Fk(k)e Fg(+)g(1)g Fl(distinct)g (eigenvalues,)h(and)f(for)h Fk(k)h Fg(=)g Fk(r)f Fl(and)g Fk(t)g Fg(=)h Fk(r)e Fj(\000)g Fg(1)p Fl(,)g(these)g(ar)o(e:)529 2168 y Fk(\025)553 2174 y Fi(j)603 2168 y Fg(=)32 b(\()p Fk(r)10 b Fj(\000)g Fk(j)r Fg(\)\()p Fk(n)g Fj(\000)f Fk(r)q Fg(\))h Fj(\000)f Fk(j)r Fg(\()p Fk(r)i Fj(\000)e Fk(j)j Fg(+)e(1\))p Fk(;)47 b Fg(0)12 b Fj(\024)f Fk(j)j Fj(\024)e Fk(r)o(:)0 2277 y Fl(Note)d(that)f Fk(\025)205 2283 y Fi(j)232 2277 y Fl(is)h(a)g(decr)o(easing)h(function)f(of)f Fk(j)r Fl(,)j(and)e(ranges)g(fr)o(om)g Fk(r)q Fg(\()p Fk(n)c Fj(\000)g Fk(r)q Fg(\))k Fl(to)f Fj(\000)p Fk(r)q Fl(.)13 b(The)d(eigenvalues)f(of)g Fk(P)14 b Fl(ar)o(e)c Fk(\025)1814 2283 y Fi(j)1831 2277 y Fk(=r)q Fg(\()p Fk(n)5 b Fj(\000)0 2326 y Fk(r)q Fg(\))p Fl(.)18 b(W)l(e)11 b(may)h(assume)e(that)h Fk(r)k Fj(2)f Fk(o)p Fg(\()p Fk(n)p Fg(\))p Fl(.)k(Otherwise,)11 b(the)h(algorithm)f(may)h(as)f (well)g(query)i Fk(f)k Fl(at)11 b(all)h Fk(n)f Fl(points)g(and)h(solve) 0 2376 y(the)e(pr)o(oblem.)k(Thus,)d(the)f(eigenvalues)g(of)g Fk(P)16 b Fl(lie)11 b(in)g(the)f(range)h Fg([1)p Fk(;)c Fj(\000)p Fg(1)p Fk(=n)g Fj(\000)j Fk(o)p Fg(\(1)p Fk(=n)p Fg(\)])p Fl(.)j(Fr)o(om)e(this,)f(we)g(can)h(compute)e(the)0 2426 y(spectral)h(gap)g Fg(1)f Fj(\000)344 2409 y Fi(\025)364 2413 y Fa(1)p 310 2416 106 2 v 310 2440 a Fi(r)q Fe(\()p Fi(n)p Ff(\000)p Fi(r)q Fe(\))431 2426 y Fg(=)522 2410 y Fi(n)p 480 2417 V 480 2440 a(r)q Fe(\()p Fi(n)p Ff(\000)p Fi(r)q Fe(\))602 2426 y Fk(>)650 2410 y Fe(1)p 650 2417 17 2 v 650 2440 a Fi(r)672 2426 y Fl(.)0 2500 y(The)g(marked)g(states)e (in)i Fk(M)14 b Fl(ar)o(e)9 b(the)f Fk(r)q Fl(-subsets)f(that)h (contain)g(a)h(colliding)h(pair)f(of)f(elements.)j(This)e(collection)g (is)g(smallest)0 2550 y(when)h(we)g(have)h(exactly)f(one)g(pair)h(of)f (colliding)h(elements.)h(Then,)429 2676 y Fk(\026)33 b Fg(=)556 2647 y Fj(j)p Fk(M)5 b Fj(j)p 556 2666 68 2 v 560 2704 a(j)p Fk(X)s Fj(j)661 2676 y(\025)731 2608 y Fb(\000)769 2623 y Fi(n)750 2656 y(r)q Ff(\000)p Fe(2)809 2608 y Fb(\001)p 731 2666 97 2 v 750 2673 a(\000)769 2688 y Fi(n)771 2721 y(r)789 2673 y Fb(\001)865 2676 y Fg(=)1062 2647 y Fk(r)q Fg(\()p Fk(r)10 b Fj(\000)g Fg(1\))p 934 2666 399 2 v 934 2704 a(\()p Fk(n)g Fj(\000)f Fk(r)h Fg(+)g(2\)\()p Fk(n)f Fj(\000)h Fk(r)g Fg(+)f(1\))1370 2676 y Fj(\025)1453 2647 y Fk(r)1473 2632 y Fe(2)p 1440 2666 65 2 v 1440 2704 a Fg(2)p Fk(n)1486 2692 y Fe(2)1509 2676 y Fk(:)965 2825 y Fl(2)p eop %%Page: 3 3 3 2 bop 75 600 a gsave currentpoint currentpoint translate 0 neg rotate neg exch neg exch translate 75 600 a @beginspecial 0 @llx 0 @lly 319 @urx 131 @ury 4320 @rwi 1440 @rhi @setspecial %%BeginDocument: lec17-fig2.eps %!PS-Adobe-2.0 EPSF-2.0 %%Title: co781lec17-2.eps %%Creator: fig2dev Version 3.2 Patchlevel 1 %%CreationDate: Tue Jul 6 19:50:18 2004 %%For: [e-mail] (Kelly Itakura,,,,153 Weber St. North) %%Orientation: Portrait %%BoundingBox: 0 0 319 131
%%Pages: 0 %%BeginSetup %%EndSetup %%Magnification: 0.5000 %%EndComments /$F2psDict 200 dict def $F2psDict begin $F2psDict /mtrx matrix put /col-1 {0 setgray} bind def /col0 {0.000 0.000 0.000 srgb} bind def /col1 {0.000 0.000 1.000 srgb} bind def /col2 {0.000 1.000 0.000 srgb} bind def /col3 {0.000 1.000 1.000 srgb} bind def /col4 {1.000 0.000 0.000 srgb} bind def /col5 {1.000 0.000 1.000 srgb} bind def /col6 {1.000 1.000 0.000 srgb} bind def /col7 {1.000 1.000 1.000 srgb} bind def /col8 {0.000 0.000 0.560 srgb} bind def /col9 {0.000 0.000 0.690 srgb} bind def /col10 {0.000 0.000 0.820 srgb} bind def /col11 {0.530 0.810 1.000 srgb} bind def /col12 {0.000 0.560 0.000 srgb} bind def /col13 {0.000 0.690 0.000 srgb} bind def /col14 {0.000 0.820 0.000 srgb} bind def /col15 {0.000 0.560 0.560 srgb} bind def /col16 {0.000 0.690 0.690 srgb} bind def /col17 {0.000 0.820 0.820 srgb} bind def /col18 {0.560 0.000 0.000 srgb} bind def /col19 {0.690 0.000 0.000 srgb} bind def /col20 {0.820 0.000 0.000 srgb} bind def /col21 {0.560 0.000 0.560 srgb} bind def /col22 {0.690 0.000 0.690 srgb} bind def /col23 {0.820 0.000 0.820 srgb} bind def /col24 {0.500 0.190 0.000 srgb} bind def /col25 {0.630 0.250 0.000 srgb} bind def /col26 {0.750 0.380 0.000 srgb} bind def /col27 {1.000 0.500 0.500 srgb} bind def /col28 {1.000 0.630 0.630 srgb} bind def /col29 {1.000 0.750 0.750 srgb} bind def /col30 {1.000 0.880 0.880 srgb} bind def /col31 {1.000 0.840 0.000 srgb} bind def end save -6.0 178.0 translate 1 -1 scale /cp {closepath} bind def /ef {eofill} bind def /gr {grestore} bind def /gs {gsave} bind def /sa {save} bind def /rs {restore} bind def /l {lineto} bind def /m {moveto} bind def /rm {rmoveto} bind def /n {newpath} bind def /s {stroke} bind def /sh {show} bind def
/slc {setlinecap} bind def /slj {setlinejoin} bind def /slw {setlinewidth} bind def /srgb {setrgbcolor} bind def /rot {rotate} bind def /sc {scale} bind def /sd {setdash} bind def /ff {findfont} bind def /sf {setfont} bind def /scf {scalefont} bind def /sw {stringwidth} bind def /tr {translate} bind def /tnt {dup dup currentrgbcolor 4 -2 roll dup 1 exch sub 3 -1 roll mul add 4 -2 roll dup 1 exch sub 3 -1 roll mul add 4 -2 roll dup 1 exch sub 3 -1 roll mul add srgb} bind def /shd {dup dup currentrgbcolor 4 -2 roll mul 4 -2 roll mul 4 -2 roll mul srgb} bind def /DrawEllipse { /endangle exch def /startangle exch def /yrad exch def /xrad exch def /y exch def /x exch def /savematrix mtrx currentmatrix def x y tr xrad yrad sc 0 0 1 startangle endangle arc closepath savematrix setmatrix } def /$F2psBegin {$F2psDict begin /$F2psEnteredState save def} def /$F2psEnd {$F2psEnteredState restore end} def %%EndProlog $F2psBegin 10 setmiterlimit n -1000 6932 m -1000 -1000 0.03000 0.03000 sc /Times-Roman ff 375.00 scf 9600 3375 m gs 1 -1 sc (y3) col0 sh gr /Times-Roman ff 375.00 scf 9600 2850 m gs 1 -1 sc (y2) col0 sh gr /Times-Roman ff 375.00 scf 9525 2400 m gs 1 -1 sc (y1) col0 sh gr /Times-Roman ff 375.00 scf 1350 2400 m gs 1 -1 sc (x) col0 sh gr /Times-Roman ff 375.00 scf 6900 2700 m gs 1 -1 sc (Px,y2) col0 sh /Times-Roman ff 375.00 scf 4725 2325 m gs 1 -1 sc (Px,y1) col0 sh % Polyline
l 11808 -1000 l 11808 6932 l cp clip sf sf sf sf sf gr sf gr
7.500 slw n 1725 5100 % Polyline n 1725 5100 % Polyline n 2025 4275 % Polyline n 2025 4200 % Polyline n 1425 2700 % Polyline n 1425 2625 % Polyline n 1500 2625 % Ellipse n 9375 3225
m 9375 3225 l gs 0.00 setgray ef gr gs col0 s gr m 9375 2775 l gs 0.00 setgray ef gr gs col0 s gr m 9225 4950 l gs 0.00 setgray ef gr gs col0 s gr m 9150 4425 l gs 0.00 setgray ef gr gs col0 s gr m 9375 3300 l gs 0.00 setgray ef gr gs col0 s gr m 9375 2700 l gs 0.00 setgray ef gr gs col0 s gr m 9225 2325 l gs 0.00 setgray ef gr gs col0 s gr 106 106 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr
% Ellipse n 9375 2700 106 106 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr % Ellipse n 9300 2294 106 106 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr % Ellipse n 9225 4950 106 106 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr % Ellipse n 9225 4425 106 106 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr % Ellipse n 1725 5100 106 106 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr % Ellipse n 2025 4275 106 106 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr % Ellipse n 1425 2625 106 106 0 360 DrawEllipse gs 0.00 setgray ef gr gs col0 s gr % Ellipse n 9375 3750 1425 2175 0 360 DrawEllipse gs col0 s gr % Ellipse n 1650 3750 1425 2175 0 360 DrawEllipse gs col0 s gr $F2psEnd rs %%EndDocument @endspecial 1875 600 a currentpoint grestore moveto 1875 600 a 501 733 a Fl(Figur)o(e)11 b(2:)i(A)e(bipartite)f(version)g(of)g(the)g(classical)g(walk)g Fk(P)c Fl(.)0 868 y(Invoking)k(the)f(Lemma)g(3)g(above,)h(we)f(have)h Fj(k)c Fk(P)768 874 y Fi(M)812 868 y Fj(k)11 b(\024)h Fg(1)6 b Fj(\000)976 851 y Fi(r)p 958 858 54 2 v 958 882 a Fe(4...