The Universal Embedding Dimension of the Binary Symplectic Dual Polar Space

The universal embedding dimension of the binary symplectic dual polar space DSp(2d,2) equals (2^d+1)(2^d^-^1+1)/3. This settles an old conjecture.