Unofficial archive — problems, solutions & results © IMC, reproduced with permission.

IMC / 2007 / Problems / Day 1, P3

IMC 2007 · Day 1 · P3

hard

Call a polynomial P(x1,,xk)P(x_1, \dots, x_k) good if there exist 2×22 \times 2 real matrices A1,,AkA_1, \dots, A_k such that P(x1,,xk)=det(i=1kxiAi).P(x_1, \dots, x_k) = \det \left( \sum_{i=1}^{k} x_i A_i \right). Find all values of kk for which all homogeneous polynomials with kk variables of degree 2 are good. (A polynomial is homogeneous if each term has the same total degree.)

Solution (official)

The possible values for kk are 1 and 2.

If k=1k = 1 then P(x)=αx2P(x) = \alpha x^2 and we can choose A1=(100α)A_1 = \left( \begin{smallmatrix} 1 & 0 \\ 0 & \alpha \end{smallmatrix} \right).

If k=2k = 2 then P(x,y)=αx2+βy2+γxyP(x, y) = \alpha x^2 + \beta y^2 + \gamma xy and we can choose matrices A1=(100α)A_1 = \left( \begin{smallmatrix} 1 & 0 \\ 0 & \alpha \end{smallmatrix} \right) and A2=(0β1γ)A_2 = \left( \begin{smallmatrix} 0 & \beta \\ -1 & \gamma \end{smallmatrix} \right).

Now let k3k \ge 3. We show that the polynomial P(x1,,xk)=i=0kxi2P(x_1, \dots, x_k) = \sum\limits_{i=0}^{k} x_i^2

is not good. Suppose that P(x1,,xk)=det(i=0kxiAi)P(x_1, \dots, x_k) = \det \left( \sum\limits_{i=0}^{k} x_i A_i \right). Since the first columns of A1,,AkA_1, \dots, A_k are linearly dependent, the first column of some non-trivial linear combination y1A1++ykAky_1 A_1 + \dots + y_k A_k is zero. Then det(y1A1++ykAk)=0\det(y_1 A_1 + \dots + y_k A_k) = 0 but P(y1,,yk)0P(y_1, \dots, y_k) \ne 0, a contradiction.

How the field did

contestants scored
242
average (of 20)
6.94
solved (≥ 80%)
20.2%
near-0 (≤ 10%)
41.7%
discrimination
0.57

Score distribution (field cohort)

Computed on contestants with a meaningful total (field cohort); discrimination is the corrected item–total correlation.

Similar problems

IMC 1999 · Day 1 · P1mediumavg 5.5/10 · solved 33% · near-0 8% · disc 0.46
IMC 2008 · Day 1 · P2mediumavg 4.4/10 · solved 36% · near-0 48% · disc 0.63
IMC 2024 · Day 2 · P7easyavg 6.7/10 · solved 52% · near-0 16% · disc 0.55