西格尔零点

西格尔零点、西格尔零（英语：Siegel zero）、兰道-西格尔零点（英语：Landau-Siegel zero）、异常零点（英语：exceptional zero^[1]），是以德国数学家爱德蒙·兰道和卡尔·西格尔命名的一种对广义黎曼假设潜在反例的解析数论猜想，是关于与二次域相关的狄利克雷L函数的零点。粗略说，这些可能的零点在可量化的意义上可以非常接近s = 1。

动机和定义

狄利克雷L函数有与黎曼ζ函数相似的无零点区域。

已隐藏部分未翻译内容，欢迎参与翻译。

The way in which Siegel zeros appear in the theory of Dirichlet L-functions is as potential exceptions to the classical zero-free regions（英语：Dirichlet L-function#Zeros）, which can only occur when the L-function is associated to a real Dirichlet character.

Real primitive Dirichlet characters

For an integer q ≥ 1, a Dirichlet character modulo q is an arithmetic function（英语：arithmetic function） ${\textstyle \chi :\mathbb {Z} \to \mathbb {C} }$ satisfying the following properties:

• (Completely multiplicative（英语：Completely multiplicative function）) ${\textstyle \chi (mn)=\chi (m)\chi (n)}$ for every m, n;
• (Periodic) ${\textstyle \chi (n+q)=\chi (n)}$ for every n;
• (Support) ${\textstyle \chi (n)=0}$ if ${\displaystyle \mathrm {gcd} (n,q)>1}$.

That is, χ is the lifting of a homomorphism（英语：homomorphism） ${\textstyle {\widetilde {\chi }}:(\mathbb {Z} /q\mathbb {Z} )^{\times }\to \mathbb {C} ^{*}}$.

The trivial character is the character modulo 1, and the principal character modulo q, denoted ${\textstyle \chi _{0}~(\mathrm {mod} ~q)}$, is the lifting of the trivial homomorphism ${\textstyle (\mathbb {Z} /q\mathbb {Z} )^{\times }\ni a\mapsto 1\in \mathbb {C} ^{*}}$.

A character ${\textstyle \chi ~(\mathrm {mod} ~{q})}$ is called imprimitive if there exists some integer ${\textstyle d\neq q}$ with ${\textstyle d\mid q}$ such that the induced homomorphism ${\textstyle {\widetilde {\chi }}:(\mathbb {Z} /q\mathbb {Z} )^{\times }\to \mathbb {C} ^{*}}$ factors as

${\displaystyle (\mathbb {Z} /q\mathbb {Z} )^{\times }\twoheadrightarrow (\mathbb {Z} /d\mathbb {Z} )^{\times }\xrightarrow {\widetilde {\chi '}} \mathbb {C} ^{*}}$

for some character ${\textstyle \chi '~(\mathrm {mod} ~{d})}$; otherwise, ${\textstyle \chi ~(\mathrm {mod} ~{q})}$ is called primitive.

A character ${\textstyle \chi }$ is real (or quadratic) if it equals its complex conjugate（英语：complex conjugate） ${\displaystyle {\overline {\chi }}}$ (defined as ${\displaystyle {\overline {\chi }}(n):={\overline {\chi (n)}}}$), or equivalently if ${\textstyle \chi ^{2}=\chi _{0}}$. The real primitive Dirichlet characters are in one-to-one correspondence with the 克罗内克符号s ${\textstyle (D|\,\cdot \,):\mathbb {Z} \to \{-1,0,1\}}$ for ${\textstyle D\in \mathbb {Z} }$ a fundamental discriminant（英语：fundamental discriminant） (i.e., the discriminant of a quadratic number field（英语：quadratic number field）).^[2] One way to define ${\textstyle (D|\,\cdot \,)}$ is as the completely multiplicative arithmetic function determined by (for p prime):

${\displaystyle {\bigg (}{\frac {D}{p}}{\bigg )}={\begin{cases}1,&(p){\text{ splits in }}\mathbb {Q} ({\sqrt {D}}),\\-1,&(p){\text{ is inert }}\cdots ,\\0,&(p){\text{ ramifies }}\cdots ,\end{cases}}\quad {\bigg (}{\frac {D}{-1}}{\bigg )}={\text{sign of }}D.}$

It is thus common to write ${\textstyle \chi _{D}:=(D|\,\cdot \,)}$, which are real primitive characters modulo ${\textstyle |D|}$.

Classical zero-free regions

主条目：狄利克雷L函数 § 零点

The Dirichlet L-function associated to a character ${\textstyle \chi ~(\mathrm {mod} ~q)}$ is defined as the analytic continuation（英语：analytic continuation） of the 狄利克雷级数 ${\textstyle L(s,\chi )=\sum _{n\geq 1}\chi (n)n^{-s}}$ defined for ${\textstyle \mathrm {Re} (s)>1}$, where s is a complex variable（英语：complex variable）. For ${\displaystyle \chi }$ non-principal, this continuation is entire（英语：Entire function）; otherwise it has a simple pole（英语：Zeros and poles） of residue（英语：Residue (complex analysis)） ${\textstyle \prod _{p\mid q}(1-p^{-1})}$ at s = 1 as its only singularity. For ${\textstyle \mathrm {Re} (s)>1}$, Dirichlet L-functions can be expanded into an 欧拉乘积 ${\textstyle L(s,\chi )=\prod _{p}(1-\chi (p)p^{-s})^{-1}}$, from where it follows that ${\textstyle L(s,\chi )}$ has no zeros in this region. The prime number theorem for arithmetic progressions（英语：Prime number theorem#Prime number theorem for arithmetic progressions） is equivalent (in a certain sense) to ${\textstyle L(1+it,\chi )\neq 0}$ (${\textstyle \forall t\in \mathbb {R} }$). Moreover, via the functional equation（英语：Dirichlet L-function#Functional equation）, we can reflect these regions through ${\textstyle s\mapsto 1-s}$ to conclude that, with the exception of negative integers of same parity as χ,^[3] all the other zeros of ${\textstyle L(s,\chi )}$ must lie inside ${\displaystyle \{0<\mathrm {Re} (s)<1\}}$. This region is called the critical strip, and zeros in this region are called non-trivial zeros.

The classical theorem on zero-free regions (Grönwall,^[4] Landau,^[5] Titchmarsh^[6]) states that there exists a(n) (effectively computable) real number ${\textstyle A>0}$ such that, writing ${\displaystyle s=\sigma +it}$ for the complex variable, the function ${\textstyle L(s,\chi )}$ has no zeros in the region

${\displaystyle \sigma >1-{\frac {A}{(\log q(|t|+2))}}}$

if ${\textstyle \chi ~(\mathrm {mod} ~q)}$ is non-real. If ${\textstyle \chi }$ is real, then there is at most one zero in this region, which must necessarily be real and simple. This possible zero is the so-called Siegel zero.

The Generalized Riemann Hypothesis（英语：Generalized Riemann Hypothesis） (GRH) claims that for every ${\textstyle \chi ~(\mathrm {mod} ~q)}$, all the non-trivial zeros of ${\textstyle L(s,\chi )}$ lie on the line ${\textstyle \mathrm {Re} (s)={\frac {1}{2}}}$.

定义“西格尔零点”

The definition of Siegel zeros as presented ties it to the constant A in the zero-free region. This often makes it tricky to deal with these objects, since in many situations the particular value of the constant A is of little concern.^[1] Hence, it is usual to work with more definite statements, either asserting or denying, the existence of an infinite family of such zeros, such as in:

• Conjecture ("no Siegel zeros"): If ${\textstyle \beta _{D}}$ denotes the largest real zero of ${\textstyle L(s,\chi _{D})}$, then ${\displaystyle 1-\beta _{D}\gg {\frac {1}{\log |D|}}.}$

The possibility of existence or non-existence of Siegel zeros has a large impact in closely related subjects of number theory, with the "no Siegel zeros" conjecture serving as a weaker (although powerful, and sometimes fully sufficient) substitute for GRH (see below for an example involving Siegel–Tatuzawa's Theorem and the idoneal number（英语：idoneal number） problem). An equivalent formulation of "no Siegel zeros" that does not reference zeros explicitly is the statement:

${\displaystyle {\frac {L'}{L}}(1,\chi _{D})=O(\log |D|).}$

The equivalence can be deduced for example by using the zero-free regions and classical estimates for the number of non-trivial zeros of ${\textstyle L(s,\chi )}$ up to a certain height.^[7]

Landau–Siegel estimates

The first breakthrough in dealing with these zeros came from Landau, who showed that there exists an effectively computable constant B > 0 such that, for any ${\textstyle \chi _{D}}$ and ${\textstyle \chi _{D'}}$ real primitive characters to distinct moduli, if ${\textstyle \beta ,\beta '}$ are real zeros of ${\textstyle L(s,\chi _{D}),L(s,\chi _{D'})}$ respectively, then

${\displaystyle \min\{\beta ,\beta '\}<1-{\frac {B}{\log |DD'|}}.}$

This is saying that, if Siegel zeros exist, then they cannot be too numerous. The way this is proved is via a 'twisting' argument, which lifts the problem to the Dedekind zeta function（英语：Dedekind zeta function） of the biquadratic field（英语：biquadratic field） ${\textstyle \mathbb {Q} ({\sqrt {D}},{\sqrt {D'}})}$. This technique is still largely applied in modern works.

This 'repelling effect' (see Deuring–Heilbronn phenomenon（英语：Deuring–Heilbronn phenomenon）), after more careful analysis, led Landau to his 1936 theorem,^[8] which states that for every ${\textstyle \varepsilon >0}$, there is ${\textstyle C(\varepsilon )\in \mathbb {R} _{+}}$ such that, if ${\textstyle \beta }$ is a real zero of ${\textstyle L(s,\chi _{D})}$, then ${\textstyle \beta <1-C(\varepsilon )|D|^{-{\frac {3}{8}}-\varepsilon }}$. However, in the same year, in the same issue of the same journal, Siegel^[9] directly improved this estimate to

${\displaystyle \beta <1-C(\varepsilon )|D|^{-\varepsilon }.}$

Both Landau's and Siegel's proofs provide no explicit way to calculate ${\textstyle C(\varepsilon )\in \mathbb {R} _{+}}$, thus being instances of an ineffective result（英语：Effective results in number theory）.

Siegel–Tatuzawa 定理

In 1951, T. Tatuzawa（英语：Tikao Tatsuzawa） proved an 'almost' effective version of Siegel's theorem,^[10] showing that for any fixed ${\textstyle 0<\varepsilon <{\frac {1}{11.2}}}$, if ${\textstyle |D|>e^{1/\varepsilon }}$ then

${\displaystyle L(1,\chi _{D})>0.655|D|^{-\varepsilon },}$

with the possible exception of at most one fundamental discriminant. Using the 'almost effectivity' of this result, P. J. Weinberger（英语：Peter J. Weinberger） (1973)^[11] showed that Euler's list of 65 idoneal numbers（英语：Idoneal number） is complete except for at most one element.

Relation to quadratic fields

Siegel zeros often appear as more than an artificial issue in the argument for deducing zero-free regions, since zero-free region estimates enjoy deep connections to the arithmetic of quadratic fields. For instance, the identity ${\textstyle \zeta _{\mathbb {Q} ({\sqrt {D}})}(s)=\zeta (s)L(s,\chi _{D})}$ can be interpreted as an analytic formulation of quadratic reciprocity（英语：quadratic reciprocity） (see Artin reciprocity law §Statement in terms of L-functions（英语：Artin reciprocity law#Statement in terms of L-functions）). The precise relation between the distribution of zeros near s = 1 and arithmetic comes from Dirichlet's class number formula（英语：Class number formula#Dirichlet class number formula）:

${\displaystyle L(1,\chi _{D})={\begin{cases}{\dfrac {2\pi }{w_{D}{\sqrt {|D|}}}}\,h(D),&{\text{if }}D<0\\[.5em]{\dfrac {\log \varepsilon _{D}}{\sqrt {D}}}\,h(D),&{\text{if }}D>0,\end{cases}}}$

where:

• ${\textstyle h(D)}$ is the ideal class number（英语：Ideal class group#Properties） of ${\textstyle \mathbb {Q} ({\sqrt {D}})}$;
• ${\textstyle w_{D}}$ is the number of roots of unity（英语：Root of unity） in ${\textstyle \mathbb {Q} ({\sqrt {D}})}$ (D < 0);
• ${\textstyle \varepsilon _{D}}$ is the fundamental unit（英语：Fundamental unit (number theory)） of ${\textstyle \mathbb {Q} ({\sqrt {D}})}$ (D > 0).

This way, estimates for the largest real zero of ${\textstyle L(s,\chi _{D})}$ can be translated into estimates for ${\textstyle L(1,\chi _{D})}$ (via, for example, the fact that ${\textstyle |L'(\sigma ,\chi )|=O(\log ^{2}q)}$ for ${\textstyle 1-{\frac {1}{\log q}}\leq \sigma \leq 1}$),^[12] which in turn become estimates for ${\textstyle h(D)}$. Classical works in the subject treat these three quantities essentially interchangeably, although the case D > 0 brings additional complications related to the fundamental unit.

Siegel zeros as 'quadratic phenomena'

There is a sense in which the difficulty associated to the phenomenon of Siegel zeros in general is entirely restricted to quadratic extensions. It is a consequence of the Kronecker–Weber theorem（英语：Kronecker–Weber theorem）, for example, that the Dedekind zeta function（英语：Dedekind zeta function） ${\textstyle \zeta _{K}(s)=\sum _{I\subseteq {\mathfrak {O}}_{K}}[{\mathfrak {O}}_{K}:I]^{-s}}$ of an abelian number field（英语：Abelian extension） ${\textstyle K/\mathbb {Q} }$ can be written as a product of Dirichlet L-functions.^[13] Thus, if ${\textstyle \zeta _{K}(s)}$ has a Siegel zero, there must be some subfield ${\textstyle F\subseteq K}$ with ${\textstyle [F:\mathbb {Q} ]=2}$ such that ${\textstyle \zeta _{F}(s)}$ has a Siegel zero.

While for the non-abelian case ${\textstyle \zeta _{K}(s)}$ can only be factored into more complicated Artin L-function（英语：Artin L-function）s, the same is true:

• Theorem (Stark（英语：Harold Stark）, 1974).^[14] Let ${\textstyle K/\mathbb {Q} }$ be a number field of degree n > 1. There is a constant ${\textstyle c(n)}$ (${\textstyle =4}$ if ${\textstyle K/\mathbb {Q} }$ is normal, ${\textstyle =4n!}$ otherwise) such that, if there is a real ${\textstyle \beta }$ in the range

$1-{\frac {c(n)}{\log |\Delta _{K}|}}\leq \beta <1$

with ${\textstyle \zeta _{K}(\beta )=0}$, then there is a quadratic subfield ${\textstyle F\subseteq K}$ such that ${\textstyle \zeta _{F}(\beta )=0}$. Here, ${\textstyle \Delta _{K}}$ is the field discriminant（英语：Discriminant of an algebraic number field） of the extension ${\textstyle K/\mathbb {Q} }$.

"No Siegel zeros" for D < 0

When dealing with quadratic fields, the case ${\textstyle D>0}$ tends to be elusive due to the behaviour of the fundamental unit. Thus, it is common to treat the cases ${\textstyle D<0}$ and ${\textstyle D>0}$ separately. Much more is known for the negative discriminant case:

Lower bounds for h(D)

In 1918, Hecke（英语：Erich Hecke） showed that "no Siegel zeros" for ${\textstyle D<0}$ implies that ${\textstyle h(D)\gg {\sqrt {|D|}}(\log |D|)^{-1}}$^[5] (see Class number problem（英语：Class number problem） for comparison). This can be extended to an equivalence, as it is a consequence of Theorem 3 in Granville–Stark（英语：Harold Stark） (2000):^[15]

${\displaystyle {\text{``No Siegel zeros'' for }}D<0\quad \iff \quad h(D)\gg {\frac {\sqrt {|D|}}{\log |D|}}\sum _{(a,b,c)}{\frac {1}{a}},}$

where the summation runs over the reduced（英语：Binary quadratic form#Reduction and class numbers） binary quadratic forms（英语：Binary quadratic form） ${\textstyle ax^{2}+bxy+cy^{2}}$ of discriminant ${\textstyle D}$. Using this, Granville and Stark showed that a certain uniform formulation of the abc conjecture（英语：abc conjecture） for number fields implies "no Siegel zeros" for negative discriminants.

In 1976, D. Goldfeld（英语：Dorian Goldfeld）^[16] proved the following unconditional, effective lower bound for ${\textstyle h(D)}$:

${\displaystyle h(D)\gg \prod _{p\mid D}{\bigg (}1-{\frac {2{\sqrt {p}}}{p+1}}{\bigg )}\,\log |D|.}$

Complex multiplication

Another equivalence for "no Siegel zeros" for ${\textstyle D<0}$ can be given in terms of upper bounds（英语：Upper and lower bounds） for heights（英语：Height function） of singular moduli（英语：Complex multiplication#Singular moduli）:

${\displaystyle h(j(\tau _{D}))\ll \log |D|,}$

where:

• ${\textstyle h}$ is the absolute logarithmic naïve height（英语：Height function#Height functions in Diophantine geometry） for number fields;
• ${\textstyle j}$ is the j-invariant function（英语：j-invariant）;
• ${\textstyle \tau _{D}:=(D+{\sqrt {D}})/2}$.

The number ${\textstyle j(\tau _{D})}$ generates the Hilbert class field（英语：Hilbert class field） of ${\textstyle \mathbb {Q} ({\sqrt {D}})}$, which is its maximal unramified abelian extension.^[17] This equivalence is a direct consequence of the results in Granville–Stark (2000),^[15] and can be seen in C. Táfula (2019).^[18]

A precise relation between heights and values of L-functions was obtained by P. Colmez（英语：Pierre Colmez） (1993,^[19] 1998^[20]), who showed that, for an elliptic curve ${\textstyle E_{D}/\mathbb {C} }$ with complex multiplication（英语：complex multiplication） by ${\textstyle \mathbb {Z} [\tau _{D}]}$, we have

${\displaystyle -2h_{\mathrm {Fal} }(E_{D})-{\frac {1}{2}}\log |D|={\frac {L'}{L}}(0,\chi _{D})+\log 2\pi ,}$

where ${\textstyle h_{\mathrm {Fal} }}$ denotes the Faltings height（英语：Height function#Height functions in Diophantine geometry）.^[21] Using the identities ${\textstyle h_{\mathrm {Fal} }(E_{D})={\frac {1}{12}}h(j(\tau _{D}))+O(\log h(j(\tau _{D})))}$^[22] and ${\textstyle {\frac {L'}{L}}(1,\chi _{D})=-{\frac {L'}{L}}(0,\chi _{D})-\log |D|+\log 2\pi +\gamma }$,^[23] Colmez' theorem also provides a proof for the equivalence above.

西格尔零点存在所造成的结果

尽管一般预期广义黎曼猜想是对的，但由于“西格尔零点不存在”的猜想依旧开放之故，因此研究“假如广义黎曼猜想如此的反例存在的话，会有什么结果”，也是一个令人感兴趣的题目。

另一个研究如此可能性的理由，是迄今为止，部分的无条件证明要分成两部分：第一部分是假定西格尔零点不存在，第二部分是假定西格尔零点存在，并证明说想要的定理在这两种状况下都成立。一个如此为之的经典案例是关于算数数列中最小的质数（英语：primes in arithmetic progression）的林尼克定理。

以下是在西格尔零点存在的状况下，所会造成的结果。

存在无限多个孪生质数

主条目：孪生质数

罗杰·希斯-布朗在1983年做出的一个令人惊讶的结果^[24]，用陶哲轩的话，^[25]可如下陈述：

• 定理（Heath-Brown, 1983）：以下两个命题至少有一为真：(1)不存在西格尔零点；(2)存在有无限多的孪生质数。

换句话说，如果(1)不成立，也就是西格尔零点存在的话，那(2)就必须成立；反之若(1)成立，也就是西格尔零点不存在的话，那(2)是否成立依旧是未知数。

筛法的奇偶性问题

主条目：筛法的奇偶性问题

筛法的奇偶性问题指的是筛法无法显示出筛选出的整数有奇数个或偶数个质因数这样的问题。

这使得很多运用筛法的估计，像是使用线性筛（linear sieve）做出的估计，^[26]会以一个2的因子，与预期值产生误差。

在2020年，关维（英语：Andrew Granville）^[27]证明说假若西格尔零点存在，那么筛法筛选区间的一般上界就是最佳的，换句话说，在这种状况下，奇偶性多出来的这个2的因子，就不会是筛法的人为限制。

另见

• 广义黎曼猜想
• Deuring–Heilbronn phenomenon（英语：Deuring–Heilbronn phenomenon）
• Class number problem（英语：Class number problem）
• Brauer–Siegel theorem（英语：Brauer–Siegel theorem）
• Siegel–Walfisz theorem（英语：Siegel–Walfisz theorem）

参考

1. See Iwaniec (2006).
2. See Satz 4, §5 of Zagier (1981).
3. χ (mod q) is even if χ(-1) = 1, and odd if χ(-1) = -1.
4. Grönwall（英语：Thomas Hakon Grönwall）, T. H. Sur les séries de Dirichlet correspondant à des charactères complexes. Rendiconti di Palermo. 1913, 35: 145–159. S2CID 121161132. doi:10.1007/BF03015596 （法语）.
5. Landau（英语：Edmund Landau）, E. Über die Klassenzahl imaginär-quadratischer Zahlkörper. Göttinger Nachrichten. 1918: 285–295 （德语）.
6. Titchmarsh（英语：Edward Charles Titchmarsh）, E. C. A divisor problem. Rendiconti di Palermo. 1930, 54: 414–429. S2CID 119578445. doi:10.1007/BF03021203.
7. See Chapter 16 of Davenport (1980).
8. Landau（英语：Edmund Landau）, E. Bemerkungen zum Heilbronnschen Satz. Acta Arithmetica（英语：Acta Arithmetica）. 1936: 1–18 （德语）.
9. Siegel, C. L. Über die Klassenzahl quadratischer Zahlkörper [On the class numbers of quadratic fields]. Acta Arithmetica（英语：Acta Arithmetica）. 1935, 1 (1): 83–86 [2022-11-07]. doi:10.4064/aa-1-1-83-86 . （原始内容存档于2018-03-10） （德语）.
10. Tatuzawa, T. On a theorem of Siegel. Japanese Journal of Mathematics. 1951, 21: 163–178. doi:10.4099/jjm1924.21.0_163.
11. Weinberger, P. J. Exponents of the class group of complex quadratic fields. Acta Arithmetica. 1973, 22 (2): 117–124. doi:10.4064/aa-22-2-117-124.
12. See (11) in Chapter 14 of Davenport (1980).
13. Theorem 10.5.25 in Cohen, H. Number Theory: Volume II: Analytic and Modern Tools. Graduate Texts in Mathematics, Number Theory. New York: Springer-Verlag. 2007. ISBN 978-0-387-49893-5 （英语）..
14. Lemma 8 in Stark, H. M. Some effective cases of the Brauer-Siegel Theorem. Inventiones Mathematicae. 1974-06-01, 23 (2): 135–152. ISSN 1432-1297. S2CID 119482000. doi:10.1007/BF01405166 （英语）.
15. Granville, A.; Stark, H.M. ABC implies no "Siegel zeros" for L-functions of characters with negative discriminant. Inventiones Mathematicae. 2000-03-01, 139 (3): 509–523. ISSN 1432-1297. S2CID 6901166. doi:10.1007/s002229900036 （英语）.
16. Goldfeld, Dorian M. The class number of quadratic fields and the conjectures of Birch and Swinnerton-Dyer. Annali della Scuola Normale Superiore di Pisa - Classe di Scienze. 1976, 3 (4): 623–663 [2022-11-07]. （原始内容存档于2022-11-07） （法语）.
17. Theorem II.4.1 in Silverman, Joseph H., Advanced topics in the arithmetic of elliptic curves, Graduate Texts in Mathematics 151, New York: Springer-Verlag, 1994, ISBN 978-0-387-94325-1.
18. Táfula, C. On Landau–Siegel zeros and heights of singular moduli. Acta Arithmetica. 2021, 201: 1–28. S2CID 208138549. arXiv:1911.07215 . doi:10.4064/aa191118-18-5.
19. Colmez, Pierre. Periodes des Varietes Abeliennes a Multiplication Complexe. Annals of Mathematics. 1993, 138 (3): 625–683 [2022-11-07]. ISSN 0003-486X. JSTOR 2946559. doi:10.2307/2946559. （原始内容存档于2022-11-07）.
20. Colmez, Pierre. Sur la hauteur de Faltings des variétés abéliennes à multiplication complexe. Compositio Mathematica. 1998-05-01, 111 (3): 359–369. ISSN 1570-5846. doi:10.1023/A:1000390105495  （英语）.
21. See the diagram in subsection 0.6 of Colmez (1993). There is small typo in the upper right corner of this diagram, that should instead read "${\textstyle -2h_{\mathrm {Fal} }(X)-{\frac {1}{2}}\log D}$".
22. Proposition 2.1, Chapter X of Cornell, G.; Silverman, J. H. (编). Arithmetic Geometry. New York: Springer-Verlag. 1986 [2022-11-07]. ISBN 978-0-387-96311-2. （原始内容存档于2021-05-06） （英语）.
23. Consequence of the functional equation（英语：Dirichlet L-function#Functional equation）, where γ = 0.57721... is the Euler–Mascheroni constant（英语：Euler–Mascheroni constant）.
24. Heath-Brown, D. R. Prime Twins and Siegel Zeros. Proceedings of the London Mathematical Society. 1983-09-01, s3–47 (2): 193–224. ISSN 0024-6115. doi:10.1112/plms/s3-47.2.193 （英语）.
25. Heath-Brown's theorem on prime twins and Siegel zeroes. What's new. 2015-08-27 [2021-03-13]. （原始内容存档于2022-11-11） （英语）.
26. See Chapter 9 of Nathanson, Melvyn B. Additive Number Theory The Classical Bases. Graduate Texts in Mathematics. New York: Springer-Verlag. 1996 [2022-11-07]. ISBN 978-0-387-94656-6. （原始内容存档于2021-08-02） （英语）.
27. Granville, A. Sieving intervals and Siegel zeros. 2020. arXiv:2010.01211  [math.NT].

• Davenport, H. Multiplicative Number Theory. Graduate Texts in Mathematics 74. 1980 [2022-11-07]. ISBN 978-1-4757-5929-7. ISSN 0072-5285. doi:10.1007/978-1-4757-5927-3. （原始内容存档于2022-11-07） （英国英语）.

• Iwaniec, H., Friedlander, J. B.; Heath-Brown, D. R.; Iwaniec, H.; Kaczorowski, J. , 编, Conversations on the Exceptional Character, Analytic Number Theory: Lectures given at the C.I.M.E. Summer School held in Cetraro, Italy, July 11–18, 2002, Lecture Notes in Mathematics 1891 (Berlin, Heidelberg: Springer), 2006, 1891: 97–132 [2021-03-13], ISBN 978-3-540-36364-4, doi:10.1007/978-3-540-36364-4_3 （英语）

• Montgomery, H. L.; Vaughan, R. C. Multiplicative Number Theory I: Classical Theory. Cambridge Studies in Advanced Mathematics. Cambridge: Cambridge University Press. 2006 [2022-11-07]. ISBN 978-0-521-84903-6. （原始内容存档于2022-11-07）.

• Zagier, D. B. Zetafunktionen und quadratische Körper: Eine Einführung in die höhere Zahlentheorie. Hochschultext. Berlin Heidelberg: Springer-Verlag. 1981. ISBN 978-3-540-10603-6 （德语）.