polynomial
11295 papers tagged with this keyword
Admissibility of kneading sequences and structure of Hubbard trees for quadratic polynomials
Published
• View Publication
• BIB
Hubbard trees are invariant trees connecting the points of the critical orbits of postcritically finite polynomials. Douady and Hubbard \cite{Orsay} introduced these trees and showed that they encode the essential information of Julia sets in a combinatorial way. The itinerary of the critical orbit within the Hubbard tree is encoded by a (pre)periodic sequence on $\{\0,\1\}$ called \emph{kneading sequence}.
We prove that the kneading sequence completely encodes the Hubbard tree and its dynamics, and we show how to reconstruct the tree and in particular its branch points (together with their periods, their relative posititions, their number of arms and their local dynamics) in terms of the kneading sequence alone.
Every kneading sequence gives rise to an abstract Hubbard tree, but not every kneading sequence occurs in real dynamics or in complex dynamics. Milnor and Thurston \cite{MT} classified which kneading sequences occur in real dynamics; we do the same for complex dynamics in terms of a complex \emph{admissibility condition}. This complex admissibility condition fails if and only if the abstract Hubbard tree has a so-called \emph{evil} periodic branch point that is incompatible with local homeomorphic dynamics on the plane.
Construction of combinatorial manifolds with the prescribed sets of links of vertices
Published in Izv. RAN, Ser. Matem., 72:5 (2008), 3-62 (in Russian); English transl. in: Izv. Math., 72:5 (2008), 845-899
• View Publication
• BIB
To each oriented closed combinatorial manifold we assign the set (with repetitions) of isomorphism classes of links of its vertices. The obtained transformation L is the main object of study of the present paper. We pose a problem on the inversion of the transformation L. We shall show that this problem is closely related to N.Steenrod's problem on realization of cycles and to the Rokhlin-Schwartz-Thom construction of combinatorial Pontryagin classes. It is easy to obtain a condition of balancing that is a necessary condition for a set of isomorphism classes of combinatorial spheres to belong to the image of the transformation L. In the present paper we give an explicit construction providing that each balanced set of isomorphism classes of combinatorial spheres gets into the image of L after passing to a multiple set and adding several pairs of the form (Z,-Z), where -Z is the sphere Z with the orientation reversed. This construction enables us, for a given singular simplicial cycle of a space R, to construct explicitly a combinatorial manifold M and a mapping $φ:M\to R$ such that $φ_*[M]=r[ξ]$ for some positive integer r. The construction is based on resolving singularities of the cycle $ξ$. We give applications of our main construction to cobordisms of manifolds with singularities and cobordisms of simple cells. In particular, we prove that every rational additive invariant of cobordisms of manifolds with singularities admits a local formula. Another application is the construction of explicit (though inefficient) local combinatorial formulae for polynomials in the rational Pontryagin classes of combinatorial manifolds.
Some relational structures with polynomial growth and their associated algebras II: Finite generation
Published
• View Publication
• BIB
The profile of a relational structure $R$ is the function $\varphi_R$ which counts for every integer $n$ the number, possibly infinite, $\varphi_R(n)$ of substructures of $R$ induced on the $n$-element subsets, isomorphic substructures being identified. If $\varphi_R$ takes only finite values, this is the Hilbert function of a graded algebra associated with $R$, the age algebra $A(R)$, introduced by P.~J.~Cameron.
In a previous paper, we studied the relationship between the properties of a relational structure and those of their algebra, particularly when the relational structure $R$ admits a finite monomorphic decomposition. This setting still encompasses well-studied graded commutative algebras like invariant rings of finite permutation groups, or the rings of quasi-symmetric polynomials.
In this paper, we investigate how far the well know algebraic properties of those rings extend to age algebras. The main result is a combinatorial characterization of when the age algebra is finitely generated. In the special case of tournaments, we show that the age algebra is finitely generated if and only if the profile is bounded. We explore the Cohen-Macaulay property in the special case of invariants of permutation groupoids. Finally, we exhibit sufficient conditions on the relational structure that make naturally the age algebra into a Hopf algebra.
An Algorithm for Finding Symmetric Gröbner Bases in Infinite Dimensional Rings
Published
• View Publication
• BIB
A \textit{symmetric ideal} $I \subseteq R = K[x_1,x_2,...]$ is an ideal that is invariant under the natural action of the infinite symmetric group. We give an explicit algorithm to find Gröbner bases for symmetric ideals in the infinite dimensional polynomial ring $R$. This allows for symbolic computation in a new class of rings. In particular, we solve the ideal membership problem for symmetric ideals of $R$.
Symmetric and Quasi-Symmetric Functions associated to Polymatroids
Published
• View Publication
• BIB
To every subspace arrangement X we will associate symmetric functions P[X] and H[X]. These symmetric functions encode the Hilbert series and the minimal projective resolution of the product ideal associated to the subspace arrangement. They can be defined for discrete polymatroids as well. The invariant H[X] specializes to the Tutte polynomial T[X]. Billera, Jia and Reiner recently introduced a quasi-symmetric function F[X] (for matroids) which behaves valuatively with respect to matroid base polytope decompositions. We will define a quasi-symmetric function G[X] for polymatroids which has this property as well. Moreover, G[X] specializes to P[X], H[X], T[X] and F[X].
The morphology of infinite tournaments. Application to the growth of their profile
Published
• View Publication
• BIB
A tournament is \emph{acyclically indecomposable} if no acyclic autonomous set of vertices has more than one element. We identify twelve infinite acyclically indecomposable tournaments and prove that every infinite acyclically indecomposable tournament contains a subtournament isomorphic to one of these tournaments. The {\it profile} of a tournament $T$ is the function $φ_T$ which counts for each integer $n$ the number $φ_T(n)$ of tournaments induced by $T$ on the $n$-element subsets of $T$, isomorphic tournaments being identified. As a corollary of the result above we deduce that the growth of $φ_T$ is either polynomial, in which case $φ_T(n)\simeq an^k$, for some positive real $a$, some non-negative integer $k$, or as fast as some exponential.
Spherical two-distance sets
Published in Journal of Combinatorial Theory, Series A 116 (2009) 988--995
• View Publication
• BIB
A set S of unit vectors in n-dimensional Euclidean space is called spherical two-distance set, if there are two numbers a and b, and inner products of distinct vectors of S are either a or b. The largest cardinality g(n) of spherical two-distance sets is not exceed n(n+3)/2. This upper bound is known to be tight for n=2,6,22. The set of mid-points of the edges of a regular simplex gives the lower bound L(n)=n(n+1)/2 for g(n.
In this paper using the so-called polynomial method it is proved that for nonnegative a+b the largest cardinality of S is not greater than L(n). For the case a+b<0 we propose upper bounds on |S| which are based on Delsarte's method. Using this we show that g(n)=L(n) for 6<n<22, 23<n<40, and g(23)=276 or 277.
Hilbert's Nullstellensatz and an Algorithm for Proving Combinatorial Infeasibility
Published
• View Publication
• BIB
Systems of polynomial equations over an algebraically-closed field K can be used to concisely model many combinatorial problems. In this way, a combinatorial problem is feasible (e.g., a graph is 3-colorable, hamiltonian, etc.) if and only if a related system of polynomial equations has a solution over K. In this paper, we investigate an algorithm aimed at proving combinatorial infeasibility based on the observed low degree of Hilbert's Nullstellensatz certificates for polynomial systems arising in combinatorics and on large-scale linear-algebra computations over K. We report on experiments based on the problem of proving the non-3-colorability of graphs. We successfully solved graph problem instances having thousands of nodes and tens of thousands of edges.
The tri-pentagonal number theorem and related identities
Published
• View Publication
• BIB
I revisit an automated proof of Andrews' pentagonal number theorem found by Riese. I uncover a simple polynomial identity hidden behind his proof. I explain how to use this identity to prove Andrews' result along with a variety of new formulas of similar type. I reveal an interesting relation between the tri-pentagonal theorem and items (19), (20), (94), (98) on the celebrated Slater list. Finally, I establish a new infinite family of multiple series identities.
The best polynomial bounds for the number of triangles in a simple arrangement of n pseudo-lines
It is well-known that affine (respectively projective) simple arrangements of n pseudo-lines may have at most n(n-2)/3 (respectively n(n-1)/3) triangles. However, these bounds are reached for only some values of n (mod 6). We provide the best polynomial bound for the affine and the projective case, and for each value of n (mod 6).
The divisibility modulo 24 of Kloosterman sums on $GF(2^m)$, $m$ even
Published
• View Publication
• BIB
In a recent work by Charpin, Helleseth, and Zinoviev Kloosterman sums $K(a)$ over a finite field $\F_{2^m}$ were evaluated modulo 24 in the case $m$ odd, and the number of those $a$ giving the same value for $K(a)$ modulo 24 was given. In this paper the same is done in the case $m$ even. The key techniques used in this paper are different from those used in the aforementioned work. In particular, we exploit recent results on the number of irreducible polynomials with prescribed coefficients.
Regular sequences of symmetric polynomials
Published in Rend. Sem. Mat. Univ. Padova 121 (2009), 179-199
• View Publication
• BIB
Denote by p_k the k-th power sum symmetric polynomial n variables. The interpretation of the q-analogue of the binomial coefficient as Hilbert function leads us to discover that n consecutive power sums in n variables form a regular sequence. We consider then the following problem: describe the subsets n powersums forming a regular sequence. A necessary condition is that n! divides the product of the degrees of the elements. To find an easily verifiable sufficient condition turns out to be surprisingly difficult already in 3 variables. Given positive integers a<b<c with GCD(a,b,c)=1, we conjecture that p_a, p_b, p_c is a regular sequence for n=3 if and only if 6 divides abc. We provide evidence for the conjecture by proving it in several special instances.
Staircase Macdonald polynomials and the $q$-Discriminant
Published in FPSAC 2008, Chili (2008)
• View Publication
• BIB
We prove that a $q$-deformation $\Disc k\X q$ of the powers of the discriminant is equal, up to a normalization, to a specialization of a Macdonald polynomial indexed by a staircase partition. We investigate the expansion of $\Disc k\X q$ on different basis of symmetric functions. In particular, we show that its expansion on the monomial basis can be explicitly described in terms of standard tableaux and we generalize a result of King-Toumazet-Wybourne about the expansion of the $q$-discriminant on the Schur basis.
An Enumerative Function
We define an enumerative function F(n,k,P,m) which is a generalization of binomial coefficients. Special cases of this function are also power function, factorials, rising factorials and falling factorials.
The first section of the paper is an introduction.
In the second section we derive an explicit formula for F. From the expression for the power function we obtain a number theory result.
Then we derive a formula which shows that the case of arbitrary m may be reduced to the case m=0. This formula extends Vandermonde convolution.
In the second section we describe F by the series of recurrence relations with respect to each of arguments k, n, and P. As a special case of the first recurrence relation we state a binomial identity. As a consequence of the second recurrence relation we obtain relation for coefficients of Chebyshev polynomial of both kind. This means that these polynomials might be defined in pure combinatorial way.
A Most General Edge Elimination Polynomial - Thickening of Edges
Published
• View Publication
• BIB
We consider a graph polynomial ξ(G;x,y,z) introduced by Averbouch, Godlin, and Makowsky (2007). This graph polynomial simultaneously generalizes the Tutte polynomial as well as a bivariate chromatic polynomial defined by Dohmen, Poenitz and Tittmann (2003). We derive an identity which relates the graph polynomial of a thicked graph (i.e. a graph with each edge replaced by k copies of it) to the graph polynomial of the original graph. As a consequence, we observe that at every point (x,y,z), except for points lying within some set of dimension 2, evaluating ξis #P-hard.
The Eulerian distribution on self evacuated involutions
Published
• View Publication
• BIB
We present an extensive study of the Eulerian distribution on the set of self evacuated involutions, namely, involutions corresponding to standard Young tableaux that are fixed under the Sch$\ddot{\textrm{u}}$tzenberger map. We find some combinatorial properties for the generating polynomial of such distribution, together with an explicit formula for its coefficients. Afterwards, we carry out an analogous study for the subset of self evacuated involutions without fixed points.
On k-resonant fullerene graphs
Published in SIAM J. DISCRETE MATH. Vol. 23 (2009) pp. 1023
• View Publication
• BIB
A fullerene graph $F$ is a 3-connected plane cubic graph with exactly 12 pentagons and the remaining hexagons. Let $M$ be a perfect matching of $F$. A cycle $C$ of $F$ is $M$-alternating if the edges of $C$ appear alternately in and off $M$. A set $\mathcal H$ of disjoint hexagons of $F$ is called a resonant pattern (or sextet pattern) if $F$ has a perfect matching $M$ such that all hexagons in $\mathcal H$ are $M$-alternating. A fullerene graph $F$ is $k$-resonant if any $i$ ($0\leq i \leq k$) disjoint hexagons of $F$ form a resonant pattern. In this paper, we prove that every hexagon of a fullerene graph is resonant and all leapfrog fullerene graphs are 2-resonant. Further, we show that a 3-resonant fullerene graph has at most 60 vertices and construct all nine 3-resonant fullerene graphs, which are also $k$-resonant for every integer $k>3$. Finally, sextet polynomials of the 3-resonant fullerene graphs are computed.
Cyclotomic Solomon Algebras
Published
• View Publication
• BIB
This paper introduces an analogue of the Solomon descent algebra for the complex reflection groups of type $G(r,1,n)$. As with the Solomon descent algebra, our algebra has a basis given by sums of `distinguished' coset representatives for certain `reflection subgroups'. We explicitly describe the structure constants with respect to this basis and show that they are polynomials in $r$. This allows us to define a deformation, or $q$-analogue, of these algebras which depends on a parameter $q$. We determine the irreducible representations of all of these algebras and give a basis for their radicals. Finally, we show that the direct sum of cyclotomic Solomon algebras is canonically isomorphic to a concatenation Hopf algebra.
Lower bounds for measurable chromatic numbers
Published in Geom. Funct. Anal. 19 (2009), 645-661
• View Publication
• BIB
The Lovasz theta function provides a lower bound for the chromatic number of finite graphs based on the solution of a semidefinite program. In this paper we generalize it so that it gives a lower bound for the measurable chromatic number of distance graphs on compact metric spaces.
In particular we consider distance graphs on the unit sphere. There we transform the original infinite semidefinite program into an infinite linear program which then turns out to be an extremal question about Jacobi polynomials which we solve explicitly in the limit. As an application we derive new lower bounds for the measurable chromatic number of the Euclidean space in dimensions 10,..., 24, and we give a new proof that it grows exponentially with the dimension.
Inequalities and Ehrhart $δ$-Vectors
Published in Trans. Amer. Math. Soc. 361 (2009), 5615-5626.
• View Publication
• BIB
For any lattice polytope $P$, we consider an associated polynomial $\barδ_{P}(t)$ and describe its decomposition into a sum of two polynomials satisfying certain symmetry conditions. As a consequence, we improve upon known inequalities satisfied by the coefficients of the Ehrhart $δ$-vector of a lattice polytope. We also provide combinatorial proofs of two results of Stanley that were previously established using techniques from commutative algebra. Finally, we give a necessary numerical criterion for the existence of a regular unimodular lattice triangulation of the boundary of a lattice polytope.