polynomial
11184 papers tagged with this keyword
Ehrhart polynomials of rank two matroids
Published in Adv. in Appl. Math. 141 (2022) 102410
• View Publication
• BIB
Over a decade ago De Loera, Haws and Köppe conjectured that Ehrhart polynomials of matroid polytopes have only positive coefficients and that the coefficients of the corresponding $h^*$-polynomials form a unimodal sequence. The first of these intensively studied conjectures has recently been disproved by the first author who gave counterexamples in all ranks greater or equal to three. In this article we complete the picture by showing that Ehrhart polynomials of matroids of lower rank have indeed only positive coefficients. Moreover, we show that they are coefficient-wise bounded by the Ehrhart polynomials of minimal and uniform matroids. We furthermore address the second conjecture by proving that $h^*$-polynomials of matroid polytopes of sparse paving matroids of rank two are real-rooted and therefore have log-concave and unimodal coefficients. In particular, this shows that the $h^*$-polynomial of the second hypersimplex is real-rooted thereby strengthening a result of De Loera, Haws and Köppe.
Fibered simple knots
Published
• View Publication
• BIB
We prove that a simple knot in the lens space $L(p,q)$ fibers if and only if its order in homology does not divide any remainder occurring in the Euclidean algorithm applied to the pair $(p,q)$. One corollary is that if $p=m^2$ is a perfect square, then any simple knot of order $m$ fibers, answering a question of Cebanu. More generally, we compute the leading coefficient of the Alexander polynomial of a simple knot, and we describe how to construct a minimum complexity Seifert surface for one. The methods are direct, combinatorial, and geometric.
A linear algorithm for radio $k$-coloring of powers of paths having small diameters
Published
• View Publication
• BIB
The radio $k$-chromatic number $rc_k(G)$ of a graph $G$ is the minimum integer $λ$ such that there exists a function $φ: V(G) \to \{0,1,\cdots, λ\}$ satisfying $|φ(u)-φ(v)| \geq k+1 - d(u,v)$, where $d(u,v)$ denotes the distance between $u$ and $v$. A considerable amount of attention has been given to find the exact values or providing polynomial time algorithms to determine $rc_k(G)$ for several basic graph families such as paths, cycles, trees, and powers of paths, usually for some specific values of $k$.
In this article, we find the exact values of $rc_k(G)$ where $G$ is a power of a path with diameter strictly less than $k$. Our proof readily provides a linear time algorithm for assigning a radio $k$-coloring of $G$. Furthermore, our proof technique is a potential tool for solving the same problem for other classes of graphs having ``small'' diameters.
More on total domination polynomial and $\mathcal{D}_t$-equivalence classes of some graphs
Let $G = (V, E)$ be a simple graph of order $n$. The total dominating set of $G$ is a subset $D$ of $V$ that every vertex of $V$ is adjacent to some vertices of $D$. The total domination number of $G$ is equal to minimum cardinality of total dominating set in $G$ and is denoted by $γ_t(G)$. The total domination polynomial of $G$ is the polynomial $D_t(G,x)=\sum_{i=γ_t(G)}^n d_t(G,i)x^i$, where $d_t(G,i)$ is the number of total dominating sets of $G$ of size $i$. Two graphs $G$ and $H$ are said to be total dominating equivalent or simply $\mathcal{D}_t$-equivalent, if $D_t(G,x)=D_t(H,x)$. The equivalence class of $G$, denoted $[G]$, is the set of all graphs $\mathcal{D}_t$-equivalent to $G$. In this paper, we investigate $\mathcal{D}_t$-equivalence classes of some graphs. Also we introduce some families of graphs whose total domination polynomials are unimodal.
The Clebsch-Gordan Rule for $U(\mathfrak{sl}_2)$, the Krawtchouk Algebras and the Hamming Graphs
Published in SIGMA 19 (2023), 017, 19 pages
• View Publication
• BIB
Let $D\geq 1$ and $q\geq 3$ be two integers. Let $H(D)=H(D,q)$ denote the $D$-dimensional Hamming graph over a $q$-element set. Let ${\mathcal T}(D)$ denote the Terwilliger algebra of $H(D)$. Let $V(D)$ denote the standard ${\mathcal T}(D)$-module. Let $ω$ denote a complex scalar. We consider a unital associative algebra $\mathfrak K_ω$ defined by generators and relations. The generators are $A$ and $B$. The relations are $A^2 B-2 ABA +B A^2 =B+ωA$, $B^2A-2 BAB+AB^2=A+ωB$. The algebra $\mathfrak K_ω$ is the case of the Askey-Wilson algebras corresponding to the Krawtchouk polynomials. The algebra $\mathfrak K_ω$ is isomorphic to ${\rm U}(\mathfrak{sl}_2)$ when $ω^2\not=1$. We view $V(D)$ as a $\mathfrak{K}_{1-\frac{2}{q}}$-module. We apply the Clebsch-Gordan rule for ${\rm U}(\mathfrak{sl}_2)$ to decompose $V(D)$ into a direct sum of irreducible ${\mathcal T}(D)$-modules.
Cauchy Formulas and Billey's Formulas for Generalized Grothendieck polynomials
We study the generalized double $β$-Grothendieck polynomials for all types. We study the Cauchy formulas for them. Using this, we deduce the K-theoretic version of the comodule structure map $α^*: K(G/B)\to K(G)\otimes K(G/B)$ induced by the group action map for reductive group $G$ and its flag variety $G/B$. Furthermore, we give a combinatorial formula to compute the localization of Schubert classes as a generalization of Billey's formula.
Fan Valuations and spherical intrinsic volumes
Published
• View Publication
• BIB
We generalize valuations on polyhedral cones to valuations on fans. For fans induced by hyperplane arrangements, we show a correspondence between rotation-invariant valuations and deletion-restriction invariants. In particular, we define a characteristic polynomial for fans in terms of spherical intrinsic volumes and show that it coincides with the usual characteristic polynomial in the case of hyperplane arrangements. This gives a simple deletion-restriction proof of a result of Klivans-Swartz.
The metric projection of a cone is a piecewise-linear map, whose underlying fan prompts a generalization of spherical intrinsic volumes to indicator functions. We show that these 'intrinsic indicators' yield valuations that separate polyhedral cones. Applied to hyperplane arrangements, this generalizes a result of Kabluchko on projection volumes.
Hermitian matrices of roots of unity and their characteristic polynomials
Published
• View Publication
• BIB
We investigate spectral conditions on Hermitian matrices of roots of unity. Our main results are conjecturally sharp upper bounds on the number of residue classes of the characteristic polynomial of such matrices modulo ideals generated by powers of $(1-ζ)$, where $ζ$ is a root of unity. We also prove a generalisation of a classical result of Harary and Schwenk about a relation for traces of powers of a graph-adjacency matrix, which is a crucial ingredient for the proofs of our main results.
Combinatorial aspects of poly-Bernoulli polynomials and poly-Euler numbers
In this article, we introduce combinatorial models for poly-Bernoulli polynomials and poly-Euler numbers of both kinds. As their applications, we provide combinatorial proofs of some identities involving poly-Bernoulli polynomials.
Improved bounds for the expected number of $k$-sets
Published
• View Publication
• BIB
Given a finite set of points $S\subset\mathbb{R}^d$, a $k$-set of $S$ is a subset $A \subset S$ of size $k$ which can be strictly separated from $S \setminus A $ by a hyperplane. Similarly, a $k$-facet of a point set $S$ in general position is a subset $Δ\subset S$ of size $d$ such that the hyperplane spanned by $Δ$ has $k$ points from $S$ on one side. For a probability distribution $P$ on $\mathbb{R}^d$, we study $E_P(k,n)$, the expected number of $k$-facets of a sample of $n$ random points from $P$. When $P$ is a distribution on $\mathbb{R}^2$ such that the measure of every line is 0, we show that $E_P(k,n) = O(n(k+1)^{1/4})$. Our argument is based on a technique by Bárány and Steiger. We study how it may be possible to improve this bound using the continuous version of the polynomial partitioning theorem. This motivates a question concerning the points of intersection of an algebraic curve and the $k$-edge graph of a set of points.
We also study a variation on the $k$-set problem for the set system whose set of ranges consists of all translations of some strictly convex body in the plane. The motivation is to show that the technique by Bárány and Steiger is tight for a natural family of set systems. For any such set system, we determine bounds for the expected number of $k$-sets which are tight up to logarithmic factors.
Discrete-to-Continuous Extensions: piecewise multilinear extension, min-max theory and spectral theory
We introduce the homogeneous and piecewise multilinear extensions and the eigenvalue problem for locally Lipschitz function pairs, in order to develop a systematic framework for relating discrete and continuous min-max problems. This also enables us to investigate spectral properties for pairs of $p$-homogeneous functions and to propose a critical point theory for zero-homogeneous functions. The main contributions are:
(1) We provide several min-max relations between an original discrete formulation and its piecewise multilinear extension. We introduce the concept of perfect domain pairs to view comonotonicity on vectors as an extension of inclusion chains on sets. The piecewise multi-linear extension is (slice-)rank preserving, which closely relates to Tao's lemma on diagonal tensors. More discrete-to-continuous equalities are obtained, including a general form involving log-concave polynomials. And by employing these fundamental correspondences, we get further results and applications on tensors, Turán's problem, signed (hyper-)graphs, etc.
(2) We derive the mountain pass characterization, linking theorems, nodal domain inequalities, inertia bounds, duality theorems and distribution of eigenvalues for pairs of $p$-homogeneous functions. We establish a new property on the subderivative of a convex function which relates to the Gauss map of the graph of the convex function. Based on these fundamental results, we can analyze the structure of eigenspaces in depth. For example, we show a simple one-to-one correspondence between the nonzero eigenvalues of the vertex p-Laplacian and the edge $p^*$-Laplacian of a graph. We also apply the theory to Cheeger inequalities and $p$-Laplacians on oriented hypergraphs and simplicial complexes. Also, the first nonlinear analog of Huang's approach for hypergraphs is provided.
Quasi-Stirling Polynomials on Multisets
Published
• View Publication
• BIB
A permutation $π$ of a multiset is said to be a {\em quasi-Stirling} permutation if there does not exist four indices $i<j<k<\ell$ such that $π_i=π_k$ and $π_j=π_{\ell}$. For a multiset $\mathcal{M}$, denote by $\overline{\mathcal{Q}}_{\mathcal{M}}$ the set of quasi-Stirling permutations of $\mathcal{M}$. The {\em qusi-Stirling polynomial} on the multiset $\mathcal{M}$ is defined by $ \overline{Q}_{\mathcal{M}}(t)=\sum_{π\in \overline{\mathcal{Q}}_{\mathcal{M}}}t^{des(π)}$, where $des(π)$ denotes the number of descents of $π$. By employing generating function arguments, Elizalde derived an elegant identity involving quasi-Stirling polynomials on the multiset $\{1^2, 2^2, \ldots, n^2\}$, in analogy to the identity on Stirling polynomials. In this paper, we derive an identity involving quasi-Stirling polynomials $\overline{Q}_{\mathcal{M}}(t)$ for any multiset $\mathcal{M}$, which is a generalization of the identity on Eulerian polynomial and Elizalde's identity on quasi-Stirling polynomials on the multiset $\{1^2, 2^2, \ldots, n^2\}$. We provide a combinatorial proof the identity in terms of certain ordered labeled trees. Specializing $\mathcal{M}=\{1^2, 2^2, \ldots, n^2\}$ implies a combinatorial proof of Elizalde's identity in answer to the problem posed by Elizalde. As an application, our identity enables us to show that the quasi-Stirling polynomial $\overline{Q}_{\mathcal{M}}(t)$ has only real roots and the coefficients of $\overline{Q}_{\mathcal{M}}(t)$ are unimodal and log-concave for any multiset $\mathcal{M}$, in analogy to Brenti's result for Stirling polynomials on multisets.
Conic decomposition of a toric variety and its application to cohomology
Published
• View Publication
• BIB
We introduce the notion of a \emph{conic sequence} of a convex polytope. It is a way of building up a polytope starting from a vertex and attaching faces one by one with certain regulations. We apply this to a toric variety to obtain an iterated cofibration structure on it. This allows us to prove several vanishing results in the rational cohomology of a toric variety and to calculate Poincaré polynomials for a large class of singular toric varieties.
The growth of abelian sections
Published in Ann. Mat. Pura Appl. (2023)
• View Publication
• BIB
Given an abstract group $G$, we study the function $ab_n(G) := \sup_{|G:H| \leq n} |H/[H,H]|$. If $G$ has no abelian composition factors, then $ab_n(G)$ is bounded by a polynomial: as a consequence, we find a sharp upper bound for the representation growth of these groups.
$q$-Selberg Integrals and Koornwinder Polynomials
Published in SIGMA 18 (2022), 014, 35 pages
• View Publication
• BIB
We prove a generalization of the $q$-Selberg integral evaluation formula. The integrand is that of $q$-Selberg integral multiplied by a factor of the same form with respect to part of the variables. The proof relies on the quadratic norm formula of Koornwinder polynomials. We also derive generalizations of Mehta's integral formula as limit cases of our integral.
The Amazing Chromatic Polynomial
Published
• View Publication
• BIB
Let G be a combinatorial graph with vertices V and edges E. A proper coloring of G is an assignment of colors to the vertices such that no edge connects two vertices of the same color. These are the colorings considered in the famous Four Color Theorem. It turns out that the number of proper colorings of G using t colors is a polynomial in t, called the chromatic polynomial of G. This polynomial has many wonderful properties. It also has the surprising habit of appearing in contexts which, a priori, have nothing to do with graph coloring. We will survey three such instances involving acyclic orientations, hyperplane arrangements, and increasing forests. In addition, connections to symmetric functions and algebraic geometry will be mentioned.
Multivariate blowup-polynomials of graphs
In recent joint work (2021), we introduced a novel multivariate polynomial attached to every metric space - in particular, to every finite simple connected graph $G$ - and showed it has several attractive properties. First, it is multi-affine and real-stable (leading to a hitherto unstudied delta-matroid for each graph $G$). Second, the polynomial specializes to (a transform of) the characteristic polynomial $χ_{D_G}$ of the distance matrix $D_G$; as well as recovers the entire graph, where $χ_{D_G}$ cannot do so. Third, the polynomial encodes the determinants of a family of graphs formed from $G$, called the blowups of $G$.
In this short note, we exhibit the applicability of these tools and techniques to other graph-matrices and their characteristic polynomials. As a particular case, we will see that the adjacency characteristic polynomial $χ_{A_G}$ is in fact the shadow of a richer multivariate blowup-polynomial, which is similarly multi-affine and real-stable. Moreover, this polynomial encodes not only the aforementioned three properties, but also yields additional information for specific families of graphs.
A $q$-deformation of an algebra of Klyachko and Macdonald's reduced word formula
Published
• View Publication
• BIB
There is a striking similarity between Macdonald's reduced word formula and the image of the Schubert class in the cohomology ring of the permutahedral variety $\mathrm{Perm}_n$ as computed by Klyachko. Toward understanding this better, we undertake an in-depth study of a $q$-deformation of the $\mathbb{S}_n$-invariant part of the rational cohomology ring of $\mathrm{Perm}_n$, which we call the $q$-Klyachko algebra. We uncover intimate links between expansions in the basis of squarefree monomials in this algebra and various notions in algebraic combinatorics, thereby connecting seemingly unrelated results by finding a common ground to study them.
Our main results are as follows. 1) A $q$-analog of divided symmetrization ($q$-DS) using Yang-Baxter elements in the Hecke algebra. It is a linear form that picks up coefficients in the squarefree basis. 2) A relation between $q$-DS and the ideal of quasisymmetric polynomials involving work of Aval--Bergeron--Bergeron. 3) A family of polynomials in $q$ with nonnegative integral coefficients that specialize to Postnikov's mixed Eulerian numbers when $q=1$. We refer to these new polynomials as remixed Eulerian numbers. For $q>0$, their normalized versions occur as probabilities in the internal diffusion limited aggregation (IDLA) stochastic process. 4) A lift of Macdonald's reduced word identity in the $q$-Klyachko algebra. 5) The Schubert expansion of the Chow class of the standard split Deligne--Lusztig variety in type $A$, when $q$ is a prime power.
Relative Rank and Regularization
Published
• View Publication
• BIB
We introduce a new concept of rank - relative rank associated to a filtered collection of polynomials. When the filtration is trivial our relative rank coincides with Schmidt rank (also called strength). We also introduce the notion of relative bias. The main result of the paper is a relation between these two quantities over finite fields (as a special case we obtain a new proof of the results in arXiv:1902.09830). This relation allows us to get an accurate estimate for the number of points on an affine variety given by a collection of polynomials which is high relative rank (Lemma 3.2). The key advantage of relative rank is that it allows one to perform an efficient regularization procedure which is polynomial in the initial number of polynomials (the regularization process with Schmidt rank is far worse than tower exponential). The main result allows us to replace Schmidt rank with relative rank in many key applications in combinatorics, algebraic geometry and algebra. For example, we prove that any collection of polynomials $\mathcal{P}=(P_i)_{i=1}^c$ of degrees $\le d$ in a polynomial ring over an algebraically closed field of characteristic $>d$ is contained in an ideal $\mathcal{I}(\mathcal{Q})$, generated by a collection $\mathcal{Q}$ of polynomials of degrees $\le d$ which form a regular sequence, and $\mathcal{Q}$ is of size $\le A c^{A}$, where $A=A(d)$ is independent of the number of variables.
Quantized cohomological Hall algebra of the $d$-loop quiver revisited
Published
• View Publication
• BIB
Let $Λ$ be the set of partitions of length $\geq 0$. We introduce an $\mathbb{N}$-graded algebra $\mathbb{A}_q^d(Λ)$ associated to $Λ$, which can be viewed as a quantization of the algebra of partitions defined by Reineke. The multiplication of $\mathbb{A}^d_q(Λ)$ has some kind of quasi-commutativity, and the associativity comes from combinatorial properties of certain polynomials appeared in the quantized cohomological Hall algebra $\mathcal{H}^d_q$ of the $d$-loop quiver. It turns out that $\mathbb{A}^d_q(Λ)$ is isomorphic to $\mathcal{H}^d_q$, thus can be viewed as a combinatorial realization for $\mathcal{H}^d_q$.