7316 artigos
Este artigo introduz as lógicas modais construtivas e , demonstrando que ambas são completas em EXPTIME e possuem a propriedade de modelo finito exponencial, o que resolve a conjectura de Afshari et al. para seu fragmento sem diamante e permite a incorporação das lógicas e com complexidade de validade em EXPTIME.
Este artigo estabelece fórmulas explícitas para os invariantes de Iwasawa em extensões cíclicas de de corpos numéricos multi-quadráticos, utilizando unidades de Hasse e ramificações, e deriva, sob a conjectura de Greenberg, um critério para determinar a paridade do número de classes nesses corpos.
Este artigo introduz a família de medidas de curvatura dual -afim, analisa seus casos limite que recuperam medidas clássicas como a medida de volume cônica, e investiga o problema de Minkowski associado a essas medidas, estabelecendo condições de existência e unicidade para soluções, especialmente no caso par e suave.
Este artigo estabelece novas e mais precisas limites de Berry-Esseen para a estimação de parâmetros de processos gaussianos observados em alta frequência, utilizando o estimador do segundo momento e técnicas inovadoras de cumulantes para demonstrar taxas de convergência superiores às da literatura existente.
Este artigo estabelece condições necessárias e suficientes para que núcleos de reprodução invariantes sob em domínios de Cartan possuam a propriedade de Nevanlinna-Pick completa, generalizando o Lema de Kaluza e caracterizando essa propriedade através da extensão da função característica da teoria de Sz.-Nagy--Foias para contrações -comutantes.
Este trabalho resolve um problema aberto ao utilizar o princípio de superposição para construir um processo de Markov forte (um processo à direita) associado a equações de Fokker-Planck não lineares sob condições gerais de mensurabilidade, permitindo a obtenção de soluções de fluxo fundamental, a prova de resultados de bem-postura para o problema de Dirichlet parabólico e a introdução de uma capacidade de Choquet, com aplicações específicas na equação de meio poroso generalizada e em equações diferenciais estocásticas de McKean-Vlasov.
Este artigo investiga problemas de otimização com restrições de desigualdades variacionais paramétricas em conjuntos móveis, demonstrando a continuidade Lipschitz da solução e a regularidade métrica automática, e propondo um Algoritmo de Gradiente Implícito Suavizado (SIGA) que converge para pontos estacionários e é validado empiricamente em gestão de carteiras.
O artigo demonstra que, ao contrário das funções convexas, as funções quasiconvexas lipschitzianas definidas em conjuntos convexos fechados de dimensão finita geralmente não admitem extensões lipschitzianas, mas que a existência de extensões contínuas ou uniformemente contínuas é caracterizada por propriedades geométricas específicas do conjunto.
Este artigo investiga as condições que induzem estruturas planares em desenhos de grafos completos, demonstrando que muitas curvas disjuntas são inevitáveis sob regras específicas de cruzamento, enquanto também apresenta uma configuração onde nenhuma curva é disjunta e caracterizando as estruturas planares garantidas por cada regra.
Este artigo propõe um sistema de armazenamento de imagens em DNA que utiliza amostragem adaptativa em sequenciadores Nanopore para permitir o acesso aleatório a diferentes camadas de resolução de imagens codificadas no formato JPEG2000, reduzindo assim os custos de leitura ao sequenciar apenas os oligos necessários para a qualidade desejada.
Este artigo demonstra a validade de uma contraparte do limite de Newman relacionada à conjectura de Chui para gradientes de potencial de Coulomb gerados por cargas positivas arbitrárias na fronteira de uma bola unitária, prova que esse limite é preciso no caso bidimensional e discute um problema relacionado com cargas distribuídas no disco unitário.
Este artigo apresenta métodos para calcular exatamente o Gráfico Relativo Escalonado (SRG) de sistemas LTI discretos, tanto a partir de sua representação em espaço de estados quanto exclusivamente de dados de entrada-saída, incluindo uma versão robusta capaz de lidar com dados ruidosos.
Este artigo propõe um método numérico eficaz para estimar o parâmetro de deriva em um modelo de movimento browniano fracionário duplo misto, reformulando a equação do estimador de máxima verossimilhança como uma equação integral de Fredholm com núcleo fracamente singular para viabilizar seu cálculo prático.
Este artigo estabelece estimativas universais para os autovalores de sistemas acoplados de equações diferenciais elípticas de segunda e quarta ordem em forma de divergência, incluindo operadores como o de Lamé, Laplaciano e bi-Laplaciano, e aplica esses resultados para determinar o intervalo entre autovalores consecutivos e limites superiores para cada um.
Este artigo demonstra que o ultralimite de sequências limitadas de mapas Lipschitz se estende naturalmente a sequências -limitadas de mapas de Sobolev, permitindo provar a estabilidade das funções de Dehn sob ultraconvergência de espaços de comprimento pontuados e oferecendo uma prova simplificada de um resultado recente de Stadler e Wenger sobre espaços de curvatura limitada superiormente.
O artigo demonstra que, em grafos pseudorrandos com parâmetros adequados, o tempo de chegada de um ciclo Hamiltoniano coincide com o tempo de atingir o grau mínimo 2, resolvendo questões abertas de Alon, Krivelevich e Frieze e estabelecendo o limiar agudo para a existência de ciclos Hamiltonianos e conjuntos de ciclos Hamiltonianos disjuntos.
Este artigo demonstra que um algoritmo de reticulado baseado na mediana, que agrega múltiplas regras de amostragem com vetores geradores aleatórios, alcança taxas de aproximação quase ótimas em espaços de Korobov ponderados para funções periódicas multivariadas em normas , com limites de erro de alta probabilidade que são independentes da dimensão sob condições adequadas de somabilidade dos pesos.
Este artigo estabelece um teorema de Hirzebruch-Riemann-Roch combinatório para fibrados vetoriais tropicais em variedades toricas, estende a resolução de Klyachko para o contexto tropical e resolve positivamente uma questão de Kaveh-Manon sobre a igualdade entre a característica de Euler e o posto das seções globais para o fibrado tautológico de um matroide.
Este artigo estabelece estimativas de regularidade global em espaços de Besov para soluções fracas do problema de Dirichlet associado a uma classe de operadores fracionários -Laplacianos definidos através do gradiente fracionário de Riesz, utilizando uma combinação de espaços de Lions-Calderón, imersões de Besov e uma adaptação do método das diferenças finitas de Nirenberg.
Neste artigo, os autores utilizam a bijeção de movimento de partículas para estabelecer identidades de séries do tipo Andrews–Gordon com restrições de paridade, generalizando trabalhos anteriores e fornecendo uma prova simples de uma identidade recente relacionada às álgebras de Ariki–Koike.