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

Silent Primes

January 21, 202312 min read
Companion paper: Silent Primes and the Variance of the Collision Count →
Gold and blue marks share a curve's cadence but fall into one another's intervals. This displaced rhythm suggests a silent prime, where the shifted digits never agree.
Gold and blue marks share a curve's cadence but fall into one another's intervals. This displaced rhythm suggests a silent prime, where the shifted digits never agree.

Every prime past ten has a repeating decimal, and exactly seven of them have a repeating block that never agrees with itself moved over by one place. They are 11, 13, 19, 23, 37, 41 and 73. The list is complete. Proving it takes nine subtractions, nine small factorizations and a short check of the primes below a hundred, and no prime after seventy-three ever joins it.

Those seven are the zero edge of a larger question. Away from silence, most ways of shifting the digits keep a few of them in place, and the number kept spreads out around an average. How widely it spreads is a variance, and here the answer is half proved. A proof accounts for a spread of two thirds of the bin size, the computations point to nine tenths in decimal, and the gap between those two numbers is open.

To see the property itself, divide one by thirteen and write the digits as they come.

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

After six digits it starts over, and the block 076923076923076923 is the repetend, the part of the decimal that loops.

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

At thirteen there are none, and reading for six places or six thousand makes no difference.

Seventeen is different. Its repeating block is 058823529411764705882352941176470588235294117647, and two columns agree in each sixteen-place block, one holding a pair of eights and the other 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.
Each repeating block above a copy of itself moved one place to the right, with the last digit wrapping to the front. Thirteen agrees nowhere, while seventeen’s sixteen digits, split over two rows, agree in two gold columns, the 8s and the 1s.

Nineteen gives zero again, and so does twenty-three, while 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, and 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}.

Nine numbers to factor

Start from 100−9100-9100−9, then 100−18100-18100−18, and 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.
The nine numbers 100 − 9u, each joined to its prime factor above ten. Seven of them lead to the seven silent primes, and 64 and 28 lead nowhere, since every prime factor they have is ten or less.

The recipe comes from Bin Derangements and the Gate Width Theorem. Group the nonzero remainders by the first digit of r/pr/pr/p, and 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 and division means multiplication by a modular inverse. Long division advances a digit by multiplying the remainder by ten, so set g=10g=10g=10 and clear the denominator, and 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, so 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, and those zeros already match across a one-place slide. Below one hundred there are only fourteen primes outside our list to check, and each has a matching pair on its 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), a match that 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. Silent Primes and the Variance of the Collision Count proves both statements.

The zero count has a finite answer, and the positive counts raise a different question.

Hold ninety-seven fixed

Now keep the prime and change the multiplier. For each multiplier ggg, move all ninety-six nonzero remainders and count how many keep their digit, and call the answer C(g)C(g)C(g). Leave out the identity, which moves nothing, and the nine zero counts, and 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.
The eighty-six constructive multipliers at ninety-seven, one dot each, stacked by how many digits they keep. Most keep eight or ten, twelve keep only six, four keep sixteen, and the dashed line marks the mean of about 9.63.

Most give eight or ten matches, four give sixteen and twelve give six, and the mean is about 9.6289.6289.628. Subtract the mean from each count, square the difference and average the squares, and 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 followed one multiplier, ten, across many primes, while the variance question keeps the prime fixed and measures the spread among its positive counts.

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, and 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, and 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 two matches from one passing test, multiplier 53 at ninety-seven. Above, 84 goes to 87 and both write 8. Below, their reflections 13 and 10 both write 1, and the arrow points the same way, so these are two matches, not one arrow reversed.

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

Every passing test gives a complementary pair like this, and no other matches occur. Nine tests can contribute at most eighteen matches, so 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, and undoing multiplication by ten modulo ninety-seven recovers 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, but these are different counts, and 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}.

Overlapping failures

The labels that fail a test form intervals of consecutive integers, ten labels each at ninety-seven. Test two fails from forty-nine through fifty-eight, test three has two failure intervals and 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, and start a ten-label run 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.
Above, the failure runs for tests 2, 3 and 4 at ninety-seven, where tests 2 and 4 share the whole run 49 to 58 and test 3 misses it. Below, every pair of tests, gold where they fail together more often than chance and purple where less.

Tests two and four share the entire run from forty-nine through fifty-eight, and 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, and purple means less often, so we are measuring their dependence rather than assuming it away.

The interval lengths give the mean and their overlaps give the variance, and lengths alone cannot tell us how widely the counts spread.

Now draw every test, with the constructive labels across the page and the tests down it, coloring a cell when that test fails at that label. Reading down a column recovers 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.
Every failed test at 97, 499 and 1999, one row per test and one column per constructive label, with the collision count read off beneath. The failure runs stack into nested arches as the prime grows, and the covariance grids at right keep their strong gold diagonal.

The nine rows at ninety-seven grow to forty-nine at 499 and 199 at 1999, while the runs keep their width of ten. Their starting points divide the prime into halves, thirds, quarters and finer parts, and 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 997 tests at 9,973 across all 9,962 constructive labels, every one of the 9,932,114 cells kept. The arches from the smaller primes are now dense enough to read as a woven surface, and the curve beneath gives each column’s collision count.

There are 997 tests and 9,962 constructive labels, and every cell is present in the full-resolution plate, so choose 100% in the image viewer to inspect the individual runs.

Color identifies a test’s height in the grid, not the size of a collision count. A blank cell passes, and 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, where independent failures with their individual rates would share only 10×30/8610\times30/8610×30/86 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⌋, so compare the variance with that size. At ninety-seven the variance divided by QQQ is about 0.6670.6670.667, at 9973 it is about 0.8870.8870.887, and 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 steadily. After ninety-seven the ratio falls to about 0.6220.6220.622 at 101 and then 0.5950.5950.595 at 103, and 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.
Variance divided by bin size for every prime from 97 to 1999, plus 4999 and 9973. The teal diagonal part settles onto the proved two thirds, while the gold full variance climbs toward the conjectured 0.9, and the inset shows its first steps going down as well as up.

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

Everything left comes from distinct tests, whose contributions have both signs, and the unresolved step is to control their combined effect as the prime grows. More computed points show the variation more faithfully, but 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, with rings marking the original seven and no connecting lines across the uncomputed gap above 1999.

For each prime the variance is computed exactly over positive nonidentity multipliers, and 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, a bound with a logarithmic factor rather than 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, while 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.

The ribbon asks a question you can check by eye, and nine factorizations settle its zero case in decimal for good. Once the count is positive, the runs show where the tests fail together and where they keep apart, and the open part of the variance is exactly the sum of those overlaps between distinct tests.

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 →