cp's OEIS Frontend

This is a front-end for the Online Encyclopedia of Integer Sequences, made by Christian Perfect. The idea is to provide OEIS entries in non-ancient HTML, and then to think about how they're presented visually. The source code is on GitHub.

Showing 1-4 of 4 results.

A359477 a(n) = 2^m(n), where m(n) is the number of distinct primes, neither 2 nor 7, dividing A359476(n).

Original entry on oeis.org

2, 2, 1, 1, 2, 2, 2, 2, 2, 2, 2, 2, 2, 2, 4, 2, 2, 4, 2, 2, 2, 2, 4, 2, 2, 4, 4, 2, 2, 2, 4, 2, 2, 2, 2, 2, 2, 2, 2, 4, 2, 2, 2, 4, 4, 2, 4, 4, 2, 2, 2, 2, 4, 2, 4, 2, 4, 2, 2, 4, 2, 2, 2, 2, 2, 2, 2, 2, 4, 2, 4, 4, 2, 2, 2, 4, 2, 4, 2, 2, 2, 2, 2, 2, 4, 4, 4, 2, 4
Offset: 1

Views

Author

Wolfdieter Lang, Jan 10 2023

Keywords

Comments

a(n) gives the number of representative parallel primitive forms (rpapfs) of Disc = 28 representing k = -A359476(n), that is the number of proper fundamental representations X = (x, y) of each indefinite primitive binary quadratic form of discriminant Disc = 28 = 2^2*4 which is properly equivalent to the reduced principal form F_p = x^2 + 4*x*y - 3*y^2, denoted also by F_p = [1, 4, -3].
For details on reduced, primitive forms, proper representations and proper equivalence see A358946 and the two links with references.
The proof runs along the same lines as the one indicated in A358947.
See also the examples in A359476.

Examples

			k = -A359476(1) = -3: The 2 = a(1) proper fundamental representation of F_p = [1, 4, -3], from the two rpapfs given in the example of A359476, are  X(-3)_1 = (0, 1) and  X(-3)_2 = (1, 2), respectively. The first result uses the transformation R(-1) (for R(t) see the Pell example in A358946) acting on the trivial solution (1, 0)^T (T for transposed) of the first rpapf. For the second result R^{-1}(4) (1, 0)^T = (4, -1), which becomes (-1, -2) after applying the automorphic matrix Auto(28) = Matrix([[2,9],[3,14]]) for the 4-cycle of Disc = 28, and this is replaced by (1, 2) with x >= 0.
k = -A359476(3) = -7: The 1 = a(3) rpapf [-7, 0, 1] leads to the proper fundamental solution X(-7) = (2, -1), after applying R^{-1}(2) on (1, 0)^T.
k = -A359476(15) = -87: The 4 = a(15) rpapfs given in A359476 lead to the proper fundamental representation X(-87)_1 = (10, 17), X(-87)_2 = (2, 7), X(-87)_3 = (3, 8), and X(-87)_4 = (3, -4).

Crossrefs

Cf. A358946, A358947, A359476.

A358946 Positive integers that are properly represented by each primitive binary quadratic form of discriminant 28 that is properly equivalent to the principal form [1, 4, -3].

Original entry on oeis.org

1, 2, 9, 18, 21, 29, 37, 42, 53, 57, 58, 74, 81, 93, 106, 109, 113, 114, 133, 137, 141, 149, 162, 177, 186, 189, 193, 197, 217, 218, 226, 233, 249, 261, 266, 274, 277, 281, 282, 298, 309, 317, 329, 333, 337, 354, 361, 373, 378, 386, 389, 393, 394, 401, 413, 417, 421, 434, 449, 457, 466, 477, 498, 501
Offset: 1

Views

Author

Wolfdieter Lang, Jan 10 2023

Keywords

Comments

This is a subsequence of A242662, excluding the primitive forms of discriminant 28 with only improper representations of k, like k = 4, 8, 16, 25, 32, ... .
An indefinite binary quadratic primitive form F = a*x^2 + b*x*y + c*y^2 (gcd(a, b, c) = 1) with discriminant Disc = b^2 - 4*a*c = 28 = 2^2*7 is denoted by [a, b, c], or in matrix notation by MF = Matrix([[a, b/2], [b/2, c]]). Hence F = X*MF*X^T (T for transposed), where X = (x, y). See the two links for details and references.
Properly equivalent forms F' and F are related by a matrix R of determinant +1 like MF' = R^T*MF*R, and X'^T = R^{-1}*X^T.
Each primitive form, properly equivalent to the reduced principal form F_p = [1, 4, -3] for Disc = 28 (used in A242662), represents the given nonnegative k = a(n) values (and only these) properly with X = (x, y) and gcd(x, y) = 1. Modulo an overall sign change in X one can choose x nonnegative.
There are 8 = A082174(8) primitive reduced forms of Disc = 28 leading to 2 = A087048(8) (class number) cycles each of period 4, namely the principal cycle CyP = [[1, 4, -3], [-3, 2, 2], [2, 2, -3], [-3, 4, 1]] and the one (with outer signs flipped) CyP' = [[-1, 4, 3], [3, 2, -2], [-2, 2, 3], [3, 4, -1]].
There are A358947(n) representative parallel primitive forms (rpapfs) of discriminant Disc = 28 for k = a(n). This gives the number of proper fundamental representations X = (x, y), with x >= 0, of each primitive form [a, b, c], properly equivalent to the principal form F_p of Disc = 28.
For the negative integers k properly represented by primitive forms [a, b, c] properly equivalent to the principal form of Disc = 28 see A359476. The corresponding number of fundamental proper representations is given in A359477.
This and the three related sequences originated from a proposal by Klaus Purath proving that the form FKP := [1, -2, -6] of Disc = 28 represents k = k(m) = m^2 - 7 = A028881(m), for m >= 3, with the two fundamental representations X1(m) = (m+1, 1) and X2(m) = (11*m - 29, 3*m - 8). This form FKP is properly equivalent to the principal form F_p with R = Matrix([[1, -3], [0, 1]]). Hence all k = a(n) are represented by the form FKP, and A028881 is a subsequence of the present one.

Examples

			k = 9 = a(3): F = FPell = [1, 0, -7] is properly equivalent to F_p = [1, 4, -3] by two so-called half-reduced right neighbor R(t)-transformations, with the matrix R = R(t) = Matrix([[0, -1], [1, t]]), first with t = 0 then with t = 2. For FPell representing k = 9 with x > 0 and y > 0 see X_1(9, i) = (A307168(i), A307169(i)) and X_2(9, i) = (A307172(i), A307173(i)), for i >= 0. There are also the representations with y -> -y arising from the opposite fundamental solutions.
The 2 = A358947(3) rpapfs are F1 = [9, 8, 1] and F2 = [9, 10, 2]. They lead by proper equivalence transformations to a form of the above given principal cycle CyP. F1 -> [1, 4, -3] = F_p with matrix R(6), and F2 -> [2, 2, -3] with R(3). See the FIGURE, p. 10, of the linked paper.
Besides the primitive forms FPell, F1, F2 and the four forms of CyP also F' = [-7, 0, 1], and all primitive and properly equivalent forms represent k = 9. See the mentioned FIGURE, where FPa1 = F1, FPa1 = F2, Fpa2' = F_p^{(2)} = [2, 2, -3] and FPa2'' = F_p^{(3)} = [-3, 4, 1].

Links

Crossrefs

Cf. A028881, A242662, A307168, A307169, A307172, A307173, A358947, A359476, A359477.

A242666 Nonnegative integers of the form -x^2 + 4xy + 3y^2.

Original entry on oeis.org

0, 3, 6, 7, 12, 14, 19, 24, 27, 28, 31, 38, 47, 48, 54, 56, 59, 62, 63, 75, 76, 83, 87, 94, 96, 103, 108, 111, 112, 118, 124, 126, 131, 139, 147, 150, 152, 159, 166, 167, 171, 174, 175, 188, 192, 199, 203, 206, 216, 222, 223, 224, 227, 236, 243, 248, 251, 252, 259, 262, 271, 278, 279, 283, 294, 300
Offset: 1

Views

Author

N. J. A. Sloane, May 31 2014

Keywords

Comments

Discriminant 28.
Nonnegative numbers of the form 7x^2 - y^2. - Jon E. Schoenfield, Jun 03 2022
For the subsequence of the numbers with proper representations (gcd(x, y) = 1) see A359476. ~ Wolfdieter Lang, Jan 17 2023

Links

Crossrefs

Primes in this sequence = A141173.
Cf. A242662, A359476.

Programs

  • Mathematica
    Reap[For[n = 0, n <= 300, n++, If[Reduce[-x^2 + 4*x*y + 3*y^2 == n, {x, y}, Integers] =!= False, Sow[n]]]][[2, 1]]

A358947 a(n) = 2^m(n), where m(n) is the number of distinct primes, neither 2 nor 7, dividing A358946(n).

Original entry on oeis.org

1, 1, 2, 2, 2, 2, 2, 2, 2, 4, 2, 2, 2, 4, 2, 2, 2, 4, 2, 2, 4, 2, 2, 4, 4, 2, 2, 2, 2, 2, 2, 2, 4, 4, 2, 2, 2, 2, 4, 2, 4, 2, 2, 4, 2, 4, 2, 2, 2, 2, 2, 4, 2, 2, 2, 4, 2, 2, 2, 2, 2, 4, 4, 4, 4, 4, 2, 2, 2, 2, 2, 2, 4, 4, 4, 2, 4, 2, 4, 4, 4, 2, 4, 4, 2, 4, 4
Offset: 1

Views

Author

Wolfdieter Lang, Jan 10 2023

Keywords

Comments

For A358946(1) = 1 one uses m(1) = 0.
a(n) gives the number of representative parallel primitive forms (rpapfs) of Disc = 28 representing k = A358946(n), that is the number of proper fundamental representations X = (x, y) of each indefinite primitive binary quadratic form of discriminant Disc = 28 = 2^2*4 which is properly equivalent to the reduced principal form F_p = x^2 + 4*x*y - 3*y^2, denoted by F_p = [1, 4, -3].
For details on reduced, primitive or parallel forms, proper representations and proper equivalence see A358946 with the linked papers where references are given.
The proof uses the formula for finding the rpapfs of Disc = 28 representing k, namely c = c(j, k) =(j^2 - 7)/k, for j from {0, 1, ..., k-1}, with the form(s) FPa(k) = [k, 2*j, c(j,k)]. Thus, j^2 - 7 == 0 (mod k).
For the representation k = 1 = A358946(1) there is the unique j = 0 solution with FPa(1) = [1, 0, -7], the neither reduced nor half-reduced Pell form FPell of Disc = 28. FPell is properly equivalent to the reduced F_p.
For k = 2 = A358946(2) the unique solution is j = 1 (-1 == 1 (mod 2)) with FPa(2) = [2, 2,-3], one of the four reduced forms of the principal cycle Cy(28) including F_p as a form. There is no lifting of 2 to powers of 2 (see Apostol, Theorem 5.30, p. 121), hence no factor 2^q, for q >= 2 appears in A358946.
For powers of primes (not 2 or 7) in A358946(n) one has for each prime p two solutions j and p-j of j^2 - 7 == 0 (mod p), and each can be lifted uniquely to powers of this prime. Thus each power of a prime counts as 2, like for the prime. See some examples below.

Examples

			k = 57 = 3*19 = A358946(10): One has for k = 3 the two solutions j = 1, 2, giving the parallel forms FPa(3)_1 = [3, 2, -2], belonging to the cycle Cyhat(28), thus 3 is not in A358946 but 3 = A359476(1) for the representaion of k = -3, and FPa(3)_2 = [3, 4, -1], also in Cyhat(28). The lifting of the solutions from k = 3 to k = 3^2 = 9 is possible uniquely because 2*j = 2 and 2*j = 4 are both not congruent to 0 (mod 3). See the two parallel forms for k = 9 above. For k = 19 one has j = 8 and j = 11, with the forms FPa(19)_1 = [19, 16, 3] and FPa(19)_2 = [19, 22, 6], both reaching the cycle Cyhat(28) after R-transformations with t = 3 and first t = -2 then t = 3, respectively. Thus k = 19 belongs to A359476, not A358946.
The four solutions for k = 57 are j = 8, 11, 46, 49, with parallel forms [57, 16, 1], [57, 22, 2], [57, 92, 37] and [57, 98, 42].
The four fundamental representations of F_p = [1, 4, -3] for k = 57 are (11, 16), (5, 4), (6, 7) and (6, 1), respectively.

References

  • Tom M. Apostol, Introduction to Analytic Number Theory, Springer-Verlag, 1976, Theorems 5.28, pp. 118-119, and 5.30, pp. 121-122.

Crossrefs

Cf. A358946, A359476, A359477.
Showing 1-4 of 4 results.

Started in 1964 by Neil J. A. Sloane | Maintained by The OEIS Foundation Inc.

Content is available under The OEIS End-User License Agreement.