45 votos

¿De qué están hechas las cuerdas de la teoría de las cuerdas?

Esta es la continuación de un pregunta intrigante el año pasado sobre la tensión en la teoría de cuerdas .

¿De qué están compuestas las cuerdas en la teoría de cuerdas?

Lo digo en serio. Las cuerdas hechas de materia son objetos complejos que requieren una forma muy específica de enlace interatómico de cadena larga (principalmente basado en el carbono) que sería difícil de implementar si los parámetros físicos de nuestro universo se ajustaran aunque fuera un poco. Esa unión se complica aún más cuando se añade la elasticidad. Los modos de vibración de una cuerda real son el resultado emergente no evidente de una compleja interacción de masa, momento angular, varias leyes de conservación y convenientes linealidades inherentes a nuestra forma de espaciotiempo.

En resumen, una cuerda real vibratoria basada en la materia es la resultado de la interacción de la mayoría de las reglas físicas más importantes de nuestro universo. Su composición -de qué está hecha- es especialmente compleja. Las cuerdas reales están compuestas por una forma estadísticamente improbable de enlaces de cadena larga, que a su vez dependen de las propiedades bastante improbables que surgen de entidades multipartículas altamente complejas llamadas átomos.

Entonces, ¿cómo maneja la teoría de las cuerdas todo esto? ¿De qué están hechas las cuerdas de la teoría de cuerdas, y qué tiene esta sustancia que hace que las teorías de cuerdas sean sencillas en comparación con las complejidades emergentes y no evidentes necesarias para producir vibraciones similares a las de las cuerdas reales, basadas en la materia?


Adenda 2012-12-28 (todo nuevo a partir de 2012-12-29):

OK, estoy tratando de volver a mi pregunta original después de algunas quejas aptas de que mi adenda de ayer la había transformado en una pregunta completamente nueva. Pero no quiero echar por tierra las magníficas respuestas que produjo el apéndice, así que estoy tratando de caminar por el filo de la navaja creando un apéndice completamente nuevo que espero que amplíe la intención de mi pregunta sin cambiarla de manera fundamental. Aquí va:

La respuesta más sencilla a mi pregunta es que las cuerdas son puras abstracciones matemáticas, por lo que no necesitan más explicación. Todas las respuestas iniciales eran variantes de esa respuesta. La verdad es que no esperaba que eso ocurriera.

Aunque estas respuestas son sinceras y ciertamente bien intencionadas, sospecho que la mayoría de las personas que lean mi pregunta original las encontrarán un poco decepcionantes y, casi con toda seguridad, no muy perspicaces. Esperarán más, y he aquí el motivo.

Mientras que la mayor parte de la física matemática moderna se deriva de las analogías materiales, las primeras analogías ondulatorias tendían a situar las ondas dentro de medios homogéneos e isótropos "parecidos al agua" o "parecidos al aire", por ejemplo, el éter de finales del siglo XIX.

Con el tiempo y con no poca perspicacia, estas primeras analogías se transformaron en conjuntos de ecuaciones que eliminaron cada vez más la necesidad de las analogías de los medios físicos. La historia de las ecuaciones de Maxwell y luego de la RS es un magnífico ejemplo. Ese demuestra muy bien el notable progreso de las teorías físicas asociadas fuera de utilizar medios físicos, y hacia construcciones matemáticas más universales. En esos casos entiendo inmediatamente por qué los resultados se consideran "fundamentales". Al fin y al cabo, empezaron con analogías torpes de la ciencia material y, con el tiempo, consiguieron despojarse de las analogías molestas, dejándonos pequeñas y brillantes pepitas de matemática pura que, a día de hoy, son preciosas de contemplar.

Ahora, en el caso más reciente de la teoría de cuerdas, aquí es donde creo que está el problema para la mayoría de nosotros que no estamos inmersos en ella a diario: La propia palabra "cuerda" invoca la imagen de una entidad vibratoria que es mucho más complicada y específica que un medio ondulatorio isotrópico. Por un lado, la palabra cuerda invoca (quizá incorrectamente) la imagen de un objeto localizado en el espacio. Es decir, las vibraciones no se producen en un campo isótropo situado en el espacio, sino en un entidad situado en alguna región muy concreta del espacio. Las cuerdas de la teoría de cuerdas también parecen poseer un conjunto bastante complicado y ciertamente no trivial de propiedades similares a los materiales, como la longitud, la rigidez, la tensión y estoy seguro de que otras (por ejemplo, algún análogo del momento angular).

Así que, de nuevo tratando de mantener mi pregunta original:

¿Puede alguien explicar de qué está hecha una cuerda en la teoría de cuerdas de forma que se entienda por qué se eligió un "medio de vibración" tan inusualmente parecido a un objeto como base para construir toda la matemática circundante de la teoría de cuerdas?

A partir de un excelente comentario (¡ya sabes quién eres!), puedo incluso dar un ejemplo del tipo de respuesta que esperaba. Parafraseando, el comentario era el siguiente:

"Las cuerdas vibran de forma que recuerdan inmediatamente a los osciladores armónicos que han resultado tan útiles analíticamente en la teoría ondulatoria y cuántica".

¡Ahora me gusta mucho ese estilo de respuesta! Por un lado, cualquiera que haya leído la sección de Feynman sobre tales osciladores en sus conferencias captará inmediatamente la idea. Basándome en eso, mi propia comprensión de los orígenes de las cuerdas ha cambiado a algo mucho más específico y "conectable" a la física histórica, que es esto:

En la historia de la física se ha demostrado repetidamente que hacer que los diapasones sean cada vez más pequeños proporciona un método analítico excepcionalmente potente para analizar cómo se propagan e interactúan diversos tipos de vibraciones. Así que, ¿por qué no llevar esta idea hasta el límite lógico y convertir el propio espacio en lo que equivale a un enorme campo de osciladores armónicos muy pequeños, similares a los diapasones?

Ahora que Al menos puedo entender como un argumento de por qué las cuerdas "resonaron" bien con muchos físicos como un enfoque interesante para unificar la física.


Adenda 2018-03-28: La respuesta (¡no es broma!)

Este año, por primera vez, presenté un ensayo, Fundamental como menor número de bits a la Concurso anual de ensayos sobre las preguntas fundacionales del FQXi . En el ensayo propongo que Complejidad de Kolmogorov proporciona una forma más automatizada y menos humana de aplicar La navaja de Occam a las teorías de la física, literalmente tratando de encontrar la representación de menos bits del sentido de Kolmogorov de la compresión de datos tipo programa. (Mi agradecimiento a Garrett Lisi por notar la conexión con la Navaja de Occam; no había pensado en mi ensayo de esa manera).

El concurso, que este año se prolonga hasta el 1 de mayo de 2018, resultó ser mucho más interesante e interactivo de lo que había previsto. Mientras miraba otros ensayos, me sumergí en los detalles de cómo se originó la teoría de cuerdas. Me sorprendió descubrir que el concepto tiene unos datos experimentales muy sólidos detrás... a escala $10^{20}$ ¡veces mayor que la que se describe ahora!

Resulta que la teoría de cuerdas se originó en algunas investigaciones experimentales muy interesantes de los años 60 y 70 sobre hadrones . Un hadrón es cualquier partícula compuesta por quarks e incluye tanto a los dos quarks bosónico mesones y de tres quarks fermiónica bariones como protones , neutrones y los más exóticos $\Lambda$ partículas . Al estar compuestos por quarks, todos los hadrones están, por supuesto, unidos por el fuerza poderosa y ahí está la respuesta real y experimentalmente significativa a la pregunta de de qué están compuestas las cuerdas:

Todas las cuerdas reales y experimentalmente significativas están compuestas por la fuerza fuerte.

Parece que la mayoría de los hadrones (quizás todos) tienen estados excitados en los que su gira se incrementan en incrementos de 2. Por ejemplo, tanto el protón como el neutrón tienen normalmente un espín de $\frac{1}{2}$ pero ambos tienen también estados de espines superiores, por ejemplo $\frac{5}{2}=\frac{1}{2}+2$ y $\frac{9}{2}=\frac{1}{2}+4$ .

Estos estados de mayor espín también tienen mayores masas. Sorprendentemente, cuando se representan todos los estados posibles en un gráfico de espín versus masa al cuadrado, el resultado es un hermoso conjunto de líneas rectas con un espacio uniforme entre las adiciones de 2 espines. Estas hermosas e inesperadas líneas se denominan Trayectorias de Regge y son los verdaderos orígenes de la teoría de cuerdas.

Los análisis teóricos de estas notables regularidades podrían explicarse asumiendo que son los modos de vibración estacionarios de una cuerda. De hecho, si se piensa en cómo una cuerda de saltar puede tener uno, dos o incluso más bucles cuando es manejada por un experto, no se está muy lejos de la realidad. En aquel momento se esperaba que estos notables modelos de vibración similares a los de las cuerdas pudieran conducir a una comprensión más profunda de las partículas fundamentales y de las compuestas. Sin embargo, cromodinámica cuántica (QCD) comenzaron a dominar, mientras que las trayectorias Regge seguían planteando problemas teóricos. Parecía el fin de las cuerdas a nivel hadrónico y de las vibraciones de las cuerdas, a pesar de las regularidades realmente notables y aún inexplicables que se observaban en las trayectorias Regge.

Entonces ocurrió algo muy extraño, un acontecimiento que a mi modo de ver fue uno de los menos racionales y más extraños de toda la historia de la física. Lo llamo el Inmersión profunda . Tiene características que yo asociaría más típicamente con la antigua y fascinante historia de la revelación religiosa y la fundación de nuevas religiones que con el análisis científico.

Aunque no fueron los únicos implicados, en 1974 los físicos Scherk y Schwarz escribieron un artículo de aspecto convencional, Modelos duales para los no-hadrones con una conclusión muy poco convencional escondida en su interior. La conclusión era la siguiente: Debido a que los incrementos de dos espines de las cadenas de hadrones tenían varias semejanzas matemáticas con las propiedades propuestas del espín-2 gravitones (las todavía hipotéticas partículas cuantizadas de la gravedad), eran de alguna manera una misma cosa Por lo tanto, el concepto de vibraciones de las cuerdas debería salir de los hadrones y entrar en el dominio de la gravedad cuántica.

Este enorme salto de fe fue el origen de lo que hoy llamamos "teoría de las cuerdas".

Por supuesto, había un problema "minúsculo", en el sentido más literal de la palabra: este salto abrupto desde modos de vibración similares a las cuerdas, muy reales y experimentalmente significativos, en los hadrones, a los gravitones, hizo que las escalas de tamaño necesarias descendieran hasta un nivel experimentalmente inaccesible Espuma de Planck nivel. Se trata de un descenso de unos 20 órdenes de magnitud, con un aumento comparable de los niveles de energía necesarios para acceder a las vibraciones propuestas. Peor aún, todas las severas restricciones en los modos de vibración impuestas por las "arquitecturas" hadrónicas fueron eliminadas instantáneamente por este descenso propuesto, permitiendo que el número de modos de vibración de las cuerdas ahora abstractas compuestas por una sustancia ahora abstracta (¿tal vez masa-energía?) explotara en al menos $10^{500}$ posibles estados de vacío .

Exploro todo esto un poco más -en realidad hmm, menos de lo que acabo de hacer aquí- en un mini-ensayo adjunto a la discusión de mi ensayo en FQXi. En ese mini-ensayo sostengo que Es hora de volver a la verdadera teoría de las cuerdas . Es decir, sigue habiendo hasta hoy un rompecabezas de datos muy real y extraordinariamente interesante en la propia existencia de las trayectorias Regge. Se trata de un misterio que aún está por resolver. Estos datos son otro ejemplo de cómo el espín es un concepto extraordinariamente profundo y fundamental, uno para el que la física todavía parece carecer de alguna pieza o piezas críticas.

En cuanto a la pregunta "¿De qué están hechas las cuerdas en la teoría de cuerdas?", la respuesta no puede ser más clara: En las cuerdas reales, experimentalmente significativas, encontradas en la investigación de hadrones en los años 60 y 70, son una función de la fuerza fuerte, restringida de forma interesante y limitante por los quarks que permiten que exista una topología de cuerdas en primer lugar. Todo esto es una física muy real y muy significativa.

Para las cuerdas del nivel de Planck que se propusieron esencialmente por revelación, es decir, por un salto de fe desde la física experimentalmente significativa hasta el nivel inaccesible de la espuma de Planck, basándose en nada más que un parecido matemático superficial, y con el abandono total de cualquiera de las restricciones estrictas originales tanto de la sustancia (la fuerza fuerte) como de los modos de vibración (las "topologías" de los mesones y bariones), el epistemológico La naturaleza de la inmersión profunda me permite ahora también dar una respuesta más precisa y coherente desde el punto de vista lógico: La sustancia de la que están compuestas las cuerdas del nivel de Planck es exactamente la misma que la sustancia que utilizan los ángeles para atarse unos a otros mientras bailan en la cabeza de un alfiler.

Si cree que es una comparación injusta para una discusión científica, no hay problema: sólo diga exactamente qué experimento científico debería realizarse para demostrar que las cuerdas a escala de Planck son no compuesto por la misma sustancia que utilizan los ángeles para atarse unos a otros mientras bailan sobre la cabeza de un alfiler.

Si la teoría de cuerdas es realmente ciencia, y si el medio billón de dólares de fondos de investigación de importancia crítica que se ha gastado en ella durante cuatro décadas no ha sido un completo despilfarro de dinero, entonces definir una prueba sencilla para demostrar que la teoría de cuerdas a nivel de Planck es algo más que una revelación religiosa no comprobable aderezada con un montón de ecuaciones no debería ser ningún problema. ¿No es así?

3voto

Weng Fai Wong Puntos 116

En resumen, la cadena es un defecto de dislocación de la estructura cristalina del vacío.

enter image description here

Esto, por cierto, explica por qué el ángulo completo aparente alrededor de una cuerda parece ser más pequeño que $2 \pi$ .

1voto

shingara Puntos 111

En la teoría de las cuerdas las cuerdas son objetos fundamentales y no pueden estar hechas de nada.

Sin embargo, las cuerdas de la teoría de cuerdas, al igual que los objetos extendidos más generales -por ejemplo, las membranas de la teoría de las branas-, pueden considerarse hechas de objetos puntuales más fundamentales.

Una imagen interesante se ofrece en Estructura puntual en las cadenas

Por último, me gustaría destacar que el D0-branas utilizado en la teoría matricial de Banks o en la de Thorn bits no son los objetos puntuales más fundamentales. Por ejemplo, creer que el universo está realmente hecho de D0-branas sería tan erróneo como cuando los teóricos de las cuerdas creían que el universo estaba realmente hecho de cuerdas.

0voto

Terry Bollinger Puntos 11535

(Tenga en cuenta que estoy intentando responder a mi propia pregunta).

En la teoría de cuerdas se ha planteado implícitamente la hipótesis, aunque no se ha demostrado rigurosamente, de que las construcciones matemáticas utilizadas para describir las vibraciones de ciertos materiales isótropos con formas geométricas simples (por ejemplo, cuerdas o anillos) son ejemplos de construcciones matemáticas tan fundamentales que aparecen en muchos niveles y circunstancias diferentes de la física. Si esta hipótesis de las cuerdas es cierta, entonces las vibraciones de las cuerdas de materiales ordinarios son un eco lejano de estas reglas matemáticas mucho más fundamentales.

Hay un precedente de esto en la física moderna. Cuando James Clerk Maxwell integró por primera vez los conocimientos de electricidad y magnetismo de su época en una única teoría unificada, no utilizó al principio ecuaciones diferenciales. En su lugar, construyó intencionadamente un modelo de célula giratoria puramente mecánico basada en generalizaciones de propiedades específicas encontradas en objetos materiales cotidianos.

No fue hasta que Maxwell utilizó su modelo mecánico para demostrar que la luz era una radiación electromagnética que se dio cuenta de que todos los comportamientos de su modelo podían expresarse utilizando 20 ecuaciones diferenciales basadas en cuaterniones con 20 variables que Oliver Heaviside más tarde se redujo a tan sólo cuatro ecuaciones vectoriales que ahora se denominan (no con toda exactitud) "Ecuaciones de Maxwell" .

La situación hipotética de la teoría de cuerdas es aproximadamente comparable. También parte de una analogía dinámica basada en los materiales, y propone de forma similar que las matemáticas que describen ese modelo dinámico son expresiones de algún modelo matemático más profundo. Sin embargo, también es cierto que lo que constituye un conjunto "fundamental" de construcciones matemáticas está mucho menos claro en la teoría de cuerdas que en el ámbito mucho más sencillo del electromagnetismo. Esto se debe, en parte, a que en la teoría de cuerdas las analogías de la ciencia de los materiales se extienden a un número mucho mayor de dimensiones, y a que la teoría de cuerdas postula modos de vibración que no son accesibles a la experimentación directa y al perfeccionamiento.

0voto

Moritz Münst Puntos 31

Se puede derivar la teoría de las cuerdas del viaje en el tiempo y $\mathrm{NP}$ -completar. El viaje en el tiempo obliga a la naturaleza a resolver problemas difíciles y, por lo que sabemos de la complejidad computacional, las cadenas son necesarias como objetos primitivos de un algoritmo eficiente para $\mathrm{NP}$ -problemas completos. Todas las interacciones punto-partícula en más de una dimensión se amortiguan exponencialmente debido al atasco.

Supongamos que la física tiene lugar en una región con CTC. (Se puede derivar algo que al menos parezca física cuántica a partir de esta suposición, pero esa es otra cuestión). Según un artículo de Aaronson y Watrous ( https://arxiv.org/abs/0808.2669 ) Los CTC pueden resolver eficazmente $\mathrm{PSPACE}$ problemas tanto en la física clásica como en la cuántica. Asumiendo que los problemas no se resuelven por arte de magia, debe haber algún algoritmo politímico que resuelva $\mathrm{PSPACE}$ problemas para que el viaje en el tiempo sea realizable.

Si limitamos nuestra atención a los problemas de viajes en el tiempo cuyos valores iniciales los hacen $\mathrm{NP}$ -completo (en lugar de $\mathrm{PSPACE}$ -completa o manifiestamente en $\mathrm{P}$ ), podemos aproximar el problema de valor inicial y el problema de evolución como problemas de satisfabilidad, presentados como CNFs.

Si suponemos que la teoría cuántica de campos (o para el caso la teoría clásica de campos en un espaciotiempo con CTCs) no tiene ningún mecanismo local de resolución de problemas difíciles. Esto probablemente requiere la suposición adicional de que $\mathrm{BPP}=\mathrm{BQP}$ para mostrar que la QFT sólo puede resolver eficientemente la misma clase de problemas que la teoría de campos clásica y mostrando que la teoría de campos tiene el mismo poder de prueba que la Resolución (véase más adelante). Entonces podemos deducir que (casi) todas las interacciones deben realizarse a través de cuerdas. El $\mathrm{BPP}$ en $\mathrm{BPP}=\mathrm{BQP}$ también nos permite utilizar un enfoque PCP en el que la tarea físicamente realista de aproximar un $\mathrm{NP}$ -completar los problemas más allá de un determinado umbral es igual de difícil.

Si observamos cualquier trozo de tiempo de un espaciotiempo de viaje en el tiempo, la evolución del tiempo (y cualquier interacción) será $\mathrm{NP}$ -duro. Esto se debe a que un cambio local, a través del viaje en el tiempo, se propagará de forma no local y no causal a otras regiones en el tramo de tiempo. Esto será cierto incluso si el problema SAT está dispuesto en una cuadrícula de 2 dimensiones. (El SAT plano es $\mathrm{NP}$ -completa: https://en.wikipedia.org/wiki/Planar_SAT ) Sólo los objetos unidimensionales serán trazables. En realidad, los objetos unidimensionales pueden tener un grosor constantemente acotado porque las CNFs de ancho de árbol acotado seguirán estando manifiestamente en $\mathrm{P}$ . Esto puede pensarse como una forma de codificar información como los modos de bosón y fermión de la cuerda. (Es probable que los datos del campo original estén codificados en los datos de las coordenadas de las cuerdas). Para los vidrios de espín surgen problemas similares de intratabilidad, sin embargo para los sistemas de viaje en el tiempo, la naturaleza debe encontrar una solución, por lo que debe haber interacciones de largo alcance.


En la complejidad de la prueba se hace una distinción importante entre Resolución y sistemas de prueba equivalentemente débiles y sistemas de prueba más fuertes como Resolución Extendida, Frege y Frege Extendido. Se ha demostrado que la resolución requiere refutaciones exponencialmente largas para algunos problemas de satisfacciones, pero se sabe que los sistemas de pruebas más fuertes, como la resolución extendida, tienen pruebas cortas cuando la resolución no las tiene.

La resolución utiliza una regla muy sencilla para razonar sobre las cláusulas.

Paso de resolución:

Dado $A \lor l$ y $\lnot l \lor B$ concluir $A \lor B$ , donde $l$ es cualquier literal (variable posiblemente negada). Por ejemplo, $(x_1 \lor \lnot x_2 \lor x_3) $ y $(\lnot x_3 \lor x_4 \lor \lnot x_5)$ implica $(x_1 \lor \lnot x_2 \lor x_4 \lor \lnot x_5)$ .

La resolución puede llevar fácilmente a un aumento del tamaño de la prueba. Esto se controla con el número máximo de literales en la cláusula, la anchura. Hay límites inferiores exponenciales en las pruebas que utilizan la resolución.

La resolución ampliada es lo mismo que la resolución, salvo que se pueden definir nuevas variables. Definir nuevas variables $w$ lo que equivale a $l_1 \land l_2$ : $$ (\lnot w \lor l_1) \land (\lnot w \lor l_2) \land (w \lor \lnot l_1 \lor \lnot l_2) $$

o que $$ w \Longleftrightarrow ( l_1 \land l_2) $$

donde $l_1, l_2$ son literales, variables que pueden ser opcionalmente negadas. Tenga en cuenta que $\lnot w \Longleftrightarrow (\lnot l_1 \lor \lnot l_2) \Longleftrightarrow \lnot l_1 \implies l_2$ para que las variables de la Resolución Ampliada sean equivalentes a las implicaciones. Como tal, es fácil pensar en las cadenas como "implicaciones" que ofrecen un equivalente continuo de las variables de Resolución Ampliada. Los grupos conectados de cadenas deben actuar en conjunto para realizar un algoritmo SAT eficiente que haga $\mathrm{P} = \mathrm{NP}$ .

i-Ciencias.com

I-Ciencias es una comunidad de estudiantes y amantes de la ciencia en la que puedes resolver tus problemas y dudas.
Puedes consultar las preguntas de otros usuarios, hacer tus propias preguntas o resolver las de los demás.

Powered by:

X