Existence of $K$-multimagic squares and magic squares of $k$th powers with distinct entries

Informations fondamentales

• ID de l'article: 2411.01091
• Titre: Existence of $K$-multimagic squares and magic squares of $k$th powers with distinct entries
• Auteur: Daniel Flores (Purdue University)
• Classification: math.NT (Théorie des nombres), math.CO (Combinatoire)
• Date de publication: 1er janvier 2025 (arXiv v2)
• Lien de l'article: https://arxiv.org/abs/2411.01091

Résumé

Cet article démontre que lorsque $N > 2K(K+1)$, il existe des carrés magiques $K$-multiples d'ordre $N$ composés de $N^2$ entiers distincts. Ceci améliore les résultats antérieurs de l'auteur qui ne nécessitaient que $N+1$ entiers distincts. De plus, l'article propose une méthode directe prouvant l'existence de carrés magiques $N \times N$ composés de puissances $k$-ièmes distinctes lorsque les conditions suivantes sont satisfaites : $N > \begin{cases}2^{k+1} & \text{si } 2 \leq k \leq 4 \\ 2\lceil k(\log k + 4.20032)\rceil & \text{si } k \geq 5\end{cases}$ Ceci améliore les résultats récents de Rome et Yamagishi.

Contexte et motivation de la recherche

Définition du problème

1. Problème des carrés magiques $K$-multiples: Une matrice $N \times N$ $Z = (z_{i,j})$ est appelée carré magique $K$-multiple (MMS(K,N)) si, pour tous $1 \leq k \leq K$, la matrice $Z^{\circ k} := (z_{i,j}^k)$ est un carré magique (c'est-à-dire que la somme de chaque ligne, colonne et diagonale principale est égale).
2. Importance des éléments distincts: Traditionnellement, les carrés magiques contenant des éléments répétés sont considérés comme triviaux; par conséquent, la recherche de carrés magiques composés d'éléments complètement distincts est plus significative.

Motivation de la recherche

1. Perfectionnement théorique: Bien que les travaux antérieurs de l'auteur 5 aient prouvé l'existence de carrés magiques $K$-multiples contenant au moins $N+1$ entiers distincts lorsque $N > 2K(K+1)$, cela ne garantit pas que les $N^2$ éléments soient tous distincts.
2. Amélioration méthodologique: Rome et Yamagishi, en traitant les carrés magiques de puissances $k$-ièmes distinctes, ont dû augmenter la borne inférieure de $\Delta = 12$ à $\Delta = 20$ pour garantir la distinction des éléments. Cet article vise à améliorer ce résultat.
3. Défis techniques: La principale difficulté réside dans la recherche de sous-matrices suffisamment grandes et séparables pour traiter les familles de matrices de coefficients présentant des éléments répétés spécifiques.

Contributions principales

1. Théorème d'existence amélioré: Démontre que lorsque $N > 2K(K+1)$, il existe des carrés magiques $K$-multiples composés de $N^2$ entiers complètement distincts, avec une borne inférieure inchangée.
2. Version première: Par le théorème de Green-Tao, démontre l'existence de carrés magiques $K$-multiples composés de $N^2$ nombres premiers distincts.
3. Résultats améliorés pour les carrés magiques de puissances $k$-ièmes: Fournit des conditions d'existence plus optimales pour les carrés magiques composés de puissances $k$-ièmes distinctes.
4. Innovation technique: Introduit le concept de « fonction de domination matricielle », résolvant efficacement les difficultés techniques rencontrées par Rome et Yamagishi.

Explication détaillée de la méthode

Cadre technique fondamental

Fonction de domination matricielle

Définition 1.2: Une matrice $C \in \mathbb{C}^{r \times s}$ domine une fonction $f: \mathbb{N} \to \mathbb{R}_+$ si, pour tous $J \subset \{1,\ldots,s\}$, on a $\text{rang}(C_J) \geq \min\{f(|J|), r\}$ où $C_J = [c_j]_{j \in J}$.

Matrices séparables

Définition 1.1: Une matrice $C \in \mathbb{R}^{r \times rn}$ est séparable s'il existe des ensembles disjoints $J_l \subset \{1,2,\ldots,rn\}$ (chacun de taille $r$) tels que $\text{rang}(C_{J_l}) = r \quad \text{pour tous } 1 \leq l \leq n$

Trajectoire technique principale

1. Comptage des solutions à éléments distincts

Pour le système diagonal $\sum_{1 \leq j \leq s} c_{i,j}x_j^k = 0$ $(1 \leq i \leq r)$, soit $S_k^*(P;C)$ l'ensemble des solutions à éléments distincts, alors: $\#\bigcap_{1 \leq k \leq K} S_k^*(P;C) = \#\bigcap_{1 \leq k \leq K} S_k(P;C) + O\left(\sum_{1 \leq i < j \leq s} \#\bigcap_{1 \leq k \leq K} S_k(P;C^{(i,j)})\right)$

2. Lemme clé

Lemme 2.2: Soit $K \geq 2$, $C \in \mathbb{Z}^{r \times s}$ satisfaisant $s > rK(K+1) + 2$. Si $C$ domine la fonction $F(x) = \max\left\{\frac{x - r\{s/r\}}{\lfloor s/r \rfloor}, \frac{x - r\{(s-1)/r\}}{\lfloor (s-1)/r \rfloor}, \frac{x - r\{(s-2)/r\}}{\lfloor (s-2)/r \rfloor}\right\}$ alors on a la formule asymptotique: $\#\bigcap_{1 \leq k \leq K} S_k^*(P;C) = P^{s - \frac{rK(K+1)}{2}}(\sigma_K(C) + o(1))$

Construction matricielle du système de carrés magiques

Pour un carré magique $N \times N$, on définit la matrice de coefficients $C_N^{\text{magic}} \in \mathbb{Z}^{2N \times N^2}$, où:

• Les lignes correspondent aux contraintes de lignes et colonnes
• Les colonnes correspondent aux $N^2$ positions du carré magique

Lemme 3.1 prouve que lorsque $N > 4$, $C_N^{\text{magic}}$ domine la fonction requise $F(x)$.

Configuration expérimentale

Cadre de preuve théorique

Cet article est principalement un travail théorique ne comportant pas d'expériences numériques, mais établissant des résultats d'existence par des preuves mathématiques rigoureuses.

Stratégie de preuve

1. Méthode du cercle: Utilisée pour traiter les problèmes combinatoires additifs
2. Méthode de Hardy-Littlewood: Analyse du comportement asymptotique des sommes exponentielles
3. Théorie matricielle: Analyse des propriétés de rang des matrices de coefficients

Résultats principaux

Théorème 1.3 (Résultat principal)

Existence de carrés magiques $K$-multiples: Soit $K \geq 2$. Lorsque $N > 2K(K+1)$, il existe une infinité de MMS(K,N) composés de $N^2$ entiers distincts.

Corollaire 1.4

Version première: Soit $K \geq 2$. Lorsque $N > 2K(K+1)$, il existe une infinité de MMS(K,N) composés de $N^2$ nombres premiers distincts.

Théorème 1.5

Carrés magiques de puissances $k$-ièmes: Soit $k \geq 2$. Lorsque les conditions suivantes sont satisfaites, il existe une infinité de carrés magiques $N \times N$ composés de puissances $k$-ièmes distinctes: $N > \begin{cases}2^{k+1} & \text{si } 2 \leq k \leq 4 \\ 2\lceil k(\log k + 4.20032)\rceil & \text{si } k \geq 5\end{cases}$

Comparaison avec les résultats connus

Travaux connexes

Développement historique

1. Méthodes constructives: Traditionnellement, la recherche de carrés magiques multiples s'effectuait par construction explicite, comme dans les travaux de Wroblewski, Trump, Fengchu et autres.
2. Résultats généraux de Zhang, Chen et Li: Ont prouvé que lorsque $K \geq 2$, il existe des carrés magiques $K$-multiples d'ordre $(4K-2)^K$.
3. Application de la méthode du cercle: Bremner a discuté dans ses cours des années 1990 de la possibilité d'appliquer la méthode du cercle à ce problème.

Progrès récents

Les travaux de Rome et Yamagishi 7 traitent l'existence de carrés magiques de puissances $k$-ièmes distinctes, mais nécessitent une borne inférieure plus grande pour garantir la complète distinction des éléments. Cet article améliore leurs résultats grâce au concept de fonction de domination matricielle.

Points d'innovation technique

1. Concept de fonction de domination matricielle

C'est une perspective appropriée pour comprendre la séparabilité des matrices de coefficients, fournissant une compréhension approfondie de la séparabilité des sous-matrices.

2. Cadre de traitement unifié

Par le Lemme 2.2, fournit un cadre technique unifié pour traiter les contraintes d'éléments distincts, évitant les difficultés techniques rencontrées par Rome et Yamagishi.

3. Analyse améliorée des bornes inférieures

Pour les carrés magiques de puissances $k$-ièmes, améliore la borne inférieure d'environ la moitié par rapport aux résultats de Rome-Yamagishi.

Conclusion et discussion

Conclusions principales

1. Perfectionnement théorique: Démontre que sous la même borne inférieure $N > 2K(K+1)$, non seulement existent des carrés magiques $K$-multiples contenant suffisamment d'éléments distincts, mais existent aussi des versions avec tous les éléments complètement distincts.
2. Supériorité méthodologique: La méthode de fonction de domination matricielle est plus efficace que la méthode traditionnelle de matrices séparables pour traiter les contraintes de distinction.

Limitations

1. Optimalité des bornes inférieures: Bien que les résultats existants soient améliorés, il existe toujours un écart important entre les bornes théoriques et les résultats constructifs.
2. Complexité computationnelle: Les résultats d'existence théorique ne fournissent pas d'algorithme de construction efficace.

Directions futures

1. Amélioration supplémentaire des bornes inférieures: Recherche de bornes théoriques plus serrées.
2. Algorithmes constructifs: Transformation des preuves d'existence en méthodes de construction pratiques.
3. Autres conditions de contrainte: Considération d'autres types de contraintes (tels que les entiers consécutifs, les suites spéciales, etc.).

Évaluation approfondie

Avantages

1. Rigueur théorique: Utilise des méthodes matures de théorie analytique des nombres avec des preuves complètes et fiables.
2. Innovation technique: L'introduction du concept de fonction de domination matricielle constitue une contribution technique importante.
3. Amélioration des résultats: Améliore les meilleurs résultats existants sur plusieurs aspects.
4. Clarté de la rédaction: La structure de l'article est claire et les détails techniques sont bien traités.

Insuffisances

1. Écart théorie-pratique: L'écart entre les bornes théoriques et les résultats de construction connus est considérable.
2. Faisabilité computationnelle: Les preuves d'existence ne fournissent pas de méthode de construction pratique.
3. Optimisation des constantes: Certaines constantes (comme 4.20032) pourraient potentiellement être optimisées.

Impact

1. Valeur académique: Fournit une base théorique importante pour la théorie des carrés magiques multiples et des carrés magiques de puissances.
2. Contribution méthodologique: Le concept de fonction de domination matricielle pourrait avoir des applications dans d'autres problèmes combinatoires.
3. Recherche ultérieure: Pose les fondations pour des recherches théoriques et constructives supplémentaires.

Domaines d'application

1. Recherche mathématique théorique: Théorie des nombres, combinatoire, combinatoire additive
2. Mathématiques computationnelles: Analyse d'existence de carrés magiques à grande échelle
3. Applications cryptographiques: Conception de matrices à structures spéciales

Références

L'article cite 11 références pertinentes, incluant principalement:

• 5 Travaux antérieurs de D. Flores sur les carrés magiques $K$-multiples
• 7,8 Recherches récentes de N. Rome et S. Yamagishi sur les carrés magiques de puissances
• 6 Théorie fondamentale de L. Low, J. Pitman et A. Wolff sur les congruences diagonales
• 2,3 Travaux antérieurs de A. Bremner sur les carrés de carrés