A D V E R T |
I S E M E N T |
| Math Sites: lean ages 13-∞ readme referees parents | >>> MAITH GAMES <<< | all 372 compute stand |
|
LEVEL 3 OF 3 · Zeta Defense
Uniform exclusion of Landau–Siegel zeros
expertly designed by an internal OpenAI model · released 2026-10-01
· original PDF
IntroductionFor a primitive Dirichlet character \(\chi\) of conductor \(q\), let \[L(s,\chi)=\sum_{n\ge1}\frac{\chi(n)}{n^s} \qquad(\operatorname{Re}s>1),\] and use its analytic continuation elsewhere. For an absolute constant \(c_1>0\), the classical region \[\operatorname{Re}s\ge1-\frac{c_1}{\log(q(|\operatorname{Im}s|+2))}\] is zero-free except for a possible simple real zero attached to a real character [Davenport]. Excluding this possibility uniformly is the Landau–Siegel zero problem. We prove its logarithmic formulation. Theorem 1. There is an absolute constant \(c>0\) such that every real zero \(\beta\in(0,1)\) of every primitive nonprincipal real Dirichlet \(L\)-function of conductor \(q\ge3\) satisfies \[ (1-\beta)\log q\ge c. \tag{1}\] Possible exceptional zeros obstruct uniform estimates for primes in arithmetic progressions. They also affect the study of quadratic class numbers through the values \(L(1,\chi)\) in Dirichlet’s class-number formula. Siegel’s theorem of 1935 gives \(L(1,\chi)\gg_\varepsilon q^{-\varepsilon}\) for every \(\varepsilon>0\), with an ineffective constant [Siegel, Davenport]. This estimate leaves open the possibility of a sequence of real zeros with \((1-\beta)\log q\to0\). More uniformly across characters, Page’s theorem gives an absolute constant \(c_2>0\) such that, for every \(Q\ge3\), at most one primitive real character of conductor at most \(Q\) has a real zero in \((1-c_2/\log Q,1)\) [Page]. The common window depends on \(Q\), not on each character’s own conductor. The Deuring–Heilbronn phenomenon, developed quantitatively by Linnik and Heath-Brown, forces other zeros away from \(1\) [Linnik, HeathBrown]; see Benli, Goel, Twiss, and Zaman [1] for a recent explicit form. Friedlander and Iwaniec [FI] discuss the logarithmic zero-gap conjecture and its relation to lower bounds for \(L(1,\chi)\). The argumentThe analytic starting point is that a zero with \((1-\beta)\log q\) small forces a shortage of primes with \(\chi(p)=1\); compare [FI]. Consequently, primes with \(\chi(p)=-1\) carry enough logarithmic mass for the determinant comparison. We give the short logarithmic-derivative proof in Section 2. The remaining argument is algebraic. Associate to \(\chi\) a quadratic field \(\mathbb Q(\sqrt d)\) and adjoin \(\sqrt2\). Except for one fixed quadratic field, this gives a biquadratic field \(K=\mathbb Q(a,b)\), with \(a^2=d\) and \(b^2=2\). Let \(\sigma\) change the sign of \(a\) and let \(\tau\) change the sign of \(b\). For \(n=(n_1,n_2,n_3,n_4)\in\{0,\ldots,N-1\}^4\), put \[\theta_n=n_1+n_2a+n_3b+n_4ab.\] We form rows indexed by triples \(\alpha\in\mathbb Z_{\ge 0}^3\) whose entries are \[\theta_n^{\alpha_1}\sigma(\theta_n)^{\alpha_2} \sigma\tau(\theta_n)^{\alpha_3}.\] There are \(N^4\) columns. The interpolation estimate supplies enough independent rows to form a nonzero square determinant at the natural degree scale \(U=N^{4/3}\), for which \(U^3=N^4\). To favor the first exponent, we order the rows by \(\alpha_1+H\alpha_2+H\alpha_3\) and retain a row exactly when it increases the span of its predecessors. Here the integer \(H\) will be large and fixed. Summed over the retained rows, the last two exponents account for an arbitrarily small fraction of the total degree. At an odd prime \(p\nmid q\) with \(\chi(p)=-1\), taking \(p\)-th powers modulo \(p\) sends \(\theta_n\) to either \(\sigma(\theta_n)\) or \(\sigma\tau(\theta_n)\). When \(p>H\), replacing a block of \(p\) first factors by the corresponding conjugate strictly lowers the row weight. Subtraction therefore preserves the determinant and extracts powers of \(p\) from the rows. Primes up to \(U\) contribute the leading factor \(\log U\) to the divisibility bound, whereas the evaluation points contribute \(\log N=\tfrac34\log U\) to the size bound. This strict difference drives the contradiction. Taking \(N\) to be a sufficiently large fixed power of \(q\) controls the additional \(\log q\) term in the size bound. Section 4 constructs the rows, Section 5 proves the two bounds, and Section 6 makes the parameter choices. Interpolation and arithmetic contextThe reusable algebraic input is Lemma 3, proved in Section 3. It bounds the separate degrees needed to interpolate on a linear image of an integer box in \(\mathbb C^4\). Its hypothesis is that the kernel is spanned by a vector whose coordinates are linearly independent over \(\mathbb Q\). The estimate is uniform in the linear map and in the choice of coordinates on the three-dimensional image. This allows the interpolation box to have an arbitrarily large fixed aspect ratio without introducing a constant depending on the field. The proof uses a dimension count, a nearest-point argument for an integer polytope, and Lagrange interpolation on a supporting face. General multiplicity estimates on commutative algebraic groups are developed in [Philippon]; rectangular derivative conditions and interpolation duality appear in [Fischler]. The estimate proved here makes the coefficient and coordinate uniformity explicit. The final comparison belongs to the interpolation-determinant method described by Laurent [Laurent]. Bost’s arithmetic algebraicity criteria use spaces of derivations closed under \(p\)-fold composition at almost all prime ideals [Bost]. In the torus interpretation recalled in Section 3, our argument controls this operation on one distinguished derivation at selected primes and uses it directly for determinant divisibility, rather than applying an algebraicity criterion. All algebraic estimates used in the proof are established below. All logarithms are natural. Constants implicit in \(O(\cdot)\) and \(\ll\) are absolute unless a dependence is specified. All vector-space spans are over the indicated field, and we use \(z^0=1\), including when \(z=0\). The prime bias forced by a real zeroWe first record the prime-sum estimate that will be compared with the determinant bound. Let \(\chi\) be primitive, nonprincipal, and real of conductor \(q\ge3\), and let \(\beta\in(0,1)\) be a real zero. Write \[\ell=\log q,\qquad \delta=(1-\beta)\ell.\] Lemma 2. For \(X\ge3\), \[ \sum_{\substack{p\le X\\\chi(p)=1}}\frac{\log p}{p} \ll \ell+\frac{\delta(\log X)^2}{\ell}. \tag{2}\] Consequently, for each integer \(H\ge2\), \[ \sum_{\substack{H<p\le X\\p\nmid2q\\\chi(p)=-1}} \frac{\log p}{p} \ge \log X-C\ell-C\frac{\delta(\log X)^2}{\ell}-C_H, \tag{3}\] where \(C\) is absolute and \(C_H\) depends only on \(H\). Proof. Put \(\varepsilon=(1-\chi(-1))/2\). For the completed function \[\Lambda_\chi(s)= (q/\pi)^{(s+\varepsilon)/2} \Gamma\bigl((s+\varepsilon)/2\bigr)L(s,\chi),\] the Hadamard product and functional equation give, for real \(s>1\), \[ -\frac{L'}{L}(s,\chi) =\frac12\log\frac q\pi +\frac12\frac{\Gamma'}{\Gamma} \bigl((s+\varepsilon)/2\bigr) -\sum_\rho\operatorname{Re}\frac1{s-\rho}. \tag{4}\] Here \(\rho\) runs over the nontrivial zeros with multiplicity. The sum of real parts converges, and each term is nonnegative. This is the standard logarithmic-derivative identity; see [Davenport]. The functional equation cancels the real constant from the Hadamard product. For \(1<s\le2\), the gamma term is bounded for both parities. Keeping only the term for \(\beta\) and using \(-\zeta'/\zeta(s)=1/(s-1)+O(1)\) gives \[ -\frac{\zeta'}{\zeta}(s)-\frac{L'}{L}(s,\chi) \le C\ell+\frac1{s-1}-\frac1{s-\beta}. \tag{5}\] Take \(s=1+1/\log X\), which lies in \((1,2)\) for \(X\ge3\). Writing \(\Lambda(n)\) for the von Mangoldt function, the Euler products give the nonnegative series \[-\frac{\zeta'}{\zeta}(s)-\frac{L'}{L}(s,\chi) =\sum_{n\ge1}\frac{\Lambda(n)(1+\chi(n))}{n^s} \ge\frac2e\sum_{\substack{p\le X\\\chi(p)=1}}\frac{\log p}{p}.\] Also, \[\frac1{s-1}-\frac1{s-\beta} =\frac{1-\beta}{(s-1)(s-\beta)} \le(1-\beta)(\log X)^2.\] This proves (2). To obtain (3), use Mertens’ estimate and the elementary bound for primes dividing \(q\): \[\sum_{p\le X}\frac{\log p}{p}=\log X+O(1), \qquad \sum_{p\mid q}\frac{\log p}{p}\le\log q.\] Removing primes at most \(H\) costs a constant depending only on \(H\). ◻ Interpolation on a projected integer boxThe purpose of this section is to obtain a nonzero evaluation determinant using monomials whose separate degrees may be very different. No arithmetic estimates enter the interpolation lemma. Lemma 3. Let \(A:\mathbb C^4\to\mathbb C^3\) be a surjective linear map, with \(\ker A=\mathbb Cc\), where the four coordinates of \(c\) are linearly independent over \(\mathbb Q\). Let \(N\ge1\) and \(t_1,t_2,t_3\) be integers satisfying \[ t_j\ge3(N-1)\quad(1\le j\le3),\qquad \prod_{j=1}^3\bigl(t_j-3(N-1)+1\bigr)>(4N-3)^4. \tag{6}\] Set \(E_N=\{0,\ldots,N-1\}^4\) and \[\mathcal P_t=\{B\in\mathbb C[z_1,z_2,z_3]:\deg_{z_j}B\le t_j \text{ for }1\le j\le3\}.\] Then the evaluation map \(B\mapsto(B(An))_{n\in E_N}\) from \(\mathcal P_t\) to \(\mathbb C^{E_N}\) is surjective. Proof. Suppose the evaluation map is not surjective. There are complex numbers \(v_n\), not all zero, such that \[ \sum_{n\in E_N}v_nB(An)=0\qquad(B\in\mathcal P_t). \tag{7}\] Let \(S=\{n:v_n\ne0\}\) and \(P=\mathop{\mathrm{conv}}(S)\subset\mathbb R^4\). We construct the test polynomial as a product. A translated polynomial will vanish at \(An\) for every \(n\in S\) outside one supporting face of \(P\). A second polynomial will select a single vertex on that face, with total degree at most \(3(N-1)\). Put \(\mathcal K=4P\). For \(b_j=t_j-3(N-1)\), the polynomials of separate degrees at most \(b_j\) form a vector space of dimension \(\prod_j(b_j+1)\). Since \[\mathcal K\subset[0,4(N-1)]^4,\qquad \#(\mathcal K\cap\mathbb Z^4)\le(4N-3)^4<\prod_j(b_j+1),\] there is a nonzero polynomial \(R\) with \(\deg_{z_j}R\le b_j\) and \[ R(Am)=0\qquad(m\in\mathcal K\cap\mathbb Z^4). \tag{8}\] A supporting face. The polynomial \(R\circ A\) is nonzero because \(A\) is surjective. A nonzero polynomial on \(\mathbb C^4\) cannot vanish on all of \(\mathbb Z^4\): this follows by applying the one-variable root bound successively to its four coordinates. Choose \(m\in\mathbb Z^4\) with \(R(Am)\ne0\) whose distance to \(\mathcal K\) is least. Such a minimum exists because bounded neighborhoods of the compact set \(\mathcal K\) contain finitely many lattice points. Let \(y\in\mathcal K\) be nearest to \(m\) and set \(h=m-y\). By (8), \(h\ne0\). The nearest-point inequality \(h\cdot(x-y)\le0\) for \(x\in\mathcal K\) shows that \(y/4\) belongs to the supporting face \[G=\{v\in P:h\cdot v=\max_{w\in P}h\cdot w\}.\] This face has dimension at most three: if \(P\) is four-dimensional then \(G\) is proper, and otherwise \(\dim G\le\dim P\le3\). Removing affine dependencies from a convex combination expresses \(y/4\) as a combination of at most four vertices of \(G\). One coefficient is at least \(1/4\). Choosing its vertex \(u\) gives \[ u\in S\cap G,\qquad y-u\in3P. \tag{9}\] Indeed, subtracting \(u\) from four times that convex combination leaves nonnegative coefficients with sum three. For \(n\in S\setminus G\), define \[y'=y+n-u\in4P,\qquad m'=m+n-u=y'+h.\] The inclusion follows from (9). Since \(h\cdot(u-n)>0\), for sufficiently small \(\eta>0\) the point \(y'+\eta(y-y')\in\mathcal K\) satisfies \[ \bigl\|m'-[y'+\eta(y-y')]\bigr\|^2 =\|h-\eta(u-n)\|^2<\|h\|^2. \tag{10}\] Thus \(m'\) is closer to \(\mathcal K\) than \(m\) is. By the choice of \(m\), \[ R\bigl(A(m+n-u)\bigr)=0\qquad(n\in S\setminus G). \tag{11}\] Figure 1 illustrates the strict decrease in distance. Interpolation on the face. The integer vertices of \(G\) span an affine space of dimension at most three. Solving their affine linear equations over \(\mathbb Q\) and clearing denominators gives a hyperplane \[\mathcal H=\{v\in\mathbb C^4:r\cdot v=k\}, \qquad 0\ne r\in\mathbb Z^4,\quad k\in\mathbb Z,\] containing \(G\). Rational independence gives \(r\cdot c\ne0\). The restriction \(A|_{\mathcal H}\) is therefore an affine bijection onto \(\mathbb C^3\): each affine line parallel to \(\ker A\) meets \(\mathcal H\) exactly once. Choose \(i_0\) with \(r_{i_0}\ne0\). The other three coordinates determine a point of \(\mathcal H\). Let \(\lambda_i(z)\), for \(i\ne i_0\), be those affine coordinate functions of \((A|_{\mathcal H})^{-1}(z)\). Thus \(\lambda_i(An)=n_i\) for \(n\in\mathcal H\). The Lagrange polynomial \[Q(z)=\prod_{i\ne i_0}\ \prod_{\substack{0\le a<N\\a\ne u_i}} \frac{\lambda_i(z)-a}{u_i-a}\] has total degree at most \(3(N-1)\) and satisfies \[Q(An)=\begin{cases}1,&n=u,\\0,&n\in(S\cap G)\setminus\{u\}. \end{cases}\] The denominators are nonzero integers; empty products are \(1\). Now set \(B(z)=Q(z)R(z+A(m-u))\). Translation preserves each separate degree of \(R\), and the total degree bound on \(Q\) bounds each of its separate degrees. Hence \(B\in\mathcal P_t\). Equation (11) eliminates the terms off \(G\), and \(Q\) eliminates all remaining terms except the one at \(u\). Substitution in (7) gives the contradiction \[0=\sum_{n\in S}v_nQ(An)R\bigl(A(m+n-u)\bigr) =v_uR(Am)\ne0.\qedhere\] ◻ Corollary 4. Let \(A\) satisfy the hypotheses of Lemma 3. For integers \(1\le H\le N\), set \[U=N^{4/3},\qquad T_1=32H^{2/3}U, \qquad T_2=T_3=32H^{-1/3}U.\] The rows \(((An)_1^{\alpha_1}(An)_2^{\alpha_2}(An)_3^{\alpha_3})_{n\in E_N}\), with \(\alpha\in\mathbb Z_{\ge 0}^3\) and \(\alpha_j\le T_j\), span \(\mathbb C^{E_N}\). The constant \(32\) is independent of \(A\) and \(H\). Proof. Put \(t_j=\lfloor T_j\rfloor\). Since \(H\le N\), every \(T_j\ge32N\), and \(T_1T_2T_3=32^3N^4\). In particular \(t_j\ge3(N-1)\), and \[\prod_{j=1}^3\bigl(t_j-3(N-1)+1\bigr) >\prod_{j=1}^3\bigl(T_j-3(N-1)\bigr) \ge\frac{T_1T_2T_3}{8} =4096N^4>(4N-3)^4.\] Apply Lemma 3 to the monomial basis of \(\mathcal P_t\). ◻ Remark 5. The connection with multiplicity estimates is immediate. On \((\mathbb C^\times)^4\), write \(D_j=\sum_i A_{ji}x_i\partial/\partial x_i\). For \(x^n=x_1^{n_1}\cdots x_4^{n_4}\), \((D_1^{\alpha_1}D_2^{\alpha_2}D_3^{\alpha_3}x^n)(1,1,1,1)=(An)^\alpha\). Thus Corollary 4 is a rectangular multiplicity estimate. This interpolation viewpoint is standard in the subject; compare [Fischler]. We use the evaluation rows directly in what follows. A weighted determinant of conjugatesWe now construct a nonzero determinant for which most of the total exponent lies in the first coordinate. This is the coordinate to which the prime congruence will apply. A primitive nonprincipal real character \(\chi\) corresponds to a fundamental discriminant \(D\) with \(|D|=q\). Write \(\mathbb Q(\sqrt D)=\mathbb Q(\sqrt d)\) with \(d\) squarefree. Then \(|d|\le q\) and, for odd \(p\nmid q\), \(\chi(p)=(d/p)\), the Legendre symbol; see [Davenport]. Temporarily exclude \(d=2\) and put \[a=\sqrt d,\qquad b=\sqrt2,\qquad K=\mathbb Q(a,b),\qquad \mathcal R=\mathbb Z[a,b].\] Since \(\chi\) is nonprincipal, \(d\ne1\), so \([K:\mathbb Q]=4\). Every element of \(\mathcal R\) has a unique expression \(z_1+z_2a+z_3b+z_4ab\) with \(z_i\in\mathbb Z\). The automorphisms \(\sigma(a)=-a\), \(\sigma(b)=b\) and \(\tau(a)=a\), \(\tau(b)=-b\) generate \(\mathop{\mathrm{Gal}}(K/\mathbb Q)\). For integers \(1\le H\le N\), retain the notation \(U=N^{4/3}\) and set \(M=N^4=U^3\). For \(n\in E_N\) define \(\theta_n=n_1+n_2a+n_3b+n_4ab\). The map \[ A=\begin{pmatrix} 1&a&b&ab\\1&-a&b&-ab\\1&-a&-b&ab \end{pmatrix} \quad\text{satisfies}\quad An=(\theta_n,\sigma(\theta_n),\sigma\tau(\theta_n)). \tag{12}\] It has rank three and \[\ker A=\mathbb C(ab,b,-a,-1).\] For example, the minor in the first three columns is \(4ab\ne0\), and multiplication verifies the displayed kernel. Its four coordinates are linearly independent over \(\mathbb Q\) because \(1,a,b,ab\) are a \(\mathbb Q\)-basis of \(K\). Thus Corollary 4 applies. For \(\alpha\in\mathbb Z_{\ge 0}^3\), write \[ R_\alpha= \bigl(\theta_n^{\alpha_1}\sigma(\theta_n)^{\alpha_2} \sigma\tau(\theta_n)^{\alpha_3}\bigr)_{n\in E_N}. \tag{13}\] Fix an order of the columns. Order all indices in \(\mathbb Z_{\ge 0}^3\) by increasing \(w(\alpha)=\alpha_1+H\alpha_2+H\alpha_3\), with any fixed rule to break ties. Retain a row precisely when it increases the span of the earlier rows over \(K\). Rank is unchanged on extending scalars from \(K\) to \(\mathbb C\), so Corollary 4 guarantees \(M\) retained rows. Every row in that corollary has weight at most \(T_1+HT_2+HT_3=96H^{2/3}U\). Therefore all retained rows have weight at most this bound. Let \(\mathcal P\) be the set of retained indices, in their retained order, and put \[ \Delta=\det(R_\alpha)_{\alpha\in\mathcal P}\in\mathcal R\setminus\{0\}, \qquad S_1=\sum_{\alpha\in\mathcal P}\alpha_1, \qquad S_2=\sum_{\alpha\in\mathcal P}(\alpha_2+\alpha_3). \tag{14}\] Only the surjectivity conclusion of Corollary 4 enters the selection of these rows. The coefficients of the auxiliary polynomials used to prove it may depend on \(A\), but they do not enter \(\Delta\), which is formed from the original monomial rows. Thus no bound on those coefficients is needed for the size estimate below. This is the interpolation-determinant construction, with a weighted row order; compare [Laurent]. Lemma 6. There are absolute constants \(c_0,C_0>0\) such that for every fixed integer \(H\ge1\) and all sufficiently large \(N\) in terms of \(H\) alone, \[ S_1\ge c_0MH^{2/3}U,\qquad S_2\le C_0MH^{-1/3}U. \tag{15}\] In particular, \(S_2/S_1\le(C_0/c_0)/H\). Proof. The weight bound gives \(\alpha_2,\alpha_3\le B:=96H^{-1/3}U\) for every retained index. Thus \(S_2\le192MH^{-1/3}U\). For each fixed value of \(\alpha_1\), there are at most \[Q_0=(\lfloor B\rfloor+1)^2\le97^2H^{-2/3}U^2\] retained indices; here \(H^{-1/3}U\ge1\) follows from \(N\ge H\). List the first coordinates in increasing order as \(b_1,\ldots,b_M\). Then \(b_i\ge\lfloor(i-1)/Q_0\rfloor\). Writing \(M=kQ_0+r\), \(0\le r<Q_0\), gives \[S_1\ge Q_0\frac{k(k-1)}2+kr \ge\frac{M^2}{2Q_0}-\frac M2.\] The last inequality has difference \(r(Q_0-r)/(2Q_0)\ge0\). For fixed \(H\), the condition \(M\ge2Q_0\) holds whenever \(H^{2/3}N^{4/3}\ge2\cdot97^2\). Thus, uniformly in the field, \[S_1\ge\frac{M^2}{4Q_0} \ge\frac{MH^{2/3}U}{4\cdot97^2}.\] We may take \(c_0=(4\cdot97^2)^{-1}\) and \(C_0=192\). ◻ Two bounds for the determinantFor \(z\in K\), define \(\mathop{\mathrm{N}}(z)=z\sigma(z)\tau(z)\sigma\tau(z)\). If \(z\in\mathcal R\), then \(\mathop{\mathrm{N}}(z)\in\mathbb Z\): its product belongs to \(\mathcal R\) and is fixed by both \(\sigma\) and \(\tau\), so only its integer constant coefficient remains. In particular \(\mathop{\mathrm{N}}(\Delta)\) is a nonzero integer. We bound its absolute value from above at the complex embeddings and from below by divisibility. The Archimedean boundFor every embedding \(\nu:K\hookrightarrow\mathbb C\) and every \(n\in E_N\), \[|\nu(\theta_n)| \le(N-1)(1+\sqrt{|d|})(1+\sqrt2) \le8N\sqrt q.\] This estimate is valid for either sign of \(d\). Each row indexed by \(\alpha\) has Euclidean norm at most \(\sqrt M(8N\sqrt q)^{\alpha_1+\alpha_2+\alpha_3}\) at every embedding. Hadamard’s inequality and the four embeddings give \[ \frac14\log|\mathop{\mathrm{N}}(\Delta)| \le\frac M2\log M+ (S_1+S_2)\bigl(\log N+\tfrac12\ell+\log8\bigr). \tag{16}\] The prime divisibilityCall a prime \(p\) admissible if \(p>H\), \(p\nmid2q\), and \(\chi(p)=-1\). Euler’s criterion gives in \(\mathcal R/p\mathcal R\) \[a^p=a\,d^{(p-1)/2}\equiv-a, \qquad b^p=b\,2^{(p-1)/2}\equiv(2/p)b.\] The \(p\)-th-power map is a ring homomorphism in characteristic \(p\), and integer coefficients are fixed by it. Consequently \[ \theta^p\equiv g_p(\theta)\pmod{p\mathcal R} \quad(\theta\in\mathcal R),\qquad g_p=\begin{cases}\sigma,&(2/p)=1,\\ \sigma\tau,&(2/p)=-1. \end{cases} \tag{17}\] This is the Frobenius relation in the ring \(\mathcal R\). Lemma 7. For every admissible prime \(p\), \[ \Delta\in p^{E_p}\mathcal R, \qquad E_p=\sum_{\alpha\in\mathcal P}\left\lfloor\frac{\alpha_1}{p}\right\rfloor. \tag{18}\] Proof. Let \(j=2\) or \(3\) according as \(g_p=\sigma\) or \(\sigma\tau\). For a retained index \(\alpha\), write \(\alpha_1=pk+r\) with \(0\le r<p\). In (13), replace the first factor by \[\theta_n^r\bigl(\theta_n^p-g_p(\theta_n)\bigr)^k\] and leave the other two factors unchanged. Denote the resulting row by \(\widetilde R_\alpha\). Expansion yields the exact identity \[ \widetilde R_\alpha =R_\alpha+\sum_{m=1}^k(-1)^m\binom{k}{m} R_{\alpha-pm e_1+me_j}, \tag{19}\] where \(e_1,e_2,e_3\) are the standard coordinate vectors. Every row on the right after \(R_\alpha\) has smaller weight, since its weight is \(w(\alpha)-m(p-H)\). By the greedy selection rule, every earlier row lies in the \(K\)-span of the earlier retained rows. Thus the matrix of replacement rows equals \(L\) times the matrix of retained rows, where \(L\) is lower triangular over \(K\) with diagonal entries \(1\). In particular, \[ \det(\widetilde R_\alpha)_{\alpha\in\mathcal P}=\Delta. \tag{20}\] On the other hand, (17) shows that every entry of \(\widetilde R_\alpha\) belongs to \(p^k\mathcal R\). Dividing its entries by \(p^k\) leaves a matrix over \(\mathcal R\). Factoring these powers from (20) proves (18). The equality of determinants is over \(K\); the divisibility follows from the replacement entries themselves, so no integrality of \(L\) is required. ◻ Taking norms in (18) gives \(p^{4E_p}\mid\mathop{\mathrm{N}}(\Delta)\). Since the norm is a nonzero integer, distinct admissible primes may be combined. Therefore \[\begin{align*} \frac14\log|\mathop{\mathrm{N}}(\Delta)| &\ge\sum_{\substack{p\le U\\p\ \mathrm{admissible}}}E_p\log p\\ &\ge S_1\sum_{\substack{p\le U\\p\ \mathrm{admissible}}} \frac{\log p}{p} -M\sum_{p\le U}\log p. \tag{21}\end{align*}\] The second inequality uses \(\lfloor x\rfloor\ge x-1\) in each row. Chebyshev’s bound \(\sum_{p\le U}\log p\ll U\) and Lemma 2 now give, when \(U\ge3\) and \(H\ge2\), \[ \frac14\log|\mathop{\mathrm{N}}(\Delta)| \ge S_1\left(\log U-C\ell -C\frac{\delta(\log U)^2}{\ell}-C_H\right)-CMU. \tag{22}\] The leading term here is \(S_1\log U\). In (16), the corresponding term is \((S_1+S_2)\log N\), and \(\log N=\tfrac34\log U\). The weight \(H\) makes \(S_2/S_1\) small enough to preserve this difference. Completion of the proofSuppose Theorem 1 is false. Then there is a sequence of primitive nonprincipal real characters and real zeros with \[ q\longrightarrow\infty,\qquad \delta=(1-\beta)\log q\longrightarrow0. \tag{23}\] To justify \(q\to\infty\), there are only finitely many characters of bounded conductor, and for each of them \(L(1,\chi)\ne0\). Analyticity therefore prevents zeros from accumulating at \(1\). Passing to a subsequence gives (23). In particular \(\mathbb Q(\sqrt d)\ne\mathbb Q(\sqrt2)\) for all sufficiently large \(q\), so the field construction applies. Fix \(H\ge2\) for the moment. Combining (16) and (22), then dividing by \(S_1\log U\), yields \[ \begin{split} 1\le{}&\frac34\left(1+\frac{S_2}{S_1}\right) +\left(C+\frac12\left(1+\frac{S_2}{S_1}\right)\right) \frac{\ell}{\log U} +C\delta\frac{\log U}{\ell}\\ &+\frac{C_H+(1+S_2/S_1)\log8}{\log U} +\frac{CMU+\tfrac12 M\log M}{S_1\log U}. \end{split} \tag{24}\] The constants denoted by \(C\) are absolute. The division is legitimate for all sufficiently large \(N\) by Lemma 6. First choose the integer \(H\) so large that \((C_0/c_0)/H\le1/12\). Lemma 6 then makes the first term of (24) at most \(13/16\). Next choose a fixed real \(\gamma>0\) and set \(N=\lceil q^\gamma\rceil\). Along (23), \[\frac{\log U}{\ell}\longrightarrow\frac{4\gamma}{3}.\] Take \(\gamma\) sufficiently large that the limiting upper bound for the second term of (24) is less than \(1/16\). This choice depends only on the absolute constants and the already fixed bound \(S_2/S_1\le1/12\). Finally let \(q\to\infty\) along (23). The third term tends to zero because \(\gamma\) is fixed and \(\delta\to0\). The fourth tends to zero because \(H\) is fixed. For the last term, Lemma 6 and \(\log M=3\log U\) give \[\frac{MU}{S_1\log U}\ll\frac{H^{-2/3}}{\log U}, \qquad \frac{M\log M}{S_1\log U}\ll\frac{H^{-2/3}}{U},\] both tending to zero. The conditions \(N\ge H\), \(U\ge3\), and the lower bound on \(S_1\) all hold eventually. Taking an upper limit in (24) gives \(1\le13/16+1/16=7/8\), a contradiction. This proves Theorem 1.
|
| ||||||||
|