The zeta-regularized product of odious numbers (Q2020027)

In the paper, the zeta-regularized product \(\prod_{i=1}^{\infty}\lambda_i:=e^{-\zeta_\Lambda'(0)}\) is studied (here \((\lambda_i)_{i \geq 1}\) is a sequence of positive numbers, and \(\zeta_\Lambda(s):=\sum_{i \geq 1}({1}/{\lambda_i^s})\) is the Dirichlet series convergent for enough large real part of \(s\)). By \({\mathcal O}\) and \({\mathcal E}\) denote the sets of odious positive integers (integers whose sum of binary digits is odd) and the set of evil numbers (integers whose sum of binary digits is even), respectively. Let \(Q:=\prod_{n\geq 1}\big((2n)/(2n+1)\big)^{\varepsilon_n}\) for \(\varepsilon_n\) equal to +1 (for even such sum) or -1 (when such sum is odd). Then it is proved that \[ \prod_{n \in {\mathcal O}}n=(2\pi)^{1/4}Q^{-1/2} \quad \text{and} \quad \prod_{n \in {\mathcal E}}n=(2\pi)^{1/4}Q^{1/2}. \]