Delta-rational chord: Difference between revisions

Inthar (talk | contribs)
Inthar (talk | contribs)
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.


== Mathematics of DR ==
== Mathematical definitions ==
=== 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> &minus; α<sub>''k''<sub>1</sub></sub>)/(α<sub>''k''<sub>4</sub></sub> &minus; α<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> &minus; α<sub>''k''<sub>1</sub></sub>)/(α<sub>''k''<sub>4</sub></sub> &minus; α<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 ===
== 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 ===
== Measuring the error of an approximate fully DR chord ==
==== Least-squares error measures ====
=== 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 ====
=== 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 ====
=== 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.