Related papers: Lattice sums for polyanalytic functions
We consider the class of multiple Fourier series associated with functions in the Dirichlet space of the polydisc. We prove that every such series is summable with respect to unrestricted rectangular partial sums, everywhere except for a…
We consider the sums $S(k)=\sum_{n=0}^{\infty}\frac{(-1)^{nk}}{(2n+1)^k}$ and $\zeta(2k)=\sum_{n=1}^{\infty}\frac{1}{n^{2k}}$ with $k$ being a positive integer. We evaluate these sums with multiple integration, a modern technique. First, we…
We present a formal verification of the classical isoperimetric inequality in the plane using the Lean 4 proof assistant and its mathematical library Mathlib. We follow Adolf Hurwitz's analytic approach to establish the inequality $L^2 \ge…
In recent years L-functions and their analytic properties have assumed a central role in number theory and automorphic forms. In this expository article, we describe the two major methods for proving the analytic continuation and functional…
In this paper, we employ methods of contour integration and residue calculus to investigate the parity of two classes of cyclotomic Euler-type sums. One class involves products of cyclotomic harmonic numbers, while the other involves…
We prove an algebraic canonicity theorem for normal LE-logics of arbitrary signature, in a generalized setting in which the non-lattice connectives are interpreted as operations mapping tuples of elements of the given lattice to closed or…
We study the correlations of pairs of complex logarithms of $\mathbb Z$-lattice points in the complex line at various scalings, proving the existence of pair correlation functions. We prove that at the linear scaling, the pair correlations…
We evaluate in closed form, for the first time, certain classes of double series, which are remindful of lattice sums. Elliptic functions, singular moduli, class invariants, and the Rogers--Ramanujan continued fraction play central roles in…
In calculations of transport quantities, such as the electrical conductivity, thermal conductivity, Seebeck, Peltier, Nernst, Ettingshausen, Righi-Leduc, or Hall coefficients, sums over the Brillouin zone of wave-vector derivatives of the…
We discuss generalizations of some results on lattice polygons to certain piecewise linear loops which may have a self-intersection but have vertices in the lattice $\mathbb{Z}^2$. We first prove a formula on the rotation number of a…
We suggest a local wave function based ab initio correlation method for infinite periodic systems, which can describe both the near range as well as the long range correlation effects coherently in the same scheme. Specifically, this work…
Almost four decades ago, Bergman and Milton independently showed that the isotropic effective electric permittivity of a two-phase composite material with a given volume fraction is constrained to lie within lens-shaped regions in the…
A local lattice point counting formula, and more generally a local Euler-Maclaurin formula follow by comparing two natural families of meromorphic functions on the dual of a rational vector space $V$, namely the family of exponential sums…
A theorem of Scott gives an upper bound for the normalized volume of lattice polygons with exactly $i>0$ interior lattice points. We will show that the same bound is true for the normalized volume of lattice polytopes of degree 2 even in…
This paper provides the theoretical foundation for the construction of lattice algorithms for multivariate $L_2$ approximation in the worst case setting, for functions in a periodic space with general weight parameters. Our construction…
Our results revolve around a new operation on partitions, which we call overlap. We prove two overlap identities for so-called Littlewood-Schur functions. Littlewood-Schur functions are a generalization of Schur functions, whose study was…
A classical theorem of Ingham extended Parseval's formula of the trigonometrical system to arbitrary families of exponentials satisfying a uniform gap condition. Later his result was extended to several dimensions, but the optimal…
We present a systematic method for determining the two-loop effective Lagrangian resulting from integrating out a set of heavy particles in an ultraviolet scalar theory. We prove that the matching coefficients are entirely determined from…
The general Poisson summation formula of harmonic analysis and analytic number theory can be regarded as a quadrature formula with remainder. The purpose of this investigation is to give estimates for this remainder based on the classical…
Poincar\'e in 1911 and Petersson in 1932 gave the now classical expression for the parabolic Fourier coefficients of holomorphic Poincar\'e series in terms of Bessel functions and Kloosterman sums. Later, in 1941, Petersson introduced…