polynomial
11422 papers tagged with this keyword
Eulerian Polynomials for Digraphs
Published
• View Publication
• BIB
Given an $n$-vertex digraph $D$ and a labeling $σ:V(D)\to [n]$, we say that an arc $u\to v$ of $D$ is a descent of $σ$ if $σ(u)>σ(v)$. Foata and Zeilberger introduced a generating function $A_D(t)$ for labelings of $D$ weighted by descents, which simultaneously generalizes both Eulerian polynomials and Mahonian polynomials. Motivated by work of Kalai, we look at problems related to $-1$ evaluations of $A_D(t)$. In particular, we give a combinatorial interpretation of $|A_D(-1)|$ in terms of "generalized alternating permutations" whenever the underlying graph of $D$ is bipartite.
Interlacing property of a family of generating polynomials over Dyck paths
Published
• View Publication
• BIB
In the study of a tantalizing symmetry on Catalan objects, Bóna et al. introduced a family of polynomials $\{W_{n,k}(x)\}_{n\geq k\geq 0}$ defined by \begin{align*} W_{n,k}(x)=\sum_{m=0}^{k}w_{n,k,m}x^{m}, \end{align*} where $w_{n,k,m}$ counts the number of Dyck paths of semilength $n$ with $k$ occurrences of $UD$ and $m$ occurrences of $UUD$. They proposed two conjectures on the interlacing property of these polynomials, one of which states that $\{W_{n,k}(x)\}_{n\geq k}$ is a Sturm sequence for any fixed $k\geq 1$, and the other states that $\{W_{n,k}(x)\}_{1\leq k\leq n}$ is a Sturm-unimodal sequence for any fixed $n\geq 1$. In this paper, we obtain certain recurrence relations for $W_{n,k}(x)$, and further confirm their conjectures.
Coloured corner processes from asymptotics of LLT polynomials
Published
• View Publication
• BIB
We consider probability measures arising from the Cauchy summation identity for the LLT (Lascoux--Leclerc--Thibon) symmetric polynomials of rank $n \geq 1$. We study the asymptotic behaviour of these measures as one of the two sets of polynomials in the Cauchy identity stays fixed, while the other one grows to infinity. At $n=1$, this corresponds to an analogous limit of the Schur process, which is known to be given by the Gaussian Unitary Ensemble (GUE) corners process.
Our main result states that, for $n>1$, our measures asymptotically split into two parts: a continuous one and a discrete one. The continuous part is a product of $n$ GUE corners processes; the discrete part is an explicit finite distribution on interlacing $n$-colourings of $n$ interlacing triangles, which has weights that are rational functions in the LLT parameter $q$. The latter distribution has a number of interesting (partly conjectural) combinatorial properties, such as $q$-nonnegativity and enumerative phenomena underlying its support.
Our main tools are two different representations of the LLT polynomials, one as partition functions of a fermionic lattice model of rank $n$, and the other as finite-dimensional contour integrals, which were recently obtained in arXiv:2012.02376, arXiv:2101.01605.
Conjugacy Class Growth in Virtually Abelian Groups
Published in journal of Groups, complexity, cryptology, Volume 17, Issue 1 (February 24, 2025) gcc:13459
• View Publication
• BIB
We study the conjugacy class growth function in finitely generated virtually abelian groups. That is, the number of elements in the ball of radius $n$ in the Cayley graph which intersect a fixed conjugacy class. In the class of virtually abelian groups, we prove that this function is always asymptotically equivalent to a polynomial. Furthermore, we show that in any affine Coxeter group, the degree of polynomial growth of a conjugacy class is equivalent to the reflection length of any element of that class.
The zero forcing span of a graph
Published
• View Publication
• BIB
In zero forcing, the focus is typically on finding the minimum cardinality of any zero forcing set in the graph; however, the number of cardinalities between $0$ and the number of vertices in the graph for which there are both zero forcing sets and sets that fail to be zero forcing sets is not well known. In this paper, we introduce the zero forcing span of a graph, which is the number of distinct cardinalities for which there are sets that are zero forcing sets and sets that are not. We introduce the span within the context of standard zero forcing and skew zero forcing as well as for standard zero forcing on directed graphs. We characterize graphs with high span and low span of each type, and also investigate graphs with special zero forcing polynomials.
Diagonal operators, $q$-Whittaker functions and rook theory
Published
• View Publication
• BIB
We discuss the problem posed by Bender, Coley, Robbins and Rumsey of enumerating the number of subspaces which have a given profile with respect to a linear operator over the finite field $\mathbb{F}_q$. We solve this problem in the case where the operator is diagonalizable. The solution leads us to a new class of polynomials $b_{μν}(q)$ indexed by pairs of integer partitions. These polynomials have several interesting specializations and can be expressed as positive sums over semistandard tableaux. We present a new correspondence between set partitions and semistandard tableaux. A close analysis of this correspondence reveals the existence of several new set partition statistics which generate the polynomials $b_{μν}(q)$; each such statistic arises from a Mahonian statistic on multiset permutations. The polynomials $b_{μν}(q)$ are also given a description in terms of coefficients in the monomial expansion of $q$-Whittaker symmetric functions which are specializations of Macdonald polynomials. We express the Touchard--Riordan generating polynomial for chord diagrams by number of crossings in terms of $q$-Whittaker functions. We also introduce a class of $q$-Stirling numbers defined in terms of the polynomials $b_{μν}(q)$ and present connections with $q$-rook theory in the spirit of Garsia and Remmel.
Equality cases of the Alexandrov--Fenchel inequality are not in the polynomial hierarchy
Published in \Forum Math. Pi 12 (2024), e21 1--38
• View Publication
• BIB
Describing the equality conditions of the Alexandrov--Fenchel inequality has been a major open problem for decades. We prove that in the case of convex polytopes, this description is not in the polynomial hierarchy unless the polynomial hierarchy collapses to a finite level. This is the first hardness result for the problem, and is a complexity counterpart of the recent result by Shenfeld and van Handel (arXiv:archive/201104059), which gave a geometric characterization of the equality conditions. The proof involves Stanley's order polytopes and employs poset theoretic technology.
Ergodic averages for sparse sequences along primes
Published
• View Publication
• BIB
We investigate the limiting behavior of multiple ergodic averages along sparse sequences evaluated at prime numbers. Our sequences arise from smooth and well-behaved functions that have polynomial growth. Central to this topic is a comparison result between standard Cesáro averages along positive integers and averages weighted by the (modified) von Mangoldt function. The main ingredients are a recent result of Matomäki, Shao, Tao and Teräväinen on the Gowers uniformity of the latter function in short intervals, a lifting argument that allows one to pass from actions of integers to flows, a simultaneous (variable) polynomial approximation in appropriate short intervals, and some quantitative equidistribution results for the former polynomials. We derive numerous applications in multiple recurrence, additive combinatorics, and equidistribution in nilmanifolds along primes. In particular, we deduce that any set of positive density contains arithmetic progressions with step $\lfloor p^c \rfloor$, where $c$ is a positive non-integer and $p$ denotes a prime, establishing a conjecture of Frantzikinakis.
Numerical characterization of the hard Lefschetz classes of dimension two
Published
• View Publication
• BIB
We study the numerical characterization of two dimensional hard Lefschetz classes given by the complete intersections of nef classes. In Shenfeld and van Handel's breakthrough work on the characterization of the extremals of the Alexandrov-Fenchel inequality for convex polytopes, they proposed an open question on the algebraic analogue of the characterization. By taking further inspiration from our previous work with Shang on hard Lefschetz theorems for free line bundles, we formulate and refine the conjectural picture more precisely and settle the open question when the collection of nef classes is given by a rearrangement of supercriticality, which in particular includes the big nef collection as a special case. The main results enable us to refine some previous results and study the extremals of Hodge index inequality, and more importantly provide the first series of examples of hard Lefschetz classes of dimension two both in algebraic geometry and analytic geometry, in which one can allow nontrivial augmented base locus and thus drop the semi-ampleness or semi-positivity assumption. As a key ingredient of the numerical characterization, we establish a local Hodge index inequality for Lorentzian polynomials, which is the algebraic analogue of the local Alexandrov-Fenchel inequality obtained by Shenfeld-van Handel for convex polytopes. This result holds in broad contexts, e.g., it holds on a smooth projective variety, on a compact Kähler manifold and on a Lorentzian fan, which contains the Bergman fan of a matroid or polymatroid as a typical example.
Depth of powers of edge ideals of Cohen-Macaulay trees
Published
• View Publication
• BIB
Let $I$ be the edge ideal of a Cohen-Macaulay tree of dimension $d$ over a polynomial ring $S = \mathrm{k}[x_1,\ldots,x_{d},y_1,\ldots,y_d]$. We prove that for all $t \ge 1$,
$$\operatorname{depth} (S/I^t) = \operatorname{max} \{d -t + 1, 1 \}.$$
Universal Plücker coordinates for the Wronski map and positivity in real Schubert calculus
Published
• View Publication
• BIB
Given a $d$-dimensional vector space $V \subset \mathbb{C}[u]$ of polynomials, its Wronskian is the polynomial $(u + z_1) \cdots (u + z_n)$ whose zeros $-z_i$ are the points of $\mathbb{C}$ such that $V$ contains a nonzero polynomial with a zero of order at least $d$ at $-z_i$. Equivalently, $V$ is a solution to the Schubert problem defined by osculating planes to the moment curve at $z_1, \dots, z_n$. The inverse Wronski problem involves finding all $V$ with a given Wronskian $(u + z_1) \cdots (u + z_n)$. We solve this problem by providing explicit formulas for the Grassmann-Plücker coordinates of the general solution $V$, as commuting operators in the group algebra $\mathbb{C}[\mathfrak{S}_n]$ of the symmetric group. The Plücker coordinates of individual solutions over $\mathbb{C}$ are obtained by restricting to an eigenspace and replacing each operator by its eigenvalue. This generalizes work of Mukhin, Tarasov, and Varchenko (2013) and of Purbhoo (2022), which give formulas in $\mathbb{C}[\mathfrak{S}_n]$ for the differential equation satisfied by $V$. Moreover, if $z_1, \dots, z_n$ are real and nonnegative, then our operators are positive semidefinite, implying that the Plücker coordinates of $V$ are all real and nonnegative. This verifies several outstanding conjectures in real Schubert calculus, including the positivity conjectures of Mukhin and Tarasov (2017) and of Karp (2021), the disconjugacy conjecture of Eremenko (2015), and the divisor form of the secant conjecture of Sottile (2003). The proofs involve the representation theory of $\mathfrak{S}_n$, symmetric functions, and $τ$-functions of the KP hierarchy.
Eigenvalues of some classes of signed complete graphs
In this work, we discuss some properties of the eigenvalues of some classes of signed complete graphs. We also obtain the form of characteristic polynomial for these graphs.
Descriptive complexity of controllable graphs
Published
• View Publication
• BIB
Let $G$ be a graph on $n$ vertices with adjacency matrix $A$, and let $\mathbf{1}$ be the all-ones vector. We call $G$ controllable if the set of vectors $\mathbf{1}, A\mathbf{1}, \dots, A^{n-1}\mathbf{1}$ spans the whole space $\mathbb{R}^n$. We characterize the isomorphism problem of controllable graphs in terms of other combinatorial, geometric and logical problems. We also describe a polynomial time algorithm for graph isomorphism that works for almost all graphs.
The complexity of the greedoid Tutte polynomial
Published
• View Publication
• BIB
We consider the Tutte polynomial of three classes of greedoids: those arising from rooted graphs, rooted digraphs and binary matrices. We establish the computational complexity of evaluating each of these polynomials at each fixed rational point (x,y). In each case we show that evaluation is #P-hard except for a small number of exceptional cases when there is a polynomial time algorithm. In the binary case, establishing #P-hardness along one line relies on Vertigan's unpublished result on the complexity of counting bases of a matroid. For completeness, we include an appendix providing a proof if this result.
The characteristic polynomials of uniform hypercycles with length four
Published
• View Publication
• BIB
Let $C_{m}$ be a cycle with length $m.$ The $k$-uniform hypercycle with length $m$ obtained by adding $k-2$ new vertices in every edge of $C_{m},$ denoted by $C_{m,k}.$ In this paper, we obtain some trace formulas of uniform hypercycles with length four. Moreover, we give the characteristic polynomials of uniform hypercycles with length four.
How I got to like graph polynomials
Published
• View Publication
• BIB
For Boris Zilber on his 75th birthday.
I trace the roots of my collaboration with Boris Zilber, which combines categoricity theory, finite model theory, algorithmics, and combinatorics.
Maximal Cliques in Scale-Free Random Graphs
Published in Net Sci 12 (2024) 366-391
• View Publication
• BIB
We investigate the number of maximal cliques, i.e., cliques that are not contained in any larger clique, in three network models: Erdős-Rényi random graphs, inhomogeneous random graphs (also called Chung-Lu graphs), and geometric inhomogeneous random graphs. For sparse and not-too-dense Erdős-Rényi graphs, we give linear and polynomial upper bounds on the number of maximal cliques. For the dense regime, we give super-polynomial and even exponential lower bounds. Although (geometric) inhomogeneous random graphs are sparse, we give super-polynomial lower bounds for these models. This comes from the fact that these graphs have a power-law degree distribution, which leads to a dense subgraph in which we find many maximal cliques. These lower bounds seem to contradict previous empirical evidence that (geometric) inhomogeneous random graphs have only few maximal cliques. We resolve this contradiction by providing experiments indicating that, even for large networks, the linear lower-order terms dominate, before the super-polynomial asymptotic behavior kicks in only for networks of extreme size.
Arithmetical subword complexity of automatic sequences
We fully classify automatic sequences $a$ over a finite alphabet $Ω$ with the property that each word over $Ω$ appears is $a$ along an arithmetic progression. Using the terminology introduced by Avgustinovich, Fon-Der-Flaass and Frid, these are the automatic sequences with the maximal possible arithmetical subword complexity. More generally, we obtain an asymptotic formula for arithmetical (and even polynomial) subword complexity of a given automatic sequence $a$.
Boxicity and Interval-Orders: Petersen and the Complements of Line Graphs
Published
• View Publication
• BIB
The boxicity of a graph is the smallest dimension $d$ allowing a representation of it as the intersection graph of a set of $d$-dimensional axis-parallel boxes. We present a simple general approach to determining the boxicity of a graph based on studying its ``interval-order subgraphs''.
The power of the method is first tested on the boxicity of some popular graphs that have resisted previous attempts: the boxicity of the Petersen graph is $3$, and more generally, that of the Kneser-graphs $K(n,2)$ is $n-2$ if $n\ge 5$, confirming a conjecture of Caoduro and Lichev [Discrete Mathematics, Vol. 346, 5, 2023].
Since every line graph is an induced subgraph of the complement of $K(n,2)$, the developed tools show furthermore that line graphs have only a polynomial number of edge-maximal interval-order subgraphs. This opens the way to polynomial-time algorithms for problems that are in general $\mathcal{NP}$-hard: for the existence and optimization of interval-order subgraphs of line-graphs, or of interval-completions of their complement.
Surprising occurrences of order structures in mathematics
Order and symmetry are main structural principles in mathematics. We give five examples where on the face of it order is not apparent, but deeper investigations reveal that they are governed by order structures. These examples are finite topologies, associative algebras, subgroups of matrix groups, ideals in polynomial rings, and classes of bipartite graphs.