polynomial
11284 papers tagged with this keyword
The area generating function for simplex-duplex polyominoes
Back in the early days of polyomino enumeration, a model called column-convex polyominoes was introduced and its area generating function was found. That generating function is rational: the numerator has degree four and the denominator has degree three. Let a column-duplex polyomino be a polyomino whose columns can have either one or two connected components. A simplex-duplex polyomino is a column-duplex polyomino in which there is no occurrence of two adjacent columns each having two connected components. Simplex-duplex polyominoes are not easy to deal with, but their area generating function can still be found. To find this generating function, we use an upgraded version of the Temperley method. Though that technique is widely used in these times, our application presents two interesting features. Firstly, we add one or two columns at a time, thus bypassing those simplex-duplex polyominoes which end with a two-component column. (It is somewhat more usual to add just one column at a time.) Secondly, we obtain a functional equation that involves both the first and the second derivatives of the sought-for generating function. (Such equations usually involve the first derivative only. In some cases, no derivative is involved at all.) Right because of this latter interesting feature, the Temperley method produces a very complicated formula for the generating function. Anyway, from that formula it is easy to compute Taylor polynomials. Thus we get plenty of evidence that the number of n-celled simplex-duplex polyominoes behaves asymptotically as 0.119443*3.522020^n. For comparison, the number of n-celled column-convex polyominoes behaves asymptotically as 0.180916*3.205569^n.
On spherical designs obtained from $Q$-polynomial association schemes
Published
• View Publication
• BIB
We characterize that the image of the embedding of the $Q$-polynomial association scheme into eigenspace by primitive idempotent $E_1$ is a spherical $t$-design in terms of the Krein numbers. And we show that the strengths of $P$- and $Q$-polynomial schemes as spherical designs are bounded by constant.
Characterizations of regularity for certain $Q$-polynomial association schemes
Published
• View Publication
• BIB
It is shown that linked systems of symmetric designs with $a_1^*=0$ and mutually unbiased bases (MUB) are triply regular association schemes. In this paper, we characterize triple regularity of linked systems of symmetric designs by its Krein number. And we prove that maximal MUB carries a quadruply regular association scheme and characterize the quadruple regularity of MUB by its parameter.
On the growth of cocompact hyperbolic Coxeter groups
Published
• View Publication
• BIB
For an arbitrary cocompact hyperbolic Coxeter group G with finite generator set S and complete growth function P(x)/Q(x), we provide a recursion formula for the coefficients of the denominator polynomial Q(x) which allows to determine recursively the Taylor coefficients and the pole behavior of the growth function of G in terms of its Coxeter subgroup structure. We illustrate this in the easy case of compact right-angled hyperbolic n-polytopes. Finally, we provide detailed insight into the case of Coxeter groups with at most 6 generators, acting cocompactly on hyperbolic 4-space, by considering the three combinatorially different families discovered and classified by Lanner, Kaplinskaya and Esselmann, respectively.
Some congruences involving central q-binomial coefficients
Published in Adv. Appl. Math. 45 (2010)? 303--316
• View Publication
• BIB
Motivated by recent works of Sun and Tauraso, we prove some variations on the Green-Krammer identity involving central q-binomial coefficients, such as $$ \sum_{k=0}^{n-1}(-1)^kq^{-{k+1\choose 2}}{2k\brack k}_q \equiv (\frac{n}{5}) q^{-\lfloor n^4/5\rfloor} \pmod{Φ_n(q)}, $$ where $\big(\frac{n}{p}\big)$ is the Legendre symbol and $Φ_n(q)$ is the $n$th cyclotomic polynomial. As consequences, we deduce that $$ \sum_{k=0}^{3^a m-1} q^{k}{2k\brack k}_q &\equiv 0 \pmod{(1-q^{3^a})/(1-q)}, \sum_{k=0}^{5^a m-1}(-1)^kq^{-{k+1\choose 2}}{2k\brack k}_q &\equiv 0 \pmod{(1-q^{5^a})/(1-q)}, $$ for $a,m\geq 1$, the first one being a partial q-analogue of the Strauss-Shallit-Zagier congruence modulo powers of 3. Several related conjectures are proposed.
Multiple ergodic averages for flows and an application
Published
• View Publication
• BIB
We show the $L^2$-convergence of continuous time ergodic averages of a product of functions evaluated at return times along polynomials. These averages are the continuous time version of the averages appearing in Furstenberg's proof of Szemerédi's Theorem. For each average we show that it is sufficient to prove convergence on special factors, the Host-Kra factors, which have the structure of a nilmanifold. We also give a description of the limit. In particular, if the polynomials are independent over the real numbers then the limit is the product of the integrals. We further show that if the collection of polynomials has "low complexity", then for every set $E$ of real numbers with positive density and for every $δ>0$, the set of polynomial return times for the "$δ$-thickened" set $E_δ$ has bounded gaps.
The Betti polynomials of powers of an ideal
Published
• View Publication
• BIB
For an ideal $I$ in a regular local ring or a graded ideal $I$ in the polynomial ring we study the limiting behavior of the Betti numbers of S/I^k as k goes to infinity. By Kodiyalam's result it is known that in each homological degree the Betti number is a polynomial for large k. We call these polynomials the Kodiyalam polynomials and encode the limiting behavior in their generating polynomial. It is shown that the limiting behavior depends only on the coefficients on the Kodiyalam polynomials in the highest possible degree. For these we exhibit lower bounds in special cases and conjecture that the bounds are valid in general. We also show that the Kodiyalam polynomials have weakly descending degrees and identify a situation where the polynomials have all highest possible degree.
Invariant and coinvariant spaces for the algebra of symmetric polynomials in non-commuting variables
Published
• View Publication
• BIB
We analyze the structure of the algebra N of symmetric polynomials in non-commuting variables in so far as it relates to its commutative counterpart. Using the "place-action" of the symmetric group, we are able to realize the latter as the invariant polynomials inside the former. We discover a tensor product decomposition of N analogous to the classical theorems of Chevalley, Shephard-Todd on finite reflection groups.
Which Digraphs with Ring Structure are Essentially Cyclic?
Published in Advances in Applied Mathematics 45 (2010), pp. 232-251
• View Publication
• BIB
We say that a digraph is essentially cyclic if its Laplacian spectrum is not completely real. The essential cyclicity implies the presence of directed cycles, but not vice versa. The problem of characterizing essential cyclicity in terms of graph topology is difficult and yet unsolved. Its solution is important for some applications of graph theory, including that in decentralized control. In the present paper, this problem is solved with respect to the class of digraphs with ring structure, which models some typical communication networks. It is shown that the digraphs in this class are essentially cyclic, except for certain specified digraphs. The main technical tool we employ is the Chebyshev polynomials of the second kind. A by-product of this study is a theorem on the zeros of polynomials that differ by one from the products of Chebyshev polynomials of the second kind. We also consider the problem of essential cyclicity for weighted digraphs and enumerate the spanning trees in some digraphs with ring structure.
Random 3-noncrossing partitions
In this paper, we introduce polynomial time algorithms that generate random 3-noncrossing partitions and 2-regular, 3-noncrossing partitions with uniform probability. A 3-noncrossing partition does not contain any three mutually crossing arcs in its canonical representation and is 2-regular if the latter does not contain arcs of the form $(i,i+1)$. Using a bijection of Chen {\it et al.} \cite{Chen,Reidys:08tan}, we interpret 3-noncrossing partitions and 2-regular, 3-noncrossing partitions as restricted generalized vacillating tableaux. Furthermore, we interpret the tableaux as sampling paths of Markov-processes over shapes and derive their transition probabilities.
Polynomials constant on a hyperplane and CR maps of hyperquadrics
Published in Moscow Mathematical Journal, 11 (2011), no. 2, 287-317
• View Publication
• BIB
We prove a sharp degree bound for polynomials constant on a hyperplane with a fixed number of distinct monomials for dimensions 2 and 3. We study the connection with monomial CR maps of hyperquadrics and prove similar bounds in this setup with emphasis on the case of spheres. The results support generalizing a conjecture on the degree bounds to the more general case of hyperquadrics.
Power law behavior associated with a Fibonacci Lucas model and generalized statistical models
A Fibonacci-Lucas based statistical model and several other related models are studied. The canonical and grand canonical partition functions for these models are developed.Partition structure such as the distribution of sizes as in a cluster distribution is explored.Ensemble averaging over all partitions leads to a scale invariant power law behavior at a particular critical like point. The canonical ensemble of the Fibonacci-Lucas case involves the Gegenbauer polynomial.The model has a hyperbolic power law behavior, a feature linked to the golden mean ratio of two adjacent Fibonacci numbers and also the connection of Lucas numbers to the golden mean. The relation to other power law behavior, such as Zipf and Pareto laws, is mentioned. For the cases considered, the grand canonical ensemble involves the Gauss hypergeometric function F(a,b,c,z) with specific values for a,b,c. The general case has a variable power law behavior with tau exponent equal to1+c-a-b. An application with a=1/2, b=1, c=3 and thus tau=5/2 very closely approximates Bose-Einstein condensation. The zeta function zeta(3/2)=2.61 of the exact theory is replaced with 8/3 and zeta(5/2)= 1.34 with 4/3. At the condensation point the number of cycles of length falls as a scale invariant power law. The cycles, which arise from permutation symmetries associated with Bose-Einstein statistics, can be viewed as links in a complex network of connections between particles. This scale invariant power law parallels that seen in complex networks. The growth of the network is developed using recurrence properties of the model. Constraints imposed by the canonical ensemble and associates correlations lead to some number theoretic connections between Fibonacci and Lucas numbers as an incidental consequence of this approach.
Hall polynomials via automorphisms of short exact sequences
Published in Algebras and Representation Theory 15 (2012), 449-481
• View Publication
• BIB
We present a sum-product formula for the classical Hall polynomial which is based on tableaux that have been introduced by T. Klein in 1969. In the formula, each summand corresponds to a Klein tableau, while the product is taken over the cardinalities of automorphism groups of short exact sequences which are derived from the tableau. For each such sequence, one can read off from the tableau the summands in an indecomposable decomposition, and the size of their homomorphism and automorphism groups. Klein tableaux are refinements of Littlewood-Richardson tableaux in the sense that each entry $\ell \geq 2$ carries a subscript $r$. We describe module theoretic and categorical properties shared by short exact sequences which have the same symbol $\ell_r$ in a given row in their Klein tableau. Moreover, we determine the interval in the Auslander-Reiten quiver in which indecomposable sequences of $p^n$-bounded groups which carry such a symbol occur.
Intersective polynomials and the primes
Intersective polynomials are polynomials in $\Z[x]$ having roots every modulus. For example, $P_1(n)=n^2$ and $P_2(n)=n^2-1$ are intersective polynomials, but $P_3(n)=n^2+1$ is not. The purpose of this note is to deduce, using results of Green-Tao \cite{gt-chen} and Lucier \cite{lucier}, that for any intersective polynomial $h$, inside any subset of positive relative density of the primes, we can find distinct primes $p_1, p_2$ such that $p_1-p_2=h(n)$ for some integer $n$. Such a conclusion also holds in the Chen primes (where by a Chen prime we mean a prime number $p$ such that $p+2$ is the product of at most 2 primes).
Generating series for irreducible polynomials over finite fields
Published
• View Publication
• BIB
We count the number of irreducible polynomials in several variables of a given degree over a finite field. The results are expressed in terms of a generating series, an exact formula and an asymptotic approximation. We also consider the case of the multi-degree and the case of indecomposable polynomials.
An Operator Approach to the Al-Salam-Carlitz Polynomials
Published
• View Publication
• BIB
We present an operator approach to Rogers-type formulas and Mehler's formulas for the Al-Salam-Carlitz polynomials $U_n(x,y,a;q)$. By using the q-exponential operator, we obtain a Rogers-type formula which leads to a linearization formula. With the aid of a bivariate augmentation operator, we get a simple derivation of Mehler's formula due to by Al-Salam and Carlitz, which requires a terminating condition on a ${}_3φ_2$ series. By means of the Cauchy companion augmentation operator, we obtain Mehler's formula in a similar form, but it does not need the terminating condition. We also give several identities on the generating functions for products of the Al-Salam-Carlitz polynomials which are extensions of formulas for Rogers-Szegö polynomials.
An Improvement of the Lovász Local Lemma via Cluster Expansion
Published
• View Publication
• BIB
An old result by Shearer relates the Lovász Local Lemma with the independent set polynomial on graphs, and consequently, as observed by Scott and Sokal, with the partition function of the hard core lattice gas on graphs. We use this connection and a recent result on the analyticity of the logarithm of the partition function of the abstract polymer gas to get an improved version of the Lovász Local Lemma. As applications we obtain tighter bounds on conditions for the existence of latin transversal matrices and the satisfiability of k-SAT forms.
Tableaux combinatorics for the asymmetric exclusion process and Askey-Wilson polynomials
Published in Duke Math. J. 162, no. 15 (2013), 2987-2996
• View Publication
• BIB
Introduced in the late 1960's, the asymmetric exclusion process (ASEP) is an important model from statistical mechanics which describes a system of interacting particles hopping left and right on a one-dimensional lattice of n sites with open boundaries. It has been cited as a model for traffic flow and protein synthesis. In the most general form of the ASEP with open boundaries, particles may enter and exit at the left with probabilities alpha and gamma, and they may exit and enter at the right with probabilities beta and delta. In the bulk, the probability of hopping left is q times the probability of hopping right. The first main result of this paper is a combinatorial formula for the stationary distribution of the ASEP with all parameters general, in terms of a new class of tableaux which we call staircase tableaux. This generalizes our previous work for the ASEP with parameters gamma=delta=0. Using our first result and also results of Uchiyama-Sasamoto-Wadati, we derive our second main result: a combinatorial formula for the moments of Askey-Wilson polynomials. Since the early 1980's there has been a great deal of work giving combinatorial formulas for moments of various other classical orthogonal polynomials (e.g. Hermite, Charlier, Laguerre, Meixner). However, this is the first such formula for the Askey-Wilson polynomials, which are at the top of the hierarchy of classical orthogonal polynomials.
An alternative ending to "Pleasant extensions retaining algebraic structure''
The culmination of the papers (arXiv:0905.0518, arXiv:0910.0909) was a proof of the norm convergence in $L^2(μ)$ of the quadratic nonconventional ergodic averages \frac{1}{N}\sum_{n=1}^N(f_1\circ T_1^{n^2})(f_2\circ T_1^{n^2}T_2^n)\quad\quad f_1,f_2\in L^\infty(μ) associated to an arbitrary probability-preserving \bbZ^2-system (X,μ,T_1,T_2). This is a special case of the Bergelson-Leibman conjecture on the norm convergence of polynomial nonconventional ergodic averages.
That proof relied on some new machinery for extending probability-preserving $\bbZ^d$-systems to obtain simplified asymptotic behaviour for various nonconventional averages such as the above. The engine of this machinery is formed by some detailed structure theorems for the `characteristic factors' that are available for some such averages after ascending to a suitably-extended system. However, these new structure theorems underwent two distinct phases of development, separated by the discovery of some new technical results in Moore's cohomology theory for locally compact groups (arXiv:1004.4937). That discovery enabled a significant improvement to the main structure theorem (Theorem 1.1 in (arXiv:0905.0518)), which in turn afforded a much shortened proof of convergence. However, since the proof of convergence using the original structure theorem required some quite different ideas that are now absent from these other papers, I have recorded it here in case it has some independent interest.
Pleasant extensions retaining algebraic structure, II
Published
• View Publication
• BIB
In this paper we combine the general tools developed in (arXiv:0905.0518) with several ideas taken from earlier work on one-dimensional nonconventional ergodic averages by Furstenberg and Weiss, Host and Kra and Ziegler to study the averages $\frac{1}{N}\sum_{n=1}^N(f_1\circ T^{n\bf{p}_1})(f_2\circ T^{n\bf{p}_2})(f_3\circ T^{n\bf{p}_3})$ for $f_1,f_2,f_3 \in L^\infty(μ)$ associated to a triple of directions $\bf{p}_1,\bf{p}_2,\bf{p}_3 \in \mathbb{Z}^2$ that lie in general position along with $0 \in \mathbb{Z}^2$. We will show how to construct a `pleasant' extension of an initially-given $\mathbb{Z}^2$-system for which these averages admit characteristic factors with a very concrete description, involving one-dimensional isotropy factors and two-step pro-nilsystems.
We also use this analysis to construct pleasant extensions and then prove norm convergence for the polynomial nonconventional ergodic averages $\frac{1}{N}\sum_{n=1}^N(f_1\circ T_1^{n^2})(f_2\circ T_1^{n^2}T_2^n)$ associated to two commuting transformations $T_1$, $T_2$.