User:Arseniiv/Infinite MOS

This page is a stub. You can help the Xenharmonic Wiki by expanding it.

(Also this page contains mentions of me which isn’t very encyclopedic but I wonder how do I restate them in a neutral way without working on clarifying those places instead, which I have no time for, right now.)

An infinite MOS scale^{[idiosyncratic term]} is a generalization of a MOS scale to aperiodic scales. Mathematically, an infinite MOS pattern is a wikipedia:Sturmian word (but extended in both directions), like a periodic MOS pattern is a Christoffel word.

Properties

Like a regular, periodic MOS scale, an infinite MOS scale has the following properties:

1. Maximum variety 2
2. Binary and balanced
3. Binary billiard scale

It is also, in a sense, distributionally even: if you take a limit, then it by all means should work but I haven’t tried. And it has “almost periods” with “almost generators”; an infinite family of MOS patterns increasing in length and including each other can be found in an aperiodic MOS pattern, in infinitely many places.

There are two degenerate cases of an infinite MOS pattern: ...sssssLsssss... and its dual ...LLLLLsLLLLL...; at first glance they can’t be realized as a cutting sequence, but they can either as a limiting case of slope approaching zero or infinity, or by a clever definition of cutting sequence which would include cases like this, or for example using dual numbers (or other infinitesimals).

Definition

To get a scale pattern, one just uses a Sturmian word by using any of its definitions which allows extension in both directions, for example as a cutting sequence of a straight line. Then step sizes are specified. As the scale is aperiodic, step sizes (and hardness) are divorced from the structure of the pattern, and “step abundance” (the slope of a cutting line) is its own variable.

When step abundance gets exactly rational, a Sturmian word becomes an infinitely repeated Christoffel word (and for some reason there doesn’t seem to exist a general term for this kind of cutting word; “Sturmian” is deemed to apply only to irrational slopes) and the scale becomes the usual periodic MOS scale. So, an aperiodic MOS scale is close to infinitely many periodic MOS scales, with periods larger and larger.

The Wikipedia page has a neat constuction for the pattern (though infinite only in one direction) which relates it with the continued fraction expansion of the cutting line’s slope (which equals step abundance, so that’s useful): if the continued fraction is [a₁ + 1, a₂, a₃, a₄ …], the pattern is constructed recursively in a Fibonacci-like way as follows:

p₀ = L

p₁ = s

p_{n + 2} = p_{n + 1}^a_n p_n

p₀ and p₁ may be switched places depending on convention. (Also I do wonder why there is a plus one in the first term of the continued fraction.)

When the fraction is finite, equivalently it means that an a_N = ∞ for some N, which means the resulting pattern is a previous one repeated infinitely, and each partial pattern p_k is a MOS pattern, so we get a regular MOS in case of rational slope, as stated above.

Quasiperiodicity

It is not just the case that you encounter MOS patterns p_k (or their rotations) infinitely often in an infinite pattern; if you translate the entire scale by one of them, you get “too many to be accidental” coincidences of notes between the old and the new scales. I’m not sure how to formulate it efficiently and clearly but it should be the same case of quasiperiodicity as in, like, a Penrose tiling. For example, many quasiperiodic tilings can result from cutting a higher-dimensional periodic tiling by a plane; and that applies to higher dimensions too, so this is the likely case for what happens in a lower dimension (probably the sole case, though one can try cutting the other two regular tilings of a plane by a line).

If the slope is a quadratic irrational, that is its continued fraction terms a_k eventually repeat, you can find a number S such that the scale being scaled by S happens to be a subscale of the original unscaled one. (No proof yet.) The best case of this behavior would be a metallic ratio. (Golden ratio gives a Fibonacci word for the scale pattern.)