stringtranslate.com

Empaquetado de esferas

El empaquetamiento de esferas encuentra una aplicación práctica en el apilamiento de balas de cañón .

En geometría , un empaquetamiento de esferas es una disposición de esferas no superpuestas dentro de un espacio contenedor. Las esferas consideradas suelen ser todas de tamaño idéntico y el espacio suele ser un espacio euclidiano tridimensional . Sin embargo, los problemas de empaquetamiento de esferas se pueden generalizar para considerar esferas desiguales, espacios de otras dimensiones (donde el problema se convierte en empaquetamiento de círculos en dos dimensiones o empaquetamiento de hiperesferas en dimensiones superiores) o espacios no euclidianos como el espacio hiperbólico .

Un problema típico de empaquetamiento de esferas es encontrar una disposición en la que las esferas llenen la mayor parte posible del espacio. La proporción de espacio que llenan las esferas se denomina densidad de empaquetamiento de la disposición. Como la densidad local de un empaquetamiento en un espacio infinito puede variar según el volumen sobre el que se mide, el problema suele ser maximizar la densidad media o asintótica , medida sobre un volumen lo suficientemente grande.

Para esferas iguales en tres dimensiones, el empaquetamiento más denso utiliza aproximadamente el 74% del volumen. Un empaquetamiento aleatorio de esferas iguales generalmente tiene una densidad de alrededor del 63,5%. [1]

Clasificación y terminología

Una disposición reticular (comúnmente llamada disposición regular ) es aquella en la que los centros de las esferas forman un patrón muy simétrico que solo necesita n vectores para estar definidos de forma única (en un espacio euclidiano de n dimensiones ). Las disposiciones reticulares son periódicas. Las disposiciones en las que las esferas no forman una red (a menudo denominadas irregulares ) pueden ser periódicas, pero también aperiódicas (propiamente hablando, no periódicas ) o aleatorias . Debido a su alto grado de simetría , los empaquetamientos reticulares son más fáciles de clasificar que los no reticulares. Las redes periódicas siempre tienen densidades bien definidas.

Embalaje regular

Disposición regular de esferas iguales en un plano que cambia a una disposición irregular de esferas desiguales (burbujas).
La red HCP (izquierda) y la red FCC (derecha) son las dos disposiciones de mayor densidad más comunes.
Dos formas de apilar tres planos formados por esferas

Empaquetamiento denso

En el espacio euclidiano tridimensional, el empaquetamiento más denso de esferas iguales se logra mediante una familia de estructuras llamadas estructuras compactas . Un método para generar dicha estructura es el siguiente. Considere un plano con una disposición compacta de esferas sobre él. Llamémoslo A. Para tres esferas vecinas cualesquiera, se puede colocar una cuarta esfera encima en el hueco entre las tres esferas inferiores. Si hacemos esto para la mitad de los huecos en un segundo plano sobre el primero, creamos una nueva capa compacta. Hay dos opciones posibles para hacer esto, llamémoslas B y C. Supongamos que elegimos B. Entonces, la mitad de los huecos de B se encuentra sobre los centros de las bolas en A y la otra mitad se encuentra sobre los huecos de A que no se usaron para B. Por lo tanto, las bolas de una tercera capa se pueden colocar directamente sobre las bolas de la primera, produciendo una capa de tipo A, o sobre los huecos de la primera capa que no estaban ocupados por la segunda capa, produciendo una capa de tipo C. La combinación de capas de tipos A, B y C produce varias estructuras compactas.

Dos disposiciones simples dentro de la familia de empaquetamiento compacto corresponden a redes regulares. Una se llama empaquetamiento cúbico compacto (o cúbico centrado en las caras , "FCC"), donde las capas se alternan en la secuencia ABCABC... La otra se llama empaquetamiento hexagonal compacto ("HCP"), donde las capas se alternan en la secuencia ABAB... [ dudosodiscutir ] Pero son posibles muchas secuencias de apilamiento de capas (ABAC, ABCBA, ABCBAC, etc.), y aún así generan una estructura compacta. En todas estas disposiciones, cada esfera toca 12 esferas vecinas, [2] y la densidad promedio es

En 1611, Johannes Kepler conjeturó que esta es la máxima densidad posible entre los arreglos regulares e irregulares, lo que se conoció como la conjetura de Kepler . Carl Friedrich Gauss demostró en 1831 que estos empaquetamientos tienen la densidad más alta entre todos los empaquetamientos reticulares posibles. [3] En 1998, Thomas Callister Hales , siguiendo el enfoque sugerido por László Fejes Tóth en 1953, anunció una prueba de la conjetura de Kepler. La prueba de Hales es una prueba por agotamiento que implica la comprobación de muchos casos individuales mediante cálculos informáticos complejos. Los árbitros dijeron que estaban "99% seguros" de la exactitud de la prueba de Hales. El 10 de agosto de 2014, Hales anunció la finalización de una prueba formal utilizando la comprobación de pruebas automatizada , eliminando cualquier duda. [4]

Otros empaques de celosía comunes

En los sistemas físicos se encuentran a menudo otros empaquetamientos reticulares, entre ellos, el reticulado cúbico con una densidad de , el reticulado hexagonal con una densidad de y el reticulado tetraédrico con una densidad de . [5]

Empaques atascados con baja densidad

Los empaquetamientos en los que todas las esferas están limitadas por sus vecinas para permanecer en una posición se denominan rígidos o atascados . El empaquetamiento de esferas regular estrictamente atascado (mecánicamente estable incluso como un sistema finito) con la densidad más baja conocida es un cristal fcc diluido ("tunelizado") con una densidad de solo π 2 /9 ≈ 0,49365 . [6] El empaquetamiento atascado regular más suelto conocido tiene una densidad de aproximadamente 0,0555. [7]

Embalaje irregular

Si intentamos construir una colección densamente empaquetada de esferas, nos sentiremos tentados a colocar siempre la siguiente esfera en un hueco entre tres esferas empaquetadas. Si se ensamblan cinco esferas de esta manera, serán consistentes con una de las disposiciones empaquetadas regularmente descritas anteriormente. Sin embargo, la sexta esfera colocada de esta manera hará que la estructura sea inconsistente con cualquier disposición regular. Esto da como resultado la posibilidad de un empaquetamiento aleatorio y cerrado de esferas que es estable frente a la compresión. [8] La vibración de un empaquetamiento aleatorio suelto puede dar como resultado la disposición de partículas esféricas en empaquetamientos regulares, un proceso conocido como cristalización granular . Tales procesos dependen de la geometría del recipiente que contiene los granos esféricos. [2]

Cuando se añaden esferas al azar a un contenedor y luego se comprimen, generalmente formarán lo que se conoce como una configuración de empaquetamiento "irregular" o "atascada" cuando ya no se las pueda comprimir más. Este empaquetamiento irregular generalmente tendrá una densidad de alrededor del 64%. Investigaciones recientes predicen analíticamente que no puede superar un límite de densidad del 63,4% [9]. Esta situación es diferente del caso de una o dos dimensiones, donde comprimir una colección de esferas unidimensionales o bidimensionales (es decir, segmentos de línea o círculos) producirá un empaquetamiento regular.

Empaquetamiento de hiperesferas

El problema del empaquetamiento de esferas es la versión tridimensional de una clase de problemas de empaquetamiento de esferas en dimensiones arbitrarias. En dos dimensiones, el problema equivalente es el empaquetamiento de círculos en un plano. En una dimensión, es el empaquetamiento de segmentos de línea en un universo lineal. [10]

En dimensiones superiores a tres, los empaquetamientos reticulares más densos de hiperesferas se conocen hasta en 8 dimensiones. [11] Se sabe muy poco sobre los empaquetamientos irregulares de hiperesferas; es posible que en algunas dimensiones el empaquetamiento más denso pueda ser irregular. Parte del apoyo a esta conjetura proviene del hecho de que en ciertas dimensiones (por ejemplo, 10) el empaquetamiento irregular más denso conocido es más denso que el empaquetamiento regular más denso conocido. [12]

En 2016, Maryna Viazovska anunció una prueba de que la red E 8 proporciona el empaquetamiento óptimo (independientemente de la regularidad) en el espacio de ocho dimensiones, [13] y poco después ella y un grupo de colaboradores anunciaron una prueba similar de que la red Leech es óptima en 24 dimensiones. [14] Este resultado se basó en métodos anteriores y los mejoró, los cuales mostraban que estas dos redes están muy cerca de ser óptimas. [15] Las nuevas pruebas implican el uso de la transformada de Laplace de una función modular cuidadosamente elegida para construir una función radialmente simétrica f tal que f y su transformada de Fourier   sean ambas iguales a 1 en el origen , y ambas se anulen en todos los demás puntos de la red óptima, con f negativa fuera de la esfera central del empaquetamiento y positiva. Luego, se utiliza la fórmula de suma de Poisson para f   para comparar la densidad de la red óptima con la de cualquier otro empaquetamiento. [16] Antes de que la prueba fuera formalmente arbitrada y publicada, el matemático Peter Sarnak calificó la prueba de "increíblemente simple" y escribió que "Simplemente empiezas a leer el artículo y sabes que es correcto". [17]

Otra línea de investigación en altas dimensiones está tratando de encontrar límites asintóticos para la densidad de los empaquetamientos más densos. Se sabe que para n grande , la red más densa en dimensión n tiene densidad entre cn ⋅ 2 n (para alguna constante c ) y 2 −(0.599+o(1)) n . [18] Los límites conjeturales se encuentran en el medio. [19] En una preimpresión de 2023, Marcelo Campos, Matthew Jenssen, Marcus Michelen y Julian Sahasrabudhe mejoraron el límite inferior de la densidad máxima a , [20] [21] entre sus técnicas hacen uso del nibble de Rödl .

Empaquetamiento de esferas desigual

Un empaquetamiento denso de esferas con una relación de radio de 0,64799 y una densidad de 0,74786 [22]

Muchos problemas en las ciencias químicas y físicas pueden relacionarse con problemas de empaquetamiento en los que se dispone de más de un tamaño de esfera. En este caso, existe la posibilidad de elegir entre separar las esferas en regiones de esferas iguales y compactas o combinar los distintos tamaños de esferas en un empaquetamiento compuesto o intersticial . Cuando se dispone de muchos tamaños de esferas (o una distribución ), el problema se vuelve rápidamente insoluble, pero se dispone de algunos estudios de esferas duras binarias (dos tamaños).

Cuando la segunda esfera es mucho más pequeña que la primera, es posible disponer las esferas grandes en una disposición compacta y luego disponer las esferas pequeñas dentro de los huecos octaédricos y tetraédricos. La densidad de este empaquetamiento intersticial depende sensiblemente de la relación de radios, pero en el límite de las relaciones de tamaño extremas, las esferas más pequeñas pueden llenar los huecos con la misma densidad que las esferas más grandes llenaron el espacio. [23] Incluso si las esferas grandes no están en una disposición compacta, siempre es posible insertar algunas esferas más pequeñas de hasta 0,29099 del radio de la esfera más grande. [24]

Cuando la esfera más pequeña tiene un radio mayor que 0,41421 veces el radio de la esfera más grande, ya no es posible que encaje ni siquiera en los agujeros octaédricos de la estructura compacta. Por lo tanto, más allá de este punto, la estructura anfitriona debe expandirse para acomodar los intersticiales (lo que compromete la densidad general) o reorganizarse en una estructura compuesta cristalina más compleja. Se conocen estructuras que superan la densidad de empaquetamiento compacto para proporciones de radio de hasta 0,659786. [22] [25]

También se han obtenido límites superiores para la densidad que se pueden obtener en tales empaquetamientos binarios. [26]

En muchas situaciones químicas, como los cristales iónicos , la estequiometría está limitada por las cargas de los iones constituyentes. Esta restricción adicional en el empaquetamiento, junto con la necesidad de minimizar la energía de Coulomb de las cargas que interactúan, conduce a una diversidad de disposiciones de empaquetamiento óptimas.

El límite superior para la densidad de un empaquetamiento de esferas estrictamente atascado con cualquier conjunto de radios es 1; un ejemplo de tal empaquetamiento de esferas es el empaquetamiento de esferas apolíneo. El límite inferior para tal empaquetamiento de esferas es 0; un ejemplo es el empaquetamiento de esferas dionisíaco. [27]

Espacio hiperbólico

Aunque el concepto de círculos y esferas se puede extender al espacio hiperbólico , encontrar el empaquetamiento más denso se vuelve mucho más difícil. En un espacio hiperbólico no hay límite para el número de esferas que pueden rodear a otra esfera (por ejemplo, los círculos de Ford pueden considerarse como una disposición de círculos hiperbólicos idénticos en la que cada círculo está rodeado por un número infinito de otros círculos). El concepto de densidad media también se vuelve mucho más difícil de definir con precisión. Los empaquetamientos más densos en cualquier espacio hiperbólico son casi siempre irregulares. [28]

A pesar de esta dificultad, K. Böröczky proporciona un límite superior universal para la densidad de empaquetamientos de esferas del espacio n hiperbólico donde n  ≥ 2. [29] En tres dimensiones, el límite de Böröczky es aproximadamente 85,327613%, y se realiza mediante el empaquetamiento de la horósfera del panal tetraédrico de orden 6 con el símbolo de Schläfli {3,3,6}. [30] Además de esta configuración, se sabe que existen al menos otros tres empaquetamientos de la horósfera en el espacio 3 hiperbólico que realizan el límite superior de densidad. [31]

Tocando pares, tríos y cuartetos

El gráfico de contacto de un empaquetamiento finito arbitrario de bolas unitarias es el gráfico cuyos vértices corresponden a los elementos del empaquetamiento y cuyos dos vértices están conectados por una arista si los dos elementos del empaquetamiento correspondientes se tocan entre sí. La cardinalidad del conjunto de aristas del gráfico de contacto da el número de pares en contacto, el número de 3-ciclos en el gráfico de contacto da el número de tripletes en contacto, y el número de tetraedros en el gráfico de contacto da el número de cuádruples en contacto (en general, para un gráfico de contacto asociado con un empaquetamiento de esferas en n dimensiones, la cardinalidad del conjunto de n -símplices en el gráfico de contacto da el número de ( n  + 1)-tuplas en contacto en el empaquetamiento de esferas). En el caso del espacio euclidiano tridimensional, Karoly Bezdek y Samuel Reid en la Universidad de Calgary demostraron límites superiores no triviales para el número de pares, tripletes y cuádruples en contacto [32] .

El problema de encontrar la disposición de n esferas idénticas que maximice el número de puntos de contacto entre las esferas se conoce como el "problema de la esfera pegajosa". El máximo se conoce para n ≤ 11, y solo se conocen valores conjeturales para n mayores . [33]

Otros espacios

El empaquetamiento de esferas en las esquinas de un hipercubo (con las esferas definidas por la distancia de Hamming ) corresponde al diseño de códigos de corrección de errores : si las esferas tienen un radio t , entonces sus centros son palabras de código de un código de corrección de errores (2 t  + 1). Los empaquetamientos reticulares corresponden a códigos lineales. Existen otras relaciones más sutiles entre el empaquetamiento de esferas euclidiano y los códigos de corrección de errores. Por ejemplo, el código binario de Golay está estrechamente relacionado con la red Leech de 24 dimensiones.

Para más detalles sobre estas conexiones, véase el libro Sphere Packings, Lattices and Groups de Conway y Sloane . [34]

Véase también

Referencias

  1. ^ Wu, Yugong; Fan, Zhigang; Lu, Yuzhu (1 de mayo de 2003). "Densidades de empaquetamiento interno y a granel de empaquetamiento cerrado aleatorio de esferas duras". Revista de Ciencia de Materiales . 38 (9): 2019–2025. doi :10.1023/A:1023597707363. ISSN  1573-4803. S2CID  137583828.
  2. ^ ab Dai, Weijing; Reimann, Joerg; Hanaor, Dorian; Ferrero, Claudio; Gan, Yixiang (13 de marzo de 2019). "Modos de cristalización granular inducida por la pared en empaquetamiento vibracional". Materia Granular . 21 (2): 26. arXiv : 1805.07865 . doi :10.1007/s10035-019-0876-8. ISSN  1434-7636. S2CID  254106945.
  3. ^ Gauss, CF (1831). " Besprechung des Buchs von LA Seeber: Untersuchungen über die Eigenschaften der positivn ternären quadratischen Formen usw" [Discusión del libro de LA Seeber: Estudios sobre las características de las formas cuadráticas ternarias positivas, etc.]. Göttingsche Gelehrte Anzeigen .
  4. ^ "Almacenamiento a largo plazo para el alojamiento de proyectos de Google Code". Archivo de Google Code .
  5. ^ "Wolfram Math World, Empaquetado de esferas".
  6. ^ Torquato, S. ; Stillinger, FH (2007). "Hacia el umbral de interferencia de los empaquetamientos esféricos: cristales tunelizados". Journal of Applied Physics . 102 (9): 093511–093511–8. arXiv : 0707.4263 . Código Bibliográfico :2007JAP...102i3511T. doi :10.1063/1.2802184. S2CID  5704550.
  7. ^ "Wolfram Math World, Empaquetado de esferas".
  8. ^ Chaikin, Paul (junio de 2007). "Pensamientos aleatorios". Physics Today . 60 (6). Instituto Americano de Física: 8. Bibcode :2007PhT....60f...8C. doi :10.1063/1.2754580. ISSN  0031-9228.
  9. ^ Song, C.; Wang, P.; Makse, HA (29 de mayo de 2008). "Un diagrama de fases para materia atascada". Nature . 453 (7195): 629–632. arXiv : 0808.2196 . Bibcode :2008Natur.453..629S. doi :10.1038/nature06981. PMID  18509438. S2CID  4420652.
  10. ^ Griffith, JS (1962). "Empaquetamiento de esferas 0 iguales". Nature . 196 (4856): 764–765. Código Bibliográfico :1962Natur.196..764G. doi :10.1038/196764a0. S2CID  4262056.
  11. ^ Weisstein, Eric W. "Empaquetado de hiperesferas". MathWorld .
  12. ^ Sloane, NJA (1998). "El problema del empaquetamiento de esferas". Documenta Mathematica . 3 : 387–396. arXiv : math/0207256 . Código Bibliográfico :2002math......7256S.
  13. ^ Viazovska, Maryna (1 de enero de 2017). "El problema del empaquetamiento de esferas en dimensión 8". Anales de Matemáticas . 185 (3): 991–1015. arXiv : 1603.04246 . doi :10.4007/annals.2017.185.3.7. ISSN  0003-486X. S2CID  119286185.
  14. ^ Cohn, Henry; Kumar, Abhinav; Miller, Stephen; Radchenko, Danylo; Viazovska, Maryna (1 de enero de 2017). "El problema del empaquetamiento de esferas en dimensión 24". Anales de Matemáticas . 185 (3): 1017–1033. arXiv : 1603.06518 . doi :10.4007/annals.2017.185.3.8. ISSN  0003-486X. S2CID  119281758.
  15. ^ Cohn, Henry; Kumar, Abhinav (2009), "Optimalidad y unicidad de la red Leech entre redes", Anales de Matemáticas , 170 (3): 1003–1050, arXiv : math.MG/0403263 , doi :10.4007/annals.2009.170.1003, ISSN  1939-8980, MR  2600869, S2CID  10696627, Zbl  1213.11144 Cohn, Henry; Kumar, Abhinav (2004), "La red más densa en veinticuatro dimensiones", Anuncios electrónicos de investigación de la American Mathematical Society , 10 (7): 58–67, arXiv : math.MG/0408174 , Bibcode :2004math......8174C, doi :10.1090/S1079-6762-04-00130-1, ISSN  1079-6762, MR  2075897, S2CID  15874595
  16. ^ Miller, Stephen D. (4 de abril de 2016), La solución al problema del empaquetamiento de esferas en 24 dimensiones mediante formas modulares, Institute for Advanced Study , archivado desde el original el 21 de diciembre de 2021Vídeo de una charla de una hora de duración realizada por uno de los coautores de Viazovska explicando las nuevas pruebas.
  17. ^ Klarreich, Erica (30 de marzo de 2016), "El empaquetamiento de esferas resuelto en dimensiones superiores", Quanta Magazine
  18. ^ Cohn, Henry (2017), "Un avance conceptual en el empaquetamiento de esferas" (PDF) , Avisos de la American Mathematical Society , 64 (2): 102–115, arXiv : 1611.01685 , doi :10.1090/noti1474, ISSN  0002-9920, MR  3587715, S2CID  16124591
  19. ^ Torquato, S.; Stillinger, FH (2006), "Nuevos límites inferiores conjeturales sobre la densidad óptima de empaquetamientos de esferas", Experimental Mathematics , 15 (3): 307–331, arXiv : math/0508381 , doi :10.1080/10586458.2006.10128964, MR  2264469, S2CID  9921359
  20. ^ Campos, Marcelo; Jenssen, Matthew; Michelen, Marcus; Sahasrabudhe, Julian (2023). "Un nuevo límite inferior para el empaquetamiento de esferas". arXiv : 2312.10026 [math.MG].
  21. ^ Houston-Edwards, Kelsey (30 de abril de 2024). "Para compactar esferas, los matemáticos las lanzan al azar". Quanta Magazine . Consultado el 30 de abril de 2024 .
  22. ^ ab O'Toole, PI; Hudson, TS (2011). "Nuevos empaquetamientos de alta densidad de esferas binarias de tamaño similar". The Journal of Physical Chemistry C . 115 (39): 19037. doi :10.1021/jp206115p.
  23. ^ Hudson, DR (1949). "Densidad y empaquetamiento en un agregado de esferas mixtas". Revista de Física Aplicada . 20 (2): 154–162. Código Bibliográfico :1949JAP....20..154H. doi :10.1063/1.1698327.
  24. ^ Zong, C. (2002). "De agujeros profundos a planos libres". Boletín de la Sociedad Matemática Americana . 39 (4): 533–555. doi : 10.1090/S0273-0979-02-00950-3 .
  25. ^ Marshall, GW; Hudson, TS (2010). "Empaquetamientos esféricos binarios densos". Contribuciones al álgebra y la geometría . 51 (2): 337–344.
  26. ^ de Laat, David; de Oliveira Filho, Fernando Mário; Vallentin, Frank (12 de junio de 2012). "Límites superiores para empaquetaduras de esferas de varios radios". Foro de Matemáticas, Sigma . 2 . arXiv : 1206.2608 . doi :10.1017/fms.2014.24. S2CID  11082628.
  27. ^ Dennis, Robert; Corwin, Eric (2 de septiembre de 2021). "Los empaquetamientos de esferas duras dionisíacas son mecánicamente estables a densidades extremadamente bajas". Physical Review . 128 (1): 018002. arXiv : 2006.11415 . doi :10.1103/PhysRevLett.128.018002.
  28. ^ Bowen, L.; Radin, C. (2002). "Empaquetamiento más denso de esferas iguales en el espacio hiperbólico". Geometría discreta y computacional . 29 : 23–39. doi : 10.1007/s00454-002-2791-7 .
  29. ^ Böröczky, K. (1978). "Embalaje de esferas en espacios de curvatura constante". Acta Mathematica Academiae Scientiarum Hungaricae . 32 (3–4): 243–261. doi :10.1007/BF01902361. S2CID  122561092.
  30. ^ Böröczky, K.; Florián, A. (1964). "Über die dichteste Kugelpackung im hyperbolischen Raum". Acta Mathematica Academiae Scientiarum Hungaricae . 15 (1–2): 237–245. doi :10.1007/BF01897041. S2CID  122081239.
  31. ^ Kozma, RT; Szirmai, J. (2012). "Empaquetamientos óptimamente densos para teselados de Coxeter completamente asintóticos mediante horobolas de diferentes tipos". Revista de Matemáticas . 168 : 27–47. arXiv : 1007.0722 . doi :10.1007/s00605-012-0393-x. S2CID  119713174.
  32. ^ Bezdek, Karoly; Reid, Samuel (2013). "Gráficos de contacto de empaquetamientos de esferas revisados". Journal of Geometry . 104 (1): 57–83. arXiv : 1210.5756 . doi :10.1007/s00022-013-0156-4. S2CID  14428585.
  33. ^ "La ciencia de las esferas pegajosas". American Scientist . 6 de febrero de 2017 . Consultado el 14 de julio de 2020 .
  34. ^ Conway, John H. ; Sloane, Neil JA (1998). Empaquetamientos de esferas, redes y grupos (3.ª ed.). Springer Science & Business Media. ISBN 0-387-98585-9.

Bibliografía

Enlaces externos

Una descripción general no técnica del empaquetamiento en el espacio hiperbólico.