61 questions
Filter by
Sorted by
Tagged with
254 views

### A conjecture for primes $p\equiv\pm1\pmod5$

For any prime $p\equiv\pm1\pmod5$, we can write $p$ uniquely in the form $x_p^2+3x_py_p+y_p^2$ with $x_p,y_p\in\mathbb Z$ and $x_p>y_p>0$. I have the following conjecture. Conjecture. We have ...
165 views

### Conjectures for primes $p\equiv1\pmod3$

Let $p$ be a prime with $p\equiv1\pmod3$. It is well known that we can write $p$ uniquely as $a_p^2+a_pb_p+b_p^2$ with $a_p,b_p\in\mathbb Z$ and $a_p>b_p>0$. Note that $a_b\not \equiv b_p\pmod3$....
442 views

127 views

182 views

### On the determinant $\det[(\frac{i^2+dj^2}p)]_{0\le i,j\le(p-1)/2}$ with $(\frac dp)=-1$

Let $p$ be an odd prime. For $d\in\mathbb Z$ we define $$T(d,p):=\det\left[\left(\frac{i^2+dj^2}p\right)\right]_{0\le i,j\le(p-1)/2},$$ where $(\frac{\cdot}p)$ is the Legendre symbol. By (1.17) of my ...
30 views

### Distribution of binary quadratic forms in a given genus

It was brought up in this question (Distribution of 'square classes' of binary quadratic forms) that the objects I am interested in are actually binary quadratic forms in the principal genus ...
208 views

### A class number estimate

Let $\mathcal{D} = \{D \in \mathbb{Z} : D \equiv 0, 1 \pmod{4}\}$ be the set of discriminants. It is well-known that each element in $\mathcal{D}$ is the discriminant of a primitive binary quadratic ...
151 views

### Distribution of 'square classes' of binary quadratic forms

Let $f$ be a binary quadratic form with integer coefficients and non-zero discriminant $D$. Suppose for simplicity that $D$ is a fundamental discriminant (which in particular implies that $f$ is ...
100 views

### Conjectural bound on gaps between values assumed by quadratic forms

Let $D$ be a discriminant, i.e., $D \equiv 1 \pmod{4}$ or $D \equiv 0 \pmod{4}$. Let $\mathcal{S}(D)$ be the set of positive integers for which there exists a binary quadratic form $f$ with integer ...
401 views

### Equidistribution of CM points in the principal genus

It is well known that as the negative discriminant $-D$ goes to infinity, the number of quadratic forms of discriminant $-D$ belonging to the principal genus also goes to infinity. Can we say ...
506 views

### From Bhargava to Gauss — Why does correspondence of cubes and ideal classes imply Gauss correspondence?

In his seminal 2004 paper "Higher Composition Laws I" in the Annals of Mathematics, (doi:10.4007/annals.2004.159.217), Bhargava proves that for fixed $D \neq 0$, there is a bijective correspondence ...
218 views

### Is the set of integers represented by a quadratic form of non-fundamental discriminant a subset of the rep. set of a form of fundamental discriminant?

I am currently working with positive-definite, reduced, primitive, integral binary quadratic forms, and I have noticed something interesting. Conjecture: Let $Q$ be a form of non-fundamental ...
129 views

### 2-parts of class numbers of binary quadratic forms for non-fundamental discriminants

I need a formula for the 2-adic valuation of the number of proper equivalence classes of primitive positive definite binary quadratic forms of discriminant $-D$, call it $h_0(-D)$. I'm sure the answer ...
469 views

118 views

### Elementary description to count of perfect squares - I

Is there an elementary description of $$N(a)=\Big|\Big\{x\in\{0,1,\dots,\Big\lfloor\frac a2\Big\rfloor-1,\Big\lfloor\frac a2\Big\rfloor\Big\}:\sqrt{x(a-x)}\in\Bbb Z\}\Big|$$ and though likely non-...
72 views

140 views

286 views

219 views

### Cycle length and total count of Gauss reduced indefinite binary quadratic forms

Wikipedia lists two articles on maximum length for the continued fraction of $\sqrt n,$ Hickerson 1973 and Cohn 1977. There is a mess in the references, Cohn is not visible, just the link. Hmmm. ...
196 views

### MIQP formulation in L0 norm optimization

Consider the L0 norm compressed sensing problem: \eqalign{ & \min \quad {x^T}Qx + {c^T}x + {\mu\left\| x \right\|_0} \cr & s.t:\quad Ax \le b \cr} Suppose I do want to solve this ...
105 views

### On covering with Idoneal integers

$d\in\Bbb N$ is an idoneal integer if $N\in\Bbb N_{>1}$ can be written uniquely as $N=x^2\pm dy^2$ then $N=2^mp^n$ where $p$ is odd prime and $n\geq0$ and $m\geq0$ holds. Let the $65$ known ...
240 views

### Ray class groups through binary quadratic forms

(Cross-posted from https://math.stackexchange.com/questions/2029407/ray-class-groups-through-binary-quadratic-forms) If $d$ is the discriminant of a quadratic number field, then the primitive classes ...
120 views

### An asymptotic formula involving the $2$-torsion subgroup of the class group of real quadratic fields

Let $R$ be an order in some number field $K$ (not necessarily maximal). Then the class number $\text{Cl}(R)$ is equal to the cardinality of the Picard group of $R$, which is the group of equivalence ...
963 views

### Upper bound on answer for Pell equation

A user on MSE, @martin , asked https://math.stackexchange.com/questions/1611411/pell-equations-upper-bound about an upper bound for $x$ in $x^2 - p y^2 = 1,$ when $p$ is prime. I checked, it appears ...
117 views

### Binary Quadratic Forms with coefficients in $F_q[T]$

I aim to study the binary forms $ax^2 + bxy + cy^2 = (a,b,c)$ where $a,b,c \in {F_q}[T]$ (charasteristic of $F_q$ not 2) in particular those such that the discriminant $D = b^2 - 4ac \in F_q[T]$ has ...
341 views

### Lower bound on class number of binary quadratic forms of discriminant of the form $n^2+4$

While searching for a use for the "sum invariant" of indefinite binary quadratic forms of discriminant $D = n^2 + 4$ (see https://cs.uwaterloo.ca/journals/JIS/VOL17/Smith/smith5.html), I believe I ...
194 views

### Recursions for some binary theta series in characteristic 3

Define $A(0), A(1), A(2) \dots$ in ${\bf Z}/3[[x]]$ as follows. For $n$ in $\bf N$ let $s=3^{2n+1}$. Then $A(n) = \sum a_kx^k$ where $a_k$ is the mod 3 reduction of the number of representations of $k$...
878 views

### Does the Diophantine equation $(x^2+ay^2)(u^2+bv^2) = p^2+cq^2$ admit a complete solution?

In this MSE question/thread, I have been discussing the equation $$(x^2+ay^2)(u^2+bv^2) = p^2+cq^2, \tag{\star}$$ where $x,a,y,u,b,v,p,c,q$ are integers. I posed a conjecture which turned out to ...
138 views

### References for Gauss Composition using Galois Cohomology

Note: I have already posted this on stackexchange, but have not yet gotten a response. What are some good references for the Gauss composition law on binary quadratic forms in terms of Galois ...
This is probably quite naïve, maybe even stackexchange-worthy. Consider a quadratic form such as $Q(x,y) = 3x^2+y^2$. We know that, for primes $p \equiv 1 \pmod{3}$, there exist integer solutions to ...
Let $Q$ be an indefinite binary quadratic form with discriminant $D$ and one class per genus (keep the example $x^2 - 2y^2$ in mind). If one asks about the set \$P = \{ p : p \text{ prime and } p = Q(...