6770 artigos
Este artigo descreve uma colaboração neurosimbólica entre um agente de IA, ferramentas de computação simbólica e orientação humana que resultou na descoberta e verificação formal em Lean 4 de um novo limite inferior rigoroso para o desequilíbrio de quadrados latinos no caso difícil .
Este artigo propõe o algoritmo SGRAND-ISI e suas variantes ORB-GRAND para canais com interferência intersimbólica gaussiana, utilizando o conceito de "erros em rajada" e confiabilidade de sequência para alcançar desempenho próximo ao limite de máxima verossimilhança com complexidade computacional reduzida.
Este artigo investiga as curvaturas horizontais de superfícies em grupos de Lie sub-Riemannianos de contato tridimensionais, utilizando um esquema de aproximação Riemanniana para derivar fórmulas explícitas e classificar superfícies de revolução com curvaturas constantes no grupo de Heisenberg e no grupo afim-aditivo.
Nesta breve observação, os autores demonstram que a invariância sob dualidade para a -teoria decorre puramente de argumentos formais, ao contrário do caso geral de invariantes localizantes, e apresentam um contraexemplo que refuta a afirmação de que o invariante localizante universal é invariante sob a operação de tomar categorias opostas.
Este artigo propõe um novo quadro de modulação molecular unificado, denominado MAxCM, que codifica informações nas concentrações de múltiplos tipos de moléculas para melhorar a eficiência espectral e a robustez em canais dinâmicos, superando as limitações de esquemas tradicionais como a OOK.
Este artigo desenvolve uma formulação do tipo Barta para o -Laplaciano em variedades riemannianas, estabelecendo limites inferiores agudos para o tom fundamental -Laplaciano e obtendo extensões não lineares de teoremas de comparação de Cheng e estimativas de Cheng-Li-Yau para imersões mínimas, além de caracterizar o tom fundamental através de uma abordagem unificada de tipo Kazdan-Kramer.
Este trabalho propõe uma generalização d-dimensional do modelo de Kuramoto em redes com acoplamentos ponderados por matrizes, demonstrando que a solução síncrona é localmente estável para qualquer força de acoplamento positiva em redes conectadas, desde que as matrizes de frequência sejam idênticas e uma condição de coerência estrutural seja satisfeita.
Este artigo estabelece a distribuição espectral limite de matrizes de correlação de Kendall em regimes de alta dimensão moderada, permitindo heterogeneidade distribucional e não apenas observações i.i.d., e aplica esse resultado para desenvolver uma ferramenta gráfica que evita a detecção espúria de dependência em dados de alta dimensão.
Este artigo investiga o inverso de Drazin dual de matrizes de adjacência de digrafos ponderados por números duais, derivando fórmulas explícitas para matrizes em bloco anti-triangular e aplicando-as a várias classes de digrafos, resolvendo problemas abertos e generalizando resultados anteriores sobre inversos de grupo e de Drazin.
Este artigo investiga o espectro pontual de árvores quânticas periódicas com condições de vértice do tipo delta, demonstrando que, diferentemente do caso discreto, árvores periódicas regulares podem possuir autovalores, mas que um ajuste arbitrariamente pequeno nos comprimentos das arestas torna o espectro pontual vazio.
Assumindo a conjectura de Schanuel, este artigo prova que a teoria completa do campo real exponencial é axiomatizada por campos exponenciais definidamente completos que satisfazem , o que implica a decidibilidade dessa teoria, baseando-se na demonstração incondicional da completude modelar de um conjunto de axiomas análogo para a função exponencial restrita ao intervalo .
O artigo propõe o algoritmo PR-EXTRA, uma extensão do método EXTRA para otimização distribuída em variedades Riemannianas compactas com regularizadores não suaves, que garante convergência sublinear de com apenas uma rodada de comunicação por iteração.
O artigo demonstra que a equação de Zakharov-Kuznetsov quártica em é localmente bem-posta no espaço de Sobolev para todo , utilizando uma estimativa de suavização bilinear e estimativas do tipo Strichartz lineares.
Este artigo demonstra que, para inteiros positivos , o mínimo global único da função -Brjuno é alcançado no ponto fixo , prova a estabilidade local desses minimizadores e discute o comportamento de escala e possíveis transições de fase na localização do mínimo à medida que varia.
Este artigo aprimora o método de triplicação para construir iniciadores fortes em grupos cíclicos, generalizando a definição de tabelas de triplicação e ampliando a formulação do problema para eliminar a restrição de que a ordem não seja divisível por 3, permitindo assim a construção de iniciadores fortes para qualquer ordem ímpar .
Este artigo demonstra que qualquer imersão curta pode ser uniformemente aproximada por imersões isométricas com , melhorando o expoente conhecido anteriormente para por meio de um esquema de integração convexa que utiliza uma análise estrutural refinada dos termos de erro e da interação entre múltiplas escalas de frequência.
Nesta nota curta, os autores demonstram que a estrutura monoidal na categoria de Fukaya de uma geometria simplética determina o functor de simetria espelho homológico, preenchendo uma lacuna na literatura sobre como essa estrutura recupera o espelho geométrico.
Este artigo estabelece estimativas de erro locais ótimas para métodos de elementos finitos que resolvem problemas elípticos com fontes medidas, demonstrando que, embora a singularidade da fonte degrade a convergência global, as taxas de convergência ótimas são preservadas em subdomínios distantes da fonte.
Este artigo apresenta uma construção instanton do complexo de Thom-Smale de cone de mapeamento, demonstrando que o complexo de co-cadeias instanton, derivado dos autoespaços do Laplaciano de cone de mapeamento deformado, é isomorfo ao complexo topologicamente construído.
Este artigo modela canais de comunicações ópticas com modulação de intensidade e detecção direta afetados por ruído de intensidade relativa (RIN), demonstrando que, quando a memória do canal é ignorada no receptor, a informação mútua generalizada satura com o aumento do tamanho da constelação, impedindo ganhos adicionais em constelações densas devido a contribuições assimétricas e não nulas dos símbolos.