polynomial
11422 papers tagged with this keyword
The representation of the symmetric group on m-Tamari intervals
Published in Advances in Mathematics 247 (2013) 309-342
• View Publication
• BIB
An m-ballot path of size n is a path on the square grid consisting of north and east unit steps, starting at (0,0), ending at (mn,n), and never going below the line {x=my}. The set of these paths can be equipped with a lattice structure, called the m-Tamari lattice and denoted by T_n^{m}, which generalizes the usual Tamari lattice T_n obtained when m=1. This lattice was introduced by F. Bergeron in connection with the study of diagonal coinvariant spaces in three sets of n variables. The representation of the symmetric group S_n on these spaces is conjectured to be closely related to the natural representation of S_n on (labelled) intervals of the m-Tamari lattice, which we study in this paper. An interval [P,Q] of T_n^{m} is labelled if the north steps of Q are labelled from 1 to n in such a way the labels increase along any sequence of consecutive north steps. The symmetric group S_n acts on labelled intervals of T_n^{m} by permutation of the labels. We prove an explicit formula, conjectured by F. Bergeron and the third author, for the character of the associated representation of S_n. In particular, the dimension of the representation, that is, the number of labelled m-Tamari intervals of size n, is found to be (m+1)^n(mn+1)^{n-2}. These results are new, even when m=1. The form of these numbers suggests a connection with parking functions, but our proof is not bijective. The starting point is a recursive description of m-Tamari intervals. It yields an equation for an associated generating function, which is a refined version of the Frobenius series of the representation. This equation involves two additional variables x and y, a derivative with respect to y and iterated divided differences with respect to x. The hardest part of the proof consists in solving it, and we develop original techniques to do so, partly inspired by previous work on polynomial equations with "catalytic" variables.
On $Q$-polynomial association schemes of small class
Published
• View Publication
• BIB
We show an inequality involving the third largest or second smallest dual eigenvalues of $Q$-polynomial association schemes of class at least three. Also we characterize dual-tight $Q$-polynomial association schemes of class three. Our method is based on tridiagonal matrices and can be applied to distance-regular graphs as well.
On generating series of finitely presented operads
Published in Journal of Algebra (2015), pp. 377-429
• View Publication
• BIB
Given an operad P with a finite Groebner basis of relations, we study the generating functions for the dimensions of its graded components P(n). Under moderate assumptions on the relations we prove that the exponential generating function for the sequence {dim P(n)} is differential algebraic, and in fact algebraic if P is a symmetrization of a non-symmetric operad. If, in addition, the growth of the dimensions of P(n) is bounded by an exponent of n (or a polynomial of n, in the non-symmetric case) then, moreover, the ordinary generating function for the above sequence {dim P(n)} is rational. We give a number of examples of calculations and discuss conjectures about the above generating functions for more general classes of operads.
New results for the growth of sets of real numbers
Published
• View Publication
• BIB
We use the theory of cross ratios to construct a real-valued function f of only three variables with the property that for any finite set A of reals, the set f(A) = {f(a,b,c):a,b,c \in A} has cardinality at least C|A|^2/log|A|, for an absolute constant C. Previously-known functions with this property had all been of four variables.
We also improve on the state of the art for functions of four variables by constructing a function g for which g(A) has cardinality at least C|A|^2; the previously best-achieved bound was C|A|^2/log|A|.
Finally, we give an example of a five-variable function h for which h(A) has cardinality at least C|A|^4/log|A|.
Proving these results depends only on the Szemeredi-Trotter incidence theorem and an analoguous result for planes due to Edelsbrunner, Guibas and Sharir, each applied in the Erlangen-type framework of Elekes and Sharir. In particular the proofs do not employ the Guth-Katz polynomial partitioning technique or the theory of ruled surfaces.
Although the growth exponents for f, g and h are stronger than those for previously considered functions, it is not clear that they are necessarily sharp. So we pose a question as to whether the bounds on the cardinalities of f(A), g(A) and h(A) can be further strengthened.
Algorithms and Almost Tight Results for 3-Colorability of Small Diameter Graphs
Published
• View Publication
• BIB
In spite of the extensive studies of the 3-coloring problem with respect to several basic parameters, the complexity status of the 3-coloring problem on graphs with small diameter, i.e. with diameter 2 or 3, has been a longstanding and challenging open question. For graphs with diameter 2 we provide the first subexponential algorithm with complexity $2^{O(\sqrt{n\log n})}$, which is asymptotically the same as the currently best known time complexity for the graph isomorphism (GI) problem. Moreover, we prove that the graph isomorphism problem on 3-colorable graphs with diameter 2 is GI-complete. Furthermore we present a subclass of graphs with diameter 2 that admits a polynomial algorithm for 3-coloring. For graphs with diameter 3 we establish the complexity of 3-coloring by proving that for every $\varepsilon \in [0,1)$, 3-coloring is NP-complete on triangle-free graphs of diameter 3 and radius 2 with $n$ vertices and minimum degree $δ=Θ(n^{\varepsilon})$. Moreover, assuming ETH, we provide three different amplifications of our hardness results to obtain for every $\varepsilon \in [0,1)$ subexponential lower bounds for the complexity of 3-coloring on triangle-free graphs with diameter 3 and minimum degree $δ=Θ(n^{\varepsilon})$. Finally, we provide a 3-coloring algorithm with running time $2^{O(\min\{δΔ,\frac{n}δ\logδ\})}$ for graphs with diameter 3, where $δ$ (resp. $Δ$) is the minimum (resp. maximum) degree of the input graph. To the best of our knowledge, this algorithm is the first subexponential algorithm for graphs with $δ=ω(1)$ and for graphs with $δ=O(1)$ and $Δ=o(n)$. Due to the above lower bounds of the complexity of 3-coloring, the running time of this algorithm is asymptotically almost tight when the minimum degree if the input graph is $δ=Θ(n^{\varepsilon})$, where $\varepsilon \in [1/2,1)$.
A multidimensional Szemeredi theorem for Hardy sequences of different growth
Published
• View Publication
• BIB
We prove a variant of the multidimensional polynomial Szemerédi theorem of Bergelson and Leibman where one replaces polynomial sequences with other sparse sequences defined by functions that belong to some Hardy field and satisfy certain growth conditions. We do this by studying the limiting behavior of the corresponding multiple ergodic averages and obtaining a simple limit formula. A consequence of this formula in topological dynamics shows denseness of certain orbits when the iterates are restricted to suitably chosen sparse subsequences. Another consequence is that every syndetic set of integers contains certain non-shift invariant patterns, and every finite coloring of $\N$, with each color class a syndetic set, contains certain polychromatic patterns, results very particular to our non-polynomial setup.
Relative Tutte polynomials of tensor products of colored graphs
Published in Combin. Probab. Comput. 22 (2013), no. 6, 801-828
• View Publication
• BIB
The tensor product $(G_1,G_2)$ of a graph $G_1$ and a pointed graph $G_2$ (containing one distinguished edge) is obtained by identifying each edge of $G_1$ with the distinguished edge of a separate copy of $G_2$, and then removing the identified edges. A formula to compute the Tutte polynomial of a tensor product of graphs was originally given by Brylawski. This formula was recently generalized to colored graphs and the generalized Tutte polynomial introduced by Bollobás and Riordan. In this paper we generalize the colored tensor product formula to relative Tutte polynomials of relative graphs, containing zero edges to which the usual deletion-contraction rules do not apply. As we have shown in a recent paper, relative Tutte polynomials may be used to compute the Jones polynomial of a virtual knot.
Strong Backdoors to Nested Satisfiability
Published
• View Publication
• BIB
Knuth (1990) introduced the class of nested formulas and showed that their satisfiability can be decided in polynomial time. We show that, parameterized by the size of a smallest strong backdoor set to the target class of nested formulas, checking the satisfiability of any CNF formula is fixed-parameter tractable. Thus, for any k>0, the satisfiability problem can be solved in polynomial time for any formula F for which there exists a variable set B of size at most k such that for every truth assignment t to B, the formula F[t] is nested; moreover, the degree of the polynomial is independent of k.
Our algorithm uses the grid-minor theorem of Robertson and Seymour (1986) to either find that the incidence graph of the formula has bounded treewidth - a case that is solved using model checking for monadic second order logic - or to find many vertex-disjoint obstructions in the incidence graph. For the latter case, new combinatorial arguments are used to find a small backdoor set. Combining both cases leads to an approximation algorithm producing a strong backdoor set whose size is upper bounded by a function of the optimum. Going through all assignments to this set of variables and using Knuth's algorithm, the satisfiability of the input formula is decided.
Computable Hilbert Schemes
In this PhD thesis we propose an algorithmic approach to the study of the Hilbert scheme. Developing algorithmic methods, we also obtain general results about Hilbert schemes. In Chapter 1 we discuss the equations defining the Hilbert scheme as subscheme of a suitable Grassmannian and in Chapter 5 we determine a new set of equations of degree lower than the degree of equations known so far. In Chapter 2 we study the most important objects used to project algorithmic techniques, namely Borel-fixed ideals. We determine an algorithm computing all the saturated Borel-fixed ideals with Hilbert polynomial assigned and we investigate their combinatorial properties. In Chapter 3 we show a new type of flat deformations of Borel-fixed ideals which lead us to give a new proof of the connectedness of the Hilbert scheme. In Chapter 4 we construct families of ideals that generalize the notion of family of ideals sharing the same initial ideal with respect to a fixed term ordering. Some of these families correspond to open subsets of the Hilbert scheme and can be used to a local study of the Hilbert scheme. In Chapter 6 we deal with the problem of the connectedness of the Hilbert scheme of locally Cohen-Macaulay curves in the projective 3-space. We show that one of the Hilbert scheme considered a "good" candidate to be non-connected, is instead connected. Moreover there are three appendices that present and explain how to use the implementations of the algorithms proposed.
Implementation of a Unimodularity Test
Published
• View Publication
• BIB
This paper describes implementation and computational results of a polynomial test of total unimodularity. The test is a simplified version of a prior method. The program also decides two related unimodularity properties. The software is available free of charge in source code form under the Boost Software License.
Macdonald polynomials in superspace as eigenfunctions of commuting operators
Published in Journal of Combinatorics 3 (2012), pages 495-561
• View Publication
• BIB
A generalization of the Macdonald polynomials depending upon both commuting and anticommuting variables has been introduced recently. The construction relies on certain orthogonality and triangularity relations. Although many superpolynomials were constructed as solutions of highly over-determined system, the existence issue was left open. This is resolved here: we demonstrate that the underlying construction has a (unique) solution. The proof uses, as a starting point, the definition of the Macdonald superpolynomials in terms of the Macdonald non-symmetric polynomials via a non-standard (anti)symmetrization and a suitable dressing by anticommuting monomials. This relationship naturally suggests the form of two family of commuting operators that have the defined superpolynomials as their common eigenfunctions. These eigenfunctions are then shown to be triangular and orthogonal. Up to a normalization, these two conditions uniquely characterize these superpolynomials. Moreover, the Macdonald superpolynomials are found to be orthogonal with respect to a second (constant-term-type) scalar product and its norm is evaluated. The latter is shown to match (up to a q-power) the conjectured norm with respect to the original scalar product. Finally, we recall the super-version of the Macdonald positivity conjecture and present two new conjectures which both provide a remarkable relationship between the new (q,t)-Kostka coefficients and the usual ones.
High order three-term recursions, Riemann-Hilbert minors and Nikishin systems on star-like sets
Published in Constr. Approx. 37 (2013), 383-453
• View Publication
• BIB
We study monic polynomials $Q_n(x)$ generated by a high order three-term recursion $xQ_n(x)=Q_{n+1}(x)+a_{n-p} Q_{n-p}(x)$ with arbitrary $p\geq 1$ and $a_n>0$ for all $n$. The recursion is encoded by a two-diagonal Hessenberg operator $H$. One of our main results is that, for periodic coefficients $a_n$ and under certain conditions, the $Q_n$ are multiple orthogonal polynomials with respect to a Nikishin system of orthogonality measures supported on star-like sets in the complex plane. This improves a recent result of Aptekarev-Kalyagin-Saff where a formal connection with Nikishin systems was obtained in the case when $\sum_{n=0}^{\infty}|a_n-a|<\infty$ for some $a>0$.
An important tool in this paper is the study of "Riemann-Hilbert minors", or equivalently, the "generalized eigenvalues" of the Hessenberg matrix $H$. We prove interlacing relations for the generalized eigenvalues by using totally positive matrices. In the case of asymptotically periodic coefficients $a_n$, we find weak and ratio asymptotics for the Riemann-Hilbert minors and we obtain a connection with a vector equilibrium problem. We anticipate that in the future, the study of Riemann-Hilbert minors may prove useful for more general classes of multiple orthogonal polynomials.
b-coloring graphs with large girth
Published
• View Publication
• BIB
A b-coloring of a graph is a coloring of its vertices such that every color class contains a vertex that has a neighbor in all other classes. The b-chromatic number of a graph is the largest integer k such that the graph has a b-coloring with k colors. We show how to compute in polynomial time the b-chromatic number of a graph of girth at least 9. This improves the seminal result of Irving and Manlove on trees.
New extensions to the sumsets with polynomial restrictions
By taking the leading and the second leading coefficients of the Morris identity, we get new polynomial coefficients. These coefficients lead to new results in the sumsets with polynomial restrictions by the polynomial method of N. Alon.
A simple model of trees for unicellular maps
Published in Journal of Combinatorial Theory, Series A 120, 8 (2013) Pages 2064-2092
• View Publication
• BIB
We consider unicellular maps, or polygon gluings, of fixed genus. A few years ago the first author gave a recursive bijection transforming unicellular maps into trees, explaining the presence of Catalan numbers in counting formulas for these objects. In this paper, we give another bijection that explicitly describes the "recursive part" of the first bijection. As a result we obtain a very simple description of unicellular maps as pairs made by a plane tree and a permutation-like structure. All the previously known formulas follow as an immediate corollary or easy exercise, thus giving a bijective proof for each of them, in a unified way. For some of these formulas, this is the first bijective proof, e.g. the Harer-Zagier recurrence formula, the Lehman-Walsh formula and the Goupil-Schaeffer formula. We also discuss several applications of our construction: we obtain a new proof of an identity related to covered maps due to Bernardi and the first author, and thanks to previous work of the second author, we give a new expression for Stanley character polynomials, which evaluate irreducible characters of the symmetric group. Finally, we show that our techniques apply partially to unicellular 3-constellations and to related objects that we call quasi-constellations.
On almost distance-regular graphs
Published in Journal of Combinatorial Theory, Series A 118 (2011), 1094-1113
• View Publication
• BIB
Distance-regular graphs are a key concept in Algebraic Combinatorics and have given rise to several generalizations, such as association schemes. Motivated by spectral and other algebraic characterizations of distance-regular graphs, we study `almost distance-regular graphs'. We use this name informally for graphs that share some regularity properties that are related to distance in the graph. For example, a known characterization of a distance-regular graph is the invariance of the number of walks of given length between vertices at a given distance, while a graph is called walk-regular if the number of closed walks of given length rooted at any given vertex is a constant. One of the concepts studied here is a generalization of both distance-regularity and walk-regularity called $m$-walk-regularity. Another studied concept is that of $m$-partial distance-regularity or, informally, distance-regularity up to distance $m$. Using eigenvalues of graphs and the predistance polynomials, we discuss and relate these and other concepts of almost distance-regularity, such as their common generalization of $(\ell,m)$-walk-regularity. We introduce the concepts of punctual distance-regularity and punctual walk-regularity as a fundament upon which almost distance-regular graphs are built. We provide examples that are mostly taken from the Foster census, a collection of symmetric cubic graphs. Two problems are posed that are related to the question of when almost distance-regular becomes whole distance-regular. We also give several characterizations of punctually distance-regular graphs that are generalizations of the spectral excess theorem.
Relations between Möbius and coboundary polynomial
Published in Mathematics in Computer Science, 6(2), 109-120, 2012
• View Publication
• BIB
It is known that, in general, the coboundary polynomial and the Möbius polynomial of a matroid do not determine each other. Less is known about more specific cases. In this paper, we will try to answer if it is possible that the Möbius polynomial of a matroid, together with the Möbius polynomial of the dual matroid, define the coboundary polynomial of the matroid. In some cases, the answer is affirmative, and we will give two constructions to determine the coboundary polynomial in these cases.
Transition matrices for symmetric and quasisymmetric Hall-Littlewood polynomials
Published
• View Publication
• BIB
We introduce explicit combinatorial interpretations for the coefficients in some of the transition matrices relating to skew Hall-Littlewood polynomials P_lambda/mu(x;t) and Hivert's quasisymmetric Hall-Littlewood polynomials G_gamma(x;t). More specifically, we provide: 1) the G-expansions of the Hall-Littlewood polynomials P_lambda, the monomial quasisymmetric polynomials M_alpha, the quasisymmetric Schur polynomials S_alpha, and the peak quasisymmetric functions K_alpha; 2) an expansion of P_lambda/mu in terms of the F_alpha's. The F-expansion of P_lambda/mu is facilitated by introducing starred tableaux.
Greek letters in random staircase tableaux
Published
• View Publication
• BIB
In this paper we study a relatively new combinatorial object called staircase tableaux. Staircase tableaux were introduced by Corteel and Williams in the connection with Asymmetric Exclusion Process and has since found interesting connections with Askey - Wilson polynomials. We develop a probabilistic approach that allows us to analyze several parameters of a randomly chosen staircase tableaux of a given size. In particular, we obtain limiting distributions for statistics associated with appearances of Greek letters in staircase. tableaux.
On the $q$-Genocchi numbers and polynomials with weight zero and their applications
Published in Nonlinear Functional Analysis and Applications 18 (2013) 193-203
• Search Publication
In this paper, the authors deal with the $q$-Genocchi numbers and polynomials with weight zero. They discover some interesting relations via the $p$-adic $q$-integral on $\mathbb{Z}_{p}$ and familiar basis Bernstein polynomials. Finally, the authors show that the $p$-adic $\log$ gamma functions are associated with the $q$-Genocchi numbers and polynomials with weight zero.