4
$\begingroup$

Let $\chi_{q}$ be a primitive Dirichlet character with modulus $q$ (see definition at wikipedia ). For example for $q=5$ we have

\begin{equation} \begin{aligned} \chi_{5,1}&=(1, 1, 1, 1, 0),\\ \chi_{5,2}&=(1, i, -i, -1, 0),\qquad\qquad \text{(1)}\\ \chi_{5,3}&=(1, -1, -1, 1, 0),\\ \chi_{5,4}&=(1, -i, i, -1, 0),\\ \end{aligned} \end{equation}

We construct a sum involving Dirichlet character $\chi_{q}$ as

\begin{equation} \begin{aligned} Q(\chi_{q})&=\sum_{k=1}^{q-1}k\chi_q(k)\qquad\qquad \text{(2)} \end{aligned} \end{equation}

Proposition A: For a complex $\chi_q$, like $\chi_{5,2},\chi_{5,4}$, \begin{equation} \begin{aligned} &\color{red}{\text{sign}(\mathrm{Re}\chi_{q}(-1))}Q(\mathrm{Re}\chi_{q})>0,\qquad\text{(3)}\\ &\color{red}{\text{sign}(\mathrm{Im}\chi_{q}(-2))}Q(\mathrm{Im}\chi_{q})>0.\qquad\text{(4)}\\ \end{aligned} \end{equation}

We are seeking a proof or a reference of the proof for this proposition.

This problem is related to a partial answer of another problem titled sign unchanged for Dirichlet polynomials? that we posted earlier at math.stackexchange.com. The motivation of studying this problem is also mentioned there.

$\endgroup$
  • $\begingroup$ Thanks!. I changed the title as you suggested! $\endgroup$ – mike Aug 7 at 6:00
  • 1
    $\begingroup$ Sure. Yes. $Q(\mathrm{Re}\chi_q)=\mathrm{Re}(Q(\chi_q))$. $\endgroup$ – mike Aug 7 at 6:18
  • 2
    $\begingroup$ Assertions (3) and (4) are both false. There is a character modulo 7 for which $Q(\chi_q) = 0$. Even if you weaken the assertion a non-strict inequality $\ge 0$ rather than $> 0$, you can find characters of modulus $\le 20$ for which (3) and (4) are negative. Did you do any checking at all before you posted this conjecture here? $\endgroup$ – David Loeffler Aug 7 at 8:31
  • $\begingroup$ @DavidLoeffler: You beat me by 58 seconds! $\endgroup$ – GH from MO Aug 7 at 8:33
  • $\begingroup$ @DavidLoeffler: Thanks a lot for the comment. I am sorry that I have not done enough testing. $\endgroup$ – mike Aug 7 at 16:06
8
$\begingroup$

(3) and (4) are false in general, even if we weaken $>$ to $\geq$. Let $\zeta:=e^{i\pi/8}$ be a primitive $16$-th root of unity, and let $\chi$ be the unique primitive Dirichlet character modulo $17$ satisfying $\chi(3)=\zeta^5$. Then $\chi(-1)=-1$, and $$(\chi(1),\chi(2),\chi(3),\chi(4),\chi(5),\chi(6),\chi(7),\chi(8))=(1,\zeta^6,\zeta^5,\zeta^{12},\zeta^9,\zeta^{11},\zeta^7,\zeta^2).$$ However, \begin{align*}Q(\chi)&=\sum_{k=1}^{16} k\chi(k)=\sum_{k=1}^{8} (2k-17)\chi(k)\\[6pt] &=-(15+13\zeta^6+11\zeta^5+9\zeta^{12}+7\zeta^9+5\zeta^{11}+3\zeta^7+\zeta^2)\\[10pt] &\approx \ 8.84701161719 - 4.91203840222\,i. \end{align*} So $Q(\chi)$ has positive real part, even though $\chi(-1)=-1$. This contradicts (3). Similarly, if we change $\zeta^5$ to $\zeta^3$ in the definition of $\chi$, we get a counterexample to (4).

$\endgroup$
  • $\begingroup$ Thanks a lot for the detailed answer! I noticed that you used $\chi(k)=-\chi(17-k)$. What is this (anti)symmetry? Best $\endgroup$ – mike Aug 7 at 15:17
  • 1
    $\begingroup$ @mike: $\chi(17-k)=\chi(-k)=\chi(-1)\chi(k)=-\chi(k)$. $\endgroup$ – GH from MO Aug 7 at 16:10
  • 1
    $\begingroup$ Got it! Thanks again! $\endgroup$ – mike Aug 7 at 16:17

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service, privacy policy and cookie policy

Not the answer you're looking for? Browse other questions tagged or ask your own question.