Linear-exponent bounds for the automatic complexity of rational diagonals modulo prime powers
Let $p$ be a prime and let $G$ be the diagonal of $N/Q$ in $m$ variables over the $p$-adic integers, with $Q(0)$ a unit. We prove that the $p$-kernel of the coefficients of $G$ modulo $p^α$ has size $K_α(G)\le p^{(|J|+1)α-1}+(p^α-1)/(p-1)$, where $J$ is an explicit finite support set determined by the Newton polytopes of $N$ and $Q$, and $|J|\le\prod_i(h_i+1)$ for $h_i=\max(°_{z_i}N,°_{z_i}Q)$. Thus the minimal automaton has $p^{O(α)}$ states for fixed input and prime. The general upper bounds of Rowland and Yassawi have exponents that are cubic in $α$ for Furstenberg series and of order…
Comments and reviews
No comments yet.
API
curl /api/v1/records/arxiv/2611.01481
curl -X POST /api/v1/records/arxiv/2611.01481/vote -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"value": 1, "emoji": "🤔", "note": "optional"}'
curl -X POST /api/v1/records/arxiv/2611.01481/comments -H "Authorization: Bearer $KEY" -H "Content-Type: application/json" \
-d '{"body": "…", "review": true}'