polynomial
11422 papers tagged with this keyword
Combinatorial expansions in K-theoretic bases
Published
• View Publication
• BIB
We study the class $\mathcal C$ of symmetric functions whose coefficients in the Schur basis can be described by generating functions for sets of tableaux with fixed shape. Included in this class are the Hall-Littlewood polynomials, $k$-atoms, and Stanley symmetric functions; functions whose Schur coefficients encode combinatorial, representation theoretic and geometric information. While Schur functions represent the cohomology of the Grassmannian variety of $GL_n$, Grothendieck functions $\{G_λ\}$ represent the $K$-theory of the same space. In this paper, we give a combinatorial description of the coefficients when any element of $\mathcal C$ is expanded in the $G$-basis or the basis dual to $\{G_λ\}$.
Counting Lattice Animals in High Dimensions
Published in J. Stat. Mech. P09026 (2011)
• View Publication
• BIB
We present an implementation of Redelemeier's algorithm for the enumeration of lattice animals in high dimensional lattices. The implementation is lean and fast enough to allow us to extend the existing tables of animal counts, perimeter polynomials and series expansion coefficients in $d$-dimensional hypercubic lattices for $3 \leq d\leq 10$. From the data we compute formulas for perimeter polynomials for lattice animals of size $n\leq 11$ in arbitrary dimension $d$. When amended by combinatorial arguments, the new data suffices to yield explicit formulas for the number of lattice animals of size $n\leq 14$ and arbitrary $d$. We also use the enumeration data to compute numerical estimates for growth rates and exponents in high dimensions that agree very well with Monte Carlo simulations and recent predictions from field theory.
The Continuum Limit of Toda Lattices for Random Matrices with Odd Weights
Published
• View Publication
• BIB
This paper is concerned with the asymptotic behavior of the free energy for a class of Hermitean random matrix models, with odd degree polynomial potential, in the large N limit. It continues an investigation initiated and developed in a sequence of prior works whose ultimate aim is to reveal and understand, in a rigorous way, the deep connections between correlation functions for eigenvalues of these random matrix ensembles on the one hand and the enumerative interpretations of their matrix moments in terms of map combinatorics (a branch of graph theory) on the other. In doing this we make essential use of the link between the asymptotics of the random matrix partition function and orthogonal polynomials with exponential weight equal to the random matrix potential. Along the way we develop and analyze the continuum limits of both the hierarchy of Toda lattice equations and the hierarchy of difference string equations associated to these orthogonal polynomials. The former are found to have the structure of a hierarchy of near-conservation laws universal in the potential; the latter are a novel semi-classical extension of the traditional string equations. Our methods apply to regular maps of both even and odd valence, however we focus on the latter since that is the relevant case for this paper. These methods enable us to rigorously determine closed form expressions for the generating functions that enumerate trivalent maps, in general implicitly, but also explictly in a number of cases.
Vector valued Macdonald polynomials
This paper defines and investigates nonsymmetric Macdonald polynomials with values in an irreducible module of the Hecke algebra of type $A_{N-1}$. These polynomials appear as simultaneous eigenfunctions of Cherednik operators. Several objects and properties are analyzed, such as the canonical bilinear form which pairs polynomials with those arising from reciprocals of the original parameters, and the symmetrization of the Macdonald polynomials. The main tool of the study is the Yang-Baxter graph. We show that these Macdonald polynomials can be easily computed following this graph. We give also an interpretation of the symmetrization and the bilinear forms applied to the Macdonald polynomials in terms of the Yang-Baxter graph.
Analyzing Walksat on random formulas
Published in SIAM Journal on Computing 43 (2014) 1456 - 1485
• View Publication
• BIB
Let F be a uniformly distributed random k-SAT formula with n variables and m clauses. We prove that the Walksat algorithm from Papadimitriou (FOCS 1991)/Schoning (FOCS 1999) finds a satisfying assignment of F in polynomial time w.h.p. if m/n<ρ2^k/k for a certain constant ρ>0. This is an improvement by a factor of $Θ(k)$ over the best previous analysis of Walksat from Coja-Oghlan, Feige, Frieze, Krivelevich, Vilenchik (SODA 2009).
On isotopisms and strong isotopisms of commutative presemifields
Published
• View Publication
• BIB
In this paper we prove that the $P(q,\ell)$ ($q$ odd prime power and $\ell>1$ odd) commutative semifields constructed by Bierbrauer in \cite{BierbrauerSub} are isotopic to some commutative presemifields constructed by Budaghyan and Helleseth in \cite{BuHe2008}. Also, we show that they are strongly isotopic if and only if $q\equiv 1(mod\,4)$. Consequently, for each $q\equiv -1(mod\,4)$ there exist isotopic commutative presemifields of order $q^{2\ell}$ ($\ell>1$ odd) defining CCZ--inequivalent planar DO polynomials.
On the set of zero coefficients of a function satisfying a linear differential equation
Published
• View Publication
• BIB
Let $K$ be a field of characteristic zero and suppose that $f:\mathbb{N}\to K$ satisfies a recurrence of the form $$f(n)\ =\ \sum_{i=1}^d P_i(n) f(n-i),$$ for $n$ sufficiently large, where $P_1(z),...,P_d(z)$ are polynomials in $K[z]$. Given that $P_d(z)$ is a nonzero constant polynomial, we show that the set of $n\in \mathbb{N}$ for which $f(n)=0$ is a union of finitely many arithmetic progressions and a finite set. This generalizes the Skolem-Mahler-Lech theorem, which assumes that $f(n)$ satisfies a linear recurrence. We discuss examples and connections to the set of zero coefficients of a power series satisfying a homogeneous linear differential equation with rational function coefficients.
On the Wiener index and Laplacian coefficients of graphs with given diameter or radius
Published in MATCH Commun. Math. Comput. Chem. 63 (2010) 91-100
• Search Publication
Let $G$ be a simple undirected $n$-vertex graph with the characteristic polynomial of its Laplacian matrix $L(G)$, $\det (λI - L (G))=\sum_{k = 0}^n (-1)^k c_k λ^{n - k}$. It is well known that for trees the Laplacian coefficient $c_{n-2}$ is equal to the Wiener index of $G$. Using a result of Zhou and Gutman on the relation between the Laplacian coefficients and the matching numbers in subdivided bipartite graphs, we characterize first the trees with given diameter and then the connected graphs with given radius which simultaneously minimize all Laplacian coefficients. This approach generalizes recent results of Liu and Pan [MATCH Commun. Math. Comput. Chem. 60 (2008), 85--94] and Wang and Guo [MATCH Commun. Math. Comput. Chem. 60 (2008), 609--622] who characterized $n$-vertex trees with fixed diameter $d$ which minimize the Wiener index. In conclusion, we illustrate on examples with Wiener and modified hyper-Wiener index that the opposite problem of simultaneously maximizing all Laplacian coefficients has no solution.
On the limit points of the smallest eigenvalues of regular graphs
Published
• View Publication
• BIB
In this paper, we give infinitely many examples of (non-isomorphic) connected $k$-regular graphs with smallest eigenvalue in half open interval $[-1-\sqrt2, -2)$ and also infinitely many examples of (non-isomorphic) connected $k$-regular graphs with smallest eigenvalue in half open interval $[α_1, -1-\sqrt2)$ where $α_1$ is the smallest root$(\approx -2.4812)$ of the polynomial $x^3+2x^2-2x-2$. From these results, we determine the largest and second largest limit points of smallest eigenvalues of regular graphs less than -2. Moreover we determine the supremum of the smallest eigenvalue among all connected 3-regular graphs with smallest eigenvalue less than -2 and we give the unique graph with this supremum value as its smallest eigenvalue.
Lagrange's Theorem for Hopf Monoids in Species
Published in Can. J. Math.-J. Can. Math. 65 (2013) 241-265
• View Publication
• BIB
Following Radford's proof of Lagrange's theorem for pointed Hopf algebras, we prove Lagrange's theorem for Hopf monoids in the category of connected species. As a corollary, we obtain necessary conditions for a given subspecies K of a Hopf monoid H to be a Hopf submonoid: the quotient of any one of the generating series of H by the corresponding generating series of K must have nonnegative coefficients. Other corollaries include a necessary condition for a sequence of nonnegative integers to be the sequence of dimensions of a Hopf monoid in the form of certain polynomial inequalities, and of a set-theoretic Hopf monoid in the form of certain linear inequalities. The latter express that the binomial transform of the sequence must be nonnegative.
Algorithms for lattice games
Published
• View Publication
• BIB
This paper provides effective methods for the polyhedral formulation of impartial finite combinatorial games as lattice games. Given a rational strategy for a lattice game, a polynomial time algorithm is presented to decide (i) whether a given position is a winning position, and to find a move to a winning position, if not; and (ii) to decide whether two given positions are congruent, in the sense of misère quotient theory. The methods are based on the theory of short rational generating functions.
Nonattacking Queens in a Rectangular Strip
Published in Annals of Combinatorics 14 (2010), 419-441. MR 2776757 (2012d:05034). Zbl 1233.05022
• View Publication
• BIB
The function that counts the number of ways to place nonattacking identical chess or fairy chess pieces in a rectangular strip of fixed height and variable width, as a function of the width, is a piecewise polynomial which is eventually a polynomial and whose behavior can be described in some detail. We deduce this by converting the problem to one of counting lattice points outside an affinographic hyperplane arrangement, which Forge and Zaslavsky solved by means of weighted integral gain graphs.
We extend their work by developing both generating functions and a detailed analysis of deletion and contraction for weighted integral gain graphs.
For chess pieces we find the asymptotic probability that a random configuration is nonattacking, and we obtain exact counts of nonattacking configurations of small numbers of queens, bishops, knights, and nightriders.
Outcomes of the Abel Identity
Published
• View Publication
• BIB
Through symbolic methods, we state explicit formulae for Tchebychev, Gegenbauer, Meixner, Mittlag-Leffler, and Pidduck polynomials. This is done by underlining the crucial role played by the Abel identity in revisiting the Lagrange inversion formula and the theory of the Riordan arrays.
Multivariate Diagonal Coinvariant Spaces for Complex Reflection Groups
Published
• View Publication
• BIB
For finite complex reflexion groups, we consider the graded $W$-modules of diagonally harmonic polynomials in $r$ sets of variables, and show that associated Hilbert series may be described in a global manner, independent of the value of $r$.
Quadratic Goldreich-Levin Theorems
Published
• View Publication
• BIB
Decomposition theorems in classical Fourier analysis enable us to express a bounded function in terms of few linear phases with large Fourier coefficients plus a part that is pseudorandom with respect to linear phases. The Goldreich-Levin algorithm can be viewed as an algorithmic analogue of such a decomposition as it gives a way to efficiently find the linear phases associated with large Fourier coefficients.
In the study of "quadratic Fourier analysis", higher-degree analogues of such decompositions have been developed in which the pseudorandomness property is stronger but the structured part correspondingly weaker. For example, it has previously been shown that it is possible to express a bounded function as a sum of a few quadratic phases plus a part that is small in the $U^3$ norm, defined by Gowers for the purpose of counting arithmetic progressions of length 4. We give a polynomial time algorithm for computing such a decomposition.
A key part of the algorithm is a local self-correction procedure for Reed-Muller codes of order 2 (over $\F_2^n$) for a function at distance $1/2-ε$ from a codeword. Given a function $f:\F_2^n \to \{-1,1\}$ at fractional Hamming distance $1/2-ε$ from a quadratic phase (which is a codeword of Reed-Muller code of order 2), we give an algorithm that runs in time polynomial in $n$ and finds a codeword at distance at most $1/2-η$ for $η= η(ε)$. This is an algorithmic analogue of Samorodnitsky's result, which gave a tester for the above problem. To our knowledge, it represents the first instance of a correction procedure for any class of codes, beyond the list-decoding radius.
In the process, we give algorithmic versions of results from additive combinatorics used in Samorodnitsky's proof and a refined version of the inverse theorem for the Gowers $U^3$ norm over $\F_2^n$.
Nearly Optimal NP-Hardness of Vertex Cover on k-Uniform k-Partite Hypergraphs
Published
• View Publication
• BIB
We study the problem of computing the minimum vertex cover on k-uniform k-partite hypergraphs when the k-partition is given. On bipartite graphs (k = 2), the minimum vertex cover can be computed in polynomial time. For general k, the problem was studied by Lovász, who gave a k/2 -approximation based on the standard LP relaxation. Subsequent work by Aharoni, Holzman and Krivelevich showed a tight integrality gap of (k/2 - o(1)) for the LP relaxation. While this problem was known to be NP-hard for k >= 3, the first non-trivial NP-hardness of approximation factor of k/4- \eps was shown in a recent work by Guruswami and Saket. They also showed that assuming Khot's Unique Games Conjecture yields a k/2 - \eps inapproximability for this problem, implying the optimality of Lovász's result.
In this work, we show that this problem is NP-hard to approximate within k/2- 1 + 1/2k -\eps. This hardness factor is off from the optimal by an additive constant of at most 1 for k >= 4. Our reduction relies on the Multi-Layered PCP of Dinur et al. and uses a gadget - based on biased Long Codes - adapted from the LP integrality gap of Aharoni et al. The nature of our reduction requires the analysis of several Long Codes with different biases, for which we prove structural properties of the so called cross-intersecting collections of set families - variants of which have been studied in extremal set theory.
Higher Trivariate Diagonal Harmonics via generalized Tamari Posets
Published
• View Publication
• BIB
We consider the graded $§_n$-modules of higher diagonally harmonic polynomials in three sets of variables (the trivariate case), and show that they have interesting ties with generalizations of the Tamari poset and parking functions. In particular we get several nice formulas for the associated Hilbert series and graded Frobenius characteristic. This also leads to entirely new combinatorial formulas.
Eulerian polynomials as moments, via exponential Riordan arrays
Using the theory of exponential Riordan arrays and orthogonal polynomials, we demonstrate that the "descending power" Eulerian polynomials, and their once shifted sequence, are moment sequences for simple families of orthogonal polynomials, which we characterize in terms of their three-term recurrence. We obtain the generating functions of the polynomial sequences in terms of continued fractions, and we also calculate their Hankel transforms.
Combinatorial polynomials as moments, Hankel transforms and exponential Riordan arrays
In the case of two combinatorial polynomials, we show that they can exhibited as moments of paramaterized families of orthogonal polynomials, and hence derive their Hankel transforms. Exponential Riordan arrays are the main vehicles used for this.
Arithmetic matroids, Tutte polynomial, and toric arrangements
We introduce the notion of an arithmetic matroid, whose main example is given by a list of elements of a finitely generated abelian group. In particular we study the representability of its dual, providing an extension of the Gale duality to this setting. Guided by the geometry of generalized toric arrangements, we provide a combinatorial interpretation of the associated arithmetic Tutte polynomial, which can be seen as a generalization of Crapo's formula for the classical Tutte polynomial.