SearcharxivSearch

arXiv subjects

Bernhard Heim

Publications and source records attributed to Bernhard Heim.

At least 19 recordsLinked to original sources

A Positive Proportion of the Reduced D'Arcais Polynomials is not Hurwitz

Heretofore, the second and third author conjectured that the D'Arcais polynomials, related to the coefficients of the powers of the Dedekind $\eta$-function, are Hurwitz polynomials except for a root at the origin. We show that this does in fact not hold for a positive proportion of all natural numbers.

math.NT

Submultiplicative Polynomials in Combinatorics

For normalized sequences $\left(g(n)\right)_{n\in\mathbb{N}}$ we consider recursively defined polynomials $P_n^g(x)$. In this paper we study their submultiplicative property, viewed as a Bessenrodt--Ono type inequality for the partition function, and provide an effective criterion for establishing it.

math.CO

Dominant Zeros of Nekrasov--Okounkov Polynomials

We give an exact finite-dimensional Perron--Frobenius realization of the dominant zero of the Nekrasov--Okounkov polynomials $\nop _n(z)$. For a normalized positive sequence $h=(h(n))_{n\ge 1}$ with $h(1)=1$, define $\pol _0^h(z)=1$ and, for $n\ge 1$, \[ \pol _n^h(z)=\frac{z}{h(n)}\sum_{k=1}^n \sigma(k)\pol _{n-k}^h(z),\] where $\sigma(k)$ denotes the sum of divisors of $k$. The Nekrasov--Okounkov polynomials are obtained from the specialization $h(n)=n$ by the shift $\nop _n(z)=\pol _n^h(z+1)$. We derive a Hessenberg determinant representation for $\pol _n^h(z)$. After separating the trivial zero at the origin, the remaining zeros of $\pol _n^h(-z)$ are identified with the eigenvalues of an explicit $(n-1)\times(n-1)$ nonnegative matrix $M_n^h$. We prove that $M_n^h$ is primitive and apply Perron--Frobenius theory to show that $\pol _n^h(z)$ has a unique zero of maximal modulus; this zero is real, negative, and simple. As a consequence, the same property holds for the Nekrasov--Okounkov polynomials. We also prove strict monotonicity of the associated spectral radii.

math.CO

On the Smallest Counterexample to the Log-Concavity of the D'Arcais Polynomials

Recently, Starr used asymptotic methods to disprove a conjecture by Heim--Neuhauser and Abdesselam about the log-concavity of the D'Arcais polynomials, without giving an explicit counterexample. We refine the asymptotics, to give the necessary estimates on convolutions of $\sigma_{-1}$, and identify the first counterexample at $\lambda = 65\,214\,507\,758\,400$. We also consider the asymptotic density of such counterexamples.

math.NT

On the Detection of Non-Roots of D'Arcais Polynomials

The Lehmer conjecture states that the non-constant Fourier coefficients of the 24th power of the Dedekind eta function are non-zero. In a recent preprint, Neuhauser and the first author exploited an easily accessible tool from algebraic number theory, namely the Dedekind--Kummer Theorem, to prove the non-vanishing of the Fourier coefficients of certain powers of the Dedekind eta function at roots of unity. We extend the application of this method to enlarge the scope of non-roots of the related D'Arcais polynomials.

math.NT

Log-Concavity and Log-Convexity of Restricted Infinite Products

In this paper we provide a classification on the sign distribution of $\Delta _{E,\ell}(n):= p_{E,\ell }(n)^2 - p_{E,\ell }(n-1) \, p_{E,\ell }(n+1)$, where \begin{equation*} \sum_{n =0}^{\infty} p_{E,\ell }(n) \, q^n := \prod_{n \in S} \left(1 - q^n \right)^{-f_{\ell}(n)},\quad (\ell \in \mathbb{N}, f_1\equiv 1). \end{equation*} We take the product over $1\in S \subset \mathbb{N}$ and denote the complement by $E$, the set of exceptions. In the case of $\ell=1$ and $E$ the multiples of $k$, $p_{E,1}\left( n\right) $ represents the number of $k$-regular partitions. More generally, let $f_{\ell}$ satisfy a certain growth condition. We determine the signs of $\Delta _{E,\ell }(n)$ for $\ell$ large. The signs mainly depend on the occurrence of subsets of $\{2,3,4,5\}$ as a part of the exception set and the residue class of $n$ modulo $ r$, where $r $ depends on $E$. For example, let $2,3 \in S$ and $4$ an exception. Let $n$ be large. Then for almost all $\ell$ we have \begin{equation*} \Delta _{E,\ell }(n) >0 \,\,\, \text{ for } n\equiv 2 \pmod{3}. \end{equation*} If we assume $3,4 \in S$ and $2$ an exception. Let $n$ be large. Then for almost all $\ell$ we have \begin{equation*} \Delta _{E,\ell }(n) < 0 \,\,\, \text{ for } n\equiv 2 \pmod{3}. \end{equation*} Note that this property is independent of the integers $k\in S,k>4$.

math.CO

On the Non-vanishing of the D'Arcais Polynomials

In this paper we invest in the non-vanishing of the Fourier coefficients of powers of the Dedekind eta function. This is reflected in non-vanishing properties of the D'Arcais polynomials. We generalize and improve results of Heim--Luca--Neuhauser and \.{Z}mija. We apply methods from algebraic number theory.

math.NT

Vanishing properties of Fourier coefficients of holomorphic $\eta$-quotients

In this paper, we study vanishing of Fourier coefficients of holomorphic $\eta$-quotients. We investigate examples of two different types: the first one involves integral weight CM newforms, while the second one involves half-integral weight $\eta$-quotients associated with sums of squares and Hurwitz class numbers.

math.NT

Bessenrodt--Ono inequalities for $\ell$-tuples of pairwise commuting permutations

Let $S_n$ denote the symmetric group. We consider \begin{equation*} N_{\ell}(n) := \frac{\left\vert Hom\left( \mathbb{Z}^{\ell},S_n\right) \right\vert}{n!} \end{equation*} which also counts the number of $\ell$-tuples $\pi=\left( \pi_1, \ldots, \pi_{\ell}\right) \in S_n^{\ell}$ with $\pi_i \pi_j = \pi_j \pi_i$ for $1 \leq i,j \leq \ell$ scaled by $n!$. A recursion formula, generating function, and Euler product have been discovered by Dey, Wohlfahrt, Bryman and Fulman, and White. Let $a,b, \ell \geq 2$. It is known by Bringman, Franke, and Heim, that the Bessenrodt--Ono inequality \begin{equation*} \Delta_{a,b}^{\ell}:= N_{\ell}(a) \, N_{\ell}(b) - N_{\ell}(a+b) >0 \end{equation*} is valid for $a,b \gg 1$ and by Bessenrodt and Ono that it is valid for $\ell =2$ and $a+b >9$. In this paper we prove that for each pair $(a,b)$ the sign of $\{\Delta_{a,b}^{\ell} \}_{\ell}$ is getting stable. In each case we provide an explicit bound. The numbers $N_{\ell}\left( n\right) $ had been identified by Bryan and Fulman as the $n$-th orbifold characteristics, generalizing work by Macdonald and Hirzebruch--H\"{o}fer concerning the ordinary and string-theoretic Euler characteristics of symmetric products, where $N_2(n)=p(n) $ represents the partition function.

math.CO

Inequalities for $k$-regular partitions

We build upon the work by Bessenrodt and Ono, as well as Beckwith and Bessenrodt concerning the combined additive and multiplicative behavior of the $k$-regular partition functions $p_k(n)$. Our focus is on addressing the solutions of the Bessenrodt--Ono inequality \begin{equation*} p_k(a) \, p_k(b) > p_k(a+b). \end{equation*} We determine the sets $E_k$ and $F_k$ consisting of all pairs $(a,b)$, where we have equality or the opposite inequality. Bessenrodt and Ono previously determined the exception sets $E_{\infty}$ and $F_{\infty}$ for the partition function $p(n)$. We prove by induction that $E_k=E_{\infty}$ and $F_k=F_{\infty}$ if and only if $k \geq 10$. Beckwith and Bessenrodt used analytic methods to consider $2 \leq k \leq 6$, while Alanazi, Gagola, and Munagi studied the case $k=2$ using combinatorial methods. Finally, we present a precise and comprehensive conjecture on the log-concavity of the $k$-regular partition function extending previous speculations by Craig and Pun. The case $k=2$ was recently proven by Dong and Ji.

math.CO

On a sign-change conjecture of Schlosser and Zhou

In this paper, we investigate the signs changes of Fourier coefficients of infinite products of $q$-series of Rogers--Ramanujan type. In particular, we prove a conjecture made by Schlosser--Zhou pertaining to such sign changes for products of modulus $10$.

math.CO

On a mod $3$ property of $\ell $-tuples of pairwise commuting permutations

Let $S_n$ denote the symmetric group of permutations acting on $n$ elements. We investigate the double sequence $\{N_{\ell}(n)\}$ counting the number of $\ell$ tuples of elements of the symmetric group $S_n$, where the components commute, normalized by the order of $S_n$. Our focus lies on exploring log-concavity with respect to $n$: $$ N_{\ell}(n)^2 - N_{\ell}(n-1) \,\, N_{\ell}(n+1) \geq 0.$$ We establish that this depends on $n \pmod{3}$ for sufficiently large $\ell$. These numbers are studied by Bryan and Fulman as the $n$th orbifold characteristics, generalizing work of Macdonald and Hirzebruch--Hofer concerning the ordinary and string-theoretic Euler characteristics of symmetric products. Notably, $N_2(n)$ represents the partition numbers $p(n)$, while $N_{3}(n)$ represents the number of non-equivalent $n$-sheeted coverings of a torus studied by Liskovets and Medynkh. The numbers also appear in algebra since $ \vert S_n \vert \,\, N_{\ell}(n) = \left\vert Hom \left( \mathbb{Z}^{\ell},S_n\right) \right\vert $.

math.CO

Asymptotics of commuting $\ell$-tuples in symmetric groups and log-concavity

Denote by $N_{\ell}(n)$ the number of $\ell$-tuples of elements in the symmetric group $S_n$ with commuting components, normalized by the order of $S_n$. In this paper, we prove asymptotic formulas for $N_\ell(n)$. In addition, general criteria for log-concavity are shown, which can be applied to $N_\ell(n)$ among other examples. Moreover, we obtain a Bessenrodt-Ono type theorem which gives an inequality of the form $c(a)c(b) > c(a+b)$ for certain families of sequences $c(n)$.

math.NT

Polynomization of the Bessenrodt-Ono type inequalities for A-partition functions

For an arbitrary set or multiset $A$ of positive integers, we associate the $A$-partition function $p_A(n)$ (that is the number of partitions of $n$ whose parts belong to $A$). We also consider the analogue of the $k$-colored partition function, namely, $p_{A,-k}(n)$. Further, we define a family of polynomials $f_{A,n}(x)$ which satisfy the equality $f_{A,n}(k)=p_{A,-k}(n)$ for all $n\in\mathbb{Z}_{\geq0}$ and $k\in\mathbb{N}$. This paper concerns the polynomization of the Bessenrodt--Ono type inequality for $f_{A,n}(x)$: \begin{align*} f_{A,a}(x)f_{A,b}(x)>f_{A,a+b}(x), \end{align*} where $a$ and $b$ are arbitrary positive integers; and delivers some efficient criteria for its solutions. Moreover, we also investigate a few basic properties related to both functions $f_{A,n}(x)$ and $f_{A,n}'(x)$.

math.CO

Zeros Transfer For Recursively defined Polynomials

The zeros of D'Arcais polynomials, also known as Nekrasov--Okounkov polynomials, dictate the vanishing of the Fourier coefficients of powers of the Dedekind functions. These polynomials satisfy difference equations of hereditary type with non-constant coefficients. We relate the D'Arcais polynomials to polynomials satisying a Volterra difference equation of convolution type. We obtain results on the transfer of the location of the zeros. As an application, we obtain an identity between Chebyshev polynomials of the second kind and $1$-associated Laguerre polynomials. We obtain a new version of the Lehmer conjecture and bounds for the zeros of the Hermite polynomials.

math.NT