arXiv++ Combinatorics

Browse math.CO papers from arXiv

polynomial

11239 papers tagged with this keyword
2020-10-14
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.
2020-10-14
More on ordered open end bin packing
Published • View PublicationBIB
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.
2020-10-13
Harmonic functions of polynomial growth on infinite penny graphs
Published • View PublicationBIB
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.
2020-10-12
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.
2020-10-12 v4
On lattice point counting in $Δ$-modular polyhedra
Published in Optim Lett 16, 1991-2018 (2022) • View PublicationBIB
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 $Δ$.
2020-10-12 v2
Motivic classes of degeneracy loci and pointed Brill-Noether varieties
Published • View PublicationBIB
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.
2020-10-11 v2
Horizontal and Vertical Log-Concavity
Published • View PublicationBIB
Horizontal and vertical generating functions and recursion relations have been investigated by Comtet for triangular double sequences. In this paper we investigate the horizontal and vertical log-concavity of triangular sequences assigned to polynomials which show up in combinatorics, number theory and physics. This includes Laguerre polynomials, the Pochhammer polynomials, the D'Arcais and Nekrasov--Okounkov polynomials.
2020-10-10 v3
Bilinear expansions of lattices of KP $τ$-functions in BKP $τ$-functions: a fermionic approach
Published in J. Math. Phys. 62, 013508 (2021) • View PublicationBIB
We derive a bilinear expansion expressing elements of a lattice of KP $τ$-functions, labelled by partitions, as a sum over products of pairs of elements of an associated lattice of BKP $τ$-functions, labelled by strict partitions. This generalizes earlier results relating determinants and Pfaffians of minors of skew symmetric matrices, with applications to Schur functions and Schur $Q$-functions. It is deduced using the representations of KP and BKP $τ$-functions as vacuum expectation values (VEV's) of products of fermionic operators of charged and neutral type, respectively. The lattice is generated by insertion of products of pairs of charged creation and annihilation operators. The result follows from expanding the product as a sum of monomials in the neutral fermionic generators and applying a factorization theorem for VEV's of products of operators in the mutually commuting subalgebras. Applications include the case of inhomogeneous polynomial $τ$-functions of KP and BKP type.
2020-10-10
Combining the Mersenne Twister and the Xorgens Designs
We combine the design of two \emph{random number generators}, \emph{Mersenne Twister} and \emph{Xorgens}, to obtain a new class of generators with heavy-weight characteristic polynomials (exceeded only by the {\sc well} generators) and high speed (comparable with the originals). Tables with parameter combinations are included for state sizes ranging from 521 to 44497 bits and each of the word lengths 32, 64, 128. These generators passed all tests of the \emph{TestU01}-package for each 32-bit integer part and each 64-bit derived real part of the output. We determine \emph{dimension gaps} for 32-bit words, neglecting the non-linear tempering, and compare with an alternative experimental linear tempering.
2020-10-09 v2
Congruences Related to Dual Sequences and Catalan Numbers
Published • View PublicationBIB
During the study of dual sequences, Sun introduced the polynomials \[ D_n(x,y)=\sum_{k=0}^{n}{n\choose k}{x\choose k}y^k\text{ and } S_n(x,y)=\sum_{k=0}^{n}\binom{n}{k}\binom{x}{k}\binom{-1-x}{k} y^k. \] Many related congruences have been established and conjectured by Sun. Here we generalize some of them by determining \[ \sum_{k=0}^{p-1}D_k(x_1,y_1)D_k(x_2,y_2)\pmod p \text{ and } \sum_{k=0}^{p-1}S_k(x_1,y_1)S_k(x_2,y_2)\pmod p \] for any odd prime $p$ and $p$-adic integers $x_i,\ y_i$ with $i\in\{1,2\}$. Considering the immediate connection between binomial coefficients and Catalan numbers, we also characterize \[ \sum_{n=0}^{p-1}\left(\sum_{k=0}^n {n \choose k} \frac{C_k}{a^k}\right)^2 \pmod {p}, \] where $C_k$ denotes the $k$th Catalan number, $a\in\mathbb{Z}\setminus \{0\}$ with $\gcd(a,p)=1$. These confirm and generalise some of Sun's conjectures.
2020-10-09 v3
Dimension-expanding polynomials and the discretized Elekes-Rónyai theorem
We characterize when bivariate real analytic functions are "dimension expanding" when applied to a Cartesian product. If $P$ is a bivariate real analytic function that is not locally of the form $P(x,y) = h(a(x) + b(y))$, then whenever $A$ and $B$ are Borel subsets of $\mathbb{R}$ with Hausdorff dimension $0<α<1$, we have that $P(A,B)$ has Hausdorff dimension at least $α+ ε$ for some $ε(α)>0$ that is independent of $P$. The result is sharp, in the sense that no estimate of this form can hold if $P(x,y) = h(a(x) + b(y))$. We also prove a more technical single-scale version of this result, which is an analogue of the Elekes-Rónyai theorem in the setting of the Katz-Tao discretized ring conjecture. As an application, we show that a discretized non-concentrated set cannot have small nonlinear projection under three distinct analytic projection functions, provided that the corresponding 3-web has non-vanishing Blaschke curvature.
2020-10-09 v5
A general Chevalley formula for semi-infinite flag manifolds and quantum K-theory
Published • View PublicationBIB
We give a Chevalley formula for an arbitrary weight for the torus-equivariant $K$-group of semi-infinite flag manifolds, which is expressed in terms of the quantum alcove model. As an application, we prove the Chevalley formula for an anti-dominant fundamental weight for the (small) torus-equivariant quantum $K$-theory $QK_{T}(G/B)$ of an (ordinary) flag manifold $G/B$; this has been a longstanding conjecture about the multiplicative structure of $QK_{T}(G/B)$. In type $A_{n-1}$, we prove that the so-called quantum Grothendieck polynomials indeed represent (opposite) Schubert classes in the (non-equivariant) quantum $K$-theory $QK(SL_{n}/B)$; we also obtain very explicit information about the coefficients in the respective Chevalley formula.
Zhang-Zhang Polynomials of Ribbons
Published • View PublicationBIB
We report a closed-form formula for the Zhang-Zhang polynomial (aka ZZ polynomial or Clar covering polynomial) of an important class of elementary pericondensed benzenoids $Rb\left(n_{1},n_{2},m_{1},m_{2}\right)$ usually referred to as ribbons. A straightforward derivation is based on the recently developed interface theory of benzenoids [Langner and Witek, MATCH Commun. Math. Comput. Chem. 84, 143--176 (2020)]. The discovered formula provides compact expressions for various topological invariants of $Rb\left(n_{1},n_{2},m_{1},m_{2}\right)$: the number of Kekulé structures, the number of Clar covers, its Clar number, and the number of Clar structures. The last two classes of elementary benzenoids, for which closed-form ZZ polynomial formulas remain to be found, are hexagonal flakes $O\left(k,m,n\right)$ and oblate rectangles $Or\left(m,n\right)$.
2020-10-08
Determinants and Limit Systems in some Idempotent and Non-Associative Algebraic Structure
Published • View PublicationBIB
This paper considers an idempotent and symmetrical algebraic structure as well as some closely related concept. A special notion of determinant is introduced and a Cramer formula is derived for a class of limit systems derived from the Hadamard matrix product and we give the algebraic form of a sequence of hyperplanes passing through a finite number of points. Thereby, some standard results arising for Max-Times systems with nonnegative entries appear as a special case. The case of two sided systems is also analyzed. In addition, a notion of eigenvalue in limit is considered. It is shown that one can construct a special semi-continuous regularized polynomial to find the eigenvalues of a matrix with nonnegative entries.
2020-10-08
Raising type twisted Pieri formulas for Jack polynomials and their applications to interpolation Jack polynomials
Published • View PublicationBIB
We propose new Pieri type formulas for Jack polynomials, which is another kind of Pieri type formulas than the ones in the previous paper (G. Shibukawa, arXiv:2004.12875). From these new Pieri type formulas, we give yet another proof of difference and Pieri formulas for interpolation Jack polynomials. Further, we also generalize a falling type twisted Pieri formula to the binomial type polynomials including Jack and multivariate Bernoulli polynomials.
2020-10-07
In how many distinct ways can flocks be formed? A problem in sheep combinatorics
In this short paper, we extend the concept of the strict order polynomial $Ω_{P}^{\circ}(n)$, which enumerates the number of strict order-preserving maps $φ:P\rightarrow\boldsymbol{n}$ for a poset $P$, to the extended strict order polynomial $\text{E}_{P}^{\circ}(n,z)$, which enumerates analogous maps for the elements of the power set $\mathcal{P}(P)$. The problem at hand immediately reduces to the problem of enumeration of linear extensions for the subposets of $P$. We show that for every $Q\subset P$ a given linear extension $v$ of $Q$ can be associated with a unique linear extension $w$ of $P$. The number of such linear extensions $v$ (of length $k$) associated with a given linear extension $w$ of $P$ can be expressed compactly as $\binom{\text{del}_{P}(w)}{k}$, where $\text{del}_{P}(w)$ is the number of deletable elements of $w$ defined in the text. Consequently the extended strict order polynomial $\text{E}_{P}^{\circ}(n,z)$ can be represented as $ \text{E}_{P}^{\circ}(n,z)=\sum_{w\in\mathcal{L}(P)}\sum_{k=0}^{p}\binom{\text{del}_{P}(w)}{p-k}\binom{n+\text{des}(w)}{k}z^{k}$. The derived equation can be used for example for solving the following combinatorial problem: Consider a community of $p$ shepherds, some of whom are connected by a master-apprentice relation (expressed as a poset $P$). Every morning, $k$ of the shepherds go out and each of them herds a flock of sheep. Community tradition stipulates that each of these $k$ shepherds will herd at least one and at most $n$ sheep, and an apprentice will always herd fewer sheep than his master (or his master's master, etc). In how many ways can the flocks be formed? The strict order polynomial answers this question for the case in which all $p$ shepherds go to work, and the extended strict order polynomial considers also all the situations in which some of the shepherds decide to take a day off.
2020-10-07 v3
The structure of translational tilings in $\mathbb{Z}^d$
We obtain structural results on translational tilings of periodic functions in $\mathbb{Z}^d$ by finite tiles. In particular, we show that any level one tiling of a periodic set in $\mathbb{Z}^2$ must be weakly periodic (the disjoint union of sets that are individually periodic in one direction), but present a counterexample of a higher level tiling of $\mathbb{Z}^2$ that fails to be weakly periodic. We also establish a quantitative version of the two-dimensional periodic tiling conjecture which asserts that any finite tile in $\mathbb{Z}^2$ that admits a tiling, must admit a periodic tiling, by providing a polynomial bound on the period; this also gives an exponential-type bound on the computational complexity of the problem of deciding whether a given finite subset of $\mathbb{Z}^2$ tiles or not. As a byproduct of our structural theory, we also obtain an explicit formula for a universal period for all tilings of a one-dimensional tile.
2020-10-07 v2
Symmetric polynomials associated with numerical semigroups
We study a new kind of symmetric polynomials P_n(x_1,...,x_m) of degree n in m real variables, which have arisen in the theory of numerical semigroups. We establish their basic properties and find their representation through the power sums E_k=\sum_{j=1}^m x_j^k. We observe a visual similarity between normalized polynomials P_n(x_1,...,x_m)/χ_m, where χ_m=\prod_{j=1}^m x_j, and a polynomial part of a partition function W(s,{d_1,...,d_m}), which gives a number of partitions of s\ge 0 into m positive integers d_j, and put forward a conjecture about their relationship.
2020-10-07
Poincaré polynomial for fully commutative elements in the symmetric group
Let $W^c(A_n)$ be the set of fully commutative elements of the Coxeter group $W(A_n)$. Let $$ a_n(q)= \sum_{w \in W^c(A_n)} q^{l(w)} . $$ We compute $a_n(q)$.