polynomial
11257 papers tagged with this keyword
Volume of a simplex as a multivalued algebraic function of the areas of its two-faces
Published in Topology, geometry, integrable systems, and mathematical physics, 201-221, Amer. Math. Soc. Transl. Ser. 2, 234, Adv. Math. Sci., 67 (2014)
• View Publication
• BIB
For n greater than or equal to 4, the square of the volume of an n-simplex satisfies a polynomial relation with coefficients depending on the squares of the areas of 2-faces of this simplex. First, we compute the minimal degree of such polynomial relation. Second, we prove that the volume an n-simplex satisfies a monic polynomial relation with coefficients depending on the areas of 2-faces of this simplex if and only if n is even and at least 6, and we study the leading coefficients of polynomial relations satisfied by the volume for other n.
Geometric juggling with q-analogues
Published in Discrete Mathematics 338 (2015), pp. 1067-1074
• View Publication
• BIB
We derive a combinatorial equilibrium for bounded juggling patterns with a random, $q$-geometric throw distribution. The dynamics are analyzed via rook placements on staircase Ferrers boards, which leads to a steady-state distribution containing $q$-rook polynomial coefficients and $q$-Stirling numbers of the second kind. We show that the equilibrium probabilities of the bounded model can be uniformly approximated with the equilibrium probabilities of a corresponding unbounded model. This observation leads to new limit formulae for $q$-analogues.
Keywords: juggling pattern; $q$-Stirling number of the second kind; Ferrers board; Markov process; combinatorial equilibrium
Polynomial Kernels for λ-extendible Properties Parameterized Above the Poljak-Turzík Bound
Poljak and Turzik (Discrete Mathematics 1986) introduced the notion of λ-extendible properties of graphs as a generalization of the property of being bipartite. They showed that for any 0 < λ < 1 and λ-extendible property Π, any connected graph G on n vertices and m edges contains a spanning subgraph H in Π with at least λm + (1-λ)(n-1)/2 edges. The property of being bipartite is λ-extendible for λ = 1/2, and so the Poljak-Turzik bound generalizes the well-known Edwards-Erdos bound for Max-Cut. Other examples of λ-extendible properties include: being an acyclic oriented graph, a balanced signed graph, or a q-colorable graph for some integer q.
Mnich et. al. (FSTTCS 2012) defined the closely related notion of strong λ-extendibility. They showed that the problem of finding a subgraph satisfying a given strongly λ-extendible property Π is fixed-parameter tractable (FPT) when parameterized above the Poljak-Turzik bound - does there exist a spanning subgraph H of a connected graph G such that H in Π and H has at least λm + (1-λ)(n-1)/2 + k edges? - subject to the condition that the problem is FPT on a certain simple class of graphs called almost-forests of cliques.
In this paper we settle the kernelization complexity of nearly all problems parameterized above Poljak-Turzik bounds, in the affirmative. We show that these problems admit quadratic kernels (cubic when λ = 1/2), without using the assumption that the problem is FPT on almost-forests of cliques. Thus our results not only remove the technical condition of being FPT on almost-forests of cliques from previous results, but also unify and extend previously known kernelization results in this direction. Our results add to the select list of generic kernelization results known in the literature.
Tutte polynomial of a small-world farey graph
Published
• View Publication
• BIB
In this paper, we find recursive formulas for the Tutte polynomial of a family of small-world networks: Farey graphs, which are modular and have an exponential degree hierarchy. Then, making use of these formulas, we determine the number of spanning trees, as well as the number of connected spanning subgraphs. Furthermore, we also derive exact expressions for the chromatic polynomial and the reliability polynomial of these graphs.
Ramanujan circulant graphs and the conjecture of Hardy-Littlewood and Bateman-Horn
In this paper, we determine the bound of the valency of the odd circulant graph which guarantees to be a Ramanujan graph for each fixed number of vertices. In almost of the cases, the bound coincides with the trivial bound, which comes from the trivial estimate of the largest non-trivial eigenvalue of the circulant graph. As exceptional cases, the bound in fact exceeds the trivial one by two. We then prove that such exceptionals occur only in the cases where the number of vertices has at most two prime factors and is represented by a quadratic polynomial in a finite family and, moreover, under the conjecture of Hardy-Littlewood and Bateman-Horn, exist infinitely many.
Four-connected triangulations of planar point sets
Published
• View Publication
• BIB
In this paper, we consider the problem of determining in polynomial time whether a given planar point set $P$ of $n$ points admits 4-connected triangulation. We propose a necessary and sufficient condition for recognizing $P$, and present an $O(n^3)$ algorithm of constructing a 4-connected triangulation of $P$. Thus, our algorithm solves a longstanding open problem in computational geometry and geometric graph theory. We also provide a simple method for constructing a noncomplex triangulation of $P$ which requires $O(n^2)$ steps. This method provides a new insight to the structure of 4-connected triangulation of point sets.
Combinatoire algébrique liée aux ordres sur les permutations
This thesis comes within the scope of algebraic combinatorics and studies problems related to three orders on permutations: the two said weak orders (right and left) and the strong order or Bruhat order. The first part deals with bases of multivariate polynomials. Most specifically, we study a product of Grothendieck polynomials and prove that it can interpreted as a sum over the Bruhat order. We also present our implementation of Grothendieck polynomials and other bases in Sage. In a second part, we study the Tamari order binary trees. We obtain a new enumeration formula on the Tamari lattice and a new combinatorial prove of Chapoton's functional equation of the generating functions of Tamari intervals. We extend our results to the m-Tamari case and thus retrieve a formula given by Bousquet-Mélou, Préville-Ratelle and Fusy.
Counting the Angels and Devils in Escher's Circle Limit IV
Published
• View Publication
• BIB
We derive the rational generating function that enumerates the angels and devils in M. C. Escher's {\it Circle Limit IV} according to their combinatorial distance from the six creatures whose feet meet at the center of the disk. This result shows that the base of the exponential rate of growth is $1.582\ldots$ (the largest root of the polynomial $1 - z^2 - 2z^3 - z^4 + z^6$).
Combinatorial properties of Temperley Lieb algebras
Published
• View Publication
• BIB
We consider two families of polynomials that play the same role in the Temperley Lieb algebra of a Coxeter group as the Kazhdan Lusztig and R polynomials play in the Hecke algebra of the group. We study these polynomials from a combinatorial point of view. More precisely we obtain recursions, non recursive formulas, symmetry properties, and expressions for the constant terms, of these polynomials.
Permutation polynomials on F_q induced from bijective Redei functions on subgroups of the multiplicative group of F_q
We construct classes of permutation polynomials over F_{Q^2} by exhibiting classes of low-degree rational functions over F_{Q^2} which induce bijections on the set of (Q+1)-th roots of unity in F_{Q^2}. As a consequence, we prove two conjectures about permutation trinomials from a recent paper by Tu, Zeng, Hu and Li.
Order polynomials and Pólya's enumeration theorem
Published
• View Publication
• BIB
Pólya's enumeration theorem is concerned with counting labeled sets up to symmetry. Given a finite group acting on a finite set of labeled elements it states that the number of labeled sets up to symmetry is given by a polynomial in the number of labels. We give a new perspective on this theorem by generalizing it to partially ordered sets and order preserving maps. Further we prove a reciprocity statement in terms of strictly order preserving maps generalizing a classical result by Stanley (1970). We apply our results to counting graph colorings up to symmetry.
Rademacher-Carlitz Polynomials
Published in Acta Arithmetica 163 (2014), 379-393
• View Publication
• BIB
We introduce and study the \emph{Rademacher-Carlitz polynomial} \[
\RC(u, v, s, t, a, b) := \sum_{k = \lceil s \rceil}^{\lceil s \rceil + b - 1} u^{\fl{\frac{ka + t}{b}}} v^k \] where $a, b \in \Z_{>0}$, $s, t \in \R$, and $u$ and $v$ are variables. These polynomials generalize and unify various Dedekind-like sums and polynomials; most naturally, one may view $\RC(u, v, s, t, a, b)$ as a polynomial analogue (in the sense of Carlitz) of the \emph{Dedekind-Rademacher sum} \[
\r_t(a,b) := \sum_{k=0}^{b-1}\left(\left(\frac{ka+t}{b} \right)\right) \left(\left(\frac{k}{b} \right)\right), \] which appears in various number-theoretic, combinatorial, geometric, and computational contexts. Our results come in three flavors: we prove a reciprocity theorem for Rademacher-Carlitz polynomials, we show how they are the only nontrivial ingredients of integer-point transforms \[
σ(x,y):=\sum_{(j,k) \in \mathcal{P}\cap \Z^2} x^j y^k \] of any rational polyhedron $\mathcal{P}$, and we derive a novel reciprocity theorem for Dedekind-Rademacher sums, which follows naturally from our setup.
Edgewise subdivisions, local $h$-polynomials and excedances in the wreath product $\ZZ_r \wr \mathfrak{S}_n$
Published in SIAM Journal on Discrete Mathematics 28 (2014), no. 3, 1479-1492
• View Publication
• BIB
The coefficients of the local $h$-polynomial of the barycentric subdivision of the simplex with $n$ vertices are known to count derangements in the symmetric group $\mathfrak{S}_n$ by the number of excedances. A generalization of this interpretation is given for the local $h$-polynomial of the $r$th edgewise subdivision of the barycentric subdivision of the simplex. This polynomial is shown to be $γ$-nonnegative and a combinatorial interpretation to the corresponding $γ$-coefficients is provided. The new combinatorial interpretations involve the notions of flag excedance and descent in the wreath product $\ZZ_r \wr \mathfrak{S}_n$. A related result on the derangement polynomial for $\ZZ_r \wr \mathfrak{S}_n$, studied by Chow and Mansour, is also derived from results of Linusson, Shareshian and Wachs on the homology of Rees products of posets.
Weak Orientability of Matroids and Polynomial Equations
Published
• View Publication
• BIB
This paper studies systems of polynomial equations that provide information about orientability of matroids. First, we study systems of linear equations over GF(2), originally alluded to by Bland and Jensen in their seminal paper on weak orientability. The Bland-Jensen linear equations for a matroid M have a solution if and only if M is weakly orientable. We use the Bland-Jensen system to determine weak orientability for all matroids on at most nine elements and all matroids between ten and twelve elements having rank three. Our experiments indicate that for small rank, about half the time, when a simple matroid is not orientable, it is already non-weakly orientable. Thus, about half of the small simple non-orientable matroids of rank three are not representable over fields having order congruent to three modulo four. For binary matroids, the Bland-Jensen linear systems provide a practical way to check orientability. Second, we present two extensions of the Bland-Jensen equations to slightly larger systems of non-linear polynomial equations. Our systems of polynomial equations have a solution if and only if the associated matroid M is orientable. The systems come in two versions, one directly extending the Bland-Jensen system for GF(2), and a different system working over other fields. We study some basic algebraic properties of these systems. Finally, we present an infinite family of non-weakly-orientable matroids, with growing rank and co-rank. We conjecture that these matroids are minor-minimal non-weakly-orientable matroids.
Characterization of the degree sequences of (quasi) regular uniform hypergraphs
Published
• View Publication
• BIB
In hypergraph theory, determining a characterization of the degree sequence $d=(d_1,d_2,\ldots,d_n)$ where $d_1\ge d_2\ge\ldots,d_n$ are positive integers, of an $h$-uniform simple hypergraph $\cal H$, and deciding the complexity status of the reconstruction of $\cal H$ from $d$, are two challenging open problems. They can be formulated in the context of discrete tomography: asks whether there is a matrix $A$ with positive projection vectors $H=(h,h,\ldots,h)$ and $V=(d_1,d_2,\ldots,d_n)$ with distinct rows. In this paper we consider the two subcases where the vector $V$ is an homogeneous vector, and where $V$ is almost homogeneous, i.e., $d_1-d_n=1$. We give a simple characterization for these two subcases, and we show how to solve the related reconstruction problems in polynomial time. To reach our goal, we use the concepts of Lyndon words and necklaces of fixed density, and we apply some already known algorithms for their efficient generation.
Operations of graphs and unimodality of independence polynomials
Given two graphs $G$ and $H$, assume that $\mathscr{C}=\{C_1,C_2,\ldots, C_q\}$ is a clique cover of $G$ and $U$ is a subset of $V(H)$. We introduce a new graph operation called the clique cover product, denoted by $G^{\mathscr{C}}\star H^U$, as follows: for each clique $C_i\in \mathscr{C}$, add a copy of the graph $H$ and join every vertex of $C_i$ to every vertex of $U$. We prove that the independence polynomial of $G^{\mathscr{C}}\star H^U$ $$I(G^{\mathscr{C}}\star H^U;x)=I^q(H;x)I(G;\frac{xI(H-U;x)}{I(H;x)}),$$ which generalizes some known results on independence polynomials of corona and rooted products of graphs obtained by Gutman and Rosenfeld, respectively. Based on this formula, we show that the clique cover product of some special graphs preserves symmetry, unimodality, log-concavity or reality of zeros of independence polynomials. As applications we derive several known facts in a unified manner and solve some unimodality conjectures and problems.
A Class of Binomial Permutation Polynomials
In this note, a criterion for a class of binomials to be permutation polynomials is proposed. As a consequence, many classes of binomial permutation polynomials and monomial complete permutation polynomials are obtained. The exponents in these monomials are of Niho type.
Complexity of Coloring Graphs without Paths and Cycles
Published
• View Publication
• BIB
Let $P_t$ and $C_\ell$ denote a path on $t$ vertices and a cycle on $\ell$ vertices, respectively. In this paper we study the $k$-coloring problem for $(P_t,C_\ell)$-free graphs. Maffray and Morel, and Bruce, Hoang and Sawada, have proved that 3-colorability of $P_5$-free graphs has a finite forbidden induced subgraphs characterization, while Hoang, Moore, Recoskie, Sawada, and Vatshelle have shown that $k$-colorability of $P_5$-free graphs for $k \geq 4$ does not. These authors have also shown, aided by a computer search, that 4-colorability of $(P_5,C_5)$-free graphs does have a finite forbidden induced subgraph characterization. We prove that for any $k$, the $k$-colorability of $(P_6,C_4)$-free graphs has a finite forbidden induced subgraph characterization. We provide the full lists of forbidden induced subgraphs for $k=3$ and $k=4$. As an application, we obtain certifying polynomial time algorithms for 3-coloring and 4-coloring $(P_6,C_4)$-free graphs. (Polynomial time algorithms have been previously obtained by Golovach, Paulusma, and Song, but those algorithms are not certifying); To complement these results we show that in most other cases the $k$-coloring problem for $(P_t,C_\ell)$-free graphs is NP-complete. Specifically, for $\ell=5$ we show that $k$-coloring is NP-complete for $(P_t,C_5)$-free graphs when $k \ge 4$ and $t \ge 7$; for $\ell \ge 6$ we show that $k$-coloring is NP-complete for $(P_t,C_\ell)$-free graphs when $k \ge 5$, $t \ge 6$; and additionally, for $\ell=7$, we show that $k$-coloring is also NP-complete for $(P_t,C_7)$-free graphs if $k = 4$ and $t\ge 9$. This is the first systematic study of the complexity of the $k$-coloring problem for $(P_t,C_\ell)$-free graphs. We almost completely classify the complexity for the cases when $k \geq 4, \ell \geq 4$, and identify the last three open cases.
Recurrence and non-uniformity of bracket polynomials
Published in Online J. Anal. Comb. 9 (2014), 36pp
• View Publication
• BIB
A bracket polynomial on the integers is a function formed using the operations of addition, multiplication and taking fractional parts. For a fairly large class of bracket polynomials we show that if p is a bracket polynomial of degree k-1 on [N] then the function f defined by f(n) = e(p(n)) has Gowers U^k[N]-norm bounded away from zero, uniformly in N.
We establish this result by first reducing it to a certain recurrence property of sets of bracket polynomials. Specifically, for a fairly large class of bracket polynomials we show that if p_1, ..., p_r are bracket polynomials then their values, modulo 1, are all close to zero on at least some constant proportion of the points 1, ..., N.
The proofs rely on two deep results from the literature. The first is work of V. Bergelson and A. Leibman showing that an arbitrary bracket polynomial can be expressed in terms of a polynomial sequence on a nilmanifold. The second is a theorem of B. Green and T. Tao describing the quantitative distribution properties of such polynomial sequences.
We give elementary alternative proofs of the first result, without reference to nilmanifolds, in certain "low-complexity" special cases.
Beyond the Shannon's Bound
Let $G=(V,E)$ be a multigraph of maximum degree $Δ$. The edges of $G$ can be colored with at most $\frac{3}{2}Δ$ colors by Shannon's theorem. We study lower bounds on the size of subgraphs of $G$ that can be colored with $Δ$ colors.
Shannon's Theorem gives a bound of $\fracΔ{\lfloor\frac{3}{2}Δ\rfloor}|E|$. However, for $Δ=3$, Kamiński and Kowalik [SWAT'10] showed that there is a 3-edge-colorable subgraph of size at least $\frac{7}{9}|E|$, unless $G$ has a connected component isomorphic to $K_3+e$ (a $K_3$ with an arbitrary edge doubled). Here we extend this line of research by showing that $G$ has a $Δ$-edge colorable subgraph with at least $\fracΔ{\lfloor\frac{3}{2}Δ\rfloor-1}|E|$ edges, unless $Δ$ is even and $G$ contains $\fracΔ{2}K_3$ or $Δ$ is odd and $G$ contains $\frac{Δ-1}{2}K_3+e$. Moreover, the subgraph and its coloring can be found in polynomial time.
Our results have applications in approximation algorithms for the Maximum $k$-Edge-Colorable Subgraph problem, where given a graph $G$ (without any bound on its maximum degree or other restrictions) one has to find a $k$-edge-colorable subgraph with maximum number of edges. In particular, for every even $k \ge 4$ we obtain a $\frac{2k+2}{3k+2}$-approximation and for every odd $k\ge 5$ we get a $\frac{2k+1}{3k}$-approximation. When $4\le k \le 13$ this improves over earlier algorithms due to Feige et al. [APPROX'02]