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

Authors

page 1

page 2

page 3

page 4

03/24/2021

Similarity-Based Equational Inference in Physics

Derivation in physics, in the form of derivation reconstruction of publi...
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 ...
08/15/2018

Automatic Derivation Of Formulas Using Reforcement Learning

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

Display to Labelled Proofs and Back Again for Tense Logics

We introduce translations between display calculus proofs and labelled c...
02/24/2016

Automatically Proving Mathematical Theorems with Evolutionary Algorithms and Proof Assistants

Mathematical theorems are human knowledge able to be accumulated in the ...
02/28/2019

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

Robust estimators in missing data problems often use semiparametric esti...
09/28/2021

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.