MUBs from bent functions

Cet article présente une construction simple d'ensembles complets de bases mutuellement non biaisées (MUB) en utilisant des fonctions courbes pour exprimer les nouveaux vecteurs de base comme des combinaisons linéaires explicites de la base standard.

L'essentiel

Imaginez que vous essayez d'organiser une immense bibliothèque d'informations, mais que vous devez le faire d'une manière qui garantit qu'aucune deux façons d'organiser les livres ne se ressemblent, tout en s'adaptant parfaitement les unes aux autres. C'est le défi central des Bases Mutuellement Non-Biaisées (MUB), un concept utilisé en physique quantique et en mathématiques.

Dans cet article, le mathématicien William M. Kantor présente une nouvelle « recette » simple pour créer ces systèmes d'organisation parfaits. Il y parvient en utilisant un type spécial de fonction mathématique appelé fonction courbe (bent function).

Voici une décomposition de ses idées à l'aide d'analogies du quotidien :

1. L'Objectif : Le Mélange Parfait

Imaginez un jeu de cartes. Vous pouvez les organiser par Couleur (Cœur, Carreau, etc.) ou par Valeur (As, 2, 3, etc.).

• Si vous savez qu'une carte est l'« As de Cœur », vous savez exactement où elle se trouve dans la liste des « Couleurs ».
• Mais si vous regardez la liste des « Valeurs », le fait de savoir qu'il s'agit d'un « As » ne vous dit rien sur la couleur à laquelle elle appartient ; elle pourrait être l'une des quatre.

Dans le monde quantique, les scientifiques veulent créer de nombreuses « listes » différentes (bases) où connaître la position d'un élément dans une liste ne vous donne aucune information sur sa position dans toute autre liste. Ils veulent créer autant de ces listes totalement différentes que possible. Kantor appelle un « ensemble complet » de ces listes un Ensemble Complet de MUB.

2. L'Ingrédient Secret : Les Fonctions Courbes

Pour construire ces listes, Kantor utilise des « fonctions courbes ».

• L'Analogie : Imaginez qu'une fonction est une machine qui prend une entrée (comme un nombre) et produit un résultat. Une fonction « courbe » est une machine qui est parfaitement « tordue » ou « courbée ».
• La Propriété : Si vous modifiez l'entrée ne serait-ce qu'un tout petit peu, la sortie change d'une manière complètement imprévisible et uniformément distribuée. C'est comme un lancer de pièce équilibré qui ne reste jamais bloqué sur « face » ou « pile », peu importe le nombre de fois où vous la lancez.
• L'Ensemble « Mubent » : Kantor a besoin de toute une équipe de ces fonctions courbes. La règle est que si vous prenez deux fonctions quelconques de l'équipe et que vous soustrayez l'une de l'autre, le résultat doit aussi être une fonction parfaitement courbe. Il appelle cela un « ensemble mubent ».

3. La Construction : Deux Recettes Différentes

Kantor montre comment utiliser ces équipes de fonctions pour construire les listes, mais il doit utiliser deux recettes légèrement différentes selon la taille du système (spécifiquement, que le nombre d'éléments soit un nombre premier impair ou une puissance de 2).

Recette A : Pour les Nombres Impairs (Le Cas de « Caractéristique Impaire »)

• Le Déroulement : Imaginez que vous avez une grille de points. Vous avez une liste standard (la « base standard »).
• La Magie : Pour chaque fonction courbe de votre « ensemble mubent », vous créez une nouvelle liste. Vous le faites en prenant la liste standard et en mélangeant les éléments ensemble à l'aide d'une formule spécifique impliquant la fonction courbe.
• Le Résultat : Kantor prouve mathématiquement que si vous commencez avec votre liste standard et ajoutez toutes les nouvelles listes créées par vos fonctions courbes, vous obtenez un ensemble complet. Chaque liste est parfaitement « non-biaisée » par rapport à toute autre liste.
• Le Problème : Cette recette fonctionne très bien pour les nombres impairs, mais elle échoue si vous essayez de l'utiliser pour le nombre 2 (les puissances de 2).

Recette B : Pour les Puissances de 2 (Le Cas de « Caractéristique 2 »)

• Le Problème : La première recette échoue pour les puissances de 2 parce que les fonctions « courbes » ne se comportent pas de la même manière.
• La Solution : Kantor modifie légèrement les règles. Au lieu d'utiliser des nombres d'une liste simple (0, 1, 2...), il utilise des nombres d'un système « modulo 4 » (0, 1, 2, 3).
• La Nouvelle Définition de Courbe : Dans ce système, une fonction est « courbe » si les différences entre ses sorties sont distribuées d'une manière très spécifique et équilibrée (un nombre égal de 0 et de 2, et un nombre égal de 1 et de 3).
• Le Résultat : En utilisant cette définition modifiée et un type spécial de matrice (une grille de nombres) appelé « ensemble étalé », il construit les nouvelles listes. Tout comme la première recette, cela crée un ensemble complet de listes parfaitement non-biaisées.

4. Pourquoi Cela Compte (Selon l'Article)

• Simplicité : Les méthodes précédentes pour construire ces ensembles reposaient souvent sur la théorie des groupes complexe ou la géométrie. La méthode de Kantor est « élémentaire » et directe : elle écrit les nouvelles listes comme de simples combinaisons des anciennes.
• Complétude : Il prouve que ces méthodes génèrent le nombre maximum de listes possibles (N + 1 listes pour un système de taille N).
• Limites : L'article note que, bien que cette construction soit simple, elle utilise principalement des fonctions « quadratiques » (un type spécifique et simple de fonction courbe). Elle ne résout pas le mystère de savoir s'il existe d'autres types de fonctions courbes, plus étranges, qui pourraient créer encore plus d'ensembles uniques, mais elle fournit une base solide et fonctionnelle.

Résumé

L'article de Kantor est comme un livre de cuisine. Il dit : « Si vous voulez créer un ensemble parfait de façons totalement différentes d'organiser un système quantique, voici une recette simple.

1. Rassemblez une équipe de fonctions « courbes » (des fonctions parfaitement tordues).
2. Si votre système est un nombre impair, utilisez la Recette A.
3. Si votre système est une puissance de 2, utilisez la Recette B (qui nécessite un type légèrement différent de fonction courbe).
4. Mélangez-les avec votre liste standard, et vous obtenez un ensemble complet et parfait de bases non-biaisées. »

L'article est une preuve mathématique que cette recette fonctionne toujours, offrant un moyen clair et explicite de générer ces structures complexes.

Résumé technique

Résumé technique : Bases Mutuellement Non biaisées (MUB) à partir de fonctions en courbure

Énoncé du problème
L'article traite de la construction d'ensembles complets de Bases Mutuellement Non biaisées (MUB) dans l'espace vectoriel complexe $\mathbb{C}^N$, où $N = p^n$ pour un nombre premier $p$. Deux bases orthonormées sont mutuellement non biaisées si le module du produit scalaire entre n'importe quel vecteur d'une base et n'importe quel vecteur de l'autre est exactement $1/\sqrt{N}$. Un ensemble complet est constitué de $N+1$ telles bases deux à deux non biaisées. Bien que des approches de théorie des groupes et géométriques à ce problème existent (référencées comme [WoF, Wo, CCKS, Ka]), cette note vise à fournir une construction distincte et élémentaire qui exprime explicitement les nouveaux vecteurs de base comme des combinaisons linéaires de la base standard à l'aide de fonctions en courbure (bent functions).

Méthodologie
L'auteur, William M. Kantor, propose une construction unifiée basée sur des ensembles « mubent » de fonctions. La méthodologie diffère selon la caractéristique du corps :

1. Caractéristique impaire ($p > 2$) :

   • Soit $V = \mathbb{Z}_p^n$. Un ensemble mubent $\mathfrak{B}$ est défini comme un ensemble de $|V|$ fonctions $V \to \mathbb{Z}_p$ telles que la différence entre deux fonctions distinctes quelconques de l'ensemble soit une fonction en courbure.
   • Une fonction $B: V \to \mathbb{Z}_p$ est en courbure si, pour tout $u \in V$ non nul, la fonction différence $v \mapsto B(v+u) - B(v)$ prend chaque valeur dans $\mathbb{Z}_p exactement$|V|/p$ fois.
   • La construction définit une base standard $M_\infty = \{e_a \mid a \in V\}$ et une famille de bases $M_B = \{ \frac{1}{\sqrt{N}} e_{a,B} \mid a \in V \}$ pour chaque $B \in \mathfrak{B}$.
   • Les vecteurs $e_{a,B}$ sont construits comme des combinaisons linéaires explicites : $e_{a,B} = \sum_{v \in V} \zeta^{a \cdot v + B(v)} e_v$, où $\zeta$ est une racine $p$-ième primitive de l'unité.

2. Caractéristique 2 ($p = 2$) :

   • La construction est adaptée pour utiliser des fonctions $V \to \mathbb{Z}_4$ plutôt que $\mathbb{Z}_2$, car la définition standard des fonctions en courbure sur $\mathbb{Z}_2$ ne produit pas d'ensembles complets de taille $N+1$ (la taille maximale est limitée à $2^{n-1} + 1$).
   • Ici, un ensemble mubent $\mathfrak{B}$ consiste en $|V|$ fonctions $V \to \mathbb{Z}_4$ telles que la différence de deux quelconques soit une fonction en courbure $V \to \mathbb{Z}_4$.
   • Une fonction $B: V \to \mathbb{Z}_4$ est en courbure si, pour $0 \neq u \in V$, les comptes $n(u, k) = |\{v \in V \mid B(v+u) - B(v) = k\}|$ satisfont $n(u, 0) = n(u, 2)$ et $n(u, 1) = n(u, 3)$.
   • Les vecteurs de base sont définis de manière similaire en utilisant $i$ (l'unité imaginaire) comme racine de l'unité : $e_{a,B} = \sum_{v \in V} (-1)^{a \cdot v} i^{B(v)} e_v$.

Résultats clés et théorèmes
L'article établit deux théorèmes principaux prouvant la validité de cette construction :

• Théorème 2.1 (Caractéristique impaire) : Si $\mathfrak{B}$ est un ensemble mubent de fonctions $V \to \mathbb{Z}_p$, alors la collection $\{M_\infty\} \cup \{M_B \mid B \in \mathfrak{B}\}$ forme un ensemble complet de MUB dans $\mathbb{C}^N$. La preuve repose sur le calcul du carré du module du produit scalaire, montrant qu'il est égal à $1/N$ pour des bases distinctes en utilisant les propriétés de distribution des fonctions en courbure.
• Théorème 3.1 (Caractéristique 2) : Si $\mathfrak{B}$ est un ensemble mubent de fonctions $V \to \mathbb{Z}_4$, alors $\{M_\infty\} \cup \{M_B \mid B \in \mathfrak{B}\}$ forme un ensemble complet de MUB dans $\mathbb{C}^N$. La preuve démontre de manière similaire que les termes de corrélation croisée s'annulent en raison des conditions d'équilibre spécifiques ($n(u,0)=n(u,2)$ et $n(u,1)=n(u,3)$) inhérentes aux fonctions en courbure sur $\mathbb{Z}_4$.

Constructions concrètes et exemples
L'article fournit des instances spécifiques d'ensembles mubent pour démontrer l'existence de telles constructions :

• Fonctions quadratiques : Pour $p$ impair, les exemples les plus simples utilisent l'application trace et des fonctions quadratiques de la forme $x \mapsto \text{Tr}(ax^2)$. La condition mubent correspond à l'ensemble des matrices associées formant un « ensemble d'étalement » (spread set) (un ensemble de matrices où toutes les différences deux à deux sont non singulières).
• Adaptation en caractéristique 2 : Pour $p=2$, l'article utilise des matrices symétriques sur $\mathbb{Z}_4$. Le lemme 3.2 prouve que toute matrice symétrique $M$ sur $\mathbb{Z}_4$ dont la réduction modulo 2 est non singulière génère une fonction quadratique en courbure $B_M(v) = \hat{v}M\hat{v}^T$. La proposition 3.3 montre que tout ensemble d'étalement de matrices symétriques sur $\mathbb{Z}_2$ produit un ensemble mubent de fonctions quadratiques $V \to \mathbb{Z}_4$, générant ainsi un ensemble complet de MUB.
• Ensembles familiers : L'article note que les exemples 2.2 et 3.4 retrouvent les ensembles complets de MUB les plus familiers précédemment connus dans la littérature.

Portée et affirmations
L'auteur présente ce travail comme une « construction courte et élémentaire » offrant un point de vue différent des approches dominantes de théorie des groupes et géométriques. La portée principale réside dans :

1. Explicitation : Les nouveaux vecteurs de base sont écrits explicitement comme des combinaisons linéaires de la base standard, dérivées directement des fonctions en courbure.
2. Unification : Elle fournit un cadre cohérent pour les caractéristiques impaires et paires, la cas de caractéristique 2 nécessitant la modification spécifique vers $\mathbb{Z}_4$ pour surmonter les limitations des fonctions en courbure sur $\mathbb{Z}_2$.
3. Modestie sur la nouveauté : L'auteur déclare explicitement que, bien que l'approche soit différente, elle « n'a pas conduit à la construction d'ensembles complets de MUB nouveaux ». Les ensembles connus générés (via des fonctions quadratiques et des ensembles d'étalement) sont cohérents avec la littérature existante.
4. Limites : L'article reconnaît que la méthode ne résout pas actuellement les questions concernant l'équivalence unitaire des ensembles complets de MUB, un problème que l'approche de théorie des groupes traite via les groupes de Heisenberg et les plans affines finis. De plus, il note que pour $p=2$, le nombre d'ensembles complets connus n'est pas borné par un polynôme en $N$, alors que pour $p>2$, le nombre d'ensembles connus est $O(N)$.

En résumé, l'article sert de note technique concise démontrant comment les fonctions en courbure peuvent être utilisées systématiquement pour générer des ensembles complets de MUB, validant la construction par des preuves algébriques élémentaires sans prétendre découvrir des ensembles de bases précédemment inconnus.