arXiv++ Combinatorics

Browse math.CO papers from arXiv

polynomial

11250 papers tagged with this keyword
2019-03-18
Non-projective cyclic codes whose check polynomial contains two zeros
Let $n\geq 3$ be a positive integer and let $\mathbb{F}_{q^k}$ be the splitting field of $x^n-1$. By $γ$ we denote a primitive element of $\mathbb{F}_{q^k}$. Let $C$ be a cyclic code of length $n$ whose check polynomial contains two zeros $γ^d$ and $γ^{d+D}$, where $de \mid (q-1)$, $e>1$ and $D=(q^k-1)/e$. This family of cyclic codes is not projective. Many authors have studied the weight distribution of these codes for certain parameters. In this paper, we prove that these codes are never two-weight codes. This result would strengthen a conjecture by Vega which states that all two-weight cyclic codes are the "known" ones.
2019-03-18
Combinatorial $t$-designs from special polynomials
Combinatorial $t$-designs have nice applications in coding theory, finite geometries and several engineering areas. There are two major methods of constructing $t$-designs. One of them is via group actions of certain permutation groups which are $t$-transitive or $t$-homogeneous on some point set. The other is a coding-theoretical one. The objectives of this paper are to introduce two constructions of $t$-designs with special polynomials over finite fields GF$(q)$, and obtain $2$-designs and $3$-designs with interesting parameters. A type of d-polynomials is defined and used to construct $2$-designs. Under the framework of the first construction, it is shown that every o-polynomial over GF$(2^m)$ gives a $2$-design, and every o-monomial over GF$(2^m)$ yields a $3$-design. Under the second construction, every $o$-polynomial gives a $3$-design. Some open problems and conjectures are also presented in this paper.
2019-03-18
Mixed coloured permutations
In this paper we introduce mixed coloured permutation, permutations with certain coloured cycles, and study the enumerative properties of these combinatorial objects. We derive the generating function, closed forms, recursions and combinatorial identities for the counting sequence, mixed Stirling numbers of the first kind. In this comprehensive study we consider further the conditions on the length of the cycles, $r$-mixed Stirling numbers and the connection to Bell polynomials.
2019-03-18 v3
Tutte's dichromate for signed graphs
Published • View PublicationBIB
We introduce the ``trivariate Tutte polynomial" of a signed graph as an invariant of signed graphs up to vertex switching that contains among its evaluations the number of proper colorings and the number of nowhere-zero flows. In this, it parallels the Tutte polynomial of a graph, which contains the chromatic polynomial and flow polynomial as specializations. The number of nowhere-zero tensions (for signed graphs they are not simply related to proper colorings as they are for graphs) is given in terms of evaluations of the trivariate Tutte polynomial at two distinct points. Interestingly, the bivariate dichromatic polynomial of a biased graph, shown by Zaslavsky to share many similar properties with the Tutte polynomial of a graph, does not in general yield the number of nowhere-zero flows of a signed graph. Therefore the ``dichromate" for signed graphs (our trivariate Tutte polynomial) differs from the dichromatic polynomial (the rank-size generating function). The trivariate Tutte polynomial of a signed graph can be extended to an invariant of ordered pairs of matroids on a common ground set -- for a signed graph, the cycle matroid of its underlying graph and its frame matroid form the relevant pair of matroids. This invariant is the canonically defined Tutte polynomial of matroid pairs on a common ground set in the sense of a recent paper of Krajewski, Moffatt and Tanasa, and was first studied by Welsh and Kayibi as a four-variable linking polynomial of a matroid pair on a common ground set.
2019-03-17 v4
Euler-genus distributions of cubic Halin graphs
Gross derived an $O(n^2)$-time algorithm to calculate the genus distribution of a given cubic Halin graph. In this paper, with the help of overlap matrix, we get a recurrence relation for the Euler-genus polynomial of cubic caterpillar-Halin graphs. Explicit formulas for the embeddings of cubic caterpillar-Halin graph into a surface with Euler-genus 0, 1 and 2 are also obtained.
2019-03-17 v2
On the Spectrum of Finite, Rooted Homogeneous Trees
In this paper we study the adjacency spectrum of families of finite rooted trees with regular branching properties. In particular, we show that in the case of constant branching, the eigenvalues are realized as the roots of a family of generalized Fibonacci polynomials and produce a limiting distribution for the eigenvalues as the tree depth goes to infinity. We indicate how these results can be extended to periodic branching patterns and also provide a generalization to higher order simplicial complexes.
2019-03-14
A generalization of Edelman--Greene insertion for Schubert polynomials
Edelman and Greene generalized the Robinson--Schensted--Knuth correspondence to reduced words in order to give a bijective proof of the Schur positivity of Stanley symmetric functions. Stanley symmetric functions may be regarded as the stable limits of Schubert polynomials, and similarly Schur functions may be regarded as the stable limits of Demazure characters for the general linear group. We modify the Edelman--Greene correspondence to give an analogous, explicit formula for the Demazure character expansion of Schubert polynomials. Our techniques utilize dual equivalence and its polynomial variation, but here we demonstrate how to extract explicit formulas from that machinery which may be applied to other positivity problems as well.
2019-03-13
On the location of roots of the independence polynomial of bounded degree graphs
In [1] Peters and Regts confirmed a conjecture by Sokal by showing that for every $Δ\in \mathbb{Z}_{\geq 3}$ there exists a complex neighborhood of the interval $\left[0, \frac{\left(Δ- 1\right)^{Δ- 1}}{\left(Δ-2\right)^Δ}\right)$ on which the independence polynomial is nonzero for all graphs of maximum degree $Δ$. Furthermore, they gave an explicit neighborhood $U_Δ$ containing this interval on which the independence polynomial is nonzero for all finite rooted Cayley trees with branching number $Δ$. The question remained whether $U_Δ$ would be zero-free for the independence polynomial of all graphs of maximum degree $Δ$. In this paper it is shown that this is not the case. [1] Han Peters and Guus Regts, On a conjecture of sokal concerning roots of the independence polynomial, Michigan Math. J. (2019), Advance publication.
2019-03-13 v2
Schubert polynomials as projections of Minkowski sums of Gelfand-Tsetlin polytopes
Published • View PublicationBIB
Gelfand-Tsetlin polytopes are classical objects in algebraic combinatorics arising in the representation theory of $\mathfrak{gl}_n(\mathbb{C})$. The integer point transform of the Gelfand-Tsetlin polytope $\mathrm{GT}(λ)$ projects to the Schur function $s_λ$. Schur functions form a distinguished basis of the ring of symmetric functions; they are also special cases of Schubert polynomials $\mathfrak{S}_{w}$ corresponding to Grassmannian permutations. For any permutation $w \in S_n$ with column-convex Rothe diagram, we construct a polytope $\mathcal{P}_{w}$ whose integer point transform projects to the Schubert polynomial $\mathfrak{S}_{w}$. Such a construction has been sought after at least since the construction of twisted cubes by Grossberg and Karshon in 1994, whose integer point transforms project to Schubert polynomials $\mathfrak{S}_{w}$ for all $w \in S_n$. However, twisted cubes are not honest polytopes; rather one can think of them as signed polytopal complexes. Our polytope $\mathcal{P}_{w}$ is a convex polytope. We also show that $\mathcal{P}_{w}$ is a Minkowski sum of Gelfand-Tsetlin polytopes of varying sizes. When the permutation $w$ is Grassmannian, the Gelfand-Tsetlin polytope is recovered. We conclude by showing that the Gelfand-Tsetlin polytope is a flow polytope.
2019-03-13
A polynomial version of Cereceda's conjecture
Let $k$ and $d$ be such that $k \ge d+2$. Consider two $k$-colourings of a $d$-degenerate graph $G$. Can we transform one into the other by recolouring one vertex at each step while maintaining a proper coloring at any step? Cereceda et al. answered that question in the affirmative, and exhibited a recolouring sequence of exponential length. However, Cereceda conjectured that there should exist one of quadratic length. The $k$-reconfiguration graph of $G$ is the graph whose vertices are the proper $k$-colourings of $G$, with an edge between two colourings if they differ on exactly one vertex. Cereceda's conjecture can be reformulated as follows: the diameter of the $(d+2)$-reconfiguration graph of any $d$-degenerate graph on $n$ vertices is $O(n^2)$. So far, the existence of a polynomial diameter is open even for $d=2$. In this paper, we prove that the diameter of the $k$-reconfiguration graph of a $d$-degenerate graph is $O(n^{d+1})$ for $k \ge d+2$. Moreover, we prove that if $k \ge \frac 32 (d+1)$ then the diameter of the $k$-reconfiguration graph is quadratic, improving the previous bound of $k \ge 2d+1$. We also show that the $5$-reconfiguration graph of planar bipartite graphs has quadratic diameter, confirming Cereceda's conjecture for this class of graphs.
On the Maximum Weight Independent Set Problem in graphs without induced cycles of length at least five
A hole in a graph is an induced cycle of length at least $4$, and an antihole is the complement of an induced cycle of length at least $4$. A hole or antihole is long if its length is at least $5$. For an integer $k$, the $k$-prism is the graph consisting of two cliques of size $k$ joined by a matching. The complexity of Maximum (Weight) Independent Set (MWIS) in long-hole-free graphs remains an important open problem. In this paper we give a polynomial time algorithm to solve MWIS in long-hole-free graphs with no $k$-prism (for any fixed integer $k$), and a subexponential algorithm for MWIS in long-hole-free graphs in general. As a special case this gives a polynomial time algorithm to find a maximum weight clique in perfect graphs with no long antihole, and no hole of length $6$. The algorithms use the framework of minimal chordal completions and potential maximal cliques.
2019-03-12 v2
The colored Jones polynomial and Kontsevich-Zagier series for double twist knots, II
Published in New York Journal of Mathematics 25 (2019), 1312-1349 • Search Publication
Let $K_{(m,p)}$ denote the family of double twist knots where $2m-1$ and $2p$ are non-zero integers denoting the number of half-twists in each region. Using a result of Takata, we prove a formula for the colored Jones polynomial of $K_{(-m,-p)}$ and $K_{(-m,p)}$. The latter case leads to new families of $q$-hypergeometric series generalizing the Kontsevich-Zagier series. We also use Bailey pairs and formulas of Walsh to find cyclotomic-like expansions for the colored Jones polynomials of $K_{(m,p)}$ and $K_{(m,-p)}$.
2019-03-11 v2
The normalized distance Laplacian
The distance matrix $\mathcal{D}(G)$ of a graph $G$ is the matrix containing the pairwise distances between vertices. The transmission of a vertex $v_i$ in $G$ is the sum of the distances from $v_i$ to all other vertices and $T(G)$ is the diagonal matrix of transmissions of the vertices of the graph. The normalized distance Laplacian, $\mathcal{D}^{\mathcal {L}}(G)=I-T(G)^{-1/2}\mathcal{D}(G) T(G)^{-1/2}$, is introduced. This is analogous to the normalized Laplacian matrix, $\mathcal{L}(G)=I-D(G)^{-1/2}A(G)D(G)^{-1/2}$, where $D(G)$ is the diagonal matrix of degrees of the vertices of the graph and $A(G)$ is the adjacency matrix. Bounds on the spectral radius of $\mathcal{D}^{\mathcal {L}}$ and connections with the normalized Laplacian matrix are presented. Twin vertices are used to determine eigenvalues of the normalized distance Laplacian. The generalized distance characteristic polynomial is defined and its properties discussed. Finally, $\mathcal{D}^{\mathcal {L}}$-cospectrality is studied for all graphs on 10 and fewer vertices, providing evidence that the normalized distance Laplacian has fewer cospectral pairs than other matrices.
2019-03-10 v3
LLT polynomials, elementary symmetric functions and melting lollipops
Published in J. Algebr. Comb (2020) • View PublicationBIB
We conjecture an explicit positive combinatorial formula for the expansion of unicellular LLT polynomials in the elementary symmetric basis. This is an analogue of the Shareshian-Wachs conjecture and previously studied by Panova and the author in 2018. We show that the conjecture for unicellular LLT polynomials implies a similar formula for vertical-strip LLT polynomials. We prove positivity in the elementary basis in for the class of graphs called `melting lollipops' previously considered by Huh, Nam and Yoo. This is done by proving a curious relationship between a generalization of charge and orientations of unit-interval graphs. We also provide short bijective proofs of Lee's three-term recurrences for unicellular LLT polynomials and we show that these recurrences are enough to generate all unicellular LLT polynomials associated with abelian area sequences.
2019-03-10
Moser Polynomials and Eulerian Numbers
Article presents a short investigation into some properties of the Moser polynomials which appear in various problems from algebraic combinatorics. For instance, these polynomials can be used to solve the Generalized Moser's Problem on multiset recovery: Can a collection (multiset) of $n$ numbers can be uniquely restored given the collection of its $s$-sums? We prove some explicit formulas showing relationships between Moser polynomials and such popular algebraic combinatorial sequences as Eulerian and Stirling numbers.
2019-03-09
On rich and poor directions determined by a subset of a finite plane
We generalize to sets with cardinality more than $p$ a theorem of Rédei and Szőnyi on the number of directions determined by a subset $U$ of the finite plane $\mathbb F_p^2$. A $U$-rich line is a line that meets $U$ in at least $\#U/p+1$ points, while a $U$-poor line is one that meets $U$ in at most $\#U/p-1$ points. The slopes of the $U$-rich and $U$-poor lines are called $U$-special directions. We show that either $U$ is contained in the union of $n=\lceil\#U/p\rceil$ lines, or it determines `many' $U$-special directions. The core of our proof is a version of the polynomial method in which we study iterated partial derivatives of the Rédei polynomial to take into account the `multiplicity' of the directions determined by $U$.
2019-03-08 v2
Candidate for the crystal $B(-\infty)$ for the queer Lie superalgebra
Published in Kyoto J. Math. 62, no. 2 (2022), 377-401 • View PublicationBIB
It is shown that the direct limit of the semistandard decomposition tableau model for polynomial representations of the queer Lie superalgebra exists, which is believed to be the crystal for the upper half of the corresponding quantum group. An extension of this model to describe the direct limit combinatorially is given. Furthermore, it is shown that the polynomial representations may be recovered from the limit in most cases.
2019-03-08 v4
On Eisenstein polynomials and zeta polynomials II
Eisenstein polynomials, which were defined by the second author, are analogues of the concept of an Eisenstein series. The second author conjectured that there exist some analogous properties between Eisenstein series and Eisenstein polynomials. In the previous paper, the first author provided new analogous properties of Eisenstein polynomials and zeta polynomials for the Type II case. In this paper, the analogous properties of Eisenstein polynomials and zeta polynomials are shown to also hold for the Type I, Type III, and Type IV cases. These properties are finite analogies of certain properties of Eisenstein series.
2019-03-08 v3
Complexity of packing common bases in matroids
One of the most intriguing unsolved questions of matroid optimization is the characterization of the existence of $k$ disjoint common bases of two matroids. The significance of the problem is well-illustrated by the long list of conjectures that can be formulated as special cases, such as Woodall's conjecture on packing disjoint dijoins in a directed graph, or Rota's beautiful conjecture on rearrangements of bases. In the present paper we prove that the problem is difficult under the rank oracle model, i.e., we show that there is no algorithm which decides if the common ground set of two matroids can be partitioned into $k$ common bases by using a polynomial number of independence queries. Our complexity result holds even for the very special case when $k=2$. Through a series of reductions, we also show that the abstract problem of packing common bases in two matroids includes the NAE-SAT problem and the Perfect Even Factor problem in directed graphs. These results in turn imply that the problem is not only difficult in the independence oracle model but also includes NP-complete special cases already when $k=2$, one of the matroids is a partition matroid, while the other matroid is linear and is given by an explicit representation.
Colouring Non-Even Digraphs
A colouring of a digraph as defined by Erdos and Neumann-Lara in 1980 is a vertex-colouring such that no monochromatic directed cycles exist. The minimal number of colours required for such a colouring of a loopless digraph is defined to be its dichromatic number. This quantity has been widely studied in the last decades and can be considered as a natural directed analogue of the chromatic number of a graph. A digraph D is called even if for every 0-1-weighting of the edges it contains a directed cycle of even total weight. We show that every non-even digraph has dichromatic number at most 2 and an optimal colouring can be found in polynomial time. We strengthen a previously known NP-hardness result by showing that deciding whether a directed graph is 2-colourable remains NP-hard even if it contains a feedback vertex set of bounded size.