Å indel Sequence
   HOME

TheInfoList



OR:

In additive combinatorics, a Å indel sequence is a periodic sequence of integers with the property that its
partial sum In mathematics, a series is, roughly speaking, an addition of infinitely many terms, one after the other. The study of series is a major part of calculus and its generalization, mathematical analysis. Series are used in most areas of mathemati ...
s include all of the
triangular number A triangular number or triangle number counts objects arranged in an equilateral triangle. Triangular numbers are a type of figurate number, other examples being square numbers and cube numbers. The th triangular number is the number of dots in ...
s. For instance, the sequence that begins 1, 2, 3, 4, 3, 2 is a Å indel sequence, with the triangular partial sums etc. Another way of describing such a sequence is that it can be partitioned into contiguous
subsequence In mathematics, a subsequence of a given sequence is a sequence that can be derived from the given sequence by deleting some or no elements without changing the order of the remaining elements. For example, the sequence \langle A,B,D \rangle is a ...
s whose sums are the consecutive integers: This particular example is used in the gearing of the Prague astronomical clock, as part of a mechanism for chiming the clock's bells the correct number of times at each hour. The Å indel sequences are named after
Jan Šindel Jan Šindel (1370s – between 1455 and 1457), also known as Jan Ondřejův ( or ''Joannes de Praga''), was a Czech medieval scientist and Catholic priest. He was a professor at Charles University in Prague and became the rector of the university ...
, a Czech scientist in the 14th and 15th centuries whose calculations were used in the design of the Prague clock. The definition and name of these sequences were given by Michal Křížek, Alena Šolcová, and Lawrence Somer, in their work analyzing the mathematics of the Prague clock. If s denotes the sum of the numbers within a single period of a periodic sequence, and s is odd, then only the triangular numbers \tbinom up to \tbinom need to be checked, to determine whether it is a Šindel sequence. If all of these triangular numbers are partial sums of the sequence, then all larger triangular numbers will be as well. For even values of s, a larger set of triangular numbers needs to be checked, up to \tbinom. In the Prague clock, a modified countwheel mechanism is used to control the chiming of the hours. An auxiliary countwheel with slots spaced at intervals of 1, 2, 3, 4, 3, and 2 units (repeating in the example Šindel sequence in each of its rotations) is synchronized with and superimposed on another larger countwheel whose slots are spaced at intervals of 1, 2, 3, 4, 5, ..., 24 units, revolving once a day with its spacing controlling the number of chimes on each hour. The countwheels move with the same tangential speed, so that the slots on the larger wheel serve to select only the required (more accurately located) slots from the smaller wheel. In order to keep these two gears synchronized, it is important that, for every revolution of the large gear, the small gear also revolves an integer number of times. Mathematically, this means that the sum s=15 of the period of the Šindel sequence must evenly divide \tbinom, the sum of spacing intervals of the large gear. For this reason it is of interest to find Šindel sequences with a given period sum s. In connection with this problem, a ''primitive Šindel sequence'', is a Šindel sequence no two of whose numbers can be replaced by their sum, forming a shorter Šindel sequence. For every s there exists a unique primitive Šindel sequence having period sum equal to s. Note however, that this sequence may be formed by repeating a shorter Šindel sequence more than one time. A sequence that just repeats the number 1, with any period, is a Šindel sequence, and is called the ''trivial Šindel sequence''. If s is a
power of two A power of two is a number of the form where is an integer, that is, the result of exponentiation with number 2, two as the Base (exponentiation), base and integer  as the exponent. In the fast-growing hierarchy, is exactly equal to f_1^ ...
, then the trivial Å indel sequence with period s is primitive, and is the unique primitive Å indel sequence with period sum s. For any other choice of s, the unique primitive Å indel sequence with period sum s is not trivial.


See also

* Sparse ruler


Notes


References

* * * {{DEFAULTSORT:Sindel Sequence Additive combinatorics