<?xml version="1.0" encoding="UTF-8"?>
<!DOCTYPE root>
<article xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink" xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance" xmlns:ali="http://www.niso.org/schemas/ali/1.0/" article-type="research-article" dtd-version="1.2" xml:lang="en"><front><journal-meta><journal-id journal-id-type="publisher-id">Contemporary Mathematics. Fundamental Directions</journal-id><journal-title-group><journal-title xml:lang="en">Contemporary Mathematics. Fundamental Directions</journal-title><trans-title-group xml:lang="ru"><trans-title>Современная математика. Фундаментальные направления</trans-title></trans-title-group></journal-title-group><issn publication-format="print">2413-3639</issn><issn publication-format="electronic">2949-0618</issn><publisher><publisher-name xml:lang="en">Peoples’ Friendship University of Russia named after Patrice Lumumba (RUDN University)</publisher-name></publisher></journal-meta><article-meta><article-id pub-id-type="publisher-id">30854</article-id><article-id pub-id-type="doi">10.22363/2413-3639-2022-68-1-95-109</article-id><article-categories><subj-group subj-group-type="toc-heading" xml:lang="en"><subject>Articles</subject></subj-group><subj-group subj-group-type="toc-heading" xml:lang="ru"><subject>Статьи</subject></subj-group><subj-group subj-group-type="article-type"><subject>Research Article</subject></subj-group></article-categories><title-group><article-title xml:lang="en">Local and 2-Local Derivations of Locally Simple Lie Algebras</article-title><trans-title-group xml:lang="ru"><trans-title>Периодические меры Гиббса для НС-модели с двумя состояниями на дереве Кэли</trans-title></trans-title-group></title-group><contrib-group><contrib contrib-type="author"><name-alternatives><name xml:lang="en"><surname>Ayupov</surname><given-names>Sh. A.</given-names></name><name xml:lang="ru"><surname>Розиков</surname><given-names>У. А.</given-names></name></name-alternatives><email>rozikovu@yandex.ru</email><xref ref-type="aff" rid="aff1"/></contrib><contrib contrib-type="author"><name-alternatives><name xml:lang="en"><surname>Kudaybergenov</surname><given-names>K. M.</given-names></name><name xml:lang="ru"><surname>Хакимов</surname><given-names>Р. М.</given-names></name></name-alternatives><email>rustam-7102@rambler.ru</email><xref ref-type="aff" rid="aff2"/></contrib><contrib contrib-type="author"><name-alternatives><name xml:lang="en"><surname>Yusupov</surname><given-names>B. T.</given-names></name><name xml:lang="ru"><surname>Махаммадалиев</surname><given-names>М. Т.</given-names></name></name-alternatives><email>mmtmuxtor93@mail.ru</email><xref ref-type="aff" rid="aff2"/></contrib></contrib-group><aff-alternatives id="aff1"><aff><institution xml:lang="en">Romanovskiy Institute of Mathematics</institution></aff><aff><institution xml:lang="ru">Институт математики им. В.И. Романовского при Национальном университете Узбекистана им. М. Улугбека</institution></aff></aff-alternatives><aff-alternatives id="aff2"><aff><institution xml:lang="en">Namangan State University</institution></aff><aff><institution xml:lang="ru">Наманганский государственный университет</institution></aff></aff-alternatives><pub-date date-type="pub" iso-8601-date="2022-04-20" publication-format="electronic"><day>20</day><month>04</month><year>2022</year></pub-date><volume>68</volume><issue>1</issue><issue-title xml:lang="en">Science — Technology — Education — Mathematics — Medicine</issue-title><issue-title xml:lang="ru">Наука — технология — образование — математика — медицина</issue-title><fpage>95</fpage><lpage>109</lpage><history><date date-type="received" iso-8601-date="2022-04-20"><day>20</day><month>04</month><year>2022</year></date></history><permissions><copyright-statement xml:lang="en">Copyright ©; 2022, Contemporary Mathematics. Fundamental Directions</copyright-statement><copyright-statement xml:lang="ru">Copyright ©; 2022, Современная математика. Фундаментальные направления</copyright-statement><copyright-year>2022</copyright-year><copyright-holder xml:lang="en">Contemporary Mathematics. Fundamental Directions</copyright-holder><copyright-holder xml:lang="ru">Современная математика. Фундаментальные направления</copyright-holder><ali:free_to_read xmlns:ali="http://www.niso.org/schemas/ali/1.0/"/><license><ali:license_ref xmlns:ali="http://www.niso.org/schemas/ali/1.0/">https://creativecommons.org/licenses/by-nc-nd/4.0/deed.en</ali:license_ref></license></permissions><self-uri xlink:href="https://journals.rudn.ru/CMFD/article/view/30854">https://journals.rudn.ru/CMFD/article/view/30854</self-uri><abstract xml:lang="en"><p>In this paper, we study a two-state Hard-Core (HC) model with activity <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>λ</mi><mo>&gt;</mo><mn>0</mn></mrow><annotation encoding="LaTeX">{\lambda &gt;0}</annotation></semantics></math> on a Cayley tree of order <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>k</mi><mo> </mo><mo>≥</mo><mn>2</mn></mrow><annotation encoding="LaTeX">{k  \ge 2}</annotation></semantics></math>. It is known that there are <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><msub><mi>λ</mi><mrow><mi>c</mi><mi>r</mi></mrow></msub><annotation encoding="LaTeX">{\lambda_{cr}}</annotation></semantics></math>, <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><msubsup><mi>λ</mi><mrow><mi>c</mi><mi>r</mi></mrow><mn>0</mn></msubsup><annotation encoding="LaTeX">{\lambda_{cr}^0}</annotation></semantics></math> and <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><msubsup><mi>λ</mi><mrow><mi>c</mi><mi>r</mi></mrow><mo>'</mo></msubsup><annotation encoding="LaTeX">{\lambda_{cr}^'}</annotation></semantics></math> such that</p>&#13;
<ul>&#13;
<li>for <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>λ</mi><mo>≤</mo><msub><mi>λ</mi><mrow><mi>c</mi><mi>r</mi></mrow></msub></mrow><annotation encoding="LaTeX">{\lambda \le \lambda_{cr}}</annotation></semantics></math> this model has a unique Gibbs measure <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>λ</mi><mo>&gt;</mo><mn>0</mn></mrow><annotation encoding="LaTeX">{\lambda &gt;0}</annotation></semantics></math>, which is translation invariant. The measure <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>λ</mi><mo>&gt;</mo><mn>0</mn></mrow><annotation encoding="LaTeX">{\lambda &gt;0}</annotation></semantics></math>  is extreme for <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>λ</mi><mo>&lt;</mo><msubsup><mi>λ</mi><mrow><mi>c</mi><mi>r</mi></mrow><mn>0</mn></msubsup></mrow><annotation encoding="LaTeX">{\lambda &lt; \lambda_{cr}^0}</annotation></semantics></math> and not extreme for <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>λ</mi><mo>&gt;</mo><msubsup><mi>λ</mi><mrow><mi>c</mi><mi>r</mi></mrow><mo>'</mo></msubsup></mrow><annotation encoding="LaTeX">{\lambda &gt; \lambda_{cr}^'}</annotation></semantics></math>;</li>&#13;
<li>for <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>λ</mi><mo>&gt;</mo><msub><mi>λ</mi><mrow><mi>c</mi><mi>r</mi></mrow></msub></mrow><annotation encoding="LaTeX">{\lambda &gt; \lambda_{cr}}</annotation></semantics></math> there exist exactly three 2-periodic Gibbs measures, one of which is <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><msup><mi>μ</mi><mo>*</mo></msup><annotation encoding="LaTeX">{\mu^*}</annotation></semantics></math>, the other two are not translation-invariant and are always extreme.</li>&#13;
</ul>&#13;
<p>The extremity of these periodic measures was proved using the maximality and minimality of the corresponding solutions of some equation, which ensures the consistency of these measures. In this paper, we give a brief overview of the known Gibbs measures for the HC-model and an alternative proof of the extremity of 2-periodic measures for <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>k</mi><mo>=</mo><mn>2</mn><mo>,</mo><mn>3</mn></mrow><annotation encoding="LaTeX">{k = 2 , 3}</annotation></semantics></math>. Our proof is based on the tree reconstruction method.</p></abstract><trans-abstract xml:lang="ru"><p>В данной статье изучается Hard-Core (НС) модель с двумя состояниями и активностью <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>λ</mi><mo>&gt;</mo><mn>0</mn></mrow><annotation encoding="LaTeX">{\lambda &gt;0}</annotation></semantics></math> на дереве Кэли порядка <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>k</mi><mo> </mo><mo>≥</mo><mn>2</mn></mrow><annotation encoding="LaTeX">{k  \ge 2}</annotation></semantics></math>. Известно, что существуют <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><msub><mi>λ</mi><mrow><mi>c</mi><mi>r</mi></mrow></msub><annotation encoding="LaTeX">{\lambda_{cr}}</annotation></semantics></math>, <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><msubsup><mi>λ</mi><mrow><mi>c</mi><mi>r</mi></mrow><mn>0</mn></msubsup><annotation encoding="LaTeX">{\lambda_{cr}^0}</annotation></semantics></math>, <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><msubsup><mi>λ</mi><mrow><mi>c</mi><mi>r</mi></mrow><mo>'</mo></msubsup><annotation encoding="LaTeX">{\lambda_{cr}^'}</annotation></semantics></math> такие, что</p>&#13;
<ul>&#13;
<li>при <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>λ</mi><mo>≤</mo><msub><mi>λ</mi><mrow><mi>c</mi><mi>r</mi></mrow></msub></mrow><annotation encoding="LaTeX">{\lambda \le \lambda_{cr}}</annotation></semantics></math> для этой модели существует единственная мера Гиббса <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><msup><mi>μ</mi><mo>*</mo></msup><annotation encoding="LaTeX">{\mu^*}</annotation></semantics></math>, которая является трансляционно-инвариантной. Мера <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><msup><mi>μ</mi><mo>*</mo></msup><annotation encoding="LaTeX">{\mu^*}</annotation></semantics></math> является крайней при <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>λ</mi><mo>&lt;</mo><msubsup><mi>λ</mi><mrow><mi>c</mi><mi>r</mi></mrow><mn>0</mn></msubsup></mrow><annotation encoding="LaTeX">{\lambda &lt; \lambda_{cr}^0}</annotation></semantics></math> и не крайней при <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>λ</mi><mo>&gt;</mo><msubsup><mi>λ</mi><mrow><mi>c</mi><mi>r</mi></mrow><mo>'</mo></msubsup></mrow><annotation encoding="LaTeX">{\lambda &gt; \lambda_{cr}^'}</annotation></semantics></math>;</li>&#13;
<li>при <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>λ</mi><mo>&gt;</mo><msub><mi>λ</mi><mrow><mi>c</mi><mi>r</mi></mrow></msub></mrow><annotation encoding="LaTeX">{\lambda &gt; \lambda_{cr}}</annotation></semantics></math> существуют ровно три 2-периодические меры Гиббса, одна из которых является<math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><msup><mi>μ</mi><mo>*</mo></msup><annotation encoding="LaTeX">{\mu^*}</annotation></semantics></math>, две остальные являются не трансляционно-инвариантными и всегда крайними.</li>&#13;
</ul>&#13;
<p>Крайность этих периодических мер была доказана с помощью максимальности и минимальности соответствующих решений некоторого уравнения, обеспечивающего согласованность этих мер. В данной работе мы дадим краткий обзор известных мер Гиббса для НС-модели и альтернативное доказательство крайности 2-периодических мер при <math xmlns:mml="http://www.w3.org/1998/Math/MathML"><semantics><mrow><mi>k</mi><mo>=</mo><mn>2</mn><mo>,</mo><mn>3</mn></mrow><annotation encoding="LaTeX">{k = 2 , 3}</annotation></semantics></math>. Наше доказательство основано на методе реконструкции на дереве.</p></trans-abstract><funding-group/></article-meta></front><body></body><back><ref-list><ref id="B1"><label>1.</label><mixed-citation>Блехер П. М., Ганихо джаев Н. Н. О чистых фазах модели Изинга на решетке Бете// Теор. вер. и ее прим. - 1990. - 35, № 2. - С. 920-930.</mixed-citation></ref><ref id="B2"><label>2.</label><mixed-citation>Ганихо джаев Н. Н., Розиков У. А. Описание периодических крайних гиббсовских мер некоторых решеточных моделей на дереве Кэли// Теор. мат. физ. - 1997. - 111, № 1. - С. 109-117.</mixed-citation></ref><ref id="B3"><label>3.</label><mixed-citation>Георги Х.-О. Гиббсовские меры и фазовые переходы. - М.: Мир, 1992.</mixed-citation></ref><ref id="B4"><label>4.</label><mixed-citation>Розиков У. А., Рахматуллаев М. М. Описание слабо периодических мер Гиббса модели Изинга на дереве Кэли// Теор. мат. физ. - 2008. - 156, № 2. - С. 292-302.</mixed-citation></ref><ref id="B5"><label>5.</label><mixed-citation>Розиков У. А., Хакимов Р. М. Условие единственности слабопериодической гиббсовской меры для модели жесткой сердцевины// Теор. мат. физ. - 2012. -173, № 1. - С. 60-70.</mixed-citation></ref><ref id="B6"><label>6.</label><mixed-citation>Розиков У. А., Хакимов Р. М. Крайность трансляционно-инвариантной меры Гиббса для НС-модели на дереве Кэли// Бюлл. ин-та мат. - 2019. -2. - С. 17-22.</mixed-citation></ref><ref id="B7"><label>7.</label><mixed-citation>Синай Я. Г. Теория фазовых переходов. Строгие результаты. - М.: Наука, 1980.</mixed-citation></ref><ref id="B8"><label>8.</label><mixed-citation>Хакимов Р. М. Единственность слабо периодической гиббсовской меры для HC-модели// Мат. заметки. - 2013. -94, № 5. - С. 796-800.</mixed-citation></ref><ref id="B9"><label>9.</label><mixed-citation>Хакимов Р. М. Слабо периодические меры Гиббса для НС-модели для нормального делителя индекса четыре// Укр. мат. ж. - 2015. -67, № 10. - С. 1409-1422.</mixed-citation></ref><ref id="B10"><label>10.</label><mixed-citation>Хакимов Р. М. HC-модель на дереве Кэли: трансляционно-инвариантные меры Гиббса// Вестн. НУУз. - 2017. -2, № 2. - С. 245-251.</mixed-citation></ref><ref id="B11"><label>11.</label><mixed-citation>Хакимов Р. М. Слабо периодические меры Гиббса для НС-моделей на дереве Кэли// Сиб. мат. ж. - 2018. -59, № 1. - С. 185-196.</mixed-citation></ref><ref id="B12"><label>12.</label><mixed-citation>Хакимов Р. М., Махаммадалиев М. Т. Условие единственности и не единственности слабо периодических мер Гиббса для НС-модели// ArXiv. - 2019. - 1910.11772v1 [math.ph].</mixed-citation></ref><ref id="B13"><label>13.</label><mixed-citation>Bleher P. M., Ruiz J., Zagrebnov V. A. On the purity of the limiting Gibbs states for the Ising model on the Bethe lattice// J. Stat. Phys. - 1995. -79, № 2. - С. 473-482.</mixed-citation></ref><ref id="B14"><label>14.</label><mixed-citation>Kesten H., Stigum B. P. Additional limit theorem for indecomposable multidimensional Galton-Watson processes// Ann. Math. Statist. - 1966. -37. - С. 1463-1481.</mixed-citation></ref><ref id="B15"><label>15.</label><mixed-citation>Khakimov R. M., Madgoziyev G. T. Weakly periodic Gibbs measures for two and three state HC models on a Cayley tree// Uzb. Math. J. - 2018. - 3. - С. 116-131.</mixed-citation></ref><ref id="B16"><label>16.</label><mixed-citation>Kulske¨ C., Rozikov U. A. Extremality of translation-invariant phases for a three-state SOS-model on the binary tree// J. Stat. Phys. - 2015. - 160, № 3. - С. 659-680.</mixed-citation></ref><ref id="B17"><label>17.</label><mixed-citation>Kulske¨ C., Rozikov U. A. Fuzzy transformations and extremality of Gibbs measures for the Potts model on a Cayley tree// Random Structures Algorithms. - 2017. - 50, № 4. - С. 636-678.</mixed-citation></ref><ref id="B18"><label>18.</label><mixed-citation>Martin J. B. Reconstruction thresholds on regular trees// В сб.: «Discrete random walks, DRW’03. Proceedings of the conference, Paris, France, September 1-5, 2003». - Paris: MIMD, 2003. - С. 191- 204.</mixed-citation></ref><ref id="B19"><label>19.</label><mixed-citation>Martinelli F., Sinclair A., Weitz D. Fast mixing for independent sets, coloring and other models on trees// Random Structures Algoritms. - 2007. -31. - С. 134-172.</mixed-citation></ref><ref id="B20"><label>20.</label><mixed-citation>Mazel A. E., Suhov Yu. M. Random surfaces with two-sided constraints: an application of the theory of dominant ground states// J. Stat. Phys. - 1991. -64. - С. 111-134.</mixed-citation></ref><ref id="B21"><label>21.</label><mixed-citation>Mossel E. Reconstruction on trees: beating the second eigenvalue// Ann. Appl. Probab. - 2001. - 11, № 1. - С. 285-300.</mixed-citation></ref><ref id="B22"><label>22.</label><mixed-citation>Mossel E., Peres Y. Information flow on trees// Ann. Appl. Probab. - 2003. -13, № 3. - С. 817-844.</mixed-citation></ref><ref id="B23"><label>23.</label><mixed-citation>Preston C. J. Gibbs states on countable sets. - Cambridge: Cambridge Univ. Press, 1974.</mixed-citation></ref><ref id="B24"><label>24.</label><mixed-citation>Rozikov U. A. Gibbs measures on Cayley trees. - Singapore: World Sci., 2013.</mixed-citation></ref><ref id="B25"><label>25.</label><mixed-citation>Suhov Yu. M., Rozikov U. A. A hard-core model on a Cayley tree: an example of a loss network// Queueing Syst. - 2004. -46. - С. 197-212.</mixed-citation></ref></ref-list></back></article>
