5522 artículos
Este artículo demuestra que la satisfacibilidad de una única ecuación diofántica cúbica sobre los números naturales es -completa e indecidible, mediante un compilador primitivo recursivo mecanizado en Rocq que traduce la demostrabilidad en a la solvabilidad de un sistema de restricciones cúbicas, el cual se reduce finalmente a una única ecuación universal explícita.
Este artículo propone un marco de planificación de capacidad basado en datos que utiliza un modelo de colas con tasas de llegada y distribuciones de estancia variables en el tiempo para superar las limitaciones de las reglas estáticas y mejorar la precisión en la estimación de la ocupación de camas en unidades de cuidados intensivos neonatales.
Este artículo establece la existencia de ondas viajeras no monótonas y, por primera vez, de ondas de tipo frente-pulso en el sistema de competencia débil de Lotka-Volterra, utilizando el teorema del punto fijo de Schauder y soluciones superiores e inferiores refinadas.
Este artículo caracteriza las extensiones divididas con sección fuerte en la variedad de anillos (hoops) y sus subvariedades mediante acciones externas fuertes, estableciendo una conexión con el producto semidirecto en L-álgebras y motivado por ejemplos como la doble negación en BL-álgebras.
Este artículo define una compactificación del espacio de parámetros para la multiplicación cuántica en variedades hipertóricas, siguiendo el trabajo de deConcini y Gaiffi, y demuestra cómo extender dicha operación a este espacio compactificado.
Este artículo propone un método multietapa eficiente y de bajo consumo de memoria, basado en el algoritmo pTOAR, para calcular con alta precisión los multiplicadores de Floquet y sus subespacios en sistemas dinámicos a gran escala, demostrando teórica y numéricamente que los autovalores parásitos introducidos convergen a cero sin afectar los resultados.
Este artículo introduce una deformación intrínseca del álgebra de funciones suaves en una variedad riemanniana compacta mediante un giro de las fases espectrales del Laplaciano, estableciendo condiciones para su extensión a álgebras de Sobolev y demostrando que las deformaciones estrictas clásicas derivadas de acciones de grupos abelianos locales son casos particulares de este marco unificado.
Este artículo estudia la convergencia Mosco de las energías de Cheeger en espacios que satisfacen condiciones de dimensión de curvatura y que convergen en el sentido de Gromov-Hausdorff, utilizando un enfoque lagrangiano para establecer la continuidad de los autovalores de Neumann y analizar funciones de variación acotada.
Este artículo extiende el enfoque probabilístico para construir métricas de Kähler-Einstein en variedades log Fano con grupos de automorfismos no discretos mediante la ruptura de simetría, introduciendo el concepto de poliestabilidad de Gibbs y conjeturando su equivalencia con la existencia de dichas métricas, mientras se demuestran resultados clave en curvas y se derivan nuevas desigualdades de Hardy-Littlewood-Sobolev.
Este artículo introduce y estudia las sobredistribuciones separadas por bloques, demostrando que su estructura combinatoria está gobernada por números de Fibonacci, lo que permite obtener representaciones algebraicas y recursivas de su función generadora, así como determinar su crecimiento asintótico, el cual comparte la misma escala exponencial que las particiones ordinarias.
Este artículo caracteriza la transición inducida por la deriva en los canales de posición de primera llegada, identificando una distancia de propagación característica que separa el régimen de difusión de cola pesada (distribución de Cauchy) del régimen regularizado de decaimiento exponencial, y demuestra que las aproximaciones gaussianas subestiman severamente el potencial de comunicación en entornos de baja deriva.
El artículo demuestra que los límites de secuencias de aplicaciones suaves entre variedades riemannianas compactas con energía de Sobolev equi-integrable pueden aproximarse fuertemente por aplicaciones suaves, extendiendo así un resultado de densidad de Hang a espacios con y a espacios de orden superior.
Este artículo introduce el concepto de conjunto alcanzable dependiente para un escenario de persecución con estrategia de rumbo constante, presentando resultados teóricos sobre sus límites geométricos, un problema de optimización original y simulaciones que validan empíricamente la forma de dicho conjunto.
Este artículo presenta una extensión de los métodos FHBVM para resolver ecuaciones diferenciales fraccionarias de orden múltiple, donde coexisten diferentes órdenes de derivadas, y pone a disposición un código en Matlab que demuestra la eficacia de este nuevo enfoque.
Este artículo investiga la existencia y el comportamiento asintótico de soluciones de ruptura positivas para una ecuación elíptica de tipo MEMS con términos de tipo Hénon y presión externa, demostrando la existencia de soluciones radiales y no radiales y obteniendo una expansión asintótica completa de orden arbitrario cerca del origen.
El artículo demuestra que, en sistemas cuánticos de dimensión finita con dinámicas de colapso que preservan la información, la irreversibilidad operacional a lo largo de una única rama de resultados es imposible, ya que existen subconjuntos invariantes donde cualquier par de estados puede conectarse con precisión arbitraria y un coste energético despreciable.
El artículo establece una estimación de orden constante para la función de dos puntos crítica restringida a un semiespacio en la percolación de Bernoulli en dimensiones superiores a seis, completando resultados previos y resolviendo una pregunta abierta de Hutchcroft, Michta y Slade.
El artículo establece una cota superior para el área mínima de una varifold integral estacionaria bidimensional en una variedad de Einstein cerrada de cuatro dimensiones, demostrando que dicha cota depende únicamente del volumen, el diámetro y constantes de regularidad de la métrica.
El artículo demuestra que una amplia clase de categorías monoidales no abelianas puede realizarse como subcategorías de objetos tilting en categorías abelianas con estructura de peso máximo, mediante una dualidad de Ringel semi-infinita monoidal que también induce estructuras monoidales en categorías de representaciones de álgebras de Lie afines a niveles positivos.
Este artículo demuestra que las dos estructuras de álgebra de Hopf asociadas a los valores zeta múltiples (la de cuasi-entrelazado y la de entrelazado) son isomorfas mediante el uso de funciones cuasi-simétricas, estableciendo una comparación con el isomorfismo clásico de Hoffman, Newman y Radford.