Multisymmetric polynomials on set-theoretic quiver representations

Sintesi Tecnica: Polinomi Multisimmetrici su Rappresentazioni di Quiver Set-Theoretic

Enunciato del Problema
Questo articolo affronta l'enumerazione combinatoria di rappresentazioni a valori di insiemi (set-valued) "eventualmente costanti" di quiver finiti. Una rappresentazione a valori di insiemi di un quiver $Q$ assegna un insieme finito a ogni vertice e una funzione a ogni arco. Una rappresentazione si definisce eventualmente costante se, per tutti i cammini sufficientemente lunghi nel quiver, la composizione delle funzioni corrispondenti mappa l'intero dominio in un particolare "trasversale" (un sottoinsieme contenente esattamente un elemento da ciascun insieme di vertici).

Questo concetto funge da analogo set-teoretico delle rappresentazioni lineari nilpotenti dei quiver. Mentre il lavoro precedente degli autori (Green–Holmes–Im) ha enumerato con successo queste rappresentazioni per quiver ciclici equiorientati utilizzando il teorema dell'albero diretto (directed matrix-tree theorem), questo articolo mira a generalizzare l'enumerazione a tutti i quiver finiti senza pozzi (sinks), dove ogni vertice è bersaglio di cammini arbitrariamente lunghi. La sfida risiede nel fatto che, a differenza del caso ciclico, le strutture di grafo sottostanti indotte da queste rappresentazioni non sono necessariamente foreste, rendendo inapplicabili le tecniche standard di enumerazione degli alberi.

Metodologia
Gli autori sviluppano un framework che codifica le rappresentazioni a valori di insiemi come grafi diretti aciclici (DAG) e utilizza un metodo ricorsivo di rimozione delle sorgenti per derivare le funzioni generatrici.

1. Codifica del Grafo: Gli autori costruiscono un multigrafo diretto ambiente $G(Q)$ dove i vertici corrispondono agli elementi della unione disgiunta degli insiemi assegnati ai vertici del quiver. Gli archi sono etichettati dagli archi del quiver. Una rappresentazione a valori di insiemi viene identificata con un sottografo spanning di $G(Q)$ dove ogni vertice ha esattamente un arco uscente per ogni tipo di arco.
2. Assegnazioni DAG Source-Factorizable: Per gestire la complessità dei quiver generali, gli autori introducono il concetto di assegnazione DAG source-factorizable. Si tratta di una collezione di DAG che soddisfano specifici assiomi riguardanti come i vertici "sorgente" (quelli con in-grado zero nel sottografo) e i loro archi uscenti possano essere attaccati o rimossi dai grafi.
3. Enumeratori Matriciali Ricorsivi: Per le assegnazioni source-factorizable, gli autori derivano una formula ricorsiva per il conteggio pesato dei DAG. Definiscono una matrice di peso di attacco $M$, indicizzata dal parto di potenza dell'insieme dei vertici. Le voci di $M$ codificano i pesi dei grafi formati dall'attaccare archi sorgente a DAG esistenti. Il peso totale dei DAG desiderati è espresso tramite l'inversa della matrice $(I - M)$, espansa come una serie geometrica finita grazie alla stretta triangolarità superiore di $M$.
4. Compressione a Vettori di Cardinalità: Per ottenere una formula di cardinalità computabile, gli autori comprimono la matrice $M$ (indicizzata dai sottoinsiemi) in una matrice di cardinalità di attacco $N$. Questa matrice è indicizzata da vettori di cardinalità (vettori in $\mathbb{N}^{Q_0}$ che rappresentano la dimensione dell'insieme in ogni vertice). L'uniformità dei pesi rispetto alle cardinalità degli insiemi permette questa riduzione, trasformando il problema in un'operazione matriciale sull'intervallo dei vettori di cardinalità $[0, V]$.

Contributi Chiave e Risultati

• Teorema di Enumerazione Generale: L'articolo stabilisce una formula generale per la cardinalità delle rappresentazioni eventualmente costanti per qualsiasi quiver $Q$ senza pozzi. La cardinalità è data da:
  $$|EC| = V!(I - N)^{-1}_{1, V}$$
  dove $V$ è il vettore delle dimensioni degli insiemi, $1$ è il vettore di uni, e $N$ è la matrice di cardinalità di attacco strettamente triangolare superiore definita dalla matrice di adiacenza $A(Q)$ del quiver.
• Funzioni Generatrici: Gli autori derivano le funzioni generatrici per queste rappresentazioni sia in variabili di arco che in variabili di vertice. Nella specializzazione in variabili di vertice, la funzione generatrice risulta invariante sotto permutazioni dei vertici all'interno di ciascun insieme, producendo polinomi multisimmetrici.
• Specializzazione per Quiver di Jordan e Ciclici:
  • Quiver di Jordan: Per un quiver con un vertice e $j$ loop, gli autori recuperano la ricorrenza nota per le $j$-uple eventualmente costanti di endomorfismi. Questo risultato si allinea con la ricorrenza lineare per gli automi quasi-aciclici etichettati derivata da Liskovets.
  • Quiver Ciclici: Per i quiver ciclici equiorientati, gli autori derivano una funzione generatrice in forma chiusa. In particolare, questa derivazione recupera il polinomio generatore multisimmetrico per il caso ciclico senza fare affidamento sul teorema dell'albero diretto, offrendo una nuova prospettiva combinatoria.
• Algoritmo Alternativo: Per il quiver di Jordan, l'articolo delinea un algoritmo ricorsivo alternativo basato sulla partizione dell'insieme dei vertici. Questo metodo traccia le partizioni successive indotte dalle relazioni di equivalenza delle mappe, fornendo un approccio computazionale differente alla funzione generatrice.

Significatività
L'articolo rivendica importanza estendendo l'enumerazione delle rappresentazioni di quiver set-theoretic oltre il caso restrittivo dei ciclici verso i quiver generali. Sostituendo il teorema dell'albero diretto con un metodo ricorsivo di rimozione delle sorgenti e l'inversione di matrici nell'algebra di incidenza del reticolo dei sottoinsiemi, gli autori forniscono un framework unificato per queste strutture combinatorie. Il lavoro colma il divario tra la teoria delle rappresentazioni lineari (nilpotenza) e la combinatoria set-teoretica (eventuale costanza), fornendo formule esplicite per cardinalità e funzioni generatrici che generalizzano i risultati precedenti sui quiver ciclici e sugli endomorfismi. La derivazione del caso ciclico senza il teorema dell'albero diretto è evidenziata come un miglioramento concettuale, evitando manipolazioni algebiche complesse di coefficienti $q$-binomiali.