Number Theory [math.NT]

On a perturbed Hofstadter $Q$-recursion

math.NT

The Hofstadter Q-sequence is a prominent example of nested recurrence. Despite decades of study, it is not even known whether Q(n) is defined for all n. Mantovanelli introduced a parity-perturbed variant $\widetilde{Q}$, obtained by adding $(-1)^n$ to the recursion, which surprisingly replaces the chaotic behaviour of Q by an exact dyadic self-similarity. In this paper we prove that $\widetilde{Q}$ is well-defined for all n and satisfies $|\widetilde{Q}(n)/n - 1/2| = O(1/\sqrt{\log n})$. The proof exploits the self-similar structure of the sequence, where alternating arches arise whose frequency combinatorics are governed by the Catalan numbers. A complementary analysis of the arch amplitudes, conditional on two minimal conjectural properties, refines the asymptotic formula to $\limsup_{n\to\infty} |\widetilde{Q}(n)/n - 1/2| \sqrt{\log_2 n} = 1/(3\sqrt{2\pi})$. Numerical experiments suggest the conjecture $Q(n) - \widetilde{Q}(n) = O(n/\sqrt{\log n})$, indicating that $\widetilde{Q}$ may serve as a tractable proxy for Q. This experimental direction will be investigated elsewhere.

Order drop, Hecke descent, and a mod $p^4$ supercongruence for symmetric-cube hypergeometric coefficients

math.NT

We prove that the symmetric-cube coefficients $A_n = (-27)^n [z^n] {}_2F_1(1/3,1/3;1;z)^3$ satisfy the supercongruence $A_{mp} \equiv A_m \pmod{p^4}$ for every prime $p \geq 5$ and every positive integer $m$. The proof proceeds by establishing an order drop from 3 to 2 via Ore factorization, deriving the full modular dictionary on $X_0(3)$ with logarithmic derivative $C(q) = 3E_{5,\chi_0,\chi_3}(q)$, and combining a Lagrange--B\"urmann extraction with a three-layer exponential truncation. The defect forms are killed by a Fricke--Hecke intertwining argument using the cusp filtration at the second cusp of $X_0(3)$.

The Domb Ap'ery-limit and a proof of the Ramanujan Machine conjecture Z2

math.NT

We prove that the ratio $B_n/D_n$ of the Ap\'ery-like sequence $B_n$ to the Domb numbers $D_n$ converges to $(7/24)\zeta(3)$, and that $\sum_{n=1}^{\infty} 64^n/(n^3 D_n D_{n-1}) = (56/3)\zeta(3)$. As a corollary we establish the value $Z_2 = 12/(7\zeta(3))$ conjectured by the Ramanujan Machine project. The proof uses level-6 eta products, Atkin--Lehner involutions, and Eichler integrals of weight-4 modular forms.

On the Double Lambert Series Conjecture of Andrews-Dixit--Schultz-Yee

math.NT

Andrews, Dixit, Schultz, and Yee conjecture the parity of a double Lambert series. In 2026, Amdeberhan, Andrews, and Ballantine offer some ideas that are pointing in the right direction for the proof. In this paper, we complete the rest of their proof.

The Thue-Morse Transform

math.NT

We introduce the Thue--Morse transform, a transform on binary sequences defined through their evil and odious numbers, namely the positions of $0$'s and $1$'s, respectively, and prove that its iterates on the classical Thue--Morse sequence form an explicit family of binary sequences with a clear dyadic structure, extending the classical Prouhet--Thue--Morse partition. We show that these iterated sequences yield broad new families of solutions to the Prouhet--Tarry--Escott problem, extending Prouhet's classical digit-sum construction rather than producing ideal solutions. We prove functional equations for the associated generalized evil and odious numbers that extend the classical composition formulas for evil and odious numbers. For Mersenne levels we determine the factor complexity completely, proving an exact hierarchical piecewise formula via a desubstitution argument. We also formulate two extensions beyond the basic dyadic setting: a $d$-ary version of the same mechanism, and a Fibonacci analogue of the Prouhet partition based on Zeckendorf numeration.

On canonicity for integral models of Shimura varieties with hyperspecial level

math.NT

math.AG

We give a new definition -- and in some cases, a new construction -- of integral canonical models of Shimura varieties that uses the notion of an aperture appearing in work of Gardner--Madapusi on some conjectures of Drinfeld. This applies to Shimura varieties of pre-abelian type at odd primes of hyperspecial level, recovering and extending previous work of Kisin, Kim--Madapusi and Imai--Kato--Youcis, but also to exceptional Shimura varieties for large enough primes. The characterization in the exceptional case is \emph{a priori} different from the one recently shown by Bakker--Shankar--Tsimerman, and recovers many of their results, such as the existence of prime-to-$p$ Hecke operators, the non-emptiness of the $\mu$-ordinary stratum and the theory of the canonical lift. In fact, we give a uniform proof of the non-emptiness of \emph{all} possible Newton strata, and of the non-emptiness of Ekedahl--Oort strata and central leaves as well. An important ingredient in the proofs is a generalization of Tate's full faithfulness theorem for $p$-divisible groups to the context of apertures. This leads to a mapping property for the integral canonical model that characterizes maps into it from all normal, flat and excellent schemes over $\mathbb{Z}_{(p)}$.

Reduced Unitary Whitehead Groups over Function Fields of p-adic Curves

math.NT

math.KT

math.RA

Let $F_0$ be the function field of a curve over a $p$-adic field $K,$ and let $F$ be a quadratic extension over $F_0$. Let $A$ be a central simple algebra over $F$ of period $2,$ and let $\tau$ be a $F/F_0$-involution on $A$. We show the triviality of the reduced unitary Whitehead group $SK_1U( A, \tau)$ if $p\neq 2$.

Boundary Cohomology of Sp6(Z): Trivial Representation

math.NT

math.AG

In this article, we compute the boundary cohomology of the arithmetic group Sp6(Z) with coefficients in the trivial representation. Our computation utilizes the Borel-Serre compactification and the associated spectral sequence.

A Hal\'{a}sz-type asymptotic formula for logarithmic means and its consequences

math.NT

math.PR

We establish an asymptotic formula for the logarithmic mean value of a 1-bounded multiplicative function that is sharp in many cases of interest. We derive from it a variety of applications, making progress on several old problems. As a first application, we show that if $f$ is a completely multiplicative function taking values in $[-1,1]$ then there is a constant $c > 0$ such that for every $x \geq 3$, $$ L_f(x) := \sum_{n \leq x} \frac{f(n)}{n} > -\frac{c}{(\log x)^{1-2/\pi}}, $$ thus significantly improving on a 20-year-old result of Granville and Soundararajan. We also show that the exponent of $\log x$ in this result can be improved to $-1+o(1)$, as long as $f$ does not ``behave like'' the Liouville function $\lambda$ in a precise sense. As a second application, we show that for a Rademacher random completely multiplicative function $\mathbf{f}$, the probability that $L_{\mathbf{f}}(x)$ is negative is $O(\exp(-x^c))$ for some $c \in (0,1)$, thus establishing a previously conjectured bound. Finally, we obtain a converse theorem for small absolute values $|L_f(x)|$, and construct examples $f$ that show that it is (essentially) best possible.

Arithmetic intersections on non-split Cartan modular curves

math.NT

Let $p$ be a prime number, and let $\Delta_1,\Delta_2 < 0$ be two coprime fundamental discriminants. When $p$ splits in $\mathbb{Q}(\sqrt{\Delta_1})$ and $\mathbb{Q}(\sqrt{\Delta_2})$ the height pairings of the corresponding CM divisors on $X_{\mathrm{spl}}^+(p)$ were determined by Gross--Kohnen--Zagier [GKZ87]. When $p$ is inert, we determine the arithmetic intersection numbers of the corresponding divisors on $X_{\mathrm{ns}}^+(p)$ at all finite primes. The key point of our analysis is at the prime of bad reduction $p$: to determine the intersection numbers at $p$, we provide a moduli interpretation for the smooth locus in the regular model of $X_{\mathrm{ns}}^+(p)$ over $\mathrm{Spec}(\mathbb{Z})$ constructed by Edixhoven--Parent [EP24].

Random conic bundle surfaces satisfy the Hasse principle

math.NT

math.AG

We establish the Hasse principle for $100\%$ of conic bundles over $\mathbb{P}^1_{\mathbb{Q}}$.

Explicit inequalities for the nth lucky number

math.NT

Gardiner, Lazarus, Metropolis, and Ulam introduced a variation of the sieve of Eratosthenes that (instead of producing the sequence of prime numbers) produces the sequence of "lucky numbers". The distribution of lucky numbers has a striking similarity to that of prime numbers. In particular, Hawkins and Briggs proved that if $\ell_n$ denotes the $n$th lucky number then $\ell_n \sim n \log n$, which is analogous to the prime number theorem. This work provides explicit upper and lower bounds on $\ell_n$.

Weighted averages of arithmetic functions and applications to equidistribution

math.NT

For a wide range of functions $W\colon\mathbb{N}\to\mathbb{N}$, we establish a general result for estimating weighted averages of the form \[ \mathbb{E}^{W}_{n \le N} f(\vartheta(n))= \frac{1}{W(N)}\sum_{n=1}^N (W(n)-W(n-1))f(\vartheta(n)), \] where $f\colon \{1,\ldots,N\}\to\mathbb{C}$ is an arbitrary function, and $\vartheta(n)$ is any arithmetic function that adheres to a certain Gaussian distribution condition. (In particular, one can take $\vartheta(n)=\Omega(n)$, $\vartheta(n)=\omega(n)$, or $\vartheta(n)=\Omega(q_n)$, where $\Omega(n)$ and $\omega(n)$ count the number of prime factors of $n$ with and without multiplicities respectively, and $q_n$ denotes the $n$-th squarefree number.) As an application of our main theorem, we show that if $h(n)$ is a function from a Hardy field with polynomial growth then $(h(\vartheta(n)))_{n\in\mathbb{N}}$ is uniformly distributed mod $1$ if and only if one of the following (mutually exclusive) conditions is satisfied: (i) $\lim_{x\to\infty} \frac{|h(x)-p(x)|}{x \log x}=\infty$ for all $p(x)\in \mathbb{Q}[x]$; (ii) $\lim_{x\to\infty}\frac{|h(x)-p(x)|}{\sqrt{x}}=\infty$ for each $p(x)\in \mathbb{Q}[x]$ and there exists $q(x)\in \mathbb{Q}[x]$ such that $\lim_{x\to\infty}\frac{|h(x)-q(x)|}{x}<\infty$. This leads to novel applications regarding the uniform distribution of sequences of the from $h(\Omega(n))$, $h(\omega(n))$, and $h(\Omega(q_n))$. For example, we show that $(\Omega(n)^c)_{n\in\mathbb{N}}$ is uniformly distributed mod $1$ if and only if $c$ is a non-integer greater than $\frac{1}{2}$.

On the cohomology of negative Tate twists via cyclotomic descent

math.NT

We show that the Galois cohomology of negative Tate twists can be organized by a single universal cyclotomic complex over the cyclotomic tower of $\mathbb{Q}$. Using cyclotomic descent and Teichm\"uller branch decomposition, we prove that a negative twist contributes only on the corresponding branch and is recovered by specializing the Iwasawa variable at a single point; equivalently, it is computed as the fiber of $\gamma-u^{-m}$, or $T=u^{-m}-1$ in Iwasawa coordinates. In the case $\mathbb{Q}_p/\mathbb{Z}_p$, this gives explicit descriptions of $H^1$ and $H^2$ in terms of the quotient and torsion of the $S$-ramified Iwasawa module.

On a conjecture of Deines

math.NT

Two elliptic curves defined over $\mathbb{Q}$ are called discriminant twins if they have the same minimal discriminant and the same conductor. Deines, in 2014, conjectured that there exist infinitely many semi-stable non-isogenous discriminant twins. In this article we present an explicit infinite family of semi-stable non-isogenous discriminant twins, providing a proof for Deines' conjecture.

$p$-adic Theory for Partial Toric Exponential Sums

math.NT

Wan proved the rationality of partial toric $L$-functions using $\ell$-adic techniques. In this paper, we present a $p$-adic proof in the spirit of Dwork. We demonstrate that partial $L$-functions can be expressed as an alternating product of twisted Fredholm determinants. These twisted determinants appear to be intrinsic to the analytic structure of partial $L$-functions, and unlike their classical counterparts, twisted Fredholm determinants of completely continuous operators are not automatically $p$-adic entire functions. However, for partial $L$-functions they will be $p$-adic meromorphic. After proving rationality, we construct a $p$-adic cohomology theory and give a $p$-adic cohomological formula for partial toric $L$-functions. Last, we show they have a unique $p$-adic unit root which may be explicitly written in terms of $A$-hypergeometric series.

Congruence modules and Wiles defects of determinantal rings of maximal minors

math.AC

math.NT

Let $O$ be a discrete valuation ring and $A := O[X_{m \times n}]/I_{m}(X)$ the determinantal ring of maximal minors. We consider algebra maps $\lambda \colon A \to O$, which is tantamount to choosing rank-deficient matrices $a \in O^{m \times n}$. Following Iyengar--Khare--Manning, we compute the congruence module and the Wiles defect of $A$ at $\lambda$, expressing them in terms of the $(m - 1)$-sized minors of $a$.

Short proofs in combinatorics, probability and number theory II

math.CO

math.NT

math.PR

We give a quintet of proofs resulting from questions posed by Erd\H{o}s. These questions concern ordinary lines in planar point sets, sequences with uniformly small exponential sums, $K_4$-free $4$-critical graphs with few chords in any cycle, a counterexample to a "fewnomial" version of the Erd\H{o}s--Tur\'{a}n discrepancy bound, and a finiteness theorem for integers $n$ such that $n-a k^2$ is prime for all $k\leq \sqrt{n/a}$ coprime to $n$ (for fixed $a\in\mathbb Z_+$). Each proof is due to an internal model at OpenAI.

Topological Indices of Divisor Prime Graphs

math.CO

math.NT

Graph theory provides powerful tools for modeling concepts in number theory, leading to the introduction of graphs derived from arithmetic properties. One such structure is the divisor prime graph, $G_{Dp(n)}$. For any positive integer $n$, let $D(n)$ be the set of its positive divisors. The vertex set of $G_{Dp(n)}$ consists of the elements of $D(n)$, with the adjacency condition that two vertices $x$ and $y$ share an edge if and only if their greatest common divisor is $1$. The primary focus of this study is to evaluate the topological characteristics of $G_{Dp(n)}$. To achieve this, we analyze and compute various distance and degree-based indices, specifically focusing on the Wiener, Harary, hyper-Wiener, First and Second Zagreb, Schultz, Gutman, and Eccentric connectivity indices.

A note on complex Lie Algebras isomorphic to their conjugate

math.AG

math.NT

math.RT

A real Lie algebra defines by extension of scalars a complex Lie algebra that is isomorphic to its Galois conjugate. In this paper, we are interested in the converse property: given a complex Lie algebra that is isomorphic to its conjugate, is it defined over the real numbers? We prove the existence of a $10$-dimensional nilpotent complex Lie algebra for which the answer is negative, disproving a recent conjecture by Der\'e. In addition, we compute the generic obstruction to this descent problem in terms of Brauer groups.

Artin-Schreier quandles of involutions in absolute Galois groups

math.NT

math.GR

math.GT

math.QA

v2

We introduce a new invariant of fields that refines their real spectrum and is related to their absolute Galois group: the Artin-Schreier quandle. For formally real number fields, it is freely generated in its variety by a Cantor space of indeterminates. For Laurent series fields, we compute it in terms of the Artin-Schreier quandle of the coefficient field. This result and other examples show that, in general, there are relations.

Non-Martingale Fixed-Point Processes for Iterated Monodromy Groups

math.NT

math.DS

math.PR

v3

We construct families of rational functions $f \colon \bP^1_k \to \bP^1_k$ of degree $d \geq 2$ over a perfect field $k$ whose associated fixed-point processes fail to be martingales. Conversely, for any normal variety $X \subset \bP^N_{\overline{k}}$ and a finite, generically \'etale morphism $f \colon X \to X$, we establish geometric conditions on the critical orbits of $f$ that guarantee the fixed-point process is a martingale. Our constructions answer a question of Bridy, Jones, Kelsey, and Lodge \cite{iterated} regarding the existence of non-martingale behaviour in arboreal Galois representations, and extend their martingale criteria to higher-dimensional dynamical systems. In particular, we exhibit infinitely many postcritically finite maps with non-martingale fixed-point processes and characterize the group-theoretic obstructions to the martingale property in the genus-zero case. Furthermore, we prove that despite the failure of the martingale property, the fixed-point proportion still vanishes with a quantifiable convergence rate.

New large value estimates for Dirichlet polynomials

math.NT

v2

We prove new bounds for how often Dirichlet polynomials can take large values. This gives improved estimates for a Dirichlet polynomial of length $N$ taking values of size close to $N^{3/4}$, which is the critical situation for several estimates in analytic number theory connected to prime numbers and the Riemann zeta function. As a consequence, we deduce a zero density estimate $N(\sigma,T)\le T^{30(1-\sigma)/13+o(1)}$ and asymptotics for primes in short intervals of length $x^{17/30+o(1)}$.

Integrally Hilbertian rings and the polynomial Schinzel hypothesis

math.NT

v2

The classical Hilbert specialization property is a field-theoretic tool ensuring that polynomial irreducibility over a field is preserved under specialization of some of the variables. We develop an integral counterpart by introducing the notion of {integrally Hilbertian rings}, where specialization takes place inside a ring and irreducibility is required over the ring. A core part shows how new obstacles to irreducibility such as coefficient divisors or fixed divisors can be dealt with over Krull domains, a large class of rings including UFDs, Dedekind domains, etc. As a result, we obtain a general criterion for integral hilbertianity, along with many examples, \hbox{e.g.} all rings of integers of number fields. Polynomial rings over arbitrary domains are other examples. As an application, we prove a polynomial variant of the Schinzel Hypothesis on prime values of polynomials with integer coefficients: if $\mathcal{Z}$ is an integrally Hilbertian ring, the hypothesis becomes a true statement if the ring of integers ${\mathbb Z}$ is replaced by the polynomial ring $\mathcal{Z}[U]$ and ``prime'' by ``irreducible''. This result generalizes previous works and fits in a unified framework for Schinzel-type phenomena that we introduce. We further obtain an additional conclusion that has some noteworthy consequences for the classical Schinzel Hypothesis itself.

A geometric determinant method and geometric dimension growth

math.NT

math.AG

v2

We study a geometric version of the dimension growth conjecture. While it is closely related in spirit to themes arising in geometric Manin's conjecture, it applies in greater generality and provides more uniform bounds. For an irreducible projective variety $X$ defined over $\mathbb{C}(t)$, the set $X(b)$ of $\mathbb{C}(t)$-rational points on $X$ of degree less than $b$ has a natural structure of an algebraic variety over $\mathbb{C}$. We study the dimension and irreducibility of $X(b)$ when $X$ has degree $d \ge 2$, and obtain a geometric analogue of the classical dimension growth conjecture, namely that $\dim X(b) \le b\dim X $ for every $b \ge 1$. In particular, when $X$ is defined over $\mathbb{C}$, this provides uniform bounds on the dimension of the space of degree $b$ rational curves on $X$. We also develop a geometric version of Heath-Brown's $p$-adic determinant method for varieties defined over $\mathbb{C}(t)$. This allows us to show that as soon as $d \ge 6$, the number of irreducible components of $X(b)$ of dimension $b\dim X$ is bounded by a polynomial in $d$ which is independent of $b$. As a further application, we obtain an analogue of the Bombieri--Pila theorem for affine curves, as well as a corresponding result for projective curves.

Torsion of Abelian varieties over solvable extensions of number fields

math.NT

v2

Let $K$ be a number field, and let $A$ be an Abelian variety over $K$ which has no CM isogeny-factors over $\overline{K}$. We prove that $A$ has only finitely many torsion points over the maximal $n$-step-solvable extension of $K$ for any $n$ and only finitely many torsion points of prime order over the maximal prosolvable extension of $K$.

The diophantine equation $(2^{k}-1)(b^{k}-1)=y^{q}$

math.NT

v3

In this paper, we consider the exponential Diophantine equation \( (2^k-1)(b^k-1)=y^q \) with $k\ge 2$, odd integer $b$ and an odd prime exponent $q$ and obtain effective upper bounds for $q$ in terms of $b$. In particular, we show that $q\le \log_2(b+1)$ holds apart from a finite, explicitly determined set of exceptional pairs $(b,q)$ when $3\le b<10^6$. As an application, we prove that the related equation \( (2^k-1)(b^k-1)=x^n, \) has no positive integer solution $(k,x,n)$ for several specific odd values of $b$, including $b\in\{5,7,11,13,21,23,27,29\}$.

Poisson-Dirichlet approximation for counting integers with divisors in an interval

math.NT

math.PR

v2

We give a simple inequality that compares the laws of two random variables taking values in a convex subset of a normed vector space. By combining this with Arratia's coupling, recently refined by Koukoulopoulos and the author, we obtain a general strategy to reduce the problem of finding an asymptotic formula for the number of integers whose prime factorization lies in any given subset of $\ell^1(\mathbb R)$, to bounding two key probabilities measuring proximity to the boundary of the subset in question. We apply this strategy to obtain an asymptotic formula for counting integers in $[1, x]$ that have a divisor in an interval $(y, z)$ in the regime $z/y \to \infty$ as $x \to \infty$.

Lichtenbaum-van Hamel duality for singular varieties over $p$-adic fields

math.NT

math.AG

v2

In this article, we extend the van Hamel-Lichtenbaum duality theorem to (not necessarily smooth) proper and geometrically integral varieties defined over a $p$-adic field $k$. More precisely, we prove that for such variety $X$ there exists a natural continuous perfect pairing \[ \mathrm{Br}_1(X)\times H_0(X,\mathbb{Z})_\tau^{\wedge} \to \mathbb{Q}/\mathbb{Z}, \] where $\mathrm{Br}_1(X):=\ker(\mathrm{Br}(X)\to\mathrm{Br}(\overline{X}))$ is the algebraic Brauer group of $X$, $H_0(X,\mathbb{Z})_\tau$ is the zeroth group of truncated homology $\mathrm{Hom}_{D(k_{\mathrm{sm}})}(\tau_{\leq 1}R\phi_*\mathbb{G}_{m,X},\mathbb{G}_{m,k})$, $\phi$ is the structure morphism of $X$, and $(-)^{\wedge}$ is the profinite completion functor.

The Mean field equation on the Tate curve

math.NT

math.AP

math.RT

v2

In this paper, we study the spectrum of the Laplacian on the Tate curve and construct the associated Green's function as a finite sum, which can be viewed as the non-Archimedean counterpart of the Green's function on the flat torus in the Archimedean case. Moreover, we establish existence and uniqueness results of the mean field equation on this space. To address the problem, we first prove the structure of solutions on finite quotients, and prove the existence on the Tate curve by the convergence of such solutions. We also prove the uniqueness of the solutions for some parameter region. Notably, the well-posedness of the solution resembles that in the Archimedean case.

Norm-trace and Kloosterman sums in finite semi-simple algebras

math.NT

v2

An asymptotic formula with a square root error term is obtained for the number of elements with given trace and norm in a finite semisimple algebra over a finite field. This extends previous results from finite etale algebras (commutative case) to finite semi-simple algebras (non-commutative case). The main idea is to apply the Eichler formula for Gauss sums over the general linear group and the Hasse-Davenport relation to reduce the problem to the classical geometric case where the result is known to be true. As an application of this reduction, we also obtain a square root estimate for Kloosterman sums over semi-simple algebras. Similar square root estimates are discussed when norm-trace is replaced by product-trace, leading to a new conjecture on product-trace counting over finite semi-simple algebras.

Cryptanalysis of the Legendre Pseudorandom Function over Extension Fields

cs.CR

math.NT

v2

The Legendre Pseudorandom Function (PRF) is a highly efficient cryptographic primitive built upon the Legendre symbol, valued for its low multiplicative complexity in Multi-Party Computation (MPC) and Zero-Knowledge Proof (ZKP) protocols. While its security over prime fields $\mathbb{F}_p$ is well-documented, recent interest has shifted toward instantiations over extension fields $\mathbb{F}_{p^r}$. This paper presents the first comprehensive cryptanalysis of the single-degree Legendre PRF operating over $\mathbb{F}_{p^r}$. First, we analyze polynomial input encoding under a standard passive threat model (sequential additive counter queries). We demonstrate that while the absence of polynomial carry-overs causes an asynchronous "no-carry fracture" that neutralizes classical sliding-window collision attacks, the fracture itself is deterministically periodic. By introducing a novel "Differential Signature" bucketing technique, we prove that an adversary can systematically group fractured sequences by their structural shapes to bypass this defense, recovering the secret key in $\mathcal{O}(U \cdot p^r/M)$ operations, where $U$ is the unicity distance. Second, we evaluate the PRF under an active Chosen-Query threat model. We demonstrate that an adversary can circumvent the additive fracture by evaluating the PRF along a geometric sequence generated by a primitive polynomial. This structure invokes strict multiplicative homomorphism over $\mathbb{F}^*_{p^r}$, permitting a direct generalization of state-of-the-art table collision attacks to extract the key in $\mathcal{O}(p^r/M)$ operations. Finally, we establish the cryptographic boundaries of these attacks, formally proving the necessity of higher-degree key variants ($d \ge 2$) to achieve exponential security against structural reduction in extension fields.