polynomial
11432 papers tagged with this keyword
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.
FPT Algorithms for Finding Near-Cliques in $c$-Closed Graphs
Finding large cliques or cliques missing a few edges is a fundamental algorithmic task in the study of real-world graphs, with applications in community detection, pattern recognition, and clustering. A number of effective backtracking-based heuristics for these problems have emerged from recent empirical work in social network analysis. Given the NP-hardness of variants of clique counting, these results raise a challenge for beyond worst-case analysis of these problems. Inspired by the triadic closure of real-world graphs, Fox et al. (SICOMP 2020) introduced the notion of $c$-closed graphs and proved that maximal clique enumeration is fixed-parameter tractable with respect to $c$.
In practice, due to noise in data, one wishes to actually discover "near-cliques", which can be characterized as cliques with a sparse subgraph removed. In this work, we prove that many different kinds of maximal near-cliques can be enumerated in polynomial time (and FPT in $c$) for $c$-closed graphs. We study various established notions of such substructures, including $k$-plexes, complements of bounded-degeneracy and bounded-treewidth graphs. Interestingly, our algorithms follow relatively simple backtracking procedures, analogous to what is done in practice. Our results underscore the significance of the $c$-closed graph class for theoretical understanding of social network analysis.
Multiplicity-free key polynomials
Published in Ann. Comb. 27 (2023), no. 2, 387-411
• View Publication
• BIB
The key polynomials, defined by A. Lascoux-M.-P. Schützenberger, are characters for the Demazure modules of type A. We classify multiplicity-free key polynomials. The proof uses two combinatorial models for key polynomials. The first is due to A. Kohnert. The second is by S. Assaf-D. Searles, in terms of quasi-key polynomials. Our argument proves a sufficient condition for a quasi-key polynomial to be multiplicity-free.
Coxeter combinatorics and spherical Schubert geometry
Published in Journal of Lie Theory 32 (2022), No. 2, 447--474
• View Publication
• BIB
For a finite Coxeter system and a subset of its diagram nodes, we define spherical elements (a generalization of Coxeter elements). Conjecturally, for Weyl groups, spherical elements index Schubert varieties in a flag manifold G/B that are spherical for the action of a Levi subgroup. We evidence the conjecture, employing the combinatorics of Demazure modules, and work of R. Avdeev-A. Petukhov, M. Can-R. Hodges, R. Hodges-V. Lakshmibai, P. Karuppuchamy, P. Magyar-J. Weyman-A. Zelevinsky, N. Perrin, J. Stembridge, and B. Tenner. In type A, we establish connections with the key polynomials of A. Lascoux- M.-P. Schützenberger, multiplicity-freeness, and split-symmetry in algebraic combinatorics. Thereby, we invoke theorems of A. Kohnert, V. Reiner-M. Shimozono, and C. Ross-A. Yong.
Rolling backwards can move you forward: on embedding problems in sparse expanders
We develop a general embedding method based on the Friedman-Pippenger tree embedding technique (1987) and its algorithmic version, essentially due to Aggarwal et al. (1996), enhanced with a roll-back idea allowing to sequentially retrace previously performed embedding steps. We use this method to obtain the following results.
-We show that the size-Ramsey number of logarithmically long subdivisions of bounded degree graphs is linear in their number of vertices, settling a conjecture of Pak (2002).
-We give a deterministic, polynomial time online algorithm for finding vertex-disjoint paths of prescribed length between given pairs of vertices in an expander graph. Our result answers a question of Alon and Capalbo (2007).
-We show that relatively weak bounds on the spectral ratio of $d$-regular graphs force the existence of a topological minor of $K_t$ where $t=(1-o(1))d$. We also exhibit a construction which shows that the theoretical maximum $t=d+1$ cannot be attained even if $λ=O(\sqrt{d})$. This answers a question of Fountoulakis, Kühn and Osthus (2009).
Capacity Lower Bounds via Productization
Published
• View Publication
• BIB
We give a sharp lower bound on the capacity of a real stable polynomial, depending only on the value of its gradient at $x = 1$. This result implies a sharp improvement to a similar inequality proved by Linial-Samorodnitsky-Wigderson in 2000, which was crucial to the analysis of their permanent approximation algorithm. Such inequalities have played an important role in the recent work on operator scaling and its generalizations and applications, and in fact we use our bound to construct a new scaling algorithm for real stable polynomials.
In addition, we give a strong improvement on previous lower bounds of the capacity of a non-homogeneous real stable polynomial, depending only on the value of its gradient at $x = 1$. Crucially, this new bound is independent of the degree of the polynomial, and has singly exponential dependence on the number of variables. This compares favorably to the bounds used recently in the fantastic work of Karlin-Klein-Oveis Gharan to give an improved approximation factor for metric TSP, where this dependence is doubly exponential. Such bounds were conjectured to exist by the authors, and thus our new bound should imply further improvement to the approximation factor for metric TSP.
The new technique we develop to prove this bound is productization, which says that any real stable polynomial can be approximated at any point in the positive orthant by a product of linear forms. Beyond the results of this paper, our main hope is that this new technique will allow us to avoid "frightening technicalities", in the words of Laurent and Schrijver, that often accompany combinatorial lower bounds.
Combinatorics of Continuants of Continued Fractions with 3 Limits
Published
• View Publication
• BIB
We give combinatorial descriptions of the terms occurring in continuants of general continued fractions that diverge to three limits. Equating these with the usual combinatorial descriptions due to Euler, Sylvester, and Minding induces nontrivial polynomial identities. Special cases and applications to counting sequences are given.
Improved Extractors for Small-Space Sources
Published
• View Publication
• BIB
We study the problem of extracting random bits from weak sources that are sampled by algorithms with limited memory. This model of small-space sources was introduced by Kamp, Rao, Vadhan and Zuckerman (STOC'06), and falls into a line of research initiated by Trevisan and Vadhan (FOCS'00) on extracting randomness from weak sources that are sampled by computationally bounded algorithms. Our main results are the following.
1. We obtain near-optimal extractors for small-space sources in the polynomial error regime. For space $s$ sources over $n$ bits, our extractors require just $k\geq s\cdot$polylog$(n)$ entropy. This is an exponential improvement over the previous best result, which required $k\geq s^{1.1}\cdot2^{\log^{0.51} n}$ (Chattopadhyay and Li, STOC'16).
2. We obtain improved extractors for small-space sources in the negligible error regime. For space $s$ sources over $n$ bits, our extractors require entropy $k\geq n^{1/2+δ}\cdot s^{1/2-δ}$, whereas the previous best result required $k\geq n^{2/3+δ}\cdot s^{1/3-δ}$ (Chattopadhyay, Goodman, Goyal and Li, STOC'20).
To obtain our first result, the key ingredient is a new reduction from small-space sources to affine sources, allowing us to simply apply a good affine extractor.
To obtain our second result, we must develop some new machinery, since we do not have low-error affine extractors that work for low entropy. Our main tool is a significantly improved extractor for adversarial sources, which is built via a simple framework that makes novel use of a certain kind of leakage-resilient extractors (known as cylinder intersection extractors), by combining them with a general type of extremal designs. Our key ingredient is the first derandomization of these designs, which we obtain using new connections to coding theory and additive combinatorics.