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

05/23/2018
by   Manuel Kauers, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
11/08/2017

A Simple Derivation of the Heap's Law from the Generalized Zipf's Law

I reproduce a rather simple formal derivation of the Heaps' law from the...
research
03/24/2021

Similarity-Based Equational Inference in Physics

Derivation in physics, in the form of derivation reconstruction of publi...
research
07/09/2019

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 ...
research
08/15/2018

Automatic Derivation Of Formulas Using Reforcement Learning

This paper presents an artificial intelligence algorithm that can be use...
research
11/06/2019

Display to Labelled Proofs and Back Again for Tense Logics

We introduce translations between display calculus proofs and labelled c...
research
02/28/2019

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

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

Please sign up or login with your details

Forgot password? Click here to reset