2673 artigos
Este artigo documenta uma pesquisa sobre a álgebra de Grassmann, apresentando suas propriedades definidoras, a construção formal a partir de álgebras associativas livres, a relação entre o produto exterior e o determinante, e uma nova classificação de suas subálgebras invariantes.
Este artigo investiga as dinâmicas e a colheita ótima de populações estruturadas por idade, contrastando os mecanismos de controle por taxa (remoção aditiva) e por esforço (mortalidade multiplicativa dependente do tamanho agregado), demonstrando como a dependência do estoque total no segundo modelo altera estruturalmente o sistema de otimalidade ao introduzir um termo de acoplamento não local na equação adjunta.
Este artigo resolve uma conjectura de D'haeseleer, Metsch e Werner ao determinar, para suficientemente grande, os maiores cocliques no grafo de Kneser definido por bandeiras do tipo no espaço projetivo finito PG, estabelecendo um teorema do tipo Erdős-Ko-Rado e um resultado de estabilidade.
Este artigo analisa jogos Maker-Breaker enviesados em sistemas de grafos onde o objetivo do Maker é construir estruturas "rainbow" (com arestas de cores distintas), determinando os limites de viés para os jogos de conectividade e diâmetro em grafos completos, o que permite refutar uma conjectura anterior e estabelecer limites precisos para a formação de árvores geradoras rainbow.
Este artigo apresenta uma variante escalável do método de Gradientes Conjugados Pré-condicionados (PCG) em s-passos que combina uma base de Krylov estabilizada por polinômios de Chebyshev com iterações de Gauss-Seidel para resolver sistemas Gram reduzidos, alcançando estabilidade e desempenho comparáveis ao CG clássico enquanto reduz significativamente os custos de sincronização em arquiteturas de GPU modernas.
Este artigo introduz as configurações generalizadas Jflower e Jposy, demonstrando que elas cobrem os mesmos vértices que as configurações clássicas de Edmonds, Sterboul e Deming, o que permite uma caracterização unificada dos chamados grafos Sterboul-Deming.
Este artigo apresenta múltiplas caracterizações dos grafos de Sterboul-Deming, definidos como aqueles onde cada vértice pertence a um posy ou flor, estabelecendo conexões entre decomposições clássicas e a estrutura interna de grafos não-König-Egerváry por meio de algoritmos construtivos e da decomposição de Gallai-Edmonds.
Este trabalho generaliza a teoria dos grafos quase bipartidos não-König-Egerváry ao introduzir a família dos grafos -disjuntos, provando que eles preservam propriedades fundamentais como a igualdade entre o núcleo e o core, e estabelecendo uma fórmula refinada para a soma dos tamanhos do corona e do core em função do número de ciclos ímpares disjuntos, o que também permite verificar uma conjectura recente de Levit e Mandrescu.
Este artigo caracteriza quando o desenrolamento em faixa de um prismatoide aninhado resulta em um desenrolamento sem sobreposições, demonstrando que o contraexemplo conhecido é essencialmente o único caso possível e fornecendo ferramentas que podem ajudar a resolver o problema geral do desenrolamento de prismatoides.
Este artigo investiga a bem-postura, controlabilidade e estabilização de sistemas em cascata acoplados, utilizando como exemplo prototípico um sistema de equações de calor e onda unidimensionais, e demonstra resultados de controlabilidade exata simultânea e estabilização polinomial dentro de uma estrutura abstrata de sistemas lineares invariantes no tempo.
Este artigo estabelece um novo quadro teórico de taxa-distorção para campos aleatórios heterogêneos em reticulados finitos, derivando limites não assintóticos e uma expansão de segunda ordem que quantificam o impacto da heterogeneidade estrutural, das restrições de tiling e da correlação espacial no desempenho de compressores científicos de alto desempenho.
Este artigo investiga problemas de otimização para funcionais que relacionam o primeiro autovalor e a rigidez à torção induzidos por energias variacionais anisotrópicas, analisando a minimização e maximização desses funcionais em relação à seminorma controladora.
Este artigo demonstra que, para problemas de oscilação de líquidos em domínios suaves com condições de contorno mistas, todos os autovalores resultantes tornam-se simples sob pequenas perturbações do domínio.
Este artigo fornece uma prova rigorosa da conjectura do dínamo rápido para um modelo de pulso-difusão no toro tridimensional, demonstrando que um campo de velocidade de estiramento-dobra-cisalhamento gera uma instabilidade magnética que persiste mesmo na presença de difusividade resistiva suficientemente pequena.
Este artigo demonstra que desigualdades lineares esparsas, que aproximam externamente o cone semidefinido positivo, geram relaxações de programação linear que fornecem os mesmos limites que as relaxações de programação semidefinida, acelerando assim métodos de ramificação e limite para resolver problemas de otimização não convexa.
Este artigo aplica ferramentas de geometria algébrica e teoria dos invariantes, especificamente coordenadas de Plücker, para construir um modelo algébrico do problema de Equivalência de Códigos Lineares que reduz a recuperação da matriz de equivalência à determinação de uma matriz de permutação, gerando polinômios teoricamente significativos, embora computacionalmente inviáveis para parâmetros criptográficos.
O artigo estabelece a existência de soluções supersolutas e positivas de energia finita para equações elípticas singulares de Lichnerowicz em variedades Riemannianas completas, utilizando argumentos de passo de montanha e desigualdade de Harnack, e demonstra que certas condições de integrabilidade global são necessárias para tais soluções.
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 .