polynomial
11184 papers tagged with this keyword
Cycles of even-odd drop permutations and continued fractions of Genocchi numbers
Published
• View Publication
• BIB
Recently, Lazar and Wachs (arXiv:1910.07651) showed that the (median) Genocchi numbers play a fundamental role in the study of the homogenized Linial arrangement and obtained two new permutation models (called D-permutations and E-permutations) for (median) Genocchi numbers. They further conjecture that the distributions of cycle numbers over the two models are equal. In a follow-up, Eu et al. (arXiv:2103.09130) further proved the gamma-positivity of the descent polynomials of even-odd descent permutations, which are in bijection with E-permutations by Foata's fundamental transformation. This paper merges the above two papers by considering a general moment sequence which encompasses the number of cycles and number of drops of E-permutations. Using the combinatorial theory of continued fraction, the moment connection enables us to confirm Lazar-Wachs' conjecture and obtain a natural $(p,q)$-analogue of Eu et al's descent polynomials. Furthermore, we show that the $γ$-coefficients of our $(p,q)$-analogue of descent polynomials have the same factorization flavor as the $γ$-coeffcients of Brändén's $(p,q)$-Eulerian polynomials.
Vertex-weighted Digraphs and Freeness of Arrangements Between Shi and Ish
Published
• View Publication
• BIB
We introduce and study a digraph analogue of Stanley's $ψ$-graphical arrangements from the perspectives of combinatorics and freeness. Our arrangements form a common generalization of various classes of arrangements in literature including the Catalan arrangement, the Shi arrangement, the Ish arrangement, and especially the arrangements interpolating between Shi and Ish recently introduced by Duarte and Guedes de Oliveira. The arrangements between Shi and Ish all are proved to have the same characteristic polynomial with all integer roots, thus raising the natural question of their freeness. We define two operations on digraphs, which we shall call king and coking elimination operations and prove that subject to certain conditions on the weight $ψ$, the operations preserve the characteristic polynomials and freeness of the associated arrangements. As an application, we affirmatively prove that the arrangements between Shi and Ish all are free, and among them only the Ish arrangement has supersolvable cone.
Existence and polynomial time construction of biregular, bipartite Ramanujan graphs of all degrees
We prove that there exist bipartite, biregular Ramanujan graphs of every degree and every number of vertices provided that the cardinalities of the two sets of the bipartition divide each other. This generalizes a result of Marcus, Spielman, and Srivastava and, similar to theirs, the proof is based on the analysis of expected polynomials. The primary difference is the use of some new machinery involving rectangular convolutions, developed in a companion paper. We also prove the constructibility of such graphs in polynomial time in the number of vertices, extending a result of Cohen to this biregular case.
Geometric Embeddability of Complexes is $\exists \mathbb R$-complete
Published
• View Publication
• BIB
We show that the decision problem of determining whether a given (abstract simplicial) $k$-complex has a geometric embedding in $\mathbb R^d$ is complete for the Existential Theory of the Reals for all $d\geq 3$ and $k\in\{d-1,d\}$. This implies that the problem is polynomial time equivalent to determining whether a polynomial equation system has a real solution. Moreover, this implies NP-hardness and constitutes the first hardness results for the algorithmic problem of geometric embedding (abstract simplicial) complexes.
Generalized splines on graphs with two labels and polynomial splines on cycles
Published
• View Publication
• BIB
Generalized splines are an algebraic combinatorial framework that generalizes and unifies various established concepts across different fields, most notably the classical notion of splines and the topological notion of GKM theory. The former consists of piecewise polynomials on a combinatorial geometric object like a polytope, whose polynomial pieces agree to a specified degree of differentiability. The latter is a graph-theoretic construction of torus-equivariant cohomology that Shareshian and Wachs used to reformulate the well-known Stanley$\unicode{x2013}$Stembridge conjecture, a reformulation that was recently proven to hold by Brosnan and Chow and independently Guay-Paquet.
This paper focuses on the theory of generalized splines. A generalized spline on a graph $G$ with each edge labeled by an ideal in a ring $R$ consists of a vertex-labeling by elements of $R$ so that the labels on adjacent vertices $u, v$ differ by an element of the ideal associated to the edge $uv$. We study the $R$-module of generalized splines and produce minimum generating sets for several families of graphs and edge-labelings: $1)$ for all graphs when the set of possible edge-labelings consists of at most two finitely-generated ideals, and $2)$ for cycles when the set of possible edge-labelings consists of principal ideals generated by elements of the form $(ax+by)^2$ in the polynomial ring $\mathbb{C}[x,y]$. We obtain the generators using a constructive algorithm that is suitable for computer implementation and give several applications, including contextualizing several results in the theory of classical (analytic) splines.
The Gotsman-Linial Conjecture is False
Published in Proceedings of the 2018 Annual ACM-SIAM Symposium on Discrete Algorithms (SODA), pp. 692-699, 2018
• View Publication
• BIB
In 1991, Craig Gotsman and Nathan Linial conjectured that for all $n$ and $d$, the average sensitivity of a degree-$d$ polynomial threshold function on $n$ variables is maximized by the degree-$d$ symmetric polynomial which computes the parity function on the $d$ layers of the hypercube with Hamming weight closest to $n/2$. We refute the conjecture for almost all $d$ and for almost all $n$, and we confirm the conjecture in many of the remaining cases.
The combinatorics of weight systems and characteristic polynomials of isolated quasihomogeneous singularities
Published
• View Publication
• BIB
A paper of the first author and Zilke proposed seven combinatorial problems around formulas for the characteristic polynomial and the exponents of an isolated quasihomogeneous singularity. The most important of them was a conjecture on the characteristic polynomial. Here the conjecture is proved, and some of the other problems are solved, too. In the cases where also an old conjecture of Orlik on the integral monodromy holds, this has implications on the automorphism group of the Milnor lattice. The combinatorics used in the proof of the conjecture consists of tuples of orders on sets $\{0,1,...,n\}$ with special properties and may be of independent interest.
Twist polynomials of delta-matroids
Published
• View Publication
• BIB
Recently, Gross, Mansour and Tucker introduced the partial duality polynomial of a ribbon graph and posed a conjecture that there is no orientable ribbon graph whose partial duality polynomial has only one non-constant term. We found an infinite family of counterexamples for the conjecture and showed that essentially these are the only counterexamples. This is also obtained independently by Chumutov and Vignes-Tourneret and they posed a problem: it would be interesting to know whether the partial duality polynomial and the related conjectures would make sence for general delta-matroids. In this paper, we show that partial duality polynomials have delta-matroid analogues. We introduce the twist polynomials of delta-matroids and discuss its basic properties for delta-matroids. We give a characterization of even normal binary delta-matroids whose twist polynomials have only one term and then prove that the twist polynomial of a normal binary delta-matroid contains non-zero constant term if and only if its intersection graph is bipartite.
On Ledin and Brousseau's summation problems
We develop a recursive scheme, as well as polynomial forms (polynomials in $n$ of degree $m$), for the evaluation of Ledin and Brousseau's Fibonacci sums of the form $S(m,n,r)=\sum_{k=1}^nk^mF_{k + r}$, $T(m,n,r)=\sum_{k=1}^nk^mL_{k + r}$ for non-negative integers $m$ and $n$ and arbitrary integer $r$; $F_j$ and $L_j$ being the $j^{th}$ Fibonacci and Lucas numbers. We also extend the study to a general second order sequence by establishing a recursive procedure to determine $W(m,n,r;a,b,p,q)=\sum_{k=1}^nk^mw_{k+r}$ where $(w_j(a,b;p,q))$ is the Horadam sequence defined by $w_0 = a,\,w_1 = b;\,w_j = pw_{j - 1} - qw_{j - 2}\, (j \ge 2);$ where $a$, $b$, $p$ and $q$ are arbitrary complex numbers, with $p\ne 0$ and $q\ne 0$. An explicit polynomial form for $W(m,n,r;a,b,1,q)$ and more generally for the sum $\mathcal W(m,n,h,r;a,b,p,q) = \sum_{k = 1}^n {V_h^{- k}k^m w_{hk + r}}$, where $(V_j(p,q))=(w_j(2,p;p,q))$, is established. Finally a polynomial form is established for a Ledin-Brousseau sum involving Horadam numbers with subscripts in arithmetic progression.
Derivatives and Integrals of Polynomials Associated with Integer Partitions
Published in Journal of Integer Sequences, Vol. 25 (2022), Article 22.5.1
• Search Publication
Integer partitions express the different ways that a positive integer may be written as a sum of positive integers. Here we explore the analytic properties of a new polynomial $f_λ(x)$ that we call the partition polynomial for the partition $λ$, with the aim to learn new properties of partitions. We prove a recursive formula for the derivatives of $f_λ(x)$ involving Stirling numbers of the second kind, show that the set of integrals from 0 to 1 of a normalized version of $f_λ(x)$ is dense in $[0,1/2]$, pose a few open questions, and formulate a conjecture relating the integral to the length of the partition. We also provide specific examples throughout to support our speculation that an in-depth analysis of partition polynomials could further strengthen our understanding of partitions.
An algorithm for counting arcs in higher-dimensional projective space
Published
• View Publication
• BIB
An $n$ arc in $(k-1)$-dimensional projective space is a set of $n$ points so that no $k$ lie on a hyperplane. In 1988, Glynn gave a formula to count $n$-arcs in the projective plane in terms of simpler combinatorial objects called superfigurations. Several authors have used this formula to count $n$-arcs in the projective plane for $n \le 10$. In this paper, we determine a formula to count $n$-arcs in projective 3-space. We then use this formula to give exact expressions for the number of $n$-arcs in $\mathbb{P}^3(\mathbb{F}_q)$ for $n \le 7$, which are polynomial in $q$ for $n \le 6$ and quasipolynomial in $q$ for $n=7$. Lastly, we generalize to higher-dimensional projective space.
Unified framework for tableau models of Grothendieck polynomials
Published in Contributions to Discrete Mathematics 19(3) (2024), 86-101
• View Publication
• BIB
We give combinatorial proofs of two types of duality for Grothendieck polynomials by constructing a unified combinatorial framework incorporating set-valued tableaux, musltiset-valued tableaux, reverse plane partitions and valued-set tableaux. Importantly, our proofs extend to proofs of these dualities for the refined Grothendieck polynomials. The second of these dualities was formerly unknown for the refined case.
A natural basis for intersection numbers
We advertise elementary symmetric polynomials $e_i$ as the natural basis for generating series $A_{g,n}$ of intersection numbers of genus g and n marked points. Closed formulae for $A_{g,n}$ are known for genera $0$ and $1$ -- this approach provides formulae for $g = 2,3,4$, together with an algorithm to compute the formula for any g. The claimed naturality of the e_i basis relies in the unexpected vanishing of some coefficients with a clear pattern: we conjecture that $A_{g,n}$ can have at most $g$ factors $e_i$, with $i>1$, in its expansion. This observation promotes a paradigm for more general cohomology classes. As an application of the conjecture, we find new integral representations of $A_{g,n}$, which recover expressions for the Weil-Petersson volumes in terms of Bessel functions.
Stability theorems for multiplicities in graded $S_n$-modules
In this paper, we prove several stability theorems for multiplicities of naturally defined representations of symmetric groups. The first such theorem states that if we consider the diagonal action of the symmetric group $S_{m+r}$ on $k$ sets of $m+r$ variables, then the dimension of the invariants of degree $m$ is the same as the dimension of the invariants of degree $m$ for $S_{m}$ acting on $k$ sets of $m$ variables. Building on this stability, the last section looks at the Hilbert series of coinvariants of the polynomial ring in $k$ sets of $m$ variables. We address a conjecture that the Hilbert series, in degrees no more than $m$, can be computed by a truncated power series expression. Using some auxiliary results and manipulations of power series, we show that if this holds for $k$ and $m$, then the truncation gives the correct Hilbert series up to degree $m$ for $k$ sets of $n \geq m$ variables. This shows the validity of the conjecture up to certain degrees. We also provide a new equivalent conjecture regarding Gröbner bases.
The second type of stability result is for Weyl modules. We prove that the dimension of the $S_{m+r}$ invariants for a Weyl module ${}_{m+r}F^λ$ (the Schur-Weyl dual of the $S_{|λ|}$ module $V^λ$) with $\left\vert λ\right\vert \leq m$ is of the same dimension as the space of $S_{m}$ invariants for ${}_{m}F^λ$. Multigraded versions of the first type of result are given, as are multigraded generalizations to non-trivial modules of symmetric groups.
Ribbon decomposition and twisted Hurwitz numbers
Published
• View Publication
• BIB
Ribbon decomposition is a way to obtain a surface with boundary (compact, not necessarily oriented) from a collection of disks by joining them with narrow ribbons attached to segments of the boundary. Counting ribbon decompositions gives rise to a "twisted" version of the classical Hurwitz numbers (studied earlier in \cite{CD} in a different context) and of the cut-and-join equation. We also provide an algebraic description of these numbers and an explicit formula for them in terms of zonal polynomials.
Some new symmetric structures in Ramsey theory
In this article, we will investigate several new configurations in Ramsey Theory, using the $\ostar_{l,k}$-operation on the set of integers, recently introduced in \cite{key-4}. This operation is useful to study symmetric structures in the set of integers, such as monochromatic configurations of the form $\left\{ x,y,x+y+xy\right\} $ as one of its simplest case. In \cite{key-4}, the author has studied more general symmetric structures. It has been shown that the Hindman's Theorem, van der Waerden's Theorem, Deuber's Theorem have their own symmetric versions. In this article we will explore several new structures, including polynomial versions of these symmetric structures and some of its variants. As a result, we get several new symmetric polynomial configurations as well as new linear symmetric patterns. In the final section, we will also introduce two new operations on the set of non-negative integers $\mathbb{N}$, to obtain further new configurations.
Combinatorial classification of $(\pm 1)$-skew projective spaces
Published
• View Publication
• BIB
The noncommutative projective scheme $\operatorname{\mathsf{Proj_{nc}}} S$ of a $(\pm 1)$-skew polynomial algebra $S$ in $n$ variables is considered to be a $(\pm 1)$-skew projective space of dimension $n-1$. In this paper, using combinatorial methods, we give a classification theorem for $(\pm 1)$-skew projective spaces. Specifically, among other equivalences, we prove that $(\pm 1)$-skew projective spaces $\operatorname{\mathsf{Proj_{nc}}} S$ and $\operatorname{\mathsf{Proj_{nc}}} S'$ are isomorphic if and only if certain graphs associated to $S$ and $S'$ are switching (or mutation) equivalent. We also discuss invariants of $(\pm 1)$-skew projective spaces from a combinatorial point of view.
A combinatorial approach to counting primitive periodic and primitive pseudo orbits on circulant graphs
For families of 4-regular directed circulant graphs with $n$ vertices, we count the number of primitive periodic orbits of length up to at least $n$. The relevant counting techniques are then extended to count the number of primitive pseudo orbits (sets of distinct primitive periodic orbits) of length up to at least $n$ that lack self-intersections, or that self-intersect only at individual vertices repeated exactly twice (2-encounters of length zero), for two particular families of 4-regular directed circulant graphs. We then regard these two families of graphs as families of quantum graphs and use the counting results to compute the variance of the coefficients of the quantum graph's characteristic polynomial.
Bijective enumerations for symmetrized poly-Bernoulli polynomials
Published
• View Publication
• BIB
Recently, Bényi and the second author introduced two combinatorial interpretations for symmetrized poly-Bernoulli polynomials. In the present study, we construct bijections between these combinatorial objects. We also define various combinatorial polynomials and prove that all of these polynomials coincide with symmetrized poly-Bernoulli polynomials.
Polynomial bounds for chromatic number. II. Excluding a star-forest
Published
• View Publication
• BIB
The Gyarfas-Sumner conjecture says that for every forest $H$, there is a function $f$ such that if $G$ is $H$-free then $χ(G)\le f(ω(G))$ (where $χ, ω$ are the chromatic number and the clique number of $G$). Louis Esperet conjectured that, whenever such a statement holds, $f$ can be chosen to be a polynomial. The Gyarfas-Sumner conjecture is only known to be true for a modest set of forests $H$, and Esperet's conjecture is known to be true for almost no forests. For instance, it is not known when $H$ is a five-vertex path. Here we prove Esperet's conjecture when each component of $H$ is a star.