Characteristic polynomials of weighted lattices (Q1261126)

From MaRDI portal
Revision as of 21:47, 19 March 2024 by Openalex240319060354 (talk | contribs) (Set OpenAlex properties.)
scientific article
Language Label Description Also known as
English
Characteristic polynomials of weighted lattices
scientific article

    Statements

    Characteristic polynomials of weighted lattices (English)
    0 references
    19 May 1994
    0 references
    Let \((L,f)\) be a weighted lattice (\(L\) is a finite lattice with \(\widehat 0\) and \(\widehat 1\), \(f: L\to\mathbb{N}\) is an increasing function on \(L\)) and denote it by \(L_ f\). The characteristic polynomial of \(L_ f\) is \[ P(L_ f;\lambda)= \sum_{x\in L_ f}\mu(\widehat 0,x) \lambda^{f(\widehat 1)-f(x)}, \] where \(\mu\) is the Möbius function of \(L\). Some results of the paper are the following ones: (1) If \(L_ f\) is a weighted lattice with at least three elements and \(x\) is one of its atoms, then \(P(L_ f;\lambda)= P(L_ f\backslash x; \lambda)- P(L_ f/\lambda; \lambda)\). (2) If \(L_ f\) is a weighted lattice with set of atoms \(\{x_ 1,\dots,x_ n\}\) and \(L_ f/x_ 1\cong L_ f/x_ 2\cong\cdots\cong L_ f/x_ n\), then \(P(d(L_ f); \lambda)= P(L_ f; \lambda)+ nP(L_ f/x_ 1; \lambda)\). (Here \(d(L_ f)\) is the lower truncation of \(L_ f\).) (3) If \(x\) is a modular element of the weighted lattice \(L_ f\), then \(P(L_ f; \lambda)= P(L_ f\backslash x; \lambda)\cdot \bigl[\sum\mu(\widehat 0,a) \lambda^{f(\widehat 1)- f(x)-f(a)}\bigr]\), where the sum is made upon \(a\) such that \(a\land x=\widehat 0\). This last result is the main result of the paper and it generalizes a theorem of \textit{R. P. Stanley} [Modular elements of geometric lattices, Algebra Univers. 1, 214-217 (1971; Zbl 0229.05032)]. Some conditions for modularity are given in the paper and some properties of factorization of the characteristic polynomial.
    0 references
    polymatroids
    0 references
    weighted lattice
    0 references
    characteristic polynomial
    0 references
    Möbius function
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references