polynomial
11422 papers tagged with this keyword
Relating Signed Kazhdan-Lusztig Polynomials and Classical Kazhdan-Lusztig Polynomials
Published in Duke Math. J. 163, no. 11 (2014), 2161-2178
• View Publication
• BIB
Motivated by studying the Unitary Dual Problem, a variation of Kazhdan-Lusztig polynomials was defined in [Yee08] which encodes signature information at each level of the Jantzen filtration. These so called signed Kazhdan-Lusztig polynomials may be used to compute the signatures of invariant Hermitian forms on irreducible highest weight modules. The key result of this paper is a simple relationship between signed Kazhdan-Lusztig polynomials and classical Kazhdan-Lusztig polynomials: signed Kahzdan-Lusztig polynomials are shown to equal classical Kazhdan-Lusztig polynomials evaluated at $-q$ rather than $q$ and multiplied by a sign. This result has applications to finding the unitary dual for real reductive Lie groups since Harish-Chandra modules may be constructed by applying Zuckerman functors to highest weight modules.
Deterministic Polynomial Factoring and Association Schemes
Published in LMS J. Comput. Math. 17 (2014) 123-140
• View Publication
• BIB
The problem of finding a nontrivial factor of a polynomial f(x) over a finite field F_q has many known efficient, but randomized, algorithms. The deterministic complexity of this problem is a famous open question even assuming the generalized Riemann hypothesis (GRH). In this work we improve the state of the art by focusing on prime degree polynomials; let n be the degree. If (n-1) has a `large' r-smooth divisor s, then we find a nontrivial factor of f(x) in deterministic poly(n^r,log q) time; assuming GRH and that s > sqrt{n/(2^r)}. Thus, for r = O(1) our algorithm is polynomial time. Further, for r > loglog n there are infinitely many prime degrees n for which our algorithm is applicable and better than the best known; assuming GRH.
Our methods build on the algebraic-combinatorial framework of m-schemes initiated by Ivanyos, Karpinski and Saxena (ISSAC 2009). We show that the m-scheme on n points, implicitly appearing in our factoring algorithm, has an exceptional structure; leading us to the improved time complexity. Our structure theorem proves the existence of small intersection numbers in any association scheme that has many relations, and roughly equal valencies and indistinguishing numbers.
q-Chebyshev polynomials
In this overview paper a direct approach to q-Chebyshev polynomials and their elementary properties is given. Special emphasis is placed on analogies with the classical case. There are also some connections with q-tangent and q-Genocchi numbers.
The Tutte Polynomial of a Morphism of Matroids 6. A Multi-Faceted Counting Formula for Hyperplane Regions and Acyclic Orientations
We show that the 4-variable generating function of certain orientation related parameters of an ordered oriented matroid is the evaluation at (x + u, y+v) of its Tutte polynomial. This evaluation contains as special cases the counting of regions in hyperplane arrangements and of acyclic orientations in graphs. Several new 2-variable expansions of the Tutte polynomial of an oriented matroid follow as corollaries.
This result hold more generally for oriented matroid perspectives, with specific special cases the counting of bounded regions in hyperplane arrangements or of bipolar acyclic orientations in graphs.
In corollary, we obtain expressions for the partial derivatives of the Tutte polynomial as generating functions of the same orientation parameters.
The Tutte Polynomial of a Morphism of Matroids 5. Derivatives as Generating Functions of Tutte Activities
Published
• View Publication
• BIB
We show that in an ordered matroid the partial derivative \partial^{p+q}t/\partialx^p\partialyq of the Tutte polynomial is p!q! times the generating function of activities of subsets with corank p and nullity q. More generally, this property holds for the 3-variable Tutte polynomial of a matroid perspective.
Multiplicities of degenerations of matrices and mixed volumes of Cayley polyhedra
Published in J. of singularities, 6 (2012), 27--36
• View Publication
• BIB
Using a certain Pick-type formula for the mixed volume of Cayley polyhedra, we compute the multiplicity of the isolated common zero of the maximal minors for a matrix of generic homogeneous polynomials of given degrees.
Partitions and compositions over finite fields
Published
• View Publication
• BIB
In this paper we find exact formulas for the numbers of partitions and compositions of an element into $m$ parts over a finite field, i.e. we find the number of nonzero solutions of the equation $x_1+x_2+...+x_m=z$ over a finite field when the order does not matter and when it does, respectively. We also give an application of our results in the study of polynomials of prescribed ranges over finite fields.
Relations Between Graphs
Given two graphs G and H, we ask under which conditions there is a relation R that generates the edges of H given the structure of graph G. This construction can be seen as a form of multihomomorphism. It generalizes surjective homomorphisms of graphs and naturally leads to notions of R-retractions, R-cores, and R-cocores of graphs. Both R-cores and R-cocores of graphs are unique up to isomorphism and can be computed in polynomial time.
Edge Ideals of Weighted Graphs
Published
• View Publication
• BIB
We study weighted graphs and their "edge ideals" which are ideals in polynomial rings that are defined in terms of the graphs. We provide combinatorial descriptions of m-irreducible decompositions for the edge ideal of a weighted graph in terms of the combinatorics of "weighted vertex covers". We use these, for instance, to say when these ideals are m-unmixed. We explicitly describe which weighted cycles, suspensions, and trees are unmixed and which ones are Cohen-Macaulay, and we prove that all weighted complete graphs are Cohen-Macaulay.
A Partially Ordered Structure and a Generalization of the Canonical Partition for General Graphs with Perfect Matchings
Published
• View Publication
• BIB
This paper is concerned with structures of general graphs with perfect matchings. We first reveal a partially ordered structure among factor-components of general graphs with perfect matchings. Our second result is a generalization of Kotzig's canonical partition to a decomposition of general graphs with perfect matchings. It contains a short proof for the theorem of the canonical partition. These results give decompositions which are canonical, that is, unique to given graphs. We also show that there are correlations between these two and that these can be computed in polynomial time.
Non-D-finite excursions in the quarter plane
Published in Journal of Combinatorial Theory, Series A 121 (2014) 45-63
• View Publication
• BIB
The number of excursions (finite paths starting and ending at the origin) having a given number of steps and obeying various geometric constraints is a classical topic of combinatorics and probability theory. We prove that the sequence $(e^{\mathfrak{S}}_n)_{n\geq 0}$ of numbers of excursions in the quarter plane corresponding to a nonsingular step set $\mathfrak{S} \subseteq \{0,\pm 1 \}^2$ with infinite group does not satisfy any nontrivial linear recurrence with polynomial coefficients. Accordingly, in those cases, the trivariate generating function of the numbers of walks with given length and prescribed ending point is not D-finite. Moreover, we display the asymptotics of $e^{\mathfrak{S}}_n$.
A graphical description of $(D_n,A_{n-1})$ Kazhdan-Lusztig polynomials
Published in GMJ, volume 55, pp. 313-340, 2013
• View Publication
• BIB
We give an easy diagrammatical description of the parabolic Kazhdan-Lusztig polynomials for the Weyl group $W_n$ of type $D_n$ with parabolic subgroup of type $A_n$ and consequently an explicit counting formula for the dimension of the morphism spaces between indecomposable projective objects in the corresponding category $Ø_0^\p$. As a byproduct we categorify irreducible $W_n$-modules corresponding to pairs of one-line partitions. Finally we indicate the motivation for introducing the combinatorics by connections to Springer theory, the category of perverse sheaves on isotropic Grassmannians and to Brauer algebras which will be treated in \cite{ES}.
On the critical ideals of graphs
Published in Linear Algebra and its Applications 439 (2013) 3870-3892
• View Publication
• BIB
We introduce some determinantal ideals of the generalized Laplacian matrix associated to a digraph G, that we call critical ideals of G. Critical ideals generalize the critical group and the characteristic polynomials of the adjacency and Laplacian matrices of a digraph. The main results of this article are the determination of some minimal generator sets and the reduced Grobner basis for the critical ideals of the complete graphs, the cycles and the paths. Also, we establish a bound between the number of trivial critical ideals and the stability and clique numbers of a graph.
Proving properties of the edge elimination polynomial using equivalent graph polynomials
Published in Congressus Numerantium 211 (2012) 73-88
• Search Publication
Averbouch, Godlin and Makowsky define the edge elimination polynomial of a graph by a recurrence relation with respect to the deletion, contraction and extraction of an edge. It generalizes some well-known graph polynomials such as the chromatic polynomial and the matching polynomial. By introducing two equivalent graph polynomials, one enumerating subgraphs and the other enumerating colorings, we show that the edge elimination polynomial of a simple graph is reconstructible from its polynomial deck and that it encodes the degree sequence of an arbitrary graph.
Bounds on the diameter of Cayley graphs of the symmetric group
Published
• View Publication
• BIB
In this paper we are concerned with the conjecture that, for any set of generators S of the symmetric group of degree n, the word length in terms of S of every permutation is bounded above by a polynomial of n. We prove this conjecture for sets of generators containing a permutation fixing at least 37% of the points.
Combinatorial coloring of 3-colorable graphs
Published
• View Publication
• BIB
We consider the problem of coloring a 3-colorable graph in polynomial time using as few colors as possible. We present a combinatorial algorithm getting down to $\tO(n^{4/11})$ colors. This is the first combinatorial improvement of Blum's $\tO(n^{3/8})$ bound from FOCS'90. Like Blum's algorithm, our new algorithm composes nicely with recent semi-definite approaches. The current best bound is $O(n^{0.2072})$ colors by Chlamtac from FOCS'07. We now bring it down to $O(n^{0.2038})$ colors.
Operators of rank 1, discrete path integration and graph Laplacians
We prove a formula for a characteristic polynomial of an operator expressed as a polynomial of rank 1 operators. The formula uses a discrete analog of path integration and implies a generalization of the Forman-Kenyon's formula [4,6] for a determinant of the graph Laplacian (which, in its turn, implies the famous matrix-tree theorem by Kirchhoff) as well as its level 2 analog, where the summation is performed over triangulated nodal surfaces with boundary.
Descent polynomials for k bubble-sortable permutations of type B
Published
• View Publication
• BIB
Motivated by the work of Chung, Claesson, Dukes, and Graham, we define a natural type B analog of the classic bubble sort, and use it to define a type B analog of the maximum drop statistic. We enumerate (by explicit, recursive, and generating function formulas) signed permutations with r type B descents and type B maximum drop at most k. We also find a connection between these signed permutations and certain 2-colored juggling sequences.
Asymptotic $L^4$ norm of polynomials derived from characters
Published
• View Publication
• BIB
Littlewood investigated polynomials with coefficients in $\{-1,1\}$ (Littlewood polynomials), to see how small their ratio of norms $||f||_4/||f||_2$ on the unit circle can become as $deg(f)\to\infty$. A small limit is equivalent to slow growth in the mean square autocorrelation of the associated binary sequences of coefficients of the polynomials. The autocorrelation problem for arrays and higher dimensional objects has also been studied; it is the natural generalization to multivariable polynomials. Here we find, for each $n > 1$, a family of $n$-variable Littlewood polynomials with lower asymptotic $||f||_4/||f||_2$ than any known hitherto. We discover these through a wide survey, infeasible with previous methods, of polynomials whose coefficients come from finite field characters. This is the first time that the lowest known asymptotic ratio of norms $||f||_4/||f||_2$ for multivariable polynomials $f(z_1,...,z_n)$ is strictly less than what could be obtained by using products $f_1(z_1)... f_n(z_n)$ of the best known univariate polynomials.
Macdonald polynomials as characters of Cherednik algebra modules
Published
• View Publication
• BIB
We prove that Macdonald polynomials are characters of irreducible Cherednik algebra modules.