The question whether the states in D=2m+2 dimensional string theory,
which carry a representation of SO(2m), span spaces which carry
representations of SO(2m+1) seems hopelessly complicated.
For m=1, i.e in the most interesting case D=4, however,
it boils down to the following question.
Let h(x,q) be the function:
h(x,q)=∑N(qN∑nhN,nxn)=∞∏i=11/((1−qi∗x)(1−qi/x))
Are the differences dN,n=hN,n−hN,n+1 nonnegative for all N≥2 and all n≥0? (hN,n=0 for |n|>N)
One easily sees dN,N=1,dN,N−1=0.
My calculations of about 20 nontrivial differences confirm the conjecture for N≤8.
Added information: The numerical evaluation of h(x,q) confirms the conjecture
for N≤51: http://www.itp.uni-hannover.de/~dragon/part1.erg , where the
differences dN,n are listed as A[N,n].
To exclude the special case N=1 one could add q to h(x,q) and try to prove that
d(q,x)=(x−1/x)(q+h(x2,q))=∑m,n≥0dm,nqm(x2n+1−x−(2n+1))
is a function with
dmn≥0 for all
m≥0 and for all
n≥0.
This post imported from StackExchange MathOverflow at 2014-10-25 10:35 (UTC), posted by SE-user Norbert Dragon