polynomial
11257 papers tagged with this keyword
Combinatorial results on (1,2,1,2)-avoiding $GL(p,\mathbb{C}) \times GL(q,\mathbb{C})$-orbit closures on $GL(p+q, \mathbb{C})/B$
Published in International Math. Research Notices 2015, 13148--13193
• View Publication
• BIB
Using recent results of the second author which explicitly identify the "$(1,2,1,2)$-avoiding" $GL(p,\mathbb{C}) \times GL(q,\mathbb{C})$-orbit closures on the flag manifold $GL(p+q,\mathbb{C})/B$ as certain Richardson varieties, we give combinatorial criteria for determining smoothness, lci-ness, and Gorensteinness of such orbit closures. (In the case of smoothness, this gives a new proof of a theorem of W.M. McGovern.) Going a step further, we also describe a straightforward way to compute the singular locus, the non-lci locus, and the non-Gorenstein locus of any such orbit closure.
We then describe a manifestly positive combinatorial formula for the Kazhdan-Lusztig-Vogan polynomial $P_{τ,γ}(q)$ in the case where $γ$ corresponds to the trivial local system on a $(1,2,1,2)$-avoiding orbit closure $Q$ and $τ$ corresponds to the trivial local system on any orbit $Q'$ contained in $\overline{Q}$. This combines the aforementioned result of the second author, results of A. Knutson, the first author, and A. Yong, and a formula of Lascoux and Schützenberger which computes the ordinary (type $A$) Kazhdan-Lusztig polynomial $P_{x,w}(q)$ whenever $w \in S_n$ is cograssmannian.
Hall-Littlewood polynomials and Cohen-Lenstra heuristics for Jacobians of random graphs
Published
• View Publication
• BIB
Cohen-Lenstra heuristics for Jacobians of random graphs give rise to random partitions. We connect these random partitions to the Hall-Littlewood polynomials of symmetric function theory, and use this connection to give combinatorial proofs of properties of these random partitions. In addition, we use Markov chains to give an algorithm for generating these partitions.
Vertically symmetric alternating sign matrices and a multivariate Laurent polynomial identity
Published
• View Publication
• BIB
In 2007, the first author gave an alternative proof of the refined alternating sign matrix theorem by introducing a linear equation system that determines the refined ASM numbers uniquely. Computer experiments suggest that the numbers appearing in a conjecture concerning the number of vertically symmetric alternating sign matrices with respect to the position of the first 1 in the second row of the matrix establish the solution of a linear equation system similar to the one for the ordinary refined ASM numbers. In this paper we show how our attempt to prove this fact naturally leads to a more general conjectural multivariate Laurent polynomial identity. Remarkably, in contrast to the ordinary refined ASM numbers, we need to extend the combinatorial interpretation of the numbers to parameters which are not contained in the combinatorial admissible domain. Some partial results towards proving the conjectured multivariate Laurent polynomial identity and additional motivation why to study it are presented as well.
The Erdős-Gyárfás problem on generalized Ramsey numbers
Published
• View Publication
• BIB
Fix positive integers $p$ and $q$ with $2 \leq q \leq {p \choose 2}$. An edge-coloring of the complete graph $K_n$ is said to be a $(p, q)$-coloring if every $K_p$ receives at least $q$ different colors. The function $f(n, p, q)$ is the minimum number of colors that are needed for $K_n$ to have a $(p,q)$-coloring. This function was introduced by Erdős and Shelah about 40 years ago, but Erdős and Gyárfás were the first to study the function in a systematic way. They proved that $f(n, p, p)$ is polynomial in $n$ and asked to determine the maximum $q$, depending on $p$, for which $f(n,p,q)$ is subpolynomial in $n$. We prove that the answer is $p-1$.
Bootstrapping and Askey-Wilson polynomials
Published
• View Publication
• BIB
The mixed moments for the Askey-Wilson polynomials are found using a bootstrapping method and connection coefficients. A similar bootstrapping idea on generating functions gives a new Askey-Wilson generating function. An important special case of this hierarchy is a polynomial which satisfies a four term recurrence, and its combinatorics is studied.
A new characterization of $P_k$-free graphs
Published
• View Publication
• BIB
The class of graphs that do not contain an induced path on $k$ vertices, $P_k$-free graphs, plays a prominent role in algorithmic graph theory. This motivates the search for special structural properties of $P_k$-free graphs, including alternative characterizations.
Let $G$ be a connected $P_k$-free graph, $k \ge 4$. We show that $G$ admits a connected dominating set whose induced subgraph is either $P_{k-2}$-free, or isomorphic to $P_{k-2}$. Surprisingly, it turns out that every minimum connected dominating set of $G$ has this property.
This yields a new characterization for $P_k$-free graphs: a graph $G$ is $P_k$-free if and only if each connected induced subgraph of $G$ has a connected dominating set whose induced subgraph is either $P_{k-2}$-free, or isomorphic to $C_k$. This improves and generalizes several previous results; the particular case of $k=7$ solves a problem posed by van 't Hof and Paulusma [A new characterization of $P_6$-free graphs, COCOON 2008].
In the second part of the paper, we present an efficient algorithm that, given a connected graph $G$ on $n$ vertices and $m$ edges, computes a connected dominating set $X$ of $G$ with the following property: for the minimum $k$ such that $G$ is $P_k$-free, the subgraph induced by $X$ is $P_{k-2}$-free or isomorphic to $P_{k-2}$.
As an application our results, we prove that Hypergraph 2-Colorability, an NP-complete problem in general, can be solved in polynomial time for hypergraphs whose vertex-hyperedge incidence graph is $P_7$-free.
Computational Aspects of the Combinatorial Nullstellensatz Method
We discuss here some computational aspects of the Combinatorial Nullstellensatz argument. Our main result shows that the order of magnitude of the symmetry group associated with permutations of the variables in algebraic constraints, determines the performance of algorithms naturally deduced from Alon's Combinatorial Nullstellensatz arguments. Finally we present a primal-dual polynomial constructions for certifying the existence or the non-existence of solutions to combinatorial problems.
Approximate Counting of Matchings in $(3,3)$-Hypergraphs
Published
• View Publication
• BIB
We design a fully polynomial time approximation scheme (FPTAS) for counting the number of matchings (packings) in arbitrary 3-uniform hypergraphs of maximum degree three, referred to as $(3,3)$-hypergraphs. It is the first polynomial time approximation scheme for that problem, which includes also, as a special case, the 3D Matching counting problem for 3-partite $(3,3)$-hypergraphs. The proof technique of this paper uses the general correlation decay technique and a new combinatorial analysis of the underlying structures of the intersection graphs. The proof method could be also of independent interest.
Simple recurrence formulas to count maps on orientable surfaces
Published in Journal of Combinatorial Theory, Series A, 133:58--75 (2015)
• View Publication
• BIB
We establish a simple recurrence formula for the number $Q_g^n$ of rooted orientable maps counted by edges and genus. We also give a weighted variant for the generating polynomial $Q_g^n(x)$ where $x$ is a parameter taking the number of faces of the map into account, or equivalently a simple recurrence formula for the refined numbers $M_g^{i,j}$ that count maps by genus, vertices, and faces. These formulas give by far the fastest known way of computing these numbers, or the fixed-genus generating functions, especially for large $g$. In the very particular case of one-face maps, we recover the Harer-Zagier recurrence formula.
Our main formula is a consequence of the KP equation for the generating function of bipartite maps, coupled with a Tutte equation, and it was apparently unnoticed before. It is similar in look to the one discovered by Goulden and Jackson for triangulations, and indeed our method to go from the KP equation to the recurrence formula can be seen as a combinatorial simplification of Goulden and Jackson's approach (together with one additional combinatorial trick). All these formulas have a very combinatorial flavour, but finding a bijective interpretation is currently unsolved.
On Isomorphism Classes of Generalized Fibonacci Cubes
Published
• View Publication
• BIB
The generalized Fibonacci cube $Q_d(f)$ is the subgraph of the $d$-cube $Q_d$ induced on the set of all strings of length $d$ that do not contain $f$ as a substring. It is proved that if $Q_d(f) \cong Q_d(f')$ then $|f|=|f'|$. The key tool to prove this result is a result of Guibas and Odlyzko about the autocorrelation polynomial associated to a binary string. It is also proved that there exist pairs of strings $f, f'$ such that $Q_d(f) \cong Q_d(f')$, where $|f| \ge \frac{2}{3}(d+1)$ and $f'$ cannot be obtained from $f$ by its reversal or binary complementation. Strings $f$ and $f'$ with $|f|=|f'|=d-1$ for which $Q_d(f) \cong Q_d(f')$ are characterized.
On Saturated $k$-Sperner Systems
Published in Electron. J. Combin. 21(3) (2014), #P3.22
• View Publication
• BIB
Given a set $X$, a collection $\mathcal{F}\subseteq\mathcal{P}(X)$ is said to be $k$-Sperner if it does not contain a chain of length $k+1$ under set inclusion and it is saturated if it is maximal with respect to this property. Gerbner et al. conjectured that, if $|X|$ is sufficiently large with respect to $k$, then the minimum size of a saturated $k$-Sperner system $\mathcal{F}\subseteq\mathcal{P}(X)$ is $2^{k-1}$. We disprove this conjecture by showing that there exists $\varepsilon>0$ such that for every $k$ and $|X| \geq n_0(k)$ there exists a saturated $k$-Sperner system $\mathcal{F}\subseteq\mathcal{P}(X)$ with cardinality at most $2^{(1-\varepsilon)k}$.
A collection $\mathcal{F}\subseteq \mathcal{P}(X)$ is said to be an oversaturated $k$-Sperner system if, for every $S\in\mathcal{P}(X)\setminus\mathcal{F}$, $\mathcal{F}\cup\{S\}$ contains more chains of length $k+1$ than $\mathcal{F}$. Gerbner et al. proved that, if $|X|\geq k$, then the smallest such collection contains between $2^{k/2-1}$ and $O\left(\frac{\log{k}}{k}2^k\right)$ elements. We show that if $|X|\geq k^2+k$, then the lower bound is best possible, up to a polynomial factor.
A generalization of extension complexity that captures $P$
Published
• View Publication
• BIB
In this paper we propose a generalization of the extension complexity of a polyhedron $Q$. On the one hand it is general enough so that all problems in $P$ can be formulated as linear programs with polynomial size extension complexity. On the other hand it still allows non-polynomial lower bounds to be proved for $NP$-hard problems independently of whether or not $P=NP$. The generalization, called $H$-free extension complexity, allows for a set of valid inequalities $H$ to be excluded in computing the extension complexity of $Q$. We give results on the $H$-free extension complexity of hard matching problems (when $H$ are the odd set inequalities) and the traveling salesman problem (when $H$ are the subtour elimination constraints).
Sur une proprieté des polynômes de Stirling
In this article, we give a positive answer to a question posed in 1960 by D.S. Mitrinović and R.S. Mitrinović (see: D.S. Mitrinović et R.S. Mitrinović, Tableaux qui fournissent des polynômes de Stirling, Publications de la Faculté d'Electronique, série: Mathématiques et physique, 34, (1960).1-23.) concerned the Stirling numbers of the first kind $s(n,k).$ We prove that for all $k\geq 2$ there exist an integer $m_{k}$ and a primitive polynomial $P_{k}(x)$ in $\mathbb{Z}[x]$ such that for all $n\geq k$, $s(n,n-k)=\frac{1}{m_{k}}\binom{n}{k+1}\left(n(n-1)\right) ^{\mathop{\rm mod}\nolimits (k,2)}P_{k}(n)$. Moreover for all $k\geq1$, $P_{2k}(0)=P_{2k+1}(0)$.
Inversion Polynomials for Permutations Avoiding Consecutive Patterns
Published
• View Publication
• BIB
In 2012, Sagan and Savage introduced the notion of $st$-Wilf equivalence for a statistic $st$ and for sets of permutations that avoid particular permutation patterns which can be extended to generalized permutation patterns. In this paper we consider $inv$-Wilf equivalence on sets of two or more consecutive permutation patterns. We say that two sets of generalized permutation patterns $Π$ and $Π'$ are $inv$-Wilf equivalent if the generating function for the inversion statistic on the permutations that simultaneously avoid all elements of $Π$ is equal to the generating function for the inversion statistic on the permutations that simultaneously avoid all elements of $Π'$.
In 2013, Cameron and Killpatrick gave the inversion generating function for Fibonacci tableaux which are in one-to-one correspondence with the set of permutations that simultaneously avoid the consecutive patterns $321$ and $312.$ In this paper, we use the language of Fibonacci tableaux to study the inversion generating functions for permutations that avoid $Π$ where $Π$ is a set of five or fewer consecutive permutation patterns. In addition, we introduce the more general notion of a strip tableaux which are a useful combinatorial object for studying consecutive pattern avoidance. We go on to give the inversion generating functions for all but one of the cases where $Π$ is a subset of three consecutive permutation patterns and we give several results for $Π$ a subset of two consecutive permutation patterns.
A $q$-Queens Problem. II. The Square Board
Published in Journal of Algebraic Combinatorics, 41 (2015), no. 3, 619--642. MR 3328174. Zbl 1314.05008
• View Publication
• BIB
We apply to the $n\times n$ chessboard the counting theory from Part I for nonattacking placements of chess pieces with unbounded straight-line moves, such as the queen. Part I showed that the number of ways to place $q$ identical nonattacking pieces is given by a quasipolynomial function of $n$ of degree $2q$, whose coefficients are (essentially) polynomials in $q$ that depend cyclically on $n$.
Here we study the periods of the quasipolynomial and its coefficients, which are bounded by functions, not well understood, of the piece's move directions, and we develop exact formulas for the very highest coefficients. The coefficients of the three highest powers of $n$ do not vary with $n$. On the other hand, we present simple pieces for which the fourth coefficient varies periodically. We develop detailed properties of counting quasipolynomials that will be applied in sequels to partial queens, whose moves are subsets of those of the queen, and the nightrider, whose moves are extended knight's moves.
We conclude with the first, though strange, formula for the classical $n$-Queens Problem and with several conjectures and open problems.
A $q$-Queens Problem. III. Nonattacking Partial Queens
Published in Australasian Journal of Combinatorics, 74 (2019), no. 2, 305-331
• Search Publication
We apply our geometrical theory for counting placements of $q$ nonattacking on an $n\times n$ chessboard, from Parts~I and II, to partial queens: that is, chess pieces with any combination of horizontal, vertical, and $45^\circ$-diagonal moves. Parts~I and II showed that for any rider (a piece with moves of unlimited length) the answer will be a quasipolynomial function of $n$ in which the coefficients are essentially polynomials in $q$. Those general results gave the three highest-order coefficients of the counting quasipolynomial and formulas for counting placements of two nonattacking pieces and the combinatorially distinct types of such placements.
By contrast, the unified framework we present here for partial queens allows us to explicitly compute the four highest-order coefficients of the counting quasipolynomial, show that the five highest-order coefficients are constant (independent of $n$), and find the period of the next coefficient (which depends upon the exact set of moves). Furthermore, for three nonattacking partial queens we are able to prove formulas for the total number of nonattacking placements and for the number of their combinatorially distinct types.
The method of proof, as in the previous parts, is by detailed analysis of the lattice of subspaces of an inside-out polytope.
Gaussian fluctuations of Young diagrams and structure constants of Jack characters
Published in Duke Math. J. 165, no. 7 (2016), 1193-1282
• View Publication
• BIB
In this paper, we consider a deformation of Plancherel measure linked to Jack polynomials. Our main result is the description of the first and second-order asymptotics of the bulk of a random Young diagram under this distribution, which extends celebrated results of Vershik-Kerov and Logan-Shepp (for the first order asymptotics) and Kerov (for the second order asymptotics). This gives more evidence of the connection with Gaussian $β$-ensemble, already suggested by some work of Matsumoto.
Our main tool is a polynomiality result for the structure constant of some quantities that we call Jack characters, recently introduced by Lassalle. We believe that this result is also interested in itself and we give several other applications of it.
On the number of real roots of random polynomials
Published
• View Publication
• BIB
Roots of random polynomials have been studied exclusively in both analysis and probability for a long time. A famous result by Ibragimov and Maslova, generalizing earlier fundamental works of Kac and Erdos-Offord, showed that the expectation of the number of real roots is $\frac{2}π \log n + o(\log n)$. In this paper, we determine the true nature of the error term by showing that the expectation equals $\frac{2}π\log n + O(1)$. Prior to this paper, such estimate has been known only in the gaussian case, thanks to works of Edelman and Kostlan.
Linear pencils encoded in the Newton polygon
Published
• View Publication
• BIB
Let $C$ be an algebraic curve defined by a sufficiently generic bivariate Laurent polynomial with given Newton polygon $Δ$. It is classical that the geometric genus of $C$ equals the number of lattice points in the interior of $Δ$. In this paper we give similar combinatorial interpretations for the gonality, the Clifford index and the Clifford dimension, by removing a technical assumption from a recent result of Kawaguchi. More generally, the method shows that apart from certain well-understood exceptions, every base-point free pencil whose degree equals or slightly exceeds the gonality is 'combinatorial', in the sense that it corresponds to projecting $C$ along a lattice direction. We then give an interpretation for the scrollar invariants associated to a combinatorial pencil, and show how one can tell whether the pencil is complete or not. Among the applications, we find that every smooth projective curve admits at most one Weierstrass semi-group of embedding dimension $2$, and that if a non-hyperelliptic smooth projective curve $C$ of genus $g \geq 2$ can be embedded in the $n$th Hirzebruch surface $\mathcal{H}_n$, then $n$ is actually an invariant of $C$.
The lattice size of a lattice polygon
Published
• View Publication
• BIB
We give upper bounds on the minimal degree of a model in $\mathbb{P}^2$ and the minimal bidegree of a model in $\mathbb{P}^1 \times \mathbb{P}^1$ of the curve defined by a given Laurent polynomial, in terms of the combinatorics of the Newton polygon of the latter. We prove in various cases that this bound is sharp as soon as the polynomial is sufficiently generic with respect to its Newton polygon.