arXiv subjects
Publications and source records attributed to Kathrin Maurischat.
We introduce the subsum polynomial of a partition $\lambda=(\lambda_1, \lambda_2, \ldots, \lambda_k)$ defined by $\mathrm{sp}(\lambda, x)=\prod_{i=1}^k(1+x^{\lambda_i})$. We study the sum of reciprocals of $\mathrm{sp}(\lambda, x)$ over all partitions of $n$. We prove arithmetic properties of related polynomials and offer connections to other combinatorial objects.
In their seminal paper, Lubotzky, Phillips and Sarnak (LPS) defined the notion of regular Ramanujan graphs and gave an explicit construction of infinite families of $(p+1)$-regular Ramanujan Cayley graphs, for infinitely many primes $p$. In this paper we extend the work of LPS and its successors to bigraphs (biregular bipartite graphs), in several aspects: we investigate the combinatorial properties of various generalizations of the notion of Ramanujan graphs, define a notion of Cayley bigraphs, and give explicit constructions of infinite families of $(p^3+1,p+1)$-regular Ramanujan Cayley bigraphs, for infinitely many $p$. Both the LPS graphs and our ones are arithmetic, arising as quotients of Bruhat-Tits trees by congruence subgroups of arithmetic lattices in a $p$-adic group, $PGL_2(\mathbb{Q}_p)$ for LPS and $PU_3(\mathbb{Q}_p)$ for us. In both cases the Ramanujan property relates to the Ramanujan Conjecture (RC) on the respective groups. But while for $PGL_2$ the RC holds unconditionally, this is not so in the case of $PU_3$. We find explicit cases where the RC does and does not hold, and use this to construct arithmetic non-Ramanujan Cayley bigraphs as well, and prove that nevertheless they satisfy the Sarnak-Xue density hypothesis. On the combinatorial side, we present a pseudorandomness characterization of Ramanujan bigraphs, and a more general notion of biexpanders. We show that our Ramanujan bigraphs exhibit the cutoff phenomenon with bounded window size for non-backtracking random walks, either as a consequence of the Ramanujan property, or of the Sarnak-Xue density hypothesis. Finally, we present some other applications of our work: golden gates for $PU_3$, Ramanujan and non-Ramanujan complexes of type $\widetilde{A}_2$, optimal strong approximation for $p$-arithmetic subgroups of $PSU_3$ and vanishing of first Betti numbers of Picard modular surfaces.
Let $\Gamma\subset \textrm{PSL}_2({\mathbb R})$ be a Fuchsian group of the first kind having a fundamental domain with a finite hyperbolic area, and let $\widetilde\Gamma$ be its cover in $\textrm{SL}_2({\mathbb R})$. Consider the space of twice continuously differentiable, square-integrable functions on the hyperbolic upper half-plane, which transform in a suitable way with respect to a multiplier system of weight $k\in{\mathbb R}$ under the action of $\widetilde\Gamma$. The space of such functions admits the action of the hyperbolic Laplacian $\Delta_k$ of weight $k$. Following an approach of Jorgenson, von Pippich and Smajlovi\'c (where $k=0$), we use the spectral expansion associated to $\Delta_k$ to construct a wave distribution and then identify the conditions on its test functions under which it represents automorphic kernels and further gives rise to Poincar\'e-type series. An advantage of this method is that the resulting series may be naturally meromorphically continued to the whole complex plane. Additionally, we derive sup-norm bounds for the eigenfunctions in the discrete spectrum of $\Delta_k$.
We define Sturm's operator on vector valued Siegel modular forms obtaining an explicit description of their holomorphic projection in case of large absolute weight. However, for small absolute weight, Sturm's operator produces phantom terms in addition. This confirms our earlier results for scalar Siegel modular forms.
We give several families of polynomials which are related by Eulerian summation operators. They satisfy interesting combinatorial properties like being integer-valued at integral points. This involves nearby-symmetries and a recursion for the values at half-integral points. We also obtain identities for super Catalan numbers.
We show that the special unitary group associated to an involution of the second kind on a central division algebra of degree three does not contain hermitian or skew-hermitian elements. Especially, there are no reflections. For Albert's special cyclic presentation we show that the intersections of reasonable $S$-arithmetic subgroups with the two obvious maximal subfields consist of the trivial central elements.
In contrast to the wellknown cases of large weights, Sturm's operator does not realize the holomorphic projection operator for lower weights. We prove its failure for arbitrary Siegel genus $m\geq 2$ and scalar weight $\kappa=m+1$. This generalizes a result for genus two in [4].
We show the analytic continuation of certain Siegel Poincar\'e series to their critical point for weight three in genus two. We proof that this continuation posesses a nonhomomorphic part and describe it. We show that Sturm's operator also produces a nonhomorphic share for weight three, we call it a phantom term. Weight three is the distinguished weight for genus two where this phenomenon arises.
We define non-holomorphic Poincar\'e series of exponential type for symplectic groups $\mathop{Sp}_m(\mathbb R)$ and continue them analytically in case $m=2$ for the small weight $(4,4)$. For this we construct certain Casimir operators and study the spectral properties of their resolvents on $L^2(\Gamma\backslash \mathop{Sp}_2(\mathbb R))$. Using the holomorphically continued Poincar\'e series, the holomorphic projection is described in terms of Fourier coefficients using Sturm's operator.
We construct explicitly an infinite family of Ramanujan graphs which are bipartite and biregular. Our construction starts with the Bruhat-Tits building of an inner form of $SU_3(\mathbb Q_p)$. To make the graphs finite, we take successive quotients by infinitely many discrete co-compact subgroups of decreasing size.
We give a full set of Casimir operators for the symplectic group of arbitrary genus in terms of a basis chosen such that the action on representations of known $K$-type becomes transparent. We give examples for the latter.
On the background of Zhang's local Gross-Zagier formulae for GL(2), we study some p-adic problems. The local Gross-Zagier formulae give identities of very special local geometric data (local linking numbers) with certain local Fourier coefficients of a Rankin L-function. The local linking numbers are local coefficients of a geometric (height) pairing. The Fourier coefficients are products of the local Whittaker functions of two automorphic representations of GL(2). We establish a matching of the space of local linking numbers with the space of all those Whittaker products. Further, we construct a universally defined operator on the local linking numbers which reflects the behavior of the analytic Hecke operator. Its suitability is shown by recovering from it an equivalent of the local Gross-Zagier formulae. Our methods are throughout constructive and computational.