6
$\begingroup$

Given a $3 \times 3$ matrix in which the sum of the squares of all the elements is not more than one, what is the maximal determinant of this matrix?

I have only one idea that equal elements are located on the main diagonal, and the remaining elements are zero.

$\endgroup$

5 Answers 5

3
$\begingroup$

This determinant measures the volume of the parallelepiped built on the column vectors. If you keep the vector lengths constant, which keeps the sum of squares constant, the volume is maximized when the vectors are orthogonal.

Now let the lengths be $a,b,c$, you want to maximize

$$V=abc$$ under the constraint $$a^2+b^2+c^2=1.$$

By Lagrangian multipliers,

$$abc+\lambda(a^2+b^2+c^2-1)$$

$$\begin{cases}bc+2\lambda a&=0, \\ac+2\lambda b&=0, \\ab+2\lambda c&=0, \\a^2+b^2+c^2-1&=0\end{cases}$$

Eliminating $\lambda$ from the three first equations, you get $a^2=b^2=c^2$, and using the last, $a^2=b^2=c^2=\dfrac13$. Hence

$$\Delta=\frac1{\sqrt{27}}.$$


Direct vector proof:

Let $\vec a,\vec b,\vec c$ be the column vectors of the matrix. The determinant is the mixed product

$$\Delta=\vec a\cdot(\vec b\times\vec c).$$

Using a Lagrangian multiplier, we maximize

$$\vec a\cdot(\vec b\times\vec c)+\lambda(\vec a^2+\vec b^2+\vec c^2-1).$$

Taking the gradient yields

$$\begin{cases}\vec b\times\vec c+2\lambda\vec a=0, \\\vec c\times\vec a+2\lambda\vec b=0, \\\vec a\times\vec b+2\lambda\vec c=0, \\\vec a^2+\vec b^2+\vec c^2-1=0. \end{cases}$$

Then applying dot products on the first equations, we get

$$\lambda\vec a\vec b=\lambda\vec b\vec c=\lambda\vec c\vec a=0,$$ which shows that the vectors must be orthogonal, and we are back to the above scalar problem.

$\endgroup$
4
  • $\begingroup$ can you explain, please, properly how you get first three equations in system? $\endgroup$
    – Evgeny
    Commented Apr 2, 2019 at 7:36
  • $\begingroup$ @ЕвгенийКондратенко: have you heard of maximization under a constraint ? $\endgroup$
    – user65203
    Commented Apr 2, 2019 at 7:37
  • $\begingroup$ get it. But you also can use Cauchy inequality here, right? $\endgroup$
    – Evgeny
    Commented Apr 2, 2019 at 7:49
  • $\begingroup$ @ЕвгенийКондратенко: sure, Cauchy's inequality is free of rights ;-) $\endgroup$
    – user65203
    Commented Apr 2, 2019 at 7:52
3
$\begingroup$

Disclaimer : This is not a proof ; just important tracks :

This maximum determinant looks to be $\dfrac{1}{3 \sqrt{3}}$.

It is obtained for diagonal matrices (as you mention it) such as

$$\begin{pmatrix}\tfrac{1}{\sqrt{3}} & 0 & 0\\0 & \tfrac{1}{\sqrt{3}} & 0\\0 & 0 & \tfrac{1}{\sqrt{3}} \end{pmatrix} \ \text{or} \ \begin{pmatrix}-\tfrac{1}{\sqrt{3}} & 0 & 0\\0 & -\tfrac{1}{\sqrt{3}} & 0\\0 & 0 & \tfrac{1}{\sqrt{3}} \end{pmatrix} \ \text{or...} \tag{1}$$

but also, much more generally, by taking any special orthogonal matrix $A$ (corresponding to columns arranged as a direct basis in $\mathbb{R}^3$) and dividing all its entries by $\sqrt{3}$.

Explanation : A direct orthogonal matrix $A$ has determinant $1$ ; each one of its columns has norm $1$, i.e. $\sum_i a_{ij}^2=1$ for every $j$. Thus

$$\sum_j \sum_i a_{ij}^2=1+1+1=3.$$

The result follows because if one divides such a matrix by $k=\sqrt{3}$, its determinant is divided by $k^3=3\sqrt{3}$.

Conjecture (once again : not a proof) : orthogonal matrices divided by $\sqrt{3}$ look to be/are the only solutions to the issue. In support of this hypothesis, orthogonal matrices, for given norms of their columns, maximize their determinant (Hadamard's inequality : https://en.wikipedia.org/wiki/Hadamard%27s_inequality).

Remark : The square root of the sum of squared entries $a_{ik}^2$ is the Frobenius norm $\|A\|_F$ of matrix $A$ (http://mlwiki.org/index.php/Frobenius_Norm). It has many properties. In particular, it is invariant by left or right multiplication by an orthogonal matrix.

Therefore, one could recast the issue into the following one : find the maximum of function $\det$ on the unit ball for $\|.\|_F$.

$\endgroup$
1
  • 2
    $\begingroup$ Downvoting this partial answer (presented as such) that has been given almost immediately and that brings something to the issue is unelegant. That's all I will say. $\endgroup$
    – Jean Marie
    Commented Apr 2, 2019 at 11:32
2
$\begingroup$

Instead of the inequality constraint $\| \mathrm X \|_{\text F}^2 = \mbox{tr} \left( \mathrm X^\top \mathrm X \right)\leq 1$, let us consider the equality constraint $\| \mathrm X \|_{\text F}^2 = 1$. Hence, we have the following maximization problem

$$\begin{array}{ll} \text{maximize} & \det (\mathrm X)\\ \text{subject to} & \mbox{tr} \left( \mathrm X^\top \mathrm X \right) = 1\end{array}$$

Let us use the following Lagrangian

$$\mathcal L (\mathrm X, \mu) := \det (\mathrm X) - \frac{\mu}{2} \left( \mbox{tr} \left( \mathrm X^\top \mathrm X \right) - 1 \right)$$

Differentiating $\mathcal L$ with respect to $\rm X$ and $\mu$ and finding where the derivatives vanish, we obtain

$$\begin{aligned} \det (\mathrm X) \, \mathrm X^{-\top} &= \mu \mathrm X\\ \mbox{tr} \left( \mathrm X^\top \mathrm X \right) &= 1\end{aligned}$$

where Jacobi's formula was used. Left-multiplying both sides of the 1st equation by $\mathrm X^\top$,

$$\begin{aligned} \det (\mathrm X) \, \mathrm I_3 &= \mu \mathrm X^\top \mathrm X\\ \mbox{tr} \left( \mathrm X^\top \mathrm X \right) &= 1\end{aligned}$$

Taking the trace of both sides of the 1st equation, we obtain $\mu = 3 \det (\mathrm X)$ and, thus,

$$\begin{aligned} \det (\mathrm X) \, \mathrm I_3 &= 3 \det (\mathrm X) \, \mathrm X^\top \mathrm X\\ \mbox{tr} \left( \mathrm X^\top \mathrm X \right) &= 1\end{aligned}$$

Assuming (again) that $\mathrm X$ is invertible, both sides of the 1st equation can be divided by $\det (\mathrm X)$,

$$\begin{aligned} \mathrm X^\top \mathrm X &= \frac 13 \mathrm I_3\\ \mbox{tr} \left( \mathrm X^\top \mathrm X \right) &= 1\end{aligned}$$

Thus, if $\Omega$ is a $3 \times 3$ special orthogonal matrix,

$$\bar{\mathrm X} := \color{blue}{\frac{1}{\sqrt 3} \Omega}$$

yields the maximal determinant, $\det (\bar{\mathrm X}) = \dfrac{1}{3 \sqrt 3}$, subject to the equality constraint $\| \mathrm X \|_{\text F}^2 = 1$.

$\endgroup$
1
  • $\begingroup$ Not quite rigorous, as I did not pay attention to the Hessian of $\det (\rm X)$. I implicitly used Hadamard's inequality. $\endgroup$ Commented Apr 7, 2019 at 3:42
1
$\begingroup$

Determinant is the signed volume of the parallelepiped for which the column vectors are the sides. Sum of squares of entries is the sum of squares of lengths of the columns. So we need to maximize volume subject to constraint that the sum of squares of lengths is 1. Clearly, the maximum can only be achieved when the columns are orthogonal

(We remark 1)that the maximum is achieved, since we are optimizing over a compact domain; and 2) if one is uncomfortable with geometric reasoning one can make an analytic proof: if one of the columns is not orthogonal to the span of the other ones, we can first replace it by it's orthogonal component, making it shorter and preserving the determinant, and then scale it up to original length, thus in the end keeping the sum of length squares constant and increasing the determinant.)

Now for the case when the columns are orthogonal, we are in the position of maximizing the product of lengths subject to sum of squares of lengths being constant. This can be done by multivariable calculus, or simply by AM-GM $3 (l_1^2 l_2 ^2 l_3^2)^{1/3} \leq l_1^2+l_2^2+l_3^2=1$, so $vol\leq \frac{1}{3\sqrt{3}}$, with equality when all the lengths are equal.

$\endgroup$
1
$\begingroup$

This is essentially the same as Rodrigo's solution, but instead of a constrained problem $$\eqalign{ &\max_X \,\det(X)\cr &{\rm st}\,\,\|X\|_F^2 = 1 }$$ set up an unconstrained problem $$\eqalign{ \max_X \, \det\bigg(\frac{X}{\|X\|_F}\bigg) \cr }$$ First, calculate the function's differential and gradient. $$\eqalign{ \phi &= \det\bigg(\frac{X}{\|X\|_F}\bigg) = \|X\|_F^{-3}\det(X) \cr d\phi &= \|X\|_F^{-3}\,d(\det(X)) - 3\|X\|_F^{-4}\det(X)\,\,d\|X\|_F \cr &= \|X\|_F^{-3}\det(X)\,X^{-T}:dX -3\|X\|_F^{-4}\det(X)\,\,\|X\|_F^{-1}X:dX \cr &= \|X\|_F^{-3}\det(X)\,X^{-T}\Big(I-3\|X\|_F^{-2}X^TX\Big):dX \cr \frac{\partial\phi}{\partial X} &= \|X\|_F^{-3}\det(X)X^{-T}\Big(I-3\|X\|_F^{-2}X^TX\Big) \cr }$$ Next, set the gradient to zero and solve for $X$. $$\eqalign{ \frac{I}{3} &= \frac{X^TX}{\|X\|_F^2} \quad\implies X = \frac{Q}{\sqrt{3}}, \quad \phi = \frac{\det(Q)}{3\sqrt{3}} }$$ where $Q\in{\mathcal R}^{3\times 3}$ is an orthogonal matrix, i.e. $Q^TQ=I$.

By setting the gradient to zero, we've identified the extrema of $\phi$, now we need to distinguish between the minima and maxima.

If $\,\det(Q)=+1\,$ then we have found a maximum.
If $\,\det(Q)=-1\,$ then we have found a minimum.

$\endgroup$

You must log in to answer this question.

Not the answer you're looking for? Browse other questions tagged .