Search arXiv⌕ Search

arXiv · 2610.00915

Construction of parametrized families of general pseudo-bimagic and bimagic squares

Abstract

A magic square of order $n$ is a square array of $n^2$ distinct integers such that the integers of every row, every column and the two diagonals have the same common sum. If a magic square remains a magic square even when each integer is replaced by its square, it is called bimagic. If, however, all the rows and all the columns of the aforementioned square of squares add up to a common sum, but the two diagonals do not, the original magic square is called pseudo-bimagic. Except for one family of $6 \times 6$ pseudo-bimagic squares, parametrized families of bimagic squares have not been published. In this paper we construct parametrized families of $6 \times 6$ pseudo-bimagic squares and $8 \times 8$ bimagic squares. We use these families to construct, for any positive integer $m$, multi-parameter families of pseudo-bimagic squares of order $6m$ and bimagic squares of order $8m$. We also give numerical examples of $6 \times 6$ and $12 \times 12$ pseudo-bimagic squares and an $8 \times 8$ bimagic square.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Ajai Choudhry. 2026-10-01. Construction of parametrized families of general pseudo-bimagic and bimagic squares. https://arxiv.org/abs/2610.00915

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Transfer operator for the Gauss' continued fraction map. I. Structure of the eigenvalues and trace formulas

Let L be the transfer operator associated with the Gauss' continued fraction map, known also as the Gauss-Kuzmin-Wirsing operator, acting on the Banach space. In this work we prove a two-term asymptotic formula for the eigenvalues of L, show their algebraic simplicity, sign alternation pattern, and decrease in absolute value. This settles, in a stronger form, the conjectures of D. Mayer and G. Roepstorff (1988), A.J. MacLeod (1992), Ph. Flajolet and B. Vallee (1995), also supported by several other authors. Further, we find an exact series for the eigenvalues, which also gives the canonical decomposition of trace formulas due to D. Mayer (1976) and K.I. Babenko (1978). This crystallizes the contribution of each individual eigenvalue in the trace formulas.

math.NT↗

On a parity result for the symmetric square of modular forms with congruent residual representations

The parity of Selmer ranks for elliptic curves defined over the rational numbers $\mathbb{Q}$ with good ordinary reduction at an odd prime $p$ has been studied by Shekhar. The proof of Shekhar relies on proving a parity result for the $λ$-invariants of Selmer groups over the cyclotomic $\mathbb{Z}_p$-extension $\mathbb{Q}_\infty$ of $\mathbb{Q}$. This has been further generalized for elliptic curves with supersingular reduction at $p$ by Hatley and for modular forms by Hatley--Lei. In this paper, we prove a parity result for the $λ$-invariants of Selmer groups over $\mathbb{Q}_\infty$ for the symmetric square representations associated to two modular forms with congruent residual Galois representations. We treat both the ordinary and the non-ordinary cases.

math.NT↗

Symmetry of hypergeometric functions over finite fields and geometric interpretation

We begin by defining general hypergeometric functions over finite fields and obtaining a finite field analogue of a classical symmetry in their complex counterparts. We give a geometric proof for the symmetry by constructing isomorphisms between certain algebraic varieties. The numbers of rational points on these varieties are hypergeometric functions over finite fields.

math.NT↗