2549 artículos
Este artículo proporciona una descripción completa del retículo de subvariedades de las bisemilattices de De Morgan, identificando para cada subvariedad un conjunto finito de generadores, una caracterización de sus representaciones mediante sumas de Płonka y una descripción sintáctica de sus identidades válidas.
El artículo establece límites mejorados polinomialmente para las funciones propias del Laplaciano magnético en superficies hiperbólicas en el régimen de energía crítico y demuestra que, por debajo de este umbral, el límite de Hörmander se satura mediante estados explícitos denominados "estados zonales magnéticos", los cuales se asemejan a los armónicos zonales y equidistribuyen en toros lagrangianos.
Este artículo demuestra, mediante el cálculo de Malliavin y el criterio de Bouleau-Hirsch, que el supremo de la solución de una ecuación en derivadas parciales estocástica no lineal unidimensional admite una densidad respecto a la medida de Lebesgue, superando la dificultad de analizar el conjunto de maximización y la no degeneración de la derivada de Malliavin.
Este artículo establece un criterio de normalidad para una familia de funciones meromorfas en un dominio, demostrando que dicha familia es normal si las funciones no se anulan, sus polinomios diferenciales homogéneos no se anulan y todos los ceros de la diferencia entre dichos polinomios y una potencia de una función holomorfa tienen multiplicidad al menos .
Este artículo presenta un marco iterativo unificado para problemas de contacto sin fricción que, mediante una estrategia de aceleración de punto fijo de tipo "Crossed-Secant", logra una convergencia eficiente y libre de restricciones paramétricas al utilizar únicamente sistemas de rigidez estándar, evitando así matrices mal condicionadas.
Este artículo establece una teoría general para métodos de descenso de primer orden con direcciones restringidas a un diccionario en espacios de Banach reflexivos, introduciendo una condición geométrica basada en conjuntos normantes que garantiza la densidad y permite derivar tasas de convergencia cuantitativas y precisas para problemas variacionales, aproximación de alta dimensión y optimización estructurada.
Este artículo estudia la propiedad de los "gemelos malvados" en sumas de flores silvestres y mutantes dentro de la teoría de juegos combinatorios, demostrando que un conjunto cerrado extenso posee dicha propiedad, generalizando parcialmente la teoría de gènero de Conway a juegos partizanos y probando que calcular el resultado de estas sumas es NP-duro.
Este artículo presenta el algoritmo HyGAMP, un marco sistemático que combina aproximaciones de paso de mensajes basadas en el Teorema del Límite Central para interacciones débiles con actualizaciones estándar para interacciones fuertes en modelos gráficos, logrando implementaciones más simples y un equilibrio entre rendimiento y complejidad.
Este artículo establece que, en el límite de ruido cero para procesos de difusión de alta dimensión con deriva medible, la distribución límite débil es singular respecto a la medida de Lebesgue y su soporte está determinado exclusivamente por las soluciones de Filippov de escape instantáneo, las cuales dominan sobre las soluciones retardadas.
Este artículo introduce y analiza las propiedades de una nueva clase de matrices denominadas "balanceadas", destacando la relación directa entre su entrada principal, traza, determinantes y autovalores, lo que permite predecir sus formas cuadráticas a partir de su espectro sin necesidad de conocer sus entradas.
Este artículo introduce el método de "spanning" para analizar la solubilidad de ecuaciones de la forma y demuestra un límite inferior asintótico para la cantidad de enteros que satisfacen la ecuación para algún , abordando así aspectos del problema de la función totiente de Lehmer.
Este artículo presenta una sucesión espectral que converge a la cohomología operádica de un álgebra, construida mediante filtraciones de torres de cofibraciones, y demuestra su aplicabilidad para obtener una descripción algebraica de la sucesión espectral de Serre y calcular los grupos de homotopía racional de equivalencias de fibra.
Este artículo introduce y desarrolla el concepto de magnetización de curvas cerradas simples, aplicándolo al problema del excursionista perdido en el bosque de Bellman bajo condiciones geométricas específicas entre el excursionista y el límite del bosque.
El artículo presenta una demostración de la fórmula de multiplicidad conjeturada por Lusztig para módulos no restringidos sobre el álgebra envolvente cuantizada de tipo De Concini-Kac en una raíz -ésima de la unidad, donde es una potencia de primo impar que satisface ciertas condiciones razonables.
Este artículo construye funciones L p-ádicas acotadas para representaciones automorfas cuspidales regulares algebraicas de GL(3) que son casi ordinarias, demostrando conjeturas de Coates-Perrin-Riou y Panchishkin mediante un sistema de Euler en cohomología de Betti basado en la teoría de variedades esféricas, y proporcionando así la primera construcción de tales funciones para representaciones de "tipo general" en GL(n) con n > 2.
Este artículo estudia la restricción del índice de profundidad en emparejamientos perfectos, proporcionando una descripción combinatoria adicional y demostrando que este índice está equidistribuido con la función de rango del orden de Bruhat.
El artículo demuestra que el cociente de cualquier dominio homogéneo acotado por un grupo discreto unipotente de automorfismos es holomórficamente separable, y establece una condición necesaria (y en ciertos casos suficiente) para que dicho cociente sea un espacio de Stein.
El artículo proporciona estimaciones sobre la dimensión de Kodaira para fibraciones sobre variedades abelianas, presentando aplicaciones que fortalecen la subaditividad de dicha dimensión en este contexto.
Este artículo establece una dicotomía que demuestra que, si un circuito dirigido en un grafo no pasa por un vértice específico, existen sistemas iterados de funciones dirigidos por grafos (GD-IFS) cuyas atracciones asociadas a ese vértice no pueden ser representadas como atracciones de ningún sistema iterado de funciones (IFS) estándar, a diferencia del caso en que todos los circuitos pasan por dicho vértice.
Este trabajo desarrolla un marco teórico de especificaciones GSOS abstractas para lenguajes de orden superior, representando su semántica operacional mediante transformaciones dinaturales llamadas leyes GSOS de orden superior puntuadas, lo que permite demostrar resultados generales de composicionalidad aplicables a sistemas como el cálculo SKI y el cálculo lambda.