Kite's thoughts on pergens: Difference between revisions

TallKite (talk | contribs)
changed "Blackwood-like" to "multi-edo"
TallKite (talk | contribs)
mNo edit summary
Line 1: Line 1:


__FORCETOC__
__FORCETOC__
=='''<u>Definition</u>'''==
==Definition==


A '''pergen''' (pronounced "peer-gen") is a way of classifying a regular temperament solely by its period and generator(s). For any temperament, there are many possible periods and generators. For the pergen, they are chosen to use the fewest, and smallest, prime factors possible. Fractions are allowed, e.g. half-octave, but avoided if possible.
A '''pergen''' (pronounced "peer-gen") is a way of classifying a regular temperament solely by its period and generator(s). For any temperament, there are many possible periods and generators. For the pergen, they are chosen to use the fewest, and smallest, prime factors possible. Fractions are allowed, e.g. half-octave, but avoided if possible.
Line 140: Line 140:
In keeping with the higher-prime-agnostic nature of pergens, untempered just intonation has a pergen of the octave, the fifth, and a list of commas, each containing only one higher prime. The higher prime's exponent in the comma's monzo must be ±1, i.e. the color depth must be 1. Furthermore, the comma should map to P1, e.g. 81/80 or 64/63. The commas are notated with microtonal accidentals: (P8, P5, ^1, /1,...).
In keeping with the higher-prime-agnostic nature of pergens, untempered just intonation has a pergen of the octave, the fifth, and a list of commas, each containing only one higher prime. The higher prime's exponent in the comma's monzo must be ±1, i.e. the color depth must be 1. Furthermore, the comma should map to P1, e.g. 81/80 or 64/63. The commas are notated with microtonal accidentals: (P8, P5, ^1, /1,...).


=<u>Derivation</u>=
=Derivation=


For any comma, let m = the GCD of all the monzo's exponents other than the 2-exponent, and let n = the GCD of all its higher-prime exponents, where GCD (0,x) = x. The comma will split the octave into m parts, and if n &gt; m, it will split some 3-limit interval into n parts.
For any comma, let m = the GCD of all the monzo's exponents other than the 2-exponent, and let n = the GCD of all its higher-prime exponents, where GCD (0,x) = x. The comma will split the octave into m parts, and if n &gt; m, it will split some 3-limit interval into n parts.
Line 308: Line 308:
The pergen sometimes uses a larger prime in place of a smaller one in order to avoid splitting gen2, but only if the smaller prime is &gt; 3. In other words, the first priority is to have as few higher primes (colors) as possible, next to have as few fractions as possible, finally to have the higher primes be as small as possible.
The pergen sometimes uses a larger prime in place of a smaller one in order to avoid splitting gen2, but only if the smaller prime is &gt; 3. In other words, the first priority is to have as few higher primes (colors) as possible, next to have as few fractions as possible, finally to have the higher primes be as small as possible.


=<u>Applications</u>=
=Applications=


Pergens allow for a systematic exploration of all posible rank-2 tunings, potentially identifying new musical resources.
Pergens allow for a systematic exploration of all posible rank-2 tunings, potentially identifying new musical resources.
Line 985: Line 985:
|}
|}


=<u>Further Discussion</u>=
=Further Discussion=


==Naming very large intervals==
==Naming very large intervals==
Line 4,056: Line 4,056:
Because n is a multiple of b, n/b is an integer
Because n is a multiple of b, n/b is an integer


M/b = (n/b)·M/n = (n/b)·G
M/b = (n/b)·M/n = (n/b)·G<br/>
 
(a+b)·P8 = b·(M/b - P5) = b·((n/b)·G - P5)
(a+b)·P8 = b·(M/b - P5) = b·((n/b)·G - P5)


Line 4,064: Line 4,063:
Since the pergen is a double-split, m &gt; 1, therefore |b| &gt; 1, therefore c ≠ 0
Since the pergen is a double-split, m &gt; 1, therefore |b| &gt; 1, therefore c ≠ 0


c·(a+b)·P8 = c·b·((n/b)·G - P5)
c·(a+b)·P8 = c·b·((n/b)·G - P5)<br/>
 
(1 - d·b)·P8 = c·b·((n/b)·G - P5)<br/>
(1 - d·b)·P8 = c·b·((n/b)·G - P5)
P8 = d·b·P8 + c·b·((n/b)·G - P5) = b · (d·P8 + c·(n/b)·G - c·P5)<br/>
 
P8 = d·b·P8 + c·b·((n/b)·G - P5) = b · (d·P8 + c·(n/b)·G - c·P5)
 
P8/m = P8/|b| = sign (b) · (d·P8 - c·P5 + c·(n/b)·G)
P8/m = P8/|b| = sign (b) · (d·P8 - c·P5 + c·(n/b)·G)


Therefore P8 is split into m periods
Therefore P8 is split into m periods<br/>
 
Therefore if m = |b|, the pergen is explicitly false
Therefore if m = |b|, the pergen is explicitly false


Assume the pergen is a false double, and there's a comma C that splits both P8 and (a,b) appropriately. Can we prove r = 1? Let Q = the higher prime that C uses. Express P, G and C as monzos of the prime subgroup 2.3.Q, by expanding the 2x2 pergen matrix to a 3x3 matrix A:
Assume the pergen is a false double, and there's a comma C that splits both P8 and (a,b) appropriately. Can we prove r = 1? Let Q = the higher prime that C uses. Express P, G and C as monzos of the prime subgroup 2.3.Q, by expanding the 2x2 pergen matrix to a 3x3 matrix A:


P = (1/m, 0, 0)
P = (1/m, 0, 0)<br/>
 
G = (a/n, b/n, 0)<br/>
G = (a/n, b/n, 0)
 
C = (u, v, w)
C = (u, v, w)


Here u, v and w are integers. If GCD (u, v, w) &gt; 1, simplify C so that it = 1. The inverse of A expresses 2, 3 and Q in terms of P, G and C. If C is tempered out, the C column can be discarded, making the usual 3x2 period-generator mapping. However, if C is not tempered out, the inverse of A is a 3x3 period-generator-comma mapping, which is simply a change of basis. For example, 5-limit JI can be generated by 2/1, 3/2 and 81/80. Here is the inverse of A:
Here u, v and w are integers. If GCD (u, v, w) &gt; 1, simplify C so that it = 1. The inverse of A expresses 2, 3 and Q in terms of P, G and C. If C is tempered out, the C column can be discarded, making the usual 3x2 period-generator mapping. However, if C is not tempered out, the inverse of A is a 3x3 period-generator-comma mapping, which is simply a change of basis. For example, 5-limit JI can be generated by 2/1, 3/2 and 81/80. Here is the inverse of A:


2 = 2/1 = P8 = (m, 0, 0) · (P, G, C)
2 = 2/1 = P8 = (m, 0, 0) · (P, G, C)<br/>
 
3 = 3/1 = P12 = (-am/b, n/b, 0) · (P, G, C)<br/>
3 = 3/1 = P12 = (-am/b, n/b, 0) · (P, G, C)
 
Q = Q/1 = ((av-bu)m/wb, -vn/wb, 1/w) · (P, G, C)
Q = Q/1 = ((av-bu)m/wb, -vn/wb, 1/w) · (P, G, C)


Fractions are allowed in the first two rows of A but not the 3rd row. Fractions are allowed in the last column of A-inverse, but not the first two columns. Every pergen except the unsplit one requires |w| &gt; 1, so the last column almost always has a fraction. To avoid fractions in the first two columns, A must be unimodular '''''[I think, not sure]''''', and we have wb/mn = ±1, and w = ±mn/b. Substituting for w, we have:
Fractions are allowed in the first two rows of A but not the 3rd row. Fractions are allowed in the last column of A-inverse, but not the first two columns. Every pergen except the unsplit one requires |w| &gt; 1, so the last column almost always has a fraction. To avoid fractions in the first two columns, A must be unimodular '''''[I think, not sure]''''', and we have wb/mn = ±1, and w = ±mn/b. Substituting for w, we have:


2 = 2/1 = P8 = (m, 0, 0) · (P, G, C)
2 = 2/1 = P8 = (m, 0, 0) · (P, G, C)<br/>
 
3 = 3/1 = P12 = (-am/b, n/b, 0) · (P, G, C)<br/>
3 = 3/1 = P12 = (-am/b, n/b, 0) · (P, G, C)
 
Q = Q/1 = (±(av-bu)/n, ±(-v)/m, ±b/mn) · (P, G, C)
Q = Q/1 = (±(av-bu)/n, ±(-v)/m, ±b/mn) · (P, G, C)


Line 4,165: Line 4,154:
to find the definition, use control-F to search for the first (bolded) occurrence of the word on this page.
to find the definition, use control-F to search for the first (bolded) occurrence of the word on this page.


pergen
pergen<br/>
 
split<br/>
split
multigen<br/>
 
ups and downs (the ^ and v symbols)<br/>
multigen
higher prime (any prime &gt; 3)<br/>
 
color depth<br/>
ups and downs (the ^ and v symbols)
dependent/independent<br/>
 
square mapping<br/>
higher prime (any prime &gt; 3)
lifts and drops (the / and \ symbols)<br/>
 
enharmonic<br/>
color depth
genchain<br/>
 
perchain<br/>
dependent/independent
wide/widen (increased by an octave)<br/>
 
single-split, double-split<br/>
square mapping
single-pair, double-pair (number of new accidentals in the notation)<br/>
 
true double, false double<br/>
lifts and drops (the / and \ symbols)
explicitly false<br/>
 
unreduced<br/>
enharmonic
alternate vs. equivalent (generator or period)<br/>
 
mapping comma<br/>
genchain
keyspan<br/>
 
stepspan<br/>
perchain
gedra<br/>
 
count<br/>
wide/widen (increased by an octave)
mid<br/>
 
edomapping<br/>
single-split, double-split
upspan<br/>
 
single-pair, double-pair (number of new accidentals in the notation)
 
true double, false double
 
explicitly false
 
unreduced
 
alternate vs. equivalent (generator or period)
 
mapping comma
 
keyspan
 
stepspan
 
gedra
 
count
 
mid
 
edomapping
 
upspan
 
liftspan
liftspan


Line 4,229: Line 4,191:
General rules for combining pergens:
General rules for combining pergens:


<ul><li>(P8/m, M/n) + (P8, P5) = (P8/m, M/n)</li><li>(P8/m, P5) + (P8, M/n) = (P8/m, M/n)</li><li>(P8/m, P5) + (P8/m', P5) = (P8/m", P5), where m" = LCM (m,m')</li><li>(P8, M/n) + (P8, M/n') = (P8, M/n"), where n" = LCM (n,n')</li></ul>
<ul><li>(P8/m, M/n) + (P8, P5) = (P8/m, M/n)</li>
<li>(P8/m, P5) + (P8, M/n) = (P8/m, M/n)</li>
<li>(P8/m, P5) + (P8/m', P5) = (P8/m", P5), where m" = LCM (m,m')</li>
<li>(P8, M/n) + (P8, M/n') = (P8, M/n"), where n" = LCM (n,n')</li></ul>


However, (P8/2, M2/4) + (P8, P4/2) = (P8/4, P4/2), so the sum isn't always obvious.
However, (P8/2, M2/4) + (P8, P4/2) = (P8/4, P4/2), so the sum isn't always obvious.
Line 4,239: Line 4,204:
Gedras can be expanded to 5-limit or higher by including another keyspan that is compatible with 7 and 12, such as 9 or 16. But a more useful approach is for the third number to be the comma 81/80. Thus 5/4 would be a M3 minus a comma, [4, 2, -1]. We can use 64/63 to expand to the 7-limit. For (a,b,c,d) we get [k,s,g,r]:
Gedras can be expanded to 5-limit or higher by including another keyspan that is compatible with 7 and 12, such as 9 or 16. But a more useful approach is for the third number to be the comma 81/80. Thus 5/4 would be a M3 minus a comma, [4, 2, -1]. We can use 64/63 to expand to the 7-limit. For (a,b,c,d) we get [k,s,g,r]:


k = 12a + 19b + 28c + 34d
k = 12a + 19b + 28c + 34d<br/>
 
s = 7a + 11b + 14c + 20d<br/>
s = 7a + 11b + 14c + 20d
g = -c<br/>
 
g = -c
 
r = -d
r = -d


a = -11k + 19s - 4g + 6r
a = -11k + 19s - 4g + 6r<br/>
 
b = 7k - 12s + 4g - 2r<br/>
b = 7k - 12s + 4g - 2r
c = -g<br/>
 
c = -g
 
d = -r
d = -r