Consistent circle

Intuitively, a circle of ~a/b's^{[idiosyncratic term]} in an edo describes a case where a/b is so accurately approximated that you can rely on navigating with it being consistent with respect to the "circle of notes" defined. It is closely related to the concept of telicity, except that a circle can be of any JI interval, as long as it is consistently mapped to the unison when octave-reduced. (It also admits generalization to any equave.)

Motivation

The circle of fifths/fourths can be confusing to navigate in edos which are not telic in that a circle of 3/2's / 4/3's fails to "close", for example in 31edo where the difference between 31 just fifths and 18 octaves is 415% of a 31edostep. Usually, in such edos, there is present other intervals, such as 5/4 and 7/4 in the case of 31edo, which are far more accurate and therefore far more reliable for navigation. In the case of 31edo, 5/4 and 7/4 are in fact so accurate that stacking either of them 31 times (and in fact, any combination of them or their octave complements 31 times, as long as there isn't more than 31 intervals in total) will keep the result off by less than a 31edostep (meaning they form weak circles), even if the result isn't guaranteed to be consistent. (Alternatively, stated, this means the result is guaranteed to be consistent if you stack at most floor(31/2) = 15 of them w.r.t a starting note.)

Definitions

We define a consistent circle (abbreviatable to just circle^{[idiosyncratic term]}) of some (usually JI) interval a/b as: an interval with such extremely low relative error with respect to N-edo that when we stack it m > 0 times, where m is the minimum required to reach a whole number of octaves, the combined interval is consistent with its actual (untempered) size, which is to say it is off by less than 0.5\N = 1200 ¢ / N / 2 (a.k.a. 50% relative error). Note that this definition implies that the circle need not reach all notes of the edo if the circle occurs in a subset edo, but that the circle must have low enough error that within the full edo it is still consistent.

Note that when a/b does generate all notes of the edo (meaning N = m), then that means that (a/b)^{m = N} reaches m = N octaves. This will always be true in a prime edo, such as 31edo, meaning we can easily deduce that stacking 35/32 31 times gets us at 4 octaves, because 35/32's direct mapping is 4\31. This same reasoning can be applied in general if you think instead in terms of the subset edo generated.

Closing error

The closing error of a/b is defined as follows: If k\N is the best approximation of a/b, meaning that:

k = round(N log₂(a/b))

...then the closing error of a/b in N-edo is:

N² log₂(a/b) / GCD(k,N)

Circle

Therefore, N-edo is a circle of ~a/b's iff the closing error c = |N² log₂(a/b) / GCD(k,N)| < 1/2,

and is a weak circle if c < 1 instead, or a strong circle if c < 1/4.

Weak circle

A weak circle is a circle with closing error of less than an edostep, so that going half of the way around the circle in either direction is consistent.

This is a much more common type of circle that is still generally reliable for most purposes, hence useful to distinguish.

Strong circle

A strong circle is a circle with closing error of less than a quarter of an edostep, so that it is in some sense as reliable as you could possibly ask of it.

This is useful because it means that when you tune perfectly, it will have significantly more plausible "closure" than a non-strong circle.

For example, 12edo, 53edo and 665edo are the first three strong circles of ~3/2, given that the remnant is less than a quarter of an edostep in each case.

Is vs. has

An important distinction must be made (when N is not prime) in the case where a/b does not generate all notes of N-edo but only a subset of the notes.

In such a case, we say that N-edo "has a circle of ~a/b's"; it is incorrect to say that N-edo "is a circle of ~a/b's" because that would imply all notes are reached by repeatedly stacking a/b.

Having a sub-aweak circle

A "sub-weak circle of ~a/b's" in N-edo describes a case where the subset edo generated by a/b qualifies as a weak circle of a/b's.

This can be a useful property to distinguish; for example 80edo has a sub-weak circle of ~10/9's, because (10/9)²⁰ / 8 (~48.1 ¢) is smaller in JI than 1\20 = 60 ¢.

This means that if one is satisfied with the circle in the subset edo, one may find it to be sufficiently accurate for navigation with in the larger edo, because of familiarity with it the subset edo.

Having a super-strong circle

A "super-strong circle of ~a/b's" in N-edo describes a case where a/b generates a subset of N-edo but is accurate enough that you can stack floor(N/2)-many a/b's and still have it be consistent w.r.t. the superset edo.

In other words, if N-edo has a super-strong circle of ~a/b's, that means that were GCD(k, N) = 1, it would still qualify as a weak circle.

(We use this weaker/more generous bound rather than the default bound for closing error because such a circle is already going "above-and-beyond" in terms of what's necessary to produce a consistent circle.)

Examples

80edo has a circle of ~12/11's because (12/11)⁸ / 2 = ~5.1 ¢ < 0.5\80 = 7.5 ¢. ~5.1 ¢ (the size of the undecimal octatonic comma) is thus the closing error of the circle of ~12/11's in any multiple of 8edo (assuming 12/11 is mapped to 1\8). 80edo does not have a circle of ~13/10's, even though 8edo is a circle of 13/10's (which requires that 13/10 is mapped to 3\8 consistently by the val chosen), because the accrued error exceeds 0.5\80 = 7.5 ¢. (This does however mean, because 8edo is a circle of ~13/10's, that 80edo has an ultraweak circle of 13/10's. If 8edo had only a weak circle of ~13/10's, this would still be true.)

Another example from before is that 31edo is a weak circle of ~5/4's and ~7/4's, but note that 31edo is a circle of ~35/32's (meaning that 31edo is a (strong) circle of septimal neutral seconds), where 35/32 = (5/4)/(8/7) = 5/4 * 7/4 / 2.

See also

• Telicity
• Circle of fifths