## Return to Answer

1 [made Community Wiki]

This comment serves to record a partial attempt, which didn't get very far but might be useful to others. Following a suggestion of Mark Wildon and Arthur B, define `$$f_n(\alpha) := \sum (-1)^r \binom{n}{r}^{\alpha}.$$` This is zero for $n$ odd, so we will assume $n$ is even from now on.

Mark Wildon shows that it would be enough to show that $f_n(1/2) \geq 0$ for all $n$. It is easy to see that $f_n(0) = 1$ and $f_n(1)=0$. Arthur B notes that, experimentally, $f_n(\alpha)$ appears to be decreasing on the interval $[0,1]$. If we could prove that $f_n$ was decreasing, that would of course show that $f_n(1/2) > f_n(1) =0$.

I had the idea to break this problem into two parts, each of which appears supported by numerical data:
1. Show that $f_n$ is convex on $[0,1]$.
2. Show that $f'_n(1) < 0$.
If we establish both of these, then clearly $f_n$ is decreasing.

I have made no progress on part 1, but here is most of a proof for part 2. We have `$$f'_n(1) = \sum (-1)^r \binom{n}{r} \log \binom{n}{r} = \sum (-1)^r \binom{n}{r} \left( \log(n!) - \log r!- \log (n-r)! \right)$$` `$$=-2 \sum (-1)^r \binom{n}{r} \left( \log(1) + \log(2) + \cdots + \log (r) \right)$$` `$$=-2 \sum (-1)^r \binom{n-1}{r} \log r.$$` At the first line break, we combined the $r!$ and the $(n-r)!$ terms (using that $n$ is even); at the second, we took partial differences once.

This last sum is evaluated asymptotically in this math.SE thread. The leading term is $\log \log n$, so the sum is positive for $n$ large, and $f'_n$ is negative, as desired. The sole gap in this argument is that the math.SE thread doesn't give explicit bounds, so this proof might only be right for large enough $n$.

This answer becomes much more interesting if someone can crack that convexity claim.
{"extraction_info": {"found_math": true, "script_math_tex": 0, "script_math_asciimath": 0, "math_annotations": 0, "math_alttext": 0, "mathml": 0, "mathjax_tag": 0, "mathjax_inline_tex": 21, "mathjax_display_tex": 0, "mathjax_asciimath": 0, "img_math": 0, "codecogs_latex": 0, "wp_latex": 0, "mimetex.cgi": 0, "/images/math/codecogs": 0, "mathtex.cgi": 0}, "config": {"markdown_headings": true, "markdown_code": true, "boilerplate_config": {"ratio_threshold": 0.18, "absolute_threshold": 10, "end_threshold": 15, "enable": true}, "remove_buttons": true, "remove_image_figures": true, "remove_link_clusters": true, "table_config": {"min_rows": 2, "min_cols": 3, "format": "plain"}, "remove_chinese": true, "remove_edit_buttons": true, "extract_latex": true}, "english_confidence": 0.9745845198631287, "perplexity_flag": "head"}