Mathematical theory of regular temperaments - Revision history

FloraC: /* Characterizing a regular temperament */ put gencom here for the time being

2025-08-30T14:09:11Z

Characterizing a regular temperament: put gencom here for the time being

← Older revision		Revision as of 14:09, 30 August 2025
Line 62:		Line 62:
	=== Just intonation subgroups and transversals ===		=== Just intonation subgroups and transversals ===
	{{Main\| Just intonation subgroups \| Transversal }}		{{Main\| Just intonation subgroups \| Transversal }}
			{{See also\| Gencom }}

	A relatively concrete approach, but one which is not canonically defined, is to define a [[transversal]] for the temperament by giving generators for a just intonation subgroup which when tempered becomes the notes of the temperament.		A relatively concrete approach, but one which is not canonically defined, is to define a [[transversal]] for the temperament by giving generators for a just intonation subgroup which when tempered becomes the notes of the temperament.

VectorGraphics at 04:22, 25 June 2025

2025-06-25T04:22:17Z

← Older revision		Revision as of 04:22, 25 June 2025
Line 82:		Line 82:

	== Geometry of regular temperaments ==		== Geometry of regular temperaments ==
	~~Abstract regular temperaments can be identified with~~ {{w\|~~rational point~~}}s on an {{w\|algebraic variety}} known as a {{w\|Grassmannian}}. In particular, if the number of primes in the ''p''-limit is ''n'', and the rank of the temperament is ''r'', then the real Grassmannian '''Gr'''(''r'', ''n'') has points identified with the ''r''-dimensional subspaces of the ''n''-dimensional real vector space '''R'''<sup>''n''</sup>. This has an embedding into a real vector space known as the [[Plücker embedding]], which if the point in question corresponds to a temperament is the wedgie of the temperament. Regular temperaments of rank ''r'' in the ''p''-limit may be defined as rational points on '''Gr'''(''r'', ''n''), though we should note that most of these do not correspond to anything worth much as a temperament. In matrix terms, the real Grassmannian '''Gr'''(''r'', ''n'') can be identified with real symmetric projection matrices with trace ''r''. The rational symmetric projection matrices with trace ''r'' are precisely the Frobenius projections, so under this identification it is clear they represent rational points on '''Gr'''(''r'', ''n''). A rational projection matrix of trace ''r'' which is not symmetric is still a [[tuning map]]; minimax and least squares tunings provide examples of this.		{{Main\|Plucker coordinates}}

	Grassmannians have the structure of a smooth, homogenous {{w\|metric space}}, and hence represent a distinctly geometric mathematical object. In the 5-limit, the Grassmannian '''Gr'''(2, 3), consisting of the planes through the origin in three dimensional space, may be identified with the projective plane, and hence 5-limit rank two temperaments may be pictured as points in a projective plane, as below (known as "projective tone space").

	See also [[equivalence continuum]] for a description of the space of rank-''r'' temperaments supported by a given temperament, such as a rank-1 temperament, as an algebraic variety.		See also [[equivalence continuum]] for a description of the space of rank-''r'' temperaments supported by a given temperament, such as a rank-1 temperament, as an algebraic variety.

VectorGraphics at 04:18, 25 June 2025

2025-06-25T04:18:16Z

← Older revision		Revision as of 04:18, 25 June 2025
Line 71:		Line 71:

	Maple code for the parts of these which do not call the Maple functions for Hermite normal form, Smith normal form or the pseudoinverse can be found in the article [[Basic abstract temperament translation code]].		Maple code for the parts of these which do not call the Maple functions for Hermite normal form, Smith normal form or the pseudoinverse can be found in the article [[Basic abstract temperament translation code]].

	~~=== Wedgies ===~~
	To translate to wedgies from RREF simply take the wedge product of the rows of the RREF and then reduce the resulting multivector to a wedgie. To translate from wedgies to RREF, for a wedgie of rank ''r'' in ''n'' dimensions (where {{nowrap\|''n'' {{=}} π(''p'')}} is the number of primes in the ''p''-limit) take a wedge product of basis vectors involving {{nowrap\|''r'' − 1}} basis elements (i.e., the wedge product of {{nowrap\|''r'' − 1}} elements representing primes) and wedge these with the basis element for each prime, obtaining either 0 or an ''r''-fold wedge product with sign ±1. Take the corresponding element of the wedgie times the ±1 sign (which is computed from the parity of the permutation of the ''r'' elements.) This gives a val; do this for every combination of {{nowrap\|''r'' − 1}} basis elements to obtain ''n'' choose {{nowrap\|''r'' − 1}} vals, and reduce the result to an RREF by the usual Gaussian reduction. If possible, this should be done using rational arithmetic, not floating point numbers.

	~~An alternative explanation of this process is provided here: [[Intro to exterior algebra for RTT#Converting varianced multivectors to matrices]]~~

	=== Frobenius projection matrices ===		=== Frobenius projection matrices ===

FloraC: /* Characterizing a regular temperament */ these titles might be better

2025-06-22T11:13:22Z

Characterizing a regular temperament: these titles might be better

← Older revision		Revision as of 11:13, 22 June 2025
Line 29:		Line 29:

	== Characterizing a regular temperament ==		== Characterizing a regular temperament ==
	=== Normal ~~map lists~~ ===		=== Normal mapping matrices ===
	{{Main\| Normal forms #Normal forms for mappings }}		{{Main\| Temperament mapping matrix }}
			{{See also\| Normal forms #Normal forms for mappings }}

	Since an abstract temperament corresponds to some linear map, we can represent it as a matrix. We can [[Mathematical theory of saturation\|saturate]] it and reduce it to the [[Hermite normal form]], which gives a unique representation. Applying this map to the vector representation of a rational interval gives an element in an abelian group representing the notes of the temperament. For example, the normal form for 7-limit miracle is		Since an abstract temperament corresponds to some linear map, we can represent it as a matrix. We can [[Mathematical theory of saturation\|saturate]] it and reduce it to the [[Hermite normal form]], which gives a unique representation. Applying this map to the vector representation of a rational interval gives an element in an abelian group representing the notes of the temperament. For example, the normal form for 7-limit miracle is
Line 43:		Line 44:
	and applying this to the vector for either 16/15 or 15/14 leads to [0 1].		and applying this to the vector for either 16/15 or 15/14 leads to [0 1].

	=== Normal comma ~~lists~~ ===		=== Normal comma bases ===
	{{Main\| Normal forms #Normal forms for commas }}		{{Main\| Comma basis }}
			{{See also\| Normal forms #Normal forms for commas }}

	A temperament may also be defined by a list of commas. By putting these into a normal form, the representation is also unique. Using commas has the advantage of showing family relationships more clearly.		A temperament may also be defined by a list of commas. By putting these into a normal form, the representation is also unique. Using commas has the advantage of showing family relationships more clearly.

FloraC: /* Characterizing a regular temperament */ no inline multiline math constructs, thanks!

2025-06-22T09:31:33Z

Characterizing a regular temperament: no inline multiline math constructs, thanks!

← Older revision		Revision as of 09:31, 22 June 2025
Line 32:		Line 32:
	{{Main\| Normal forms #Normal forms for mappings }}		{{Main\| Normal forms #Normal forms for mappings }}

	Since an abstract temperament corresponds to some linear map, we can represent it as a matrix. We can [[Mathematical theory of saturation\|saturate]] it and reduce it to the [[Hermite normal form]], which gives a unique representation. Applying this map to the vector representation of a rational interval gives an element in an abelian group representing the notes of the temperament. For example, the normal form for 7-limit miracle is ~~<math>~~		Since an abstract temperament corresponds to some linear map, we can represent it as a matrix. We can [[Mathematical theory of saturation\|saturate]] it and reduce it to the [[Hermite normal form]], which gives a unique representation. Applying this map to the vector representation of a rational interval gives an element in an abelian group representing the notes of the temperament. For example, the normal form for 7-limit miracle is
	\begin{bmatrix}
	1 & 1 & 3 & 3 \\		$$
	0 & 6 & -7 & -2 \\		\begin{bmatrix}
	\end{bmatrix}		1 & 1 & 3 & 3 \\
	~~</math>~~ and applying this to the vector for either 16/15 or 15/14 leads to [0 1].		0 & 6 & -7 & -2 \\
			\end{bmatrix}
			$$

			and applying this to the vector for either 16/15 or 15/14 leads to [0 1].

	=== Normal comma lists ===		=== Normal comma lists ===

FloraC: /* Characterizing a regular temperament / if you just hate the word val*..

2025-06-22T09:30:22Z

Characterizing a regular temperament: if you just hate the word *val*..

← Older revision		Revision as of 09:30, 22 June 2025
Line 29:		Line 29:

	== Characterizing a regular temperament ==		== Characterizing a regular temperament ==
	=== Normal ~~form~~ ===		=== Normal map lists ===
	{{Main\| Normal ~~form~~ }}		{{Main\| Normal forms #Normal forms for mappings }}

	Since an abstract temperament corresponds to some linear map, we can represent it as a matrix. We can [[Mathematical theory of saturation\|saturate]] it and reduce it to the [[Hermite normal form]], which gives a unique representation. Applying this map to the vector representation of a rational interval gives an element in an abelian group representing the notes of the temperament. For example, the normal form for 7-limit miracle is <math>		Since an abstract temperament corresponds to some linear map, we can represent it as a matrix. We can [[Mathematical theory of saturation\|saturate]] it and reduce it to the [[Hermite normal form]], which gives a unique representation. Applying this map to the vector representation of a rational interval gives an element in an abelian group representing the notes of the temperament. For example, the normal form for 7-limit miracle is <math>
Line 40:		Line 40:

	=== Normal comma lists ===		=== Normal comma lists ===
	{{Main\| Normal forms#Normal forms for commas }}		{{Main\| Normal forms #Normal forms for commas }}

	A temperament may also be defined by a list of commas. By putting these into a normal form, the representation is also unique.		A temperament may also be defined by a list of commas. By putting these into a normal form, the representation is also unique. Using commas has the advantage of showing family relationships more clearly.
	Using commas has the advantage of showing family relationships more clearly.

	=== Plücker coordinates ===		=== Plücker coordinates ===

Sintel: /* Characterizing a regular temperament */ Update descriptions of normal forms to reflect changes to these pages

2025-06-21T15:19:02Z

Characterizing a regular temperament: Update descriptions of normal forms to reflect changes to these pages

← Older revision		Revision as of 15:19, 21 June 2025
Line 29:		Line 29:

	== Characterizing a regular temperament ==		== Characterizing a regular temperament ==
	=== Normal ~~val lists~~ ===		=== Normal form ===
	{{Main\| Normal ~~lists #Normal val lists~~ }}		{{Main\| Normal form }}

	~~Given a list of vals~~, we ~~may~~ [[Mathematical theory of saturation\|saturate]] it and reduce it ~~using~~ the [[~~Normal lists\|~~Hermite normal form]] ~~to a normal val list~~, which ~~canonically represents the abstract temperament~~. Applying the ~~vals successively (an operation we may regard as a matrix multiplication if we like) to~~ a rational interval gives an element in an abelian group representing the notes of the temperament. For example, the normal ~~val list~~ for 7-limit miracle is [{~~{val\|~~ 1 1 3 3 ~~}},~~&~~nbsp;{{val\| 0~~ 6 -7 -2 }}] and applying this to the ~~monzo~~ for either 16/15 or 15/14 leads to [0 1].		Since an abstract temperament corresponds to some linear map, we can represent it as a matrix. We can [[Mathematical theory of saturation\|saturate]] it and reduce it to the [[Hermite normal form]], which gives a unique representation. Applying this map to the vector representation of a rational interval gives an element in an abelian group representing the notes of the temperament. For example, the normal form for 7-limit miracle is <math>
			\begin{bmatrix}
			1 & 1 & 3 & 3 \\
			0 & 6 & -7 & -2 \\
			\end{bmatrix}
			</math> and applying this to the vector for either 16/15 or 15/14 leads to [0 1].

	=== Normal comma lists ===		=== Normal comma lists ===
	{{Main\| Normal ~~lists~~ #Normal ~~interval lists~~ }}		{{Main\| Normal forms#Normal forms for commas }}

	~~The~~ normal ~~comma list uniquely defines~~ the ~~abstract temperament, and~~ has the advantage of showing family relationships ~~even~~ more clearly ~~than the normal val list. Intervals of the temperament may be defined after computing another means of representing the temperament such as the normal val list.~~		A temperament may also be defined by a list of commas. By putting these into a normal form, the representation is also unique.
			Using commas has the advantage of showing family relationships more clearly.
	~~When specifying a temperament by the list of commas it tempers out, the list should be [[defactoring\|defactored]] so it presents the intervals in their simplest, most direct form~~.

	=== Plücker coordinates ===		=== Plücker coordinates ===

Sintel: /* Characterizing a regular temperament */ wedgie -> Plücker coordinates. Remove irrelevant rant about interior products

2025-06-21T15:09:12Z

Characterizing a regular temperament: wedgie -> Plücker coordinates. Remove irrelevant rant about interior products

← Older revision		Revision as of 15:09, 21 June 2025
Line 41:		Line 41:
	When specifying a temperament by the list of commas it tempers out, the list should be [[defactoring\|defactored]] so it presents the intervals in their simplest, most direct form.		When specifying a temperament by the list of commas it tempers out, the list should be [[defactoring\|defactored]] so it presents the intervals in their simplest, most direct form.

	=== ~~Wedgie~~ ===		=== Plücker coordinates ===
	{{Main\| ~~Wedgies and multivals~~ }}		{{Main\| Plücker coordinates }}

	This uses ~~{{w\|~~exterior algebra~~}} and {{w\|multilinear algebra}}~~ to ~~define a~~ unique ~~reduced wedge product uniquely~~ associated to the abstract regular temperament~~. The intervals of the temperament, as an abstract group, may be defined by the [[interior product]] of a [[wedgie]] for a ''p''-limit temperament with the ''p''-limit monzos.~~		This uses [[exterior algebra]] to give unique coordinates associated to the abstract regular temperament.

	For example, using "∨" to represent the interior product, we have {{nowrap\|''W'' {{=}} {{multival\| 6 -7 -2 -25 -20 15 }}}} for the wedgie of 7-limit miracle. Then {{nowrap\|''W'' ∨ {{monzo\| 1 0 0 0 }} {{=}} {{val\| 0 -6 7 2 }}}}, with 15/14 we get {{nowrap\|''W'' ∨ {{monzo\| -1 1 1 -1 }} {{=}} {{val\| 1 1 3 3 }}}}, and with 16/15 we get {{nowrap\|''W'' ∨ {{monzo\| 4 -1 -1 0 }}}} which is also {{val\| 1 1 3 3 }}; {{val\| 1 1 3 3 }} tempers out the commas of miracle as well as 15/14 (or equivalently 16/15), sending them to the unison. The interior product forces an additional comma into a multival, lowering the rank by one. When we do this to a wedgie, we obtain a multival of rank one less, which has all the commas of the wedgie plus an additional comma, the interval we want to represent.

	As explained on the [[Interior product #Applications\|interior product]] page, if ''W'' is the ''r''-wedgie defining the rank-''r'' temperament, then the tuning of a mapping for the temperament can be defined via an ({{nowrap\|''r'' − 1}})-multimonzo ''V'' which has the property that for every JI interval ''q'', the tempered value of ''q'' is given by the dot product {{nowrap\|(''W'' ∨ ''q'') · ''V''}}.

	=== Frobenius projection matrix ===		=== Frobenius projection matrix ===

VectorGraphics at 03:40, 4 May 2025

2025-05-04T03:40:14Z

← Older revision		Revision as of 03:40, 4 May 2025
Line 7:		Line 7:
	{{Expert\|Regular temperament}}		{{Expert\|Regular temperament}}

	A '''regular temperament''' is a homomorphism that maps an abelian group of target/just intervals to another abelian group of [[tempering out\|tempered]] intervals. In other words, it is a function from a group of just intervals to another simpler group of intervals that preserves the operation of [[stacking]]. Typically, the source set is assumed to be a multiplicative subgroup of the rational numbers (aka [[just intonation]]). Musically, tempering is done by deliberately mistuning some of the ratios such that a [[comma]] or set of commas vanishes by becoming a unison (it is ''tempered out'' in the temperament). The utility of regular temperament is partly to produce scales that are simpler and have more consonances than strict JI, while maintaining a high level of concordance (or similarity to JI), and partly to introduce useful "puns" as commas are tempered out. Temperaments effectively reduce the dimensionality of JI, thereby simplifying the pitch relationships.		A '''regular temperament''' is a homomorphism that maps an abelian group of target/just intervals to another abelian group of [[tempering out\|tempered]] intervals. In other words, it is a function from a group of (usually just) intervals to another simpler group of intervals that preserves the operation of [[stacking]]. Typically, the source set is assumed to be a multiplicative subgroup of the rational numbers (aka [[just intonation]]). Musically, tempering is done by deliberately mistuning some of the ratios such that a [[comma]] or set of commas vanishes by becoming a unison (it is ''tempered out'' in the temperament). The utility of regular temperament is partly to produce scales that are simpler and have more consonances than strict JI, while maintaining a high level of concordance (or similarity to JI), and partly to introduce useful "puns" as commas are tempered out. Temperaments effectively reduce the dimensionality of JI, thereby simplifying the pitch relationships.

	In mathematical terms, it is a function whose domain is a target tuning we wish to approximate, and its range is the intervals of the temperament. In general, this mapping is many-to-one, and two different rational numbers may be mapped to the same [[mapped interval\|tempered interval]] — in this case we say that the two JI intervals are ''tempered together''.		In mathematical terms, it is a function whose domain is a target tuning we wish to approximate, and its range is the intervals of the temperament. In general, this mapping is many-to-one, and two different rational numbers may be mapped to the same [[mapped interval\|tempered interval]] — in this case we say that the two JI intervals are ''tempered together''.

VectorGraphics at 03:39, 4 May 2025

2025-05-04T03:39:58Z

← Older revision		Revision as of 03:39, 4 May 2025
Line 7:		Line 7:
	{{Expert\|Regular temperament}}		{{Expert\|Regular temperament}}

	A '''regular temperament''' is a homomorphism that maps an abelian group of target/~~pure~~ intervals to another abelian group of [[tempering out\|tempered]] intervals. Typically, the source set is assumed to be a multiplicative subgroup of the rational numbers (aka [[just intonation]]), ~~and~~ tempering is done by deliberately mistuning some of the ratios such that a [[comma]] or set of commas vanishes by becoming a unison (it is ''tempered out'' in the temperament). The utility of regular temperament is partly to produce scales that are simpler and have more consonances than strict JI, while maintaining a high level of concordance (or similarity to JI), and partly to introduce useful "puns" as commas are tempered out. Temperaments effectively reduce the dimensionality of JI, thereby simplifying the pitch relationships.		A '''regular temperament''' is a homomorphism that maps an abelian group of target/just intervals to another abelian group of [[tempering out\|tempered]] intervals. In other words, it is a function from a group of just intervals to another simpler group of intervals that preserves the operation of [[stacking]]. Typically, the source set is assumed to be a multiplicative subgroup of the rational numbers (aka [[just intonation]]). Musically, tempering is done by deliberately mistuning some of the ratios such that a [[comma]] or set of commas vanishes by becoming a unison (it is ''tempered out'' in the temperament). The utility of regular temperament is partly to produce scales that are simpler and have more consonances than strict JI, while maintaining a high level of concordance (or similarity to JI), and partly to introduce useful "puns" as commas are tempered out. Temperaments effectively reduce the dimensionality of JI, thereby simplifying the pitch relationships.

	In mathematical terms, it is a function whose domain is a target tuning we wish to approximate, and its range is the intervals of the temperament. In general, this mapping is many-to-one, and two different rational numbers may be mapped to the same [[mapped interval\|tempered interval]] — in this case we say that the two JI intervals are ''tempered together''.		In mathematical terms, it is a function whose domain is a target tuning we wish to approximate, and its range is the intervals of the temperament. In general, this mapping is many-to-one, and two different rational numbers may be mapped to the same [[mapped interval\|tempered interval]] — in this case we say that the two JI intervals are ''tempered together''.

← Older revision		Revision as of 03:40, 4 May 2025
Line 7:		Line 7:
	{{Expert\|Regular temperament}}		{{Expert\|Regular temperament}}

	A '''regular temperament''' is a homomorphism that maps an abelian group of target/just intervals to another abelian group of [[tempering out\|tempered]] intervals. In other words, it is a function from a group of just intervals to another simpler group of intervals that preserves the operation of [[stacking]]. Typically, the source set is assumed to be a multiplicative subgroup of the rational numbers (aka [[just intonation]]). Musically, tempering is done by deliberately mistuning some of the ratios such that a [[comma]] or set of commas vanishes by becoming a unison (it is ''tempered out'' in the temperament). The utility of regular temperament is partly to produce scales that are simpler and have more consonances than strict JI, while maintaining a high level of concordance (or similarity to JI), and partly to introduce useful "puns" as commas are tempered out. Temperaments effectively reduce the dimensionality of JI, thereby simplifying the pitch relationships.		A '''regular temperament''' is a homomorphism that maps an abelian group of target/just intervals to another abelian group of [[tempering out\|tempered]] intervals. In other words, it is a function from a group of (usually just) intervals to another simpler group of intervals that preserves the operation of [[stacking]]. Typically, the source set is assumed to be a multiplicative subgroup of the rational numbers (aka [[just intonation]]). Musically, tempering is done by deliberately mistuning some of the ratios such that a [[comma]] or set of commas vanishes by becoming a unison (it is ''tempered out'' in the temperament). The utility of regular temperament is partly to produce scales that are simpler and have more consonances than strict JI, while maintaining a high level of concordance (or similarity to JI), and partly to introduce useful "puns" as commas are tempered out. Temperaments effectively reduce the dimensionality of JI, thereby simplifying the pitch relationships.

	In mathematical terms, it is a function whose domain is a target tuning we wish to approximate, and its range is the intervals of the temperament. In general, this mapping is many-to-one, and two different rational numbers may be mapped to the same [[mapped interval\|tempered interval]] — in this case we say that the two JI intervals are ''tempered together''.		In mathematical terms, it is a function whose domain is a target tuning we wish to approximate, and its range is the intervals of the temperament. In general, this mapping is many-to-one, and two different rational numbers may be mapped to the same [[mapped interval\|tempered interval]] — in this case we say that the two JI intervals are ''tempered together''.

← Older revision		Revision as of 03:39, 4 May 2025
Line 7:		Line 7:
	{{Expert\|Regular temperament}}		{{Expert\|Regular temperament}}

	A '''regular temperament''' is a homomorphism that maps an abelian group of target/~~pure~~ intervals to another abelian group of [[tempering out\|tempered]] intervals. Typically, the source set is assumed to be a multiplicative subgroup of the rational numbers (aka [[just intonation]]), ~~and~~ tempering is done by deliberately mistuning some of the ratios such that a [[comma]] or set of commas vanishes by becoming a unison (it is ''tempered out'' in the temperament). The utility of regular temperament is partly to produce scales that are simpler and have more consonances than strict JI, while maintaining a high level of concordance (or similarity to JI), and partly to introduce useful "puns" as commas are tempered out. Temperaments effectively reduce the dimensionality of JI, thereby simplifying the pitch relationships.		A '''regular temperament''' is a homomorphism that maps an abelian group of target/just intervals to another abelian group of [[tempering out\|tempered]] intervals. In other words, it is a function from a group of just intervals to another simpler group of intervals that preserves the operation of [[stacking]]. Typically, the source set is assumed to be a multiplicative subgroup of the rational numbers (aka [[just intonation]]). Musically, tempering is done by deliberately mistuning some of the ratios such that a [[comma]] or set of commas vanishes by becoming a unison (it is ''tempered out'' in the temperament). The utility of regular temperament is partly to produce scales that are simpler and have more consonances than strict JI, while maintaining a high level of concordance (or similarity to JI), and partly to introduce useful "puns" as commas are tempered out. Temperaments effectively reduce the dimensionality of JI, thereby simplifying the pitch relationships.

	In mathematical terms, it is a function whose domain is a target tuning we wish to approximate, and its range is the intervals of the temperament. In general, this mapping is many-to-one, and two different rational numbers may be mapped to the same [[mapped interval\|tempered interval]] — in this case we say that the two JI intervals are ''tempered together''.		In mathematical terms, it is a function whose domain is a target tuning we wish to approximate, and its range is the intervals of the temperament. In general, this mapping is many-to-one, and two different rational numbers may be mapped to the same [[mapped interval\|tempered interval]] — in this case we say that the two JI intervals are ''tempered together''.