A082285 -id:A082285 - cp's OEIS frontend

A257852 Array A read by upward antidiagonals in which the entry A(n,k) in row n and column k is defined by A(n,k) = (2^n(6k - 3 - 2*(-1)^n) - 1)/3, n,k >= 1.

3, 1, 7, 13, 9, 11, 5, 29, 17, 15, 53, 37, 45, 25, 19, 21, 117, 69, 61, 33, 23, 213, 149, 181, 101, 77, 41, 27, 85, 469, 277, 245, 133, 93, 49, 31, 853, 597, 725, 405, 309, 165, 109, 57, 35, 341, 1877, 1109, 981, 533, 373, 197, 125, 65, 39

Offset: 1

L. Edson Jeffery, Jul 12 2015

Sequence is a permutation of the odd natural numbers.

Let N_1 denote the set of odd natural numbers, and let |y|_2 denote 2-adic valuation of y. Define the map F : N_1 -> N_1 by F(x) = (3*x + 1)/2^|3*x+1|_2 (cf. A075677). Then row n of A is the set of all x in N_1 for which |3*x + 1|_2 = A371093(x) = n. Hence F(A(n,k)) = 6*k - 3 - 2*(-1)^n.

			From _Ruud H.G. van Tol_, Oct 17 2023, corrected and extended by _Antti Karttunen_, Apr 18 2024: (Start)
Array A begins:
n\k|   1|   2|   3|   4|   5|   6|   7|   8| ...
---+---------------------------------------------
1  |   3,   7,  11,  15,  19,  23,  27,  31, ...
2  |   1,   9,  17,  25,  33,  41,  49,  57, ...
3  |  13,  29,  45,  61,  77,  93, 109, 125, ...
4  |   5,  37,  69, 101, 133, 165, 197, 229, ...
5  |  53, 117, 181, 245, 309, 373, 437, 501, ...
6  |  21, 149, 277, 405, 533, 661, 789, 917, ...
... (End)

Cf. A006370, A075677, A096773 (after its initial 0, column 1 of this array).
Cf. A004767, A017077, A082285, A238477 (rows 1-4).
Cf. A371092, A371093 (column and row indices for odd numbers).
Cf. also arrays A371095, A371096, A371097, A371100, A371101, A371102, A371103.

(* Array: *)
Grid[Table[(2^n*(6*k - 3 - 2*(-1)^n) - 1)/3, {n, 10}, {k, 10}]]
(* Array antidiagonals flattened: *)
Flatten[Table[(2^(n - k + 1)*(6*k - 3 - 2*(-1)^(n - k + 1)) - 1)/ 3, {n, 10}, {k, n}]]

up_to = 105;
A257852sq(n,k) = ((2^n * (6*k - 3 - 2*(-1)^n) - 1)/3);
A257852list(up_to) = { my(v = vector(up_to), i=0); for(a=1,oo, for(col=1,a, i++; if(i > up_to, return(v)); v[i] = A257852sq((a-(col-1)),col))); (v); };
v257852 = A257852list(up_to);
A257852(n) = v257852[n]; \\ Antti Karttunen, Apr 18 2024

From Ruud H.G. van Tol, Oct 17 2023: (Start)
A(n,k+1) = A(n,k) + 2^(n+1).
A(n+2,k) = A(n,k)*4 + 1.
A(1,k) = A004767(k-1).
A(2,k) = A017077(k-1).
A(3,k) = A082285(k-1).
A(4,k) = A238477(k). (End)
For all odd positive numbers n, A(A371093(n), A371092(n)) = n. - Antti Karttunen, Apr 24 2024

A238476 Rectangular array with all start numbers Mo(n, k), k >= 1, for the Collatz operation ud^(2*n-1), n >= 1, ending in an odd number, read by antidiagonals.

Original entry on oeis.org

3, 7, 13, 11, 29, 53, 15, 45, 117, 213, 19, 61, 181, 469, 853, 23, 77, 245, 725, 1877, 3413, 27, 93, 309, 981, 2901, 7509, 13653, 31, 109, 373, 1237, 3925, 11605, 30037, 54613, 35, 125, 437, 1493, 4949, 15701, 46421, 120149, 218453

Offset: 1

Wolfdieter Lang, Mar 10 2014

The two operations on natural numbers m used in the Collatz 3x+1 conjecture are here denoted (with M. Trümper, see the link) by u for 'up' and d for 'down': u m = 3*m+1, if m is odd, and d m = m/2 if m is even. The present array gives all start numbers Mo(n, k), k >= 1, for Collatz sequences following the pattern (word) ud^(2*n-1), with n >= 1, ending in an odd number. This end number does not depend on n and it is given by No(k) = 6*k - 1. This Collatz sequence has length 1 + (1 + 2*n - 1) = 2*n + 1.
This rectangular array is Example 2.1. with x = 2*n-1, n >= 1, of the M. Trümper reference, pp. 4-5, written as a triangle by taking NE-SW diagonals. The case x = 2*n, n >= 1, for the word ud^(2*n) appears as array and triangle A238475.
The first rows of array Mo (columns of triangle To) are A004767, A082285, A239124, ...

			The rectangular array Mo(n, k) begins:
n\k      1        2        3        4        5        6        7        8        9        10 ...
1:       3        7       11       15       19       23       27       31       35        39
2:      13       29       45       61       77       93      109      125      141       157
3:      53      117      181      245      309      373      437      501      565       629
4:     213      469      725      981     1237     1493     1749     2005     2261      2517
5:     853     1877     2901     3925     4949     5973     6997     8021     9045     10069
6:    3413     7509    11605    15701    19797    23893    27989    32085    36181     40277
7:   13653    30037    46421    62805    79189    95573   111957   128341   144725    161109
8:   54613   120149   185685   251221   316757   382293   447829   513365   578901    644437
9:  218453   480597   742741  1004885  1267029  1529173  1791317  2053461  2315605   2577749
10: 873813  1922389  2970965  4019541  5068117  6116693  7165269  8213845  9262421  10310997
...
---------------------------------------------------------------------------------------------
The triangle To(m, n) begins (zeros are not shown):
m\n    1    2    3     4     5      6      7       8       9      10 ...
1:     3
2:     7   13
3:    11   29   53
4:    15   45  117   213
5:    19   61  181   469   853
6:    23   77  245   725  1877   3413
7:    27   93  309   981  2901   7509  13653
8:    31  109  373  1237  3925  11605  30037   54613
9:    35  125  437  1493  4949  15701  46421  120149  218453
10:   39  141  501  1749  5973  19797  62805  185685  480597  873813
...
n=1, ud, k=1: Mo(1, 1) = 3 = To(1, 1), No(1) = 5 with the Collatz sequence [3, 10, 5] of length 3.
n=1, ud, k=2: Mo(1, 2) = 7 = Te(2, 1), No(2) = 11 with the Collatz sequence [7, 22, 11] of length 3.
n=5, ud^9, k=2: Mo(5, 2) = 1877 = Te(6,5), No(2) = 11 with the Collatz sequence [1877, 5632, 2816, 1408, 704, 352, 176, 88, 44, 22, 11] of length 11.

W. Lang, On Collatz' Words, Sequences, and Trees, J. of Integer Sequences, Vol. 17 (2014), Article 14.11.7.
Manfred Trümper, The Collatz Problem in the Light of an Infinite Free Semigroup, Chinese Journal of Mathematics, Vol. 2014, Article ID 756917, 21 pages.
Eric Weisstein's World of Mathematics, Collatz Problem.
Wikipedia, Collatz Conjecture.

Cf. A006577, A139399, A112695, A238475, A004767, A082285, A239124.

Mo(n, k) = 2^(2*n)*k - (2^(2*n-1)+1)/3 for n >= 1 and k >= 1.

To(m, n) = Mo(n, m-n+1) = 2^(2*n)*(m-n+1) - (2^(2*n-1)+1)/3 for m >= n >= 1 and 0 for m < n.

A239124 a(n) = 64*n - 11 for n >= 1. Third column of triangle A238476.

Original entry on oeis.org

53, 117, 181, 245, 309, 373, 437, 501, 565, 629, 693, 757, 821, 885, 949, 1013, 1077, 1141, 1205, 1269, 1333, 1397, 1461, 1525, 1589, 1653, 1717, 1781, 1845, 1909, 1973, 2037, 2101, 2165, 2229, 2293, 2357, 2421, 2485, 2549, 2613, 2677, 2741, 2805, 2869, 2933, 2997

Offset: 1

Wolfdieter Lang, Mar 10 2014

This sequence gives all start numbers a(n) (sorted increasingly) of Collatz sequences of length 7 following the pattern ud^5 with u (for `up'), mapping an odd number m to 3*m+1, and d (for `down'), mapping an even number m to m/2, requiring that the sequence ends in an odd number. The last entry of this Collatz sequence is 6*n - 1.

This appears in Example 2.1. for x = 5 in the M. Trümper paper given as a link below.

			a(1) = 53 because the Collatz sequence of length 7 following the pattern uddddd, ending in an odd number is [53, 160, 80, 40, 20, 10, 5]. The end number is 6*1 - 1 = 5.

Vincenzo Librandi, Table of n, a(n) for n = 1..1000
Wolfdieter Lang, On Collatz' Words, Sequences, and Trees, J. of Integer Sequences, Vol. 17 (2014), Article 14.11.7.
Manfred Trümper, The Collatz Problem in the Light of an Infinite Free Semigroup, Chinese Journal of Mathematics, Vol. 2014, Article ID 756917, 21 pages.
Index entries for linear recurrences with constant coefficients, signature (2,-1).

Cf. A004767 (first column), A082285 (second column), A238476.

[64*n-11: n in [1..50]]; // Vincenzo Librandi, Mar 13 2014

CoefficientList[Series[(53 + 11 x)/(1 - x)^2, {x, 0, 50}], x] (* Vincenzo Librandi, Mar 13 2014 *)
64 Range[40]-11 (* Harvey P. Dale, Nov 21 2018 *)

O.g.f.: x*(53+11*x)/(1-x)^2.
From Elmo R. Oliveira, Apr 04 2025: (Start)
E.g.f.: 11 + exp(x)*(64*x - 11).
a(n) = 2*a(n-1) - a(n-2) for n > 2. (End)

cp's OEIS Frontend

A257852 Array A read by upward antidiagonals in which the entry A(n,k) in row n and column k is defined by A(n,k) = (2^n(6k - 3 - 2*(-1)^n) - 1)/3, n,k >= 1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A238476 Rectangular array with all start numbers Mo(n, k), k >= 1, for the Collatz operation ud^(2*n-1), n >= 1, ending in an odd number, read by antidiagonals.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula

A239124 a(n) = 64*n - 11 for n >= 1. Third column of triangle A238476.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Mathematica

Formula

cp's OEIS Frontend

A257852 Array A read by upward antidiagonals in which the entry A(n,k) in row n and column k is defined by A(n,k) = (2^n*(6*k - 3 - 2*(-1)^n) - 1)/3, n,k >= 1.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Mathematica

PARI

Formula

A238476 Rectangular array with all start numbers Mo(n, k), k >= 1, for the Collatz operation ud^(2*n-1), n >= 1, ending in an odd number, read by antidiagonals.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Formula

A239124 a(n) = 64*n - 11 for n >= 1. Third column of triangle A238476.

Views

Author

Keywords

Comments

Examples

Links

Crossrefs

Programs

Magma

Mathematica

Formula

A257852 Array A read by upward antidiagonals in which the entry A(n,k) in row n and column k is defined by A(n,k) = (2^n(6k - 3 - 2*(-1)^n) - 1)/3, n,k >= 1.