Related papers: On (not) computing the Mobius function using bound…

Many special functions are solutions of first order linear systems $y_n'(x)=a_n(x)y_n(x)+d_n(x)y_{n-1}(x)$, $y_{n-1}'(x)=b_n(x)y_{n-1}(x)+e_{n}(x)y_n(x)$. We obtain bounds for the ratios $y_n(x)/y_{n-1}(x)$ and the logarithmic derivatives…

Let $M$ be a compact connected surface with boundary. We prove that the signal condition given by the Gauss-Bonnet theorem is necessary and sufficient for a given smooth function $f$ on $\partial M$ (resp. on $M$) to be geodesic curvature…

Suppose R is a finite commutative ring of prime characteristic, A is a finite R-module, M:=Z^D x N^E, and F is an R-linear cellular automaton on A^M. If mu is an F-invariant measure which is multiply shift-mixing in a certain way, then we…

We obtain some Liouville type theorems for positive harmonic functions on compact Riemannian manifolds with nonnegative Ricci curvature and strictly convex boundary and partially verifies Wang's conjecture (J. Geom. Anal. 31 (2021)). For…

We present a class of multiplicative functions $f:\mathbb{N}\to\mathbb{C}$ with bounded partial sums. The novelty here is that our functions do not need to have modulus bounded by $1$. The key feature is that they pretend to be the constant…

In the present note we show that for any positive integer k an arbitrary Boolean circulant matrix can be implemented via modulo 2 rectifier circuit of depth 2k-1 and complexity O(n^{1+1/k}), and also via circuit of depth 2k and complexity…

The convolution properties are discussed for the complex-valued harmonic functions in the unit disk $\mathbb{D}$ constructed from the harmonic shearing of the analytic function $\phi(z):=\int_0^z…

We study the problem of detecting zeros of continuous functions that are known only up to an error bound, extending the earlier theoretical work with explicit algorithms and experiments with an implementation. More formally, the robustness…

Let $x\geq 1$ be a large integer, and let $\mu:\mathbb{N}\longrightarrow\{-1,0,1\}$ be the Mobius function. This article proposes an effective asymptotic result for the autocorrelation function $\sum_{n \leq x} \mu(n) \mu(n+t) =O\left(…

Proving complexity lower bounds remains a challenging task: we only know how to prove conditional uniform lower bounds and nonuniform lower bounds in restricted circuit models. Williams (STOC 2010) showed how to derive nonuniform lower…

Assume that $(\Omega,\mathcal A,P)$ is a probability space, $f\colon[0,1] \times \Omega\to[0,1]$ is a function such that $f(0,\omega)=0$, $f(1,\omega)=1$ for every $\omega\in\Omega$, $g\colon[0,1]\to\mathbb R$ is a bounded function such…

Let $\phi$ be a conformal map of the unit disk onto a domain $D$, and suppose $\phi$ has a boundary extension. We show that arbitrarily good approximations of the boundary extension of $\phi$ can be computed from sufficiently good…

In important work on the parity of the partition function, Ono related values of the partition function to coefficients of a certain mock theta function modulo 2. In this paper, we use M\"obius inversion to give analogous results which…

This paper is devoted to the investigation of the following function $$ f: x=\Delta^{3}_{\alpha_{1}\alpha_{2}...\alpha_{n}...}{\rightarrow} \Delta^{3}_{\varphi(\alpha_{1})\varphi(\alpha_{2})...\varphi(\alpha_{n})...}=f(x)=y, $$ where…

It is shown that if a function defined on the segment [-1,1] has sufficiently good approximation by partial sums of the Legendre polynomial expansion, then, given the function's Fourier coefficients $c_n$ for some subset of $n\in[n_1,n_2]$,…

Recently, Bruinier and Ono found an algebraic formula for the partition function in terms of traces of singular moduli of a certain non-holomorphic modular function. In this paper we prove that the rational polynomial having these singuar…

Chebotar\"ev proved that every minor of a discrete Fourier matrix of prime order is nonzero. We prove a generalization of this result that includes analogues for discrete cosine and discrete sine matrices as special cases. We establish…

We discuss the multiplicity of the non-trivial zeros of the Riemann zeta-function and the summatory function $M(x)$ of the M\"obius function. The purpose of this paper is to consider two open problems under some conjectures. One is that…

Prime number theorem asserts that (at large $x$) the prime counting function $\pi(x)$ is approximately the logarithmic integral $\mbox{li}(x)$. In the intermediate range, Riemann prime counting function $\mbox{Ri}^{(N)}(x)=\sum_{n=1}^N…

We consider incentive compatible mechanisms for a domain that is very close to the domain of scheduling $n$ unrelated machines: the single exception is that the valuation of just one machine is submodular. For the scheduling problem with…