polynomial
11250 papers tagged with this keyword
Explicit computations of Fourier transforms of polyhedral cones
The Fourier transforms of polyhedral cones can be used, via Brion's theorem, to compute various geometric quantities of polytopes, such as volumes, moments, and lattice-point counts. We present a novel method of computing these conic Fourier transforms by polynomial interpolation. Given the fact that computing volumes of polytopes is #P-hard (Dyer--Frieze [DF88]), we cannot hope for fast algorithms in the general case. However, with extra assumptions on the combinatorics of the cone, we demonstrate it is possible to compute its Fourier transform efficiently.
On graphs whose flow polynomials have real roots only
Published
• View Publication
• BIB
Let $G$ be a bridgeless graph. In 2011 Kung and Royle showed that all roots of the flow polynomial $F(G,λ)$ of $G$ are integers if and only if $G$ is the dual of a chordal and plane graph. In this article, we study whether a bridgeless graph $G$ for which $F(G,λ)$ has real roots only must be the dual of some chordal and plane graph. We conclude that the answer of this problem for $G$ is positive if and only if $F(G,λ)$ does not have any real root in the interval $(1,2)$. We also prove that for any non-separable and $3$-edge connected $G$, if $G-e$ is also non-separable for each edge $e$ in $G$ and every $3$-edge-cut of $G$ consists of edges incident with some vertex of $G$, then all roots of $P(G,λ)$ are real if and only if either $G\in \{L,Z_3,K_4\}$ or $F(G,λ)$ contains at least $9$ real roots in the interval $(1,2)$, where $L$ is the graph with one vertex and one loop and $Z_3$ is the graph with two vertices and three parallel edges joining these two vertices.
Describing Quasi-Graphic Matroids
Published
• View Publication
• BIB
This is a revised version of our original paper (arXiv:1808.00489v2) incorporating the corrections published in a corrigendum (arXiv:1808.00489v3). Our main theorem as originally stated was missing the required assumption that matroids should be connected. Those unfamiliar with the original paper will find in this version a complete, correct description of quasi-graphic matroids, sparing them the inconvenience of having to read both the original paper and a separate corrigendum.
We also present here some new results that do not appear in our original paper nor its corrigendum. These appear in Section 6. Of particular interest to readers familiar with the original paper and its corrigendum may be the following result. Given a matroid and a graph, of the four axioms for quasi-graphic matroids, three may be checked in time polynomial in the size of the ground set, but the fourth axiom in general cannot. It is desirable to have such a check that could be carried out in polynomial time. We provide such an alternative (Theorem 6.20).
Eulerian summation operators and a remarkable family of polynomials
We give several families of polynomials which are related by Eulerian summation operators. They satisfy interesting combinatorial properties like being integer-valued at integral points. This involves nearby-symmetries and a recursion for the values at half-integral points. We also obtain identities for super Catalan numbers.
Decomposable clutters and a generalization of Simon's conjectutre
Published
• View Publication
• BIB
Each (equigenerated) squarefree monomial ideal in the polynomial ring $S=\mathbb{K}[x_1, \ldots, x_n]$ represents a family of subsets of $[n]$, called a (uniform) clutter. In this paper, we introduce a class of uniform clutters, called decomposable clutters, whose associated ideal has linear quotients and hence linear resolution over all fields. We show that chordality of these clutters guarantees the correctness of a conjecture raised by R. S. Simon on extendable shellability of $d$-skeletons of a simplex $\langle [n] \rangle$, for all $d$. We then prove this conjecture for $d \geq n-3$.
On roots of Wiener polynomials of trees
Published
• View Publication
• BIB
The \emph{Wiener polynomial} of a connected graph $G$ is the polynomial $W(G;x) = \sum_{i=1}^{D(G)} d_i(G)x^i$ where $D(G)$ is the diameter of $G$, and $d_i(G)$ is the number of pairs of vertices at distance $i$ from each other. We examine the roots of Wiener polynomials of trees. We prove that the collection of real Wiener roots of trees is dense in $(-\infty, 0]$, and the collection of complex Wiener roots of trees is dense in $\mathbb C$. We also prove that the maximum modulus among all Wiener roots of trees of order $n \ge 31$ is between $2n-15$ and $2n-16$, and we determine the unique tree that achieves the maximum for $n \ge 31$. Finally, we find trees of arbitrarily large diameter whose Wiener roots are all real.
Polynomial Identities Implying Capparelli's Partition Theorems
Published
• View Publication
• BIB
We propose and recursively prove polynomial identities which imply Capparelli's partition theorems. We also find perfect companions to the results of Andrews, and Alladi, Andrews and Gordon involving $q$-trinomial coefficients. We follow Kurşungöz's ideas to provide direct combinatorial interpretations of some of our expressions. We use of the trinomial analogue of Bailey's lemma to derive new identities. These identities relate triple sums and products. A couple of new Slater type identities are also noted.
Theta and eta polynomials in geometry, Lie theory, and combinatorics
Published
• View Publication
• BIB
The classical Schur polynomials form a natural basis for the ring of symmetric polynomials, and have geometric significance since they represent the Schubert classes in the cohomology ring of Grassmannians. Moreover, these polynomials enjoy rich combinatorial properties. In the last decade, an exact analogue of this picture has emerged in the symplectic and orthogonal Lie types, with the Schur polynomials replaced by the theta and eta polynomials of Buch, Kresch, and the author. This expository paper gives an overview of what is known to date about this correspondence, with examples.
A cornucopia of quasi-Yamanouchi tableaux
Published
• View Publication
• BIB
Quasi-Yamanouchi tableaux are a subset of semistandard Young tableaux and refine standard Young tableaux. They are closely tied to the descent set of standard Young tableaux and were introduced by Assaf and Searles to tighten Gessel's fundamental quasisymmetric expansion of Schur functions. The descent set and descent statistic of standard Young tableaux repeatedly prove themselves useful to consider, and as a result, quasi-Yamanouchi tableaux make appearances in many ways outside of their original purpose. Some examples, which we present in this paper, include the Schur expansion of Jack polynomials, the decomposition of Foulkes characters, and the bigraded Frobenius image of the coinvariant algebra. While it would be nice to have a product formula enumeration of quasi-Yamanouchi tableaux in the way that semistandard and standard Young tableaux do, it has previously been shown by the author that there is little hope on that front. The goal of this paper is to address a handful of the numerous alternative enumerative approaches. In particular, we present enumerations of quasi-Yamanouchi tableaux using $q$-hit numbers, semistandard Young tableaux, weighted lattice paths, and symmetric polynomials, as well as the fundamental quasisymmetric and monomial quasisymmetric expansions of their Schur generating function.
Young-Capelli bitableaux, Capelli immanants in U(gl(n)) and the Okounkov quantum immanants
Published
• View Publication
• BIB
We propose a new approach to a unified study of determinants, permanents, immanants, (determinantal) bitableaux and symmetrized bitableaux in the polynomial algebra $C[M_{n, n}]$ as well as of their Lie analogues in the enveloping algebra $U(gl(n))$. This leads to new relevant classes of elements in $U(gl(n))$: Capelli bitableaux, right Young-Capelli bitableaux and Capelli immanants. The set of standard Capelli bitableaux and the set of standard right Young-Capelli bitableaux are bases of $U(gl(n))$, whose action on the Gordan-Capelli basis of $C[M_{n, n}]$ have remarkable properties. Capelli immanants can be efficiently computed and provide a system of generators of $U(gl(n))$. The Okounkov quantum immanants are proved to be simple linear combinations of Capelli immanants. Several examples are provided throughout the paper.
Moment Varieties of Measures on Polytopes
Published
• View Publication
• BIB
The uniform probability measure on a convex polytope induces piecewise polynomial densities on its projections. For a fixed combinatorial type of simplicial polytopes, the moments of these measures are rational functions in the vertex coordinates. We study projective varieties that are parametrized by finite collections of such rational functions. Our focus lies on determining the prime ideals of these moment varieties. Special cases include Hankel determinantal ideals for polytopal splines on line segments, and the relations among multisymmetric functions given by the cumulants of a simplex. In general, our moment varieties are more complicated than in these two special cases. They offer challenges for both numerical and symbolic computing in algebraic geometry.
A combinatorial formula for certain binomial coefficients for Jack polynomials
We present a decomposition of the generalized binomial coefficients associated with Jack polynomials into two factors: a stem, which is described explicitly in terms of hooks of the indexing partitions, and a leaf, which inherits various recurrence properties from the binomial coefficients and depends exclusively on the skew diagram. We then derive a direct combinatorial formula for the leaf in the special case where the two indexing partitions differ by at most two rows. This formula also exhibits an unexpected symmetry with respect to the lengths of the two rows.
Maker-Breaker domination game
We introduce the Maker-Breaker domination game, a two player game on a graph. At his turn, the first player, Dominator, select a vertex in order to dominate the graph while the other player, Staller, forbids a vertex to Dominator in order to prevent him to reach his goal. Both players play alternately without missing their turn. This game is a particular instance of the so-called Maker-Breaker games, that is studied here in a combinatorial context. In this paper, we first prove that deciding the winner of the Maker-Breaker domination game is PSPACE-complete, even for bipartite graphs and split graphs. It is then showed that the problem is polynomial for cographs and trees. In particular, we define a strategy for Dominator that is derived from a variation of the dominating set problem, called the pairing dominating set problem.
Note on the zero-free region of the hard-core model
In this paper we prove a new zero-free region for the partition function of the hard-core model, that is, the independence polynomials of graphs with largest degree $Δ$. This new domain contains the half disk $$D=\left\{ λ\in \mathbb{C}\ |\ \mathrm{Re}(λ)\geq 0, |λ|\leq \frac{7}{8}\tan \left( \fracπ{2(Δ-1)}\right)\right\}.$$
On the equality of the induced matching number and the uniquely restricted matching number for subcubic graphs
For a matching $M$ in a graph $G$, let $G(M)$ be the subgraph of $G$ induced by the vertices of $G$ that are incident with an edge in $M$. The matching $M$ is induced, if $G(M)$ is $1$-regular, and $M$ is uniquely restricted, if $M$ is the unique perfect matching of $G(M)$. The induced matching number $ν_s(G)$ of $G$ is the largest size of an induced matching in $G$, and the uniquely restricted matching number $ν_{ur}(G)$ of $G$ is the largest size of a uniquely restricted matching in $G$.
Golumbic, Hirst, and Lewenstein (Uniquely restricted matchings, Algorithmica 31 (2001) 139-154) posed the problem to characterize the graphs $G$ with $ν_s(G)=ν_{ur}(G)$. We give a complete characterization of the $2$-connected subcubic graphs $G$ of sufficiently large order with $ν_s(G)=ν_{ur}(G)$. As a consequence, we are able to show that the subcubic graphs $G$ with $ν_s(G)=ν_{ur}(G)$ can be recognized in polynomial time.
Connected greedy coloring $H$-free graphs
A connected ordering $(v_1, v_2, \ldots, v_n)$ of $V(G)$ is an ordering of the vertices such that $v_i$ has at least one neighbour in $\{v_1, \ldots, v_{i - 1}\}$ for every $i \in \{2, \ldots, n\}$. A connected greedy coloring (CGC for short) is a coloring obtained by applying the greedy algorithm to a connected ordering. This has been first introduced in 1989 by Hertz and de Werra, but still very little is known about this problem. An interesting aspect is that, contrary to the traditional greedy coloring, it is not always true that a graph has a connected ordering that produces an optimal coloring; this motivates the definition of the connected chromatic number of $G$, which is the smallest value $χ_c(G)$ such that there exists a CGC of $G$ with $χ_c(G)$ colors. An even more interesting fact is that $χ_c(G) \le χ(G)+1$ for every graph $G$ (Benevides et. al. 2014).
In this paper, in the light of the dichotomy for the coloring problem restricted to $H$-free graphs given by Král et.al. in 2001, we are interested in investigating the problems of, given an $H$-free graph $G$: (1). deciding whether $χ_c(G)=χ(G)$; and (2). given also a positive integer $k$, deciding whether $χ_c(G)\le k$. We have proved that Problem (2) has the same dichotomy as the coloring problem (i.e., it is polynomial when $H$ is an induced subgraph of $P_4$ or of $P_3+K_1$, and it is NP-complete otherwise). As for Problem (1), we have proved that $χ_c(G) = χ(G)$ always hold when $G$ is an induced subgraph of $P_5$ or of $P_4+K_1$, and that it is NP-hard to decide whether $χ_c(G)=χ(G)$ when $H$ is not a linear forest or contains an induced $P_9$. We mention that some of the results actually involve fixed $k$ and fixed $χ(G)$.
Reciprocals of exponential polynomials and permutation enumeration
Published in Australasian Journal of Combinatorics 74 (2) (2019) 364-370
• Search Publication
We show that the reciprocal of a partial sum with 2m terms of the alternating exponential series is the exponential generating function for permutations in which every increasing run has length congruent to 0 or 1 modulo 2m. More generally we study polynomials whose reciprocals are exponential generating functions for permutations whose run lengths are restricted to certain congruence classes, and extend these results to noncommutative symmetric functions that count words with the same restrictions on run lengths.
Chromatic roots at 2 and at the Beraha number $B_{10}$
Published
• View Publication
• BIB
By the construction of suitable graphs and the determination of their chromatic polynomials, we resolve two open questions concerning real chromatic roots. First we exhibit graphs for which the Beraha number $B_{10} = (5 + \sqrt{5})/2$ is a chromatic root. As it was previously known that no other non-integer Beraha number is a chromatic root, this completes the determination of precisely which Beraha numbers can be chromatic roots. Next we construct an infinite family of $3$-connected graphs such that for any $k \geqslant 1$, there is a member of the family with $q=2$ as a chromatic root of multiplicity at least $k$. The former resolves a question of Salas and Sokal [J. Statist. Pys. 104 (2001) pp. 609--699] and the latter a question of Dong and Koh [J. Graph Theory 70 (2012) pp. 262--283].
Shadows in Coxeter groups
Published in Annals of Combinatorics, Volume 24, Issue 1 (2020), https://rdcu.be/b1ZBg
• View Publication
• BIB
For a given $w$ in a Coxeter group $W$ the elements $u$ smaller than $w$ in Bruhat order can be seen as the end-alcoves of stammering galleries of type $w$ in the Coxeter complex $Σ$. We generalize this notion and consider sets of end-alcoves of galleries that are positively folded with respect to certain orientation $φ$ of $Σ$. We call these sets shadows. Positively folded galleries are closely related to the geometric study of affine Deligne-Lusztig varieties, MV polytopes, Hall-Littlewood polynomials and many more agebraic structures. In this paper we will introduce various notions of orientations and hence shadows and study some of their algorithmic properties.
Total non-negativity of some combinatorial matrices
Published
• View Publication
• BIB
Many combinatorial matrices --- such as those of binomial coefficients, Stirling numbers of both kinds, and Lah numbers --- are known to be totally non-negative, meaning that all minors (determinants of square submatrices) are non-negative.
The examples noted above can be placed in a common framework: for each one there is a non-decreasing sequence $(a_1, a_2, \ldots)$, and a sequence $(e_1, e_2, \ldots)$, such that the $(m,k)$-entry of the matrix is the coefficient of the polynomial $(x-a_1)\cdots(x-a_k)$ in the expansion of $(x-e_1)\cdots(x-e_m)$ as a linear combination of the polynomials $1, x-a_1, \ldots, (x-a_1)\cdots(x-a_m)$.
We consider this general framework. For a non-decreasing sequence $(a_1, a_2, \ldots)$ we establish necessary and sufficient conditions on the sequence $(e_1, e_2, \ldots)$ for the corresponding matrix to be totally non-negative. As corollaries we obtain totally non-negativity of matrices of rook numbers of Ferrers boards, and of graph Stirling numbers of chordal graphs.