Computations for: Exact Amplitude Identities at Beraha Numbers for Closed Planar Triangulations
Year: 2026
Type: software
Abstract: Self-checking scripts certifying the computer-assisted statements of the paper"Exact Amplitude Identities at Beraha Numbers for Closed Planar Triangulations:certified limits at B7, B9, B10 and a two-sided structure". Each script runs standalone and ends either with "all assertions passed" or witha failed assertion. Between them they establish: the isotypic block computationsbehind Proposition 6.1 and Lemma 6.2b; the certified dominance window andspectral gap at B9; the branch inventory, transversality certificate andfull-sector gap for the star-arrangement family of Section 7; the amplitudes ofthe non-constant branches; and the Chebyshev tower identities of Section 8.Four further scripts are independent cross-checks on which no statement of thepaper depends. Requires Python 3.10+, numpy, sympy, python-flint, mpmath, tqdm and scipy.See README.md for the map from each script to the statements it establishes.
Author: Mactabi, Reza
Language: English
Subfield: Discrete Mathematics and Combinatorics
Field: Mathematics
Domain: Physical Sciences
Open Access status: green
OpenAlex ID: W7203754121