Chapter map

1. 1. Why prime distribution needs an error term
2. 2. The von Mangoldt weight
3. 3. Reduced residue classes
4. 4. Worked modulus-four count
5. 5. The class-three comparison
6. 6. Discrepancy notation
7. 7. Average over moduli
8. 8. The square-root range
9. 9. Comparison with GRH
10. 10. Large sieve input
11. 11. Vaughan identity input
12. 12. Siegel–Walfisz input
13. 13. From a mean bound to exceptions
14. 14. Applications to sieve problems
15. 15. Common misconceptions
16. 16. Student learning route
17. 17. Parent guidance and transfer
18. 18. What a responsible report contains

Read in order for a complete derivation, or use the map to move between mechanism, worked arithmetic, limitations, student practice and reporting. The same mathematical name can hide different assumptions, so each chapter states the local claim and its check.

1. Why prime distribution needs an error term

A main term describes the expected weighted number of primes in a residue class, but the difference from reality carries the difficult information. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

For gcd(a,q)=1, compare ψ(x;q,a)=Σ_{n≤x,n≡a mod q}Λ(n) with a main term of about x/φ(q). Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

The discrepancy Δ records the signed error. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

A visually even sample does not supply a theorem or a uniform bound. Define the counting convention and weight first. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

2. The von Mangoldt weight

Λ(n)=log p when n is a positive power of the prime p, and zero otherwise. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

Its summatory function ψ(x) is analytically convenient because -ζ prime over ζ has these coefficients. Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

Prime powers are deliberately included. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

Replacing Λ by the prime indicator changes endpoints, main terms and error formulas. List Λ(n) for n through 16. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

3. Reduced residue classes

Only classes a with gcd(a,q)=1 can contain infinitely many primes not dividing q. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

Euler’s totient φ(q) counts these admissible classes. Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

The expected share is therefore divided among φ(q) classes. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

Classes with a common factor with q require separate treatment. Check admissibility before comparing counts. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

4. Worked modulus-four count

For x=30 and q=4, the class 1 contains prime powers 5,9,13,17,25,29 with Λ-weights. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

Its weighted total is log 5+log 3+log 13+log 17+log 5+log 29, about 13.0829. Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

The simple main benchmark x/φ(4) is 15. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

This small example illustrates discrepancy but is far below the asymptotic regime. Compute the class 3 total independently. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

5. The class-three comparison

For x=30, residue 3 modulo 4 receives weights at 3,7,11,19,23,27. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

The total is 2 log 3+log 7+log 11+log 19+log 23, about 12.6210. Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

Both classes fluctuate around the same broad scale. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

A difference at x=30 does not imply a lasting bias theorem. Record every prime power, not only primes. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

6. Discrepancy notation

Write Δ(Λ1_{[1,x]};a(q)) for the residue-class sum minus its expected coprime average. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

The exact main term convention may use a coprimality-adjusted total rather than bare x/φ(q). Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

Tao’s theorem states the convention before applying the bound. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

Mixing discrepancy definitions can create a false extra error. Copy the definition with the theorem. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

7. Average over moduli

Bombieri–Vinogradov sums the worst reduced-class discrepancy over q≤Q. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

A small total forces most individual moduli to be good at the selected threshold. Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

This is stronger than checking a handful of q values. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

It does not identify every exceptional modulus. Translate the total bound into an exceptional-count bound. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

8. The square-root range

A standard form takes Q≤x^{1/2} divided by a sufficiently large power of log x. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

This is described as level of distribution one half. Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

The logarithmic loss depends on the requested saving. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

Writing Q=x^{1/2} with no qualification can overstate the exact theorem version. State A, B and Q together. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

9. Comparison with GRH

GRH would give strong pointwise errors for individual characters and moduli. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

Bombieri–Vinogradov obtains comparable usefulness on average without assuming GRH. Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

The comparison explains significance, not logical equivalence. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

The theorem neither proves GRH nor gives its conclusion for every modulus. Use the phrase “on average” beside the comparison. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

10. Large sieve input

The character large sieve controls many twisted sums simultaneously by an N+Q squared energy bound. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

Orthogonality converts residue-class errors into character correlations. Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

Cauchy–Schwarz then turns energy control into an averaged discrepancy estimate. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

The large sieve alone does not yet decompose Λ into balanced pieces. Name the coefficient norms used. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

11. Vaughan identity input

Vaughan’s identity splits Λ into Type I and Type II convolution sums. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

The factors can then be placed in ranges where the large sieve has room to save over trivial estimates. Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

Threshold parameters organise small and medium factors. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

A poor parameter balance can lose the desired logarithmic saving. Show the support ranges before estimating. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

12. Siegel–Walfisz input

A Siegel–Walfisz property controls prime or coefficient distribution for small moduli with arbitrarily strong logarithmic saving. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

It supplies uniformity required by the bilinear argument. Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

The constants depend on the requested logarithmic power. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

This theorem is ineffective in some classical formulations and should not be turned into an explicit numerical claim without care. Distinguish qualitative and explicit constants. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

13. From a mean bound to exceptions

If the total of nonnegative errors is E, at most E/T moduli can have error exceeding T. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

This is the elementary Markov-inequality step behind “almost all.” Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

Choosing T trades the size of the exceptional set against the allowed discrepancy. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

The conclusion depends on the selected threshold. Calculate two threshold scenarios. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

14. Applications to sieve problems

Average distribution across moduli feeds upper and lower sieve arguments involving primes. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

It is a major input in results about primes with additional arithmetic restrictions. Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

The theorem supplies distribution information rather than a finished pattern count. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

Every application needs its own local conditions and remainder bookkeeping. Trace exactly where the theorem enters. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

15. Common misconceptions

Average strength is not pointwise strength. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

The theorem is unconditional but still asymptotic. Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

Prime powers in Λ are intentional. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

Do not claim equidistribution for non-coprime classes. Keep q, a, x and Q distinct. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

16. Student learning route

Begin with modular arithmetic, φ(q), Λ and small residue tables. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

Next study character orthogonality, the large sieve and bilinear sums. Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

Only then read the full averaged theorem. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

Starting from a slogan about GRH hides the mechanism. Explain one discrepancy table by hand. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

17. Parent guidance and transfer

A parent can ask whether a claim is about every case or an average, and what counts as an exception. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

That builds statistical and logical precision. Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

The habit transfers to data science, quality control and risk interpretation. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

It does not guarantee academic or career outcomes. Reward a clearly stated quantifier. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

18. What a responsible report contains

State Λ, ψ(x;q,a), the main term, Q range and discrepancy norm. This is the point where the idea becomes more than terminology: the objects and operations can be named precisely.

How the mathematics works

Show one exact small count, then label it illustrative. Write the equation before simplifying it, preserve exact quantities as long as practical and identify which step depends on an assumption rather than arithmetic alone.

A concrete calculation or interpretation

Cite the large-sieve and decomposition inputs. Reconstruct the calculation independently, label units or norms where relevant and keep rounded values separate from exact expressions.

Limits, evidence and transfer

Do not present an average theorem as a universal bound. Finish with the saving, range and exceptional allowance. A careful conclusion reports the domain, iteration or approximation order, comparison method and remaining uncertainty instead of turning one successful example into a universal promise.

A practical seven-day learning plan

• Day 1: Rewrite the target equation and define every symbol in plain language.
• Day 2: Derive the first construction or reduction step by hand.
• Day 3: Complete the central worked example using exact arithmetic first.
• Day 4: Substitute the approximation into the original problem and graph the residual.
• Day 5: Change one interval, start, parameter or order and explain the effect.
• Day 6: Compare one related method on the same problem and error measure.
• Day 7: Present one supported conclusion, one limit and one next experiment.

This plan develops problem-solving skills because it moves repeatedly between definition, calculation, evidence and communication. A parent can ask to see the notebook rather than a perfect-looking graph, while a student learns that corrections are useful only when their effect can be measured.

Frequently asked questions

What does the Bombieri–Vinogradov theorem say?

It gives a strong average bound for errors in the distribution of prime weights among reduced residue classes, over moduli up to nearly x to the one-half scale.

Does it hold for every modulus?

The conclusion is averaged over q, so it allows a controlled exceptional set and is not a uniform pointwise theorem for every q.

Why use the von Mangoldt function?

Its logarithmic weights fit Dirichlet series and convolution identities while representing primes and prime powers.

Is the theorem conditional on GRH?

No. The classical Bombieri–Vinogradov theorem is unconditional, though its average strength is often compared with consequences of GRH.

What does “level of distribution one half” mean?

Roughly, useful averaged control extends to moduli q up to x to the one-half scale, with logarithmic losses.

Is this an SEC Mathematics topic?

No claim is made that it is. It is a later connection using congruences, sums, inequalities and probability-like averaging.

Primary source and current Singapore context

Terence Tao, “254A, Notes 3: The large sieve and the Bombieri–Vinogradov theorem,” 10 January 2015, Theorem 17 and its proof framework.

Open the primary or authoritative source record

The source supports the method’s definition and research context. The worked calculations here are original teaching examples and are checked directly against their stated equations.

For current Singapore terminology, the official SEAB Secondary Education Certificate page states that the SEC begins with the 2027 graduating cohort and reports subjects at G1, G2 and G3 levels. This article does not claim that the named advanced method is an SEC syllabus requirement. It shows how school algebra, functions and calculus can connect to later mathematical sciences.

SEAB: Secondary Education Certificate

NTU Mathematics course information

NUS Applied and Computational Mathematics research