Skew circuits and circumference in a binary matroid
O artigo estabelece que, para quaisquer dois circuitos enviesados em um matróide binário com circunferência , a soma de seus tamanhos é estritamente limitada por $2c - kk$.
5419 artigos
O artigo estabelece que, para quaisquer dois circuitos enviesados em um matróide binário com circunferência , a soma de seus tamanhos é estritamente limitada por $2c - kk$.
Este trabalho propõe o "Partitioned Optimization Framework" (POf), uma reformulação de problemas de otimização que se tornam tratáveis ao fixar combinações de variáveis, e introduz o método "DFPOm" para resolvê-los eficientemente utilizando algoritmos de otimização sem derivadas, demonstrando sua eficácia tanto em casos de controle ótimo de dimensão infinita quanto em problemas cinzentos compostos de dimensão finita.
Este artigo introduz um novo tipo de polarizações para variedades simpléticas abertas e aplica essa teoria para resolver questões sobre mergulhos simpléticos, demonstrar interseções lagrangianas não removíveis em pequenas escalas e revelar um fenômeno de barreiras legendrianas na geometria de contato.
O artigo demonstra que as somas parciais de funções multiplicativas aleatórias de Rademacher avaliadas em certos polinômios convergem para uma distribuição gaussiana padrão, confirmando uma conjectura de Najnudel e estabelecendo limites de flutuação que coincidem com a lei do logaritmo iterado.
Este artigo apresenta a formalização em Lean 4 de teoremas do tipo Farkas sobre corpos ordenados linearmente e estende a teoria da dualidade na otimização linear para o caso em que alguns coeficientes podem assumir valores infinitos.
O artigo generaliza as álgebras de cor para anéis comutativos unitários com , demonstrando que elas podem ser construídas canonicamente a partir de formas hermitianas ternárias não degeneradas com determinante trivial e investigando sua estrutura, grupo de automorfismos e derivações, estabelecendo ainda sua estreita relação com as álgebras de octonions sobre tais anéis.
Este artigo fornece caracterizações axiomáticas para estimadores generalizados e usuais, baseando-se nas propriedades de simetria, internidade (forte) e idempotência assintótica, utilizando um teorema de separação para subsemigrupos abelianos nas demonstrações.
Este artigo investiga as superálgebras de Lie reais de quatro dimensões que podem ser obtidas como extensões lagrangianas, analisando suas estruturas à esquerda-simétricas e demonstrando que, exceto por dois casos, todas são superálgebras de Novikov.
O artigo revisita a teoria de regularidade parcial para minimizadores de integrais variacionais com termos de ordem zero, estabelecendo a dependência aguda do expoente de Hölder e confirmando a regularidade ótima até o expoente limite no teorema de Massari para hipersuperfícies de curvatura média prescrita.
Este artigo estuda as flutuações de gases de Coulomb no plano complexo sob potenciais externos específicos, demonstrando que o número de partículas próximas a "postos espectrais" segue uma distribuição de Heine assintótica, enquanto flutuações em gotas desconectadas exibem distribuições normais discretas e campos gaussianos oscilatórios, utilizando novas fórmulas assintóticas para polinômios ortogonais e identidades de Ward.
Este livro apresenta uma compilação pedagógica e unificada das fundações teóricas e das provas dos principais resultados da previsão conformal e de técnicas de inferência livre de distribuição, visando preencher a lacuna entre artigos de pesquisa dispersos e facilitar o entendimento dos argumentos técnicos que garantem quantificação de incerteza em sistemas de aprendizado de máquina sem suposições sobre a distribuição dos dados.
O artigo investiga um modelo populacional do tipo Lotka-Volterra descrito por equações diferenciais estocásticas com interações competitivas bidirecionais, estabelecendo condições quase precisas para a extinção de uma das populações.
O artigo estabelece um limite superior para a soma das potências do quociente entre inteiros positivos e seus totientes de Euler, aplicando esse resultado para limitar a quantidade de termos que excedem um valor fixo.
O artigo prova desigualdades de Sobolev do tipo Allard-Michael-Simon com constantes explícitas para subvariedades mínimas euclidianas de codimensão arbitrária, utilizando teoria de transporte de massa ótimo para obter uma constante assintoticamente ótima independente da codimensão no caso e fornecer uma prova unificada alternativa para desigualdades isoperimétricas recentes.
Este artigo apresenta um heurístico massivamente paralelo para aproximar a base de Graver em otimização inteira não linear, superando o gargalo computacional de encontrar direções de melhoria e alcançando desempenho comparável a solvers avançados em instâncias do QPLIB e MINLPLib.
Este artigo investiga um algoritmo geométrico para transformar mapas harmônicos em mapas bi-harmônicos ou conformemente bi-harmônicos para esferas, demonstrando que, enquanto mapas bi-harmônicos em domínios fechados enfrentam restrições severas devido ao princípio do máximo, os mapas conformemente bi-harmônicos oferecem maior flexibilidade e permitem a construção de novos pontos críticos explícitos.
Este artigo explora as conexões entre a teoria dos tipos homotópicos e a teoria da informação ao definir tipos de probabilidade, demonstrar como a cardinalidade homotópica se comporta sob somas e produtos dependentes, e formular a entropia de Shannon como a cardinalidade homotópica de um tipo para derivar a regra da cadeia.
Este artigo prova um teorema de C. Miranda sobre a regularidade de Hölder de operadores de convolução atuando na fronteira de um conjunto aberto de classe com densidades de classe , generalizando os operadores associados a potenciais de camada utilizados na análise de problemas de valor de fronteira.
Este artigo classifica as estruturas t intermediárias na categoria derivada local de uma contração de flopping de 3-folds, descrevendo o reticulado completo das classes de torção para a álgebra de modificação associada e estabelecendo uma classificação análoga para resoluções de singularidades de Kleinian, o que fornece ferramentas fundamentais para a classificação de módulos esféricos e (semi)tijolos em variedades de dimensão superior.
Este artigo demonstra que não existe uma fórmula de Rosser extensiva de qualquer complexidade que satisfaça a pergunta de Hamkins, mas oferece uma resposta positiva ao substituir a extensão pela "extensão condicional", provando a existência de uma fórmula extensiva e flexível, deixando em aberto o caso da "extensão consistente".