Fixed-Seed Cyclicity Loci for Polynomial Exponential Periods

Summary

Some exponential integrals satisfy differential equations because repeatedly differentiating their integrands eventually produces a dependence relation. This release asks a more specific question: when does one chosen starting integrand—or seed—stop generating the full available differential system?

The candidate turns repeated parameter differentiation into a finite exact matrix. Its minors locate the parameter values where the seed loses rank. This is useful because the same ambient system may still possess some other cyclic generator: the paper is diagnosing the behaviour of a specified amplitude, not declaring the whole differential module defective.

For a depressed quartic phase, the calculation gives every possible rank and separates two kinds of failure. The even family has a lower-rank span that persists under the relevant connection. A second component is generally only a pointwise failure of one derivative frame.

For an odd quintic phase, the package exposes the full matrix, exact reduction witnesses, determinant and every size-three minor. Together with the rank argument, this yields rank-one, rank-two, rank-three and rank-four regions. The identities are computer-assisted but finite and inspectable.

The release also uses a Chebyshev family as a stringent all-degree test. Its exponential integral and modified-Bessel equation are known from prior work and are not claimed as discoveries here.

Status: anonymous, unrefereed candidate. Producer-side replay and targeted failure controls pass. Independent reproduction, proof-assistant formalization, specialist review, analytic contour validation, peer review, and novelty or priority determination have not occurred.

Summary for specialists

Let

with $k$ of characteristic zero and the leading coefficient of $\Phi_x$ invertible in $A$. The candidate proves that $\mathcal H_\Phi$ has a monomial normal form of rank $\deg_x\Phi-1$ and behaves correctly under the stated base changes.

For a parameter derivation $V$ and fixed seed $[a]$, the iterates

form a finite Krylov matrix. Its determinantal ideals define the scheme-theoretic fibre-rank loci on the recorded open parameter scheme. Persistence is a stronger condition: along an integral component tangent to $V$, the lower-rank Krylov span must be locally free and invariant under $\nabla_V$.

For

the fixed-seed determinant is

The candidate gives complete ranks one through three. The component $b=0$ is persistent for the scale direction; the other determinant component is generally pointwise.

For $\phi=x^5+ax^3+bx$, put $C=a^2-5b$. The finite certificate gives

where

The reported ranks are one at the monomial origin, two on $C=0$ away from the origin, three on $P=0$ off $C=0$, and four elsewhere.

Technical summary

The software reduces amplitudes modulo $D_\Phi(q)=q_x+\Phi_xq$ using exact SymPy arithmetic. The primary implementation uses a leading-term recurrence. A second packaged implementation solves the same reductions by coefficient matching. Because both were developed in the same workflow and share SymPy, their agreement is algorithmic diversity, not independent reproduction.

The odd-quintic certificate stores four polynomials $q_j$ and their reduced remainders $r_j$ so that

A small checker recomputes those four identities, the full matrix, determinant, all sixteen size-three minors, divisibility by $C$, and a rational rank-three witness. Mutation controls change four load-bearing coefficients or factors; negative controls reject invalid phases and directions; a temporary manifest corruption must also be detected.

The scalar period equations are conditional analytic consequences. They apply along a local integral curve of the chosen parameter derivation and require the stated horizontal-cycle, differentiation-under-the-integral and integration-by-parts hypotheses. The release does not construct rapid-decay cycles or Stokes data.

What the result does not establish

• It does not establish that the candidate claims are mathematically correct through independent verification or peer review.
• It does not give a general multivariate Picard–Fuchs or Feynman-integral algorithm.
• It does not construct global contour bases, rapid-decay cycles or Stokes matrices.
• It does not claim discovery of the Chebyshev exponential integral, its total-derivative proof or its modified-Bessel equation.
• It does not establish novelty or priority for the quartic or odd-quintic formulas; the scoped search recorded only non-location.
• It does not provide a fully pinned container, Nix or Guix environment for every computational layer.

Who should care, and why

The most valuable next projects

1. Reconstruct the quartic and odd-quintic rank proofs independently, starting from the public statements rather than the production reducers.
2. Reimplement the load-bearing reductions in SageMath with Singular, or another unaffiliated open-source CAS stack.
3. Formalize the localized normal-form, determinantal-locus, persistence and component-multiplicity results in a proof assistant.
4. Add a rigorous analytic layer: rapid-decay cycles, contour continuation, differentiation hypotheses and Stokes data.
5. Extend the fixed-seed construction to multivariate twisted complexes and relative or logarithmic amplitudes.
6. Search more broadly for equivalent quartic and odd-quintic formulas under other normalisations, moment determinants or Brieskorn-lattice terminology.

What is in the evidence package

• A 24-page manuscript in PDF, generated TeX and canonical Markdown.
• The exact library and command-line interface with SymPy 1.14.0 pinned.
• 129 ordinary and 129 optimized exact checks.
• A 17-check coefficient-matching path packaged in the same producer workflow.
• A 47-check finite exact odd-quintic reduction certificate.
• Nine deliberate mutation, manifest-corruption and invalid-input controls.
• An author-run Wolfram Language cross-CAS input and transcript.
• Fresh-extraction replay under Python 3.12.11 and 3.13.5, plus a wheel and installed-CLI smoke test.
• A SHA-256 manifest, replay receipt, claim index, assurance vector, provenance record, citation receipt, licence map and final integrity report.
• A 14-reference source-identity and contextual-use audit, including direct PDF checks for the load-bearing Chebyshev antecedents.

All original release content is dedicated to the public domain under CC0-1.0. External articles and software retain their own rights and licences.

The immutable tagged package, paper and checksum are available from GitHub. The exact archived version is Zenodo record 21853682, DOI 10.5281/zenodo.21853682.

@misc{cyclicitylociexponentialperiods2026,
  title        = {Fixed-Seed Cyclicity Loci for Polynomial Exponential Periods},
  author       = {Anonymous},
  year         = {2026},
  doi          = {10.5281/zenodo.21853682},
  url          = {https://doi.org/10.5281/zenodo.21853682},
  version      = {0.2.1-candidate},
  howpublished = {Zenodo},
  note         = {Unrefereed; internally replayed evidence package. Press page: https://evidencepress.org/releases/cyclicity-loci-exponential-periods/}
}