Hypercubic billiard word: Difference between revisions

Line 28:

== Determining whether a scale word is a billiard scale ==

The following discussion documents a naive algorithm for answering whether a circular word ''s'' over ''d'' letters with ~~velocity '~~''a''~~' = ∑~~''i'' ''a''''i'' ''~~'e'~~''''i'' ~~∈ ℤ~~<~~sup~~>''d''</~~sup~~> ~~(representing the signature~~ ''a''<~~sub>1</~~sub>''x''~~1~~~~...~~''a''''d''~~''x''~~<~~sub~~>''d''</~~sub~~>~~) is a billiard word~~:

The following discussion documents a naive algorithm for answering whether a circular word ''s'' over ''d'' letters with step signature ''a''1''x''1...''a''''d''''x''''d'') is a billiard word with velocity '''a''' = ∑''i'' ''a''''i'' '''e'''''i'' ∈ ℤ''d'':

Consider the ''d''-dimensional prism ''P'' = ∏''d''''i''=1 [0, ''a''''i'']. Since the pattern in which the billiard line ''L'' = ''L''(''t'') = '''a'''''t'' + ''b'' hits integer coordinate hyperplanes (i.e. sets ''x''''i'' = ''n'' for ''n'' ∈ ℤ) is periodic with period 1 in ''t'', we may first regard ''P'' as a ''d''-torus and ''L'' : ℝ → ''P'' as a periodic function with period 1. Because ''s'' is a billiard word, ''L'' ''cannot'' meet any point '''q''' = (''q''1, ..., ''q''''d'') ∈ ℝ''d'' where two coordinates, ''q''''i'' and ''q''''j'', ''i'' < ''j'', are integers. Thus for two distinct integers ''i'' < ''j'' in {1, ..., ''d''}, any choice of two integers ''m''''i'' ∈ {0, ..., ''a''''i''} and ''n''''j'' ∈ {0, ..., ''b''''j''} corresponds to the affine hyperplane (which we call a ''constraint hyperplane'')

@@ Line 28: / Line 28: @@
 == Determining whether a scale word is a billiard scale ==
-The following discussion documents a naive algorithm for answering whether a circular word ''s'' over ''d'' letters with velocity '''a''' = ∑<sub>''i''</sub> ''a''<sub>''i''</sub> '''e'''<sub>''i''</sub> ∈ ℤ<sup>''d''</sup> (representing the signature ''a''<sub>1</sub>''x''<sub>1</sub>...''a''<sub>''d''</sub>''x''<sub>''d''</sub>) is a billiard word:
+The following discussion documents a naive algorithm for answering whether a circular word ''s'' over ''d'' letters with step signature ''a''<sub>1</sub>''x''<sub>1</sub>...''a''<sub>''d''</sub>''x''<sub>''d''</sub>) is a billiard word with velocity '''a''' = ∑<sub>''i''</sub> ''a''<sub>''i''</sub> '''e'''<sub>''i''</sub> ∈ ℤ<sup>''d''</sup>:
 Consider the ''d''-dimensional prism ''P'' = ∏<sup>''d''</sup><sub>''i''=1</sub> [0, ''a''<sub>''i''</sub>]. Since the pattern in which the billiard line ''L'' = ''L''(''t'') = '''a'''''t'' + ''b'' hits integer coordinate hyperplanes (i.e. sets ''x''<sub>''i''</sub> = ''n'' for ''n'' ∈ ℤ) is periodic with period 1 in ''t'', we may first regard ''P'' as a ''d''-torus and ''L'' : ℝ → ''P'' as a periodic function with period 1.  Because ''s'' is a billiard word, ''L'' ''cannot'' meet any point '''q''' = (''q''<sub>1</sub>, ..., ''q''<sub>''d''</sub>) ∈ ℝ<sup>''d''</sup> where two coordinates, ''q''<sub>''i''</sub> and ''q''<sub>''j''</sub>, ''i'' < ''j'', are integers. Thus for two distinct integers ''i'' < ''j'' in {1, ..., ''d''}, any choice of two integers ''m''<sub>''i''</sub> ∈ {0, ..., ''a''<sub>''i''</sub>} and ''n''<sub>''j''</sub> ∈ {0, ..., ''b''<sub>''j''</sub>} corresponds to the affine hyperplane (which we call a ''constraint hyperplane'')