arxiv:0708.3709v1 [math.gm] 28 Aug 2007 ÅÁýÆ ÍÄÁ À A,B ÍËÌ ÎÇ ÍÆ Ë A,B Ä ÇÈÇÄ Ç Ê Î ÄÁ C ÌÊÁ ÊÍÁ D Å ÊÁÇ Ê Î ÄÁ A,B A Ô ÖØ Ñ ÒØÓ ÙÐØ Ò Ü Ø ÍÒ Ú Ö Æ ÓÒ Ð Ä ÈÐ Ø Ö ÒØ Ò B Ä ÓÖ ØÓÖ Ó ÈÖÓ Ñ ÒØÓ Ä Ö ÒØÖÓ ÒÚ Ø ÓÒ ÔØ Ä ÈÐ Ø Ö ÒØ Ò C Ö Ò Ù Þ ËÔ Ò D ÒØÖÓ ÒÚ Ø ÓÒ ÔØ Ä ÈÐ Ø Ö ÒØ Ò ¹Ñ Ð Ö Ñ Ò ÙÐ ÙÐ ÓÔºÙÒÐÔº Ùº Ö Ù Ø ÚÓ ÙÒ Ù¹ Ò ÓÔºÙÒÐÔº Ùº Ö Å Ö Ó Ö Ú Ð Ö Ú Ð Ñ ÓÔºÙÒÐÔº Ùº Ö ØÖ Øº ÁÒ Ø Ô Ô Ö Û Ö Ú Û Ø ÔÖÓÔ ÖØ Ó Ñ Ð Ó ÒÙÑ Ö Ó Ø ÓÖÑ n±1 Û Ø n ÒØ Ö Ò Û Ø Ö Ö ÐÐ ÔÖ Ñ ÒÙÑ Ö Ö Ø Ö Ø Ò Ò ÓØ Ö ÓÑÔÓÙÒ ÒÙÑ Ö Û Ø Ô ÖØ ÙÐ Ö ÔÖÓÔ ÖØ µ ØÓ Ð Ø Ö Ù Ø Ñ Ò Ò Û Ú Ø Ø ÐÐÓÛ Ø Ô Ö Ø ÓÒ Ó ÒÙÑ Ö n Ø Ø Ò Ö Ø ÔÖ Ñ ÖÓÑ Ø Ó Ø Ø ÓÒÐÝ Ò Ö Ø ÓÑÔÓÙÒ º ÁÒ ÔÖ Ò ÔÐ Ø Ò Ù ØÓ Ò Ø ÑÓÙÒØ Ó ÔÖ Ñ ÒÙÑ Ö ÙÔ ØÓ Ú Ò ÒÙÑ Ö h Ø Ñ Ò π(h)º Ã Ý ÛÓÖ Ò Ô Ö ÈÖ Ñ ÒÙÑ Ö Ú ÔÖ Ñ ÓÙÒØ Ò ÙÒØ ÓÒº ½º ÁÒØÖÓ ÙØ ÓÒ Ò ÓÐ ÔÖÓ Ð Ñ Ò Ñ Ø Ñ Ø Ø Û Ý ØÓ ÓÑÔÙØ Ø ÑÓÙÒØ Ó ÔÖ Ñ ÒÙÑ Ö Ð ÓÖ ÕÙ Ð ØÓ Ú Ò Ú ÐÙ h ½ Ôº º Ì ÙÒØ ÓÒ ÒÓÛÒ π(h) º Ì ÔÖ Ñ Ò ÒØ Ñ Ø Ó ÓÖ Ù Ø Ò Ø Ö ÒØÙÖÝ Û Ø Ú Ó Ö ØÓ Ø Ò Ò Ø Ö Û Ö ÒÓ Ö Ø Ú Ò ÓÒ Ø Ù Ø ÙÒØ Ð Ø ÛÓÖ Ó Ù Ò ½ ½ Ôº ¾ Û Ð Ó ÐÐÓÛ ÑÓÖ Ú Ò ¾ ÐÓÒ Û Ø Ø ÖÓÛØ Ó ÐÙÐ Ø ÓÒ ÔÓÛ Ö Ò Ø ¾¼Ø ÒØÙÖݺ Ê ÒØ ÑÔÐ Ñ ÒØ Ø ÓÒ Ö ÕÙ Ö Ú Ö Ö Ð Ø Ú ÐÝ Ð ÓÖ Ø ÓÑÔÙØ Ø ÓÒ Ð ØÖ Ø º ÁÒ Ø Ô Ô Ö Û Û ÐÐ ØÙ Ý Ø ÔÖÓ Ð Ñ Ò Ò Ò Û Ú Û Ó ÔÖÓÔ ÖØ Ô ÖÑ Ø Ò Ð Ñ ÒØ ÖÝ ØÙ Ý Ó π(h) Ò Ð Ó Ø ÔÓ Ð ØÝ Ó Ò Ò Ø Ú ÐÙ ÓÒ Ú Ò ÒØ ÖÚ Ðº ¾º ÓÙØ Ø ÓÖÑ n+1 Ï Ò Û Ø Ú ÖÝ Û ÐÐ ÒÓÛÒ Ö ÙÐØ Ì ÓÖ Ñ ¾º½º Ú ÖÝ ÔÖ Ñ ÒÙÑ Ö Ó ÓÐÙØ Ú ÐÙ Ö Ø Ö Ø Ò Ò ÛÖ ØØ Ò Ò Ø ÓÖÑ n+1 ÓÖ n 1º ÈÖÓÓ º Ä Ø³ Ø ÕÙ Ú Ð Ò ÑÓ ÙÐÓ º ËÙÔÔÓ q ÔÖ Ñ º ½µ Á q = 0 q = n q ˺ ¾µ Á q = 1 q = n+1 Û ÒÓØ ÑÔÓ Ð Ò 7 = +1 ÔÖ Ñ º Ø Ù Ù Ø ¾ Ø ¾¼¼ º ½
¾ n β n = n 1 α n = n+1 ¹ ¹ ½ ¹¾ ¹ ¹¾ ¹¾ ¹ ¹½ ¹½ ¹¾ ¹½ ¹½½ ¹½ ¹ ¹ ¼ ¹½ ½ ½ ¾ ½½ ½ ½ ½ ¾ ¾ ¾ ½ Ì Ð ½º Î ÐÙ Ó n 1 Ò n+1 ÓÖ Ú Ö Ð nº Ï Ø µ Û Ñ Ö ÔÖ Ñ ÒÙÑ Ö º µ Á q = 2 q = n+2 = 2(3n+1) 2 q ˺ µ Á q = 3 q = n+3 = 3(2n+1) 3 q ˺ µ Á q = 4 q = n+4 = 2(3n+2) 2 q ˺ µ Á q = 5 q = n+5 = n+ 1 = (n+1) 1 Û ÒÓØ ÑÔÓ Ð Ò Û Ø n = 1 Ø Ú ½½ ÔÖ Ñ º Ò Ø ÓÒ ¾º¾º Ì α Ð Ó ÒØ Ö ÒÙÑ Ö Ø Ø ½µ α = {x Z/x = n+1,n Z} Ò Ø ÓÒ ¾º º Ì β Ð Ó ÒØ Ö ÒÙÑ Ö Ø Ø ¾µ β = {x Z/x = n 1,n Z} Ì Ö ÒØ Ú ÐÙ Ó Ö Ð Ø ÓÒ Ò ½µ Ò ¾µ Ö ÓÛÒ Ò Ø Ð ½º ËØÖ ØÐÝ Ô Ò ÓÑÔÐ Ø Ð Ø Ó ÐÐ ÔÖ Ñ ÒÙÑ Ö Ó ÓÐÙØ Ú ÐÙ Ö Ø Ö Ø Ò {..., 7, 5,5,7,...}µ Ø Ð Ø Ó ÔÖ Ñ ÖÓÑ ÓØ Ð º Ï ÒÓÛ Ø Ø ÔÖÓÔ ÖØÝ Ú Ò Ò Û Ö ÔÖÓ ÙØ ÖÙÐ Ö ÔÖÓÚ Ø ÓÖ Ñ α β α α β β β α Ì Ð ¾º Ì Ð Ó ÔÖÓ ÙØ º Ì ÓÖ Ñ ¾º º Ú ÖÝ ÔÖ Ñ ÒÙÑ Ö Ó ÓÐÙØ Ú ÐÙ Ö Ø Ö Ø Ò Ü ÔØ ÓÖ Ø Òµ Ò Ö Ø Ý n+1 Û Ø n ÒØ Öº ÈÖÓÓ º Ï ÑÙ Ø ÔÖÓÚ Ø ÕÙ Ú Ð Ò Ü ÔØ ÓÖ Ø Òµ ØÛ Ò ÓØ Ñ Ð Ú Ò Ò Ì ÓÖ Ñ ¾º½º Ä Ø f α (n) = n+1 Ò f β (n) = n 1 Û ÑÙ ÒÓÛ ÔÖÓÚ Ø Ø f α ( n) = f β (n)º ÁÒ f α ( n) = ( n)+1 = n+1 = (n 1) = f β (n)
Ò Ø ÓÒ ¾º º Ï Ò Ø Ø Ó ÒØ Ö ÒÙÑ Ö G α µ G α = {g Z/g+1 ÔÖ Ñ } Ì Ñ Ò G α Ø Ø Ó ÐÐ ÒÙÑ Ö Ø Ø Ü ÔØ ÓÖ Ø Òµ Ò Ö Ø ÐÐ ÔÖ Ñ Ó ÓÐÙØ Ú ÐÙ Ö Ø Ö Ø Ò Ý Ø Ö Ð Ø ÓÒ Ô ½µº º Ì Ú Ò Ø ÓÒ º½º Ä Ø A Ò Ò Ò Ø Ñ ØÖ Ü Û Ó Ð Ñ ÒØ a(i,j) ½ µ Û Ö i,j Zº a(i,j) = i+j(i+1) ÆÓØ Ø Ø ÒÙÑ Ö ÓÒ Ø Ü Ð Ó Ñ Ø Ø Ö ÔÖ ÒØ Ø ÓÒº º 9 71 4 21 4 29 54 79 104 73 54 35 1 3 22 41 0 50 37 24 11 2 15 28 27 20 13 1 8 4 3 2 1 0 1 2 3 4 19 14 9 4 1 42 31 20 2 5 48 3 88 4 º½º ÈÖÓÔ ÖØ º º Ì ÓÖ Ñ º¾º A ÝÑÑ ØÖ Ðº ÈÖÓÓ º ÑÔÐ ÜÔ Ò ÓÒ ÓÛ Ø Ø a(i,j) = i+j(i+1) = i+ij +j = j +i(j +1) = a(j,i) Ò Ø ÓÒ º º Ä Ø Ã Ø Ø Ó ÙÒÖ Ô Ø Ð Ñ ÒØ Ó A ÜÐÙ Ò Ø Ü Ø Ð Ñ ÒØ Ó Ø ÓÖÑ a(i,0) Ý a(0,j)µº º½º½º ÓÙØ Ø Ò Ó Ø Ð Ñ ÒØ Ó ÁÁ ÁΠú ÓÙÖ ÕÙ Ö ÒØ Ò Ò Á ÁÁÁ Ï Ø ÔÔ Ò ØÓ Ø Ò Ó Ø Ð Ñ ÒØ Ó Ã ÖÓÑ ÕÙ Ö ÒØ Ù Ó Ì ÓÖ Ñ º¾ Û ÓÙÐ ÓÒÐÝ ÓÙ ÓÒ Ø Ò Ó Ð Ñ ÒØ Ó Ã ÓÖ Ò ÐÐÝ ÖÓÑ ÕÙ Ö ÒØ Á ÁÁ Ò Áκ ÁÒ ÕÙ Ö ÒØ Á i 1 j 1µ ÐÐ Ð Ñ ÒØ Ö ÔÓ Ø Ú ÁÒ ÕÙ Ö ÒØ ÁÁ i 1 j 1µ Áس Ý ØÓ Ø Ø j(i+1) 0 Ø Ò ã(i,j) 0 i,jº ÁÒ ÕÙ Ö ÒØ ÁÎ i 1 j 1µ i+j(i+1) = i+j +ijº (i+j) 1 Ý ij i+j 1º Ì Ò Ø Ò ÔÓ Ø Ú º ½ ÓÓÖ Ò Ø Ö Ò Ø ÖØ Ò Ò º
Ì ÓÖ Ñ º º Ì Ð Ñ ÒØ Ó Ã Ç ÆÇÌ Ò Ö Ø ÔÖ Ñ ÒÙÑ Ö º ÈÖÓÓ º ã(i,j) = i+j(i+1) Û Ø i 0 Ý j 0º Á Û ÔÙØ Ø ÒØÓ ½µ Ò ÙÔÔÓ p ÔÖ Ñ Ø Ò p = ã(i,j)+1 = (i+j(i+1))+1 = i+j(i+1)+1 = (i+1)+j(i+1) = (i+1)(j +1) ÙØ Ò i Ò j Ö Ö ÒØ ÖÓÑ Þ ÖÓ Ø Ò p ÛÓÙÐ ÓÑÔÓÙÒ Ëº Ê Ñ Ö º º ÓÖ Ò ØÓ Ø Ò Ó i Ò j ã(i,j)+1 Û Ô Ü ÔØ ÓÖ Ø Òµ ÐÐ ÔÓ Ð Ø ½µ Á i > 0 Ý j > 0 Ø Ò Ö Ø ÒÙÑ Ö Ó Ø ÓÖÑ α αº ¾µ Á i < 0 Ý j < 0 Ø Ò Ö Ø ÒÙÑ Ö Ó Ø ÓÖÑ β βº µ Á i Ý j Ú ÓÔÔÓ Ø Ò Ø Ò Ö Ø ÒÙÑ Ö Ó Ø ÓÖÑ α βº Ë Ì Ð ¾ ÓÖ ÔÖÓÔ ÖØ Ó ÔÖÓ ÙØ Ó α³ Ò β³ º º Ä ÓÔÓÐ Ó³ Ì ÓÖ Ñ Ì ÓÖ Ñ º½º Ä ÓÔÓÐ Ó³ Ì ÓÖ Ñµ G α = Z à ÈÖÓÓ º Ú ÖÝ ÔÖ Ñ ÒÙÑ Ö Ó ÓÐÙØ Ú ÐÙ Ö Ø Ö Ø Ò Ø Ö α ÓÖ β Ò ÔÖÓ ÙØ ØÛ Ò Ø Ó Ð Ó ÕÙ Ú Ð Ò Ö ÐÓ ÓÒ Ø Ñ ÐÚ º Ù Ó Ì ÓÖ Ñ º Ò Ê Ñ Ö º Û ÒÓÛ Ø Ø Ã Ò Ö Ø ÐÐ ÔÓ Ð α Ò β ÓÑÔÓÙÒ ÒÙÑ Ö Ò Ó Ø Ð Ñ ÒØ n Ó Z / Ã Ò Ö Ø ÔÖ Ñ ÒÙÑ Ö Ý n+1º º ÓÒÐÙ ÓÒ ÆÙÑ Ö Ò Ã Ö Ý ØÓ Ò Ö Ø º ÀÓÛ Ú Ö Ø Ú ÐÙ Ö Ö Ô Ø º Á Ò ÓÖ Ö Ò Ó Ø Ð Ñ ÒØ ÔÓ Ð Ø Ò ÓÑÔ Ö Ò Ø Ñ Û Ø Z Û ÐÐ Ú Ð Ø Ó Ø Ú ÐÙ Ò G α º Ì Ü Ø Ò Ó Ø Ã¹Ð Ð Ñ ÒØ Ò ÒÓÛÒ ÓÖ ÐÓÒ Ø Ñ ½ Ôº ÙØ Ú Ò ÓÒ Ö ÑÔÖ Ø Ð ØÓ Ò ÔÖ Ñ º ÁÒ Ø Ú Ö ÔÖ ÒØ Ø ÓÒ Ø ÒÙÑ Ö Ó ÔÖ Ñ ØÛ Ò ØÛÓ Ú Ò Ú ÐÙ h 1 = c 1 1 Ò h 2 = c 2 +1 Û Ö c 1 Ò c 2 Ò ÓØ Ö Ö Ø Ö Ø Ò Þ ÖÓ ÛÓÙÐ µ π(h 2 ) π(h 1 ) = 2(c 2 c 1 ) Λ(c 1,c 2 )+ξ Û Ö Λ(c 1,c 2 ) ÛÓÙÐ ÔÖÓ ÙÖ Ø Ø ÛÓÙÐ ÓÙÒØ ÐÐ ÒÓÒ Ö Ô Ø Ú ÐÙ Ó Ã Ò ξ ØØ Ò ØÓÖº Û Ý Ó Ó Ò Ø Û ÐÐ Ø Ù Ø Ó ÙØÙÖ Ô Ô Öº Ú Ò Ø Ú ÐÙ Ó π(h 1 ) π(h 2 ) ÛÓÙÐ ÓÑÔÙØ Ð Û Ø µº º ÒÓÛÐ Ñ ÒØ Ñ Ò ÙÐ Ò Ù Ø ÚÓ ÙÒ Ö Ò Ò ÐÐÝ ÙÔÔÓÖØ Ý ØÙ ÒØ Ð¹ ÐÓÛ Ô ÖÓÑ Ø ÁÆÆÇÎ Ì ÓÙÒ Ø ÓÒ Ö ÒØ Ò º Ñ Ò ÙÐ Ò Ù Ø ÚÓ ÙÒ Ø Ò Öº Å Ö Ó Ö Ú Ð ÓÖ ÒÚÓÐÚ Ò Ø Ñ Ò Ø Ð Ò Ó Ö Ö º Ñ Ò ÙÐ Ø Ø Ô Ô Ö ØÓ ÅÅ Ò ØÓ Ò Û Ò ÒØÓÒ ÅÓÒØ º Ê Ö Ò ½ ÓÒ Ä ÓÒ Ö Ù Ò º ½ ¾µ À ØÓÖÝ Ó Ø Ø ÓÖÝ Ó ÒÙÑ Ö ÎÓк ½µ Æ Û ÓÖ Æº º Ð ÈÙ Ð Ò ÓÑÔ Òݺ ¾ À Ö Ý º À Ò ÏÖ Ø º ź ½ ¾µ Ò ÒØÖÓ ÙØ ÓÒ ØÓ Ø Ø ÓÖÝ Ó ÒÙÑ Ö Ø ºµ ÇÜ ÓÖ ÇÜ ÓÖ Ø Ø Ð Ö Ò ÓÒ ÈÖ º Ï Ø Ò Ö Ïº ÈÖ Ñ ÓÙÒØ Ò ÙÒØ ÓÒº ÖÓÑ Å Ø ÏÓÖÐ ÏÓÐ Ö Ñ Ï Ê ÓÙÖ º ØØÔ»»Ñ Ø ÛÓÖÐ ºÛÓÐ Ö ÑºÓÑ»ÈÖ Ñ ÓÙÒØ Ò ÙÒØ ÓÒº ØÑÐ Ö Ú Ð Ä ÓÔÓÐ Ó Ò Ö Ú Ð Å Ö Óº ¾¼¼ µ ÇÒ Ø ÐÓ Ø ÓÒ Ò Ð Ø ÓÒ Ó ÐÐ ÔÖ Ñ ÒÙÑ Ö º Ö Ú ¼ ¼ º½¼ ½Ú½ Ñ Ø º Å º ØØÔ»» ÖÜ ÚºÓÖ
РРź Ò Ê Ú Ø Âº ½ µ ÇÅÈÍÌÁÆ π(x) Ì Å Ð Ä Ñ Ö Ä Ö Å ÐÐ Ö Ç ÐÝÞ Ó Ñ Ø Ó º Å Ø Ñ Ø Ó ÓÑÔÙØ Ø ÓÒ ÎÓк Æ Ó ¾½ µº Â Ò ½ Ⱥ ¾ ¹ ¾ º