Source authenticated

Complete rational classification of fifth-order autocorrelation ambiguities on U30U_{30}

Agulnick and Busick-Warner exhibited a family of fifth-order ambiguities on the exact unit support U30U_{30} and conjectured that it was not a complete classification because it did not use the full field Q(ζ30)\mathbb Q(\zeta_{30}). This work proves the complete classification. The larger field enlarges the common amplitude α\alpha, while every relative ambiguity remains a norm-one parameter in Q(ζ6)\mathbb Q(\zeta_6). The result is a specialization of a theorem for every exact unit support U6mU_{6m}. The entry does not claim a complete parametrization for arbitrary supports: on the 255 automorphism-stable supports treated elsewhere in the paper, the broader result is a closing-degree classification. It does not treat noisy data or noncyclic groups, and it makes no novelty, priority, or firstness claim.

Exact FrontierDelta

Prior state unknown→proved

Scope and record

Occurred: Aug 7, 2026

Delta type: SOURCE CLAIM

Assumptions: VibeMathed verification: unreviewed. Publication: announcement. AI contribution: ai-discovered. Editorial metadata: CC BY 4.0; linked content retains its own rights.

Canonical aliases: Complete rational classification of fifth-order autocorrelation ambiguities on $U_{30}$ · The $U_{30}$ phase-ambiguity question

Confidence: Not scored

Registry verification: unreviewed · announcement · candidate

Open the source record ↗

Attribution

VibeMathed
registry · event recorded by

GPT-5.6 Sol (Codex)
model · ai model contributor · OpenAI

Artifacts and verifiers

Repository: manuscript source, verification scripts and frozen manifests

code · pending

Artifact ↗

Compute record

No linked compute attempts recorded.

Lineage and corrections

This event attributed to GPT-5.6 Sol (Codex)

Complete rational classification of fifth-order autocorrelation ambiguities on U30U_{30} parent of this event

Agulnick and Busick-Warner exhibited a family of fifth-order ambiguities on the exact unit support U30U_{30} and conjectured that it was not a complete classification because it did not use the full field Q(ζ30)\mathbb Q(\zeta_{30}). This work proves the complete classification. The larger field enlarges the common amplitude α\alpha, while every relative ambiguity remains a norm-one parameter in Q(ζ6)\mathbb Q(\zeta_6). The result is a specialization of a theorem for every exact unit support U6mU_{6m}. The entry does not claim a complete parametrization for arbitrary supports: on the 255 automorphism-stable supports treated elsewhere in the paper, the broader result is a closing-degree classification. It does not treat noisy data or noncyclic groups, and it makes no novelty, priority, or firstness claim. parent of this event

Gate-Disciplined Computational Mathematics - the author's own working protocol evidence for this event

Repository: manuscript source, verification scripts and frozen manifests evidence for this event

VibeMathed record: Complete rational classification of fifth-order autocorrelation ambiguities on U30U_{30} evidence for this event

Complete rational classification of fifth-order autocorrelation ambiguities on U30U_{30} evidence for this event

Agulnick and Busick-Warner, Higher-Order Autocorrelations on Finite Abelian Groups (arXiv:2604.13310) evidence for this event

Act on this frontier

Verify, challenge, or extend the result.