polynomial
11250 papers tagged with this keyword
Seven combinatorial problems around quasihomogeneous singularities
Published
• View Publication
• BIB
This paper proposes seven combinatorial problems around formulas for the characteristic polynomial and the spectral numbers of a quasihomogeneous singularity. One of them is a new conjecture on the characteristic polynomial. It is an amendment to an old conjecture of Orlik on the integral monodromy of a quasihomogeneous singularity. The search for a combinatorial proof of the new conjecture led us to the seven purely combinatorial problems.
Alcove random walks, k-Schur functions and the minimal boundary of the k-bounded partition poset
Published
• View Publication
• BIB
We use k-Schur functions to get the minimal boundary of the k-bounded partition poset. This permits to describe the central random walks on affine Grassmannian elements of type A and yields a polynomial expression for their drift. We also recover Rietsch's parametriza-tion of totally nonnegative unitriangular Toeplitz matrices without using quantum cohomology of flag varieties. All the homeomorphisms we define can moreover be made explicit by using the combinatorics of k-Schur functions and elementary computations based on Perron-Frobenius theorem.
On the algorithmic complexity of decomposing graphs into regular/irregular structures
A locally irregular graph is a graph whose adjacent vertices have distinct degrees, a regular graph is a graph where each vertex has the same degree and a locally regular graph is a graph where for every two adjacent vertices u, v, their degrees are equal. In this work, we study the set of all problems which are related to decomposition of graphs into regular, locally regular and/or locally irregular subgraphs and we present some polynomial time algorithms, NP-completeness results, lower bounds and upper bounds for them. Among our results, one of our lower bounds makes use of mutually orthogonal Latin squares which is relatively novel.
An Asymptotically Tight Bound on the Number of Relevant Variables in a Bounded Degree Boolean Function
Published
• View Publication
• BIB
We prove that there is a constant $C\leq 6.614$ such that every Boolean function of degree at most $d$ (as a polynomial over $\mathbb{R}$) is a $C\cdot 2^d$-junta, i.e. it depends on at most $C\cdot 2^d$ variables. This improves the $d\cdot 2^{d-1}$ upper bound of Nisan and Szegedy [Computational Complexity 4 (1994)]. Our proof uses a new weighting scheme where we assign weights to variables based on the highest degree monomial they appear on.
The bound of $C\cdot 2^d$ is tight up to the constant $C$ as a lower bound of $2^d-1$ is achieved by a read-once decision tree of depth $d$. We slightly improve the lower bound by constructing, for each positive integer $d$, a function of degree $d$ with $3\cdot 2^{d-1}-2$ relevant variables. A similar construction was independently observed by Shinkar and Tal.
The cohomology rings of regular nilpotent Hessenberg varieties and Schubert polynomials
Published
• View Publication
• BIB
In this paper we study a relation between the cohomology ring of a regular nilpotent Hessenberg variety and Schubert polynomials. To describe an explicit presentation of the cohomology ring of a regular nilpotent Hessenberg variety, polynomials $f_{i,j}$ were introduced by Abe-Harada-Horiguchi-Masuda. We show that every polynomial $f_{i,j}$ is an alternating sum of certain Schubert polynomials.
Recurrence Relations for Wronskian Hermite Polynomials
Published in SIGMA 14 (2018), 048, 29 pages
• View Publication
• BIB
We consider polynomials that are defined as Wronskians of certain sets of Hermite polynomials. Our main result is a recurrence relation for these polynomials in terms of those of one or two degrees smaller, which generalizes the well-known three term recurrence relation for Hermite polynomials. The polynomials are defined using partitions of natural numbers, and the coefficients in the recurrence relation can be expressed in terms of the number of standard Young tableaux of these partitions. Using the recurrence relation, we provide another recurrence relation and show that the average of the considered polynomials with respect to the Plancherel measure is very simple. Furthermore, we show that some existing results in the literature are easy corollaries of the recurrence relation.
On iterated product sets with shifts
Published in Mathematika 65 (2019) 831-850
• View Publication
• BIB
We prove that, for any finite set $A \subset \mathbb Q$ with $|AA| \leq K|A|$ and any positive integer $k$, the $k$-fold product set of the shift $A+1$ satisfies the bound $$| \{(a_1+1)(a_2+1) \cdots (a_k+1) : a_i \in A \}| \geq \frac{|A|^k}{(8k^4)^{kK}}. $$ This result is essentially optimal when $K$ is of the order $c\log|A|$, for a sufficiently small constant $c=c(k)$.
Our main tool is a multiplicative variant of the $Λ$-constants used in harmonic analysis, applied to Dirichlet polynomials.
Hall-Littlewood expansions of Schur delta operators at $t = 0$
For any Schur function $s_ν$, the associated {\em delta operator} $Δ'_{s_ν}$ is a linear operator on the ring of symmetric functions which has the modified Macdonald polynomials as an eigenbasis. When $ν= (1^{n-1})$ is a column of length $n-1$, the symmetric function $Δ'_{e_{n-1}} e_n$ appears in the Shuffle Theorem of Carlsson-Mellit. More generally, when $ν= (1^{k-1})$ is any column the polynomial $Δ'_{e_{k-1}} e_n$ is the symmetric function side of the Delta Conjecture of Haglund-Remmel-Wilson. We give an expansion of $ωΔ'_{s_ν} e_n$ at $t = 0$ in the dual Hall-Littlewood basis for any partition $ν$. The Delta Conjecture at $t = 0$ was recently proven by Garsia-Haglund-Remmel-Yoo; our methods give a new proof of this result. We give an algebraic interpretation of $ωΔ'_{s_ν} e_n$ at $t = 0$ in terms of a $\mathrm{Hom}$-space.
The ascent-plateau statistics on Stirling permutations
Published
• View Publication
• BIB
In this paper, several variants of the ascent-plateau statistic are introduced, including flag ascent-plateau, double ascent and descent-plateau. We first study the flag ascent-plateau statistic on Stirling permutations by using context-free grammars. We then present a unified refinement of the ascent polynomials and the ascent-plateau polynomials. In particular, by using Foata and Strehl's group action, we prove two bistatistics over the set of Stirling permutations of order n are equidistributed.
A framework for rank identities -- With a view towards operator algebras
Published in J. Operator Theory 89, Issue 2 (Spring 2023), 477--520
• View Publication
• BIB
For every square matrix $A$ over a field $\mathbb{K}$, we have the equality $\mathrm{rank}(A) + \mathrm{rank}(I-A) = \mathrm{rank}(I) + \mathrm{rank}(A-A^2)$ where $I$ denotes the identity matrix with the same dimensions as $A$. In this article, we start a program to systematically characterize and generalize such rank identities with a view towards applications to operator algebras. We initiate the study of so-called ranked rings (unital rings with a `rank-system'), the main examples of interest being finite von Neumann algebras, Murray-von Neumann algebras, and von Neumann rank-rings. In our framework, a field $\mathbb{K}$ may be viewed as a ranked ring with a $\mathbb{Z}^+$-valued rank-system consisting of the usual rank functions on $M_n(\mathbb{K})$ (for $n \in \mathbb{N})$ and serves as the motivating example. We show that a finite von Neumann algebra $\mathscr{R}$ with center $\mathscr{C}$ (and the corresponding Murray-von Neumann algebra $\mathscr{R}_{\textrm{aff}}$) may be endowed with a $\mathscr{C}^{+}$-valued rank-system, considering $\mathscr{C}^{+}$ as a commutative monoid with respect to operator addition. We give an algorithm to generate rank identities in ranked $\mathbb{K}$-algebras via the polynomial function calculus, and in ranked complex Banach algebras via the holomorphic function calculus. As an illustrative application, using these abstract rank identities we show that the sum of finitely many idempotents $e_1, \ldots, e_m$ in a finite von Neumann algebra is an idempotent if and only if they are mutually orthogonal, that is, $e_i e_j = δ_{ij} e_i$ for $1 \le i, j \le m$. In contrast, this does not hold in general in the ring of bounded operators on an infinite-dimensional complex Hilbert space.
Exploring a Delta Schur Conjecture
Published
• View Publication
• BIB
In \cite{HRW15}, Haglund, Remmel, Wilson state a conjecture which predicts a purely combinatorial way of obtaining the symmetric function $Δ_{e_k}e_n$. It is called the Delta Conjecture. It was recently proved in \cite{GHRY} that the Delta Conjecture is true when either $q=0$ or $t=0$. In this paper we complete a work initiated by Remmel whose initial aim was to explore the symmetric function $Δ_{s_ν} e_n$ by the same methods developed in \cite{GHRY}. Our first need here is a method for constructing a symmetric function that may be viewed as a "combinatorial side" for the symmetric function $Δ_{s_ν} e_n$ for $t=0$. Based on what was discovered in \cite{GHRY} we conjectured such a construction mechanism. We prove here that in the case that $ν=(m-k,1^k)$ with $1\le m< n$ the equality of the two sides can be established by the same methods used in \cite{GHRY}. While this work was in progress, we learned that Rhodes and Shimozono had previously constructed also such a "combinatorial side". Very recently, Jim Haglund was able to prove that their conjecture follows from the results in \cite{GHRY}. We show here that an appropriate modification of the Haglund arguments proves that the polynomial $Δ_{s_ν}e_n$ as well as the Rhoades-Shimozono "combinatorial side" have a plethystic evaluation with hook Schur function expansion.
On defectivity of families of full-dimensional point configurations
Published in Proceedings of the AMS, Series B 7 (2020), 43-51
• View Publication
• BIB
The mixed discriminant of a family of point configurations can be considered as a generalization of the $A$-discriminant of one Laurent polynomial to a family of Laurent polynomials. Generalizing the concept of defectivity, a family of point configurations is called defective if the mixed discriminant is trivial. Using a recent criterion by Furukawa and Ito we give a necessary condition for defectivity of a family in the case that all point configurations are full-dimensional. This implies the conjecture by Cattani, Cueto, Dickenstein, Di Rocco and Sturmfels that a family of $n$ full-dimensional configurations in $\mathbb{Z}^n$ is defective if and only if the mixed volume of the convex hulls of its elements is $1$.
A combinatorial model for computing volumes of flow polytopes
Published in Transactions of the American Mathematical Society 372 (2019), no. 5, 3369-3404
• View Publication
• BIB
We introduce new families of combinatorial objects whose enumeration computes volumes of flow polytopes. These objects provide an interpretation, based on parking functions, of Baldoni and Vergne's generalization of a volume formula originally due to Lidskii. We recover known flow polytope volume formulas and prove new volume formulas for flow polytopes that were seemingly unapproachable. A highlight of our model is an elegant formula for the flow polytope of a graph we call the caracol graph.
As by-products of our work, we uncover a new triangle of numbers that interpolates between Catalan numbers and the number of parking functions, we prove the log-concavity of rows of this triangle along with other sequences derived from volume computations, and we introduce a new Ehrhart-like polynomial for flow polytope volume and conjecture product formulas for the polytopes we consider.
Generalized coinvariant algebras for $G(r,1,n)$ in the Stanley-Reisner setting
Published
• View Publication
• BIB
Let $r$ and $n$ be positive integers, let $G_n$ be the complex reflection group of $n \times n$ monomial matrices whose entries are $r^{\textrm{th}}$ roots of unity and let $0 \leq k \leq n$ be an integer. Recently, Haglund, Rhoades and Shimozono ($r=1$) and Chan and Rhoades ($r>1$) introduced quotients $R_{n,k}$ (for $r>1$) and $S_{n,k}$ (for $r \geq 1$) of the polynomial ring $\mathbb{C}[x_1,\ldots,x_n]$ in $n$ variables, which for $k=n$ reduce to the classical coinvariant algebra attached to $G_n$. When $n=k$ and $r=1$, Garsia and Stanton exhibited a quotient of $\mathbb{C}[\mathbf{y}_S]$ isomorphic to the coinvariant algebra, where $\mathbb{C}[\mathbf{y}_S]$ is the polynomial ring in $2^n-1$ variables whose variables are indexed by nonempty subsets $S \subseteq [n]$. In this paper, we will define analogous quotients that are isomorphic to $R_{n,k}$ and $S_{n,k}$.
Continued fractions and orderings on the Markov numbers
Published
• View Publication
• BIB
Markov numbers are integers that appear in the solution triples of the Diophantine equation, $x^2+y^2+z^2=3xyz$, called the Markov equation. A classical topic in number theory, these numbers are related to many areas of mathematics such as combinatorics, hyperbolic geometry, approximation theory and cluster algebras.
There is a natural map from the rational numbers between zero and one to the Markov numbers. In this paper, we prove two conjectures seen in Martin Aigner's book, Markov's theorem and 100 years of the uniqueness conjecture, that determine an ordering on subsets of the Markov numbers based on their corresponding rational.
The proof relies on a relationship between Markov numbers and continuant polynomials which originates in Frobenius' 1913 paper.
Quasimonotone graphs
Published
• View Publication
• BIB
For any class $\mathcal{C}$ of bipartite graphs, we define quasi-$\cal C$ to be the class of all graphs $G$ such that every bipartition of $G$ belongs to $\cal C$. This definition is motivated by a generalisation of the switch Markov chain on perfect matchings from bipartite graphs to nonbipartite graphs. The monotone graphs, also known as bipartite permutation graphs and proper interval bigraphs, are such a class of bipartite graphs. We investigate the structure of quasi-monotone graphs and hence construct a polynomial time recognition algorithm for graphs in this class.
On the cycle index and the weight enumerator
Published
• View Publication
• BIB
In this paper, we introduce the concept of the complete cycle index and discuss a relation with the complete weight enumerator in coding theory. This work was motivated by Cameron's lecture note "Polynomial aspects of codes, matroids and permutation groups."
Degree-constrained 2-partitions of graphs
Published
• View Publication
• BIB
A $(δ\geq k_1,δ\geq k_2)$-partition of a graph $G$ is a vertex-partition $(V_1,V_2)$ of $G$ satisfying that $δ(G[V_i])\geq k_i$ for $i=1,2$. We determine, for all positive integers $k_1,k_2$, the complexity of deciding whether a given graph has a $(δ\geq k_1,δ\geq k_2)$-partition.
We also address the problem of finding a function $g(k_1,k_2)$ such that the $(δ\geq k_1,δ\geq k_2)$-partition problem is ${\cal
NP}$-complete for the class of graphs of minimum degree less than $g(k_1,k_2)$ and polynomial for all graphs with minimum degree at least $g(k_1,k_2)$. We prove that $g(1,k)=k$ for $k\ge 3$, that $g(2,2)=3$ and that $g(2,3)$, if it exists, has value 4 or 5.
Catalan numbers, Hankel determinants and Fibonacci polynomials
This (partly expository) paper originated from the study of Hankel determinants of convolution powers of Catalan numbers and of Narayana polynomials. This led to some Hankel determinants of signed Catalan numbers whose values are multiples of Fibonacci numbers and to some Hankel determinants of signed central binomial coefficients whose values are multiples of Lucas numbers. Most proofs are computational but we also include a combinatorial one due to Christian Krattenthaler. Finally we formulate some conjectures.
Rooted tree maps and the Kawashima relations for multiple zeta values
Published
• View Publication
• BIB
Recently, inspired by the Connes-Kreimer Hopf algebra of rooted trees, the second named author introduced rooted tree maps as a family of linear maps on the noncommutative polynomial algebra in two letters. These give a class of relations among multiple zeta values, which are known to be a subclass of the so-called linear part of the Kawashima relations. In this paper we show the opposite implication, that is the linear part of the Kawashima relations is implied by the relations coming from rooted tree maps.