polynomial
11184 papers tagged with this keyword
The partition function modulo 4
Published
• View Publication
• BIB
It is widely believed that the parity of the partition function $p(n)$ is ``random.'' Contrary to this expectation, in this note we prove the existence of infinitely many congruence relations modulo 4 among its values. For each square-free integer $1<D\equiv 23\pmod{24},$ we construct a weight 2 meromorphic modular form that is congruent modulo 4 to a certain twisted generating function for the numbers $p\big(\frac{Dm^2+1}{24}\big)\pmod 4$. We prove the existence of infinitely many linear dependence congruences modulo 4 among suitable sets of holomorphic normalizations of these series.
These results rely on the theory of class numbers and Hilbert class polynomials, and {\it generalized twisted Borcherds products} developed by Bruinier and the author.
3D Bosons, 3-Jack polynomials and affine Yangian of ${\mathfrak{gl}}(1)$
Published
• View Publication
• BIB
3D (3 dimensional) Young diagrams are a generalization of 2D Young diagrams. In this paper, We consider 3D Bosons and 3-Jack polynomials. We associate three parameters $h_1,h_2,h_3$ to $y,x,z$-axis respectively. 3-Jack polynomials are polynomials of $P_{n,j},
n\geq j$ with coefficients in $\mathbb C(h_1,h_2,h_3)$, which are the generalization of Schur functions and Jack polynomials to 3D case. Similar to Schur functions, 3-Jack polynomials can also be determined by the vertex operators and the Pieri formulas.
Some Mixed-Moments of Gaussian Elliptic Matrices and Ginibre Matrices
We consider the mixed-moments $\varphi(\mathbf{X}^{ε_1},\ldots,\mathbf{X}^{ε_k})=\lim_{N\to\infty}N^{-1}\mathbb{E}\left[\mathrm{Tr}\left(\mathbf{X}^ε_1\cdots\mathbf{X}^{ε_k}\right)\right]$ of complex Gaussian Elliptic Matrices $\mathbf{X}$ (with correlation parameter $ρ$ between elements $\mathbf{X}_{ij}$ and $\mathbf{X}_{ji}^*$), where symbolically $ε_i\in\{1,\dagger\}$, and where the expectation $\mathbb{E}\left[\cdot\right]$ is taken over all matrices $\mathbf{X}$. We start by finding an explicit formula for $\varphi(\mathbf{X}^n,(\mathbf{X}^\dagger)^m)$, $n,m\in\mathbb{N}$, by using a mapping between non-crossing pairings on $\ell=n+m$ elements and Temperley-Lieb diagrams between two strands of $n$ and $m$ elements. This formula allows for a numerically efficient way to compute $\varphi(\mathbf{X}^n,(\mathbf{X}^\dagger)^m)$ by reducing the exponential complexity of a naive enumeration of non-crossing pairings to polynomial complexity. We also provide the asymptotic behavior of these mixed-moments as $n,m\to\infty$. We then provide an explicit computation for some more general mixed-moments by considering the position of the matrix $\mathbf{X}$ in the product $\mathbf{X}^{ε_1}\cdots\mathbf{X}^{ε_k}$. We, therefore, deduce closed-form formulas for some mixed-moments of Ginibre matrices.
Some notes on a Fibonacci-Lucas identity
In 2016, Edgar and, independently of him, Bhatnagar sta\-ted a nice polynomial identity that connects Fibonacci and Lucas numbers. Shortly after their publications, this identity has been generalized in two different ways: Dafnis, Phillipou and Livieris provided a generalization to Fibonacci sequences of order $k$ and Abd-Elhameed and Zeyada extended Edgar--Bhatnagar identity to generalized Fibonacci and Lucas sequences. In this paper, we present more polynomial identities for generalized Lucas sequences. We discuss interesting aspects and special cases which have not been stated before but deserve recognition. Finally, we prove the polynomial analogues of these identities for Chebyshev polynomials.
A closure operator on the subgroup lattice of $\mathrm{GL}(n,q)$ and $\mathrm{PGL}(n,q)$ in relation to the zeros of the Möbius function
Published
• View Publication
• BIB
Let $\mathbb{F}_q$ be the finite field with $q$ elements and consider the $n$-dimensional $\mathbb{F}_q$-vector space $V=\mathbb{F}_q^n\,$. In this paper we define a closure operator on the subgroup lattice of the group $G = \mathrm{PGL}(V)$. Let $μ$ denote the Möbius function of this lattice. The aim is to use this closure operator to characterize subgroups $H$ of $G$ for which $μ(H,G)\neq 0$. Moreover, we establish a polynomial bound on the number $c(m)$ of closed subgroups $H$ of index $m$ in $G$ for which the lattice of $H$-invariant subspaces of $V$ is isomorphic to a product of chains. This bound depends only on $m$ and not on the choice of $n$ and $q$. It is achieved by considering a similar closure operator for the subgroup lattice of $\mathrm{GL}(V)$ and the same results proven for this group.
Iterative Roots of Multifunctions
Published
• View Publication
• BIB
Some easily verifiable sufficient conditions for the nonexistence of iterative roots for multifunctions on arbitrary nonempty sets are presented. Typically if the graph of the multifunction has a distinguished point with a relatively large number of paths leading to it then such a multifunction does not admit any iterative root. These results can be applied to single-valued maps by considering their pullbacks as multifunctions. This has been illustrated by showing the nonexistence of iterative roots of some specified orders for certain complex polynomials.
Stembridge codes and Chow rings
It is well known that the Eulerian polynomial is the Hilbert series of the cohomology of the permutohedral variety. We answer a question of Stembridge on finding a geometric explanation of the \emph{permutation representation} this cohomology carries. Our explanation involves an $\mathfrak{S}_n$-equivariant bijection between a basis for the Chow ring of the Boolean matroid and codes introduced by Stembridge. There are analogous results for the stellohedral variety. We provide a geometric explanation of the permutation representation that its cohomology carries. This involves the augmented Chow ring of a matroid introduced by Braden, Huh, Matherne, Proudfoot and Wang. Along the way, we also obtain some new results on augmented Chow rings.
Wachs permutations, Bruhat order and weak order
Published
• View Publication
• BIB
We study the partial orders induced on Wachs and signed Wachs permutations by the Bruhat and weak orders of the symmetric and hyperoctahedral groups. We show that these orders are graded, determine their rank function, characterize their ordering and covering relations, and compute their characteristic polynomials, when partially ordered by Bruhat order, and determine their structure explicitly when partially ordered by right weak order.
Monk rules for type $GL_n$ Macdonald polynomials
Published
• View Publication
• BIB
In this paper we give Monk rules for Macdonald polynomials which are analogous to the Monk rules for Schubert polynomials. These formulas are similar to the formulas given by Baratta (2008), but our method of derivation is to use Cherednik's interwiners. Deriving Monk rules by this technique addresses the relationship between the work of Baratta and the product formulas of Yip (2010). Specializations of the Monk formula's at $q=0$ and/or $t=0$ provide Monk rules for Iwahori-spherical polynomials and for finite and affine key polynomials.
Set-valued tableaux for Macdonald polynomials
Set-valued tableaux formulas play an important role in Schubert calculus. Using the box greedy reduced word for the construction of the Macdonald polynomials, we convert the alcove walk formula for Macdonald polynomials to a set-valued tableaux formula for Macdonald polynomials. Our hope is that providing set-valued tableaux formulas for Macdonald polynomials will help to strengthen the analogies and possible connections between the calculus of Macdonald polynomials and Schubert calculus.
On k-distance degree based topological indices of benzenoid systems
Topological indices are graph invariants numeric quantities, which are utilized by researchers to analyze a variety of physiochemical aspects of molecules. The goal of developing topological indices is to give each chemical structure a numerical value while maintaining the highest level of differentiation. Using these indices, the classification of various structures, and their physiochemical and biological properties can be predicted. In this paper, the leap and leap hyper Zagreb indices, as well as their polynomials for a zigzag benzenoid system $Z_{p}$ and a rhombic benzenoid system $R_{p}$ are determined. In addition, new $k$-distance degree-based topological indices such as leap-Somber index, hyper leap forgotten index, leap $Y$ index, and leap $Y$ coindex are also computed for the molecular graphs of $Z_p$ and $R_p$. Furthermore, their numerical computation and discussion are performed to determine the significance of their physiochemical properties.
A new formula for intersection numbers
We propose a new formula to compute Witten--Kontsevich intersection numbers. It is a closed formula, not involving recursion neither solving equations. It only involves sums over partitions of products of factorials, double factorials and Kostka numbers (numbers of semi-standard tableau of given shape and weight) with bounded weights. As an application, we prove a conjecture of [ELO21] stating that the generating polynomials of the intersection numbers expressed in the basis of elementary symmetric polynomials have an unexpected vanishing of their coefficients.
Quantitative Steinitz Theorem: A polynomial bound
Published
• View Publication
• BIB
The classical Steinitz theorem states that if the origin belongs to the interior of the convex hull of a set $S \subset \mathbb{R}^d$, then there are at most $2d$ points of $S$ whose convex hull contains the origin in the interior. Bárány, Katchalski, and Pach proved the following quantitative version of Steinitz's theorem. Let $Q$ be a convex polytope in $\mathbb{R}^d$ containing the standard Euclidean unit ball $\mathbf{B}^d$. Then there exist at most $2d$ vertices of $Q$ whose convex hull $Q^\prime$ satisfies \[ r \mathbf{B}^d \subset Q^\prime \] with $r\geq d^{-2d}$. They conjectured that $r\geq c d^{-1/2}$ holds with a universal constant $c>0$. We prove $r \geq \frac{1}{5d^2}$, the first polynomial lower bound on $r$. Furthermore, we show that $r$ is not be greater than $\frac{2}{\sqrt{d}}$.
Permutation Polynomials of $\mathbb{F}_{q^2}$ : A Linear Algebraic Approach
In this paper, we present a linear algebraic approach to the study of permutation polynomials that arise from linear maps over a finite field $\mathbb{F}_{q^2}$. We study a particular class of permutation polynomials over $\mathbb{F}_{q^2}$, in the context of rank deficient and full rank linear maps over $\mathbb{F}_{q^2}$. We derive necessary and sufficient conditions under which the given class of polynomials are permutation polynomials. We further show that the number of such permutation polynomials can be easily enumerated. Only a subset of these permutation polynomials have been reported in literature earlier. It turns out that this class of permutation polynomials have compositional inverses of the same kind and we provide algorithms to evaluate the compositional inverses of most of these permutation polynomials.
Christoffel words and the strong Fox conjecture for two-bridge knots
The trapezoidal Fox conjecture states that the coefficient sequence of the Alexander polynomial of an alternating knot is unimodal. We are motivated by a harder question, the strong Fox conjecture, which asks whether the coefficient sequence of the Alexander polynomial of alternating knots is actually log-concave. Our approach is to introduce a polynomial $Δ(t)$ associated to a Christoffel word and to prove that its coefficient sequence is log-concave. This implies the strong Fox conjecture for two-bridge knots.
Eight times four bialgebras of hypergraphs, cointeractions, and chromatic polynomials
Published
• View Publication
• BIB
We consider the bialgebra of hypergraphs, a generalization of Schmitt's Hopf algebra of graphs, and show it has a cointeracting bialgebra. So one has a double bialgebra in the sense of L. Foissy, who recently proved there is then a unique double bialgebra morphism to the double bialgebra structure on the polynomial ring ${\mathbb Q}[x]$. We show the polynomial associated to a hypergraph is the hypergraph chromatic polynomial.
Moreover hypergraphs occurs in quartets: there is a dual, a complement, and a dual complement hypergraph. These correspondences are involutions and give rise to three other double bialgebras, and three more chromatic polynomials. In all we give eight quartets of bialgebras which includes recent bialgebras of M. Aguiar and F. Ardila, and by L. Foissy.
On the column number and forbidden submatrices for $Δ$-modular matrices
Published
• View Publication
• BIB
An integer matrix $\mathbf{A}$ is $Δ$-modular if the determinant of each $\text{rank}(\mathbf{A}) \times \text{rank}(\mathbf{A})$ submatrix of $\mathbf{A}$ has absolute value at most $Δ$. The study of $Δ$-modular matrices appears in the theory of integer programming, where an open conjecture is whether integer programs defined by $Δ$-modular constraint matrices can be solved in polynomial time if $Δ$ is considered constant. The conjecture is only known to hold true when $Δ\in \{1,2\}$. In light of this conjecture, a natural question is to understand structural properties of $Δ$-modular matrices. We consider the column number question -- how many nonzero, pairwise non-parallel columns can a rank-$r$ $Δ$-modular matrix have? We prove that for each positive integer $Δ$ and sufficiently large integer $r$, every rank-$r$ $Δ$-modular matrix has at most $\binom{r+1}{2} + 80Δ^7 \cdot r$ nonzero, pairwise non-parallel columns, which is tight up to the term $80Δ^7$. This is the first upper bound of the form $\binom{r+1}{2} + f(Δ)\cdot r$ with $f$ a polynomial function. Underlying our results is a partial list of matrices that cannot exist in a $Δ$-modular matrix. We believe this partial list may be of independent interest in future studies of $Δ$-modular matrices.
Counterexample to a Boesch's Conjecture
A key issue in network reliability analysis. A graph with $n$ nodes and whose $e$ edges fail independently with probability $p$ is an \emph{Uniformly Most Reliable Graph} (UMRG) if it has the highest reliability among all graphs with the same order and size for every value of $p$. The \emph{all-terminal reliability} is a polynomial in $p$ which defines the probability of a network to remain connected if some of its components fail. If the coefficients of the reliability polynomial are maximized by a graph, that graph is called \textit{Strong Uniformly Most Reliable Graph} (SUMRG) and it should be UMRG. An exhaustive computer search of the SUMRG with vertices up to 9 is done. Regular graphs with 10 to 14 vertices that maximize tree number are proposed as candidates to UMRG. As an outstanding result a UMRG with 9 vertices and 18 edges which has girth 3 is found, so smaller than the conjectured by Boesch in 1986. A new conjecture about UMRG's topology is posed here: the $(n,e)$-UMRG is $\overline{(k-1)C_3\cup C_{3+r}}$ whenever $n=3k+r$,$n\geq5$ and $e={n(n-3)}/{2}$. A reformulation of Boesch's conjecture is presented stating that if a $(n, {kn}/{2})$-UMRG exists and it has girth $g$, then it has maximum girth among all $k$-regular $(n,{kn}/{2})$ graphs and minimum number of $g$-cycles among those $k$-regular $(n,{kn}/{2})$ graphs with girth $g$.
The Palindromic Trees
The family of trees with palindromic characteristic polynomials is characterized. Large families of graphs with this property are found as well.
Universal Limit Theorem for Spectra of iterated inclusion-uniform Subdivisions
The main object of this work is the top-dimensional Laplacian operator of a simplicial complex $K$. We study its spectral limiting behavior under a given non-trivial subdivision procedure $\text{div}$. It will be shown that in case $\text{div}$ satisfies a property we call inclusion-uniformity its spectrum converges to a universal limiting distribution only depending on the dimension of $K$. This class of subdivisions contains important special cases such as the edgewise subdivision $\text{esd}_r$ for $r\geq 2$ and dimension $d=2$ or the barycentric subdivision $\text{sd}$. This parallels a result of Brenti and Welker showing that the roots of $f$-polynomials of iterated barycentric subdivisions converge to a universal set of roots only depending on the dimension of $K$.
Furthermore we determine the family of universal limiting functions for the particular subdivision where the top dimensional faces are replaced by a cone over their boundary. We will show that this choice of $\text{div}$ is the natural generalization of graph subdivision in the spectral sense. These limits are obtained by explicit spectral decimation of the sequence of its dual graphs which is represented as a sequence of Schreier graphs on a rooted regular tree.
Finally we will point out that a generic sequence of iterated subdivisions can be realized by a sequence of graphs as in spectral analysis on fractals. We will give a construction of a self-similar sequence of graphs which dualizes the iterated application of subdivision.