2566 artigos
Este artigo investiga iterações de consistência e reflexão local e uniforme sobre a Aritmética Intuicionista (HA), apresentando uma nova prova da extensão de Dragalin do teorema da completude de Feferman para HA, baseada na demonstração clássica de Rathjen.
Este artigo estuda a agregação limitada por difusão interna unidimensional com passos de longo alcance, demonstrando que, para variâncias finitas, o aglomerado forma essencialmente um bloco contíguo e simétrico, enquanto, no domínio de atração de leis estáveis com índice $1 < \alpha < 2$, o aglomerado contém apenas uma fração proporcional de sítios contíguos.
Este artigo investiga as propriedades analíticas de uma série de Dirichlet envolvendo coeficientes de Fourier-Jacobi de formas cuspidais para grupos ortogonais, estabelecendo uma representação integral via séries de Eisenstein, deduzindo sua continuação meromorfa e, no caso da rede , obtendo uma equação funcional precisa.
Este artigo calcula os grupos de Witt derivados de curvas suaves e próprias sobre corpos locais não-díadicos de característica diferente de 2, utilizando redução e um estudo geral sobre a existência de características de Theta.
Este artigo introduz um novo tipo de subgradiente baseado em funções de Busemann para espaços de Hadamard, permitindo a generalização de métodos estocásticos e incrementais de subgradiente com limites de complexidade garantidos para problemas de otimização convexa, como o cálculo de médias e medianas em espaços de árvores BHV.
Este artigo estabelece novos teoremas de imersão para espaços de Sobolev ponderados e uma desigualdade do tipo Pólya-Szegö, permitindo resolver um problema de valor de contorno para uma classe de equações elípticas degeneradas semilineares em um domínio tridimensional, estendendo assim resultados existentes para essa dimensão.
Este artigo estende as estimativas de não-concentração conhecidas para autofunções do Laplaciano no interior de uma variedade compacta com fronteira suave até a própria fronteira, demonstrando que a massa de autofunções normalizadas em bolas de raio é limitada por , o que, combinado com uma generalização de um resultado de Sogge, permite recuperar as cotas superiores agudas de para a norma dessas autofunções.
Este artigo apresenta um novo método para provar a ergodicidade de produtos em torção de transformações de troca de intervalos com cociclos antissimétricos e singularidades não logarítmicas, permitindo também estudar a equidistribuição de termos de erro na decomposição espectral de integrais de Birkhoff para fluxos hamiltonianos locais em superfícies compactas, inclusive na presença de pontos de sela não perfeitos.
Este artigo estabelece a continuidade da entropia assintótica como função da distribuição de passos para medidas de probabilidade não degeneradas com entropia finita em produtos de wreath , onde é um grupo hiper-FC-central com crescimento cúbico, demonstrando também a continuidade da probabilidade de não retorno à identidade e provando que a continuidade fraca das medidas harmônicas implica a continuidade da entropia assintótica, estendendo assim resultados conhecidos para novas classes de grupos, incluindo grupos lineares e grupos que atuam em espaços .
Este artigo investiga uma variante do jogo Explorer-Director em que o explorador escolhe o comprimento de um caminho em vez de uma distância, demonstrando que a diferença entre o número de vértices visitados nas versões baseada em caminho e baseada em distância pode ser arbitrariamente grande em grafos específicos.
Este artigo estabelece resultados de desintegração para medidas autoconformes e auto-similares afinmente irredutíveis, demonstrando que tais medidas atribuem massa nula a conjuntos de pontos com aproximação diofantina excepcional e que quase todo ponto em relação a elas não é um vetor singular.
O artigo demonstra que é o limiar crítico para o comportamento de Poisson de medidas de produto não estacionárias, estabelecendo que, acima desse valor, quase todo ponto é genericamente Poisson, enquanto abaixo dele essa propriedade pode falhar, criando assim um intervalo onde a medida é singular em relação à medida uniforme, mas quase todos os seus pontos permanecem genericamente Poisson.
Este artigo calcula os primeiros e segundos momentos das somas dos autovalores de Hecke de formas modulares holomorfas, em média sobre formas de peso grande, revelando transições no tamanho dessas somas nos regimes onde o comprimento da soma é comparável ao peso e ao seu quadrado .
Este artigo apresenta um modelo geométrico para a lógica linear multiplicativa exponencial rasa (MELL) utilizando o esquema de Hilbert, demonstrando que provas podem ser representadas por esquemas localmente projetivos e que o modelo permanece invariante sob eliminação de cortes, estabelecendo assim novas conexões entre teoria da prova e geometria algébrica.
Este artigo apresenta uma nova prova do teorema de Voisin sobre a conjectura de Green para curvas genéricas de gênero ímpar, utilizando métodos que evitam cálculos difíceis e se assemelham às seções iniciais da obra "Universal Secant Bundles and Syzygies of Canonical Curves".
Este artigo estabelece que, se a série geradora de uma sequência inteira que preserva congruências e satisfaz uma condição de crescimento específica possuir no máximo duas direções singulares na origem, então a sequência é necessariamente polinomial, demonstrando assim que eventuais contraexemplos à conjectura de Ruzsa devem exibir pelo menos três direções singulares.
Este artigo refuta a conjectura de que o esquema de integração explícito de alta ordem proposto por Buvoli mantém estabilidade à medida que a precisão tende ao infinito, demonstrando, através de análise harmônica, que a estabilidade é perdida, ao mesmo tempo em que estabelece critérios para a precisão máxima permitida e oferece uma estratégia unificada de análise de estabilidade para EDPs parabólicas.
O artigo demonstra que a -categoria de álgebras normadas em espectros -genuínos é modelada por álgebras estritamente comutativas em espectros -simétricos, oferecendo uma descrição categórica superior dos espectros de anéis ultra-comutativos globais e estabelecendo novos resultados em álgebra parametrizada.
Este artigo introduz um operado de diagramas de fiação direcionados dependentes para compor máquinas de Mealy e diagramas de estoque e fluxo, permitindo a conexão instantânea entre entradas e saídas enquanto evita ciclos, e estabelece uma semântica formal para esses diagramas através de um morfismo de álgebras para máquinas de Mealy.
O artigo identifica o tamanho do maior componente conexo em um grafo aleatório inhomogêneo subcrítico do tipo anexação preferencial, demonstrando que ele cresce polinomialmente com um expoente explicitamente determinado que é estritamente maior que o expoente do maior grau, um comportamento distinto dos grafos de posto um e provado através de aproximações locais por passeios aleatórios ramificados.