View source for Wedgie/Archived version

{{texmap}}
{{inacc}}
An alternating {{w|multilinear map}} which is a multilinear function taking a certain number ''n'' of [[monzos]] as arguments and returning an integer as a value we may call an '''''n''-map'''. This definition is quite a mouthful, and we will attempt to unpack it in more comprehensible language and explain why these things are valuable in tuning theory.

The simplest kind of ''n''-map is the 1-map, or [[val]]. This takes p-limit rational numbers, which may be written as monzos, and returns an integer, and may be called both a {{w|group homomorphism}} and a [http://mathworld.wolfram.com/ModuleHomomorphism.html module homomorphism]. Vals are {{w|Linear map|linear}}: If you take the product of two ''p''-limit rationals (or equivalently, add the corresponding monzos) then the val applied to the product/sum is the sum of the val applied to each separately, and so forth. Next come the 2-maps. These are linear functions {{nowrap|f(''u'', ''v'')}}, linear for ''u'' fixing ''v'', and linear for ''v'' fixing ''u'', and alternating. meaning that {{nowrap|f(''u'', ''u'') {{=}} 0}} and {{nowrap|f(''u'', ''v'') {{=}} −f(''v'', ''u'')}}.

One use for such things is as "machines" for measuring complexity. If we consider the 1-map which is the val for 11-limit 31et, we find we have <math>\tval{31 & 49 & 72 & 87 & 107}</math>. This tells us that it takes 72 steps of 31 equal to get to the approximate 5, which therefore has a complexity of 72 in this system. Now consider a 2-map {{nowrap|"meantone(''u'', ''v'')"}} which tells us, roughly speaking, how many generator steps it takes to get to ''v'' assuming ''u'' is being used as a period in septimal meantone. Using 2 as a period we can take (the approximate) 3/2 as a generator, in which case we have {{nowrap|meantone(2, 3) {{=}} 1}}, {{nowrap|meantone(2, 5) {{=}} 4}}, {{nowrap|meantone(2, 7) {{=}} 10}}. With 3 as a period and 3/2 as a generator, we get {{nowrap|meantone(3, 5) {{=}} 4}} and {{nowrap|meantone(3, 7) {{=}} 13}}. Finally, with if we take 5 as a period we find that four 3/2s give 5, so 5<sup>{{frac|1|4}}</sup> (or equivalently, {{frac|3|2}}) is the basic period. Using {{frac|3|2}} as a period and {{frac|9|8}} as a generator we get three generator steps to 7, and multiplying by four to be using 5 and not 5<sup>{{frac|1|4}}</sup> gives us {{nowrap|meantone(5, 7) {{=}} 12}}. This description does not make clear where the signs come from, which will emerge from the discussion of the wedge product, but it may help to elucidate how these things are connected to complexity.

Given an ''n''-map ''f'' and an ''m''-map ''g'' we may define a new ({{nowrap|''n'' + ''m''}})-map, the {{w|wedge product}} of ''f'' and ''g'', written {{nowrap|''f'' ∧ ''g''}}, as follows:

<math>\displaystyle f\wedge g = \sum_s \operatorname{sgn}\left(s\right)f\left(x_s(1), x_s(2), \ldots, x_s\left(n\right)\right)g\left(x_s\left(n  +1\right), \ldots, x_s\left(n + m\right)\right)</math>

where the sum is taken over {{nowrap|S(''n'', ''m'')}}, the set of all {{w|permutation}}s of the first {{nowrap|''n'' + ''m''}} integers which are an {{w|(p,q)_shuffle|{{nowrap|(''n'', ''m'')}} shuffle}}, and sgn(''t'') is the {{w|parity of the permutation}} ''t'', which is +1 if ''t'' is even meaning an even number of transpositions of two numbers will get to ''t'', and −1 if ''t'' is odd.

If ''f'' and ''g'' are both vals (1-maps) then this becomes especially easy: {{nowrap|(''f'' ∧ ''g'')(''u'', ''v'') {{=}} ''f''(''u'')''g''(''v'') − ''f''(''v'')''g''(''u'')}}. Let's consider a specific example. Suppose <math>E_{19} = \val{19 & 30 & 44 & 53}</math> is the equal temperament val for septimal 19et, and <math>E_{31} = \val{31 & 49 & 72 & 87}</math> is the val for septimal 31et. Then writing intervals multiplicatively, we have

<math>\left(E_{19}\wedge E_{31}\right)\left(2,3\right) = E_{19}\left(2\right)E_{31}\left(3\right) - E_{19}\left(3\right)E_{31}\left(2\right) = 19*49 - 31*30 = 1.</math>

We may continue in this way to consider (2,&nbsp;5), (2,&nbsp;7), (3,&nbsp;5), (3,&nbsp;7), and (5,&nbsp;7), and writing them in this alphabetical order yields <math>\bitval{1 & 4 & 10 & 4 & 13 & 12}</math>. Here, the double angle braces are to indicate that the object is a 2-map. In fact, it is a special kind of 2-map in that it is the result of taking a wedge product rather than being, eg, the sum of two wedge products and is called a '''bival'''. In the same way, triple wedge products yield trivals which we depict with three angle braces, and so forth. Just as vals as associatd to rank one (equal) temperaments, bivals are associated to [[rank two temperament]]s such as [[meantone]], trivals to [[rank three temperament]]s, and so forth. In tuning theory the necessity to look at any n-maps aside from vals, bivals and trivals seldom arises, so this notation, which is not standardly mathematical but which has been adopted for convenience by tuning theorists, is quite practical. As we can see by comparing the numbers, {{nowrap|E<sub>19</sub> ∧ E<sub>31</sub>}} is the same object we were calling {{nowrap|"meantone(''u'', ''v'')"}} which gives us complexity measurements for meantone.

This particular bival has the properties that the first nonzero coordinate (1, in this case) is positive, and that the {{w|GCD}} of all of the coordinates is 1. An n-map with these properties we may call ''reduced'', and reduced n-vals can be used to give unique names to [[regular temperament]]s.

These reduced ''n''-vals, and particularly reduced bivals, are called '''wedgies''' (or [[Plücker coordinates]]), and the fact that they are reduced both makes the name unique and tells us that wedgies are {{w|projective space|projective}}, and hence the definition of regular temperaments in terms of them is projective. Thus, <math>E_{24} = \tval{24 & 38 & 56}</math> is a perfectly valid val, but since it is not reduced, it does not define a 1-wedgie and hence there is no 5-limit 24et temperament to go with it. Sometimes such a temperament, where more than one set of notes exists in it each of which is unreachable from the others via intervals with defined prime mappings is called ''contorted''. Wedgies do not name or signify contorted temperaments.

== Computing the previous example in Maple ==
In fact one can directly do many computations in Maple. Let us associate to the i'th prime the variable [math] x_i [/math]. So for example 7 corresponds to [math] x_4 [/math]. Then we introduce a basis vector [math] dx_i [/math] associated to the variable [math] x_i [/math]. Then to a pair of primes, for example [math] (3,7) [/math], we associate a basis vector [math] dx_2 \wedge dx_4 [/math]. Similarly if we have 3 or more primes. Expressions where there are [math] dx_i [/math] can be called 1 forms, [math] dx_i \wedge dx_j [/math] 2 forms etc.

In this way let's write <math>E_{19} = \val{19 & 30 & 44 & 53}</math> and <math>E_{31} = \val{31 & 49 & 72 & 87}</math>  as [math] e_{19}=19dx_1+30dx_2+44dx_3+53dx_4 [/math] and  [math] e_{31}=31dx_1+49dx_2+72dx_3+87dx_4 [/math]. Then we simply compute the exterior product

[math] \displaystyle \alpha =e_{19} \wedge e_{31}=dx_1\wedge dx_2+4dx_1\wedge dx_3+10dx_1\wedge dx_4+4dx_2\wedge dx_3 +13dx_2\wedge dx_4+12dx_3\wedge dx_4[/math].

A form is said to be decomposable if it can be written as an exterior product of 1 forms. So given above [math] \alpha [/math] how do we know if it is decomposable or not? Let us introduce a linear map [math] L (b)=b\wedge \alpha [/math]. This is a map from 1 forms to 3 forms. Now a kernel or nullspace of this map are all 1 forms such that [math] L(b)=0 [/math]. A basis for this nullspace in the present case is

[math] \displaystyle b_1=dx_1-4dx_3-13dx_4 \quad, \quad b_2=dx_2+4dx_3+10dx_4 [/math].

Now one can check that [math] \alpha=b_1\wedge b_2 [/math].  All these computations can be done easily in Maple when the things are properly set up. But is this useful to anyone?

The original [math] (e_{19}, e_{31}) [/math] is a different basis of the nullspace. In matrix terms the connection between them is as follows. If

[math] \displaystyle A=\begin{pmatrix} 19 & 30 & 44 & 53 \\ 31 & 49 & 72 & 87 \end{pmatrix}[/math]

then its Hermite (normal) form is

[math] \displaystyle H=\begin{pmatrix} 1 & 0 & -4 & -13 \\ 0 & 1 & 4 & 10 \end{pmatrix}[/math]

Let us take another [[Dave Keenan & Douglas Blumeyer's guide to EA for RTT|example]]. Suppose we have  [math] \alpha_0=dx_1\wedge dx_2\wedge dx_3+2dx_1\wedge dx_2\wedge dx_4-2dx_1\wedge dx_3\wedge dx_4 -5dx_2\wedge dx_3\wedge dx_4[/math]. Now we have  [math] L_0 (b)=b\wedge \alpha_0 [/math] and the basis for nullspace is 

[math] \displaystyle b_1=dx_1+5dx_4 \quad, \quad b_2=dx_2+2dx_4 \quad, \quad b_3=dx_3+2dx_4 [/math].

and one can check that [math] \alpha=b_1\wedge b_2 \wedge b_3[/math]. Note by the way that {{nowrap|''n'' − 1}} forms are always decomposable (here n=4 and we computed the decomposition of 3 form).

== How to derive the period and generator from a rank-2 wedgie ==
The following is a procedure for finding a period and a generator for a rank-2 regular temperament on the 2.''q''<sub>1</sub>.(…).''q''<sub>''n''</sub> [[JI subgroup]]<ref>Note that ''q''<sub>1</sub> is not 2, but the next element in the chosen basis of the group</ref>. We also give a (hopefully convincing and enlightening) proof of why the procedure always works. We'll assume that the [[equave]] is the octave, but non-octave JI equaves can be substituted for the octave if needed, by substituting the appropriate JI ratio for 2/1.

The following assumes that:
* You can think of JI ratios as vectors living in the ''n''-dimensional lattice of the "JI subgroup",
* You know what a "period" and a "generator" of a rank-2 temperament are, and
* You know what [[monzo]]s and [[val]]s are and how to work with them.

=== The procedure ===
Consider the rank-2 temperament a&b, where a and b are two [[val]]s. Then the entries of the wedgie W corresponding to a&b are {{nowrap|W('''2''', '''q'''<sub>1</sub>)}}<ref>The {{nowrap|W(p, g)}} function at its most basic level returns the value at the ({{nowrap|p, g}}) index of the wedgie W. For example, for {{nowrap|W {{=}} {{multimap|1 4 4}}}}, {{nowrap|W('''2''','''3''') {{=}} 1}}, {{nowrap|W('''2''','''5''') {{=}} 4}}, and {{nowrap|W('''3''','''5''') {{=}} 4}}.

Note that the multicovector form we typically view wedgies in is compressed from its full tensor form, because the tensor form is antisymmetric and therefore has many zero entries along its diagonal and also an entire half of it is redundant with the other half (its negation). For example, a rank-2 5-limit wedgie W has three entries with indices {{nowrap|W('''2''', '''3''')}}, {{nowrap|W('''2''', '''5''')}}, and {{nowrap|W('''3''', '''5''')}}. But the other six permutations of two of these indices exist too. Those with duplicates all equal 0, i.e. {{nowrap|W('''2''', '''2''') {{=}} 0}}, {{nowrap|W('''3''', '''3''') {{=}} 0}}, and {{nowrap|W('''5''', '''5''') {{=}} 0}}. Those with indices that are reversals of the ones shown in the multicovector form have values that are negations of those shown in the multicovector, e.g. {{nowrap|W('''3''', '''2''') {{=}} −W('''2''', '''3''')}}, {{nowrap|W('''5''', '''2''') {{=}} −W('''2''', '''5''')}}, and {{nowrap|W('''5''', '''3''') {{=}} −W('''3''', '''5''')}}. For more information about the relationship between the compressed multicovector form of wedgies and their full tensor form, see: [[Dave Keenan & Douglas Blumeyer's guide to EA for RTT#As compressed antisymmetric tensors|Dave Keenan & Douglas Blumeyer's guide to exterior algebra for regular temperament theory.]]

As for arbitrary values of '''p''' and '''g''' in {{nowrap|W('''p''', '''g''')}}&mdash;such as non-integers&mdash;the value of {{nowrap|W('''p''', '''g''')}} can be understood as the volume the parallelogram spanned by '''p''' and '''g''', or in other words, that {{frac|1|{{abs|W('''2''', '''g''')}}}} is the unit fraction of the tempered lattice capable of being generated by '''p''' and '''g''', as is discussed in greater detail here: [[Dave Keenan & Douglas Blumeyer's guide to EA for RTT#Multicomma entries: tempered lattice fractions generated by prime combinations]]</ref>, …, {{nowrap|W('''2''', '''q'''<sub>''n''</sub>)}}, and {{nowrap|W('''q'''<sub>''i''</sub>, '''q'''<sub>''j''</sub>)}} for {{nowrap|''i'' &lt; ''j''}}, and the entry {{nowrap|W('''p''', '''q''')}} is given by {{nowrap|a('''p''')b('''q''') − a('''q''')b('''p''')}}.

To find the '''period''': Let {{nowrap|''d'' {{=}} gcd(W('''2''', '''q'''<sub>1</sub>), …, W('''2''', '''q'''<sub>''n''</sub>))}}. Then your period is 1\''d''.

To find (a JI interpretation of) the '''generator''': Solve the equation {{nowrap|W('''2''', '''g''') {{=}} ''c''<sub>1</sub>W('''2''', '''q'''<sub>1</sub>) + … + ''c''<sub>''n''</sub>W('''2''', '''q'''<sub>''n''</sub>) {{=}} ''d''}} for the coefficients ''c''<sub>1</sub>, ..., ''c''<sub>''n''</sub> (using some algorithm such as the {{w|extended Euclidean algorithm}}). Then one valid generator for the temperament is {{nowrap|'''g''' {{=}} (the tempered version of) ''q''<sub>1</sub><sup>''c''<sub>1</sub></sup> … ''q''<sub>''n''</sub><sup>''c''<sub>''n''</sub></sup>}} (written additively, a linear combination {{nowrap|'''g''' {{=}} ''c''<sub>1</sub>'''q'''<sub>1</sub> + … + ''c''<sub>''n''</sub>'''q'''<sub>''n''</sub>)}}.

Note that this just relies on the entries {{nowrap|gcd(W('''2''', '''q'''<sub>1</sub>), …, W('''2''', '''q'''<sub>''n''</sub>))}} of the wedgie. This is just the generator mapping of the temperament.
{{Proof|contents= The following additionally assumes that you know what the words "basis", "linear map", and "determinant" mean.

Consider the 2.''q''<sub>1</sub>.(…).q<sub>''n''</sub> [[JI subgroup]], with basis '''2''', '''q'''<sub>1</sub>, ..., '''q'''<sub>''n''</sub>.

The period '''p''' (fraction of octave) and generator '''g''' form a basis for all the intervals of a rank-2 temperament. For example, {{nowrap|'''p''' {{=}} '''2'''}} and {{nowrap|'''g''' {{=}} '''3''' − '''2'''}} (representing 3/2) form a basis for meantone. But from a purely linear-algebra perspective, there's nothing special about the basis {{nowrap|{{(}}'''p''', '''g'''{{)}}}}; I could have chosen another basis, such as {{nowrap|'''p'''' {{=}} '''3'''}} for my "period" and {{nowrap|'''g'''' {{=}} '''2'''}} for my "generator". What makes the wedgie a unique identifier for a temperament is that rather than specify a basis directly, the wedgie specifies a ''constraint'' that any basis for the temperament must satisfy: namely, that a basis '''e'''<sub>1</sub>, '''e'''<sub>2</sub> must satisfy {{nowrap|W('''e'''<sub>1</sub>, '''e'''<sub>2</sub>) {{=}} ±1}}.

In the language of linear algebra, the wedgie is an "alternating bilinear form" on the appropriate JI group ''M''; this means that (ignoring sign) it acts like the operation of finding the determinant of two vectors on the appropriate quotient group {{nowrap|''M' '' {{=}} ''M''/''K''}} of ''M'', where ''K'' is the kernel of the bilinear form W. Using the fact that {{nowrap|W {{=}} a&b}} where a and b are two edos (properly, rank-1 [[val]]s), you can verify that ''K'' is exactly the kernel of the rank-2 temperament, as follows. (Hence ''M''/''K' '' is a rank-2 lattice on which W is an alternating non-degenerate bilinear form, which justifies the intuition of viewing W as a determinant-like function.)

Let ''K''<sub>1</sub> represent the kernel of the temperament (i.e. the set of commas tempered out by the temperament), and {{nowrap|''K''<sub>2</sub> {{=}} ker W {{=}} {{(}}'''v''' ∈ ''M'' : W('''v''', '''w''') {{=}} 0 ∀'''w''' ∈ ''M''{{)}}}}. If {{nowrap|'''v''' ∈ ''K''<sub>1</sub>}}, then '''v''' is tempered out by both a and b, so {{nowrap|W('''v''', '''w''') {{=}} a('''v''')b('''w''') − a('''w''')b('''v''') {{=}} 0}}, and {{nowrap|'''v''' ∈ ''K''<sub>2</sub>}}. Conversely, if {{nowrap|'''v''' ∈ ''K''<sub>2</sub>}}, then {{nowrap|W('''v''', '''w''') {{=}} a('''v''')b('''w''') − a('''w''')b('''v''') {{=}} 0}} for all '''w''', which implies {{nowrap|a('''v''')b('''w''') {{=}} a('''w''')b('''v''') (*)}} for all '''w'''. Since a and b both have rank 1 but a&b has rank 2, a and b are linearly independent as vals; so we can choose '''w''' such that {{nowrap|a('''w''') {{=}} 0}} but {{nowrap|b('''w''') &#x2260; 0}}. Then (*) shows {{nowrap|a('''v''') {{=}} 0}}. By the same argument, {{nowrap|b('''v''') {{=}} 0}}. So '''v''' is in ''K''<sub>1</sub> and {{nowrap|''K''<sub>1</sub> {{=}} ''K''<sub>2</sub>}}; the kernel of the temperament is exactly the intervals that the wedgie "treats as zero".

By the First Isomorphism Theorem it follows that ''M' '' is the group of intervals in the rank-2 temperament in question.

The key fact about the determinant we use here is that two integer vectors '''v'''<sub>1</sub>, '''v'''<sub>2</sub> form a basis for the rank-2 integer lattice '''Z'''<sup>2</sup> iff {{nowrap|det('''v'''<sub>1</sub>, '''v'''<sub>2</sub>) {{=}} ±1}}. So in order to find a period and generator for our temperament, we need a pair of vectors {{nowrap|{{(}}'''p''', '''g'''{{)}}}} such that {{nowrap|W('''p''', '''g''') {{=}} 1}} and '''p''' is 1\''d'' for some integer ''d''.

Let {{nowrap|''d'' {{=}} gcd(W('''2''', '''q'''<sub>1</sub>), ..., W('''2''', '''q'''<sub>''n''</sub>))}}. This tells you that for any JI ratio '''v''' in your JI subgroup, {{nowrap|W('''2''', '''v''') {{=}} 2''N''('''v''')}} for some number ''N''('''v''') [that depends linearly on '''v''']. This equation is also true when we replace '''2''' with any JI ratio '''u''' that is equated to '''2'''. This tells us that for {{nowrap|W('''p''', '''g''') {{=}} 1}}, we (up to some choices) need '''p''' to be a JI ratio such that ''d'''''p''' is equated to '''2''', i.e. '''p''' represents 1/''d'' of the octave.

Choose a basis '''e'''<sub>1</sub>, '''e'''<sub>2</sub> for the temperament group and write (the image of) '''2''' as {{nowrap|'''2''' {{=}} ''λ''<sub>1</sub>'''e'''<sub>1</sub> + ''λ''<sub>2</sub>'''e'''<sub>2</sub>}}. Then:

* {{nowrap|W('''2''', '''e'''<sub>1</sub>)}} = {{nowrap|W(''λ''<sub>2</sub>'''e'''<sub>2</sub>, '''e'''<sub>1</sub>)}} = {{nowrap|−''λ''<sub>2</sub>W('''e'''<sub>1</sub>, '''e'''<sub>2</sub>)}} = −''λ''<sub>2</sub>
* {{nowrap|W('''2''', '''e'''<sub>2</sub>)}} = {{nowrap|W(''λ''<sub>1</sub>'''e'''<sub>1</sub>, '''e'''<sub>2</sub>)}} = {{nowrap|''λ''<sub>1</sub>W('''e'''<sub>1</sub>, '''e'''<sub>2</sub>)}} = ''λ''<sub>1</sub>.

Divisibility by ''d'' and the fact that '''e'''<sub>1</sub> and '''e'''<sub>2</sub> represent JI ratios in the 2.''q''<sub>1</sub>.[...].''q''<sub>''n''</sub> subgroup imply that ''λ''<sub>1</sub> and ''λ''<sub>2</sub> are both divisible by ''d'', and hence '''2''' is mapped to a ''d''th power in ''M' '' (the temperament space). Since {{nowrap|gcd(W('''2''', '''q'''<sub>1</sub>), ..., W('''2''', '''q'''<sub>''n''</sub>)) {{=}} ''d''}}, we can always find a linear combination {{nowrap|''g'' {{=}} ''c''<sub>1</sub>'''q'''<sub>1</sub> + ... + ''c''<sub>''n''</sub>'''q'''<sub>''n''</sub>}} such that {{nowrap|W('''2''', '''g''') {{=}} ''c''<sub>1</sub>W('''2''', '''q'''<sub>1</sub>) + ... + ''c''<sub>''n''</sub>W('''2''', '''q'''<sub>''n''</sub>) {{=}} ''d''}} using the extended Euclidean algorithm. Then since {{nowrap|W('''2''', '''g''') {{=}} W(''d'''''p''', '''g''') {{=}} ''d''W('''p''', '''g''') {{=}} ''d''}}, we have {{nowrap|W('''p''', '''g''') {{=}} 1}}. Ta-da!}}

Now choosing an optimal tuning for the temperament is a matter of choosing a way to measure error from JI and minimizing the error. For example, the [[TE tuning|TE]] and [[CTE tuning|CTE]] tunings are based on minimizing [[TE error]], and those tunings can be found using [https://sintel.pythonanywhere.com/ Sintel's temperament finder].

=== Example ===
Consider the wedgie <math>W = \bival{1 & 4 & 4}</math> for 5-limit meantone (the 12&19 temperament). We have {{nowrap|W('''2''', '''3''') {{=}} 1}} and {{nowrap|W('''2''', '''5''') {{=}} 4}}, so {{nowrap|''d'' {{=}} 1}}, and our period is 1\1. Further, we have that <math>W\left(\mathbf{2}, \mathbf{3}) + 0*W(\mathbf{2}, \mathbf{5}\right) = 1</math>, so {{nowrap|''c''<sub>1</sub> {{=}} 1}}, {{nowrap|''c''<sub>2</sub> {{=}} 0}} is one solution, and we can use {{nowrap|3<sup>1</sup>5<sup>0</sup> {{=}} 3/1}} as our generator.

Note that <math>-3\,W\left(\textbf{2}, \textbf{3}\right) + W\left(\textbf{2}, \textbf{5}\right) = -3 * 1 + 1 * 4 = 1</math>, so {{nowrap|''c''<sub>1</sub> {{=}} −3}}, {{nowrap|''c''<sub>2</sub> {{=}} 1}} is another solution to the equation. Thus 5/27 is also a valid generator. This octave reduces to the [[40/27]] grave fifth, which is equated to 3/2 in meantone. This is an example of how any solution of the equation corresponds to a valid generator, and when two solutions correspond to the "same" generator on the nose, the difference between the solutions corresponds to a comma that is tempered out by the temperament.

== Truncation of wedgies ==
A useful operation to perform on any multivector, including wedgies, is truncation of the wedgie to a lower prime limit. This in effect sets all the basis vectors of a ''p''-limit wedgie which are greater than ''q'', the prime limit being truncated to zero. An algorithm to produce the truncation is to list the ''r''-subsets of the primes to ''p'' in alphabetical order, and add the corresponding coefficient to the list of the ''q''-limit truncation if and only if the maximum prime in the ''r''-subet is less than or equal to ''q''. Truncating a wedgie can lead to a non-wedgie if the GCD of the coefficients is greater than one; this means that in the lower limit, [[Wedgies_and_Multivals|contortion]] has appeared.

== Conditions on being a wedgie ==
If we take any three integers <math>\bitval{a & b & c}</math> such that {{nowrap|GCD(''a'', ''b'', ''c'') {{=}} 1}} and {{nowrap|''a'' ≥ 1}} the result is always a wedgie, the wedgie tempering out the [[The_dual|dual]] [[monzos|monzo]] <math>\tmonzo{c & -b & a}</math>. Since three such integers chosen at random are unlikely to produce a suitably small comma, the temperament will probably not be worth much, but at least it can be defined. 

However, this is no longer the case in higher limits. There, not everything which looks like a wedgie will be one; for instance the wedgies must also satisfy the condition, for any wedgie W, that {{nowrap|W ∧ W {{=}} 0}}, where the "0" means the multival of rank 2''r'' obtained by wedging W with W. For prime limits 7 and 11 this condition suffices for rank two, but in general we need to check, for every prime {{nowrap|''q'' ≤ ''p''}} and every basis val ''v'' sending ''q'' to 1 and everything else to 0, that {{nowrap|(W ∨ ''q'') ∧ W {{=}} 0}} and {{nowrap|(W ∧ ''v'')º ∧ Wº {{=}} 0}}, where "∨" denotes the [[interior product]]. These conditions, the complete set along with the basic reduction conditions for being a wedgie, are known as the {{w|Plücker relations}}. Note that the Plücker relations must be satisfied, since for a rank-''r'' multival, {{nowrap|W ∨ ''q''}} is a rank-({{nowrap|''r'' − 1}}) multival corresponding to tempering out all the commas of W, as well as ''q''.

In the 7-limit case, if we wedge a prospective rank two multival <math>W = \bitval{a & b & c & d & e & f}</math> with itself, we obtain <math>W \wedge W = 2\left(af - be + cd\right)</math>. The quantity {{nowrap|''af'' − ''be'' + ''cd''}} is the {{w|Pfaffian}} of the wedgie, and that the Pfaffian is zero tells us that in the five-dimensional projective space '''P⁵''' in which wedgies live, the wedgie lies on a (four-dimensional) {{w|hypersurface}}, known as the [[Mathematical theory of regular temperaments#Geometry_of_regular_temperaments|Grassmannian]] {{nowrap|'''Gr'''(2, 4)}}. For an 11-limit rank-two wedgie <math>W = \bitval{w_1 & w_2 & w_3 & w_4 & w_5 & w_6 & w_7 & w_8 & w_9 & w_{10}}</math> we have that <math>W \wedge W = 2\quadtval{w_1 w_8 - w_2 w_6 + w_3 w_5 & w_1 w_9 - w_2 w_7 + w_4 w_5 & w_1 w_{10} - w_3 w_7 + w_4 w_6 & w_2 w_{10} - w_3 w_9 + w_4 w_8 & w_5 w_{10} - w_6 w_9 + w_7 w_8}</math> is zero. These conditions allow us to solve for three of the coefficients in terms of the other seven, and so that '''Gr'''(2, 5), the Grassmannian of rank-two 11-limit temperaments, is a six-dimensional projective {{w|algebraic variety}} in nine-dimensional projective space '''P⁹'''. Wedgies correspond to rational points on this variety. For 11-limit rank three temperaments, we have {{nowrap|''w''<sub>6</sub>''w''<sub>1</sub> − ''w''<sub>5</sub>''w''<sub>2</sub> + ''w''<sub>4</sub>''w''<sub>3</sub> {{=}} ''w''<sub>9</sub>''w''<sub>1</sub> − ''w''<sub>8</sub>''w''<sub>2</sub> + ''w''<sub>7</sub>''w''<sub>3</sub>}} {{nowrap|{{=}} ''w''<sub>10</sub>''w''<sub>1</sub> − ''w''<sub>8</sub>''w''<sub>4</sub> + ''w''<sub>7</sub>''w''<sub>5</sub>}} {{nowrap|{{=}} ''w''<sub>10</sub>''w''<sub>2</sub> − ''w''<sub>9</sub>''w''<sub>4</sub> + ''w''<sub>7</sub>''w''<sub>6</sub>}} {{nowrap|{{=}} ''w''<sub>10</sub>''w''<sub>3</sub> − ''w''<sub>9</sub>''w''<sub>5</sub> + ''w''<sub>8</sub>''w''<sub>6</sub>}} =&nbsp;0; again, this leads to a six-dimensional variety, this time {{nowrap|'''Gr'''(3, 5)}}.

== Constrained wedgies ==
Most of the wedgies which are legitimate according to the previous section do not represent temperaments which are in any way reasonable. To get temperaments which are, we need to constrain the relevant metrics--complexity should not be too high, error should not be too high, and badness should not be so high that competing temperaments are much better. Let us consider how bounding [[Tenney-Euclidean_temperament_measures#TE simple badness|relative error]] E, aka simple badness, constrains a 7-limit rank-w wedgie <math>W = \bitval{a & b & c & d & e & f}</math>.

By definition, <math>E = \left\|J \wedge Z\right\|</math>, where Z is the weighted version of W; if ''q''<sub>3</sub>, ''q''<sub>5</sub>, and ''q''<sub>7</sub> are the logarithms base two of 3, 5, and 7, then <math>Z = \bival{\frac{a}{q_3} & \frac{b}{q_5} & \frac{c}{q_7} & \frac{d}{q_3 q_5} & \frac{e}{q_3 q_7} & \frac{f}{q_5 q_7}}</math>. We now have

<math>\left(\frac{d}{q_3q_5}-\frac{b}{q_5}+\frac{a}{q_3}\right)^2+\left(\frac{e}{q_3q_7}-\frac{c}{q_7}+\frac{a}{q_3}\right)^2+\left(\frac{f}{q_5q_7}-\frac{c}{q_7}+\frac{b}{q_5}\right)^2+\left(\frac{f}{q_5q_7}-\frac{e}{q_3q_7}+\frac{d}{q_3q_5}\right)^2 = 4 E^2</math>

From this we can conclude that ''d'', ''e'', and ''f'' satisfy <math>\left|d - q_3b + q_5a\right| \leqslant 2Eq_3q_5</math>, <math>\left|e - q_3c + q_7a\right| \leqslant 2Eq_3q_7</math>, and <math>\left|f - q_5c + q_7d\right| \leqslant 2Eq_5q_7</math>. This has an interesting interpretation: since <math>\tval{1 & q_3 & q_5 & q_7} \wedge \tval{0 & a & b & c} =</math> <math>\bitval{a & b & c & q_3b - q_5a & q_3c - q_7a & q_5c - q_7b}</math>, if {{nowrap|E ≤ {{frac|1|4''q''<sub>5</sub>''q''<sub>7</sub>}}}}, then the full wedgie can be recovered from the octave equivalent (OE) portion of the wedgie simply by wedging it with <math>\tval{1 & q_3 & q_5 & q_7}</math> and rounding to the nearest integer. This is not a very serious constraint to place on relative error; it seems unlikely anyone would be interested in a temperament which did not fall well under this low standard. Hence we may compile lists of reasonable temperaments by presuming "reasonable" requires this bound to be met, searching through triples <math>\bitval{a & b & c & \ldots}</math> (note that if all of these are zero, 2 is being tempered out) up to some complexity bound, wedging with <math>\tmonzo{1 & q_3 & q_5 & q_7}</math>, and rounding, then checking if the GCD is one and the Pfaffian is zero (i.e. {{nowrap|''af'' − ''be'' + ''cd'' {{=}} 0}}). Then we may toss everthing which does not meet the bound on relative error; however, for a reasonable list we will want a tighter bound. 

If {{nowrap|C {{=}} ‖W‖}} is the TE complexity, then the formula for the [[Tenney-Euclidean_metrics#Logflat TE badness|logflat badness]] B in the 7-limit rank-two case is particularly simple: {{nowrap|B {{=}} CE}}. If complexity is bounded by, for example, 20 (which allows for some quite complex temperaments) then since {{nowrap|E ≤ {{frac|1|4''q''<sub>5</sub>''q''<sub>7</sub>}}}}, {{nowrap|B ≤ {{frac|20|4''q''<sub>5</sub>''q''<sub>7</sub>}} {{=}} 0.767}}. This badness figure is easily met. While simply bounding complexity will lead to a finite list, the list would be enormous. An alternative is also to bound badness; for instance, we might produce a list of 7-limit rank-two temperaments with complexity less than 20 and a more reasonable badness limit, such as 0.05 or 0.06.

== Reconstituting wedgies in general ==
Essentially the same situation obtains for rank two temperaments in higher limits. The rule then is that if <math>E \leqslant \frac{1}{\binom{n}{3}\log_2\left(q\right)\log_2\left(p\right)}</math> then wedging <math>K = \tval{1 & \log_2\left(3\right) & \log_2\left(5\right) & \ldots & \log_2\left(p\right)}</math> with the val consisting of 0 followed by the first {{nowrap|''n'' − 1}} coefficients of the wedgie and rounding will give the wedgie, where ''p'' and ''q'' are the largest and second largest primes in the prime limit.

More generally, we can reconstitute W by rounding {{nowrap|Y {{=}} (W ∨ 2) ∧ K}} to the nearest integer coefficients, where K is the JI point <math>\tval{1 & \log_2\left(3\right) & \log_2\left(5\right) & \ldots & \log_2\left(p\right)}</math> in unweighted coordinates. Then we have <math>\left\|\left(W - Y\right) + Y\right\| \leqslant \left\|W-Y\right\| + \left\|Y\right\|</math> by the triangle inequality, and since {{nowrap|‖W − Y‖}} is bounded by the fact that W has been obtained by rounding, complexity, which is {{nowrap|‖(W − Y) + Y‖ {{=}} ‖W‖}}, can be bounded by ||Y||; which means it can be bounded by the coefficients of Y, which are those coefficients of W which can be found in W∨2 and over which we could be conducting a search. Moreover, we have from {{nowrap|Y ∧ K {{=}} ((W ∨ 2) ∧ K) ∧ K {{=}} 0}} that relative error, which is {{nowrap|‖W ∧ K‖}}, is {{nowrap|‖((W − Y) + Y) ∧ K‖ {{=}} ‖(W − Y) ∧ K‖}}, hence relative error is also bounded by the fact that {{nowrap|‖W − Y‖}} is bounded. This means that unless relative error is large, W can be recovered by rounding Y, and hence all wedgies within such a bound, which we may call ''recoverable'', can be found by a search on only some prospective coefficients. Temperaments which are not recoverable seem of little interest and may be ruled out of consideration. Search spaces for complexity measures such as [[Tenney-Euclidean_temperament_measures#TE Complexity|TE complexity]] which are defined in terms of the wedgie can be obtained by assuming all wedgie coefficients which are not being used to recover a wedgie are zero, which gives a minimum value for the complexity. In the case of rank two temperaments, an especially efficient complexity measure for such searches, and one with some other desirable properties, is [[generator complexity]].

In the particular case of the 11-limit in rank three, we have that {{nowrap|(W ∨ 2) ∧ K}} gives the full wedgie, which has ten coefficents, in terms of the first six upon rounding off. Using this for a search is less difficult than it sounds, since the complexity numbers for rank three are so much lower. If the relative error E satisifes {{nowrap|E ≤ {{frac|1|2√(5)''q''<sub>5</sub>''q''<sub>7</sub>''q''<sub>11</sub>}}}}, then the rounding off is guaranteed to lead to the correct result. This amount, 0.0099, is again easily met.

== See also ==
* [[Intro to exterior algebra for RTT]]: for detailed background about and further explanations for how to work with multivectors and multicovectors such as wedgies

[[Category:Math]]
[[Category:Exterior algebra]]
{{todo| improve readability }}

== Notes ==
<references />