User:Sintel/Expected Dirichlet coefficient for temperaments: Difference between revisions
publish |
mNo edit summary |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 1: | Line 1: | ||
In the context of [[regular temperament theory]], a natural question is how well a given temperament approximates [[just intonation]] relative to its [[complexity]]. | In the context of [[regular temperament theory]], a natural question is how well a given temperament approximates [[just intonation]] relative to its [[complexity]]. | ||
The '''Dirichlet coefficient''' gives a quantitative way to measure this. | The '''Dirichlet coefficient''' gives a quantitative way to measure this. This is the same as the "[[TE logflat badness|badness]]" used on the wiki, though the derivation here is given for the regular Euclidean norm for clarity. | ||
Given a target vector <math>y \in \mathbb{R}^n</math>, such as the [[JIP | vector of log-primes]] in some ''p''-limit, and a rank-''k'' temperament ''X'', the Dirichlet coefficient is defined as: | Given a target vector <math>y \in \mathbb{R}^n</math>, such as the [[JIP | vector of log-primes]] in some ''p''-limit, and a rank-''k'' temperament ''X'', the Dirichlet coefficient is defined as: | ||
| Line 133: | Line 133: | ||
:<math> | :<math> | ||
\begin{aligned} | \begin{aligned} | ||
\mathrm{Vol}(d(X,y) | \mathrm{Vol}(d(X,y) \le r) | ||
&\approx \frac{1}{B\!\left(\frac{n-k}{2}, \frac{k}{2}\right)} \cdot \frac{r^{n-k}}{\frac{n-k}{2}} \\[10pt] | &\approx \frac{1}{B\!\left(\frac{n-k}{2}, \frac{k}{2}\right)} \cdot \frac{r^{n-k}}{\frac{n-k}{2}} \\[10pt] | ||
&= \frac{\Gamma\!\left(\frac{n}{2}\right)}{\Gamma\!\left(\frac{k}{2}\right)\,\Gamma\!\left(\frac{n-k+2}{2}\right)}\, r^{n-k} | &= \frac{\Gamma\!\left(\frac{n}{2}\right)}{\Gamma\!\left(\frac{k}{2}\right)\,\Gamma\!\left(\frac{n-k+2}{2}\right)}\, r^{n-k} | ||
| Line 175: | Line 175: | ||
<references> | <references> | ||
<ref name="Schmidt1967">Wolfgang M. Schmidt. ''On Heights of Algebraic Subspaces and Diophantine Approximations''. Annals of Mathematics, Vol. 85, No. 3 (1967), pp. 430-472, theorem 15 [https://doi.org/10.2307/1970352 doi:10.2307/1970352]</ref> | <ref name="Schmidt1967">Wolfgang M. Schmidt. ''On Heights of Algebraic Subspaces and Diophantine Approximations''. Annals of Mathematics, Vol. 85, No. 3 (1967), pp. 430-472, theorem 15 [https://doi.org/10.2307/1970352 doi:10.2307/1970352]</ref> | ||
<ref name="Schmidt1968">Wolfgang M. Schmidt. ''Asymptotic formulae for point lattices of bounded determinant and subspaces of bounded height''. Duke Mathematical Journal Vol. 35 No. 2, pp. 327-339 (1968), theorem 1 [https://doi.org/10. | <ref name="Schmidt1968">Wolfgang M. Schmidt. ''Asymptotic formulae for point lattices of bounded determinant and subspaces of bounded height''. Duke Mathematical Journal Vol. 35 No. 2, pp. 327-339 (1968), theorem 1 [https://doi.org/10.1215/S0012-7094-68-03532-1 doi:10.1215/S0012-7094-68-03532-1]</ref> | ||
<ref name="Schmidt1998">Wolfgang M. Schmidt. ''The distribution of sub-lattices of Z<sup>m</sup>''. Monatshefte für Mathematik Vol. 125 No. 1, pp 37–81 (1998) [https://doi.org/10.1007/BF01489457 doi:10.1007/BF01489457]</ref> | <ref name="Schmidt1998">Wolfgang M. Schmidt. ''The distribution of sub-lattices of Z<sup>m</sup>''. Monatshefte für Mathematik Vol. 125 No. 1, pp 37–81 (1998) [https://doi.org/10.1007/BF01489457 doi:10.1007/BF01489457]</ref> | ||
</references> | </references> | ||