polynomial
11422 papers tagged with this keyword
Characteristic Polynomials of Deformations of Coxeter Arrangements via levels of regions
Published
• View Publication
• BIB
We obtain a novel formula for characteristic polynomials of deformations of the Braid arrangement using the notion of levels of regions. As an application, we recover and strengthen results of Chen et al. on the characteristic polynomial of several specific types of hyperplane arrangements via much simpler arguments. Our theorem also generalizes to type B.
Transfinite hypercentral iterated wreath product of integral domains
Published
• View Publication
• BIB
Starting with an integral domain $D$ of characteristic $0$, we consider a class of iterated wreath product $W_n$ of $n$ copies of $D$. In order that $W_n$ be transfinite hypercentral, it is necessary to restrict to the case of wreath products defined by way of numerical polynomials. We also associate to each of these groups a Lie ring, providing a correspondence preserving most of the structure. This construction generalizes a result of \cite{netreba} which characterizes the Lie algebras associated to the Sylow \(p\)-subgroups of the symmetric group \(\Sym(p^n)\). As an application, we explore the normalizer chain $\lbrace\mathbf{N}_{i}\rbrace_{i\geq -1}$ starting from the canonical regular abelian subgroup $T$ of $W_n$. Finally, we characterize the regular abelian normal subgroups of $\mathbf{N}_0$ that are isomorphic to $D^n$.
Chow functions for partially ordered sets
Three decades ago, Stanley and Brenti initiated the study of the Kazhdan--Lusztig--Stanley (KLS) functions, putting on common ground several polynomials appearing in algebraic combinatorics, discrete geometry, and representation theory. In the present paper we develop a theory that parallels the KLS theory. To each kernel in a given poset, we associate a polynomial function that we call the \emph{Chow function}. The Chow function often exhibits remarkable properties, and sometimes encodes the graded dimensions of a cohomology or Chow ring. The framework of Chow functions provides natural polynomial analogs of graded module decompositions that appear in algebraic geometry, but that work for arbitrary posets, even when no graded module decomposition is known to exist. In this general framework, we prove a number of unimodality and positivity results without relying on versions of the Hard Lefschetz theorem. Our framework shows that there is an unexpected relation between positivity and real-rootedness conjectures about chains on face lattices of polytopes by Brenti and Welker, Hilbert--Poincaré series of matroid Chow rings by Ferroni and Schröter, and flag enumerations on Bruhat intervals of Coxeter groups by Billera and Brenti.
Level of Regions for Deformed Braid Arrangements
Published
• View Publication
• BIB
This paper primarily investigates a specific type of deformation of the braid arrangement $\mathcal{B}_n$ in $\mathbb{R}^n$, denoted by $\mathcal{B}_n^A$ and defined in (1.2). Let $r_l(\mathcal{B}_n^A)$ be the number of regions of level $l$ in $\mathcal{B}_n^A$ with the corresponding exponential generating function $R_l(A;x)$. Using the weighted digraph model introduced by Hetyei [11], we establish a bijection between regions of level $l$ in $\mathcal{B}_n^A$ and valid $m$-acyclic weighted digraphs on the vertex set $[n]$ with exactly $l$ strong components. Based on this bijection, we obtain a property analogous to a polynomial sequence of binomial type, that is, $R_l(A;x)$ satisfies the relation
\[
R_l(A;x)=\big(R_1(A;x)\big)^l=R_k(A;x)R_{l-k}(A;x).
\]
Furthermore, the values $r_l(\mathcal{B}_n^A)$ yield a combinatorial interpretation for the coefficients in the expansion of the characteristic polynomial $χ_{\mathcal{B}_n^A}(t)$ in the basis elements $\binom{t}{l}$, that is, \[χ_{\mathcal{B}_n^A}(t)=\sum_{l=0}^n(-1)^{n-l}r_l(\mathcal{B}_n^A)\binom{t}{l}.\] If $n$, $a$ and $b$ are non-negative integers with $n\ge 2$ and $b-a\ge n-1$, for the deformation $\mathcal{B}_n^{[-a,b]}$ defined in (1.3), its characteristic polynomial has a single real root $0$ of multiplicity one when $n$ is odd, and has one more real root $\frac{n(a+b+1)}{2}$ of multiplicity one when $n$ is even.
Cauchy identities for staircase matrices
Published
• View Publication
• BIB
The celebrated Cauchy identity expresses the product of terms $(1 - x_i y_j)^{-1}$ for $(i,j)$ indexing entries of a rectangular $m\times n$-matrix as a sum over partitions $λ$ of products of Schur polynomials: $s_λ(x)s_λ(y)$. Algebraically, this identity comes from the decomposition of the symmetric algebra of the space of rectangular matrices, considered as a $\mathfrak{gl}_m$-$\mathfrak{gl}_n$-bi-module. We generalize the Cauchy decomposition by replacing rectangular matrices with arbitrary staircase-shaped matrices equipped with the left and right actions of the Borel upper-triangular subalgebras. For any given staircase shape $\mathsf{Y}$ we describe left and right "standard" filtrations on the symmetric algebra of the space of shape $\mathsf{Y}$ matrices. We show that the subquotients of these filtrations are tensor products of Demazure and opposite van der Kallen modules over the Borel subalgebras. On the level of characters, we derive three distinct expansions for the product $(1 - x_i y_j)^{-1}$ for $(i,j) \in \mathsf{Y}$. The first two expansions are sums of products of key polynomials $κ_λ(x)$ and (opposite) Demazure atoms $a^μ(y)$. The third expansion is an alternating sum of products of key polynomials $κ_λ(x)\,κ^μ(y)$.
Further results on staircase graph words
Staircase words are words in which consecutive letters do not differ by more than $1$. We generalize this by extending the restriction to letters lying further apart from each other and obtain the corresponding generating functions, which we express in terms of the Chebyshev polynomials of the second kind.
Remixed Eulerian numbers: beyond the connected case
In his study of generalised permutahedra, Postnikov considered the mixed volumes of hypersimplices, giving rise to the family of mixed Eulerian numbers. It comprises usual Eulerian numbers, binomial coefficients, Catalan numbers, and the large family of hit numbers. Nadeau and Tewari further gave a polynomial refinement of these, the remixed Eulerian numbers, which recover the natural $q$-analogs of these special families. Using a probabilistic model, we give several formulas for remixed Eulerian numbers for certain subfamilies, extending the known formulas for $q$-hit numbers due to Garsia and Remmel.
Some easy optimization problems have the overlap-gap property
We show that the shortest $s$-$t$ path problem has the overlap-gap property in (i) sparse $\mathbf{G}(n,p)$ graphs and (ii) complete graphs with i.i.d. Exponential edge weights. Furthermore, we demonstrate that in sparse $\mathbf{G}(n,p)$ graphs, shortest path is solved by $O(\log n)$-degree polynomial estimators, and a uniform approximate shortest path can be sampled in polynomial time. This constitutes the first example in which the overlap-gap property is not predictive of algorithmic intractability for a (non-algebraic) average-case optimization problem.
Matroid products via submodular coupling
The study of matroid products traces back to the 1970s, when Lovász and Mason studied the existence of various types of matroid products with different strengths. Among these, the tensor product is arguably the most important, which can be considered as an extension of the tensor product from linear algebra. However, Las Vergnas showed that the tensor product of two matroids does not always exist. Over the following four decades, matroid products remained surprisingly underexplored, regaining attention only in recent years due to applications in tropical geometry and the limit theory of matroids.
In this paper, inspired by the concept of coupling in probability theory, we introduce the notion of coupling for matroids -- or, more generally, for submodular set functions. This operation can be viewed as a relaxation of the tensor product. Unlike the tensor product, however, we prove that a coupling always exists for any two submodular functions and can be chosen to be increasing if the original functions are increasing. As a corollary, we show that two matroids always admit a matroid coupling, leading to a novel operation on matroids. Our construction is algorithmic, providing an oracle for the coupling matroid through a polynomial number of oracle calls to the original matroids.
We apply this construction to derive new necessary conditions for matroid representability and establish connection between tensor products and Ingleton's inequality. Additionally, we verify the existence of set functions that are universal with respect to a given property, meaning any set function over a finite domain with that property can be obtained as a quotient.
On the unimodality of nearly well-dominated trees
A polynomial is said to be unimodal if its coefficients are non-decreasing and then non-increasing. The domination polynomial of a graph $G$ is the generating function of the number of dominating sets of each cardinality in $G$. In \cite{IntroDomPoly2014} Alikhani and Peng conjectured that all domination polynomials are unimodal. In this paper we show that not all trees have log-concave domination polynomial. We also give non-increasing and non-decreasing segments of coefficents in trees. This allows us to show the domination polynomial trees with $Γ(T)-γ(T)<3$ are unimodal.
Repeated Lefschetz-like decompositions for flag doubly Cohen--Macaulay simplicial complexes and gamma vectors of flag spheres
We find decompositions of $h$-polynomials of flag doubly Cohen-Macaulay simplicial complex that yield a direct connection between gamma vectors of flag spheres and constructions used to build them geometrically. More specifically, they are determined by iterated double suspensions and a "net nonnegative set of edge subdivisions" taking it to the given flag doubly Cohen-Macaulay simplicial complex. By a "net nonnegative set of edge subdivision", we mean a collection of edge subdivisions and contractions where there are at least as many edge subdivisions as contractions.
Returning to the flag spheres, these repeated decompositions involve links over collections of disjoint edges and give an analogue of a Lefschetz map that applies to each step of the decomposition. The constructions used also give a direct interpretation of the Boolean decompositions coming from links and those of the entire simplicial complex. Roughly speaking, the Boolean vs. non-Boolean distinction is used to measure how far a flag sphere is from being the boundary of a cross polytope. An analogue of this statement for flag doubly Cohen-Macaulay simplicial complexes would replace boundaries of cross polytopes by repeated suspensions of links over edges of the given simplicial complex.
A note on the lacking polynomial of the complete bipartite graph
Published
• View Publication
• BIB
The lacking polynomial is a graph polynomial introduced by Chan, Marckert, and Selig in 2013 that is closely related to the Tutte polynomial of a graph. It arose by way of a generalization of the Abelian sandpile model and is essentially the generating function of the level statistic on the set of recurrent configurations, called stochastically recurrent states, for that model. In this note we consider the lacking polynomial of the complete bipartite graph. We classify the stochastically recurrent states of the stochastic sandpile model on the complete bipartite graphs $K_{2,n}$ and $K_{m,2}$ where the sink is always an element of the set counted by the first index. We use these characterizations to give explicit formulae for the lacking polynomials of these graphs. Log-concavity of the sequence of coefficients of these two lacking polynomials is proven, and we conjecture log-concavity holds for this general class of graphs.
A Note on the Rogers-Szegö Polynomial $q$-Differential Operators
In this paper, we introduce the Rogers-Szegö deformed $q$-differential operators g$_{n}(bD_{q}|u)$ based on $q$-differential operator $D_{q}$. The motivation for introducing the operators g$_{n}(bD_{q})$ is that their limit turns out to be the $q$-exponential operator T$(bD_{q})$ given by Chen. The deformed homogeneous Al-Salam-Carlitz polynomials $Ψ_{m}^{(q^{-n})}(ub,x|uq^{-1})$ can easily be represented by using the operators g$_{n}(bD_{q}|u)$. Identities relating the new general Al-Salam-Carlitz polynomial, defined by Cao et al., the generalized, and homogeneous Al-Salam-Carlitz polynomials $Φ_{m}^{(q^n)}(b,x|q)$ and basic hypergeometric series are given.
New arithmetic invariants for cospectral graphs
An invariant for cospectral graphs is a property shared by all cospectral graphs. In this paper, we establish three novel arithmetic invariants for cospectral graphs, revealing deep connections between spectral properties and combinatorial structures. More precisely, one of our main results shows that for any two cospectral graphs $G$ and $H$ with adjacency matrices $A(G)$ and $A(H)$, respectively, the following congruence holds for all integers $m\geq 0$:\[e^{\rm T}A(G)^me\equiv e^{\rm T}A(H)^me \pmod{4},\] where $e$ is the all-one vector. Moreover, we present a number of fascinating applications. Specifically: i) Resolving a conjecture proposed by the third author, we demonstrate that under certain conditions, every graph cospectral with a graph $G$ is determined by its generalized spectrum. ii) We demonstrate that whenever the complements of two trees are cospectral, then one tree has a perfect matching if and only if the other does. An analogous result holds for the existence of triangles in general graphs. iii) An unexpected connection to the polynomial reconstruction problem is also provided, showing that the parity of the constant term of the characteristic polynomial is reconstructible.
Hybrid Pipe Dreams for Key Polynomials
Published
• View Publication
• BIB
We develop a family of new combinatorial models for key polynomials. It is similar to the hybrid pipe dream model for Schubert polynomials defined recently by Knutson and Udell.
Chromatic polynomial and the $\mathfrak{so}$ weight system
Published
• View Publication
• BIB
In a recent paper by M.Kazarian and the second author, a recurrence for the Lie algebras $\mathfrak{so}(N)$ weight systems has been suggested; the recurrence allows one to construct the universal $\mathfrak{so}$ weight system. The construction is based on an extension of the $\mathfrak{so}$ weight systems to permutations. Another recent paper, by M. Kazarian, N. Kodaneva, and the first author, shows that under the substitution $C_m=xN^{m-1}, m=1,2,\dots,$ for the Casimir elements $C_m$, the leading term in $N$ of the value of the universal $\mathfrak{gl}$ weight system becomes the chromatic polynomial of the intersection graph of the chord diagram. In the present paper, we establish a similar result for the universal $\mathfrak{so}$ weight system. That is, we show that the leading term of the universal $\mathfrak{so}$ weight system also becomes the chromatic polynomial under a specific substitution.
Scattered polynomials: an overview on their properties, connections and applications
Published
• View Publication
• BIB
The aim of this survey is to outline the state of the art in research on a class of linearized polynomials with coefficients over finite fields, known as scattered polynomials. These have been studied in several contexts, such as in [A. Blokhuis, M. Lavrauw. Scattered spaces with respect to a spread in $\mathrm{PG}(n, q)$. Geometriae Dedicata 81(1) (2000), 231-243] and [G. Lunardon, O. Polverino. Blocking sets and derivable partial spreads. J. Algebraic Combin. 14 (2001), 49-56]. Recently, their connection to maximum rank-metric codes was brought to light in [J. Sheekey. MRD codes: Constructions and connections. In K.-U. Schmidt and A. Winterhof, editors, Combinatorics and Finite Fields, De Gruyter (2019), 255-286]. This link has significantly advanced their study and investigation, sparking considerable interest in recent years. Here, we will explore their relationship with certain subsets of the finite projective line $\mathrm{PG}(1, q^n)$ known as maximum scattered linear sets, as well as with codes made up of square matrices of order $n$ equipped with the rank metric. We will review the known examples of scattered polynomials up to date and discuss some of their key properties. We will also address the classification of maximum scattered linear sets of the finite projective line $\mathrm{PG}(1, q^n)$ for small values of $n$ and discuss characterization results for the examples known so far. Finally, we will retrace how each scattered polynomial gives rise to a translation plane, as discussed in [V. Casarino, G. Longobardi, C. Zanella. Scattered linear sets in a finite projective line and translation planes, Linear Algebra Appl. 650 (2022), 286-298] and in [G. Longobardi, C. Zanella, A standard form for scattered linearized polynomials and properties of the related translation planes, J. Algebr. Comb. 59(4) (2024), 917-937].
Cyclic ordering of split matroids
There is a long list of open questions rooted in the same underlying problem: understanding the structure of bases or common bases of matroids. These conjectures suggest that matroids may possess much stronger structural properties than are currently known. One example is related to cyclic orderings of matroids. A rank-$r$ matroid is called cyclically orderable if its ground set admits a cyclic ordering such that any interval of $r$ consecutive elements forms a basis. In this paper, we show that if the ground set of a split matroid decomposes into pairwise disjoint bases, then it is cyclically orderable. This result answers a conjecture of Kajitani, Ueno, and Miyano in a special case, and also strengthens Gabow's conjecture for this class of matroids. Our proof is algorithmic, hence it provides a procedure for determining a cyclic ordering in question using a polynomial number of independence oracle calls.
A lower bound on forcing numbers based on height functions
Published
• View Publication
• BIB
We establish a lower bound on the forcing numbers of domino tilings computable in polynomial time based on height functions. This lower bound is sharp for a 2n by 2n square as well as other cases.
Using polynomials to find lower bounds for $r$-bond bootstrap percolation
The $r$-bond bootstrap percolation process on a graph $G$ begins with a set $S$ of infected edges of $G$ (all other edges are healthy). At each step, a healthy edge becomes infected if at least one of its endpoints is incident with at least $r$ infected edges (and it remains infected). If $S$ eventually infects all of $E(G)$, we say $S$ percolates. In this paper we provide recursive formulae for the minimum size of percolating sets in several large families of graphs. We utilise an algebraic method introduced by Hambardzumyan, Hatami, and Qian, and substantially extend and generalise their work.