polynomial
11422 papers tagged with this keyword
Combinatorial study of the Dellac configurations and the q-extended normalized median Genocchi numbers
Published
• View Publication
• BIB
In two recent papers (\textit{Mathematical Research Letters,18(6):1163--1178,2011} and \textit{European J. Combin.,33(8):1913--1918,2012}), Feigin proved that the Poincaré polynomials of the degenerate flag varieties have a combinatorial interpretation through the Dellac configurations, and related them to the $q$-extended normalized median Genocchi numbers $\bar{c}_n(q)$ introduced by Han and Zeng, mainly by geometric considerations. In this paper, we give combinatorial proofs of these results by constructing statistic-preserving bijections between the Dellac configurations and two other combinatorial models of $\bar{c}_n(q)$.
On the Maximum Parsimony distance between phylogenetic trees
Published
• View Publication
• BIB
Within the field of phylogenetics there is great interest in distance measures to quantify the dissimilarity of two trees. Here, based on an idea of Bruen and Bryant, we propose and analyze a new distance measure: the Maximum Parsimony (MP) distance. This is based on the difference of the parsimony scores of a single character on both trees under consideration, and the goal is to find the character which maximizes this difference. In this article we show that this new distance is a metric and provides a lower bound to the well-known Subtree Prune and Regraft (SPR) distance. We also show that to compute the MP distance it is sufficient to consider only characters that are convex on one of the trees, and prove several additional structural properties of the distance. On the complexity side, we prove that calculating the MP distance is in general NP-hard, and identify an interesting island of tractability in which the distance can be calculated in polynomial time.
The Obstacle Problem on Graphs and Other Results
Our primary motivation is existence and uniqueness for the obstacle problem on graphs. That is, we look for unique solutions to the problem $Lu = χ_{\{u>0\}}$, where $L$ is the Laplacian matrix associated to a graph, and $u$ is a nonnegative real-valued vector with preassigned zero coordinates and positive coordinates to be determined. In the course of solving this problem, we make a detour into the study of Laplacian matrices themselves. First, we present the row reduced echelon form of such matrices and determine the invertibility of proper square submatrices. Next, we determine eigenvalues of several simple Laplacians. In this context, we introduce a new polynomial called the generalized characteristic polynomial that allows us to compute (theoretically, if inefficiently)the usual characteristic polynomial for trees by inspection of the graph. Finally, we give our solution to the obstacle problem on graphs and discuss other components of the obstacle problem, which we investigate in future research.
Quantum and affine Schubert calculus and Macdonald polynomials
Published
• View Publication
• BIB
We definitively establish that the theory of symmetric Macdonald polynomials aligns with quantum and affine Schubert calculus using a discovery that distinguished weak chains can be identified by chains in the strong (Bruhat) order poset on the type-$A$ affine Weyl group. We construct two one-parameter families of functions that respectively transition positively with Hall-Littlewood and Macdonald's $P$-functions, and specialize to the representatives for Schubert classes of homology and cohomology of the affine Grassmannian. Our approach leads us to conjecture that all elements in a defining set of 3-point genus 0 Gromov-Witten invariants for flag manifolds can be formulated as strong covers.
Counting Euclidean embeddings of rigid graphs
A graph is called (generically) rigid in $\mathbb{R}^d$ if, for any choice of sufficiently generic edge lengths, it can be embedded in $\mathbb{R}^d$ in a finite number of distinct ways, modulo rigid transformations. Here we deal with the problem of determining the maximum number of planar Euclidean embeddings as a function of the number of the vertices. We obtain polynomial systems which totally capture the structure of a given graph, by exploiting distance geometry theory. Consequently, counting the number of Euclidean embeddings of a given rigid graph, reduces to the problem of counting roots of the corresponding polynomial system.
Characteristic variety of the Gauss-Manin differential equations of a generic parallelly translated arrangement
Published
• View Publication
• BIB
We consider a weighted family of $n$ generic parallelly translated hyperplanes in $\C^k$ and describe the characteristic variety of the Gauss-Manin differential equations for associated hypergeometric integrals. The characteristic variety is given as the zero set of Laurent polynomials, whose coefficients are determined by weights and the Plucker coordinates of the associated point in the Grassmannian Gr(k,n). The Laurent polynomials are in involution.
Analyzing Network Reliability Using Structural Motifs
Published
• View Publication
• BIB
This paper uses the reliability polynomial, introduced by Moore and Shannon in 1956, to analyze the effect of network structure on diffusive dynamics such as the spread of infectious disease. We exhibit a representation for the reliability polynomial in terms of what we call {\em structural motifs} that is well suited for reasoning about the effect of a network's structural properties on diffusion across the network. We illustrate by deriving several general results relating graph structure to dynamical phenomena.
A combinatorial proof of strict unimodality for $q$-binomial coefficients
Published
• View Publication
• BIB
Pak and Panova recently proved that the $q$-binomial coefficient ${m+n \choose m}_q$ is a strictly unimodal polynomial in $q$ for $m,n \geq 8$, via the representation theory of the symmetric group. We give a direct combinatorial proof of their result by characterizing when a product of chains is strictly unimodal and then applying O'Hara's structure theorem for the partition lattice $L(m,n)$. In fact, we prove a stronger result: if $m, n \geq 8d$, and $2d \leq r \leq mn/2$, then the $r$-th rank of $L(m,n)$ has at least $d$ more elements that the next lower rank.
Some applications of the chromatic polynomials
The chromatic polynomials are studied by several authors and have important applications in different frameworks, specially, in graph theory and enumerative combinatorics. The aim of this work is to establish some properties of the coefficients of the chromatic polynomial of a graph. Three applications on restricted Stirling numbers of the second kind are given.
Interval scheduling and colorful independent sets
Published in Journal of Scheduling 18(5):449-469, 2015
• View Publication
• BIB
Numerous applications in scheduling, such as resource allocation or steel manufacturing, can be modeled using the NP-hard Independent Set problem (given an undirected graph and an integer k, find a set of at least k pairwise non-adjacent vertices). Here, one encounters special graph classes like 2-union graphs (edge-wise unions of two interval graphs) and strip graphs (edge-wise unions of an interval graph and a cluster graph), on which Independent Set remains NP-hard but admits constant-ratio approximations in polynomial time. We study the parameterized complexity of Independent Set on 2-union graphs and on subclasses like strip graphs. Our investigations significantly benefit from a new structural "compactness" parameter of interval graphs and novel problem formulations using vertex-colored interval graphs. Our main contributions are:
1. We show a complexity dichotomy: restricted to graph classes closed under induced subgraphs and disjoint unions, Independent Set is polynomial-time solvable if both input interval graphs are cluster graphs, and is NP-hard otherwise.
2. We chart the possibilities and limits of effective polynomial-time preprocessing (also known as kernelization).
3. We extend Halldórsson and Karlsson (2006)'s fixed-parameter algorithm for Independent Set on strip graphs parameterized by the structural parameter "maximum number of live jobs" to show that the problem (also known as Job Interval Selection) is fixed-parameter tractable with respect to the parameter k and generalize their algorithm from strip graphs to 2-union graphs. Preliminary experiments with random data indicate that Job Interval Selection with up to fifteen jobs and 5*10^5 intervals can be solved optimally in less than five minutes.
Factorial P- and Q-Schur functions represent equivariant quantum Schubert classes
Published in Osaka J. Math. 53(3): 591-619 (July 2016)
• Search Publication
We find presentations by generators and relations for the equivariant quantum cohomology rings of the maximal isotropic Grassmannians of types B,C and D, and we find polynomial representatives for the Schubert classes in these rings. These representatives are given in terms of the same Pfaffian formulas which appear in the theory of factorial $P$- and $Q$-Schur functions. After specializing to equivariant cohomology, we interpret the resulting presentations and Pfaffian formulas in terms of Chern classes of tautological bundles.
Amoebas, Nonnegative Polynomials and Sums of Squares Supported on Circuits
Published
• View Publication
• BIB
We completely characterize sections of the cones of nonnegative polynomials, convex polynomials and sums of squares with polynomials supported on circuits, a genuine class of sparse polynomials. In particular, nonnegativity is characterized by an invariant, which can be immediately derived from the initial polynomial. Furthermore, nonnegativity of such polynomials $f$ coincides with solidness of the amoeba of $f$, i.e., the Log-absolute-value image of the algebraic variety $\mathcal{V}(f) \subset (\mathbb{C}^*)^n$ of $f$.
These results generalize earlier works both in amoeba theory and real algebraic geometry by Fidalgo, Kovacec, Reznick, Theobald and de Wolff and solve an open problem by Reznick. They establish the first direct connection between amoeba theory and nonnegativity of real polynomials. Additionally, these statements yield a completely new class of nonnegativity certificates independent from sums of squares certificates.
The golden number and Fibonacci sequences in the design of voting structures
Published in European Journal of Operational Research Vol. 226, Nr. 2 (2013), Pages 246-257
• View Publication
• BIB
Some distinguished types of voters, as vetoers, passers or nulls, as well as some others, play a significant role in voting systems because they are either the most powerful or the least powerful voters in the game independently of the measure used to evaluate power. In this paper we are concerned with the design of voting systems with at least one type of these extreme voters and with few types of equivalent voters, with this purpose in mind we enumerate these special classes of games and find out that its number always follows a Fibonacci sequence with smooth polynomial variations. As a consequence we find several families of games with the same asymptotic exponential behavior excepting of a multiplicative factor which is the golden number or its square. From a more general point of view, our studies are related with the design of voting structures with a predetermined importance ranking.
Polynomial time recognition of squares of ptolemaic graphs and 3-sun-free split graphs
Published
• View Publication
• BIB
The square of a graph $G$, denoted $G^2$, is obtained from $G$ by putting an edge between two distinct vertices whenever their distance is two. Then $G$ is called a square root of $G^2$. Deciding whether a given graph has a square root is known to be NP-complete, even if the root is required to be a chordal graph or even a split graph.
We present a polynomial time algorithm that decides whether a given graph has a ptolemaic square root. If such a root exists, our algorithm computes one with a minimum number of edges.
In the second part of our paper, we give a characterization of the graphs that admit a 3-sun-free split square root. This characterization yields a polynomial time algorithm to decide whether a given graph has such a root, and if so, to compute one.
A framework of Rogers-Ramanujan identities and their arithmetic properties
Published in Duke Math. J. 165, no. 8 (2016), 1475-1527
• View Publication
• BIB
The two Rogers-Ramanujan $q$-series \[ \sum_{n=0}^{\infty}\frac{q^{n(n+σ)}}{(1-q)\cdots (1-q^n)}, \] where $σ=0,1$, play many roles in mathematics and physics. By the Rogers-Ramanujan identities, they are essentially modular functions. Their quotient, the Rogers-Ramanujan continued fraction, has the special property that its singular values are algebraic integral units. We find a framework which extends the Rogers-Ramanujan identities to doubly-infinite families of $q$-series identities. If $a\in\{1,2\}$ and $m,n\geq 1$, then we have \[ \sum_{\substack{λλ_1\leq m}} q^{a|λ|} P_{2λ}(1,q,q^2,\dots;q^n) =\textrm{"infinite product modular function"}, \] where the $P_λ(x_1,x_2,\dots;q)$ are Hall-Littlewood polynomials. These $q$-series are specialized characters of affine Kac--Moody algebras. Generalizing the Rogers-Ramanujan continued fraction, we prove in the case of $\textrm{A}_{2n}^{(2)}$ that the relevant $q$-series quotients are integral units.
The result for the grundy number on p4 classes
Published in International Journal of Next-Generation Networks (IJNGN) Vol.5, No.4, December 2013
• Search Publication
Our work becomes integrated into the general problem of the stability of the network ad hoc. Some, works attacked (affected) this problem. Among these works, we find the modelling of the network ad hoc in the form of a graph. We can resume the problem of coherence of the network ad hoc of a problem of allocation of frequency We study a new class of graphs, the fat-extended P4 graphs, and we give a polynomial time algorithm to calculate the Grundy number of the graphs in this class. This result implies that the Grundy number can be found in polynomial time for many graphs
Polynomials vanishing on grids: The Elekes-Rónyai problem revisited
Published
• View Publication
• BIB
In this paper we characterize real bivariate polynomials which have a small range over large Cartesian products. We show that for every constant-degree bivariate real polynomial $f$, either $|f(A,B)|=Ω(n^{4/3})$, for every pair of finite sets $A,B\subset{\mathbb R}$, with $|A|=|B|=n$ (where the constant of proportionality depends on ${\rm deg} f$), or else $f$ must be of one of the special forms $f(u,v)=h(\varphi(u)+ψ(v))$, or $f(u,v)=h(\varphi(u)\cdotψ(v))$, for some univariate polynomials $\varphi,ψ,h$ over ${\mathbb R}$. This significantly improves a result of Elekes and Rónyai (2000).
Our results are cast in a more general form, in which we give an upper bound for the number of zeros of $z=f(x,y)$ on a triple Cartesian product $A\times B\times C$, when the sizes $|A|$, $|B|$, $|C|$ need not be the same; the upper bound is $O(n^{11/6})$ when $|A|=|B|=|C|=n$, where the constant of proportionality depends on ${\rm deg} f$, unless $f$ has one of the aforementioned special forms.
This result provides a unified tool for improving bounds in various Erd\H os-type problems in geometry and additive combinatorics. Several applications of our results to problems of these kinds are presented. For example, we show that the number of distinct distances between $n$ points lying on a constant-degree parametric algebraic curve which does not contain a line, in any dimension, is $Ω(n^{4/3})$, extending the result of Pach and de Zeeuw (2013) and improving the bound of Charalambides (2012), for the special case where the curve under consideration has a polynomial parameterization. We also derive improved lower bounds for several variants of the sum-product problem in additive combinatorics.
Systems of word equations, polynomials and linear algebra: A new approach
Published in European J. Combin. 47 (2015) 1-14
• View Publication
• BIB
We develop a new tool, namely polynomial and linear algebraic methods, for studying systems of word equations. We illustrate its usefulness by giving essentially simpler proofs of several hard problems. At the same time we prove extensions of these results. Finally, we obtain the first nontrivial upper bounds for the fundamental problem of the maximal size of independent systems. These bounds depend quadratically on the size of the shortest equation. No methods of having such bounds have been known before.
Chinese Remainder Theorem for Cyclotomic Polynomials in $\mathbf{Z}[X]$
Published in J.Algebra 435 (2015) 223-262
• View Publication
• BIB
By the Chinese remainder theorem, the canonical map \[Ψ_n: R[X]/(X^n-1)\to \oplus_{d|n} R[X]/Φ_d(X)\] is an isomorphism when $R$ is a field whose characteristic does not divide $n$ and $Φ_d$ is the $d$th cyclotomic polynomial. When $R$ is the ring $\mathbf{Z}$ of rational integers, this map is injective but not surjective. In this paper, we give an explicit formula for the elementary divisors of the cokernel of $Ψ_n$(when $R=\mathbb{Z}$) using the prime factorisation of $n$. We also give a pictorial algorithm using Young Tableaux that takes $O(n^{3+ε})$ bit operations for any $ε> 0$ to determine a basis of Smith vectors (see Definition 3.1) for the codomain of $Ψ_n$. In general when $R$ is an integral domain, we prove that the determinant of $Ψ: R[X]/(\prod_j f_j) \to \bigoplus_j R[X]/(f_j)$ written with respect to the standard basis is $\prod_{1 \leqslant i < j
\leqslant n} \mathcal{R}(f_j, f_i)$, where $f_i$'s are pairwise relatively prime monic polynomials and $\mathcal{R}(f_j, f_i)$ is the resultant of $f_j$ and $f_i$.
Polygonal Dissections and Reversions of Series
Published in Involve 9 (2016) 223-236
• View Publication
• BIB
The Catalan numbers $C_k$ were first studied by Euler, in the context of enumerating triangulations of polygons $P_{k+2}$. Among the many generalizations of this sequence, the Fuss-Catalan numbers $C^{(d)}_k$ count enumerations of dissections of polygons $P_{k(d-1)+2}$ into $(d+1)$-gons. In this paper, we provide a formula enumerating polygonal dissections of $(n+2)$-gons, classified by partitions $λ$ of $[n]$. We connect these counts $a_λ$ to reverse series arising from iterated polynomials. Generalizing this further, we show that the coefficients of the reverse series of polynomials $x=z-\sum_{j=0}^{\infty} b_j z^{j+1}$ enumerate colored polygonal dissections.