polynomial
11257 papers tagged with this keyword
Perfect sampling algorithm for Schur processes
Published in Markov Processes Relat. Fields 24, 381-418 (2018)
• Search Publication
We describe random generation algorithms for a large class of random combinatorial objects called Schur processes, which are sequences of random (integer) partitions subject to certain interlacing conditions. This class contains several fundamental combinatorial objects as special cases, such as plane partitions, tilings of Aztec diamonds, pyramid partitions and more generally steep domino tilings of the plane. Our algorithm, which is of polynomial complexity, is both exact (i.e. the output follows exactly the target probability law, which is either Boltzmann or uniform in our case), and entropy optimal (i.e. it reads a minimal number of random bits as an input).
The algorithm encompasses previous growth procedures for special Schur processes related to the primal and dual RSK algorithm, as well as the famous domino shuffling algorithm for domino tilings of the Aztec diamond. It can be easily adapted to deal with symmetric Schur processes and general Schur processes involving infinitely many parameters. It is more concrete and easier to implement than Borodin's algorithm, and it is entropy optimal.
At a technical level, it relies on unified bijective proofs of the different types of Cauchy and Littlewood identities for Schur functions, and on an adaptation of Fomin's growth diagram description of the RSK algorithm to that setting. Simulations performed with this algorithm suggest interesting limit shape phenomena for the corresponding tiling models, some of which are new.
h-Polynomials via Reduced Forms
Published
• View Publication
• BIB
The flow polytope $\mathcal{F}_{\widetilde{G}}$ is the set of nonnegative unit flows on the graph $\widetilde{G}$. The subdivision algebra of flow polytopes prescribes a way to dissect a flow polytope $\mathcal{F}_{\widetilde{G}}$ into simplices. Such a dissection is encoded by the terms of the so called reduced form of the monomial $\prod_{(i,j)\in E(G)}x_{ij}$. We prove that we can use the subdivision algebra of flow polytopes to construct not only dissections, but also regular flag triangulations of flow polytopes. We prove that reduced forms in the subdivision algebra are generalizations of $h$-polynomials of the triangulations of flow polytopes. We deduce several corollaries of the above results, most notably proving certain cases of a conjecture of Kirillov about the nonnegativity of reduced forms in the noncommutative quasi-classical Yang-Baxter algebra.
Combinatorial Properties of Rogers-Ramanujan-Type Identities Arising from Hall-Littlewood Polynomials
Published in Ann. Comb. 20 (2016), 345--360
• View Publication
• BIB
Here we consider the $q$-series coming from the Hall-Littlewood polynomials, \begin{equation*} R_ν(a,b;q)=\sum_{\substack{λ\\[1pt] λ_1\leq a}} q^{c|λ|} P_{2λ}\big(1,q,q^2,\dots;q^{2b+d}\big). \end{equation*} These series were defined by Griffin, Ono, and Warnaar in their work on the framework of the Rogers-Ramanujan identities. We devise a recursive method for computing the coefficients of these series when they arise within the Rogers-Ramanujan framework. Furthermore, we study the congruence properties of certain quotients and products of these series, generalizing the famous Ramanujan congruence \begin{equation*} p(5n+4)\equiv0\pmod{5}. \end{equation*}
Refined curve counting with tropical geometry
Published in Compositio Math. 152 (2016) 115-151
• View Publication
• BIB
The Severi degree is the degree of the Severi variety parametrizing plane curves of degree d with delta nodes. Recently, Göttsche and Shende gave two refinements of Severi degrees, polynomials in a variable y, which are conjecturally equal, for large d. At y = 1, one of the refinements, the relative Severi degree, specializes to the (non-relative) Severi degree.
We give a tropical description of the refined Severi degrees, in terms of a refined tropical curve count for all toric surfaces. We also refine the equivalent count of floor diagrams for Hirzebruch and rational ruled surfaces. Our description implies that, for fixed delta, the refined Severi degrees are polynomials in d and y, for large d. As a consequence, we show that, for delta <= 10 and all d, both refinements of Göttsche and Shende agree and equal our refined counts of tropical curves and floor diagrams.
4-coloring $P_6$-free graphs with no induced 5-cycles
Published
• View Publication
• BIB
We show that the 4-coloring problem can be solved in polynomial time for graphs with no induced 5-cycle $C_5$ and no induced 6-vertex path $P_6$.
Strong q-log-convexity of the Eulerian polynomials of Coxeter groups
Published
• View Publication
• BIB
In this paper we prove the strong $q$-log-convexity of the Eulerian polynomials of Coxeter groups using their exponential generating functions. Our proof is based on the theory of exponential Riordan arraya and a criterion for determining the strong $q$-log-convexity of polynomials sequences, whose generating functions can be given by the continued fraction. As consequences, we get the strong $q$-log-convexity the Eulerian polynomials of type $A_n,B_n$, their $q$-analogous and the generalized Eulerian polynomials associated to the arithmetic progression $\{a,a+d,a+2d,a+3d,\ldots\}$ in a unified manner.
Polynomial Values in Subfields and Affine Subspaces of Finite Fields
Published
• View Publication
• BIB
For an integer $r$, a prime power $q$, and a polynomial $f$ over a finite field ${\mathbb F}_{q^r}$ of $q^r$ elements, we obtain an upper bound on the frequency of elements in an orbit generated by iterations of $f$ which fall in a proper subfield of ${\mathbb F}_{q^r}$. We also obtain similar results for elements in affine subspaces of ${\mathbb F}_{q^r}$, considered as a linear space over ${\mathbb F}_q$.
M-Polynomial and Degree-Based Topological Indices
Let $G$ be a graph and let $m_{ij}(G)$, $i,j\ge 1$, be the number of edges $uv$ of $G$ such that $\{d_v(G), d_u(G)\} = \{i,j\}$. The {\em $M$-polynomial} of $G$ is introduced with $\displaystyle{M(G;x,y) = \sum_{i\le j} m_{ij}(G)x^iy^j}$. It is shown that degree-based topological indices can be routinely computed from the polynomial, thus reducing the problem of their determination in each particular case to the single problem of determining the $M$-polynomial. The new approach is also illustrated with examples.
Multiple correlation sequences and nilsequences
Published
• View Publication
• BIB
We study the structure of multiple correlation sequences defined by measure preserving actions of commuting transformations. When the iterates of the transformations are integer polynomials we prove that any such correlation sequence is the sum of a nilsequence and an error term that is small in uniform density; this was previously known only for measure preserving actions of a single transformation. We then use this decomposition result to give convergence criteria for multiple ergodic averages involving iterates that grow linearly, and prove the rather surprising fact that for such sequences, convergence results for actions of commuting transformations follow automatically from the special case of actions of a single transformation. Our proof of the decomposition result differs from previous works of V. Bergelson, B. Host, B. Kra, and A. Leibman, as it does not rely on the theory of characteristic factors. It consists of a simple orthogonality argument and the main tool is an inverse theorem of B. Host and B. Kra for general bounded sequences.
When will the crossing number of an alternating link decrease by two via a crossing change?
Let $D$ be a reduced alternating diagram of a non-split link $L$ and $\tilde{L}$ be the link whose diagram is obtained from $D$ by a crossing change. If $\tilde{L}$ is alternating, then $c(\tilde{L})\leq c(L)-2$. In this paper we explore when $c(\tilde{L})=c(L)-2$ holds and obtain a simple sufficient and necessary condition in terms of plane graphs corresponding to $L$. This result is obtained via analyzing the behavior of the Tutte polynomial of the signed plane graph corresponding to $\tilde{L}$.
Characteristics polynomial of normalized Laplacian for trees
Published in Appl. Math. Comput 271 (2015) 838-844
• View Publication
• BIB
Here, we find the characteristics polynomial of normalized Laplacian of a tree. The coefficients of this polynomial are expressed by the higher order general Randić indices for matching, whose values depend on the structure of the tree. We also find the expression of these indices for starlike tree and a double-starlike tree, $H_m(p,q)$. Moreover, we show that two cospectral $H_m(p,q)$ of the same diameter are isomorphic.
Peak algebras, paths in the Bruhat graph and Kazhdan-Lusztig polynomials
Published
• View Publication
• BIB
We give a new characterization of the peak subalgebra of the algebra of quasisymmetric functions and use this to construct a new basis for this subalgebra. As an application of these results we obtain a combinatorial formula for the Kazhdan-Lusztig polynomials which holds in complete generality and is simpler and more explicit than any existing one. We then show that, in a certain sense, this formula cannot be simplified.
Strongly stable ideals and Hilbert polynomials
Published in J. Softw. Alg. Geom. 9 (2019) 1-9
• View Publication
• BIB
The \texttt{StronglyStableIdeals} package for \textit{Macaulay2} provides a method to compute all saturated strongly stable ideals in a given polynomial ring with a fixed Hilbert polynomial. A description of the main method and auxiliary tools is given.
Progress in distributive homology: from q-polynomial of rooted trees to Yang-Baxter homology
This is an extended abstract of the talk given at the Oberwolfach Workshop
"Algebraic Structures in Low-Dimensional Topology", 25 May -- 31 May 2014. My goal was to describe progress in distributive homology from the previous Oberwolfach Workshop June 3 - June 9, 2012, in particular my work on Yang-Baxter homology; however I concentrated my talk on my recent discovery of q-polynomial of a rooted tree; the appropriate topic as my talk was on May 30, 2014, the 30 anniversary of the Jones polynomial, and the polynomial has its roots in the Kauffman bracket approach to the Jones polynomial.
Semi-algebraic Ramsey numbers
Published
• View Publication
• BIB
Given a finite point set $P \subset \mathbb{R}^d$, a $k$-ary semi-algebraic relation $E$ on $P$ is the set of $k$-tuples of points in $P$, which is determined by a finite number of polynomial equations and inequalities in $kd$ real variables. The description complexity of such a relation is at most $t$ if the number of polynomials and their degrees are all bounded by $t$. The Ramsey number $R^{d,t}_k(s,n)$ is the minimum $N$ such that any $N$-element point set $P$ in $\mathbb{R}^d$ equipped with a $k$-ary semi-algebraic relation $E$, such that $E$ has complexity at most $t$, contains $s$ members such that every $k$-tuple induced by them is in $E$, or $n$ members such that every $k$-tuple induced by them is not in $E$.
We give a new upper bound for $R^{d,t}_k(s,n)$ for $k\geq 3$ and $s$ fixed. In particular, we show that for fixed integers $d,t,s$, $R^{d,t}_3(s,n) \leq 2^{n^{o(1)}},$ establishing a subexponential upper bound on $R^{d,t}_3(s,n)$. This improves the previous bound of $2^{n^C}$ due to Conlon, Fox, Pach, Sudakov, and Suk, where $C$ is a very large constant depending on $d,t,$ and $s$. As an application, we give new estimates for a recently studied Ramsey-type problem on hyperplane arrangements in $\mathbb{R}^d$. We also study multi-color Ramsey numbers for triangles in our semi-algebraic setting, achieving some partial results.
An approach toward Schubert positivities of polynomials using Kraśkiewicz-Pragacz modules
Published
• View Publication
• BIB
In this paper, we investigate properties of modules introduced by Kraśkiewicz and Pragacz which realize Schubert polynomials as their characters. In particular, we give some characterizations of modules having a filtration by Kraśkiewicz-Pragacz modules. In finding criteria for filtrations, we calculate generating sets for the annihilator ideals of the lowest vectors in Kraśkiewicz-Pragacz modules, and derive a projectivity result concerning Kraśkiewicz-Pragacz modules.
A finer reduction of constraint problems to digraphs
Published in Logical Methods in Computer Science, Volume 11, Issue 4 (December 29, 2015) lmcs:1619
• View Publication
• BIB
It is well known that the constraint satisfaction problem over a general relational structure A is polynomial time equivalent to the constraint problem over some associated digraph. We present a variant of this construction and show that the corresponding constraint satisfaction problem is logspace equivalent to that over A. Moreover, we show that almost all of the commonly encountered polymorphism properties are held equivalently on the A and the constructed digraph. As a consequence, the Algebraic CSP dichotomy conjecture as well as the conjectures characterizing CSPs solvable in logspace and in nondeterministic logspace are equivalent to their restriction to digraphs.
A note on recognizing an old friend in a new place: list coloring and the zero-temperature Potts model
Published in Ann. Inst. Henri Poincaré Comb. Phys. Interact. 1 (2014), 429-442
• View Publication
• BIB
Here we observe that list coloring in graph theory coincides with the zero-temperature antiferromagnetic Potts model with an external field. We give a list coloring polynomial that equals the partition function in this case. This is analogous to the well-known connection between the chromatic polynomial and the zero-temperature, zero-field, antiferromagnetic Potts model. The subsequent cross fertilization yields immediate results for the Potts model and suggests new research directions in list coloring.
Generalized minor inequalities for the set covering polyhedron related to circulant matrices
Published
• View Publication
• BIB
We study the set covering polyhedron related to circulant matrices. In particular, our goal is to characterize the first Chvátal closure of the usual fractional relaxation. We present a family of valid inequalities that generalizes the family of minor inequalities previously reported in the literature and includes new facet-defining inequalities. Furthermore, we propose a polynomial time separation algorithm for a particular subfamily of these inequalities.
Non-normal very ample polytopes - constructions and examples
Published in Experimental Mathematics 26 (2017), no. 2, 130-137
• View Publication
• BIB
We present a method of constructing non-normal very ample polytopes as a segmental fibration of unimodular graph polytopes. In many cases we explicitly compute their invariants - Hilbert function, Ehrhart polynomial, gap vector. In particular, we answer several questions posed by Beck, Cox, Delgado, Gubeladze, Haase, Hibi, Higashitani and Maclagan.