Une technique combinatoire et de mécanique statistique qui encode les interactions locales ou contraintes d'adjacence dans des matrices (matrices de transfert) dont les puissances, produits ou traces énumèrent les configurations globales ou les fonctions de partition pour des systèmes linéaires ou en bandes.

Principe

Représenter la contribution d'une tranche ou d'un état de bord local par une matrice agissant sur un espace de configurations de bord ; les décomptes globaux pour une longue chaîne ou une structure par couches s'obtiennent en prenant des puissances de la matrice, des produits entre couches ou des traces pour des conditions aux bords périodiques, réduisant le comptage à l'algèbre linéaire et à l'analyse spectrale.

Démonstration

Le dénombrement des mots binaires sans deux '1' adjacents sur n positions s'obtient par une matrice de transfert 2×2 dont la puissance n donne les nombres de Fibonacci ; en mécanique statistique, l'énergie libre du modèle d'Ising unidimensionnel se déduit de la diagonalisaton d'une matrice de transfert pour une liaison et de la prise de la plus grande valeur propre élevée à la taille du système.

Mauvaise application

Utiliser la méthode lorsque l'espace des états de bord est exponentiellement grand sans compression, ignorer des corrélations qui empêchent une description markovienne par tranches, ou l'appliquer naïvement à des réseaux véritablement multidimensionnels où les matrices de transfert deviennent intraitables, mène à des calculs erronés ou infaisables.

Conséquence

Transforme l'énumération combinatoire en algèbre matricielle : on obtient des formules fermées, des asymptotiques via les valeurs propres dominantes et des implémentations de programmation dynamique efficaces pour des systèmes quasi-unidimensionnels lorsque la représentation par matrice de transfert est petite ou creuse.

Inversion

Le problème inverse—reconstruire les règles d'interaction locales à partir d'une matrice de transfert donnée—est généralement mal posé car de nombreuses descriptions locales peuvent aboutir au même opérateur de transfert ; la méthode n'est donc pas bijective sans structure additionnelle.

Limite

Particulièrement efficace pour des chaînes unidimensionnelles, des bandes ou des problèmes avec un espace d'état de bord de taille finie ; exclut les problèmes où la description du bord croît avec la longueur du système ou où les interactions sont à longue portée et ne sont pas captées par des matrices finies.

Tension sémantique

La tension se situe avec les méthodes de fonctions génératrices ou les opérateurs de transfert de dimension infinie : les génératrices compressent selon la longueur plutôt que selon l'état de bord, et les opérateurs infinis généralisent la méthode mais requièrent des outils d'analyse fonctionnelle au-delà des matrices finies.

Synthèse

La méthode de la matrice de transfert est une linéarisation local-versus-global : coder la compatibilité tranche-à-tranche dans une matrice, propager par puissances ou produits pour compter les configurations du système entier, puis exploiter valeurs propres ou parcimonie pour obtenir des comptes exacts ou des asymptotiques pour des systèmes linéaires ou stratifiés.