Skip to content

V1

Choose a tag to compare

View all tags
@michaeliu4 michaeliu4 released this 22 Sep 03:28
· 2 commits to main since this release
V1
e52d7f6

Computational companion to A sharp universal threshold for Tutte-polynomial inequalities, by Mingchang Liu. This release accompanies manuscript V1.

The repository contains the rational replacement weights, exact Python checker, table generator and recorded tables. Optional discovery scripts and stored candidates are included separately.

Verify with Python 3.10 or later:

python3 companion/verify.py

Expected totals: 7 profiles; 56 compositions; 21 representative replacements with 37 terms, expanding by duality to 42 replacements with 74 terms; 168 exact polynomial inequalities on [2,3].

The finite verification supports the replacement step. The structural and analytic arguments are given in the manuscript. See the README for file descriptions, table regeneration and optional discovery instructions.

Assets 2
Loading