Вы находитесь на странице: 1из 21

ÆÝÒÔ, 2001, òîì 120, âûï. 5 (11), ñòð.

12881308 2001

ÒÅÌÎÄÈÍÀÌÈÊÀ È ÒÎÏÎËÎ Èß ÍÅÓÏÎßÄÎ×ÅÍÍÛÕ

ÑÈÑÒÅÌ: ÑÒÀÒÈÑÒÈÊÀ ÄÈÀ ÀÌÌ ÑËÓ×ÀÉÍÛÕ ÓÇËÎÂ

ÍÀ ÊÎÍÅ×ÍÛÕ ÅØÅÒÊÀÕ

a*
Î. À. Âàñèëüåâ , Ñ. Ê. Íå÷àåâ
a;b **
a
Èíñòèòóò òåîðåòè÷åñêîé èçèêè èì. Ë. Ä. Ëàíäàó îññèéñêîé àêàäåìèè íàóê
117334, Ìîñêâà, îññèÿ
b
UMR 8626, CNRSUniversite Paris XI, LPTMS, Universite Paris Sud
91405, Orsay Cedex, Fran e

Ïîñòóïèëà â ðåäàêöèþ 7 ìàÿ 2001 ã.

Àíàëèòè÷åñêèìè è ÷èñëåííûìè ìåòîäàìè èññëåäîâàíû ñòàòèñòè÷åñêèå ñâîéñòâà ñëó÷àéíûõ ðåøåòî÷-


íûõ óçëîâ, òîïîëîãèÿ êîòîðûõ îïðåäåëÿåòñÿ àëãåáðàè÷åñêèìè òîïîëîãè÷åñêèìè èíâàðèàíòàìè Äæîíñà
Êàóìàíà. Ïðåäñòàâëåíèå ïîëèíîìèàëüíîãî èíâàðèàíòà Êàóìàíà ñëó÷àéíîé äèàãðàììû óçëà â âèäå
ñòàòñóììû ìîäåëè Ïîòòñà ñî ñëó÷àéíîé êîíèãóðàöèåé åððî- è àíòèåððîìàãíèòíûõ ñâÿçåé ïîçâîëè-
ëî èçó÷èòü âåðîÿòíîñòü ðàñïðåäåëåíèÿ ñëó÷àéíûõ ïëîòíûõ óçëîâ íà ïëîñêîé êâàäðàòíîé ðåøåòêå ïî
òîïîëîãè÷åñêèì êëàññàì. Òîïîëîãè÷åñêèé êëàññ õàðàêòåðèçóåòñÿ ñòàðøåé ñòåïåíüþ ïîëèíîìèàëüíîãî
èíâàðèàíòà Êàóìàíà è èíòåðïðåòèðóåòñÿ êàê ñâîáîäíàÿ ýíåðãèÿ q -êîìïîíåíòíîé ñïèíîâîé ñèñòåìû
Ïîòòñà ïðè q ! 1. Ïîêàçàíî, ÷òî ñòàðøàÿ ñòåïåíü èíâàðèàíòà Êàóìàíà óçëà êîððåëèðóåò ñ ìè-
íèìàëüíîé ýíåðãèåé ñîîòâåòñòâóþùåé ñïèíîâîé ñèñòåìû Ïîòòñà. Ñ ïîìîùüþ ìåòîäà òðàíñåð-ìàòðèö
÷èñëåííî èññëåäîâàíà âåðîÿòíîñòü ðàñïðåäåëåíèÿ óçëîâ ïî òîïîëîãè÷åñêèì êëàññàì â çàâèñèìîñòè îò
òèïîâ ëîêàëüíûõ ïåðåñå÷åíèé è ðàçìåðà ïëîñêîé äèàãðàììû óçëà. Ïîëó÷åííûå ðåçóëüòàòû ñîïîñòàâ-
ëåíû ñ âåðîÿòíîñòüþ ðàñïðåäåëåíèÿ ìèíèìàëüíîé ýíåðãèè ñèñòåìû Ïîòòñà ñî ñëó÷àéíûìè åððî- è
àíòèåððîìàãíèòíûìè ñâÿçÿìè.

PACS: 75.10.Nr, 02.40.Re, 05.50.+q

1. ÂÂÅÄÅÍÈÅ öåïëåíèé íà îñíîâå ðåøåíèé ðÿäà èíòåãðèðóåìûõ


ìîäåëåé, à ñ äðóãîé ñòîðîíû  èçè÷åñêèå çàäà÷è
îïðåäåëåíèÿ ýíòðîïèè ñëó÷àéíûõ óçëîâ è çàöåïëå
Íîâûå èíòåðåñíûå çàäà÷è ïîÿâëÿþòñÿ â íàñòî íèé.  äàëüíåéøåì ìû áóäåì óäåëÿòü âíèìàíèå â
ÿùåå âðåìÿ, êàê ïðàâèëî, íà ñòûêå òðàäèöèîííûõ îñíîâíîì èìåííî ýòèì âîïðîñàì, êîòîðûå äîñòàòî÷
îáëàñòåé. Ýòî ÿðêî äåìîíñòðèðóåò ñòàòèñòè÷åñêàÿ íî óñëîâíî ìîæíî âûäåëèòü â ïîäîáëàñòü ¾âåðîÿò
èçèêà ìàêðîìîëåêóë, êîòîðàÿ âîçíèêëà èç âçàè íîñòíî-òîïîëîãè÷åñêèõ¿ çàäà÷ [1℄. Îñòàíîâèìñÿ íà
ìîïðîíèêíîâåíèÿ èçèêè òâåðäîãî òåëà, ñòàòèñòè ýòîì êðóãå âîïðîñîâ íåñêîëüêî ïîäðîáíåå.
÷åñêîé èçèêè è áèîèçèêè. Äðóãèì ïðèìåðîì íî
âîé îáëàñòè, îðìèðóþùåéñÿ â íàñòîÿùåå âðåìÿ, àññìîòðèì ðåøåòêó, âëîæåííóþ â òðåõìåðíîå
ÿâëÿåòñÿ ñòàòèñòè÷åñêàÿ òîïîëîãèÿ, ðîäèâøàÿñÿ èç ïðîñòðàíñòâî, è ïóñòü

 àíñàìáëü âñåõ âîçìîæ


ñëèÿíèÿ ñòàòèñòè÷åñêîé èçèêè, òåîðèè èíòåãðèðó íûõ çàìêíóòûõ ñàìîíåïåðåñåêàþùèõñÿ òðàåêòîðèé
åìûõ ñèñòåì, àëãåáðàè÷åñêîé òîïîëîãèè è òåîðèè èç N øàãîâ ñ èêñèðîâàííîé òî÷êîé. Îáîçíà÷èì ÷å
ãðóïï. Ê îáëàñòè ñòàòèñòè÷åñêîé òîïîëîãèè îòíî ðåç ! íåêîòîðóþ êîíêðåòíóþ ðåàëèçàöèþ òðàåêòî
ñÿòñÿ, ñ îäíîé ñòîðîíû, ìàòåìàòè÷åñêèå ïðîáëåìû ðèè. Íàøà çàäà÷à çàêëþ÷àåòñÿ â âû÷èñëåíèè âåðî
ïîñòðîåíèÿ òîïîëîãè÷åñêèõ èíâàðèàíòîâ óçëîâ è çà ()
ÿòíîñòè P ! òîãî, ÷òî óçåë, îáðàçîâàííûé òðàåê

òîðèåé ! 2 , ïðèíàäëåæèò íåêîòîðîìó çàäàííîìó


* E-mail: vasilyevitp.a .ru òîïîëîãè÷åñêîìó òèïó. Ôîðìàëüíî ñêàçàííîå âûøå
** E-mail: ne haevlitp.a .ru ìîæíî çàïèñàòü ñëåäóþùèì îáðàçîì:

1288
ÆÝÒÔ, òîì 120, âûï. 5 (11), 2001 Òåðìîäèíàìèêà è òîïîëîãèÿ íåóïîðÿäî÷åííûõ ñèñòåì : : :

Êàê âñåãäà, êîãäà ðå÷ü çàõîäèò î òîïîëîãè÷å

P fInvg =
1 X ÆnInv(!) Invo; (1)
ñêèõ çàäà÷àõ, âîçíèêàåò ïðîáëåìà êëàññèèêàöèè
òîïîëîãè÷åñêèõ ñîñòîÿíèé. Òðàäèöèîííûé òîïîëî
N (
) f!2
g ãè÷åñêèé èíâàðèàíò  èíâàðèàíò àóññà  íå ïîä
õîäèò äëÿ íàøèõ öåëåé, ïîñêîëüêó ÿâëÿåòñÿ àáåëå
ãäåInv( )
!  óíêöèîíàëüíîå ïðåäñòàâëåíèå èíâà âûì (êîììóòàòèâíûì) è ó÷èòûâàåò ëèøü ¾êóìóëÿ
ðèàíòà óçëà äëÿ òðàåêòîðèè ! , à Inv
 êîíêðåò òèâíûé ýåêò¿ îò çàöåïëåíèé, íå ïðèíèìàÿ âî âíè
íûé òîïîëîãè÷åñêèé èíâàðèàíò, êîòîðûé õàðàêòå ìàíèå òî, ÷òî òîïîëîãè÷åñêîå ñîñòîÿíèå ñóùåñòâåí
ðèçóåò èíòåðåñóþùèé íàñ òîïîëîãè÷åñêèé òèï óçëà íûì îáðàçîì çàâèñèò îò ïîñëåäîâàòåëüíîñòè, â êîòî
èëè çàöåïëåíèÿ, N (
)
 îáùåå ÷èñëî òðàåêòîðèé, ðîé îðìèðîâàëîñü çàöåïëåíèå. Íàïðèìåð, ïðè çà
Æ  äåëüòàóíêöèÿ. Âåðîÿòíîñòü äîëæíà óäîâëå öåïëåíèè íåêîòîðîé ¾ïðîáíîé¿ òðàåêòîðèè çà äâà
òâîðÿòü óñëîâèÿì íîðìèðîâêè èëè áîëüøåå ÷èñëî ïðåïÿòñòâèé, ñóùåñòâóþò êîí
X èãóðàöèè, çàöåïëåííûå çà íåñêîëüêî ïðåïÿòñòâèé
P fInvg = 1: ñðàçó, íî íå çàöåïëåííûå çà êàæäîå ïðåïÿòñòâèå â
fInvg îòäåëüíîñòè. Â ñâÿçè ñ ýòèì ñòàíîâèòñÿ ÿñíî, ÷òî
Ýíòðîïèåé S óçëà çàäàííîãî òîïîëîãè÷åñêîãî òèïà ñàìûå î÷åâèäíûå âîïðîñû, êàñàþùèåñÿ âû÷èñëåíèÿ
íàçîâåì âûðàæåíèå âåðîÿòíîñòè îáðàçîâàíèÿ óçëà ïðè ñëó÷àéíîì çàìû
êàíèè êîíöîâ òðàåêòîðèè, íå ìîãóò áûòü ðåøåíû
S fInvg = ln P fInvg: (2) ïðè ïîìîùè èíâàðèàíòà àóññà èç-çà åãî íåïîëíîòû.
Ïðåäëîæåííûé â 1928 ã. ïîëèíîìèàëüíûé èíâà
Îïèðàÿñü íà îïðåäåëåíèÿ, ïðèâåäåííûå âûøå, ðèàíò Àëåêñàíäåðà îêàçàëñÿ âåñüìà ïîëåçíûì äëÿ
íåòðóäíî çàìåòèòü, ÷òî âåðîÿòíîñòíî-òîïîëîãè- êëàññèèêàöèè óçëîâ. Ïðîðûâ â ýòîé îáëàñòè áûë
÷åñêèå çàäà÷è èìåþò ñõîäñòâî ñ çàäà÷àìè èçèêè ñäåëàí â 19751976 ãã. â ðàáîòàõ [2℄, â êîòîðûõ áû
íåóïîðÿäî÷åííûõ ñèñòåì è â íåêîòîðûõ ñëó÷à ëî ïðåäëîæåíî èñïîëüçîâàòü ïîëèíîìèàëüíûå èíâà
ÿõ, êàê áóäåò ïîêàçàíî äàëåå, ñ òåðìîäèíàìèêîé ðèàíòû Àëåêñàíäåðà äëÿ êëàññèèêàöèè òîïîëîãè
ñïèí-ñòåêîëüíûõ ñèñòåì. À èìåííî, òîïîëîãè ÷åñêîãî ñîñòîÿíèÿ çàìêíóòûõ ñëó÷àéíûõ òðàåêòî
÷åñêîå ñîñòîÿíèå èãðàåò ðîëü ¾çàìîðîæåííîãî ðèé, ãåíåðèðîâàííûõ íà êîìïüþòåðå ìåòîäîì Ìîí
áåñïîðÿäêà¿; óñðåäíåíèå óíêöèîíàëà P f g Inv òå-Êàðëî. Ïîñëå ýòèõ ðàáîò ñòàëî ÿñíî, ÷òî ïîëèíî
îñóùåñòâëÿåòñÿ ïî ëóêòóàöèÿì òðàåêòîðèè ïðè ìû Àëåêñàíäåðà, ÿâëÿÿñü íåñðàâíåííî áîëåå ñèëüíû
èêñèðîâàííîì ¾çàìîðîæåííîì òîïîëîãè÷åñêîì ñî ìè èíâàðèàíòàìè, ÷åì èíòåãðàë àóññà, ìîãóò ñëó
ñòîÿíèè¿ è àíàëîãè÷íî âû÷èñëåíèþ ñòàòèñòè÷åñêîé æèòü óäîáíûì ñðåäñòâîì ïðè ÷èñëåííîì èññëåäîâà
ñóììû ñïèíîâîé ñèñòåìû ñ ¾çàìîðîæåííûì áåñïî íèè òåðìîäèíàìè÷åñêèõ õàðàêòåðèñòèê ñëó÷àéíûõ
ðÿäêîì¿ â êîíñòàíòå âçàèìîäåéñòâèÿ.  ñâÿçè ñ áëóæäàíèé ñ òîïîëîãè÷åñêèìè îãðàíè÷åíèÿìè. Ñòà
îòìå÷åííîé àíàëîãèåé âîçíèêàåò âîïðîñ, ìîæíî ëè òèñòèêî-òîïîëîãè÷åñêèé ïîäõîä, ðàçâèòûé â [2℄, îêà
ïåðåíîñèòü íà êëàññ âåðîÿòíîñòíî-òîïîëîãè÷åñêèõ çàëñÿ âåñüìà ïëîäîòâîðíûì, è îñíîâíûå èçâåñòíûå â
çàäà÷ ïîíÿòèÿ è ìåòîäû, âûðàáîòàííûå â ïðîöåñ íàñòîÿùåå âðåìÿ ðåçóëüòàòû ïîëó÷åíû â îñíîâíîì ñ
ñå ìíîãîëåòíèõ èññëåäîâàíèé íåóïîðÿäî÷åííûõ ïîìîùüþ ýòîãî ìåòîäà è åãî ïîñëåäóþùèõ ìîäèè
ñòàòèñòè÷åñêèõ ñèñòåì: íàïðèìåð, ñïðàâåäëèâî ëè êàöèé.
ïîíÿòèå ñàìîóñðåäíÿåìîñòè äëÿ ýíòðîïèè óçëà? Â 1984 ã. Äæîíñ ïðåäëîæèë äðóãîé ïîëèíîìè
Îñíîâíûì îòëè÷èåì ñèñòåì ñ òîïîëîãè÷åñêèì àëüíûé èíâàðèàíò óçëîâ è çàöåïëåíèé [3, 4℄. Ýòîò
áåñïîðÿäêîì îò ñòàíäàðòíûõ ñïèíîâûõ ñèñòåì ñ èíâàðèàíò áûë îïðåäåëåí ïðè èññëåäîâàíèè òîïîëî
áåñïîðÿäêîì â êîíñòàíòå âçàèìîäåéñòâèÿ, ÿâëÿåòñÿ ãè÷åñêèõ ñâîéñòâ êîñ [5, 6℄. Äæîíñó óäàëîñü îáíàðó
ñèëüíàÿ íåëîêàëüíîñòü: òîïîëîãè÷åñêîå ñîñòîÿíèå æèòü ãëóáîêóþ ñâÿçü ìåæäó ñîîòíîøåíèÿìè ãðóï
îïðåäåëåíî ëèøü äëÿ âñåé çàìêíóòîé öåïè, ÿâëÿåò ïû êîñ è óðàâíåíèÿìè ßíãàÁàêñòåðà, ÿâëÿþùèìè
ñÿ ¾ãëîáàëüíûì ñâîéñòâîì¿ è ïëîõî îïðåäåëåíî äëÿ ñÿ íåîáõîäèìûì óñëîâèåì êîììóòàòèâíîñòè òðàíñ
ëþáîé ïîäñèñòåìû, ò. å. ãîâîðèòü î òîïîëîãèè ó÷àñò åð-ìàòðèöû [7℄. Îòìåòèì, ÷òî èíâàðèàíòû Àëåê
êà çàìêíóòîé öåïè ìîæíî ëèøü âåñüìà ïðèáëèçè ñàíäåðà, Äæîíñà, HOMFLY è èõ ðàçëè÷íûå îáîáùå
òåëüíî. Òåì íå ìåíåå íèæå ìû ðàññìàòðèâàåì ðåøå íèÿ [8℄ íå ÿâëÿþòñÿ ïîëíûìè, ÷òî, îäíàêî, íå ìåøà
òî÷íóþ ìîäåëü, äëÿ êîòîðîé ñóùåñòâóåò îäíîçíà÷ åò èõ óñïåøíîìó èñïîëüçîâàíèþ ïðè ðåøåíèè ñòà
íàÿ ñâÿçü òîïîëîãè÷åñêîãî áåñïîðÿäêà ñ áåñïîðÿä òèñòè÷åñêèõ çàäà÷. àáîòû Êàóìàíà ïîçâîëèëè
êîì â êîíñòàíòå ëîêàëüíîãî âçàèìîäåéñòâèÿ íåêîòî íàïîëíèòü îïðåäåëåíèå èíâàðèàíòîâ Àëåêñàíäåðà
ðîé íåóïîðÿäî÷åííîé ñèñòåìû ñïèíîâ íà ðåøåòêå. è Äæîíñà íàãëÿäíûì ãåîìåòðè÷åñêèì ñìûñëîì. Â

1289
Î. À. Âàñèëüåâ, Ñ. Ê. Íå÷àåâ ÆÝÒÔ, òîì 120, âûï. 5 (11), 2001

÷àñòíîñòè, áûëî ïîêàçàíî, ÷òî èíâàðèàíòû Äæîíñà


ñâÿçàíû ñî ñòàòñóììîé ñïèíîâîé ìîäåëè Ïîòòñà [9℄,
à èíâàðèàíòû Àëåêñàíäåðà ìîãóò áûòü ïðåäñòàâëå
íû ñòàòñóììîé ìîäåëè ñâîáîäíûõ åðìèîíîâ [10℄.
 äàííîé ðàáîòå, èñïîëüçóÿ àíàëîãèþ ìåæäó ïî
ëèíîìèàëüíûì èíâàðèàíòîì ÄæîíñàÊàóìàíà è
ñòàòñóììîé ìîäåëè Ïîòòñà ñ åððî-(-) è àíòèåð
ðîìàãíèòíûìè (à-) ñâÿçÿìè [11, 12℄, ìû èññëåäîâà
ëè ñòàòèñòè÷åñêèå ñâîéñòâà óçëîâ.  ÷àñòíîñòè, ìå à á
òîä òðàíñåð-ìàòðèö, ðàçâèòûé â ðàáîòàõ [1315℄,
ïîçâîëèë íàì îïðåäåëèòü âåðîÿòíîñòü P ffK g, íàéòè èñ. 1. åøåòî÷íàÿ äèàãðàììà óçëà N = 3  3 (à)
è åå ðàçðåçàíèå (á). Êðóæêàìè ïîêàçàíî ïîëîæåíèå
ñëó÷àéíî ãåíåðèðîâàííûé óçåë K â ñïåöèè÷åñêîì
ñïèíîâ ìîäåëè Ïîòòñà, øòðèõîâîé ëèíèåé  ãðà
òîïîëîãè÷åñêîì ñîñòîÿíèè, õàðàêòåðèçóåìûì èíâà
íà ðåøåòêå Ïîòòñà
ðèàíòîì fK .
Âêðàòöå èäåÿ îöåíêè P ffK g çàêëþ÷àåòñÿ â ñëå
äóþùåì.
I
1. Òîïîëîãè÷åñêèé èíâàðèàíò ÄæîíñàÊàó-
ìàíà ïðåäñòàâëÿåòñÿ â âèäå ñòàòñóììû ìîäåëè
Ïîòòñà ñ áåñïîðÿäêîì â êîíñòàíòå âçàèìîäåéñòâèÿ; II
2. Âû÷èñëåíèå òåðìîäèíàìè÷åñêèõ õàðàêòåðè
ñòèê àíñàìáëÿ óçëîâ îñóùåñòâëÿåòñÿ ñ ïîìîùüþ ìå
òîäà òðàíñåð-ìàòðèö äëÿ ñïèíîâûõ ñèñòåì. III

Ñòðóêòóðà ðàáîòû òàêîâà. Â ðàçä. 2 îïèñàíà ðàñ


ñìàòðèâàåìàÿ ìîäåëü, äàíî îïðåäåëåíèå ïîëèíîìè
àëüíîãî èíâàðèàíòà ÄæîíñàÊàóìàíà è ïîêàçà èñ. 2. Äâèæåíèÿ àäåìàéñòåðà I, II è III
íà åãî ñâÿçü ñî ñòàòñóììîé ìîäåëè Ïîòòñà. Èçëî
æåíèå èñïîëüçóåìûõ ÷èñëåííûõ ìåòîäîâ è íåîáõî
äèìûå âñïîìîãàòåëüíûå êîíñòðóêöèè ñîäåðæàòñÿ â íå ìåíåå îíà îòâå÷àåò èçè÷åñêîé ñèòóàöèè, èìå
ðàçä. 3.  ðàçä. 4 îáñóæäàþòñÿ ðåçóëüòàòû ÷èñëåí þùåé ìåñòî â ñòàòèñòè÷åñêîé èçèêå êîíäåíñèðî
íîãî ìîäåëèðîâàíèÿ è äåëàþòñÿ âûâîäû. âàííîãî (ãëîáóëÿðíîãî) ñîñòîÿíèÿ ïîëèìåðíûõ ìî
ëåêóë. Ïðàêòè÷åñêè âñå ñóùåñòâóþùèå íà ñåãîäíÿø
íèé äåíü ìîäåëè, êîòîðûå ïðèíèìàþò âî âíèìà
íèå òîïîëîãè÷åñêèå îãðàíè÷åíèÿ íà íàáîð äîïóñòè
2. ÅØÅÒÎ×ÍÛÅ ÓÇËÛ: ÌÎÄÅËÜ È
ìûõ êîíîðìàöèé ïîëèìåðíûõ öåïåé â ïðîñòðàí
ÍÅÎÁÕÎÄÈÌÛÅ ÎÏÅÄÅËÅÍÈß
ñòâå, ïðåäïîëàãàþò ìàëóþ ïëîòíîñòü ïîëèìåðà, ò. å.
àññìîòðèì ìíîæåñòâî ñëó÷àéíî ãåíåðèðîâàí îïèñûâàþò ñèòóàöèþ âäàëè îò êîìïàêòíîãî ãëîáó
íûõ ïëîòíûõ óçëîâ1) íà ðåøåòêå â òðåõìåðíîì ïðî ëÿðíîãî ñîñòîÿíèÿ. Â ðàáîòàõ [16℄ áûëà âûñêàçà
ñòðàíñòâå. Óçåë íàçîâåì ¾ïëîòíûì¿, åñëè íèòü, îá íà ãèïîòåçà î ïðèíöèïèàëüíî íîâîé ãëîáóëÿðíîé
ðàçóþùàÿ óçåë, ïëîòíî çàïîëíÿåò ðåøåòêó è íå èìå àçå êîëüöåâîé íåçàóçëåííîé ìàêðîìîëåêóëû, íà
åò âîçìîæíîñòè ëóêòóèðîâàòü â ïðîñòðàíñòâå.  çâàííîé ¾ñêëàä÷àòîé ãëîáóëîé¿, ñóùåñòâóþùåé ïðè
ýòîì ñëó÷àå êîíèãóðàöèîííàÿ ýíòðîïèÿ óçëîâ ðàç áîëüøîé ïëîòíîñòè ïîëèìåðà, ò. å. â îáëàñòè ¾ïëîò
íûõ òîïîëîãè÷åñêèõ òèïîâ îòñóòñòâóåò è âåðîÿò íûõ óçëîâ¿. Íåñìîòðÿ íà íàëè÷èå êîñâåííûõ ýêñïå
íîñòü îáðàçîâàíèÿ óçëà çàäàííîãî òîïîëîãè÷åñêîãî ðèìåíòîâ, ãîâîðÿùèõ â ïîëüçó ãèïîòåçû ¾ñêëàä÷à
òèïà îïðåäåëÿåòñÿ èñêëþ÷èòåëüíî ëîêàëüíîé òîïî òîé ãëîáóëû¿ [17℄, åå íåïîñðåäñòâåííîå íàáëþäåíèå
ëîãèåé ñèñòåìû. â ðåàëüíûõ èëè êîìïüþòåðíûõ ýêñïåðèìåíòàõ ñòàë
êèâàåòñÿ ñ ñåðüåçíûìè òåõíè÷åñêèìè òðóäíîñòÿìè.
àññìàòðèâàåìàÿ ìîäåëü, ðàçóìååòñÿ, ÿâëÿåòñÿ
 ñâÿçè ñ ýòèì èçó÷åíèå ðàñïðåäåëåíèÿ ñëó÷àéíî ãå
ïðåäåëüíî óïðîùåííîé, òàê êàê íå ó÷èòûâàåò ëóê
íåðèðîâàííûõ ïëîòíûõ óçëîâ ïî ðàçëè÷íûì òîïî
òóàöèîííûå ñòåïåíè ñâîáîäû ðåøåòî÷íîãî óçëà. Òåì
ëîãè÷åñêèì òèïàì ìîæåò ñóùåñòâåííî ïîìî÷ü â ïî
1) Äàëåå ìû áóäåì ãîâîðèòü ëèøü îá óçëàõ, èìåÿ ââèäó íèìàíèè ñòðóêòóðû àçîâîãî ïðîñòðàíñòâà çàóçëåí
êàê óçëû, òàê è çàöåïëåíèÿ. Òàì, ãäå íåîáõîäèìî, ìû áóäåì íûõ ïîëèìåðîâ â ãëîáóëÿðíîé àçå.
îòäåëüíî îòìå÷àòü ðàçíèöó ìåæäó óçëàìè è çàöåïëåíèÿìè.

1290
ÆÝÒÔ, òîì 120, âûï. 5 (11), 2001 Òåðìîäèíàìèêà è òîïîëîãèÿ íåóïîðÿäî÷åííûõ ñèñòåì : : :

Êîíèãóðàöèÿ íèòè â òðåõìåðíîì ïðîñòðàíñòâå íà ïëîñêîñòè ñïðàâåäëèâà ñëåäóþùàÿ òåîðåìà à


íå î÷åíü óäîáíà äëÿ îïðåäåëåíèÿ òîïîëîãè÷åñêîãî äåìàéñòåðà [18℄: Äâà óçëà â òðåõìåðíîì ïðîñòðàí
òèïà óçëà. Ñòàíäàðòíûé ïðèåì çàêëþ÷àåòñÿ â ñëåäó ñòâå ìîãóò áûòü íåïðåðûâíûì îáðàçîì äåîðìè
þùåì: ñïðîåêòèðóåì óçåë íà ïëîñêîñòü â îáùåì ïî ðîâàíû îäèí â äðóãîé òîãäà è òîëüêî òîãäà, êî
ëîæåíèè, ò. å. òàê, ÷òîáû â êàæäîé òî÷êå ïëîñêîñòè ãäà äèàãðàììà îäíîãî óçëà ìîæåò áûòü òðàíñîð
ïåðåñåêàëèñü íå áîëåå ÷åì äâà ó÷àñòêà óçëà è äëÿ ìèðîâàíà â äèàãðàììó äðóãîãî óçëà ñ ïîìîùüþ ïî
êàæäîé òî÷êè ïåðåñå÷åíèÿ îïðåäåëèì, êàêàÿ ëèíèÿ ñëåäîâàòåëüíîñòè ëîêàëüíûõ ïðåîáðàçîâàíèé I, II è
ïðîõîäèò ñâåðõó (¾ïðîõîä¿), à êàêàÿ  ñíèçó (¾ïå III, èçîáðàæåííûõ íà ðèñ. 2.
ðåõîä¿), ñîãëàñíî ïðîñòðàíñòâåííîé òîïîëîãèè óçëà. Êàê âèäíî èç ðèñ. 2, äâèæåíèå àäåìàéñòåðà I
Òàêóþ ïðîåêöèþ, îñíàùåííóþ ïðîõîäàìè è ïåðåõî âåäåò ê îáðàçîâàíèþ ñèíãóëÿðíîñòè íà ïëîñêîñòè
äàìè, íàçîâåì äèàãðàììîé óçëà. Äàëåå ìû áóäåì ïðè íåïðåðûâíîì ñòÿãèâàíèè ïåòëè, è äàííîå äâè
ðàáîòàòü èñêëþ÷èòåëüíî ñî ñòàòèñòèêîé äèàãðàìì æåíèå ÿâëÿåòñÿ çàïðåùåííûì äëÿ ãëàäêèõ òðàåê
óçëîâ. àçóìååòñÿ, ýòî âíîñèò äîïîëíèòåëüíîå óïðî òîðèé íà ïëîñêîñòè. Äâà óçëà íàçûâàþòñÿ ðåãóëÿð
ùåíèå â èññëåäóåìóþ ìîäåëü, îäíàêî ìû ïîëàãàåì, íî-èçîòîïè÷åñêèìè, åñëè èõ ïëîñêèå äèàãðàììû ìî
÷òî â ðàññìàòðèâàåìîé àçå ïëîòíûõ óçëîâ äàííîå ãóò áûòü ïðåîáðàçîâàíû îäíà â äðóãóþ ïðè ïîìîùè
îãðàíè÷åíèå íå î÷åíü ñóùåñòâåííî, ïîñêîëüêó, êàê äâèæåíèé àäåìàéñòåðà II è III. Åñëè äëÿ ïðåîáðàçî
áûëî ñêàçàíî âûøå, âêëàä â ýíòðîïèþ óçëà îò ëóê âàíèÿ äèàãðàìì òðåáóåòñÿ èñïîëüçîâàíèå âñåõ òðåõ
òóàöèé íèòè îòñóòñòâóåò. äâèæåíèé àäåìàéñòåðà, òî òàêèå óçëû íàçûâàþò
Èòàê, ðàññìîòðèì êâàäðàòíóþ ðåøåòêó ðàçìåðà ñÿ ïðîñòî èçîòîïè÷åñêèìè.  òðåõìåðíîì ïðîñòðàí
=
N LL íà ïëîñêîñòè, ïîâåðíóòóþ äëÿ óäîáñòâà íà ñòâå âñå óçëû è çàöåïëåíèÿ ÿâëÿþòñÿ èçîòîïè÷åñêè
4
óãîë = . Çàïîëíèì ðåøåòêó (ïëîòíî) òðàåêòîðèåé, ìè.
èìåþùåé ïåðåñå÷åíèÿ â êàæäîé âåðøèíå, ÿâíî óêà àññìîòðèì äâóìåðíóþ äèàãðàììó óçëà êàê
çàâ ïðè ýòîì, êàêàÿ íèòü ïðîõîäèò ñâåðõó, à êàêàÿ  íåêèé ãðà, ó êîòîðîãî äëÿ êàæäîé òî÷êè ïåðåñå
3 3
ñíèçó (ïðèìåð ðåøåòêè  ïîêàçàí íà ðèñ. 1a). ÷åíèÿ îïðåäåëåíî, êàêàÿ ëèíèÿ ïðîõîäèò ñâåðõó, à
Íåòðóäíî ïðîâåðèòü, ÷òî åñëè L íå÷åòíî, òî òðà êàêàÿ ñíèçó. Òàêèì îáðàçîì, êàæäîé âåðøèíå ãðà
åêòîðèÿ, ïëîòíî ïîêðûâàþùàÿ ðåøåòêó, åäèíñòâåí à ñîîòâåòñòâóåò îäèí èç äâóõ òèïîâ ïåðåñå÷åíèé.
íà, ò. å. ïðåäñòàâëÿåò ñîáîé óçåë, òîïîëîãèÿ êîòîðîãî Ñîïîñòàâèì k -îé âåðøèíå ãðàà ïåðåìåííóþ k , êî
îäíîçíà÷íî îïðåäåëÿåòñÿ ïðîõîäàìè, ïåðåõîäàìè è 1
òîðàÿ ïðèíèìàåò çíà÷åíèÿ  â çàâèñèìîñòè îò òèïà
ãðàíè÷íûìè óñëîâèÿìè. Òåì ñàìûì âåðîÿòíîñòü ðå ïåðåñå÷åíèÿ â âåðøèíå.
àëèçàöèè óçëà çàäàííîãî òîïîëîãè÷åñêîãî òèïà çà Îïðåäåëèì àëãåáðàè÷åñêèé èíâàðèàíò Êàó
äàåòñÿ ðàñïðåäåëåíèåì ïðîõîäîâ è ïåðåõîäîâ â êàæ ìàíà êàê ñóììó ïî âñåì ñïîñîáàì ðàçðåçàíèÿ äèà
äîé âåðøèíå ðåøåòêè. Çàäà÷à, ðàññìàòðèâàåìàÿ â ãðàììû â âåðøèíàõ. À èìåííî, ìû ïðèïèñûâàåì
äàííîé ðàáîòå, çàêëþ÷àåòñÿ â èññëåäîâàíèè ðàñïðå êàæäîìó ðàçðåçàíèþ ñòàòèñòè÷åñêèå âåñà ïî ñëåäó
äåëåíèÿ ïëîòíûõ óçëîâ ïî òîïîëîãè÷åñêèì êëàññàì þùèì ïðàâèëàì: äëÿ âåðøèíû ñ  = +1âåñ A îò
äëÿ ðàçíûõ òèïîâ ðàñïðåäåëåíèé ïðîõîäîâ è ïåðåõî âå÷àåò ãîðèçîíòàëüíîìó, à âåñ B  âåðòèêàëüíîìó
äîâ. ðàçðåçàíèÿì; äëÿ âåðøèíû ñ  = 1 âåñ B îòâå÷àåò
ãîðèçîíòàëüíîìó, à âåñ A  âåðòèêàëüíîìó ðàçðåçà
2.1. Äâèæåíèÿ àäåìàéñòåðà è îïðåäåëåíèå íèÿì, êàê ïîêàçàíî íèæå:
èíâàðèàíòà Êàóìàíà

 ëþáîé òîïîëîãè÷åñêîé çàäà÷å îñíîâíîé ïðîáëå

 
ìîé ÿâëÿåòñÿ ñðàâíåíèå óçëîâ. Äëÿ äèàãðàììû óçëà

 
 
A B
 
*  *

 
 = +1
 HH
= 1  H
j B
Hj A (3)

1291
Î. À. Âàñèëüåâ, Ñ. Ê. Íå÷àåâ ÆÝÒÔ, òîì 120 , âûï. 5 (11), 2001

Òàêèì îáðàçîì, äëÿ äèàãðàììû óçëà ñ N âåð ãäå ñóììèðîâàíèå fi; j g ïðîâîäèòñÿ òîëüêî ïî ñîñåä
2
øèíàìè ñóùåñòâóåò N ðàçëè÷íûõ ìèêðîñîñòîÿíèé, íèì, ò. å. ñâÿçàííûì ðåáðîì ãðàà ñïèíàì. Òîãäà
êàæäîå èç êîòîðûõ çàäàåòñÿ îïðåäåëåíèåì ãîðèçîí äëÿ ñòàòèñòè÷åñêîé ñóììû ïîëó÷àåì
òàëüíîãî èëè âåðòèêàëüíîãî ðàçðåçàíèÿ â êàæäîé 0 1
èç N âåðøèí. Êàæäîìó ìèêðîñîñòîÿíèþ ! äèàãðàì X X
ìû óçëà ñîîòâåòñòâóåò íàáîð íåïåðåñåêàþùèõñÿ è Z= exp  JTi;j Æ(i ; j )A ;
ñàìîíåïåðåñåêàþùèõñÿ öèêëîâ. Ñîâîêóïíîñòü âñåõ fg fi;jg
ìèêðîñîñòîÿíèé îáîçíà÷èì f! g (â äàëüíåéøåì ìû
ãäå f g îáîçíà÷àåò ñóììèðîâàíèå ïî âñåì âîçìîæ
áóäåì èñïîëüçîâàòü èãóðíûå ñêîáêè f: : : g äëÿ îáî
íûì ñïèíîâûì ñîñòîÿíèÿì, à ñóììà fi; j g îïðåäåëå
çíà÷åíèÿ ñóììèðîâàíèÿ ïî ñîñòîÿíèÿì).
()
Ïóñòü S !  ÷èñëî öèêëîâ äëÿ ìèêðîñîñòîÿíèÿ
íà âûøå. Ýòî âûðàæåíèå ìîæíî ïåðåïèñàòü â ñëåäó
þùåì âèäå:
! . àññìîòðèì ñòàòèñòè÷åñêóþ ñóììó
X X Y
fKR = dS (!) 1 Al(!) B N l(!) ; (4) Z = (1 + vi;j Æ(i ; j )) ;
f!g fg fi;jg
  (6)
Ji;j
ãäå ñóììèðîâàíèå ïðîâîäèòñÿ ïî âñåì âîçìîæíûì vi;j = exp 1:
2N ðàçðåçàíèÿì äèàãðàììû, à l ! è N ()
l!  () T
÷èñëà âåðøèí ñ âåñàìè A è B ñîîòâåòñòâåííî äëÿ
Ïàðà ñîñåäíèõ ñïèíîâ i è j âíîñèò â ìíîæèòåëü
çàäàííîãî íàáîðà ðàçðåçàíèé ìèêðîñîñòîÿíèÿ ! .
Êàóìàíó ïðèíàäëåæèò ñëåäóþùåå óòâåðæäå
âêëàä ðàâíûé exp(
Ji;j =T , åñëè i ) j , è âêëàä =
íèå [9℄. Ïîëèíîì fKR îò ïåðåìåííûõ A, B è d,
=
1, åñëè i 6 j . Ïðèìåíèì äëÿ çàäàííîé ñïèíîâîé
êîíèãóðàöèè è ñîîòâåòñòâóþùåãî åé ãðàà ñëåäó
ïðåäñòàâëåííûé ñòàòñóììîé (4), åñòü òîïîëîãè÷å
þùèå ïðàâèëà:
ñêèé èíâàðèàíò ðåãóëÿðíî èçîòîïè÷åñêèõ óçëîâ òî
1) åñëè äëÿ íåêîòîðîãî ðåáðà, ñâÿçûâàþùåãî äâå
ãäà è òîëüêî òîãäà, êîãäà ìåæäó ïàðàìåòðàìè A, B
âåðøèíû, âêëàä â ïðîèçâåäåíèå äâóõ ñïèíîâ, íàõî
è d âûïîëíÿþòñÿ ñëåäóþùèå ñîîòíîøåíèÿ:
äÿùèõñÿ â ýòèõ âåðøèíàõ, ðàâåí 1, òî ìû óäàëÿåì
AB = 1; ABd + A2 + B 2 = 0: äàííîå ðåáðî èç ãðàà;
2) åñëè âêëàä îò ñïèíîâ i è j , ñîîòâåòñòâóþùèõ
Äîêàçàòåëüñòâî ýòîãî óòâåðæäåíèÿ [9℄ îñíîâàíî íà äàííîìó ðåáðó, ðàâåí exp( )
Ji;j =T , òî ìû îñòàâëÿåì
ïðîâåðêå èíâàðèàíòíîñòè ñòàòñóììû fKR ïî îòíî ðåáðî â ãðàå.
øåíèþ ê äâèæåíèÿì àäåìàéñòåðà II, III. (Èíâàðè Ïîñëå ïðèìåíåíèÿ ýòîé ïðîöåäóðû ìû ïîëó÷à
àíò äëÿ âñåõ òðåõ äâèæåíèé àäåìàéñòåðà áóäåò åì âçàèìíî îäíîçíà÷íîå ñîîòâåòñòâèå ìåæäó ñïèíî
îïðåäåëåí ïîçäíåå.) Äàííûå ñîîòíîøåíèÿ íàêëàäû âîé êîíèãóðàöèåé, îòâå÷àþùåé ñëàãàåìîìó â ñóì
âàþò ñëåäóþùèå îãðàíè÷åíèÿ íà ïàðàìåòðû A, B è ìå (6), è íàáîðîì êîìïîíåíò ãðàà.
d â (4): àññìîòðèì ãðà G, ñîäåðæàùèé M ðåáåð è C
B = A 1; ñâÿçàííûõ êîìïîíåíò, ïðè÷åì èçîëèðîâàííóþ âåð
(5) øèíó ìû ðàññìàòðèâàåì êàê îòäåëüíóþ êîìïîíåí
d = A2 A 2 ;
òó. Â ðåçóëüòàòå ñóììèðîâàíèÿ ïî âñåì âîçìîæíûì
ò. å. èíâàðèàíò (4) ÿâëÿåòñÿ ïîëèíîìîì îäíîé ïåðå ñïèíîâûì êîíèãóðàöèÿì è âñåì ñîîòâåòñòâóþùèì
ìåííîé A. èì ðàçáèåíèÿì ãðàà G, ìû ìîæåì ïåðåïèñàòü ñòàò
ñóììó (6) â âèäå
2.2. Ñòàòñóììà ìîäåëè Ïîòòñà êàê X M
Y
áèõðîìàòè÷åñêèé ïîëèíîì Z = qC vi;j ; (7)
àññìîòðèì ïðîèçâîëüíûé ïëîñêèé ãðà ñ N fGg fi;jg
âåðøèíàìè. Ñîïîñòàâèì êàæäîé âåðøèíå i ñïèíî
ãäå fGg îáîçíà÷àåò ñóììèðîâàíèå ïî âñåì ãðààì,
1
âóþ ïåðåìåííóþ i (  i  q ). Ïðèïèøåì M
Q
ðåáðó ãðàà, ñâÿçûâàþùåìó i-ûé è j -ûé ñïèíû à îáîçíà÷àåò ïðîèçâåäåíèå ïî âñåì ðåáðàì äàí
1
(  fi; j g  N ) êîíñòàíòó ñâÿçè Ji;j . Îïðåäåëèì fi;jg
íîãî ãðàà G. Îòìåòèì, ÷òî âûðàæåíèå (7) ìîæíî
ýíåðãèþ ìîäåëè Ïîòòñà [7℄
ðàññìàòðèâàòü êàê àíàëèòè÷åñêîå ïðîäîëæåíèå ñè
X
E= Ji;j Æ (i ; j ); ñòåìû ñïèíîâ Ïîòòñà íà íåöåëûå è äàæå êîìïëåêñ
fi;jg íûå çíà÷åíèÿ q .

1292
ÆÝÒÔ, òîì 120 , âûï. 5 (11), 2001 Òåðìîäèíàìèêà è òîïîëîãèÿ íåóïîðÿäî÷åííûõ ñèñòåì : : :

Ïðè vi;j  v âûðàæåíèå (7) ñîâïàäàåò ñ õîðîøî 


ðåøåòêè ñîîòâåòñòâóåò âåðøèíå k ðåøåòêè M , ïî
èçâåñòíûì ïðåäñòàâëåíèåì ñòàòñóììû ìîäåëè Ïîòò ýòîìó áåñïîðÿäîê â âåðøèíàõ M , çàäàííûé ïåðåìåí
ñà â âèäå áèõðîìàòè÷åñêîãî ïîëèíîìà (ñì., íàïðè íûìè k , ñîâïàäàåò ñ áåñïîðÿäêîì íà ðåáðàõ , îáî 
ìåð, [7, 19℄). Ýòî æå âûðàæåíèå èãóðèðóåò â ñîîò çíà÷àåìûé bi;j , ò. å. ñ áåñïîðÿäêîì â êîíñòàíòàõ âçà
âåòñòâèè ìîäåëè Ïîòòñà è ìîäåëè êîððåëèðîâàííîé èìîäåéñòâèÿ. Îïðåäåëèì áåñïîðÿäîê bi;j ðåøåòêè 
ïåðêîëÿöèè ïî óçëàì è ñâÿçÿì, ïðåäëîæåííûì Ôîð ÷åðåç êîíñòàíòû âçàèìîäåéñòâèÿ â ñîîòâåòñòâóþùåé
òóèíîì è Êàñòåëÿéíîì [20℄, êîòîðîå ëåæèò â îñíî âåðøèíå k ðåøåòêè M
âàõ êëàñòåðíûõ Ìîíòå-Êàðëî àëãîðèòìîâ Ñâåíåäñå (
k ; ðåáðî (i; j ) âåðòèêàëüíî,
íàÂàíãà [21℄ è Âîëüà [22℄ äëÿ ìîäåëè Ïîòòñà. bi;j = k ; ðåáðî (i; j ) ãîðèçîíòàëüíî.
(9)

2.3. Ïðåäñòàâëåíèå èíâàðèàíòà Êàóìàíà Íàïîìíèì, ÷òî îïðåäåëåíèå èíâàðèàíòà Êàó


â âèäå ñòàòñóììû ìîäåëè Ïîòòñà ìàíà (4) ñâÿçàíî ñ ðàçðåçàíèåì ðåøåòêè M íà ïî
ëèãîíû  ñèñòåìó çàìêíóòûõ ïëîòíî óïàêîâàííûõ
Èíâàðèàíò Êàóìàíà óçëà ìîæíî ïðåäñòàâèòü íåïåðåñåêàþùèõñÿ êîíòóðîâ (ñì. ðèñ. 1á). Äëÿ çà
â âèäå ñòàòñóììû ìîäåëè Ïîòòñà íà ãðàå, ñîîòâåò äàííîé êîíèãóðàöèè ðàçðåçàíèé íà M è ñîîòâåò
ñòâóþùåì ïðîèçâîëüíîé ïëîñêîé äèàãðàììå äàííî ñòâóþùåé äóàëüíîé ðåøåòêè ïðèìåì ñëåäóþùåå 
ãî óçëà, îäíàêî â äàëüíåéøåì ìû îãðàíè÷èìñÿ èñ ñîãëàøåíèå: îòìåòèì âñå ðåáðà ðåøåòêè , åñëè ýòè 
ñëåäîâàíèåì ëèøü ðåøåòî÷íûõ óçëîâ. ðåáðà íå ïåðåñåêàþòñÿ ïîëèãîíàìè ðåøåòêè M . Íà
Ïåðåïèøåì èíâàðèàíò Êàóìàíà â âèäå ñòàò ðèñ. 1á îòìå÷åííûå ðåáðà îáîçíà÷åíû øòðèõîâîé ëè
ñóììû ìîäåëè Ïîòòñà, îïðåäåëåííîé â ïðåäûäóùåì íèåé. Îñòàëüíûå ðåáðà ðåøåòêè îñòàâèì íåîòìå
P

ðàçäåëå. Îáîçíà÷èì M ðåøåòî÷íóþ äèàãðàììó óçëà ÷åííûìè è ïåðåïèøåì ñòàòñóììó sk k â óðàâíå
(ñì. ðèñ. 1a). Ââåäåì âñïîìîãàòåëüíûå ïåðåìåííûå íèè (8) â ñëåäóþùåì âèäå:
sk = 1 , çàäàþùèå òèï ðàçðåçàíèÿ â êàæäîé âåð X X X
øèíå k ðåøåòêè íåçàâèñèìî îò ïåðåìåííûõ k  = 1 sk k = sk k + sk k =


â òåõ æå âåðøèíàõ: k îòì íåîòì



ãîð
X âåð
X ãîð
X âåð
X
= sk k + sk k + sk k + =


sk k
îòì îòì íåîòì íåîòì
Xãîð Xâåð Xãîð âåð
X
sk = +1 sk = 1: = bi;j + bi;j bi;j bi;j =
îòì îòì íåîòì íåîòì
X X
=
Ïóñòü ! fs1 ; s2 ; : : : ; sN g  íàáîð âñåõ ïåðåìåííûõ,
= bi;j + 2 bi;j ; (10)
âñå ðåáðà îòì
õàðàêòåðèçóþùèõ ðàçðåçàíèå ðåøåòêè, ãäå N  îá
ãäå ìû èñïîëüçîâàëè ñîîòíîøåíèå
ùåå ÷èñëî ïåðåñå÷åíèé â ðåøåòêå.  ðåçóëüòàòå èí X X X
âàðèàíò Êàóìàíà (4) ìîæíî çàïèñàòü â âèäå bi;j + bi;j = bi;j :
îòì íåîòì âñå ðåáðà
X
fKR (1 ; : : : ; N ) = ( A2 A 2 )S (!) 1  Ïóñòü m!  ÷èñëî îòìå÷åííûõ ðåáåð è C!  ÷èñ
f!g ëî ñâÿçàííûõ êîìïîíåíò îòìå÷åííîãî ãðàà ! ñ Np
! âåðøèíàìè (êàæäàÿ âåðøèíà ñîîòâåòñòâóåò ñïèíó
N
X
 exp ln A k sk : (8) Ïîòòñà). Ñîîòíîøåíèå Ýéëåðà äëÿ ãðàà èìååò âèä
i=1
S (! ) = 2C! + m! Np :
Çäåñü f! g îáîçíà÷àåò ñóììèðîâàíèå ïî âñåì çíà÷å
Òåïåðü ëåãêî òðàíñîðìèðîâàòü óðàâíåíèå (8) â ñëå
íèÿì ïåðåìåííûõ sk , ÷òî ñîîòâåòñòâóåò ñóììèðîâà
äóþùåå
íèþ ïî âñåì ðàçðåçàíèÿì ðåøåòêè M , à ïåðåìåííûå
k õàðàêòåðèçóþò çàìîðîæåííûé áåñïîðÿäîê ñèñòå
ìû. Ïîêàæåì, ÷òî êîíèãóðàöèè, ïîëó÷åííûå ðàçðå fKR (A; fbi;j g) = ( A2 A 2 ) (Np +1) 
çàíèÿìè, íàõîäÿòñÿ âî âçàèìíîîäíîçíà÷íîì ñîîòâåò N
Y X 2C
ñòâèè ñî ñïèíîâûìè êîíèãóðàöèÿìè ìîäåëè Ïîòò  A bi;j A2 A 2 !
ñà íà äóàëüíîé ðåøåòêå. âñå ðåáðà fGg
àññìîòðèì ðåøåòêó ìîäåëè Ïîòòñà , ñîîòâåò  m!
Y 
ñòâóþùóþ ðåøåòêå M (ñì. ðèñ. 1á). Íà ðèñ. 1 êðóæ  A2bk;l A2 A 2 ; (11)
êàìè îòìå÷åíî ïîëîæåíèå ñïèíîâ Ïîòòñà. åáðî bi;j îòì

1293
Î. À. Âàñèëüåâ, Ñ. Ê. Íå÷àåâ ÆÝÒÔ, òîì 120, âûï. 5 (11), 2001

ãäå ìû èñïîëüçîâàëè ñîîòíîøåíèÿ (10) è òîò àêò, à ïåðåìåííàÿ bi;j èãðàåò ðîëü áåñïîðÿäêà íà ðåáðàõ
÷òî N íå÷åòíî. Ñðàâíèâàÿ (11) ñ (6), ïîëó÷àåì ðà 
ðåøåòêè , ñîîòâåòñòâóþùåé ðåøåòêå M . Ñîîòíîøå
âåíñòâî íèå ìåæäó bi;j è k çàäàåòñÿ âûðàæåíèåì (9).
m! Ñïåöèè÷åñêîé îñîáåííîñòüþ ñòàòñóììû (16) ÿâ
X 2C Y 
A2 + A 2 ! A2bi;j A2 A 2  ëÿåòñÿ ñâÿçü ìåæäó òåìïåðàòóðîé T è ÷èñëîì ñîñòî
fGg îòì ÿíèé ñïèíà q , èç-çà êîòîðîé T è q íåëüçÿ ðàññìàò
X Y ðèâàòü êàê íåçàâèñèìûå ïåðåìåííûå. Åñëè ìû èê
 (1 + vi;j Æ(i ; j )) ; (12)
ñèðóåì ïîëîæèòåëüíîå çíà÷åíèå q , òî, ñîãëàñíî îð
 fi;jg ìóëàì (17), ïåðåìåííàÿ A ìîæåò îðìàëüíî ïðèíè
â êîòîðîì ïðàâàÿ ÷àñòü ñîâïàäàåò ñî ñòàòñóììîé ìî ìàòü êîìïëåêñíûå çíà÷åíèÿ, à àðãóìåíòîì ëîãàðè
äåëè Ïîòòñà, ïðåäñòàâëåííîé â âèäå áèõðîìàòè÷å ìà ìîæåò ÿâëÿòüñÿ êîìïëåêñíîå ÷èñëî. Ïîÿâëåíèå
ñêîãî ïîëèíîìà. Òàêèì îáðàçîì, êîìïëåêñíûõ ÷èñåë â ñòàòñóììå ìîæíî ïîíèìàòü
 äâîÿêî. Ñ îäíîé ñòîðîíû, ýòî ðàñøèðåíèå îáëàñòè
vi;j = A2bi;j A2 A 2 = 1 A4bi;j ; îïðåäåëåíèÿ ñòàòñóììû íà êîìïëåêñíóþ ïëîñêîñòü.
q = (A2 + A 2 )2 : Ñ äðóãîé ñòîðîíû, ñàìè ïàðàìåòðû T è Ji;j â âû
Òàê êàê êîíñòàíòû áåñïîðÿäêà ìîãóò ïðèíèìàòü ðàæåíèå äëÿ èíâàðèàíòà Êàóìàíà íå âõîäÿò, è
òîëüêî äèñêðåòíûå çíà÷åíèÿ bi;j  , ìû èìå = 1 èõ êîìïëåêñíûå çíà÷åíèÿ íå òðåáóþò ñïåöèàëüíîé
åì ñëåäóþùåå âûðàæåíèå äëÿ êîíñòàíò âçàèìîäåé èíòåðïðåòàöèè. Äàëåå ìû áóäåì èíòåðåñîâàòüñÿ â
ñòâèÿ Ji;j : îñíîâíîì âåðîÿòíîñòüþ ðàñïðåäåëåíèÿ ñòàðøåé ñòå
ïåíè ïîëèíîìèàëüíîãî èíâàðèàíòà è ìîæåì îòâëå÷ü
 
Ji;j = T ln 1 A2 + A 2 A2bi;j = ñÿ îò ñìûñëà êîíêðåòíûõ çíà÷åíèé ïåðåìåííûõ A,
T , è Ji;j .
= T ln A4bi;j  : (13) Èòàê, ìû îïðåäåëèëè èíâàðèàíò ðåãóëÿðíî èçî
Òàêèì îáðàçîì, ìû ïðèõîäèì ê ñëåäóþùåìó òîïè÷åñêèõ óçëîâ fKR , äèàãðàììû êîòîðûõ èíâàðè
óòâåðæäåíèþ. Òîïîëîãè÷åñêèé èíâàðèàíò Êàó àíòíû ê äâèæåíèÿì àäåìàéñòåðà II è III. ×òîáû
( )
ìàíà fKR A ðåãóëÿðíî èçîòîïè÷åñêèõ óçëîâ íà M ïîëó÷èòü èíâàðèàíò èçîòîïè÷åñêèõ óçëîâ fKI ñ îðè
ìîæíî çàïèñàòü â îðìå ñòàòñóììû äâóìåðíîé ìî åíòèðîâàííîé äèàãðàììîé, ñòàòñóììà fKI äîëæíà
äåëè Ïîòòñà íà ñîîòâåòñòâóþùåé ðåøåòêå :  áûòü èíâàðèàíòíà îòíîñèòåëüíî âñåõ äâèæåíèé à
äåìàéñòåðà. Äëÿ êàæäîãî îðèåíòèðîâàííîãî ïåðåñå
fKR (A; fbi;j g) = ÷åíèÿ ââåäåì ïåðåìåííóþ k = 1
 ñîãëàñíî ïðàâè
= K (A; fbi;j g) Z (q(A); fJi;j (bi;j ; A)g) ; (14) ëàì
(a)
I k = 1; (b) I  k = +1:
ãäå
 (Np +1)
 
K (A; fbi;j g) = A2 + A 2  ()
Êðó÷åíèå óçëà T w ! îïðåäåëèì êàê ñóììó ïå
0 1
X ðåìåííûõ k ïî âñåì ïåðåñå÷åíèÿì:
 exp  ln A bi;j A (15)
T w(! ) =
X
k :
fi;jg
k
åñòü òðèâèàëüíûé ìíîæèòåëü, íå çàâèñÿùèé îò ïîòò
ñîâñêèõ ñïèíîâ. Ñòàòñóììà ìîäåëè Ïîòòñà èìååò
Èíâàðèàíòû èçîòîïè÷åñêèõ óçëîâ fKI ! âûðàæàåò ()
ñÿ ñëåäóþùèì îáðàçîì [9℄:
âèä
fKI (! ) = fKR (! )( A)3T w(!) : (18)

Z (q (A); fJi;j (bi;j ; A)g) =


Çàìåòèì, ÷òî äëÿ íàøèõ ãðàíè÷íûõ óñëîâèé k bk . =
0 1 Èçâåñòíî, ÷òî ïîëèíîìèàëüíûé èíâàðèàíò Êàó
X X Ji;j (bi;j ; A) ìàíà èçîòîïè÷åñêèõ óçëîâ fKI ! A îò ïåðåìåí (; )
= exp  T
Æ (i ; j )A ; (16) íîé A ýêâèâàëåíòåí ïîëèíîìèàëüíîìó èíâàðèàíòó
fg fi;jg (; ) =
Äæîíñà fJ ! x îò ïåðåìåííîé x A4 . Òåïåðü, ïîëü
ãäå êîíñòàíòà âçàèìîäåéñòâèÿ Ji;j è ÷èñëî ñîñòîÿíèé çóÿñü îðìóëàìè (14) è (15), ìû ìîæåì âûðàçèòü
q âûðàæàþòñÿ ñëåäóþùèì îáðàçîì: èíâàðèàíò Äæîíñà ÷åðåç ñòàòñóììó ìîäåëè Ïîòòñà.
Ïóñòü X
Ji;j
= ln( A4bi;j ); q = (A2 + A 2 )2 ; (17) Z (t; q ) = HE (E; q )t E
T E

1294
ÆÝÒÔ, òîì 120, âûï. 5 (11), 2001 Òåðìîäèíàìèêà è òîïîëîãèÿ íåóïîðÿäî÷åííûõ ñèñòåì : : :

 ñòàòñóììà ìîäåëè Ïîòòñà, ãäå t e , E  óðîâ = Äëÿ òðèâèàëüíîãî óçëà n =0 è ïî ìåðå óâåëè÷åíèÿ
íè ýíåðãèè, ïî êîòîðûì ïðîèñõîäèò ñóììèðîâàíèå, ñëîæíîñòè óçëà ñòàðøàÿ ñòåïåíü ðàñòåò (íå ïðåâîñ
( )
H E; q  êðàòíîñòü âûðîæäåíèÿ óðîâíÿ ýíåðãèè E õîäÿ çíà÷åíèÿ n =
N ). Òàêèì îáðàçîì, âñå ìíîæå
äëÿ äàííîãî çíà÷åíèÿ q . Òîãäà, ó÷èòûâàÿ, ÷òî ñòâî ðåøåòî÷íûõ óçëîâ ìû ðàçáèâàåì íà ïîäêëàñ
ñû, êàæäûé èç êîòîðûõ õàðàêòåðèçóåòñÿ ñòåïåíüþ
x = A4 = t; 0
n (  n  N ) ïîëèíîìèàëüíîãî èíâàðèàíòà Äæîí
()
ñà. Ìû áóäåì èçó÷àòü âåðîÿòíîñòü P n òîãî, ÷òî
èç îðìóë (14), (15) è (18) ìû ïîëó÷àåì âûðàæåíèå ñëó÷àéíûé óçåë ïðèíàäëåæèò ê îäíîìó èç ýòèõ ïîä
äëÿ ïîëèíîìèàëüíîãî èíâàðèàíòà Äæîíñà: êëàññîâ, ò. å. õàðàêòåðèçóåòñÿ ñòåïåíüþ n èíâàðèàí
X òà Äæîíñà.
fJ = H (E ; q = 2 + x + x 1 )( x) E  åíåðèðîâàòü ñëó÷àéíûå óçëû ìîæíî äâóìÿ ñïî

px)Np +1+fP
E ñîáàìè.
bi;j
 (1 + x) Np 1( i;jg : (19) 1. Ìû ìîæåì ðàñïîëîæèòü íà äèàãðàììå óçëà
ñ N âåðøèíàìè èêñèðîâàííîå ÷èñëî ïåðåñå÷åíèé
 äàëüíåéøåì, ãîâîðÿ î ìàêñèìàëüíîé ñòåïåíè ïî òèïà  = 1. Îñòàëüíûå âåðøèíû, ñîîòâåòñòâåííî,
ëèíîìèàëüíîãî èíâàðèàíòà, ìû áóäåì èìåòü â âè áóäóò ïåðåñå÷åíèåì òèïà  = +1 .
äó ìàêñèìàëüíóþ ñòåïåíü ïåðåìåííîé x â ïîëèíî 2. Ìû ìîæåì â êàæäîé âåðøèíå äèàãðàììû ñ âå
ìèàëüíîì èíâàðèàíòå Äæîíñà fJ . Ïðè ýòîì áóäåì ðîÿòíîñòüþ p ïîìåñòèòü ïåðåñå÷åíèå òèïà  = 1 è
ïîìíèòü, ÷òî ñòåïåíü ïîëèíîìèàëüíîãî èíâàðèàíòà ñ âåðîÿòíîñòüþ 1 p  ïåðåñå÷åíèå òèïà  = +1 .
Êàóìàíà èçîòîïè÷åñêèõ óçëîâ fKI ïîëó÷àåòñÿ èç Íåòðóäíî çàìåòèòü, ÷òî òðèâèàëüíîìó óçëó, íà
ñîîòâåòñòâóþùåé ñòåïåíè ïîëèíîìèàëüíîãî èíâàðè äèàãðàììå êîòîðîãî âñå ïåðåñå÷åíèÿ èìåþò òèï
àíòà Äæîíñà óìíîæåíèåì íà 4.  = +1, ñîîòâåòñòâóåò ñòàòñóììà ñ åððî-(-) è àí
Êàê áûëî ñêàçàíî âûøå, íàøà ïðîáëåìà çàêëþ òèåððîìàãíèòíûìè (à-) ñâÿçÿìè, ðàñïðåäåëåííû
÷àåòñÿ â âû÷èñëåíèè âåðîÿòíîñòè P ffJ g òîãî, ÷òî ìè ñîãëàñíî ïðàâèëó (9). Ïðèìåñüþ (ñîîòâåòñòâóþ
2
ñðåäè âñåõ N âîçìîæíûõ ðåàëèçàöèé áåñïîðÿäêà ùåé k = 1 íà äèàãðàììå óçëà) áóäåì ñ÷èòàòü ñìå
fk g; k =1
; : : : ; N , íàéäåòñÿ ðåøåòî÷íûé óçåë â íó çíàêà bi;j îòíîñèòåëüíî çíà÷åíèé, ñîîòâåòñòâóþ
òîïîëîãè÷åñêîì ñîñòîÿíèè ñ çàäàííûì èíâàðèàíòîì ùèõ òðèâèàëüíîìó óçëó. Ñëåäóåò ðàçëè÷àòü ïîíÿòèå
( )
Êàóìàíà fJ x; fk g . Ýòà âåðîÿòíîñòü îðìàëüíî ¾ïðèìåñü¿  ñìåíó çíàêà bi;j , îò à-ñâÿçè bi;j= 1 .
ìîæåò áûòü çàïèñàíà â âèäå Äëÿ òðèâèàëüíîãî óçëà, äëÿ êîòîðîãî âñå k =1 ,
ïðèìåñåé íà ðåøåòêå íåò, à à-ñâÿçè åñòü.
PN ffJ g = N
1 X 
Æ fJ (x; f1 ; : : : ; N g)

fJ :
2 fk g
3. ÂÑÏÎÌÎ ÀÒÅËÜÍÛÅ ÏÎÑÒÎÅÍÈß È

Òàêèì îáðàçîì, òîïîëîãè÷åñêèé áåñïîðÿäîê, îïðåäå ×ÈÑËÅÍÍÛÅ ÌÅÒÎÄÛ

ëåííûé ñëó÷àéíûì íåçàâèñèìûì âûáîðîì ïåðåñå÷å


íèé òèïà  = +1
è  = 1
, ÿâëÿåòñÿ ñëó÷àéíûì
3.1. Âèä ðåøåòêè äëÿ ìîäåëè Ïîòòñà è
ïîëîæåíèå åððî- è àíòèåððîìàãíèòíûõ
çàìîðîæåííûì âíåøíèì ïîëåì.
ñâÿçåé
Ïðè èñïîëüçîâàíèè èíâàðèàíòà Äæîíñà êàæäûé
òîïîëîãè÷åñêèé êëàññ (¾ãîìîòîïè÷åñêèé òèï¿) õà Îïèøåì ãåîìåòðèþ ðåøåòêè ìîäåëè Ïîòòñà,
ðàêòåðèçóåòñÿ ïîëèíîìîì.  ýòîì ñëó÷àå äëÿ òî÷ êîòîðàÿ ñîîòâåòñòâóåò äèàãðàììå óçëà ðàçìåðîì
íîé èäåíòèèêàöèè ãîìîòîïè÷åñêîãî òèïà óçëà íà =
N L  L.  äàííîé ðàáîòå ìû îãðàíè÷èâàåìñÿ ðàñ
ðåøåòêå ñ N ïåðåñå÷åíèÿìè ïîòðåáóåòñÿ ïîðÿäêà ñìîòðåíèåì òîëüêî êâàäðàòíûõ ðåøåòîê, õîòÿ âñå
N ïåðåìåííûõ. ×èñëî ðàçíûõ ãîìîòîïè÷åñêèõ òè ðàññóæäåíèÿ îñòàþòñÿ âåðíûìè è äëÿ ïðÿìîóãîëü
ïîâ ðàñòåò ïî ïîðÿäêó âåëè÷èíû êàê N , â ñâÿçè ñ 2 íûõ ðåøåòîê. Íà ðèñ. 3a ïðèâåäåí ïðèìåð òðèâèàëü
÷åì èçó÷àòü âåðîÿòíîñòü êàæäîãî îòäåëüíîãî ãîìî íîãî ðåøåòî÷íîãî óçëà ðàçìåðîì N =5 5
 . Ïîëî
òîïè÷åñêîãî òèïà, õàðàêòåðèçóåìîãî N ïåðåìåííû æåíèå ñïèíîâ Ïîòòñà, ñîîòâåòñòâóþùèõ äàííîé ðå
ìè, î÷åíü òðóäíî. Ïîýòîìó ìû ðàññìîòðèì óïðîùåí øåòî÷íîé äèàãðàììå, ïîêàçàíî êðóæêàìè. åøåòêà
íóþ õàðàêòåðèñòèêó ðåøåòî÷íîãî óçëà  ñòàðøóþ ñïèíîâ Ïîòòñà, ñîîòâåòñòâóþùàÿ ýòîìó óçëó, èçîá
ñòåïåíü n åãî ïîëèíîìèàëüíîãî èíâàðèàíòà fJ x : () ðàæåíà íà ðèñ. 3á. Íà ðèñ. 3á -ñâÿçè (êîòîðûå íà
ðèñ. 1 áûëè áû ãîðèçîíòàëüíûìè) ïîêàçàíû ñïëîø
n= lim ln lnfJx(x) :
jxj!1
(20) íîé ëèíèåé, à-ñâÿçè (êîòîðûå íà ðèñ. 1 áûëè áû
âåðòèêàëüíûìè) ïîêàçàíû øòðèõîâîé ëèíèåé. Íà

1295
Î. À. Âàñèëüåâ, Ñ. Ê. Íå÷àåâ ÆÝÒÔ, òîì 120, âûï. 5 (11), 2001

Çàìåòèì, ÷òî èíâàðèàíòû Êàóìàíà äëÿ óçëà è


åãî çåðêàëüíîãî îáðàçà ðàçëè÷àþòñÿ. Ýòî ÿâëÿåòñÿ
à á ñëåäñòâèåì ñëåäóþùåãî ñâîéñòâà èíâàðèàíòà Äæîí
ñàÊàóìàíà: èíâàðèàíò çåðêàëüíîãî îáðàçà óçëà
ïîëó÷àåòñÿ çàìåíîé t ! t 1 (è A ! A 1 ), â ðåçóëü
òàòå ðàñïðåäåëåíèå ñòåïåíåé ïîëèíîìà ñòàíîâèòñÿ
íåñèììåòðè÷íûì îòíîñèòåëüíî çàìåíû p ! 1 p.
åððîìàãíèòíàÿ
ñâÿçü 3.2. Ìåòîä òðàíñåð-ìàòðèö
â àíòèåððîìàãíèòíàÿ
ñâÿçü Íàïîìíèì, ÷òî íàñ èíòåðåñóåò âåðîÿòíîñòü ðàñ
ïðåäåëåíèÿ ñòàðøåé ñòåïåíè n èíâàðèàíòà Äæîí
ñàÊàóìàíà, óñðåäíåííîé ïî ðàçëè÷íûì òèïàì
èñ. 3. Óçåë ðàçìåðîì N = 5  5 (à). Êîíèãóðà- ïåðåñå÷åíèé â äèàãðàììå óçëà. Èç îïðåäåëåíèÿ (20)
öèÿ ñïèíîâ Ïîòòñà, ñîîòâåòñòâóþùàÿ óçëó N = 55 ñëåäóåò, ÷òî êîýèöèåíò ïåðåä ÷ëåíîì ñî ñòàðøåé
(á) è òàêàÿ æå êîíèãóðàöèÿ, ïðèâåäåííàÿ ê ïðÿìî- ñòåïåíüþ n, ñòîÿùèé â ïîëèíîìå Äæîíñà ñëó÷àéíî
óãîëüíîé ðåøåòêå Lh  Lv = 3  6 (á) ãåíåðèðîâàííîãî óçëà, íå èãðàåò ðîëè. Ôèêñèðóåì
íåêîòîðîå ÷èñëî n0 , ãåíåðèðóåì àíñàìáëü ñëó÷àé
íûõ äèàãðàìì óçëîâ è îïðåäåëèì äîëþ óçëîâ ñî
ðèñ. 3â òà æå ñàìàÿ ðåøåòêà ïðèâåäåíà ê ïðÿìî =
ñòàðøåé ñòåïåíüþ n n0 .
óãîëüíîé ðåøåòêå âèäà Lh  Lv , ãäå Lh L , = +1 Èñïîëüçîâàíèå òðàäèöèîííîãî ïîäõîäà ê ÷èñëåí
Lv = ( + 1) 2
L = , â äàííîì ñëó÷àå Lv , Lh . =3 =6 íîìó àíàëèçó q -êîìïîíåíòíîé ñïèíîâîé ñèñòåìû
Ñòàòñóììà ìîäåëè Ïîòòñà áóäåò èññëåäîâàòüñÿ íà Ïîòòñà ïðåäïîëàãàåò, ÷òî êàæäîìó âîçìîæíîìó ñî
ïðÿìîóãîëüíîé ðåøåòêå òàêîãî âèäà. ñòîÿíèþ ñòîëáöà èç Lv ñïèíîâ ñîîòâåòñòâóåò ñîá
Òî, ÷òî âûñîòà ðåøåòêè ìîäåëè Ïîòòñà â äâà ñòâåííûé âåêòîð òðàíñåð-ìàòðèöû ðàçìåðà q Lv .
ðàçà ìåíüøå âûñîòû ðåøåòî÷íîé äèàãðàììû óçëà Ïðè èñïîëüçîâàíèè êîìïüþòåðîâ òèïà P-II-300 ïðè
(ñì. ðèñ. 3aâ) îñîáåííî óäîáíî ïðè èñïîëüçîâàíèè ðàçóìíîì âðåìåíè âû÷èñëåíèÿ ìàêñèìàëüíûé ðàç
ìåòîäà òðàíñåð-ìàòðèö, êîãäà âû÷èñëèòåëüíûå çà ìåð òðàíñåð-ìàòðèöû ñîñòàâëÿåò îêîëî 100200.
òðàòû ýêñïîíåíöèàëüíî çàâèñÿò îò âûñîòû ðåøåòêè. Ýòî ñîîòâåòñòâóåò øèðèíå ïîëîñêè ñïèíîâ Lv =8
Îáîçíà÷èì N =
L  L  îáùåå ÷èñëî ñâÿçåé íà ðå äëÿ q=2 è Lv=4 äëÿ q =3 . Î÷åâèäíî, ÷òî äëÿ èñ
øåòêå, X ñëåäîâàíèÿ ìîäåëè Ïîòòñà ïðè áîëüøèõ çíà÷åíèÿõ q
N+ = Æ (bi;j ; 1) ýòîò ìåòîä èñïîëüçîâàòü ïðàêòè÷åñêè íåâîçìîæíî.
fi;jg Ìåòîä òðàíñåð-ìàòðèö äëÿ ïðîèçâîëüíîãî q
 ÷èñëî -ñâÿçåé íà ðåøåòêå, áûë ïðåäëîæåí â ðàáîòå [13℄. Îñíîâíàÿ èäåÿ ýòîãî
X ìåòîäà çàêëþ÷àåòñÿ â òîì, ÷òî êàæäîìó ñîáñòâåííî
N = Æ (bi;j ; 1) ìó âåêòîðó ñîîòâåòñòâóåò ðàçáèåíèå ñòîëáöà íà êëà
fi;jg ñòåðû ¾ñâÿçàííûõ¿ ñïèíîâ. Ñïèíû â êàæäîì êëàñ-
òåðå ïî îïðåäåëåíèþ ñîíàïðàâëåíû, ïîýòîìó ÷èñëî
 ÷èñëî à-ñâÿçåé íà ðåøåòêå. Ïðèìåñè, êîòîðîé ñî ¾öâåòîâ¿ q ìîæíî ñ÷èòàòü ïðîñòî ïàðàìåòðîì, ïðè
îòâåòñòâóåò k = 1íà èñõîäíîé ðåøåòêå, îòâå÷àåò íèìàþùèì ëþáûå çíà÷åíèÿ, â òîì ÷èñëå íåöåëûå è
èçìåíåíèå çíàêà ñîîòâåòñòâóþùåé êîíñòàíòû bi;j íà äàæå êîìïëåêñíûå. Îïèñàíèå äàííîãî ìåòîäà ìîæ
ðåøåòêå ìîäåëè Ïîòòñà. íî òàêæå íàéòè â ðàáîòàõ [14, 15℄, â êîòîðûõ îí èñ
Åùå ðàç îáðàòèì âíèìàíèå íà òî, ÷òî ¾ïðèìå ïîëüçîâàëñÿ äëÿ èññëåäîâàíèÿ ìîäåëè Ïîòòñà ñ ïðè
ñüþ¿ ìû íàçûâàåì èìåííî èçìåíåíèå òèïà ïåðåñå÷å ìåñÿìè íà ñâÿçÿõ è îïðåäåëåíèÿ íóëåé ñòàòñóììû
íèÿ ñ k = +1íà k = 1
, êîòîðîìó îòâå÷àåò ñìåíà àíòèåððîìàãíèòíîé ìîäåëè Ïîòòñà â êîìïëåêñíîé
çíàêà êîíñòàíòû ñâÿçè bi;j , ñîîòâåòñòâóþùåé äàííî ïëîñêîñòè.
ìó ïåðåñå÷åíèþ, à íå à-ñâÿçü (òàêèå ñâÿçè ïðèñóò Íèæå êðàòêî èçëîæåíû ïðèíöèïû îïðåäåëåíèÿ
ñòâóåò íà ðåøåòêå Ïîòòñà òðèâèàëüíîãî óçëà). Òðè áàçèñà â ïðîñòðàíñòâå ¾ñâÿçàííûõ¿ ñïèíîâ, à òàêæå
âèàëüíûé óçåë õàðàêòåðèçóåòñÿ îòñóòñòâèåì ïðèìå ïîñòðîåíèÿ òðàíñåð-ìàòðèö â ýòîì áàçèñå. Â äàí
ñåé íà ðåøåòêå ìîäåëè Ïîòòñà: íîì îïèñàíèè ìû ñëåäóåì ðàáîòå [15℄.
N +1
= N 2 1:
Íàáîðó áàçèñíûõ âåêòîðîâ ñîîòâåòñòâóåò íàáîð
N+ = ; N
2 âñåâîçìîæíûõ ðàçáèåíèé ñòîëáöà ñïèíîâ íà êëàñòå

1296
ÆÝÒÔ, òîì 120 , âûï. 5 (11), 2001 Òåðìîäèíàìèêà è òîïîëîãèÿ íåóïîðÿäî÷åííûõ ñèñòåì : : :

Lv = 1 1 êëàñòåðó, à ïîñëåäíèé áàçèñíûé âåêòîð ñîîòâåòñòâó


åò ñîñòîÿíèþ, êîãäà âñå ñïèíû îòäåëüíûå è ÷èñëî
êëàñòåðîâ ðàâíÿåòñÿ ÷èñëó ñïèíîâ â ñòîëáöå. Îáùåå
1 1 ÷èñëî áàçèñíûõ âåêòîðîâ äëÿ ïîëîñêè øèðèíîé m
Lv = 2
1 2 îïðåäåëÿåòñÿ ÷èñëîì Êàòàëàíà
 
Cm =
1 2m
1 1 1 1 1 m+1 m
Lv = 3 1 1 2 2 2 ñ ñîîòâåòñòâóþùèì ïîðÿäêîâûì íîìåðîì (ñì. [15℄).
1 2 1 2 3 ( )
Îáîçíà÷èì vi nk ðàçáèåíèå, ïîëó÷åííîå âûäåëå
íèåì èç ðàçáèåíèÿ vi ñïèíà ñ íîìåðîì k â îòäåëüíûé
èñ. 4.Ïîøàãîâàÿ ãåíåðàöèÿ ðàçáèåíèé íà êëàñòå- ( )
êëàñòåð, à vi fk; lg  ðàçáèåíèå, â êîòîðîì êëàñòå
ðû ñòîëáöà óçëîâ, ñîîòâåòñòâóþùèõ âåêòîðàì ñî- ðû, êîòîðûì ïðèíàäëåæàò ñïèíû k è l, îáúåäèíåíû
ñòîÿíèé â îäèí.
Ñëåäóÿ ìåòîäó, èçëîæåííîìó â [15℄, îïðåäåëèì
ìàòðèöó
ðû ñâÿçàííûõ ñïèíîâ. Ïðè ýòîì íåîáõîäèìî ó÷èòû
âàòü, ÷òî äàííîå ðàçáèåíèå äîëæíî äîïóñêàòü ðåà
Di;j (k ) = Æ (vj (nk ); vi ) + qÆ (vj (nk ); vj ):
ëèçàöèþ â âèäå ïëàíàðíîãî ãðàà â ïîëóïëîñêîñòè. Èíûìè ñëîâàìè, ýëåìåíò ìàòðèöû Di;j k îòëè÷åí ()
Îïèøåì ðåêóðñèâíóþ ïðîöåäóðó îïðåäåëåíèÿ áàçè îò íóëÿ, êîãäà â ðàçáèåíèè vi ñïèí ñ íîìåðîì k íå
ñà. Ïóñòü ó íàñ óæå åñòü áàçèñ äëÿ ñòîëáöà âûñî ñâÿçàí íè ñ êàêèìè äðóãèìè. Åñëè æå ýòîò ñïèí íå
òîé Lv . Ìû äîáàâëÿåì ñíèçó åùå îäèí ñïèí è ïî ñâÿçàí íè ñ êàêèìè äðóãèìè è â ðàçáèåíèè j , òî ýëå
~
ëó÷àåì ñòîëáåö âûñîòîé Lv . Ïîñëå ýòîãî ìû áåðåì, ìåíò ìàòðèöû ðàâåí q , èíà÷å îí ðàâåí 1.
( )
íàïðèìåð, ðàçáèåíèå v1 Lv , ñîîòâåòñòâóþùåå ïåð Îïðåäåëèì òàêæå ìàòðèöó C k; l , ( )
âîìó áàçèñíîìó âåêòîðó Lv è íà÷èíàåì ãåíåðèðî
âàòü ðàçáèåíèÿ, ñîîòâåòñòâóþùèå áàçèñíûì âåêòî Ci;j (k; l) = Æ (vj (fk; lg); vi );
~
ðàì äëÿ ñòîëáöà Lv , ïðèñîåäèíÿÿ äîáàâëåííûé ñïèí ýëåìåíò êîòîðîé ðàâåí 1 òîãäà è òîëüêî òîãäà, êîãäà
( )
ê ñóùåñòâóþùèì â v1 Lv . Ïðè ýòîì ìû ïðîâåðÿåì ðàçáèåíèå vi ïîëó÷àåòñÿ èç ðàçáèåíèÿ vj îáúåäèíå
íà êàæäîì øàãå, ìîæíî ëè îñóùåñòâèòü ïðèñîåäè íèåì êëàñòåðîâ, êîòîðûì ïðèíàäëåæàò ñïèíû k; l.
íåíèå â ðàìêàõ ïëàíàðíîãî ãðàà â ïîëóïëîñêîñòè. àññìîòðèì ñòðóêòóðó ðåøåòêè, ïåðâûå äâå
Ïîñëå òîãî êàê ìû ïîïûòàëèñü ïðèñîåäèíèòü äîáàâ ñòðî÷êè êîòîðîé ïîêàçàíû íà ðèñ. 5ã (÷åòíîå çíà
ëåííûé ñïèí êî âñåì ñóùåñòâóþùèì êëàñòåðàì, ìû ÷åíèå èíäåêñà j +1
âî âòîðîì ñòîëáöå) è ðèñ. 5ä
ãåíåðèðóåì ðàçáèåíèå, â êîòîðîì äîáàâëåííûé êëàñ (íå÷åòíîå çíà÷åíèå èíäåêñà j +1
âî âòîðîì ñòîëá
òåð îòäåëüíûé. Ïîñëå ýòîãî ìû áåðåì ñëåäóþùåå öå). Ñòîëáöû ñïèíîâ ïðîíóìåðîâàíû èíäåêñîì
( )
ðàçáèåíèå äëÿ ñòîëáöà Lv , íàïðèìåð, v2 Lv , è ïî 1
j :  j  Lh , à ïîëîæåíèå ñïèíîâ â ñòîëáöå 
âòîðÿåì ïðîöåäóðó ãåíåðàöèè. 1
èíäåêñîì i:  i  Lv .
Ìû íà÷èíàåì ïðîöåäóðó ñ îäíîãî åäèíñòâåííî Èç ïîñòðîåíèÿ ñëåäóåò, ÷òî â òðàíñåð-ìàòðèöàõ
ãî ñïèíà, êàê ïîêàçàíî íà ðèñ. 4. Ïðèïèñûâàåì åìó T even j ( +1 = 2 )
k , ñîîòâåòñòâóþùèõ äîáàâëåíèþ ÷åò
öèðó 1, êàê ïðèíàäëåæàùåìó ïåðâîìó êëàñòåðó. íîãî ñòîëáöà j +1 = 2
k ïîñëå íå÷åòíîãî j k =2 1
Äîáàâëÿåì ñíèçó åùå îäèí ñïèí. Ñîîòâåòñòâåííî, (ìû äîáàâëÿåì ñòîëáöû ñïðàâà), ïðèñóòñòâóþò ñâÿ
äëÿ ïîëîñêè èç äâóõ ñïèíîâ èìååì äâà ñîñòîÿíèÿ: çè ìåæäó ñïèíàìè i;j =2k 1 è i+1;j =2k , à â òðàíñ
( = 2)
v1 Lv , êîãäà äâà ñïèíà ñâÿçàíû è îáà ïðèíàäëå åð-ìàòðèöàõ T odd j (2 + 1)
, ñîîòâåòñòâóþùèõ äîáàâ
æàò êëàñòåðó 1, è v2 Lv ( = 2)
, êîãäà ñïèíû íå ñâÿçà ëåíèþ íå÷åòíîãî ñòîëáöà j +1 = 2 +1
k ïîñëå ÷åòíîãî
íû è ïðèíàäëåæàò ñîîòâåòñòâåííî êëàñòåðàì 1 è 2, j =2k , ïðèñóòñòâóþò ñâÿçè ìåæäó ñïèíàìè i;j =2k
êàê ïîêàçàíî íà ðèñ. 4. Áàçèñ äëÿ ïîëîñêè èç òðåõ è i 1;j +1=2k+1 .
ñïèíîâ ìû ïîëó÷àåì, ïðèñîåäèíÿÿ ñíèçó åùå îäèí Ïóñòü
ñïèí è ñâÿçûâàÿ åãî ñî âñåìè êëàñòåðàìè. Êëàñòåðû t = exp( J )
íóìåðóþòñÿ íàòóðàëüíûìè ÷èñëàìè ñâåðõó âíèç, à
 âêëàä â ñòàòèñòè÷åñêèé âåñ, ñîîòâåòñòâóþ
áàçèñíûå âåêòîðû íóìåðóþòñÿ â ïîðÿäêå ãåíåðàöèè.
(
ùèé -ñâÿçè b i;j ; i0 ;j 0 ) = 1
, òîãäà à-ïðèìåñè
Ëåãêî çàìåòèòü, ÷òî ïðè òàêîé ïðîöåäóðå ïåðâûé áà
çèñíûé âåêòîð ñîîòâåòñòâóåò ñîñòîÿíèþ, êîãäà âñå
(
b i;j ; i0 ;j 0)= 1
ñîîòâåòñòâóåò âåñ
ñïèíû ñâÿçàíû äðóã ñ äðóãîì è ïðèíàäëåæàò îäíîìó t 1 = exp( J );

17 ÆÝÒÔ, âûï. 5 (11) 1297


Î. À. Âàñèëüåâ, Ñ. Ê. Íå÷àåâ ÆÝÒÔ, òîì 120 , âûï. 5 (11), 2001

à Ñòàòñóììà èìååò âèä


1;1 1;2 i;j = 1
1;1 = 2
1;2 = 3 Z (t) =
J =1 LhY=2 1

J= 1 +u T T even (Lh ) T odd(2k + 1)T even (2k ) vmax ;
k=1
á â

ãäå vmax  áàçèñíûé âåêòîð ñ ìàêñèìàëüíûì íîìå


ðîì, êîòîðûé â íàøåì ïðåäñòàâëåíèè ñîîòâåòñòâóåò
åððîìàãíèòíàÿ ñâÿçü ñîñòîÿíèþ, â êîòîðîì âñå ñïèíû ïðèíàäëåæàò ðàç
àíòèåððîìàãíèòíàÿ ñâÿçü íûì êëàñòåðàì, à

ã ä
1;j J1;j 1;j +1 1;j J1;j 1;j +1
uT = fqNCL(v1 ); qNCL(v2 ); : : : ; qNCL(vmax)g;
J3;j J3;j òàê ÷òî
2;j J2;j 2;j +1 2;j J2;j 2;j +1 uT vi = q NCL (vi ) ;

èñ. 5.Ïðèìåð êîíèãóðàöèè ñâÿçåé, äëÿ êîòîðîé ( )


ãäå NCL vi  ÷èñëî ðàçíûõ êëàñòåðîâ â ðàçáèå
ìèíèìàëüíàÿ ýíåðãèÿ ìîäåëè Ïîòòñà íåäîñòèæèìà íèè vi . Íàïðèìåð, äëÿ ïåðâîãî áàçèñíîãî âåêòîðà
ïðè q = 2 (à). àñïîëîæåíèå - è à-ñâÿçåé íà ðå- ( )=1
NCL v1  åäèíñòâåííûé êëàñòåð, äëÿ ïîñëåä
øåòêå Ïîòòñà N = 3  3 äëÿ êîíöåíòðàöèè ïðèìå- íåãî âåêòîðà NCL vmax ( )=
Lv  âñåãî Lv ðàçíûõ
ñåé p = 0 (á) è p = 1 (â). àñïîëîæåíèå ñâÿçåé êëàñòåðîâ.
ìåæäó ñòîëáöàìè ñ ÷åòíûìè è íå÷åòíûìè íîìåðà-
ìè (ã, ä) Îáùèé àëãîðèòì âû÷èñëåíèé òàêîâ.
1. åíåðèðóþòñÿ áàçèñíûå âåêòîðû äëÿ ïîëîñêè
òðåáóåìîé øèðèíû.
ãäå =1
=T . Òàêèì îáðàçîì, îáùèé âêëàä êîíèãó 2. Ïðè ïîìîùè ýòèõ âåêòîðîâ ãåíåðèðóþòñÿ ìàò
ðàöèè â ñòàòèñòè÷åñêèé âåñ ñèñòåìû åñòü tb(i;j ;i0 ;j0 ) . ( ) ( )
ðèöû R i; j , P i; j äëÿ ñëó÷àåâ -ñâÿçè è à-ñâÿçè
Îïðåäåëèì ìàòðèöó (i ; j ).
3. Ïðè ïîìîùè ãåíåðàòîðà ïñåâäîñëó÷àéíûõ ÷è
P (i; j ) = I (tb(i;j ;i;j+1 ) 1) + D(i; j ) ñåë ãåíåðèðóåòñÿ ðàñïðåäåëåíèå ïðèìåñåé íà ðåøåò
êå.
(
äëÿ ãîðèçîíòàëüíîé ñâÿçè i;j ; i;j +1 , à òàêæå ìàò ) 4. Â ñîîòâåòñòâèè ñ ýòèì ðàñïðåäåëåíèåì ãåíå
ðèöû äëÿ ¾êîñûõ¿ ñâÿçåé ðèðóþòñÿ òðàíñåð-ìàòðèöû äëÿ ìîäåëè Ïîòòñà è
ïîëèíîìèàëüíîãî èíâàðèàíòà.
Reven (i; j ) = I + C (i; j )(tb(i;j ;i+1;j+1 ) 1); 5. Âû÷èñëÿþòñÿ ñòàòñóììà ìîäåëè Ïîòòñà è ïî
Rodd (i; j ) = I + C (i; j )(tb(i;j ;i 1;j+1 ) 1); ëèíîìèàëüíûé èíâàðèàíò, çíà÷åíèÿ ìèíèìàëüíîé
ýíåðãèè è ìàêñèìàëüíîé ñòåïåíè ïîëèíîìà.
ãäå I  åäèíè÷íàÿ ìàòðèöà. 6. Ïîâòîðÿþòñÿ ïóíêòû 35 è ïðîâîäèòñÿ óñðåä
Òîãäà ìû ïîëó÷àåì äëÿ òðàíñåð-ìàòðèö ñëåäó íåíèå ïî ðàçëè÷íûì ðåàëèçàöèÿìè ïðèìåñåé íà ðå
þùèå âûðàæåíèÿ: øåòêå.
Ïîãðåøíîñòü îïðåäåëÿëàñü ïðè óñðåäíåíèè ïî
10 ðàçíûì ñåðèÿì âû÷èñëåíèé. Äëÿ êàæäîé ðåàëè
T even (j ) = P (Lv ; j )Reven (Lv 1; j ) 
çàöèè ïðèìåñåé ïðîãðàììà ïîçâîëÿåò îäíîâðåìåí
 P (Lv 1; j ) : : : Reven (1; j )P (1; j ); íî ïîëó÷àòü êàê ïîëèíîìèàëüíûé èíâàðèàíò, òàê
è ñòàòñóììó ìîäåëè Ïîòòñà äëÿ ïðîèçâîëüíîãî, íî
èêñèðîâàííîãî çíà÷åíèÿ q . Ýòî ïîçâîëèëî íàì
T odd(j ) = èññëåäîâàòü êîððåëÿöèè ìåæäó ìàêñèìàëüíîé ñòå
ïåíüþ ïîëèíîìà è ìèíèìàëüíîé ýíåðãèåé ìîäåëè
= P (1; j )Rodd(2; j )P (2; j ) : : : Rodd(Lv ; j )P (Lv ; j ): Ïîòòñà íà ñîîòâåòñòâóþùåé ðåøåòêå.

1298
ÆÝÒÔ, òîì , âûï. 5 (11), 2001
120 Òåðìîäèíàìèêà è òîïîëîãèÿ íåóïîðÿäî÷åííûõ ñèñòåì : : :

4. ÅÇÓËÜÒÀÒÛ ÂÛ×ÈÑËÅÍÈÉ
Òàáëèöà 1. Êîýèöèåíò êîððåëÿöèè
orr (nmax ; j
Emin j) è ñòàòèñòè÷åñêàÿ ïîãðåø-
4.1. Êîððåëÿöèÿ ìåæäó ìàêñèìàëüíîé íîñòü äëÿ íåãî
ñòåïåíüþ ïîëèíîìà Äæîíñà óçëà è
ìèíèìàëüíîé ýíåðãèåé ñîîòâåòñòâóþùåé L orr(n; jEmin j)  orr(n; jEmin j)
ìîäåëè Ïîòòñà
3 0.4871 0.0021
àññìîòðèì çàâèñèìîñòü ñòàðøåé ñòåïåíè ïîëè
íîìà Äæîíñà îò âèäà ñòàòñóììû ìîäåëè Ïîòòñà. Èç 5 0.6435 0.0022
îðìóëû (19), ÿâíî ñâÿçûâàþùåé èíâàðèàíò Äæîí 7 0.7205 0.0007
ñàÊàóìàíà è ìîäåëü Ïîòòñà, âèäíî, ÷òî åñëè áû
ïåðåìåííàÿ x íå âõîäèëà â âûðàæåíèå äëÿ âûðîæ- 9 0.7692 0.0013
äåííîñòè óðîâíÿ ýíåðãèè H E q ( ; = 2+ +
x x 1 , òî ) 11 0.7767 0.0129
ñòàðøàÿ ñòåïåíü ïîëèíîìèàëüíîãî èíâàðèàíòà âñå
ãäà ñîîòâåòñòâîâàëà áû ÷ëåíó ñòàòñóììû ñ ìèíè
ìàëüíîé ýíåðãèåé. ñà. Âû÷èñëåíèå êîýèöèåíòà êîððåëÿöèè ïîçâîëÿ
Åñëè æå ïðèíÿòü âî âíèìàíèå çàâèñèìîñòü êðàò åò êîëè÷åñòâåííî ïðîàíàëèçèðîâàòü ýòó ñâÿçü.
íîñòè âûðîæäåíèÿ îò ïåðåìåííîé x, òî ìîæíî óâè Íàïîìíèì îïðåäåëåíèå êîýèöèåíòà êîððåëÿ
äåòü, ÷òî â íåêîòîðûõ ñëó÷àÿõ ïðîèñõîäèò âçàèìíîå öèè. Äëÿ ñëó÷àéíûõ âåëè÷èí x1 è x2 , âåëè÷èí ñ ìà
ñîêðàùåíèå âêëàäîâ â êîýèöèåíò ïåðåä ýòîé ñòå òîæèäàíèÿìè hx1 i è hx2 i è äèñïåðñèÿìè
ïåíüþ è îí îáðàùàåòñÿ â íóëü. Ïðîñòûì ïðèìåðîì
ìîæåò ñëóæèòü ñëó÷àé áåç ïðèìåñåé, â êîòîðîì ìè x1 =
x21 hx1 i2 ; x2 =
x22 hx2 i2 ;
íèìàëüíàÿ ýíåðãèÿ åñòü
ãäå h: : : i îáîçíà÷àåò óñðåäíåíèå, êîýèöèåíò êîð
Emin = (N + 1)=2; ðåëÿöèè îïðåäåëÿåòñÿ ïî îðìóëå

à ïîëèíîì Äæîíñà òîæäåñòâåííî ðàâåí åäèíèöå è


åãî ñòàðøàÿ ñòåïåíü, ñîîòâåòñòâåííî, ðàâíà íóëþ.
orr(x1 ; x2 ) = hx1 xp2ix hx1xi hx2 i :
1 2
Òåì íå ìåíåå ñóùåñòâóåò ñèëüíàÿ êîððåëÿöèÿ
ìåæäó ìàêñèìàëüíîé ñòåïåíüþ ïîëèíîìà Äæîíñà n
Êîýèöèåíò êîððåëÿöèè, ðàâíûé  , ñîîòâåòñòâó 1
åò ëèíåéíîé çàâèñèìîñòè ìåæäó x1 è x2 .
è ìèíèìàëüíîé ýíåðãèåé ìîäåëè Ïîòòñà Emin . Ïî
Çíà÷åíèÿ êîýèöèåíòà êîððåëÿöèè ìåæäó ìàê
ñêîëüêó ìèíèìàëüíàÿ ýíåðãèÿ ìîäåëè Ïîòòñà âñå
ñèìàëüíîé ñòåïåíüþ ïîëèíîìà nmax è ìèíèìàëüíîé
ãäà çíàêîîïðåäåëåííà è íå ìîæåò áûòü ïîëîæèòåëü
íîé, ìû â äàëüíåéøåì áóäåì ðàáîòàòü ñ ïîëîæè
ýíåðãèåé jEmin j äëÿ êîíöåíòðàöèè ïðèìåñåé p : =05
òåëüíîé âåëè÷èíîé  ìîäóëåì ìèíèìàëüíîé ýíåð
è ðåøåòîê ñ ëèíåéíûìè ðàçìåðàìè L ; ; ; ; = 3 5 7 9 11
ãèè jEmin j= Emin . Íà ðèñ. 6a ïîêàçàíà ñîâìåñòíàÿ ïðèâåäåíû â òàáë. 1.
Ýòè äàííûå ïîëó÷åíû óñðåäíåíèåì ïî NL 5 = 10
( )
âåðîÿòíîñòü P n=N; jEmin j=N ðàñïðåäåëåíèÿ íîð
ðåàëèçàöèÿì ïðèìåñåé äëÿ L 7, ïî NL =3  4 = 2 10
ìèðîâàííîé ìàêñèìàëüíîé ñòåïåíè n=N è íîðìèðî
âàííîé ìèíèìàëüíîé ýíåðãèè jEmin j=N äëÿ ðåøåò
ðåàëèçàöèÿì äëÿ L è ïî NL =9 = 10
3 ðåàëèçàöèÿì
êè N = 49 è êîíöåíòðàöèè ïðèìåñåé p = 05
: , ïî äëÿ L = 11
. Âèäíî, ÷òî êîððåëÿöèÿ óâåëè÷èâàåòñÿ
ïî ìåðå ðîñòà ðàçìåðà ðåøåòêè L. Àïïðîêñèìàöèÿ
ëó÷åííàÿ óñðåäíåíèåì ïî NL = 10
5 êîíèãóðàöè
ýòèõ äàííûõ ñòåïåííîé óíêöèåé
ÿì ïðèìåñåé.  äàëüíåéøåì ìû îáû÷íî áóäåì ðà
 
áîòàòü èìåííî ñ íîðìèðîâàííûìè âåëè÷èíàìè, òàê n jEmin j
[0 1℄
êàê îíè îïðåäåëåíû íà îòðåçêàõ ; äëÿ ýíåðãèè orr N
;
N
= 1:04(4) 1:126(14)L 0:65(7)
è [ 1 1℄
; äëÿ ìàêñèìàëüíîé ñòåïåíè ïîëèíîìà (îíà
ìîæåò áûòü îòðèöàòåëüíîé). Ýòî ïîçâîëèò íàì èçîá ïðåäñòàâëåíà íà ðèñ. 6á. àçóìååòñÿ, ïî ñìûñëó êî
ðàæàòü íà îäíîì è òîì æå ðèñóíêå ãðàèêè äëÿ ðàç ýèöèåíò êîððåëÿöèè íå ìîæåò áûòü áîëüøå åäè
íûõ ðàçìåðîâ ðåøåòîê. Íà ðèñ. 6a âåðîÿòíîñòü èçîá íèöû  ïîëó÷åííîå çíà÷åíèå ÿâëÿåòñÿ ðåçóëüòàòîì
ðàæåíà ëèíèÿìè óðîâíÿ, ïðè÷åì ðàññòîÿíèþ ìåæäó ïðåíåáðåæåíèÿ ñëåäóþùèìè ÷ëåíàìè ðàçëîæåíèÿ
äâóìÿ ñîñåäíèìè ëèíèÿìè ñîîòâåòñòâóåò ðàçíèöà âå 1
óíêöèè ïî ñòåïåíÿì =L. Òåì íå ìåíåå ðåçóëüòàòû
ðîÿòíîñòåé 0.001. Èç ðèñóíêà âèäíî, ÷òî ñóùåñòâóåò àïïðîêñèìàöèè äåìîíñòðèðóþò, ÷òî ìàêñèìàëüíàÿ
ñèëüíàÿ êîððåëÿöèÿ ìåæäó ìàêñèìàëüíîé ñòåïåíüþ ñòåïåíü ïîëèíîìà è ìèíèìàëüíàÿ ýíåðãèÿ ìîäåëè
èíâàðèàíòà è ìèíèìàëüíîé ýíåðãèåé ìîäåëè Ïîòò Ïîòòñà òåñíî ñâÿçàíû äðóã ñ äðóãîì è ýòà ñâÿçü óñè

1299 17*
Î. À. Âàñèëüåâ, Ñ. Ê. Íå÷àåâ ÆÝÒÔ, òîì 120 , âûï. 5 (11), 2001

j
Emin =N j j
orr(n; Emin j)
0.6 0.9
orr(n; Emin )
0:65(7)
0.8 1:04(4) 1:126(14)L
0.5

0.7

0.4

à 0.6 á
0.3
0.5

0:1 0 0.1 0.2 0.3 0.4 0.5 2 4 6 8 10 12


L
n=N

èñ. 6.Ñîâìåñòíàÿ âåðîÿòíîñòü ðàñïðåäåëåíèÿ P (n=N; jEmin j=N ) íîðìèðîâàííîé ìàêñèìàëüíîé ñòåïåíè ïîëèíîìà
n=N è ìîäóëÿ ñîîòâåòñòâóþùåé íîðìèðîâàííîé ìèíèìàëüíîé ýíåðãèè Ïîòòñà jEmin j=N , ïîñòðîåííàÿ ïðè ïîìîùè
ëèíèé óðîâíÿ ñ øàãîì 0:0015 (à). Êîýèöèåíò êîððåëÿöèè orr (n; jEmin j) äëÿ ìàêñèìàëüíîé ñòåïåíè è ìîäóëÿ
ìèíèìàëüíîé ýíåðãèè â çàâèñèìîñòè îò L è åãî àïïðîêñèìàöèÿ ñòåïåííîé óíêöèåé îò L (á)

ëèâàåòñÿ ïî ìåðå óâåëè÷åíèÿ ðàçìåðà ðåøåòêè. Ïî àëèçàöèÿì ïðèìåñåé. Ñòàòèñòè÷åñêèå ïîãðåøíîñòè
ýòîìó äàëåå, ïðèâîäÿ ðåçóëüòàòû äëÿ ñòàðøåé ñòå ìåíüøå ðàçìåðîâ çíà÷êîâ.
ïåíè ïîëèíîìà, ìû äëÿ ñðàâíåíèÿ áóäåì ïðèâîäèòü Ìû âèäèì, ÷òî äëÿ íåáîëüøèõ êîíöåíòðàöèé
ðåçóëüòàòû è äëÿ ìèíèìàëüíîé ýíåðãèè. ()
ïðèìåñåé óíêöèÿ P n íåìîíîòîííà, íî îíà ñòàíî
Íàëè÷èå êîððåëÿöèé ìåæäó ñòàðøåé ñòåïåíüþ âèòñÿ ìîíîòîííîé, ïî îðìå ïðèáëèæàÿñü ê óíê
èíâàðèàíòà Êàóìàíà n è ìèíèìàëüíîé ýíåðãèåé öèè àóññà, ïî ìåðå óâåëè÷åíèÿ p. Ñîîòâåòñòâóþùàÿ
Emin ñîîòâåòñòâóþùåé ìîäåëè Ïîòòñà äëÿ êàæäîé âåðîÿòíîñòü ðàñïðåäåëåíèÿ äëÿ ìèíèìàëüíîé ýíåð
êîíêðåòíîé ðåàëèçàöèè ïðèìåñåé íà ðåøåòêå ïðåä ãèè íà ðåøåòêå òîãî æå ðàçìåðà L è äëÿ òåõ æå =7
ñòàâëÿåò íå òîëüêî ÷èñòî òåîðåòè÷åñêèé èíòåðåñ, à êîíöåíòðàöèé ïðèìåñåé (ñ èñïîëüçîâàíèåì òåõ æå
ìîæåò áûòü íåïîñðåäñòâåííî èñïîëüçîâàíî â ÷èñëåí çíà÷êîâ) ïîêàçàíà íà ðèñ. 7á. Ýòà óíêöèÿ âûãëÿ
íûõ ýêñïåðèìåíòàõ. Â íàñòîÿùèé ìîìåíò ïðåäåëü äèò áîëåå ìîíîòîííîé, è äëÿ äàííîãî ðàçìåðà ðå
íàÿ øèðèíà ðåøåòêè L â ìåòîäå òðàíñåð-ìàòðèö øåòêè ñòàíîâèòñÿ ïîõîæà íà óíêöèþ àóññà óæå
íå ïðåâîñõîäèò L = 11
, ÷òî ñâÿçàíî ñ áîëüøèì îáú ïðè íåáîëüøèõ êîíöåíòðàöèÿõ p  : . 02
åìîì íåîáõîäèìûõ âû÷èñëåíèé, â òî âðåìÿ êàê îïðå Âèä óíêöèé ðàñïðåäåëåíèÿ äëÿ èêñèðîâàííîé
äåëåíèå ìèíèìàëüíîé ýíåðãèè ìîäåëè Ïîòòñà ìîæåò êîíöåíòðàöèè ïðèìåñåé p = 05
: è ðàçíûõ ðàçìåðîâ
áûòü îñóùåñòâëåíî â ðàìêàõ ñòàíäàðòíîãî ìåòîäà ðåøåòîê ïîêàçàí íà ðèñ. 8a äëÿ ìàêñèìàëüíîé ñòå
Ìîíòå-Êàðëî, êîòîðûé òðåáóåò ãîðàçäî ìåíüøèõ âû ïåíè ïîëèíîìà è íà ðèñ. 8á äëÿ ìèíèìàëüíîé ýíåð
÷èñëèòåëüíûõ çàòðàò è, ñëåäîâàòåëüíî, ìîæåò áûòü ãèè. àçìåðó ðåøåòêè L =3
ñîîòâåòñòâóþò êðåñòè
ëåãêî ðàñïðîñòðàíåí íà ðåøåòêè ãîðàçäî áîëüøåãî êè, L =5 êâàäðàòèêè, L =7
 êðóæêè, L  =9
ðàçìåðà. òðåóãîëüíèêè. Äëÿ êàæäîé òî÷êè óñðåäíåíèå ïðîèç
âîäèëîñü ïî NL = 10
5 ðåàëèçàöèÿì ïðèìåñåé äëÿ
L =357
; ; è NL = 5 10
 3 äëÿ L . Âåðîÿòíîñòü =9
4.2. Âåðîÿòíîñòü ðàñïðåäåëåíèÿ äëÿ ñòàðøåé íîðìèðîâàíà íà 1, ò. å.
X
P (n) = 1;
ñòåïåíè ïîëèíîìèàëüíîãî èíâàðèàíòà è
ìèíèìàëüíîé ýíåðãèè ñîîòâåòñòâóþùåé
n
ìîäåëè Ïîòòñà
ïîýòîìó ïî ìåðå óâåëè÷åíèÿ ðàçìåðà ðåøåòêè óâåëè
 ýòîì ðàçäåëå ïðèâåäåíû ðåçóëüòàòû, êàñàþ ÷èâàåòñÿ ÷èñëî çíà÷åíèé, êîòîðûå ìîæåò ïðèíèìàòü
()
ùèåñÿ âåðîÿòíîñòè P n ðàñïðåäåëåíèÿ ìàêñèìàëü íîðìèðîâàííàÿ ñòàðøàÿ ñòåïåíü P n=N , à çíà÷å ( )
íîé ñòåïåíè ïîëèíîìà n. Íà ðèñ. 7a ïîêàçàíà âåðî íèå óíêöèè â êàæäîé òî÷êå óìåíüøàåòñÿ ïðèáëè
ÿòíîñòü ðàñïðåäåëåíèÿ ñòàðøåé ñòåïåíè ïîëèíîìà 1
çèòåëüíî êàê =N . Ìû âèäèì, ÷òî äëÿ íåáîëüøèõ
()
P n äëÿ L =7
è êîíöåíòðàöèé ïðèìåñåé p : = 01 ðàçìåðîâ ðåøåòêè L =35
; âåðîÿòíîñòü ðàñïðåäå
(êðåñòèêè), p = 02
: (êâàäðàòèêè) è p : (êðóæ = 05 ( )
ëåíèÿ n=N íåìîíîòîííà, íî ïî ìåðå ðîñòà L îíà
êè). Äàííûå ïîëó÷åíû óñðåäíåíèåì ïî NL 5 ðå = 10 ñòàíîâèòñÿ ãëàäêîé ãàóññîîáðàçíîé óíêöèåé.

1300
ÆÝÒÔ, òîì 120 , âûï. 5 (11), 2001 Òåðìîäèíàìèêà è òîïîëîãèÿ íåóïîðÿäî÷åííûõ ñèñòåì : : :

P (n=N ; p) j j
P ( Emin =N ; p)
0.3

p = 0:1 0.3 p = 0:1


p = 0:2
à p = 0:2
á
0.2 p = 0:5 p = 0:5
0.2

0.1
0.1

0 0
0:1
j j
0 0.1 0.2 0.3 0.4 0.5 0.3 0.4 0.5 0.6
n=N Emin =N

èñ. 7.Âåðîÿòíîñòü ðàñïðåäåëåíèÿ P (n=N ; p) íîðìèðîâàííîé ñòàðøåé ñòåïåíè ïîëèíîìà n äëÿ ðåøåòêè 7  7 è êîí-
öåíòðàöèé ïðèìåñåé p = 0:1; 0:2; 0:5 (à). Âåðîÿòíîñòü ðàñïðåäåëåíèÿ P (jEmin j=N ; p) ìîäóëÿ ìèíèìàëüíîé ýíåðãèè
Emin äëÿ ðåøåòêè 7  7 è êîíöåíòðàöèè ïðèìåñåé p = 0:1; 0:2; 0:5 (á)

P
P
0.4

0.6 à N =9 á N =9
N = 25 0.3 N = 25
N = 49 N = 49
0.4
N = 81 0.2
N = 81

0.2
0.1

0
0:2 0 0.2 0.4 0.6 0.8 1.0
j j
0 0.2 0.4 0.6 0.8
n=N Emin =N

èñ. 8. Âåðîÿòíîñòü íîðìèðîâàííîé ñòàðøåé ñòåïåíè ïîëèíîìà n=N äëÿ ðåøåòîê N = 9; 25; 49; 81 ïðè p = 0:5 (à).

Âåðîÿòíîñòü ìîäóëÿ íîðìèðîâàííîé ìèíèìàëüíîé ýíåðãèè jEmin j=N äëÿ ðåøåòîê N = 9; 25; 49; 81 ïðè p = 0:5 (á)

Èòàê, ìû ìîæåì ñäåëàòü âûâîä, ÷òî äëÿ íåáîëü ðàçëè÷íûì ðåàëèçàöèÿì ïðèìåñåé îò p ïîêàçàíà íà
øèõ ðàçìåðîâ ðåøåòîê âåðîÿòíîñòü ðàñïðåäåëåíèÿ ðèñ. 9a è ðèñ. 9á ñîîòâåòñòâåííî. àçìåðó ðåøåòêè
()
P n ñòàðøåé ñòåïåíè ïîëèíîìèàëüíîãî èíâàðèàí L =3
ñîîòâåòñòâóþò êðåñòèêè, L =5
 êâàäðàòèêè,
òà ÿâëÿåòñÿ íåìîíîòîííîé óíêöèåé èç-çà âëèÿíèÿ L =7
êðóæêè. Óñðåäíåíèå äëÿ êàæäîé òî÷êè ïðîèç
ãðàíè÷íûõ óñëîâèé äàæå äëÿ çíà÷èòåëüíûõ êîí 10
âîäèëîñü ïî 5 ðåàëèçàöèÿì ïðèìåñåé äëÿ L ; =3 5
öåíòðàöèé ïðèìåñåé. Ïî ìåðå óâåëè÷åíèÿ ðàçìå 5 10
è  4 äëÿ L . =7
ðà ðåøåòîê ýòà íåìîíîòîííîñòü èñ÷åçàåò è âåðîÿò
íîñòü ðàñïðåäåëåíèÿ ñòàíîâèòñÿ ãëàäêîé óíêöèåé. Êàê è ñëåäîâàëî îæèäàòü, ïðè p è p =0 =1
Ïî-âèäèìîìó, ìîæíî óòâåðæäàòü, ÷òî äëÿ ëþáîé ìà (÷òî ñîîòâåòñòâóåò òðèâèàëüíîìó óçëó) ñðåäíåå çíà
ëîé êîíöåíòðàöèè ïðèìåñåé p íàéäåòñÿ òàêîé ðàç ÷åíèå è äèñïåðñèÿ ìàêñèìàëüíîãî ïîêàçàòåëÿ ñòåïå
1
ìåð ðåøåòêè N (N  =p), ÷òî äëÿ ýòîé ðåøåòêè íè îáðàùàþòñÿ â íóëü, à ìàêñèìàëüíîãî çíà÷åíèÿ
âåðîÿòíîñòü ðàñïðåäåëåíèÿ áóäåò ãëàäêîé è ãàóññî ýòè óíêöèè äîñòèãàþò ïðè p  : . Çàìåòèì, ÷òî05
îáðàçíîé. äàííûå óíêöèè íå ÿâëÿþòñÿ ñèììåòðè÷íûìè îò
íîñèòåëüíî ïðåîáðàçîâàíèÿ p ! 1
p, òàê êàê ïî
Ïîñêîëüêó ìû ïîëàãàåì, ÷òî ïðè áîëüøèõ ðàçìå ëèíîìèàëüíûé èíâàðèàíò Äæîíñà çåðêàëüíîãî óçëà
ðàõ ðåøåòîê âåðîÿòíîñòü ðàñïðåäåëåíèÿ îïðåäåëÿåò (íà äèàãðàììå êîòîðîãî âñå ïåðåñå÷åíèÿ çàìåíåíû
ñÿ óíêöèåé àóññà, òî åå îñíîâíûìè ïàðàìåòðàìè íà ïðîòèâîïîëîæíûå) ïîëó÷àåòñÿ çàìåíîé ïåðåìåí
ÿâëÿþòñÿ ìàòîæèäàíèå (ñðåäíåå çíà÷åíèå) ñòàðøåé íîé x íà x 1 , è ìàêñèìàëüíîé ñòåïåíüþ ïîëèíîìà
ñòåïåíè ïîëèíîìà è äèñïåðñèÿ. Çàâèñèìîñòü ñðåäíå çåðêàëüíîãî óçëà ñòàíîâèòñÿ ìèíèìàëüíàÿ ñòåïåíü
ãî çíà÷åíèÿ ñòàðøåé ñòåïåíè ïîëèíîìà hn=N i è äèñ ¾ïðÿìîãî¿ óçëà, âçÿòàÿ ñî çíàêîì ìèíóñ. Îäíàêî
2 ïðè óñðåäíåíèè ïî
ïåðñèè ñòàðøåé ñòåïåíè Wknot ýòà íåñèììåòðè÷íîñòü èñ÷åçàåò ïî ìåðå óâåëè÷åíèÿ

1301
Î. À. Âàñèëüåâ, Ñ. Ê. Íå÷àåâ ÆÝÒÔ, òîì , âûï. 5 (11), 2001
120

hn=N i 2
Wknot
0.25 1.0
N =9 N =9
0.20 N = 25 à 0.8
N = 25 á
N = 49
N = 49 0:5p(1 p)
0.15 0.6

0.10 0.4

0.05 0.2

0 0.2 0.4 0.6 0.8 1.0 0 0.2 0.4 0.6 0.8 1.0
p p

èñ. 9. Ñðåäíèå çíà÷åíèÿ íîðìèðîâàííîé hn=N i ñòàðøåé ñòåïåíè ïîëèíîìà (à) è äèñïåðñèÿ Wknot
2
(p) ðàñïðåäåëåíèÿ
íîðìèðîâàííîé ñòàðøåé ñòåïåíè ïîëèíîìà n=N (á) äëÿ ðàçíûõ çíà÷åíèé p = 01.0

ðàçìåðà ðåøåòêè N â ðåçóëüòàòå óâåëè÷åíèÿ ÷èñëà ýíåðãèè óáûâàåò ïî ìåðå óâåëè÷åíèÿ ðàçìåðà ðåøåò
ïðèìåñåé è ÷èñëà âñåõ âîçìîæíûõ êîíèãóðàöèé êè è àïïðîêñèìèðóåòñÿ óíêöèåé
ïðèìåñåé, ïî êîòîðûì ïðîâîäèòñÿ óñðåäíåíèå. Íà 
ðèñ. 9á ïîñòðîåíà òàêæå óíêöèÿ = p (1 2) (1
p , êî ) jEmin j   0:4185(7) + 0:119(3)L 1:11(4):
òîðàÿ ðàâíÿëàñü áû äèñïåðñèè ðàñïðåäåëåíèÿ, åñëè N
ìàêñèìàëüíàÿ ñòåïåíü ïîëèíîìà n áûëà áû ëèíåé
Íåêîòîðûå îñîáåííîñòè ðàñïðåäåëåíèÿ ìèíè
íîé óíêöèåé îò ÷èñëà ïðèìåñåé M . Òàêèì îáðàçîì,
ìàëüíîé ýíåðãèè ìîäåëè Ïîòòñà ñî ñëó÷àéíûìè
ðàçíèöà ìåæäó çíà÷åíèÿìè Wknot 2 è = p p õà(1 2) (1 ) åððî- è àíòèåððîìàãíèòíûìè ñâÿçÿìè ïðè q  , 4
ðàêòåðèçóåò äèñïåðñèþ ðàñïðåäåëåíèÿ ñòàðøåé ñòå
ïîçâîëÿþùèå ïîëó÷èòü àíàëèòè÷åñêèå ðåçóëüòàòû
ïåíè ïîëèíîìà ïðè èêñèðîâàííîì ÷èñëå ïðèìåñåé
M (íàïîìíèì, ÷òî â íàøåì ñëó÷àå ïðèìåñü íàõîäèò
0)
ïðè ìàëûõ (p  è áîëüøèõ (p  ) êîíöåíòðàöèÿõ 1
ïðèìåñåé, èññëåäîâàíû â Ïðèëîæåíèè.
ñÿ â êàæäîì óçëå ñ âåðîÿòíîñòüþ p è îáùåå ÷èñëî
ïðèìåñåé M ëóêòóèðóåò).
Íà ðèñ. 10a è 10á, ïî ïàðàìåòðàì è îáîçíà÷åíè 5. ÂÛÂÎÄÛ
ÿì àíàëîãè÷íûì ðèñóíêàì ðèñ. 9à è 9á, èçîáðàæåíû
ìîäóëü ñðåäíåé ìèíèìàëüíîé ýíåðãèè hjEmin j=N i è Ñîðìóëèðóåì ïîëó÷åííûå ðåçóëüòàòû.
äèñïåðñèÿ ðàñïðåäåëåíèÿ WP2 otts . ¾Ïåðåêîñ¿ ñðåäíå 1. Ñâÿçü ñòàòñóììû ìîäåëè Ïîòòñà ñ ïîëèíîìè
ãî çíà÷åíèÿ ìèíèìàëüíîé ýíåðãèè ñâÿçàí ñ òåì, ÷òî àëüíûì èíâàðèàíòîì ÄæîíñàÊàóìàíà ðåøåòî÷
ïðè p =0 -ñâÿçåé íà îäíó áîëüøå, ÷åì à-ñâÿçåé, à íîãî óçëà â êîìáèíàöèè ñ ÷èñëåííûìè ìåòîäàìè äëÿ
ïðè p =1 -ñâÿçåé íà îäíó ìåíüøå, ÷åì à-ñâÿçåé. ìîäåëè Ïîòòñà ïîçâîëèëè èññëåäîâàòü âåðîÿòíîñòü
Ïîäðîáíî âåðîÿòíîñòü ðàñïðåäåëåíèÿ ìèíèìàëüíîé ( ;
ðàñïðåäåëåíèÿ P n=N p; N ñòàðøåé ñòåïåíè ïîëè )
ýíåðãèè ðàññìîòðåíû â ðàçä. 2 Ïðèëîæåíèÿ. íîìà n äëÿ âåðîÿòíîñòè ñëó÷àéíîãî ðàñïðåäåëåíèÿ
Ìû èññëåäîâàëè çàâèñèìîñòü ñðåäíåé íîðìèðî ¾ïðîõîäîâ¿ è ¾ïåðåõîäîâ¿ â âåðøèíàõ êâàäðàòíîé
âàííîé ñòåïåíè ïîëèíîìà ( ì. ðèñ. 11a) îò ðàçìåðà ðåøåòêè ðàçìåðà N L  L äëÿ L =11. =3
ðåøåòêè L äëÿ p =05
: . åçóëüòàòû ïîëó÷åíû óñðåä 2. Ïðè ìàëûõ ðàçìåðàõ ðåøåòîê è äëÿ íåáîëü
íåíèåì ïî NL = 10
5 ïðèìåñÿì äëÿ L ; ; è ïî =357 øèõ êîíöåíòðàöèé ïðèìåñåé p âåðîÿòíîñòü ðàñïðå
NL = 1 5 10
:  4 ïðèìåñÿìp äëÿ L . Âèäíî, ÷òî=9
ïî ìå äåëåíèÿ ìàêñèìàëüíîé ñòåïåíè ïîëèíîìèàëüíîãî
ðå óâåëè÷åíèÿ L =
N âåëè÷èíà hn=N i ñòðåìèòñÿ ( ; )
èíâàðèàíòà P n=N p; N íåãëàäêàÿ  áîëåå âåðîÿò
ê íåêîìó ïðåäåëüíîìó çíà÷åíèþ. Ìû àïïðîêñèìèðî íûå ñîñòîÿíèÿ ÷åðåäóþòñÿ ñ ìåíåå âåðîÿòíûìè. Äàí
âàëè äàííûå ñòåïåííîé óíêöèåé è ïîëó÷èëè íîå ïîâåäåíèå îçíà÷àåò, ÷òî ïðè =N . p  óç 1 1
ëû íåêîòîðûõ îïðåäåëåííûõ òîïîëîãè÷åñêèõ òèïîâ
DnE
òðóäíî ðåàëèçîâàòü íà êâàäðàòíîé ðåøåòêå â ñèëó
N
 0:334(8) 0:41(2)L 0:48(5): (21)
ãåîìåòðè÷åñêèõ îãðàíè÷åíèé.
3. Ïî ìåðå óâåëè÷åíèÿ âåðîÿòíîñòè p âåðîÿò
Àíàëîãè÷íûå äàííûå äëÿ íîðìèðîâàííîé ìèíè (
íîñòü ðàñïðåäåëåíèÿ P n=N p; N ñòàíîâèòñÿ ãëàä ; )
ìàëüíîé ýíåðãèè ìîäåëè Ïîòòñà ïðåäñòàâëåíû íà êîé óíêöèåé, ïî îðìå ïðèáëèæàÿñü ê óíêöèè
ðèñ. 11á. Ñðåäíåå çíà÷åíèå ìîäóëÿ ìèíèìàëüíîé àóññà. Òèïè÷íîå çíà÷åíèå ¾ñëîæíîñòè óçëà¿  äëÿ

1302
ÆÝÒÔ, òîì 120 , âûï. 5 (11), 2001 Òåðìîäèíàìèêà è òîïîëîãèÿ íåóïîðÿäî÷åííûõ ñèñòåì : : :

hjE min j=N i W


2
P otts
N =9
0.54
à
N = 25 0.2 á
N = 49
0.50

0.1 N =9
0.46
N = 25
N = 49
0:5p(1 p)
0.42 0
0 0.2 0.4 0.6 0.8 1.0 0 0.2 0.4 0.6 0.8 1.0
p p

èñ. 10. Ñðåäíèå çíà÷åíèÿ ìîäóëÿ íîðìèðîâàííîé hjEmin j=N i ìèíèìàëüíîé ýíåðãèè (à) è äèñïåðñèÿ WP2 otts (p)
ðàñïðåäåëåíèÿ íîðìèðîâàííîé ìèíèìàëüíîé ýíåðãèè jEmin j=N (á) äëÿ ðàçíûõ çíà÷åíèé p = 01.0

h
n=N i hj Emin =N j i
0.46
0.24
h
n=N i à
0.45
á
0:38(5)
0.20 0:334(8) 0:41(2)L

0.44
0.16

0.12 0.43
hj j i
Emin =N
1:1(4)
0:4185(7) + 0:119(3)L
0.08 0.42
2 4 6 8 10 12 2 4 6 8 10 12
L L

p
èñ. 11. Ñðåäíåå çíà÷åíèå hn=N i ñòàðøåé ñòåïåíè ïîëèíîìà äëÿ êîíöåíòðàöèè ïðèìåñåé p = 0:5 è ðàçíûõ
L = N ëèíèåé ïîêàçàíû ðåçóëüòàòû àïïðîêñèìàöèè 0:334(8) 0:41(2)L 0:38(5) (à). p
= 3; 5; 7; 9; Ñðåäíåå çíà÷å-
íèå hj Emin j=N i ìîäóëÿ ìèíèìàëüíîé ýíåðãèè äëÿ êîíöåíòðàöèè ïðèìåñåé p = 0:5 è ðàçíûõ L = N = 3; 5; 7; 9;

ëèíèåé ïîêàçàíû ðåçóëüòàòû àïïðîêñèìàöèè 0:4185(7) + 0:119(3)L 1:11(4) (á)

p = 0:5 è äëÿ ðåøåòîê áîëüøîãî ðàçìåðà (N


 ) ìî 1 êâàäðàòíîé äèàãðàììû ñ òåì æå ÷èñëîì ïåðåñå÷å
æåò áûòü ïîëó÷åíî ýêñòðàïîëÿöèåé âûðàæåíèÿ (21): íèé.
D nE
= lim  0:334: Â ïðèíöèïå, ïðåäëîæåííûé â ðàáîòå ìåòîä ïðè
N !1 N ìåíèì äëÿ èññëåäîâàíèÿ óçëà ñ ïðîèçâîëüíîé äèà
4. Ñóùåñòâóåò êîððåëÿöèÿ ìåæäó ìàêñèìàëüíîé ãðàììîé (â òîì ÷èñëå óçëîâ, äèàãðàììû êîòîðûõ
ñòåïåíüþ ïîëèíîìèàëüíîãî èíâàðèàíòà óçëà è ìèíè íå çàïîëíÿþò ïðÿìîóãîëüíóþ ðåøåòêó ïëîòíî), åñ
ìàëüíîé ñòåïåíüþ ýíåðãèè íà ñîîòâåòñòâóþùåé ýòî ëè èçâåñòíà êîíèãóðàöèÿ ñèñòåìû Ïîòòñà, ñîîòâåò
ìó óçëó ðåøåòêå Ïîòòñà ïðè q  . 4 ñòâóþùàÿ ýòîé äèàãðàììå.
5. Àíàëèòè÷åñêè ïîëó÷åíî âûðàæåíèå äëÿ âåðî Ìû ïîëàãàåì, ÷òî ïðåäëîæåííàÿ êîìáèíàöèÿ
( ;
ÿòíîñòè P Emin =N p; N â ñëó÷àå ìàëûõ p  =N ) 1 àíàëèòè÷åñêèõ è ÷èñëåííûõ ìåòîäîâ äëÿ èññëåäî
êîíöåíòðàöèé ïðèìåñåé. âàíèÿ òîïîëîãè÷åñêèõ ïðîáëåì ñ ïîìîùüþ ìîäåëåé
Íàìè èññëåäîâàíû óçëû ñ êâàäðàòíîé äèàãðàì ñòàòèñòè÷åñêîé èçèêè ÿâëÿåòñÿ âåñüìà ïåðñïåêòèâ
ìîé. Îäíàêî âñå âû÷èñëåíèÿ ìîãóò áûòü îáîáùåíû íîé êàê äëÿ ðåøåíèÿ òîïîëîãè÷åñêèõ çàäà÷, òàê
è íà ïðÿìîóãîëüíóþ ðåøåòêó. Â ñâÿçè ñ ýòèì ïðåä è äëÿ íîâîãî âçãëÿäà íà ñòàíäàðòíûå ìåòîäû èñ
ñòàâëÿåòñÿ èíòåðåñíûì ïðîâåðèòü, çàâèñèò ëè ðàñ ñëåäîâàíèÿ íåóïîðÿäî÷åííûõ ñèñòåì. Ïðèâåäåì â
ïðåäåëåíèå óçëîâ ïî òîïîëîãè÷åñêèì êëàññàì ëèøü êà÷åñòâå ïðèìåðà ñëåäóþùèé àêò.  ñòàòèñòè÷å
îò ÷èñëà ïåðåñå÷åíèé íà äèàãðàììå èëè òàêæå è ñêîé èçèêå îäíèì èç îñíîâíûõ ïîëîæåíèé ÿâëÿ
îò îðìû äèàãðàììû. Ìîæíî îæèäàòü, ÷òî âåðîÿò åòñÿ ñâîéñòâî àääèòèâíîñòè ñâîáîäíîé ýíåðãèè, ò. å.
íîñòü äëÿ ïðÿìîóãîëüíîé äèàãðàììû ñèëüíî âûòÿ ïðîïîðöèîíàëüíîñòü ñâîáîäíîé ýíåðãèè îáúåìó ñè
íóòîé îðìû áóäåò îòëè÷àòüñÿ îò âåðîÿòíîñòè äëÿ ñòåìû N . Èíòåðïðåòèðóÿ ñâîáîäíóþ ýíåðãèþ êàê

1303
Î. À. Âàñèëüåâ, Ñ. Ê. Íå÷àåâ ÆÝÒÔ, òîì 120, âûï. 5 (11), 2001

òîïîëîãè÷åñêóþ õàðàêòåðèñòèêó ¾ñëîæíîñòè¿ óçëà, ñïèíîâûå ïåðåìåííûå â óçëàõ 1;1 ; 1;2 , ñîåäèíåí
ìû ïðèõîäèì ê âûâîäó, ÷òî ¾ñëîæíîñòü¿ òèïè÷íî íûõ à-ñâÿçÿìè J = 1 (íà ðèñ. 5a îáîçíà÷åíû ÷åð
ãî óçëà ðàñòåò ëèíåéíî ñ ðîñòîì îáúåìà ñèñòåìû N . íûì è çàøòðèõîâàííûì êðóæêàìè), ïðèíèìàëè áû
Äàííîå ñâîéñòâî, â ñâîþ î÷åðåäü, õîðîøî èçâåñòíî â ðàçëè÷íûå çíà÷åíèÿ; íàïðèìåð 1;1 =2 =3
, 1;2 .
òîïîëîãèè âíå êîíòåêñòà ñòàòèñòè÷åñêîé èçèêè, ÿâ Íî åñëè q =2 , òî íåâîçìîæíî ïðèñâîèòü çíà÷åíèÿ
ëÿåòñÿ óíäàìåíòàëüíûì è ñâÿçàíî ñ íåàáåëåâîñòüþ ñïèíîâûì ïåðåìåííûì òàêèì îáðàçîì, ÷òîáû ñïèíû
(íåêîìóòàòèâíîñòüþ) àçîâîãî ïðîñòðàíñòâà óçëîâ. â êëàñòåðàõ 1;1 ; 1;2 (à òàêæå â êëàñòåðå, ãðàíè÷à
Äàííàÿ ðàáîòà ÿâëÿåòñÿ ëîãè÷åñêèì ðàçâèòè ùåì ñ íèìè), ïîêàçàííûõ íà ðèñ. 5a ðàçíûìè öâå
åì èäåé, ñîðìóëèðîâàííûõ â 19921993 ãã. îä òàìè (øòðèõîâêîé), áûëè áû ðàçëè÷íûìè, ïîýòîìó
íèì èç àâòîðîâ ýòîé ñòàòüè âìåñòå ñ À. Þ. ðîñ- äëÿ q =2 ìèíèìàëüíàÿ ýíåðãèÿ ñïèíîâîãî ñîñòîÿ
áåðãîì â [12℄. Ìû áëàãîäàðíû À. Þ. ðîñáåðãó íèÿ Emin= 11 (à íå12 ).
çà èíòåðåñ ê ðàáîòå è ïîëåçíûå çàìå÷àíèÿ. àáî Êàê ìû óáåäèëèñü, ìèíèìàëüíàÿ ýíåðãèÿ ñïèíî
òà âûïîëíåíà ïðè ÷àñòè÷íîé èíàíñîâîé ïîääåðæ âîé êîíèãóðàöèè ìîäåëè Ïîòòñà, ñîîòâåòñòâóþùàÿ
êå îññèéñêîãî îíäà óíäàìåíòàëüíûõ èññëåäîâà äàííîìó ðàñïðåäåëåíèþ à-ñâÿçåé ìîæåò çàâèñåòü îò
íèé (ãðàíò 00-15-99302). Î. À. Â. âûðàæàåò áëà q  ÷èñëà ñîñòîÿíèé ñïèíà. Ýòî ìîæíî ïðåäñòàâèòü
ãîäàðíîñòü êîìèòåòó ñòèïåíäèè èì. Ë. Ä. Ëàíäàó ñëåäóþùèì îáðàçîì: äëÿ äîñòèæåíèÿ ñîñòîÿíèÿ ñ
(Forshungzentrum/KFA J uli h) çà ïîääåðæêó. ìèíèìàëüíîé ýíåðãèåé òðåáóåòñÿ, ÷òîáû ñïèíîâûå
ïåðåìåííûå â óçëàõ, ñîåäèíåííûõ -ñâÿçÿìè, ïðè
íèìàëè áû, ïî âîçìîæíîñòè, îäíî è òî æå çíà÷åíèå
ÏÈËÎÆÅÍÈÅ
(ò. å. îáðàçîâûâàëè áû êëàñòåðû), à ñïèíîâûå ïåðå
ìåííûå â óçëàõ, ñîåäèíåííûõ à-ñâÿçÿìè, ïðèíèìàëè
àñïðåäåëåíèå ìèíèìàëüíîé ýíåðãèè ìîäåëè
áû, ïî âîçìîæíîñòè, ðàçíûå çíà÷åíèÿ. Òàêèì îáðà
Ïîòòñà ñî ñëó÷àéíûìè åððî- è
çîì, äàííîìó ðàñïðåäåëåíèþ à-ñâÿçåé ñîîòâåòñòâóåò
àíòèåððîìàãíèòíûìè ñâÿçÿìè
ðàçáèåíèå ðåøåòêè íà íåçàâèñèìûå êëàñòåðû ñïè
1. Íåçàâèñèìîñòü ìèíèìàëüíîé ýíåðãèè îò q íîâ. Ñïèíû, ïðèíàäëåæàùèå îäíîìó êëàñòåðó, ñâÿ
ïðè q 4 çàíû ïðåèìóùåñòâåííî -ñâÿçÿìè, ñïèíû ïðèíàäëå
æàùèå ðàçíûì êëàñòåðàì, ñâÿçàíû à-ñâÿçÿìè.
Äëÿ òîïîëîãè÷åñêèõ èíâàðèàíòîâ óçëîâ íàñ èí
òåðåñóåò ïîâåäåíèå ñèñòåìû ïðè x ! 1 (ñì. (20)), Ýíåðãèÿ ìèíèìàëüíà, åñëè äëÿ äàííîãî ðàçáè
÷òî ñ ó÷åòîì ñîîòíîøåíèÿ åíèÿ êëàñòåðîâ ñîñåäíèå êëàñòåðû èìåþò ðàçíûå
çíà÷åíèÿ ñïèíîâîé ïåðåìåííîé. Ìû ìîæåì ñîïîñòà
q = 2+x+x 1 âèòü êàæäîìó çíà÷åíèþ ñïèíîâîé ïåðåìåííîé íåêî
òîðûé öâåò. Ìèíèìóì ýíåðãèè ñîîòâåòñòâóåò òàêîé
îçíà÷àåò q ! 1 äëÿ ñîîòâåòñòâóþùåé ìîäåëè Ïîòò ðàñêðàñêå äàííîãî ðàçáèåíèÿ ðåøåòêè íà êëàñòåðû,
ñà. Íåêîòîðûå îñîáåííîñòè çàâèñèìîñòè ñâîáîäíîé ïðè êîòîðîé âñå ñïèíû â îäíîì êëàñòåðå èìåþò îäè
ýíåðãèè ñèñòåìû Ïîòòñà îò q ìîæíî ïîëó÷èòü èç íàêîâûé öâåò, à ñîñåäíèå êëàñòåðû èìåþò ðàçíûå
ýëåìåíòàðíûõ ðàññóæäåíèé. öâåòà. Íà ðèñ. 5a ïðèâåäåí ïðèìåð êîíèãóðàöèè,
 ñëó÷àå, åñëè íà ðåøåòêå íåò ïðèìåñåé, à êîòîðóþ íåëüçÿ ðàñêðàñèòü â äâà öâåòà, íî ìîæíî
à-ñâÿçè ðàñïîëîæåíû òàê, êàê ýòî ïîêàçàíî íà ðàñêðàñèòü â òðè.
ðèñ. 3á è 3â, ìèíèìàëüíàÿ ýíåðãèÿ íå çàâèñèò îò  ìàòåìàòèêå èçâåñòíî óòâåðæäåíèå î ¾ðàñêðà
2
q ïðè q  : â ýòîì ñëó÷àå äîñòàòî÷íî âñåãî äâóõ øèâàíèè êàðò¿, ãëàñÿùåå, ÷òî ëþáóþ êîíèãóðà
çíà÷åíèé  = 12
f ; g, ÷òîáû ¾ñîçäàòü¿ êîíèãóðà öèþ íà ïëîñêîé ïîâåðõíîñòè ñ òîïîëîãèåé ñåðû
öèþ, ñîîòâåòñòâóþùóþ ìèíèìàëüíîé ýíåðãèè. Îä ìîæíî âñåãäà ðàñêðàñèòü ÷åòûðüìÿ (è áîëåå) öâå
íàêî ïðè íàëè÷èè ïðèìåñåé ïîÿâëÿåòñÿ çàâèñèìîñòü òàìè. Èíûìè ñëîâàìè, ëþáîå ðàçáèåíèå ðåøåòêè
2
ìèíèìàëüíîé ýíåðãèè îò q ïðè q  . Ïðèìåð äëÿ íà êëàñòåðû ìîæíî ðàñêðàñèòü ÷åòûðüìÿ (è áî
5 5
ðåøåòêè  è îäíîé ïðèìåñè íà ñâÿçè ìåæäó ñïè ëåå) öâåòàìè, òàê ÷òî ñîñåäíèå êëàñòåðû áóäóò
íàìè 1;1 è 1;2 ïðèâåäåí íà ðèñ. 5a. Äëÿ òîãî ÷òî èìåòü ðàçíûå öâåòà. Åñëè îòîæäåñòâèòü ñ êàæäûì
áû ýíåðãèÿ ñïèíîâîé êîíèãóðàöèè äîñòèãëà ñâîåãî öâåòîì íåêîòîðîå çíà÷åíèå ñïèíîâîé ïåðåìåííîé
ìèíèìàëüíîãî äëÿ ýòîãî ðàñïðåäåëåíèÿ ñâÿçåé çíà = 1234
q f ; ; ; ; : : : g, òî ìû ìîæåì ïðèñâîèòü çíà÷åíèÿ
÷åíèÿ Emin = 12 , íåîáõîäèìî, ÷òîáû âñå ñïèíîâûå 4
q (q  ) òàê, ÷òî âñå ñïèíû â ñîñåäíèõ êëàñòåðàõ
ïåðåìåííûå â óçëàõ, ñîåäèíåííûõ -ñâÿçÿìè J =1 áóäóò èìåòü ðàçíûå öâåòà. Íå ñóùåñòâóåò êîíèãó
(íà ðèñ. 5a ýòè óçëû ïîêàçàíû áåëûìè è ÷åðíûìè ðàöèè ïðèìåñåé (è ñîîòâåòñòâóþùåãî åé ðàçáèåíèÿ
êðóæêàìè), ïðèíèìàëè áû îäèíàêîâûå çíà÷åíèÿ, à ðåøåòêè íà êëàñòåðû) òàêîé, ÷òîáû ÷åòûðåõ çíà÷å

1304
ÆÝÒÔ, òîì 120 , âûï. 5 (11), 2001 Òåðìîäèíàìèêà è òîïîëîãèÿ íåóïîðÿäî÷åííûõ ñèñòåì : : :

íèé ñïèíîâîé ïåðåìåííîé íå õâàòèëî áû äëÿ äîñòè Ìû ìîæåì ïðîâåñòè ïîäîáíûå p âû÷èñëåíèÿ äëÿ
æåíèÿ ñîñòîÿíèÿ ñ ìèíèìàëüíîé ýíåðãèåé. M =2 . Îáîçíà÷èì ÷åðåç C =
N ÷èñëî êëàñòå
Ñêàçàííîå âûøå ïîçâîëÿåò íàì ñîðìóëèðîâàòü ðîâ ñïèíîâ ñ îäèíàêîâûìè q äëÿ ðåøåòêè áåç ïðè
ñëåäóþùåå óòâåðæäåíèå. Äëÿ ïðîèçâîëüíîé êîíè ìåñåé. åçóëüòàòû âû÷èñëåíèé ïðèâåäåíû â òàáë. 2,
ãóðàöèè à-ïðèìåñåé íà ðåøåòêå ìîäåëè Ïîòòñà ìè ãäå â îäíîé ñòðîêå óêàçàíî: (I) ÷èñëî ïðèìåñåé M ,
íèìàëüíàÿ ýíåðãèÿ ñïèíîâîãî ñîñòîÿíèÿ íå çàâè (II) êîíñòàíòû ñâÿçè, íà êîòîðûå ïîïàëà ïðèìåñü
ñèò îò ÷èñëà ñîñòîÿíèé ñïèíà q äëÿ q  . 4 +
(¾ ¿ ñîîòâåòñòâóåò bi;j = 1
à ¾ ¿ ñîîòâåòñòâó
4
Èçâåñòíî, ÷òî ïðè q  â ìîäåëè Ïîòòñà ïðîèñ åò bi;j = 1
), (III) çíà÷åíèå ìèíèìàëüíîé ýíåðãèè
õîäèò àçîâûé ïåðåõîä ïåðâîãî ðîäà. Çàìåòèì, ÷òî, Emin , (IV) âåðîÿòíîñòü ïîëó÷èòü äàííîå çíà÷åíèå
4
èìåííî äëÿ q  , ïàðàìåòð (
ýíåðãèè P Emin M , ; )
Åñëè p  âåðîÿòíîñòü òîãî, ÷òî íà ñâÿçè åñòü ïðè
x=
1 q 2  pq(q 4)  ìåñü J 0 = 1
, òî âåðîÿòíîñòü ïîëó÷èòü ÷èñëî ïðè
2 ìåñåé M áóäåò
èíâàðèàíòà Êàóìàíà ñòàíîâèòñÿ äåéñòâèòåëü
N!
íûì. P (M ; p) = pM (1 p)N M :
M !(N M )!
2. àñïðåäåëåíèå ìèíèìàëüíîé ýíåðãèè ïðè Òàêèì îáðàçîì, ñðåäíåå çíà÷åíèå ìèíèìàëüíîé ýíåð
ìàëûõ (p  0)
è áîëüøèõ (p ) 1 ãèè E ìîäåëè Ïîòòñà åñòü
êîíöåíòðàöèÿõ ïðèìåñåé
N!
N
X
àññìîòðèì ìîäåëü Ïîòòñà íà ðåøåòêå Lv  Lh hEmin i = M !(N M )!

4
ñ îáùèì ÷èñëîì ñâÿçåé N è q  . Ïóñòü M  èê M =0
ñèðîâàííîå ÷èñëî ïðèìåñåé k .  ñëó÷àå îòñóòñòâèÿ  pM (1 p)N M P (E ; M; N ): (22)
ïðèìåñåé (M =0
), ÷èñëî -ñâÿçåé åñòü
Ìû ìîæåì âû÷èñëèòü ïåðâûå òðè ÷ëåíà â ýòîé ñóì
N +1
N+ = ; ìå ïî äàííûì òàáë. 2 è ïîëó÷èòü ïðèáëèæåííóþ
2 îðìóëó äëÿ ñðåäíåé ýíåðãèè:
÷èñëî à-ñâÿçåé åñòü 
N 1: hEmin i  (1 p)N 2 (1 p)2 P (E ; M = 0) +
N = 2 + Np(1 p)P (E ; M = 1)+
àñïîëîæåíèå à-ñâÿçåé ïîêàçàíî íà ðèñ. 5a. Ìèíè + p2P (E ; M = 2) + o(p2 ): (23)
ìàëüíàÿ ýíåðãèÿ â ñëó÷àå îòñóòñòâèÿ ïðèìåñåé åñòü
Ýòà îðìóëà ïðèìåíèìà, åñëè âåðîÿòíîñòü ïîÿâëå
Emin = N+ : íèÿ òðåõ ïðèìåñåé íà ðåøåòêå ìàëà, ò. å.
Ìîæíî âû÷èñëèòü âåðîÿòíîñòè P Emin M; N ( ; ) 1 N (N 1)(N 2)(1 p)N 3 p3  1:
ðàñïðåäåëåíèÿ ìèíèìàëüíîé ýíåðãèè äëÿ M ; =12 6
ïåðåáîðîì âñåõ âîçìîæíûõ âàðèàíòîâ. Íàïðèìåð, â Âû÷èñëèâ âåðîÿòíîñòè êîíöåíòðàöèé ïðèìåñåé
ñëó÷àå îäíîé ïðèìåñè (M =1
), ñ âåðîÿòíîñòüþ äëÿ M =1
è M =2
è èñïîëüçóÿ (22), ïîëó÷èì
N+ =N = (N + 1)=2N îðìóëó äëÿ hEmin i ïðè ìàëûõ p. Íàïðèìåð, äëÿ
M =1
îíà ïîïàäàåò íà -ñâÿçü, â ðåçóëüòàòå ÷åãî ìèíè  
ìàëüíàÿ ýíåðãèÿ óâåëè÷èâàåòñÿ íà åäèíèöó, ò. å. hEmin (M = 1)i = N +1 N 1 +
2 2N
P (E = N+ + 1) = (N + 1)=2N: 
N +1

N +1 N +1 N +1
+ 2 +1 2N = 2 + 2N :
Ñ âåðîÿòíîñòüþ
Àíàëîãè÷íî,
N =N = (N 1)=2N
N +1 N +1 12C 8:
ïðèìåñü ïîïàäàåò íà à-ñâÿçü, è â ýòîì ñëó÷àå ìèíè hEmin (M = 2)i = 2 + N N (N 1)
ìàëüíàÿ ýíåðãèÿ íå ìåíÿåòñÿ:
p ïðèìåñåé p ïðè p 
Îòñþäà äëÿ êîíöåíòðàöèè 1
P (E = (N + 1)=2) = (N 1)=N: ñ ó÷åòîì òîãî, ÷òî C =
N , ïîëó÷èì âûðàæåíèå

1305
Î. À. Âàñèëüåâ, Ñ. Ê. Íå÷àåâ ÆÝÒÔ, òîì 120 , âûï. 5 (11), 2001

Òàáëèöà 2. Âåðîÿòíîñòè P (Emin ; M; N ) äëÿ èêñèðîâàííîãî ÷èñëà ïðèìåñåé M = 0; 1; 2; N 2; N 1; N íà


ðåøåòêå N

I II III IV
M ñâÿçè Emin P (Emin ; M )
N +1
0
2 1
N +1 N +1
1 + 2 +1 2N
N +1 N 1
1
2 2N
N +1 (N + 1)(N 1)
2 ++ 2 +2 4N (N 1)
N +1 (N + 1)(N 1) 16(C 1)
2 + 2 +1 2N (N 1)
N +1 (N 1)(N 3) + 16(C 1)
2 + &
2 4N (N 1)
N +1 4(C 2)
2
2 1 N (N 1)
N +1 4
2
2 2 N (N 1)
N 1 (N 1)(N 3)
N 2 ++ 2 +2 4N (N 1)
N 1 (N 1)(N 3) 16(C 1)
N 2 + 2 +1 2N (N 1)
N 1 (N + 1)(N 1) + 16(C 1) 4
N 2 + &
2 4N (N 1)
N 1 2(N 1) + 2(C 1))
N 2 + &
2 1 N (N 1)
N 1 2
N 2 2 2 N (N 1)
N 1 N 1
N 1 + 2 +1 2N
N 1 N 3
N 1 2 2N
N 1 2
N 1 2 1 N
N 1
N 1
2

1306
ÆÝÒÔ, òîì 120, âûï. 5 (11), 2001 Òåðìîäèíàìèêà è òîïîëîãèÿ íåóïîðÿäî÷åííûõ ñèñòåì : : :

P P
100
àíàëèò. M =1 ÷èñë. p = 0:005
à =2 1 ÷èñë. p = 0:01 á
0.6 àíàëèò. M
10 ÷èñë. p = 0:015
÷èñë. M =1
àíàëèò. p = 0:005
÷èñë. M =2 2
10 àíàëèò. p = 0:01
0.4 àíàëèò. p = 0:015
3
10
0.2
4
10
5
0 10
10 11 12 13 14 15 16 6 8 10 12 14
jE min j jE min j

èñ. 12. Ñðàâíåíèå àíàëèòè÷åñêèõ è ÷èñëåííûõ ðåçóëüòàòîâ: âåðîÿòíîñòè ðàñïðåäåëåíèÿ P (jEmin j; M ) äëÿ îä-
íîé (M = 1) è äâóõ (M = 2) ïðèìåñåé (à) è P (jEmin j; p) äëÿ êîíöåíòðàöèè ïðèìåñåé p = 0:005; 0:01; 0:015 (á);
N =5 5

äëÿ ñðåäíåé íîðìèðîâàííîé ìèíèìàëüíîé ýíåðãèè Lh = 6, ñîîòâåòñòâóþùåé óçëó ñ êâàäðàòíîé äèà


=
hemin i hEmin =N i: ãðàììîé 5  5, ïîêàçàíû íà ðèñ. 12a è 12á. Ïî îñè àá
 ñöèññ îòëîæåíî çíà÷åíèå ìîäóëÿ ìèíèìàëüíîé ýíåð
hemin (p)i = N1 (1 p)N P (E ; M = 0) + ãèè, ïî îñè îðäèíàò  âåðîÿòíîñòü ýòîãî çíà÷åíèÿ.
Íà ðèñ. 12a ïðåäñòàâëåíû ðåçóëüòàòû äëÿ èêñèðî
+ Np(1 p)N 1P (E ; M = 1) + âàííîãî ÷èñëà ïðèìåñåé M =1
(êâàäðàòû) è M =2

+ 12 N (N 1)p2(1 p)N 2P (n; M = 2) + o(p2 ) =
(êðóæêè), à íà ðèñ. 12á  äëÿ êîíöåíòðàöèè ïðè
ìåñåé p : = 0 005
(êðåñòèêè) p = 0 01
: (êâàäðàòû),
    p = 0 15
: (êðóæêè). åçóëüòàòû âû÷èñëåíèÿ ïî îð
= 21 1 N1 + p 12 1 N3 ìóëàì òàáë. 2 è îðìóëå (23) ïîêàçàíû ëèíèåé,
p ðåçóëüòàòû âû÷èñëåíèé ïî ìåòîäó Ìîíòå-Êàðëî 
p 2 6 N 4
+ o(p2 ): (24) ñèìâîëàìè. Óñðåäíåíèå ïðîèçâîäèëîñü ïî NL 5. = 10
N Ñòàòèñòè÷åñêàÿ ïîãðåøíîñòü äëÿ áîëüøèíñòâà òî
÷åê ìåíüøå ðàçìåðà ñèìâîëîâ. Âèäíî, ÷òî ÷èñëåí
Àíàëîãè÷íûå âû÷èñëåíèÿ äëÿ êîíöåíòðàöèé
íûå ðåçóëüòàòû çàìå÷àòåëüíî ñîâïàäàþò ñ àíàëèòè
(1 ) 1
p  äàþò
÷åñêèìè. Íà ðèñ. 12á àíàëèòè÷åñêèå ðåçóëüòàòû ïðè

hEmin (M = N 1)i = N 1 N 5 ñóòñòâóþò òîëüêî äëÿ òî÷åê jEmin j = 11


15, äëÿ êî
2 + 2N ; òîðûõ îòâåò ìîæíî ïîëó÷èòü ðàçëîæåíèåì â ðÿä äî
÷ëåíîâ p2 . Òàêèì îáðàçîì, ìû ÷èñëåííî ïðîâåðèëè
hEmin (M = N 2)i = N2 1 + NN 5 N10(CN 141) ; àíàëèòè÷åñêèå âû÷èñëåíèÿ ýòîãî ðàçäåëà.
Ñäåëàåì íåêîòîðûå çàìå÷àíèÿ, êàñàþùèåñÿ âèäà
è, ñîîòâåòñòâåííî, íîðìèðîâàííîé ìèíèìàëüíîé ýíåðãèè
 
hemin (p; N )i = jEminN(p; N )j

hemin (p)i = N1 pN P (E ; M
= N ) + N (1 p) 
 pN 1 P (E ; M = N 1) + 21 N (N 1)  ïðè N ! 1. Íà ðèñ. 9á ìû âèäèì, ÷òî äëÿ ðåøå
 òîê N = 25 49
; ãðàèê óíêöèè emin p N âûãëÿ (; )
 (1 p)2 pN 2 P (n; M = N 2) + o(p2 ) = äèò êàê íåñèììåòðè÷íîå ¾êîðûòî¿. Ïðè N ! 1
çíà÷åíèÿ ýòîé óíêöèè â òî÷êàõ p è p , à =0 =1
1 1 1  + (1 p) 1 1 5  èìåííî
2 N
p 2 N  
1
hemin (p = 0; N )i = 0:5 1 + N
(1 p)2 5 NN 7 + o((1 p)2 ): (25)
è  
åçóëüòàòû âû÷èñëåíèé ïî îðìóëàì òàáë. 2, à 1
hemin (p = 1; N )i = 0:5 1 N
òàêæå ÷èñëåííûé ñ÷åò äëÿ q è ðåøåòêè Lv =4 , =3
1307
Î. À. Âàñèëüåâ, Ñ. Ê. Íå÷àåâ ÆÝÒÔ, òîì , âûï. 5 (11), 2001
120

ñòàíóò ðàâíû è ¾êîðûòî¿ ñòàíåò ñèììåòðè÷íûì îò 9. L. H. Kauffman, Topology 26, 395 (1987).

íîñèòåëüíî ïðåîáðàçîâàíèÿ p ! 1
p. ¾Äíî¿ áóäåò
íàõîäèòüñÿ íà óðîâíå 10. L. H. Kauffman and H. Saleur, Comm. Math. Phys.
141, 293 (1991).

he(p = 0:5; N ! 1)i = 0:415(7)


11. F.Y. Wu, J. Knot Theory Ramifi . 1, 47 (1992).

(ñì. ðèñ. 11á). Èç îðìóë (24) è (25) âèäíî, ÷òî âòî


ðàÿ ïðîèçâîäíàÿ ýòîé óíêöèè ïî p â òî÷êàõ p =0 12. A. Yu. Grosberg, S. Ne haev, J. Phys. (A): Math.

è p =1 ïðè N ! 1 îáðàòèòñÿ â íóëü. Âîçìîæíî,


Gen. 25, 4659 (1992); A.Yu. Grosberg, S. Ne haev,
Europhys. Lett., 20, 613 (1992)
îáðàòÿòñÿ â íóëü è âñå ïðîèçâîäíûå áîëåå âûñîêîãî
ïîðÿäêà.  ýòîì ñëó÷àå â òî÷êàõ, ñîîòâåòñòâóþùèõ 13. H. W. Blote and M. P. Nightingale, Physi a A 112,
¾óãîëêàì êîðûòà¿, ïðîèçâîäíàÿ dp de p N(; = )
1 áó 405 (1982).
äåò èìåòü ðàçðûâ.
14. J. L. Ja obsen and J. Cardy, E-print ar hives
ond-mat/9711279.
ËÈÒÅÀÒÓÀ 15. J. Salas and A. D. Sokal, E-print ar hives
1. S. K. Ne haev, ÓÔÍ 168, 369 (1998). ond-mat/0004330.

2. Ì. Ä. Ôðàíê-Êàìåíåöêèé, À. Â. Âîëîãîäñêèé, ÓÔÍ 16. A. Yu. Grosberg, S. K. Ne haev, and E. I.


134, 641 (1981); À. Â. Âîëîãîäñêèé è äð., ÆÝÒÔ Shakhnovi h, J. de Phys. 49, 2095 (1988).
66, 2153 (1974); À. Â. Âîëîãîäñêèé, À. Â. Ëóêà
øèí, Ì. Ä. Ôðàíê-Êàìåíåöêèé, ÆÝÒÔ 67, 1875 17. B. Chu, Q. Ying, and A. Grosberg, Ma romole ules
(1974); M. D. Frank-Kamenetskii, A. V. Lukashin, and 28, 180 (1995); A. Grosberg, Y. Rabin, S. Havlin,
A. V. Vologodskii, Nature (London) 258, 398 (1975). and A. Neer, Europhysi s Lett. 23, 373 (1993); J. Ma,
J. E. Straub, and E. I. Shakhnovi h, J. Chem. Phys.
3. V. F. R. Jones, Ann. Math. 126, 335 (1987).
103, 2615 (1995).

4. V. F. R. Jones, Bull. Am. Math. So . 12, 103 (1985).


18. K. Reidemeister, Knotentheorie, Springer, Berlin
5. J. Birman, Knots, Links and Mapping Class Groups, (1932).
Ann. Math. Studies 82, Prin eton Univ. Press (1976).
19. F. Y. Wu, Rev. Mod. Phys. 54, 235 (1982).
6. À. Á. Ñîñèíñêèé, Â. Â. Ïðàñîëîâ, Óçëû, çàöåïëåíèÿ,
êîñû è òðåõìåðíûå ìíîãîîáðàçèÿ, ÌÖÍÌÎ, Ìîñê 20. C. M. Fortuin and P M. Kastelleyn, Physi a 57, 536
âà (1997). (1972).

7. . Áýêñòåð, Òî÷íî ðåøàåìûå ìîäåëè â ñòàòèñòè÷å


21. R. H. Swedsen and J. S. Wang, Phys. Rev. Lett. 58,
ñêîé èçèêå, Ìèð, Ìîñêâà (1985).
86 (1987).
8. W. B. R. Likorish, Bull. London Math. So . 20, 558
22. U. Wolff, Phys. Rev. Lett. 62, 361 (1988).
(1988); M. Wadati, T. K. Degu hi, and Y. Akutso,
Phys. Rep. 180, 247 (1989).

1308