polynomial
11422 papers tagged with this keyword
Edge-local equivalence of graphs
The local complement G*i of a simple graph G at one of its vertices i is obtained by complementing the subgraph induced by the neighborhood of i and leaving the rest of the graph unchanged. If e={i,j} is an edge of G then G*e=((G*i)*j)*i is called the edge-local complement of G along the edge e. We call two graphs edge-locally equivalent if they are related by a sequence of edge-local complementations. The main result of this paper is an algebraic description of edge-local equivalence of graphs in terms of linear fractional transformations of adjacency matrices. Applications of this result include (i) a polynomial algorithm to recognize whether two graphs are edge-locally equivalent, (ii) a formula to count the number of graphs in a class of edge-local equivalence, and (iii) a result concerning the coefficients of the interlace polynomial, where we show that these coefficients are all even for a class of graphs; this class contains, as a subset, all strongly regular graphs with parameters (n, k, a, c), where k is odd and a and c are even.
Construction of dendriform trialgebras
Published in C. R. Acad. Sci. Paris Volume 342, 6, 365-446 , 2006
• Search Publication
We realize the free dendriform trialgebra on one generator, as well as several other examples of dendriform trialgebras, as sub-trialgebras of an algebra of noncommutative polynomials in infinitely many variables.
On the Coefficients of Primitive Normal polynomials
The previous paper [4] proved the existence of primitive polynomials and primitive normal polynomials of degree n with k prescribed coefficients in the finite field GF(q) for all sufficiently large q. This paper presents a loger versions of the result on primitve normal polynomials.
Optimal Embeddings of Distance Regular Graphs into Euclidean Spaces
Published in J. Combin. Theory Ser. B 98 (2008), 95-104
• View Publication
• BIB
In this paper we give a lower bound for the least distortion embedding of a distance regular graph into Euclidean space. We use the lower bound for finding the least distortion for Hamming graphs, Johnson graphs, and all strongly regular graphs. Our technique involves semidefinite programming and exploiting the algebra structure of the optimization problem so that the question of finding a lower bound of the least distortion is reduced to an analytic question about orthogonal polynomials.
The range of multiplicative functions on C[x], R[x] and Z[x]
Published
• View Publication
• BIB
Mahler's measure is generalized to create the class of {\it multiplicative distance functions}. These functions measure the complexity of polynomials based on the location of their zeros in the complex plane. Following work of S.-J. Chern and J. Vaaler in \cite{chern-vaaler}, we associate to each multiplicative distance function two families of analytic functions which encode information about its range on \C[x] and \R[x]. These {\it moment functions} are Mellin transforms of distribution functions associated to the multiplicative distance function and demonstrate a great deal of arithmetic structure. For instance, we show that the moment function associated to Mahler's measure restricted to real reciprocal polynomials of degree 2N has an analytic continuation to rational functions with rational coefficients, simple poles at integers between -N and N, and a zero of multiplicity 2N at the origin. This discovery leads to asymptotic estimates for the number of reciprocal integer polynomials of fixed degree with Mahler measure less than T as $T \to \infty$. To explain the structure of this moment functions we show that the real moment functions of a multiplicative distance function can be written as Pfaffians of antisymmetric matrices formed from a skew-symmetric bilinear form associated to the multiplicative distance function.
Computing Groebner Fans
Published in Math. Comp. 76 (2007), 2189-2212
• View Publication
• BIB
This paper presents algorithms for computing the Groebner fan of an arbitrary polynomial ideal. The computation involves enumeration of all reduced Groebner bases of the ideal. Our algorithms are based on a uniform definition of the Groebner fan that applies to both homogeneous and non-homogeneous ideals and a proof that this object is a polyhedral complex. We show that the cells of a Groebner fan can easily be oriented acyclically and with a unique sink, allowing their enumeration by the memory-less reverse search procedure. The significance of this follows from the fact that Groebner fans are not always normal fans of polyhedra in which case reverse search applies automatically. Computational results using our implementation of these algorithms in the software package Gfan are included.
A Computer Proof of Turan's Inequality
We show how Turan's inequality $P_n(x)^2-P_{n-1}(x)P_{n+1}(x)\geq 0$ for Legendre polynomials and related inequalities can be proven by means of a computer procedure. The use of this procedure simplifies the daily work with inequalities. For instance, we have found the stronger inequality $|x|P_n(x)^2-P_{n-1}(x)P_{n+1}(x)\geq 0$, $-1\leq x\leq 1$, effortlessly with the aid of our method.
Orthogonality of Jack polynomials in superspace
Published in Advances in Mathematics 212 (2007) 361-388
• View Publication
• BIB
Jack polynomials in superspace, orthogonal with respect to a ``combinatorial'' scalar product, are constructed. They are shown to coincide with the Jack polynomials in superspace, orthogonal with respect to an ``analytical'' scalar product, introduced in hep-th/0209074 as eigenfunctions of a supersymmetric quantum mechanical many-body problem. The results of this article rely on generalizing (to include an extra parameter) the theory of classical symmetric functions in superspace developed recently in math.CO/0509408
Generalized Jones traces and Kazhdan--Lusztig bases
Published
• View Publication
• BIB
We develop some applications of certain algebraic and combinatorial conditions on the elements of Coxeter groups, such as elementary proofs of the positivity of certain structure constants for the associated Kazhdan--Lusztig basis. We also explore some consequences of the existence of a Jones-type trace on the Hecke algebra of a Coxeter group, such as simple procedures for computing leading terms of certain Kazhdan--Lusztig polynomials.
The sequel to this paper is math.QA/0509363.
Factorizations of Polynomials over Noncommutative Algebras and Sufficient Sets of Edges in Directed Graphs
Published
• View Publication
• BIB
To directed graphs with unique sink and source we associate a noncommutative associative alsgebra and a polynomial over this algebra. Edges of the graph correspond to pseudo-roots of the polynomial. We give a sufficient condition when coefficients of the polynomial can be rationally expressed via elements of a given set of pseudo-roots (edges). Our results are based on a new theorem for directed graphs also proved in this paper.
Percolation, Perimetry, Planarity
Published
• View Publication
• BIB
Let G be a planar graph with polynomial growth and isoperimetric dimension bigger than 1. Then the critical p for Bernoulli percolation on G satisfies p<1.
A unified approach to polynomial sequences with only real zeros
Published in Advances in Applied Mathematics, 38 (2007) 542-560
• View Publication
• BIB
We give new sufficient conditions for a sequence of polynomials to have only real zeros based on the method of interlacing zeros. As applications we derive several well-known facts, including the reality of zeros of orthogonal polynomials, matching polynomials, Narayana polynomials and Eulerian polynomials. We also settle certain conjectures of Stahl on genus polynomials by proving them for certain classes of graphs, while showing that they are false in general.
New fermionic formula for unrestricted Kostka polynomials
Published in J. Combinatorial Theory, Series A 113 (2006) 1435-1461
• View Publication
• BIB
A new fermionic formula for the unrestricted Kostka polynomials of type $A_{n-1}^{(1)}$ is presented. This formula is different from the one given by Hatayama et al. and is valid for all crystal paths based on Kirillov-Reshetihkin modules, not just for the symmetric and anti-symmetric case. The fermionic formula can be interpreted in terms of a new set of unrestricted rigged configurations. For the proof a statistics preserving bijection from this new set of unrestricted rigged configurations to the set of unrestricted crystal paths is given which generalizes a bijection of Kirillov and Reshetikhin.
Some composition determinants
Published in Linear Algebra Appl. 416 (2006), 355-364.
• View Publication
• BIB
We compute two parametric determinants in which rows and columns are indexed by compositions, where in one determinant the entries are products of binomial coefficients, while in the other the entries are products of powers. These results generalize previous determinant evaluations due to the first and third author [SIAM J. Matrix Anal. Appl. 23 (2001), 459--471] and ["A polynomial generalization of the power-compositions determinant," Linear Multilinear Algebra (to appear)], and they prove two conjectures of the second author ["Advanced determinant calculus: a complement," preliminary version].
A Noncommutative Symmetric System over the Grossman-Larson Hopf Algebra of Labeled Rooted Trees
Published in J. Alg. Comb. 28 (2008), 235--260.
• View Publication
• BIB
In this paper, we construct explicitly a noncommutative symmetric (${\mathcal N}$CS) system over the Grossman-Larson Hopf algebra of labeled rooted trees. By the universal property of the ${\mathcal N}$CS system formed by the generating functions of certain noncommutative symmetric functions, we obtain a specialization of noncommutative symmetric functions by labeled rooted trees. Taking the graded duals, we also get a graded Hopf algebra homomorphism from the Connes-Kreimer Hopf algebra of labeled rooted forests to the Hopf algebra of quasi-symmetric functions. A connection of the coefficients of the third generating function of the constructed ${\mathcal N}$CS system with the order polynomials of rooted trees is also given and proved.
NCS Systems over Differential Operator Algebras and the Grossman-Larson Hopf Algebras of Labeled Rooted Trees
Let $K$ be any unital commutative $\bQ$-algebra and $W$ any non-empty subset of $\bN^+$. Let $z=(z_1, ..., z_n)$ be commutative or noncommutative free variables and $t$ a formal central parameter. % Denote uniformly by $\kzz$ and $\kttzz$ the formal power series algebras % of $z$ over $K$ and $K[[t]]$, respectively. Let $\cDazz$ $(α\geq 1)$ be the unital algebra generated by the differential operators of $\kzz$ which increase the degree in $z$ by at least $α-1$ and $ \ataz $ the group of automorphisms $F_t(z)=z-H_t(z)$ of $\kttzz$ with $o(H_t(z))\geq α$ and $H_{t=0}(z)=0$. First, we study a connection of the \cNcs systems $Ω_{F_t}$ $(F_t\in \ataz)$ (\cite{GTS-I}, \cite{GTS-II}) over the differential operators algebra $\cDazz$ and the \cNcs system $Ω_\bT^W$ (\cite{GTS-IV}) over the Grossman-Larson Hopf algebra $\cH_{GL}^W$ (\cite{GL}, \cite{F1}, \cite{F2}) of $W$-labeled rooted trees. We construct a Hopf algebra homomorphism $\mathcal A_{F_t}: \cH_{GL}^W \to \cDazz$ $(F_t\in \ataz)$ such that $\mathcal A_{F_t}^{\times 5}(Ω_\bT^W) =Ω_{F_t}$. Secondly, we generalize the tree expansion formulas for the inverse map (\cite{BCW}, \cite{Wr3}), the D-Log and the formal flow (\cite{WZ}) of $F_t$ in the commutative case to the noncommutative case. Thirdly, we prove the injectivity of the specialization $\cT:{\mathcal N}Sym \to \cH_{GL}^{\bN^+}$ (\cite{GTS-IV}) of NCSF's (noncommutative symmetric functions) (\cite{G-T}). Finally, we show the family of the specializations $\cS_{F_t}$ of NCSF's with all $n\geq 1$ and the polynomial automorphisms $F_t=z-H_t(z)$ with $H_t(z)$ homogeneous and the Jacobian matrix $JH_t$ strictly lower triangular can distinguish any two different NCSF's. The graded dualized versions of the main results above are also discussed.
Boundary qKZ equation and generalized Razumov-Stroganov sum rules for open IRF models
Published
• View Publication
• BIB
We find higher rank generalizations of the Razumov--Stroganov sum rules at $q=-e^{iπ\over k+1}$ for $A_{k-1}$ models with open boundaries, by constructing polynomial solutions of level one boundary quantum Knizhnik--Zamolodchikov equations for $U_q(\frak{sl}(k))$. The result takes the form of a character of the symplectic group, that leads to a generalization of the number of vertically symmetric alternating sign matrices. We also investigate the other combinatorial point $q=-1$, presumably related to the geometry of nilpotent matrix varieties.
Some families of componentwise linear monomial ideals
Published
• View Publication
• BIB
Let R=k[x_1,...,x_n] be a polynomial ring over a field k. Let J={j_1,...,j_t} be a subset of [n]={1,...,n}, and let m_J denote the ideal (x_{j_1},...,x_{j_t}) of R. Given subsets J_1,...,J_s of [n] and positive integers a_1,...,a_s, we study ideals of the form I=m_{J_1}^{a_1} \cap ... \cap m_{J_s}^{a_s}. These ideals arise naturally, for example, in the study of fat points, tetrahedral curves, and Alexander duality of squarefree monomial ideals. Our main focus is determining when ideals of this form are componentwise linear. Using polymatroidality, we prove that I is always componentwise linear when s <= 3 or when J_i \cup J_j = [n] for all i \neq j. When s >= 4, we give examples to show that I may or may not be componentwise linear. We apply these results to ideals of small sets of general fat points in multiprojective space, and we extend work of Fatabbi, Lorenzini, Valla, and the first author by computing the graded Betti numbers in the s=2 case. Since componentwise linear ideals satisfy the Multiplicity Conjecture of Herzog, Huneke, and Srinivasan when char(k)=0, our work also yields new cases in which this conjecture holds.
Quantum Knizhnik-Zamolodchikov equation, generalized Razumov-Stroganov sum rules and extended Joseph polynomials
Published in J. Phys. A 38 (2005) L815-L822
• View Publication
• BIB
We prove higher rank analogues of the Razumov--Stroganov sum rule for the groundstate of the O(1) loop model on a semi-infinite cylinder: we show that a weighted sum of components of the groundstate of the A_{k-1} IRF model yields integers that generalize the numbers of alternating sign matrices. This is done by constructing minimal polynomial solutions of the level 1 U_q(\hat{sl(k)}) quantum Knizhnik--Zamolodchikov equations, which may also be interpreted as quantum incompressible q-deformations of fractional quantum Hall effect wave functions at filling fraction nu=1/k. In addition to the generalized Razumov--Stroganov point q=-e^{i pi/k+1}, another combinatorially interesting point is reached in the rational limit q -> -1, where we identify the solution with extended Joseph polynomials associated to the geometry of upper triangular matrices with vanishing k-th power.
Lusztig's q-analogue of weight multiplicity and one-dimensional sums for affine root systems
Published in Adv. Math. 208 (2007) 438-466
• View Publication
• BIB
In this paper we complete the proof of the X=K conjecture, that for every family of nonexceptional affine algebras, the graded multiplicities of tensor products of symmetric power Kirillov-Reshetikhin modules known as one-dimensional sums, have a large rank stable limit X that has a simple expression (called the K-polynomial) as nonnegative integer combination of Kostka-Foulkes polynomials. We consider a subfamily of Lusztig's q-analogues of weight multiplicity which we call stable KL polynomials and denote by KL. We give a type-independent proof that K=KL. This proves that X=KL: the family of stable one-dimensional sums coincides with family of stable KL polynomials. Our result generalizes the theorem of Nakayashiki and Yamada which establishes the above equality in the case of one-dimensional sums of affine type A and the Lusztig q-analogue of type A, where both are Kostka-Foulkes polynomials.