polynomial
11257 papers tagged with this keyword
Graphs with no induced wheel or antiwheel
Published
• View Publication
• BIB
A wheel is a graph that consists of a chordless cycle of length at least 4 plus a vertex with at least three neighbors on the cycle. It was shown recently that detecting induced wheels is an NP-complete problem. In contrast, it is shown here that graphs that contain no wheel and no antiwheel have a very simple structure and consequently can be recognized in polynomial time.
Divisionally free arrangements of hyperplanes
Published
• View Publication
• BIB
We consider the triple $(\mathcal{A},\mathcal{A}',\mathcal{A}^H)$ of hyperplane arrangements and the division of their characteristic polynomials. We show that the freeness of $\mathcal{A}^H$ and the division of $χ(\mathcal{A};t)$ by $χ(\mathcal{A}^H;t)$ confirm the freeness of $\mathcal{A}$. The key ingredient of this "division theorem" on freeness is the fact that, if $χ(\mathcal{A}^H;t)$ divides $χ(\mathcal{A};t)$, then the same holds for the localization at the codimension three flat in $H$. This implies the local-freeness of $\mathcal{A}$ in codimension three along $H$. Based on these results, several applications are obtained, which include a definition of "divisionally free arrangements". It is strictly larger than the set of inductively free arrangements. Also, in the set of divisionally free arrangements, the Terao's conjecture is true.
Coalition Games on Interaction Graphs: A Horticultural Perspective
Published
• View Publication
• BIB
We examine cooperative games where the viability of a coalition is determined by whether or not its members have the ability to communicate amongst themselves independently of non-members. This necessary condition for viability was proposed by Myerson (1977) and is modeled via an interaction graph $G=(V,E)$; a coalition $S\subseteq V$ is then viable if and only if the induced graph $G[S]$ is connected. The non-emptiness of the core of a coalition game can be tested by a well-known covering LP. Moreover, the integrality gap of its dual packing LP defines exactly the multiplicative least-core and the relative cost of stability of the coalition game. This gap is upper bounded by the packing-covering ratio which, for graphical coalition games, is known to be at most the treewidth of the interaction graph plus one (Meir et al. 2013).
We examine the packing-covering ratio and integrality gaps of graphical coalition games in more detail. We introduce the thicket parameter of a graph, and prove it precisely measures the packing-covering ratio. It also approximately measures the primal and dual integrality gaps. The thicket number provides an upper bound of both integrality gaps. Moreover we show that for any interaction graph, the primal integrality gap is, in the worst case, linear in terms of the thicket number while the dual integrality gap is polynomial in terms of it. At the heart of our results, is a graph theoretic minmax theorem showing the thicket number is equal to the minimum width of a vine decomposition of the coalition graph (a vine decomposition is a generalization of a tree decomposition). We also explain how the thicket number relates to the VC-dimension of the set system produced by the game.
Note on polynomial recurrence
Let $(X,μ,T_1,...,T_l)$ be a measure-preserving system with those $T_i$ are commuting. Suppose that the polynomials $p_1(t),...,p_{l}(t)\in\Z[t]$ with $p_j(0)=0$ have distinct degrees. Then for any $ε>0$ and $A\subseteq X$ with $μ(A)>0$, the set $$ \{n:\,μ(A\cap T_1^{-p_1(n)}A\cap...\cap T_l^{-p_l(n)}A)\geqμ(A)^{l+1}-ε\} $$ has bounded gaps.
Special matchings and parabolic Kazhdan-Lusztig polynomials
Published in Transactions of the American Mathematical Society, 368 (2016), 5247-5269
• View Publication
• BIB
We prove that the combinatorial concept of a special matching can be used to compute the parabolic Kazhdan-Lusztig polynomials of doubly laced Coxeter groups and of dihedral Coxeter groups. In particular, for this class of groups which includes all Weyl groups, our results generalize to the parabolic setting the main results in [Advances in Math. {202} (2006), 555-601]. As a consequence, the parabolic Kazhdan-Lusztig polynomial indexed by $u$ and $v$ depends only on the poset structure of the Bruhat interval from the identity element to $v$ and on which elements of that interval are minimal coset representatives.
The Parametric Frobenius Problem
Published in Electronic Journal of Combinatorics 22 (2015), #P2.36
• View Publication
• BIB
Given relatively prime positive integers a_1,...,a_n, the Frobenius number is the largest integer that cannot be written as a nonnegative integer combination of the a_i. We examine the parametric version of this problem: given a_i=a_i(t) as functions of t, compute the Frobenius number as a function of t. A function f is a quasi-polynomial if there exists a period m and polynomials f_0,...,f_{m-1} such that f(t)=f_{t mod m}(t) for all positive integers t. We conjecture that, if the a_i(t) are polynomials (or quasi-polynomials) in t, then the Frobenius number agrees with a quasi-polynomial, for sufficiently large t. We prove this in the case where the a_i(t) are linear functions, and also prove it in the case where n (the number of generators) is at most 3.
A note on the shameful conjecture
Published
• View Publication
• BIB
Let $P_G(q)$ denote the chromatic polynomial of a graph $G$ on $n$ vertices. The `shameful conjecture' due to Bartels and Welsh states that, $$\frac{P_G(n)}{P_G(n-1)} \geq \frac{n^n}{(n-1)^n}.$$ Let $μ(G)$ denote the expected number of colors used in a uniformly random proper $n$-coloring of $G$. The above inequality can be interpreted as saying that $μ(G) \geq μ(O_n)$, where $O_n$ is the empty graph on $n$ nodes. This conjecture was proved by F. M. Dong, who in fact showed that, $$\frac{P_G(q)}{P_G(q-1)} \geq \frac{q^n}{(q-1)^n}$$ for all $q \geq n$. There are examples showing that this inequality is not true for all $q \geq 2$. In this paper, we show that the above inequality holds for all $q \geq 36D^{3/2}$, where $D$ is the largest degree of $G$. It is also shown that the above inequality holds true for all $q \geq 2$ when $G$ is a claw-free graph.
NP-Hardness and Inapproximability of Sparse PCA
Published
• View Publication
• BIB
We give a reduction from {\sc clique} to establish that sparse PCA is NP-hard. The reduction has a gap which we use to exclude an FPTAS for sparse PCA (unless P=NP). Under weaker complexity assumptions, we also exclude polynomial constant-factor approximation algorithms.
Incidence bounds for complex algebraic curves on Cartesian products
Published
• View Publication
• BIB
We prove bounds on the number of incidences between a set of algebraic curves in $\mathbb{C}^2$ and a Cartesian product $A\times B$ with finite sets $A,B\subset \mathbb{C}$. Similar bounds are known under various conditions, but we show that the Cartesian product assumption leads to a simpler proof. This assumption holds in a number of interesting applications, and with our bound these applications can be extended from $\mathbb{R}$ to $\mathbb{C}$. The proof is a new application of the polynomial partitioning technique introduced by Guth and Katz.
Demazure Flags, Chebyshev polynomials, Partial and Mock theta functions
Published
• View Publication
• BIB
We study the level $m$--Demazure flag of a level $\ell$--Demazure module for $\frak{sl}_2[t]$. We define the generating series $A_n^{\ell \rightarrow m}(x,q)$ which encodes the $q$--multiplicity of the level $m$ Demazure module of weight $n$. We establish two recursive formulae for these functions. We show that the specialization to $q=1$ is a rational function involving the Chebyshev polynomials. We give a closed form for $A_n^{\ell \rightarrow \ell+1}(x,q)$ and prove that it is given by a rational function. In the case when $m=\ell+1$ and $\ell=1,2$, we relate the generating series to partial theta series. We also study the specializations $A_n^{1\rightarrow 3}(q^k,q)$ and relate them to the fifth order mock-theta functions of Ramanujan.
Detecting Binomiality
Published in Adv.Appl.Math. 71 (2015) 52-67
• View Publication
• BIB
Binomial ideals are special polynomial ideals with many algorithmically and theoretically nice properties. We discuss the problem of deciding if a given polynomial ideal is binomial. While the methods are general, our main motivation and source of examples is the simplification of steady state equations of chemical reaction networks. For homogeneous ideals we give an efficient, Gröbner-free algorithm for binomiality detection, based on linear algebra only. On inhomogeneous input the algorithm can only give a sufficient condition for binomiality. As a remedy we construct a heuristic toolbox that can lead to simplifications even if the given ideal is not binomial.
Spread of Influence in Weighted Networks under Time and Budget Constraints
Published
• View Publication
• BIB
Given a network represented by a weighted directed graph G, we consider the problem of finding a bounded cost set of nodes S such that the influence spreading from S in G, within a given time bound, is as large as possible. The dynamic that governs the spread of influence is the following: initially only elements in S are influenced; subsequently at each round, the set of influenced elements is augmented by all nodes in the network that have a sufficiently large number of already influenced neighbors. We prove that the problem is NP-hard, even in simple networks like complete graphs and trees. We also derive a series of positive results. We present exact pseudo-polynomial time algorithms for general trees, that become polynomial time in case the trees are unweighted. This last result improves on previously published results. We also design polynomial time algorithms for general weighted paths and cycles, and for unweighted complete graphs.
The Unimodular Intersection Problem
Published in Operations Research Letters, 43:592-594, 2015
• View Publication
• BIB
We show that finding minimally intersecting $n$ paths from $s$ to $t$ in a directed graph or $n$ perfect matchings in a bipartite graph can be done in polynomial time. This holds more generally for unimodular set systems.
Pipe dream complexes and triangulations of root polytopes belong together
In this paper we show that the pipe dream complex associated to the permutation 1n(n-1)...2 can be geometrically realized as a triangulation of the vertex figure of a root polytope. Leading up to this result we show that the Grothendieck polynomial specializes to the h-polynomial of the corresponding pipe dream complex, which in certain cases equals the h-polynomial of canonical triangulations of root (and flow) polytopes, which in turn equals a specialization of the reduced form of a monomial in the subdivision algebra of root (and flow) polytopes. Thus, we connect Grothendieck polynomials to reduced forms in subdivision algebras and root (and flow) polytopes. We also show that root polytopes can be seen as projections of flow polytopes, explaining that these families of polytopes possess the same subdivision algebra.
Subword complexes via triangulations of root polytopes
Published
• View Publication
• BIB
Subword complexes are simplicial complexes introduced by Knutson and Miller to illustrate the combinatorics of Schubert polynomials and determinantal ideals. They proved that any subword complex is homeomorphic to a ball or a sphere and asked about their geometric realizations. We show that a family of subword complexes can be realized geometrically via regular triangulations of root polytopes. This implies that a family of $β$-Grothendieck polynomials are special cases of reduced forms in the subdivision algebra of root polytopes. We can also write the volume and Ehrhart series of root polytopes in terms of $β$-Grothendieck polynomials.
Evaluations of Hecke algebra traces at Kazhdan-Lusztig basis elements
Published
• View Publication
• BIB
For irreducible characters $\{ χ_q^λ\,|\, λ\vdash n \}$, induced sign characters $\{ ε_q^λ\,|\, λ\vdash n \}$, and induced trivial characters $\{ η_q^λ\,|\, λ\vdash n \}$ of the Hecke algebra $H_n(q)$, and Kazhdan-Lusztig basis elements $C'_w(q)$ with $w$ avoiding the patterns 3412 and 4231, we combinatorially interpret the polynomials $χ_q^λ(q^{l(w)/2}C'_w(q))$, $ε_q^λ(q^{l(w)/2} C'_w(q))$, and $\smash{η_q^λ(q^{l(w)/2} C'_w(q))}$. This gives a new algebraic interpretation of chromatic quasisymmetric functions of Shareshian and Wachs, and a new combinatorial interpretation of special cases of results of Haiman. We prove similar results for other $H_n(q)$-traces, and confirm a formula conjectured by Haiman.
Invariants of the vacuum module associated with the Lie superalgebra gl(1|1)
Published in J. Phys. A: Math. Theor. 48 (2015) 314001
• View Publication
• BIB
We describe the algebra of invariants of the vacuum module associated with the affinization of the Lie superalgebra $\mathfrak{gl}(1|1)$. We give a formula for its Hilbert--Poincaré series in a fermionic (cancellation-free) form which turns out to coincide with the generating function of the plane partitions over the $(1,1)$-hook. Our arguments are based on a super version of the Beilinson--Drinfeld--Raïs--Tauvel theorem which we prove by producing an explicit basis of invariants of the symmetric algebra of polynomial currents associated with $\mathfrak{gl}(1|1)$. We identify the invariants with affine supersymmetric polynomials via a version of the Chevalley theorem.
Melham's Conjecture on Odd Power Sums of Fibonacci Numbers
Published
• View Publication
• BIB
Ozeki and Prodinger showed that the odd power sum of the first several consecutive Fibonacci numbers of even order is equal to a polynomial evaluated at certain Fibonacci number of odd order. We prove that this polynomial and its derivative both vanish at $1$, and will be an integer polynomial after multiplying it by a product of the first consecutive Lucas numbers of odd order. This presents an affirmative answer to a conjecture of Melham.
Blow-up algebras, determinantal ideals, and Dedekind-Mertens-like formulas
Published
• View Publication
• BIB
We investigate Rees algebras and special fiber rings obtained by blowing up specialized Ferrers ideals. This class of monomial ideals includes strongly stable monomial ideals generated in degree two and edge ideals of prominent classes of graphs. We identify the equations of these blow-up algebras. They generate determinantal ideals associated to subregions of a generic symmetric matrix, which may have holes. Exhibiting Gröbner bases for these ideals and using methods from Gorenstein liaison theory, we show that these determinantal rings are normal Cohen-Macaulay domains that are Koszul, that the initial ideals correspond to vertex decomposable simplicial complexes, and we determine their Hilbert functions and Castelnuovo-Mumford regularities. As a consequence, we find explicit minimal reductions for all Ferrers and many specialized Ferrers ideals, as well as their reduction numbers. These results can be viewed as extensions of the classical Dedekind-Mertens formula for the content of the product of two polynomials.
Subgraph Polytopes and Independence Polytopes of Count Matroids
Published
• View Publication
• BIB
Given an undirected graph, the non-empty subgraph polytope is the convex hull of the characteristic vectors of pairs (F, S) where S is a non-empty subset of nodes and F is a subset of the edges with both endnodes in S. We obtain a strong relationship between the non-empty subgraph polytope and the spanning forest polytope. We further show that these polytopes provide polynomial size extended formulations for independence polytopes of count matroids, which generalizes recent results obtained by Iwata et al. referring to sparsity matroids. As a byproduct, we obtain new lower bounds on the extension complexity of the spanning forest polytope in terms of extension complexities of independence polytopes of these matroids.