is the canonical representative of
if and only if
is the canonical representative of
. - Assume that
. The mapping
is acyclic if and only if
is acyclic.
As we will see in the next theorem, these two functions
and
can be used in order to show that there exist regular complementary canons of maximal category which are not Vuza constructible canons.
The proof is straightforward and so it is omitted. As with several combinatorial constructions, sometimes when trying to find your own proof, you finally understand the problem much better, than by just following the proof of the author.
Among the
regular complementary canons of maximal category of length
[4]
with
we did not find a canon which was constructed in this way for
from the
canons of length
with
.
In conclusion we know now that there exist complementary canons of maximal category
- which are Vuza constructible canons, or
- which are not Vuza constructible but can be constructed from Vuza constructible canons by applying Theorem 12.
This motivates the following question: Do there exist complementary canons of maximal category which cannot be constructed with these two methods?
References
ALEGANT, B. (1992). The Seventy-Seven Partitions of the Aggregate: Analytical and Theoretical Implications. Ph.D. thesis, Eastman School of Music, University of Rochester.
ANDREATTA, M. (1997). Group theoretical methods applied to music. Visiting Student Dissertation, University of Sussex.
ANDREATTA, M.; NOLL, TH.; AGON, C.; and ASSAYAG, G. (2001). The Geometrical Groove: rhythmic canons between Theory, Implementation and Musical Experiment. In Les Actes des 8e Journées d’Informatique Musicale, Bourges 7-9 juin 2001, pp. 93-97.
DE BRUIJN, N.G. (1964). Pólya’s Theory of Counting. In BECKENBACH, E.F. (ed.), Applied Combinatorial Mathematics, chap. 5, pp. 144 - 184. Wiley, New York.