**Polymath Proposal**

The goal of this project is to study “entanglement” in finite vector spaces. Entanglement is the hallmark of quantum mechanical systems. Quantum mechanics is modelled by vector spaces over the field of complexes. We propose to consider entanglement in finite dimensional vector spaces over ( is prime). We will think of this as providing a test bed (or toy model) for general conjectures about entanglement. One way to characterize entanglement over any field is described as follows.

Suppose we have two non-interacting subsystems and . Each of these subsystems is described by Hilbert Spaces and . Then the Hilbert space for the composite system is . Now if the state of the composite system is , then this is a product state. More generally, suppose we have different bases for and . Call these and . Then we can represent the state of the composite system as .

Now if , then we have an entangled state. In other words, you cannot assign pure states to either subsystem or . The key problem for us is whether entanglement exists in finite vector spaces. We will analyze systems such as . Simple systems like this will lead to further insight to vector spaces such as (where is prime). More specifically, does entanglement exist in all finite vector spaces? .