polynomial
11239 papers tagged with this keyword
Signed Euler-Mahonian identities
Published
• View Publication
• BIB
A relationship between signed Eulerian polynomials and the classical Eulerian polynomials on $\mathfrak{S}_n$ was given by Désarménien and Foata in 1992, and a refined version, called signed Euler-Mahonian identity, together with a bijective proof were proposed by Wachs in the same year. By generalizing this bijection, in this paper we extend the above results to the Coxeter groups of types $B_n$, $D_n$, and the complex reflection group $G(r,1,n)$, where the `sign' is taken to be any one-dimensional character. Some obtained identities can be further restricted on some particular set of permutations. We also derive some new interesting sign-balance polynomials for types $B_n$ and $D_n$.
Generalized permutations related to the degenerate Eulerian numbers
In this work we propose a combinatorial model that generalizes the standard definition of permutation. Our model generalizes the degenerate Eulerian polynomials and numbers of Carlitz from 1979 and provides missing combinatorial proofs for some relations on the degenerate Eulerian numbers.
Support of Closed Walks and Second Eigenvalue Multiplicity of the Normalized Adjacency Matrix
Published in STOC 2021
• View Publication
• BIB
We show that the multiplicity of the second normalized adjacency matrix eigenvalue of any connected graph of maximum degree $Δ$ is bounded by $O(n Δ^{7/5}/\log^{1/5-o(1)}n)$ for any $Δ$, and by $O(n\log^{1/2}d/\log^{1/4-o(1)}n)$ for simple $d$-regular graphs when $d\ge \log^{1/4}n$. In fact, the same bounds hold for the number of eigenvalues in any interval of width $λ_2/\log_Δ^{1-o(1)}n$ containing the second eigenvalue $λ_2$. The main ingredient in the proof is a polynomial (in $k$) lower bound on the typical support of a closed random walk of length $2k$ in any connected graph, which in turn relies on new lower bounds for the entries of the Perron eigenvector of submatrices of the normalized adjacency matrix.
Combinatorial Methods for Minkowski Tensors of Polytopes
In this paper we use a generating function approach to record and calculate entries of the Minkowski tensors of a polytope. We focus on ''surface tensors'', extending the methods used in arXiv:1807.10258 for moments of the uniform distribution which correspond to volume tensors. In this context we also extend the definition of the adjoint polynomial to the boundary complex of a polytope with simplicial facets. In the case of simplicial polytopes we give an explicit formulation for these surface tensors.
Bounding the trace function of a hypergraph with applications
Published
• View Publication
• BIB
An upper bound on the trace function of a hypergraph $H$ is derived and its applications are demonstrated. For instance, a new upper bound for the VC dimension of $H$, or $vc(H)$, follows as a consequence and can be used to compute $vc(H)$ in polynomial time provided that $H$ has bounded degeneracy. This was not previously known. Particularly, when $H$ is a hypergraph arising from closed neighborhoods of a graph, this approach asymptotically improves the time complexity of the previous result for computing $vc(H)$. Another consequence is a general lower bound on the {\it distinguishing transversal number } of $H$ that gives rise to applications in domination theory of graphs. To effectively apply the methods developed here, one needs to have good estimations of degeneracy, and its variation or reduced degeneracy which is introduced here.
Diffeomorphisms of Scalar Quantum Fields via Generating Functions
Published
• View Publication
• BIB
We study the application of formal diffeomorphisms to scalar fields. We give a new proof that interacting tree amplitudes vanish in the resulting theories. Our proof is directly at the diagrammatic level, not appealing to the path integral, and proceeds via a generating function analysis so is more insightful than previous proofs. Along the way we give new combinatorial proofs of some Bell polynomial identities, and we comment on the connection with the combinatorial Legendre transform.
Using a geometric lens to find k disjoint shortest paths
Published
• View Publication
• BIB
Given an undirected $n$-vertex graph and $k$ pairs of terminal vertices $(s_1,t_1), \ldots, (s_k,t_k)$, the $k$-Disjoint Shortest Paths ($k$-DSP)-problem asks whether there are $k$ pairwise vertex-disjoint paths $P_1,\ldots, P_k$ such that $P_i$ is a shortest $s_i$-$t_i$-path for each $i \in [k]$. Recently, Lochet [SODA 2021] provided an algorithm that solves $k$-DSP in $n^{O(k^{5^k})}$ time, answering a 20-year old question about the computational complexity of $k$-DSP for constant $k$. On the one hand, we present an improved $n^{O(k!k)}$-time algorithm based on a novel geometric view on this problem. For the special case $k=2$ on $m$-edge graphs, we show that the running time can be further reduced to $O(nm)$ by small modifications of the algorithm and a refined analysis. On the other hand, we show that $k$-DSP is W[1]-hard with respect to $k$, showing that the dependency of the degree of the polynomial running time on the parameter $k$ is presumably unavoidable.
A unified approach to combinatorial triangles: a generalized Eulerian polynomial
Motivated by the classical Eulerian number, descent and excedance numbers in the hyperoctahedral groups, an triangular array from staircase tableaux and so on, we study a triangular array $[\mathcal {T}_{n,k}]_{n,k\ge 0}$ satisfying the recurrence relation: \begin{equation*} \mathcal {T}_{n,k}=λ(a_0n+a_1k+a_2)\mathcal {T}_{n-1,k}+(b_0n+b_1k+b_2)\mathcal {T}_{n-1,k-1}+\frac{cd}λ(n-k+1)\mathcal {T}_{n-1,k-2} \end{equation*} with $\mathcal {T}_{0,0}=1$ and $\mathcal {T}_{n,k}=0$ unless $0\le k\le n$. We derive a functional transformation for its row-generating function $\mathcal{T}_n(x)$ from the row-generating function $A_n(x)$ of another array $[A_{n,k}]_{n,k}$ satisfying a two-term recurrence relation. Based on this transformation, we can get properties of $\mathcal {T}_{n,k}$ and $\mathcal{T}_n(x)$ including nonnegativity, log-concavity, real rootedness, explicit formula and so on. Then we extend the famous Frobenius formula, the $γ$ positivity decomposition and the David-Barton formula for the classical Eulerian polynomial to those of a generalized Eulerian polynomial. We also get an identity for the generalized Eulerian polynomial with the general derivative polynomial.
Finally, we apply our results to an array from the Lambert function, a triangular array from staircase tableaux and the alternating-runs triangle of type $B$ in a unified approach.
Discrete harmonic functions on infinite penny graphs
Published
• View Publication
• BIB
In this paper, we study discrete harmonic functions on infinite penny graphs. For an infinite penny graph with bounded facial degree, we prove that the volume doubling property and the Poincaré inequality hold, which yields the Harnack inequality for positive harmonic functions. Moreover, we prove that the space of polynomial growth harmonic functions, or ancient solutions of the heat equation, with bounded growth rate has finite dimensional property.
Crossings and nestings over some Motzkin objects and $q$-Motzkin numbers
Published in The electronic journal of combinatorics 28(3)(2021), #P3.14
• View Publication
• BIB
We examine the enumeration of certain Motzkin objects according to the numbers of crossings and nestings. With respect to continued fractions, we compute and express the distributions of the statistics of the numbers of crossings and nestings over three sets, namely the set of $4321$-avoiding involutions, the set of $3412$-avoiding involutions, and the set of $(321,3\bar{1}42)$-avoiding permutations. To get our results, we exploit the bijection of Biane restricted to the sets of $4321$- and $3412$-avoiding involutions which was characterized by Barnabei et al.~ and the bijection between $(321,3\bar{1}42)$-avoiding permutations and Motzkin paths, presented by Chen et al.~. Furthermore, we manipulate the obtained continued fractions to get the recursion formulas for the polynomial distributions of crossings and nestings, and it follows that the results involve two new $q$-Motzkin numbers.
A class of graphs with large rankwidth
Published in Discrete Mathematics, Volume 347, Issue 1, 2024, 113699
• View Publication
• BIB
We describe several graphs with arbitrarily large rankwidth (or equivalently with arbitrarily large cliquewidth). Korpelainen, Lozin, and Mayhill [Split permutation graphs, Graphs and Combinatorics, 30(3):633-646, 2014] proved that there exist split graphs with Dilworth number 2 with arbitrarily large rankwidth, but without explicitly constructing them. We provide an explicit construction. Maffray, Penev, and Vušković [Coloring rings, Journal of Graph Theory 96(4):642-683, 2021] proved that graphs that they call rings on $n$ sets can be colored in polynomial time. We show that for every fixed integer $n\geq 3$, there exist rings on $n$ sets with arbitrarily large rankwidth. When $n\geq 5$ and $n$ is odd, this provides a new construction of even-hole-free graphs with arbitrarily large rankwidth.
Some observations on the connection between Stirling numbers and Bessel numbers
Published in Electron. J. Combin. 29 (2022) P1.40
• View Publication
• BIB
We present new proofs for some summation identities involving Stirling numbers of both first and second kind. The two main identities show a connection between Stirling numbers and Bessel numbers. Our method is based on solving a particular recurrence relation in two different ways and comparing the coefficients in the resulting polynomial expressions. We also briefly discuss a probabilistic setting where this recurrence relation occurs.
On flag-transitive imprimitive 2-designs
Published
• View Publication
• BIB
In 1987, Huw Davies proved that, for a flag-transitive point-imprimitive $2$-$(v,k,λ)$ design, both the block-size $k$ and the number $v$ of points are bounded by functions of $λ$, but he did not make these bounds explicit. In this paper we derive explicit polynomial functions of $λ$ bounding $k$ and $v$. For $λ\leq 4$ we obtain a list of `numerically feasible' parameter sets $v, k, λ$ together with the number of parts and part-size of an invariant point-partition and the size of a nontrivial block-part intersection. Moreover from these parameter sets we determine all examples with fewer than $100$ points. There are exactly eleven such examples, and for one of these designs, a flag-regular, point-imprimitive $2-(36,8,4)$ design with automorphism group ${\rm Sym}(6)$, there seems to be no construction previously available in the literature.
Refined Cauchy identity for spin Hall-Littlewood symmetric rational functions
Published
• View Publication
• BIB
Fully inhomogeneous spin Hall-Littlewood symmetric rational functions $\mathsf{F}_λ$ arise in the context of $\mathfrak{sl}(2)$ higher spin six vertex models, and are multiparameter deformations of the classical Hall-Littlewood symmetric polynomials. We obtain a refined Cauchy identity expressing a weighted sum of the product of two $\mathsf{F}_λ$'s as a determinant. The determinant is of Izergin-Korepin type: it is the partition function of the six vertex model with suitably decorated domain wall boundary conditions. The proof of equality of two partition functions is based on the Yang-Baxter equation.
We rewrite our Izergin-Korepin type determinant in a different form which includes one of the sets of variables in a completely symmetric way. This determinantal identity might be of independent interest, and also allows to directly link the spin Hall-Littlewood rational functions with (the Hall-Littlewood particular case of) the interpolation Macdonald polynomials. In a different direction, a Schur expansion of our Izergin-Korepin type determinant yields a deformation of Schur symmetric polynomials.
In the spin-$\frac12$ specialization, our refined Cauchy identity leads to a summation identity for eigenfunctions of the ASEP (Asymmetric Simple Exclusion Process), a celebrated stochastic interacting particle system in the Kardar-Parisi-Zhang universality class. This produces explicit integral formulas for certain multitime probabilities in ASEP.
A Vertex-Weighted Tutte Symmetric Function, and Constructing Graphs with Equal Chromatic Symmetric Function
Published in The Electronic Journal of Combinatorics (2021): P2-1
• View Publication
• BIB
This paper has two main parts. First, we consider the Tutte symmetric function $XB$, a generalization of the chromatic symmetric function. We introduce a vertex-weighted version of $XB$ and show that this function admits a deletion-contraction relation. We also demonstrate that the vertex-weighted $XB$ admits spanning-tree and spanning-forest expansions generalizing those of the Tutte polynomial by connecting $XB$ to other graph functions. Second, we give several methods for constructing nonisomorphic graphs with equal chromatic and Tutte symmetric functions, and use them to provide specific examples.
Hankel Determinants of sequences related to Bernoulli and Euler Polynomials
Published
• View Publication
• BIB
We evaluate the Hankel determinants of various sequences related to Bernoulli and Euler numbers and special values of the corresponding polynomials. Some of these results arise as special cases of Hankel determinants of certain sums and differences of Bernoulli and Euler polynomials, while others are consequences of a method that uses the derivatives of Bernoulli and Euler polynomials. We also obtain Hankel determinants for sequences of sums and differences of powers and for generalized Bernoulli polynomials belonging to certain Dirichlet characters with small conductors. Finally, we collect and organize Hankel determinant identities for numerous sequences, both new and known, containing Bernoulli and Euler numbers and polynomials.
Matroid Chern-Schwartz-MacPherson cycles and Tutte activities
Published
• View Publication
• BIB
Lopéz de Medrano-Rinćon-Shaw defined Chern-Schwartz-MacPherson cycles for an arbitrary matroid $M$ and proved by an inductive geometric argument that the unsigned degrees of these cycles agree with the coefficients of $T(M;x,0)$, where $T(M;x,y)$ is the Tutte polynomial associated to $M$. Ardila-Denham-Huh recently utilized this interpretation of these coefficients in order to demonstrate their log-concavity. In this note we provide a direct calculation of the degree of a matroid Chern-Schwartz-MacPherson cycle by taking its stable intersection with a generic tropical linear space of the appropriate codimension and showing that the weighted point count agrees with the Gioan-Las Vergnas refined activities expansion of the Tutte polynomial.
Promotion and cyclic sieving on families of SSYT
Published in Ark. Mat., 59 (2021), 247-274
• View Publication
• BIB
We examine a few families of semistandard Young tableaux, for which we observe the cyclic sieving phenomenon under promotion.
The first family we consider consists of stretched hook shapes, where we use the cocharge generating polynomial as CSP-polynomial.
The second family we consider consists of skew shapes, consisting of rectangles. Again, the charge generating polynomial together with promotion exhibits the cyclic sieving phenomenon. This generalizes earlier result by B. Rhoades and later B. Fontaine and J. Kamnitzer.
Finally, we consider certain skew ribbons, where promotion behaves in a predictable manner. This result is stated in form of a bicyclic sieving phenomenon.
One of the tools we use is a novel method for computing charge of skew semistandard tableaux, in the case when every number in the tableau occur with the same frequency.
Decreasing Minimization on M-convex Sets: Background and Structures
Published
• View Publication
• BIB
The present work is the first member of a pair of papers concerning decreasingly-minimal (dec-min) elements of a set of integral vectors, where a vector is dec-min if its largest component is as small as possible, within this, the next largest component is as small as possible, and so on. This discrete notion, along with its fractional counterpart, showed up earlier in the literature under various names.
The domain we consider is an M-convex set, that is, the set of integral elements of an integral base-polyhedron. A fundamental difference between the fractional and the discrete case is that a base-polyhedron has always a unique dec-min element, while the set of dec-min elements of an M-convex set admits a rich structure, described here with the help of a "canonical chain". As a consequence, we prove that this set arises from a matroid by translating the characteristic vectors of its bases with an integral vector.
By relying on these characterizations, we prove that an element is dec-min if and only if the square-sum of its components is minimum, a property resulting in a new type of min-max theorems. The characterizations also give rise, as shown in the companion paper, to a strongly polynomial algorithm, and to several applications in the areas of resource allocation, network flow, matroid, and graph orientation problems, which actually provided a major motivation to the present investigations. In particular, we prove a conjecture on graph orientation.
Decreasing Minimization on M-convex Sets: Algorithms and Applications
Published
• View Publication
• BIB
This paper is concerned with algorithms and applications of decreasing minimization on an M-convex set, which is the set of integral elements of an integral base-polyhedron. Based on a recent characterization of decreasingly minimal (dec-min) elements, we develop a strongly polynomial algorithm for computing a dec-min element of an M-convex set. The matroidal feature of the set of dec-min elements makes it possible to compute a minimum cost dec-min element, as well. Our second goal is to exhibit various applications in matroid and network optimization, resource allocation, and (hyper)graph orientation. We extend earlier results on semi-matchings to a large degree by developing a structural description of dec-min in-degree bounded orientations of a graph. This characterization gives rise to a strongly polynomial algorithm for finding a minimum edge-cost dec-min orientation.