A Proof of the Conjectured Recurrence for OEIS A074003
Le résumé fourni par la source
This note proves the recurrence and rational generating function conjectured for OEIS A074003. The proof reduces the trace-and-subtrace conditions over GF(3^n) to a quadratic trace condition, evaluates the resulting character sum using quadratic Gauss sums and the Davenport-Hasse lifting formula, and derives an explicit formula according to n modulo 6.
Ce résumé expose les affirmations des auteurs. BNTIC ne l’interprète pas comme une validation indépendante des résultats.