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

IMC / 2001 / Problems / Day 2, P10

IMC 2001 · Day 2 · P10

very hard

Let A=(ak,)k,=1,,nA = (a_{k,\ell})_{k,\ell = 1,\dots,n} be an n×nn \times n complex matrix such that for each m{1,,n}m \in \{1, \dots, n\} and 1j1<<jmn1 \le j_1 < \dots < j_m \le n the determinant of the matrix (ajk,j)k,=1,,m(a_{j_k, j_\ell})_{k,\ell = 1,\dots,m} is zero. Prove that An=0A^n = 0 and that there exists a permutation σSn\sigma \in S_n such that the matrix (aσ(k),σ())k,=1,,n(a_{\sigma(k), \sigma(\ell)})_{k,\ell = 1,\dots,n} has all of its nonzero elements above the diagonal.

Solution (official)

We will only prove (2), since it implies (1). Consider a directed graph GG with nn vertices V1,,VnV_1, \dots, V_n and a directed edge from VkV_k to VV_\ell when ak,0a_{k,\ell} \ne 0. We shall prove that it is acyclic.

Assume that there exists a cycle and take one of minimum length mm. Let j1<<jmj_1 < \dots < j_m be the vertices the cycle goes through and let σ0Sn\sigma_0 \in S_n be a permutation such that ajk,jσ0(k)0a_{j_k, j_{\sigma_0(k)}} \ne 0 for k=1,,mk = 1, \dots, m. Observe that for any other σSn\sigma \in S_n we have ajk,jσ(k)=0a_{j_k, j_{\sigma(k)}} = 0 for some k{1,,m}k \in \{1, \dots, m\}, otherwise we would obtain a different cycle through the same set of vertices and, consequently, a shorter cycle. Finally 0=det(ajk,j)k,=1,,m=(1)signσ0k=1majk,jσ0(k)+σσ0(1)signσk=1majk,jσ(k)0,0 = \det (a_{j_k, j_\ell})_{k,\ell = 1,\dots,m} = (-1)^{\operatorname{sign} \sigma_0} \prod_{k=1}^{m} a_{j_k, j_{\sigma_0(k)}} + \sum_{\sigma \ne \sigma_0} (-1)^{\operatorname{sign} \sigma} \prod_{k=1}^{m} a_{j_k, j_{\sigma(k)}} \ne 0, which is a contradiction.

Since GG is acyclic there exists a topological ordering i.e. a permutation σSn\sigma \in S_n such that k<k < \ell whenever there is an edge from Vσ(k)V_{\sigma(k)} to Vσ()V_{\sigma(\ell)}. It is easy to see that this permutation solves the problem.

How the field did

contestants scored
182
average (of 20)
2.34
solved (≥ 80%)
6.6%
near-0 (≤ 10%)
74.7%
discrimination
0.44

Score distribution (field cohort)

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

Similar problems

IMC 2008 · Day 2 · P11very hardavg 0.8/10 · solved 7% · near-0 90% · disc 0.43
IMC 2001 · Day 1 · P5very hardavg 1.5/10 · solved 7% · near-0 74% · disc 0.48
IMC 2004 · Day 2 · P10very hardavg 1.6/10 · solved 6% · near-0 75% · disc 0.52
IMC 2007 · Day 2 · P11very hardavg 0.9/10 · solved 8% · near-0 89% · disc 0.55