Complete rational classification of fifth-order autocorrelation ambiguities on $U_{30}$
candidateconfidence 50%
VibeMathed reports this item as candidate. VibeMath preserves that report as a source assertion and has not independently authored a plain-language mathematical explanation.
Precise statement
For rational-valued signals $f,g:C_{30}\to\mathbb Q$ with exact Fourier support $U_{30}$, equality of autocorrelations through order five is completely classified. After translating $g$, there are $\alpha\in\mathbb Q(\zeta_{30})^\times$ and $z\in\mathbb Q(\zeta_6)^\times$, with $z\bar z=1$, such that
$$
\widehat f(u)=\sigma_u(\alpha),\qquad
\widehat g(u)=\sigma_u(z\alpha)
$$
for every $u\in U_{30}$. Conversely, every such pair, extended by zero off $U_{30}$, is rational-valued and agrees through order five. Normalized parameters are translation-equivalent exactly modulo $\mu_6$, and the sixth-order data agree exactly when $z^6=1$.
The source statement is reproduced for indexing with attribution. Mathematical correctness requires domain-expert or mechanical review. VibeMath has not independently audited statement
fidelity, correctness, priority, or novelty.
What AI did
GPT-5.6 Sol (Codex)
Following the self created protocol PAPP, that you can find here:https://github.com/aconsciousfractal/Gate-Disciplined-Computational-Mathematics
GPT-5.6 Sol, operating through Codex under my direction, developed the central relation-lattice reduction, the phase-ratio normal form, and the Galois-descent argument that confines the relative phase to the norm-one torus in $\mathbb Q(\zeta_6)$. It also generated exact symbolic replays and the verification package. I selected the problem and scope, controlled the literature and claim boundary, directed repeated adversarial reviews, checked the mathematical outputs, and revised the manuscript after each finding. An earlier AI-agent package supplied preliminary computational observations; the workflow independently rederived and checked them before use.
No named independent domain expert has endorsed the theorem. The repository carries exact symbolic checks, fail-closed verification scripts, frozen manifests and an adversarial review report, but those are author-side and agent-side assurance, so this stays Unreviewed and Candidate.
This site ran its own checks, written from the statement rather than from the repository's scripts. Building a pair from a chosen $\alpha$ and $z$: both inverse transforms are rational at all 30 points, the support is exactly $U_{30}$, the pair agrees through order five and differs at order six, and replacing $z$ by a sixth root of unity restores order-six agreement - the claimed $z^6=1$ boundary, exactly. The phase lattice was recomputed independently by Smith normal form: $\mathbb Z^8/L$ has free rank 1 through order five and rank 0 at order six, so a one-parameter ambiguity survives order five and dies at six. And the Agulnick-Busick-Warner pair itself fits the classification - its Fourier ratio is Galois-equivariant with $z+\bar z=13/7$ and $z\bar z=1$, so $z=(13\pm3\sqrt{-3})/14$ lies in $\mathbb Q(\zeta_6)$.
Not checked: completeness itself, which is the novelty. The converse direction, the lattice skeleton and the known example are all consistent with it without establishing it.
Autocorrelation Phase Lattices on Cyclic Groups: Unit Supports and the 2pq Orbit-Stable Classification
Agulnick and Busick-Warner exhibited a family of fifth-order ambiguities on the exact unit support $U_{30}$ and conjectured that it was not a complete classification because it did not use the full field $\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 $\mathbb Q(\zeta_6)$. The result is a specialization of a theorem for every exact unit support $U_{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.
Known method families
argument (source-reported)
Source-reported tools: argument.
Independent: unknown · difference confidence: 0
What remains uncertain
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.
The source status is candidate and must not be represented as solved.
VibeMath has not independently verified the mathematical claim.
AI-attempt independence and training-data exposure are unknown unless explicitly documented.
VibeMath has not independently audited the mathematical statement, proof, or novelty claim.