We introduce an algebraic model, based on the determinantal expansion of the product of two matrices, to test combinatorial reductions of set functions. Each term of the determinantal expansion is deformed through a monomial factor in d indeterminates, whose exponents define a Zd-valued set function. By combining the Grassmann-Plücker relations for the two matrices, we derive a family of sparse polynomials, whose factorisation properties in a Laurent polynomial ring are studied and related to information-theoretic notions. Under a given genericity condition, we prove the equivalence between combinatorial reductions and determinantal expansions with invertible minor products; specifically, a deformation returns a determinantal expansion if and only if it is induced by a diagonal matrix of units in C(t) acting as a kernel in the original determinant expression. This characterisation supports the definition of a new method for checking and recovering combinatorial reductions for matroid permutations.

Combinatorial reduction of set functions and matroid permutations through minor invertible product assignment

Mario Angelelli
Primo
2025-01-01

Abstract

We introduce an algebraic model, based on the determinantal expansion of the product of two matrices, to test combinatorial reductions of set functions. Each term of the determinantal expansion is deformed through a monomial factor in d indeterminates, whose exponents define a Zd-valued set function. By combining the Grassmann-Plücker relations for the two matrices, we derive a family of sparse polynomials, whose factorisation properties in a Laurent polynomial ring are studied and related to information-theoretic notions. Under a given genericity condition, we prove the equivalence between combinatorial reductions and determinantal expansions with invertible minor products; specifically, a deformation returns a determinantal expansion if and only if it is induced by a diagonal matrix of units in C(t) acting as a kernel in the original determinant expression. This characterisation supports the definition of a new method for checking and recovering combinatorial reductions for matroid permutations.
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/11587/559806
 Attenzione

Attenzione! I dati visualizzati non sono stati sottoposti a validazione da parte dell'ateneo

Citazioni
  • ???jsp.display-item.citation.pmc??? ND
  • Scopus 0
  • ???jsp.display-item.citation.isi??? 0
social impact