ConceptComplete

Linear Algebra Methods in Combinatorics

The linear algebra method is a powerful technique that translates combinatorial problems into statements about vector spaces, matrices, and polynomials. By exploiting dimension arguments, one can obtain bounds that are difficult to achieve by purely combinatorial means.


Dimension Argument

Definition6.1Incidence Matrix

Given a set system (X,F)(X, \mathcal{F}) where X={x1,,xn}X = \{x_1, \ldots, x_n\} and F={F1,,Fm}\mathcal{F} = \{F_1, \ldots, F_m\}, the incidence matrix MM is the m×nm \times n matrix with entries Mij=1M_{ij} = 1 if xjFix_j \in F_i and Mij=0M_{ij} = 0 otherwise. The rank of MM over a field F\mathbb{F} provides bounds on F|\mathcal{F}|.

Definition6.2Characteristic Vector

For a subset F[n]F \subseteq [n], its characteristic vector vFFnv_F \in \mathbb{F}^n is defined by (vF)i=1(v_F)_i = 1 if iFi \in F and (vF)i=0(v_F)_i = 0 otherwise. For a family F\mathcal{F}, the vectors {vF:FF}\{v_F : F \in \mathcal{F}\} form a subset of Fn\mathbb{F}^n, and their linear independence over F\mathbb{F} implies Fn|\mathcal{F}| \leq n.

ExampleOddtown Theorem

In the town of Oddtown (nn citizens), clubs satisfy: each club has an odd number of members, and any two distinct clubs share an even number of members. Then there are at most nn clubs. Proof: Over F2\mathbb{F}_2, the characteristic vectors vF1,,vFmv_{F_1}, \ldots, v_{F_m} satisfy vFi,vFi=Fi=1\langle v_{F_i}, v_{F_i} \rangle = |F_i| = 1 and vFi,vFj=FiFj=0\langle v_{F_i}, v_{F_j} \rangle = |F_i \cap F_j| = 0 for iji \neq j (mod 2). So the vectors are linearly independent over F2\mathbb{F}_2, giving mnm \leq n.


The Polynomial Method

Definition6.3Combinatorial Nullstellensatz

Given a polynomial fF[x1,,xn]f \in \mathbb{F}[x_1, \ldots, x_n] and finite subsets S1,,SnFS_1, \ldots, S_n \subseteq \mathbb{F}, if ff vanishes on all of S1××SnS_1 \times \cdots \times S_n and deg(f)=i=1n(Si1)\deg(f) = \sum_{i=1}^n (|S_i| - 1), then the coefficient of the monomial i=1nxiSi1\prod_{i=1}^n x_i^{|S_i| - 1} in ff must be zero.

RemarkPower of the Method

The polynomial method bypasses the need for explicit constructions. By encoding a combinatorial problem as a polynomial vanishing condition, one can use algebraic constraints to derive combinatorial bounds. This method was pioneered by Alon and has since been refined into the polynomial partitioning technique by Guth and Katz.