polynomial
11257 papers tagged with this keyword
On variables with few occurrences in conjunctive normal forms
Published in SAT 2011, LNCS 6695, page 33-46
• View Publication
• BIB
We consider the question of the existence of variables with few occurrences in boolean conjunctive normal forms (clause-sets). Let mvd(F) for a clause-set F denote the minimal variable-degree, the minimum of the number of occurrences of variables. Our main result is an upper bound mvd(F) <= nM(surp(F)) <= surp(F) + 1 + log_2(surp(F)) for lean clause-sets F in dependency on the surplus surp(F).
- Lean clause-sets, defined as having no non-trivial autarkies, generalise minimally unsatisfiable clause-sets.
- For the surplus we have surp(F) <= delta(F) = c(F) - n(F), using the deficiency delta(F) of clause-sets, the difference between the number of clauses and the number of variables.
- nM(k) is the k-th "non-Mersenne" number, skipping in the sequence of natural numbers all numbers of the form 2^n - 1.
We conjecture that this bound is nearly precise for minimally unsatisfiable clause-sets.
As an application of the upper bound we obtain that (arbitrary!) clause-sets F with mvd(F) > nM(surp(F)) must have a non-trivial autarky (so clauses can be removed satisfiability-equivalently by an assignment satisfying some clauses and not touching the other clauses). It is open whether such an autarky can be found in polynomial time.
As a future application we discuss the classification of minimally unsatisfiable clause-sets depending on the deficiency.
MacMahon's sum-of-divisors functions, Chebyshev polynomials, and Quasi-modular forms
Published
• View Publication
• BIB
We investigate a relationship between MacMahon's generalized sum-of-divisors functions and Chebyshev polynomials of the first kind. This determines a recurrence relation to compute these functions, as well as proving a conjecture of MacMahon about their general form by relating them to quasi-modular forms. These functions arise as solutions to a curve-counting problem on Abelian surfaces.
A Unified Framework for Testing Linear-Invariant Properties
Published
• View Publication
• BIB
The study of the interplay between the testability of properties of Boolean functions and the invariances acting on their domain which preserve the property was initiated by Kaufman and Sudan (STOC 2008). Invariance with respect to F_2-linear transformations is arguably the most common symmetry exhibited by natural properties of Boolean functions on the hypercube. Hence, an important goal in Property Testing is to describe necessary and sufficient conditions for the testability of linear-invariant properties. This direction was explicitly proposed for investigation in a recent survey of Sudan.
We obtain the following results:
1. We show that every linear-invariant property that can be characterized by forbidding induced solutions to a (possibly infinite) set of linear equations can be tested with one-sided error.
2. We show that every linear-invariant property that can be tested with one-sided error can be characterized by forbidding induced solutions to a (possibly infinite) set of systems of linear equations.
We conjecture that our result from item (1) can be extended to cover systems of linear equations. We further show that the validity of this conjecture would have the following implications:
1. It would imply that every linear-invariant property that is closed under restrictions to linear subspaces is testable with one-sided error. Such a result would unify several previous results on testing Boolean functions, such as the testability of low-degree polynomials and of Fourier dimensionality.
2. It would imply that a linear-invariant property P is testable with one-sided error if and only if P is closed under restrictions to linear subspaces, thus resolving Sudan's problem.
Interlace Polynomials for Multimatroids and Delta-Matroids
Published
• View Publication
• BIB
We provide a unified framework in which the interlace polynomial and several related graph polynomials are defined more generally for multimatroids and delta-matroids. Using combinatorial properties of multimatroids rather than graph-theoretical arguments, we find that various known results about these polynomials, including their recursive relations, are both more efficiently and more generally obtained. In addition, we obtain several interrelationships and results for polynomials on multimatroids and delta-matroids that correspond to new interrelationships and results for the corresponding graphs polynomials. As a tool we prove the equivalence of tight 3-matroids and delta-matroids closed under the operations of twist and loop complementation, called vf-safe delta-matroids. This result is of independent interest and related to the equivalence between tight 2-matroids and even delta-matroids observed by Bouchet.
Groupes de réflexion, géométrie du discriminant et partitions non-croisées
Reflection groups, geometry of the discriminant and noncrossing partitions.
When W is a well-generated complex reflection group, the noncrossing partition lattice NCP_W of type W is a very rich combinatorial object, extending the notion of noncrossing partitions of an n-gon. This structure appears in several algebraic setups (dual braid monoid, cluster algebras...). Many combinatorial properties of NCP_W are proved case-by-case, using the classification of reflection groups. It is the case for Chapoton's formula, expressing the number of multichains of a given length in the lattice NCP_W, in terms of the invariant degrees of W. This thesis work is motivated by the search for a geometric explanation of this formula, which could lead to a uniform understanding of the connections between the combinatorics of NCP_W and the invariant theory of W.
The starting point is to use the Lyashko-Looijenga covering (LL), based on the geometry of the discriminant of W. In the first chapter, some topological constructions of Bessis are refined, allowing to relate the fibers of LL with block factorisations of a Coxeter element. Then we prove a transitivity property for the Hurwitz action of the braid group B_n on certain factorisations. Chapter 2 is devoted to certain finite polynomial extensions, and to properties about their Jacobians and discriminants. In Chapter 3, these results are applied to the extension defined by the covering LL. We deduce --- with a case-free proof --- formulas for the number of submaximal factorisations of a Coxeter element in W, in terms of the homogeneous degrees of the irreducible components of the discriminant and Jacobian for LL.
Replacing spectral techniques for expander ratio, normalized cut and conductance by combinatorial flow algorithms
Published in Operations Research Vol. 61, No. 1, January-February 2013, pp. 184-198
• Search Publication
Several challenging problem in clustering, partitioning and imaging have traditionally been solved using the "spectral technique". These problems include the normalized cut problem, the graph expander ratio problem, the Cheeger constant problem and the conductance problem. These problems share several common features: all seek a bipartition of a set of elements; the problems are formulated as a form of ratio cut; the formulation as discrete optimization is shown here to be equivalent to a quadratic ratio, sometimes referred to as the Raleigh ratio, on discrete variables and a single sum constraint which we call the balance or orthogonality constraint; when the discrete nature of the variables is disregarded, the continuous relaxation is solved by the spectral method. Indeed the spectral relaxation technique is a dominant method providing an approximate solution to these problems.
We propose an algorithm for these problems which involves a relaxation of the orthogonality constraint only. This relaxation is shown here to be solved optimally, and in strongly polynomial time, in O(mn log((n^2) / m) for a graph on $n$ nodes and $m$ edges. The algorithm, using HPF (Hochbaum's Pseudo-Flow) as subroutine, is efficient enough to be used to solve these bi-partitioning problems on millions of elements and more than 300 million edges within less than 10 minutes. It is also demonstrated, via a preliminary experimental study, that the results of the combinatorial algorithm proposed often improve dramatically on the quality of the results of the spectral method.
Equivalence classes for the mu-coefficient of Kazhdan-Lusztig polynomials in S_n
Published
• View Publication
• BIB
We study equivalence classes relating to the Kazhdan-Lusztig mu(x,w) coefficients in order to help explain the scarcity of distinct values. Each class is conjectured to contain a "crosshatch" pair. We also compute the values attained by mu(x,w) for the permutation groups S_10 and S_11.
From quantum Schubert polynomials to k-Schur functions via the Toda lattice
Published
• View Publication
• BIB
We show that Lapointe-Lascoux-Morse k-Schur functions (at t=1) and Fomin-Gelfand-Postnikov quantum Schubert polynomials can be obtained from each other by a rational substitution. This is based upon Kostant's solution of the Toda lattice and Peterson's work on quantum Schubert calculus.
Combinatorics of finite abelian groups and Weil representations
Published in Pacific Journal of Mathematics, vol. 275, no. 2, pages 295-324, June 2015
• View Publication
• BIB
The Weil representation of the symplectic group associated to a finite abelian group of odd order is shown to have a multiplicity-free decomposition. When the abelian group is p-primary, the irreducible representations occurring in the Weil representation are parametrized by a partially ordered set which is independent of p. As p varies, the dimension of the irreducible representation corresponding to each parameter is shown to be a polynomial in p which is calculated explicitly. The commuting algebra of the Weil representation has a basis indexed by another partially ordered set which is independent of p. The expansions of the projection operators onto the irreducible invariant subspaces in terms of this basis are calculated. The coefficients are again polynomials in p. These results remain valid in the more general setting of finitely generated torsion modules over a Dedekind domain.
Vanishing products of one-forms and critical points of master functions
Published
• View Publication
• BIB
Let \A be an affine hyperplane arrangement in $\C^\ell$ with complement $U$. Let $f_1, \..., f_n$ be linear polynomials defining the hyperplanes of \A, and $A^\cdot$ the algebra of differential forms generated by the 1-forms $d \log f_1, \..., d \log f_n$. To each $l \in \C^n$ we associate the master function $Φ=Φ_l = \prod_{i=1}^n f_i^{l_i}$ on $U$ and the closed logarithmic 1-form $ω= d \log Φ$. We assume $ω$ is an element of a rational linear subspace $D$ of $A^1$ of dimension $q>1$ such that the multiplication map $\bigwedge^k(D) \to A^k$ is zero for $p<k\leq q$. With this assumption, we prove every component of the critical locus $\crit(Φ)$ of $Φ$ has codimension at most $p$, and $\crit(Φ)$ is a union of intersections of level sets of rational master functions. We give conditions that guarantee $\crit(Φ)$ is nonempty and every component has codimension equal to $p$, in terms of syzygies among polynomial master functions.
If \A is $p$-generic, then $D$ is contained in the degree $p$ resonance variety $\R^p(\A)$ -- in this sense the present work complements previous work on resonance and critical loci of master functions. Any arrangement is 1-generic; in case $p=1$ we give a precise description of $\crit(Φ_l)$ in case $l$ lies in an isotropic subspace $D$ of $A^1$, using the multinet structure on \A corresponding to $D\subseteq \R^1(\A)$. This is carried out in detail for the Hessian arrangement. Finally, for arbitrary $p$ and \A, we establish necessary and sufficient conditions for a set of integral one-forms to span such a subspace, in terms of nested sets of \A, using tropical implicitization.
New Polynomials and Numbers Associated with Fractional Poisson Probability Distribution
Published in AIP Conference Proceedings Vol 1281, (2010), pp. 1152-1155
• View Publication
• BIB
Generalizations of Bell polynomials, Bell numbers, and Stirling numbers of the second kind have been introduced and their generating functions were evaluated.
The Tutte Polynomial of the Schreier graphs of the Grigorchuk group and the Basilica group
Published in Ischia Group Theory 2010 (Proceedings of the Conference) (M. Bianchi, P. Longobardi, M. Maj and C. M. Scoppola editors), World Scientific 2011, 45-68
• View Publication
• BIB
We study the Tutte polynomial of two infinite families of finite graphs. These are the Schreier graphs associated with the action of two well-known self-similar groups acting on the binary rooted tree by automorphisms: the first Grigorchuk group of intermediate growth, and the iterated monodromy group of the complex polynomial $z^2-1$ known as the Basilica group. For both of them, we describe the Tutte polynomial and we compute several special evaluations of it, giving further information about the combinatorial structure of these graphs.
Finding Hidden Cliques in Linear Time with High Probability
Published
• View Publication
• BIB
We are given a graph $G$ with $n$ vertices, where a random subset of $k$ vertices has been made into a clique, and the remaining edges are chosen independently with probability $\tfrac12$. This random graph model is denoted $G(n,\tfrac12,k)$. The hidden clique problem is to design an algorithm that finds the $k$-clique in polynomial time with high probability. An algorithm due to Alon, Krivelevich and Sudakov uses spectral techniques to find the hidden clique with high probability when $k = c \sqrt{n}$ for a sufficiently large constant $c > 0$. Recently, an algorithm that solves the same problem was proposed by Feige and Ron. It has the advantages of being simpler and more intuitive, and of an improved running time of $O(n^2)$. However, the analysis in the paper gives success probability of only $2/3$. In this paper we present a new algorithm for finding hidden cliques that both runs in time $O(n^2)$, and has a failure probability that is less than polynomially small.
Proof of the monotone column permanent conjecture
Published in in Notions of positivity and the geometry of polynomials. Dedicated to the memory of Julius Borcea. Basel: Birkhäuser. Trends in Mathematics, 63-78 (2011). ISBN 978-3-0348-0141-6/hbk; ISBN 978-3-0348-0142-3/ebook
• Search Publication
Let A be an n-by-n matrix of real numbers which are weakly decreasing down each column, Z_n = diag(z_1,..., z_n) a diagonal matrix of indeterminates, and J_n the n-by-n matrix of all ones. We prove that per(J_nZ_n+A) is stable in the z_i, resolving a recent conjecture of Haglund and Visontai. This immediately implies that per(zJ_n+A) is a polynomial in z with only real roots, an open conjecture of Haglund, Ono, and Wagner from 1999. Other applications include a multivariate stable Eulerian polynomial, a new proof of Grace's apolarity theorem and new permanental inequalities.
Graph-theoretical Constructions for Graph Entropy and Network Coding Based Communications
Published
• View Publication
• BIB
The guessing number of a directed graph (digraph), equivalent to the entropy of that digraph, was introduced as a direct criterion on the solvability of a network coding instance. This paper makes two contributions on the guessing number. First, we introduce an undirected graph on all possible configurations of the digraph, referred to as the guessing graph, which encapsulates the essence of dependence amongst configurations. We prove that the guessing number of a digraph is equal to the logarithm of the independence number of its guessing graph. Therefore, network coding solvability is no more a problem on the operations made by each node, but is simplified into a problem on the messages that can transit through the network. By studying the guessing graph of a given digraph, and how to combine digraphs or alphabets, we are thus able to derive bounds on the guessing number of digraphs. Second, we construct specific digraphs with high guessing numbers, yielding network coding instances where a large amount of information can transit. We first propose a construction of digraphs with finite parameters based on cyclic codes, with guessing number equal to the degree of the generator polynomial. We then construct an infinite class of digraphs with arbitrary girth for which the ratio between the linear guessing number and the number of vertices tends to one, despite these digraphs being arbitrarily sparse. These constructions yield solvable network coding instances with a relatively small number of intermediate nodes for which the node operations are known and linear, although these instances are sparse and the sources are arbitrarily far from their corresponding sinks.
Moment-angle complexes and polyhedral products for convex polytopes
Published in Proc. Steklov Inst. Math. 275(1), 2011, 15-46
• View Publication
• BIB
Let P be a convex polytope not simple in general. In the focus of this paper lies a simplicial complex K_P which carries complete information about the combinatorial type of P. In the case when P is simple, K_P is the same as dP*, where P* is a polar dual polytope. Using the canonical embedding of a polytope P into nonnegative orthant, we introduce a moment-angle space Z_P for a polytope P. It is known, that in the case when P is simple the space Z_P is homeomorphic to the polyhedral product (D^2,S^1)^{K_P}. When P is not simple, we prove that the space Z_P is homotopically equivalent to the space (D^2,S^1)^{K_P}. This allows to introduce bigraded Betti numbers for any convex polytope. A Stanley-Reisner ring of a polytope P can be defined as a Stanley-Reisner ring of a simplicial complex K_P. All these considerations lead to a natural question: which simplicial complexes arise as K_P for some polytope P? We have proceeded in this direction by introducing a notion of a polytopic simplicial complex. It has the following property: link of each simplex in a polytopic complex is either contractible, or retractible to a subcomplex, homeomorphic to a sphere. The complex K_P is a polytopic simplicial complex for any polytope P. Links of so called face simplices in a polytopic complex are polytopic complexes as well. This fact is sufficient enough to connect face polynomial of a simplicial complex K_P to the face polynomial of a polytope P, giving a series of inequalities on certain combinatorial characteristics of P. Two of these inequalities are equalities for each P and represent Euler-Poincare formula and one of Bayer-Billera relations for flag f-numbers. In the case when P is simple all inequalities turn out to be classical Dehn-Sommerville relations.
Tridiagonal matrices with nonnegative entries
Published
• View Publication
• BIB
In this paper we characterize the nonnegative irreducible tridiagonal matrices and their permutations, using certain entries in their primitive idempotents. Our main result is summarized as follows. Let $d$ denote a nonnegative integer. Let $A$ denote a matrix in $\matR$ and let $\{þ_i\}_{i=0}^d$ denote the roots of the characteristic polynomial of $A$. We say $A$ is multiplicity-free whenever these roots are mutually distinct and contained in $\R$. In this case $E_i$ will denote the primitive idempotent of $A$ associated with $þ_i$ $(0 \leq i \leq d)$. We say $A$ is symmetrizable whenever there exists an invertible diagonal matrix $Δ\in \matR$ such that $ΔA Δ^{-1}$ is symmetric. Let $Γ(A)$ denote the directed graph with vertex set $\{0,1,...,d\}$, where $i \rightarrow j$ whenever $i \neq j$ and $A_{ij} \neq 0$. Theorem: Assume that each entry of $A$ is nonnegative. Then the following are equivalent for $0 \leq s,t \leq d$: (i) The graph $Γ(A)$ is a bidirected path with endpoints $s$, $t$: (ii) The matrix $A$ is symmetrizable and multiplicity-free. Moreover the $(s,t)$-entry of $E_i$ times $(þ_i-þ_0)...(þ_i-þ_{i-1})(þ_i-þ_{i+1})...(þ_i-þ_d)$ is independent of $i$ for $0 \leq i \leq d$, and this common value is nonzero. Recently Kurihara and Nozaki obtained a theorem that characterizes the $Q$-polynomial property for symmetric association schemes. We view the above result as a linear algebraic generalization of their theorem.
On a continued fraction expansion for Euler's constant
Published in J. Number Theory 133 (2013) 769-786
• Search Publication
Recently, A. I. Aptekarev and his collaborators found a sequence of rational approximations to Euler's constant $γ$ defined by a third-order homogeneous linear recurrence. In this paper, we give a new interpretation of Aptekarev's approximations in terms of Meijer $G$-functions and hypergeometric-type series. This approach allows us to describe a very general construction giving linear forms in 1 and $γ$ with rational coefficients. Using this construction we find new rational approximations to $γ$ generated by a second-order inhomogeneous linear recurrence with polynomial coefficients. This leads to a continued fraction (though not a simple continued fraction) for Euler's constant. It seems to be the first non-trivial continued fraction expansion convergent to Euler's constant sub-exponentially, the elements of which can be expressed as a general pattern. It is interesting to note that the same homogeneous recurrence generates a continued fraction for the Euler-Gompertz constant found by Stieltjes in 1895.
Computing the permanental polynomials of bipartite graphs by Pfaffian orientation
Published
• View Publication
• BIB
The permanental polynomial of a graph $G$ is $π(G,x)\triangleq\mathrm{per}(xI-A(G))$. From the result that a bipartite graph $G$ admits an orientation $G^e$ such that every cycle is oddly oriented if and only if it contains no even subdivision of $K_{2,3}$, Yan and Zhang showed that the permanental polynomial of such a bipartite graph $G$ can be expressed as the characteristic polynomial of the skew adjacency matrix $A(G^e)$. In this paper we first prove that this equality holds only if the bipartite graph $G$ contains no even subdivision of $K_{2,3}$. Then we prove that such bipartite graphs are planar. Further we mainly show that a 2-connected bipartite graph contains no even subdivision of $K_{2,3}$ if and only if it is planar 1-cycle resonant. This implies that each cycle is oddly oriented in any Pfaffian orientation of a 2-connected bipartite graph containing no even subdivision of $K_{2,3}$. As applications, permanental polynomials for some types of bipartite graphs are computed.
A Littlewood-Richardson rule for Macdonald polynomials
Published
• View Publication
• BIB
Macdonald polynomials are orthogonal polynomials associated to root systems, and in the type A case, the symmetric kind is a common generalization of Schur functions, Macdonald spherical functions, and Jack polynomials. We use the combinatorics of alcove walks to calculate products of monomials and intertwining operators of the double affine Hecke algebra. From this, we obtain a product formula for Macdonald polynomials of general type.