Tuning-Math messages 850 - 874

This is an Opt In Archive . We would like to hear from you if you want your posts included. For the contact address see About this archive. All posts are copyright (c).

Contents Hide Contents S 1

Previous Next

0 50 100 150 200 250 300 350 400 450 500 550 600 650 700 750 800 850 900 950

850 - 875 -



top of page bottom of page down


Message: 850

Date: Fri, 24 Aug 2001 04:41:34

Subject: Re: Now I think "the hypothesis" is true :)

From: Paul Erlich

--- In tuning-math@y..., "Dave Keenan" <D.KEENAN@U...> wrote:
> --- In tuning-math@y..., genewardsmith@j... wrote:
> > --- In tuning-math@y..., "Dave Keenan" <D.KEENAN@U...> wrote:
> > 
> > > What makes the apparent relationship between MOS and 
> > > tempered periodicity blocks hard to fathom ...
> 
> It's not so hard as I first thought. In MOS we are dealing with the 
> log of the generator over the log of the period. In PB's we are 
> dealing with vectors of logs (except they are all logs to different 
> prime bases).

They can be anything. The just intervals forming the basis for the 
lattice are irrelevant for the hypothesis. They can be any intervals 
you want, as long as they're linearly independent.


top of page bottom of page up down


Message: 851

Date: Fri, 24 Aug 2001 04:49:24

Subject: Re: Jacks

From: Paul Erlich

--- In tuning-math@y..., genewardsmith@j... wrote:
> Let me start by reviewing Farey sequences. The first row of the 
Farey 
> sequence is [0/1, 1/1] and the nth row is obtained by inserting the 
> fraction (p1+q1)/(p2+q2) between p1/q1 and p2/q2 if it is in 
reduced 
> form (that is, if gcd(p1+q1, p2+q2)=1) and if q1+q2 <= n. Hence the 
> second row is [0/1, 1/2, 1/1] and so forth.

The q1+q2 rule leads not to a Farey sequence, but to what we've 
called a "Mann" sequence. For the Farey sequence, the rule is

reduced form and q1 <= n and q2 <=n.

See Hardy and Wright, for example.

Anyhow, the rest looks very interesting . . . what post was it 
inspired by . . . and how does it relate to tuning?


top of page bottom of page up down


Message: 852

Date: Fri, 24 Aug 2001 07:50:04

Subject: Re: Jacks

From: genewardsmith@j...

--- In tuning-math@y..., "Paul Erlich" <paul@s...> wrote:

> The q1+q2 rule leads not to a Farey sequence, but to what we've 
> called a "Mann" sequence. For the Farey sequence, the rule is
>
> reduced form and q1 <= n and q2 <=n.
> 
> See Hardy and Wright, for example.

I just saw Hardy and Wright, and they say F_5, the fifth Farey 
sequence, is just what I said it would be. I defined it interatively, 
as for instance Niven and Zuckerman do, and Hardy and Wright define 
it directly, but either way it comes out the same. This is a 
completely standard definition in elementary number theory, but I'm 
afraid I don't know what a Mann sequence is--from the way you refer 
to it, it seems it is not a standard definition.

> Anyhow, the rest looks very interesting . . . what post was it 
> inspired by . . . and how does it relate to tuning?

It was inspired by something you posted saying the Blackjack was 
derived from 36/35 (a high jack) and 81/80, 225/224, and 2401/2400 
(jumping jacks.) This suggests how to find something similar; I 
thought I would write up an explanation for why certain 
superparticular intervals keep popping up in music theory.


top of page bottom of page up down


Message: 853

Date: Fri, 24 Aug 2001 10:51:47

Subject: Half-octave equivalence (was: Chromatic = commatic?)

From: Graham Breed

Paul wrote:

> > The left hand column defines the generator mapping, which we can 
> write as
> >    [ 1]
> > -2*[-2]
> >    [-2]
> >    
> > The minus sign isn't important.  The 2 tells us the new interval 
of 
> > equivalence is half the old one.
> 
> That's your interpretation. But it isn't correct! We have 10 
> equivalence classes in this group, and this half-octave takes you 
> from one equivalence class to another -- not to the same one.

We have 10 notes in the periodicity block, but only 5 equivalence 
classes.  We also have a 24 note periodicity block with only 12 
equivalence classes.  Or would you prefer to inflate the equivalence 
interval to 2 octaves in that case?  Here, it's simple to redefine 
the unison vectors to give a 5 note periodicity block with half-
octave equivalence:

[-1  2  0]
[ 0  1 -1]
[-2  0 -1]

Which means, for my interpretation to be correct, we do need to 
define "small" for unison vectors.

> gives us the mapping by the generator modulo this new interval of 
> > equivalence.  16:15 is [-1 -1 0] times
> > 
> > [ 1]
> > [-2]
> > [-2]
> > 
> > or 1 generator.  3:2 is [1 0 0] or 1 generator.  Where does the 
> algebra 
> > tell us these two intervals are not equivalent?
> 
> Where does it tell us they are? Yes, they're _both_ generators. 
> Because of the symmetry, there is more than one possible generator. 
> Think of a prime-numbered ET -- how many generators does that have?

Any ET has one generator.  Although in octave equivalent terms it has 
none, because all notes are equivalent.  "Octave equivalence" means 
the octave is considered equivalent to a unison.  How can a unison be 
divided into equal steps?

An octave equivalent linear temperament also has one generator.  If 
two different intervals span the same number of generators, they are 
equivalent in that temperament.  That's the case here with the 
approximations to 3:2 and 16:15.


                          Graham


top of page bottom of page up down


Message: 855

Date: Fri, 24 Aug 2001 19:14:04

Subject: Re: Jacks

From: Paul Erlich

--- In tuning-math@y..., genewardsmith@j... wrote:
> --- In tuning-math@y..., "Paul Erlich" <paul@s...> wrote:
> 
> > The q1+q2 rule leads not to a Farey sequence, but to what we've 
> > called a "Mann" sequence. For the Farey sequence, the rule is
> >
> > reduced form and q1 <= n and q2 <=n.
> > 
> > See Hardy and Wright, for example.
> 
> I just saw Hardy and Wright, and they say F_5, the fifth Farey 
> sequence, is just what I said it would be.

Hmm . . . isn't it

0  1  1  1  2  1  3  2  3  4  1
-, -, -, -, -, -, -, -, -, -, - ?
1  5  4  3  5  2  5  3  4  5  1

This is commonly known as the "Farey series of order 5" -- I thought 
I remembered seeing it in Hardy and Wright this way -- is it 
a "series" vs. "sequence" thing?

Anyhow, it seems that the "determinant" of two consecutive fractions 
being equal to one is a property of many differently-defined series --
 for example, a product limit on numerator times denominator, or a 
layer of the Stern-Brocot tree . . . 

> I defined it interatively, 
> as for instance Niven and Zuckerman do, and Hardy and Wright define 
> it directly, but either way it comes out the same.

Maybe I misunderstood your iterative definition -- does my rule 
correspond to Hardy and Wright's direct derivation?

> This is a 
> completely standard definition in elementary number theory, but I'm 
> afraid I don't know what a Mann sequence is--from the way you refer 
> to it, it seems it is not a standard definition.

No, Mann wrote a book called _Analytic Study of Harmonic Intervals_ 
or something like that.
> 
> > Anyhow, the rest looks very interesting . . . what post was it 
> > inspired by . . . and how does it relate to tuning?
> 
> It was inspired by something you posted saying the Blackjack was 
> derived from 36/35 (a high jack) and 81/80, 225/224, and 2401/2400 
> (jumping jacks.)

81/80 shouldn't be there.

> This suggests how to find something similar; I 
> thought I would write up an explanation for why certain 
> superparticular intervals keep popping up in music theory.

I'll have to look at it more closely . . . I posted my own 
explanation for that recently, in a discussion with Monz . . .


top of page bottom of page up down


Message: 856

Date: Fri, 24 Aug 2001 19:19:34

Subject: Re: Half-octave equivalence (was: Chromatic = commatic?)

From: Paul Erlich

--- In tuning-math@y..., "Graham Breed" <graham@m...> wrote:
> Paul wrote:
> 
> > > The left hand column defines the generator mapping, which we 
can 
> > write as
> > >    [ 1]
> > > -2*[-2]
> > >    [-2]
> > >    
> > > The minus sign isn't important.  The 2 tells us the new 
interval 
> of 
> > > equivalence is half the old one.
> > 
> > That's your interpretation. But it isn't correct! We have 10 
> > equivalence classes in this group, and this half-octave takes you 
> > from one equivalence class to another -- not to the same one.
> 
> We have 10 notes in the periodicity block, but only 5 equivalence 
> classes.

I'm afraid that's an incorrect interpretation.

> We also have a 24 note periodicity block with only 12 
> equivalence classes.

That's a very different case! It's pathological. We didn't use the 
generators of the kernel. The decatonic case is not pathological -- 
the generators of the kernel clearly define 10 equivalence classes, 
not 5. Gene?

> Or would you prefer to inflate the equivalence 
> interval to 2 octaves in that case?  Here, it's simple to redefine 
> the unison vectors to give a 5 note periodicity block with half-
> octave equivalence:

That's obvious. But why do that?
> 
> [-1  2  0]
> [ 0  1 -1]
> [-2  0 -1]
> 
> Which means, for my interpretation to be correct, we do need to 
> define "small" for unison vectors.

I agree that unison vectors should be "small", but I don't think your 
interpretation (here) is correct!
> 
> > gives us the mapping by the generator modulo this new interval of 
> > > equivalence.  16:15 is [-1 -1 0] times
> > > 
> > > [ 1]
> > > [-2]
> > > [-2]
> > > 
> > > or 1 generator.  3:2 is [1 0 0] or 1 generator.  Where does the 
> > algebra 
> > > tell us these two intervals are not equivalent?
> > 
> > Where does it tell us they are? Yes, they're _both_ generators. 
> > Because of the symmetry, there is more than one possible 
generator. 
> > Think of a prime-numbered ET -- how many generators does that 
have?
> 
> Any ET has one generator.

Incorrect. 7-tET, for example, can be generated by 1/7 octave, 2/7 
octave, 3/7 octave . . .

> Although in octave equivalent terms it has 
> none, because all notes are equivalent.

Ridiculous.  :)

> "Octave equivalence" means 
> the octave is considered equivalent to a unison.  How can a unison 
be 
> divided into equal steps?

By going around in a circle.


top of page bottom of page up down


Message: 857

Date: Fri, 24 Aug 2001 19:19:56

Subject: Re: EDO consistency and accuracy tables (was: A little research...)

From: Paul Erlich

--- In tuning-math@y..., BobWendell@t... wrote:
> Well, thanks to you, I'm leaning toward 72-tET now, since it has 
the 
> obvious advantage of greater simplicity and is apparently 
consistent 
> through 7-limit.
> 
> Gratefully,
> Bob

It's consistent through 17-limit!


top of page bottom of page up down


Message: 858

Date: Fri, 24 Aug 2001 19:20:47

Subject: Re: EDO consistency and accuracy tables (was: A little research...)

From: Paul Erlich

--- In tuning-math@y..., BobWendell@t... wrote:
> Well, thanks to you, I'm leaning toward 72-tET now

But it's useless for adaptive JI. You'll have to deal with drifts or 
shifts of almost a full comma in typical diatonic triadic 
progressions.


top of page bottom of page up down


Message: 860

Date: Fri, 24 Aug 2001 22:00:22

Subject: Consistency, Smith style

From: genewardsmith@j...

I've used a measure which is related to the idea of consistency 
proposed here, which I would like to explain.

Let w be an odd number, and let p_d <= w be the largest prime less 
than or equal to w, and suppose that there are d primes p_i less than 
or equal to l. Let h:G_p_d ->> Z be a homomorphism (more precisely 
epimorphism, meaning onto) giving a p_d-limit et. Let {q_i} be the 
set of rational numbers q_i >= 1 which are ratios of any two odd 
numbers less than or equal to w, and let n = h(2). We define the w-
consistent goodness measure of h as

n^(1/d) * max(abs(n*log_2(q_i) - h(q_i))

In the most interesting cases, the homomorphism h will simply be the 
homomorphism h_n obtained by rounding n*log_2(p_i) to the nearest 
integer; this lets us define the w-consistent goodness of an integer 
n, by setting

cons(w, n) = n^(1/d) * max(abs(n*log_2(q_i)) - h_n(q_i))

The d-th root of n is introduced because it is the appropriate 
multiplier according to theorems relating to the simultaneous 
Diophantine approximation of d independent numbers.

Here are two tables by way of example:



From 1 to 10000, 5-consistent measure cons(5, n) < 1


1      .736965595
2      .7439736471
3      .4245472985
4      .679700008
5      .8728704449
7      .6706891205
12     .5418300757
15     .8735997285
19     .5083949041
31     .8578063580
34     .6488389972
53     .4527427539
65     .7839449193
118    .4134352529
171    .6499654470
289    .9207676
441    .6622791
559    .9976240155
612    .5676032129
730    .6113208564
1171   .7597497149
1783   .5008376597
2513   .5396476355
4296   .2748910262
6809   .7979361504
8592   .7776946207


From 1 to 10000, 9-consistent measure cons(9, n) < 1.25

1     1.152003094
2      .9136193505
4     1.078956495
5      .7303891055
7     1.151607929
10    1.120372697
12     .8032252875
19     .9065721690
22     .9640922367
27    1.236074910
31     .9044163694
41     .8004237371
46    1.181094402
53    1.023130352
72     .9759757458
99     .8207791216
130   1.213753821
171    .3202177291
270    .7772103754
342    .8068974155
441    .8113651760
612    .9093921787
935   1.231274556
1106  1.219566982
1277  1.192780688
1848  1.206088177
2954  1.055468357
3125   .6018359509
3296  1.116123065
3566   1.147361792
6691   .9930572626
8539   1.219825812


top of page bottom of page up down


Message: 861

Date: Fri, 24 Aug 2001 22:02:52

Subject: Re: Consistency, Smith style

From: genewardsmith@j...

--- In tuning-math@y..., genewardsmith@j... wrote:

> Let w be an odd number, and let p_d <= w be the largest prime less 
> than or equal to w, and suppose that there are d primes p_i less 
than 
> or equal to l. 

Sorry, an ascii "l" looks like the number "1", so I changed the l's 
to w's but missed this one. It should be p_i less than or equal to w.


top of page bottom of page up down


Message: 862

Date: Fri, 24 Aug 2001 23:17:15

Subject: Re: EDO consistency and accuracy tables (was: A little research...)

From: Paul Erlich

--- In tuning-math@y..., BobWendell@t... wrote:

> Well, rats! LOL....Maybe you have some other recommendation that 
> would satisfy the stated goals and still be useful for adaptvie JI?

Are cents really so bad?
 
> Or maybe for compositional purposes, I don't need to be concerned 
> with that?

If you're not planning on worrying about abrupt commatic shifts in 
your melodies (that is, if they don't bother you at all), then maybe 
111-tET would be fine for you.

Personally, I see 152-tET as my "Universal tuning". But I'm not going 
past 11-limit, and I care very much about certain melodic systems.


top of page bottom of page up down


Message: 863

Date: Fri, 24 Aug 2001 23:19:00

Subject: Re: Consistency, Smith style

From: Paul Erlich

I'll have to look at this later, Gene. Sounds very interesting and 
not unlike some things I've mentioned on the tuning list about 5 
years ago when it was on the Mills server.


top of page bottom of page up down


Message: 864

Date: Fri, 24 Aug 2001 23:58:44

Subject: Re: Consistency, Smith style

From: genewardsmith@j...

--- In tuning-math@y..., "Paul Erlich" <paul@s...> wrote:

> I'll have to look at this later, Gene. Sounds very interesting and 
> not unlike some things I've mentioned on the tuning list about 5 
> years ago when it was on the Mills server.

Incidentally, if you or anyone else is interested in Maple routines 
for functions such as cons(w, n) I could post them.


top of page bottom of page up down


Message: 865

Date: Sat, 25 Aug 2001 00:07:15

Subject: Re: Jacks

From: genewardsmith@j...

--- In tuning-math@y..., genewardsmith@j... wrote:

> Let me start by reviewing Farey sequences. The first row of the 
Farey 
> sequence is [0/1, 1/1] and the nth row is obtained by inserting the 
> fraction (p1+q1)/(p2+q2) between p1/q1 and p2/q2 if it is in 
reduced 
> form (that is, if gcd(p1+q1, p2+q2)=1) and if q1+q2 <= n. Hence the 
> second row is [0/1, 1/2, 1/1] and so forth.

This should have been (p1+p2)/(q1+q2) between p1/q1 and p2/q2, of 
course. Was that the problem?


top of page bottom of page up down


Message: 866

Date: Sat, 25 Aug 2001 00:14:16

Subject: Re: Now I think "the hypothesis" is true :)

From: genewardsmith@j...

--- In tuning-math@y..., "Paul Erlich" <paul@s...> wrote:

> In my proof, I actually get at _two different_ (but mathematically 
> equivalent) definitions of MOS. One concerns not a "two-scale-step" 
> condition, as you say, but rather a "Myhill" condition, which says 
> that every generic interval, not just steps but _any_ interval, 
aside 
> from the interval of repetition, will come in exactly two step 
sizes.

Dave told me I was barking up the wrong tree with the semiconvergent 
business, though it seems to me it should imply Myhill's property. 
Did what I said then strike you as using a wrong definition?


top of page bottom of page up down


Message: 867

Date: Sat, 25 Aug 2001 00:37:48

Subject: Re: Now I think "the hypothesis" is true :)

From: Dave Keenan

--- In tuning-math@y..., genewardsmith@j... wrote:
> --- In tuning-math@y..., "Paul Erlich" <paul@s...> wrote:
> 
> > In my proof, I actually get at _two different_ (but mathematically 
> > equivalent) definitions of MOS. One concerns not a 
"two-scale-step" 
> > condition, as you say, but rather a "Myhill" condition, which says 
> > that every generic interval, not just steps but _any_ interval, 
> aside 
> > from the interval of repetition, will come in exactly two step 
> sizes.
> 
> Dave told me I was barking up the wrong tree with the semiconvergent 
> business, though it seems to me it should imply Myhill's property.

Yes it certainly does. We already knew that.
 
> Did what I said then strike you as using a wrong definition?

No. The definition is fine.

But the conjecture/hypothesis we're trying to prove is

tempered-PB = semiconvergent

This is where we could really use your help Gene.

-- Dave Keenan


top of page bottom of page up down


Message: 869

Date: Sun, 26 Aug 2001 02:38:50

Subject: Re: EDO consistency and accuracy tables (was: A little research...)

From: genewardsmith@j...

--- In tuning-math@y..., BobWendell@t... wrote:

> Comma drifts, if writing original compositions as if one had never 
> been exposed to any other system, might actually be viewed as 
> microtonal modulations, and one can write in such a way as to 
return 
> home just as we do in 12-tET. We come back home if we chose to 
> because we compose with the intention of doing so within the 
> constraints the tuning offers us. 

A "comma drift" is simply another word for a microtonal modulation, 
and the idea that avoiding the use of just intonatation will spare us 
from comma drifts is incorrect. It will set any microtonal modulation 
which belongs to the kernel to unison, but not any that do not--in 
fact, these may become exaggerated from what they would have been had 
just intonation been employed.

> If we freely exploit the character of a high-order EDO, why not 
> conceive things in terms of its indigenous character and modulate 
> away from and back to a pitch center as that system's character 
> constrains our freedom to choose as any system does. Why shouldn't 
> our art reflect the intonational medium in which we are working 
> rather than superimposed ideas from media alien to it?

I think microtonalists should use whatever scale suits them; however 
it would be well if they understood the structure of the system they 
intend to use.


top of page bottom of page up down


Message: 870

Date: Sun, 26 Aug 2001 03:47:15

Subject: Re: Now I think "the hypothesis" is true :)

From: genewardsmith@j...

--- In tuning-math@y..., "Dave Keenan" <D.KEENAN@U...> wrote:

> No. The definition is fine.
> 
> But the conjecture/hypothesis we're trying to prove is
> 
> tempered-PB = semiconvergent
> 
> This is where we could really use your help Gene.

I need to see how "tempered-PB" leads to a tuning. For instance, what 
does and does not count as a mean-tone tuning?

If we take 25/24 and 81/80 as our canonical example, leading to the 7-
note scales related to the h_7(2^a*3^b*5^c) = 7*a+11*b+16*c 7-et 
homomorphism, we can temper out 81/80 (commatic unison) and not 25/24.
We then arrive at the mean-tone systems in the 5-limit. We can 
generate our scale with any number of scale steps relatively prime to 
7; for instance 4 steps representing a fifth. If we tune the fifth by 
setting it to x cents, then x/1200 is log_2 of the approximation to 
the fifth are using. This will have 4/7 (4 scale steps out of 7) as a 
semiconvergent if |x/1200 - 4/7| < 1/49, but if it is very far out of 
this range we are in trouble. In other words, in terms of cents we 
want x to be in the interval |x - 685.7 ...| < 171.4...; this 
includes a wide range of tunings for a fifth, but not all tunings 
whatever.


top of page bottom of page up down


Message: 871

Date: Sun, 26 Aug 2001 03:54:29

Subject: Re: Now I think "the hypothesis" is true :)

From: genewardsmith@j...

--- In tuning-math@y..., genewardsmith@j... wrote:

> this range we are in trouble. In other words, in terms of cents we 
> want x to be in the interval |x - 685.7 ...| < 171.4...; this 
> includes a wide range of tunings for a fifth, but not all tunings 
> whatever.

This should be |x - 685.7| < 24.5, sorry.


top of page bottom of page up down


Message: 872

Date: Sun, 26 Aug 2001 20:56:25

Subject: Re: EDO consistency and accuracy tables (was: A little research...)

From: Paul Erlich

--- In tuning-math@y..., BobWendell@t... wrote:
> Hi, Paul! Thanks...
> 
> I've been pondering this a bit, and I'm wondering:
> 
> If I'm only interested in choosing some n-tET as a tool strictly to 
> to serve as a kind of simplified compositional calculus, do I 
really 
> need to be concerned about more than accurate approximation of just 
> intervals and consistency? 

Well, sure -- each ET will imply a different set of progressions that 
drift, and a different set that don't.
> 
> Why ask? Each tuning strategy has its own characteristics and it 
> occurs to me that a composer needn't and perhaps even shouldn't 
think 
> in terms of how it interfaces with the character of others. 

Sure! But you need to be aware of what those characteristics are!
> 
> Comma drifts, if writing original compositions as if one had never 
> been exposed to any other system, might actually be viewed as 
> microtonal modulations, and one can write in such a way as to 
return 
> home just as we do in 12-tET. We come back home if we chose to 
> because we compose with the intention of doing so within the 
> constraints the tuning offers us. 
> 
> If we freely exploit the character of a high-order EDO, why not 
> conceive things in terms of its indigenous character and modulate 
> away from and back to a pitch center as that system's character 
> constrains our freedom to choose as any system does. Why shouldn't 
> our art reflect the intonational medium in which we are working 
> rather than superimposed ideas from media alien to it?

I agree completely -- but these characteristics exert a powerful 
effect on one's compositional possibilities. Hence, it seems 
premature to settle for a given ET as one's "tool" without being sure 
that one wants to be constrained by its particular behaviors.


top of page bottom of page up down


Message: 873

Date: Sun, 26 Aug 2001 20:58:35

Subject: Re: Now I think "the hypothesis" is true :)

From: Paul Erlich

--- In tuning-math@y..., genewardsmith@j... wrote:
> --- In tuning-math@y..., "Dave Keenan" <D.KEENAN@U...> wrote:
> 
> > No. The definition is fine.
> > 
> > But the conjecture/hypothesis we're trying to prove is
> > 
> > tempered-PB = semiconvergent
> > 
> > This is where we could really use your help Gene.
> 
> I need to see how "tempered-PB" leads to a tuning. For instance, 
what 
> does and does not count as a mean-tone tuning?
> 
> If we take 25/24 and 81/80 as our canonical example, leading to the 
7-
> note scales related to the h_7(2^a*3^b*5^c) = 7*a+11*b+16*c 7-et 
> homomorphism, we can temper out 81/80 (commatic unison) and not 
25/24.
> We then arrive at the mean-tone systems in the 5-limit. We can 
> generate our scale with any number of scale steps relatively prime 
to 
> 7; for instance 4 steps representing a fifth. If we tune the fifth 
by 
> setting it to x cents, then x/1200 is log_2 of the approximation to 
> the fifth are using. This will have 4/7 (4 scale steps out of 7) as 
a 
> semiconvergent if |x/1200 - 4/7| < 1/49, but if it is very far out 
of 
> this range we are in trouble. In other words, in terms of cents we 
> want x to be in the interval |x - 685.7 ...| < 171.4...; this 
> includes a wide range of tunings for a fifth, but not all tunings 
> whatever.

What if we first stick with the case where the chromatic unison 
vector is unchanged in size -- so in this case, 2/7-comma meantone.


top of page bottom of page up down


Message: 874

Date: Sun, 26 Aug 2001 21:34:39

Subject: 19-consistent goodness of measurement systems

From: genewardsmith@j...

Here is a list of cons(19, n) for n in the range 1 to 10000. The 
function "cons" was calclulated via the following Maple routine:

with(padic,ordp):
cons := proc(w,n)
local i,j,d,e,t,f,h,p,q,u,v;
    d := 0;
    for i by 2 to w do  if isprime(i) then d := d+1; p[d] := i fi od;
    e := 0;
    for i by 2 to w-2 do
        for j from i+2 by 2 to w do
            if gcd(i,j) = 1 then e := e+1; q[e] := j/i fi
        od
    od;
    t := ln(2);
    for i to d do  h[i] := round(evalf(n*ln(p[i])/t)) od;
    for i to e do
        u[i] := 0; for j to d do  u[i] := u[i]+ordp(q[i],p[j])*h[j] od
    od;
    for i to e do  v[i] := abs(evalf(n*ln(q[i])/t-u[i])) od;
    f := 0;
    for i to e do  f := max(f,v[i]) od;
    evalf(n^(1/d)*f)
end:

Some idea of the advantages of programming in Maple or similar 
computer algebra packages (e.g. Mathematica, Macsyma, Axiom, etc.) 
can be discerned from this--the program uses built-in functions to 
compute the GCD, determine if an integer is prime, and measure (with 
the ordp function) the divisibility of a rational number by a given 
prime.

19-consistent measure with cons(19, n) < 1 for n from 1 to 10000

2      .9728631558
7      .9718578174
31     .9504221384
50     .9174777262
80     .9050078510
94     .8876782729
111    .9407450518
121    .8711227952
311    .8268720520
320    .8842773382
364    .9500455011
400    .9876634122
422    .9828907615
436    .9633235237
460    .9202207116
581    .8608767534
742    .9205311588
1178   .8708834628
1578   .8898715197
2000   .8594235879
2460   .9155568082
3395   .9139203767
8539   .8797434553

Nothing on this list really jumps out, though clearly 311 is a very 
strong contender even at the 19-limit. Aside from the goodness (or 
perhaps it should be badness, since smaller numbers are better) 
measure, we might want to note divisibility properties. The 2460 
system system is divisible by 12, and 111 and 1578 are at least 
divisible by 3, which accomplishes more or less the same thing; 
including some systems which have been mentioned but are not on this 
list we have:

72 = 6 * 12
111 = 9.25 * 12
612 = 51 * 12
1200 = 100 * 12
1578 = 131.5 * 12
2460 = 205 * 12

If representing other divisions would be useful, we also have:

2460 = 164 * 15 = 60 * 41 = 205 * 12

152 = 8 * 19
171 = 9 * 19
1178 = 62 * 19 = 38 * 31

121 = 5.5 * 22

460 = 10 * 46

742 = 14 * 53

If you count 50 as interesting, you can even add:

80 = 1.6*50, 320 = 6.4*50, 400 = 8*50, 460 = 9.2*50, 1200 = 24*50, 
2000 = 40*50, 2460 = 49.2*50, and 3395 = 67.9*50. 

Alas, 311 and 8539 are prime!


top of page bottom of page up

Previous Next

0 50 100 150 200 250 300 350 400 450 500 550 600 650 700 750 800 850 900 950

850 - 875 -

top of page