A006371 -id:A006371 - cp's OEIS frontend

A006374 Number of positive definite reduced binary quadratic forms of discriminant -4*n.

1, 1, 2, 2, 2, 2, 2, 3, 3, 2, 4, 4, 2, 4, 4, 4, 4, 3, 4, 6, 4, 2, 6, 6, 3, 6, 6, 4, 6, 4, 6, 7, 4, 4, 8, 8, 2, 6, 8, 6, 8, 4, 4, 10, 6, 4, 10, 8, 5, 7, 8, 6, 6, 8, 8, 12, 4, 2, 12, 8, 6, 8, 10, 8, 8, 8, 4, 12, 8, 4, 14, 9, 4, 10, 10, 10, 8, 4, 10, 14, 9, 4, 12, 12, 4, 10, 12, 6, 12, 10, 8

Offset: 1

N. J. A. Sloane

In Hurwitz and Kritikos (HK) a definite form a*x^2 + 2*b*x*y + c*y^2, denoted by f(a,b,c), has discriminant Delta = -D = b^2 - 4*a*c < 0. Usually this is F = [a,2*b,c] with discriminant Disc = 4*(b^2 - a*c) = 4*Delta. A definite form is reduced if 2*|b| <= a <= c, and if any of the inequalities reduces to an equality then b >= 0 (HK, p. 179). The positive definite case has a > 0 and c > 0. Here the forms F do not need to satisfy gcd(a,2*b,c) = 1. - Wolfdieter Lang, Mar 31 2019

			a(5) = 2 because the two forms F = [a,2*b,c] with discriminant Disc = -4*5 = -20 are [1,0,5] and [2,2,3]. ([2,-2,3] is not reduced, (-2,2,-3) is not positive definite). - _Wolfdieter Lang_, Mar 31 2019

J. H. Conway and N. J. A. Sloane, "Sphere Packings, Lattices and Groups", Springer-Verlag, p. 360.
A. Hurwitz and N. Kritikos, transl. with add. material by W . C. Schulz, "Lectures on Number Theory", Springer-Verlag, New York, 1986, p. 186.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Robin Visser, Table of n, a(n) for n = 1..10000

Cf. A006371, A006375, A096446, A096445.

def a(n):
    ans = 0
    for b in range(-isqrt(n/3), isqrt(n/3)+1):
        for a in Integer(n+b^2).divisors():
            if ((2*abs(b)==a) or (a^2==n+b^2)) and (b < 0): continue
            if (a >= 2*abs(b)) and (a^2 <= n+b^2): ans += 1
    return ans  # Robin Visser, May 29 2025

a(n) = A006371(2*n) for all n > 0. - Robin Visser, May 29 2025

Name clarified by Wolfdieter Lang, Mar 31 2019

A006375 Number of equivalence classes of cycles (or periods) of reduced indefinite binary quadratic forms of determinant -n (see comments).

Original entry on oeis.org

2, 1, 1, 3, 2, 1, 1, 2, 4, 2, 1, 2, 2, 1, 2, 5, 2, 2, 1, 3, 2, 1, 1, 3, 6, 2, 2, 2, 2, 2, 1, 3, 2, 2, 2, 7, 3, 1, 2, 4, 2, 2, 1, 2, 4, 1, 1, 4, 6, 3, 2, 3, 2, 2, 2, 3, 2, 2, 1, 4, 2, 1, 3, 8, 4, 2, 1, 3, 2, 2, 1, 5, 2, 2, 3, 2, 2, 2, 2, 5, 8, 3, 1, 4, 4, 1, 2, 3, 2, 4, 2, 2, 2, 1, 2, 5

Offset: 1

N. J. A. Sloane

From Robin Visser, Jun 05 2025: (Start)
Let a (classically integral) binary quadratic form f(x,y) = a*x^2 + 2*b*x*y + c*y^2 of determinant -n = a*c-b^2 (or equivalently, of discriminant 4*n = 4*(b^2 - a*c)) be denoted as the triple [a,b,c]. If n is not a square, then we can define a sequence of binary quadratic forms [a_0, b_0, c_0], [a_1, b_1, c_1], [a_2, b_2, c_2], ... by the following recursive definition: Let [a_0, b_0, c_0] = [a, b, c], and for each i >= 0, let [a_{i+1}, b_{i+1}, c_{i+1}] = [c_i, t, (t^2 - n)/c_i] where t is the largest integer such that t = -b_i (mod c_i) and t^2 < n, if such an integer t exists. Otherwise t is the smallest integer (in absolute value) which satisfies t = -b_i (mod c_i), taking t positive in the case of a tie (see Conway--Sloane pg 357).
Gauss showed that such sequences are eventually periodic, and we denote the cycle of f(x,y) as the set of all forms in the period of this sequence (see also A087048 for a similar definition of cycle).  If n is a square, then this sequence terminates in a form [a_k, b_k, 0], and the definition must be modified slightly (see Conway--Sloane pg 359).  Two binary quadratic forms f(x,y) and g(x,y) are said to be properly equivalent if they have the same cycle.
This sequence a(n) counts equivalence classes of such cycles of indefinite binary quadratic forms f(x,y) of determinant -n, with respect to a somewhat coarser notion of equivalence than proper equivalence; here the binary forms [a, b, c], [-a, b, -c], [c, b, a], and [-c, b, -a] are all counted as part of the same equivalence class. (End)

			From _Robin Visser_, Jun 08 2025: (Start)
For n = 1, every indefinite binary quadratic form of determinant -1 (equivalently discriminant 4) is equivalent to either 2*x*y - y^2 or 2*x*y, thus a(1) = 2.
For n = 2, every indefinite binary quadratic form of determinant -2 (equivalently discriminant 8) is equivalent to x^2 + 2*x*y - y^2, thus a(2) = 1.
For n = 3, every indefinite binary quadratic form of determinant -3 (equivalently discriminant 12) is equivalent to x^2 + 2*x*y - 2*y^2, thus a(3) = 1.
For n = 4, every indefinite binary quadratic form of determinant -4 (equivalently discriminant 16) is equivalent to either x^2 + 2*x*y - 3*y^2, 4*x*y - 2*y^2, or 4*x*y, thus a(4) = 3. (End)

J. H. Conway and N. J. A. Sloane, "Sphere Packings, Lattices and Groups", Springer-Verlag, p. 362.
C. F. Gauss, Disquisitiones arithmeticae, Yale University Press, New Haven, Conn.-London, 1966.
N. J. A. Sloane and Simon Plouffe, The Encyclopedia of Integer Sequences, Academic Press, 1995 (includes this sequence).

Nachum Dershowitz, Touchard's Drunkard, Journal of Integer Sequences, Vol. 20 (2017), #17.1.5.

Cf. A006371, A006374, A082175, A087048, A256945, A307359.

def a(n):
    S = []
    for b in range(1, ceil(sqrt(n))):
        for a in Integer(n-b^2).divisors():
            c = (b^2-n)/a
            F = [BinaryQF(x,2*b,y) for (x,y) in [(a,c),(-a,-c),(c,a),(-c,-a)]]
            if all([(not Q.is_equivalent(t)) for t in S for Q in F]): S.append(F[0])
    if Integer(n).is_square():
        for c in range(-sqrt(n), sqrt(n)+1):
            F = [BinaryQF(x,2*sqrt(n),y) for (x,y) in [(0,c),(0,-c),(c,0),(-c,0)]]
            if all([(not Q.is_equivalent(t)) for t in S for Q in F]): S.append(F[0])
    return len(S)  # Robin Visser, Jun 06 2025

Corrected Apr 15 1995
Name clarified by Robin Visser, May 30 2025
Term a(65) corrected and more terms from Robin Visser, Jun 06 2025

cp's OEIS Frontend

A006374 Number of positive definite reduced binary quadratic forms of discriminant -4*n.

Views

Author

Keywords

Comments

Examples

References

Links

Crossrefs

Programs

Sage

Formula

Extensions