t-Product and t-STP of Cubic Matrices With Application to Hyper-Networked Systems

Título: Produto-t e t-STP de Matrizes Cúbicas com Aplicação em Sistemas Hiper-Conectados

1. Problema e Motivação

O artigo aborda a necessidade de modelar e controlar sistemas dinâmicos complexos que envolvem dados de alta ordem (hipermatrizes), especificamente matrizes cúbicas (ordem 3). Embora o produto-t (t-product), proposto por Kilmer et al., tenha se tornado uma ferramenta eficaz para operações tensoriais em processamento de imagens e sistemas físicos, ele impõe restrições dimensionais rígidas. O produto-t exige que as dimensões das "fatias frontais" (frontal slices) dos tensores sejam compatíveis, o que limita a flexibilidade na modelagem de sistemas com dimensões variáveis ou não compatíveis.

Por outro lado, a extensão do Produto Semi-Tensor (STP) para matrizes, conhecido como DK-STP (Dimension-Keeping STP), permite operações com matrizes de dimensões arbitrárias sem expandir a dimensionalidade do sistema. No entanto, a aplicação direta do DK-STP em matrizes cúbicas revela uma falha crítica: ele desacopla completamente a dinâmica das sub-sistemas correspondentes às fatias frontais. Isso significa que o DK-STP não consegue capturar as interações entre diferentes fatias, tornando-o inadequado para sistemas onde essas interações são essenciais.

O problema central é, portanto, encontrar uma operação algébrica que:

1. Permita operações com matrizes cúbicas de dimensões arbitrárias (como o DK-STP).
2. Mantenha o acoplamento entre as sub-sistemas/fatias frontais (como o produto-t).
3. Preserve a estrutura algébrica necessária para o controle e análise de sistemas dinâmicos.

2. Metodologia

Os autores propõem uma nova operação algébrica chamada t-Semi-Tensor Product (t-STP), que integra o produto-t e o DK-STP. A metodologia desenvolvida segue os seguintes passos:

• Revisão e Generalização: O artigo revisa o produto-t e o DK-STP para matrizes. O DK-STP é estendido para matrizes cúbicas, definindo o produto fatia a fatia, o que leva ao desacoplamento.
• Definição do t-STP: A operação t-STP é definida combinando a estrutura de bloco circulante do produto-t (via o mapa de homomorfismo universal $\Gamma$) com a flexibilidade dimensional do DK-STP. Formalmente, para matrizes cúbicas $A$ e $B$, o t-STP é definido como $A \star_{\text{t-STP}} B = \Gamma(A) \ltimes B$, onde $\Gamma$ mapeia a matriz cúbica para sua forma de bloco circulante e $\ltimes$ é o produto semi-tensor dimensionalmente preservado.
• Análise Algébrica: Os autores investigam rigorosamente as estruturas algébricas derivadas do t-STP:
  • Demonstram a associatividade do t-STP.
  • Estabelecem que o conjunto de matrizes cúbicas sob o t-STP forma um anel, um módulo e um grupo.
  • Definem e caracterizam a Álgebra de Lie ($gl^*$) e o Grupo de Lie ($GL^*$) baseados no t-STP, generalizando as definições clássicas para matrizes não quadradas e cúbicas.
• Construção de Sistemas Dinâmicos: São formulados sistemas de controle dinâmico (lineares e não lineares) sobre matrizes cúbicas utilizando o t-STP. A solução das trajetórias é obtida através de funções analíticas (como a exponencial) definidas sobre o t-STP.
• Aplicação Prática: O framework é aplicado a um jogo evolutivo em rede hiper-conectada para modelar interações complexas em uma cadeia de suprimentos multi-nível (fabricantes, atacadistas e mercados).

3. Principais Contribuições

1. Proposta do t-STP: Introdução de uma nova operação algébrica que supera as limitações dimensionais do produto-t e o problema de desacoplamento do DK-STP, permitindo modelagem flexível de sistemas não lineares e de alta dimensão.
2. Estruturas Algébricas Completas: Revelação das estruturas de grupo, anel, módulo e álgebras de Lie (geral linear) sobre matrizes cúbicas sob a operação t-STP. Isso fornece a base teórica necessária para a análise de estabilidade e controle.
3. Sistemas de Controle Generalizados: Construção de sistemas de controle dinâmico sobre matrizes cúbicas que permitem estados com dimensões arbitrárias e interações acopladas entre fatias, superando os modelos anteriores.
4. Aplicação em Redes Hiper-Conectadas: Demonstração prática da utilidade do framework ao modelar uma cadeia de suprimentos complexa como um jogo evolutivo em hiper-grafos, onde as interações entre diferentes níveis da cadeia são capturadas dinamicamente.

4. Resultados

• Teorema de Associatividade: Foi provado que o t-STP é associativo, o que é fundamental para a consistência algébrica e para a definição de potências e funções analíticas de matrizes cúbicas.
• Homomorfismo Universal: O mapa $\Gamma$ (que transforma a matriz cúbica em sua forma de bloco circulante) atua como um homomorfismo universal, preservando as estruturas de anel e grupo, permitindo que problemas complexos em tensores sejam mapeados para problemas em matrizes convencionais (e vice-versa) para análise.
• Redução de Dimensionalidade: O framework permite representar sistemas de controle onde a matriz de transição clássica seria de dimensão $mqs \times mqs$ (para estado $R^{m \times q \times s}$) por uma matriz cúbica muito menor de dimensão $ms \times p$. Isso oferece uma redução significativa na complexidade computacional para grandes volumes de dados.
• Modelagem de Cadeia de Suprimentos: O modelo aplicado successfully descreve a evolução das estratégias em uma rede de suprimentos com múltiplos agentes, demonstrando como o t-STP pode capturar as interações acopladas entre fabricantes, atacadistas e mercados que modelos desacoplados (DK-STP puro) falhariam em representar.

5. Significado e Impacto

Este trabalho é significativo por fornecer um framework unificado e robusto para a análise e controle de sistemas dinâmicos baseados em tensores (hipermatrizes).

• Avanço Teórico: Preenche uma lacuna na álgebra tensorial ao definir estruturas de Lie e grupos de Lie para matrizes cúbicas de dimensões arbitrárias, estendendo conceitos clássicos de álgebra linear.
• Aplicabilidade em Big Data e IA: A capacidade de lidar com dados de alta ordem e reduzir a dimensionalidade do modelo (através da técnica STP-CS mencionada) torna o método altamente relevante para áreas como aprendizado de máquina, processamento de sinais e controle de sistemas complexos.
• Flexibilidade de Modelagem: Ao permitir que as dimensões das fatias frontais sejam diferentes e ainda manter o acoplamento, o t-STP abre novas possibilidades para modelar sistemas híbridos e interconectados que antes eram difíceis de formular matematicamente.

Em resumo, o artigo estabelece uma nova base algébrica para o controle de sistemas complexos, superando as limitações de métodos anteriores e oferecendo ferramentas poderosas para a análise de redes hiper-conectadas e grandes conjuntos de dados estruturados.