We gratefully acknowledge support from
the Simons Foundation and member institutions.
Full-text links:


Current browse context:


Change to browse by:

References & Citations


(what is this?)
CiteULike logo BibSonomy logo Mendeley logo del.icio.us logo Digg logo Reddit logo ScienceWISE logo

Condensed Matter > Statistical Mechanics

Title: Classical spin Hamiltonians are context-sensitive languages

Abstract: Classical spin Hamiltonians are a powerful tool to model complex systems, characterized by a local structure given by the local Hamiltonians. One of the best understood local structures is the grammar of formal languages, which are central in computer science and linguistics, and have a natural complexity measure given by the Chomsky hierarchy. If we see classical spin Hamiltonians as languages, what type of grammar do the local Hamiltonians correspond to? Here we show how to cast classical spin Hamiltonians as formal languages, and classify them in the Chomsky hierarchy. We prove that the language of (effectively) zero-dimensional spin Hamiltonians is regular, one-dimensional spin Hamiltonians is deterministic context-free, and higher-dimensional and all-to-all spin Hamiltonians is context-sensitive. This provides a new complexity measure for classical spin Hamiltonians, which captures the hardness of recognizing spin configurations and their energies. We compare it to the computational complexity of the ground state energy problem, and find a different easy-to-hard threshold for the Ising model. We also investigate the dependence of the measure on the language of the spin Hamiltonian, and initiate the characterization of its freedom. Finally, we define the language of the time evolution of a spin Hamiltonian and also classify it in the Chomsky hierarchy. Our work suggests that universal spin models are weaker than universal Turing machines.
Comments: v5: fixed two missing references. v4: Completely rewritten, with unified and new results and a new title. v3: More results; 24 pages, 9 figures, 9 tables. v2: More results and extensively rewritten; 18 pages and 7 figures; code of linear bounded automaton also attached. v1: 13 pages, 7 figures, code of deterministic pushdown automaton attached
Subjects: Statistical Mechanics (cond-mat.stat-mech)
Cite as: arXiv:2006.03529 [cond-mat.stat-mech]
  (or arXiv:2006.03529v5 [cond-mat.stat-mech] for this version)

Submission history

From: Gemma De las Cuevas [view email]
[v1] Fri, 5 Jun 2020 16:05:40 GMT (29kb)
[v2] Fri, 19 Jun 2020 14:02:46 GMT (39kb)
[v3] Fri, 11 Sep 2020 07:30:24 GMT (48kb)
[v4] Tue, 17 May 2022 13:51:21 GMT (496kb,D)
[v5] Wed, 18 May 2022 11:47:02 GMT (497kb,D)

Link back to: arXiv, form interface, contact.