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 条
  • [41] Abstraction and Learning for Infinite-State Compositional Verification
    Giannakopoulou, Dimitra
    Pasareanu, Corina S.
    ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2013, (129): : 211 - 228
  • [42] Solving Infinite-State Games via Acceleration
    Heim, Philippe
    Dimitrova, Rayna
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2024, 8 (POPL):
  • [43] Context free grammar and the infinite-state automaton
    Lu, Yingzhi
    Tien Tzu Hsueh Pao/Acta Electronica Sinica, 1996, 24 (08): : 23 - 27
  • [44] Formal Verification of Infinite-State BIP Models
    Bliudze, Simon
    Cimatti, Alessandro
    Jaber, Mohamad
    Mover, Sergio
    Roveri, Marco
    Saab, Wajeb
    Wang, Qiang
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, ATVA 2015, 2015, 9364 : 326 - 343
  • [45] Faster Temporal Reasoning for Infinite-State Programs
    Cook, Byron
    Khlaaf, Heidy
    Piterman, Nir
    2014 FORMAL METHODS IN COMPUTER-AIDED DESIGN (FMCAD), 2014, : 75 - 82
  • [46] On Automation of CTL* Verification for Infinite-State Systems
    Cook, Byron
    Khlaaf, Heidy
    Piterman, Nir
    COMPUTER AIDED VERIFICATION, PT I, 2015, 9206 : 13 - 29
  • [47] Synthesis of Infinite-State Systems with Random Behavior
    Katis, Andreas
    Fedyukovich, Grigory
    Chen, Jeffrey
    Greve, David
    Rayadurgam, Sanjai
    Whalen, Michael W.
    2020 35TH IEEE/ACM INTERNATIONAL CONFERENCE ON AUTOMATED SOFTWARE ENGINEERING (ASE 2020), 2020, : 250 - 261
  • [48] Optimal transport for some symmetric, multidimensional integer partitions
    Adu, Daniel Owusu
    Keliher, Daniel
    DISCRETE APPLIED MATHEMATICS, 2024, 343 : 159 - 165
  • [49] A Framework for the Verification of Parameterized Infinite-state Systems
    Alberti, Francesco
    Ghilardi, Silvio
    Sharygina, Natasha
    FUNDAMENTA INFORMATICAE, 2017, 150 (01) : 1 - 24
  • [50] Action Language verifier: an infinite-state model checker for reactive software specifications
    Tuba Yavuz-Kahveci
    Tevfik Bultan
    Formal Methods in System Design, 2009, 35 : 325 - 367