Checks · Approximate Antiunitary Symmetry as a Matching Problem
Recorded output of the exact-arithmetic verification
The exact-arithmetic program's output, on matrices of size 1 to 7 (dimensions): 210 exact checks of the objective (objective_cases), 1,270 odd-set inequalities (odd_set_checks, of which 280 are single-vertex sets that hold trivially), 177 cases of both stability estimates (stability_cases), three tied cases left out of the gap estimate, and no failures. Its source_sha256 is the SHA-256 of the published program. The file records no date.
- Output of
- The exact-arithmetic verification program (checks/verify_exact.py), shown beside it on that page
- Written by
- verify_exact.py, a program by GPT-6 Astra (OpenAI)
- Size
- 421 bytes
- SHA-256
de72eece45d1e097543bfed1d1adf0d867700b58b89b0c6c1a1c29a92f7a1af0
The paper's pageEvery file published with itThis file on GitHub
Tables
| arithmetic | Python fractions.Fraction, exact; real orthogonal subset only |
|---|---|
| seed | 20260929 |
| dimensions | [1, 7] |
| objective_cases | 210 |
| odd_set_checks | 1270 |
| stability_cases | 177 |
| tied_matching_cases_excluded_from_gap_estimate | 3 |
| max_unitary_entry_denominator_bits | 21 |
| failures | 0 |
| source_sha256 | d412fd187f926f4968e89d009ad2c91464ca7875561f0bb87c8f7711a30a1642 |
JSON
{
"arithmetic": "Python fractions.Fraction, exact; real orthogonal subset only",
"seed": 20260929,
"dimensions": [
1,
7
],
"objective_cases": 210,
"odd_set_checks": 1270,
"stability_cases": 177,
"tied_matching_cases_excluded_from_gap_estimate": 3,
"max_unitary_entry_denominator_bits": 21,
"failures": 0,
"source_sha256": "d412fd187f926f4968e89d009ad2c91464ca7875561f0bb87c8f7711a30a1642"
}