Graduate Representation number via quad forms of theta quadratic form

Click For Summary
The discussion centers on the representation number associated with quadratic forms, specifically the equation θ(τ, A) = ∑ e^(π i A[x] τ) and its implications for counting integer solutions. Participants clarify that Z^m refers to m-dimensional integer vectors. The interpretation of the representation number is confirmed as the count of solutions to the quadratic equation A[x] = n for each integer n. There is a debate about why different quadratic forms, differing only by the sign of a term, yield the same number of solutions, with the conclusion that sign changes do not affect the total count of integer solutions. Overall, the conversation emphasizes the mathematical relationships and properties of quadratic forms and their representation numbers.
binbagsss
Messages
1,291
Reaction score
12
##\theta(\tau, A) = \sum\limits_{\vec{x}\in Z^{m}} e^{\pi i A[x] \tau } ##

##=\sum\limits^{\infty}_{n=0} r_{A}(n)q^{n} ##,

where ## r_{A} = No. [ \vec{x} \in Z^{m} ; A[\vec{x}] =n]##

where ##A[x]= x^t A x ##, is the associated quadratic from to the matrix ##A##, where here ##A## is positive definite, of rank ##m## and even. (and I think symmetric?)

So I thought that this meant to solve the quadratic ##A[x]= \vec{x^t} A \vec{x} = n ##, for each ##n##, and the representation number is then given by the number of solutions to this?, subject to ## \vec{x} \in Z^{m} ## ,

What is ##Z^{m}## here please? ( z the integer symbol)

Many thanks
 
Physics news on Phys.org
## \vec{x} \in Z^{m} ## is simply ##\vec{x} = (x_1, \ldots , x_n)^\tau \in \underbrace{\mathbb{Z} \times \ldots \times \mathbb{Z}}_{n-\ times}##.
Was that your question?
 
fresh_42 said:
## \vec{x} \in Z^{m} ## is simply ##\vec{x} = (x_1, \ldots , x_n)^\tau \in \underbrace{\mathbb{Z} \times \ldots \times \mathbb{Z}}_{n-\ times}##.
Was that your question?

no not quite, i needed to check this before i can post my full question, and that my interpretation of what the representation number is correct? (otherwise the question I am about to post may not make sense)
 
binbagsss said:
##\theta(\tau, A) = \sum\limits_{\vec{x}\in Z^{m}} e^{\pi i A[x] \tau } ##

##=\sum\limits^{\infty}_{n=0} r_{A}(n)q^{n} ##,

where ## r_{A} = No. [ \vec{x} \in Z^{m} ; A[\vec{x}] =n]##

where ##A[x]= x^t A x ##, is the associated quadratic from to the matrix ##A##, where here ##A## is positive definite, of rank ##m## and even. (and I think symmetric?)

So I thought that this meant to solve the quadratic ##A[x]= \vec{x^t} A \vec{x} = n ##, for each ##n##, and the representation number is then given by the number of solutions to this?, subject to ## \vec{x} \in Z^{m} ## ,

What is ##Z^{m}## here please? ( z the integer symbol)

Many thanks

Okay so on the attachment of extract from my book, I'm not understanding the comment '##Q_{1}(x,y) ## and ##Q_{2}(x,y) ## yeild the same series since they represent the same integers.'

So as I said above my interpretation of how to compute the ##r(n)## was to :

set ##2 Q(x,y) = A(x,y) = n ## , for each ##n## in turn and count the number of solutions to this for each ##n##.

So looking at ##Q_{0}(x,y)##, should find ##2(x^{2}+xy+6y^2)=0## has one solution (i.e ##(x,y)=0##) , ##2(x^{2}+xy+6y^2)=1## should find 2 solutions and ##2(x^{2}+xy+6y^2)=2,3## has no solutions for ##x \in Z^m ##
Is my understanding correct here?

So then looking at ##Q_1 (x,y)## and ##Q_{2} (x,y) ## which differ only on the sign of the ##xy## term, I don't see how it is obvious that these will have the same number of solutions for ##Q(x,y) = n## for each ##n##?

Many thanks in advance.
 

Attachments

  • QUADF.jpg
    QUADF.jpg
    30.4 KB · Views: 493
If you replace ##x## by ##-x## (or equivalently ##y## by ##-y\,##) you get the same number of pairs ##(x,y) \in \mathbb{Z}^2## with ##Q_i(x,y)=n##. Different pairs though, but equally many.
 
fresh_42 said:
If you replace ##x## by ##-x## (or equivalently ##y## by ##-y\,##) you get the same number of pairs ##(x,y) \in \mathbb{Z}^2## with ##Q_i(x,y)=n##. Different pairs though, but equally many.

oh right thanks,
how is this obvious? e.g how do you know you won't end up getting complex solutions for the corresponding sign change, ta
 
binbagsss said:
oh right thanks,
how is this obvious? e.g how do you know you won't end up getting complex solutions for the corresponding sign change, ta
$$\#\{(x,y)\in \mathbb{Z}^2\,\vert \,Q_1(x,y)=0\}=\#\{(-x,y)\in \mathbb{Z}^2\,\vert \,Q_1(-x,y)=0\}=\#\{(w,y)\in \mathbb{Z}^2\,\vert \,Q_1(-x,y)=0\, \wedge \, w=-x\,\}=\#\{(w,y)\in \mathbb{Z}^2\,\vert \,Q_2(x,y)=0\, \wedge \, w=-x\,\}=\#\{(w,y)\in \mathbb{Z}^2\,\vert \,Q_2(x,y)=0\, \wedge \, w=x\,\}=\#\{(x,y)\in \mathbb{Z}^2\,\vert \,Q_2(x,y)=0\}$$ because we consider all pairs in ##\mathbb{Z}^2##, so the sign doesn't make any difference in the total number of solutions, only in the way we write, resp. notate them: ##\#\{(x,y)\in \mathbb{Z}^2\,\vert \,x=1 \wedge y=2\}=\#\{(x,y)\in \mathbb{Z}^2\,\vert \,x=-1 \wedge y=2\}##.
 

Similar threads

  • · Replies 4 ·
Replies
4
Views
3K
  • · Replies 7 ·
Replies
7
Views
2K
Replies
2
Views
2K
  • · Replies 26 ·
Replies
26
Views
880
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
1K
  • · Replies 3 ·
Replies
3
Views
945
  • · Replies 1 ·
Replies
1
Views
2K
Replies
22
Views
4K
  • · Replies 1 ·
Replies
1
Views
2K