Petty's Notebook
ArticlesPapersnfieldAbout
Get notified when new posts are published. No spam, just math.
Alexander S. Petty  |  ©2009-2026
← Back
collision

Silent Primes

January 21, 202316 min read
Companion paper: Silent Primes and the Variance of the Collision Count →
A star field with several dark circular gaps among the bright stars.
An exact list settles the silences. The spread of the positive counts leads us to the overlaps inside long division.

Divide one by thirteen. Write the digits as they come.

113=0.076923076923…\frac{1}{13}=0.076923076923\ldots131​=0.076923076923…

Six digits, then back to the beginning. The block 076923076923076923 is the repetend, the part of the decimal that loops.

Cut it out and paste copies onto a thin strip of paper, end to end. Make a second ribbon. Lay one on top of the other so the digits line up, then slide the top ribbon to the right by one position.

Count the columns where the two digits agree.

At thirteen, there are none. Keep reading for six places or six thousand. The answer stays zero.

Try seventeen. Its repeating block is 058823529411764705882352941176470588235294117647. Two columns agree in each sixteen-place block. One holds a pair of eights. The other holds a pair of ones.

Paired digit cells compare one thirteenth and one seventeenth with right-shifted copies. Thirteen has no matches. At seventeen, gold connectors join equal eights at position four and equal ones at position twelve. The sixteen-place block is displayed in two consecutive halves. Paired digit cells compare one thirteenth and one seventeenth with right-shifted copies. Thirteen has no matches. At seventeen, gold connectors join equal eights at position four and equal ones at position twelve. The sixteen-place block is displayed in two consecutive halves.
The upper ribbon moves one place right; its final digit wraps to the front. Seventeen is split across two panels for reading, not into two periods. Only the gold columns agree.

Nineteen gives zero again. So does twenty-three. Twenty-nine gives a positive count.

I call a prime silent at a given slide when its ribbon has no matches with the shifted copy. For a one-place slide in base ten, the complete list of silent primes greater than ten is

{11,13,19,23,37,41,73}.\{11,13,19,23,37,41,73\}.{11,13,19,23,37,41,73}.

Seven primes. After seventy-three, the list stops. There are infinitely many primes still to come, but none adds an eighth entry at this slide.

Nine numbers to factor

Compute 100−9100-9100−9. Then 100−18100-18100−18. Keep subtracting another nine until you have made nine subtractions. Factor the results and keep the prime factors greater than ten.

A network links nine integers from 91 down to 19 with their prime factors greater than ten. Seven arrows end at 11, 13, 19, 23, 37, 41 and 73. The branches at 64 and 28 stop because their prime factors are too small. A network links nine integers from 91 down to 19 with their prime factors greater than ten. Seven arrows end at 11, 13, 19, 23, 37, 41 and 73. The branches at 64 and 28 stop because their prime factors are too small.
Follow each number to its prime factor above ten. The small division labels account for the discarded cofactors. Neither 64 nor 28 contributes a prime to the list.

The recipe comes from Bin Derangements and the Gate Width Theorem. Group the nonzero remainders by the first digit of r/pr/pr/p. Exactly nine multipliers move every remainder out of its original digit bin. They are

g≡−u10−u(modp).g\equiv-\frac{u}{10-u}\pmod p.g≡−10−uu​(modp).

Here uuu runs from one through nine. Division means multiplication by a modular inverse. Long division advances a digit by multiplying the remainder by ten. Set g=10g=10g=10 and clear the denominator. The condition becomes

p∣10(10−u)+u=100−9u.p\mid 10(10-u)+u=100-9u.p∣10(10−u)+u=100−9u.

Nine small factorizations give the seven primes. But the recipe checks every nonzero remainder, while one ribbon may visit only some of them. We still have to rule out a ribbon that is silent while matches occur elsewhere.

In decimal at slide one, a prime above one hundred starts its reciprocal with at least two zeros. Those zeros already match across a one-place slide. Below one hundred, there are only fourteen primes outside our list to check. Each has a matching pair on the ribbon.

The factors and the fourteen witnesses
Number Factorization Above ten
91 7 × 13 13
82 2 × 41 41
73 73 73
64 2 × 2 × 2 × 2 × 2 × 2 none
55 5 × 11 11
46 2 × 23 23
37 37 37
28 2 × 2 × 7 none
19 19 19

For each remaining prime, the remainders rrr and s=10r mod ps=10r\bmod ps=10rmodp occur consecutively on the orbit of one and emit the same digit. This checks the ribbon itself, not merely the full table.

Prime Remainder pair Digit
17 15 → 14 8
29 13 → 14 4
31 7 → 8 2
43 24 → 25 5
47 21 → 22 4
53 47 → 46 8
59 52 → 48 8
61 27 → 26 4
67 37 → 35 5
71 16 → 18 2
79 18 → 22 2
83 64 → 59 7
89 10 → 11 1
97 75 → 71 7

The distinction is necessary. In base eight, 1/131/131/13 repeats 047304730473, with no one-place matches. Yet the full count is two. Remainders two and three both emit digit one, and 8×2≡3(mod13)8\times2\equiv3\pmod{13}8×2≡3(mod13). That match lies on another orbit.

For base bbb and fixed slide ℓ\ellℓ, the general recipe factors the b−1b-1b−1 integers

N(u)=bℓ+1−u(bℓ−1),1≤u<b.N(u)=b^{\ell+1}-u(b^\ell-1),\qquad 1\leq u<b.N(u)=bℓ+1−u(bℓ−1),1≤u<b.

Their prime divisors above bbb are exactly the globally silent primes. Ribbon silence also has a finite bound, p≤bℓ+1p\leq b^{\ell+1}p≤bℓ+1, but shorter orbits can require the extra check. The companion paper proves both statements.

The zero count has a finite answer. The positive counts leave a different question.

Hold ninety-seven fixed

Keep the prime. Change the multiplier. For each multiplier ggg, move all ninety-six nonzero remainders and count how many keep their digit. Call the answer C(g)C(g)C(g).

Set aside the identity, which leaves everything where it was. Set aside the nine zero counts. Eighty-six constructive multipliers remain.

Eighty-six dots form six stacks at collision counts 6, 8, 10, 12, 14 and 16. The stacks contain 12, 24, 28, 16, 2 and 4 dots. A dashed vertical line marks the mean of 9.628. Eighty-six dots form six stacks at collision counts 6, 8, 10, 12, 14 and 16. The stacks contain 12, 24, 28, 16, 2 and 4 dots. A dashed vertical line marks the mean of 9.628.
Each dot is one constructive multiplier at ninety-seven. Stack height is frequency, not a second collision count. The dashed line marks the mean; the identity and nine zero multipliers are excluded.

Most give eight or ten matches. Four give sixteen. Twelve give six. The mean is about 9.6289.6289.628.

Subtract the mean from each count, square the difference, and average the squares. The variance is about 6.0016.0016.001. Its square root, the standard deviation, is about 2.4502.4502.450 matches.

This population stays at one prime. The silent-prime question follows the particular multiplier ten across primes. The variance question keeps the prime fixed and measures the spread among its positive counts.

Why a failed test costs two

What makes one multiplier produce six matches and another sixteen?

Use the coordinate from the gate width theorem. It labels a nonidentity multiplier by the unique ccc satisfying

c(1−g)≡10(mod97).c(1-g)\equiv10\pmod{97}.c(1−g)≡10(mod97).

Labels one through nine give the zeros. The constructive labels run from eleven through ninety-six. Label ten cannot occur.

There are nine tests. For test mmm, multiply ccc by mmm, take the remainder modulo ninety-seven, and ask whether it exceeds 10m10m10m.

A pass gives two matches. To see the pair, take c=11c=11c=11, which labels g=53g=53g=53. Test three passes because 33>3033>3033>30. In the original digit bins, the two matches are

Two horizontal arrows show multiplication by 53 modulo 97. In the digit-eight bin, 84 maps to 87. In the digit-one bin, 13 maps to 10. Vertical reflection arrows pair the complementary sources and destinations. Two horizontal arrows show multiplication by 53 modulo 97. In the digit-eight bin, 84 maps to 87. In the digit-one bin, 13 maps to 10. Vertical reflection arrows pair the complementary sources and destinations.
The upper and lower matches are reflections about ninety-seven. Both arrows use the same multiplier. Their directions are not reversed, and their remainders need not be neighbors.

Multiplication by fifty-three takes remainder eighty-four to eighty-seven. Both emit eight. Reflect both remainders about ninety-seven and the second match appears. Thirteen goes to ten, and both emit one.

Every passing test gives a complementary pair like this. No other matches occur. Nine tests can contribute at most eighteen matches. Start at eighteen and subtract two for each failure.

From a passing test to its two remainders

The coordinate uses x=[10r]97x=[10r]_{97}x=[10r]97​, where brackets mean the nonzero remainder. Two digits agree exactly when their transformed remainders agree modulo ten.

Put t=[mc]97t=[mc]_{97}t=[mc]97​. When t>10mt>10mt>10m, the two transformed collisions are

97−t⟼97−t+10m,97-t\longmapsto97-t+10m,97−t⟼97−t+10m, t⟼t−10m.t\longmapsto t-10m.t⟼t−10m.

They are complements, not reversals of the same arrow. For c=11c=11c=11 and m=3m=3m=3, they are 64↦9464\mapsto9464↦94 and 33↦333\mapsto333↦3. Undo multiplication by ten modulo ninety-seven to recover 84↦8784\mapsto8784↦87 and 13↦1013\mapsto1013↦10.

The number of tests in base bbb is Q=⌊(p−1)/b⌋Q=\lfloor(p-1)/b\rfloorQ=⌊(p−1)/b⌋. Here it happens to be nine, the same as the number of zero multipliers. These are different counts. At p=1999p=1999p=1999 there are 199 tests and still nine zero multipliers.

In general, the collision-coordinate theorem gives

C(g)=2#{1≤m≤Q:[mc]p>mb}.C(g)=2\#\{1\leq m\leq Q:[mc]_p>mb\}.C(g)=2#{1≤m≤Q:[mc]p​>mb}.

Where the strips cross

The labels that fail a test form intervals of consecutive integers. At ninety-seven, each interval contains ten labels. Test two fails from forty-nine through fifty-eight. Test three has two failure intervals. Test four has three.

Their starting points come from ordinary division. Divide ninety-seven by two and round up to get forty-nine. For test three, divide ninety-seven and twice ninety-seven by three, rounding up each time. Start a ten-label strip at each answer.

Failure intervals for tests two, three and four at prime 97 sit above a nine-by-nine signed covariance grid. The shared interval 49 through 58 is gold. Outlined grid cells identify the positive two-four and negative two-three covariances. Failure intervals for tests two, three and four at prime 97 sit above a nine-by-nine signed covariance grid. The shared interval 49 through 58 is gold. Outlined grid cells identify the positive two-four and negative two-three covariances.
The strips count shared failures. The grid subtracts the reference product of the individual failure rates. Gold is positive covariance, purple negative, and the background is zero. The empty first row and column belong to a test that never fails.

Tests two and four share the entire strip from forty-nine through fifty-eight. Tests two and three share nothing.

The lower grid compares every test with every other test. Gold means they fail together more often than independent tests with those same individual failure rates would. Purple means less often. We are measuring their dependence, not assuming it away.

The interval lengths give the mean. Their overlaps give the variance. Lengths alone cannot tell us how widely the counts spread.

Now draw every test. Put the constructive labels across the page and the tests down it. Color a cell when that test fails at that label. Read a column to recover the collision count.

Three rows compare primes 97, 499 and 1999. Each has a colored failure grid, its collision-count curve, and a square signed covariance map. The grid grows from nine by 86 cells to 199 by 1988 cells, revealing fine bands and crossing patterns. Three rows compare primes 97, 499 and 1999. Each has a colored failure grid, its collision-count curve, and a square signed covariance map. The grid grows from nine by 86 cells to 199 by 1988 cells, revealing fine bands and crossing patterns.
Left, every colored cell is a failed comparison; its hue identifies the test row. Read down a column to obtain the count plotted beneath it. Right, gold and purple measure positive and negative covariance on the same scale in all three panels. The coordinate c is not multiplier order.

The nine rows at ninety-seven grow to forty-nine at 499 and 199 at 1999. The strips still have width ten. Their starting points divide the prime into halves, thirds, quarters and finer parts. The curved bands are those rounded fractions laid one below another.

All 9,932,114 comparisons at 9,973
The complete prime-9973 failure grid has 997 test rows and 9962 constructive columns, all retained in a 10800-by-2600-pixel plate. Colored bands reveal the interval intersections. A collision-count curve runs beneath the same columns. The complete prime-9973 failure grid has 997 test rows and 9962 constructive columns, all retained in a 10800-by-2600-pixel plate. Colored bands reveal the interval intersections. A collision-count curve runs beneath the same columns.
All 9,932,114 cells are retained. Select the image for full-size inspection. Subtract twice the number of colored cells in a column from 1,994 to obtain its collision count. The row colors locate tests; they do not encode magnitude.

There are 997 tests and 9,962 constructive labels. Every cell is present in the full-resolution plate. Choose 100% in the image viewer to inspect the individual strips. The curve below gives the collision count for each column.

Color identifies a test’s height in the grid, not the size of a collision count. A blank cell passes. Each colored cell subtracts two matches from the starting count of 1,994.

The exact overlap calculation

Let ImI_mIm​ be the failure labels for test mmm, and let N=p−b−1N=p-b-1N=p−b−1 count the constructive multipliers. Every interval has length bbb, with starts at ⌈kp/m⌉\lceil kp/m\rceil⌈kp/m⌉ for 1≤k<m1\leq k<m1≤k<m. Thus ∣Im∣=b(m−1)|I_m|=b(m-1)∣Im​∣=b(m−1).

Write Hmn=∣Im∩In∣H_{mn}=|I_m\cap I_n|Hmn​=∣Im​∩In​∣. The covariance pictured in each grid is

Cov⁡(Ym,Yn)=HmnN−∣Im∣∣In∣N2,\operatorname{Cov}(Y_m,Y_n)=\frac{H_{mn}}{N}-\frac{|I_m||I_n|}{N^2},Cov(Ym​,Yn​)=NHmn​​−N2∣Im​∣∣In​∣​,

where YmY_mYm​ is one for a failed test and zero otherwise. Since C=2Q−2∑mYmC=2Q-2\sum_mY_mC=2Q−2∑m​Ym​,

Var⁡(C)=4∑m,n=1QCov⁡(Ym,Yn).\operatorname{Var}(C)=4\sum_{m,n=1}^{Q}\operatorname{Cov}(Y_m,Y_n).Var(C)=4m,n=1∑Q​Cov(Ym​,Yn​).

The sum includes the diagonal and both orders of every off-diagonal pair. At ninety-seven, the second and fourth tests share ten of eighty-six labels. Independent failures with their individual rates would share only 10×30/8610\times30/8610×30/86 labels on average. Tests two and three share none, against an independent reference of 10×20/8610\times20/8610×20/86.

No random trial enters these counts. Independence supplies the reference product in a covariance, not a model imposed on the digit table.

Two thirds proved, nine tenths open

As the prime grows, so does the smaller bin size Q=⌊(p−1)/b⌋Q=\lfloor(p-1)/b\rfloorQ=⌊(p−1)/b⌋. Compare the variance with that size.

At ninety-seven, variance divided by QQQ is about 0.6670.6670.667. At 9973 it is about 0.8870.8870.887. The proposed limit in decimal is 0.90.90.9. For each fixed base b≥3b\geq3b≥3, the conjecture is

Var⁡(C)Q⟶1−1b.\frac{\operatorname{Var}(C)}{Q}\longrightarrow1-\frac1b.QVar(C)​⟶1−b1​.

The values do not rise monotonically. After ninety-seven, the ratio falls to about 0.6220.6220.622 at 101, then 0.5950.5950.595 at 103. The fuller plot keeps those downward steps.

A scatterplot shows full variance divided by Q in gold and its diagonal component in teal, for every prime from 97 through 1999 and the additional primes 4999 and 9973. Seven ringed points identify the paper's checkpoints. An inset shows downward as well as upward steps from 97 through 127. A scatterplot shows full variance divided by Q in gold and its diagonal component in teal, for every prime from 97 through 1999 and the additional primes 4999 and 9973. Seven ringed points identify the paper's checkpoints. An inset shows downward as well as upward steps from 97 through 127.
The 279 primes from 97 through 1999 are all present, followed by two larger checkpoints. Rings mark the original seven. The teal dotted limit is proved for the diagonal part; the gold dashed limit is conjectured for the full variance. The inset connects consecutive primes only.

Part of the limit is proved. Pair each test only with itself, along the diagonal of the covariance grid. That contribution is 2Q/32Q/32Q/3 plus a bounded remainder. Divided by QQQ, it tends to two thirds.

Everything left comes from distinct tests. Their contributions have both signs. The unresolved step is to control their combined effect as the prime grows. More computed points show the variation more faithfully. They do not prove a limit.

Exact populations behind the plotted values
Prime QQQ Variance Variance / QQQ
97 9 6.001 0.667
193 19 13.967 0.735
499 49 40.453 0.826
997 99 84.353 0.852
1999 199 173.099 0.870
4999 499 440.549 0.883
9973 997 884.827 0.887

The seven checkpoints are the paper’s original selection. The expanded plot includes every prime from 97 through 1999, plus 4999 and 9973. Its rings identify the original seven. There are no connecting lines across the uncomputed gap above 1999.

For each prime, the variance is computed exactly over positive nonidentity multipliers. The displayed decimals are rounded. Direct digit-bin counts and the independent collision-coordinate formula agree for every multiplier in these populations.

A square root, in a different place

If the conjecture holds, the standard deviation grows like Q\sqrt{Q}Q​, with a base-dependent constant. In decimal that constant is 0.9\sqrt{0.9}0.9​, about 0.9490.9490.949.

The square-root scale catches my attention because it appears elsewhere in number theory. Under the Riemann Hypothesis, the error in the smooth prime-counting approximation is bounded by a constant times xlog⁡x\sqrt{x}\log xx​logx. This is a bound, with a logarithmic factor, not an exact size for every fluctuation. Bombieri’s account explains the connection to the zeta zeros.

I want to be careful here. Our variance averages over multipliers at one prime. Prime-counting error concerns how the primes themselves are distributed. A shared square-root shape does not identify the two, and this paper gives no theorem linking the collision variance to zeta zeros.

The ribbons, distribution and interval plots
The full six- and sixteen-digit blocks, each above an unshifted copy. Gold marks the two equal columns at seventeen.
The full six- and sixteen-digit blocks, each above an unshifted copy. Gold marks the two equal columns at seventeen.
The distribution at ninety-seven as a bar chart. Its six frequencies count the same eighty-six constructive multipliers as the dot stacks.
The distribution at ninety-seven as a bar chart. Its six frequencies count the same eighty-six constructive multipliers as the dot stacks.
The second and fourth failure families share all ten labels from forty-nine through fifty-eight. The second and third families are disjoint.
The second and fourth failure families share all ten labels from forty-nine through fifty-eight. The second and third families are disjoint.
The paper's seven selected variance checkpoints. The connecting segments guide the eye between those selected values; the expanded scatterplot above includes every intervening prime through 1999.
The paper’s seven selected variance checkpoints. The connecting segments guide the eye between those selected values; the expanded scatterplot above includes every intervening prime through 1999.

A ribbon gives a question we can ask by eye. Nine factorizations settle its zero case in decimal. Once the count is positive, the intervals show where its comparisons reinforce or avoid one another.

The finite list is complete. The spread is still asking something of us. We can now point to the overlaps where the answer has to be found.

Companion paper: Silent Primes and the Variance of the Collision Count →
Share

Discussion

Sign in to join the discussion.

← All articlesRead the paper →
← Previous: The Character Structure of the Collision Fluctuation
Next: The Collision Fluctuation Sum →