On Representing Matroids via Modular Independence

Questo studio introduce una nozione di rappresentazione dei matroidi basata sull'indipendenza modulare su anelli locali commutativi, fornendo criteri per determinare quando tale struttura forma un matroide, analizzando le proprietà dei codici su anelli a catena finiti e dimostrando la rappresentabilità su anelli come Z/8Z\mathbb{Z}/8\mathbb{Z} di matroidi non rappresentabili su alcun campo, come il matroide di Vámos.

Koji Imamura, Keisuke ShiromotoTue, 10 Ma🔢 math

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

Il paper dimostra che, sotto una lieve condizione sui momenti, il numero di occorrenze di un albero radicato piano fisso come sottoalbero in un albero di Galton-Watson condizionato ad avere nn nodi è asintoticamente normale con media e varianza lineari in nn, confermando una congettura di Janson e fornendo controesempi quando la condizione sui momenti non è soddisfatta.

Fameno Rakotoniaina, Dimbinaina RalaivaosaonaTue, 10 Ma🔢 math

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

Questo studio dimostra come una collaborazione neurosimbolica tra un agente AI basato su LLM, strumenti di calcolo simbolico e guida umana abbia portato alla scoperta di un nuovo limite inferiore rigoroso per lo squilibrio dei quadrati latini nel caso n1(mod3)n \equiv 1 \pmod{3}, un risultato formalmente verificato in Lean 4.

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

The triplication method for constructing strong starters

Questo articolo sviluppa ulteriormente il metodo di triplicazione per costruire partenze forti in Z3mZ_{3m} generalizzando la tabella di triplicazione e ampliando la formulazione del problema di tipo Sudoku, eliminando così la restrizione precedente secondo cui mm non doveva essere divisibile per 3 e permettendo la costruzione di partenze forti per qualsiasi ordine dispari $3m$.

Oleg Ogandzhanyants, Sergey Sadov, Margo KondratievaTue, 10 Ma🔢 math

Finiteness of specializations of the qq-deformed modular group at roots of unity

Questo articolo dimostra che la specializzazione del gruppo modulare qq-deformato PSLq(2,Z)\operatorname{PSL}_q(2,{\mathbb Z}) in una radice dell'unità ζ\zeta è finita se e solo se ζ\zeta è una radice primitiva dell'unità di ordine 2, 3, 4 o 5, identificando inoltre le strutture algebriche risultanti per tali casi e fornendo applicazioni ai valori speciali dei polinomi di Jones.

Takuma Byakuno, Xin Ren, Kohji YanagawaTue, 10 Ma🔢 math

On order-compatible paths in infinite graphs

Questo articolo conferma la congettura di Zelinka dimostrando che, in presenza di un numero infinito di percorsi a-b disgiunti per gli archi di lunghezza limitata, esiste sempre una famiglia di tali percorsi a due a due compatibili per ordine, risolvendo così la domanda di Dirac per cardini con cofinalità non numerabile e stabilendo che la relazione di connessione tramite percorsi compatibili è un'equivalenza per ogni valore cardinale.

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