Unification des opérations d'apprentissage profond : l'opération à fenêtre généralisée

2025-09-13

Cet article présente l'opération à fenêtre généralisée (GWO), un cadre théorique qui unifie les opérations principales de l'apprentissage profond, telles que la multiplication matricielle et la convolution. La GWO décompose ces opérations en trois composantes orthogonales : le chemin (localité opérationnelle), la forme (structure géométrique et symétrie) et le poids (importance des caractéristiques). L'article propose le principe d'alignement structurel, suggérant qu'une généralisation optimale se produit lorsque la configuration de la GWO reflète la structure intrinsèque des données. Ce principe découle du principe du goulot d'étranglement de l'information (IB). Une métrique de complexité opérationnelle basée sur la complexité de Kolmogorov est définie, en faisant valoir que la nature de cette complexité — régularisation adaptative par opposition à la capacité de force brute — détermine la généralisation. La GWO prédit une meilleure généralisation pour les opérations qui s'alignent de manière adaptative sur la structure des données. Le cadre fournit une grammaire pour créer des opérations neuronales et une voie fondée sur des principes allant des propriétés des données à la conception d'architectures généralisables.

Lire plus
IA

Une nouvelle constante complexe dérivée du nombre d'or et sa conjecture de transcendance

2025-06-22

Un article de recherche de Tristen Harr introduit et analyse une nouvelle constante complexe, ΛG1, dérivée des puissances inverses du nombre d'or, ϕ. Définie comme ΛG1 = T + iJ, où T = 1/(2ϕ) et J = 1/(2ϕ²), il est prouvé qu'il s'agit d'un nombre algébrique de magnitude inférieure à un, approprié comme argument pour la fonction polylogarithme, Lis(z). Des évaluations numériques de haute précision pour le dilogarithme (s=2) et le trilogarithme (s=3) suggèrent que Lis(ΛG1) est transcendant pour tous les entiers s≥2 et se situe en dehors de l'extension de corps Q(π, ln(2), ϕ). Cette recherche est en partie motivée par des applications potentielles dans les études de quasicristaux, où le nombre d'or est fondamental.

Lire plus
Mathématiques nombre transcendant

Deputy : Un langage typé dépendamment hébergé par Clojure

2025-05-20

Deputy est un langage de programmation expérimental à typage dépendant, intégré à Clojure, avec des types de données inductifs. Il explore les implications d'un flux de travail interactif piloté par REPL basé sur Lisp, aussi bien pour la programmation que pour la vérification des types. Implémenté comme une bibliothèque Clojure, il permet aux programmeurs d'utiliser le langage hôte tout en travaillant au niveau des types. Cela permet des calculs de niveau type qui dépendent de valeurs, débloquant des modèles de programmation puissants. Il est important de noter que, malgré la riche sémantique dynamique des types, la vérification des types reste une opération purement effectuée au moment de la compilation.

Lire plus
Développement