polynomial
11250 papers tagged with this keyword
The edge-Hosoya polynomial of benzenoid chains
Published in J. Math. Chem. 57 (2019) 180-189
• View Publication
• BIB
The Hosoya polynomial is a well known vertex-distance based polynomial, closely correlated to the Wiener index and the hyper-Wiener index, which are widely used molecular-structure descriptors. In the present paper we consider the edge version of the Hosoya polynomial. For a connected graph $G$ let $d_e(G,k)$ be the number of (unordered) edge pairs at distance $k$. Then the edge-Hosoya polynomial of $G$ is $H_e(G,x) = \sum_{k \geq 0} d(G,k)x^k$. We investigate the edge-Hosoya polynomial of important chemical graphs known as benzenoid chains and derive the recurrence relations for them. These recurrences are then solved for linear benzenoid chains, which are also called polyacenes.
Signed counts of real simple rational functions
Published in Journal of Algebraic Combinatorics (2019)
• View Publication
• BIB
We study the problem of counting real simple rational functions $\varphi$ with prescribed ramification data (i.e. a particular class of oriented real Hurwitz numbers of genus $0$). We introduce a signed count of such functions that is invariant under change of the branch locus, thus providing a lower bound for the actual count (which does depend on such change). We prove (non-)vanishing theorems for these signed counts and study their asymptotic growth when adding further simple branch points. The approach is based on the works of Itenberg and Zvonkine (arXiv:1609.05219) which treat the polynomial case.
A generalization of the Kreweras triangle through the universal $\text{sl}_2$ weight system
Published
• View Publication
• BIB
In the theory of finite order knot invariants, the universal $\text{sl}_2$ weight system maps the chord diagrams to polynomials in a single variable with integer coefficients. In this paper, we define a family of polynomials that generalize the Kreweras triangle (known to refine the normalized median Genocchi numbers), and we show how it appears in this weight system.
Convexity in ordered matroids and the generalized external order
Published in The Electronic Journal of Combinatorics 27(3) (2020), P3.41
• View Publication
• BIB
In 1980, Las Vergnas defined a notion of discrete convexity for oriented matroids, which Edelman subsequently related to the theory of anti-exchange closure functions and convex geometries. In this paper, we use generalized matroid activity to construct a convex geometry associated with an ordered, unoriented matroid. The construction in particular yields a new type of representability for an ordered matroid defined by the affine representability of its corresponding convex geometry.
The lattice of convex sets of this convex geometry induces an ordering on the matroid independent sets which extends the external active order on matroid bases. We show that this generalized external order forms a supersolvable meet-distributive lattice refining the geometric lattice of flats, and we uniquely characterize the lattices isomorphic to the external order of a matroid. Finally, we introduce a new trivariate generating function generalizing the matroid Tutte polynomial.
Piecewise interlacing zeros of polynomials
We introduce the concept of piecewise interlacing zeros for studying the relation of root distribution of two polynomials. The concept is pregnant with an idea of confirming the real-rootedness of polynomials in a sequence. Roughly speaking, one constructs a collection of disjoint intervals such that one may show by induction that consecutive polynomials have interlacing zeros over each of the intervals. We confirm the real-rootedness of some polynomials satisfying a recurrence with linear polynomial coefficients. This extends Gross et al.'s work where one of the polynomial coefficients is a constant.
Common zeros of polynomials satisfying a recurrence of order two
We give a characterization of common zeros of a sequence of univariate polynomials $W_n(z)$ defined by a recurrence of order two with polynomial coefficients, and with $W_0(z)=1$. Real common zeros for such polynomials with real coefficients are studied further. This paper contributes to the study of root distribution of recursive polynomial sequences.
A state enumeration of the foil knot
We split the crossings of the foil knot and enumerate the resulting states with a generating polynomial. Unexpectedly, the number of such states which consist of two components are given by the lazy caterer's sequence. This sequence describes the maximum number of planar regions that is obtained with a given number of straight lines. We then establish a bijection between this partition of the plane and the concerned foil splits sequence.
The minimum stretch spanning tree problem for typical graphs
Published
• View Publication
• BIB
With applications in distribution systems and communication networks, the minimum stretch spanning tree problem is to find a spanning tree T of a graph G such that the maximum distance in T between two adjacent vertices is minimized. The problem has been proved to be NP-hard and fixed-parameter polynomial algorithms have been obtained for some special classes of graphs. In this paper, we concentrate on the optimality characterizations for typical classes of graphs. We determine the exact optimality representations for Petersen graph, the complete k-partite graphs, split graphs, generalized convex graphs, and several planar grids, including rectangular grids, triangular grids, and triangular-rectangular grids.
Powers of doubly-affine integer square matrices with one non-zero eigenvalue
When doubly-affine matrices such as Latin and magic squares with a single non-zero eigenvalue are powered up they become constant matrices after a few steps. The process of compounding squares of orders m and n can then be used to generate an infinite series of such squares of orders mn. The Cayley-Hamilton theorem is used to understand this property, where their characteristic polynomials have just two terms.
A combinatorial formula for graded multiplicities in excellent filtrations
Published in Transform. Groups 26 (2021), no. 1, 81-114
• View Publication
• BIB
A filtration of a representation whose successive quotients are isomorphic to Demazure modules is called an excellent filtration. In this paper we study graded multiplicities in excellent filtrations of fusion products for the current algebra $\mathfrak{sl}_2[t]$. We give a combinatorial formula for the polynomials encoding these multiplicities in terms of two dimensional lattice paths. Corollaries to our main theorem include a combinatorial interpretation of various objects such as the coeffficients of Ramanujan's fifth order mock theta functions $φ_0, φ_1, ψ_0, ψ_1$, Kostka polynomials for hook partitions and quotients of Chebyshev polynomials. We also get a combinatorial interpretation of the graded multiplicities in a level one flag of a local Weyl module associated to the simple Lie algebras of type $B_n \text{ and } G_2$.
Which groups are amenable to proving exponent two for matrix multiplication?
The Cohn-Umans group-theoretic approach to matrix multiplication suggests embedding matrix multiplication into group algebra multiplication, and bounding $ω$ in terms of the representation theory of the host group. This framework is general enough to capture the best known upper bounds on $ω$ and is conjectured to be powerful enough to prove $ω= 2$, although finding a suitable group and constructing such an embedding has remained elusive. Recently it was shown, by a generalization of the proof of the Cap Set Conjecture, that abelian groups of bounded exponent cannot prove $ω= 2$ in this framework, which ruled out a family of potential constructions in the literature.
In this paper we study nonabelian groups as potential hosts for an embedding. We prove two main results:
(1) We show that a large class of nonabelian groups---nilpotent groups of bounded exponent satisfying a mild additional condition---cannot prove $ω= 2$ in this framework. We do this by showing that the shrinkage rate of powers of the augmentation ideal is similar to the shrinkage rate of the number of functions over $(\mathbb{Z}/p\mathbb{Z})^n$ that are degree $d$ polynomials; our proof technique can be seen as a generalization of the polynomial method used to resolve the Cap Set Conjecture.
(2) We show that symmetric groups $S_n$ cannot prove nontrivial bounds on $ω$ when the embedding is via three Young subgroups---subgroups of the form $S_{k_1} \times S_{k_2} \times \dotsb \times S_{k_\ell}$---which is a natural strategy that includes all known constructions in $S_n$.
By developing techniques for negative results in this paper, we hope to catalyze a fruitful interplay between the search for constructions proving bounds on $ω$ and methods for ruling them out.
For every quantum walk there is a (classical) lifted Markov chain with faster mixing time
Quantum walks on graphs have been shown in certain cases to mix quadratically faster than their classical counterparts. Lifted Markov chains, consisting of a Markov chain on an extended state space which is projected back down to the original state space, also show considerable speedups in mixing time. Here, we construct a lifted Markov chain on a graph with $n^2 D(G)$ vertices that mixes exactly to the average mixing distribution of a quantum walk on the graph $G$ with $n$ vertices, where $D(G)$ is the diameter of $G$. Moreover, the mixing time of this chain is $D(G)$ timesteps, and we prove that computing the transition probabilities for the lifted chain takes time polynomial in $n$. As an immediate consequence, for every quantum walk there is a lifted Markov chain with a faster mixing time that is polynomial-time computable, as the quantum mixing time is trivially lower bounded by the graph diameter. The result is based on a lifting presented by Apers, Ticozzi and Sarlette (arXiv:1705.08253).
Pieri rules for the Jack polynomials in superspace and the 6-vertex model
Published
• View Publication
• BIB
We present Pieri rules for the Jack polynomials in superspace. The coefficients in the Pieri rules are, except for an extra determinant, products of quotients of linear factors in $α$ (expressed, as in the usual Jack polynomial case, in terms of certain hook-lengths in a Ferrers' diagram). We show that, surprisingly, the extra determinant is related to the partition function of the 6-vertex model. We give, as a conjecture, the Pieri rules for the Macdonald polynomials in superspace.
Rooted tree maps and the derivation relation for multiple zeta values
Published
• View Publication
• BIB
Rooted tree maps assign to an element of the Connes-Kreimer Hopf algebra of rooted trees a linear map on the noncommutative polynomial algebra in two letters. Evaluated at any admissible word these maps induce linear relations between multiple zeta values. In this note we show that the derivation relations for multiple zeta values are contained in this class of linear relations.
Experimental analysis of lattice walks
Feller's book An Introduction to Probability Theory and Its Application discusses statistics corresponding to sequences of coin tosses, with a dollar being won or lost depending on the outcome of each toss. This is equivalent to analyzing walks in the plane with each step being one unit up or right.
In his paper "Fully AUTOMATED computerized redux of Feller's (v.1) Ch. III (and much more!)" (http://sites.math.rutgers.edu/~zeilberg/mamarim/mamarimhtml/feller.html) and the accompanying Maple package, Zeilberger computes the "grand generating function," which, in a single blow, captures information about all of the walk statistics discussed by Feller.
In this paper, we continue to investigate walks using computer methods. However, we shall introduce an approach different from that of Zeilberger, who used computer algebra to exactly compute the weight enumerator over all walks--an infinite sum expressed as an algebraic function. Our procedures input a numeric value of $n$ and use dynamic programming methods to find the weight enumerator over all walks of length $n$--a finite polynomial. Then, by generating these polynomials for many values of $n$, we are able to conjecture behavior of the moments of certain statistics as the walk length tends to $\infty$.
The advantage of this method is that it is easily applied to more general problems not amenable to an analytic approach. For example, we use it to analyze walks in three dimensions and walks where more general steps (e.g., diagonal steps) are allowed.
Rooted Tree Maps
Published
• View Publication
• BIB
Based on Hopf algebra of rooted trees introduced by Connes and Kreimer, we construct a class of linear maps on noncommutative polynomial algebra in two indeterminates, namely rooted tree maps. We also prove that their maps induce a class of relations among multiple zeta values.
The algebraic geometry of Kazhdan-Lusztig-Stanley polynomials
Published
• View Publication
• BIB
Kazhdan-Lusztig-Stanley polynomials are a combinatorial generalization of Kazhdan-Lusztig polynomials of for Coxeter groups that include g-polynomials of polytopes and Kazhdan-Lusztig polynomials of matroids. In the cases of Weyl groups, rational polytopes, and realizable matroids, one can count points over finite fields on flag varieties, toric varieties, or reciprocal planes to obtain cohomological interpretations of these polynomials. We survey these results and unite them under a single geometric framework.
Digraph Polynomials for Counting Cycles and Paths
Many polynomial invariants are defined on graphs for encoding the combinatorial information and researching them algebraically. In this paper, we introduce the cycle polynomial and the path polynomial of directed graphs for counting cycles and paths, respectively. They satisfy recurrence relations with respect to elementary edge or vertex operations. They are related to other polynomials and can also be generalized to the bivariate cycle polynomial, the bivariate path polynomial and the trivariate cycle-path polynomial. And a most general digraph polynomial satisfying such a linear recurrence relation is recursively defined and shown to be co-reducible to the trivariate cycle-path polynomial. We also give an explicit expression of this polynomial.
A Generalized Turán Problem and its Applications
Published
• View Publication
• BIB
The investigation of conditions guaranteeing the appearance of cycles of certain lengths is one of the most well-studied topics in graph theory. In this paper we consider a problem of this type which asks, for fixed integers ${\ell}$ and $k$, how many copies of the $k$-cycle guarantee the appearance of an $\ell$-cycle? Extending previous results of Bollobás--Győri--Li and Alon--Shikhelman, we fully resolve this problem by giving tight (or nearly tight) bounds for all values of $\ell$ and $k$.
We also present a somewhat surprising application of the above mentioned estimates to the study of the graph removal lemma. Prior to this work, all bounds for removal lemmas were either polynomial or there was a tower-type gap between the best known upper and lower bounds. We fill this gap by showing that for every super-polynomial function $f(\varepsilon)$, there is a family of graphs ${\cal F}$, such that the bounds for the ${\cal F}$ removal lemma are precisely given by $f(\varepsilon)$. We thus obtain the first examples of removal lemmas with tight super-polynomial bounds. A special case of this result resolves a problem of Alon and the second author, while another special case partially resolves a problem of Goldreich.
Solving the kernel perfect problem by (simple) forbidden subdigraphs for digraphs in some families of generalized tournaments and generalized bipartite tournaments
Published in Discrete Mathematics & Theoretical Computer Science, vol. 20 no. 2, Graph Theory (December 11, 2018) dmtcs:4122
• View Publication
• BIB
A digraph such that every proper induced subdigraph has a kernel is said to be \emph{kernel perfect} (KP for short) (\emph{critical kernel imperfect} (CKI for short) resp.) if the digraph has a kernel (does not have a kernel resp.). The unique CKI-tournament is $\overrightarrow{C}_3$ and the unique KP-tournaments are the transitive tournaments, however bipartite tournaments are KP. In this paper we characterize the CKI- and KP-digraphs for the following families of digraphs: locally in-/out-semicomplete, asymmetric arc-locally in-/out-semicomplete, asymmetric $3$-quasi-transitive and asymmetric $3$-anti-quasi-transitive $TT_3$-free and we state that the problem of determining whether a digraph of one of these families is CKI is polynomial, giving a solution to a problem closely related to the following conjecture posted by Bang-Jensen in 1998: the kernel problem is polynomially solvable for locally in-semicomplete digraphs.