Department of Pure Mathematics and Institute for Quantum Computing, University of Waterloo, Waterloo, ON, Canada N2L 3G1
Copyright Β© 2010 Dragomir Ž. Ðoković. This is an open access article distributed under the Creative Commons Attribution License, which permits unrestricted use, distribution, and reproduction in any medium, provided the original work is properly cited.
While working on the classification of normal sequences, we discovered the following counter-example to [1, Theorem 4.2]. The base sequences , given (in encoded form) by
are both in the canonical form in spite of being equivalent. Indeed we have .
The error in the proof occurs in the last two sentences of the fourth paragraph on page 19. Namely, the claim that
is not valid. To correct this error, we just need to replace the condition (x) in Definition 3.1 with the stronger condition
(x)' if is odd and for all , then .The last two sentences of the above-mentioned paragraph should be replaced by the following ones.
“Since fixes the central columns 0 and 3, we may assume that , . If , then (x)' implies that . Otherwise and so must fix the quad 2. Consequently, or and so .”
After this correction, only has the canonical form. The program that we used to enumerate the equivalence classes did not suffer from the same error and our tables in the paper do not require any corrections. We have verified that all representatives listed in our tables (and the ones not included in the paper) are in the canonical form even when using the new definition. For example, note that only , but not , is listed in Table 7 (see item no. 332).
We point out three misprints: on the third line of the definition of (T4) on page 14, switch “even” and “odd”; on the fifth line of page 16, insert “switching and and” between “After” and “applying”; on the eighth line of page 16, switch the numbers 2 and 7.