“F8.1: Hill 2x2 with an unknown one-to-one letter numbering (any of 26!), every invertible matrix, both alignments: exact; 3x3 counted and blocked”
F8.1. Earlier Hill tests fixed the numbering (4 standard, 126 vocabulary, 200 K1-K3 words; 0015, 0044, 0055). Here the numbering is free. Counting first: at either alignment 11 digraphs of K4 lie wholly inside the known runs, 22 linear equations mod 26 (about 103 bits) in the numbers of 20-21 letters (79-81 bits) and the 4 matrix entries (17 bits): a surplus of 5-7 bits, so an exact test has power. For 3x3, 6-7 trigraphs give 18-21 equations against 76-81 + 41 bits: 21-32 bits short, no checks, blocked. For each of the 157,248 invertible 2x2 matrices and each alignment, a depth-first search with propagation looks for a one-to-one numbering satisfying all 22 equations (compiled). K4 against 5 shuffled copies (each takes minutes); plants with random numberings.
The tableauthe table The right-hand half of the sculpture, 26 rows of the alphabet each shifted one place further, starting from the word KRYPTOS.'s last column spells HILLa Hill cipher A cipher that turns letters into numbers, takes them two, three or four at a time, and mixes each group with a fixed table of numbers., the name of a cipher that mixes letters in pairs with a little matrix of numbers. It was tried with the usual ways of numbering the letters. Here the numbering itself is a secret: any order of the alphabet. The known words still give enough pairs to decide it exactly, for every possible matrix.
Words in the margin are defined on the glossary page.
1.1
The method at work
The carved letters go in at the top; the reading comes out at the bottom.
the idea
The tableau's last column spells HILL, a cipher that mixes letters in pairs with a small matrix of numbers. It had been tried with the usual numberings of the letters; the numbering could itself be secret.
the check
For every invertible 2 x 2 matrix and both ways of pairing the letters, a search for any one-to-one numbering of the alphabet that makes all 22 equations from the known pairs hold.
the bound
No matrix fits K4 or a scrambled copy under any numbering; planted texts are recovered exactly. F8.1 closed for 2 x 2; 3 x 3 has too few equations.
2
Best candidate against the known letters
This experiment produced no candidate: the search ruled everything out before a full text was built. Its product is the bounded negative in section 7.
3
Walkthrough, by hand
Redo the method on a few letters with pencil and paper.
Pair the message from place 1: places 21-22 are not both known, 23-24 (A S) are, over the carved L R.
With matrix (a b; c d): an(A) + bn(S) = n(L) and cn(A) + dn(S) = n(R), where n is the secret numbering.
Eleven such pairs give 22 equations; choosing numbers for two or three letters forces the rest.
If no one-to-one numbering survives, that matrix is out.
All 157,248 invertible matrices, both pairings, K4 and scrambled copies.
the worksheet: the first steps by hand, on squared paper
4
Worked example, generated
The same steps run by the code on the real letters.
digraphs wholly inside the known runs, pairing from place 1
AS -> LR
TN -> VQ
OR -> QP
TH -> RN
EA -> GK
ST -> SS
ER -> YP
LI -> VT
NC -> TM
LO -> ZF
CK -> PK
5
Hypothesis, for a cryptanalyst
Family, key space, the constraint under test, and the clues it reads.
C21(a) (the HILL column of the tableau), F8. Model: x a one-to-one map letters -> Z26; for each aligned block, (x[c1], x[c2]) = M (x[p1], x[p2]) mod 26 with M invertible. Encryption and decryption matrices, row and column conventions are all covered by enumerating every invertible M. Statistic: matrices admitting a numbering, K4 against 5 copies; expected on a random text about 2^-5 to 2^-7 per alignment in total.
6
Prediction
Written before the run; the result decides it.
No matrix admits a numbering on K4 at either alignment; copies mostly none; plants found. Zero candidates.
7
Method
For each alignment: the digraphs wholly inside the known runs (11 each).
For each invertible 2x2 matrix: two equations per digraph; search for a one-to-one numbering with propagation (node limit 200,000, undecided counted).
K4, 5 shuffled copies, 3 planted Hill texts with random numberings and matrices.
8
Result and bounds
The harness's record: candidates, gates, loss, and the negative result this experiment leaves behind.