Unverified 2026

Cyclotomic-Quotient Phase Embedding

Implementation & benchmark of arXiv:2607.11595 — Exact Cardinality And Nonredundant Parametrization Of Character-Polynomial Codes

Usefulness5/10
Difficulty6/10
Novelty9/10

Source paper: Exact Cardinality And Nonredundant Parametrization Of Character-Polynomial Codes arXiv:2607.11595 ⓘ · analyzed Aug 30, 2026

AI-generated research hypothesis, automatically tested. Not peer-reviewed.

Idea description

Build a deterministic complex-valued embedding for discrete IDs by evaluating finite-field polynomials through an additive character, but learn coefficients only for one representative of each Frobenius or cyclotomic orbit. The quotient removes parameters that generate exactly the same feature function after the trace map, avoiding flat optimization directions and reducing the size of the embedding layer.

Formulas

$$\operatorname{Tr}_{\mathbb{F}_{q}/\mathbb{F}_{p}}(a)=\sum_{j=0}^{r-1}a^{p^{j}},\qquad \chi(a)=\exp\!\left(\frac{2\pi i}{p}\operatorname{Tr}_{\mathbb{F}_{q}/\mathbb{F}_{p}}(a)\right).$$
$$C(l)=\{lp^{i}\!\!\pmod{q-1}\mid i=0,\ldots,r-1\},\qquad C(l)=C(j)\Longleftrightarrow j=lp^{i}\!\!\pmod{q-1}\ \text{for some }i.$$$$
$$\operatorname{Tr}(a x^{lp^{i}})=\operatorname{Tr}\!\left((a x^{lp^{i}})^{p^{r-i}}\right)=\operatorname{Tr}\!\left(a^{p^{r-i}}x^{l}\right),\qquad x,a\in\mathbb{F}_{q}.$$
$$\Phi_{\theta}(x)=\left[\cos\!\left(\frac{2\pi}{p}\operatorname{Tr}\!\left(\sum_{l\in R}\theta_l x^l\right)\right),\ \sin\!\left(\frac{2\pi}{p}\operatorname{Tr}\!\left(\sum_{l\in R}\theta_l x^l\right)\right)\right],\qquad x\in\mathbb{F}_{q}.$$

Mathematical statement

Let q=p^r be a finite-field size, where p is prime and r is the extension degree, and let Tr_{F_q/F_p}(a)=sum_{j=0}^{r-1} a^{p^j} be the field trace. Let omega=exp(2 pi i/p) and define the additive character chi(a)=omega^{Tr(a)}. For a polynomial f(x)=sum_{l=0}^{k-1} a_l x^l over F_q, its character feature vector is Phi(f)=(chi(f(x)))_{x in F_q}; a neural layer can use its real and imaginary parts. The redundancy comes from trace invariance under Frobenius: Tr(z)=Tr(z^{p^i}), so exponents related by l -> lp^i mod(q-1) belong to the same p-cyclotomic coset C(l)={lp^i mod(q-1): i=0,...,r-1}. For x,a in F_q, Tr(a x^{lp^i})=Tr(a^{p^{r-i}} x^l), so a monomial indexed by lp^i can be represented using exponent l with a Frobenius-transformed coefficient. Choose one representative set R containing exactly one l from every cyclotomic coset. Store coefficients only for l in R. The exponent q-1 represents a separate function, equal to 1 on F_q^* and 0 at 0, and must be handled separately if included.

Implementation notes

(1) Integration point: implement a frozen or lightly trainable embedding layer for categorical IDs, finite-state observations, graph node labels, or synthetic modular-arithmetic tokens. Map each ID to an element x in F_q using a fixed primitive-polynomial representation. The layer outputs cosine and sine phase channels generated from the retained cyclotomic representatives, then sends them to an MLP, Transformer token projection, or graph-NN node encoder.

(2) Pseudocode:

construct F_q with q=p**r and enumerate field elements x
compute C(l) modulo q-1 for l=0,...,q-2
R = one canonical representative from each C(l)
initialize theta[l] for l in R
for minibatch of IDs:
    x = field_encode(ID)
    z = zero_field_element
    for l in R:
        z += theta[l] * field_pow(x, l)
    t = (2*pi/p) * field_trace(z)
    e = concat(cos(t), sin(t))
    loss = task_loss(network(e), target)
    backpropagate(loss)
    update theta and downstream weights

For a stable first implementation, precompute the feature table for every x in F_q and freeze it, learning only a downstream projection. If trainable coefficients are required, use a real soft relaxation for each finite-field coefficient or learn a continuous coefficient vector shared across all exponents in the same coset; do not allocate independent parameters to orbit members. Handle exponent q-1 separately because x^(q-1) is not the same function at x=0 as the exponent-zero monomial.

(3) Computed directly from the paper's mathematics: field multiplication and exponentiation, the trace, additive-character phases, cyclotomic cosets, and the Frobenius identity proving orbit redundancy. Estimated empirically: the representative count |R|, feature-matrix rank, duplicate-column count in the unreduced construction, gradient covariance, and downstream accuracy.

(4) First cheap experiment: choose q=2^8 or q=3^4, generate modular-addition and modular-multiplication classification datasets, and compare an unconstrained character-polynomial feature layer using every exponent with the cyclotomic-representative layer and a standard learned embedding. Use the same small MLP, optimizer, training steps, and output width. Success means at least 20% fewer phase parameters, zero exact duplicate feature directions after quotienting, a lower gradient-covariance condition number, and no more than 1% absolute test-accuracy loss; faster early loss descent at equal parameter count would provide additional evidence.

Verification

This idea has not been verified yet.

Verification happens in two stages: Stage 1 — a mechanism check on a toy system confirms the claimed mathematical phenomenon reproduces; Stage 2 — a benchmark implements the idea on a real (small) neural network task and compares it against a tuned baseline over 8 paired seeds with a permutation test.

Artifacts

Artifacts unavailable.