Let $A, B, C$ be $2\times 2$ Hermitian positive semidefinite (PSD) matrices. Prove or disprove that $$\det(6(A^3 + B^3 + C^3)+(A+B+C)^3) \ge 5^2\det(A^2 + B^2 + C^2)\det(A + B+ C).$$
This problem is inspired by these two problems: P1, P2. When I tried to deal with P2, I want to eliminate the constraint $A+B+C = I_2$. So I propose this problem.
I just do some numerical experiments and do not find an counterexample yet.
We can use the fact that for $2\times 2$ matrix $S$, $$\det S = \frac12 (\mathrm{tr}(S))^2 - \frac12\mathrm{tr}(S^2).$$
An idea is to use $A = u_1u_1^H + u_2u_2^H, B = v_1v_1^H + v_2v_2^H, C = w_1w_1^H + w_2w_2^H$. Then we have a unconstrained optimization of $f(u_1, u_2, v_1, v_2, w_1, w_2)$.
I also consider the following:
Let $A, B$ be $2\times 2$ Hermitian positive semidefinite (PSD) matrices. Prove or disprove that $$\det(6(A^3 + B^3 + I_2)+(A+B+I_2)^3) \ge 5^2\det(A^2 + B^2 + I_2)\det(A + B+ I_2).$$