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 1≤j1<⋯<jm≤n1 \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 VℓV_\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 σ0∈Sn\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⁡σ0∏k=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
linear algebra
IMC 2004 · Day 2 · P10very hardavg 1.6/10 · solved 6% · near-0 75% · disc 0.52
linear algebra
IMC 2007 · Day 2 · P11very hardavg 0.9/10 · solved 8% · near-0 89% · disc 0.55
linear algebra