Skip to search.
tuning-math

Group Information

  • Members: 191
  • Category: Mathematics
  • Founded: May 21, 2001
  • Language: English
? Already a member? Sign in to Yahoo!

Yahoo! Groups Tips

Did you know...
Message search is now enhanced, find messages faster. Take it for a spin.

Messages

  Messages Help
Advanced
hey gene   Message List  
Reply Message #6955 of 20696 |
TM reduction

--- In tuning-math@yahoogroups.com, "monz" <monz@a...> wrote:

> i asked Gene for a good definition for TM reduction a
> long time ago ... and Gene, if you gave it to me and i
> lost it in the shuffle, i apologize. can you send it again?

First we need to define Tenney height: if p/q is a positive rational
number in reduced form, then the Tenney height is TH(p/q) = p q.

Now suppose {q1, ..., qn} are n multiplicatively linearly independent
positive rational numbers. Linear independence can be equated, for
instance, with the condition that rank of the matrix whose rows are
the monzos for qi is n. Then {q1, ..., qn} is a basis for a lattice
L, consisting of every positive rational number of the form q1^e1 ...
qn^en where the ei are integers and where the log of the Tenney
height defines a norm. Let t1>1 be the shortest (in terms of Tenney
height) rational number in L greater than 1. Define ti>1 inductively
as the shortest number in L independent of {t1, ... t_{i-1}} and such
that {t1, ..., ti} can be extended to be a basis for L. In this way
we obtain {t1, ..., tn}, the TM reduced basis of L.




Thu Oct 2, 2003 12:34 am

genewardsmith
Offline Offline
Send Email Send Email

Message #6955 of 20696 |
Expand Messages Author Sort by Date

hey Carl (and Gene, even moreso), ... i asked Gene for a good definition for TM reduction a long time ago ... and Gene, if you gave it to me and i lost it in...
monz
joemonz Offline Send Email
Oct 1, 2003
7:58 am

... First we need to define Tenney height: if p/q is a positive rational number in reduced form, then the Tenney height is TH(p/q) = p q. Now suppose {q1, ...,...
Gene Ward Smith
genewardsmith Offline Send Email
Oct 2, 2003
12:34 am

what's the point of defining tenney height as p*q if you're only going to use the log anyway, and tenney harmonic distance is already log(p*q)? ... rational ...
Paul Erlich
paulerlich Offline Send Email
Oct 2, 2003
12:39 am

... already ... It's simpler--it doesn't involve any transcendental functions. Aside from that logs do have advantages, because you get a norm....
Gene Ward Smith
genewardsmith Offline Send Email
Oct 2, 2003
12:44 am

thanks, Gene!!!! ... rational ... independent ... q1^e1 ... ... inductively ... such...
monz
joemonz Offline Send Email
Oct 2, 2003
8:43 am

... Here's a definion of Minkowski reduction: http://www.farcaster.com/papers/sm-thesis/node6.html Manuel...
Manuel Op de Coul
kleisma Offline Send Email
Oct 1, 2003
10:07 am

... Aside from the fact that I don't know what elements are in a set notated like {(p/q)^i (r/s)^i}, and I can't fathom the function of t/u in this definition,...
Carl Lumma
clumma Offline Send Email
Oct 1, 2003
8:22 pm

... the last i should be a j. that's the set of ratios that can be expressed as (p/q)^i *times* (r/s)^j. ... the definition should have read, "the only numbers...
Paul Erlich
paulerlich Offline Send Email
Oct 1, 2003
8:38 pm

... let me try again -- it should have read "the only ratios t/u in the set . . ." there....
Paul Erlich
paulerlich Offline Send Email
Oct 1, 2003
8:47 pm

... Now it makes sense... ... So IOW, if you have a pair of unison vectors for a PB, you shouldn't be able to stack them both in some way to get an interval...
Carl Lumma
clumma Offline Send Email
Oct 1, 2003
9:57 pm

... I see you've just answered affirmatively. -C....
Carl Lumma
clumma Offline Send Email
Oct 1, 2003
10:03 pm

... Whoops, finger failure. ... I figured it was a multiply, but didn't realize this was what it meant. ... Uh... ... Ok. So how can we get this into monz'...
Carl Lumma
clumma Offline Send Email
Oct 1, 2003
9:45 pm

... yes, a reduced basis will have good straightness, because the set of basis vectors is, in some sense, as short as possible. and, as we discussed before,...
Paul Erlich
paulerlich Offline Send Email
Oct 1, 2003
9:51 pm

... Yes, but I meant does the difference between KZ and M have to do with straightness? -Carl...
Carl Lumma
clumma Offline Send Email
Oct 1, 2003
10:02 pm

... of ... always ... they'll ... dunno, haven't thought about it . . ....
Paul Erlich
paulerlich Offline Send Email
Oct 1, 2003
10:04 pm

... In case you missed it, it's this bit here, which I don't quite follow... ... -Carl...
Carl Lumma
clumma Offline Send Email
Oct 1, 2003
10:07 pm

... vector ... are ... space ... i'm confused about that, because wouldn't b_2, b_2 + b_1, b_2 + 2*b_1, b_2 - b+1, etc., all have the same length in the...
Paul Erlich
paulerlich Offline Send Email
Oct 1, 2003
10:13 pm

... I've heard of orthogonal and complement, but never "orthogonal complement". -Carl...
Carl Lumma
clumma Offline Send Email
Oct 1, 2003
11:16 pm

... you can always look it up! http://mathworld.wolfram.com/OrthogonalComplement.html...
Paul Erlich
paulerlich Offline Send Email
Oct 1, 2003
11:38 pm

... One difference is that KZ requires a Euclidean norm, which Tenney doesn't give us....
Gene Ward Smith
genewardsmith Offline Send Email
Oct 2, 2003
12:40 am

hi paul and Carl, ... i understand this, in a nutshell, to mean that the reduction process places the bounding vectors of the periodicity-block as close as...
monz
joemonz Offline Send Email
Oct 2, 2003
8:31 am

... if you choose to use the center/origin as one of the vertices of your fokker periodicity block, then yes....
Paul Erlich
paulerlich Offline Send Email
Oct 3, 2003
9:31 pm

... These are what I called "chord blocks", which are 7-limit scales analogous to Fokker blocks. This works because 7-limit tetrads, uniquely among prime...
Gene Ward Smith
genewardsmith Offline Send Email
Oct 1, 2003
11:54 pm

... What are cm1, c1, and s1? ... I remember this stuff. But I don't remember the bit about the 7-limit being unique in this. What is it that makes, say, the...
Carl Lumma
clumma Offline Send Email
Oct 2, 2003
7:57 am

... s1 is the scale. If I recall correctly, cm1 is the comma basis, and c1 is something obtained from cm1 and used to calculate s1. ... 5-limit triads can be...
Gene Ward Smith
genewardsmith Offline Send Email
Oct 2, 2003
8:32 am

... Why isn't it a group? -Carl...
Carl Lumma
clumma Offline Send Email
Oct 2, 2003
8:37 am

... it ... One step takes a C minor chord to a C major chord. Where does the next step go? It doesn't go to a chord at all--we don't have a group, since we...
Gene Ward Smith
genewardsmith Offline Send Email
Oct 2, 2003
8:44 am

... Doesn't go to a chord? Aren't you connecting the centers of the triangles? Then I get Cm->CM->C#m. If you connect the roots, or any of the vertices, I...
Carl Lumma
clumma Offline Send Email
Oct 2, 2003
10:30 am

... I'm connecting the centers of the triangles with a line whenever there is a common line between two of the triangles. This gives hexagons, where you have a...
Gene Ward Smith
genewardsmith Offline Send Email
Oct 2, 2003
11:37 pm

... So CM and C#m aren't connected then? Why wouldn't you connect them? ... So does connecting the centers of all the triangles. ... If you continue in the...
Carl Lumma
clumma Offline Send Email
Oct 3, 2003
5:18 am
 First  |  |  Last 
Advanced

Copyright © 2010 Yahoo! Inc. All rights reserved.
Privacy Policy - Terms of Service - Guidelines NEW - Help