This blog is part of a series wth all my music notes. In the Series page you can find all the posts of the series.

Introduction

In a previous blog, I introduced the concept of tuning systems. My goal in this blog is to present a few simple examples of these systems. Please be aware some of the names below are made up by me.

Simple tuning systems

Positive-real tuning system

Let $\mathcal{S}$ be the set set of real numbers $\mathbb{R}$ and with function $p: \mathbb{R}_{>0} \rightarrow \mathbb{R}; f \mapsto f/f_0$ such as the pitch $x = 1$ is the standard pitch of frequency $f_0$. Let me define a group action with group $(\mathbb{R}_{>0}, \cdot, 1)$ and map $\lambda_g: \mathbb{R}_{>0} \rightarrow \mathbb{R}; x \mapsto gx$ for any $g \in \mathbb{R}_{>0}$. The tuning systems is then given by the the orbit $\mathcal{T} = \lambda_{\mathbb{R}_{>0}}(1)$ and I call it positive-real tuning system.

The positive-real tuning system naturally appears when working with sound generators or synthesizers. This system takes a standard pitch and scales its frequency by positive real value $g$.

Real tuning system

Let $\mathcal{S}$ be the set set of real numbers $\mathbb{R}$ and with function $p: \mathbb{R}_{>0} \rightarrow \mathbb{R}; f \mapsto b\log_a(f/f_0)$ for some $a,b \in \mathbb{R}_{>0}$ such as the pitch $x = 0$ is the standard pitch of frequency $f_0$. Let me define the group action with group $(\mathbb{R}, +, 0)$ and a map $\lambda_g: \mathbb{R} \rightarrow \mathbb{R}; x \mapsto g + x$ for any $g \in \mathbb{R}$. The tuning systems is then given by the the orbit $\mathcal{T} = \lambda_{\mathbb{R}}(0)$ and I call it real tuning system.

The real tuning system is some way the same as the positive-real tuning system, where the sum gives the group action operation. This is done by exponentiation where $g$ of $\mathbb{R}$ can be transform to $g’ \in \mathbb{R}_{>0}$ of a positive-real tuning system by $g’ = \exp_a(g/b)$.

Equal temperament tuning system

Let $\mathcal{S}$ be the set of real numbers $\mathbb{R}$ and with function $p: \mathbb{R}_{>0} \rightarrow \mathbb{R}; f \mapsto b\log_a(f/f_0)$ for some $a,b \in \mathbb{R}_{>0}$ such as the pitch $x = 0$ is the standard pitch of frequency $f_0$. Let me define the group action with group $(\mathbb{Z}, +, 0)$ and a map $\lambda_n: \mathbb{R} \rightarrow \mathbb{R}; x \mapsto n + x$ for any $n \in \mathbb{Z}$. The tuning systems is then given by the the orbit $\mathcal{T} = \lambda_{\mathbb{Z}}(0)$ and I call it equal temperament tuning system.

The name of equal temperament is mostly historical. You can think of this system as a discreet version of the real tuning system divided into equal steps (equal temperaments) where each pitch is associated with an integer. As result, there are only a subset of frequencies are associated to this tuning system with values given by $f_n = a^{n/b} f_0$ such as $p(f_n) = n$ for $n \in \mathbb{Z}$.

Equal ratio tuning system

This system is analog to the discreet version for the positive-real tuning system. It is not commonly used as the equal temperament tuning system is perceived as a more natural option. This preference does not have practical consequences as equal ratio and temperament are equivalent throughout exponentiation.

Let $\mathcal{S}$ be the set of real numbers $\mathbb{R}$ and with function $p: \mathbb{R}_{>0} \rightarrow \mathbb{R}; f \mapsto f/f_0$ such as the pitch $x = 1$ is the standard pitch of frequency $f_0$. Let me define a group action with group $(a^{\mathbb{Z}b^{-1}}, \cdot, 1)$ and map $\lambda_g: \mathbb{R}_{>0} \rightarrow \mathbb{R}; x \mapsto gx$ for any $g \in a^{\mathbb{Z}b^{-1}}$1. The tuning systems is then given by the the orbit $\mathcal{T} = \lambda_{a^{\mathbb{Z}b^{-1}}}(1)$ and I call it Equal ratio tuning system.

As in the case of equal temperament, there are only a subset of frequencies are associated to this tuning system with values given by $f_n = a^{n/b} f_0$ such as $p(f_n) = a^{n/b}$ for $n \in \mathbb{Z}$. The name of equal ration is coming from the fact ration between two concecutive pitches $a^{(n+1)/b}$ and $a^{n/b}$ is the constant $a^{1/b}$.

$p_n$-limit tuning system

Let $\mathcal{S}$ be the set of real numbers $\mathbb{R}$ and with function $p: \mathbb{R}_{>0} \rightarrow \mathbb{R}; f \mapsto f/f_0$ such as the pitch $x = 1$ is the standard pitch of frequency $f_0$. Let me define a group action with group $(\mathbb{Z}^n, +, 0)$ and map $\lambda_g: \mathbb{R}_{>0} \rightarrow \mathbb{R}_{>0}; x \mapsto \prod^n_{i=1} p^{g_i}_i x$ for any $g \in \mathbb{Z}^n$ and $p_1,…, p_n$ the first n-th prime numbers. I call $p_n$-limit tuning system to the orbit $\mathcal{T} = \lambda_{\mathbb{Z}^n}(1)$.

The tuning system is commonly associated with the tradition of just intonation2. As in the equal temperament case, only a discreet set of frequencies are associated to this tuning system with values given by $f_g = \prod^n_{i=1} p^{g_i}_i f_0$. It is a rather complex tuning system to generate a simple pitch space. Each pitch is associated with a n-dimentional vector of integers or $\mathbb{Z}^n$. Therefore, it is customary to reduce the complexity of this system by limiting the dimension, for example, in the case of the five-limit tuning3.

Tuning system’s pitch class

A natural question from the previous tuning systems $\mathcal{T}$ is what kind of set they form. How the tuning systems $\mathcal{T}$ are related to the group, $G$ used to generate them. How does the group structure of the tuning-system group manifest in the tuning system set? This blog will answer these questions informally for the previous tuning systems.

By definition, any element $b$ of the positive-real tuning system $\mathcal{T}$ there is an $x \in \mathbb{R}_{>0}$ such as $b = x$. The relationship between $b$ (element of the tuning system) and $x$ (element of the tuning-system group) is one-to-one because both are basically represented by the same real number. Therefore, I would expect that positive-real tuning system has as pitch class the set of positive real number using the notation $\mathcal{T} \simeq \mathbb{R}_{>0}$, or $\lambda_{\mathbb{R}_{>0}}(1) \simeq \mathbb{R}_{>0}$.

Following the same heuristic about the other examples of tuning systems, it is not hard to see that for real tuning system $\lambda_{\mathbb{R}}(0) \simeq \mathbb{R}$ (or its pitch class is $\mathbb{R}$), for equal temperament system $\lambda_{\mathbb{Z}}(0) \simeq \mathbb{Z}$ (or its pitch class is $\mathbb{Z}$), for equal ratio system $\lambda_{a^{\mathbb{Z}b^{-1}}}(1) \simeq a^{\mathbb{Z}b^{-1}}$ (or its pitch class is $a^{\mathbb{Z}b^{-1}}$), and for $p_n$-limit tuning system $\lambda_{\mathbb{Z}^n}(1) \simeq \mathbb{Z}^n$ (or its pitch class is $\mathbb{Z}^n$). Finally, a lot of the pitch classes presented here are equivalent by exponentation resulting in the summary table below.

Tuning system Pitch class ($\mathcal{T}$)
Positive-real tuning system $\mathbb{R}_{>0}$ or $\mathbb{R}$ by exponental mapping
Real tuning system $\mathbb{R}$ or $\mathbb{R}_{>0}$ by exponental mapping
Equal ratio tuning system $a^{\mathbb{Z}b^{-1}}$ or $\mathbb{Z}$ by exponental mapping
Equal temperament tuning system $\mathbb{Z}$ or $a^{\mathbb{Z}b^{-1}}$ by exponental mapping
$p_n$-limit tuning system $\mathbb{Z}^n$

Disclaimer

Disclaimer: THE "KNOWLEDGE" IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE "KNOWLEDGE" OR THE USE OR OTHER DEALINGS OF THE "KNOWLEDGE".

Expect conceptual errors and constant updates to the whole blog series. Be skeptical and critical of this series content. Ultimately, you are responsible for the information you consume.

Reference

  1. The set notation $a^{\mathbb{Z}b^{-1}} \equiv \lbrace a^{n/b} | n \in \mathbb{Z} \rbrace$ 

  2. Wiki entry: Just intonation

  3. Wiki entry: five-limit tuning