2970 artigos
Este artigo constrói autômatos para reconhecer relações em sequências -automáticas, estabelece uma relação entre a complexidade de subpalavras e a complexidade de estados de subsequências lineares, resolve uma questão recente sobre o formato de entrada mais significativo primeiro e analisa a complexidade computacional de tais construções usando aritmética de Büchi.
Este artigo formaliza a correspondência de Galois entre espaços de recobrimento e subgrupos do grupo fundamental na Teoria dos Tipos Homotópicos, desenvolvendo uma generalização n-dimensional e aplicando-a à classificação de recobrimentos de espaços de lentes e à construção da esfera de homologia de Poincaré.
Este artigo classifica todos os componentes conexos locais de conjuntos de funções não-discriminantes próximas a singularidades parabólicas, confirmando e aprimorando conjecturas anteriores, enumerando lacunas de Petrovskii locais e demonstrando que os complementos de certas variedades discriminantes possuem grupos de homologia unidimensionais não triviais, ao contrário das singularidades simples.
Este artigo apresenta uma caracterização combinatória de cortes para os fortes mínimos em árvores, a partir da qual são derivados limites superiores e inferiores para sua cardinalidade e quantidade, além de uma classificação detalhada das árvores que atingem o limite inferior, estabelecendo conexões com parâmetros como centros de estrelas e o número de forçamento zero.
Este artigo calcula o índice de cobertura de Raja para espaços clássicos e seus análogos não comutativos, determinando seu valor exato para espaços de Hilbert, estabelecendo estimativas assintóticas precisas para espaços sob hipóteses de renormabilidade e limites superiores uniformes para espaços de Bochner, além de derivar limites inferiores de potência para espaços não comutativos.
Este artigo esclarece a formulação geométrica da termodinâmica de Souriau em espaços simétricos não compactos para redes neurais de Cartan, demonstrando que apenas os espaços de Kähler suportam distribuições de Gibbs covariantes e resolvendo o problema da convergência da função de partição ao caracterizar o espaço de temperaturas generalizadas.
Este artigo investiga a validade e a falha da densidade modular de aplicações suaves em variedades compactas, abordando especificamente a questão da lacuna de Lavrentiev para mapas com valores em variedades.
Este artigo prova uma fórmula para o grau de distância euclidiana de curvas parametrizadas por funções racionais e aplica esse resultado para resolver conjecturas sobre variedades multivista de linhas unidimensionais propostas por Duff e Rydell.
Este artigo apresenta o primeiro tratamento sistemático das propriedades de medida dos espaços de Lebesgue não lineares, unificando resultados dispersos e estendendo caracterizações clássicas de completude, separabilidade e densidade de subespaços para o contexto de aplicações em espaços métricos arbitrários.
Este trabalho propõe um método de otimização baseado em aprendizado por reforço profundo para melhorar a segurança física em sistemas de comunicação por luz visível indoor com superfícies inteligentes refletoras, explorando intencionalmente os atrasos temporais dos caminhos refletidos para maximizar a capacidade de segredo tanto contra eavesdroppers colusivos quanto não colusivos.
Este artigo apresenta uma prova da conjectura de extensão de Fourier para o paraboloide em todas as dimensões superiores a 2, utilizando uma decomposição de projeções de Alpert suaves e uma variante da equivalência bilinear para estabelecer uma desigualdade local que leva à localização desejada no domínio da frequência.
Este artigo avança a resolução do problema de Peterson para cinco variáveis em graus genéricos, determinando a estrutura dos módulos de cohit e a ação do grupo linear, o que permite provar que a transferência algébrica de Singer é um isomorfismo em uma família infinita de graus, validar uma versão localizada da conjectura de Kameko e distinguir tipos homotópicos de espaços projetivos complexos através de suas cohomologias mod-2.
Este artigo estabelece a estabilidade de Lipschitz para a recuperação simultânea de um coeficiente de densidade variável e o deslocamento inicial em uma equação de onda bi-harmônica com amortecimento, demonstrando que a estrutura bi-harmônica melhora a estabilidade da identificação de parâmetros através de uma desigualdade de observabilidade e estimativas que dependem explicitamente do coeficiente de amortecimento.
O artigo constrói, para cada número primo , álgebras afins suaves sobre um corpo algebricamente fechado de característica zero que admitem módulos projetivos não triviais de posto cuja classe total de Chern é trivial.
Os autores constroem um modelo simétrico de ZF que satisfaz o Axioma da Escolha Dependente e o Princípio de Partição (PP), mas não o Axioma da Escolha (AC), demonstrando assim que o PP é independente do AC mesmo na presença de DC.
Este artigo estabelece a existência e unicidade de soluções para equações diferenciais estocásticas retroativas dirigidas por movimento Browniano G, sob condições de monotonicidade variável no tempo em relação a y e propriedade de Lipschitz em relação a z, utilizando a aproximação de Yosida.
O artigo propõe o Método de Elementos Finitos Pré-treinado (PFEM), um framework baseado em operadores neurais que utiliza pré-treinamento guiado por física para gerar soluções iniciais precisas e eficientes, acelerando significativamente a convergência dos solucionadores clássicos de elementos finitos sem comprometer sua precisão.
Este artigo investiga o mapeamento de amostragem finita para sistemas canônicos com cauda livre, estabelecendo que, embora existam resultados de identificabilidade local e inversão em famílias de dimensão finita, a presença de direções invisíveis de primeira ordem no Hamiltoniano livre impede a existência de estimativas de Lipschitz locais para a inversão no espaço completo.
Este artigo investiga a caminhada aleatória de elefante multidimensional com paradas e tamanhos de passo aleatórios, estabelecendo resultados de convergência quase certa, incluindo a lei dos grandes números, a lei forte quadrática, a lei do logaritmo iterado e o teorema do limite central, por meio de uma abordagem de martingale.
Este artigo apresenta um framework de estratificação para programação semidefinida não linear que explora a geometria do sistema KKT não suave, caracterizando propriedades de regularidade restritas a estratos e propondo um método de Gauss-Newton estratificado que garante convergência global e quadrática local.