cp's OEIS Frontend

Equivalently, polyominoes where two polyominoes are considered the same if and only if they are related by a translation or a reflection in a horizontal line. Formerly described as one-sided polyrects, but that is A151522.

Equivalently, polyominoes where two polyominoes are considered the same if and only if they are related by a translation or a reflection in a NE-SW diagonal line.

To be included, a polyhypercube should have all the 2^n*n! symmetries of the n-dimensional hypercube.

Let n >= 1 and m = A171977(n). Then T(n,k) = 0 if neither k nor k-1 is a multiple of m. Also, there exists a number K such that T(n,k) > 0 if k >= K and either k or k-1 is a multiple of m. In particular, T(n,k) > 0 for all sufficiently large k if and only if n is odd. Sketch of proof: Assume that the point of rotation of the symmetries is in the origin and that the center of each cell have integer or half-integer coordinates, depending on whether the point of rotation is in the center of a cell or at the common corner of 2^n cells. The number of cells that are equivalent to a given cell c is n!/(x_0!*x_1!*...)*2^(n-x_0), where x_1, x_2, ... are the frequencies of the absolute values of the nonzero coordinates of c and x_0 is the number of zero coordinates of c. It can be proved that this number is divisible by m unless c is the cell at the origin (in which case x_0 = n and there are no other equivalent cells). (It is sufficient to check the case where all nonzero coordinates have the same absolute value, i.e., that all numbers except 1 in the n-th row of A013609 are divisible by m; the other numbers are multiples of these.) Since either none or all of the cells equivalent to a given cell must be part of the polyhypercube, this proves the first part. For the second part, say that a cell where the absolute values of all coordinates are equal and nonzero is a corner cell, and that a cell with a single nonzero coordinate is a spike cell. Corner cells and spike cells come in sets of 2^n and 2*n equivalent cells, respectively, and the GCD of 2^n and 2*n is already equal to m. Assume that n >= 3 (the case n <= 2 is easily handled), that k >= (4*n-1)^n, and that either k or k-1 is a multiple of m. Start with a solid cube made up of (4*n-1)^n cells. Remove the central cell if k is even, so that the number of remaining cells is congruent to k (mod m). Since GCD(2^n,2*n) = m, we can remove at most 2*n-1 sets of 2^n equivalent corner cells each, until the number of remaining cells is congruent to k (mod 2*n). The resulting polyhypercube is still connected. Then add sets of 2*n spike cells until the total number of cells is equal to k. This proves the second part. The bound k >= (4*n-1)^n resulting from this construction is far from optimal.

The polyominoes counted here may have additional symmetries (mirror axes along diagonals or rotational symmetries or two orthogonal mirror axes...). The mirror axes may run through cell edges or through cell centers.