Delta-rational chord: Difference between revisions
m →Mathematics of DR: while these sections are all math, they all aim at having practical use |
|||
| Line 24: | Line 24: | ||
Fully delta-rational chords always have a delta signature with no irrational ratios between terms. | Fully delta-rational chords always have a delta signature with no irrational ratios between terms. | ||
== | == Mathematical definitions == | ||
# A chord C = α<sub>1</sub>:...:α<sub>''n''</sub> is ''delta-rational'' (DR) or ''partially delta-rational'' (PDR) when the chord has two distinct dyads α<sub>''k''<sub>1</sub></sub>:α<sub>''k''<sub>2</sub></sub> and α<sub>''k''<sub>3</sub></sub>:α<sub>''k''<sub>4</sub></sub>, such that the real intervals (α<sub>''k''<sub>1</sub></sub>, α<sub>''k''<sub>2</sub></sub>) and (α<sub>''k''<sub>3</sub></sub>, α<sub>''k''<sub>4</sub></sub>) are disjoint and (α<sub>''k''<sub>2</sub></sub> − α<sub>''k''<sub>1</sub></sub>)/(α<sub>''k''<sub>4</sub></sub> − α<sub>''k''<sub>3</sub></sub>) is rational. Equivalently, a chord is delta-rational if it has a delta signature with some integers showing up. | # A chord C = α<sub>1</sub>:...:α<sub>''n''</sub> is ''delta-rational'' (DR) or ''partially delta-rational'' (PDR) when the chord has two distinct dyads α<sub>''k''<sub>1</sub></sub>:α<sub>''k''<sub>2</sub></sub> and α<sub>''k''<sub>3</sub></sub>:α<sub>''k''<sub>4</sub></sub>, such that the real intervals (α<sub>''k''<sub>1</sub></sub>, α<sub>''k''<sub>2</sub></sub>) and (α<sub>''k''<sub>3</sub></sub>, α<sub>''k''<sub>4</sub></sub>) are disjoint and (α<sub>''k''<sub>2</sub></sub> − α<sub>''k''<sub>1</sub></sub>)/(α<sub>''k''<sub>4</sub></sub> − α<sub>''k''<sub>3</sub></sub>) is rational. Equivalently, a chord is delta-rational if it has a delta signature with some integers showing up. | ||
# When all dyads are linearly related, equivalently when the chord has a delta signature with all entries integers, we call the chord ''fully delta-rational'' (FDR) or ''linear''. | # When all dyads are linearly related, equivalently when the chord has a delta signature with all entries integers, we call the chord ''fully delta-rational'' (FDR) or ''linear''. | ||
| Line 34: | Line 33: | ||
In practice these terms can loosely refer to approximations of mathematically exact PDR and FDR chords, for example in [[edo]] tunings. | In practice these terms can loosely refer to approximations of mathematically exact PDR and FDR chords, for example in [[edo]] tunings. | ||
== Finding a tuning of a MOS scale with an exact DR chord == | |||
Let ''a'', ''b'' be positive integers and suppose gcd(''a'', ''b'') = 1. Let ''E'' > 1 be the frequency ratio of the equave. Consider a MOS ''a'''''L'''''b'''''s'''{{angbr|''E''}} with generator range <math>I \subseteq (1, \sqrt{E})</math> (in the linear frequency domain), and consider a pair ('''u''', '''v''') of notes from the root of a given triad in the MOS, '''0''' (unison) < '''u''' < '''v'''. Let '''p''', '''g''' be a basis formally representing the MOS scale's period and generator. Write | Let ''a'', ''b'' be positive integers and suppose gcd(''a'', ''b'') = 1. Let ''E'' > 1 be the frequency ratio of the equave. Consider a MOS ''a'''''L'''''b'''''s'''{{angbr|''E''}} with generator range <math>I \subseteq (1, \sqrt{E})</math> (in the linear frequency domain), and consider a pair ('''u''', '''v''') of notes from the root of a given triad in the MOS, '''0''' (unison) < '''u''' < '''v'''. Let '''p''', '''g''' be a basis formally representing the MOS scale's period and generator. Write | ||
| Line 53: | Line 52: | ||
The existence of an exact tuning for a delta signature specification is only guaranteed to hold when we only care about a ratio between ''two'' terms in the delta signature being exact. If we want to optimize an arbitrary specified delta signature (with some deltas possibly held free), we can use a least-squares-error solution instead to minimize the error. | The existence of an exact tuning for a delta signature specification is only guaranteed to hold when we only care about a ratio between ''two'' terms in the delta signature being exact. If we want to optimize an arbitrary specified delta signature (with some deltas possibly held free), we can use a least-squares-error solution instead to minimize the error. | ||
== Measuring the error of an approximate fully DR chord == | |||
=== Least-squares error measures === | |||
Say we want the error of a chord 1:''r''<sub>1</sub>:''r''<sub>2</sub>:...:''r''<sub>''n''</sub> (in increasing order) in the linear domain as an approximation to a fully delta-rational chord with signature +δ<sub>1</sub> +δ<sub>2</sub> ... +δ<sub>''n''</sub>, i.e. a chord | Say we want the error of a chord 1:''r''<sub>1</sub>:''r''<sub>2</sub>:...:''r''<sub>''n''</sub> (in increasing order) in the linear domain as an approximation to a fully delta-rational chord with signature +δ<sub>1</sub> +δ<sub>2</sub> ... +δ<sub>''n''</sub>, i.e. a chord | ||
| Line 75: | Line 74: | ||
This error measure is called '''least-squares delta error'''. Least-squares delta error does not depend on whether the chord whose error is being measured is 1:''r''<sub>1</sub>:''r''<sub>2</sub>:...:''r''<sub>''n''</sub> or the same chord linearly shifted to have root α. Unfortunately, this error measure does not form a metric on the set of delta signatures with a fixed number of terms. | This error measure is called '''least-squares delta error'''. Least-squares delta error does not depend on whether the chord whose error is being measured is 1:''r''<sub>1</sub>:''r''<sub>2</sub>:...:''r''<sub>''n''</sub> or the same chord linearly shifted to have root α. Unfortunately, this error measure does not form a metric on the set of delta signatures with a fixed number of terms. | ||
<!-- | <!-- | ||
=== Partially DR === | |||
When the DR signature has one or more free ("+?") terms, the optimization problem becomes a multivariate one: we have one variable <math>\alpha_i, i \ge 2</math> for each free term, as well as the variable <math>\alpha_1</math> for the root. However, solving it is not much more difficult than the univariate case. | When the DR signature has one or more free ("+?") terms, the optimization problem becomes a multivariate one: we have one variable <math>\alpha_i, i \ge 2</math> for each free term, as well as the variable <math>\alpha_1</math> for the root. However, solving it is not much more difficult than the univariate case. | ||
| Line 91: | Line 90: | ||
</math> | </math> | ||
--> | --> | ||
=== Metric error measures === | |||
Another possible approach is to view delta signatures as vectors of positive reals by fixing the first element as 1 and measure the induced <math>L^p</math> distance. | Another possible approach is to view delta signatures as vectors of positive reals by fixing the first element as 1 and measure the induced <math>L^p</math> distance. | ||