A Simple Re-Derivation of Onsager's Solution of the 2D Ising Model using Experimental Mathematics

by   Manuel Kauers, et al.

In this case study, we illustrate the great potential of experimental mathematics and symbolic computation, by rederiving, ab initio, Onsager's celebrated solution of the twodimensional Ising model in zero magnetic field. Onsager's derivation is extremely complicated and ad hoc, as are all the subsequent proofs. Unlike Onsager's, our derivation is not rigorous, yet it is absolutely certain (even if Onsager did not do it before), and should have been acceptable to physicists who do not share mathematicians' fanatical (and often misplaced) insistence on rigor.



page 1

page 2

page 3

page 4


Similarity-Based Equational Inference in Physics

Derivation in physics, in the form of derivation reconstruction of publi...

A Simple Derivation of AMP and its State Evolution via First-Order Cancellation

We consider the linear regression problem, where the goal is to recover ...

Automatic Derivation Of Formulas Using Reforcement Learning

This paper presents an artificial intelligence algorithm that can be use...

Display to Labelled Proofs and Back Again for Tense Logics

We introduce translations between display calculus proofs and labelled c...

Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants

Mathematical theorems are human knowledge able to be accumulated in the ...

Deductive semiparametric estimation in Double-Sampling Designs with application to PEPFAR

Robust estimators in missing data problems often use semiparametric esti...

Expectation-based Minimalist Grammars

Expectation-based Minimalist Grammars (e-MGs) are simplified versions of...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.