polynomial
11422 papers tagged with this keyword
A law of large numbers for Macdonald coherent measures
We resolve a conjecture on the law of large numbers for coherent measures on Young diagrams associated with Macdonald-nonnegative specializations of the algebra of symmetric functions for all $0\le q,t<1$. We prove that row and column lengths divided by the diagram size converge to the corresponding specialization parameters. The proof combines a monomial estimate for skew Macdonald polynomials with exponential tilting and binomial decompositions obtained from the branching rule for the polynomials.
Chern flow and Chern moment algebras
We construct realizable-volume models over every field for the factorial normalizations of homogeneous Lascoux, Lascoux-atom, and positive Grothendieck packets, including their minimal homogenizations and layers. In particular, the construction realizes the factorial normalizations of all Schubert and key polynomials and of the minimal sign-corrected homogeneous Grothendieck polynomials. The normalized polynomials are Lorentzian, and the ordinary supports are the lattice points of integral generalized polymatroids. On a Bott--Samelson tower, row and co-row filtrations assemble the local factors into globally generated bundles; a creation-state graph absorbs the remaining kernel factors by Chern flow.
We also construct intrinsic algebras of joint Chern moments. Positive inverse-Chern presentations give these algebras Hard Lefschetz and Hodge--Riemann relations, and supply source-level Hodge completions of the packets. For globally generated tropical toric bundles in the sense of Kaveh--Manon, finite generating witnesses and matroid duality provide the presentations required by Larson--Partida's theorem, without representability. These constructions yield joint Chern-number inequalities, nonvanishing polymatroids, and equality criteria.
Canon Permutation Posets
A permutation of the multiset $\{1^m,2^m,\dots,n^m\}$ is a canon permutation if the subsequence formed by the $j$th copy of each element of $[n]:=\{1,2,\dots,n\}$ is identical for all $j\in[m]$. Canon permutations were introduced by Elizalde and are motivated by pattern-avoiding concepts such as (quasi-)Stirling permutations. He proved that the descent polynomial of canon permutations exhibits a surprising product structure; as a further consequence, it is palindromic. Our goal is to understand canon permutations from the viewpoint of Stanley's $(P,ω)$-partitions, along the way generalizing Elizalde's definition and results. We start with a labeled poset $P$ and extend it in a natural way to canon labelings of the product poset $P \times [n]$. The resulting descent polynomial has a product structure which arises naturally from the theory of $(P,ω)$-partitions and simplifies existing proofs. When $P$ is graded, this theory also implies palindromicity. We include results on weak descent polynomials, an amphibian construction between canon permutations and multiset permutations, giving rise to dissonant canon permutations, as well as $γ$-positivity and interpretations of descent polynomials of canon permutations.
Descent generating polynomials for ($n-3$)- and ($n-4$)-stack-sortable (pattern-avoiding) permutations
In this paper, we find distribution of descents over $(n-3)$- and $(n-4)$-stack-sortable permutations in terms of Eulerian polynomials. Our results generalize the enumeration results by Claesson, Dukes, and Steingr\'ımsson on $(n-3)$- and $(n-4)$-stack-sortable permutations. Moreover, we find distribution of descents on $(n-2)$-, $(n-3)$- and $(n-4)$-stack-sortable permutations that avoid any given pattern of length 3, which extends known results in the literature on distribution of descents over pattern-avoiding 1- and 2-stack-sortable permutations. Our distribution results also give enumeration of $(n-2)$-, $(n-3)$- and $(n-4)$-stack-sortable permutations avoiding any pattern of length 3. One of our conjectures links our work to stack-sorting with restricted stacks, and the other conjecture states that 213-avoiding permutations sortable with $t$ stacks are equinumerous with 321-avoiding permutations sortable with $t$ stacks for any $t$.
Derandomizing Matrix Concentration Inequalities from Free Probability
Recently, sharp matrix concentration inequalities~\cite{BBvH23,BvH24} were developed using the theory of free probability. In this work, we design polynomial time deterministic algorithms to construct outcomes that satisfy the guarantees of these inequalities. As direct consequences, we obtain polynomial time deterministic algorithms for the matrix Spencer problem~\cite{BJM23} and for constructing near-Ramanujan graphs. Our proofs show that the concepts and techniques in free probability are useful not only for mathematical analyses but also for efficient computations.
A Rigidity Property of the Deformed q-Exponential Function
The deformed \(q\)-exponential function \[ e_q(z,u) = \sum_{n=0}^{\infty} u^{\binom{n}{2}} \frac{z^n}{(q;q)_n} \] provides a common framework containing several classical \(q\)-exponential functions as particular cases, including the Jackson \(q\)-exponentials \(e_q(z)\) and \(E_q(z)\). In this paper we investigate the multiplicative inversion problem \[ e_q(z,u)e_q(-z,v)=1, \] and determine all pairs of deformation parameters \((u,v)\) for which this identity holds. To this end, we introduce a family of coefficient polynomials whose common zeros characterize the inversion property. A geometric analysis of the first nontrivial coefficients reduces the problem to two parameter branches. The symmetric branch is excluded through a parity phenomenon, while the nonsymmetric branch is completely determined by the first two coefficient constraints. As a consequence, we prove a rigidity theorem showing that \[ e_q(z,u)e_q(-z,v)=1 \] if and only if \[ (u,v)=(1,q) \qquad\text{or}\qquad (u,v)=(q,1). \] Thus the classical Jackson inversion identity is rigid within the deformed family and no new multiplicative inversion identities arise from the deformation parameter.
A Novel Approach to Counterexamples of the Polujan-Pott Conjecture via Set-Partition Permutations
In this paper, we settle a conjecture of Polujan and Pott by constructing an explicit, infinite family of Maiorana--McFarland bent functions $f_t$ in $2(2^t-1)$ variables with algebraic degree $°(f_t) = t + 1$ for any integer $t \ge 2$. Our construction builds upon a minimal commutative algebra $I_t$, which naturally induces a triangular set-partition polynomial permutation $P_t$. By identifying an elementary abelian subgroup within the direct sum $ I_t \oplus I_t^*$, we establish an explicit nonlinear coordinate transformation that pulls $f_t$ back to a canonical quadratic form. This linearizes the translation development $\operatorname{Dev}(D_{f_t})$ under an exotic group structure and proves that it is isomorphic to the classical symplectic design $S^\pm(2(2^t-1))$, thereby fully resolving the conjecture.
Polynomial corners in finite fields beyond the distinct-degree case
We prove a quantitative polynomial Roth theorem for corners in \(\mathbb F_p^2\) for arbitrary pairs of linearly independent polynomials. More precisely, given a positive integer $d$, there are constants $p_0$ and $C$ (depending only on $p$) so that for every $ p>p_0$, if polynomials \(ϕ_1,ϕ_2\in \mathbb \mathbb{F}_p [y]\) are of degree $\leq d$ vanishing at $0$ and are not linearly dependent, then every \(A\subset\mathbb F_p^2\) with $ |A|\ge C p^{2-1/14} $ contains a nontrivial corner $$ (x_1,x_2),\qquad (x_1+ϕ_1(y),x_2),\qquad (x_1,x_2+ϕ_2(y)) $$ for some \(y\in\mathbb F_p^\times\). This improves the estimate $p^{2-1/16}$ of Han--Lacey--Yang and removes the distinct-degree restriction from their quantitative theorem.
The main obstruction is the equal-degree resonant case, where the Jacobian argument of Han--Lacey--Yang degenerates. We adjoin the frequency-independent part of the phase to form an augmented map \(\widetilde F:W\to\mathbb A^3\) from the correlation threefold. We prove that this map is generically finite on every top-dimensional geometric component and has no two-dimensional fibre. Using the associated Artin--Schreier sheaf and Katz--Laumon estimates for Fourier transform of perverse sheaves, we obtain square-root cancellation outside an algebraic exceptional set of dimension at most one and uniformly bounded degree. A separate curve-sum argument gives uniform control on the exceptional set. An \(\ell^2\) matrix estimate adapted to such sets completes the resonant case.
Independence polynomials and the weak Lefschetz property for tadpole graphs
Let $T_{m,n}$ be the tadpole graph obtained by joining a cycle $C_m$ to a path $P_n$ by a bridge. We prove that the independence polynomial of every tadpole graph is unimodal and establish sharp bounds for its mode. The unimodality result follows from a general criterion for graphs obtained by attaching a path to a fixed vertex. Over a field of characteristic zero, we also give a complete classification of the pairs $(m,n)$ for which the Artinian algebra defined by the edge ideal of $T_{m,n}$ together with the squares of all variables has the weak Lefschetz property.
Coincidences and Growth of Boxed Mesh Patterns
A boxed mesh pattern is a mesh pattern whose selected entries lie in an empty axis-parallel rectangle. We classify coincidences of boxed patterns with classical and vincular patterns, exhibit a genuinely bivincular coincidence, and prove that no boxed--bivincular coincidence occurs for patterns of length at least five. Together with known results, this shows that every boxed pattern of length at least five has factorial growth and hence fails the Stanley--Wilf property. At length four, one exceptional orbit is enumerated by the semi-Baxter numbers, while the remaining exceptional orbit, $\{2143,3412\}$, is unresolved; we conjecture that it has factorial growth.
For Box(123), we derive an exact maximum-insertion identity and prove the subfactorial upper bound $2^{5n}n^{βn}$, where $β=\log_2(2\cos(π/7))<0.85$. A closed enumeration remains open. We also prove a general first-moment formula for boxed mesh patterns that depends only on the length of the underlying pattern; in particular, the expected number of Box(123) occurrences in a uniformly random permutation of length $n$ is asymptotic to $n\log n$.
For Box(12), we identify the occurrence statistic with the up-degree in the strong Bruhat order, obtaining its maximum, its mean, and an exact insertion identity for the distribution polynomials. We conjecture that the coefficients of these polynomials are unimodal.
The structure of automorphism groups of zero-dimensional monomial algebras
Let $A$ be a zero-dimensional monomial algebra over an algebraically closed field of characteristic zero, that is, a finite-dimensional quotient of a polynomial ring by a monomial ideal. Its automorphism group $G$ is a linear algebraic group, described through the homogeneous nilpotent derivations of $A$. We analyze the structure of $G$ in detail. Its identity component $G^0$ is a semidirect product of its unipotent radical and a reductive subgroup isomorphic to a product of general linear groups, and for each root degree we characterize when the associated derivations give rise to an additive root subgroup, and determine its dimension. Using the Lie brackets of these derivations, we then give an explicit algorithm that produces, out of the minimal monomial generators of the ideal, a family of root subgroups generating $G^0$ together with a maximal torus. Such a family is minimal in the generic case. We also show that the component group $G/G^0$ can be arbitrary: every finite group arises as the component group of the automorphism group of some zero-dimensional monomial algebra. Finally, we apply these results to the algebras $\mathbf{k}[\mathbf{x}]/\mathfrak{m}^d$, showing that the subgroup generated by a maximal torus and the outer root subgroups is exactly the subgroup of automorphisms with constant Jacobian determinant, and we deduce from this a new proof of Anick's theorem on the density of the tame automorphisms of $\mathbf{k}[\mathbf{x}]$.
Constructive recurrences for determinants and permanents of banded Toeplitz matrices
For fixed nonnegative integers $m_1,m_2$, let $A_n=(a_{j-i})_{i,j=1}^n$ be the leading $n\times n$ section of a Toeplitz matrix with lower and upper semibandwidths $m_1$ and $m_2$. We give two constructive Laplace-expansion methods for scalar recurrences of $\det A_n$ and $\perm A_n$. The increasing-rows method eliminates a fixed family of boundary cofactors and gives recurrence order at most $d=\binom{m_1+m_2}{m_1}$ for both sequences. The row-column method closes normalized boundary minors recursively and packages them in a sparse transfer matrix. Its reachable states are classified exactly: level $j$ is indexed by a pair of $j$-subsets of $[m_1]$ and $[m_2]$. Hence the transfer dimension is $d$, and we obtain an explicit formula for the number of nonzero transitions.
For determinants, the complementary cofactors of the increasing-rows construction are coordinates of the classical compound companion representation. The independently constructed row-column transfer has the Widom characteristic polynomial and is generically similar to the compound transfer. Thus the order $d$ recurrence is generically minimal for the unrestricted fixed-band determinant family. For permanents the same state graph gives the binomial upper bound, without a general minimality claim. The pentadiagonal case recovers Sweet's order-six determinant recurrence and its permanent analogue, while the one-superdiagonal family gives closed scalar recurrences and rational generating functions. Position-dependent band weights preserve the finite state graph but replace the constant transfer by a cocycle. For cyclic determinants, Fourier diagonalization produces all subset products of the symbol roots and a generically minimal annihilator of degree $2^{m_1+m_2}$, corresponding to the passage from one exterior degree to the full exterior algebra.
Counting Lie ideals of niltriangular matrices
We give an explicit finite sum for the number of ideals of the Lie algebra of strictly lower triangular $n\times n$ matrices over $\mathbb F_q$, valid for every prime power $q$. The sum runs over integer compositions, with weights expressed using ordinary and Gaussian binomial coefficients. A contraction bijection transforms Gagnon's configuration sum into a weighted enumeration of nonnesting partitions, with antichains of intervals chosen independently in each block. We derive a Stieltjes continued fraction for the block weights. Lagrange inversion and the coefficient formula for Stieltjes--Rogers polynomials then yield the explicit sum.
Exponential Lower Bounds for the Pfaffian Number of Graphs
Galluccio--Loebl and Tesler showed that the perfect-matching polynomial of a graph embedded in an orientable surface of genus $g$ can be written as a linear combination of at most $4^g$ Pfaffians. We show that, in general, exponentially many Pfaffians are necessary. More precisely, for every $g\ge1$, there exists a graph of orientable genus at most $g$ whose perfect-matching polynomial requires at least $(8/3)^g$ Pfaffians in any such linear representation. In particular, for every even integer $n\ge6$, there is a graph on $n$ vertices with Pfaffian number at least $(8/3)^{\lfloor n/6\rfloor}$. Moreover, the lower bound is witnessed even by cubic bipartite matching-covered graphs. We prove this by showing that expressing the permanent of an $n\times n$ matrix of distinct variables as a linear combination of determinants obtained by changing signs of its entries requires exponentially many determinants. As a consequence, we improve a recent linear lower bound on the Pfaffian number due to Junchaya, Miranda, and Lucchesi to an exponential lower bound.
One Unit Separates Polynomial Time from Undecidability in Term Coding
Term coding provides a common algebraic framework for network coding, index coding and problems in extremal combinatorics. We exhibit a decision problem in which lowering an output threshold by just one changes the complexity from polynomial time to undecidability: no algorithm then halts with the correct answer on every input. The problem concerns dispersion, the maximum number of distinct output tuples obtainable by interpreting the function symbols in a tuple of terms on a finite alphabet. We restrict inputs by inequalities between terms and ask whether a given instance meets a prescribed output threshold for some alphabet size at least two. Both thresholds are considered on the same class of instances. A machine-checked Lean development and an interactive presentation of the paper accompany this work (GitHub: https://github.com/SR123/term-coding-disequality-lean; DOI: 10.5281/zenodo.22727895); Section 8 specifies its external input and verification limits.
Partial-Twuality Polynomials of Paired Matrices
Gross, Mansour, and Tucker~[European Journal of Combinatorics, 95 (2021): 103329] introduced the \emph{partial-twuality polynomials} of ribbon graphs. Recently, Deng, Jin, and Yan generalized the partial-twuality polynomials to the framework of matrix algebra and investigated several of their basic properties. They asked whether there exist matrix operations, called partial duality $δ$ and partial Petrie duality $τ$, on pairs $(M,A)$, where $M$ is a square matrix whose rows and columns are indexed by a finite set $V$ and $A\subseteq V$, such that $δ^2=τ^2=(δτ)^3=id$ and the exponent of the partial-twuality polynomials coincides with some parameter of the matrix obtained by applying \(\bullet\) to \((M, A)\). In this paper, we introduce a paired-matrix framework for partial-twuality polynomials over the binary field $\mathbb{GF}(2)$. We prove that there exist two local operations \(δ\) and \(τ\) on \(\bigl((M,I_{|V|}),A\bigr)\) satisfying $δ^2=τ^2=(δτ)^3=id$ and $P_{\langle \bullet \rangle}((M,I_{|V|}),z)=P_{\langle \bullet \rangle}(M,z)$ for $\bullet \in \{δ, τ, δτ, τδ, δτδ\}$, thereby answering their question affirmatively. Finally, we establish a recurrence relation for the partial \(\langleδτδ\rangle\)-polynomial with respect to an edge. This recurrence enables the computation of the partial \(\langleδτδ\rangle\)-polynomial for certain bouquets, simple graphs, and simple signed graphs.
Oriented and Valuated Delta Matroids from Stable Polynomials
Stable polynomials are the natural multivariate generalization of real rooted univariate polynomials. While their definition is purely algebraic in nature, they have deep connections to combinatorics. One such connection is the support theorem proved by Brändén in 2007, showing that the support of any stable polynomial is a jump system, and hence that the support of any multiaffine stable polynomial is a $Δ$-matroid. In this work, we generalize this result, showing that coefficients of multiaffine real stable polynomials give rise to oriented $Δ$-matroids, and coefficients of multiaffine stable polynomials over Puiseux series give rise to valuated $Δ$-matroids.
First-Derivative Chromatic Symmetric Reconstruction For Proper Trees
Let $T$ be a tree. Stanley asked whether the chromatic symmetric function $X_T$ determines $T$ up to isomorphism. We approach this open problem by regarding $X_T$ as a polynomial in the power-sum symmetric functions $p_1, p_2, \dots$ and studying the invariant $Φ_T = (\partial X_T/\partial p_1)|_{p_1 = 0}$. We prove that $Φ_T$ distinguishes every proper tree whose weighted skeleton, the tree obtained from $T$ by weighted contraction of all leaf edges, has distinct weights at non-leaf vertices. We prove further an equivalent formulation of Stanley's question obtained by attaching a fixed positive number of leaves to every vertex of a tree. Finally, we count spanning forests with at most $t$ edges, grouping them by the sizes of their connected components. We prove that these counts cannot distinguish all trees on $k \ge 4$ vertices unless $t \ge \lfloor k/2 \rfloor$.
Prescribed Turán sign patterns for inverse Kazhdan-Lusztig polynomials of matroids
Gao and Xie conjectured that the coefficients of the ordinary, unnormalized inverse Kazhdan-Lusztig polynomial of every matroid are log-concave with no internal zeros. We give counterexamples and prove locality and composition formulas for deletions of projective charts. For every finite field and every nonempty finite set S contained in {2, 3, ...}, these formulas yield simple 3-connected matroids whose negative internal Turán determinants occur exactly at S. Their coefficients are positive and strictly decreasing. The polynomial degree can be prescribed above max S, and all selected Turán ratios can tend to zero simultaneously. The universal first-index inequality remains open.
Quantum entropy and the Bannai--Ito multiplicity conjecture
We prove that the multiplicities of every symmetric $Q$-polynomial association scheme form a log-concave sequence. This resolves the 1984 unimodality conjecture of Bannai and Ito and establishes both related inequalities conjectured by Stanton. Our proof is a novel application of strong subadditivity and weak monotonicity inequalities for quantum entropy.