polynomial
11432 papers tagged with this keyword
Traces, symmetric functions, and a raising operator
Published
• View Publication
• BIB
The polynomial relationship between elementary symmetric functions (Cauchy enumeration formula) is formulated via a ``raising operator" and Fock space construction. A simple graphical proof of this relation is proposed. The new operator extends the Heisenberg algebra so that the number operator becomes a Lie product. This study is motivated by natural appearance of these polynomials in the theory of invariants for Lax equations and in classical and topological field theories.
Cohomology of the toric arrangement associated with $A_n$
Published in Journal of Fixed Point Theory and Applications, 2019, 21:15
• View Publication
• BIB
We compute the total cohomology of the complement of the toric arrangement associated to the root system $A_n$ as a representation of the corresponding Weyl group via fixed point theory of a "twisted" action of the group. We also provide several proofs of an explicit formula for the Poincaré polynomial of the complement of the toric arrangement associated with $A_n$.
Many Order Types on Integer Grids of Polynomial Size
Published
• View Publication
• BIB
Two labeled point configurations $\{p_1,\ldots,p_n\}$ and $\{q_1,\ldots,q_n\}$ are of the same order type if, for every $i,j,k$, the triples $(p_i,p_j,p_k)$ and $(q_i,q_j,q_k)$ have the same orientation. In the 1980's, Goodman, Pollack and Sturmfels showed that (i) the number of order types on $n$ points is of order $4^{n+o(n)}$, (ii) all order types can be realized with double-exponential integer coordinates, and that (iii) certain order types indeed require double-exponential integer coordinates. In 2018, Caraballo, Díaz-Bá{ñ}ez, Fabila-Monroy, Hidalgo-Toscano, Lea{ñ}os, Montejano showed that at least $n^{3n+o(n)}$ order types can be realized on an integer grid of polynomial size. In this article, we improve their result by showing that at least $n^{4n+o(n)}$ order types can be realized on an integer grid of polynomial size, which is essentially best possible.
The inverse Kazhdan-Lusztig polynomial of a matroid
Published in Journal of Combinatorial Theory, Series B, Volume 151, November 2021, Pages 375-392
• View Publication
• BIB
In analogy with the classical Kazhdan-Lusztig polynomials for Coxeter groups, Elias, Proudfoot and Wakefield introduced the concept of Kazhdan-Lusztig polynomials for matroids. It is known that both the classical Kazhdan-Lusztig polynomials and the matroid Kazhdan-Lusztig polynomials can be considered as special cases of the Kazhdan-Lusztig-Stanley polynomials for locally finite posets. In the framework of Kazhdan-Lusztig-Stanley polynomials, we study the inverse of Kazhdan-Lusztig-Stanley functions and define the inverse Kazhdan-Lusztig polynomials for matroids. We also compute these polynomials for boolean matroids and uniform matroids. As an unexpected application of the inverse Kazhdan-Lusztig polynomials, we obtain a new formula to compute the Kazhdan-Lusztig polynomials for uniform matroids. Similar to the Kazhdan-Lusztig polynomial of a matroid, we conjecture that the coefficients of its inverse Kazhdan-Lusztig polynomial are nonnegative and log-concave.
Combinatorics of Nahm sums, quiver resultants and the K-theoretic condition
Published
• View Publication
• BIB
Algebraic Nahm equations, considered in the paper, are polynomial equations, governing the $q\rightarrow 1$ limit of the $q$-hypergeometric Nahm sums. They make an appearance in various fields: hyperbolic geometry, knot theory, quiver representation theory, topological strings and conformal field theory. In this paper we focus primarily on Nahm sums and Nahm equations that arise in relation with symmetric quivers. For a large class of them, we prove that quiver A-polynomials -- specialized resultants of the Nahm equations, are tempered (the so-called K-theoretic condition). This implies that they are quantizable. Moreover, we find that their face polynomials obey a remarkable combinatorial pattern. We use the machinery of initial forms and mixed polyhedral decompositions to investigate the edges of the Newton polytope. We show that this condition holds for the diagonal quivers with adjacency matrix $C = \mathrm{diag}(α,α,\dots,α),\ α\geq 2$, and provide several checks for non-diagonal quivers. Our conjecture is that the K-theoretic condition holds for all symmetric quivers.
Automatic Solving of Cubic Diophantine Equations Inspired by Ramanujan
In Ramanujan's Lost Notebook there is an amazing identity that furnishes infinitely many "almost counterexamples" to the cubic Fermat's Last Theorem, with no indication whatsoever how he discovered it. In 1995, Michael Hirschhorn explained, in a brilliant way, how Ramanujan may have done it, based on a certain polynomial identity for a sum of four cubes. Much earlier, Eri Jabotinsky, in an article published in 1946 (in a mathematics journal for teenagers) explained how Ramanujan may have discovered these polynomial identities needed for Hirschhorn's approach. Here we combine these two brilliant ideas (that may or may not have been how Ramanujan did it), automate it, and generalize, by developing an algorithm to solve a large class of cubic diophantine equations. Our interest in this problem was rekindled after reading Amy Alznauer's (b. Andrews) delightful children book "The Boy Who Dreamed of Infinity" (Candlewick Press), 2020, where Ramanujan's identity appears in one of the illustrations.
On the constructions of $n$-cycle permutations
Published
• View Publication
• BIB
Any permutation polynomial is an $ n $-cycle permutation. When $n$ is a specific small positive integer, one can obtain efficient permutations, such as involutions, triple-cycle permutations and quadruple-cycle permutations. These permutations have important applications in cryptography and coding theory. Inspired by the AGW Criterion, we propose criteria for $ n $-cycle permutations, which mainly are of the form $ x^rh(x^s) $. We then propose unified constructing methods including recursive ways and a cyclotomic way for $ n $-cycle permutations of such form. We demonstrate our approaches by constructing three classes of explicit triple-cycle permutations with high index and two classes of $ n $-cycle permutations with low index.
Tutte polynomial, complete invariant, and theta series
Published
• View Publication
• BIB
In this study, we present two results that relate Tutte polynomials. First, we provide new and complete polynomial invariants for graphs. We note that the number of variables of our polynomials is one. Second, let L_1 and L_2 be two non-isomorphic lattices. We state that L_1 and L_2 are theta series equivalent if those theta series are the same. The problem of identifying theta series equivalent lattices is discussed in Prof.~Conway's book The Sensual (Quadratic) Form with the title "Can You Hear the Shape of a Lattice?" In this study, we present a method to find theta series equivalent lattices using matroids and their Tutte polynomials.
Homological invariants of Cameron--Walker graphs
Published
• View Publication
• BIB
Let $G$ be a finite simple connected graph on $[n]$ and $R = K[x_1, \ldots, x_n]$ the polynomial ring in $n$ variables over a field $K$. The edge ideal of $G$ is the ideal $I(G)$ of $R$ which is generated by those monomials $x_ix_j$ for which $\{i, j\}$ is an edge of $G$. In the present paper, the possible tuples $(n, {\rm depth} (R/I(G)), {\rm reg} (R/I(G)), \dim R/I(G), {\rm deg} \ h(R/I(G)))$, where ${\rm deg} \ h(R/I(G))$ is the degree of the $h$-polynomial of $R/I(G)$, arising from Cameron--Walker graphs on $[n]$ will be completely determined.
The bounds of the spectral radius of general hypergraphs in terms of clique number
Published
• View Publication
• BIB
The spectral radius (or the signless Laplacian spectral radius) of a general hypergraph is the maximum modulus of the eigenvalues of its adjacency (or its signless Laplacian) tensor. In this paper, we firstly obtain a lower bound of the spectral radius (or the signless Laplacian spectral radius) of general hypergraphs in terms of clique number. Moreover, we present a relation between a homogeneous polynomial and the clique number of general hypergraphs. As an application, we finally obtain an upper bound of the spectral radius of general hypergraphs in terms of clique number.
Robust Single Machine Makespan Scheduling with Release Date Uncertainty
Published in Operations Research Letters, Volume 48, Issue 6, 2020, Pages 816-819
• View Publication
• BIB
This paper addresses the robust single machine makespan scheduling with uncertain release dates of the jobs. The release dates take values within know intervals. We use the concept of gamma-robustness in two different settings and address both the robust absolute and robust regret criteria. Our main results are polynomial time algorithms which have the same running time (O(n log n)) as the best algorithms for the non-robust case.
Chromatic polynomials of 2-edge coloured graphs
Published
• View Publication
• BIB
Using the definition of colouring of $2$-edge-coloured graphs derived from $2$-edge-coloured graph homomorphism, we extend the definition of chromatic polynomial to $2$-edge-coloured graphs. We find closed forms for the first three coefficients of this polynomial that generalize the known results for the chromatic polynomial of a graph. We classify those $2$-edge-coloured graphs that have a chromatic polynomial equal to the chromatic polynomial of the underlying graph, when every vertex is incident to edges of both colours. Finally, we examine the behaviour of the roots of this polynomial, highlighting behaviours not seen in chromatic polynomials of graphs.
Bijective proofs of proper coloring theorems
Published
• View Publication
• BIB
The chromatic polynomial and its generalization, the chromatic symmetric function, are two important graph invariants. Celebrated theorems of Birkhoff, Whitney, and Stanley show how both objects can be expressed in three different ways: as sums over all spanning subgraphs, as sums over spanning subgraphs with no broken circuits, and in terms of acyclic orientations with compatible colorings. We establish all six of these expressions bijectively. In fact, we do this with only two bijections, as the proofs in the symmetric function setting are obtained using the same bijections as in the polynomial case and the bijection for broken circuits is just a restriction of the one for all spanning subgraphs.
Signed Euler-Mahonian identities
Published
• View Publication
• BIB
A relationship between signed Eulerian polynomials and the classical Eulerian polynomials on $\mathfrak{S}_n$ was given by Désarménien and Foata in 1992, and a refined version, called signed Euler-Mahonian identity, together with a bijective proof were proposed by Wachs in the same year. By generalizing this bijection, in this paper we extend the above results to the Coxeter groups of types $B_n$, $D_n$, and the complex reflection group $G(r,1,n)$, where the `sign' is taken to be any one-dimensional character. Some obtained identities can be further restricted on some particular set of permutations. We also derive some new interesting sign-balance polynomials for types $B_n$ and $D_n$.
Generalized permutations related to the degenerate Eulerian numbers
In this work we propose a combinatorial model that generalizes the standard definition of permutation. Our model generalizes the degenerate Eulerian polynomials and numbers of Carlitz from 1979 and provides missing combinatorial proofs for some relations on the degenerate Eulerian numbers.
Support of Closed Walks and Second Eigenvalue Multiplicity of the Normalized Adjacency Matrix
Published in STOC 2021
• View Publication
• BIB
We show that the multiplicity of the second normalized adjacency matrix eigenvalue of any connected graph of maximum degree $Δ$ is bounded by $O(n Δ^{7/5}/\log^{1/5-o(1)}n)$ for any $Δ$, and by $O(n\log^{1/2}d/\log^{1/4-o(1)}n)$ for simple $d$-regular graphs when $d\ge \log^{1/4}n$. In fact, the same bounds hold for the number of eigenvalues in any interval of width $λ_2/\log_Δ^{1-o(1)}n$ containing the second eigenvalue $λ_2$. The main ingredient in the proof is a polynomial (in $k$) lower bound on the typical support of a closed random walk of length $2k$ in any connected graph, which in turn relies on new lower bounds for the entries of the Perron eigenvector of submatrices of the normalized adjacency matrix.
Combinatorial Methods for Minkowski Tensors of Polytopes
In this paper we use a generating function approach to record and calculate entries of the Minkowski tensors of a polytope. We focus on ''surface tensors'', extending the methods used in arXiv:1807.10258 for moments of the uniform distribution which correspond to volume tensors. In this context we also extend the definition of the adjoint polynomial to the boundary complex of a polytope with simplicial facets. In the case of simplicial polytopes we give an explicit formulation for these surface tensors.
Bounding the trace function of a hypergraph with applications
Published
• View Publication
• BIB
An upper bound on the trace function of a hypergraph $H$ is derived and its applications are demonstrated. For instance, a new upper bound for the VC dimension of $H$, or $vc(H)$, follows as a consequence and can be used to compute $vc(H)$ in polynomial time provided that $H$ has bounded degeneracy. This was not previously known. Particularly, when $H$ is a hypergraph arising from closed neighborhoods of a graph, this approach asymptotically improves the time complexity of the previous result for computing $vc(H)$. Another consequence is a general lower bound on the {\it distinguishing transversal number } of $H$ that gives rise to applications in domination theory of graphs. To effectively apply the methods developed here, one needs to have good estimations of degeneracy, and its variation or reduced degeneracy which is introduced here.
Diffeomorphisms of Scalar Quantum Fields via Generating Functions
Published
• View Publication
• BIB
We study the application of formal diffeomorphisms to scalar fields. We give a new proof that interacting tree amplitudes vanish in the resulting theories. Our proof is directly at the diagrammatic level, not appealing to the path integral, and proceeds via a generating function analysis so is more insightful than previous proofs. Along the way we give new combinatorial proofs of some Bell polynomial identities, and we comment on the connection with the combinatorial Legendre transform.
Using a geometric lens to find k disjoint shortest paths
Published
• View Publication
• BIB
Given an undirected $n$-vertex graph and $k$ pairs of terminal vertices $(s_1,t_1), \ldots, (s_k,t_k)$, the $k$-Disjoint Shortest Paths ($k$-DSP)-problem asks whether there are $k$ pairwise vertex-disjoint paths $P_1,\ldots, P_k$ such that $P_i$ is a shortest $s_i$-$t_i$-path for each $i \in [k]$. Recently, Lochet [SODA 2021] provided an algorithm that solves $k$-DSP in $n^{O(k^{5^k})}$ time, answering a 20-year old question about the computational complexity of $k$-DSP for constant $k$. On the one hand, we present an improved $n^{O(k!k)}$-time algorithm based on a novel geometric view on this problem. For the special case $k=2$ on $m$-edge graphs, we show that the running time can be further reduced to $O(nm)$ by small modifications of the algorithm and a refined analysis. On the other hand, we show that $k$-DSP is W[1]-hard with respect to $k$, showing that the dependency of the degree of the polynomial running time on the parameter $k$ is presumably unavoidable.