polynomial
11257 papers tagged with this keyword
The complexity of computing the minimum rank of a sign pattern matrix
We show that computing the minimum rank of a sign pattern matrix is NP hard. Our proof is based on a simple but useful connection between minimum ranks of sign pattern matrices and the stretchability problem for pseudolines arrangements. In fact, our hardness result shows that it is already hard to determine if the minimum rank of a sign pattern matrix is $\leq 3$. We complement this by giving a polynomial time algorithm for determining if a given sign pattern matrix has minimum rank $\leq 2$.
Our result answers one of the open problems from Linial et al. [Combinatorica, 27(4):439--463, 2007].
Configurations of Extremal Type II Codes
Published
• View Publication
• BIB
We prove configuration results for extremal Type II codes, analogous to the configuration results of Ozeki and of the second author for extremal Type II lattices. Specifically, we show that for $n \in \{8, 24, 32, 48, 56, 72, 96\}$ every extremal Type II code of length $n$ is generated by its codewords of minimal weight. Where Ozeki and Kominers used spherical harmonics and weighted theta functions, we use discrete harmonic polynomials and harmonic weight enumerators. Along we way we introduce "$t\frac12$-designs" as a discrete analog of Venkov's spherical designs of the same name.
Generalized q-Calkin-Wilf trees and c-hyper m-expansions of integers
A hyperbinary expansion of a positive integer n is a partition of n into powers of 2 in which each part appears at most twice. In this paper, we consider a generalization of this concept and a certain statistic on the corresponding set of expansions of n. We then define q-generalized m-ary trees whose vertices are labeled by ratios of two consecutive terms within the sequence of distribution polynomials for the aforementioned statistic. When m = 2, we obtain a variant of a previously considered q-Calkin-Wilf tree.
Ramanujan Cayley graphs of Frobenius groups
Published in Bull. Aust. Math. Soc., 94 (2016) No. 3, 373 -- 383
• View Publication
• BIB
In this paper, we determine the bound of the valency of Cayley graphs of Frobenius groups with respect to normal Cayley subsets which guarantees to be Ramanujan. We see that if the ratio between the orders of the Frobenius kernel and complement is not so small, then this bound coincides with the trivial one coming from the trivial estimate of the largest non-trivial eigenvalue of the graphs. Moreover, in the cases of the dihedral groups of order twice odd primes, which are special cases of the Frobenius groups, we determine the same bound for the Cayley graphs of the groups with respect to not only normal but also all Cayley subsets. As is the case of abelian groups which we have treated in the previous papers, such a bound is equal to the trivial one in the above sense or, as exceptional cases, exceeds one from it. We then clarify that the latter occurs if and only if the corresponding prime is represented by a quadratic polynomial in a finite family.
Rational Parking Functions and LLT Polynomials
Published in Journal of Combinatorial Theory, Series A, 140 (2016), 123-140
• View Publication
• BIB
We prove that the combinatorial side of the "Rational Shuffle Conjecture" provides a Schur-positive symmetric polynomial. Furthermore, we prove that the contribution of a given rational Dyck path can be computed as a certain skew LLT polynomial, thus generalizing the result of Haglund, Haiman, Loehr, Remmel and Ulyanov. The corresponding skew diagram is described explicitly in terms of a certain (m,n)-core.
Three-coloring graphs with no induced seven-vertex path II : using a triangle
In this paper, we give a polynomial time algorithm which determines if a given graph containing a triangle and no induced seven-vertex path is 3-colorable, and gives an explicit coloring if one exists. In previous work, we gave a polynomial time algorithm for three-coloring triangle-free graphs with no induced seven-vertex path. Combined, our work shows that three-coloring a graph with no induced seven-vertex path can be done in polynomial time.
Some families of graphs with no nonzero real domination roots
Published
• View Publication
• BIB
Let G be a simple graph of order n. The domination polynomial is the generating polynomial for the number of dominating sets of G of each cardinality. A root of this polynomial is called a domination root of G. Obviously 0 is a domination root of every graph G. In the study of the domination roots of graphs, this naturally raises the question: which graphs have no nonzero real domination roots? In this paper we present some families of graphs whose have this property.
On the Stanley depth and size of monomial ideals
Published
• View Publication
• BIB
Let $\mathbb{K}$ be a field and $S=\mathbb{K}[x_1,...,x_n]$ be the polynomial ring in $n$ variables over the field $\mathbb{K}$. For every monomial ideal $I\subset S$, We provide a recursive formula to determine a lower bound for the Stanley depth of $S/I$. We use this formula to prove the inequality ${\rm sdepth}(S/I)\geq {\rm size}(I)$ for a particular class of monomial ideals.
Categorification of a recursive formula for Kazhdan-Lusztig polynomials
Published
• View Publication
• BIB
We obtain explicit branching rules for graded cell modules and graded simple modules over the endomorphism algebra of a Bott-Samelson bimodule. These rules allow us to categorify a well-known recursive formula for Kazhdan-Lusztig polynomials.
Root geometry of polynomial sequences II: Type (1,0)
Published
• View Publication
• BIB
We consider the sequence of polynomials $W_n(x)$ defined by the recursion $W_n(x)=(ax+b)W_{n-1}(x)+dW_{n-2}(x)$, with initial values $W_0(x)=1$ and $W_1(x)=t(x-r)$, where $a,b,d,t,r$ are real numbers, $a,t>0$, and $d<0$. We show that every polynomial $W_n(x)$ is distinct-real-rooted, and that the roots of the polynomial $W_n(x)$ interlace the roots of the polynomial $W_{n-1}(x)$. We find that, as $n\to\infty$, the sequence of smallest roots of the polynomials $W_n(x)$ converges decreasingly to a real number, and that the sequence of largest roots converges increasingly to a real number. Moreover, by using the Dirichlet approximation theorem, we prove that there is a number to which, for every positive integer $i\ge2$, the sequence of $i$th smallest roots of the polynomials $W_n(x)$ converges. Similarly, there is a number to which, for every positive integer $i\ge2$, the sequence of $i$th largest roots of the polynomials $W_n(x)$ converges. It turns out that these two convergence points are independent of the numbers $t$ and $r$, as well as $i$. We derive explicit expressions for these four limit points, and we determine completely when some of these limit points coincide.
Algebraic curves, rich points, and doubly-ruled surfaces
Published in Amer. J. Math. 140(5): 1187-1229, 2018
• View Publication
• BIB
We study the structure of collections of algebraic curves in three dimensions that have many curve-curve incidences. In particular, let $k$ be a field and let $\mathcal{L}$ be a collection of $n$ space curves in $k^3$, with $n<\!\!<(\operatorname{char}(k))^2$ or $\operatorname{char}(k)=0$. Then either A) there are at most $O(n^{3/2})$ points in $k^3$ hit by at least two curves, or B) at least $Ω(n^{1/2})$ curves from $\mathcal{L}$ must lie on a bounded-degree surface, and many of the curves must form two "rulings" of this surface.
We also develop several new tools including a generalization of the classical flecnode polynomial of Salmon and new algebraic techniques for dealing with this generalized flecnode polynomial.
A step towards cluster superalgebras
We introduce a class of commutative superalgebras generalizing cluster algebras. A cluster superalgebra is defined by a hypergraph called an "extended quiver", and transformations called mutations. We prove the super analog of the "Laurent phenomenon", i.e., that all elements of a given cluster superalgebra are Laurent polynomials in the initial variables, and find an invariant presymplectic form. Examples of cluster superalgebras are provided by superanalogs of Coxeter's frieze patterns. We apply the Laurent phenomenon to construct a new integer sequence extending the Somos-$4$ sequence.
A combinatorial approach to the q,t-symmetry relation in Macdonald polynomials
Published
• View Publication
• BIB
Using the combinatorial formula for the transformed Macdonald polynomials of Haglund, Haiman, and Loehr, we investigate the combinatorics of the symmetry relation $\widetilde{H}_μ(\mathbf{x};q,t) = \widetilde{H}_{μ^\ast}(\mathbf{x};t,q)$. We provide a purely combinatorial proof of the relation in the case of Hall-Littlewood polynomials ($q=0$) when $μ$ is a partition with at most three rows, and for the coefficients of the square-free monomials in $\mathbf{x}$ for all shapes $μ$. We also provide a proof for the full relation in the case when $μ$ is a hook shape, and for all shapes at the specialization $t=1$. Our work in the Hall-Littlewood case reveals a new recursive structure for the cocharge statistic on words.
Space proof complexity for random 3-CNFs
Published
• View Publication
• BIB
We investigate the space complexity of refuting $3$-CNFs in Resolution and algebraic systems. We prove that every Polynomial Calculus with Resolution refutation of a random $3$-CNF $φ$ in $n$ variables requires, with high probability, $Ω(n)$ distinct monomials to be kept simultaneously in memory. The same construction also proves that every Resolution refutation $φ$ requires, with high probability, $Ω(n)$ clauses each of width $Ω(n)$ to be kept at the same time in memory. This gives a $Ω(n^2)$ lower bound for the total space needed in Resolution to refute $φ$. These results are best possible (up to a constant factor).
The main technical innovation is a variant of Hall's Lemma. We show that in bipartite graphs $G$ with bipartition $(L,R)$ and left-degree at most 3, $L$ can be covered by certain families of disjoint paths, called VW-matchings, provided that $L$ expands in $R$ by a factor of $(2-ε)$, for $ε< 1/23$.
Small gaps between configurations of prime polynomials
Published
• View Publication
• BIB
We find arbitrarily large configurations of irreducible polynomials over finite fields that are separated by low degree polynomials. Our proof adapts an argument of Pintz from the integers, in which he combines the methods of Goldston-Pintz-Yıldırım and Green-Tao to find arbitrarily long arithmetic progressions of generalized twin primes.
A Meta-Algorithm for Creating Fast Algorithms for Counting ON Cells in Odd-Rule Cellular Automata
We develop a meta-algorithm that, given a polynomial (in one or more variables), and a prime p, produces a fast (logarithmic time) algorithm that takes a positive integer n and outputs the number of times each residue class modulo p appears as a coefficient when the polynomial is raised to the power n and the coefficients are read modulo p.
Selberg integrals, Askey-Wilson polynomials and lozenge tilings of a hexagon with a triangular hole
Published
• View Publication
• BIB
We obtain an explicit formula for a certain weighted enumeration of lozenge tilings of a hexagon with an arbitrary triangular hole. The complexity of our expression depends on the distance from the hole to the center of the hexagon. This proves and generalizes conjectures of Ciucu et al., who considered the case of plain enumeration when the triangle is located at or very near the center. Our proof uses Askey-Wilson polynomials as a tool to relate discrete and continuous Selberg-type integrals.
New Results on Higher-Order Daehee and Bernoulli Numbers and Polynomials
Published
• View Publication
• BIB
We derive new matrix representation for higher order Daehee numbers and polynomials, the higher order lambda-Daehee numbers and polynomials and the twisted lambda-Daehee numbers and polynomials of order k. This helps us to obtain simple and short proofs of many previous results on higher order Daehee numbers and polynomials. Moreover, we obtained recurrence relation, explicit formulas and some new results for these numbers and polynomials. Furthermore, we investigated the relation between these numbers and polynomials and Stirling numbers, Norlund and Bernoulli numbers of higher order. The results of this article gives a generalization of the results derived very recently by El-Desouky and Mustafa [6].
On the isotypic decomposition of cohomology modules of symmetric semi-algebraic sets: polynomial bounds on multiplicities
Published
• View Publication
• BIB
We consider symmetric (under the action of products of finite symmetric groups) real algebraic varieties and semi-algebraic sets, as well as symmetric complex varieties in affine and projective spaces, defined by polynomials of degrees bounded by a fixed constant $d$. We prove that if a Specht module, $\mathbb{S}^λ$, appears with positive multiplicity in the isotypic decomposition of the cohomology modules of such sets, then the rank of the partition $λ$ is bounded by $O(d)$. This implies a polynomial (in the dimension of the ambient space) bound on the number of such modules. Furthermore, we prove a polynomial bound on the multiplicities of those that do appear with positive multiplicity in the isotypic decomposition of the above mentioned cohomology modules.
We give some applications of our methods in proving lower bounds on the degrees of defining polynomials of certain symmetric semi-algebraic sets, as well as improved bounds on the Betti numbers of the images under projections of (not necessarily symmetric) bounded real algebraic sets, improving in certain situations prior results of Gabrielov, Vorobjov and Zell.
Lattice points and simultaneous core partitions
Published
• View Publication
• BIB
We observe that for a and b relatively prime, the "abacus construction" identifies the set of simultaneous (a,b)-core partitions with lattice points in a rational simplex. Furthermore, many statistics on (a,b)-cores are piecewise polynomial functions on this simplex. We apply these results to rational Catalan combinatorics.
Using Ehrhart theory, we reprove Anderson's theorem that there are (a+b-1)!/a!b! simultaneous (a,b)-cores, and using Euler-Maclaurin theory we prove Armstrong's conjecture that the average size of an (a,b)-core is (a+b+1)(a-1)(b-1)/24. Our methods also give new derivations of analogous formulas for the number and average size of self-conjugate (a,b)-cores.
We conjecture a unimodality result for q rational Catalan numbers, and make preliminary investigations in applying these methods to the (q,t)-symmetry and specialization conjectures. We prove these conjectures for low degree terms and when a=3, connecting them to the Catalan hyperplane arrangement and quadratic permutation statistics.