cp's OEIS Frontend

A332439 Primitive period of the partial sums of the periodic unsigned Schick sequence for N = 7 (A130794), taken modulo 14, and the related Euler tour using all regular 14-gon vertices.

%I A332439 #32 Feb 11 2021 09:23:41
%S A332439 0,1,6,9,10,1,4,5,10,13,0,5,8,9,0,3,4,9,12,13,4,7,8,13,2,3,8,11,12,3,
%T A332439 6,7,12,1,2,7,10,11,2,5,6,11
%N A332439 Primitive period of the partial sums of the periodic unsigned Schick sequence for N = 7 (A130794), taken modulo 14, and the related Euler tour using all regular 14-gon vertices.
%C A332439 The unsigned Schick sequences SBBseq(N, q0) (BB for Brändli and Beyne) are defined by the recurrence q_j(N) = |N - 2*q_{j-1}(N)|, for odd N >= 3, and j >= 1, with certain initial odd values q0 with gcd(q0, N) = 1. They are periodic with primitive period length ppl(n) = A003558((N-1)/2) (pes = pes(N) in Schick's book). One starts with initial value q0 = 1. If not all odd elements of the smallest positive reduced residue system modulo N (RRSodd(N)) are present then one takes the smallest missing odd number as next initial value q0, etc., until all elements of RRSodd(N) have been reached. The number of necessary distinct initial values q0 is A135303((N-1)/2) (called B = B(N) by Schick).
%C A332439 The present sequence is the instance N = 7. SBBseq(7, 1) = repeat(1,5,3,) = A130794, ppl(7) = 3, RRSodd(7)= {1, 3, 5}, B(7) = 1. The start has been taken as a(0) = 0 with offset 0 (not a(42) = 0, with offset 1). The primitive period length of SBBseq(7, 1) is (2*7)*3 = 42.
%C A332439 The primitive periods of the B(N) sequences, each of length ppl(N), define the set SBB(N). The entries of these periods can be interpreted as odd vertex labels in a regular 2*N-gon, with start vertex V^{(2*N)})_{0} (in Cartesian coordinates (r, 0), with r the radius of the circumscribing circle). The other vertices V^{(2*N)}_k, for k = 1..2*N-1, are taken in the positive (counterclockwise) sense.
%C A332439 In the present case N = 7 there are three directed diagonals (arrows) d_1 = s = arrow(V14_0, V14_1) of length r*0.4450418..., d_3 = arrow(V14_0, V14_3) of length r*1.2469796..., and d_5 = arrow(V14_0, V14_5), of length r*1.8019377... (V14 is shorthand for a 14-gon vertex, and s is the side).
%C A332439 A trail with these three arrows (considered as free vectors) in the order d1, d5, and d3, with tails following the present sequence, leads to an Euler tour, involving all vertices of the 14-gon, each visited thrice. Therefore this is a simple regular digraph with 14 vertices each of degree 6 (out-degree = in-degree = 3), and 42 arrows each used once in the tour from V14_0 to V14_0 (or starting from any other vertex). See the figure in the link.
%C A332439 The vertex-vertex 14 X 14 incidence matrix of this directed Euler graph is cyclic with first row [0,1,0,1,0,1,0_8] (0_k for k zeros) shifted by one step to the right, with last row [1, 0, 1, 0, 1, 0_9].
%C A332439 The 14 triples of positions of the vertex labels k, for k from 0 to 13, in the present sequence are given in A332440.
%C A332439 For N = 3, SBBseq(3, 1) = A000012 (sequence of 1's). The primitive period modulo 6 is [0, 1, 2, 3, 4, 5], and the Euler tour, using as diagonal only the side, is the digraph C_6 (circle graph, trail in the positive sense).
%C A332439 For N=5, SBBseq(5, 1) = repeat(1,3,) = A010684. The primitive period modulo 10 is [0, 1, 4, 5, 8, 9, 2, 3, 6, 7]. The simple digraph, using alternatively the two diagonals d1 (side) and d3 in the regular 10-gon, is regular with degree 2.
%D A332439 Carl Schick, Trigonometrie und unterhaltsame Zahlentheorie, Bokos Druck, Zürich, 2003 (ISBN 3-9522917-0-6). Tables 3.1 to 3.10, for odd p = 3..113 (with gaps), pp. 158-166.
%H A332439 Gerold Brändli and Tim Beyne, <a href="https://arxiv.org/abs/1504.02757">Modified Congruence Modulo n with Half the Amount of Residues</a>, arXiv:1504.02757 [math.NT], 2015-2016.
%H A332439 Wolfdieter Lang, <a href="/A332439/a332439.pdf">Figure: A directed Euler tour on the regular 14-gon with length 42</a>
%H A332439 Wolfdieter Lang, <a href="https://arxiv.org/abs/2008.04300">On the Equivalence of Three Complete Cyclic Systems of Integers</a>, arXiv:2008.04300 [math.NT], 2020.
%F A332439 a(n) = (Sum_{j=0..n} A130794(j)) mod 14, for n >= 1 with the periodic sequence SBBseq(7, 1) = repeat(1,5,3,) = A130794, with offset 0, and a(0) = 0 (= a(42)).
%o A332439 (PARI) get(v, j) = my(x=lift(Mod(j, #v))); if (x==0, x = #v); v[x];
%o A332439 vector(42, k, k--; sum(j=1, k, get([1,5,3], j)) % 14) \\ _Michel Marcus_, Jun 11 2020
%Y A332439 Cf. A000012, A003558, A010684, A135303, A332440, A332441.
%K A332439 nonn,fini,full,walk
%O A332439 0,3
%A A332439 _Wolfdieter Lang_, Apr 04 2020