The main purpose of this paper is to classify exchange relation planar algebras with 4 dimensional 2-boxes. Besides its skein theory, we emphasize the positivity of subfactor planar algebras based on the Schur product theorem. We will discuss the lattice of projections of 2-boxes, specifically the rank of the projections. From this point, several results about biprojections are obtained. The key break of the classification is to show the existence of a biprojection. By this method, we also classify another two families of subfactor planar algebras: subfactor planar algebras generated by 2-boxes with 4 dimensional 2-boxes and at most 23 dimensional 3-boxes; subfactor planar algebras generated by 2-boxes, such that the quotient of 3-boxes by the basic construction ideal is abelian. They extend the classification of singly generated planar algebras obtained by Bisch, Jones and the author.

We introduce a pictorial approach to quantum information, called holographic software. Our software captures both algebraic and topological aspects of quantum networks. It yields a bi-directional dictionary to translate between a topological approach and an algebraic approach. Using our software, we give a topological simulation for quantum networks. The string Fourier transform (SFT) is our basic tool to transform product states into states with maximal entanglement entropy. We obtain a pictorial interpretation of Fourier transformation, of measurements, and of local transformations, including the n-qudit Pauli matrices and their representation by Jordan-Wigner transformations. We use our software to discover interesting new protocols for multipartite communication. In summary, we build a bridge linking the theory of planar para algebras with quantum information.

Let <i>X, Y</i> be compact Hausdorff spaces and <i>E, F</i> be Banach spaces. A linear map <i>T: C(X, E) C(Y, F)</i> is separating if <i>Tf, Tg</i> have disjoint cozeroes whenever <i>f, g</i> have disjoint cozeroes. We prove that a biseparating linear bijection <i>T</i> (that is, <i>T</i> and <i>T</i>^-1 are separating) is a weighted composition operator <i>Tf = h f</i> o . Here, <i>h</i> is a function from <i>Y</i> into the set of invertible linear operators from <i>E</i> onto <i>F</i>, and , is a homeomorphism from <i>Y</i> onto <i>X</i>. We also show that <i>T</i> is bounded if and only if <i>h(y)</i> is a bounded operator from <i>E</i> onto <i>F</i> for all <i>y</i> in <i>Y</i>. In this case, <i>h</i> is continuous with respect to the strong operator topology.