cp's OEIS Frontend

Meyers (see Guy reference) conjectures that for all r >= 1, the least odd number not in the set {a(i): i < prime(r)} is prime(r+1). - N. J. A. Sloane, Jan 08 2021

Meyers' conjecture would be refuted if and only if for some r there were such a large gap between prime(r) and prime(r+1) that there existed a composite c for which prime(r) < c < a(c) < prime(r+1), in which case (by Bertrand's postulate) c would necessarily be a term of A246281. - Antti Karttunen, Mar 29 2021

a(n) is odd for all n and for each odd m there exists a k with a(k) = m (see A064216). a(n) > n for n > 1: bijection between the odd and all numbers. - Reinhard Zumkeller, Sep 26 2001

a(n) and n have the same number of distinct primes with (A001222) and without multiplicity (A001221). - Michel Marcus, Jun 13 2014

From Antti Karttunen, Nov 01 2019: (Start)

More generally, a(n) has the same prime signature as n, A046523(a(n)) = A046523(n). Also A246277(a(n)) = A246277(n) and A287170(a(n)) = A287170(n).

Many permutations and other sequences that employ prime factorization of n to encode either polynomials, partitions (via Heinz numbers) or multisets in general can be easily defined by using this sequence as one of their constituent functions. See the last line in the Crossrefs section for examples.

(End)

It seems that a(n) = Max_{j=n+1..2n-1} gcd(n,j). - Labos Elemer, May 22 2002

This is correct: No integer in the range [n+1, 2n-1] has n as its divisor, but certainly at least one multiple of the largest proper divisor of n will occur there (e.g., if it is n/2, then at n + (n/2)). - Antti Karttunen, Dec 18 2014

The slopes of the visible lines made by the points in the scatter plot are 1/2, 1/3, 1/5, 1/7, ... (reciprocals of primes). - Moosa Nasir, Jun 19 2022

This is a permutation of the positive integers.

From Antti Karttunen, Jun 20 2014: (Start)

Note the indexing: the domain starts from 0, while the range excludes zero, thus this is neither a bijection on the set of nonnegative integers nor on the set of positive natural numbers, but a bijection from the former set to the latter.

Apart from that discrepancy, this could be viewed as yet another "entanglement permutation" where the two complementary pairs to be interwoven together are even and odd numbers (A005843/A005408) which are entangled with the complementary pair even numbers (taken straight) and odd numbers in the order they appear in A003961: (A005843/A003961). See also A246375 which has almost the same recurrence.

Note how the even bisection halved gives the same sequence back. (For a(0)=1, take ceiling of 1/2).

(End)

From Antti Karttunen, Dec 30 2017: (Start)

This irregular table can be represented as a binary tree. Each child to the left is obtained by doubling the parent, and each child to the right is obtained by applying A003961 to the parent:

1

|

...................2...................

4 3

8......../ \........9 6......../ \........5

/ \ / \ / \ / \

/ \ / \ / \ / \

/ \ / \ / \ / \

16 27 18 25 12 15 10 7

32 81 54 125 36 75 50 49 24 45 30 35 20 21 14 11

etc.

Sequence A005940 is obtained by scanning the same tree level by level in mirror image fashion. Also in binary trees A253563 and A253565 the terms on level of the tree are some permutation of the terms present on the level n of this tree. A252464(n) gives the distance of n from 1 in all these trees, and A252463 gives the parent of the node containing n.

A252737(n) gives the sum and A252738(n) the product of terms on row n (where 1 is on row 0, 1 on row 1, 3 and 4 on row 2, etc.). A252745(n) gives the number of nodes on level n whose left child is smaller than the right child, and A252744(n) is an indicator function for those nodes.

(End)

Note that the idea behind maps like this (and the mirror image A005940) admits also using alternative orderings of primes, not just standard magnitude-wise ordering (A000040). For example, A332214 is a similar sequence but with primes rearranged as in A332211, and A332817 is obtained when primes are rearranged as in A108546. - Antti Karttunen, Mar 11 2020

From Lorenzo Sauras Altuzarra, Nov 28 2020: (Start)

This sequence is generated from A228351 by applying the following procedure: 1) eliminate the compositions that end in one unless the first one, 2) subtract one unit from every component, 3) replace every tuple [t_1, ..., t_r] by Product_{k=1..r} A000040(k)^(t_k) (see the examples).

Is it true that a(n) = A337909(n+1) if and only if a(n+1) is not a term of A161992?

Does this permutation have any other cycle apart from (1), (2) and (6, 9, 16, 7)? (End)

From Antti Karttunen, Jul 25 2023: (Start)

(In the above question, it is assumed that the starting offset would be 1 instead of 0).

Questions:

Does a(n) = 1+A054429(n) hold only when n is of the form 2^k times 1, 3 or 7, i.e., one of the terms of A029748?

It seems that A007283 gives all fixed points of map n -> a(n), like A335431 seems to give all fixed points of map n -> A332214(n). Is there a general rule for mappings like these that the fixed points (if they exist) must be of the form 2^k times a certain kind of prime, i.e., that any odd composite (times 2^k) can certainly be excluded? See also note in A029747.

(End)

If the conjecture given in A364297 holds, then it implies the above conjecture about A007283. See also A364963. - Antti Karttunen, Sep 06 2023

Conjecture: a(n^k) is never of the form x^k, for any integers n > 0, k > 1, x >= 1. This holds at least for squares, cubes, seventh and eleventh powers (see A365808, A365801, A366287 and A366391). - Antti Karttunen, Sep 24 2023, Oct 10 2023.

See A365805 for why the above holds for any n^k, with k > 1. - Antti Karttunen, Nov 23 2023

If n >= 2, n occurs in column a(n) of A246278.

By convention, a(1) = 0 because 1 does not occur in A246278.

This is permutation of natural numbers larger than 1.

From Antti Karttunen, Dec 19 2014: (Start)

If we assume here that a(1) = 1 (but which is not explicitly included because outside of the array), then A252460 gives an inverse permutation. See also A249741.

For navigating in this array:

A055396(n) gives the row number of row where n occurs, and A078898(n) gives its column number, both starting their indexing from 1.

A250469(n) gives the number immediately below n, and when n is an odd number >= 3, A250470(n) gives the number immediately above n. If n is a composite, A249744(n) gives the number immediately left of n.

First cube of each row, which is {the initial prime of the row}^3 and also the first number neither a prime or semiprime, occurs on row n at position A250474(n).

(End)

The n-th row contains the numbers whose least prime factor is the n-th prime: A020639(T(n,k)) = A000040(n). - Franklin T. Adams-Watters, Aug 07 2015

a(n) tells which number in square array A083221 (the sieve of Eratosthenes) is at the same position where n is in array A246278. As both arrays have even numbers as their topmost row and primes as their leftmost column, both sequences are among the fixed points of this permutation.

Equally: a(n) tells which number in array A083140 is at the same position where n is in the array A246279, as they are the transposes of above two arrays.

This sequence can be represented as a binary tree. Each child to the left is obtained by doubling the parent, and each child to the right is obtained by applying A250469 to the parent:

1

|

...................2...................

4 3

8......../ \........9 6......../ \........5

/ \ / \ / \ / \

/ \ / \ / \ / \

/ \ / \ / \ / \

16 21 18 25 12 15 10 7

32 45 42 55 36 51 50 49 24 33 30 35 20 27 14 11

etc.

Sequence A252753 is the mirror image of the same tree. A253555(n) gives the distance of n from 1 in both trees.

This sequence can be represented as a binary tree. Each child to the left is obtained by applying A250469 to the parent, and each child to the right is obtained by doubling the parent:

1

|

...................2...................

3 4

5......../ \........6 9......../ \........8

/ \ / \ / \ / \

/ \ / \ / \ / \

/ \ / \ / \ / \

7 10 15 12 25 18 21 16

11 14 27 20 35 30 33 24 49 50 51 36 55 42 45 32

etc.

Sequence A252755 is the mirror image of the same tree. A253555(n) gives the distance of n from 1 in both trees.