A034338 Number of binary [ n,4 ] codes of dimension <= 4 without zero columns.

1, 2, 4, 8, 15, 30, 56, 107, 200, 372, 680, 1241, 2221, 3938, 6880, 11860, 20148, 33778, 55814, 91007, 146392, 232458, 364462, 564560, 864230, 1308160, 1958700, 2902417, 4258009, 6187350, 8908680, 12714829, 17994860, 25262928, 35193094, 48664341, 66814595, 91109910, 123426848, 166156091

Offset

1,2

Comments

To get the g.f. of this sequence (with a constant 1), modify the Sage program below (cf. function f). It is too complicated to write it here. See the link below. - Petros Hadjicostas, Sep 30 2019

Links

Table of n, a(n) for n=1..40.

Discrete algorithms at the University of Bayreuth, Symmetrica. [This package was used by Harald Fripertinger to compute T_{nk2} = A076832(n,k) using the cycle index of PGL_k(2). Here k = 4. That is, a(n) = T_{n,4,2} = A076832(n,4), but we start at n = 1 rather than at n = 4.]

Harald Fripertinger, Isometry Classes of Codes.

Harald Fripertinger, Tnk2: Number of the isometry classes of all binary (n,r)-codes for 1 <= r <= k without zero-columns. [This is a rectangular array whose lower triangle is A076832(n,k). Here we have column k = 4.]

Harald Fripertinger, Enumeration of isometry classes of linear (n,k)-codes over GF(q) in SYMMETRICA, Bayreuther Mathematische Schriften 49 (1995), 215-223. [See pp. 216-218. A C-program is given for calculating T_{nk2} in Symmetrica. Here k = 4.]

Harald Fripertinger, Cycle of indices of linear, affine, and projective groups, Linear Algebra and its Applications 263 (1997), 133-156. [See p. 152 for the computation of T_{nk2} = A076832(n,k). Here k = 4.]

H. Fripertinger and A. Kerber, Isometry classes of indecomposable linear codes. In: G. Cohen, M. Giusti, T. Mora (eds), Applied Algebra, Algebraic Algorithms and Error-Correcting Codes, 11th International Symposium, AAECC 1995, Lect. Notes Comp. Sci. 948 (1995), pp. 194-204. [The notation for A076832(n,k) is T_{nk2}. Here k = 4.]

Petros Hadjicostas, Generating function for a(n).

David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.

David Slepian, Some further theory of group codes, Bell System Tech. J. 39(5) (1960), 1219-1252.

Wikipedia, Cycle index.

Wikipedia, Projective linear group.

Prog

(Sage) # Fripertinger's method to find the g.f. of column k for small k:
def Tcol(k, length):
    G = PSL(k, GF(2))
    D = G.cycle_index()
    f = sum(i[1]*prod(1/(1-x^j) for j in i[0]) for i in D)
    return f.taylor(x, 0, length).list()
# For instance the Taylor expansion for column k = 4 gives a(n):
print(Tcol(4, 30)) # Petros Hadjicostas, Sep 30 2019

Crossrefs

Column k=4 of A076832 (starting at n=4).

Cf. A034337.

Sequence in context: A344687 A301480 A217777 * A166861 A026023 A077596

Adjacent sequences: A034335 A034336 A034337 * A034339 A034340 A034341

Keyword

nonn

Author

N. J. A. Sloane.

Extensions

More terms from Petros Hadjicostas, Sep 30 2019

Status

approved