polynomial
11422 papers tagged with this keyword
On Sparsification for Computing Treewidth
Published
• View Publication
• BIB
We investigate whether an n-vertex instance (G,k) of Treewidth, asking whether the graph G has treewidth at most k, can efficiently be made sparse without changing its answer. By giving a special form of OR-cross-composition, we prove that this is unlikely: if there is an e > 0 and a polynomial-time algorithm that reduces n-vertex Treewidth instances to equivalent instances, of an arbitrary problem, with O(n^{2-e}) bits, then NP is in coNP/poly and the polynomial hierarchy collapses to its third level.
Our sparsification lower bound has implications for structural parameterizations of Treewidth: parameterizations by measures that do not exceed the vertex count, cannot have kernels with O(k^{2-e}) bits for any e > 0, unless NP is in coNP/poly. Motivated by the question of determining the optimal kernel size for Treewidth parameterized by vertex cover, we improve the O(k^3)-vertex kernel from Bodlaender et al. (STACS 2011) to a kernel with O(k^2) vertices. Our improved kernel is based on a novel form of treewidth-invariant set. We use the q-expansion lemma of Fomin et al. (STACS 2011) to find such sets efficiently in graphs whose vertex count is superquadratic in their vertex cover number.
$\mathcal{P}\mathcal{S}$ bent functions constructed from finite pre-quasifield spreads
Bent functions are of great importance in both mathematics and information science. The $\mathcal{P}\mathcal{S}$ class of bent functions was introduced by Dillon in 1974, but functions belonging to this class that can be explicitly represented are only the $\mathcal{P}\mathcal{S}_{\text{ap}}$ functions, which were also constructed by Dillon after his introduction of the $\mathcal{P}\mathcal{S}$ class. In this paper, a technique of using finite pre-quasifield spread from finite geometry to construct $\mathcal{P}\mathcal{S}$ bent functions is proposed. The constructed functions are in similar styles with the $\mathcal{P}\mathcal{S}_{\text{ap}}$ functions. To explicitly represent them in bivariate forms, the main task is to compute compositional inverses of certain parametric permutation polynomials over finite fields of characteristic 2. Concentrated on the Dempwolff-Müller pre-quasifield, the Knuth pre-semifield and the Kantor pre-semifield, three new subclasses of the $\mathcal{P}\mathcal{S}$ class are obtained. They are the only sub-classes that can be explicitly constructed more than 30 years after the $\mathcal{P}\mathcal{S}_{\text{ap}}$ subclass was introduced.
On the $q$-log-convexity conjecture of Sun
In his study of Ramanujan-Sato type series for $1/π$, Sun introduced a sequence of polynomials $S_n(q)$ as given by $$S_n(q)=\sum\limits_{k=0}^n{n\choose k}{2k\choose k}{2(n-k)\choose n-k}q^k,$$ and he conjectured that the polynomials $S_n(q)$ are $q$-log-convex. By imitating a result of Liu and Wang on generating new $q$-log-convex sequences of polynomials from old ones, we obtain a sufficient condition for determining the $q$-log-convexity of self-reciprocal polynomials. Based on this criterion, we then give an affirmative answer to Sun's conjecture.
The $q$-log-convexity of Domb's polynomials
In this paper, we prove the $q$-log-convexity of Domb's polynomials, which was conjectured by Sun in the study of Ramanujan-Sato type series for powers of $π$. As a result, we obtain the log-convexity of Domb's numbers. Our proof is based on the $q$-log-convexity of Narayana polynomials of type $B$ and a criterion for determining $q$-log-convexity of self-reciprocal polynomials.
Independence densities of hypergraphs
Published
• View Publication
• BIB
We consider the number of independent sets in hypergraphs, which allows us to define the independence density of countable hypergraphs. Hypergraph independence densities include a broad family of densities over graphs and relational structures, such as $F$-free densities of graphs for a given graph $F.$ In the case of $k$-uniform hypergraphs, we prove that the independence density is always rational. In the case of finite but unbounded hyperedges, we show that the independence density can be any real number in $[0,1].$ Finally, we extend the notion of independence density via independence polynomials.
A method for deterining the mod-$3^k$ behaviour of recursive sequences
We present a method for obtaining congruences modulo powers of 3 for sequences given by recurrences of finite depth with polynomial coefficients. We apply this method to Catalan numbers, Motzkin numbers, Riordan numbers, Schröder numbers, Eulerian numbers, trinomial coefficients, Delannoy numbers, and to functions counting free subgroups of finite index in the inhomogeneous modular group and its lifts. This leads to numerous new results, including many extensions of known results to higher powers of 3.
How to Extend Karolyi and Nagy's BRILLIANT Proof of the Zeilberger-Bressoud q-Dyson Theorem in order to Evaluate ANY Coefficient of the q-Dyson Product
We show how to extend the Karolyi-Nagy beautiful proof of the Zeilberger-Bressoud q-Dyson theorem, (first proved by Zeilberger and Bressoud in 1985, and originally conjectured by George Andrews in 1975), that states that the constant term of a certain Laurent polynomial equals the q-multinomial coefficient, how to evaluate any other specific coefficient. The algorithm implies that any such coefficient is always a certain rational function (that the algorithm finds) times the q-multinomial coefficient.
On Hensel's roots and a factorization formula in Z[[x]]
Published in Integers 14 (2014), Paper No. A47
• Search Publication
Given an odd prime $p$, we provide formulas for the Hensel lifts of polynomial roots modulo $p$, and give an explicit factorization over the ring of formal power series with integer coefficients for certain reducible polynomials whose constant term is of the form $p^w$ with $w>1$. All of our formulas are given in terms of partial Bell polynomials and rely on the inversion formula of Lagrange.
Polynomials for GL_p x GL_q orbit closures in the flag variety
Published in Selecta Math., Volume 20, Issue 4 (2014), 1083-1110
• View Publication
• BIB
The subgroup K=GL_p x GL_q of GL_{p+q} acts on the (complex) flag variety GL_{p+q}/B with finitely many orbits. We introduce a family of polynomials that specializes to representatives for cohomology classes of the orbit closures in the Borel model. We define and study K-orbit determinantal ideals to support the geometric naturality of these representatives. Using a modification of these ideals, we describe an analogy between two local singularity measures: the H-polynomials and the Kazhdan-Lusztig-Vogan polynomials.
Tropical Fourier-Motzkin elimination, with an application to real-time verification
Published in International Journal of Algebra and Computation, 24(5) :569-607, 2014
• View Publication
• BIB
We introduce a generalization of tropical polyhedra able to express both strict and non-strict inequalities. Such inequalities are handled by means of a semiring of germs (encoding infinitesimal perturbations). We develop a tropical analogue of Fourier-Motzkin elimination from which we derive geometrical properties of these polyhedra. In particular, we show that they coincide with the tropically convex union of (non-necessarily closed) cells that are convex both classically and tropically. We also prove that the redundant inequalities produced when performing successive elimination steps can be dynamically deleted by reduction to mean payoff game problems. As a complement, we provide a coarser (polynomial time) deletion procedure which is enough to arrive at a simply exponential bound for the total execution time. These algorithms are illustrated by an application to real-time systems (reachability analysis of timed automata).
Editing to a Connected Graph of Given Degrees
Published
• View Publication
• BIB
The aim of edge editing or modification problems is to change a given graph by adding and deleting of a small number of edges in order to satisfy a certain property. We consider the Edge Editing to a Connected Graph of Given Degrees problem that asks for a graph G, non-negative integers d,k and a function δ:V(G)->{1,...,d}, whether it is possible to obtain a connected graph G' from G such that the degree of v is δ(v) for any vertex v by at most k edge editing operations. As the problem is NP-complete even if δ(v)=2, we are interested in the parameterized complexity and show that Edge Editing to a Connected Graph of Given Degrees admits a polynomial kernel when parameterized by d+k. For the special case δ(v)=d, i.e., when the aim is to obtain a connected d-regular graph, the problem is shown to be fixed parameter tractable when parameterized by k only.
Modules over categories and Betti posets of monomial ideals
Published in Proc. Amer. Math. Soc. 143 (2015), no. 12, 5113-5128
• View Publication
• BIB
We introduce to the context of multigraded modules the methods of modules over categories from algebraic topology and homotopy theory. We develop the basic theory quite generally, with a view toward future applications to a wide class of graded modules over graded rings. The main application in this paper is to study the Betti poset B=B(I,k) of a monomial ideal I in the polynomial ring R=k[x_1,...,x_m] over a field k, which consists of all degrees in Z^m of the homogeneous basis elements of the free modules in the minimal free Z^m-graded resolution of I over R. We show that the order simplicial complex of B supports a free resolution of I over R. We give a formula for the Betti numbers of I in terms of Betti numbers of open intervals of B, and we show that the isomorphism class of B completely determines the structure of the minimal free resolution of I, thus generalizing with new proofs results of Gasharov, Peeva, and Welker. We also characterize the finite posets that are Betti posets of a monomial ideal.
Bounds of incidences between points and algebraic curves
We prove new bounds on the number of incidences between points and higher degree algebraic curves. The key ingredient is an improved initial bound, which is valid for all fields. Then we apply the polynomial method to obtain global bounds on $\mathbb{R}$ and $\mathbb{C}$.
The partial r-Bell polynomials
Published
• View Publication
• BIB
In this paper, we show that the r-Stirling numbers of both kinds, the r-Whitney numbers of both kinds, the r-Lah numbers and the r-Whitney-Lah numbers form particular cases of family of polynomials forming a generalization of the partial Bell polynomials. We deduce the generating functions of several restrictions of these numbers. In addition, a new combinatorial interpretations is presented for the r-Whitney numbers and the r-Whitney-Lah numbers.
Young walls and graded dimension formulas for finite quiver Hecke algebras of type $A^{(2)}_{2\ell}$ and $D^{(2)}_{\ell+1}$
Published
• View Publication
• BIB
We study graded dimension formulas for finite quiver Hecke algebras $R^{Λ_0}(β)$ of type $A^{(2)}_{2\ell}$ and $D^{(2)}_{\ell+1}$ using combinatorics of Young walls. We introduce the notion of standard tableaux for proper Young walls and show that the standard tableaux form a graded poset with lattice structure. We next investigate Laurent polynomials associated with proper Young walls and their standard tableaux arising from the Fock space representations consisting of proper Young walls. Then we prove the graded dimension formulas described in terms of the Laurent polynomials. When evaluating at $q=1$, the graded dimension formulas recover the dimension formulas for $R^{Λ_0}(β)$ described in terms of standard tableaux of strict partitions.
Normal ordering problem and the extensions of the Stirling grammar
Published
• View Publication
• BIB
The purpose of this paper is to investigate the connection between context-free grammars and normal ordering problem, and then to explore various extensions of the Stirling grammar. We present grammatical characterizations of several well known combinatorial sequences, including the generalized Stirling numbers of the second kind related to the normal ordering problem and the $r$-Dowling polynomials. Also, possible avenues for future research are described.
Space complexity of list H-colouring: a dichotomy
Published
• View Publication
• BIB
The Dichotomy Conjecture for constraint satisfaction problems (CSPs) states that every CSP is in P or is NP-complete (Feder-Vardi, 1993). It has been verified for conservative problems (also known as list homomorphism problems) by A. Bulatov (2003). We augment this result by showing that for digraph templates H, every conservative CSP, denoted LHOM(H), is solvable in logspace or is hard for NL. More precisely, we introduce a digraph structure we call a circular N, and prove the following dichotomy: if H contains no circular N then LHOM(H) admits a logspace algorithm, and otherwise LHOM(H) is hard for NL. Our algorithm operates by reducing the lists in a complex manner based on a novel decomposition of an auxiliary digraph, combined with repeated applications of Reingold's algorithm for undirected reachability (2005). We also prove an algebraic version of this dichotomy: the digraphs without a circular N are precisely those that admit a finite chain of polymorphisms satisfying the Hagemann-Mitschke identities. This confirms a conjecture of Larose and Tesson (2007) for LHOM(H). Moreover, we show that the presence of a circular N can be decided in time polynomial in the size of H.
The transition matroid of a 4-regular graph: an introduction
Published in European J. Combinatorics 50 (2015), 180-207
• View Publication
• BIB
Given a 4-regular graph $F$, we introduce a binary matroid $M_τ(F)$ on the set of transitions of $F$. Parametrized versions of the Tutte polynomial of $M_τ(F)$ yield several well-known graph and knot polynomials, including the Martin polynomial, the homflypt polynomial, the Kauffman polynomial and the Bollobás-Riordan polynomial.
Association schemes, non-commutative polynomial concentration, and sum-of-squares lower bounds for planted clique
Finding cliques in random graphs and the closely related "planted" clique variant, where a clique of size t is planted in a random G(n,1/2) graph, have been the focus of substantial study in algorithm design. Despite much effort, the best known polynomial-time algorithms only solve the problem for t = Theta(sqrt(n)). Here we show that beating sqrt(n) would require substantially new algorithmic ideas, by proving a lower bound for the problem in the sum-of-squares (or Lasserre) hierarchy, the most powerful class of semi-definite programming algorithms we know of: r rounds of the sum-of-squares hierarchy can only solve the planted clique for t > sqrt(n)/(C log n)^(r^2). Previously, no nontrivial lower bounds were known. Our proof is formulated as a degree lower bound in the Positivstellensatz algebraic proof system, which is equivalent to the sum-of-squares hierarchy. The heart of our (average-case) lower bound is a proof that a certain random matrix derived from the input graph is (with high probability) positive semidefinite. Two ingredients play an important role in this proof. The first is the classical theory of association schemes, applied to the average and variance of that random matrix. The second is a new large deviation inequality for matrix-valued polynomials. Our new tail estimate seems to be of independent interest and may find other applications, as it generalizes both the estimates on real-valued polynomials and on sums of independent random matrices.
Hyperoctahedral Eulerian Idempotents, Hodge Decompositions, and Signed Graph Coloring Complexes
Published
• View Publication
• BIB
Phil Hanlon proved that the coefficients of the chromatic polynomial of a graph G are equal (up to sign) to the dimensions of the summands in a Hodge-type decomposition of the top homology of the coloring complex for G. We prove a type B analogue of this result for chromatic polynomials of signed graphs using hyperoctahedral Eulerian idempotents.