polynomial
11432 papers tagged with this keyword
Laplacian Fractional Revival on Graphs
Published
• View Publication
• BIB
We develop the theory of fractional revival in the quantum walk on a graph using its Laplacian matrix as the Hamiltonian. We first give a spectral characterization of Laplacian fractional revival, which leads to a polynomial time algorithm to check this phenomenon and find the earliest time when it occurs. We then apply the characterization theorem to special families of graphs. In particular, we show that no tree admits Laplacian fractional revival except for the paths on two and three vertices, and the only graphs on a prime number of vertices that admit Laplacian fractional revival are double cones. Finally, we construct, through Cartesian products and joins, several infinite families of graphs that admit Laplacian fractional revival; some of these graphs exhibit polygamous fractional revival.
Combinatorics of Double Grothendieck Polynomials
Published in Electronic Journal of Combinatorics 31(4) (2024)
• View Publication
• BIB
We give a proof of the generalized Cauchy identity for double Grothendieck polynomials, a combinatorial interpretation of the stable double Grothendieck polynomials in terms of triples of tableaux, and an interpolation between the stable double Grothendieck polynomial and the weak stable double Grothendieck polynomial. This so-called half weak stable double Grothendieck polynomial evaluated at $x=y$ generalizes the type $B$ Stanley symmetric function of Billey and Haiman and is $Q$-Schur positive by degree. We conclude with two open problems as well as a conjecture regarding the $K$-theoretic analogues of factorial Schur $Q$-functions defined by Ikeda and Naruse. The conjecture is supported by code given in the appendices.
Stability of stretched root systems, root posets, and shards
Published
• View Publication
• BIB
Inspired by the infinite families of finite and affine root systems, we consider a "stretching" operation on general crystallographic root systems which, on the level of Coxeter diagrams, replaces a vertex with a path of unlabeled edges. We embed a root system into its stretched versions using a similar operation on individual roots. For a fixed root, we study the growth of two associated structures as we lengthen the stretched path: the downset in the root poset (in the sense of Björner and Brenti [3]) and the arrangement of shards, introduced by Nathan Reading. We show that both eventually admit a uniform description, and deduce enumerative consequences: the size of the downset is eventually a polynomial, and the number of shards grows exponentially.
Bernoulli-Fibonacci Polynomials
By using definition of Golden derivative, corresponding Golden exponential function and Fibonomial coefficients, we introduce generating functions for Bernoulli-Fibonacci polynomials and related numbers. Properties of these polynomials and numbers are studied in parallel with usual Bernoulli counterparts. Fibonacci numbers and Golden ratio are intrinsically involved in formulas obtained.
Signed Alternating-runs enumeration in Classical Weyl Groups
Published
• View Publication
• BIB
The alternating-runs polynomial enumerates alternating runs in the symmetric group. There are three formulae for the number of permutations, $R_{n,k}$ in $\mathfrak{S}_n$ with $k$ alternating runs, but all of them are complicated. We show that when enumerated with sign taken into account, one gets a {\it neat formula}. As a consequence, we get a near refinement of a result of Wilf on the exponent of $(1+t)$ when it divides the alternating-runs polynomial in the alternating group $\mathcal{A}_n$. Other applications include a moment-type identity and enumeration of alternating permutations in $\mathcal{A}_n$. Similar results are obtained for the type B and type D Coxeter groups.
Eulerian pairs and Eulerian recurrence systems
Published
• View Publication
• BIB
In this paper, we characterize a duality relation between Eulerian recurrences and Eulerian recurrence systems, which generalizes and unifies Hermite-Biehler decompositions of several enumerative polynomials, including flag descent polynomials for hyperoctahedral group, flag ascent-plateau polynomials for Stirling permutations, up-down run polynomials for symmetric group and alternating run polynomials for hyperoctahedral group. As applications, we derive some properties of associated enumerative polynomials. In particular, we find that both the ascent-plateau polynomials and left ascent-plateau polynomials for Stirling permutations are alternatingly increasing, and so they are unimodal with modes in the middle.
Log-rank and lifting for AND-functions
Published
• View Publication
• BIB
Let $f: \{0,1\}^n \to \{0, 1\}$ be a boolean function, and let $f_\land (x, y) = f(x \land y)$ denote the AND-function of $f$, where $x \land y$ denotes bit-wise AND. We study the deterministic communication complexity of $f_\land$ and show that, up to a $\log n$ factor, it is bounded by a polynomial in the logarithm of the real rank of the communication matrix of $f_\land$. This comes within a $\log n$ factor of establishing the log-rank conjecturefor AND-functions with no assumptions on $f$. Our result stands in contrast with previous results on special cases of the log-rank conjecture, which needed significant restrictions on $f$ such as monotonicity or low $\mathbb{F}_2$-degree. Our techniques can also be used to prove (within a $\log n$ factor) a lifting theorem for AND-functions, stating that the deterministic communication complexity of $f_\land$ is polynomially-related to the AND-decision tree complexity of $f$.
The results rely on a new structural result regarding boolean functions $f:\{0, 1\}^n \to \{0, 1\}$ with a sparse polynomial representation, which may be of independent interest. We show that if the polynomial computing $f$ has few monomials then the set system of the monomials has a small hitting set, of size poly-logarithmic in its sparsity. We also establish extensions of this result to multi-linear polynomials $f:\{0,1\}^n \to \mathbb{R}$ with a larger range.
A class of multivariate polynomial convolutions (and applications)
We prove two "master" convolution theorems for multivariate determinantal polynomials. The methods used include basic properties of what we call a "minor-orthogonal" ensemble as well as properties of the mixed discriminant of matrices. We also give applications, including a rederivation of a result of Barvinok on computing the permanent of a low rank matrix and a polynomial convolution corresponding to the unitarily invariant addition of generalized singular values.
Algebraic Methods in Difference Sets and Bent Functions
Published
• View Publication
• BIB
We provide some applications of a polynomial criterion for difference sets. These include counting the difference sets with specified parameters in terms of Hilbert functions, in particular a count of bent functions. We also consider the question about the bentness of certain Boolean functions introduced by Carlet when the $\mathcal{C}$-condition introduced by him doesn't hold.
An Involution on Semistandard Skyline Fillings
Non-attacking skyline fillings were used by Haglund, Haiman and Loehr to establish a combinatorial formula for nonsymmetric Macdonald polynomials. Semistandard skyline fillings are non-attacking skyline fillings with both major index and coinversion number equal to zero, which serve as a combinatorial model for key polynomials. In this paper, we construct an involution on semistandard skyline fillings. This involution can be viewed as a vast generalization of the classical Bender--Knuth involution. As an application, we obtain that semistandard skyline fillings are compatible with the Demazure operators, offering a new combinatorial proof that nonsymmetric Macdonald polynomials specialize to key polynomials.
Masur-Veech volumes, frequencies of simple closed geodesics and intersection numbers of moduli spaces of curves
Published in Duke Mathematical Journal, 170 no. 12 (2021), 2633-2718
• View Publication
• BIB
We express the Masur-Veech volume and the area Siegel-Veech constant of the moduli space $\mathcal{Q}_{g,n}$ of genus $g$ meromorphic quadratic differentials with $n$ simple poles as polynomials in the intersection numbers of $ψ$-classes with explicit rational coefficients. The formulae obtained in this article result from lattice point counts involving the Kontsevich volume polynomials that also appear in Mirzakhani's recursion for the Weil-Petersson volumes of the moduli spaces of bordered hyperbolic surfaces with geodesic boundaries. A similar formula for the Masur-Veech volume (though without explicit evaluation) was obtained earlier by Mirzakhani via completely different approach.
Furthermore, we prove that the density of the mapping class group orbit of any simple closed multicurve $γ$ inside the ambient set of integral measured laminations computed by Mirzakhani coincides with the density of square-tiled surfaces having horizontal cylinder decomposition associated to $γ$ among all square-tiled surfaces in $\mathcal{Q}_{g,n}$.
We study the resulting densities (or, equivalently, volume contributions) in more detail in the special case $n=0$. In particular, we compute the asymptotic frequencies of separating and non-separating simple closed geodesics on a closed hyperbolic surface of genus $g$ for small $g$ and we show that for large genera the separating closed geodesics are $\sqrt{\frac{2}{3πg}}\cdot\frac{1}{4^g}$ times less frequent.
Formulas for coefficients of polynomials assigned to arithmetic functions
Published
• View Publication
• BIB
We attach to normalized (non-vanishing) arithmetic functions $g$ and $h$ recursively defined polynomials. Let $P_0^{g,h}(x):=1$. Then \begin{equation} P_n^{g,h}(x) := \frac{x}{h(n)} \sum_{k=1}^{n} g(k) \, P_{n-k}^{g,h}(x). \end{equation} For special $g$ and $h$, we obtain the D'Arcais polynomials, which are equal to the coefficients of the $-z$th powers of the Dedekind $η$-function and are also given by Nekrasov and Okounkov as a hook length formula. Examples are offered by Pochhammer polynomials, Chebyshev polynomials of the second kind, and associated Laguerre polynomials. We present explicit formulas and identities for the coefficients of $P_n^{g,h}(x)$ which separate the impact of $g$ and $h$. Finally, we provide several applications.
Cyclic sieving and orbit harmonics
Published
• View Publication
• BIB
Orbit harmonics is a tool in combinatorial representation theory which promotes the (ungraded) action of a linear group $G$ on a finite set $X$ to a graded action of $G$ on a polynomial ring quotient by viewing $X$ as a $G$-stable point locus in $\mathbb{C}^n$. The cyclic sieving phenomenon is a notion in enumerative combinatorics which encapsulates the fixed-point structure of the action of a finite cyclic group $C$ on a finite set $X$ in terms of root-of-unity evaluations of an auxiliary polynomial $X(q)$. We apply orbit harmonics to prove cyclic sieving results.
Pretty Good State Transfer and Minimal Polynomials
We examine conditions for a pair of strongly cospectral vertices to have pretty good quantum state transfer in terms of minimal polynomials, and provide cases where pretty good state transfer can be ruled out. We also provide new examples of simple, unweighted graphs exhibiting pretty good state transfer. Finally, we consider modifying paths by adding symmetric weighted edges, and apply these results to this case.
More on ordered open end bin packing
Published
• View Publication
• BIB
We consider the Ordered Open End Bin Packing problem. Items of sizes in $(0,1]$ are presented one by one, to be assigned to bins in this order. An item can be assigned to any bin for which the current total size strictly below $1$. This means also that the bin can be overloaded by its last packed item. We improve lower and upper bounds on the asymptotic competitive ratio in the online case. Specifically, we design the first algorithm whose asymptotic competitive ratio is strictly below $2$ and it is close to the lower bound. This is in contrast to the best possible absolute approximation ratio, which is equal to $2$. We also study the offline problem where the sequence of items is known in advance, while items are still assigned to bins based on their order in the sequence. For this scenario we design an asymptotic polynomial time approximation scheme.
Singular Hodge theory for combinatorial geometries
We introduce the intersection cohomology module of a matroid and prove that it satisfies Poincaré duality, the hard Lefschetz theorem, and the Hodge-Riemann relations. As applications, we obtain proofs of Dowling and Wilson's Top-Heavy conjecture and the nonnegativity of the coefficients of Kazhdan-Lusztig polynomials for all matroids.
Harmonic functions of polynomial growth on infinite penny graphs
Published
• View Publication
• BIB
For an infinite penny graph, we study the finite-dimensional property for the space of harmonic functions, or ancient solutions of the heat equation, of polynomial growth. We prove the asymptotically sharp dimensional estimate for the above spaces.
A study of unimodality of some combinatorial sequences and polynomials
In this article, we present a short, non-exhaustive study of an important and well-known property of combinatorial sequences - unimodality. We shall have a look at a sample of classical results on unimodality and related properties, and then proceed to understand the unimodality of the Gaussian polynomial in more detail. We will look at an outline of O'Hara's proof of the unimodality of the Gaussian polynomial. In order to grasp the challenge of the problem of obtaining an injective proof of the unimodality of the Gaussian polynomial (which is still an open question), we make several attempts and understand where these attempts fail.
On lattice point counting in $Δ$-modular polyhedra
Published in Optim Lett 16, 1991-2018 (2022)
• View Publication
• BIB
Let a polyhedron $P$ be defined by one of the following ways:
(i) $P = \{x \in R^n \colon A x \leq b\}$, where $A \in Z^{(n+k) \times n}$, $b \in Z^{(n+k)}$ and $rank\, A = n$;
(ii) $P = \{x \in R_+^n \colon A x = b\}$, where $A \in Z^{k \times n}$, $b \in Z^{k}$ and $rank\, A = k$.
And let all rank order minors of $A$ be bounded by $Δ$ in absolute values. We show that the short rational generating function for the power series $$ \sum\limits_{m \in P \cap Z^n} x^m $$ can be computed with the arithmetic complexity $ O\left(T_{SNF}(d) \cdot d^{k} \cdot d^{\log_2 Δ}\right), $ where $k$ and $Δ$ are fixed, $d = \dim P$, and $T_{SNF}(m)$ is the complexity to compute the Smith Normal Form for $m \times m$ integer matrix. In particular, $d = n$ for the case (i) and $d = n-k$ for the case (ii). The simplest examples of polyhedra that meet conditions (i) or (ii) are the simplicies, the subset sum polytope and the knapsack or multidimensional knapsack polytopes. We apply these results to parametric polytopes, and show that the step polynomial representation of the function $c_P(y) = |P_{y} \cap Z^n|$, where $P_{y}$ is parametric polytope, can be computed by a polynomial time even in varying dimension if $P_{y}$ has a close structure to the cases (i) or (ii). As another consequence, we show that the coefficients $e_i(P,m)$ of the Ehrhart quasi-polynomial $$ \left| mP \cap Z^n\right| = \sum\limits_{j = 0}^n e_i(P,m)m^j $$ can be computed by a polynomial time algorithm for fixed $k$ and $Δ$.
Motivic classes of degeneracy loci and pointed Brill-Noether varieties
Published
• View Publication
• BIB
Motivic Chern and Hirzebruch classes are polynomials with K-theory and homology classes as coefficients, which specialize to Chern-Schwartz-MacPherson classes, K-theory classes, and Cappell-Shaneson L-classes. We provide formulas to compute the motivic Chern and Hirzebruch classes of Grassmannian and vexillary degeneracy loci. We apply our results to obtain the Hirzebruch $χ_y$-genus of classical and one-pointed Brill-Noether varieties, and therefore their topological Euler characteristic, holomorphic Euler characteristic, and signature.