polynomial
11257 papers tagged with this keyword
Hadwiger number of graphs with small chordality
Published
• View Publication
• BIB
The Hadwiger number of a graph G is the largest integer h such that G has the complete graph K_h as a minor. We show that the problem of determining the Hadwiger number of a graph is NP-hard on co-bipartite graphs, but can be solved in polynomial time on cographs and on bipartite permutation graphs. We also consider a natural generalization of this problem that asks for the largest integer h such that G has a minor with h vertices and diameter at most $s$. We show that this problem can be solved in polynomial time on AT-free graphs when s>=2, but is NP-hard on chordal graphs for every fixed s>=2.
A product formula for certain Littlewood-Richardson coefficients for Jack and Macdonald polynomials
Published
• View Publication
• BIB
Jack polynomials generalize several classical families of symmetric polynomials, including Schur polynomials, and are further generalized by Macdonald polynomials. In 1989, Richard Stanley conjectured that if the Littlewood-Richardson coefficient for a triple of Schur polynomials is 1, then the corresponding coefficient for Jack polynomials can be expressed as a product of weighted hooks of the Young diagrams associated to the partitions indexing the coefficient. We prove a special case of this conjecture in which the partitions indexing the Littlewood-Richardson coefficient have at most 3 parts. We also show that this result extends to Macdonald polynomials.
An analogue of the Rademacher function for generalized Dedekind sums in higher dimension
We consider generalized Dedekind sums in dimension $n$, for fixed $n$-tuple of natural numbers, defined as sum of products of values of periodic Bernoulli functions. This includes the higher dimensional Dedekind sums of Zagier and Apostol-Carlitz' generalized Dedekind sums as well as the original Dedekind sums. These are realized as coefficients of Todd series of lattice cones and satisfy reciprocity law from the cocycle property of Todd series. Using iterated residue formula, we compute the coefficient of the decomposition of of the Todd series corresponding to a nonsingular decomposition of the lattice cone defining the Dedekind sums. We associate a Laurent polynomial which is added to generalized Dedekind sums of fixed index to make their denominators bounded. We give explicitly the denominator in terms of Bernoulli numbers. This generalizes the role played by the rational function given by the difference of the Rademacher function and the classical Dedekind sums. We associate an exponential sum to the generalized Dedekind sums using the integrality of the generalized Rademacher function. We show that this exponential sum has a nontrivial bound that is sufficient to fulfill Weyl's equidistribution criterion and thus the fractional part of the generalized Dedekind sums are equidistributed. As an example, for a 3 dimensional case and Zagier's higher dimensional generalization of Dedekind sums, we compute the Laurent polynomials associated.
Combinatorial Identities for Incomplete Tribonacci Polynomials
The incomplete tribonacci polynomials, denoted by T_n^{(s)}(x), generalize the usual tribonacci polynomials T_n(x) and were introduced in [10], where several algebraic identities were shown. In this paper, we provide a combinatorial interpretation for T_n^{(s)}(x) in terms of weighted linear tilings involving three types of tiles. This allows one not only to supply combinatorial proofs of the identities for T_n^{(s)}(x) appearing in [10] but also to derive additional identities. In the final section, we provide a formula for the ordinary generating function of the sequence T_n^{(s)}(x) for a fixed s, which was requested in [10]. Our derivation is combinatorial in nature and makes use of an identity relating T_n^{(s)}(x) to T_n(x).
Bounds on the Kronecker coefficients
Published
• View Publication
• BIB
We present several upper and lower bounds on the Kronecker coefficients of the symmetric group. We prove $k$-stability of the Kronecker coefficients generalizing the (usual) stability, and giving a new upper bound. We prove a lower bound via the characters of $S_n$. We apply these and other results to generalize Sylvester's unimodality of the $q$-binomial coefficients $\binom{n}{k}_q$ as polynomials in $q$: we derive explicit sharp bounds on the differences of their consecutive coefficients.
A survey on recurrence relations for the independence polynomial of hypergraphs
Published
• View Publication
• BIB
The independence polynomial of a hypergraph is the generating function for its independent (vertex) sets with respect to their cardinality. This article aims to discuss several recurrence relations for the independence polynomial using some vertex and edge operations. Further, an extension of the well-known recurrence relation for simple graphs to hypergraphs is proven and other novel recurrence relations are also discussed.
Intersection graphs of segments and $\exists\mathbb{R}$
A graph $G$ with vertex set $\{v_1,v_2,\ldots,v_n\}$ is an intersection graph of segments if there are segments $s_1,\ldots,s_n$ in the plane such that $s_i$ and $s_j$ have a common point if and only if $\{v_i,v_j\}$ is an edge of~$G$. In this expository paper, we consider the algorithmic problem of testing whether a given abstract graph is an intersection graph of segments.
It turned out that this problem is complete for an interesting recently introduced class of computational problems, denoted by $\exists\mathbb{R}$. This class consists of problems that can be reduced, in polynomial time, to solvability of a system of polynomial inequalities in several variables over the reals. We discuss some subtleties in the definition of $\exists\mathbb{R}$, and we provide a complete and streamlined account of a proof of the $\exists\mathbb{R}$-completeness of the recognition problem for segment intersection graphs. Along the way, we establish $\exists\mathbb{R}$-completeness of several other problems. We also present a decision algorithm, due to Muchnik, for the first-order theory of the reals.
Polynomial partitioning on varieties of codimension two and point-hypersurface incidences in four dimensions
Published
• View Publication
• BIB
We present a polynomial partitioning theorem for finite sets of points in the real locus of an irreducible complex algebraic variety of codimension at most two. This result generalizes the polynomial partitioning theorem on the Euclidean space of Guth and Katz, and its extension to hypersurfaces by Zahl and by Kaplan, Matoušek, Sharir and Safernová.
We also present a bound for the number of incidences between points and hypersurfaces in the four-dimensional Euclidean space. It is an application of our partitioning theorem together with the refined bounds for the number of connected components of a semi-algebraic set by Barone and Basu.
Elementary derivation of Weingarten functions of classical Lie groups
Integration of polynomials over the classical groups of unitary, orthogonal and symplectic matrices can be reduced to basic building blocks known as Weingarten functions. We present an elementary derivation of these functions.
Generalized Tchebyshev triangulations
Published in Journal of Combinatorial Theory, Series A, Volume 137, January 2016, Pages 88-125
• View Publication
• BIB
After fixing a triangulation $L$ of a $k$-dimensional simplex that has no new vertices on the boundary, we introduce a triangulation operation on all simplicial complexes that replaces every $k$-face with a copy of $L$, via a sequence of induced subdivisions. The operation may be performed in many ways, but we show that the face numbers of the subdivided complex depend only on the face numbers of the original complex, in a linear fashion. We use this linear map to define a sequence of polynomials generalizing the Tchebyshev polynomials of the first kind and show, that in many cases, but not all, the resulting polynomials have only real roots, located in the interval $(-1,1)$. Some analogous results are shown also for generalized Tchebyshev polynomials of the higher kind, defined using summing over links of all original faces of a given dimension in our generalized Tchebyshev triangulations. Generalized Tchebyshev triangulations of the boundary complex of a cross-polytope play a central role in our calculations, and for some of these we verify the validity of a generalized lower bound conjecture by the second author.
On $t$-extensions of the Hankel determinants of certain automatic sequences
Published
• View Publication
• BIB
In 1998, Allouche, Peyrière, Wen and Wen considered the Thue--Morse sequence, and proved that all the Hankel determinants of the period-doubling sequence are odd integral numbers. We speak of $t$-extension when the entries along the diagonal in the Hankel determinant are all multiplied by~$t$. Then we prove that the $t$-extension of each Hankel determinant of the period-doubling sequence is a polynomial in $t$, whose leading coefficient is the {\it only one} to be an odd integral number. Our proof makes use of the combinatorial set-up developed by Bugeaud and Han, which appears to be very suitable for this study, as the parameter $t$ counts the number of fixed points of a permutation. Finally, we prove that all the $t$-extensions of the Hankel determinants of the regular paperfolding sequence are polynomials in $t$ of degree less than or equal to $3$.
Some transformation formulas associated with Askey-Wilson polynomials and Lassalle's formulas for Macdonald-Koornwinder polynomials
Published
• View Publication
• BIB
We present a fourfold series expansion representing the Askey-Wilson polynomials. To obtain the result, a sequential use is made of several summation and transformation formulas for the basic hypergeometric series, including the Verma's q-extension of the Field and Wimp expansion, Andrews' terminating q-analogue of Watson's 3F2 sum, Singh's quadratic transformation. As an application, we present an explicit formula for the Koornwinder polynomial of type BCn (n in Z_>0) with one row diagram. When the parameters are specialized, we recover Lassalle's formula for Macdonald polynomials of type Bn, Cn and Dn with one row diagram, thereby proving his conjectures.
Switchings of semifield multiplications
Published
• View Publication
• BIB
Let $B(X,Y)$ be a polynomial over $\mathbb{F}_{q^n}$ which defines an $\mathbb{F}_q$-bilinear form on the vector space $\mathbb{F}_{q^n}$, and let $ξ$ be a nonzero element in $\mathbb{F}_{q^n}$. In this paper, we consider for which $B(X,Y)$, the binary operation $xy+B(x,y)ξ$ defines a (pre)semifield multiplication on $\mathbb{F}_{q^n}$. We prove that this question is equivalent to finding $q$-linearized polynomials $L(X)\in\mathbb{F}_{q^n}[X]$ such that $Tr_{q^n/q}(L(x)/x)\neq 0$ for all $x\in\mathbb{F}_{q^n}^*$. For $n\le 4$, we present several families of $L(X)$ and we investigate the derived (pre)semifields. When $q$ equals a prime $p$, we show that if $n>\frac{1}{2}(p-1)(p^2-p+4)$, $L(X)$ must be $a_0 X$ for some $a_0\in\mathbb{F}_{p^n}$ satisfying $Tr_{q^n/q}(a_0)\neq 0$. Finally, we include a natural connection with certain cyclic codes over finite fields, and we apply the Hasse-Weil-Serre bound for algebraic curves to prove several necessary conditions for such kind of $L(X)$.
E-cospectral hypergraphs and some hypergraphs determined by their spectra
Published
• View Publication
• BIB
Two $k$-uniform hypergraphs are said to be cospectral (E-cospectral), if their adjacency tensors have the same characteristic polynomial (E-characteristic polynomial). A $k$-uniform hypergraph $H$ is said to be determined by its spectrum, if there is no other non-isomorphic $k$-uniform hypergraph cospectral with $H$. In this note, we give a method for constructing E-cospectral hypergraphs, which is similar with Godsil-McKay switching. Some hypergraphs are shown to be determined by their spectra.
Bessenrodt-Stanley polynomials and the octahedron recurrence
Published
• View Publication
• BIB
We show that a family of multivariate polynomials recently introduced by Bessenrodt and Stanley can be expressed as solution of the octahedron recurrence with suitable initial data. This leads to generalizations and explicit expressions as path or dimer partition functions.
Sweep maps: A continuous family of sorting algorithms
Published
• View Publication
• BIB
We define a family of maps on lattice paths, called sweep maps, that assign levels to each step in the path and sort steps according to their level. Surprisingly, although sweep maps act by sorting, they appear to be bijective in general. The sweep maps give concise combinatorial formulas for the q,t-Catalan numbers, the higher q,t-Catalan numbers, the q,t-square numbers, and many more general polynomials connected to the nabla operator and rational Catalan combinatorics. We prove that many algorithms that have appeared in the literature (including maps studied by Andrews, Egge, Gorsky, Haglund, Hanusa, Jones, Killpatrick, Krattenthaler, Kremer, Orsina, Mazin, Papi, Vaille, and the present authors) are all special cases of the sweep maps or their inverses. The sweep maps provide a very simple unifying framework for understanding all of these algorithms. We explain how inversion of the sweep map (which is an open problem in general) can be solved in known special cases by finding a "bounce path" for the lattice paths under consideration. We also define a generalized sweep map acting on words over arbitrary alphabets with arbitrary weights, which is also conjectured to be bijective.
The smallest sets of points not determined by their X-rays
Published
• View Publication
• BIB
Let $F$ be an $n$-point set in $\mathbb{K}^d$ with $\mathbb{K}\in\{\mathbb{R},\mathbb{Z}\}$ and $d\geq 2$. A (discrete) X-ray of $F$ in direction $s$ gives the number of points of $F$ on each line parallel to $s$. We define $ψ_{\mathbb{K}^d}(m)$ as the minimum number $n$ for which there exist $m$ directions $s_1,...,s_m$ (pairwise linearly independent and spanning $\mathbb{R}^d$) such that two $n$-point sets in $\mathbb{K}^d$ exist that have the same X-rays in these directions. The bound $ψ_{\mathbb{Z}^d}(m)\leq 2^{m-1}$ has been observed many times in the literature. In this note we show $ψ_{\mathbb{K}^d}(m)=O(m^{d+1+\varepsilon})$ for $\varepsilon>0$. For the cases $\mathbb{K}^d=\mathbb{Z}^d$ and $\mathbb{K}^d=\mathbb{R}^d$, $d>2$, this represents the first upper bound on $ψ_{\mathbb{K}^d}(m)$ that is polynomial in $m$. As a corollary we derive bounds on the sizes of solutions to both the classical and two-dimensional Prouhet-Tarry-Escott problem. Additionally, we establish lower bounds on $ψ_{\mathbb{K}^d}$ that enable us to prove a strengthened version of Rényi's theorem for points in $\mathbb{Z}^2$.
Divisors and specializations of Lucas polynomials
Published
• View Publication
• BIB
Three-term recurrences have infused stupendous amount of research in a broad spectrum of the sciences, such as orthogonal polynomials (in special functions) and lattice paths (in enumerative combinatorics). Among these are the Lucas polynomials, which have seen a recent true revival. In this paper one of the themes of investigation is the specialization to the Pell and Delannoy numbers. The underpinning motivation comprises primarily of divisibility and symmetry. One of the most remarkable findings is a structural decomposition of the Lucas polynomials into what we term as flat and sharp analogs.
Explicit computations with the Divided Symmetrization operator
Published
• View Publication
• BIB
Given a multi-variable polynomial, there is an associated divided symmetrization (in particular turning it into a symmetric function). Postinkov has found the volume of a permutohedron as a divided symmetrization (DS) of the power of a certain linear form. The main task in this paper is to exhibit and prove closed form DS-formulas for a variety of polynomials. We hope the results to be valuable and available to the research practitioner in these areas. Also, the methods of proof utilized here are simple and amenable to many more analogous computations. We conclude the paper with a list of such formulas.
Sandpiles and Dominos
Published
• View Publication
• BIB
We consider the subgroup of the abelian sandpile group of the grid graph consisting of configurations of sand that are symmetric with respect to central vertical and horizontal axes. We show that the size of this group is (i) the number of domino tilings of a corresponding weighted rectangular checkerboard; (ii) a product of special values of Chebyshev polynomials; and (iii) a double-product whose factors are sums of squares of values of trigonometric functions. We provide a new derivation of the formula due to Kasteleyn and to Temperley and Fisher for counting the number of domino tilings of a 2m x 2n rectangular checkerboard and a new way of counting the number of domino tilings of a 2m x 2n checkerboard on a Möbius strip.