polynomial
11250 papers tagged with this keyword
On the Number of Order Types in Integer Grids of Small Size
Published
• View Publication
• BIB
Let $\{p_1,\dots,p_n\}$ and $\{q_1,\dots,q_n\}$ be two sets of $n$ labeled points in general position in the plane. We say that these two point sets have the same order type if for every triple of indices $(i,j,k)$, $p_k$ is above the directed line from $p_i$ to $p_j$ if and only if $q_k$ is above the directed line from $q_i$ to $q_j$. In this paper we give the first non-trivial lower bounds on the number of different order types of $n$ points that can be realized in integer grids of polynomial
$k$-Schur expansions of Catalan functions
Published
• View Publication
• BIB
We make a broad conjecture about the $k$-Schur positivity of Catalan functions, symmetric functions which generalize the (parabolic) Hall-Littlewood polynomials. We resolve the conjecture with positive combinatorial formulas in cases which address the $k$-Schur expansion of (1) Hall-Littlewood polynomials, proving the $q=0$ case of the strengthened Macdonald positivity conjecture of Lapointe, Lascoux, and Morse; (2) the product of a Schur function and a $k$-Schur function when the indexing partitions concatenate to a partition, describing a class of Gromov-Witten invariants for the quantum cohomology of complete flag varieties; (3) $k$-split polynomials, proving a substantial case of a problem of Broer and Shimozono-Weyman on parabolic Hall-Littlewood polynomials. In addition, we prove the conjecture that $k$-Schur functions defined in terms of $k$-split polynomials agree with strong tableau $k$-Schur functions.
Strange Expectations and the Winnie-the-Pooh Problem
Published
• View Publication
• BIB
Motivated by the study of simultaneous cores, we give three proofs (in varying levels of generality) for the expected norm of a weight in a highest weight representation of a complex simple Lie algebra. First, we argue directly using the polynomial method and the Weyl character formula. Second, we use the combinatorics of semistandard tableaux to obtain the result in type A. Third, and most interestingly, we relate this problem to the "Winnie-the-Pooh problem" regarding orthogonal decompositions of Lie algebras; although this approach offers the most explanatory power, it applies only to Cartan types other than A and C. We conclude with computations of many combinatorial cumulants.
The Sitting Closer to Friends than Enemies Problem in the Circumference
The Sitting Closer to Friends than Enemies (SCFE) problem is to find an embedding in a metric space for the vertices of a given signed graph so that, for every pair of incident edges with different sign, the positive edge is shorter (in the metric of the space) than the negative edge. In this document, we present new results regarding the SCFE problem when the metric space in consideration is the circumference. Our main results say that, given a signed graph, it is NP-complete to decide whether such an embedding exists in the circumference or not. Nevertheless, if the given signed graph is complete, then such decision can be made in polynomial time. In particular, we prove that, given a complete signed graph, it has such an embedding if and only if its positive part is a proper circular arc graph.
Log-Concave Polynomials III: Mason's Ultra-Log-Concavity Conjecture for Independent Sets of Matroids
Published
• View Publication
• BIB
We give a self-contained proof of the strongest version of Mason's conjecture, namely that for any matroid the sequence of the number of independent sets of given sizes is ultra log-concave. To do this, we introduce a class of polynomials, called completely log-concave polynomials, whose bivariate restrictions have ultra log-concave coefficients. At the heart of our proof we show that for any matroid, the homogenization of the generating polynomial of its independent sets is completely log-concave.
Hodge-Riemann relations for Potts model partition functions
We prove that the Hessians of nonzero partial derivatives of the (homogenous) multivariate Tutte polynomial of any matroid have exactly one positive eigenvalue on the positive orthant when $0<q\leq 1$. Consequences are proofs of the strongest conjecture of Mason and negative dependence properties for $q$-state Potts model partition functions.
Log-Concave Polynomials II: High-Dimensional Walks and an FPRAS for Counting Bases of a Matroid
Published
• View Publication
• BIB
We design an FPRAS to count the number of bases of any matroid given by an independent set oracle, and to estimate the partition function of the random cluster model of any matroid in the regime where $0<q<1$. Consequently, we can sample random spanning forests in a graph and (approximately) compute the reliability polynomial of any matroid. We also prove the thirty year old conjecture of Mihail and Vazirani that the bases exchange graph of any matroid has expansion at least 1. One of our key observations is a close connection between pure simplicial complexes and multiaffine homogeneous polynomials. Specifically, if $X$ is a pure simplicial complex with positive weights on its maximal faces, we can associate with $X$ a multiaffine homogeneous polynomial $p_{X}$ such that the eigenvalues of the localized random walks on $X$ correspond to the eigenvalues of the Hessian of derivatives of $p_{X}$.
Partitions of Matrix Spaces With an Application to $q$-Rook Polynomials
Published
• View Publication
• BIB
We study the row-space partition and the pivot partition on the matrix space $\mathbb{F}_q^{n \times m}$. We show that both these partitions are reflexive and that the row-space partition is self-dual. Moreover, using various combinatorial methods, we explicitly compute the Krawtchouk coefficients associated with these partitions. This establishes MacWilliams-type identities for the row-space and pivot enumerators of linear rank-metric codes. We then generalize the Singleton-like bound for rank-metric codes, and introduce two new concepts of code extremality. Both of them generalize the notion of MRD codes and are preserved by trace-duality. Moreover, codes that are extremal according to either notion satisfy strong rigidity properties analogous to those of MRD codes. As an application of our results to combinatorics, we give closed formulas for the $q$-rook polynomials associated with Ferrers diagram boards. Moreover, we exploit connections between matrices over finite fields and rook placements to prove that the number of matrices of rank $r$ over $\mathbb{F}_q$ supported on a Ferrers diagram is a polynomial in $q$, whose degree is strictly increasing in $r$. Finally, we investigate the natural analogues of the MacWilliams Extension Theorem for the rank, the row-space, and the pivot partitions.
A homogeneous polynomial associated with general hypergraphs and its applications
Published
• View Publication
• BIB
In this paper, we define a homogeneous polynomial for a general hypergraph, and establish a remarkable connection between clique number and the homogeneous polynomial of a general hypergraph. For a general hypergraph, we explore some inequality relations among spectral radius, clique number and the homogeneous polynomial. We also give lower and upper bounds on the spectral radius in terms of the clique number.
From multiline queues to Macdonald polynomials via the exclusion process
Published
• View Publication
• BIB
Recently James Martin introduced multiline queues, and used them to give a combinatorial formula for the stationary distribution of the multispecies asymmetric simple exclusion exclusion process (ASEP) on a circle. The ASEP is a model of particles hopping on a one-dimensional lattice, which was introduced around 1970, and has been extensively studied in statistical mechanics, probability, and combinatorics. In this article we give an independent proof of Martin's result, and we show that by introducing additional statistics on multiline queues, we can use them to give a new combinatorial formula for both the symmetric Macdonald polynomials P_{lambda}(x; q, t), and the nonsymmetric Macdonald polynomials E_{lambda}(x; q, t), where lambda is a partition. This formula is rather different from others that have appeared in the literature, such as the formulas due to Haglund, Haiman, and Loehr, the formula due to Ram and Yip, and the one due to Lenart. Our proof uses results of Cantini, de Gier, and Wheeler, who recently linked the multispecies ASEP on a circle to Macdonald polynomials.
List Coloring a Cartesian Product with a Complete Bipartite Factor
Published
• View Publication
• BIB
We study the list chromatic number of the Cartesian product of any graph $G$ and a complete bipartite graph with partite sets of size $a$ and $b$, denoted $χ_\ell(G \square K_{a,b})$. We have two motivations. A classic result on the gap between list chromatic number and the chromatic number tells us $χ_\ell(K_{a,b}) = 1 + a$ if and only if $b \geq a^a$. Since $χ_\ell(K_{a,b}) \leq 1 + a$ for any $b \in \mathbb{N}$, this result tells us the values of $b$ for which $χ_\ell(K_{a,b})$ is as large as possible and far from $χ(K_{a,b})=2$. In this paper we seek to understand when $χ_\ell(G \square K_{a,b})$ is far from $χ(G \square K_{a,b}) = \max \{χ(G), 2 \}$. It is easy to show $χ_\ell(G \square K_{a,b}) \leq χ_\ell (G) + a$. In 2006, Borowiecki, Jendrol, Král, and Miskuf showed that this bound is attainable if $b$ is sufficiently large; specifically, $χ_\ell(G \square K_{a,b}) = χ_\ell (G) + a$ whenever $b \geq (χ_\ell(G) + a - 1)^{a|V(G)|}$. Given any graph $G$ and $a \in \mathbb{N}$, we wish to determine the smallest $b$ such that $χ_\ell(G \square K_{a,b}) = χ_\ell (G) + a$. In this paper we show that the list color function, a list analogue of the chromatic polynomial, provides the right concept and tool for making progress on this problem. Using the list color function, we prove a general improvement on Borowiecki et al.'s 2006 result, and we compute the smallest such $b$ exactly for some large families of chromatic-choosable graphs.
Cylindric rhombic tableaux and the two-species ASEP on a ring
Published
• View Publication
• BIB
The asymmetric simple exclusion exclusion process (ASEP) is a model of particles hopping on a one-dimensional lattice of n sites. It was introduced around 1970, and since then has been extensively studied by researchers in statistical mechanics, probability, and combinatorics. Recently the ASEP on a lattice with open boundaries has been linked to Koornwinder polynomials, and the ASEP on a ring has been linked to Macdonald polynomials. In this article we study the two-species asymmetric simple exclusion process (ASEP) on a ring, in which two kinds of particles ("heavy" and "light"), as well as "holes," can hop both clockwise and counterclockwise (at rates 1 or t depending on the particle types) on a ring of n sites. We introduce some new tableaux on a cylinder called cylindric rhombic tableaux (CRT), and use them to give a formula for the stationary distribution of the two-species ASEP -- each probability is expressed as a sum over all CRT of a fixed type. When lambda is a partition in {0,1,2}^n, we then give a formula for the nonsymmetric Macdonald polynomial E_{lambda} and the symmetric Macdonald polynomial P_{lambda} by refining our tableaux formulas for the stationary distribution.
Hankel determinants for convolution powers of Catalan numbers
Published
• View Publication
• BIB
The Hankel determinants $\left(\frac{r}{2(i+j)+r}\binom{2(i+j)+r}{i+j}\right)_{0\leq i,j \leq n-1}$ of the convolution powers of Catalan numbers were considered by Cigler and by Cigler and Krattenthaler. We evaluate these determinants for $r\le 31$ by finding shifted periodic continued fractions, which arose in application of Sulanke and Xin's continued fraction method. These include some of the conjectures of Cigler as special cases. We also conjectured a polynomial characterization of these determinants. The same technique is used to evaluate the Hankel determinants $\left(\binom{2(i+j)+r}{i+j}\right)_{0\leq i,j \leq n-1} $. Similar results are obtained.
Flag matroids: algebra and geometry
Published
• View Publication
• BIB
Matroids are ubiquitous in modern combinatorics. As discovered by Gelfand, Goresky, MacPherson and Serganova there is a beautiful connection between matroid theory and the geometry of Grassmannians: realizable matroids correspond to torus orbits in Grassmannians. Further, as observed by Fink and Speyer general matroids correspond to classes in the $K$-theory of Grassmannians. This yields in particular a geometric description of the Tutte polynomial. In this review we describe all these constructions in detail, and moreover we generalise some of them to polymatroids. More precisely, we study the class of flag matroids and their relations to flag varieties. In this way, we obtain an analogue of the Tutte polynomial for flag matroids.
On Weakly Distinguishing Graph Polynomials
Published in Discrete Mathematics & Theoretical Computer Science, vol. 21 no. 1, ICGT 2018 (April 2, 2019) dmtcs:4949
• View Publication
• BIB
A univariate graph polynomial P(G;X) is weakly distinguishing if for almost all finite graphs G there is a finite graph H with P(G;X)=P(H;X). We show that the clique polynomial and the independence polynomial are weakly distinguishing. Furthermore, we show that generating functions of induced subgraphs with property C are weakly distinguishing provided that C is of bounded degeneracy or tree-width. The same holds for the harmonious chromatic polynomial.
Embedding cover-free families and cryptographical applications
Published
• View Publication
• BIB
Cover-free families are set systems used as solutions for a large variety of problems, and in particular, problems where we deal with $n$ elements and want to identify $d$ invalid ones among them by performing only $t$ tests ($t \leq n$). We are specially interested in cryptographic problems, and we note that some of these problems need cover-free families with an increasing size $n$. Solutions that propose the increase of $n$, such as \emph{monotone families} and \emph{nested families}, have been recently considered in the literature. In this paper, we propose a generalization that we call \emph{embedding families}, which allows us to increase both $n$ and $d$. We propose constructions of \emph{embedding families} using polynomials over finite fields, and show specific cases where this construction allows us to prioritize increase of $d$ or $n$ with good compression ratios. We also provide new constructions for monotone families with improved compression ratio. Finally, we show how to use embedded sequences of orthogonal arrays and packing arrays to build embedding families.
Simultaneously Dominating all Spanning Trees of a Graph
Published
• View Publication
• BIB
We investigate the problem of simultaneously dominating all spanning trees of a given graph. We prove that on 2-connected graphs, a subset of the vertices dominates all spanning trees of the graph if and only if it is a vertex cover. Using this fact we present an exact algorithm that finds a simultaneous dominating set of minimum size using an oracle for finding a minimum vertex cover. The algorithm can be implemented to run in polynomial time on several graph classes, such as bipartite or chordal graphs. We prove that there is no polynomial time algorithm that finds a minimum simultaneous dominating set on perfect graphs, unless P=NP. Finally, we provide a 2-approximation algorithm for finding a minimum simultaneous dominating set.
R-BBG$_2$: Recursive Bipartition of Bi-connected Graphs
Given an undirected graph $G(V, E)$, it is well known that partitioning a graph $G$ into $q$ connected subgraphs of equal or specificed sizes is in general NP-hard problem. On the other hand, it has been shown that the q-partition problem is solvable in polynomial time for q-connected graphs. For example, efficient polynomial time algorithms for finding 2-partition (bipartition) or 3-partition of 2-connected or 3-connected have been developed in the literature. In this paper, we are interested in the following problem: given a bi-connected graph $G$ of size $n$, can we partition it into two (connected) sub-graphs, $G[V_1]$ and $G[V_2]$ of sizes $n_1$ and $n_2$ such as both $G[V_1]$ and $G[V_2]$ are also bi-connected (and $n_1+n_2=n$)? We refer to this problem as the recursive bipartition problem of bi-connected graphs, denoted by R-BBG$_2$. We show that a ploynomial algorithm exists to both decide the recursive bipartion problem R-BBG$_2$ and find the corresponding bi-connected subgraphs when such a recursive bipartition exists.
Refined $q$-Trinomial Coefficients and Two Infinite Hierarchies of $q$-Series Identities
Published
• View Publication
• BIB
We will prove an identity involving refined $q$-trinomial coefficients. We then extend this identity to two infinite families of doubly bounded polynomial identities using transformation properties of the refined $q$-trinomials in an iterative fashion in the spirit of Bailey chains. One of these two hierarchies contains an identity which is equivalent to Capparelli's first Partition Theorem.
$\mathbf{2}$-Closure of $\mathbf{\frac{3}{2}}$-transitive group in polynomial time
Published in Siberian Math. J., vol. 60, no. 2, pp. 360-375 (2019)
• View Publication
• BIB
Let $G$ be a permutation group on a finite set $Ω$. The $k$-closure $G^{(k)}$ of the group $G$ is the largest subgroup of $\operatorname{Sym}(Ω)$ having the same orbits as $G$ on the $k$-th Cartesian power $Ω^k$ of $Ω$. A group $G$ is called $\frac{3}{2}$-transitive if its transitive and the orbits of a point stabilizer $G_α$ on the set $Ω\setminus\{α\}$ are of the same size greater than one. We prove that the $2$-closure $G^{(2)}$ of a $\frac{3}{2}$-transitive permutation group $G$ can be found in polynomial time in size of $Ω$. In addition, if the group $G$ is not $2$-transitive, then for every positive integer $k$ its $k$-closure can be found within the same time. Applying the result, we prove the existence of a polynomial-time algorithm for solving the isomorphism problem for schurian $\frac{3}{2}$-homogeneous coherent configurations, that is the configurations naturally associated with $\frac{3}{2}$-transitive groups.