polynomial
11257 papers tagged with this keyword
Subspace Evasive Sets
Published
• View Publication
• BIB
In this work we describe an explicit, simple, construction of large subsets of F^n, where F is a finite field, that have small intersection with every k-dimensional affine subspace. Interest in the explicit construction of such sets, termed subspace-evasive sets, started in the work of Pudlak and Rodl (2004) who showed how such constructions over the binary field can be used to construct explicit Ramsey graphs. More recently, Guruswami (2011) showed that, over large finite fields (of size polynomial in n), subspace evasive sets can be used to obtain explicit list-decodable codes with optimal rate and constant list-size. In this work we construct subspace evasive sets over large fields and use them to reduce the list size of folded Reed-Solomon codes form poly(n) to a constant.
Ordered direct implicational basis of a finite closure system
Published in Discrete Applied Mathematics 161 (2013), pp. 707-723
• View Publication
• BIB
Closure system on a finite set is a unifying concept in logic programming, relational data bases and knowledge systems. It can also be presented in the terms of finite lattices, and the tools of economic description of a finite lattice have long existed in lattice theory. We present this approach by describing the so-called D-basis and introducing the concept of ordered direct basis of an implicational system. A direct basis of a closure operator, or an implicational system, is a set of implications that allows one to compute the closure of an arbitrary set by a single iteration. This property is preserved by the D-basis at the cost of following a prescribed order in which implications will be attended. In particular, using an ordered direct basis allows to optimize the forward chaining procedure in logic programming that uses the Horn fragment of propositional logic. One can extract the D-basis from any direct unit basis S in time polynomial in the size of S, and it takes only linear time of the cardinality of the D-basis to put it into a proper order. We produce examples of closure systems on a 6-element set, for which the canonical basis of Duquenne and Guigues is not ordered direct.
Chromatic Polynomials of Planar Triangulations, the Tutte Upper Bound, and Chromatic Zeros
Published in J. Phys. A: Math. Theor. 45, 055212 (2012)
• View Publication
• BIB
Tutte proved that if $G_{pt}$ is a planar triangulation and $P(G_{pt},q)$ is its chromatic polynomial, then $|P(G_{pt},τ+1)| \le (τ-1)^{n-5}$, where $τ=(1+\sqrt{5} \,)/2$ and $n$ is the number of vertices in $G_{pt}$. Here we study the ratio $r(G_{pt})=|P(G_{pt},τ+1)|/(τ-1)^{n-5}$ for a variety of planar triangulations. We construct infinite recursive families of planar triangulations $G_{pt,m}$ depending on a parameter $m$ linearly related to $n$ and show that if $P(G_{pt,m},q)$ only involves a single power of a polynomial, then $r(G_{pt,m})$ approaches zero exponentially fast as $n \to \infty$. We also construct infinite recursive families for which $P(G_{pt,m},q)$ is a sum of powers of certain functions and show that for these, $r(G_{pt,m})$ may approach a finite nonzero constant as $n \to \infty$. The connection between the Tutte upper bound and the observed chromatic zero(s) near to $τ+1$ is investigated. We report the first known graph for which the zero(s) closest to $τ+1$ is not real, but instead is a complex-conjugate pair. Finally, we discuss connections with nonzero ground-state entropy of the Potts antiferromagnet on these families of graphs.
A quantitative Gibbard-Satterthwaite theorem without neutrality
Published
• View Publication
• BIB
Recently, quantitative versions of the Gibbard-Satterthwaite theorem were proven for $k=3$ alternatives by Friedgut, Kalai, Keller and Nisan and for neutral functions on $k \geq 4$ alternatives by Isaksson, Kindler and Mossel.
We prove a quantitative version of the Gibbard-Satterthwaite theorem for general social choice functions for any number $k \geq 3$ of alternatives. In particular we show that for a social choice function $f$ on $k \geq 3$ alternatives and $n$ voters, which is $ε$-far from the family of nonmanipulable functions, a uniformly chosen voter profile is manipulable with probability at least inverse polynomial in $n$, $k$, and $ε^{-1}$.
Removing the neutrality assumption of previous theorems is important for multiple reasons. For one, it is known that there is a conflict between anonymity and neutrality, and since most common voting rules are anonymous, they cannot always be neutral. Second, virtual elections are used in many applications in artificial intelligence, where there are often restrictions on the outcome of the election, and so neutrality is not a natural assumption in these situations.
Ours is a unified proof which in particular covers all previous cases established before. The proof crucially uses reverse hypercontractivity in addition to several ideas from the two previous proofs. Much of the work is devoted to understanding functions of a single voter, and in particular we also prove a quantitative Gibbard-Satterthwaite theorem for one voter.
Equivariant quantum Schubert polynomials
Published in Adv. Math. 254 (2014), 300--330
• View Publication
• BIB
We establish an equivariant quantum Giambelli formula for partial flag varieties. The answer is given in terms of a specialization of universal double Schubert polynomials. Along the way, we give new proofs of the presentation of the equivariant quantum cohomology ring, as well as Graham-positivity of the structure constants in equivariant quantum Schubert calculus.
Mixing time upper bound for the uniformized Rosenthal walk on the special orthogonal groups
We prove that a uniformized variant of both the Rosenthal walk \cite{Rosenthal} and the Kac random walk \cite{Kac} on SO(n) mixes in $\cO(n^3)$ steps in total variation distance. The proof also extends easily to Rosenthal walk with fixed angle $θ\neq π$. To the best of our knowledge, this is the first polynomial time bound for both walks. The techniques employed are mainly from representation theory of SO(n). But a crucial new ingredient is the interpretation of the Fourier coefficients of the character ratio as counting the number of particle cascade paths arising from the classical branching rules.
Cubic Harmonics and Bernoulli Numbers
Published
• View Publication
• BIB
The functions satisfying the mean value property for an n-dimensional cube are determined explicitly. This problem is related to invariant theory for a finite reflection group, especially to a system of invariant differential equations. Solving this problem is reduced to showing that a certain set of invariant polynomials forms an invariant basis. After establishing a certain summation formula over Young diagrams, the latter problem is settled by considering a recursion formula involving Bernoulli numbers.
Keywords: polyhedral harmonics; cube; reflection groups; invariant theory; invariant differential equations; generating functions; partitions; Young diagrams; Bernoulli numbers.
A spectral equivalent condition of the $P$-polynomial property for association schemes
Published
• View Publication
• BIB
We give an equivalent condition of the $P$-polynomial property of symmetric association schemes.
The coloring complex and cyclic coloring complex of a complete k-uniform hypergraph
Published in J. Combin. Theory Ser. A, 119 (2012), no. 5, 1095-1109
• View Publication
• BIB
In this paper, we study the homology of the coloring complex and the cyclic coloring complex of a complete $k$-uniform hypergraph. We show that the coloring complex of a complete $k$-uniform hypergraph is shellable, and we determine the rank of its unique nontrivial homology group in terms of its chromatic polynomial. We also show that the dimension of the $(n-k-1)^{st}$ homology group of the cyclic coloring complex of a complete $k$-uniform hypergraph is given by a binomial coefficient. Further, we discuss a complex whose $r$-faces consist of all ordered set partitions $[B_1, \hdots, B_{r+2}]$ where none of the $B_i$ contain a hyperedge of the complete $k$-uniform hypergraph $H$ and where $1 \in B_1$. It is shown that the dimensions of the homology groups of this complex are given by binomial coefficients. As a consequence, this result gives the dimensions of the multilinear parts of the cyclic homology groups of $\C[x_1, \hdots, x_n]/ \{x_{i_1} \hdots x_{i_k} \mid i_{1} \hdots i_{k}$ is a hyperedge of $H \}$.
The sum of digits of polynomial values in arithmetic progressions
Published
• View Publication
• BIB
Let $q, m\geq 2$ be integers with $(m,q-1)=1$. Denote by $s_q(n)$ the sum of digits of $n$ in the $q$-ary digital expansion. Further let $p(x)\in mathbb{Z}[x]$ be a polynomial of degree $h\geq 3$ with $p(\mathbb{N})\subset \mathbb{N}$. We show that there exist $C=C(q,m,p)>0$ and $N_0=N_0(q,m,p)\geq 1$, such that for all $g\in\mathbb{Z}$ and all $N\geq N_0$, $$#\{0\leq n< N: \quad s_q(p(n))\equiv g \bmod m\}\geq C N^{4/(3h+1)}.$$ This is an improvement over the general lower bound given by Dartyge and Tenenbaum (2006), which is $C N^{2/h!}$.
Periodic body-and-bar frameworks
Published
• View Publication
• BIB
Abstractions of crystalline materials known as periodic body-and-bar frameworks are made of rigid bodies connected by fixed-length bars and subject to the action of a group of translations. In this paper, we give a Maxwell-Laman characterization for generic minimally rigid periodic body-and-bar frameworks. As a consequence we obtain efficient polynomial time algorithms for their recognition based on matroid partition and pebble games.
The Entropy Influence Conjecture Revisited
In this paper, we prove that most of the boolean functions, $f : \{-1,1\}^n \rightarrow \{-1,1\}$ satisfy the Fourier Entropy Influence (FEI) Conjecture due to Friedgut and Kalai (Proc. AMS'96). The conjecture says that the Entropy of a boolean function is at most a constant times the Influence of the function. The conjecture has been proven for families of functions of smaller sizes. O'donnell, Wright and Zhou (ICALP'11) verified the conjecture for the family of symmetric functions, whose size is $2^{n+1}$. They are in fact able to prove the conjecture for the family of $d$-part symmetric functions for constant $d$, the size of whose is $2^{O(n^d)}$. Also it is known that the conjecture is true for a large fraction of polynomial sized DNFs (COLT'10). Using elementary methods we prove that a random function with high probability satisfies the conjecture with the constant as $(2 + δ)$, for any constant $δ> 0$.
Row-strict quasisymmetric Schur functions
Published
• View Publication
• BIB
Haglund, Luoto, Mason, and van Willigenburg introduced a basis for quasisymmetric functions called the quasisymmetric Schur function basis, generated combinatorially through fillings of composition diagrams in much the same way as Schur functions are generated through reverse column-strict tableaux. We introduce a new basis for quasisymmetric functions called the row-strict quasisymmetric Schur function basis, generated combinatorially through fillings of composition diagrams in much the same way as Schur functions are generated through row-strict tableaux. We describe the relationship between this new basis and other known bases for quasisymmetric functions, as well as its relationship to Schur polynomials. We obtain a refinement of the omega transform operator as a result of these relationships.
Discriminant of system of equations
Published in (TITLE CORRECTED) A. Esterov, The discriminant of a system of equations, Adv. Math. 245 (2013) 534--572
• View Publication
• BIB
What polynomial in the coefficients of a system of algebraic equations should be called its discriminant? We prove a package of facts that provide a possible answer. Let us call a system typical, if the homeomorphic type of its set of solutions does not change as we perturb its (non-zero) coefficients. The set of all atypical systems turns out to be a hypersurface in the space of all systems of k equations in n variables, whose monomials are contained in k given finite sets. This hypersurface B contains all systems that have a singular solution, this stratum is conventionally called the discriminant, and the codimension of its components has not been fully understood yet (e.g. dual defect toric varieties are not classified), so the purity of dimension of B looks somewhat surprising. We deduce it from a similar tropical purity fact.
A generic system of equations in a component B_i of the hypersurface B differs from a typical system by the Euler characteristic of its set of solutions. Regarding the difference of these Euler characteristics as the multiplicity of B_i, we turn B into an effective divisor, whose equation we call the Euler discriminant by the following reasons. Firstly, it vanishes exactly at those systems that have a singular solution (possibly at infinity). Secondly, despite its topological definition, there is a simple linear-algebraic formula for it, and a positive formula for its Newton polytope. Thirdly, it interpolates many classical objects (sparse resultant, A-determinant, discriminant of deformation) and inherits many of their nice properties. This allows to specialize our results to generic polynomial maps: the bifurcation set of a dominant polynomial map, whose components are generic linear combinations of finitely many monomials, is always a hypersurface, and a generic atypical fiber of such a map differs from a typical one by its Euler characteristic.
Algorithms for strongly stable ideals
Published
• View Publication
• BIB
Strongly stable monomial ideals are important in algebraic geometry, commutative algebra, and combinatorics. Prompted, for example, by combinatorial approaches for studying Hilbert schemes and the existence of maximal total Betti numbers among saturated ideals with a given Hilbert polynomial, in this note we present three algorithms to produce all strongly stable ideals with certain prescribed properties: the saturated strongly stable ideals with a given Hilbert polynomial, the almost lexsegment ideals with a given Hilbert polynomial, and the saturated strongly stable ideals with a given Hilbert function. We also establish results for estimating the complexity of our algorithms.
Complexity of Ising Polynomials
Published in Combinatorics, Probability and Computing, Volume 21, Issue 5 (2012), pp. 743-772
• View Publication
• BIB
This paper deals with the partition function of the Ising model from statistical mechanics, which is used to study phase transitions in physical systems. A special case of interest is that of the Ising model with constant energies and external field. One may consider such an Ising system as a simple graph together with vertex and edge weights. When these weights are considered indeterminates, the partition function for the constant case is a trivariate polynomial Z(G;x,y,z). This polynomial was studied with respect to its approximability by L. A. Goldberg, M. Jerrum and M. Paterson in 2003. Z(G;x,y,z) generalizes a bivariate polynomial Z(G;t,y), which was studied by D. Andrén and K. Markström in 2009.
We consider the complexity of Z(G;t,y) and Z(G;x,y,z) in comparison to that of the Tutte polynomial, which is well-known to be closely related to the Potts model in the absence of an external field. We show that Z(G;\x,\y,\z) is #P-hard to evaluate at all points in $mathbb{Q}^3$, except those in an exception set of low dimension, even when restricted to simple graphs which are bipartite and planar. A counting version of the Exponential Time Hypothesis, #ETH, was introduced by H. Dell, T. Husfeldt and M. Wahlén in 2010 in order to study the complexity of the Tutte polynomial. In analogy to their results, we give a dichotomy theorem stating that evaluations of Z(G;t,y) either take exponential time in the number of vertices of $G$ to compute, or can be done in polynomial time. Finally, we give an algorithm for computing Z(G;x,y,z) in polynomial time on graphs of bounded clique-width, which is not known in the case of the Tutte polynomial.
The independent set sequence of regular bipartite graphs
Published
• View Publication
• BIB
Let $i_t(G)$ be the number of independent sets of size $t$ in a graph $G$. Alavi, Erdős, Malde and Schwenk made the conjecture that if $G$ is a tree then the independent set sequence $\{i_t(G)\}_{t\geq 0}$ of $G$ is unimodal; Levit and Mandrescu further conjectured that this should hold for all bipartite $G$.
We consider the independent set sequence of finite regular bipartite graphs, and graphs obtained from these by percolation (independent deletion of edges). Using bounds on the independent set polynomial $P(G,λ):=\sum_{t \geq 0} i_t(G)λ^t$ for these graphs, we obtain partial unimodality results in these cases.
We then focus on the discrete hypercube $Q_d$, the graph on vertex set $\{0,1\}^d$ with two strings adjacent if they differ on exactly one coordinate. We obtain asymptotically tight estimates for $i_{t(d)}(Q_d)$ in the range $t(d)/2^{d-1} > 1-1/\sqrt{2}$, and nearly matching upper and lower bounds otherwise. We use these estimates to obtain a stronger partial unimodality result for the independent set sequence of $Q_d$.
Nonexistence Results for Tight Block Designs
Published
• View Publication
• BIB
Recall that combinatorial $2s$-designs admit a classical lower bound $b \ge \binom{v}{s}$ on their number of blocks, and that a design meeting this bound is called tight. A long-standing result of Bannai is that there exist only finitely many nontrivial tight $2s$-designs for each fixed $s \ge 5$, although no concrete understanding of `finitely many' is given. Here, we use the Smith Bound on approximate polynomial zeros to quantify this asymptotic nonexistence. Then, we outline and employ a computer search over the remaining parameter sets to establish (as expected) that there are in fact no such designs for $5 \le s \le 9$, although the same analysis could in principle be extended to larger $s$. Additionally, we obtain strong necessary conditions for existence in the difficult case $s=4$.
Testing perfection is hard
A graph property P is strongly testable if for every fixed ε>0 there is a one-sided ε-tester for P whose query complexity is bounded by a function of ε. In classifying the strongly testable graph properties, the first author and Shapira showed that any hereditary graph property (such as P the family of perfect graphs) is strongly testable. A property is easily testable if it is strongly testable with query complexity bounded by a polynomial function of ε^{-1}, and otherwise it is hard. One of our main results shows that testing perfectness is hard. The proof shows that testing perfectness is at least as hard as testing triangle-freeness, which is hard. On the other hand, we show that induced P_3-freeness is easily testable. This settles one of the two exceptional graphs, the other being C_4 (and its complement), left open in the characterization by the first author and Shapira of graphs H for which induced H-freeness is easily testable.
A geometric deletion-restriction formula
Published in Adv. Math. 230 (2012), no. 4-6, 1979-1994
• View Publication
• BIB
In this paper, we recover the characteristic polynomial of an arrangement of hyperplanes by computing the rational equivalence class of the variety defined by the logarithmic ideal of the arrangement. The logarithmic ideal was introduced in [arXiv:0907.0896v2] in a study of the critical points of the master function. The above result is used to understand the asymptotic behavior the Hilbert series of the logarithmic ideal. As an application, we prove the Solomon-Terao formula under the tame hypothesis by identifying each side of the formula with a certain specialization of the Hilbert series of the logarithmic ideal.