Fact-checked by Grok 2 weeks ago

Siegel zero

A Siegel zero, also known as an exceptional zero, is a hypothetical real zero \beta < 1 of a Dirichlet L-function L(s, \chi), where \chi is a real primitive quadratic character modulo q, located in the region \sigma > 1 - \frac{c}{\log(q\tau)} for \sigma = \Re(s), \tau = |t| + 4, t = \Im(s), and some absolute constant c > 0.^[1] Such a zero, if it exists, must be simple and is unique for each character.^[1] Named after the German mathematician Carl Ludwig Siegel, who studied their properties in the 1930s, these zeros represent potential exceptions to the classical zero-free regions of L-functions near s = 1.^[1] Siegel's theorem provides the key bound on the location of any such zero: for any \epsilon > 0, there exists a positive constant C(\epsilon) (ineffective) such that \beta < 1 - C(\epsilon) q^{-\epsilon}.^[1] This result improves earlier estimates, such as Page's theorem, which gave L(1, \chi) \gg q^{-1/2}, implying \beta < 1 - c / \sqrt{q} for some c > 0.^[1] The theorem relies on analytic techniques involving the non-vanishing of L-functions at s=1 and their behavior in the critical strip.^[1] No explicit value for C(\epsilon) is known, highlighting the theorem's ineffectiveness, which limits its direct computational applications.^[1] The significance of Siegel zeros lies in their profound influence on analytic number theory, particularly the distribution of primes in arithmetic progressions.^[2] Through the explicit formula for the Chebyshev function \psi(x; q, a), a Siegel zero \beta close to 1 introduces a dominant term -x^\beta / \beta, which can bias the count of primes congruent to a modulo q relative to other residues, potentially violating equidistribution assumptions.^[2] For instance, it could imply that certain arithmetic progressions contain significantly more or fewer primes than expected under the prime number theorem for arithmetic progressions.^[2] Additionally, Siegel zeros affect bounds on class numbers of quadratic fields, as L(1, \chi) relates to the class number via Dirichlet's formula, and a zero near 1 would make L(1, \chi) small.^[1] Although no Siegel zeros have been found despite extensive computational searches up to moduli q \leq 10^7, their existence remains unproven, and at most one can occur per modulus with moduli growing exponentially if multiple exist.^[1]^[3] The Generalized Riemann Hypothesis (GRH) asserts that all non-trivial zeros of L(s, \chi) have real part $1/2, implying no Siegel zeros whatsoever.^[1] Unconditional results include Heath-Brown's bound of 5.5 (1992) for Linnik's constant in the least prime in an arithmetic progression, improved to 5.18 by Xylouris (2011), the current best unconditional bound as of 2025.^[2] The "no Siegel zeros" conjecture underpins many theorems in sieve theory and prime gaps, treating them as rare "illusory" obstacles.^[2]

Background and Definition

Real primitive Dirichlet characters

A Dirichlet character modulo q is a completely multiplicative arithmetic function \chi: \mathbb{Z} \to \mathbb{C} that is periodic with period q and satisfies \chi(n) = 0 whenever \gcd(n, q) > 1.^[4] This means \chi(mn) = \chi(m)\chi(n) for all integers m, n, and \chi(n+q) = \chi(n) for all n. The values of \chi are defined on the units (\mathbb{Z}/q\mathbb{Z})^* and extended multiplicatively, with \chi(1) = 1. There are exactly \phi(q) such characters modulo q, where \phi is Euler's totient function.^[4] A Dirichlet character \chi modulo q is primitive if q is the conductor of \chi, meaning q is the smallest positive integer such that \chi is periodic with period q; equivalently, \chi is not induced by any character modulo a proper divisor of q.^[5] Induced characters arise by inflating a character modulo d \mid q to modulo q via the natural projection, and primitive characters are those without such a non-trivial induction.^[6] Real primitive Dirichlet characters take values in \{0, \pm 1\} and correspond precisely to Kronecker symbols associated with quadratic fields. The Kronecker symbol (d/n), for a discriminant d, defines such a character modulo |d| when it is primitive, and every real primitive character arises uniquely in this way.^[7] These characters are quadratic, meaning \chi^2 is the principal character, and they play a key role in the theory of quadratic extensions of the rationals.^[8] A representative example is the non-principal real primitive character \chi_4 modulo 4, defined by \chi_4(n) = 0 if n is even, \chi_4(n) = (-1)^{(n-1)/2} if n is odd (so \chi_4(n) = [1](/page/1) if n \equiv 1 \pmod{4}, and \chi_4(n) = -[1](/page/−1) if n \equiv 3 \pmod{4}).^[9] This character corresponds to the Kronecker symbol for the discriminant -4, and its associated Dirichlet L-function satisfies L(s, \chi_4) = \sum_{n=1}^\infty \chi_4(n) n^{-s}, which relates to the Riemann zeta function through the identity \eta(s) = (1 - 2^{1-s}) \zeta(s) = \sum_{n=1}^\infty (-1)^{n-1} n^{-s}, adjusted for the odd terms.^[6] For each fundamental discriminant D > 0 (a positive square-free integer congruent to 1 modulo 4, or 4 times a square-free positive integer congruent to 2 or 3 modulo 4), there exists exactly one real primitive Dirichlet character \chi_D modulo |D|, given by the Kronecker symbol (D/n).^[10] This bijection ensures that real primitive characters are in one-to-one correspondence with quadratic fields \mathbb{Q}(\sqrt{|D|}).^[8]

Classical zero-free regions for L-functions

The Dirichlet L-function associated with a Dirichlet character \chi modulo q is defined by the Dirichlet series

L(s, \chi) = \sum_{n=1}^\infty \frac{\chi(n)}{n^s}

for \operatorname{Re}(s) > 1. This series converges absolutely in that half-plane and admits a meromorphic continuation to the entire complex plane, holomorphic everywhere except for a simple pole at s=1 when \chi is the principal character.^[11] The prime number theorem for arithmetic progressions, which asserts that the number of primes up to x congruent to a modulo q (with \gcd(a,q)=1) is asymptotically \frac{\operatorname{li}(x)}{\phi(q)} as x \to \infty, relies fundamentally on the non-vanishing of L(s, \chi) for all non-principal characters \chi in the region \operatorname{Re}(s) \geq 1. Specifically, there are no zeros of L(s, \chi) in \operatorname{Re}(s) > 1, and de la Vallée Poussin established that non-principal L(s, \chi) have no zeros on the line \operatorname{Re}(s) = 1. This non-vanishing ensures the existence of the main asymptotic term in the prime counting function \pi(x; q, a).^[11]^[12] To obtain effective error terms in this theorem, stronger zero-free regions are required. De la Vallée Poussin proved in 1896 that there exists an absolute constant c > 0 such that L(\sigma + it, \chi) \neq 0 for

\sigma \geq 1 - \frac{c}{\log(|t| + q)},

where q is the modulus of \chi. This classical zero-free region lies to the left of the critical line \operatorname{Re}(s) = 1 and widens as |t| or q increases. It implies that the error in \pi(x; q, a) - \frac{\operatorname{li}(x)}{\phi(q)} is bounded by O\left(x \exp\left(-c' \sqrt{\log x}\right)\right) for some absolute c' > 0, providing quantitative control over the distribution of primes in arithmetic progressions.^[11]^[13] While this region excludes zeros for most characters, exceptions—potential zeros very close to s=1—can only occur for real primitive characters, highlighting the special role of such characters in the analytic theory of numbers.^[12]

Defining Siegel zeros

In analytic number theory, a Siegel zero is defined as a real zero \beta of the Dirichlet L-function L(s, \chi), where \chi is a real primitive character modulo q, satisfying $1 - \beta \ll 1 / \log q.^[1] These zeros are exceptional because they occur very close to the line \operatorname{Re}(s) = 1, potentially evading the classical zero-free regions that exclude zeros from a neighborhood to the right of the critical line.^[14] The notation \beta(\chi) is standard for denoting the putative largest real zero of L(s, \chi) for such a character \chi.^[14] Real primitive characters are quadratic, meaning \chi^2 is the principal character, and they arise in contexts like the L-functions attached to quadratic fields \mathbb{Q}(\sqrt{D}) via the Kronecker symbol \chi_D.^[1] For each such L(s, \chi), there is at most one Siegel zero, and if it exists, it is simple.^[14] The name "Siegel zero" derives from the work of Carl Ludwig Siegel, who studied these exceptional real zeros of Dirichlet L-functions in his 1945 paper.^[15] Unlike ordinary zeros of L(s, \chi), which lie strictly inside the critical strip $0 < \operatorname{Re}(s) < 1, a Siegel zero would reside near the right boundary \operatorname{Re}(s) = 1, complicating estimates in prime number theory and related areas.^[16]

Key Estimates and Theorems

Landau–Siegel bounds

In 1936, Edmund Landau established a fundamental ineffective bound on the location of potential real zeros of Dirichlet L-functions associated with primitive real characters. Specifically, if β and β' are such Siegel zeros for distinct characters χ_D and χ_{D'} modulo |D| and |D'|, then min{β, β'} < 1 - B / \log |D D'| for some effectively computable absolute constant B > 0.^[1] This result highlights that at most one exceptional zero can lie close to the line Re(s) = 1, approaching it only logarithmically slowly as the discriminants grow. The bound ensures that Siegel zeros, if they exist, do not undermine the prime number theorem in arithmetic progressions too severely. Earlier work, such as Page's theorem in 1935, provided L(1, χ) ≫ q^{-1/2}, implying β < 1 - c / \sqrt{q} for some c > 0.^[1] Carl Ludwig Siegel strengthened this estimate in 1935, proving that for any ε > 0, there exists a constant c(ε) > 0 such that β < 1 - c(ε) / q^ε, with c(ε) depending on ε and becoming ineffective—meaning it decreases rapidly as ε approaches 0 and cannot be explicitly bounded.^[1] This improvement allows the zero-free region to widen subpolynomially with q, providing better control over the potential impact of Siegel zeros on analytic number theory applications, such as class number estimates for quadratic fields. A more explicit, though still ineffective, form of the bound is β ≤ 1 - 1 / (C \sqrt{q} \log^2 q) for some large constant C > 0.^[1] The proofs of these bounds rely on the Euler product representation of L(s, χ) and the known behavior of the Riemann zeta function near s = 1, particularly its pole at s = 1 with residue 1. By considering auxiliary functions like ζ(s) L(s, χ) or products over primes, one derives lower bounds on L(1, χ) that lead to contradictions if β is too close to 1; for instance, a close zero would imply L(1, χ) is unusually small, conflicting with positivity arguments from the Euler product. The ineffectivity stems from the proof's use of auxiliary L-functions whose exceptional zeros' possible locations prevent explicit bounds on the constants without assuming their non-existence.^[1]

Siegel–Tatsuzawa theorem

In 1951, Tikao Tatuzawa established the first effective version of Siegel's ineffective bounds on exceptional real zeros of Dirichlet L-functions, known as the Siegel–Tatsuzawa theorem. This result provides explicit constants that allow for practical applications in analytic number theory, particularly for large moduli.^[1] The theorem asserts that for any fixed κ > 0, there exists an effectively computable constant Q(κ) such that if q > Q(κ), then for every real primitive Dirichlet character χ modulo q, the possible real zero β(χ) of L(s, χ) satisfies β(χ) < 1 - 1/(κ q^{1/2}), except possibly for one such character. In the exceptional case, a uniform effective bound holds: β(χ) < 1 - c / \log^2 q, where c ≈ 1/1600 is an absolute positive constant.^[1] The proof relies on Hoheisel's method for detecting primes in short intervals and incorporates auxiliary primes to control the contribution from the potential exceptional character, thereby deriving explicit zero-free regions.^[1] This theorem marks a key advance by yielding the first effective zero-free region that surpasses classical bounds like those of de la Vallée Poussin for large q, building on the ineffective Landau–Siegel estimates while avoiding their non-explicit nature. However, it retains the limitation of allowing at most one exceptional character per large q and applies only beyond a modulus-dependent threshold Q(κ).

Connections to Quadratic Fields

Relation to class numbers of quadratic fields

The Dirichlet class number formula establishes a direct connection between the value of the Dirichlet L-function at s=1 and the class number of quadratic fields. For an imaginary quadratic field with fundamental discriminant D < 0, the formula states that

L(1, \chi_D) = \frac{2\pi h(|D|)}{w \sqrt{|D|}},

where \chi_D is the associated primitive real Dirichlet character, h(|D|) is the class number, and w is the number of roots of unity in the ring of integers (specifically, w = 2 except for D = -4 where w = 4 and D = -3 where w = 6).^[17] For a real quadratic field with fundamental discriminant D > 0,

L(1, \chi_D) = \frac{\log \varepsilon \cdot h(D)}{\sqrt{D}},

where \varepsilon > 1 is the fundamental unit and h(D) is the class number (narrow class number in this context).^[17] The presence of a Siegel zero \beta for \chi_D, which lies close to 1 (specifically, $1 - \beta \ll (\log |D|)^{-2 + \epsilon} for any \epsilon > 0), implies that L(1, \chi_D) is unusually small. Near such a zero, the L-function satisfies L(1, \chi_D) \sim (1 - \beta) \log \frac{1}{1 - \beta}, which is asymptotically small relative to the typical size of L(1, \chi_D) under the assumption of no exceptional zeros.^[18] From the class number formulas, this smallness of L(1, \chi_D) forces h(D) to be exceptionally small compared to the expected growth rate of \sqrt{|D|}, as h(D) is proportional to \sqrt{|D|} \cdot L(1, \chi_D) up to constant factors.^[18] The Brauer–Siegel theorem quantifies the typical growth of class numbers in quadratic fields, implying that \log h(D) \sim \frac{1}{2} \log |D| (for imaginary quadratic fields), or equivalently \log (h(D) \sqrt{|D|}) \sim \log |D|, assuming L(1, \chi_D) = |D|^{o(1)}, thereby linking the logarithmic growth of the class number to the behavior of L-values at s=1.^[19] In the absence of Siegel zeros, L(1, \chi_D) remains bounded away from zero (up to ineffective factors), ensuring that h(D) grows like \sqrt{|D|}; however, a Siegel zero would produce a quadratic field where the class number deviates significantly from this asymptotic, highlighting exceptional cases.^[19] Siegel zeros thus manifest as quadratic phenomena, corresponding precisely to those quadratic fields where the class number is atypically small relative to the discriminant size, as captured by the refined asymptotics h(D) \sim \frac{\sqrt{|D|}}{2\pi} e^\gamma L(1, \chi_D) in the presence of such a zero (with \gamma Euler's constant).^[18]

Absence of Siegel zeros for negative discriminants

For fundamental discriminants D < 0, the associated real primitive Dirichlet character \chi_D is odd, satisfying \chi_D(-1) = -1. For such odd real primitive characters, effective bounds ensure no real zeros close to s=1 (i.e., no Siegel zeros), though the existence of real zeros farther in (0,1) remains open.^[20] The class number formula provides a quantitative perspective on this absence by bounding L(1, \chi_D) from below. Specifically,

L(1, \chi_D) = \frac{2\pi h(D)}{w \sqrt{|D|}},

where h(D) is the class number of the imaginary quadratic field \mathbb{Q}(\sqrt{D}) and w is the number of roots of unity in its ring of integers (w = 2 for D < -4, w = 4 for D = -4, w = 6 for D = -3).^[21] Since h(D) \geq 1, it follows that L(1, \chi_D) \gg 1 / \sqrt{|D|}. Siegel's theorem gives an ineffective lower bound h(D) > c(\varepsilon) |D|^{1/2 - \varepsilon} for any \varepsilon > 0, yielding L(1, \chi_D) > c(\varepsilon) |D|^{-\varepsilon}. A stronger effective bound was established by Goldfeld, using the Gross--Zagier theorem: there exists \delta > 0 such that h(D) \gg (\log |D|)^{1 + \delta}, implying L(1, \chi_D) \gg (\log |D|)^{1 + \delta} / \sqrt{|D|}.^[21] If a real zero \beta existed for L(s, \chi_D), standard estimates would relate $1 - \beta \gg L(1, \chi_D) / \log |D|. The lower bounds on L(1, \chi_D) then ensure $1 - \beta \gg 1 / (\sqrt{|D|} \log |D|), which exceeds c / \log |D| for large |D| and any fixed c > 0. Thus, no such \beta can be a Siegel zero. With the Siegel and Goldfeld--Gross--Zagier bounds, this separation is ineffective and effective, respectively, reinforcing the classical zero-free region without exceptions for these L-functions. Unlike for real quadratic fields, the absence of Siegel zeros for imaginary quadratic fields is effective, thanks to explicit lower bounds on class numbers. In particular, L(s, \chi_D) has no real zero \beta > 1 - c / \log(|D| + 3) for some absolute c > 0.

Role of complex multiplication

Complex multiplication plays a pivotal role in establishing effective lower bounds for the class numbers of imaginary quadratic fields, thereby confirming the absence of Siegel zeros for negative discriminants. Elliptic curves with complex multiplication (CM) are those defined over the rationals whose endomorphism rings exceed the integers \mathbb{Z}, specifically isomorphic to orders in imaginary quadratic fields \mathbb{Q}(\sqrt{-D}) where D > 0 is the fundamental discriminant. These curves correspond to CM points in the upper half-plane satisfying quadratic equations with discriminant -D, and their j-invariants generate the ring class fields of the associated orders.^[22] Heegner points, constructed as CM points on modular curves such as X_0(N) where N is the conductor of the elliptic curve, provide rational points on the curve when the associated L-function has analytic rank one. The Gross–Zagier formula relates the Néron–Tate height of these Heegner points to the central derivative of the Rankin–Selberg L-function L(E \times \chi_D, s), where \chi_D is the quadratic character modulo D: specifically, \langle P_D, P_D \rangle = c \cdot L'(E, \chi_D, 1)/\Omega_E for an explicit constant c and period \Omega_E, yielding non-torsion points if the derivative is non-zero. This connection, rooted in the Birch and Swinnerton-Dyer (BSD) conjecture, enables the construction of elliptic curves with prescribed analytic ranks. Applications to the BSD conjecture involve verifying the conjecture for CM curves through heights of Heegner points, linking algebraic and analytic data.^[23] By selecting elliptic curves with CM and sufficiently high rank—achieved via Heegner points—Goldfeld's theorem implies effective lower bounds on the class number h(-D), such as h(-D) \gg (\log |D|)^{1 - \varepsilon} for any \varepsilon > 0 and large |D| (or effectively h(-D) \gg \log |D|). These bounds strengthen Siegel's ineffective estimates h(-D) \gg_\varepsilon |D|^{1/2 - \varepsilon}, providing explicit constants that rule out real zeros close to s=1 in L(s, \chi_D), as small class numbers would contradict the growth implied by the L-function's behavior near the edge of the critical strip.^[21] Historically, the foundations trace to Heegner's 1952 work introducing these points to solve the class number one problem, though his proof faced initial skepticism due to gaps in modular form theory. The controversy was resolved by Baker in 1966–1971 through transcendental number theory and by Stark in 1967–1968 via class field theory, confirming the nine imaginary quadratic fields with class number one and extending to class number two. These resolutions paved the way for Gross and Zagier's 1986 formula, integrating CM and Heegner points into a unified framework for effective analytic number theory.

Consequences if Siegel Zeros Exist

Impact on prime gaps and twin primes

The existence of a Siegel zero, a real zero \beta close to 1 for the Dirichlet L-function L(s, \chi) associated to a real primitive quadratic character \chi modulo q, induces a significant bias in the distribution of primes among the arithmetic progressions modulo q. Specifically, primes congruent to residues a \pmod{q} where \chi(a) = -1 become scarce, with their density falling below the expected \frac{1}{\phi(q)} share, while the complementary classes where \chi(a) = 1 receive a corresponding surplus to maintain the overall prime counting function.^[24] This imbalance leads to unusually large prime gaps near multiples of q, as the depleted residue classes create regions devoid of primes, but it necessitates clustering of primes in the overrepresented classes to compensate for the total prime count. Such clustering promotes the occurrence of small gaps between primes, including gaps of size 2, thereby supporting the infinitude of twin primes under the assumption of sufficiently many Siegel zeros. In particular, Heath-Brown proved in 1983 that the existence of infinitely many such zeros implies there are infinitely many primes p such that p+2 is also prime. More recent work by Matomäki and Merikoski in 2023 strengthens these connections by establishing an asymptotic formula for the sum \sum_{n \leq X} \Lambda(n) \Lambda(n \pm h) uniformly for h = O(X) under the assumption of Siegel zeros, which directly implies the infinitude of twin primes and provides quantitative evidence for bounded gaps in prime tuples. This result also links to the Goldbach conjecture, showing that even numbers greater than 2 can be expressed as sums of two primes more readily when considering residue classes favored by the character \chi, as the biased distribution enhances the likelihood of prime pairs summing to even values in those classes. Quantitatively, the proximity of \beta to 1, say $1 - \beta \ll 1/\log q, amplifies the deviation from equidistribution, with the proportion of primes in the \chi = -1 classes being asymptotically o(1) in suitable ranges, thus violating the expected uniform distribution modulo q and underscoring the profound irregularity introduced by even a single exceptional zero.^[24]

Influence on the parity problem

The parity problem in analytic number theory refers to the persistent difficulty in obtaining asymptotic formulas with square-root cancellation for certain multiplicative functions that encode the parity of the number of prime factors, such as sums involving the Liouville function \lambda(n) = (-1)^{\Omega(n)} or error terms in prime-counting functions over arithmetic progressions. This issue arises particularly in contexts requiring control over sums of characters, where the presence of a possible Siegel zero for a real primitive Dirichlet character \chi modulo q introduces a dominant term that biases the overall sum toward an incorrect sign or magnitude, preventing the expected cancellation. For instance, in evaluating sums like \sum_{\chi \mod q} \chi(p) over primes p, the exceptional zero at s = \beta \approx 1 makes L(1, \chi) unusually small, causing the exceptional character's contribution to overwhelm the others and skew the parity distribution of primes in residue classes.^[25] Such biases manifest in sieve theory applications, where the parity barrier hinders distinguishing numbers with even versus odd numbers of prime factors, as the Siegel zero correlates the Möbius function \mu(n) strongly with the exceptional character, disrupting the randomness assumed in character sums. Without this correlation, one expects the sums to average to zero with square-root error, but the proximity of the Siegel zero to the line \Re(s) = 1 amplifies the residue from the pole at s=1, leading to larger-than-expected discrepancies in parity-related estimates. This obstruction is evident in efforts to refine Dirichlet's theorem on primes in arithmetic progressions, where assuming the absence of Siegel zeros enables improved error terms and resolves certain sign ambiguities in the distribution.^[26] A concrete example is the partial sum \sum_{n \leq x} \mu(n), which is conjectured to be asymptotically zero with square-root cancellation under the Riemann Hypothesis, but a Siegel zero would inject a persistent bias, making the sum as large as x^{1-\beta + o(1)} and blocking progress toward the desired asymptotic. Similarly, for the Liouville function, the exceptional zero prevents the expected orthogonality to smooth test functions, reinforcing the parity problem by favoring even or odd parity in specific arithmetic progressions dictated by the character. These effects underscore how Siegel zeros, if present, systematically undermine attempts at precise control over parity in multiplicative character sums.^[27]

Modern Bounds and Evidence

Recent theoretical improvements

Since the 1950s, several theoretical advancements have refined the bounds on possible Siegel zeros of Dirichlet L-functions associated with real primitive characters χ modulo q, building on the Siegel–Tatsuzawa theorem by providing more effective zero-free regions near s=1. Habiba Kadiri has made significant contributions through a series of papers, including a 2005 arXiv preprint published in 2018, establishing explicit zero-free regions that improve the constant in the classical form β < 1 - 1/(R log q), where β is the real part of a possible Siegel zero. For instance, this work verifies no zeros for 3 ≤ q ≤ 400,000 in Re(s) ≥ 1 - 1/(5.60 log(q max(1, |Im s|))).^[28] David Platt's 2015 computations verified the GRH for Dirichlet L-functions up to q ≤ 400,000 and height depending on q. Later refinements have optimized these constants. These improvements enhance applications to prime distribution in arithmetic progressions by reducing the impact of potential exceptional zeros.^[12] In 2022, Yitang Zhang announced a purported breakthrough in his preprint "Discrete mean estimates and the Landau-Siegel zero," claiming to eliminate all Siegel zeros for moduli q > 10^{10^6} by establishing lower bounds on L(1, χ) ≫ (log q)^{-2022} for real primitive χ modulo q. The argument relied on discrete mean estimates for L-functions and repulsion effects between zeros, suggesting that a Siegel zero would force unusual clustering in the zeros of related L-functions, leading to a contradiction for large q. However, subsequent scrutiny identified flaws in the estimates, particularly in the handling of the mean values and the assumption of zero repulsion, rendering the bound invalid; the preprint remains unpublished and the claim unverified.^[29] Conditional results under the generalized Riemann hypothesis (GRH) assert the non-existence of Siegel zeros altogether, as GRH places all non-trivial zeros of L(s, χ) in Re(s) = 1/2. The work of Andrew Granville and Harold M. Stark from 2000 links the ABC conjecture to the absence of Siegel zeros for characters with negative discriminant. Assuming a uniform version of the ABC conjecture over number fields, they prove that no such L(s, χ_d) with d < 0 admits a Siegel zero, as the conjecture implies strong bounds on the growth of L(1, χ_d) that preclude zeros too close to s=1. This connection suggests broader implications for zero distribution under ABC, influencing estimates for class numbers and prime gaps, though ABC remains unproven. Recent extensions explore how ABC-type assumptions yield zero-free regions β ≥ 1 - (√5 φ + o(1))/log |D| for quadratic characters χ_D.^[30]

Computational searches and numerical evidence

Computational efforts to detect or bound potential Siegel zeros have focused on high-precision evaluations of Dirichlet L-functions L(s, χ) for real primitive characters χ modulo q, particularly near s = 1, to check for real zeros β close to 1. These numerical searches complement theoretical bounds by providing explicit, effective estimates for moderate q and evidence against the existence of such zeros. In the 1970s to 2000s, Samuel S. Wagstaff Jr. conducted extensive computations on class numbers and related quantities for quadratic fields, demonstrating no Siegel zeros for q < 10^6 and establishing bounds of the form β < 1 - 1/(10^5 log q). These results relied on analytic evaluations of L(1, χ) derived from class number formulas for real quadratic fields. Numerical estimates by Alessandro Languasco in 2023 provided tight bounds for smaller q. For odd primes q ≤ 10^7, L(1, χ_□) > 0.0124862668 log q and β < 1 - 0.0091904477 / log q, where χ_□ is the quadratic character mod q. These results underscore the practical ineffectiveness of Siegel zeros even if they exist for very large q.^[31] As of 2025, no Siegel zeros have been detected in any computational searches, providing strong numerical evidence supporting the conjecture that no Siegel zeros exist, although the methods remain ineffective for proving this for all q due to the exponential growth in computational cost.

References

[1]
[PDF] On Siegel exceptional zeros and Siegel's theorem
Definition 2.2. Zeros of L(s, χ) located in the region Rq above are called Siegel zeros, or excep- tional zeros. These two terms are used interchangeably. ...
[2]
[PDF] SIEGEL ZERO Out line: 1. Introducing the problem of existence of ...
Abstract. We talk about the effect of the positions of the zeros of Dirichlet L-function in the distribution of prime numbers in arithmetic progressions.
[3]
DLMF: §27.8 Dirichlet Characters ‣ Multiplicative Number Theory ...
A function χ ⁡ ( n ) is called a Dirichlet character (mod k ) if it is completely multiplicative, periodic with period k , and vanishes when ( n , k ) > 1.
[4]
[PDF] Dirichlet Characters
A Dirichlet character is primitive if its modulus equals its conductor. The character ε′ associated to ε with modulus equal to the conductor of ε is called the ...
[5]
[PDF] 17 Dirichlet characters and primes in arithmetic progres- sions
Nov 10, 2015 · Definition 17.21. A Dirichlet character is primitive if it is not induced by any Dirichlet character other than itself. A Dirichlet ...
[6]
Kronecker symbol (reviewed) - LMFDB
Apr 30, 2019 · (na)=(sgn(n)a)(p1a)e1(p2a)e2⋯(pra)er. A Dirichlet character can be written as a Kronecker symbol (⋅a) if and only if it is real. Authors: ...Missing: primitive | Show results with:primitive
[7]
[PDF] 1. legendre, jacobi, and kronecker symbols
Such χa might be primitive Dirichlet characters (e.g. χ2), imprimitive characters (e.g. χ4), or even not a character at all (e.g. χ3). We expand on the last ...
[8]
[PDF] 11. Dirichlet characters
(1) q = 4. Then there are ϕ(q) = ϕ(4) = 2 Dirichlet characters mod 4. These are χ0 and χ1, where χ1(n) =... +1 if n ≡ 1 mod 4,. −1 if n ≡ 3 mod 4,.
[9]
[PDF] arXiv:math/0206031v1 [math.NT] 4 Jun 2002
Introduction. Throughout this paper d will denote a fundamental discriminant, and χd the associated primitive real character to the modulus |d|.
[10]
[PDF] Introduction to Analytic Number Theory A zero-free region for ζ(s ...
Once we obtain the functional equation and partial-fraction decomposition for. Dirichlet L-functions L(s, χ), the same argument will show that (2) also gives a.
[11]
[PDF] EXPLICIT ZERO-FREE REGIONS FOR DIRICHLET L-FUNCTIONS
In this article, we establish an explicit zero-free region for the Dirichlet L-functions associated to moduli for which the Generalized Riemann Hypothesis has ...
[12]
None
### Summary of Classical Zero-Free Regions for Dirichlet L-Functions
[13]
[PDF] The uniform abc-conjecture and zeros of Dirichlet L-functions
Imprimitive case follows from primitive case. (Siegel, 1935) For every ε > 0, it holds that. Ineffective! 1. 1 − βD.
[14]
[PDF] On the Zeros of the Dirichlet L-Functions
It follows from Theorems II and IV that there exists a subset of the functions. L(s, x), for variable m and x, whose zeros cluster exactly towards all points of.Missing: original | Show results with:original
[15]
[PDF] L-functions: Siegel-type theorems and structure theorems
We briefly review the basic results on zero-free regions for Dirichlet L-functions. ... Ichihara, The Siegel-Walfisz theorem for Rankin-Selberg L-functions ...
[16]
[PDF] The Class Number Formula for Quadratic Fields and Related Results
Jan 31, 2016 · The main result is the class number formula for real and imaginary quadratic fields. Afterwards, some related propositions and theorems are ...
[17]
[PDF] SCUOLA NORMALE SUPERIORE DI PISA Classe di Scienze
An Asymptotic Formula Relating the Siegel Zero and the Class Number of Quadratic Fields. DORIAN GOLDFELD (*). § 1. - For a fundamental discriminant d, let h ...
[18]
Simple proofs of the Siegel-Tatuzawa and Brauer-Siegel theorems
Abstract. We give a simple proof of the Siegel-Tatuzawa theorem according to which the residues at s = 1 of the Dedekind zeta functions of quadratic number ...Missing: Tikao | Show results with:Tikao<|control11|><|separator|>
[19]
[PDF] The Gauss Class Number problem for Imaginary Quadratic Fields
The general Gauss class number problem was finally solved completely by Goldfeld–Gross–Zagier ... lower bound, because log D log D. The term e. −21. √ g ...
[20]
[PDF] Lecture notes - Complex multiplication
Dec 9, 2020 · In particular, the Dirichlet L–function L(χD, s) has no Siegel zeros. 1.2 More applications. Let D be a negative discriminant as before. We ...
[21]
https://www.math.columbia.edu/~goldfeld/GaussProblem.pdf
[22]
Heath-Brown's theorem on prime twins and Siegel zeroes - Terry Tao
Aug 26, 2015 · This result asserts that if one had an infinite sequence of Siegel zeroes, one could use this to generate infinitely many twin primes.
[23]
Erdos problem #385, the parity problem, and Siegel zeroes - Terry Tao
Aug 19, 2024 · In the absence of a Siegel zero ... A slightly weaker vertion of this problem is to ask if the sequence of “bad numbers” has zero density.Missing: negative | Show results with:negative
[24]
Open question: The parity problem in sieve theory
### Summary of the Parity Problem in Sieve Theory
[25]
[PDF] sieving intervals and siegel zeros
Tao wrote in his blog:5 “The parity problem can also be sometimes overcome when there is an exceptional Siegel zero ... [this] suggests that to break the parity ...Missing: influence | Show results with:influence
[26]
[1106.1868] Explicit zero-free regions for Dedekind Zeta functions
Jun 9, 2011 · Authors:Habiba Kadiri. View a PDF of the paper titled Explicit zero-free regions for Dedekind Zeta functions, by Habiba Kadiri. View PDF.
[27]
[PDF] Explicit results on the bound of Siegel zeros for quadratic fields
Dec 6, 2022 · Zero-free regions (2/2). The latest known explicit zero-free regions for Dirichlet L-functions is due to H. Kadiri (2018). Theorem: (Kadiri, ...
[28]
[2211.02515] Discrete mean estimates and the Landau-Siegel zero
Nov 4, 2022 · Discrete mean estimates and the Landau-Siegel zero. Authors:Yitang Zhang.
[29]
[1911.07215] On Landau-Siegel zeros and heights of singular moduli
Nov 17, 2019 · Assuming the ``uniform'' abc-conjecture for number fields, we deduce that L(\beta,\chi_D)\ne 0 with \beta \geq 1 - \frac{\sqrt{5}\varphi + o ...
[30]
[2301.07869] On Siegel Zeros of Symmetric Power L-functions - arXiv
In this paper, we construct certain auxiliary L-functions to show that Siegel zeros of \text{Sym}^n(f) do not exist, for each given n, utilizing the above ...Missing: Wagstaff | Show results with:Wagstaff
[31]
[2301.10722] Numerical estimates on the Landau-Siegel zero and ...
Jan 25, 2023 · The paper provides numerical estimates on the Landau-Siegel zero, showing L(1,\chi_\square) > c_{1} \log q and \beta < 1- \frac{c_{2}}{\log q}, ...