No Arabic abstract
The Jacobian elliptic functions are standard forms of elliptic functions, and they were independently introduced by C.G.J. Jacobi and N.H. Abel. In this paper, we study the unimodality of Taylor expansion coefficients of the Jacobian elliptic functions sn(u,k) and cn(u,k). By using the theory of gamma-positivity, we obtain that the Taylor expansion coefficients of sn(u,k) are symmetric and unimodal, and that of cn(u,k) are unimodal and alternatingly increasing.
Partition functions arise in statistical physics and probability theory as the normalizing constant of Gibbs measures and in combinatorics and graph theory as graph polynomials. For instance the partition functions of the hard-core model and monomer-dimer model are the independence and matching polynomials respectively. We show how stability results follow naturally from the recently developed occupancy method for maximizing and minimizing physical observables over classes of regular graphs, and then show these stability results can be used to obtain tight extremal bounds on the individual coefficients of the corresponding partition functions. As applications, we prove new bounds on the number of independent sets and matchings of a given size in regular graphs. For large enough graphs and almost all sizes, the bounds are tight and confirm the Upper Matching Conjecture of Friedland, Krop, and Markstrom and a conjecture of Kahn on independent sets for a wide range of parameters. Additionally we prove tight bounds on the number of $q$-colorings of cubic graphs with a given number of monochromatic edges, and tight bounds on the number of independent sets of a given size in cubic graphs of girth at least $5$.
A polynomial $A(q)=sum_{i=0}^n a_iq^i$ is said to be unimodal if $a_0le a_1le cdots le a_kge a_{k+1} ge cdots ge a_n$. We investigate the unimodality of rational $q$-Catalan polynomials, which is defined to be $C_{m,n}(q)= frac{1}{[n+m]} left[ m+n atop nright]$ for a coprime pair of positive integers $(m,n)$. We conjecture that they are unimodal with respect to parity, or equivalently, $(1+q)C_{m+n}(q)$ is unimodal. By using generating functions and the constant term method, we verify our conjecture for $mle 5$ in a straightforward way.
We show that the Taylor coefficients of the series ${bf q}(z)=zexp({bf G}(z)/{bf F}(z))$ are integers, where ${bf F}(z)$ and ${bf G}(z)+log(z) {bf F}(z)$ are specific solutions of certain hypergeometric differential equations with maximal unipotent monodromy at $z=0$. We also address the question of finding the largest integer $u$ such that the Taylor coefficients of $(z ^{-1}{bf q}(z))^{1/u}$ are still integers. As consequences, we are able to prove numerous integrality results for the Taylor coefficients of mirror maps of Calabi-Yau complete intersections in weighted projective spaces, which improve and refine previous results by Lian and Yau, and by Zudilin. In particular, we prove the general ``integrality conjecture of Zudilin about these mirror maps. A further outcome of the present study is the determination of the Dwork-Kontsevich sequence $(u_N)_{Nge1}$, where $u_N$ is the largest integer such that $q(z)^{1/u_N}$ is a series with integer coefficients, where $q(z)=exp(F(z)/G(z))$, $F(z)=sum_{m=0} ^{infty} (Nm)! z^m/m!^N$ and $G(z)=sum_{m=1} ^{infty} (H_{Nm}-H_m)(Nm)! z^m/m!^N$, with $H_n$ denoting the $n$-th harmonic number, conditional on the conjecture that there are no prime number $p$ and integer $N$ such that the $p$-adic valuation of $H_N-1$ is strictly greater than 3.
V. Nestoridis conjectured that if $Omega$ is a simply connected subset of $mathbb{C}$ that does not contain $0$ and $S(Omega)$ is the set of all functions $fin mathcal{H}(Omega)$ with the property that the set $left{T_N(f)(z)coloneqqsum_{n=0}^Ndfrac{f^{(n)}(z)}{n!} (-z)^n : N = 0,1,2,dots right}$ is dense in $mathcal{H}(Omega)$, then $S(Omega)$ is a dense $G_delta$ set in $mathcal{H}(Omega)$. We answer the conjecture in the affirmative in the special case where $Omega$ is an open disc $D(z_0,r)$ that does not contain $0$.
Let alpha = (a,b,...) be a composition. Consider the associated poset F(alpha), called a fence, whose covering relations are x_1 < x_2 < ... < x_{a+1} > x_{a+2} > ... > x_{a+b+1} < x_{a+b+2} < ... . We study the associated distributive lattice L(alpha) consisting of all lower order ideals of F(alpha). These lattices are important in the theory of cluster algebras and their rank generating functions can be used to define q-analogues of rational numbers. In particular, we make progress on a recent conjecture of Morier-Genoud and Ovsienko that L(alpha) is rank unimodal. We show that if one of the parts of alpha is greater than the sum of the others, then the conjecture is true. We conjecture that L(alpha) enjoys the stronger properties of having a nested chain decomposition and having a rank sequence which is either top or bottom interlacing, the latter being a recently defined property of sequences. We verify that these properties hold for compositions with at most three parts and for what we call d-divided posets, generalizing work of Claussen and simplifying a construction of Gansner.