1

Let $n \ge 3$ be an integer and let $S = \{1, 2, \dots, n\}$. For every set $T\subseteq S \times S$, define the matrix $A_T =(a_{ij})_{1\le i, j\le n}$ by $$a_{ij}=\begin{cases} \max\{i, j\} & \text{if }(i, j)\in T,\\ \min\{i, j\} & \text{if }(i, j)\notin T. \end{cases}$$ Prove that $$\sum_{T\subseteq S\times S}\det A_T=0.$$


Here are my thoughts on this problem. First, note that $S\times S$ is a set with $n^2$ elements, so we have a sum of $2^{n^2}$ determinants. Of course, this is a huge number, so there must be some trick to computing this sum. Since we must show that this sum equals zero, this got me thinking: maybe that we can somehow pair the determinants so that they cancel each other. More precisely, I thought that maybe for every $T_1\subseteq S\times S$ maybe I can find some $T_2\subseteq S\times S$ such that

$$\det(A_{T_1})=-\det(A_{T_2})$$

I haven't really been able to further develop my idea, but I found a somehow related problem here which further solidifies my belief that these determinants are going to somehow cancel each other in pairs. However, I cannot make more progress.

EDIT: I have reopened this question because the linked question has been deleted apparently, so this remains unsolved here.

QuantumBoy
  • 469
  • 2
  • 7
  • Duplicate of https://math.stackexchange.com/questions/5011758/determinants-of-matrices-defined-by-subsets-of-a-cartesian-product , which was answered within the question itself. – darij grinberg Jan 03 '25 at 18:48
  • I’m voting to close this question because it duplicates a different question – darij grinberg Jan 03 '25 at 18:49
  • @darijgrinberg thanks, I will delete it myself, I hadn't seen that post. – QuantumBoy Jan 03 '25 at 18:52
  • Is there any way to retrieve the original solution? If so, can you post it as an answer? Thanks :) – Maxime Jaccon Jan 25 '25 at 00:20
  • @MaximeJaccon I don't know of any way to retrieve the original solution. I read it in passing, it seemed all right but difficult and I decided that I would come back to study it when I am more experienced with matrices because it said something about spans and I didn't know what those were then. Now when I wanted to do that I saw that it was no more...:( – QuantumBoy Jan 25 '25 at 00:22

1 Answers1

1

The following was a question from math.enthusiast @ https://math.stackexchange.com/questions/5011758/determinants-of-matrices-defined-by-subsets-of-a-cartesian-product , which answers the present question. Not my content; just me reposting a deleted post.

======

Let $n \geq 3$ and $S = \{1, 2, \ldots, n\}$. For any subset $T \subseteq S \times S$, define the $n \times n$ matrix $A_T = (a_{ij})$ by $a_{ij} = \max\{i,j\}$ if $(i,j) \in T$ and $a_{ij} = \min\{i,j\}$ if $(i,j) \notin T$. Show that $\sum_{T \subseteq S \times S} \det(A_T) = 0$.

My attempt (I would appreciated any help in finding the correct solution):

On the diagonal, we have $a_{ii} = \min(i,i) = \max(i,i) = i$. Thus the diagonal entries do not depend on $T$; they are always fixed at $a_{ii} = i$.

For off-diagonal entries with $i \neq j$: $$ \min(i,j) + \max(i,j) = i + j. $$ Specifically, if $i < j$, then $\min(i,j) = i$ and $\max(i,j) = j$. If $i > j$, $\min(i,j) = j$ and $\max(i,j) = i$.

Consider the determinant expansion via permutations. The determinant of $A_T$ is $$ \det(A_T) = \sum_{\sigma \in S_n} \text{sgn}(\sigma) \prod_{i=1}^n a_{i,\sigma(i)}. $$

When we sum over all subsets $T$, each entry $a_{i,j}$ will take on both $\min(i,j)$ and $\max(i,j)$ in half of the summands (since we are choosing all subsets $T$ of $S\times S$).

More precisely, summing over all $T$ means for each pair $(i,j)$, $(i,j)$ is either in $T$ or not, giving two choices. Thus, each off-diagonal position is chosen to be $\min(i,j)$ or $\max(i,j)$ equally often, and all combinations appear.

Fix a permutation $\sigma \in S_n$. Consider the product $\prod_{i=1}^n a_{i,\sigma(i)}$. As we sum over all $T$, the choice for each $(i,\sigma(i))$ can be either $\min(i,\sigma(i))$ or $\max(i,\sigma(i))$. Thus for the specific set of positions $\{(i,\sigma(i)) : 1 \leq i \leq n\}$, as we vary $T$, these entries independently can be min or max.

The number of all subsets $T$ is $2^{n^2}$. Of these, $2^{n^2-n}$ combinations fix the entries outside the $\sigma$-chosen positions. Since the product $\prod_{i} a_{i,\sigma(i)}$ does not depend on the choices of entries not in $\{(i,\sigma(i))\}$, those outside choices contribute a factor of $2^{n^2-n}$.

Now, focus on the entries $(i,\sigma(i))$: $$ \sum_{\text{min/max choices on } (i,\sigma(i))} \prod_{i=1}^n a_{i,\sigma(i)} = \prod_{i=1}^n (\min(i,\sigma(i)) + \max(i,\sigma(i))). $$ Since $\min(i,\sigma(i)) + \max(i,\sigma(i)) = i + \sigma(i)$, we get $$ \prod_{i=1}^n (i + \sigma(i)). $$

Including the factor from the outside choices: $$ \sum_{T} \prod_{i=1}^n a_{i,\sigma(i)} = 2^{n^2-n} \prod_{i=1}^n (i + \sigma(i)). $$

Thus, $$ \sum_{T} \det(A_T) = \sum_{T} \sum_{\sigma \in S_n} \text{sgn}(\sigma) \prod_{i} a_{i,\sigma(i)}. $$ Interchange the sums: $$ \sum_{T} \det(A_T) = \sum_{\sigma \in S_n} \text{sgn}(\sigma) \left(\sum_{T} \prod_{i=1}^n a_{i,\sigma(i)}\right). $$

$$ \sum_{T} \det(A_T) = \sum_{\sigma \in S_n} \text{sgn}(\sigma) \left( 2^{n^2-n} \prod_{i=1}^n (i + \sigma(i)) \right). $$

Factor out $2^{n^2-n}$: $$ \sum_{T} \det(A_T) = 2^{n^2-n} \sum_{\sigma \in S_n} \text{sgn}(\sigma) \prod_{i=1}^n (i + \sigma(i)). $$

Recognize that $\sum_{\sigma} \text{sgn}(\sigma)\prod_{i}(i+\sigma(i))$ is the determinant of the $n \times n$ matrix $C = (c_{ij})$ with $ c_{ij} = i + j $.

Consider $ C = (i+j)_{1 \leq i,j \leq n} $. This matrix is of rank at most 2 because each entry can be written as $i+j$, which decomposes as $(1,2,\ldots,n)^T + (1,2,\ldots,n)$ essentially forming a sum of a column vector plus a row vector. Concretely, the space spanned by the rows (or columns) is at most 2-dimensional. For $n \geq 3$, a rank $\leq 2$ matrix cannot be full rank, hence $\det(C) = 0$.

Since $\det(C) = 0$ for $n \geq 3$, we have $$ \sum_{T} \det(A_T) = 2^{n^2-n} \cdot \det(C) = 2^{n^2-n} \cdot 0 = 0. $$

Thus, for $n \geq 3$, $$ \sum_{T \subseteq S \times S} \det(A_T) = 0. $$

  • thank you for making that available, I had no idea one could somehow retrieve that. Now I remembered something that confused me about this solution: how did they conclude that $\sum_{\text{min/max choices on } (i,\sigma(i))} \prod_{i=1}^n a_{i,\sigma(i)} = \prod_{i=1}^n (\min(i,\sigma(i)) + \max(i,\sigma(i)))$? And what do they mean exactly by min/max? I don't know if you are the right person to ask since you didn't write that solution, but I appreciate the help in retrieving it nevertheless :) – QuantumBoy Jan 25 '25 at 00:27
  • 1
    @QuantumBoy: This is an instance of the product rule $\prod_{i=1}^n\left(c_{i,1}+c_{i,2}\right) = \sum_{f:\left{1,2,\ldots,n\right}\to \left{1,2\right}} \prod_{i=1}^n c_{i,f\left(i\right)}$ (which, in turn, follows by induction from distributivity). – darij grinberg Jan 25 '25 at 00:29
  • ah, I see, that is really nice, thank you! And just to make everything is really clear to me, what do they mean by the phrase "Of these, $2^{n^2−n}$ combinations fix the entries outside the $\sigma$-chosen positions"? It is a bit unclear to me, I guess that they want to say something like that for some sets $T$ that product is constant and that is how they get factor in front of their sum. – QuantumBoy Jan 25 '25 at 00:36
  • 1
    Well, there are $2^{n^2}$ many $T$s. But the product $\prod_{i=1}^n a_{i,\sigma(i)}$ (for fixed $\sigma$) depends only on the presence of the $n$ pairs $\left(i,\sigma\left(i\right)\right)$ in $T$, not on the other $n^2-n$ pairs. Thus, for each of the $2^n$ possible choices of which $i \in \left{1,2,\ldots,n\right}$ satisfy $\left(i,\sigma\left(i\right)\right) \in T$, there will be $2^{n^2-n}$ many different subsets $T$ that satisfy this choice, and they will all yield the same product $\prod_{i=1}^n a_{i,\sigma(i)}$, which allows us to factor out a $2^{n^2-n}$ factor. – darij grinberg Jan 25 '25 at 01:04
  • thank you so much, this really cleared it up for me! – QuantumBoy Jan 25 '25 at 01:05