Modelo de osciladores acoplados que se puede resolver con exactitud
El modelo de Kuramoto (o modelo de Kuramoto-Daido ), propuesto por primera vez por Yoshiki Kuramoto (蔵本 由紀, Kuramoto Yoshiki ) , [1] [2] es un modelo matemático utilizado para describir la sincronización . Más específicamente, es un modelo para el comportamiento de un gran conjunto de osciladores acoplados . [3] [4] Su formulación fue motivada por el comportamiento de los sistemas de osciladores químicos y biológicos , y ha encontrado aplicaciones generalizadas en áreas como la neurociencia [5] [6] [7] [8] y la dinámica de llamas oscilantes. [9] [10] Kuramoto se sorprendió bastante cuando el comportamiento de algunos sistemas físicos, a saber, matrices acopladas de uniones Josephson , siguió su modelo. [11]
El modelo hace varias suposiciones, incluyendo que hay un acoplamiento débil, que los osciladores son idénticos o casi idénticos y que las interacciones dependen sinusoidalmente de la diferencia de fase entre cada par de objetos.
Definición
En la versión más popular del modelo de Kuramoto, se considera que cada uno de los osciladores tiene su propia frecuencia natural intrínseca y cada uno está acoplado por igual a todos los demás osciladores. Sorprendentemente, este modelo completamente no lineal se puede resolver exactamente en el límite de osciladores infinitos, N → ∞; [5] alternativamente, utilizando argumentos de autoconsistencia se pueden obtener soluciones de estado estable del parámetro de orden. [3]
La forma más popular del modelo tiene las siguientes ecuaciones rectoras:
,
donde el sistema está compuesto por N osciladores de ciclo límite, con fases y constante de acoplamiento K .
Se puede añadir ruido al sistema. En ese caso, se modifica la ecuación original para
,
donde es la fluctuación y una función del tiempo. Si se considera que el ruido es ruido blanco, entonces
,
con denotación de la fuerza del ruido.
Transformación
La transformación que permite resolver este modelo con exactitud (al menos en el límite N → ∞) es la siguiente:
Defina los parámetros de "orden" r y ψ como
.
Aquí r representa la coherencia de fase de la población de osciladores y ψ indica la fase media. Sustituyendo en la ecuación se obtiene
.
Por lo tanto, las ecuaciones de los osciladores ya no están acopladas explícitamente; en cambio, los parámetros de orden gobiernan el comportamiento. Se suele realizar una transformación adicional, a un marco rotatorio en el que el promedio estadístico de las fases de todos los osciladores es cero (es decir, ). Finalmente, la ecuación gobernante se convierte en
.
Grandenortelímite
Consideremos ahora el caso en el que N tiende a infinito. Tome la distribución de frecuencias naturales intrínsecas como g ( ω ) (supuestamente normalizada ). Luego suponga que la densidad de osciladores en una fase dada θ , con una frecuencia natural dada ω , en el tiempo t es . La normalización requiere que
donde v es la velocidad de deriva de los osciladores dada al tomar el límite infinito -N en la ecuación gobernante transformada, de modo que
Finalmente, la definición de los parámetros de orden debe reescribirse para el límite continuo (infinito N ). debe reemplazarse por su promedio de conjunto (sobre todo ) y la suma debe reemplazarse por una integral, para dar
Soluciones para las grandesnortelímite
El estado incoherente con todos los osciladores desplazándose aleatoriamente corresponde a la solución . En ese caso , y no hay coherencia entre los osciladores. Están distribuidos uniformemente en todas las fases posibles, y la población está en un estado estacionario estadístico (aunque los osciladores individuales continúan cambiando de fase de acuerdo con su ω intrínseco ).
Cuando el acoplamiento K es suficientemente fuerte, es posible una solución totalmente sincronizada. En el estado totalmente sincronizado, todos los osciladores comparten una frecuencia común, aunque sus fases pueden ser diferentes.
Una solución para el caso de sincronización parcial produce un estado en el que sólo algunos osciladores (aquellos cercanos a la frecuencia natural media del conjunto) se sincronizan; otros osciladores se desvían de manera incoherente. Matemáticamente, el estado tiene
para osciladores bloqueados, y
Para osciladores a la deriva. El corte se produce cuando .
Cuando es unimodal y simétrico, entonces una solución de estado estable para el sistema es A medida que aumenta el acoplamiento, hay un valor crítico tal que cuando , el promedio de largo plazo de , pero cuando , donde es pequeño, entonces . [12] [3]
Pequeñonortecasos
Cuando N es pequeño, las soluciones dadas anteriormente no funcionan, ya que no se puede utilizar la aproximación continua.
El caso N=2 es trivial. En el marco rotatorio , y por lo tanto el sistema se describe exactamente por el ángulo entre los dos osciladores: . Cuando , el ángulo gira alrededor del círculo (es decir, el oscilador rápido sigue dando vueltas alrededor del oscilador lento). Cuando , el ángulo cae en un atractor estable (es decir, los dos osciladores se bloquean en fase). De manera similar, el espacio de estados del caso N=3 es un toro bidimensional, y por lo tanto el sistema evoluciona como un flujo en el 2-toro, que no puede ser caótico.
El caos se produce por primera vez cuando N = 4. Para algunas configuraciones de , el sistema tiene un atractor extraño . [13]
Después de una transformación canónica a variables de acción-ángulo con acciones y ángulos (fases) , surge la dinámica exacta de Kuramoto en variedades invariantes de constante . Con el hamiltoniano transformado
La ecuación de movimiento de Hamilton se convierte en
y
Por lo tanto, la variedad con es invariante porque y la dinámica de fase se convierte en la dinámica del modelo de Kuramoto (con las mismas constantes de acoplamiento para ). La clase de sistemas hamiltonianos caracteriza ciertos sistemas clásicos cuánticos, incluidos los condensados de Bose-Einstein .
Variaciones de los modelos
Existen varios tipos de variaciones que se pueden aplicar al modelo original presentado anteriormente. Algunos modelos cambian la estructura topológica, otros permiten pesos heterogéneos y otros cambios están más relacionados con modelos que se inspiran en el modelo de Kuramoto pero que no tienen la misma forma funcional.
Variaciones de la topología de red
Además del modelo original, que tiene una topología de todos a todos, una topología de red compleja suficientemente densa es susceptible al tratamiento de campo medio utilizado en la solución del modelo original [15] (ver Transformación y Límite N grande arriba para más información). Las topologías de red como anillos y poblaciones acopladas admiten estados quiméricos. [16] También se puede preguntar por el comportamiento de los modelos en los que hay intrínsecamente locales, como topologías unidimensionales en las que la cadena y el anillo son ejemplos prototípicos. En tales topologías, en las que el acoplamiento no es escalable según 1/ N , no es posible aplicar el enfoque canónico de campo medio, por lo que uno debe confiar en el análisis caso por caso, haciendo uso de simetrías siempre que sea posible, lo que puede dar base para la abstracción de principios generales de soluciones.
La sincronía uniforme, las ondas y las espirales se pueden observar fácilmente en redes Kuramoto bidimensionales con acoplamiento local difusivo. La estabilidad de las ondas en estos modelos se puede determinar analíticamente utilizando los métodos del análisis de estabilidad de Turing. [17] La sincronía uniforme tiende a ser estable cuando el acoplamiento local es positivo en todas partes, mientras que las ondas surgen cuando las conexiones de largo alcance son negativas (acoplamiento envolvente inhibitorio). Las ondas y la sincronía están conectadas por una rama topológicamente distinta de soluciones conocida como ondulación. [18] Estas son desviaciones periódicas espaciales de baja amplitud que emergen del estado uniforme (o el estado de onda) a través de una bifurcación de Hopf . [19] La existencia de soluciones de ondulación fue predicha (pero no observada) por Wiley, Strogatz y Girvan , [20] quienes las llamaron estados q multitorcidos.
La topología en la que se estudia el modelo de Kuramoto se puede hacer adaptativa [21] mediante el uso de un modelo de aptitud que muestre una mejora de la sincronización y la percolación de una manera autoorganizada.
Un gráfico con el grado mínimo al menos estará conectado, sin embargo, para que un gráfico se sincronice un poco más, se requiere que en tal caso se sepa que existe un umbral crítico de conectividad tal que cualquier gráfico en nodos con el grado mínimo debe sincronizarse globalmente . para que sea lo suficientemente grande. Se sabe que el mínimo [20] [22] y el máximo [23] se encuentran entre .
De manera similar, se sabe que los gráficos de Erdős-Rényi con probabilidad de borde que tiende precisamente al infinito estarán conectados y se ha conjeturado [24] que este valor es también el número en el que estos gráficos aleatorios experimentan sincronización, lo que una preimpresión de 2022 afirma haber demostrado. [25] [26]
Variaciones de la topología de red y pesos de red: desde la coordinación de vehículos hasta la sincronización cerebral
Algunos trabajos en la comunidad de control se han centrado en el modelo de Kuramoto en redes y con pesos heterogéneos (es decir, la fuerza de interconexión entre dos osciladores cualesquiera puede ser arbitraria). La dinámica de este modelo es la siguiente:
donde es un número real positivo distinto de cero si el oscilador está conectado al oscilador . Dicho modelo permite un estudio más realista de, por ejemplo, la agrupación, la formación de bancos y la coordinación de vehículos. [28] En el trabajo de Dörfler y colegas, varios teoremas proporcionan condiciones rigurosas para la sincronización de fase y frecuencia de este modelo. Estudios posteriores, motivados por observaciones experimentales en neurociencia, se centran en derivar condiciones analíticas para la sincronización de grupos de osciladores Kuramoto heterogéneos en topologías de red arbitrarias. [29] Dado que el modelo Kuramoto parece desempeñar un papel clave en la evaluación de los fenómenos de sincronización en el cerebro, [30] las condiciones teóricas que respaldan los hallazgos empíricos pueden allanar el camino para una comprensión más profunda de los fenómenos de sincronización neuronal.
Variaciones de la función de interacción de fases
Kuramoto aproximó la interacción de fase entre dos osciladores cualesquiera mediante su primer componente de Fourier, es decir , donde . Se pueden obtener mejores aproximaciones al incluir componentes de Fourier de orden superior,
,
donde los parámetros y deben ser estimados. Por ejemplo, la sincronización entre una red de neuronas Hodgkin-Huxley débilmente acopladas puede ser replicada utilizando osciladores acoplados que retienen los primeros cuatro componentes de Fourier de la función de interacción. [31] La introducción de términos de interacción de fase de orden superior también puede inducir fenómenos dinámicos interesantes como estados parcialmente sincronizados, [32] ciclos heteroclínicos , [33] y dinámica caótica . [34]
Disponibilidad
La biblioteca pyclustering incluye una implementación en Python y C++ del modelo Kuramoto y sus modificaciones. Además, la biblioteca consta de redes oscilatorias (para análisis de clústeres, reconocimiento de patrones, coloración de gráficos, segmentación de imágenes) que se basan en el modelo Kuramoto y el oscilador de fase.
^ Kuramoto, Yoshiki (1975). H. Araki (ed.). Lecture Notes in Physics, International Symposium on Mathematical Problems in Theoretical Physics . Vol. 39. Springer-Verlag, Nueva York. pág. 420.
^ Kuramoto Y (1984). Oscilaciones químicas, ondas y turbulencia . Nueva York, NY: Springer-Verlag.
^ abc Strogatz, Steven H. (2000). "De Kuramoto a Crawford: exploración del inicio de la sincronización en poblaciones de osciladores acoplados". Physica D . 143 (1–4): 1–20. Bibcode :2000PhyD..143....1S. doi : 10.1016/S0167-2789(00)00094-4 . S2CID 16668746 . Consultado el 4 de enero de 2024 .
^ Acebrón, Juan A.; Bonilla, LL; Vicente, Pérez; Conrad, J.; Ritort, Félix; Spigler, Renato (2005). "El modelo de Kuramoto: Un paradigma simple para fenómenos de sincronización" (PDF) . Reseñas de Física Moderna . 77 (1): 137–185. Bibcode :2005RvMP...77..137A. doi :10.1103/RevModPhys.77.137. hdl : 2445/12768 .
^ ab Bick, Christian; Goodfellow, Marc; Laing, Carlo R.; Martens, Erik A. (2020). "Comprensión de la dinámica de las redes de osciladores biológicos y neuronales a través de reducciones exactas del campo medio: una revisión". Revista de neurociencia matemática . 10 (1): 9. arXiv : 1902.05307 . doi : 10.1186/s13408-020-00086-9 . PMC 7253574 . PMID 32462281.
^ Cumin, D.; Unsworth, CP (2007). "Generalización del modelo de Kuromoto para el estudio de la sincronización neuronal en el cerebro". Physica D . 226 (2): 181–196. Bibcode :2007PhyD..226..181C. doi :10.1016/j.physd.2006.12.004. hdl : 2292/2666 .
^ Breakspear M, Heitmann S, Daffertshofer A (2010). "Modelos generativos de oscilaciones corticales: implicaciones neurobiológicas del modelo de Kuramoto". Front Hum Neurosci . 4 (190): 190. doi : 10.3389/fnhum.2010.00190 . PMC 2995481 . PMID 21151358.
^ Cabral J, Luckhoo H, Woolrich M, Joensson M, Mohseni H, Baker A, Kringelbach ML, Deco G (2014). "Explorando los mecanismos de conectividad funcional espontánea en MEG: cómo las interacciones de red retardadas conducen a envolventes de amplitud estructuradas de oscilaciones filtradas por paso de banda". NeuroImage . 90 : 423–435. doi : 10.1016/j.neuroimage.2013.11.047 . hdl : 10230/23081 . PMID 24321555.
^ Sivashinsky, GI (1977). "Teoría difusional-térmica de las llamas celulares". Combust. Sci. Technol . 15 (3–4): 137–146. doi :10.1080/00102207708946779.
^ Steven Strogatz, Sync: La ciencia emergente del orden espontáneo , Hyperion, 2003.
^ Strogatz, Steven H. (1994). "Ondas cerebrales de Norbert Wiener". En Levin, Simon A. (ed.). Frontiers in Mathematical Biology . Lecture Notes in Biomathematics. Vol. 100. Berlín, Heidelberg: Springer. págs. 122–138. doi :10.1007/978-3-642-50124-1_7. ISBN978-3-642-50124-1.
^ Maistrenko, Yuri L.; Popovych, Oleksandr V.; Tass, Peter A. (noviembre de 2005). "Atractor caótico en el modelo de Kuramoto". Revista internacional de bifurcación y caos . 15 (11): 3457–3466. Código Bibliográfico :2005IJBC...15.3457M. doi :10.1142/S0218127405014155. ISSN 0218-1274.
^ Witthaut, Dirk; Timme, Marc (2014). "Dinámica de Kuramoto en sistemas hamiltonianos". Phys. Rev. E . 90 (3): 032917. arXiv : 1305.1742 . Código Bibliográfico :2014PhRvE..90c2917W. doi :10.1103/PhysRevE.90.032917. PMID 25314514. S2CID 7510614.
^ Rodrigues, FA; Peron, TK; Jie, P.; Kurths, J. (2016). "El modelo de Kuramoto en redes complejas". Physics Reports . 610 (1): 1–98. arXiv : 1511.07139 . Bibcode :2016PhR...610....1R. doi :10.1016/j.physrep.2015.10.008. S2CID 119290926.
^ Kazanci, F.; Ermentrout, B. (2006). "Formación de patrones en una matriz de osciladores con acoplamiento eléctrico y químico". SIAM J Appl Math . 67 (2): 512–529. CiteSeerX 10.1.1.140.1020 . doi :10.1137/060661041.
^ Heitmann, S.; Gong, P.; Breakspear, M (2012). "Un papel computacional para la biestabilidad y las ondas viajeras en la corteza motora". Front Comput Neurosci . 6 (67): 67. doi : 10.3389/fncom.2012.00067 . PMC 3438483 . PMID 22973223.
^ Heitmann, S.; Ermentrout, B. (2015). "Sincronía, ondas y ondulación en osciladores Kuramoto acoplados espacialmente con conectividad de sombrero mexicano". Cibernética biológica . 109 (3): 1–15. doi :10.1007/s00422-015-0646-6. PMID 25677527. S2CID 18561153.
^ ab Wiley, D.; Strogatz, S.; Girvan, M (2006). "El tamaño de la cuenca de sincronización". Chaos . 16 (1): 015103. Bibcode :2006Chaos..16a5103W. doi :10.1063/1.2165594. PMID 16599769. S2CID 21173189.
^ Eom, Y.-H.; Boccaletti, S.; Caldarelli, G (2016). "Mejora concurrente de la percolación y la sincronización en redes adaptativas". Scientific Reports . 7 : 015103. arXiv : 1511.05468 . Bibcode :2016NatSR...627111E. doi :10.1038/srep27111. PMC 4890019 . PMID 27251577.
^ Canale, Eduardo A. (2022). "De gráficos ponderados a no ponderados en la teoría de grafos sincronizados". arXiv : 2209.06362 [math.CO].
^ Kassabov, Martin; Strogatz, Steven H.; Townsend, Alex (1 de julio de 2021). "Las redes de Kuramoto suficientemente densas se sincronizan globalmente". Caos: una revista interdisciplinaria de ciencia no lineal . 31 (7): 073135. arXiv : 2105.11406 . Bibcode :2021Chaos..31g3135K. doi :10.1063/5.0057659. ISSN 1054-1500. PMID 34340322. S2CID 235166315.
^ Ling, Shuyang; Xu, Ruitu; Bandeira, Afonso S. (enero de 2019). "Sobre el panorama de las redes de sincronización: una perspectiva desde la optimización no convexa". Revista SIAM sobre optimización . 29 (3): 1879–1907. arXiv : 1809.11083 . doi :10.1137/18M1217644. ISSN 1052-6234. S2CID 53067184.
^ Abdalla, Pedro; Bandeira, Afonso S.; Kassabov, Martin; Souza, Victor; Strogatz, Steven H.; Townsend, Alex (2022). "Los gráficos expansores se sincronizan globalmente". arXiv : 2210.12788 [math.CO].
^ Sloman, Leila (24 de julio de 2023). "Nuevas pruebas muestran que los gráficos 'expansores' se sincronizan". Revista Quanta .
^ Pantaleone, James (octubre de 2002). "Sincronización de metrónomos" (PDF) . American Journal of Physics . 70 (10): 992–1000. Bibcode :2002AmJPh..70..992P. doi :10.1119/1.1501118.
^ Dorfler, F.; Bullo, F. (2014). "Sincronización en redes complejas de osciladores de fase: un estudio". Automatica . 50 (6): 1539–1564. doi :10.1016/j.automatica.2014.04.012.
^ Menara, T.; Baggio, G.; Bassett, D.; Pasqualetti, F. (2020). "Condiciones de estabilidad para sincronizaciones de clúster en redes de osciladores Kuramoto heterogéneos". IEEE Transactions on Control of Network Systems . 7 (1): 302–314. arXiv : 1806.06083 . doi :10.1109/TCNS.2019.2903914. S2CID 73729229.
^ Cabral, J.; Hugues, E.; Sporns, O.; Deco, G. (2011). "El papel de las oscilaciones de la red local en la conectividad funcional en estado de reposo". NeuroImage . 57 (1): 130–139. doi :10.1016/j.neuroimage.2011.04.010. PMID 21511044. S2CID 13959959.
^ Hansel, D.; Mato, G.; Meunier, C (1993). "Dinámica de fase para neuronas Hodgkin-Huxley débilmente acopladas". Europhysics Letters . 23 (5): 367–372. Bibcode :1993EL.....23..367H. doi :10.1209/0295-5075/23/5/011. S2CID 250884499.
^ Clusella, Pau; Politi, Antonio; Rosenblum, Michael (2016). "Un modelo mínimo de sincronía parcial autoconsistente". New Journal of Physics . 18 (9): 093037. arXiv : 1607.07178 . Bibcode :2016NJPh...18i3037C. doi :10.1088/1367-2630/18/9/093037. ISSN 1367-2630. S2CID 126227664.
^ Hansel, D.; Mato, G.; Meunier, C (1993). "Agrupamiento y conmutación lenta en osciladores de fase acoplados globalmente" (PDF) . Physical Review E . 48 (5): 3470–3477. Bibcode :1993PhRvE..48.3470H. doi :10.1103/physreve.48.3470. PMID 9961005.
^ Bick, C.; Timme, M.; Paulikat, D.; Rathlev, D.; Ashwin, P. (2011). "Caos en redes de osciladores de fase simétricos". Physical Review Letters . 107 (24): 244101. arXiv : 1105.2230 . Código Bibliográfico :2011PhRvL.107x4101B. doi :10.1103/PhysRevLett.107.244101. PMID 22243002. S2CID 16144737.