2696 artigos
Este artigo apresenta o SQInstructor, um novo esquema de assinatura que generaliza o SQIsign ao incorporar estruturas de nível na correspondência de Deuring, permitindo a construção de isogenias entre curvas elípticas supersingulares com requisitos adicionais de mapeamento e resolvendo equações de norma restritas.
Este artigo propõe uma perspectiva proof-theoretic do teorema da incompletude de Gödel, distinguindo entre derivabilidade e consequência semântica baseada em suporte, demonstrando que teorias aritméticas consistentes podem "suportar" suas próprias afirmações de consistência sem as provar, reframing assim a incompletude como uma divergência interna entre dois conceitos de consequência em vez de uma lacuna entre sintaxe e verdade modelar.
Este artigo demonstra que conceitos homotópicos fundamentais, como conjuntos e grupos de homotopia, estendem-se às categorias e categorias apresentáveis enriquecidas nelas, introduzindo "posets de homotopia" que formam torres de Postnikov e caracterizam a subcategoria das categorias completas de Postnikov como o limite das categorias .
Este artigo utiliza métodos de análise espectral local para estabelecer condições necessárias e suficientes que determinam a validade da conjectura de Kippenhahn, relacionando-a aos polinômios característicos de elementos específicos da álgebra gerada pelas matrizes em questão.
Este artigo estabelece o teorema de Reshetnyak para valores quasiregulares de uma generalização de n-variedades com geometria controlada para o espaço euclidiano, generalizando um resultado anterior de Kangasniemi e Onninen.
Este artigo propõe uma aproximação offline-online de um pré-condicionador de decomposição de subespaço para problemas de difusão elíptica com coeficientes heterogêneos, que explora a estrutura localizada de defeitos aleatórios para reduzir o custo computacional em simulações de incerteza, mantendo a robustez e eficiência.
O artigo apresenta um método de aproximação em duas fases que utiliza a função de Green clássica para decompor e resolver singularidades em problemas de Dirichlet harmônicos tridimensionais, combinando regras de quadratura de alta ordem com colocalização em uma base harmônica.
Este artigo investiga a dinâmica qualitativa das soluções suaves das equações de Euler compressíveis isotérmicas com simetria radial, estabelecendo restrições estruturais e condições para formação de singularidades em regimes supersônicos e subsônicos, e validando esses resultados teóricos por meio de simulações numéricas que revelam mecanismos de transição assimétricos.
Este artigo propõe um framework agnóstico a modelos que reformula a extrapolação como um problema de projeção sobre conjuntos viáveis definidos por funções âncora, garantindo limites rigorosos e reduções comprovadas no erro de extrapolação sem aumentar o erro no domínio de amostragem.
Este artigo demonstra que a sequência de Hofstadter de somas consecutivas omite infinitos inteiros positivos, resolvendo uma conjectura do OEIS ao estabelecer limites assintóticos para o crescimento da sequência.
O artigo apresenta um método universal para resolver o problema do centro de Poincaré em singularidades monodrômicas de campos vetoriais planos analíticos, provando a existência de um fator integrante inverso de Laurent e estabelecendo um procedimento teórico para caracterizar centros em campos vetoriais polinomiais, inclusive em famílias complexas que resistiram a outras abordagens.
Este artigo estabelece a existência, unicidade e compatibilidade de soluções muito fracas para uma equação de Schrödinger não linear cúbica com coeficientes irregulares no caso , além de apresentar experimentos numéricos que ilustram o comportamento dessas soluções.
O artigo estabelece uma relação assintótica entre os resíduos de certas séries envolvendo a função e os zeros não triviais de funções de Dirichlet, assumindo que a Hipótese de Riemann é falsa, e discute as implicações dessa relação para a validade da hipótese.
Este artigo investiga a geometria da Crivo de Eratóstenes, introduzindo os conceitos de Focais e Extremos para revelar uma simetria na distribuição dos primos e estabelecer uma ordem geométrica com uma fórmula específica para o maior resto que retorna o mesmo quociente.
O artigo demonstra que o índice local seminteiro de um ponto umbílico isolado em uma superfície convexa suave no espaço euclidiano tridimensional é estritamente menor que dois, utilizando uma técnica de "explosão totalmente real" para reduzir o problema local a um resultado global sobre a não existência de superfícies lagrangianas fechadas com um único ponto complexo.
Este artigo estuda as definições de exatidão para grupoides localmente compactos, estabelecendo a equivalência de seis noções naturais de exatidão para uma classe de grupoides étale chamada "inner amenable" e explorando a relação entre a amenabilidade do grupoide e a coincidência de suas álgebras C* completa e reduzida.
Este artigo introduz uma função de "medida de inteligência" para avaliar a qualidade de aproximações de números reais em um determinado modelo, demonstrando sua consistência com a teoria clássica de aproximação diofantina racional e levantando a questão aberta sobre a possibilidade de aproximação inteligente de qualquer número real que seja ponto de acumulação no modelo.
Este artigo apresenta uma prova da conjectura dos primos gêmeos, demonstrando que a soma das contagens de pares de primos gêmeos até cresce assintoticamente de acordo com uma fórmula específica, implicando que existem infinitos pares de primos gêmeos.
Este artigo apresenta uma prova da conjectura do conjunto fechado sob união, demonstrando que, para qualquer universo finito e comunidade induzida, existe pelo menos um elemento cuja densidade é maior ou igual a 1/2.
Este artigo propõe um problema de polinômios bivariados para matrizes reais de ordem finita, estabelecendo condições suficientes para isomorfismos em subespaços polinomiais, demonstrando a existência e unicidade de soluções através de uma relação com problemas de interpolação de Lagrange, e fornecendo fórmulas construtivas e exemplos numéricos para sua aplicação em grades cartesianas.