**5**

votes

**1**answer

90 views

### Irreducible cubics modulo primes

Is there a small finite (perhaps of cardinality two or three) collection of cubic polynomials $p_1, \dotsc, p_k \in \mathbb{Z}[x]$ such that for every prime $p$ at least one of these is irreducible?

**-1**

votes

**0**answers

37 views

### Odds of residue being small

Given $\mathsf{c\geq1}$, what is the probability that if you choose $\mathsf{A,B,\alpha\in\Bbb N}$ such that $\mathsf{A,B<\alpha<AB}$ holds we will have both ...

**0**

votes

**1**answer

47 views

### Question about sign change of Hecke eigenvalues

I want to write a survey on the subject 'Sign changes for coefficients of symmetric power $L$-functions'. So, I browse the Web and I got some papers. I read it and I gave special interest to the paper ...

**0**

votes

**0**answers

68 views

### Davenport constant of class group

Denote $\mathsf{C(\Delta)}$ where $\mathsf{\Delta=b^2-4ac<0}$ with $\mathsf{gcd(a,b,c)=1}$ be class group of all equivalence classes of integral quadratic forms with discriminant $\mathsf{\Delta}$. ...

**1**

vote

**0**answers

52 views

### A quadrant of residues

Assume that following inequality holds $$\mathsf{w,x,y,z<AB,AC,AD,BC,BD,CD<ABC,ABD,ACD,BCD<wx,wy,wz,xy,xz,yz}$$ with $$\mathsf{gcd(A,B)=gcd(A,C)=gcd(A,D)=gcd(B,C)=gcd(B,D)=gcd(C,D)=1}$$
...

**-2**

votes

**0**answers

115 views

### $\mathsf{GCD}$ in arithmetic progression

Given $\mathsf{M\in\Bbb N}$, pick $\mathsf{r,s,A,B\in\Bbb N}$ randomly with $\mathsf{0<r<s<A<B<M}$ satisfying $\mathsf{gcd(A,B)=1}$.
Given $\mathsf{c\geq1}$, what is the probability ...

**8**

votes

**1**answer

714 views

### Remark on Fermat's Last Theorem by Darmon, Diamond and Taylor

In their paper, Darmon, Diamond and Taylor remarked the following :
(the previous paragraph of Section 2.2 (p. 55), https://www.math.wisc.edu/~boston/ddt.pdf)
If $\rho : G \rightarrow ...

**3**

votes

**2**answers

204 views

### Lower bounding the multiplicative order of 2 modulo p

For $p$ prime denote by $\mathsf{ord}_p(2)$ the multiplicative order of $2$ modulo $p$.
Does there exist $N > 0$ such that, for ALL primes $p$, $\mathsf{ord}_p(2)$ is at least $\frac{(p-1)}{N}$?
...

**2**

votes

**0**answers

81 views

### A factorial related statement

Is statement $\mathsf{S}$ below in $\mathsf{NP}$ or in $\mathsf{coNP}$?
$$\mathsf{S}:\mathsf{Given}\mbox{ }n,a,s,c\in\Bbb N,\mbox{ }\mathsf{with}\mbox{ }n\mbox{ }\mathsf{a}\mbox{ }\mathsf{prime}\mbox{ ...

**5**

votes

**1**answer

304 views

### A question on Ramanujan's $1/\pi$ formulas

It is known that Ramanujan discovered a number of formulas fo $1/\pi$. All of these formulas are of the form $$\frac{1}{\pi}=\sum_{n=0}^{\infty}\frac{(1/2)_n(s)_n(1-s)_n}{(1)_n^3}(a+bn)z^n,$$where ...

**9**

votes

**2**answers

386 views

### Learning the exponents in a sum of two modular roots of unity

$\newcommand{\Z}{\mathbb{Z}}$
Suppose that $n$ is a large and known integer (say, with 100 digits) and that you are given access to a function
$$f(x) = x^a + x^b$$
with unknown exponents $a,b \in ...

**1**

vote

**0**answers

81 views

### Rank of the Jacobian of a family of hyperelliptic curves of genus 2

Assume tha $C$ be the hyperelliptic curve $y^2 = (x-a_1)\cdots (x-a_5)$ of genus $g=2$ and $a_i \in \mathbb{Z}$ and we know that the integers $a_i$ has the form $a_i= d_1^2 - d_i^2$ for some positive ...

**1**

vote

**0**answers

46 views

### Avoiding the range of a bivariate integer function or Diophantine function [on hold]

I have a bivariate integer function $f(x,y)=5+23x+7y+30xy$ where $x,y \geq 0$ and are integers. The lattice points of this function, or its range contain a large number of values. I'm trying to see if ...

**2**

votes

**2**answers

253 views

### Trivial zeroes of the Riemann Zeta function are simple

The trivial zeroes of the Riemann Zeta function are located on $-2\mathbb N^*$ and they are simple. It is not difficult to see that, but the proof I have in mind is using the fact that ...

**-2**

votes

**0**answers

104 views

### Elementary question of Group cohomology [on hold]

Let $G$ be a finite group.
Assume $G$ acts on finite abelian module $M$ such that $(|G|,|M|)=1$.
Question: Why $H^i(G,M) = 0$ for $i > 0$?
Pierre MATSUMI

**4**

votes

**2**answers

297 views

### Bateman-Horn, continued even further

As before, consider the "singular series", which shows up in the Bateman-Horn conjecture: for an irreducible polynomial $f,$ this is equal to
$$
s(f) = \prod_p \frac{1-\frac{n_f(p)}p}{1-\frac1p},
$$
...

**1**

vote

**0**answers

83 views

### System of congruences

I have a system of $n$ congruences.
the generic $m$_th congruence of the system ($m = 1,\dots,n$) is in the form:
$(p_n\#)^2(\displaystyle\sum_{\substack{i=1\\i\neq ...

**3**

votes

**0**answers

114 views

### Does the Bombieri-Lang conjecture imply severe restrictions on rational points on twists of hyperelliptic curves?

According to Silverman, the Bombieri-Lang conjecture implies
that the rational points of surface on general type lie on
finite set of curves, except for a finite set of points.
Let $f$ be univariate ...

**2**

votes

**0**answers

59 views

### Listing all Lattice Points in a Box

Let $B := [-1,1]^n$ be an $n$-dimensional box. Moreover, let $v_1,\ldots,v_n \in \mathbb{R}^n$ form a basis of $\mathbb{R}^n$, where the entries of the $v_i$ are explicitly irrational. We can assume ...

**2**

votes

**0**answers

107 views

### $\frac{1}{2}<\sigma<1$, is $f(n) = \Bigl| \,1+ \frac{1}{2^{\sigma + i n}} + \cdots + \frac{1}{n^{\sigma + i n}} \Bigr|$ from $O(\log n)$?

We have $\frac{1}{2} < \sigma < 1$ and
$$
f(n) = \Bigl|\, 1+ \frac{1}{2^{\sigma + i n}} + \cdots + \frac{1}{n^{\sigma + i n}} \Bigr|
$$
. My goal is proving this statement that $|f(n)|$ is ...

**5**

votes

**0**answers

150 views

### Congruences involving binary forms and primes of the form $x^2+y^2$

Let $a_s$ be
\begin{align*}
a_s=\sum_{k=0}^s{s+k\choose k}2^k,
\end{align*}
which is the coefficient of $x^s$ in
\begin{align*}
\frac{3-\sqrt{1-8x}}{2(x+1)\sqrt{1-8x}}.
\end{align*}
( see ...

**10**

votes

**3**answers

418 views

### Continued Fractions from Digit Streams

let $x=\sum_{i=1}^{\infty}\delta_i2^{-i},\ \delta_i\in\{0,1\}$.
Is there an algorithm that converts the sequence $(\delta_0,\ \delta_1,\ ...)$ of the binary digits of $x$ to the sequence ...

**0**

votes

**0**answers

58 views

### Bounds on sum of reciprocal of logarithm of primes [duplicate]

Are upper/lower bounds known for the following quantity?
$$S(n,a)\stackrel{\triangle}{=}\sum_{p_k \leq n}\frac{1}{(\log p_k)^a}.$$
I am mainly interested in the case, $a=1$. I suppose with the ...

**6**

votes

**0**answers

131 views

### 2-dimensional sublattices with all vectors having very big square (in absolute value)

QUESTION: Let $\Lambda\times\Lambda\rightarrow {\Bbb Z}$ be a lattice,
that is, ${\Bbb Z}^n$ with a non-degenerate integer quadratic form, not
definite, not necessarily unimodular, $n>2$. I want ...

**0**

votes

**0**answers

56 views

### Smallness in modular condition

Given coprime $\mathsf{a_1,a_2\in\Bbb N}$ with $\mathsf{\mathsf{\max(a_1,a_2)\leq2\min(a_1,a_2)}}$, is there pair $\mathsf{(x_1,x_2)\in\Bbb N^2}$ such that
...

**0**

votes

**1**answer

42 views

### For a given $n$, under what condition(s) there exists (at least) two different $c$ and $c′$ such that $X_n^c=X_n^{c'}$

Let $X_n^c=\{\cos\left((4k-c)\frac{\pi}{2n}+\frac{\pi}{4}\right): k=0, 1, \dots, n-1\}$ where $c\in\{0, 1, \ldots, \lfloor\frac{n}{2}\rfloor\}$ and $n$ is any positive integer greater than 3. I want ...

**16**

votes

**2**answers

737 views

### Which algebraic relations are possible between algebraic conjugates?

For which non-constant rational functions $f(x)$ in $\mathbb{Q}(x)$ is there $\alpha$, algebraic over $\mathbb{Q}$, such that $\alpha$ and $f(\alpha) \neq \alpha$ are algebraic conjugates? More ...

**7**

votes

**1**answer

185 views

### Numerically double-checking formula with L-values

I'm working with a special case of Ichino's triple product formula, which for classical holomorphic newforms $f$, $g$ ,$h$ of weights $k$, $m-k$, $m$ (and central characters satisfying $\chi_f \chi_g ...

**2**

votes

**0**answers

149 views

### Morphism of Shimura varieties and differential equations

Is there a way of constructing a morphism between Shimura varieties using differential equations? Maybe, this looks like a completely ridiculous question, so I think that I should explain the context ...

**8**

votes

**2**answers

499 views

### Does the Galois group of a Pisot polynomial contain the alternating group?

Let $n \in \mathbb{N}$, and let $p(X) \in \mathbb{Z}[X]$ be a monic polynomial of degree $n$. Suppose that exactly one complex root of $p$ is of modulus $> 1$, and that the remaining $n-1$ roots of ...

**-4**

votes

**0**answers

168 views

### Has Frucht's theorem been successfully used in inverse Galois theory? [closed]

Logically, one can associate to any finite extension $K$ of $\mathbb{Q}$ a directed graph describing it. Can such a graph be used together with Frucht's theorem asserting that every finite group is ...

**7**

votes

**1**answer

295 views

### Bounded gaps between primes in arithmetic progressions

Has Zhang's work on bounded gaps between primes been extended to the following theorem?
For any arithmetic progression $an+b,\gcd(a,b)=1$, there is a constant $H$ (depending only on $a$) such that ...

**0**

votes

**1**answer

107 views

### The number of ways of writing a natural number as the sum of distinct elements from a finite set [closed]

Given a finite set of natural numbers $A$, is there a generating function for the number of ways of writing a given natural number $n$ as a sum of $s$ distinct elements from $A$?

**0**

votes

**0**answers

33 views

### Maximum norm of discrete Fourier transform [duplicate]

I have considerable numerical evidence that
for all $0\leq k\leq{{n-1}\over 2}$ ($n$ odd) there exists a subset $
S_k$ of {1,2,...,n} of cardinality $k$
such that the modulus square of ...

**0**

votes

**1**answer

150 views

### A three variable linear diophantine promise problem

Given $a,b,c,s\in\Bbb N$ such that $(a,b,c)=1$ with promise that we have at most one triple $x,y,z\in\Bbb N$ such that $ax+by+cz=s$, what is a good algorithm that runs in $O(\log(abcs))$ time to find ...

**2**

votes

**2**answers

195 views

### Decomposition and valuation rings

I am reading Algebraic Number Theory by A. Fröhlich, M. J. Taylor, it first introduced the theorem:
$(K,u)$ be a field and its absolute value, $(K_u,\bar u)$ be its completion and absolute value ...

**2**

votes

**2**answers

87 views

### Relation between number of non-negative and positive integers points in simplices

I asked this question on math.SE before, but did get not get an answer. Therefore I hope it is ok to post it here on this site..
Let $q \in \mathbb{R}_+$ and $0 < w_1 \leq w_2 \leq \ldots w_d \in ...

**4**

votes

**0**answers

80 views

### Can a product of conjugates be a Pisot number again?

Let $p(X) \in \mathbb{Z}[X]$ be an irreducible polynomial, and let $\alpha_1 \dots, \alpha_n$ be its roots in $\mathbb{C}$. Suppose that $\alpha_1$ is a Pisot number (that is, $\alpha_1 \in ...

**2**

votes

**0**answers

141 views

### Rank of the Jacobian of twists of hyperelliptic curves

Suppose that a hyperelliptic curve $C$ of genus $g \geq 4$ is given by the equation
$$\displaystyle C: y^2 = a_0 x^{2g+2} + a_1 x^{2g+1} + \cdots + a_{2g+2} = f(x).$$
The Jacobian variety $J(C)$ of ...

**-2**

votes

**0**answers

80 views

### A chinese remaindering problem [closed]

Given integers $0<c<d,e<a,b<cd,ce$, supposing we know only $$a\mbox{ and }b\mbox{ and that }(a,b)=1$$$$cd\bmod a\mbox{ and }ce\bmod b$$ is there a technique to find $c$?
Techinically if ...

**-1**

votes

**1**answer

91 views

### Proof that expression is integer [closed]

can you help me with this
Proof that expression is integer
$$\frac{(2n)!}{2^nn!}$$

**1**

vote

**1**answer

109 views

### Question about mean square estimate for sums of Dirichlet coefficients of Symmetric Power $L$-functions

I have a question related to Coefficients of Symmetric power $L$-functions and I would be grateful if you could answer it.
Let $\lambda_{Sym^rf}(n)$ be the $n$th Dirichlet coefficient of ...

**2**

votes

**0**answers

85 views

### Possible argument against Height bound hypothesis

From this paper.
$f(x,y)$ is polynomial with integer coefficients.
$s(f)$ is its size, the sum of the logarithms of the absolute
values of the nonzero coefficients, defined on p. 6. From p. 7.
...

**2**

votes

**1**answer

180 views

### Trace of a Product of Finitely Many Matrices with Cosine Entry

Can someone help me prove the following identity?
$$
\mathop{\mathrm{Tr}}\left(\prod_{j=0}^{n-1}\begin{pmatrix}
2\cos\frac{2j\pi}{n} & -m \\
1 & 0
\end{pmatrix}\right)=
\begin{cases}
2 & ...

**2**

votes

**0**answers

106 views

### Euler's totient function relative function

For the $\sigma$ function, the ratio $\sigma(m)/m$ is known as the abundancy index. Is there any special name for $\phi(m)/m$ with $\phi$ the Euler's totient function ?

**0**

votes

**0**answers

65 views

### Is this factoring algorithm sufficiently efficient for some integers of special kind?

Basically the question is if $m$ is factored over the integers,
can it be relatively efficiently factored over $\mathbb{Z}[\sqrt{n}]$
where $n$ is not factored, but might be of special form?
Suppose ...

**4**

votes

**0**answers

86 views

### Integer sum of distinct reciprocals with no integer subset sum

Question
$\def\nn{\mathbb{N}}$
For any $n \in \nn^+$, is there a finite set $S \subset \nn^+$ such that $\sum_{k \in S} \frac{1}{k} = n$ but $\sum_{k \in T} \frac{1}{k} \notin \nn^+$ for any $T ...

**6**

votes

**1**answer

233 views

### Definition of p-adic modular forms

I have been reading Hida's book "p-Adic automorphism forms on Shimura varieties" and I don't understand a point.
He first describes p-adic modular forms of tame level N as functions on the Igusa ...

**2**

votes

**1**answer

290 views

### Quadratic Diophantine equation in $\mathbb Z[T]$

I am trying to solve the following quadratic diophantine equation in $\mathbb Z[T]$:
$$((T+1)X+TY-1-Z)((T+1)X+TY-1+Z)=24XY$$
One has the following trivial solutions:
$(X,Y,Z)=(0,Y,\pm(1-TY))$, ...

**6**

votes

**1**answer

199 views

### A question about $(0,1]$-valued multiplicative functions

Suppose $f:\mathbb{N}\to [0,1]$ is a multiplicative function (i.e. $f(nm)=f(n)f(m)$ whenever $m$ and $n$ are coprime). Suppose $f$ has non-zero mean, which means
$$
\lim_{N\to\infty}\frac{1}{N} ...