cp's OEIS Frontend

Ramanujan theta functions: phi(q) := Sum_{k=-oo..oo} q^(k^2) (A000122), chi(q) := Prod_{k>=0} (1+q^(2k+1)) (A000700).

Old name: Square array read by antidiagonals: T(i,j) = product prime(k)^(Ei(k) XOR Ej(k)) where Ei and Ej are the vectors of exponents in the prime factorizations of i and j; XOR is the bitwise operation on binary representation of the exponents.

Analogous to multiplication, with XOR replacing +.

From Peter Munn, Apr 01 2019: (Start)

(1) Defines an abelian group whose underlying set is the positive integers. (2) Every element is self-inverse. (3) For all n and k, A(n,k) is a divisor of n*k. (4) The terms of A050376, sometimes called Fermi-Dirac primes, form a minimal set of generators. In ordered form, it is the lexicographically earliest such set.

The unique factorization of positive integers into products of distinct terms of the group's lexicographically earliest minimal set of generators seems to follow from (1) (2) and (3).

From (1) and (2), every row and every column of the table is a self-inverse permutation of the positive integers. Rows/columns numbered by nonmembers of A050376 are compositions of earlier rows/columns.

It is a subgroup of the equivalent group over the nonzero integers, which has -1 as an additional generator.

As generated by A050376, the subgroup of even length words is A000379. The complementary set of odd length words is A000028.

The subgroup generated by A000040 (the primes) is A005117 (the squarefree numbers).

(End)

Considered as a binary operation, the result is (the squarefree part of the product of its operands) times the square of (the operation's result when applied to the square roots of the square parts of its operands). - Peter Munn, Mar 21 2022

From Enrique Pérez Herrero, Jul 06 2012: (Start)

This sequence and A030229 partition the squarefree numbers: A005117.

Also solutions to the equation mu(n) = -1.

Sum_{n>=1} 1/a(n)^s = (zeta(s)^2 - zeta(2*s))/(2*zeta(s)*zeta(2*s)). (End) [See A088245 and the Hardy reference. - Wolfdieter Lang, Oct 18 2016]

The lexicographically least sequence of integers > 1 such that for each entry, the number of proper divisors occurring in the sequence is equal to 0 modulo 3. - Masahiko Shin, Feb 12 2018

The asymptotic density of this sequence is 3/Pi^2 (A104141). - Amiram Eldar, May 22 2020

Solutions to the equation Sum_{d|n} mu(d)*sigma(d) = -n, where sigma(n) is the sum of divisors function (A000203). - Robert D. Rosales, May 20 2024

Ramanujan theta functions: phi(q) (A000122), chi(q) (A000700).

The partitions of n are partitioned into four types:

EO, even # of odd parts and odd # of even parts, A236559;

OE, odd # of odd parts and even # of even parts, A160786;

EE, even # of odd parts and even # of even parts, A236913;

OO, odd # of odd parts and odd # of even parts, A236914.

A236559 and A160786 are the bisections of A027193;

A236913 and A236914 are the bisections of A027187.

This is a triangle with two columns and strictly increasing rows, namely {A270650(n), A270652(n)}.

A squarefree semiprime is a product of any two distinct prime numbers. A prime index of n is a number m such that the m-th prime number divides n. The multiset of prime indices of n is row n of A112798.

This sequence and A000028 (its complement) give the unique solution to the problem of splitting the positive integers into two classes in such a way that products of pairs of distinct elements from either class occur with the same multiplicities [Lambek and Moser]. Cf. A000069, A001969.

See A000028 for precise definition, Maple program, etc.

The sequence contains products of even number of distinct terms of A050376. - Vladimir Shevelev, May 04 2010

From Vladimir Shevelev, Oct 28 2013: (Start)

Numbers m such that the infinitary Möbius function (A064179) of m equals 1. (This follows from the definition of A064179.)

A number m is in the sequence iff the number k = k(m) of terms of A050376 that divide m with odd maximal exponent is even (see example).

(End)

Numbers k for which A064547(k) [or equally, A268386(k)] is even. Numbers k for which A010060(A268387(k)) = 0. - Antti Karttunen, Feb 09 2016

The sequence is closed under the commutative binary operation A059897(.,.). As integers are self-inverse under A059897(.,.), it therefore forms a subgroup of the positive integers considered as a group under A059897(.,.). Specifically (expanding on the comment above dated May 04 2010) it is the subgroup of even length words in A050376, which is the group's lexicographically earliest ordered minimal set of generators. A000028, the set of odd length words in A050376, is its complementary coset. - Peter Munn, Nov 01 2019

From Amiram Eldar, Oct 02 2024: (Start)

Numbers whose number of infinitary divisors (A037445) is a square.

Numbers whose exponentially odious part (A367514) has an even number of distinct prime factors, i.e., numbers k such that A092248(A367514(k)) = 0. (End)

3/Pi^2 is the limit of (Sum_{k=1..n} phi(k))/n^2, where phi(k) is Euler's totient A000010(k), i.e., of A002088(n)/A000290(n) as n tends to infinity.

The previous comment in the context of Farey series means that the length of the n-th Farey series can be approximated by multiplying this constant by n^2, "and that the approximation gets proportionally better as n gets larger", according to Conway and Guy. - Alonso del Arte, May 28 2011

The asymptotic density of the sequences of squarefree numbers with even number of prime factors (A030229), odd number of prime factors (A030059), and coprime to 6 (A276378). - Amiram Eldar, May 22 2020

The Dyson rank of a nonempty partition is its maximum part minus its number of parts. For this sequence, the rank of an empty partition is 0.

Naturally, such a partition must have an even number of parts. Its multiplicities form a graphical partition (A000569, A320922), and vice versa.