← All Papers · Formal Verification

The eta-negativity cascade: what a single sign constraint implies for three-dimensional percolation exponents

Dr. Tamás Nagy Short Draft Formal Verification
Unreviewed draft. This paper has not been human-reviewed. Mathematical claims may be unverified. Use with appropriate caution.
View in Graph BibTeX

Summary

For Bernoulli bond percolation on $\mathbb{Z}^3$, the anomalous dimension $\eta$ is widely believed to be negative ($\eta \approx -0.046$ from Monte Carlo), but no rigorous proof exists.
Length
3,108 words
Claims
1 theorems
Status
Draft

Connects To

Universal Foundations: A Verified Library of Core Mathematic...

Browse all Formal Verification papers →