2549 artigos
Este artigo fornece uma descrição completa da rede de subvariedades da variedade de bisemilattices de De Morgan, identificando para cada subvariedade um conjunto finito de geradores, uma caracterização das suas representações via somas de Płonka e uma descrição sintática das suas identidades válidas.
Este artigo estabelece limites polinomialmente aprimorados para autofunções de Laplacianos magnéticos em superfícies hiperbólicas no regime de energia crítico e demonstra que, abaixo desse limite, a fronteira de Hörmander é saturada por estados explícitos denominados "estados zonais magnéticos", que se assemelham a harmônicos zonais na esfera e equidistribuem-se em toros lagrangianos no espaço de fase.
Este artigo demonstra, utilizando o cálculo de Malliavin e o critério de Bouleau-Hirsch para supremos, que o supremo da solução de uma equação diferencial parcial estocástica não linear unidimensional admite densidade em relação à medida de Lebesgue, superando desafios relacionados à análise do conjunto de maximização e à não degenerescência da derivada de Malliavin.
Este artigo estabelece um critério de normalidade para uma família de funções meromorfas, provando que tal família é normal quando as funções não se anulam, seus polinômios diferenciais homogêneos não se anulam e todas as raízes da diferença entre esses polinômios e uma potência de uma função holomorfa possuem multiplicidade mínima especificada.
Este artigo propõe um quadro iterativo unificado para problemas de contato mecânico sem atrito que, ao combinar estratégias de divisão deslocamento-força com uma aceleração de ponto fixo do tipo "Crossed-Secant", elimina a necessidade de lidar com matrizes mal condicionadas e garante uma convergência eficiente e independente dos parâmetros numéricos.
Este artigo estabelece uma teoria geral para métodos de descida de primeira ordem com direções restritas a um dicionário em espaços de Banach reflexivos, introduzindo uma condição geométrica baseada em conjuntos normantes para garantir densidade e derivando taxas de convergência quantitativas que abrangem desde taxas algébricas até convergência exponencial em problemas variacionais convexos e aproximação de alta dimensão.
Este artigo investiga a propriedade de "gêmeos malignos" em somas de jogos de teoria combinatória conhecidos como "flores selvagens" e "flores mutantes", estendendo trabalhos anteriores, generalizando parcialmente a teoria de gênero de Conway para jogos partizan e demonstrando que calcular o resultado de somas de flores mutantes é NP-difícil.
Este artigo apresenta o HyGAMP, um framework sistemático que integra aproximações de passagem de mensagens baseadas no Teorema do Limite Central para interações fracas com atualizações padrão para interações fortes em modelos gráficos, permitindo um equilíbrio ajustável entre desempenho e complexidade computacional.
Este artigo estabelece que, no limite de ruído nulo para processos de difusão de alta dimensão com deriva mensurável, a distribuição limite fraca é singular em relação à medida de Lebesgue e seu suporte é determinado exclusivamente pelas soluções de Filippov de escape instantâneo, unificando assim a teoria de limites probabilísticos, a teoria geométrica da medida e a análise de sistemas não lineares com não unicidade.
Este artigo introduz e investiga as propriedades de uma nova classe de matrizes denominadas "balanceadas", focando na relação direta entre seus termos principais, traço, determinantes e autovalores, o que permite prever suas formas quadráticas a partir do espectro sem necessidade de conhecer os elementos individuais da matriz.
Este artigo introduz o método de abrangência para analisar equações da forma e aplica-o ao problema de Lehmer, demonstrando que o número de inteiros satisfazendo para algum cresce assintoticamente de acordo com uma cota inferior específica envolvendo a função totiente de Euler.
Este artigo apresenta uma sequência espectral que converge para a cohomologia operádica de uma álgebra fixa, utilizando filtragens derivadas de torres de cofibrações, e aplica essa ferramenta para obter uma descrição puramente algébrica da sequência espectral de Serre associada à construção de Adams–Hilton e para calcular grupos de homotopia racional de equivalências de fibra.
Este artigo introduz e desenvolve o conceito de magnetização de curvas fechadas simples, aplicando-o ao problema do caminhante perdido na floresta de Bellman sob condições geométricas específicas entre o caminhante e a fronteira da floresta.
Este artigo apresenta uma prova da fórmula de multiplicidade conjecturada por Lusztig para módulos não restritos sobre a álgebra envelopante quantizada do tipo De Concini-Kac em raízes -ésimas da unidade, onde é uma potência de primo ímpar que satisfaz certas condições razoáveis.
Este artigo constrói funções L p-ádicas para representações automorfas cuspidais regulares e algébricas de GL(3) que são p-quase-ordinárias, provando conjecturas de Coates-Perrin-Riou e Panchishkin ao interpolar valores críticos e utilizando a teoria de variedades esféricas para criar um sistema de Euler de Betti, representando a primeira construção desse tipo para formas de "tipo geral" em n > 2.
Este artigo estuda a restrição do índice de profundidade aos emparelhamentos perfeitos, fornecendo uma descrição combinatória adicional e demonstrando que essa estatística é equidistribuída com a função de posto da ordem de Bruhat.
O artigo demonstra que o quociente de qualquer domínio homogêneo limitado por um grupo discreto unipotente de automorfismos é holomorficamente separável e estabelece condições necessárias e, em certos casos, suficientes para que esse quociente seja de Stein.
O artigo estabelece estimativas para a dimensão de Kodaira de fibrados sobre variedades abelianas, apresentando aplicações que fortalecem a subaditividade dessa dimensão nesse contexto.
Este artigo estabelece uma dicotomia para atratores de sistemas de funções iteradas direcionados por grafos, demonstrando que, se um circuito direcionado não passar por um vértice específico, existem condições algébricas sob as quais o atrator associado a esse vértice não pode ser representado como o atrator de nenhum sistema de funções iteradas padrão.
Este artigo desenvolve uma teoria de especificações GSOS abstratas para linguagens de ordem superior, transferindo os princípios do framework de Turi e Plotkin para esse contexto e estabelecendo um resultado geral de composicionalidade que se aplica a sistemas como o cálculo SKI e o cálculo lambda.