On Representing Matroids via Modular Independence

Este artículo estudia una noción de representación de matroides sobre anillos conmutativos locales basada en la independencia modular, estableciendo criterios para que dicha estructura sea un matroide, analizando sus propiedades duales en códigos sobre anillos de cadena finitos y demostrando que ciertos matroides no representables sobre campos, como el matroide de Vámos, sí admiten representación sobre anillos como Z/8Z\mathbb{Z}/8\mathbb{Z}.

Koji Imamura, Keisuke ShiromotoTue, 10 Ma🔢 math

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

El artículo demuestra que, bajo una condición de momento moderada, el número de ocurrencias de un árbol plano fijo como subárbol general en un árbol de Galton-Watson condicionado a tener nn nodos converge asintóticamente a una distribución normal con media y varianza lineales en nn, confirmando así una conjetura de Janson y estableciendo ejemplos donde la violación de dicha condición invalida el resultado.

Fameno Rakotoniaina, Dimbinaina RalaivaosaonaTue, 10 Ma🔢 math

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

Este artículo presenta un estudio de caso sobre la colaboración neurosimbólica entre una IA, herramientas de cómputo simbólico y humanos que logró descubrir y verificar formalmente en Lean 4 un nuevo límite inferior ajustado para el desequilibrio de cuadrados latinos en el caso n1(mod3)n \equiv 1 \pmod{3}, demostrando la capacidad de estos sistemas para realizar descubrimientos genuinos en matemáticas puras.

Hai Xia, Carla P. Gomes, Bart Selman, Stefan SzeiderTue, 10 Ma🔢 math

On order-compatible paths in infinite graphs

Este artículo confirma la conjetura de Zelinka al demostrar que, en grafos infinitos, la existencia de δ\delta caminos disjuntos en aristas y compatibles en orden entre dos vértices está garantizada si δ\delta tiene cofinalidad no numerable o si los caminos tienen longitud acotada, y establece además que la relación de conexión mediante tales caminos constituye una relación de equivalencia para cualquier cardinal δ\delta.

Max Pitz, Lucas Real, Roman SchautTue, 10 Ma🔢 math