9
$\begingroup$

Suppose that X and Y are finite sets and that f : X → Y is an arbitrary map. Let PB denote the pullback of f with itself (in the category of sets) as displayed by the commutative diagram

PB → X
↓      ↓
X   → Y

Terence Tao observes in one the comments on his weblog that the product of |PB| and |Y| is always greater than or equal to |X|2. (This is an application of the Cauchy-Schwarz inequality.) This fact may be rephrased as follows: If we ignore in the above diagram all arrows and replace the sets by their cardinalities we obtain a 2x2 matrix with a non-negative determinant.

The question is whether this is a general phenomenon. Suppose that n is a positive integer and that X1, X2, ... ,Xn are finite sets; furthermore we are given maps f1 : X1 → X2, f2 : X2 → X3, ... , fn-1 : Xn-1 → Xn. We construct a pullback diagram of size nxn. The diagram for n=4 is shown below.

PB → PB → PB → X1
↓       ↓       ↓     ↓
PB → PB → PB → X2
↓       ↓       ↓     ↓
PB → PB → PB → X3
↓       ↓       ↓     ↓
X1 →  X2 →  X3 → X4

Here, the maps between the Xi in the last row and column are the corresponding fi and the PBs denote the induced pullbacks. (Of course, although they are denoted by the same symbol, different PBs are different objects.) The PBs can be constructed recursively. First, take the pullback of X3 → X4 ← X3; it comes with maps X3 ← PB → X3. Having constructed this, take the pullback of X2 → X3 ← PB and so forth.

Ignore all arrows and replace sets by their cardinalities. Is the determinant of the resulting nxn matrix always non-negative?

$\endgroup$
2
  • $\begingroup$ I can't help but feel like you should be using the Gessel-Viennot lemma. $\endgroup$ Oct 22, 2009 at 14:04
  • $\begingroup$ Interesting approach. By the way, I can prove that it is true for n=3, but this was already some effort. I hope one can read the diagram. $\endgroup$ Oct 22, 2009 at 14:52

1 Answer 1

10
$\begingroup$

Write Xn = {x1, ..., xk}. For each 1 ≤ i ≤ k let wi be the vector whose jth component is the cardinality of the inverse image of xj in Xi. Then your matrix is the sum w1w1T + ... + wkwkT, a sum of positive semidefinite matrices, so it is positive semidefinite and in particular has nonnegative determininant.

$\endgroup$
1
  • $\begingroup$ Great. What a simple argument. $\endgroup$ Oct 22, 2009 at 17:07

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.