Topology-defined computation in knitted textiles

Résumé technique : Calcul défini par la topologie dans les textiles tricotés

Énoncé du problème
Le calcul mécanique, qui réalise des fonctions logiques par déformation plutôt que par l'électronique, a été démontré dans des systèmes tels que l'origami, le kirigami et les métamatériaux mécaniques. Cependant, une limitation importante des ordinateurs mécaniques existants est leur dépendance à une géométrie et des propriétés matérielles finement ajustées. Dans ces systèmes, les états logiques sont généralement codés comme des minima d'énergie locaux, ce qui rend le comportement computationnel très sensible aux perturbations. De petites variations de géométrie, de rigidité ou de conditions aux limites peuvent modifier le paysage d'énergie potentielle, altérant ainsi la réponse mécanique et compromettant potentiellement la performance du calcul. Par conséquent, développer un ordinateur mécanique dont la fonction logique reste robuste face aux fluctuations géométriques et mécaniques demeure un défi ouvert.

Méthodologie
Ce travail introduit une architecture de calcul mécanique où la logique est définie par la topologie plutôt que par la géométrie. Le système utilise des textiles tricotés formés à partir d'un fil continu unique. Le mécanisme central est l'« échelle » (laddering), une chaîne de démaillage qui se propage à travers le tissu lorsqu'une seule boucle est relâchée.

La méthodologie comprend les étapes suivantes :

1. Discrétisation : Le textile est discrétisé en un réseau de cellules interactives, où chaque cellule correspond à un point de maille. Chaque cellule possède un état physique discret, $\sigma \in \{K, U\}$, représentant respectivement un état tricoté (knitted) ou détricoté/démaillé (unknitted).
2. Règles de propagation : Le processus de démaillage est modélisé comme une dynamique sur le réseau. Une maille passe de l'état $K$ à l'état $U$ si des cellules voisines spécifiques sont déjà à l'état $U$. Ces dépendances sont formalisées par des « ensembles de propagation » ($S_l$), qui listent les ensembles de cellules prérequis qui doivent être démaillés avant qu'une cellule spécifique ne puisse effectuer la transition.
3. Codage logique : Les bits logiques sont représentés par des paires adjacentes de cellules. Une paire $(K, U)$ représente le '1' logique, tandis qu'une paire $(U, K)$ représente le '0' logique. La configuration $(K, K)$ sert d'état neutre.
4. Construction de circuits : Les portes logiques et les canaux de transmission sont construits en définissant des ensembles de propagation spécifiques qui dictent la manière dont le démaillage se propage.
   • Transmission : Les canaux, les éléments FANOUT et d'ÉCHANGE sont réalisés en entrelaçant le fil de sorte que le démaillage des cellules d'entrée déclenche des cellules en aval spécifiques basées sur leurs connexions topologiques.
   • Portes logiques : Les portes NOT, AND et OR sont construites à l'aide de modules « somme » et « produit ». Un module somme permet à une cellule en aval de se démailler si soit l'une soit l'autre de deux cellules en amont se démaille (logique OR), tandis qu'un module produit exige que les deux cellules en amont se démaillent (logique AND). Une porte NOT est réalisée en inversant les cellules gauche et droite d'une paire de bits.
5. Vérification expérimentale : Les auteurs ont tricoté manuellement des circuits en utilisant un fil unique (cordon de caoutchouc naturel recouvert d'une fibre de rayonne). Les entrées sont définies en relâchant des mailles spécifiques, et le tissu est soumis à une tension pour faciliter le démaillage. Le système a été testé sous diverses déformations géométriques (torsion, étirement, flexion) et sous diverses forces mécaniques.

Contributions clés et résultats

• Définition topologique de la logique : L'étude démontre que des opérations logiques peuvent être définies uniquement par l'entrelacement topologique d'un fil unique. Le comportement logique est déterminé par les ensembles de propagation (topologie), tandis que la mécanique (tension, friction) ne détermine que la vitesse ou la faisabilité de l'exécution.
• Robustesse à la déformation : Les expériences ont confirmé que le résultat logique est robuste face à la déformation géométrique. Même lorsque le tissu était tordu de 180°, plié ou étiré de plus de 50 %, le démaillage se propageait le long des mêmes voies topologiques, produisant des sorties identiques.
• Universalité et scalabilité : Les auteurs ont construit avec succès des portes logiques universelles (NOT, AND, OR) et les ont assemblées en un circuit demi-additionneur. Le demi-additionneur, composé de plusieurs portes, a correctement calculé les bits de somme et de retenue pour les quatre combinaisons d'entrées.
• Unicité du calcul : Une analyse théorique (Théorème 5) prouve que l'état final du calcul est unique et indépendant de l'ordre ou de la simultanéité des événements de démaillage. Le système converge vers un point fixe déterminé uniquement par la configuration initiale et les règles de propagation.
• Rôle de la mécanique : Les expériences ont montré que si une force mécanique insuffisante (par exemple, une tension plus faible) pouvait interrompre le processus de démaillage avant qu'il n'atteigne la sortie, elle n'a jamais produit de sortie logique incorrecte. Le système soit complétait le calcul correctement, soit restait dans un état incomplet (toutes les mailles de sortie restent tricotées). Cela établit une séparation claire : la topologie définit ce qui est calculé, tandis que la mécanique détermine si cela peut être exécuté.

Signification
Cet article établit le « calcul défini par la topologie » comme un modèle de traitement de l'information pour les textiles et d'autres systèmes physiques reconfigurables. En découplant la définition de la logique des détails géométriques et des paysages énergétiques du matériau, cette architecture surmonte la sensibilité aux perturbations qui affecte les ordinateurs mécaniques traditionnels. Ce travail démontre qu'un fil continu unique peut effectuer des opérations logiques complexes par un démaillage contrôlé, offrant un nouveau paradigm pour un calcul mécanique robuste, adaptatif et résilient à l'environnement. Ce cadre suggère des extensions possibles à d'autres systèmes à diverses échelles de longueur, y compris les polymères et les structures architecturales, où la topologie régit la fonction.