polynomial
11284 papers tagged with this keyword
Branching rules for symmetric Macdonald polynomials and sl_n basic hypergeometric series
Published in Advances in Applied Mathematics 46 (2011), 424-456
• Search Publication
A one-parameter generalisation R_λ(X;b) of the symmetric Macdonald polynomials and interpolations Macdonald polynomials is studied from the point of view of branching rules. We establish a Pieri formula, evaluation symmetry, principal specialisation formula and q-difference equation for R_λ(X;b). We also prove a new multiple q-Gauss summation formula and several further results for sl_n basic hypergeometric series based on R_λ(X;b).
Exterior depth and exterior generic annihilator numbers
We study the exterior depth of an $E$-module and its exterior generic annihilator numbers. For the exterior depth of a squarefree $E$-module we show how it relates to the symmetric depth of the corresponding $S$-module and classify those simplicial complexes having a particular exterior depth in terms of their exterior shifting. We define exterior annihilator numbers analogously to the annihilator numbers over the polynomial ring introduced by Trung and Conca, Herzog and Hibi. In addition to a combinatorial interpretation of the annihilator numbers we show how they are related to the symmetric Betti numbers and the Cartan-Betti numbers, respectively. We finally conclude with an example which shows that neither the symmetric nor the exterior generic annihilator numbers are minimal among the annihilator numbers with respect to a sequence.
A recipe theorem for the topological Tutte polynomial of Bollobas and Riordan
Published
• View Publication
• BIB
In [A polynomial invariant of graphs on orientable surfaces, Proc. Lond. Math. Soc., III Ser. 83, No. 3, 513-531 (2001)] and [A polynomial of graphs on surfaces, Math. Ann. 323, 81-96 (2002)], Bollobas and Riordan generalized the classical Tutte polynomial to graphs cellularly embedded in surfaces, i.e. ribbon graphs, thus encoding topological information not captured by the classical Tutte polynomial. We provide a `recipe theorem' for their new topological Tutte polynomial, R(G). We then relate R(G) to the generalized transition polynomial Q(G) via a medial graph construction, thus extending the relation between the classical Tutte polynomial and the Martin, or circuit partition, polynomial to ribbon graphs. We use this relation to prove a duality property for R(G) that holds for both oriented and unoriented ribbon graphs. We conclude by placing the results of Chumutov and Pak [The Kauffman bracket and the Bollobas-Riordan polynomial of ribbon graphs, Moscow Mathematical Journal 7(3) (2007) 409-418] for virtual links in the context of the relation between R(G) and Q(R).
The canonical strip, I
Published
• View Publication
• BIB
We introduce a canonical strip hypothesis for Fano varieties. We show that the canonical strip hypothesis for a Fano variety implies that the zeros of the Hilbert polynomial of embedded Calabi--Yau and general type hypersurfaces are located on a vertical line. This extends, in particular, Villegas's `polynomial RH' for intersections in projective spaces to the case of CY and general type hyperplane sections in Grassmannians. We state a few conjectures on the Ehrhart polynomials of certain fan polytopes.
The Kakeya set and maximal conjectures for algebraic varieties over finite fields
Published
• View Publication
• BIB
Using the polynomial method of Dvir \cite{dvir}, we establish optimal estimates for Kakeya sets and Kakeya maximal functions associated to algebraic varieties $W$ over finite fields $F$. For instance, given an $n-1$-dimensional projective variety $W \subset ¶^n(F)$, we establish the Kakeya maximal estimate $$ \| \sup_{γ\ni w} \sum_{v \in γ(F)} |f(v)| \|_{\ell^n(W)} \leq C_{n,W,d} |F|^{(n-1)/n} \|f\|_{\ell^n(F^n)}$$ for all functions $f: F^n \to \R$ and $d \geq 1$, where for each $w \in W$, the supremum is over all irreducible algebraic curves in $F^n$ of degree at most $d$ that pass through $w$ but do not lie in $W$, and with $C_{n,W,d}$ depending only on $n, d$ and the degree of $W$; the special case when $W$ is the hyperplane at infinity in particular establishes the Kakeya maximal function conjecture in finite fields, which in turn strengthens the results of Dvir.
On a certain representation of the chromatic polynomial
Published in Diskretnyi Analiz, issue 31, 61--70, 91 (1977); Math. Rev. MR543806
• Search Publication
The representation is essentially the same as that given by J.P.Nagle in J. Comb. Theory (B), 1971, 10:1, 42--59. The distinction is in the definition of the weighting function via the number of flows. This new definition allows one to deduce a number of corollaries, in particular, the following.
A) The chromatic polynomial of a connected planar graph G can be uniquely determined from its combinatory dual graph G^* (although the graph G itself isn't, in general, determined uniquely by G^*).
B) If a planar graph G is different from the full graph K_3 and has exactly one (up to renaming of colors) proper coloring of vertices in three colors, then the graph G^* dual to graph G is also vertex colorable in three colors.
Constructing permutations of finite fields via linear translators
Published
• View Publication
• BIB
We describe several families of permutation polynomials obtained using functions with linear translators.
Hadamard Products and Tilings
Published in Journal of Integer Sequences, Vol. 12 (2009), Article 09.7.4
• Search Publication
Louis W. Shapiro gave a combinatorial proof of a bilinear generating function for Chebyshev polynomials equivalent to the formula 1/(1-ax-x^2) * 1/(1-bx-x^2) = (1-x^2)/(1-abx-(2+a^2+b^2)x^2 -abx^3+x^4), where * denotes the Hadamard product. In a similar way, by considering tilings of a 2 by n rectangle with 1 by 1 and 1 by 2 bricks in the top row, and 1 by 1 and 1 by n bricks in the bottom row, we find an explicit formula for the Hadamard product 1/(1-ax-x^2) * x^m/(1-bx-x^n).
A probabilistic approach to enumeration of Gessel walks
We consider Gessel walks in the plane starting at the origin $(0, 0)$ remaining in the first quadrant $i, j \geq 0$ and made of West, North-East, East and South-West steps. Let $F(m; n_1, n_2)$ denote the number of these walks with exact $m$ steps ending at the point $(n_1, n_2)$, Petkovšek and Wilf posed several analogous conjectures similar to the famous Gessel's conjecture.
We establish a probabilistic model of Gessel walks which is concerned with the problem of vicious walkers. This model helps us to obtain the linear homogeneous recurrence relations with binomial coefficients for both $F(n+k+r;n+k-r,n)$ and $F(n+2k; n, 0)$. Precisely, $\frac{n! k! (n+k+1)!}{(2n+2)!} F(2n+2k;0,n)$ is a polynomial with all integer coefficients which leading term is $2^{3k-2} n^{2k-2}$, and $\frac{k! (k+1)!}{n+1} F(n+2k;n,0)$ is a polynomial with all integer coefficients which leading term is $n^{2k-1}$. Hence two conjectures of Petkovšek and Wilf are solved.
The Effect of Induced Subgraphs on Quasi-Randomness
Published
• View Publication
• BIB
One of the main questions that arise when studying random and quasi-random structures is which properties P are such that any object that satisfies P "behaves" like a truly random one. In the context of graphs, Chung, Graham, and Wilson call a graph p-quasi-random} if it satisfies a long list of the properties that hold in G(n,p) with high probability, like edge distribution, spectral gap, cut size, and more.
Our main result here is that the following holds for any fixed graph H: if the distribution of induced copies of H in a graph G is close (in a well defined way) to the distribution we would expect to have in G(n,p), then G is either p-quasi-random or p'-quasi-random, where p' is the unique non-trivial solution of a certain polynomial equation. We thus infer that having the correct distribution of induced copies of any single graph H is enough to guarantee that a graph has the properties of a random one. The proof techniques we develop here, which combine probabilistic, algebraic and combinatorial tools, may be of independent interest to the study of quasi-random structures.
Derivative Polynomials for tanh, tan, sech and sec in Explicit Form
Published in Fibonacci Quarterly, 45.4 (2007), 291-303
• Search Publication
The derivative polynomials for the hyperbolic and trigonometric tangent, cotangent and secant are found in explicit form, where the coefficients are given in terms of Stirling numbers of the second kind. As application, some integrals are evaluated and the reflection formula for the polygamma function is written in explicit form.
Multiple recurrence and convergence for Hardy sequences of polynomial growth
Published
• View Publication
• BIB
We study the limiting behavior of multiple ergodic averages involving sequences of integers that satisfy some regularity conditions and have polynomial growth. We show that for "typical" choices of Hardy field functions $a(t)$ with polynomial growth, the averages $\frac{1}{N}\sum_{n=1}^N f_1(T^{[a(n)]}x)\cdot...\cdot f_\ell(T^{\ell [a(n)]}x)$ converge in the mean and we determine their limit. For example, this is the case if $a(t)=t^{3/2}, t\log{t},$ or $t^2+(\log{t})^2$. Furthermore, if ${a_1(t),...,a_\ell(t)}$ is a "typical" family of logarithmico-exponential functions of polynomial growth, then for every ergodic system, the averages $\frac{1}{N}\sum_{n=1}^N f_1(T^{[a_1(n)]}x)\cdot...\cdot f_\ell(T^{[a_\ell(n)]}x)$ converge in the mean to the product of the integrals of the corresponding functions. For example, this is the case if the functions $a_i(t)$ are given by different positive fractional powers of $t$. We deduce several results in combinatorics. We show that if $a(t)$ is a non-polynomial Hardy field function with polynomial growth, then every set of integers with positive upper density contains arithmetic progressions of the form ${m,m+[a(n)],...,m+\ell[a(n)]}$. Under suitable assumptions we get a related result concerning patterns of the form ${m, m+[a_1(n)],..., m+[a_\ell(n)]}.$
Cyclic Codes and Sequences from a Class of Dembowski-Ostrom Functions
Let $q=p^n$ with $p$ be an odd prime. Let $0\leq k\leq n-1$ and $k\neq n/2$. In this paper we determine the value distribution of following exponential(character) sums \[\sum\limits_{x\in \bF_q}ζ_p^{\Tra_1^n(αx^{p^{3k}+1}+βx^{p^k+1})}\quad(α\in \bF_{p^m},β\in \bF_{q})\] and \[\sum\limits_{x\in \bF_q}ζ_p^{\Tra_1^n(αx^{p^{3k}+1}+βx^{p^k+1}+\ga x)}\quad(α\in \bF_{p^m},β,\ga\in \bF_{q})\] where $\Tra_1^n: \bF_q\ra \bF_p$ and $\Tra_1^m: \bF_{p^m}\ra\bF_p$ are the canonical trace mappings and $ζ_p=e^{\frac{2πi}{p}}$ is a primitive $p$-th root of unity. As applications: (1). We determine the weight distribution of the cyclic codes $\cC_1$ and $\cC_2$ over $\bF_{p^t}$ with parity-check polynomials $h_2(x)h_3(x)$ and $h_1(x)h_2(x)h_3(x)$ respectively where $t$ is a divisor of $d=\gcd(n,k)$, and $h_1(x)$, $h_2(x)$ and $h_3(x)$ are the minimal polynomials of $π^{-1}$, $π^{-(p^k+1)}$ and $π^{-(p^{3k}+1)}$ over $\bF_{p^t}$ respectively for a primitive element $π$ of $\bF_q$. (2). We determine the correlation distribution among a family of m-sequences.
Cyclic Codes and Sequences: the Generalized Kasami Case
Published
• View Publication
• BIB
Let $q=2^n$ with $n=2m$ . Let $1\leq k\leq n-1$ and $k\neq m$. In this paper we determine the value distribution of following exponential sums \[\sum\limits_{x\in \bF_q}(-1)^{\Tra_1^m (αx^{2^{m}+1})+\Tra_1^n(βx^{2^k+1})}\quad(α\in \bF_{2^m},β\in \bF_{q})\] and \[\sum\limits_{x\in \bF_q}(-1)^{\Tra_1^m (αx^{2^{m}+1})+\Tra_1^n(βx^{2^k+1}+\ga x)}\quad(α\in \bF_{2^m},β,\ga\in \bF_{q})\] where $\Tra_1^n: \bF_q\ra \bF_2$ and $\Tra_1^m: \bF_{p^m}\ra\bF_2$ are the canonical trace mappings. As applications: (1). We determine the weight distribution of the binary cyclic codes $\cC_1$ and $\cC_2$ with parity-check polynomials $h_2(x)h_3(x)$ and $h_1(x)h_2(x)h_3(x)$ respectively where $h_1(x)$, $h_2(x)$ and $h_3(x)$ are the minimal polynomials of $π^{-1}$, $π^{-(2^k+1)}$ and $π^{-(2^m+1)}$ over $\bF_{2}$ respectively for a primitive element $π$ of $\bF_q$. (2). We determine the correlation distribution among a family of m-sequences. This paper is the binary version of Luo, Tang and Wang\cite{Luo Tan} and extends the results in Kasami\cite{Kasa1}, Van der Vlugt\cite{Vand2} and Zeng, Liu and Hu\cite{Zen Liu}.
Cyclic Codes and Sequences from Kasami-Welch Functions
Let $q=2^n$, $0\leq k\leq n-1$ and $k\neq n/2$. In this paper we determine the value distribution of following exponential sums \[\sum\limits_{x\in \bF_q}(-1)^{\Tra_1^n(αx^{2^{3k}+1}+βx^{2^k+1})}\quad(α,β\in \bF_{q})\] and \[\sum\limits_{x\in \bF_q}(-1)^{\Tra_1^n(αx^{2^{3k}+1}+βx^{2^k+1}+\ga x)}\quad(α,β,\ga\in \bF_{q})\] where $\Tra_1^n: \bF_{2^n}\ra \bF_2$ is the canonical trace mapping. As applications: (1). We determine the weight distribution of the binary cyclic codes $\cC_1$ and $\cC_2$ with parity-check polynomials $h_2(x)h_3(x)$ and $h_1(x)h_2(x)h_3(x)$ respectively where $h_1(x)$, $h_2(x)$ and $h_3(x)$ are the minimal polynomials of $π^{-1}$, $π^{-(2^k+1)}$ and $π^{-(2^{3k}+1)}$ respectively for a primitive element $π$ of $\bF_q$. (2). We determine the correlation distribution among a family of binary m-sequences.
Exponential Sums, Cyclic Codes and Sequences: the Odd Characteristic Kasami Case
Let $q=p^n$ with $n=2m$ and $p$ be an odd prime. Let $0\leq k\leq n-1$ and $k\neq m$. In this paper we determine the value distribution of following exponential(character) sums \[\sum\limits_{x\in \bF_q}ζ_p^{\Tra_1^m (αx^{p^{m}+1})+\Tra_1^n(βx^{p^k+1})}\quad(α\in \bF_{p^m},β\in \bF_{q})\] and \[\sum\limits_{x\in \bF_q}ζ_p^{\Tra_1^m (αx^{p^{m}+1})+\Tra_1^n(βx^{p^k+1}+\ga x)}\quad(α\in \bF_{p^m},β,\ga\in \bF_{q})\] where $\Tra_1^n: \bF_q\ra \bF_p$ and $\Tra_1^m: \bF_{p^m}\ra\bF_p$ are the canonical trace mappings and $ζ_p=e^{\frac{2πi}{p}}$ is a primitive $p$-th root of unity. As applications: (1). We determine the weight distribution of the cyclic codes $\cC_1$ and $\cC_2$ over $\bF_{p^t}$ with parity-check polynomials $h_2(x)h_3(x)$ and $h_1(x)h_2(x)h_3(x)$ respectively where $t$ is a divisor of $d=\gcd(m,k)$, and $h_1(x)$, $h_2(x)$ and $h_3(x)$ are the minimal polynomials of $π^{-1}$, $π^{-(p^k+1)}$ and $π^{-(p^m+1)}$ over $\bF_{p^t}$ respectively for a primitive element $π$ of $\bF_q$. (2). We determine the correlation distribution among a family of m-sequences. This paper extends the results in \cite{Zen Li}.
Determining the closed forms of the $O(a_s^3)$ anomalous dimensions and Wilson coefficients from Mellin moments by means of computer algebra
Published in Comput.Phys.Commun.180:2143-2165,2009
• View Publication
• BIB
Single scale quantities, as anomalous dimensions and hard scattering cross sections, in renormalizable Quantum Field Theories are found to obey difference equations of finite order in Mellin space. It is often easier to calculate fixed moments for these quantities compared to a direct attempt to derive them in terms of harmonic sums and their generalizations involving the Mellin parameter $N$. Starting from a sufficiently large number of given moments, we establish linear recurrence relations of lowest possible order with polynomial coefficients of usually high degree. Then these recurrence equations are solved in terms of d'Alembertian solutions where the involved nested sums are represented in optimal nested depth. Given this representation, it is then an easy task to express the result in terms of harmonic sums. In this process we compactify the result such that no algebraic relations occur among the sums involved. We demonstrate the method for the QCD unpolarized anomalous dimensions and massless Wilson coefficients to 3--loop order treating the contributions for individual color coefficients. For the most complicated subproblem 5114 moments were needed in order to produce a recurrence of order 35 whose coefficients have degrees up to 938. About four months of CPU time were needed to establish and solve the recurrences for the anomalous dimensions and Wilson coefficients on a 2 GHz machine requiring less than 10 GB of memory. No algorithm is known yet to provide such a high number of moments for 3--loop quantities. Yet the method presented shows that it is possible to establish and solve recurrences of rather large order and and degree, occurring in physics problems, uniquely, fast and reliably with computer algebra.
A better algorithm for random k-SAT
Published in SIAM Journal on Computing 39 (2010) 2823 - 2864
• View Publication
• BIB
Let F be a uniformly distributed random k-SAT formula with n variables and m clauses. We present a polynomial time algorithm that finds a satisfying assignment of F with high probability for constraint densities m/n<(1-eps_k)2^k\ln(k)/k, where eps_k->0. Previously no efficient algorithm was known to find solutions with non-vanishing probability beyond m/n=1.817.2^k/k [Frieze and Suen, J. of Algorithms 1996].
Upper bounds for the order of an additive basis obtained by removing a finite subset of a given basis
Published in J. Number Theory, 128 (2008), p. 2214-2230
• View Publication
• BIB
Let $A$ be an additive basis of order $h$ and $X$ be a finite nonempty subset of $A$ such that the set $A \setminus X$ is still a basis. In this article, we give several upper bounds for the order of $A \setminus X$ in function of the order $h$ of $A$ and some parameters related to $X$ and $A$. If the parameter in question is the cardinality of $X$, Nathanson and Nash already obtained some of such upper bounds, which can be seen as polynomials in $h$ with degree $(|X| + 1)$. Here, by taking instead of the cardinality of $X$ the parameter defined by $d := \frac{\diam(X)}{\gcd\{x - y | x, y \in X\}}$, we show that the order of $A \setminus X$ is bounded above by $(\frac{h (h + 3)}{2} + d \frac{h (h - 1) (h + 4)}{6})$. As a consequence, we deduce that if $X$ is an arithmetic progression of length $\geq 3$, then the upper bounds of Nathanson and Nash are considerably improved. Further, by considering more complex parameters related to both $X$ and $A$, we get upper bounds which are polynomials in $h$ with degree only 2.
Towards a human proof of Gessel's conjecture
Published in Journal of Integer Sequences, 12 (2009), 09.4.2
• Search Publication
We interpret walks in the first quadrant with steps {(1,1),(1,0),(-1,0), (-1,-1)} as a generalization of Dyck words with two sets of letters. Using this language, we give a formal expression for the number of walks in the steps above beginning and ending at the origin. We give an explicit formula for a restricted class of such words using a correspondance between such words and Dyck paths. This explicit formula is exactly the same as that for the degree of the polynomial satisfied by the square of the area of cyclic n-gons conjectured by Dave Robbins although the connection is a mystery. Finally we remark on another combinatorial problem in which the same formula appears and argue for the existence of a bijection.