polynomial
11422 papers tagged with this keyword
Complexity of short Presburger arithmetic
Published
• View Publication
• BIB
We study complexity of short sentences in Presburger arithmetic (Short-PA). Here by "short" we mean sentences with a bounded number of variables, quantifiers, inequalities and Boolean operations; the input consists only of the integers involved in the inequalities. We prove that assuming Kannan's partition can be found in polynomial time, the satisfiability of Short-PA sentences can be decided in polynomial time. Furthermore, under the same assumption, we show that the numbers of satisfying assignments of short Presburger sentences can also be computed in polynomial time.
On the roots of all-terminal reliability polynomials
Published in Discrete Math. 340(6): 1287-1299 (2017)
• View Publication
• BIB
Given a graph $G$ in which each edge fails independently with probability $q\in[0,1],$ the all-terminal reliability of $G$ is the probability that all vertices of $G$ can communicate with one another, that is, the probability that the operational edges span the graph. The all-terminal reliability is a polynomial in $q$ whose roots (all-terminal reliability roots) were conjectured to have modulus at most $1$ by Brown and Colbourn. Royle and Sokal proved the conjecture false, finding roots of modulus larger than $1$ by a slim margin. Here, we present the first nontrivial upper bound on the modulus of any all-terminal reliability root, in terms of the number of vertices of the graph. We also find all-terminal reliability roots of larger modulus than any previously known. Finally, we consider the all-terminal reliability roots of simple graphs; we present the smallest known simple graph with all-terminal reliability roots of modulus greater than $1,$ and we find simple graphs with all-terminal reliability roots of modulus greater than $1$ that have higher edge connectivity than any previously known examples.
Reversible DNA Codes Using Skew Polynomial Rings
Published
• View Publication
• BIB
In this study we determine the structure of reversible DNA codes obtained from skew cyclic codes. We show that the generators of such DNA codes enjoy some special properties. We study the structural properties of such family of codes and we also illustrate our results with examples.
Universal inequalities in Ehrhart Theory
Published
• View Publication
• BIB
In this paper, we show the existence of universal inequalities for the $h^*$-vector of a lattice polytope P, that is, we show that there are relations among the coefficients of the $h^*$-polynomial which are independent of both the dimension and the degree of P. More precisely, we prove that the coefficients $h^*_1$ and $h^*_2$ of the $h^*$-vector $(h^*_0,h^*_1,\ldots,h^*_d)$ of a lattice polytope of any degree satisfy Scott's inequality if $h^*_3=0$.
Counting faces of nestohedra
A new algebraic formula for the numbers of faces of nestohedra is obtained. The enumerator function $F(P_B)$ of positive lattice points in interiors of maximal cones of the normal fan of the nestohedron $P_B$ associated to a building set $B$ is described as a morphism from the certain combinatorial Hopf algebra of building sets to quasisymmetric functions. We define the $q$-analog $F_q(P_B)$ and derive its determining recurrence relations. The $f$-polynomial of the nestohedron $P_B$ appears as the principal specialization of the quasisymmetric function $F_q(P_B)$.
Peterson Isomorphism in $K$-theory and Relativistic Toda Lattice
Published
• View Publication
• BIB
The $K$-homology ring of the affine Grassmannian of $SL_n(C)$ was studied by Lam, Schilling, and Shimozono. It is realized as a certain concrete Hopf subring of the ring of symmetric functions. On the other hand, for the quantum $K$-theory of the flag variety $Fl_n$, Kirillov and Maeno provided a conjectural presentation based on the results obtained by Givental and Lee. We construct an explicit birational morphism between the spectrums of these two rings. Our method relies on Ruijsenaars's relativistic Toda lattice with unipotent initial condition. From this result, we obtain a $K$-theory analogue of the so-called Peterson isomorphism for (co)homology. We provide a conjecture on the detailed relationship between the Schubert bases, and, in particular, we determine the image of Lenart--Maeno's quantum Grothendieck polynomial associated with a Grassmannian permutation.
Moments of the Hermitian Matrix Jacobi process
Published
• View Publication
• BIB
In this paper, we compute the expectation of traces of powers of the hermitian matrix Jacobi process for a large enough but fixed size. To proceed, we first derive the semi-group density of its eigenvalues process as a bilinear series of symmetric Jacobi polynomials. Next, we use the expansion of power sums in the Schur polynomial basis and the integral Cauchy-Binet formula in order to determine the partitions having non zero contributions after integration. It turns out that these are hooks of bounded weight and the sought expectation results from the integral of a product of two Schur functions with respect to a generalized Beta distribution. For special values of the parameters on which the matrix Jacobi process depends, the last integral reduces to the Cauchy determinant and we close the paper with the investigation of the asymptotic behavior of the resulting formula as the matrix size tends to infinity.
Digraphs with at most one trivial critical ideal
Published
• View Publication
• BIB
Critical ideals generalize the critical group, Smith group and the characteristic polynomials of the adjacency and Laplacian matrices of a graph. We give a complete characterization of the digraphs with at most one trivial critical ideal. Which implies the characterizations of the digraphs whose critical group has one invariant factor equal to one, and the digraphs whose Smith group has one invariant factor equal to one.
Polynomial expressions of $p$-ary auction functions
Published
• View Publication
• BIB
Let $\mathbb{F}_p$ be the finite field of prime order $p$. For any function $f \colon \mathbb{F}_p{}^n \to \mathbb{F}_p$, there exists a unique polynomial over $\mathbb{F}_p$ having degree at most $p-1$ with respect to each variable which coincides with $f$. We call it the minimal polynomial of $f$. It is in general a non-trivial task to find a concrete expression of the minimal polynomial of a given function, which has only been worked out for limited classes of functions in the literature. In this paper, we study minimal polynomial expressions of several functions that are closely related to some practically important procedures such as auction and voting.
The Tropical Superpotential For $\mathbb{P}^2$
Published
• View Publication
• BIB
We present an extended worked example of the computation of the tropical superpotential considered by Carl--Pumperla--Siebert. In particular we consider an affine manifold associated to the complement of a non-singular genus one plane curve, and calculate the wall and chamber decomposition determined by the Gross--Siebert algorithm. Using the results of Carl--Pumperla--Siebert we determine the tropical superpotential, via broken line counts, in every chamber of this decomposition. The superpotential defines a Laurent polynomial in every chamber, which we demonstrate to be identical to the Laurent polynomials predicted by Coates--Corti--Galkin--Golyshev--Kaspzryk to be mirror to $\mathbb{P}^2$.
On Jacobian group and complexity of I-graph I(n,k,l) through Chebyshev polynomials
Published
• View Publication
• BIB
We consider a family of I-graphs I(n,k,l), which is a generalization of the class of generalized Petersen graphs. In the present paper, we provide a new method for counting Jacobian group of the I-graph I(n,k,l). We show that the minimum number of generators of Jac(I(n,k,l)) is at least two and at most 2k + 2l - 1. Also, we obtain a closed formula for the number of spanning trees of I(n,k,l) in terms of Chebyshev polynomials. We investigate some arithmetical properties of this number and its asymptotic behaviour.
Decomposition techniques applied to the Clique-Stable set Separation problem
Published
• View Publication
• BIB
In a graph, a Clique-Stable Set separator (CS-separator) is a family $\mathcal{C}$ of cuts (bipartitions of the vertex set) such that for every clique $K$ and every stable set $S$ with $K \cap S = \emptyset$, there exists a cut $( W,W')$ in $\mathcal{C}$ such that $K \subseteq W$ and $S \subseteq W'$. Starting from a question concerning extended formulations of the Stable Set polytope and a related complexity communication problem, Yannakakis [17] asked in 1991 the following questions: does every graph admit a polynomial-size CS-separator? If not, does every perfect graph do? Several positive and negative results related to this question were given recently. Here we show how graph decomposition can be used to prove that a class of graphs admits a polynomial CS-separator. We apply this method to apple-free graphs and cap-free graphs.
Layers and Matroids for the Traveling Salesman's Paths
Published
• View Publication
• BIB
Gottschalk and Vygen proved that every solution of the subtour elimination linear program for traveling salesman paths is a convex combination of more and more restrictive "generalized Gao-trees". We give a short proof of this fact, as a layered convex combination of bases of a sequence of increasingly restrictive matroids. A strongly polynomial, combinatorial algorithm follows for finding this convex combination, which is a new tool offering polyhedral insight, already instrumental in recent results for the $s-t$ path TSP.
Motzkin Numbers: an Operational Point of View
The Motzkin numbers can be derived as coefficients of hybrid polynomials. Such an identification allows the derivation of new identities for this family of numbers and offers a tool to investigate previously unnoticed links with the theory of special functions and with the relevant treatment in terms of operational means. The use of umbral methods opens new directions for further developments and generalizations, which leads, e.g., to the identification of new Motzkin associated forms.
Subset sum problem in polycyclic groups
Published
• View Publication
• BIB
We consider a group-theoretic analogue of the classic subset sum problem. It is known that every virtually nilpotent group has polynomial time decidable subset sum problem. In this paper we use subgroup distortion to show that every polycyclic non-virtually-nilpotent group has NP-complete subset sum problem.
Toward the Schur expansion of Macdonald polynomials
Published
• View Publication
• BIB
We give an explicit combinatorial formula for the Schur expansion of Macdonald polynomials indexed by partitions with second part at most two. This gives a uniform formula for both hook and two column partitions. The proof comes as a corollary to the result that generalized dual equivalence classes of permutations are unions of standard dual equivalence classes of permutations for certain cases, establishing an earlier conjecture of the author.
Discrete Invariants of Generically Inconsistent Systems of Laurent Polynomials
Let $ \mathcal{A}_1, \ldots, \mathcal{A}_k $ be finite sets in $ \mathbb{Z}^n $ and let $ Y \subset (\mathbb{C}^*)^n $ be an algebraic variety defined by a system of equations \[ f_1 = \ldots = f_k = 0, \] where $ f_1, \ldots, f_k $ are Laurent polynomials with supports in $\mathcal{A}_1, \ldots, \mathcal{A}_k$. Assuming that $ f_1, \ldots, f_k $ are sufficiently generic, the Newton polyhedron theory computes discrete invariants of $ Y $ in terms of the Newton polyhedra of $ f_1, \ldots, f_k $. It may appear that the generic system with fixed supports $ \mathcal{A}_1, \ldots, \mathcal{A}_k $ is inconsistent. In this paper, we compute discrete invariants of algebraic varieties defined by system of equations which are generic in the set of consistent system with support in $\mathcal{A}_1, \ldots, \mathcal{A}_k$ by reducing the question to the Newton polyhedra theory. Unlike the classical situation, not only the Newton polyhedra of $f_1,\dots,f_k$, but also the supports $\mathcal{A}_1, \ldots, \mathcal{A}_k$ themselves appear in the answers.
Stability for hyperplane complements of type B/C and statistics on squarefree polynomials over finite fields
Published in The Quarterly Journal of Mathematics, hay051, https://doi.org/10.1093/qmath/hay051, 2018
• View Publication
• BIB
In this paper we explore a relationship between the topology of the complex hyperplane complements $\mathcal{M}_{BC_n} (\mathbb{C})$ in type B/C and the combinatorics of certain spaces of degree-$n$ polynomials over a finite field $\mathbb{F}_q$. This relationship is a consequence of the Grothendieck trace formula and work of Lehrer and Kim. We use it to prove a correspondence between a representation-theoretic convergence result on the cohomology algebras $H^*(\mathcal{M}_{BC_n} (\mathbb{C});\mathbb{C})$, and an asymptotic stability result for certain polynomial statistics on monic squarefree polynomials over $\mathbb{F}_q$ with nonzero constant term. This result is the type B/C analogue of a theorem due to Church, Ellenberg, and Farb in type A, and we include a new proof of their theorem. To establish these convergence results, we realize the sequences of cohomology algebras of the hyperplane complements as FI$_\mathcal{W}$-algebras finitely generated in FI$_\mathcal{W}$- degree $2$, and we investigate the asymptotic behaviour of general families of algebras with this structure. We prove a negative result implying that this structure alone is not sufficient to prove the necessary convergence conditions. Our proof of convergence for the cohomology algebras involves the combinatorics of their relators.
A Gröbner basis for the graph of the reciprocal plane
Published
• View Publication
• BIB
Given the complement of a hyperplane arrangement, let $Γ$ be the closure of the graph of the map inverting each of its defining linear forms. The characteristic polynomial manifests itself in the Hilbert series of $Γ$ in two different-seeming ways, one due to Orlik and Terao and the other to Huh and Katz. We define an extension of the no broken circuit complex of a matroid and use it to give a direct Gröbner basis argument that the polynomials extracted from the Hilbert series in these two ways agree.
A monodromy graph approach to the piecewise polynomiality of simple, monotone and Grothendieck dessins d'enfants double Hurwitz numbers
Published
• View Publication
• BIB
Hurwitz numbers count genus $g$, degree $d$ covers of the complex projective line with fixed branched locus and fixed ramification data. An equivalent description is given by factorisations in the symmetric group. Simple double Hurwitz numbers are a class of Hurwitz-type counts of specific interest. In recent years a related counting problem in the context of random matrix theory was introduced as so-called monotone Hurwitz numbers. These can be viewed as a desymmetrised version of the Hurwitz-problem. A combinatorial interpolation between simple and monotone double Hurwitz numbers was introduced as mixed double Hurwitz numbers and it was proved that these objects are piecewise polynomial in a certain sense. Moreover, the notion of strictly monotone Hurwitz numbers has risen interest as it is equivalent to a certain Grothendieck dessins d'enfant count. In this paper, we introduce a combinatorial interpolation between simple, monotone and strictly monotone double Hurwitz numbers as \textit{triply interpolated Hurwitz numbers}. Our aim is twofold: Using a connection between triply interpolated Hurwitz numbers and tropical covers in terms of so-called monodromy graphs, we give algorithms to compute the polynomials for triply interpolated Hurwitz numbers in all genera using Erhart theory. We further use this approach to study the wall-crossing behaviour of triply interpolated Hurwitz numbers in genus $0$ in terms of related Hurwitz-type counts. All those results specialise to the extremal cases of simple, monotone and Grothendieck dessins d'enfants Hurwitz numbers.