Teoria supersimétrica da dinâmica estocástica - Supersymmetric theory of stochastic dynamics

A teoria supersimétrica da dinâmica estocástica ou estocástica ( STS ) é uma teoria exata das equações diferenciais estocásticas (parciais) (SDEs), a classe de modelos matemáticos com a mais ampla aplicabilidade cobrindo, em particular, todos os sistemas dinâmicos de tempo contínuo , com e sem ruído. A principal utilidade da teoria do ponto de vista físico é uma explicação teórica rigorosa do comportamento dinâmico de longo alcance espontâneo onipresente que se manifesta através das disciplinas por meio de fenômenos como 1 / f , oscilação e ruídos crepitantes e as estatísticas de lei de potência , ou lei de Zipf , de processos instantâneos como terremotos e neuroavalanches. Do ponto de vista matemático, STS é interessante porque une as duas partes principais da física matemática - a teoria dos sistemas dinâmicos e as teorias de campo topológicas . Além dessas e outras disciplinas relacionadas, como topologia algébrica e teorias de campo supersimétricas , STS também está conectado com a teoria tradicional de equações diferenciais estocásticas e a teoria dos operadores pseudo-Hermitianos.

A teoria começou com a aplicação do procedimento de fixação de bitola BRST aos SDEs Langevin, que posteriormente foi adaptado à mecânica clássica e sua generalização estocástica, os SDEs Langevin de ordem superior e, mais recentemente, aos SDEs de forma arbitrária, o que permitiu vincular o formalismo BRST ao conceito de operadores de transferência e reconhecer o colapso espontâneo da supersimetria BRST como uma generalização estocástica do caos dinâmico .

A ideia principal da teoria é estudar, em vez de trajetórias, a evolução temporal de formas diferenciais definida pela SDE . Esta evolução tem um BRST intrínseco ou supersimetria topológica que representa a preservação da topologia e / ou o conceito de proximidade no espaço de fase por dinâmica de tempo contínua. A teoria identifica um modelo como caótico , no sentido estocástico generalizado, se seu estado fundamental não for supersimétrico, ou seja, se a supersimetria for quebrada espontaneamente. Assim, o comportamento emergente de longo alcance que sempre acompanha o caos dinâmico e seus derivados, como turbulência e criticidade auto-organizada, pode ser entendido como uma consequência do teorema de Goldstone .

História e relação com outras teorias

A primeira relação entre supersimetria e dinâmica estocástica foi estabelecida por Giorgio Parisi e Nicolas Sourlas que demonstraram que a aplicação do procedimento de fixação de calibre BRST para SDEs Langevin, ou seja, para SDEs com espaços de fase linear, campos vetoriais de fluxo gradiente e ruídos aditivos. em N = 2 modelos supersimétricos. Desde então, a assim emergida supersimetria de Langevin SDEs foi estudada extensivamente. Relações entre esta supersimetria e alguns conceitos físicos foram estabelecidas, incluindo os teoremas de dissipação de flutuação , igualdade de Jarzynski , princípio de Onsager de reversibilidade microscópica , soluções de equações de Fokker-Planck, auto-organização , etc.

Abordagem semelhante foi usada para estabelecer que a mecânica clássica , sua generalização estocástica e os SDEs de Langevin de ordem superior também têm representações supersimétricas. Os sistemas dinâmicos reais, entretanto, nunca são puramente Langevin ou mecânicos clássicos. Além disso, os SDEs de Langevin fisicamente significativos nunca quebram a supersimetria espontaneamente. Portanto, para o propósito da identificação da quebra espontânea da supersimetria como caos dinâmico , é necessária a generalização da abordagem Parisi-Sourlas para SDEs de forma geral. Esta generalização poderia vir somente após uma formulação rigorosa da teoria dos operadores pseudo-Hermitianos porque o operador de evolução estocástica é pseudo-Hermitiano no caso geral. Tal generalização mostrou que todos os SDEs possuem N = 1 BRST ou supersimetria topológica (TS) e este achado completa a história da relação entre supersimetria e SDEs.

Paralelamente à abordagem do procedimento BRST para SDEs, matemáticos que trabalham na teoria dos sistemas dinâmicos introduziram e estudaram o conceito de operador de transferência generalizado definido para sistemas dinâmicos aleatórios. Este conceito fundamenta o objeto mais importante do STS, o operador de evolução estocástica, e fornece a ele um significado matemático sólido.

O STS tem uma relação estreita com a topologia algébrica e seu setor topológico pertence à classe de modelos conhecida como teoria de campo topológica ou cohomológica do tipo Witten . Como uma teoria supersimétrica, a abordagem do procedimento BRST para SDEs pode ser vista como uma das realizações do conceito de mapa de Nicolai.

Abordagem Parisi-Sourlas para Langevin SDEs

No contexto da abordagem supersimétrica da dinâmica estocástica, o termo Langevin SDEs denota SDEs com espaço de fase euclidiana, campo vetorial de fluxo gradiente e ruído branco gaussiano aditivo ,

onde , é a variável de ruído, é a intensidade do ruído, e , que em coordenadas e , é o campo vetorial de fluxo gradiente sendo a função Langevin frequentemente interpretada como a energia do sistema dinâmico estocástico puramente dissipativo.

O método Parisi-Sourlas é uma forma de construção da representação integral do caminho da SDE Langevin. Pode ser considerado um procedimento de fixação de medidor BRST que usa o Langevin SDE como uma condição de medidor. Ou seja, considera-se a seguinte integral funcional,

onde denota o rhs do Langevin SDE, é a operação de média estocástica sendo a distribuição normalizada das configurações de ruído,

é o Jacobiano da derivada funcional correspondente, e a integração do caminho é sobre todos os caminhos fechados , onde e são os momentos inicial e final da evolução temporal.

Interpretação topológica

Os aspectos topológicos da construção Parisi-Sourlas podem ser resumidos da seguinte maneira. O delta-funcional, ou seja, a coleção de um número infinito de funções-delta, garante que apenas as soluções do SDE Langevin contribuam . No contexto do procedimento BRST, essas soluções podem ser vistas como cópias de Gribov . Cada solução contribui com uma unidade positiva ou negativa: por ser o índice do chamado mapa de Nicolai , que neste caso é o mapa do espaço dos caminhos fechados para o espaço das configurações de ruído, um mapa que fornece uma configuração de ruído em que um determinado caminho fechado é uma solução do Langevin SDE. pode ser visto como uma realização do teorema de Poincaré-Hopf no espaço de dimensão infinita de caminhos próximos com o Langevin SDE desempenhando o papel do campo vetorial e com as soluções de Langevin SDE desempenhando o papel dos pontos críticos com índice . é independente da configuração do ruído porque é de caráter topológico. O mesmo vale para sua média estocástica , que não é a função de partição do modelo, mas, em vez disso, seu índice de Witten .

Representação integral do caminho

Com a ajuda de uma técnica de campo teórica padrão que envolve a introdução de campo adicional chamado multiplicador de Lagrange, e um par de campos fermiônicos chamado Faddeev-Popov fantasmas , , o índice Witten pode ser dada a seguinte forma,

onde denota a coleção de todos os campos, pbc representa as condições de contorno periódicas, o chamado férmion de calibre,, com e , e a simetria BRST definida por meio de sua ação sobre o funcional arbitrário como . No formalismo BRST , as peças Q-exatas como ,, servem como ferramentas de fixação de medidores. Portanto, a expressão integral do caminho para pode ser interpretada como um modelo cuja ação não contém nada além do termo de fixação do medidor. Esta é uma característica definitiva das teorias de campo topológicas do tipo Witten e, neste caso particular da abordagem do procedimento BRST para SDEs, a simetria BRST também pode ser reconhecida como a supersimetria topológica.

Uma maneira comum de explicar o procedimento BRST é dizer que a simetria BRST gera a versão fermiônica das transformações de calibre, enquanto seu efeito geral na integral de caminho é limitar a integração apenas a configurações que satisfaçam uma condição de calibre especificada. Esta interpretação também se aplica à abordagem de Parisi-Sourlas com as deformações da trajetória e o Langevin SDE desempenhando os papéis das transformações de calibre e da condição de calibre, respectivamente.

Representação do operador

Os férmions físicos na física de alta energia e nos modelos de matéria condensada têm condições de contorno antiperiódicas no tempo. As condições de contorno periódicas não convencionais para férmions na expressão integral do caminho para o índice de Witten são a origem do caráter topológico deste objeto. Essas condições de contorno se revelam na representação do operador do índice de Witten como o operador de sinal alternado,

onde está o operador do número de fantasmas / férmions e o operador de evolução estocástica de tempo finito (SEO) , onde,
é o SEO infinitesimal sendo a derivada de Lie ao longo do campo vetorial subscrito, sendo o Laplaciano, sendo a derivada exterior , que é o operador representativo do TS, e , onde e são momentos bosônicos e fermiônicos, e com colchetes denotando bi- comutador graduado, ou seja, é um anticommutador se ambos os operadores são fermiônicos (contêm número ímpar total de 'se ' s) e, caso contrário, um comutador. O derivado exterior e são supercargas . Eles são nilpotentes , por exemplo , e comutativos com o SEO. Em outras palavras, Langevin SDEs possuem supersimetria N = 2. O fato de ser uma sobrecarga é acidental. Para SDEs de forma arbitrária, isso não é verdade.

Espaço Hilbert

As funções de onda são funções não apenas das variáveis ​​bosônicas , mas também dos

números de Grassmann ou férmions ,, do espaço tangente de . As funções de onda pode ser visto como formas diferenciais sobre os férmions jogando o papel dos diferenciais . O conceito de SEO infinitesimal generaliza o operador Fokker-Planck , que é essencialmente o SEO atuando nas principais formas diferenciais que têm o significado das distribuições de probabilidade total . As formas diferenciais de menor grau podem ser interpretadas, pelo menos localmente , como distribuições de probabilidade condicional . Ver os espaços das formas diferenciais de todos os graus como funções de onda do modelo é uma necessidade matemática. Sem ele, o índice de Witten que representa o objeto mais fundamental do modelo - a função de partição do ruído - não existiria e a função de partição dinâmica não representaria o número de pontos fixos do SDE ( veja abaixo ). O entendimento mais geral das funções de onda são os objetos livres de coordenadas que contêm informações não apenas sobre as trajetórias, mas também sobre a evolução das diferenciais e / ou expoentes de Lyapunov .

Relação com o modelo sigma não linear e topologia algébrica

Na Ref., Foi introduzido um modelo que pode ser visto como um protótipo 1D dos modelos sigma não lineares topológicos (TNSM), uma subclasse das teorias de campo topológico do tipo Witten . O 1D TNSM é definido para espaços de fase Riemannianos, enquanto para espaços de fase euclidianos se reduz ao modelo Parisi-Sourlas. Sua principal diferença em relação ao STS é o operador de difusão, que é o Hodge Laplacian para 1D TNSM e para STS. Esta diferença não é importante no contexto da relação entre STS e topologia algébrica, a relação estabelecida pela teoria de 1D TNSM (ver, por exemplo, Refs.).

O modelo é definido pela seguinte operador de evolução , onde com sendo a métrica, é a

Hodge Laplaciano , e as formas diferenciais da álgebra exterior do espaço de fase, , são vistos como funções de onda. Existe uma transformação de similaridade,, que traz o operador de evolução para a forma explicitamente Hermitiana com . No caso euclidiano, é o hamiltoniano de uma mecânica quântica supersimétrica N = 2 . Pode-se apresentar dois operadores Hermitianos, e , tal isso . Isso demonstra que o espectro de e / ou é real e não negativo. Isso também é válido para SEOs de Langevin SDEs. Para os SDEs de forma arbitrária, entretanto, isso não é mais verdade, pois os autovalores do SEO podem ser negativos e até complexos, o que na verdade permite que o TS seja quebrado espontaneamente.

As seguintes propriedades do operador de evolução de 1D TNSM valem até mesmo para o SEO dos SDEs de forma arbitrária. O operador de evolução comuta com o operador do grau de formas diferenciais. Como resultado, onde e é o espaço das formas diferenciais de grau . Além disso, devido à presença de TS ,, onde estão os autoestados supersimétricos,, não triviais na

cohomologia de de Rham enquanto o resto são os pares de autoestados não supersimétricos da forma e . Todos os autoestados supersimétricos têm autovalor exatamente zero e, exceto em situações acidentais, todos os estados não supersimétricos têm autovalores diferentes de zero. Pares não supersimétricos de autoestados não contribuem para o índice de Witten, que é igual à diferença nos números dos estados supersimétricos de graus pares e ímpares. Para compact , cada classe de cohomologia de de Rham fornece um autoestado supersimétrico e o índice de Witten é igual a Euler característica do espaço de fase.

Procedimento BRST para SDEs de forma arbitrária

O método Parisi-Sourlas de abordagem do procedimento BRST para Langevin SDEs também foi adaptado para a mecânica clássica, generalização estocástica da mecânica clássica, Langevin SDEs de ordem superior e, mais recentemente, para SDEs de forma arbitrária. Embora existam técnicas padrão que permitem considerar modelos com ruídos coloridos, "espaços de base" de dimensão superior descritos por SDEs parciais, etc., os elementos-chave do STS podem ser discutidos usando a seguinte classe básica de SDEs,

onde é um ponto no espaço de fase assumido para simplicidade uma
variedade topológica fechada , é um campo vetorial suficientemente suave , chamado de campo vetorial de fluxo, do espaço tangente de , e é um conjunto de campos vetoriais suficientemente suaves que especificam como o sistema é acoplado ao ruído, que é chamado de aditivo / multiplicativo dependendo se 's são independentes / dependentes da posição em .

Ambiguidade da representação integral do caminho e o dilema de Ito-Stratonovich

O procedimento de fixação do medidor BRST segue as mesmas linhas do caso de Langevin SDEs. A interpretação topológica do procedimento BRST é a mesma e a representação integral do caminho do índice de Witten é definida pelo férmion de calibre , dado pela mesma expressão, mas com a versão generalizada de . Há uma sutileza importante, no entanto, que aparece no caminho para a representação do operador do modelo. Ao contrário dos SDEs de Langevin, da mecânica clássica e de outros SDEs com ruídos aditivos, a representação integral do caminho do SEO de tempo finito é um objeto ambíguo. Essa ambigüidade se origina da não comutatividade dos operadores de momento e posição, por exemplo ,. Como resultado, no caminho a representação integral tem toda uma família de um parâmetro de possíveis interpretações na representação do operador,, onde denota uma função de onda arbitrária. Assim, existe toda uma família de SEOs infinitesimais,

com , sendo a
multiplicação interior pelo campo vetorial subscrito, e o campo vetorial de fluxo "deslocado" sendo . Digno de nota, ao contrário de Langevin SDEs, não é uma sobrecarga e STS não pode ser identificado como uma teoria supersimétrica N = 2 no caso geral.

A representação integral do caminho da dinâmica estocástica é equivalente ao entendimento tradicional de SDEs como um limite de tempo contínuo de equações de diferenças estocásticas onde diferentes escolhas de parâmetros são chamadas de "interpretações" de SDEs. A escolha , para a qual e que é conhecida na teoria quântica como regra de

simetrização de Weyl , é conhecida como interpretação de Stratonovich , enquanto que a interpretação de Ito . Enquanto na teoria quântica a simetrização de Weyl é preferida porque garante a hermiticidade dos hamiltonianos, em STS a abordagem de Weyl-Stratonovich é preferida porque corresponde ao significado matemático mais natural do SEO de tempo finito discutido abaixo - a retração estocasticamente média induzida pelo Difeomorfismos definidos por SDE.

Eigensistema de operador de evolução estocástica

Os três tipos possíveis de espectros de SEO em uma esfera 3D. Cada linha de triplos de gráficos representa . para os três tipos de espectros. Os pontos pretos na origem da primeira e da última linha representam autoestados supersimétricos do zero e da terceira cohomologia da 3 esfera. Para os tipos B e C , o (crescimento mais rápido) terra (Eigen) estados são não-supersimétrica porque eles têm diferentes de zero valores próprios. TS é quebrado espontaneamente. As linhas verticais com setas visualizam o operador de supersimetria.

Em comparação com o SEO de Langevin SDEs, o SEO de uma forma geral de SDE é pseudo-hermitiano. Como resultado, os valores próprios de estados próprios não supersimétricos não são restritos a serem positivos reais, enquanto os valores próprios de estados próprios supersimétricos ainda são exatamente zero. Assim como para os SDEs de Langevin e o modelo sigma não linear, a estrutura do auto-sistema do SEO restabelece o caráter topológico do índice de Witten: as contribuições dos pares não supersimétricos de autoestados desaparecem e apenas os estados supersimétricos contribuem com a característica de

Euler de (fechado) . Entre outras propriedades dos espectros de SEO é que e nunca quebram TS, ou seja, . Como resultado, existem três tipos principais de espectros de SEO apresentados na figura à direita. Os dois tipos que têm autovalores negativos (partes reais de) correspondem ao TS espontaneamente quebrado. Todos os tipos de espectros de SEO são realizáveis, conforme pode ser estabelecido, por exemplo, a partir da relação exata entre a teoria do dínamo cinemático e o STS.

STS sem procedimento BRST

O significado matemático do operador de evolução estocástica

O SEO de tempo finito pode ser obtido de outra forma, mais matemática, a partir da ideia de estudar diretamente as ações induzidas por SDE em formas diferenciais, sem passar pelo procedimento de fixação de bitola BRST. O assim obtido SEO de tempo finito é conhecido na teoria de sistemas dinâmicos como o operador de transferência generalizado e também tem sido usado na teoria clássica de SDEs (ver, por exemplo, Refs.). A contribuição do STS para essa construção é a exposição da estrutura supersimétrica subjacente e o estabelecimento de sua relação com o procedimento BRST para SDEs.

Ou seja, para qualquer configuração do ruído,, e uma condição inicial ,, SDE define uma solução / trajetória única ,. Mesmo para configurações de ruído não diferenciáveis ​​em relação ao tempo , a solução é diferenciável em relação à condição inicial . Em outras palavras, SDE define a família dos

difeomorfismos dependentes da configuração do ruído do espaço de fase para si mesmo ,. Este objeto pode ser entendido como uma coleção e / ou definição de todas as trajetórias dependentes da configuração do ruído ,. Os difeomorfismos induzir ações ou pullbacks , . Ao contrário, digamos, das trajetórias para dentro , as retrações são objetos lineares, mesmo para não lineares . Objetos lineares podem ser calculados e calculados a média sobre as configurações de ruído ,, resulta no SEO de tempo finito que é único e corresponde à interpretação de Weyl-Stratonovich da abordagem do procedimento BRST para SDEs ,.

Dentro desta definição de SEO de tempo finito, o índice de Witten pode ser reconhecido como o traço nítido do operador de transferência generalizado. É também liga o índice Witten para o índice teorema , , uma constante topológica que é igual a

característica de Euler do espaço de fase (fechada). Ou seja ,.

O significado da supersimetria e o efeito borboleta

A supersimetria N = 2 de Langevin SDEs foi associada ao princípio Onsager de reversibilidade microscópica e igualdade de Jarzynski . Na mecânica clássica, foi proposta uma relação entre a supersimetria N = 2 correspondente e a ergodicidade . Em SDEs de forma geral, onde os argumentos físicos podem não ser aplicáveis, uma explicação de nível inferior do TS está disponível. Esta explicação é baseada na compreensão do SEO de tempo finito como um retrocesso estocasticamente calculado dos difeomorfismos definidos pelo SDE (consulte a subseção acima). Nesta imagem, a questão de por que qualquer SDE tem TS é a mesma que a questão de por que a derivada externa comuta com o retrocesso de qualquer difeomorfismo. A resposta a esta pergunta é a diferenciabilidade do mapa correspondente. Em outras palavras, a presença de TS é a versão algébrica da afirmação de que o fluxo em tempo contínuo preserva a continuidade de . Dois pontos inicialmente próximos permanecerão próximos durante a evolução, o que é apenas outra maneira de dizer que é um difeomorfismo.

Em modelos caóticos determinísticos, pontos inicialmente próximos podem fazer parte do limite da evolução temporal infinitamente longa. Este é o famoso efeito borboleta , que equivale à afirmação de que perde a diferenciabilidade neste limite. Na representação algébrica da dinâmica, a evolução no limite de tempo infinitamente longo é descrita pelo estado fundamental do SEO e o efeito borboleta é equivalente à quebra espontânea do TS, ou seja, à situação em que o estado fundamental não é supersimétrico. Digno de nota, ao contrário do entendimento tradicional da dinâmica caótica determinística, a quebra espontânea de TS funciona também para casos estocásticos. Esta é a generalização mais importante porque a dinâmica determinística é, de fato, uma idealização matemática. Os sistemas dinâmicos reais não podem ser isolados de seus ambientes e, portanto, sempre experimentam influência estocástica.

Quebra de supersimetria espontânea e caos dinâmico

O procedimento de fixação do medidor BRST aplicado aos SDEs leva diretamente ao índice de Witten. O índice de Witten é de caráter topológico e não responde a nenhuma perturbação. Em particular, todos os correlacionadores de resposta calculados usando o índice de Witten desaparecem. Este fato tem uma interpretação física dentro do STS: o significado físico do índice de Witten é a função de partição do ruído e como não há retrocesso do sistema dinâmico para o ruído, o índice de Witten não possui informações sobre os detalhes do SDE . Em contraste, as informações sobre os detalhes do modelo estão contidas no outro objeto semelhante a um traço da teoria, a função de partição dinâmica,

onde apbc denota condições de contorno antiperiódicas para os campos fermiônicos e condições de contorno periódicas para campos bosônicos. Na maneira padrão, a função de partição dinâmica pode ser promovida para o funcional de geração acoplando o modelo a campos de sondagem externos.

Para uma ampla classe de modelos, a função de partição dinâmica fornece limite inferior para o número médio estocástico de pontos fixos dos difeomorfismos definidos por SDE,

Aqui, o índice é executado sobre "estados físicos", ou seja, os autoestados que crescem mais rápido com a taxa de crescimento exponencial dada como ,, e o parâmetro pode ser visto como uma versão estocástica da entropia dinâmica, como a
entropia topológica . A entropia positiva é uma das principais assinaturas do caos determinístico. Portanto, a situação com o positivo deve ser identificado como caótico no sentido generalizado, estocástica, uma vez que implica a entropia positiva: . Ao mesmo tempo, positivo implica que TS é quebrado espontaneamente, ou seja, o estado fundamental não é supersimétrico porque seu autovalor não é zero. Em outras palavras, a entropia dinâmica positiva é uma razão para identificar a quebra espontânea de TS como a generalização estocástica do conceito de caos dinâmico. Digno de nota, Langevin SDEs nunca são caóticos porque o espectro de seu SEO é realmente não negativo.

A lista completa de razões pelas quais a quebra espontânea de TS deve ser vista como a generalização estocástica do conceito de caos dinâmico é a seguinte.

  • Entropia dinâmica positiva.
  • De acordo com o teorema de Goldstone , a quebra espontânea de TS deve ajustar um comportamento dinâmico de longo alcance, uma das manifestações do qual é o efeito borboleta discutido acima no contexto do significado de TS.
  • A partir das propriedades do autossistema de SEO, o TS pode ser quebrado espontaneamente somente se . Esta conclusão pode ser vista como a generalização estocástica do teorema de
Poincare-Bendixson para o caos determinístico.
  • No caso determinístico, os modelos integráveis ​​no sentido de sistemas dinâmicos têm variedades globais
  • estáveis ​​e instáveis bem definidas de . Os sutiãs dos estados fundamentais globais de tais modelos são os duais de Poincaré das variedades globais estável / instável. Esses estados básicos são supersimétricos, de modo que o TS não é interrompido espontaneamente. Pelo contrário, quando o modelo é não integrável ou caótico, suas variedades globais (des) estáveis ​​não são variedades topológicas bem definidas, mas sim uma estrutura fractal auto-recorrente que pode ser capturada usando o conceito de variedades ramificadas. As funções de onda que podem representar tais variedades não podem ser supersimétricas. Portanto, a quebra de TS está intrinsecamente relacionada ao conceito de não integrabilidade no sentido de sistemas dinâmicos, que na verdade é mais uma definição amplamente aceita de caos determinístico.

    Todos os recursos de quebra de TS acima funcionam para modelos determinísticos e estocásticos. Isso está em contraste com o caos determinístico tradicional cujas propriedades baseadas na trajetória, como a mistura topológica, não podem, em princípio, ser generalizadas para o caso estocástico porque, assim como na dinâmica quântica, todas as trajetórias são possíveis na presença de ruído e, digamos, o a propriedade de mistura é satisfeita trivialmente por todos os modelos com intensidade de ruído diferente de zero.

    STS como uma teoria de campo topológico

    Elemento da matriz instantóide como um número de interseção
    O quadrado acbd representa um instanton, ou seja, a família de trajetórias de fluxo determinístico (curvas pontilhadas com setas) que vão de um ponto crítico (b) a outro (a). O bra / ket ( / ) dos estados fundamental localmente supersimétricos (vacua) correspondentes a esses pontos críticos são os duais de Poincaré das variedades locais instáveis ​​/ estáveis. Os operadores são Poincare duals de linhas verticais / horizontais. O valor do elemento da matriz instantânea é o número da interseção (a diferença nos números das interseções positivas (pretas) e negativas (brancas)). É invariante sob a evolução temporal devido ao fluxo ,.

    O setor topológico do STS pode ser reconhecido como um membro das teorias de campo topológico do tipo Witten . Em outras palavras, alguns objetos no STS são de caráter topológico, sendo o índice de Witten o exemplo mais famoso. Existem outras classes de objetos topológicos. Uma classe de objetos está relacionada a instantons , ou seja, dinâmica transitória. Papel amassado, dobramento de proteína e muitos outros processos dinâmicos não lineares em resposta a quenches, ou seja, a mudanças externas (repentinas) de parâmetros, podem ser reconhecidos como dinâmica instantânea. Do ponto de vista matemático, instantons são famílias de soluções de equações determinísticas de movimento , que vão desde, digamos, um ponto fixo menos estável até um ponto fixo mais estável. Certos elementos de matriz calculados em instantons são de natureza topológica. Um exemplo de tais elementos de matriz pode ser definido para um par de pontos críticos e , por ser mais estável do que ,

    Aqui e estão o sutiã e o ket dos estados fundamentais supersimétricos perturbativos correspondentes, ou vácuo, que são os duais de Poincaré das variedades locais estáveis ​​e instáveis ​​do ponto crítico correspondente; denota ordenação cronológica; 's são observáveis ​​que são os duais de Poincare de algumas subvariedades fechadas em ; são os observáveis ​​na representação de Heisenberg como sendo um momento de referência sem importância. Os pontos críticos possuem diferentes índices de estabilidade, de modo que os estados e são topologicamente desiguais, pois representam variedades instáveis ​​de diferentes dimensionalidades. Os elementos da matriz acima são independentes de como eles realmente representam o número de interseção de -variedades no instanton, conforme exemplificado na figura.

    Os elementos da matriz instantânea acima são exatos apenas no limite determinístico. No caso estocástico geral, pode-se considerar estados supersimétricos globais, 's, das classes de

    cohomologia de De Rham e observáveis , que são duais de Poincaré de variedades fechadas não triviais em homologia de . Os seguintes elementos da matriz são invariantes topológicos representativos da estrutura do anel de cohomologia de De Rham .

    Formulários

    A teoria supersimétrica da dinâmica estocástica pode ser interessante de diferentes maneiras. Por exemplo, o STS oferece uma realização promissora do conceito de supersimetria . Em geral, existem dois problemas principais no contexto da supersimetria. O primeiro é estabelecer conexões entre essa entidade matemática e o mundo real. Dentro do STS, a supersimetria é a simetria mais comum na natureza porque é pertinente a todos os sistemas dinâmicos de tempo contínuo. O segundo é o colapso espontâneo da supersimetria . Este problema é particularmente importante para a física de partículas porque a supersimetria de partículas elementares , se existir em escala extremamente curta, deve ser quebrada espontaneamente em grande escala. Esse problema não é trivial porque as supersimetrias são difíceis de quebrar espontaneamente, a própria razão por trás da introdução da quebra de supersimetria suave ou explícita . Dentro do STS, o colapso espontâneo da supersimetria é de fato um fenômeno dinâmico não trivial que tem sido conhecido de várias maneiras nas disciplinas como caos , turbulência , criticidade auto-organizada etc.

    Algumas aplicações mais específicas do STS são as seguintes.

    Classificação da dinâmica estocástica

    Os sistemas dinâmicos estocásticos podem ser classificados de acordo com se o TS é quebrado espontaneamente ou não (ordenado / simétrico) e se o campo vetorial de fluxo é integrável ou não integrável (às vezes caótico). A fase simétrica pode ser identificada como equilíbrio térmico (T). A fase ordenada não integrável pode ser chamada de caos (C) porque hospeda o caos determinístico convencional. A fase integrável ordenada pode ser chamada de caos induzido por ruído (N) porque a quebra de TS envolve anti-instantons que desaparecem no limite determinístico. A N - fase também é conhecido na literatura como criticalidade auto-organizada.

    O STS fornece classificação para modelos estocásticos dependendo se o TS está quebrado e da integrabilidade do campo vetorial de fluxo. Pode ser exemplificado como uma parte do diagrama de fase geral na fronteira do caos (veja a figura à direita). O diagrama de fases possui as seguintes propriedades:

    • Para modelos físicos, o TS é restaurado eventualmente com o aumento da intensidade do ruído.
    • A fase simétrica pode ser chamada de equilíbrio térmico ou fase T porque o estado fundamental é o estado supersimétrico da distribuição de probabilidade total de estado estacionário.
    • No limite determinístico, a fase ordenada é equivalente à dinâmica caótica determinística com fluxo não integrável.
    • A fase ordenada não integrável pode ser chamada de caos ou fase C porque o caos determinístico comum pertence a ela.
    • A fase integrável ordenada pode ser chamada de caos induzido por ruído ou fase N porque desaparece no limite determinístico. O TS é interrompido pela condensação de (anti-) instantons (veja abaixo).
    • Em ruídos mais fortes, o limite NC nítido deve se espalhar em um cruzamento porque (anti) instantons perdem sua individualidade e é difícil para um observador externo distinguir um processo de tunelamento de outro.

    Desmistificação da criticidade auto-organizada

    Muitos processos repentinos (ou instantâneos) na natureza, como, por exemplo, ruído crepitante , exibem estatísticas sem escala, freqüentemente chamadas de lei de Zipf . Como explicação para esse comportamento dinâmico espontâneo peculiar, foi proposto acreditar que alguns sistemas dinâmicos estocásticos tendem a se auto-sintonizar em um ponto crítico , a abordagem fenomenológica conhecida como criticidade auto-organizada (SOC). STS oferece uma perspectiva alternativa sobre este fenômeno. Dentro do STS, SOC nada mais é do que dinâmica na fase N. Especificamente, a característica definitiva da fase N é o mecanismo peculiar de quebra do TS. Ao contrário da fase C, onde o TS é rompido pela não integrabilidade do escoamento, na fase N , o TS é rompido espontaneamente devido à condensação das configurações de instantons e antiinstantons induzidos por ruído, ou seja, tempo - instantons revertidos. Esses processos podem ser interpretados grosso modo como os eventos de tunelamento induzidos por ruído entre, por exemplo, atratores diferentes. Qualitativamente, a dinâmica na fase N aparece para um observador externo como uma sequência de saltos repentinos ou "avalanches" que devem exibir um comportamento / estatística sem escala como resultado do teorema de Goldstone . Esta imagem da dinâmica na fase N é exatamente o comportamento dinâmico que o conceito de SOC foi projetado para explicar. Em contraste com o entendimento original do SOC, sua interpretação STS tem pouco a ver com a teoria dos fenômenos críticos tradicionais

    , onde o comportamento sem escala está associado a pontos fixos instáveis ​​do fluxo do grupo de renormalização .

    Teoria cinemática do dínamo

    O fenômeno magnetohidrodinâmico do dínamo cinemático também pode ser identificado como a quebra espontânea da ST. Este resultado decorre da equivalência entre o operador de evolução do campo magnético e o SEO da SDE correspondente que descreve o fluxo da matéria de fundo. A assim emergida correspondência STS-dínamo cinemático prova, em particular, que ambos os tipos de espectros de quebra de TS são possíveis, com os autovalores reais e complexos do estado fundamental, porque o dínamo cinemático com ambos os tipos de autovalores de crescimento mais rápido são conhecidos.

    Dinâmica transitória

    É bem conhecido que vários tipos de dinâmica transitória, como quenches, exibem comportamento espontâneo de longo alcance. No caso de quenches em transições de fase, esse comportamento é frequentemente atribuído à proximidade de criticidade. As têmpera que não exibem uma transição de fase também são conhecidas por exibirem características de longo alcance, com os exemplos mais conhecidos sendo o efeito Barkhausen e as várias realizações do conceito de ruído crepitante . É intuitivamente atraente que as explicações teóricas para o comportamento sem escala em quenches devam ser as mesmas para todos os quenches, independentemente de produzir ou não uma transição de fase; STS oferece essa explicação. A saber, a dinâmica transiente é essencialmente um instanton composto e o TS é intrinsecamente quebrado dentro dos instantons. Embora a quebra de TS dentro de instantons não seja exatamente devido ao fenômeno da quebra espontânea de uma simetria por um estado fundamental global, essa quebra de TS efetiva também deve resultar em um comportamento sem escala. Esse entendimento é apoiado pelo fato de que instantons condensados ​​levam ao aparecimento de logaritmos nas funções de correlação. Esta imagem da dinâmica transitória explica a eficiência computacional das máquinas de computação digital.

    Teorias eficazes de baixa energia para o caos dinâmico

    Em física, a quebra espontânea de simetria é conhecida como "ordenação". Por exemplo, a quebra espontânea da simetria translacional em um líquido é a essência matemática da cristalização ou "ordenação" espacial das moléculas em uma rede. Portanto, a imagem de quebra de TS espontânea da dinâmica caótica é, em certo sentido, oposta à semântica da palavra "caos". Devido ao seu caráter temporal, é na verdade Chronos , não Caos , que parece ser a divindade grega primordial mais próxima em seu espírito da ordem de quebra da ST. Talvez, um identificador mais preciso do que "caos" deva ser cunhado para a quebra de TS no futuro. A partir deste momento, essa compreensão qualitativamente nova do caos dinâmico já aponta para uma direção de pesquisa que pode levar à resolução de alguns problemas importantes, como turbulência e neurodinâmica. Nomeadamente, como no caso de qualquer outra "ordenação", uma descrição simplificada mas precisa da dinâmica caótica pode ser alcançada em termos da teoria efetiva de baixa energia para um parâmetro de ordem . Embora a descrição efetiva de baixa energia da dinâmica caótica possa ser muito específica para o caso, seu parâmetro de ordem deve sempre ser um representante dos férmions ou goldstinos sem intervalos do TS espontaneamente quebrado.

    Veja também

    Referências