If$X$is a closed subset of the real line, denote by$G$_{$X$}the supremum of the size of the gap in the Fourier spectrum of a measure, taken over all non-trivial finite complex measures supported on$X$. In this paper we attempt to find$G$_{$X$}in terms of$X$.

For an arbitrary nonempty, open set ^<i>n</i>, <i>n</i> of finite (Euclidean) volume, we consider the minimally defined higher-order Laplacian (-\Delta)^m|_{{C^\infty_0}(\Omega)}, <i>m</i> , and its Kreinvon Neumann extension <i>A</i>_{<i>K</i>,,<i>m</i>} in <i>L</i>²(). with <i>N</i>(, <i>A</i>_{<i>K</i>,,<i>m</i>)}, (-\Delta)^m|_{{C^\infty_0}(\Omega)}, denoting the eigenvalue counting function corresponding to the strictly positive eigenvalues of <i>A</i>_{<i>K</i>,,<i>m</i>}, we derive the bound <i>N</i>(, <i>A</i>_{<i>K</i>,,<i>m</i>}) (2<i></i>)^-<i>n</i><i></i>_n||{1 + [2<i>m</i>/(2<i>m</i> + <i>n</i>)]}^{<i>n</i>/(2<i>m</i>)}^{<i>n</i>/(2<i>m</i>)}, &gt; 0, where <i>_n</i> <i></i>^<i>n</i>/2 /((<i>n</i> + 2)/2) denotes the (Euclidean) volume of the unit ball in ^<i>n</i>.

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 analyze spectral properties of the operator <i>H</i> = <i></i>²/<i>x</i>² <i></i>²/<i>y</i>² + <i></i>²<i>y</i>² <i>y</i>²<i>V</i>(<i>xy</i>) in <i>L</i>²(²), where <i></i> 0 and <i>V </i> 0 is a compactly supported and sufficiently regular potential. It is known that the spectrum of <i>H</i> depends on the one-dimensional Schrdinger operator <i>L</i> = <i>d</i>²/<i>dx</i>² + <i></i>² <i>V</i>(<i>x</i>) and it changes substantially as inf(<i>L</i>) switches sign. We prove that in the critical case, inf(<i>L</i>) = 0, the spectrum of <i>H</i> is purely essential and covers the interval [0, ). In the subcritical case, inf <i></i>(<i>L</i>) &gt; 0, the essential spectrum starts from <i></i> and there is a nonvoid discrete spectrum in the interval [0, <i></i>). We also derive a bound on the corresponding eigenvalue moments.

The first two authors classified subfactor planar algebra generated by a non-trivial 2-box subject to the condition that the dimension of 3-boxes is at most 12 in Part I; 13 in Part II of this series. They are the group planar algebra for , the Fuss-Catalan planar algebra, and the group/subgroup planar algebra for Z_2 ⊂ Z_5 \rtimes Z_2.. In the present paper, we extend the classification to 14 dimensional 3-boxes. They are all Birman-Murakami-Wenzl algebras. Precisely it contains a depth 3 one from quantum O(3), and a one-parameter family from quantum S_p(4).