Rilevato un difetto nel rilevamento dei fattori commutativi per l'inferenza sollevata

Un nuovo preprint su arXiv (2605.26908) rivela che l'algoritmo all'avanguardia per rilevare fattori commutativi nei grafi di fattori si basa su un teorema che fornisce solo una condizione necessaria, non sufficiente come precedentemente assunto. I fattori commutativi sono centrali per l'inferenza probabilistica sollevata, consentendo un ragionamento trattabile sfruttando l'indistinguibilità degli oggetti. L'articolo riesamina le basi teoriche e dimostra che l'algoritmo attuale può produrre falsi positivi, minando potenzialmente la correttezza dell'inferenza. Gli autori forniscono condizioni necessarie e sufficienti corrette per il rilevamento dei fattori commutativi. Nell'abstract non vengono nominati autori o istituzioni specifici.