No maths required.

Look at these three symbols.

They could just as easily be three colours, three shapes, three sounds, or three tiles. The letters are only convenient names for three different things.

We are not studying ordinary language here. We are studying arrangement — what happens when things are put in a row, one after another.

Why is this mathematics?

Most people meet mathematics as numbers and calculation. But once anything is arranged in a sequence — symbols, colours, notes, moves in a game — a different kind of question becomes possible: what orders are allowed? What keeps repeating no matter how hard you try to avoid it? What is simply impossible to build?

Mathematics begins when we ask what rules follow from arrangement.

Order creates structure

Compare these two rows of three symbols:

Same ingredients? Yes — one a, one b, one c, in both rows.

Same order? No.

That is the whole distinction this page is built on: what is present, versus where it appears. Keep both questions in mind and everything that follows will make sense.

Same quantities, different order

Now look at this row of four symbols, split in half.

The two halves are not the same row — the order is reversed. But they hold the same quantity of each symbol: one a and one b on each side.

There is a name for this kind of hidden repetition: mathematicians call it an abelian square. It happens with longer blocks too — not just pairs of single symbols, but whole matching groups sitting side by side.

See it without letters

Replace the letters with colours and nothing about the pattern changes: a blue block and a yellow block on the left, a yellow block and a blue block on the right — same two colours, same amount of each, different order. The same would be true with shapes, beads, or musical notes standing in for a and b.

The notation changes. The structure does not. That is what makes this mathematics rather than a fact about the alphabet: it is a statement about arrangement that survives however you choose to write it down.

Can you avoid it?

Turn the question around. Instead of finding one of these hidden repetitions, try to build a row that contains none at all.

That is the difficulty in miniature: every symbol you add creates new neighbouring blocks that must all avoid matching, at every length. It gets harder fast — see the next section. A richer version of this exercise, with any row you like, is in the explorer.

Try it with your own rows

It gets hard quickly

With three symbols, each new position has three possible choices. The number of possible rows grows fast as the row gets longer:

3 · 9 · 27 · 81 · 243 · …

Checking every single one, for longer and longer rows, stops being possible almost immediately. So researchers do not simply calculate everything. They stop exploring a choice as soon as it has already broken the rule, look for repeating structure they can reuse, and reject entire families of continuations at once instead of one at a time.

Computer scientists have names for these ideas — search, backtracking, pruning — but the ideas themselves are what matters here: work smarter about what to rule out, not harder about what to check.

Computers help — but they do not answer everything

Compare two statements:

“A computer checked a very long row and found no hidden repetition in it.”

“A row that goes on forever, with no hidden repetition anywhere in it, exists.”

Those are not the same claim. No matter how long a checked row is, it is still a finite object — and a finite example, however long, does not by itself tell you what happens forever.

Finite is not infinite. That distinction is not a technicality here; it is the reason the question in the next section is still open at all.

Maps and territory

Symbols, pictures and computations are all ways of mapping structure — they are not the structure itself. A very detailed map of finite territory, however carefully drawn, does not by itself tell you what lies infinitely far beyond its edge.

So far, this may have felt like a puzzle with an answer hidden somewhere behind the page. The next question is different.

Using three symbols, the shortest possible repetitions — a symbol sitting right next to itself, like aa or bb — are allowed. Every longer hidden repetition, of the kind you have just been looking for, is not.

Can a row built under that rule go on forever?

Nobody currently knows. This question is attributed to Mäkelä in the literature, and no year for that attribution is recorded here.

A relaxed version of the same question — allowing slightly longer short repetitions too — is already known to be possible forever. It is the tightest version, described above, that remains open. The Research page states this more precisely, with its sources.

You have reached the frontier

You started with three symbols. You followed one simple pattern. You have reached a question that is still open.

Why it matters

• Structural thinking. Mathematics studies order, relationships and constraints — not only numbers.
• Algorithmic thinking. Branching, search, rejection and verification are how difficult questions like this one actually get explored.
• Evidence literacy. An example, a computation, a verified computation, a theorem and an open question are five different things, not shades of the same claim.
• Comfort with not knowing. “We do not know” is a precise, useful state in research — not a failure to find the answer.

DNA is another familiar example of information represented as a sequence over a small alphabet — an analogy for what a “row of symbols” can stand for, not a claim that this research applies to it.