
Every prime number past 100, in base ten, has a small integer attached to it. The integer is determined entirely by the prime’s last two digits.
At , it is . At , it is again.
To find it, write the fractions through . Read the first two decimal digits of each fraction and count the rows where they agree.
1/109 = 0.00917… match
2/109 = 0.01834… no match
12/109 = 0.11009… match
13/109 = 0.11926… match
Eighteen rows match. Now group the rows by their first digit. These ten bins have ten or eleven rows apiece. Subtract the smaller size, . That leaves eight.
At , there are matches. The bin size is now . Eight again.
The fractions have changed. There are nine hundred more of them. The subtraction leaves the same integer because the denominator still ends in .
The Collision Fluctuation Sum uses the mean of a finite table to explain a drift across primes. The Centered Collision Sum subtracts its family means. Here I want to put the table itself on the page, including the endpoint arithmetic that fixes its balance.
Call the number of matching rows , where is the base and the denominator. Subtract the bin scale to get the reduced count
The denominators in this article are coprime to the base. In decimal, they end in , , or . Combine those four endings with ten possible tens digits and there are forty places to look.
For , go to row zero, column nine. The entry is . For , go to row nine, column one. The entry is .
The table also handles . Its matches exceed the bin scale of by eight. Primality never enters this calculation.
The row supplies the tens digit. The column supplies the units digit. These are the reduced counts, not the collision counts themselves.
| First digit | 1 | 3 | 7 | 9 |
|---|---|---|---|---|
| 0 | 0 | +2 | 0 | +8 |
| 1 | −1 | −1 | +1 | −1 |
| 2 | 0 | −2 | +6 | 0 |
| 3 | −1 | −1 | −3 | −1 |
| 4 | −4 | 0 | −2 | 0 |
| 5 | −1 | +1 | −1 | +3 |
| 6 | 0 | +2 | 0 | 0 |
| 7 | −1 | −7 | +1 | −1 |
| 8 | 0 | −2 | 0 | 0 |
| 9 | −9 | −1 | −3 | −1 |
There are eight positive entries, twelve zeros and twenty negative entries. Cell is zero. The finite floor formula below defines that cell directly; equivalently, the empty fraction list at denominator one has count zero.
Put the fractions on the interval from zero to one. Cut it into a hundred equal pieces. A fraction in the first piece begins , one in the next begins , and so on.
A match lands in one of ten pieces
Now increase the denominator from to . Each of the hundred pieces gains exactly one fraction. Each matching piece therefore gains one match. The collision count goes up by ten. The bin scale also goes up by ten. Their difference stays unchanged.
The dots do not stay put. They move to the positions specified by the new denominator. It is the number in each piece that increases by one.
You can check this with floors. Piece has count
except in the last piece, where we subtract one to exclude the endpoint . Replacing by adds to the first floor and to the second. The difference gains one. The excluded endpoint remains excluded.
Coprimality keeps the fractions off every interior boundary, so there is no rounding ambiguity to settle.
In base , there are pieces and matching ones. Adding to the denominator adds to both counts. One finite function therefore supplies every reduced count
Forty entries suffice in decimal, however many digits the denominator has.
Take two addresses that add to one hundred. Their table values always add to minus one.
To see where the missing one comes from, use and . Neither denominator reaches a hundred, so its fractions are more than one hundredth apart. No piece can hold two of them.
The matching pieces and are empty at both denominators. The first positive fraction lies above ; the last lies below .
That leaves eight interior pieces. In each, exactly one of the two denominators supplies a fraction.
Seventeen supplies two matches. Eighty-three supplies six. Together, eight. Their bin scales are one and eight. Together, nine.
The reduced counts must add to .
Put and choose an address coprime to , with . For a piece numbered , write its floor increment as
For every interior boundary , coprimality gives
Subtract successive instances. For an interior piece, where , the two increments add to one. At the first and last pieces they instead add to zero and two
The matching pieces have indices for . They include both end pieces and interior pieces. Each last-piece increment counts the excluded endpoint once. Removing it from each denominator leaves
The two bin scales add to . Indeed, write with . The scales are and . Subtracting gives
The finite table itself can be calculated without choosing any larger denominator
At address one, the same formula uses the empty count .
The center of the table is therefore . The extremes and are equally far from it.
There are twenty reflected pairs in decimal. Each pair contributes minus one, so the forty entries have mean . Exactly twenty entries are negative. Two nonnegative integers cannot add to , and two negative integers add to at most . Each pair must have one of each kind.
This counts cells, not primes. How the primes visit those cells is a separate question.
In base three the whole table fits into six places. Addresses below are written in base three; the entries are ordinary signed integers.
| First digit | Last digit 1 | Last digit 2 |
|---|---|---|
| 0 | 0 | +1 |
| 1 | 0 | −1 |
| 2 | −2 | −1 |
Rotate the rectangle through half a turn. Each cell meets its reflected partner. The pair sums are , and . Three pairs, three deficits.
Base twelve has forty-eight cells, of which twenty-four are negative. Its largest value is and its smallest . The gallery follows these small tables into larger bases. Every cell is calculated, including the fine bands in the largest views.
Rows give the first address digit. Columns give the allowed final digits in increasing order; digits sharing a factor with the base are omitted. For comparison across bases, the color shows on one symmetric logarithmic scale. Gold and teal exchange under a half-turn. This centers the colors on the reflection midpoint; it does not subtract a family mean.
Base has allowed final digits and cells. Base has allowed final digits and cells. Both plates retain every cell. Select either figure to inspect the full-resolution image.
Row and column labels give digit values in ordinary decimal notation, so the last row is digit eleven. Only final digits , , and are coprime to twelve.
| First digit | 1 | 5 | 7 | 11 |
|---|---|---|---|---|
| 0 | 0 | 0 | 0 | +10 |
| 1 | −1 | −1 | −1 | −1 |
| 2 | −2 | 0 | +2 | 0 |
| 3 | −3 | −1 | +1 | +1 |
| 4 | 0 | 0 | +6 | +2 |
| 5 | −5 | +1 | −5 | −1 |
| 6 | 0 | +4 | −2 | +4 |
| 7 | −3 | −7 | −1 | −1 |
| 8 | −2 | −2 | 0 | +2 |
| 9 | −1 | −3 | −1 | +1 |
| 10 | 0 | 0 | 0 | 0 |
| 11 | −11 | −1 | −1 | −1 |
The reflection law fixes the mean and the negative half in every base. To fix the extremes, we need one more count. At an address below , each matching piece contains at most one fraction. The first and last pieces are empty. There can be at most matches, and subtracting a nonnegative bin scale cannot raise that ceiling.
Nine reaches the ceiling in decimal. Write its eight fractions
1/9 = 0.111… 5/9 = 0.555…
2/9 = 0.222… 6/9 = 0.666…
3/9 = 0.333… 7/9 = 0.777…
4/9 = 0.444… 8/9 = 0.888…
Eight matches. Bin scale zero. Reduced count .
In base , denominator does the same thing. Its fractions each repeat a single digit, attaining . Reflection forces the other extreme, , at address . Base two has just the two entries and .
Adding a hundred to nine gives . The matching count rises to eighteen and the bin scale to ten. Add another nine hundred and they become and .
Now write a thousand digits to the left of . Nobody is going to list all those fractions. The excess count is already settled by the eight fractions of nine that fit on these four lines.
Discussion
Sign in to join the discussion.