polynomial
11422 papers tagged with this keyword
A combinatorial formula for the coefficients of multidimensional resultants
Published
• View Publication
• BIB
The classical multidimensional resultant can be defined as the, suitably normalized, generator of a projective elimination ideal in the ring of universal coefficients. This is the approach via the so-called inertia forms or Trägheitsformen. Using clever substitutions, Mertens and Hurwitz gave a criterion, for recognizing such inertia forms, which amounts to a linear system for their numerical coefficients. In this article we explicitly solve this linear system. We do so by identifying a subset of the available equations which forms a unitriangular system. The key notion we use is that of transversal, i.e., a selection of a monomial term in each of the homogeneous polynomials at hand. We need two such transversals which are disjoint and extremal, in the sense that they relate to extremizers of a, possibly new, determinantal inequality for differences of two substochastic matrices. Thanks to this notion of extremal pair of transversals, we derive an explicit formula for the coefficients of general multidimensional resultants, as a sum of terms made of a sign times a product of multinomial coefficients, thereby explicitly showing they are integer-valued. As an application of our formula, we recover Sombra's bound on the height of resultants, in the classical case.
An identity involving $h$-polynomials of poset associahedra and type B Narayana polynomials
For any finite connected poset $P$, Galashin introduced a simple convex $(|P|-2)$-dimensional polytope $\mathscr{A}(P)$ called the poset associahedron. Let $P$ be a poset with a proper autonomous subposet $S$ that is a chain of size $n$. For $1\leq i \leq n$, let $P_i$ be the poset obtained from $P$ by replacing $S$ by an antichain of size $i$. We show that the $h$-polynomial of $\mathscr{A}(P)$ can be written in terms of the $h$-polynomials of $\mathscr{A}(P_i)$ and type B Narayana polynomials. We then use the identity to deduce several identities involving Narayana polynomials, Eulerian polynomials, and stack-sorting preimages.
A degree bound for planar functions
Published in Comb. Theory 5(3): #17 (2025)
• View Publication
• BIB
Using Stickelberger's theorem on Gauss sums, we show that if $F$ is a planar function on a finite field $\mathbb{F}_q$, then for all non-zero functions $G : \mathbb{F}_q \to \mathbb{F}_q$, we have \begin{equation*} d_{\mathsf{alg}}(G \circ F) - d_{\mathsf{alg}}(G) \le \frac{n(p-1)}{2}, \end{equation*} where $q = p^n$ with $p$ a prime and $n$ a positive integer, and $d_{\mathsf{alg}}(F)$ is the algebraic degree of $F$, i.e., the maximum degree of the corresponding system of $n$ lowest-degree interpolating polynomials for $F$ considered as a function on $\mathbb{F}_p^n$. This bound implies the (known) classification of planar polynomials over $\mathbb{F}_p$ and planar monomials over $\mathbb{F}_{p^2}$. As a new result, using the same degree bound, we complete the classification of planar monomials for all $n = \smash{2^k}$ with $p>5$ and $k$ a non-negative integer. Finally, we state a conjecture on the sum of the base-$p$ digits of integers modulo $q-1$ that implies the complete classification of planar monomials over finite fields of characteristic $p>5$.
Weak coloring numbers of minor-closed graph classes
Published
• View Publication
• BIB
We study the growth rate of weak coloring numbers of graphs excluding a fixed graph as a minor. Van den Heuvel et al. (European J. of Combinatorics, 2017) showed that for a fixed graph $X$, the maximum $r$-th weak coloring number of $X$-minor-free graphs is polynomial in $r$. We determine this polynomial up to a factor of $\mathcal{O}(r \log r)$. Moreover, we tie the exponent of the polynomial to a structural property of $X$, namely, $2$-treedepth. As a result, for a fixed graph $X$ and an $X$-minor-free graph $G$, we show that $\mathrm{wcol}_r(G)= \mathcal{O}(r^{\mathrm{td}(X)-1}\mathrm{log}\ r)$, which improves on the bound $\mathrm{wcol}_r(G) = \mathcal{O}(r^{g(\mathrm{td}(X))})$ given by Dujmović et al. (SODA, 2024), where $g$ is an exponential function. In the case of planar graphs of bounded treewidth, we show that the maximum $r$-th weak coloring number is in $\mathcal{O}(r^2\mathrm{log}\ r$), which is best possible.
Linear causal disentanglement via higher-order cumulants
Published
• View Publication
• BIB
Linear causal disentanglement is a recent method in causal representation learning to describe a collection of observed variables via latent variables with causal dependencies between them. It can be viewed as a generalization of both independent component analysis and linear structural equation models. We study the identifiability of linear causal disentanglement, assuming access to data under multiple contexts, each given by an intervention on a latent variable. We show that one perfect intervention on each latent variable is sufficient and in the worst case necessary to recover parameters under perfect interventions, generalizing previous work to allow more latent than observed variables. We give a constructive proof that computes parameters via a coupled tensor decomposition. For soft interventions, we find the equivalence class of latent graphs and parameters that are consistent with observed data, via the study of a system of polynomial equations. Our results hold assuming the existence of non-zero higher-order cumulants, which implies non-Gaussianity of variables.
On Polynomial Representations of Dual DP Color Functions
Published
• View Publication
• BIB
DP-coloring (also called correspondence coloring) is a generalization of list coloring that was introduced by Dvořák and Postle in 2015. The chromatic polynomial of a graph is an important notion in algebraic combinatorics that was introduced by Birkhoff in 1912; denoted $P(G,m)$, it equals the number of proper $m$-colorings of graph $G$. Counting function analogues of chromatic polynomials have been introduced for list colorings: $P_{\ell}$, list color functions (1990); DP colorings: $P_{DP}$, DP color functions (2019), and $P^*_{DP}$, dual DP color functions (2021). For any graph $G$ and $m \in \mathbb{N}$, $P_{DP}(G, m) \leq P_\ell(G,m) \leq P(G,m) \leq P_{DP}^*(G,m)$. In 2022 (improving on older results) Dong and Zhang showed that for any graph $G$, $P_{\ell}(G,m)=P(G,m)$ whenever $m \geq |E(G)|-1$. Consequently, the list color function of a graph is a polynomial for sufficiently large $m$. One of the most important and longstanding open questions on DP color functions asks: for every graph $G$ is there an $N \in \mathbb{N}$ and a polynomial $p(m)$ such that $P_{DP}(G,m) = p(m)$ whenever $m \geq N$? We show that the answer to the analogue of this question for dual DP color functions is no. Our proof reveals a connection between a dual DP color function and the balanced chromatic polynomial of a signed graph introduced by Zaslavsky in 1982.
Supersymmetric polynomials and algebro-combinatorial duality
Published in SciPost Phys. 17, 119 (2024)
• View Publication
• BIB
In this note we develop a systematic combinatorial definition for constructed earlier supersymmetric polynomial families. These polynomial families generalize canonical Schur, Jack and Macdonald families so that the new polynomials depend on odd Grassmann variables as well. Members of these families are labeled by respective modifications of Young diagrams. We show that the super-Macdonald polynomials form a representation of a super-algebra analog $\mathsf{T}(\widehat{\mathfrak{gl}}_{1|1})$ of Ding-Ioahara-Miki (quantum toroidal) algebra, emerging as a BPS algebra of D-branes on a conifold. A supersymmetric modification for Young tableaux and Kostka numbers are also discussed.
Universal piecewise polynomiality for counting curves in toric surfaces
Inspired by piecewise polynomiality results of double Hurwitz numbers, Ardila and Brugallé introduced an enumerative problem which they call double Gromov--Witten invariants of Hirzebruch surfaces. These invariants serve as a two-dimensional analogue and satisfy a similar piecewise polynomial structure. More precisely, they introduced the enumeration of curves in Hirzebruch surfaces satisfying point conditions and tangency conditions on the two parallel toric boundaries. These conditions are stored in four partitions and the resulting invariants are piecewise polynomial in their entries. Moreover, they found that these expressions also behave polynomially with respect to the parameter determining the underlying Hirzebruch surfaces. Based on work of Ardila and Block, they proposed that such a polynomiality could also hold while changing between more general toric surfaces corresponding to $h$-transverse polygons. In this work, we answer this question affirmatively. Moreover, we express the resulting invariants for $h$-transverse polygons as matrix elements in the two-dimensional bosonic Fock space.
A remark on the Whitney Broken Circuit Theorem
Published
• View Publication
• BIB
In the present note we show, via the connection between chromatic polynomial and Potts model, that the Whitney Broken circuit theorem is in fact a special case of a more general identity relating the chromatic polynomial of a graph G=(V,E) to sums over forests of G associated to some partition scheme in G.
Monomial web basis for the SL(N) skein algebra of the twice punctured sphere
Published
• View Publication
• BIB
We give a new proof of a slightly modified version of a result of Queffelec--Rose, by constructing a linear basis for the $\mathrm{SL}(n)$ skein algebra of the twice punctured sphere for any non-zero complex number $q$, excluding finitely many roots of unity of small order. In particular, the skein algebra is a commutative polynomial algebra in $n-1$ generators, where each generator is represented by an explicit $\mathrm{SL}(n)$ web, without crossings, on the surface. This includes the case $q=1$, where the skein algebra is identified with the coordinate ring of the $\mathrm{SL}(n)$ character variety of the twice punctured sphere. The proof of both the spanning and linear independence properties of the basis depends on the so-called $\mathrm{SL}(n)$ quantum trace map, due originally to Bonahon--Wong in the case $n=2$. Two consequences of our method are that the quantum trace map and the so-called splitting map embed the polynomial algebra into the Fock--Goncharov quantum higher Teichmüller space and the Lê--Sikora stated skein algebra, respectively, of the annulus. We end by discussing the relationship with Fock--Goncharov duality.
Revisiting sums and products in countable and finite fields
Published in Ergod. Th. Dynam. Sys. 46 (2026) 543-574
• View Publication
• BIB
We establish a polynomial ergodic theorem for actions of the affine group of a countable field $K$. As an application, we deduce--via a variant of Furstenberg's correspondence principle--that for fields of characteristic zero, any "large" set $E\subset K$ contains "many" patterns of the form $\{p(x)+y,xy\}$, for every non-constant polynomial $p(x)\in K[x]$.
Our methods are flexible enough that they allow us to recover analogous density results in the setting of finite fields and, with the aid of a new finitistic variant of Bergelson's "colouring trick", show that for $r\in \mathbb{N}$ fixed, any $r-$colouring of a large enough finite field will contain monochromatic patterns of the form $\{x,p(x)+y,xy\}$.
In a different direction, we obtain a double ergodic theorem for actions of the affine group of a countable field. An adaptation of the argument for affine actions of finite fields leads to a generalisation of a theorem of Shkredov. Finally, to highlight the utility of the aforementioned finitistic "colouring trick", we provide a conditional, elementary generalisation of Green and Sanders' $\{x,y,x+y,xy\}$ theorem.
Unimodality and peak location of the characteristic polynomials of two distance matrices of trees
Published
• View Publication
• BIB
Unimodality of the normalized coefficients of the characteristic polynomial of distance matrices of trees are known and bounds on the location of its peak (the largest coefficient) are also known. Recently, an extension of these results to distance matrices of block graphs was given. In this work, we extend these results to two additional distance-type matrices associated with trees: the Min-4PC matrix and the 2-Steiner distance matrix. We show that the sequences of coefficients of the characteristic polynomials of these matrices are both unimodal and log-concave. Moreover, we find the peak location for the coefficients of the characteristic polynomials of the Min-4PC matrix of any tree on $n$ vertices. Further, we show that the Min-4PC matrix of any tree on $n$ vertices is isometrically embeddable in $\mathbb{R}^{n-1}$ equipped with the $\ell_1$ norm.
Schubert polynomial expansions revisited
Published in Forum of Mathematics, Sigma 13 (2025) e106
• View Publication
• BIB
We give an elementary approach utilizing only the divided difference formalism for obtaining expansions of Schubert polynomials that are manifestly nonnegative, by studying solutions to the equation $\sum Y_i\partial_i=\mathrm{id}$ on polynomials with no constant term. This in particular recovers the pipe dream and slide polynomial expansions. We also show that slide polynomials satisfy an analogue of the divided difference formalisms for Schubert polynomials and forest polynomials, which gives a simple method for extracting the coefficients of slide polynomials in the slide polynomial decomposition of an arbitrary polynomial.
Chromatic polynomials of signed graphs and dominating-vertex deletion formulae
Published
• View Publication
• BIB
We exhibit non-switching-isomorphic signed graphs that share a common underlying graph and common chromatic polynomials, thereby answering a question posed by Zaslavsky. For various joins of all-positive or all-negative signed complete graphs, we derive a closed-form expression for their chromatic polynomials. As a generalisation of the chromatic polynomials for a signed graph, we introduce a new pair of bivariate chromatic polynomials. We establish recursive dominating-vertex deletion formulae for these bivariate chromatic polynomials. Finally, we show that for certain families of signed threshold graphs, isomorphism is equivalent to the equality of bivariate chromatic polynomials.
Duality for the $\mathfrak{sl}_2$ weight system
The $\mathfrak{sl}_2$ weight system, corresponding to the colored Jones polynomial of knots, is one of the the simplest weight system for chord diagrams. Recent works have led to explicit computations of this weight system on chord diagrams with complete and complete bipartite intersection graphs using $\mathfrak{sl}_2$ weight systems on shares, i.e., on chord diagrams on two strands.
In this paper, we continue our study of shares. We prove a conjecture by Lando about a duality of values of the $\mathfrak{sl}_2$ weight system on chord diagrams whose intersection graphs are joins of complementary graphs with discrete ones. To achieve this, we introduce the two-colored intersection graph of shares, define the inner product of shares, and use chord-adding operators.
The $S_3$-symmetric tridiagonal algebra
Published
• View Publication
• BIB
The tridiagonal algebra is defined by two generators and two relations, called the tridiagonal relations. Special cases of the tridiagonal algebra include the $q$-Onsager algebra, the positive part of the $q$-deformed enveloping algebra $U_q({\widehat{\mathfrak{sl}}}_2)$, and the enveloping algebra of the Onsager Lie algebra.
In this paper, we introduce the $S_3$-symmetric tridiagonal algebra. This algebra has six generators. The generators can be identified with the vertices of a regular hexagon, such that nonadjacent generators commute and adjacent generators satisfy a pair of tridiagonal relations. For a $Q$-polynomial distance-regular graph $Γ$ we turn the tensor power $V^{\otimes 3}$ of the standard module $V$ into a module for an $S_3$-symmetric tridiagonal algebra.
We investigate in detail the case in which $Γ$ is a Hamming graph. We give some conjectures and open problems.
Symplectic Grassmannians and Cyclic Quivers
Published
• View Publication
• BIB
The goal of this paper is to extend the quiver Grassmannian description of certain degenerations of Grassmann varieties to the symplectic case. We introduce a symplectic version of quiver Grassmannians studied in our previous papers and prove a number of results on these projective algebraic varieties. First, we construct a cellular decomposition of the symplectic quiver Grassmannians in question and develop combinatorics needed to compute Euler characteristics and Poincaré polynomials. Second, we show that the number of irreducible components of our varieties coincides with the Euler characteristic of the classical symplectic Grassmannians. Third, we describe the automorphism groups of the underlying symplectic quiver representations and show that the cells are the orbits of this group. Lastly, we provide an embedding into the affine flag varieties for the affine symplectic group.
Enumeration of minimal transversals of hypergraphs of bounded VC-dimension
We consider the problem of enumerating all minimal transversals (also called minimal hitting sets) of a hypergraph $\mathcal{H}$. An equivalent formulation of this problem known as the \emph{transversal hypergraph} problem (or \emph{hypergraph dualization} problem) is to decide, given two hypergraphs, whether one corresponds to the set of minimal transversals of the other. The existence of a polynomial time algorithm to solve this problem is a long standing open question. In \cite{fredman_complexity_1996}, the authors present the first sub-exponential algorithm to solve the transversal hypergraph problem which runs in quasi-polynomial time, making it unlikely that the problem is (co)NP-complete.
In this paper, we show that when one of the two hypergraphs is of bounded VC-dimension, the transversal hypergraph problem can be solved in polynomial time, or equivalently that if $\mathcal{H}$ is a hypergraph of bounded VC-dimension, then there exists an incremental polynomial time algorithm to enumerate its minimal transversals. This result generalizes most of the previously known polynomial cases in the literature since they almost all consider classes of hypergraphs of bounded VC-dimension. As a consequence, the hypergraph transversal problem is solvable in polynomial time for any class of hypergraphs closed under partial subhypergraphs. We also show that the proposed algorithm runs in quasi-polynomial time in general hypergraphs and runs in polynomial time if the conformality of the hypergraph is bounded, which is one of the few known polynomial cases where the VC-dimension is unbounded.
On $Q$-polynomial distance-regular graphs with a linear dependency involving a $3$-clique
Published in This paper has been published in Journal of Algebraic Combinatorics volume 61, article number 31, (2025)
• View Publication
• BIB
Let $Γ$ denote a distance-regular graph with diameter $D \geq 2$. Let $E$ denote a primitive idempotent of $Γ$ with respect to which $Γ$ is $Q$-polynomial. Assume that there exists a $3$-clique $\{x,y,z\}$ such that $E\hat{x},E\hat{y},E\hat{z}$ are linearly dependent. In this paper, we classify all the $Q$-polynomial distance-regular graphs $Γ$ with the above property. We describe these graphs from multiple points of view.
Deletion formulas for equivariant Kazhdan-Lusztig polynomials of matroids
Published in SIAM J. Disc. Math. Vol 39, Issue 2 (2025)
• View Publication
• BIB
We study equivariant Kazhdan--Lusztig (KL) and $Z$-polynomials of matroids. We formulate an equivariant generalization of a result by Braden and Vysogorets that relates the equivariant KL and $Z$-polynomials of a matroid with those of a single-element deletion. We also discuss the failure of equivariant $γ$-positivity for the $Z$-polynomial. As an application of our main result, we obtain a formula for the equivariant KL polynomial of the graphic matroid gotten by gluing two cycles. Furthermore, we compute the equivariant KL polynomials of all matroids of corank~$2$ via valuations. This provides an application of the machinery of Elias, Miyata, Proudfoot, and Vecchi to corank $2$ matroids, and it extends results of Ferroni and Schröter.