Multidimensional Divide-and-Conquer and Weighted Digital Sums

Abstract

This paper studies three types of functions arising separately in the analysis of algorithms that we analyze exactly using similar Mellin transform techniques. The first is the solution to a Multidimensional Divide-and-Conquer (MDC) recurrence that arises when solving problems on points in $d$-dimensional space. The second involves weighted digital sums. Write $n$ in its binary representation $n=(b_i{b}_{i-1}...b_1{b}_0{)}_2$ and set $S_M(n)={\sum }_{t=0}^i{t}^{\bar{M}}{b}_t{2}^t$. We analyze the average $T{S}_M(n)=\frac{1}{n}{\sum }_{j<n}{S}_M(j)$. The third is a different variant of weighted digital sums. Write $n$ as $n=2^{i_1}+2^{i_2}+...+2^{i_k}$ with $i_1>i_2>...>i_k\ge 0$ and set $W_M(n)={\sum }_{t=1}^k{t}^M{2}^{i_t}$. We analyze the average $T{W}_M(n)=\frac{1}{n}{\sum }_{j<n}{W}_M(j)$. We show that both the MDC functions and $T{S}_M(n)$ (with $d=M+1$) have solutions of the form ${\lambda }_{d}n{\lg }^{d-1}n+{\sum }_{m=0}^{d-2}(n{\lg }^{m}n)A_{d,m}(\lg n)+c_d,$ where ${\lambda }_d,c_d$ are constants and $A_{d,m}(u)$'s are periodic functions with period one (given by absolutely convergent Fourier series). We also show that $T{W}_M(n)$ has a solution of the form $n{G}_M(\lg n)+d_M{\lg }^{M}n+{\sum }_{d=0}^{M-1}({\lg }^{d}n)G_{M,d}(\lg n),$ where $d_M$ is a constant, $G_M(u)$ and $G_{M,d}(u)$'s are again periodic functions with period one (given by absolutely convergent Fourier series).

44 pages, 8 figures