polynomial
11250 papers tagged with this keyword
Divisors on matroids and their volumes
Published
• View Publication
• BIB
The classical volume polynomial in algebraic geometry measures the degrees of ample (and nef) divisors on a smooth projective variety. We introduce an analogous volume polynomial for matroids, and give a complete combinatorial formula. For a realizable matroid, we thus obtain an explicit formula for the classical volume polynomial of the associated wonderful compactification. We then introduce a new invariant called the volume of a matroid as a particular specialization of its volume polynomial, and discuss its algebro-geometric and combinatorial properties in connection to graded linear series on blow-ups of projective spaces.
Supercongruences for polynomial analogs of the Apéry numbers
Published
• View Publication
• BIB
We consider a family of polynomial analogs of the Apéry numbers, which includes $q$-analogs of Krattenthaler--Rivoal--Zudilin and Zheng, and show that the supercongruences that Gessel and Mimura established for the Apéry numbers generalize to these polynomials. Our proof relies on polynomial analogs of classical binomial congruences of Wolstenholme and Ljunggren. We further indicate that this approach generalizes to other supercongruence results.
Layer structure of irreducible Lie algebra modules
Let $\mathfrak{g}$ be a finite-dimensional simple complex Lie algebra. A layer sum is introduced as the sum of formal exponentials of the distinct weights appearing in an irreducible $\mathfrak{g}$-module. It is argued that the character of every finite-dimensional irreducible $\mathfrak{g}$-module admits a decomposition in terms of layer sums, with only non-negative integer coefficients. Ensuing results include a new approach to the computation of Weyl characters and weight multiplicities, and a closed-form expression for the number of distinct weights in a finite-dimensional irreducible $\mathfrak{g}$-module. The latter is given by a polynomial in the Dynkin labels, of degree equal to the rank of $\mathfrak{g}$.
The degree-diameter problem for circulant graphs of degrees 10 and 11 - extended version
Published
• View Publication
• BIB
This paper considers the degree-diameter problem for undirected circulant graphs. For degrees 10 and 11 newly discovered families of circulant graphs of arbitrary diameter are presented which are largest known and are conjectured to be extremal. They are also the largest-known Abelian Cayley graphs of these degrees. For each such family the order of every graph in the family is defined by a quintic polynomial function of the diameter which is specific to the family. The elements of the generating set for each graph are similarly defined by a set of polynomials in the diameter. The existence of the graphs in the degree 10 families has been proved for all diameters. These graphs are consistent with a conjecture on the order of extremal Abelian Cayley and circulant graphs of any degree and diameter.
This is the extended version of the paper, including the proof steps for degree 10 graphs covering all diameter classes and an appendix listing additional tables of generating sets.
The Graph Structure of Chebyshev Polynomials over Finite Fields and Applications
Published
• View Publication
• BIB
We completely describe the functional graph associated to iterations of Chebyshev polynomials over finite fields. Then, we use our structural results to obtain estimates for the average rho length, average number of connected components and the expected value for the period and preperiod of iterating Chebyshev polynomials.
A local characterization of crystals for the quantum queer superalgebra
Published in Annals of Combinatorics (2020) Vol. 24, pp. 3-46
• View Publication
• BIB
We define operators on semistandard shifted tableaux and use Stembridge's local characterization for regular graphs to prove they define a crystal structure. This gives a new proof that Schur $P$-polynomials are Schur positive. We define queer crystal operators (also called odd Kashiwara operators) to construct a connected queer crystal on semistandard shifted tableaux of a given shape. Using the tensor rule for queer crystals, this provides a new proof that products of Schur $P$-polynomials are Schur $P$-positive. Finally, to facilitate applications of queer crystals in the context of Schur $P$-positivity, we give local axioms for queer regular graphs, generalizing Stembridge's axioms, that partially characterize queer crystals.
Combinatorial analogs of topological zeta functions
Published
• View Publication
• BIB
In this article we introduce a new matroid invariant, a combinatorial analog of the topological zeta function of a polynomial. More specifically we associate to any ranked, atomic meet-semilattice L a rational function Z(L,s), in such a way that when L is the lattice of flats of a complex hyperplane arrangement we recover the usual topological zeta function. The definition is in terms of a choice of a combinatorial analog of resolution of singularities, and the main result is that Z(L,s) does not depend on this choice and depends only on L. Known properties of the topological zeta function provide a source of potential complex realisability test for matroids.
The complexity of comparing multiply-labelled trees by extending phylogenetic-tree metrics
Published
• View Publication
• BIB
A multilabeled tree (or MUL-tree) is a rooted tree in which every leaf is labelled by an element from some set, but in which more than one leaf may be labelled by the same element of that set. In phylogenetics, such trees are used in biogeographical studies, to study the evolution of gene families, and also within approaches to construct phylogenetic networks. A multilabelled tree in which no leaf-labels are repeated is called a phylogenetic tree, and one in which every label is the same is also known as a tree-shape. In this paper, we consider the complexity of computing metrics on MUL-trees that are obtained by extending metrics on phylogenetic trees. In particular, by restricting our attention to tree shapes, we show that computing the metric extension on MUL-trees is NP complete for two well-known metrics on phylogenetic trees, namely, the path-difference and Robinson Foulds distances. We also show that the extension of the Robinson Foulds distance is fixed parameter tractable with respect to the distance parameter. The path distance complexity result allows us to also answer an open problem concerning the complexity of solving the quadratic assignment problem for two matrices that are a Robinson similarity and a Robinson dissimilarity, which we show to be NP-complete. We conclude by considering the maximum agreement subtree (MAST) distance on phylogenetic trees to MUL-trees. Although its extension to MUL-trees can be computed in polynomial time, we show that computing its natural generalization to more than two MUL-trees is NP-complete, although fixed-parameter tractable in the maximum degree when the number of given trees is bounded.
Generalized Stirling Numbers I
We consider generalized Stirling numbers of the second kind $% S_{a,b,r}^{α_{s},β_{s},r_{s},p_{s}}\left( p,k\right) $, $% k=0,1,\ldots .rp+\sum_{s=2}^{L}r_{s}p_{s}$, where $a,b,α_{s},β_{s} $ are complex numbers, and $r,p,r_{s},p_{s}$ are non-negative integers given, $s=2,\ldots ,L$. (The case $a=1,b=0,r=1,r_{s}p_{s}=0$, corresponds to the standard Stirling numbers $S\left( p,k\right) $.) The numbers $% S_{a,b,r}^{α_{s},β_{s},r_{s},p_{s}}\left( p,k\right) $ are connected with a generalization of Eulerian numbers and polynomials we studied in previous works. This link allows us to propose (first, and then to prove, specially in the case $r=r_{s}=1$) several results involving our generalized Stirling numbers, including several families of new recurrences for Stirling numbers of the second kind. In a future work we consider the recurrence and the differential operator associated to the numbers $% S_{a,b,r}^{α_{s},β_{s},r_{s},p_{s}}\left( p,k\right) $.
A generalization of Croot-Lev-Pach's Lemma and a new upper bound for the size of difference sets in polynomial rings
Croot, Lev and Pach used a new polynomial technique to give a new exponential upper bound for the size of three-term progression-free subsets in the groups $(\mathbb Z _4)^n$.
The main tool in proving their striking result is a simple lemma about polynomials, which gives interesting new bounds for the size of subsets of the vector space $({\mathbb Z _p})^n$.
Our main result is a generalization of this lemma. In the proof we combined Tao's slice rank bounding method with Gröbner basis technique.
As an application, we improve Green's results and present new upper bounds for the size of difference sets in polynomial rings. We give a new, more concrete upper bound for the size of arithmetic progression-free subsets in $({\mathbb Z _p})^n$.
Tutte Invariants for Alternating Dimaps
An alternating dimap is an orientably embedded Eulerian directed graph where the edges incident with each vertex are directed inwards and outwards alternately. Three reduction operations for alternating dimaps were investigated by Farr. A minor of an alternating dimap can be obtained by reducing some of its edges using the reduction operations. Unlike classical minor operations, these reduction operations do not commute in general. A Tutte invariant for alternating dimaps is a function $ P $ defined on every alternating dimap and taking values in a field such that $ P $ is invariant under isomorphism and obeys a linear recurrence relation involving reduction operations. It is well known that if a graph $ G $ is planar, then the Tutte polynomial $ T $ satisfies $ T(G;x,y)=T(G^{*};y,x) $. We note an analogous relation for the extended Tutte invariants for alternating dimaps introduced by Farr. We then characterise the Tutte invariant for alternating dimaps of genus zero under several conditions. As a result of the non-commutativity of the reduction operations, the recursions based on them cannot always be satisfied. We investigate the properties of alternating dimaps of genus zero that are required in order to obtain a well defined Tutte invariant. Some excluded minor characterisations for these alternating dimaps are also given.
A polynomial ideal associated to any $t$-$(v,k,λ)$ design
We consider ordered pairs $(X,\mathcal{B})$ where $X$ is a finite set of size $v$ and $\mathcal{B}$ is some collection of $k$-element subsets of $X$ such that every $t$-element subset of $X$ is contained in exactly $λ$ "blocks" $B\in \mathcal{B}$ for some fixed $λ$. We represent each block $B$ by a zero-one vector $\mathbf{c}_B$ of length $v$ and explore the ideal $\mathcal{I}(\mathcal{B})$ of polynomials in $v$ variables with complex coefficients which vanish on the set $\{ \mathbf{c}_B \mid B \in \mathcal{B}\}$. After setting up the basic theory, we investigate two parameters related to this ideal: $γ_1(\mathcal{B})$ is the smallest degree of a non-trivial polynomial in the ideal $\mathcal{I}(\mathcal{B})$ and $γ_2(\mathcal{B})$ is the smallest integer $s$ such that $\mathcal{I}(\mathcal{B})$ is generated by a set of polynomials of degree at most $s$. We first prove the general bounds $t/2 < γ_1(\mathcal{B}) \le γ_2(\mathcal{B}) \le k$. Examining important families of examples, we find that, for symmetric 2-designs and Steiner systems, we have $γ_2(\mathcal{B}) \le t$. But we expect $γ_2(\mathcal{B})$ to be closer to $k$ for less structured designs and we indicate this by constructing infinitely many triple systems satisfying $γ_2(\mathcal{B})=k$.
Dimension-independent statistics of $Gl_n(F_q)$ via character polynomials
Published in Proc. of the AMS (2019)
• View Publication
• BIB
Picking permutations at random, the expected number of k-cycles is known to be 1/k and is, in particular, independent of the size of the permuted set. This short note gives similar size-independent statistics of finite general linear groups: ones that depend only on small minors. The proof technique uses combinatorics of categories, motivated by representation stability, and applies simultaneously to symmetric groups, finite linear groups and many other settings.
Quadratic and symmetric bilinear forms over finite fields and their association schemes
Published
• View Publication
• BIB
Let $\mathscr{Q}(m,q)$ and $\mathscr{S}(m,q)$ be the sets of quadratic forms and symmetric bilinear forms on an $m$-dimensional vector space over $\mathbb{F}_q$, respectively. The orbits of $\mathscr{Q}(m,q)$ and $\mathscr{S}(m,q)$ under a natural group action induce two translation association schemes, which are known to be dual to each other. We give explicit expressions for the eigenvalues of these association schemes in terms of linear combinations of generalised Krawtchouk polynomials, generalising earlier results for odd $q$ to the more difficult case when $q$ is even. We then study $d$-codes in these schemes, namely subsets $X$ of $\mathscr{Q}(m,q)$ or $\mathscr{S}(m,q)$ with the property that, for all distinct $A,B\in X$, the rank of $A-B$ is at least $d$. We prove tight bounds on the size of $d$-codes and show that, when these bounds hold with equality, the inner distributions of the subsets are often uniquely determined by their parameters. We also discuss connections to classical error-correcting codes and show how the Hamming distance distribution of large classes of codes over $\mathbb{F}_q$ can be determined from the results of this paper.
Parallel Translates of Represented Matroids
Published
• View Publication
• BIB
Given an $\Bbb{F}$-represented matroid $(M,ρ)$ with the ground set $[m]$, the representation $ρ$ naturally defines a hyperplane arrangement $\mathcal{A}_ρ$. We will study its parallel translates $\mathcal{A}_{ρ,{g}}$ of $\mathcal{A}_ρ$ for all ${ g}\in \mathbb{F}^m$. Its intersection semi-lattices $L(\mathcal{A}_{ρ,{ g}})$ and the characteristic polynomials $χ(\mathcal{A}_{ρ,{ g}},t)$ will be classified by the intersection lattice of the derived arrangement $\mathcal{A}_{δρ}$, which is a hyperplane arrangement associated with the derived matroid $(δM,δρ)$ and also known as the discriminantal arrangement in the literature. As a byproduct, we obtain a comparison result and a decomposition formula on the characteristic polynomials $χ(\mathcal{A}_{ρ,{ g}},t)$.
Paths between colourings of sparse graphs
Published in European Journal of Combinatorics 75 (2019) 169--171
• View Publication
• BIB
The reconfiguration graph $R_k(G)$ of the $k$-colourings of a graph~$G$ has as vertex set the set of all possible $k$-colourings of $G$ and two colourings are adjacent if they differ on exactly one vertex. We give a short proof of the following theorem of Bousquet and Perarnau (\emph{European Journal of Combinatorics}, 2016). Let $d$ and $k$ be positive integers, $k \geq d + 1$. For every $ε> 0$ and every graph $G$ with $n$ vertices and maximum average degree $d - ε$, there exists a constant $c = c(d, ε)$ such that $R_k(G)$ has diameter $O(n^c)$. Our proof can be transformed into a simple polynomial time algorithm that finds a path between a given pair of colourings in $R_k(G)$.
Generalized distance domination problems and their complexity on graphs of bounded mim-width
Published
• View Publication
• BIB
We generalize the family of $(σ, ρ)$-problems and locally checkable vertex partition problems to their distance versions, which naturally captures well-known problems such as distance-$r$ dominating set and distance-$r$ independent set. We show that these distance problems are XP parameterized by the structural parameter mim-width, and hence polynomial on graph classes where mim-width is bounded and quickly computable, such as $k$-trapezoid graphs, Dilworth $k$-graphs, (circular) permutation graphs, interval graphs and their complements, convex graphs and their complements, $k$-polygon graphs, circular arc graphs, complements of $d$-degenerate graphs, and $H$-graphs if given an $H$-representation. To supplement these findings, we show that many classes of (distance) $(σ, ρ)$-problems are W[1]-hard parameterized by mim-width + solution size.
Some properties of $\{k\}$-packing function problem in graphs
Published
• View Publication
• BIB
The recently introduced $\{k\}$-packing function problem is considered in this paper. Special relation between a case when $k=1$, $k\ge 2$ and linear programming relaxation is introduced with sufficient conditions for optimality. For arbitrary simple connected graph $G$ there is construction procedure for finding values of $k$ for which $L_{\{k\}}(G)$ can be determined in the polynomial time. Additionally, relationship between $\{1\}$-packing function and independent set number is established. Optimal values for some special classes of graphs and general upper and lower bounds are introduced.
Generalized Designs on Graphs: Sampling, Spectra, Symmetries
Published
• View Publication
• BIB
Spherical Designs are finite sets of points on the sphere $\mathbb{S}^{d}$ with the property that the average of certain (low-degree) polynomials in these points coincides with the global average of the polynomial on $\mathbb{S}^{d}$. They are evenly distributed and often exhibit a great degree of regularity and symmetry. We point out that a spectral definition of spherical designs easily transfers to finite graphs -- these 'graphical designs' are subsets of vertices that are evenly spaced and capture the symmetries of the underlying graph (should they exist). Our main result states that good graphical designs either consist of many vertices or their neighborhoods have exponential volume growth. We show several examples, describe ways to find them and discuss problems.
Enumeration on row-increasing tableaux of shape $2 \times n$
Published in The Electronic Journal of Combinatorics, 26(1) (2019), #P1.48
• View Publication
• BIB
Recently O. Pechenik studied the cyclic sieving of increasing tableaux of shape $2\times n$, and obtained a polynomial on the major index of these tableaux, which is a $q$-analogue of refined small Schröder numbers. We define row-increasing tableaux and study the major index and amajor index of row-increasing tableaux of shape $2 \times n$. The resulting polynomials are both $q$-analogues of refined large Schröder numbers. For both results we give bijective proofs.