Geometria Dissipativa e Controle Híbrido de Dinâmicas Cognitivas Contínuas Tratamento uni cado do Internal State Dynamics Model e do controlador de fragilidade estrutural MAT-4, com auditoria de ambos
Tiago Aguioncio Vieira Universidade de São Paulo (USP), São Paulo, Brasil
Julho de 2026
Abstract
Dois arcabouços até aqui separados descrevem metades complementares de um mesmo objeto: o Internal State Dynamics Model (ISDM), no qual a cognição é um uxo dissipativo suave sobre uma variedade riemanniana, e o MAT-4, um controlador que intervém quando uma matriz interna de coerência perde condicionamento. Este trabalho os uni ca como sistema dinâmico híbrido e, ao fazê-lo, deriva uma relação exata entre suas duas quantidades centrais. fij = cos(θi − θj ), tem posto exatamente Mostramos que a matriz de coerência do MAT-4, M N 2 (1 ± R2 ), em que dois para qualquer número de osciladores, com autovalores não nulos λ± = R2 é o parâmetro de ordem de Kuramoto de segundo harmônico da camada ISDM. Seguem três consequências. Primeira: o indicador de fragilidade σmin (M f) anula-se identicamente para N ≥ 3 e, portanto, não carrega informação alguma tal como originalmente de nido; a quantidade informativa é o menor autovalor não nulo, σ2 = N2 (1 − R2 ), que próximo da sincronia comporta-se como 2N (1 − R1 ). Segunda: os dois arcabouços cam em tensão direta, pois o limite R1 → 1 que o ISDM trata como ligação semântica bem-sucedida é exatamente o limite que o MAT-4 trata como colapso estrutural; formulamos isso como uma hipótese falsi cável de banda de coerência. Terceira: a uni cação expõe outras inconsistências, que enunciamos e reparamos um axioma de dissipação que nenhum campo vetorial em variedade fechada pode satisfazer; um ganho de controle com monotonicidade invertida em relação ao seu próprio propósito; um axioma de invariância a m incompatível com projeção euclidiana, reparável pela métrica de Mahalanobis induzida pela covariância do ltro; e uma forma normal de Hopf sem o termo linear do qual sua própria conclusão depende. Todas as a rmações recebem rótulo epistêmico explícito, e toda asserção matemática é veri cada numericamente com código reprodutível. Avaliamos a aplicabilidade de dois métodos clássicos a este contexto: o método de Euler explícito mostra-se especi camente contraindicado perto de pontos de Hopf, e a métrica de Schwarzschild, estruturalmente inaplicável identi cando, ainda assim, uma ideia aproveitável em cada um. Nenhuma validação empírica da interpretação cognitiva é oferecida; em seu lugar, especi ca-se um protocolo pré-registrado.
Escopo. Esta é uma contribuição teórica e diagnóstica. Contém um teorema novo, com demonstração
e veri cação numérica, uma auditoria de dois manuscritos-fonte e uma hipótese falsi cável. Não contém
validação experimental de nenhuma a rmação sobre cognição, afeto ou desempenho de modelos de lin-
guagem. Enunciados rotulados (C) ou (A) não estão provados e são oferecidos como programa de pesquisa.
Contents 1 Convenções epistêmicas 3 2 Introdução 3
I A camada intrínseca 4 1 3 Geometria do espaço de estados 4 3.1 Formulação e dois reparos de consistência . . . . . . . . . . . . . . . . . . . . . . . 4 3.2 Forma de volume, divergência e o axioma de dissipação . . . . . . . . . . . . . . . . 4 3.3 A identidade que torna a uni cação possível . . . . . . . . . . . . . . . . . . . . . . 5
4 Os três mecanismos dinâmicos 5 4.1 Sincronização . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5 4.2 Gênese semântica por bifurcação de Hopf . . . . . . . . . . . . . . . . . . . . . . . 6 4.3 Dimensão do comportamento generativo . . . . . . . . . . . . . . . . . . . . . . . . 6 4.4 Índice de Conley . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 6
II A camada ativa 6 5 Fragilidade estrutural: o resultado central 7 5.1 Caracterização espectral exata . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 7 5.2 O con ito de objetivos e sua resolução . . . . . . . . . . . . . . . . . . . . . . . . . 8
6 A construção de Lyapunov e a válvula 8 6.1 Funcional modi cado . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 8 6.2 O ganho monotonicidade invertida . . . . . . . . . . . . . . . . . . . . . . . . . . 9 6.3 Dissipatividade do mapa de salto . . . . . . . . . . . . . . . . . . . . . . . . . . . . 9 6.4 Invariância a m e seu reparo . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 6.5 Mapa de reinicialização . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 6.6 Camada estocástica . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 10
III Uni cação 11 7 O sistema híbrido 11 7.1 Correspondência . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 7.2 De nição e obrigações de prova . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 11 7.3 Arquitetura . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 12
8 Veri cação numérica 12 9 Aplicabilidade de dois métodos clássicos 12 9.1 Método de Euler: aplicável e especi camente contraindicado perto de pontos de Hopf 15 9.2 A métrica de Schwarzschild: não transferível; uma ideia sobrevive . . . . . . . . . . 16
10 Registro epistêmico 16 11 Problemas em aberto 17 12 Programa mínimo falsi cável 17 13 Tabela de correções 18 14 Limitações 19 15 Conclusão 19 A Reprodutibilidade 19 B Referências que exigem substituição nos manuscritos-fonte 20
2 1 Convenções epistêmicas Cada enunciado numerado recebe exatamente um rótulo. A convenção é aplicada sem exceção, inclusive a enunciados herdados dos manuscritos-fonte.
Rótulo Signi cado
(P) Provado resultado clássico com citação, ou demonstrado aqui por inteiro (H) Hipótese imposta, não derivada; os resultados são condicionais a ela (C) Conjectura precisa, considerada plausível, não provada (A) Aberto a rmado na fonte sem prova; mantido aqui como objetivo (M) Metáfora mapeamento interpretativo sobre cognição; sem conteúdo matemático
Observação 1 (Sobre o enquadramento do material-fonte). Ambos os manuscritos usam prova- mos, garante rigorosamente e isto demonstra para enunciados que são hipóteses, de nições ou objetivos. Na maioria dos casos a matemática subjacente é sólida e apenas o rótulo está errado. Restaurar o rótulo correto não custa nada e remove o que é, na experiência do autor, o motivo isolado mais comum para um manuscrito teórico ser recusado sem revisão.
Notação. (M, g) variedade de estados com tensor métrico; u ∈ M o estado interno; F o campo vetorial gerador do uxo Φt ; ∇ · F a divergência covariante; λ1 ≥ · · · ≥ λn os expoentes de Lyapunov; DKY a dimensão de KaplanYorke; M f a matriz de coerência; σ2 seu menor autovalor não nulo; V um funcional de Lyapunov; γ o ganho de controle; P a covariância do erro de 1 P imθj estimação; Rm = je o parâmetro de ordem de Kuramoto de m-ésimo harmônico. N
2 Introdução O manuscrito ISDM propõe um mecanismo de estabilização intrínseco e passivo : a cognição é modelada como uxo suave sobre variedade riemanniana, e a estabilidade deve decorrer da geometria divergência negativa e não de uma penalidade acrescentada à função de custo. Sua linguagem é a geometria diferencial e a teoria ergódica. O manuscrito MAT-4 propõe um mecanismo extrínseco e ativo : um controlador que detecta perda de coerência interna e projeta o estado em direção a um subespaço estável antes que uma bifurcação seja alcançada. Sua linguagem é a teoria de controle de Lyapunov e a ltragem estocástica. Nenhum dos dois é autossu ciente. Um uxo dissipativo puramente intrínseco não dispõe de mecanismo de intervenção; um controlador puramente extrínseco não explica onde o estado vive nem por que a dinâmica não controlada estaria bem posta. O objeto comum natural é um sistema dinâmico híbrido : uxo ISDM contínuo, pontuado por reinicializações discretas do MAT-4, com certi cado de estabilidade compartilhado. A motivação para uni cá-los não é editorial. Colocá-los lado a lado obriga suas quantidades centrais a habitar a mesma equação, e a identidade resultante (Teorema 14) acaba por invalidar o diagnóstico de um dos arcabouços e, ao mesmo tempo, fornecer seu reparo e conectá-lo ao parâmetro de ordem do outro. Diversas inconsistências adicionais tornam-se visíveis apenas no contexto conjunto. Todas são relatadas.
Contribuições. 1. (P) Caracterização espectral exata da matriz de coerência do MAT-4 em termos do parâmetro de ordem do ISDM (Teorema 14), com corolários mostrando que o indicador publicado é identicamente nulo e apresentando seu reparo.
2. (C) Uma hipótese falsi cável de banda de coerência (H1), que resolve o con ito de objetivos daí resultante.
3 3. (P) Enunciado reparado de dissipatividade, em substituição a um axioma que nenhum campo vetorial em variedade fechada pode satisfazer (Proposições 46).
4. (P) Restauração da invariância a m pela métrica de Mahalanobis induzida pela covariância do ltro (Proposição 27), resolvendo uma incompatibilidade entre duas exigências do próprio MAT-4.
5. Formulação híbrida (De nição 33) que enuncia com precisão o que resta provar, incluindo uma condição de ausência de Zenão ausente em ambas as fontes.
6. Tabela de vinte correções, suíte de veri cação numérica com código reprodutível e avaliação de aplicabilidade dos dois métodos clássicos propostos.
Part I A camada intrínseca 3 Geometria do espaço de estados 3.1 Formulação e dois reparos de consistência A 1. (M, g) é variedade riemanniana suave, conexa e orientável de dimensão n. A 2. F ∈ C 1 (T M) gera um uxo completo Φt . A formulação original toma u = (c, ι, τ, t), com c cognitivo, ι intensidade, τ tensão e t tempo.
Observação 2 (Correção 1 consistência dimensional). O quadrivetor soma uma grandeza com dimensão de tempo a três grandezas adimensionais. Para que ∥u∥g , a projeção PS e toda de- sigualdade subsequente estejam bem formadas, é necessária uma frequência característica ω0 , com a quarta coordenada dada por t̂ = ω0 t. Isto não é cosmético: o valor de ω0 reescala σ2 e, portanto, o próprio limiar de disparo.
Observação 3 (Correção 2 compacidade). A fonte exige M compacta enquanto trata t como coordenada; para t ilimitado, as duas condições são incompatíveis. Ou t é o parâmetro do uxo 1 e não coordenada, ou t̂ é uma fase (M ⊇ S ), ou a compacidade é substituída por conjunto absorvente compacto. Adotamos a terceira via, padrão na teoria de sistemas dissipativos.
3.2 Forma de volume, divergência e o axioma de dissipação (P) A forma de volume invariante e sua evolução são clássicas: p p det g du1 ∧ · · · ∧ dun , 1 det g F i . Ω= LF Ω = (∇·F) Ω, ∇·F = √det ∂ g i (1)
Leitura. ∇·F é a taxa instantânea de contração de uma nuvem de estados cognitivos próximos. Divergência negativa signi ca que estados iniciais distintos estão sendo afunilados perda de informação, no sentido termodinâmico. A fonte impõe ∇·F < 0 em variedade compacta sem bordo e conclui contração de volume mais conjunto absorvente global. Os dois passos falham.
Proposição 4 ((P) Correção 3 o axioma é vazio como enunciado) R . Seja M variedade rieman- niana compacta, orientável e sem bordo, e F ∈ C 1 (T M). Então M (∇·F) Ω = 0. Consequente- mente, nenhum campo vetorial satisfaz ∇·F < 0 em toda parte de tal variedade.
Proof. Pela fórmula de Cartan, (∇·F)Ω = LF Ω = d(ιF Ω) R + ιF (dΩ), e dΩ = 0 por ser Ω forma de topo. Logo (∇·F)Ω é exata e o teorema de Stokes dá M d(ιF Ω) = 0 numa variedade fechada. Um integrando estritamente negativo não pode ter integral nula.
4 Observação 5 ((P) Correção 4 contração não implica limitação). Mesmo onde ∇·F < 0 pode 2 valer, não se segue conjunto absorvente. Em R , tome ẋ = 1, ẏ = −y : tem-se ∇·F = −1 < 0 em toda parte, o volume contrai como e −t e, ainda assim, toda trajetória escapa ao in nito ao longo de x. Contração de volume restringe o produto das taxas de expansão, não a limitação.
A 3. Existe U ⊂ M aberto e limitado, com U compacto e F apontando estritamente para dentro em ∂U .
A 4. ∇·F ≤ −δ < 0 em U . Proposição 6 ((P) dissipatividade T reparada). Sob H3H4, U é invariante para a frente e contém um atrator global compacto A = t≥0 Φt (U ), com vol(Φt (U )) ≤ e −δt vol(U ) e, portanto, vol(A) =
0.
O resultado é mais fraco que o original atrator de medida nula em vez de estabilidade de um ponto mas é verdadeiro, e sustenta tudo o que vem depois.
3.3 A identidade que torna a uni cação possível Proposição 7 ((P) LiouvilleOseledets). Para uma medida de probabilidade invariante ergódica µ sobre A, n X Z λi = (∇·F) dµ. (2) i=1 M
Proof. Ao longo de uma trajetória, dt d log | det DΦt | = tr(DF) = ∇·F ; tomando médias temporais e aplicando o teorema ergódico de Birkho obtém-se (2).
A equação (2) converte o axioma geométrico do ISDM em enunciado sobre o espectro de Lyapunov, que é o objeto manipulado pela análise doP MAT-4. Geometria, caos e controle passam a ser denominados numa moeda única. De H4 segue i λi ≤ −δ < 0 e, via (4) adiante, DKY ca estritamente abaixo de n: a dissipação limita a dimensionalidade generativa em vez de eliminá-la. Esse é o objetivo declarado do arcabouço, agora derivado em vez de a rmado. A Seção 8 veri ca (2) numericamente, com precisão de máquina, no sistema de Lorenz.
4 Os três mecanismos dinâmicos 4.1 Sincronização De nição 8. Fragmentos P de entrada são osciladores de fase θi com frequências P próprias ωi , iΨ = 1 iθj . acoplados por θ̇i = ωi + j Kij sin(θj − θi ), com parâmetro de ordem R1 e N je
A 5 (campo médio). Kij = K/N para todos i, j . Observação 9 (Correção 5). A redução a θ̇i = ωi + KR1 sin(Ψ − θi ) é apresentada na fonte como reescrita algébrica. Não é: requer H5. Com o tensor de acoplamento aprendido Kij que a fonte explicitamente deseja, os resultados clássicos de Kuramoto não se transferem.
Observação 10 (Correção 6). R1 → 1 é (A), não provado. O resultado clássico (Kuramoto, 1975; Strogatz, 2000) fornece acoplamento crítico Kc = 2/(πg(0)), com R1 > 0 crescendo continuamente acima dele; R1 = 1 exato exige frequências idênticas ou K → ∞. O enunciado defensável é sincronização parcial, com R1,∞ ∈ (0, 1). (M) A sincronização parcial é, de todo modo, o melhor modelo cognitivo: consenso total entre todos os fragmentos seria degenerescência semântica, não compreensão leitura que o Teorema 14 torna precisa.
5 4.2 Gênese semântica por bifurcação de Hopf A 6. Em µ = 0 o jacobiano J(0) possui um par simples λ1,2 = ±iω0 e nenhum outro autovalor no eixo imaginário.
A 7. Transversalidade: dµd Re λ1 (µ) µ=0 = d ̸= 0. (P) Sob H6H7, a redução à variedade central dá, em forma polar, ṙ = dµ r + ar3 + O(r5 ), θ̇ = ω0 + br2 + O(r4 ), a = Re(g21 ). (3) |{z} ausente na fonte
Observação 11 (Correção 7). A fonte apresenta ṙ = ar3 +O(r5 ) e em seguida enuncia r∗ = p −µ/a, que só pode ser obtido a partir do termo linear omitido. Igualando a zero a própria equação da fonte, obtém-se apenas r = 0; os dois enunciados são mutuamente inconsistentes. Com o termo ∗ = −dµ/a, e o caso supercrítico exige a < 0 e dµ > 0 a segunda condição p restaurado, r também está ausente da fonte.
(M) Ideação sustentada como ciclo-limite, e não como ponto xo ou divergência. Note que o sinal de a, computável apenas a partir de tensores de terceira ordem, decide entre oscilação sustentada e divergência; nenhuma implementação pode reivindicar a primeira sem calculá-lo.
4.3 Dimensão do comportamentoP generativo (P) Um k-volume evolui como Vk−1 V̇k = P i≤k λi e, com j o maior inteiro tal que i≤j λi ≥ 0, Pj i=1 λi DKY = j + . (4) |λj+1 |
Observação 12 (Correção 8 três questões distintas). (i) Terminologia. DKY é dimensão frac- tal (de Lyapunov). Dimensão topológica é inteira por construção; dimensão topológica exata é erro de categoria. (ii) Estatuto. Apenas uma desigualdade está provada: (P) DouadyOesterlé (Douady & Oesterlé, 1980) dá dimH (A) ≤ DKY ; (C) a igualdade de KaplanYorke com a di- mensão de informação é conjectural, com exceções conhecidas. (iii) Espectro. A ordenação estrita λ1 > · · · > λ4 é suposta sem justi cativa e, para qualquer uxo com atrator que não seja ponto de equilíbrio, exatamente um expoente se anula isso precisa aparecer no espectro e afeta j . A Seção 8 exibe precisamente esse expoente nulo para Lorenz.
4.4 Índice de Conley (P) O teorema de continuação (Conley, 1978; Mischaikow & Mrozek, 1995) está corretamente citado: para conjunto invariante isolado com vizinhança isolante preservada ao longo de uma homotopia Fλ , vale CH ∗ (F ) = CH ∗ (F ). 0 λ
Observação 13 (Correção 9 a inferência, não o teorema). A fonte conclui robustez contra injeção adversarial. Três lacunas: perturbações adversariais agem sobre o estado, não sobre o campo vetorial, de modo que os objetos não coincidem; a hipótese do teorema preservação da vizinhança isolante para todo λ é exatamente o que um ataque e caz viola, de modo que a invariância só vale sob perturbações pequenas demais para importar; e a invariância do índice não implica que o conjunto invariante seja o mesmo, já que conjuntos distintos podem partilhar índice. Estatuto: teorema (P), alegação de segurança (A). Reformulada como PA4, torna-se questão bem posta e genuinamente interessante.
6 Part II A camada ativa 5 Fragilidade estrutural: o resultado central 5.1 Caracterização espectral exata O MAT-4 de ne uma matriz de coerência com entradas M fij = cos θij e monitora σmin (M f) e f), a rmando que σmin → 0 e κ → ∞ sinalizam colapso iminente. No contexto conjunto, os κ(M ângulos θij são as diferenças de fase θi − θj dos osciladores do ISDM. Sob essa leitura, a matriz ca completamente determinada.
Teorema 14P((P) espectro da matriz de coerência). Sejam θ1 , . . . , θN ∈ R, M fij = cos(θi − θj ) e R2 e2iΨ2 = N1 2iθj o parâmetro de ordem de Kuramoto de segundo harmônico. Então je
(i) posto M f ≤ 2, com igualdade a menos que todos os θi coincidam módulo π ;
f ⪰ 0, e seus autovalores não nulos são exatamente λ± = N 1 ± R2 ; (ii) M 2 (iii) consequentemente σmin (M ) = 0 e κ(M ) = ∞ para toda con guração sempre que N ≥ 3. f f
Proof. Sejam a = (cos θi )i e b = (sin θi )i ∈ RN . A fórmula de adição dá Mfij = cos θi cos θj + sin θi sin θj , isto é, f = aa⊤ + bb⊤ = XX ⊤ , M X = [ a b ] ∈ RN ×2 . f ⪰ 0 e posto M Logo M f = posto X ≤ 2, com posto X = 1 exatamente quando a e b são colineares, ou seja, quando todos os pontos (cos θi , sin θi ) estão sobre uma mesma reta pela origem, isto é, todos os θi coincidem módulo π . Isso prova (i), e (iii) segue de imediato, pois N ≥ 3 força ao menos N − 2 ≥ 1 autovalores nulos. Para (ii), o espectro não nulo de XX ⊤ coincide com o espectro da matriz de Gram 2 × 2
! 2 P P ⊤ i cos θi i cos θi sin θi N 1 C2 S2 G=X X= 2 = I 2 + , 2 S2 −C2 P P i cos θi sin θi i sin θi 2
2 θ = 1 (1 + cos 2θ), sin2 θ = 1 (1 − cos 2θ) e 2 cos θ sin θ = sin 2θ , com C = P usando cos 2 i cos 2θi 2 2 p 2 2 P e S2 = i sin 2θi . O bloco simétrico de traço nulo tem autovalores ± C2 + S2 = ±N R2 , donde λ± = N2 (1 ± R2 ).
Veri cação de consistência: λ+ + λ− = N = tr M f, como exigido, já que M fii = cos 0 = 1.
Corolário 15 ((A) o indicador publicado não informa). Para N ≥ 3, as quantidades σmin (M f) e κ(M f) são constantes identicamente 0 e ∞ para todo estado do sistema. Nenhuma das duas pode servir de indicador de fragilidade, nenhuma pode disparar um controlador, e o termo de penalidade Epenal = β(1 − σmin ) é a constante β . Um controlador construído sobre elas dispara sempre ou nunca, independentemente da dinâmica.
Corolário 16 ((P) o indicador reparado). A quantidade informativa é o menor autovalor não nulo, N σ2 = λ − = 1 − R2 ∈ [0, N ], (5) 2 equivalentemente a margem de posto efetivo de M f. Todos os enunciados do MAT-4 devem ser relidos com σmin → 7 σ2 e κ → 7 (1 + R2 )/(1 − R2 ).
7 Corolário 17 ((P) a ponte, em forma fechada). Próximo da sincronia, escrevendo δj = θj − Ψ com ⟨δ 2 ⟩ pequeno, tem-se 1 − R1 = 21 ⟨δ 2 ⟩ + O(⟨δ 4 ⟩) e 1 − R2 = 2⟨δ 2 ⟩ + O(⟨δ 4 ⟩), logo
σ2 = 2N (1 − R1 ) + O(⟨δ 4 ⟩) (6)
A margem de coerência do MAT-4 é, em primeira ordem, 2N vezes o dé cit de sincronização do ISDM. Os dois arcabouços mediam a mesma coisa em unidades diferentes. Observação 18 (uma leitura alternativa, também problemática). Se, em vez disso, θij denota um ângulo par a par independente, e não uma diferença de fases, M f não precisa ter posto 2 mas tampouco é garantidamente semide nida positiva, seus valores singulares não precisam estar em [0, 1], e Epenal = β(1 − σmin ) pode car negativo, destruindo a construção de Lyapunov. A fonte não desambigua as duas leituras; ambas exigem reparo, e apenas a leitura de Gram admite um.
5.2 O con ito de objetivos e sua resolução Como R1 → 1 implica R2 → 1 (imediato de (6)), o Teorema 14 coloca os dois arcabouços em oposição direta.
Limite Leitura ISDM Leitura MAT-4
R1 → 1, logo σ2 → 0 colapso semântico atingido o objetivo colapso estrutural alarme máximo R1 → 0, logo σ2 → N/2 nenhum signi cado formado falha coerência perfeita nominal
A implicação vale em um só sentido:R2 = 1 não força R1 = 1. A con guração antipodal metade das fases em 0 e metade em π tem R1 = 0 e R2 = 1, logo σ2 = 0 sem qualquer ligação semântica. O colapso de posto tem, portanto, duas causas distintas, e o indicador sozinho não as separa; R1 precisa ser monitorado ao lado de σ2 .
H 1 ((C) banda de coerência). O desempenho do sistema uni cado não é monótono em R1 , mas em U invertido: existem 0 < Rlo < Rhi < 1 tais que o desempenho é máximo para R1 ∈ (Rlo , Rhi ), degradando abaixo de Rlo por falha de ligação e acima de Rhi por colapso de posto representacional. Sob H1, o objetivo correto de controle não é o de nenhum dos dois arcabouços é manter R1 dentro da banda, o que torna a válvula do MAT-4 um regulador bilateral e não um alarme unilateral.
Observação 19 (falsi cação). H1 é refutada se, numa tarefa com métrica mensurável de desem- penho e R1 varrido em [0, 1] pela variação do acoplamento K , o desempenho for monótono cres- cente em R1 , sem máximo interior, em todas as sementes e com intervalos de con ança que excluam ponto de in exão. O experimento é barato e está especi cado em 12.
6 A construção de Lyapunov e a válvula 6.1 Funcional modi cado V (u) = Vcl (u) + Epenal (σ2 ), V̇ = V̇cl − β dσ dt ≤ 0. 2 (7)
A ideia por trás de (7) é sólida e é, na avaliação do autor, a contribuição isolada mais valiosa do manuscrito MAT-4: o controlador é obrigado a agir quando a coerência se degrada, mesmo onde a energia clássica está momentaneamente estacionária. Três reparos são necessários antes do uso.
Observação 20 (Correção 10 regularidade). σ2 é lipschitziana, mas não C 1 ; a diferenciabili- dade falha exatamente onde o autovalor é degenerado, o que pelo Teorema 14 ocorre em R2 = 0 (onde λ+ = λ− ) e em R2 = 1 (queda de posto). Ambos estão na faixa de operação. A teoria clássica de Lyapunov não se aplica literalmente. Reparo: soluções de Filippov com decresci- mento medido pelo gradiente generalizado de Clarke (Clarke, 1983; Bacciotti & Ceragioli, 1999), maxξ∈∂ ◦ V (u) ⟨ξ, F(u)⟩ ≤ −W (u) < 0.
8 Observação 21 (Correção 11 positividade de nida). Epenal = β(1−σ) não se anula no equilíbrio, ∗ a menos que o referencial seja exatamente ortonormal ali; logo V (u ) ̸= 0 e V não é função de ∗ Lyapunov. Reparo: Epenal (σ) = β(σ2 (u ) − σ)+ . A ilimitação radial precisa vir inteiramente de Vcl , pois Epenal é limitada.
6.2 O ganho monotonicidade invertida A fonte especi ca um ganho gaussiano centrado no limiar, γ = γmax exp − (σ − σcrit )2 /2α2 − )2 /2β 2 . (δe − δcrit Observação 22 (Correção 12 isto muda comportamento, não apresentação). Uma gaussiana decai dos dois lados do centro. Quando σ2 → 0 fragilidade máxima, bem além do limiar 2 2 obtém-se γ → γmax e−σcrit /2α ≈ 0: o controlador se desliga exatamente quando o sistema está mais frágil. A intenção declarada de projeto (γ crescendo à medida que a fronteira é abordada) só é cumprida na aproximação por cima. Reparo ganho monótono saturante,
γmax γ(σ2 ) = , (8) 1 + exp (σ2 − σcrit )/α
suave, com γ → γmax quando σ2 → 0, γ → 0 bem acima do limiar e γ = γmax /2 no limiar. Sob H1, exige-se antes uma versão bilateral, penalizando as duas caudas de R1 .
Observação 23 (Correção 13 δe ). O Número de Bifurcação relacionado à constante de Feigen- baum não tem de nição operacional em parte alguma da fonte. A constante de Feigenbaum caracteriza duplicação de período em mapas unimodais unidimensionais e não tem signi cado es- tabelecido para um uxo não autônomo n-dimensional geral. Deve ser de nido computavelmente ou removido.
6.3 Dissipatividade do mapa de salto Lema 24 ((P) contração). Para um subespaço linear S , projeção ortogonal PS e u′ = (1 − γ)u + γPS (u), ∥u∥2 − ∥u′ ∥2 = γ(2 − γ) ∥e∥2 , e = u − PS (u), (9)
de modo que ∥u′ ∥ < ∥u∥ sempre que u ∈ / S e γ ∈ (0, 2).
Proof. u = PS (u) + e com PS (u) ⊥ e, logo u′ = PS (u) + (1 − γ)e e, por ortogonalidade, ∥u′ ∥2 = ∥PS (u)∥2 + (1 − γ)2 ∥e∥2 ; subtraia de ∥u∥2 = ∥PS (u)∥2 + ∥e∥2 .
A derivação da fonte está correta. Três ressalvas precisam acompanhá-la.
(a) Faixa de γ . A desigualdade vale em (0, 2); a leitura de combinação convexa exige [0, 1]. A fonte usa ambas sem distingui-las. Para γ ∈ (1, 2) o mapa ultrapassa e re ete.
(b) Norma não é V . O Lema 24 reduz a norma euclidiana, não o funcional de Lyapunov; as duas coincidem só se V = ∥ · ∥2 com equilíbrio na origem. Veri car V (G(u)) ≤ V (u) é obrigação separada condição (ii) do PA1, hoje (A). (c) Isto é um mapa, não um uxo. A estabilidade em malha fechada não decorre de (9); intercalar uxo e saltos requer o argumento híbrido da 7, inclusive a exclusão de comportamento de Zenão.
Observação 25 (Correção 14 a versão em variedade). Numa variedade riemanniana não estão de nidos nem subespaço linear nem combinação convexa; (9) é operação de espaço plano aplicada a espaço de estados curvo. A válvula correta em variedade é a interpolação geodésica
u′ = expu γ logu ΠS (u) , (10)
9 com ΠS a projeção métrica sobre uma subvariedade totalmente geodésica. (P) Em variedade de Hadamard, a distância a um conjunto convexo é geodesicamente convexa e o Lema 24 se transfere com ∥ · ∥ 7→ dg (·, S); (A) em curvatura geral só há enunciado local, com constantes dependentes de cotas de curvatura seccional e do raio de injetividade (Absil et al., 2008). Esta é precisamente a interface entre os dois manuscritos, e não é tratada em nenhum deles.
6.4 Invariância a m e seu reparo O MAT-4 impõe invariância da estabilidade sob v = Au + b com A ∈ GL(n).
Observação 26 (Correção 15 uma incompatibilidade interna). σ2 e PS são de nidos por meio de um produto interno e são invariantes apenas sob O(n), não sob GL(n). O diagnóstico central do arcabouço viola o axioma do próprio arcabouço. O precedente invocado covariância das leis físicas sob transformações de Lorentz/Poincaré não o sustenta: a invariância de Lorentz preserva uma forma quadrática especí ca, ao passo que a covariância a m geral não preserva forma alguma.
Proposição 27 ((P) o reparo de Mahalanobis). Seja P ≻ 0 a covariância do erro de estimação produzida pelo ltro da 6.6, e de na a métrica dependente do estado gP = P −1 , com dP (u, û)2 = (u − û)⊤ P −1 (u − û). Sob u 7→ Au + b com A ∈ GL(n) tem-se P 7→ AP A⊤ e, portanto, dP é invariante. Substituir a norma euclidiana por dP em (9) e a projeção ortogonal pela projeção P −1 -ortogonal restaura a invariância a m plena da válvula. Proof. (Au − Aû)⊤ (AP A⊤ )−1 (Au − Aû) = (u − û)⊤ A⊤ A−⊤ P −1 A−1 A(u − û) = (u − û)⊤ P −1 (u − û).
O reparo é econômico: a métrica necessária já está sendo calculada pelo ltro, de modo que nenhuma maquinaria nova é introduzida, e ele elimina a incompatibilidade em vez de enfraquecer o axioma. Veri cado numericamente na 8.
6.5 Mapa de reinicialização saf e é um reset com dois riscos. A regra de reanimação u ′′ = u′ se s(u′ ) ≥ s , caso contrário u th Chattering : um limiar único permite que um estado próximo da fronteira alterne em frequência arbitrariamente alta; repara-se com banda de histerese son < sof f . Zenão : sem garantia de tempo de permanência, in nitos saltos podem ocorrer em tempo nito e as soluções deixam de existir (7).
6.6 Camada estocástica Com du = F dt+G dw e yk = Cuk +vk , o operador de Dynkin LV = ∂t V +∇V ⊤ F + 12 tr(G⊤ ∂u2 V G) está corretamente enunciado. Seguem três correções.
Observação 28 (Correção 16 otimalidade). O ltro de Kalman é de variância mínima apenas para dinâmica linear com ruído gaussiano aditivo. Aqui F é explicitamente não linear, de modo que o Filtro de Kalman Vetorial é, na melhor hipótese, um EKF (linearização, sem otimalidade, com modos de divergência conhecidos) ou um UKF/ ltro de partículas. O termo ótimo precisa ser removido ou quali cado.
Observação 29 (Correção 17 separação). Aplicar a válvula ao estado ltrado e herdar estabil- idade pressupõe o princípio da separação, válido para LQG e não para sistemas não lineares: o erro de estimação pode ser ampli cado pela lei de controle não linear. Uma cota do tipo ISS da malha fechada em relação ao erro de estimação é necessária e está ausente.
Observação 30 (Correção 18 o que a condição fornece). LV ≤ 0 dá estabilidade em probabil- idade (V supermartingale). Estabilidade assintótica em média quadrática exige a forma estrita LV ≤ −cV , com V positiva de nida e radialmente ilimitada (Khasminskii, 1980; Mao, 2007). A fonte enuncia a condição fraca e extrai a conclusão forte.
10 Observação 31 (Correção 19 não há prova). A fonte escreve a prova requer demonstrar que a dissipação domina a difusão e em seguida enuncia a conclusão. Isso é o enunciado da obrigação, não sua quitação. Estatuto (A); mantido como PA3.
Part III Uni cação 7 O sistema híbrido 7.1 Correspondência Aspecto ISDM (intrínseco) MAT-4 (ativo) Papel uni cado
n Espaço de estados riemanniano (M, g) plano R (M, g); válvula elevada por (10) Métrica g euclidiana gP = P −1 (Prop. 27) Fonte de estabili- ∇·F < 0 (geometria) projeção-γ (controle) condição de uxo + de salto dade Diagnóstico R1 , espectro {λi } σ2 idênticos : σ2 = 2N (1 − R1 ) Dimensão DKY (global, assin- posto efetivo de M f proxy local do colapso global tótica) Objetivo em R1 → desejado alarme banda de coerência (H1) 1 Escala de tempo contínua disparada por evento tempo híbrido (t, j) Caos con nar (λ1 > 0 per- suprimir abaixo do con nar; suprimir no disparo mitido) limiar Modo de falha escape de U Zenão / chattering ambos devem ser excluídos
Observação 32 (dois sentidos de Lyapunov). As fontes usam o nome para expoentes de Lyapunov (taxas assintóticas de separação, propriedade ergódica do atrator) e para funções de Lyapunov (certi cados do tipo energia, propriedade global do uxo), por vezes deslizando entre eles. São relacionados um V estrito restringe o espectro mas não intercambiáveis. Ambos aparecem aqui e são mantidos distintos.
7.2 De nição e obrigações de prova De nição 33 ((H) sistema uni cado). H = (C, F, D, G) sobre (M, gP ), com C = {σ2 ≥ σcrit }, u̇ = F(u, µ, t), D = {σ2 < σcrit }, G(u) = R ◦ expu γ(u) logu ΠS (u) ,
com soluções no domínio de tempo híbrido (t, j) ∈ R≥0 × N no sentido de Goebel et al. (2012).
PA 1 (certi cado uni cado). Exibir V , positiva de nida em relação a A, com (i) maxξ∈∂ ◦ V ⟨ξ, F⟩ ≤ −W (u) em C ; (ii) V (G(u)) ≤ V (u) em D; (iii) tempo médio de permanência positivo. Então A é uniformemente global e assintoticamente estável para H.
A condição (iii) está ausente de ambas as fontes e é a que tem maior chance de falhar na prática: se o uxo reentra em D imediatamente após cada salto, o sistema salta in nitas vezes em tempo nito e não há solução. Ela é, contudo, quase gratuita.
A 8 (salto estrito para fora). Existe η > 0 com σ2 (G(u)) ≥ σcrit + η para todo u ∈ D. Proposição 34 ((P) ausência de Zenão). Sob H8 e continuidade lipschitziana local de t 7→ σ2 (Φt (u)) com constante L, saltos consecutivos são separados por ao menos η/L; logo H não admite soluções de Zenão e as soluções existem para todo tempo híbrido.
11 Proof. Após um salto, σ2 ≥ σcrit + η ; o disparo seguinte exige σ2 < σcrit , isto é, decréscimo de pelo menos η , o que sob a cota de Lipschitz leva tempo mínimo η/L.
H8 é precisamente o que o mapa de reanimação tentava informalmente garantir. Torná-la explícita justi ca o mapa e o converte de heurística em especi cação de projeto com teste de aceitação veri cável.
7.3 Arquitetura ISDM contínuo, intrínseco
Camada de Fluxo ISDM Fragmentos θi Kuramoto em (M, gP ) osciladores de fase parâmetros R1 , R2 ∇ · F ≤ −δ em U
MAT-4 discreto, ativo
seguir o uxo sim: conjunto de uxo C guarda: σ2 ≥ não: σcritconjunto ? válvula de salto D MAT-4 λ1 > 0 permitido; σ2 = N 2 (1 − R2 ) = u′ = expu (γ logu ΠS u) DKY < n por (2),(4) 2N (1 − R1 ) γ monótono, (8)
sim
reanimação: σ2 (u′ ) ≥ σcrit + η ? (H8) ideação sustentada ciclo-limite, (3) não
retorno a usaf e
Figure 1: O sistema híbrido uni cado. Verde: uxo ISDM contínuo, apoiado em H1H4 (todas padrão). Azul: válvula MAT-4 discreta, apoiada no Lema 24 (P) mais a Correção 14 (A) no caso curvo. Âmbar: os dois nós de decisão, onde se concentra o conteúdo não provado a justi cativa da guarda é o Teorema 14 junto com H1, e a garantia de reanimação é H8.
8 Veri cação numérica Toda asserção matemática acima foi checada computacionalmente. Esta seção relata veri cação de identidades, não resultados experimentais sobre cognição; nenhuma a rmação sobre linguagem, afeto ou desempenho de modelos é testada aqui. O código está no Apêndice A; toda a saída é reprodutível com a semente indicada. P Dois pontos de V8 merecem destaque. A concordância quase exata de λi com tr J é con r- mação numérica direta da identidade (2), sobre a qual repousa a uni cação. E o segundo expoente, λ2 = +0,0010, é o expoente nulo na direção do uxo previsto na Correção 8(iii) a ordenação estrita suposta na fonte não vale e, se tivesse sido suposta aqui, j e portanto DKY teriam sido calculados incorretamente.
9 Aplicabilidade de dois métodos clássicos Dois construtos clássicos foram propostos para este contexto. Ambos são avaliados nos mesmos termos que todo o resto.
12 (a) Mij = cos( i j) has rank 2 (b) Theorem 1: ± = N2 (1 ± R2) 101 N=4 N = 32 1.0 N=8 N = 64 10 3 N = 16 0.8 all k = 0 for k 3 0.6 + /N (measured) 10 7 | k(M)|
± /N /N (measured) 10 11 0.4 (1 ± R2)/2 (theory)
10 15 0.2
10 19 0.0 0 10 20 30 40 50 60 0.0 0.2 0.4 0.6 0.8 1.0 eigenvalue index k R2 (second-harmonic order parameter)
Figure 2: Teorema 14. (a) Magnitudes dos autovalores de M f para fases aleatórias: exatamente dois são −17 não nulos em todo N , os demais no épsilon de máquina (∼ 10 ). (b) λ± /N medidos contra R2 em 400 con gurações aleatórias com N = 60; as linhas sólidas são a previsão (1 ± R2 )/2. Desvio absoluto máximo −14 em sorteios independentes: 5,7 × 10 .
(a) The two targets are in direct opposition (b) Hypothesis H1 inverted-U (falsifiable) MAT-4 coherence margin
0.5 conjectured task performance
1.0 0.4 MAT-4 optimum 0.8 incoherent: no binding degenerate: rank collapse 0.3 (no meaning formed) ISDM optimum 0.6 0.2 (MAT-4 alarm) coherence 0.4 band 0.1 0.2 0.0 2/N
0.0 0.0 0.2 0.4 0.6 0.8 1.0 0.0 0.2 0.4 0.6 0.8 1.0 R1 ISDM "semantic collapse" 1 R1
Figure 3: (a) O con ito de objetivos. Quando R1 → 1 (alvo do ISDM), a margem σ2 → 0 (alarme máximo do MAT-4). (b) Hipótese H1: o U invertido conjecturado e a banda de coerência. A curva ilustra a hipótese, não é medida a 12 especi ca o experimento que a testaria.
13 Table 1: Resumo da veri cação. Semente 20260727; transcrição completa no Apêndice A.
Teste Alvo Resultado
V1 Teorema 14(i),(iii) posto Mf = 2 e exatamente dois autovalores não nulos para N ∈ {3, 4, 5, 8, 16, 64, 256}; σmin ≤ 2,6 × 10−17 em todos os casos V2 Teorema 14(ii) max |λ± − N2 (1 ± R2 )| = 5,7 × 10−14 em 15 sorteios, N até 200 V3 Corolário 17 e con ito R1 = 0,9989 ⇒ R2 = 0,9957; razão (1 − R2 )/(1 − R1 ) → 4 como previsto. Estado antipodal: R1 = 0, R2 = 1, σ2 = 0 con rma que a implicação é unidirecional V4 Observação 5 ẋ = 1, ẏ = −y : divergência −1, volume ∝ e−t , trajetória ilimitada. Alegação refutada V5 9.1 |1 + ihω| > 1 para todo h > 0; em h = 10−2 , crescimento espúrio de 0,5% por unidade de tempo V6 Proposição 27 dP invariante até 1,3 × 10−15 sob A ∈ GL(4) e b ∈ R4 aleatórios; a norma euclidiana varia 5,63 V7 Correção 7 a equação da fonte só admite r = 0; a forma ∗ corrigida dá r = 0,5477 com resíduo nulo V8 Prop. 7 e (4) Lorenz-63: λ = (+0,9034; +0,0010; −14,5711); P λi = −13,6667 contra tr J = −(σ + 1 + b) = −13,6667, erro relativo < 10−4 %; DKY = 2,062 (literatura: 2,06)
(a) Lorenz-63 attractor (b) Benettin convergence 2.5 0.0 2.5 5.0 1 i(T)
2 7.5 3 10.0 12.5 15.0 0 500 1000 1500 integration time T Figure 4: Veri cação V8. (a) Atrator de Lorenz-63, σ = 10, ρ = 28, b = 8/3, RK4 com h = 2 × 10−3 . (b) Convergência de Benettin/QR dos três expoentes em T = 1500; λ2 convergindo a zero é a direção do uxo.
14 (a) Explicit Euler on z = i z (b) Amplification > 1 for every h > 0 10 1
|1 + ih | 1 (spurious growth) Euler h = 0.05 2 Euler h = 0.01 exact orbit 10 3 1 0 10 5 y
1 10 7 2 2 0 2 10 4 10 3 10 2 10 1 x step size h
Figure 5: Veri cação V5. (a) Euler explícito aplicado a ż = iωz : a órbita exata é um círculo; Euler espirala para fora em qualquer passo. (b) O excesso de ampli cação |1 + ihω| − 1 é estritamente positivo 2 para todo h > 0, decrescendo apenas como O(h ).
9.1 Método de Euler: aplicável e especi camente contraindicado perto de pontos de Hopf yn+1 = yn + hf (tn , yn ) é aplicável como integrador de base, mas o Euler explícito é a ferra- menta errada para validar as a rmações centrais deste arcabouço, por razões especí cas ao que o arcabouço a rma. (P) A objeção precisa. Num ponto de Hopf, √ a linearização tem autovalores ±iω , e o fator de ampli cação do Euler explícito é |1 + ihω| = 1 + h2 ω 2 > 1 para todo h > 0. O esquema converte um centro em espiral instável e pode fabricar um ciclo-limite numérico que o sistema contínuo não possui. Como a 2.2 é justamente uma a rmação sobre ciclos-limite nascidos numa bifurcação de Hopf, o Euler explícito não consegue distinguir o comportamento do modelo do artefato do integrador. Isso é mais grave que perda genérica de acurácia e vale em qualquer tamanho de passo. Dois pontos adicionais: um passo de Euler u + hF(u) em geral sai de M, exigindo retração expu (hF(u)) ou projeção de volta; e a integração de passo xo ultrapassa a superfície de guarda {σ2 = σcrit }, deslocando cada tempo de salto em O(h).
Finalidade Método Nota
Fluxo determinístico DormandPrince RK45 ou integrador geométrico controle de erro desacoplado da alegação Regime de Hopf ponto médio implícito / simplético preserva o centro; não fabrica ciclo Camada estocástica EulerMaruyama (ordem 1 2 ), Milstein (ordem 1) é aqui que o método pertence Espectro de Lyapunov Benettin com QR periódico necessário para DKY ; usado em V8 Tempos de salto detecção de evento com retrocesso de passo senão, erro O(h) em cada disparo Auditoria de convergência Richardson em h, h/2, h/4 mostra que os resultados não são artefat
Onde Euler tem lugar próprio. EulerMaruyama é exatamente a discretização da camada estocástica e é a via natural para resolver empiricamente a Correção 18: estimar E[V (ut )] sobre muitas realizações e veri car se decai como e −ct (média quadrática) ou apenas não cresce (em
probabilidade). É um experimento barato que resolve um ponto em aberto.
15 9.2 A métrica de Schwarzschild: não transferível; uma ideia sobrevive Exigência da solução de Schwarzschild Situação neste arcabouço √ assinatura lorentziana (−, +, +, +) a forma de volume det g de (1), a distância geodésica e toda norma de Lyapunov exigem positividade de nida; det g < 0 quebra as três equações de campo no vácuo Rµν = 0 nenhuma equação de campo determina g ; ele é escolha de modelagem, e uma solução de vácuo não tem graus de liberdade para conteúdo simetria esférica, estaticidade, plani- sem análogo; nada sugere que o espaço cognitivo seja tude assintótica isotrópico massa conservada M e constante c sem análogo; t̂ = ω0 t é reescala, não estrutura causal cones de luz e ordem causal ausentes; não há velocidade nita de propagação
Uma métrica de Schwarzschild cognitiva, obtida substituindo M por uma variável de atenção ou saliência, não traria consequência alguma: a forma da solução extrai seu signi cado inteira- mente das equações de campo que resolve e, sem elas, é uma escolha arbitrária de g entre in nitas. Também comprometeria a credibilidade da geometria genuinamente defensável da Parte I.
O que sobrevive. Na geometria de Schwarzschild, r = 2GM/c 2 parece singular, mas é artefato
de coordenada, removível pela transformação de KruskalSzekeres, ao passo que r = 0 é singu- laridade intrínseca de curvatura, detectada pelo escalar de Kretschmann, independente de coor- denadas.Distingue-se patologia de coordenada de patologia intrínseca testando um invariante. É exatamente esse o diagnóstico que falta a este arcabouço: pela Correção 15, σ2 depende de base, de modo que σ2 → 0 pode ser artefato de referencial interno mal escolhido, e não perda real de coerência uma singularidade de coordenada da fragilidade. A Proposição 27 é uma resposta; um invariante de curvatura seria outra.
PA 2 (fragilidade invariante). Construir indicador de fragilidade invariante sob o grupo de simetria declarado, e veri car que ele concorda com σ2 onde o referencial é bem condicionado e dele se afasta onde não é. Candidatos: curvatura de Ricci na direção do uxo; autovalores do tensor misto g −1 ∇F ; ou o menor autovalor da métrica de FisherRao.
H 2 ((C) velocidade semântica limitada). A única ideia sicamente motivada que se transfere é uma cota nita de propagação: nenhuma trajetória admissível excede uma taxa máxima de mudança semântica, ∥u̇∥g ≤ vmax . Isso é implementável como restrição de Finsler sobre variedade riemanniana e não exige troca de assinatura. Se melhora estabilidade ou expressividade permanece não testado.
A métrica curva correta, se for desejada. A escolha defensável é a métrica de Fisher Rao (Amari, 2016): canonicamente determinada pela própria distribuição de saída do modelo, invariante sob reparametrização que é a invariância buscada pelo axioma a m e ligada a uma literatura madura (gradiente natural). Sua degenerescência, onde a matriz de informação perde posto, é noção invariante de perda de poder de distinção do estado, o que formaliza fragilidade estrutural consideravelmente melhor que o menor autovalor de um referencial arbitrário.
10 Registro epistêmico
A rmação Rótulo Base / o que falta
Forma de volume, derivada de Lie, di- (P) clássico vergência (1)
16 A rmação Rótulo Base / o que falta
Não existe F com ∇·F < 0 em variedade (P) Prop. 4, provado aqui fechada Contração ̸⇒ conjunto absorvente (P) Obs. 5, contraexemplo, V4 Dissipatividade reparada (P) Prop. 6, condicional a H3H4 (P) P R λi = ∇·F dµ Prop. 7; veri cado em V8 f = 2, λ± = N (1 ± R2 ) posto M (P) Teorema 14, provado aqui; V1V2 2 f) ≡ 0, indicador não informativo σmin (M (P) Cor. 15 σ2 = 2N (1 − R1 ) + O(δ 4 ) (P) Cor. 17; veri cado em V3 Banda de coerência / U invertido (C) H1; protocolo em 12 Mahalanobis restaura invariância a m (P) Prop. 27; veri cado em V6 Contração do mapa de salto (P) Lema 24; caso plano apenas O mesmo em variedade curva (A) só caso de Hadamard; Correção 14 Reparo do ganho monótono p (P) elementar; (8) ∗ Ciclo-limite de Hopf r = −dµ/a (P) com o termo linear restaurado; V7 DKY igual à dimensão de informação (C) conjectura de KaplanYorke; só DouadyOesterlé provado Continuação do índice de Conley (P) Conley (1978) Robustez a injeção adversarial (A) Correção 9; reformulada como PA4 Kuramoto R1 → 1 (A) Correção 6; vale sincronização parcial Ausência de Zenão sob salto estrito (P) Prop. 34, condicional a H8 Certi cado híbrido uni cado (A) PA1 Estabilidade estocástica em média (A) PA3; sem princípio da separação quadrática Velocidade semântica limitada (C) H2 Qualquer a rmação sobre cognição, afeto, (M) rótulos sobre objetos matemáticos; sem sentido evidência Qualquer ganho de desempenho de modelo nenhum é feito ; não testado
11 Problemas em aberto PA 3. Estabilidade em média quadrática sob LV ≤ −cV com ltragem não linear, mais cota ISS da malha fechada em relação ao erro de estimação.
PA 4. Um orçamento de perturbação ϵ tal que toda perturbação de norma ≤ ϵ preserve a vizinhança isolante, tornando quantitativa a alegação de Conley.
PA 5. Dissipatividade da válvula geodésica (10) além de variedades de Hadamard. PA 6. De nição operacional de δe , ou sua remoção.
Ordem Tarefa Custo Remove
1 Corrigir referências; de nir ou eliminar δe ; aplicar rótulos horas três objeções de revisor 2 Testar H1 em Lorenz / Kuramoto dias decide o enquadramento do artigo 3 PA1(iii) via H8 dias existência de soluções 4 PA2, indicador invariante semanas a Correção 15 por inteiro 5 PA1(i,ii), depois PA3 e PA4 meses as entradas (A) restantes
12 Programa mínimo falsi cável Sistemas. Lorenz-63 com ρ varrido pela transição (referência DKY ≈ 2,06, reproduzida em V8); KuramotoSivashinsky com o comprimento do domínio como parâmetro; Kuramoto de N nito com K varrido através de Kc ; e uma Neural ODE treinada em tarefa real de classi cação, para a alegação aplicada.
17 Desfecho primário pré-registrado. Existência de máximo interior do desempenho em função de R1 (H1). Hipótese nula: o desempenho é monótono em R1 .
Desfecho secundário. Tempo de antecedência entre o início da queda de σ2 e a mudança medida em DKY ; H0 : ∆tlead ≤ 0.
Desenho. Ao menos dez sementes independentes por condição; ablação de quatro braços (sem controle / só dissipação de uxo / só controle de salto / ambos); baselines Neural ODE, regu- larização de Lyapunov tipo Zubov e Transformer simples; Benettin com descarte de transiente documentado; auditoria por bisseção do passo; conjunto de teste tocado uma única vez.
Estatística. Testes pareados com normalidade veri cada (ShapiroWilk e então t ou Wilcoxon); d de Cohen; intervalos bootstrap BCa; correção de BenjaminiHochberg na família de condições.
Sobre o desfecho. O protocolo detecta o efeito se ele existir e deixa de detectá-lo se não existir. Um resultado nulo para H1 seria informativo e publicável: estabeleceria que σ2 é heurística prática sem fundamento teórico, o que vale a pena saber. Reajustar limiares até obter p < 0,05 invalidaria a inferência.
13 Tabela de correções
# Gravidade Problema na fonte Reparo adotado aqui
f) ≡ 0: o indicador é constante N 1 grave σmin (M usar σ2 = λ− = 2 (1 − R2 ) (Cor. 16) 2 grave ∇ · F < 0 impossível em variedade região de aprisionamento + ∇·F ≤ −δ fechada em U 3 grave contração dada como conjunto ab- contraexemplo; H3 acrescentada sorvente 4 grave ganho gaussiano anula-se na fragilidade sigmoide monótona (8) máxima 5 grave axioma a m incompatível com projeção Mahalanobis gP = P −1 (Prop. 27) euclidiana termo restaurado; r ∗ = p 6 grave forma normal de Hopf sem dµ r −dµ/a, exige dµ > 0 7 grave referências fabricadas / não veri cáveis removidas; ver tabela de substituição 8 grave objetivos dos dois arcabouços em con- explicitado; H1 ito 9 moderado σ2 não é C 1 gradiente de Clarke, soluções de Filip- pov 10 moderado V não positiva de nida em u∗ penalidade normalizada 11 moderado Kalman chamado de ótimo em sistema EKF/UKF; alegação de otimalidade re- não linear tirada 12 moderado princípio da separação suposto sinalizado; exige cota ISS (PA3) 13 moderado LV ≤ 0 lido como média quadrática exige a forma estrita LV ≤ −cV 14 moderado 5.2 enuncia obrigação e a chama de rerrotulada (A) prova 15 moderado índice de Conley lido como robustez ad- rerrotulado; PA4 versarial 16 moderado Kij → K/N apresentado como reescrita enunciado como H5 17 moderado R1 → 1 a rmado sincronização parcial; Correção 6 18 moderado DKY chamada de dimensão topológica dimensão fractal/de Lyapunov; DouadyOesterlé 19 moderado válvula de nida por álgebra linear em forma geodésica (10) variedade 20 menor γ ∈ (0, 1] vs (0, 2); δe inde nido; tempo cada ponto tratado no lugar; alegações como coordenada; seções duplicadas; sobre turbulência restritas a modelos re- controlar turbulência a partir de EDO duzidos de dimensão nita em Rn
18 14 Limitações O arcabouço supõe campos vetoriais suaves, dimensão nita e conjuntos absorventes compactos; dinâmicas não suaves, imersões em Hilbert de dimensão in nita e o cenário efetivo de Navier Stokes invocado pelo enquadramento de turbulência do MAT-4 não são tratados. As interpretações cognitivas e afetivas ao longo do texto emoção, ideação, identidade, criatividade são rótulos a xados a objetos matemáticos; nenhum argumento é oferecido de que a matemática capture os fenômenos nomeados, e nenhum deve ser inferido. Modelar fragmentos de entrada como osciladores de fase não é justi cado por nenhuma propriedade da linguagem. O trabalho numérico da 8 veri ca identidades; não testa qualquer a rmação sobre cognição. Não se a rma que este arcabouço melhore qualquer capacidade mensurável de qualquer sistema existente: essa questão é empírica e permanece em aberto.
15 Conclusão Uni car os dois arcabouços produziu mais que sua soma, num sentido especí co e veri cável. A formulação híbrida explicita a interface entre eles e nomeia suas obrigações de prova, inclusive uma ausência de comportamento de Zenão que nenhuma das fontes considerou. A identidade de LiouvilleOseledets fornece uma moeda comum na qual divergência, espectro de Lyapunov e dimensão do atrator tornam-se comparáveis. E forçar as duas quantidades centrais para dentro de uma mesma equação produziu o Teorema 14, que mostra que a matriz de coerência do MAT-4 tem posto dois, que seu indicador de fragilidade publicado é, portanto, identicamente nulo, e que a substituição informativa é função exata do parâmetro de ordem do ISDM: σ2 = 2N (1 − R1 ) em primeira ordem. Os dois manuscritos vinham medindo a mesma quantidade em unidades diferentes, atribuindo-lhe valor oposto. Este último ponto é o achado substantivo. Não se trata do reparo de um lapso tipográ co, mas de um con ito de objetivos, e ele sugere que o alvo correto de controle não é o de nenhum dos dois arcabouços é uma banda de coerência, em vez de um alarme unilateral. A Hipótese H1 enuncia isso com precisão e é refutável a baixo custo. Em contrapartida, a auditoria identi cou oito defeitos graves e onze adicionais no material- fonte, além de uma lista de referências que não poderia ser submetida como está. Nenhum deles parece fatal ao programa subjacente. Todos seriam fatais a uma submissão que os deixasse no lugar. O resumo honesto é que se tem agora um arcabouço coerente, com um teorema provado, duas hipóteses falsi cáveis e seis problemas em aberto bem postos e que as a rmações empíricas sobre cognição permanecem inteiramente não testadas.
A Reprodutibilidade Toda a veri cação usa NumPy com semente 20260727. O espectro de Lorenz usa RK4 sobre o sistema acoplado de estado e variacional, h = 2 × 10 −3 , transiente T = 50 descartado, média sobreT = 1500, com reortonormalização QR a cada passo e xação de sinal na diagonal de R. O script completo e sua transcrição bruta acompanham este manuscrito como verify.py e verification_output.txt. As guras são geradas por fig.py. Nenhum resultado deste manuscrito depende de dados não publicados.
19 B Referências que exigem substituição nos manuscritos-fonte Referência na fonte Problema
ISDM [8] Zubov, V. I. et al., atribuição impossível; a teoria de estabilidade de Zubov é dos Zubov-net, arXiv 2025 anos 1960 e o autor faleceu em 2000. É preciso localizar e citar o artigo Zubov-Net real e seus verdadeiros autores ISDM [9] J. Ip et al., L-NODEC, não veri cada; autores, título e identi cador exigem con rmação arXiv 2025 ISDM [10] R. on Finite-Time o campo de autor é artefato de geração automática; substituir Lyapunov Exponents (FTLEs) por referência real sobre FTLE et al., 2026 MAT-4, [?] no corpo (várias) citações não resolvidas em toda a Introdução; a bibliogra a está vazia MAT-4 [5] Vieira (2025) um preprint não revisado não deve ser citado como resultado Placeholder for User's Preprint estabelecido
Este é o item de maior prioridade de toda a auditoria. Um editor que identi que citação fabricada normalmente interrompe a leitura, e o efeito se estende aos demais manuscritos do autor em circulação. Recomenda-se varrer todas as submissões relacionadas em busca do mesmo padrão.
References Absil, P.-A., Mahony, R. & Sepulchre, R. Optimization Algorithms on Matrix Manifolds. Princeton Univ. Press, 2008.
Amari, S. Information Geometry and Its Applications. Springer, 2016. Bacciotti, A. & Ceragioli, F. Stability and stabilization of discontinuous systems and nonsmooth Lyapunov functions. ESAIM Control Optim. Calc. Var. 4:361376, 1999. Benettin, G., Galgani, L., Giorgilli, A. & Strelcyn, J.-M. Lyapunov characteristic exponents for smooth dynamical systems. Meccanica 15:920, 1980. Chen, R. T. Q., Rubanova, Y., Bettencourt, J. & Duvenaud, D. Neural ordinary dierential equations. NeurIPS 31, 2018. Clarke, F. H. Optimization and Nonsmooth Analysis. Wiley, 1983. Conley, C. C. Isolated Invariant Sets and the Morse Index. AMS, 1978. Douady, A. & Oesterlé, J. Dimension de Hausdor des attracteurs. C. R. Acad. Sci. Paris A 290:11351138, 1980.
Goebel, R., Sanfelice, R. G. & Teel, A. R. Hybrid Dynamical Systems. Princeton Univ. Press, 2012. Kaplan, J. L. & Yorke, J. A. Chaotic behavior of multidimensional dierence equations. In Functional Dierential Equations and Approximation of Fixed Points, 204227. Springer, 1979. Khalil, H. K. Nonlinear Systems, 3rd ed. Prentice Hall, 2002. Khasminskii, R. Z. Stochastic Stability of Dierential Equations. Sijtho & Noordho, 1980. Kolmogorov, A. N. The local structure of turbulence in incompressible viscous uid for very large Reynolds numbers. Dokl. Akad. Nauk SSSR 30:301305, 1941. Kuramoto, Y. Self-entrainment of a population of coupled non-linear oscillators. In Int. Symp. Math. Problems in Theoretical Physics, 420422. Springer, 1975. Kuznetsov, Y. A. Elements of Applied Bifurcation Theory, 3rd ed. Springer, 2004. Mao, X. Stochastic Dierential Equations and Applications, 2nd ed. Horwood, 2007.
20 Mischaikow, K. & Mrozek, M. Chaos in the Lorenz equations: a computer-assisted proof. Bull. Amer. Math. Soc. 32:6672, 1995. Oseledets, V. I. A multiplicative ergodic theorem. Trans. Moscow Math. Soc. 19:197231, 1968. Strogatz, S. H. From Kuramoto to Crawford: exploring the onset of synchronization in populations of coupled oscillators. Physica D 143:120, 2000. Strogatz, S. H. Nonlinear Dynamics and Chaos, 2nd ed. CRC Press, 2018. Szegedy, C. et al. Intriguing properties of neural networks. arXiv :1312.6199, 2013. Temam, R. In nite-Dimensional Dynamical Systems in Mechanics and Physics, 2nd ed. Springer, 1997. Vaswani, A. et al. Attention is all you need. NeurIPS 30, 2017. Wald, R. M. General Relativity. Univ. Chicago Press, 1984.
21