Representation number via quad forms of theta quadratic form

Click For Summary

Discussion Overview

The discussion revolves around the representation of numbers via quadratic forms, specifically focusing on the theta function associated with a positive definite matrix. Participants explore the interpretation of the representation number, the nature of solutions in integer domains, and the implications of sign changes in quadratic forms.

Discussion Character

  • Exploratory
  • Technical explanation
  • Conceptual clarification
  • Debate/contested

Main Points Raised

  • One participant defines the theta function and its relation to the representation number, questioning the meaning of the integer domain ##Z^{m}##.
  • Another participant clarifies that ##Z^{m}## refers to a vector of integers, but a further inquiry is made about the correctness of the initial interpretation of the representation number.
  • There is a discussion about the equivalence of different quadratic forms yielding the same series, with one participant expressing confusion about how two forms differing by a sign can have the same number of solutions for each integer ##n##.
  • One participant suggests that replacing variables with their negatives results in the same number of solutions, although another questions the assumption that this does not lead to complex solutions.
  • A later reply elaborates on the reasoning behind the equivalence of solution counts despite sign changes, emphasizing that the total number of integer solutions remains unchanged.

Areas of Agreement / Disagreement

Participants express varying levels of understanding regarding the implications of sign changes in quadratic forms and the nature of solutions. There is no consensus on the clarity of these implications, indicating ongoing debate.

Contextual Notes

Participants are navigating the complexities of quadratic forms and their representations, with some assumptions about the nature of solutions and the implications of transformations remaining unresolved.

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: 502
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 ·
Replies
2
Views
2K
  • · Replies 26 ·
Replies
26
Views
1K
Replies
2
Views
2K
  • · Replies 4 ·
Replies
4
Views
2K
  • · Replies 3 ·
Replies
3
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
  • · Replies 1 ·
Replies
1
Views
2K
Replies
22
Views
5K