Prove $\displaystyle\frac{H(x^2)}{H(x)}$ increases. For $x\in[0,1]$, let $f(x):=-x\ln x$ and the two-sample entropy function $H(x)=f(x)+f(1-x)$. Prove $h(x):=\displaystyle\frac{H(x^2)}{H(x)}$ increases.

Here is my proof which is a bit cumbersome. I am seeking a much more elegant approach.
The numerator of the derivative of the sought fraction is
\begin{align}
&H(x)^2\frac{dh(x)}{dx} \\
=&\frac d{dx}H(x^2)H(x)-H(x^2)\frac d{dx}H(x) \\
=& 2x\ln\frac{x^2}{1-x^2}\,\big(x\ln x+(1-x)\ln(1-x)\big)-\big(x^2\ln x^2+(1-x^2)\ln(1-x^2)\big)\ln\frac x{1-x} \\
=& 2x^2\ln^2 x+2x(2-x)\ln x\ln(1-x)-(x^2+1)\ln x\ln(1-x^2)+(1-x)^2\ln(1-x)\ln(1-x^2). \tag1\label1
\end{align}
All four terms above except the third are positive. I combine the second and the third term together and divide it by $-\ln x$ which is positive, and get
\begin{align}
g(x):&=-2x(2-x)\ln(1-x)+(x^2+1)\ln(1-x^2) \\
&=(3x-1)(x-1)\ln(1-x)+(x^2+1)\ln(1+x) \tag2\label2 \\
&= \int_0^x \Big(g''(a)-\int_t^a g'''(s)ds\Big)(x-t)dt
\end{align}
for some $a\in[0,x]$. So we only need to show $g(x)>0, \forall x\in\big(0,\frac13\big]$.
$$\frac{d^3g(x)}{dx^3}= \frac{4x(2x^3 +3x^2-2x-7)}{(1-x)^2(1+x)^3}.$$
Let $p(x):=2x^3+3x^2-2x-7$. It can be shown that $p(x)\le p(1)=-4, \forall x\in[0,1]$. We can take $a=\frac13$ since we can show, with a bit of work, $f''(\frac13)>0$.
(to be continued)

Let
$$u = \ln x, \quad v = \ln(1-x), \quad w = \ln(1 + x).$$
We have
\begin{align*}
 &[H(x)]^2h'(x)\\[6pt]
  =\,& [(1-x)^2v - (1+x^2)u]w + 2u^2x^2 - (1-x)(1-3x)uv + (1-x)^2v^2\\[6pt]
  \ge\,& [(1-x)^2v - (1+x^2)u]\cdot (x - x^2/2)\\[6pt]
&\qquad + 2u^2x^2 - (1-x)(1-3x)uv + (1-x)^2v^2 \tag{1}\\[6pt]
  =\,& 2u^2x^2 - [x(1-x/2)(1+x^2) + (1-3x)(1-x)v]u\\[6pt]
&\qquad + v(1-x)^2(v + x - x^2/2)\\[6pt]
  \ge\,& 0. \tag{2}
\end{align*}
Explanations:
(1): $\ln(1+x) \ge x - x^2/2$ for all $x \ge 0$;
Using $(1-x)\ln(1-x) > - 1$, we have
\begin{align*}
 (1-x)^2v - (1+x^2)u &= (1-x)^2\ln(1-x) - (1+x^2)\ln x\\
 &\ge -(1-x) - \ln x\\
 &\ge 0.
\end{align*}
(2):
$\ln(1-x) + x - x^2/2\le 0$ for all $x\in [0, 1)$;
If $1/3 \le x < 1$, clearly
$$x(1-x/2)(1+x^2) + (1-3x)(1-x)\ln(1-x) \ge 0$$
and if $0 \le x < 1/3$, using $(1-x)\ln(1-x) \ge -x + x^2/2$ for all $0 \le x < 1$, we have
\begin{align*}
 &x(1-x/2)(1+x^2) + (1-3x)(1-x)\ln(1-x)\\
 \ge\,& x(1-x/2)(1+x^2) + (1-3x)(-x + x^2/2)\\
 =\,& x^2(3+x)(1-x/2)\\
 \ge\,& 0.
\end{align*}
We are done.
