Generalized Tenney norms and Tp interval space

[math]\displaystyle{ \def\hs{\hspace{-3px}} \def\lvsp{{}\mkern-5.5mu}{} \def\rvsp{{}\mkern-2.5mu}{} \def\llangle{\left\langle\lvsp\left\langle} \def\lllangle{\left\langle\lvsp\left\langle\lvsp\left\langle} \def\llllangle{\left\langle\lvsp\left\langle\lvsp\left\langle\lvsp\left\langle} \def\llbrack{\left[\left[} \def\lllbrack{\left[\left[\left[} \def\llllbrack{\left[\left[\left[\left[} \def\llvert{\left\vert\left\vert} \def\lllvert{\left\vert\left\vert\left\vert} \def\llllvert{\left\vert\left\vert\left\vert\left\vert} \def\rrangle{\right\rangle\rvsp\right\rangle} \def\rrrangle{\right\rangle\rvsp\right\rangle\rvsp\right\rangle} \def\rrrrangle{\right\rangle\rvsp\right\rangle\rvsp\right\rangle\rvsp\right\rangle} \def\rrbrack{\right]\right]} \def\rrrbrack{\right]\right]\right]} \def\rrrrbrack{\right]\right]\right]\right]} \def\rrvert{\right\vert\right\vert} \def\rrrvert{\right\vert\right\vert\right\vert} \def\rrrrvert{\right\vert\right\vert\right\vert\right\vert} }[/math][math]\displaystyle{ \def\val#1{\left\langle\begin{matrix}#1\end{matrix}\right]} \def\tval#1{\left\langle\begin{matrix}#1\end{matrix}\right\vert} \def\bival#1{\llangle\begin{matrix}#1\end{matrix}\rrbrack} \def\bitval#1{\llangle\begin{matrix}#1\end{matrix}\rrvert} \def\trival#1{\lllangle\begin{matrix}#1\end{matrix}\rrrbrack} \def\tritval#1{\lllangle\begin{matrix}#1\end{matrix}\rrrvert} \def\quadval#1{\llllangle\begin{matrix}#1\end{matrix}\rrrrbrack} \def\quadtval#1{\llllangle\begin{matrix}#1\end{matrix}\rrrrvert} \def\monzo#1{\left[\begin{matrix}#1\end{matrix}\right\rangle} \def\tmonzo#1{\left\vert\begin{matrix}#1\end{matrix}\right\rangle} \def\bimonzo#1{\llbrack\begin{matrix}#1\end{matrix}\rrangle} \def\bitmonzo#1{\llvert\begin{matrix}#1\end{matrix}\rrangle} \def\trimonzo#1{\lllbrack\begin{matrix}#1\end{matrix}\rrrangle} \def\tritmonzo#1{\lllvert\begin{matrix}#1\end{matrix}\rrrangle} \def\quadmonzo#1{\llllbrack\begin{matrix}#1\end{matrix}\rrrrangle} \def\quadtmonzo#1{\llllvert\begin{matrix}#1\end{matrix}\rrrrangle} \def\rbra#1{\left\{\begin{matrix}#1\end{matrix}\right]} \def\rket#1{\left[\begin{matrix}#1\end{matrix}\right\}} \def\vmp#1#2{\left\langle\begin{matrix}#1\end{matrix}\,\vert\,\begin{matrix}#2\end{matrix}\right\rangle} \def\wmp#1#2{\llangle\begin{matrix}#1\end{matrix}\,\vert\vert\,\begin{matrix}#2\end{matrix}\rrangle} }[/math] It can be useful to define a notion of the "complexity" of an interval, so that small-integer ratios such as 3/2 are less complex and intervals such as 32805/32768 are more complex. This can be accomplished for any free abelian group of (subgroup) monzos by embedding the group in a normed vector space, so that the norm of any interval is taken to be its complexity. The monzos form a ℤ-module, with coordinates given by integers, and the vector space embedding can be constructed by simply allowing real coordinates, hence defining the module over ℝ instead of ℤ and giving it the structure of a vector space. The resulting space is called interval space, with the monzos forming the integer lattice of vectors with integer coordinates, but where we will allow any vector space norm on ℝⁿ.

The most important and natural norm which arises in this scenario is the Tenney norm, which we will explore below.

Tenney norm (T₁ norm)

Main article: Tenney height

The Tenney norm, also called Tenney height, is the norm such that for any monzo representing an interval n/d, the norm of the interval is log₂(nd). For a full-limit monzo m = [m₁ m₂ … m_{π (p)} …⟩, with π standing for the prime-counting function, this norm can be calculated as

[math]\displaystyle{ \displaystyle \lvert m_1 \log_2 (2) \rvert + \lvert m_2 \log_2 (3) \rvert + \ldots + \lvert m_{\pi (p)} \log_2 (p) \rvert }[/math]

This is a variant of the ordinary L₁ norm where each coordinate is weighted in proportion to the log₂ of the prime that it represents. As we will soon see below, generalizations of the Tenney norm that correspond to other weighted L_p norms also exist; these we will call T_p norms, with the Tenney norm being designated the T₁ norm.

Informally speaking, we can obtain the Tenney norm on an interval space for any JI group by applying these three steps:

1. if the interval is a subgroup monzo, with coordinates in the subgroup basis, map it back to its corresponding full-limit monzo
2. weight the axis for each prime p by log₂(p)
3. take the ordinary L₁ norm of the result.

To formalize this idea in its full generality, the Tenney norm of any subgroup monzo m in an interval space with associated JI group G can be expressed as follows:

[math]\displaystyle{ \displaystyle \lVert \vec m \rVert_{\text{T} 1}^G = \lVert W_J \cdot S_G \cdot \vec m \rVert_1 }[/math]

where S_G is a subgroup basis matrix in which the n-th column is a monzo expressing the n-th basis element of G in a suitable full-limit J containing all of G as a subgroup, W_J is a diagonal weighting matrix in which the n-th entry in the diagonal is the log₂ of the n-th prime in J, and the ‖ · ‖₁ on the right hand side of the equation is the L₁ norm on the resulting full-limit real vector.

It is notable that, for interval spaces corresponding to a group of monzos where the basis is set to consist of only primes or prime powers, the Tenney norm of any interval m can be represented by the simpler expression

[math]\displaystyle{ \displaystyle \lVert \vec m \rVert_{\text{T} 1}^G = \lVert W_G \cdot \vec m \rVert_1 }[/math]

where W_G is a diagonal "weighting matrix" such that the n-th entry in the diagonal is the log₂ of the interval represented by the n-th coordinate of the monzo. For Tenney norms on these spaces, the unit sphere will look like the ordinary L₁ unit sphere, but be dilated a different amount along each axis. Conversely, it is also important to note that that for groups for which the basis does not only consist of primes or prime powers, the unit sphere of the Tenney norm will not look like a dilated L₁ unit sphere at all.

Generalized Tenney norms (T_p norms)

A useful generalization of the Tenney norm, called the generalized Tenney norm, T_p norm, or T_p height, can be obtained as follows:

[math]\displaystyle{ \displaystyle \lVert \vec m \rVert_{\text{T} p}^G = \lVert W_J \cdot S_G \cdot \vec m \rVert_p }[/math]

In this scheme the ordinary Tenney norm now becomes the T₁ norm, and in general we call an interval space that has been given a T_p norm T_p interval space. We may sometimes notate this as T_p^G, where G is the associated group the interval space is built around.

Note that the ‖ · ‖_Tp norm on the left side of the equation now has a subscript of T_p rather than T₁, and that the ‖ · ‖_p norm on the right side of the equation now has a subscript of p rather than 1. The generalized Tenney norm can thus be thought of as applying the same three-step process that the Tenney norm does, but where the last step can be an arbitrary L_p norm rather than restricting our consideration to the L₁ norm.

T_p norms are thus generalizations of the Tenney norm which continue to weight the primes and prime powers as the Tenney norm does, but for which an arbitrary interval n/d may no longer have a complexity of log₂(nd). Furthermore, generalized T_p norms may sometimes differ from the T₁ norm in their ranking of intervals by T_p complexity, although the T_p norm of any interval is always bounded by its T₁ norm. However, despite these supposed theoretical disadvantages, there can be many indirect implications of using a T_p norm other than T₁ which are theoretically justified; additionally, certain T_p norms are worth using as an approximation to T₁ for their strong computational advantages. As such, T_p spaces are musically justified enough to merit further study, despite the surface advantages of sticking exclusively to the T₁ norm.

Tenney–Euclidean norm (TE norm, T₂ norm)

Main article: Tenney–Euclidean metrics

The T₂ norm is often called the Tenney–Euclidean norm, TE norm, or TE height, as it has the same relationship with Euclidean geometry that the T₁ norm has with taxicab geometry. Applications involving the TE norm tend to be easy to compute, such as the host of TE-related metrics defined for rating temperaments^(1)(2)(3). It approximates the T₁ complexity of many intervals, although notably rates 9/1 as more complex than 15/1.

The T₂ norm is also the only T_p norm that naturally defines an inner product, given by the matrix multiplication

[math]\displaystyle{ \displaystyle \left \langle \vec v, \vec w \right \rangle_G = \vec v^\mathsf {T} \cdot (S_G^\mathsf {T} \cdot W_J^2 \cdot S_G) \cdot \vec w }[/math]

The matrix product S T
G  · W 2
J  · S_G itself is a positive definite matrix, and as such defines the inner product for the TE norm. Note that this setup represents the vectors v and w by column vectors, so that v^T denotes a row vector. As was the case with T_p norms in general, this equation simplifies considerably when the group G takes as its basis only primes and prime powers, becoming instead

[math]\displaystyle{ \displaystyle \left \langle \vec v, \vec w \right \rangle_G = \vec v ^\mathsf {T} \cdot W_G^2 \cdot \vec w }[/math]

In these cases, the relationship between the TE inner product and the ordinary Euclidean inner product becomes apparent; the former is simply a version of the latter which weights the coordinates of each vector.

Examples

Say that we are in the 2.9/7.5/3 subgroup, and we want to find the T₁ norm of [0 -2 1⟩. Then we can come up with a subgroup basis matrix S_G for this subgroup in the 7-limit as follows:

[math]\displaystyle{ \displaystyle \begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 2 & 0 & -1 \\ 0 & -1 & 1 & 0 \\ \end{bmatrix} }[/math]

Note that the "rows" here are written in kets; this is a convention to signify that each ket, representing a monzo, is actually supposed to represent a column of the matrix as explained in Subgroup basis matrices.

We can also come up with a weighting matrix for the full-limit W_J as follows:

[math]\displaystyle{ \displaystyle \begin{bmatrix} \log_2(2) & 0 & 0 & 0\\ 0 & \log_2(3) & 0 & 0\\ 0 & 0 & \log_2(5) & 0\\ 0 & 0 & 0 & \log_2(7) \end{bmatrix} }[/math]

Given these matrices, the T₁ norm of our subgroup basis monzo [0 -2 1⟩, which we will call m, can be found by taking the L₁ norm of the resulting real vector W_J · S_G · m. This expression works out to

[math]\displaystyle{ \displaystyle \left\lVert \vec m \right\rVert_{\text{T} 1}^{2 \text{.} 9/7 \text{.} 5/3} = \left \lVert \begin{bmatrix} \log_2(2) & 0 & 0 & 0\\ 0 & \log_2(3) & 0 & 0\\ 0 & 0 & \log_2(5) & 0\\ 0 & 0 & 0 & \log_2(7) \end{bmatrix} \cdot \begin{bmatrix} 1 & 0 & 0 & 0 \\ 0 & 2 & 0 & -1 \\ 0 & -1 & 1 & 0 \\ \end{bmatrix} \cdot \begin{bmatrix} 0 & -2 & 1 \\ \end{bmatrix} \right \rVert_1 }[/math]

which finally resolves to

[math]\displaystyle{ \displaystyle \left\lVert \vec m \right\rVert_{\text{T} 1}^{2.9/7.5/3} = \lVert \monzo{ \begin{matrix} 0 & -7.925 & 2.322 & 5.615 \end{matrix} } \rVert_1 = 15.861 }[/math]

Note that 15.861 = |0| + |−7.925| + |2.322| + |5.615|, which is the L₁ norm of the vector.

To confirm this, we can put the subgroup basis monzo [0 -2 1⟩ back into rational form to see that it represents the interval 245/243. As the L₁ norm is supposed to give log(nd) for any interval n/d, we can confirm that we have the right answer above by noting that log₂(245 · 243) is indeed equal to 15.861.

See also

• Generalized Tenney dual norms and T_p tuning space