polynomial
11422 papers tagged with this keyword
A new generalisation of Macdonald polynomials
Published in Commun. Math. Phys. 352 (2017), 773 - 804
• View Publication
• BIB
We introduce a new family of symmetric multivariate polynomials, whose coefficients are meromorphic functions of two parameters $(q,t)$ and polynomial in a further two parameters $(u,v)$. We evaluate these polynomials explicitly as a matrix product. At $u=v=0$ they reduce to Macdonald polynomials, while at $q=0$, $u=v=s$ they recover a family of inhomogeneous symmetric functions originally introduced by Borodin.
Integrals Involving Rudin-Shapiro Polynomials and Sketch of a Proof of Saffari's Conjecture
Published
• View Publication
• BIB
Continuing pioneering work of Christophe Doche and Laurent Habsieger from 2004, we develop computer algebra algorithms, implemented in Maple, for finding the (necessarily rational) generating function for any integral of products, and in particular, moments, of Rudin-Shapiro polynomials. We generate a lot of output, and confirm again a conjecture of Saffari for the asymptotics for small (and not so small) powers. We also confirm, for small powers, a related, more general, conjecture, of Hugh Montgomery. Finally, we outline a proof of Saffari's full conjecture, that we believe can be turned into a full proof. [In this version we report that Brad Rodgers has independently found a (complete!) proof of Saffari's conjecture here http://arxiv.org/abs/1606.01637] .
A Polynomial Time Graph Isomorphism Algorithm For Graphs That Are Not Locally Triangle-Free
In this paper, we show the existence of a polynomial time graph isomorphism algorithm for all graphs excluding graphs that are locally trianglefree. This particular class of graphs allows to divide the graph into neighbourhood sub-graph where each of induced sub-graph (neighbourhood) has at least 2 vertices. We construct all possible permutations for each induced sub-graph using a search tree. We construct automorphisms of subgraphs based on these permutations. Finally, we decide isomorphism through automorphisms .
The author expects that the solution, present in this paper, may lead to a faster algorithm for the general case of graph isomorphism (using " barycentric subdivision" ). The paper might affect group isomorphism also as we may construct graphs (corresponds to a particular group) in way so we can avoid it to be a triangle free graph. Since,for a given group G , each choice of a generating set will give a different Cayley graph.
An Algebraic Geometric Approach to Nivat's Conjecture
We study multidimensional configurations (infinite words) and subshifts of low pattern complexity using tools of algebraic geometry. We express the configuration as a multivariate formal power series over integers and investigate the setup when there is a non-trivial annihilating polynomial: a non-zero polynomial whose formal product with the power series is zero. Such annihilator exists, for example, if the number of distinct patterns of some finite shape $D$ in the configuration is at most the size $|D|$ of the shape. This is our low pattern complexity assumption. We prove that the configuration must be a sum of periodic configurations over integers, possibly with unbounded values. As a specific application of the method we obtain an asymptotic version of the well-known Nivat's conjecture: we prove that any two-dimensional, non-periodic configuration can satisfy the low pattern complexity assumption with respect to only finitely many distinct rectangular shapes $D$.
The ABC's of affine Grassmannians and Hall-Littlewood polynomials
Published in DMTCS proc. AR, 2012, 945-956
• View Publication
• BIB
We give a new description of the Pieri rule for k-Schur functions using the Bruhat order on the affine type-A Weyl group. In doing so, we prove a new combinatorial formula for representatives of the Schubert classes for the cohomology of affine Grassmannians. We show how new combinatorics involved in our formulas gives the Kostka-Foulkes polynomials and discuss how this can be applied to study the transition matrices between Hall-Littlewood and k-Schur functions.
Singularities in Negami's splitting formula for the Tutte polynomial
Published
• View Publication
• BIB
The n-sum graph Negami's splitting formula for the Tutte polynomial is not valid in the region $(x-1)(y-1)=q$ for $q=1,2,\ldots n-1$ with the additional region $y=1$ if $n>3$. This region corresponds to (up to prefactors and change of variables) the Ising model, the $q$-state Potts model, the number of spanning forest generator and particularizations of these. We show splitting formulas for these specializations.
Explorations in the theory of partition zeta functions
Published
• View Publication
• BIB
We introduce and survey results on two families of zeta functions connected to the multiplicative and additive theories of integer partitions. In the case of the multiplicative theory, we provide specialization formulas and results on the analytic continuations of these "partition zeta functions", find unusual formulas for the Riemann zeta function, prove identities for multiple zeta values, and see that some of the formulas allow for $p$-adic interpolation. The second family we study was anticipated by Manin and makes use of modular forms, functions which are intimately related to integer partitions by universal polynomial recurrence relations. We survey recent work on these zeta polynomials, including the proof of their Riemann Hypothesis.
A new characterization of ultraspherical, Hermite, and Chebyshev polynomials of the first kind
Published
• View Publication
• BIB
We show that the only polynomial sets with a generating function of the form F (xt -- R(t)) and satisfying a three-term recursion relation are the monomial set and the rescaled ultraspherical, Hermite, and Chebyshev polynomials of the first kind.
Compatible polynomials and edgewise subdivisions
In this paper we answer a question posed by C. A. Athanasiadis. Namely, we prove that the local $h$-polynomial of the $r$th edgewise subdivision of the $(n-1)$-dimensional simplex $2^V$ has only real zeros. In doing so we find a tool, using compatible polynomials, that can be used to check if polynomials in certain types of families of polynomials have only real zeros.
Ehrhart polynomials of 3-dimensional simple integral convex polytopes
Published
• View Publication
• BIB
We give an explicit formula on the Ehrhart polynomial of a 3-dimensional simple integral convex polytope by using toric geometry.
The Local $h$-Polynomials of Cluster Subdivisions Have Only Real Zeros
Published
• View Publication
• BIB
Athanasiadis raised the question whether the local $h$-polynomials of type $A$ cluster subdivisions have only real zeros. In this paper, we confirm this conjecture and prove the real-rootedness of local $h$-polynomials for all the other Cartan--Killing types. Our proofs mainly involve multiplier sequences and Chebyshev polynomials of the second kind.
A t-generalization for Schubert Representatives of the Affine Grassmannian
Published in DMTCS proc. AS, 2013, 1125-1136
• View Publication
• BIB
We introduce two families of symmetric functions with an extra parameter t that specialize to Schubert representatives for cohomology and homology of the affine Grassmannian when t = 1. The families are defined by a statistic on combinatorial objects associated to the type-A affine Weyl group and their transition matrix with Hall-Littlewood polynomials is t-positive. We conjecture that one family is the set of k-atoms.
Decomposition Methods for Nonlinear Optimization and Data Mining
We focus on two central themes in this dissertation. The first one is on decomposing polytopes and polynomials in ways that allow us to perform nonlinear optimization. We start off by explaining important results on decomposing a polytope into special polyhedra. We use these decompositions and develop methods for computing a special class of integrals exactly. Namely, we are interested in computing the exact value of integrals of polynomial functions over convex polyhedra. We present prior work and new extensions of the integration algorithms. Every integration method we present requires that the polynomial has a special form. We explore two special polynomial decomposition algorithms that are useful for integrating polynomial functions. Both polynomial decompositions have strengths and weaknesses, and we experiment with how to practically use them.
After developing practical algorithms and efficient software tools for integrating a polynomial over a polytope, we focus on the problem of maximizing a polynomial function over the continuous domain of a polytope. This maximization problem is NP-hard, but we develop approximation methods that run in polynomial time when the dimension is fixed. Moreover, our algorithm for approximating the maximum of a polynomial over a polytope is related to integrating the polynomial over the polytope. We show how the integration methods can be used for optimization.
The second central topic in this dissertation is on problems in data science. We first consider a heuristic for mixed-integer linear optimization. We show how many practical mixed-integer linear have a special substructure containing set partition constraints. We then describe a nice data structure for finding feasible zero-one integer solutions to systems of set partition constraints. Finally, we end with an applied project using data science methods in medical research.
Orienting Transversals and Transition Polynomials of Multimatroids
Published
• View Publication
• BIB
Multimatroids generalize matroids, delta-matroids, and isotropic systems, and transition polynomials of multimatroids subsume various polynomials for these latter combinatorial structures, such as the interlace polynomial and the Tutte-Martin polynomial.
We prove evaluations of the Tutte-Martin polynomial of isotropic systems from Bouchet directly and more efficiently in the context of transition polynomials of multimatroids. Moreover, we generalize some related evaluations of the transition polynomial of 4-regular graphs from Jaeger to multimatroids. These evaluations are obtained in a uniform and matroid-theoretic way. We also translate the evaluations in terms of the interlace polynomial of graphs. Finally, we give an excluded-minor theorem for the class of binary tight 3-matroids (a subclass of multimatroids) based on the excluded-minor theorem for the class of binary delta-matroids from Bouchet.
Boundaries of VP and VNP
One fundamental question in the context of the geometric complexity theory approach to the VP vs. VNP conjecture is whether VP = $\overline{\textrm{VP}}$, where VP is the class of families of polynomials that are of polynomial degree and can be computed by arithmetic circuits of polynomial size, and $\overline{\textrm{VP}}$ is the class of families of polynomials that are of polynomial degree and can be approximated infinitesimally closely by arithmetic circuits of polynomial size. The goal of this article is to study the conjecture in (Mulmuley, FOCS 2012) that $\overline{\textrm{VP}}$ is not contained in VP.
Towards that end, we introduce three degenerations of VP (i.e., sets of points in $\overline{\textrm{VP}}$), namely the stable degeneration Stable-VP, the Newton degeneration Newton-VP, and the p-definable one-parameter degeneration VP*. We also introduce analogous degenerations of VNP. We show that Stable-VP $\subseteq$ Newton-VP $\subseteq$ VP* $\subseteq$ VNP, and Stable-VNP = Newton-VNP = VNP* = VNP. The three notions of degenerations and the proof of this result shed light on the problem of separating $\overline{\textrm{VP}}$ from VP.
Although we do not yet construct explicit candidates for the polynomial families in $\overline{\textrm{VP}}\setminus$VP, we prove results which tell us where not to look for such families. Specifically, we demonstrate that the families in Newton-VP $\setminus$ VP based on semi-invariants of quivers would have to be non-generic by showing that, for many finite quivers (including some wild ones), any Newton degeneration of a generic semi-invariant can be computed by a circuit of polynomial size. We also show that the Newton degenerations of perfect matching Pfaffians, monotone arithmetic circuits over the reals, and Schur polynomials have polynomial-size circuits.
Upper bounds on the size of transitive subtournaments in digraphs
Published
• View Publication
• BIB
In this paper, we consider upper bounds on the size of transitive subtournaments in a digraph. In particular, we give an analogy of Hoffman's bound for the size of cocliques in a regular graph. Furthermore, we partially improve the Hoffman type bound for doubly regular tournaments by using the technique of Greaves and Soicher for strongly regular graphs [4], which gives a new application of block intersection polynomials.
The descent statistic on signed simsun permutations
In this paper we study the generating polynomials obtained by enumerating signed simsun permutations by number of the descents. Properties of the polynomials, including the recurrence relations and generating functions are studied.
The Avalanche Polynomial of a Graph
The (univariate) avalanche polynomial of a graph, introduced by Cori, Dartois and Rossin in 2006, captures the distribution of the length of (principal) avalanches in the abelian sandpile model. This polynomial has been used to show that the avalanche distribution in the sandpile model on a multiple wheel graph does not follow the expected power law function. In this article, we introduce the (multivariate) avalanche polynomial that enumerates the toppling sequences of all principal avalanches. This polynomial generalizes the univariate avalanche polynomial and encodes more information. In particular, the avalanche polynomial of a tree uniquely identifies the underlying tree. In this paper, the avalanche polynomial is characterized for trees, cycles, wheels, and complete graphs.
Domination polynomial of clique cover product of graphs
Let $G$ be a simple graph of order $n$. The domination polynomial of $G$ is the polynomial $D(G, x)=\sum_{i=1}^n d(G,i) x^i$, where $d(G,i)$ is the number of dominating sets of $G$ of size $i$. For two graphs $G$ and $H$, let $\mathcal{C} = \{C_1,C_2, \cdots, C_k\}$ be a clique cover of $G$ and $U\subseteq V(H)$. We consider clique cover product which denoted by $G^\mathcal{C} \star H^U$ and obtained from $G$ as follows: for each clique $C_i \in \mathcal{C}$, add a copy of the graph $H$ and join every vertex of $C_i$ to every vertex of $U$. We prove that the domination polynomial of clique cover product $G^\mathcal{C} \star H^{V(H)}$ or simply $G^\mathcal{C} \star H$ is
\[
D(G^\mathcal{C} \star H,x)=\prod_{i=1}^k\Big [\big((1+x)^{n_i}-1\big)(1+x)^{|V(H)|}+D(H,x)\Big], \] where each clique $C_i \in \mathcal{C}$ has $n_i$ vertices. As results, we study the $\mathcal{D}$-equivalence classes of some families of graphs. Also we completely describe the $\mathcal{D}$-equivalence classes of friendship graphs constructed by coalescence $n$ copies of the cycle graph of length three with a common vertex.
On the real-rootedness of the local $h$-polynomials of edgewise subdivisions
Published
• View Publication
• BIB
Athanasiadis conjectured that, for every positive integer $r$, the local $h$-polynomial of the $r$th edgewise subdivision of any simplex has only real zeros. In this paper, based on the theory of interlacing polynomials, we prove that a family of polynomials related to the desired local $h$-polynomial is interlacing and hence confirm Athanasiadis' conjecture.