polynomial
11257 papers tagged with this keyword
Chebyshev polynomials, Zolotarev polynomials and plane trees
Published
• View Publication
• BIB
A polynomial with exactly two critical values is called a generalized Chebyshev polynomial. A polynomial with exactly three critical values is called a Zolotarev polynomial. Two Chebyshev polynomials $f$ and $g$ are called Z-homotopic, if there exists a family $p_α$, $α\in [0,1]$, where $p_0=f$, $p_1=g$ and $p_α$ is a Zolotarev polynomial, if $α\in (0,1)$. As each Chebyshev polynomial defines a plane tree (and vice versa), Z-homotopy can be defined for plane trees. In this work we prove some necessary geometric conditions for plane trees Z-homotopy, describe Z-homotopy for trees with 5 and 6 edges and study one interesting example in the class of trees with 7 edges.
Pfaffian Systems of A-Hypergeometric Equations I: Bases of Twisted Cohomology Groups
Published
• View Publication
• BIB
This is the third revision. We study bases of Pfaffian systems for $A$-hypergeometric system. Gröbner deformations give bases. These bases also give those for twisted cohomology groups. For hypergeometric system associated to a class of order polytopes, these bases have a combinatorial description. The size of the bases associated to a subclass of the order polytopes have the growth rate of the polynomial order. Bases associated to two chain posets and bouquets are studied.
On terminal forms for topological polynomials for ribbon graphs: The $N$-petal flower
Published in European Journal of Combinatorics 36, February 2014, p.348-366
• View Publication
• BIB
The Bollobas-Riordan polynomial [Math. Ann. 323, 81 (2002)] extends the Tutte polynomial and its contraction/deletion rule for ordinary graphs to ribbon graphs. Given a ribbon graph $\cG$, the related polynomial should be computable from the knowledge of the terminal forms of $\cG$ namely specific induced graphs for which the contraction/deletion procedure becomes more involved. We consider some classes of terminal forms as rosette ribbon graphs with $N\ge 1$ petals and solve their associate Bollobas-Riordan polynomial. This work therefore enlarges the list of terminal forms for ribbon graphs for which the Bollobas-Riordan polynomial could be directly deduced.
Quantitative Combinatorial Nullstellensatz
Published in Uwe Schauz: Algebraically Solvable Problems: Describing Polynomials as Equivalent to Explicit Solutions. The Electronic Journal of Combinatorics 15 (2008), #R10
• Search Publication
The main result of this paper is a coefficient formula that sharpens and generalizes Alon and Tarsi's Combinatorial Nullstellensatz, which provides some information about the polynomial map $P|_{\X_1\times...\times\X_n}$ when only incomplete information about the polynomial $P(X_1,...c,X_n)$ is given.
In a very general working frame, the grid points $x\in\X_1\times\...b\times\X_n$ which do not vanish under an algebraic solution -- a certain describing polynomial $P(X_1,...c,X_n)$ -- correspond to the explicit solutions of a problem. As a consequence of the coefficient formula, we prove that the existence of an algebraic solution is equivalent to the existence of a nontrivial solution to a problem. By a problem, we mean everything that "owns" both, a set $§$, which may be called the \emph{set of solutions}; and a subset $\St\subseteq§$, the \emph{set of trivial solutions}.
We give several examples of how to find algebraic solutions, and how to apply our coefficient formula. These examples are mainly from graph theory and combinatorial number theory, but we also prove several versions of Chevalley and Warning's Theorem, including a generalization of Olson's Theorem, as examples and useful corollaries.
We obtain a permanent formula by applying our coefficient formula to the matrix polynomial, which is a generalization of the graph polynomial. This formula is an integrative generalization and sharpening of:
1. Ryser's permanent formula. 2. Alon's Permanent Lemma. 3. Alon and Tarsi's Theorem about orientations and colorings of graphs.
Furthermore, in combination with the Vigneron-Ellingham-Goddyn property of planar (n)regular graphs, the formula contains as very special cases:
4. Scheim's formula for the number of edge (n)-colorings of such graphs. 5. Ellingham and Goddyn's partial answer to the list coloring conjecture.
Lattice Path Matroid Polytopes
Fix two lattice paths $P$ and $Q$ from $(0,0)$ to $(m,r)$ that use East and North steps with $P $ never going above $Q$. Bonin et al. show that the lattice paths that go from $(0,0)$ to $(m,r)$ and remain bounded by $P$ and $Q$ can be identified with the bases of a particular type of transversal matroid, which we call it a lattice path matroid.
In this paper, we consider properties of lattice path matroid polytopes. These are the polytopes associated to the lattice path matroids. We investigate their face structure, decomposition, triangulation, Ehrhart polynomial and volume.
Weighted random staircase tableaux
Published in Combinator. Probab. Comp. 23 (2014) 1114-1147
• View Publication
• BIB
This paper concerns a relatively new combinatorial structure called staircase tableaux. They were introduced in the context of the asymmetric exclusion process and Askey--Wilson polynomials, however, their purely combinatorial properties have gained considerable interest in the past few years.
In this paper we further study combinatorial properties of staircase tableaux. We consider a general model of staircase tableaux in which symbols that appear in staircase tableaux may have arbitrary positive weights. Under this general model we derive a number of results. Some of our results concern the limiting laws for the number of appearances of symbols in a random staircase tableaux. They generalize and subsume earlier results that were obtained for specific values of the weights.
One advantage of our generality is that we may let the weights approach extreme values of zero or infinity which covers further special cases appearing earlier in the literature. Furthermore, our generality allows us to analyze the structure of random staircase tableaux and we obtain several results in this direction.
One of the tools we use are generating functions of the parameters of interests. This leads us to a two--parameter family of polynomials and we study this family as well. Specific values of the parameters include number of special cases analyzed earlier in the literature. All of them are generalizations of the classical Eulerian polynomials.
We also briefly discuss the relation of staircase tableaux to the asymmetric exclusion process, to other recently introduced types of tableaux, and to an urn model studied by a number of researchers, including Philippe Flajolet.
Classification of Polynomial Mappings Between Commutative Groups
Published in Journal of Number Theory 139 (2014) 1-28
• View Publication
• BIB
Some polynomials $P$ with rational coefficients give rise to well defined maps between cyclic groups, $\Z_q\longrightarrow\Z_r$, $x+q\Z\longmapsto P(x)+r\Z$. More generally, there are polynomials in several variables with tuples of rational numbers as coefficients that induce maps between commutative groups. We characterize the polynomials with this property, and classify all maps between two given finite commutative groups that arise in this way. We also provide interpolation formulas and a Taylor-type theorem for the calculation of polynomials that describe given maps.
On signless Laplacian coefficients of unicyclic graphs with given matching number
Published
• View Publication
• BIB
Let $G$ be an unicyclic graph of order $n$ and let $Q_G(x)= det(xI-Q(G))={matrix} \sum_{i=1}^n (-1)^i \varphi_i x^{n-i}{matrix}$ be the characteristic polynomial of the signless Laplacian matrix of a graph $G$. We give some transformations of $G$ which decrease all signless Laplacian coefficients in the set $\mathcal{G}(n,m)$. $\mathcal{G}(n,m)$ denotes all n-vertex unicyclic graphs with matching number $m$. We characterize the graphs which minimize all the signless Laplacian coefficients in the set $\mathcal{G}(n,m)$ with odd (resp. even) girth. Moreover, we find the extremal graphs which have minimal signless Laplacian coefficients in the set $\mathcal{G}(n)$ of all $n$-vertex unicyclic graphs with odd (resp. even) girth.
On signless Laplacian coefficients of bicyclic graphs
Published
• View Publication
• BIB
Let $G$ be a graph of order $n$ and $Q_G(x)= det(xI-Q(G))= \sum_{i=1}^n (-1)^i \varphi_i x^{n-i}$ be the characteristic polynomial of the signless Laplacian matrix of a graph $G$. We give some transformations of $G$ which decrease all signless Laplacian coefficients in the set $\mathcal{B}(n)$ of all $n$-vertex bicyclic graphs. $\mathcal{B}^1(n)$ denotes all n-vertex bicyclic graphs with at least one odd cycle. We show that $B_n^1$ (obtained from $C_4$ by adding one edge between two non-adjacent vertices and adding $n-4$ pendent vertices at the vertex of degree 3) minimizes all the signless Laplacian coefficients in the set $\mathcal{B}^1(n)$. Moreover, we prove that $B_n^2$ (obtained from $K_{2,3}$ by adding $n-5$ pendent vertices at one vertex of degree 3) has minimum signless Laplacian coefficients in the set $\mathcal{B}^2(n)$ of all $n$-vertex bicyclic graphs with two even cycles.
On the Complexity of Joint Subcarrier and Power Allocation for Multi-User OFDMA Systems
Published
• View Publication
• BIB
Consider a multi-user Orthogonal Frequency Division Multiple Access (OFDMA) system where multiple users share multiple discrete subcarriers, but at most one user is allowed to transmit power on each subcarrier. To adapt fast traffic and channel fluctuations and improve the spectrum efficiency, the system should have the ability to dynamically allocate subcarriers and power resources to users. Assuming perfect channel knowledge, two formulations for the joint subcarrier and power allocation problem are considered in this paper: the first is to minimize the total transmission power subject to quality of service constraints and the OFDMA constraint, and the second is to maximize some system utility function (including the sum-rate utility, the proportional fairness utility, the harmonic mean utility, and the min-rate utility) subject to the total transmission power constraint per user and the OFDMA constraint. In spite of the existence of various heuristics approaches, little is known about the computational complexity status of the above problem. This paper aims to fill this theoretical gap, i.e., characterizing the complexity of the joint subcarrier and power allocation problem for the multi-user OFDMA system. It is shown in this paper that both formulations of the joint subcarrier and power allocation problem are strongly NP-hard. The proof is based on a polynomial time transformation from the so-called 3-dimensional matching problem. Several subclasses of the problem which can be solved to global optimality or $ε$-global optimality in polynomial time are also identified. These complexity results suggest that there are not polynomial time algorithms which are able to solve the general joint subcarrier and power allocation problem to global optimality (unless P$=$NP), and determining an approximately optimal subcarrier and power allocation strategy is more realistic in practice.
A Polynomial Time Version of LLL With Deep Insertions
Published
• View Publication
• BIB
Lattice reduction algorithms have numerous applications in number theory, algebra, as well as in cryptanalysis. The most famous algorithm for lattice reduction is the LLL algorithm. In polynomial time it computes a reduced basis with provable output quality. One early improvement of the LLL algorithm was LLL with deep insertions (DeepLLL). The output of this version of LLL has higher quality in practice but the running time seems to explode. Weaker variants of DeepLLL, where the insertions are restricted to blocks, behave nicely in practice concerning the running time. However no proof of polynomial running time is known. In this paper a new variant of DeepLLL with provably polynomial running time is presented. We compare the practical behavior of the new algorithm to classical LLL, BKZ as well as blockwise variants of DeepLLL regarding both the output quality and running time.
Every locally characterized affine-invariant property is testable
Published
• View Publication
• BIB
Let F = F_p for any fixed prime p >= 2. An affine-invariant property is a property of functions on F^n that is closed under taking affine transformations of the domain. We prove that all affine-invariant property having local characterizations are testable. In fact, we show a proximity-oblivious test for any such property P, meaning that there is a test that, given an input function f, makes a constant number of queries to f, always accepts if f satisfies P, and rejects with positive probability if the distance between f and P is nonzero. More generally, we show that any affine-invariant property that is closed under taking restrictions to subspaces and has bounded complexity is testable.
We also prove that any property that can be described as the property of decomposing into a known structure of low-degree polynomials is locally characterized and is, hence, testable. For example, whether a function is a product of two degree-d polynomials, whether a function splits into a product of d linear polynomials, and whether a function has low rank are all examples of degree-structural properties and are therefore locally characterized.
Our results depend on a new Gowers inverse theorem by Tao and Ziegler for low characteristic fields that decomposes any polynomial with large Gowers norm into a function of low-degree non-classical polynomials. We establish a new equidistribution result for high rank non-classical polynomials that drives the proofs of both the testability results and the local characterization of degree-structural properties.
Dynamic monopolies in directed graphs: the spread of unilateral influence in social networks
Published
• View Publication
• BIB
Let $G$ be a directed graph such that the in-degree of any vertex $G$ is at least one. Let also ${\mathcalτ}: V(G)\rightarrow \Bbb{N}$ be an assignment of thresholds to the vertices of $G$. A subset $M$ of vertices of $G$ is called a dynamic monopoly for $(G,τ)$ if the vertex set of $G$ can be partitioned into $D_0\cup... \cup D_t$ such that $D_0=M$ and for any $i\geq 1$ and any $v\in D_i$, the number of edges from $D_0\cup... \cup D_{i-1}$ to $v$ is at least $τ(v)$. One of the most applicable and widely studied threshold assignments in directed graphs is strict majority threshold assignment in which for any vertex $v$, $τ(v)=\lceil (deg^{in}(v)+1)/2 \rceil$, where $deg^{in}(v)$ stands for the in-degree of $v$. By a strict majority dynamic monopoly of a graph $G$ we mean any dynamic monopoly of $G$ with strict majority threshold assignment for the vertices of $G$. In this paper we first discuss some basic upper and lower bounds for the size of dynamic monopolies with general threshold assignments and then obtain some hardness complexity results concerning the smallest size of dynamic monopolies in directed graphs. Next we show that any directed graph on $n$ vertices and with positive minimum in-degree admits a strict majority dynamic monopoly with $n/2$ vertices. We show that this bound is achieved by a polynomial time algorithm. This upper bound improves greatly the best known result. The final note of the paper deals with the possibility of the improvement of the latter $n/2$ bound.
The bipartite unconstrained 0-1 quadratic programming problem: polynomially solvable cases
Published
• View Publication
• BIB
We consider the bipartite unconstrained 0-1 quadratic programming problem (BQP01) which is a generalization of the well studied unconstrained 0-1 quadratic programming problem (QP01). BQP01 has numerous applications and the problem is known to be MAX SNP hard. We show that if the rank of an associated $m\times n$ cost matrix $Q=(q_{ij})$ is fixed, then BQP01 can be solved in polynomial time. When $Q$ is of rank one, we provide an $O(n\log n)$ algorithm and this complexity reduces to $O(n)$ with additional assumptions. Further, if $q_{ij}=a_i+b_j$ for some $a_i$ and $b_j$, then BQP01 is shown to be solvable in $O(mn\log n)$ time. By restricting $m=O(\log n),$ we obtain yet another polynomially solvable case of BQP01 but the problem remains MAX SNP hard if $m=O(\sqrt[k]{n})$ for a fixed $k$. Finally, if the minimum number of rows and columns to be deleted from $Q$ to make the remaining matrix non-negative is $O(\log n)$ then we show that BQP01 polynomially solvable but it is NP-hard if this number is $O(\sqrt[k]{n})$ for any fixed $k$.
Keywords: quadratic programming, 0-1 variables, polynomial algorithms, complexity, pseudo-Boolean programming.
Optimal Cuts and Partitions in Tree Metrics in Polynomial Time
Published
• View Publication
• BIB
We present a polynomial time dynamic programming algorithm for optimal partitions in the shortest path metric induced by a tree. This resolves, among other things, the exact complexity status of the optimal partition problems in one dimensional geometric metric settings. Our method of solution could be also of independent interest in other applications. We discuss also an extension of our method to the class of metrics induced by the bounded treewidth graphs.
Computing Hosoya polynomials of graphs from primary subgraphs
The Hosoya polynomial of a graph encompasses many of its metric properties, for instance the Wiener index (alias average distance) and the hyper-Wiener index. An expression is obtained that reduces the computation of the Hosoya polynomials of a graph with cut vertices to the Hosoya polynomial of the so-called primary subgraphs. The main theorem is applied to specific constructions including bouquets of graphs, circuits of graphs and link of graphs. This is in turn applied to obtain the Hosoya polynomial of several chemically relevant families of graphs. In this way numerous known results are generalized and an approach to obtain them is simplified. Along the way several misprints from the literature are corrected.
The (r1,...,rp)-Bell polynomials
In a previous paper, Mihoubi et al. introduced the $(r_{1},...,r_{p}) $-Stirling numbers and the $(r_{1},...,r_{p}) $-Bell polynomials and gave some of their combinatorial and algebraic properties. These numbers and polynomials generalize, respectively, the $r$-Stirling numbers of the second kind introduced by Broder and the $r$-Bell polynomials introduced by Mező. In this paper, we prove that the $(r_{1},...,r_{p}) $-Stirling numbers of the second kind are log-concave. We also give generating functions and generalized recurrences related to the $(r_{1},...,r_{p}) $-Bell polynomials.
Expanding Polynomials over the rationals
Let $F(x,y)$ be a polynomial over the rationals. We show that if $F$ is not an expander (over the rationals) then it has a special multiplicative or additive form. For example if $F$ is a homogeneous non-expander polynomial then $F(x,y)=c(x+ay)^α$ or $F(x,y)=c(xy)^α.$ This is an extension of an earlier result of Elekes and Rónyai who described the structure of two-variate polynomials which are not expanders over the reals.
Sekiguchi-Debiard operators at infinity
Published in Communications in Mathematical Physics 324 (2013) 831-849
• View Publication
• BIB
We construct a family of pairwise commuting operators such that the Jack symmetric functions of infinitely many variables $x_1,x_2,...$ are their eigenfunctions. These operators are defined as limits at $N\to\infty$ of renormalised Sekiguchi-Debiard operators acting on symmetric polynomials in the variables $x_1,...,x_N$. They are differential operators in terms of the power sum variables $p_n=x_1^n+x_2^n+...$ and we compute their symbols by using the Jack reproducing kernel. Our result yields a hierarchy of commuting Hamiltonians for the quantum Calogero-Sutherland model with infinite number of bosonic particles in terms of the collective variables of the model. Our result also yields explicit shift operators for the Jack symmetric functions.
Macdonald operators at infinity
Published in Journal of Algebraic Combinatorics 40 (2014) 23-44
• View Publication
• BIB
We construct a family of pairwise commuting operators such that the Macdonald symmetric functions of infinitely many variables $x_1,x_2,...$ and of two parameters $q,t$ are their eigenfunctions. These operators are defined as limits at $N\to\infty$ of renormalised Macdonald operators acting on symmetric polynomials in the variables $x_1,...,x_N$. They are differential operators in terms of the power sum variables $p_n=x_1^n+x_2^n+...$ and we compute their symbols by using the Macdonald reproducing kernel. We express these symbols in terms of the Hall-Littlewood symmetric functions of the variables $x_1,x_2,...$. Our result also yields elementary step operators for the Macdonald symmetric functions.