# Tagged Questions

**10**

votes

**3**answers

358 views

### The diameter of a certain graph on the positive integers

Let $G(n)$ be the graph whose vertices are the positive integers $1,2,3,4, \ldots, n$ two of which are joined by an edge if their sum is a square. Is the diameter of this graph 4 for all sufficiently ...

**10**

votes

**0**answers

125 views

### Hyperelliptic curves over $\mathbb{Q}$ with a $\mu_p^2$ subgroup in their Jacobian

Given a prime number $p>2$, I'm looking for a smooth projective hyperelliptic curve $C$ defined over $\mathbb{Q}$ whose Jacobian $J(C)$ has a subgroup isomorphic to $\mu_p^2$ as a ...

**5**

votes

**0**answers

75 views

### A Generalized Wiener-Ikehara Theorem with multiple poles on the line

One version of the Wiener-Ikehara Theorem says that if
$$
f(s) = \sum \frac{a(n)}{n^s}
$$
is a Dirichlet series with nonnegative coefficients that converges absolutely for $\text{Re}(s) > 1$ and ...

**4**

votes

**1**answer

215 views

### The horizontal distribution of zeros of $\zeta^\prime(s)$

I have a question about a detail in the proof of Proposition 1.6 in "The horizontal distribution of zeros of $\zeta^\prime(s)$", K. Soundararajan, Duke J. Math. vol. 91 1998.
Throughout I will ...

**1**

vote

**3**answers

132 views

### Decidability of sum of powers exponential diophantine equation

I want to ask about decidability of exponential Diophantine equation:
$z_12^{\eta_1} + \ldots + z_n2^{\eta_n} = z$, where $z_i,\eta_i,z \in \mathbb{Z}$, and $\eta_i$ - are variables.
Can we find ...

**0**

votes

**3**answers

168 views

### Counting zero-sum free sequences of a given length in $\mathbb{Z}_n$

Let $n$ and $d$ be positive integers. Define $\alpha_n^d$ to be the number of vectors $(x_1, x_2, \cdots, x_d)$ in $\mathbb{Z}_n^d$ such that given any subset $S$ of $\{ 1, 2, 3, \cdots d\}$, ...

**4**

votes

**1**answer

147 views

### Subgroups of $Sp_{2g}$ giving rise to Shimura data

Consider the Shimura datum $(GSp_{2g},\mathcal{H}_g)$. Let $G$ be a reductive $\mathbb{Q}$-subgroup of $Sp_{2g}$. I want to know under what condition there exists a point $x\in\mathcal{H}_g$ such that ...

**4**

votes

**1**answer

312 views

### Counting number of points in a lattice with bounded sup norm

Let $\Lambda$ be a lattice in $\mathbb{R}^n$. For $\bar{x} \in \mathbb{R}^n$, let
$\| \bar{x} \| = max_{1 \leq i \leq n} \{ |x_i| \}$, i.e. the sup norm. Let $\lambda_1, ..., \lambda_n$
be a ...

**12**

votes

**1**answer

393 views

### Natural probability on integers

This is a follow-up to this classical question asked recently here: we know (e.g. using the second Borel-Cantelli Lemma) that no probability measure on $\mathbb{Z}$ has the property that $n\mathbb{Z}$ ...

**8**

votes

**2**answers

852 views

### divisible by all standard prime numbers

This question is about prime numbers in nonstandard models of Peano Arithmetic. Every such model looks like N+AxZ, where A is a dense linear order without end points.
There are many nonstandard ...

**4**

votes

**1**answer

276 views

### Do we know any bound on $lcm(2^1-1, 2^2-1,…,2^n-1)$?

We know that lcm(1,...n) is approximately $e^n$ and and also we know that $gcd(2^a-1, 2^b-1)=2^{gcd(a,b)}-1$.
I wonder if there exists an upperbound/lowerbound/approximation for $lcm(2^1-1, ...

**0**

votes

**0**answers

77 views

### Rationality of intersection of algebraic groups

Suppose that $G$ (defined over $\mathbb{Q}$) and $H$ (defined over $\mathbb{R}$) are two algebraic subgroups of a larger algebraic group defined over $\mathbb{Q}$. Assume that $G(\mathbb{R})$ and ...

**0**

votes

**1**answer

157 views

### Normal basis with cyclotomic units

Let p be an odd prime integer and let $\zeta$ be a primitive p-th root of unity.
Let $\alpha$ be a non-trivial cyclotomic unit of $\mathbb Q(\zeta)$, i.e. an element of the form ...

**0**

votes

**0**answers

51 views

### On OPNs and SOPNs

(I hope that this question is appropriate for this site. If it is not, please feel free to point it out and I will then cross-post to MSE.)
OPNs are odd perfect numbers. SOPNs are spoof odd perfect ...

**0**

votes

**1**answer

1k views

### A stronger version of Fermat's last theorem [duplicate]

Motivated by Fermat's last theorem, one may wonder the following conjecture is true or not.
The equation $x_1^m+\cdots+x_n^m=1$ has nonzero rational solutions iff $n\geq m$.
Here a nonzero rational ...

**6**

votes

**0**answers

238 views

### Can integers be distorted to make primes more regular?

Given a set $P$ of real numbers $\ge 1$, define the gap among different products in $P$ as
$$g(P) = \inf \big\{\prod_{i=1}^n p_i^{a_i} - \prod_{i=1}^n p_i^{b_i} \mid p_i\in P;\,\, p_i\ne p_j \,\text{ ...

**3**

votes

**1**answer

183 views

### When two Dedekind sums are equal

The (classical) Dedekind sum $s(h,k)$ is defined as
$$s(h,k)=\sum_{r=1}^{k-1}\frac{r}{k}\bigg(\frac{hr}{k}-\Big[\frac{hr}{k}\Big]-\frac{1}{2}\bigg)$$
for $\gcd(h,k)=1$.
A natural question is, when ...

**2**

votes

**2**answers

236 views

### $t$-analogue of the symmetric power of an additive character over $\Bbb{F}_q^*$

Let $G$ be a finite group and let $f: G \longrightarrow \Bbb{C}$ be any complex-valued function. For integers $k, n \geq 0$, an indeterminant $t$, and $x \in G$ let $f_k(x) := f \big( x^k \big)$ and ...

**9**

votes

**2**answers

566 views

### Consecutive numbers with mutually distinct exponents in their canonical prime factorization

Is it possible to find 23 consecutive positive integers each of which has mutually distinct exponents in its canonical prime factorization? Such numbers are sequence A130091 in OEIS. 24 such numbers ...

**5**

votes

**1**answer

343 views

### A strange condition on containment of special complex numbers in cyclotomic fields

In a recent theorem we have naturally come across this condition, that seems to be important, but rarely satisfied:
$\sqrt{\frac 1 4 + a^m} \in \mathbb Q(\zeta_m, a)$
where $a\in\mathbb C^*$ and ...

**8**

votes

**2**answers

262 views

### Tauberian theorem with better error term

This is a fairly vague question.
Suppose we have a sequence of positive numbers $(c_n)_n$ and we want to find an asymptotic formula for $S(x) = \sum_{n \leq X} c_n$. In favorable circumstances, ...

**1**

vote

**0**answers

130 views

### Generalization of Little Fermat Theorem for a particular $a$ and perfect shuffles

I'm looking for the smallest $n\in \mathbb{N}$ that solves the following equation:
$$2^n=1 \mod m$$
For an odd $m$. I know that Little Fermat Theorem and Euler Totient give me a solution but they ...

**1**

vote

**0**answers

180 views

### What is the status on questions related to Bhargava's factorial function?

In Manjul Bhargava's The Factorial Function and Generalizations he motivates a new type of factorial $n!_S$ using by generalizing a few theorems like:
For $k, l \in \mathbb{Z}$, we have $k! \times ...

**9**

votes

**6**answers

1k views

### number theory which is close to analysis

I have basic training in Fourier and Harmonic analysis. And wanting to enter and work in area of number theory(and which is of some interest for current researcher) which is close to analysis.
...

**3**

votes

**0**answers

127 views

### Counting number of points in a lattice with bounded length

I am interested in counting number of lattices using the following theorem.
The following is Theorem IV (page 412) in Chapter VIII of "An introduction to the geometry of numbers (second printing, ...

**18**

votes

**0**answers

489 views

### Enriques surfaces over $\mathbb Z$

Does there exist a smooth proper morphism $E \to \operatorname{Spec} \mathbb Z$ whose fibers are Enriques surfaces?
By a theorem of, independently, Fontaine and Abrashkin, combined with the ...

**1**

vote

**0**answers

85 views

### Square-free sieve over number fields

I am trying to work on extending various methods to study square-free values of polynomials (or more generally, $k$-free values) over general rings of integers, and a literature review has yielded ...

**-4**

votes

**2**answers

305 views

### Brocard's problem [closed]

According to Brocard's problem
$$x^{2}-1=n!=4!*(5+1)(5+2)...(5+s)$$
here,$(5+1)(5+2)...(5+s)=\mathcal{O}(5^{r}),4!=k$. So,
$$x^{2}-1=k *\mathcal{O}(5^{r})$$
Here, $\mathcal{O}$ is Big O ...

**5**

votes

**0**answers

118 views

### Non-embeddable varieties

Suppose that $k$ is a perfect field of characteristic $p>0$, $\mathcal{V}$ is a complete discrete valuation ring with residue field $k$ and quotient field $K$, of characteristic $0$.
Then when ...

**3**

votes

**1**answer

147 views

### On conductors, levels and traces on quaternion algebras

I am currently working on level issues in the division central simple algebra case, say $D$ over a local non-archimedean field $F$ (e.g. $\mathbf{Q}_p$). Let say that $\mathcal{O}_D$ and ...

**2**

votes

**0**answers

157 views

### Is Frobenius on $R^\circ/p$ surjective for general perfectoid rings $R$?

In [1], Propisition 6.1.9(2), it said that if $R$ is a perfectoid ring such that $pR^\circ$ is closed in $R^\circ$ (this includes the case if $R$ is of character $p$, or if $p$ is invertible in $R$, ...

**5**

votes

**1**answer

305 views

### Etale cohomology approach on $\tau(n)$

Ramanujan's $\tau$ conjecture states that $$\tau(n)=O_\epsilon(n^{\frac{11}2+\epsilon}),$$ which is a consequence of Deligne's proof of Weil conjectures. Answers in ...

**1**

vote

**1**answer

79 views

### Source for equations involving congruences of Fibonacci and Lucas numbers

In a paper of Cohn (see here), he uses some formulae involving congruences of Lucas- and Fibonacci-numbers (equations 11,12,13 in the preliminaries section). Does anyone know a source for these (and ...

**0**

votes

**1**answer

151 views

### Does there exist an integer that is both solitary and almost perfect?

This question is an offshoot from the following MSE post. I hope that it is appropriate for this site.
Let $\sigma(x)$ be the sum of the divisors of $x$.
An integer $a$ is said to be solitary if ...

**18**

votes

**0**answers

312 views

### Nekrasov-Okounkov hook length formula

I am now reading the paper An explicit expansion formula for the powers of the Euler Product in terms of partition hook lengths by Guo-Niu Han. The author rediscovered what he calls Nekrasov-Okounkov ...

**3**

votes

**2**answers

266 views

### Adeles and twisted adeles

Let $\mu_n$ denote the group of $n$-th roots of unity in ${\mathbb{C}}$, i.e., $\mu_n=\ker[{\mathbb{C}}^*\overset{n}{\longrightarrow}{\mathbb{C}}^*]$.
We set
$$ \mu=\varinjlim_n \mu_n\subset ...

**1**

vote

**2**answers

352 views

### Numbers $n$ such that the sum of the divisors of $n$ is a nontrivial power

Let $\sigma (n)$ be the sum-of-divisors function. For example, $\sigma(7)=1+7=2^3$.
I know some results about triplets of positive integers $(n,a,b)$ where $a,b\ge 2$ such that $\sigma (n)=a^b$, but ...

**0**

votes

**0**answers

105 views

### Solving the transcendental equation $Li_{3}(e^{-kx}) + x\, Li_{2}(e^{-kx}) = k\, x^3$

I need to solve the following equation:
$Li_{3}(e^{-kx}) + x\, Li_{2}(e^{-kx}) = k\, x^3$
for $x\in\mathbb{R}^{\ast}$ and where $k\in\mathbb{R}^{+}$. Here $Li_{3}$ and $Li_{2}$ are the third and ...

**5**

votes

**0**answers

119 views

### Factorization of antiderivative of minimal polynomials

In any totally real number field, is there an element whose minimal polynomial has the property that its antiderivative factors completely over the rationals?
(I’ll let you choose whichever constant ...

**3**

votes

**1**answer

204 views

### Addition law for elliptic curves of the form $x^2y^2+a(x+y)+b=0$

Did anybody consider addition law for elliptic curves of the form $$x^2y^2+a(x+y)+b=0\,?$$ Does this form have any specific name?

**8**

votes

**2**answers

244 views

### Root criterion for polynomial over number fields

It's well known that if $\alpha $ is a rational root to an integer coefficient polynomial, then its denominator divides the leading coefficient and its numerator divides the constant term. I'm asking ...

**10**

votes

**2**answers

644 views

### A “better” rational approximation of pi?

$355/113$ is a good fractional approximation of $\pi$, because we use six digits to produce seven correct digits of $\pi$.
$$\frac{355}{113} = 3.1415929\ldots$$
Let $R$ be the ratio of the number of ...

**3**

votes

**0**answers

179 views

### Density of primes of degree one in Bauer's Theorem (Application of Chebotarev Density)

Let $L$ be a Galois extension of $\mathbb{Q}$ and $M$ a finite extension of $\mathbb{Q}$, both of degrees $> 1$. A Theorem of Bauer tells that $Spl_1(M)\subset Spl(L)$ up to a finite number of ...

**13**

votes

**4**answers

2k views

### Is there a natural bijection from $\mathbb{N}$ to $\mathbb{Q}$?

In a conversation where it came up that the Pythagoreans probably found an enumeration of the rational numbers I erroneously remarked that Georg Cantor found a natural bijection from $\mathbb{N}$ to ...

**2**

votes

**0**answers

85 views

### On uniform or simple convergence of Poisson Summation formula

Under good conditions on an even function $f(x)$ we have the Poisson Summation formula ($x>0$):
$$f(0) + 2 \sum\limits_{n =1}^{\infty} f(nx)= \frac{1}{x} \left( \hat{f}(0) + 2 \sum\limits_{n ...

**4**

votes

**1**answer

262 views

### $K_0$ of integral group ring of cyclic group $\mathbb{Z}/p\mathbb{Z}$

Is there a table for the computation of $K_0(\mathbb{Z}[\mathbb{Z}/p\mathbb{Z}])$?
These groups are also known as ideal class group in number theory.In topology,they are the home of some important ...

**7**

votes

**0**answers

326 views

### Representing every positive rational number in the form of $(a^n+b^n)/(c^n+d^n)$

About a month ago, I got the following :
For every positive rational number $r$, there exists a set of four positive integers $(a,b,c,d)$ such that
...

**3**

votes

**1**answer

89 views

### What is the Complexity Class of the “Function Variant” of the Integer Factorization Problem?

I've been reading up a lot Prime Factorization and it's complexity, including a fair number of questions on this very site. However, I still feel there is a question still left unanswered.
So, ...

**0**

votes

**0**answers

109 views

### seminar about the strong multiplicity one for the Selberg class

Very recently, a seminar took place in Seoul with Haseo Ki as an invited speaker to talk about the strong multiplicity one theorem for the whole Selberg class that he did manage to prove. I would like ...

**0**

votes

**0**answers

117 views

### Q re Kaprekar's fixed mapping points

Jens Kruse Andersen in his comment in OEIS's A099009 noticed 3 families of numbers among Kaprekar's fixed mapping points (otherwise known as kernels of the Kaprekar's routine):
"Let $d(n)$ denote ...