Graded Ehrhart Theory of Unimodular Zonotopes

Este artigo estabelece uma conexão entre a teoria de Ehrhart graduada e a teoria de matroides, demonstrando que o polinômio de Tutte de um zonótopo unimodular codifica sua contagem de pontos de rede graduada e provando que sua álgebra harmônica é uma variedade de Schubert associada, finitamente gerada, Cohen-Macaulay e Gorenstein sob certas condições, resolvendo assim duas conjecturas de Reiner e Rhoades.

Colin Crowley, Ethan Partida2026-03-10🔢 math

On Representing Matroids via Modular Independence

Este artigo investiga uma representação de matróides baseada em independência modular sobre anéis comutativos locais, estabelecendo critérios para que essa estrutura forme uma matróide, explorando propriedades de códigos sobre anéis de cadeia e demonstrando que certos matróides não representáveis sobre corpos, como o matróide de Vámos, podem ser representados sobre anéis como Z/8Z\mathbb{Z}/8\mathbb{Z}.

Koji Imamura, Keisuke Shiromoto2026-03-10🔢 math

Asymptotic normality for general subtree counts in conditioned Galton--Watson trees

O artigo demonstra que, sob uma condição de momento moderada, o número de ocorrências de uma árvore enraizada fixa como subárvore geral em árvores de Galton-Watson condicionadas a ter nn nós converge para uma distribuição normal assintótica com média e variância lineares em nn, confirmando uma conjectura de Janson e estabelecendo que a violação dessa condição de momento pode invalidar o resultado.

Fameno Rakotoniaina, Dimbinaina Ralaivaosaona2026-03-10🔢 math

Agentic Neurosymbolic Collaboration for Mathematical Discovery: A Case Study in Combinatorial Design

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 n1(mod3)n \equiv 1 \pmod{3}.

Hai Xia, Carla P. Gomes, Bart Selman, Stefan Szeider2026-03-10🔢 math

On order-compatible paths in infinite graphs

Os autores confirmam a conjectura de Zelinka ao demonstrar que, em grafos infinitos, caminhos disjuntos em arestas podem ser escolhidos para serem mutuamente compatíveis em ordem sempre que os caminhos originais tiverem comprimento limitado, estabelecendo que a existência de tal família para um cardinal infinito δ\delta depende de sua cofinalidade não enumerável, e provando ainda que a relação de conexão por tais caminhos permanece uma relação de equivalência mesmo quando a condição de Dirac falha.

Max Pitz, Lucas Real, Roman Schaut2026-03-10🔢 math