Å indel Sequence
   HOME

TheInfoList



OR:

In
additive combinatorics Additive combinatorics is an area of combinatorics in mathematics. One major area of study in additive combinatorics are ''inverse problems'': given the size of the sumset ''A'' + ''B'' is small, what can we say about the structures of A ...
, a Å indel sequence is a periodic sequence of integers with the property that its
partial sum In mathematics, a series is, roughly speaking, a description of the operation of adding infinitely many quantities, one after the other, to a given starting quantity. The study of series is a major part of calculus and its generalization, math ...
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 Czechs, Czech medieval scientist and Catholic priest. He was a professor at Charles University in Prague and became the Rector (academia), ...
, 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, an auxiliary gear 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 regulates the motion of another larger gear 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. 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 two as the base and integer  as the exponent. In a context where only integers are considered, is restricted to non-negative ...
, 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 A sparse ruler is a ruler in which some of the distance marks may be missing. More abstractly, a sparse ruler of length L with m marks is a sequence of integers a_1, a_2, ..., a_m where 0 = a_1 < a_2 < ... < a_m = L. The marks a_1


Notes


References

* * * {{DEFAULTSORT:Sindel Sequence Additive combinatorics