The infinite-state Potts model and restricted multidimensional partitions of an integer

被引:6
|
作者
Wu, FY
机构
关键词
the Potts model; restricted partitions;
D O I
10.1016/S0895-7177(97)00208-2
中图分类号
TP39 [计算机的应用];
学科分类号
081203 ; 0835 ;
摘要
It is shown that the partition function of the q-state Potts model on a finite d-dimensional hypercubic lattice in the q --> infinity limit is precisely the generating function of (d-1)-dimensional restricted partitions of an integer. For d = 2, 3, this equivalence leads to closed-form expressions of the q = infinity Potts partition function. Our discussion also establishes symmetry and reciprocal properties for the generating function of restricted partitions in higher dimensions.
引用
收藏
页码:269 / 274
页数:6
相关论文
共 50 条
  • [1] The infinite-state Potts model and solid partitions of an integer
    Huang, HY
    Wu, FY
    INTERNATIONAL JOURNAL OF MODERN PHYSICS B, 1997, 11 (1-2): : 121 - 126
  • [2] The Infinite-State Potts Model and Solid Partitions of an Integer Mechanics: Historical Perspectives and Current Status
    Huang, H. Y.
    Wu, F. Y.
    International Journal of Modern Physics B, 11 (1-2):
  • [3] Directed compact lattice animals, restricted partition of an integer, and the infinite-state Potts model
    Wu, FY
    Rollet, G
    Huang, HY
    Maillard, JM
    Hu, CK
    Chen, CN
    PHYSICAL REVIEW LETTERS, 1996, 76 (02) : 173 - 176
  • [4] Fast infinite-state model checking in integer-based systems
    Rybina, T
    Voronkov, A
    COMPUTER SCIENCE LOGIC, PROCEEDINGS, 2003, 2803 : 546 - 573
  • [5] INFAMY: An Infinite-State Markov Model Checker
    Hahn, Ernst Moritz
    Hermanns, Holger
    Wachter, Bjoern
    Zhang, Lijun
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2009, 5643 : 641 - 647
  • [6] Model checking infinite-state Markov chains
    Remke, A
    Haverkort, BR
    Cloth, L
    TOOLS AND ALGORITHMS FOR THE CONSTRUCTION AND ANALYSIS OF SYSTEMS, PROCEEDINGS, 2005, 3440 : 237 - 252
  • [7] Selfless Interpolation for Infinite-State Model Checking
    Schindler, Tanja
    Jovanovic, Dejan
    VERIFICATION, MODEL CHECKING, AND ABSTRACT INTERPRETATION (VMCAI 2018), 2018, 10747 : 495 - 515
  • [8] Infinite-State Energy Games
    Abdulla, Parosh Aziz
    Atig, Mohamed Faouzi
    Hofman, Piotr
    Mayr, Richard
    Kumar, K. Narayan
    Totzke, Patrick
    PROCEEDINGS OF THE JOINT MEETING OF THE TWENTY-THIRD EACSL ANNUAL CONFERENCE ON COMPUTER SCIENCE LOGIC (CSL) AND THE TWENTY-NINTH ANNUAL ACM/IEEE SYMPOSIUM ON LOGIC IN COMPUTER SCIENCE (LICS), 2014,
  • [9] A Decidability Result for the Model Checking of Infinite-State Systems
    Daniele Zucchelli
    Enrica Nicolini
    Journal of Automated Reasoning, 2012, 48 : 1 - 42
  • [10] Decidability of model checking for infinite-state concurrent systems
    Javier Esparza
    Acta Informatica, 1997, 34 : 85 - 107