Remco van der Hofstad and Robert Fitzner developed the non-backtracking lace expansion (NoBLE) to prove mean-field behavior for several nearest-neighbor models in statistical physics. The main aim of NoBLE is to explicity compute for which dimensions nearest-neighbor systems can be proven to display mean-field behavior and make the required analysis and computation as accessible as possible.

On this webpage you find an overview of the NoBLE articles by Remco van der Hofstad and Robert Fitzner. We provide the implementation of the computer-assisted proof described in these article. The technique was developed and implemented by Robert Fitzner under the supervision of Remco van der Hofstad.

In case you are more interested in the technique than the results obtain, we advise you to read the thesis (2013) of Robert Fitzner as it contains more details and explanations then can be found in the articles. Click here to go to the website dedicated to the thesis..

The NoBLE article published so far:

Generalized approach to the non-backtracking lace expansion

Nearest-neighbor percolation function is continuous for d>10

In the first paper, we derive the analysis we use to show mean-field behavior in a general setting. In the second paper we derive the NoBLE for percolation and use the analysis of the first paper to obtain our result. We use this general analysis also for self-avoiding walk, percolation, lattice animal and lattice animals. Further, we plan to also use this analysis for oriented percolation.
Remco van der Hofstad and Robert Fitzner applied NoBLE to self-avoiding walk (SAW), lattice tree (LT), lattice animals (LA) and percolation. These models were known to show mean-field behavior in sufficiently high dimension. In the following table we review the known results and state in which dimensions we have proven mean-field behavior.
We mark results whose proof is not yet published by (*).

mean-field behavior |
self-avoiding walk |
lattice trees |
lattice animals |
percolation |

expected for |
d≥5 |
d≥9 |
d≥9 |
d≥7 |

proved before 2013 |
d≥5 |
sufficiently high |
sufficiently high |
d≥19 |

proved by us |
d≥7 |
d≥17(*) |
d≥18(*) |
d≥11 |

The results were obtained using a computer-assisted proof. The author implemented the computation using Mathematica notebooks. In the following tables these notebooks can be downloaded.
Next to the Mathematica format .nb we provide the file as PDF file, in which also the parameters used for the lowest applicable dimension can be retrieved. The implementation of the computer-assisted proof consists of three files.
The first file is used to compute simple random walks integrals.
The second part the bound of the general analysis are implemented.
The third part is the model dependent implementation of the bounds on the NoBLE-coefficient.
At this moment we have only prepared the implementation for percolation for publication.

Using the SRW file, given above, we compute for a given dimension the number of SRW ending at given positions and several SRW-integrals.
This computation can take hours. For this reason we provided recomputed values for d=7,8,9,...,20.
When put into the correct directory/folder these files will be loaded automatically, which reduces the necessary computational
time to seconds. When you do not download the files they will be automatically created on your computer, when you compile/evaluate the SRW file.
If you run the computation in the same dimension once more, then the (by your computer) pre-computed values will be used.

Where to put the files? In the starting directory of Mathematica. Where to find that? Open any Mathematica notebook, put $InitialDirectory into an input cell and evaluate it. The directory will be shown. Usually it is your user directory.

Where to put the files? In the starting directory of Mathematica. Where to find that? Open any Mathematica notebook, put $InitialDirectory into an input cell and evaluate it. The directory will be shown. Usually it is your user directory.

The SRW file uses some involved function to automatically compute which SRW-Integrals are required and how to compute
a bound on the involved SRW-Integral Ln. If you would like to understand the SRW file we recommend you to read to start by reading the
basic version of the SRW-Integrals file(PDF).
In this basic version everything is done manually. We used this file in an early stage of the project.
The version give above allows for more flexibility and ensure the desired numerical precision.