Source author record

Markus Neuhauser

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

10works
6topics
4close collaborators

Published work

10 publications

preprint2022arXiv

Log-Concavity of Infinite Product Generating Functions

In the 19701970s Nicolas proved that the coefficients pd(n)p_d(n) defined by the generating function \begin{equation*} \sum_{n=0}^{\infty} p_d(n) \, q^n = \prod_{n=1}^{\infty} \left( 1- q^n\right)^{-n^{d-1}} \end{equation*} are log-concave for d=1d=1. Recently, Ono, Pujahari, and Rolen have extended the result to d=2d=2. Note that p1(n)=p(n)p_1(n)=p(n) is the partition function and $p_2(n)=\func{pp}\left( n\right) $ is the number of plane partitions. In this paper, we invest in properties for pd(n)p_d(n) for general dd. Let n≥6n \geq 6. Then pd(n)p_d(n) is almost log-concave for nn divisible by 33 and almost strictly log-convex otherwise.

preprint2022arXiv

Turán Inequalities for Infinite Product Generating Functions

In the 19701970s, Nicolas proved that the partition function p(n)p(n) is log-concave for n>25 n > 25. In \cite{HNT21}, a precise conjecture on the log-concavity for the plane partition function $\func{pp}(n)$ for n>11n >11 was stated. This was recently proven by Ono, Pujahari, and Rolen. In this paper, we provide a general picture. We associate to double sequences {gd(n)}d,n\{g_d(n)\}_{d,n} with gd(1)=1g_d(1)=1 and 0≤gd(n)−nd≤g1(n)(n−1)d−10 \leq g_{d}\left( n\right) - n^{d}\leq g_{1}\left( n\right) \left( n-1\right) ^{d-1} polynomials {Pngd(x)}d,n\{P_n^{g_d}(x)\}_{d,n} given by \begin{equation*} \sum_{n=0}^{\infty} P_n^{g_d}(x) \, q^n := \func{exp}\left( x \sum_{n=1}^{\infty} g_d(n) \frac{q^n}{n} \right) =\prod_{n=1}^{\infty} \left( 1 - q^n \right)^{-x f_d(n)}. \end{equation*} We recover p(n)=Pnσ1(1) p(n)= P_n^{σ_1}(1) and $\func{pp}\left( n\right) = P_n^{σ_2}(1)$, where σd(n):=∑ℓ∣nℓdσ_d (n):= \sum_{\ell \mid n} \ell^d and fd(n)=nd−1f_d(n)= n^{d-1}. Let n≥6n \geq 6. Then the sequence {Pnσd(1)}d\{P_n^{σ_d}(1)\}_d is log-concave for almost all dd if and only if nn is divisible by 33. Let $\func{id}(n)=n$. Then $P_n^{\func{id}}(x) = \frac{x}{n} L_{n-1}^{(1)}(-x)$, where Ln(α)(x)L_{n}^{\left( α\right) }\left( x\right) denotes the αα-associated Laguerre polynomial. In this paper, we invest in Turán inequalities \begin{equation*} Δ_{n}^{g_d}(x) := \left( P_n^{g_d}(x) \right)^2 - P_{n-1}^{g_d}(x) \, P_{n+1}^{g_d}(x) \geq 0. \end{equation*} Let n≥6n \geq 6 and 0≤x<2−12n+40 \leq x < 2 - \frac{12}{n+4}. Then nn is divisible by 33 if and only if Δngd(x)≥0Δ_{n}^{g_d}(x) \geq 0 for almost all dd. Let n≥6n \geq 6 and n≢2(mod3)n \not\equiv 2 \pmod{3}. Then the condition on xx can be reduced to x≥0x \geq 0. We determine explicit bounds. As an analogue to Nicolas' result, we have for $g_1= \func{id}$ that $Δ_{n}^{\func{id}}(x) \geq 0$ for all x≥0x \geq 0 and all nn.

preprint2022arXiv

Turán inequalities from Chebyshev to Laguerre polynomials

Let gg and hh be real-valued arithmetic functions, positive and normalized. Specific choices within the following general scheme of recursively defined polynomials \begin{equation*} P_n^{g,h}(x):= \frac{x}{h(n)} \sum_{k=1}^{n} g(k) \, P_{n-k}^{g,h}(x), \end{equation*} with initial value P0g,h(x)=1P_{0}^{g,h}(x)=1 encode information about several classical, widely studied polynomials. This includes Chebyshev polynomials of the second kind, associated Laguerre polynomials, and the Nekrasov--Okounkov polynomials. In this paper we prove that for g(n)=ng(n)=n and fixed hh we obtain orthogonal polynomial sequences for positive definite functionals. Let h(n)=nsh(n)=n^s with 0≤s≤10 \leq s \leq 1 . Then the sequence satisfies Turán inequalities for x≥0x \geq 0.

preprint2022arXiv

Variations of Central Limit Theorems and Stirling numbers of the First Kind

We construct a new parametrization of double sequences {An,k(s)}n,k\{A_{n,k}(s)\}_{n,k} between An,k(0)=(n−1k−1)A_{n,k}(0)= \binom{n-1}{k-1} and $A_{n,k}(1)= \frac{1}{n!}\stirl{n}{k}$, where $\stirl{n}{k}$ are the unsigned Stirling numbers of the first kind. For each ss we prove a central limit theorem and a local limit theorem. This extends the de\,Moivre--Laplace central limit theorem and Goncharov's result, that unsigned Stirling numbers of the first kind are asymptotically normal. Herewith, we provide several applications.

preprint2021arXiv

Asymptotic expansion of Fourier coefficients of reciprocals of Eisenstein series

In this paper we give a classification of the asymptotic expansion of the qq-expansion of reciprocals of Eisenstein series EkE_k of weight kk for the modular group $\func{SL}_2(\mathbb{Z})$. For k≥12k \geq 12 even, this extends results of Hardy and Ramanujan, and Berndt, Bialek and Yee, utilizing the Circle Method on the one hand, and results of Petersson, and Bringmann and Kane, developing a theory of meromorphic Poincar{é} series on the other. We follow a uniform approach, based on the zeros of the Eisenstein series with the largest imaginary part. These special zeros provide information on the singularities of the Fourier expansion of 1/Ek(z)1/E_k(z) with respect to q=e2πizq = e^{2 πi z}.

preprint2021arXiv

On the growth and zeros of polynomials attached to arithmetic functions

In this paper we investigate growth properties and the zero distribution of polynomials attached to arithmetic functions gg and hh, where gg is normalized, of moderate growth, and 0<h(n)≤h(n+1)0<h(n) \leq h(n+1). We put P0g,h(x)=1P_0^{g,h}(x)=1 and \begin{equation*} P_n^{g,h}(x) := \frac{x}{h(n)} \sum_{k=1}^{n} g(k) \, P_{n-k}^{g,h}(x). \end{equation*} As an application we obtain the best known result on the domain of the non-vanishing of the Fourier coefficients of powers of the Dedekind ηη-function. Here, gg is the sum of divisors and hh the identity function. Kostant's result on the representation of simple complex Lie algebras and Han's results on the Nekrasov--Okounkov hook length formula are extended. The polynomials are related to reciprocals of Eisenstein series, Klein's jj-invariant, and Chebyshev polynomials of the second kind.

preprint2008arXiv

On the spectrum of lamplighter groups and percolation clusters

Let GG be a finitely generated group and XX its Cayley graph with respect to a finite, symmetric generating set SS. Furthermore, let HH be a finite group and H≀GH \wr G the lamplighter group (wreath product) over GG with group of "lamps" HH. We show that the spectral measure (Plancherel measure) of any symmetric "switch--walk--switch" random walk on H≀GH \wr G coincides with the expected spectral measure (integrated density of states) of the random walk with absorbing boundary on the cluster of the group identity for Bernoulli site percolation on XX with parameter p=1/∣H∣p = 1/|H|. The return probabilities of the lamplighter random walk coincide with the expected (annealed) return probabilites on the percolation cluster. In particular, if the clusters of percolation with parameter pp are almost surely finite then the spectrum of the lamplighter group is pure point. This generalizes results of Grigorchuk and Zuk, resp. Dicks and Schick regarding the case when GG is infinite cyclic. Analogous results relate bond percolation with another lamplighter random walk. In general, the integrated density of states of site (or bond) percolation with arbitrary parameter pp is always related with the Plancherel measure of a convolution operator by a signed measure on H≀GH \wr G, where H=ZH = Z or another suitable group.

preprint2006arXiv

Horocyclic products of trees

Let T_1,..., T_d be homogeneous trees with degrees q_1+1,..., q_d+1>=3, respectively. For each tree, let h:T_j->Z be the Busemann function with respect to a fixed boundary point (end). Its level sets are the horocycles. The horocyclic product of T_1,...,T_d is the graph DL(q_1,...,q_d) consisting of all d-tuples x_1...x_d in T_1x...xT_d with h(x_1)+...+h(x_d)=0, equipped with a natural neighbourhood relation. In the present paper, we explore the geometric, algebraic, analytic and probabilistic properties of these graphs and their isometry groups. If d=2 and q_1=q_2=q then we obtain a Cayley graph of the lamplighter group (wreath product) (Z/qZ) wr Z. If d=3 and q_1=q_2=q_3=q then DL is the Cayley graph of a finitely presented group into which the lamplighter group embeds naturally. Also when d>=4 and q_1=...=q_d=q is such that each prime power in the decomposition of q is larger than d-1, we show that DL is a Cayley graph of a finitely presented group. This group is of type F_{d-1}, but not F_d. It is not automatic, but it is an automata group in most cases. On the other hand, when the q_j do not all coincide, DL(q_1,...,q_d) is a vertex-transitive graph, but is not the Cayley graph of a finitely generated group. Indeed, it does not even admit a group action with finitely many orbits and finite point stabilizers. The l^2-spectrum of the ``simple random walk'' operator on DL is always pure point. When d=2, it is known explicitly from previous work, while for d=3 we compute it explicitly. Finally, we determine the Poisson boundary of a large class of group-invariant random walks on DL. It coincides with a part of the geometric boundary of DL.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.