Prime numbers, Diophantine equations, analytic number theory, algebraic number theory, arithmetic geometry, Galois theory, transcendental number theory, continued fractions

learn more… | top users | synonyms (1)

-1
votes
0answers
49 views

square classes of quadratic extensions of 2-adic fialds [migrated]

I have a question about square classes of quadratic extensions of 2-adic fields. I appreciate anybody help me to understand. Why all elements of $1+\mathfrak{p}^5$ are square in ...
0
votes
1answer
182 views

Does unique factorization for automorphic L-functions imply a weakened form of Ramanujan conjecture?

Selberg orthonormality conjecture for automorphic L-functions was proven under Ramanujan conjecture, and SOC itself implies unique factorization for those L-functions. My question is: does the ...
5
votes
1answer
281 views

Computing an eigencuspform in $S_2(\Gamma_0(1776))$

Consider $$\bar{\rho}:G_{\mathbb Q}\longrightarrow\operatorname{GL}_2(\mathbb F_7)$$ the residual 7-adic Galois representation attached to the elliptic curve $y^2=x^3+x^2-4x-4$ of conductor 48. Then ...
39
votes
2answers
2k views

Arctangents of odd powers of the golden ratio

While trying to answer this MSE question, I found that arctangents of many odd powers of the golden ratio $\varphi=\frac{1+\sqrt5}2$ are expressible as rational linear combinations of arctangents of ...
5
votes
3answers
359 views

Logarithmic integral, $π(x)$ and $x/(\ln x)$

The function $\text{Li}$ (logarithmic integral) is defined for $x>0$ by $$ \text{Li}(x)=\int_2^{x}\frac{dt}{\ln t}. $$ The prime number theorem, proven by Hadamard and de la Vallée-Poussin in 1896 ...
14
votes
4answers
755 views

Number of $\mathbb F_p$ points constant mod $p$?

I have some affine varieties $X$ defined over $\mathbb Z$, and associated integers $c(X)$, with the property that $\# X_{\mathbb Z/p} \equiv c(X) \bmod p$ for all $p$. (In particular $c(X)$ is usually ...
4
votes
0answers
105 views

Number of primes one larger than divisors of a fixed number, which is LCM of 1,2,3,…,L

I am hoping someone can estimate the number of primes that come up this way: take a number $L,$ then let $$ C = \operatorname{lcm} (1,2,3,\ldots,L). $$ We know that $C$ has quite a lot of divisors; ...
7
votes
2answers
895 views

How to prove that this equation has only one solution?

I can't find a way to prove that the following equation has only one solution : $$ X = \frac{2^Q - 1}{2^{P+Q} - 3^P} $$ with $X,P,Q$ integers $> 0$. One trivial solution is $X = 1, P = 1, Q = ...
1
vote
1answer
95 views

Line bundle of Half integral weight modular forms

Let $\omega_{X}$ denote the line bundle of cusp forms of weight $\frac{1}{2}$ over $X$, where $X=\Gamma\backslash \mathbb{H}$ and $\Gamma$ is any arbitrary fuchsian subgroup. Is it true that the line ...
0
votes
1answer
139 views

Chinese remainder theorem for cyclic subfactor planar algebras

This post was inspired by an exchange with the indian woman mathematician Ajit Iqbal Singh. The chinese remainder theorem can be stated as follows: Let $n_1, \dots, n_r \ge 2$ be positive integers ...
7
votes
0answers
70 views

Approximation to a certain Weyl-sum

Let $ S(\alpha)=\sum_{x\leq X}\sum_{y\leq Y}e \left(\alpha x y^3 \right)$, for some $X,Y \geq 1$ and write $\alpha = a/q + \beta$ for $(a,q)=1$, as usual. For the 'classical' cubic Weyl-sum ...
9
votes
0answers
193 views

Hodge–Tate structures of modular forms

The title refers to the paper of Faltings: Hodge-Tate structures and modular forms. Math. Ann. 278 (1987), no. 1-4, 133–149. The main theorem in the paper says that the associated Galois rep to a ...
11
votes
1answer
593 views

Subsequence and integers as a sum of $\frac{1}{n}$

For all $M \in \mathbb{Z}$, is there a finite sequence of positive integers (not necessarily distinct) $(n_i)_{i \in I}$, s.t. $\sum_{i \in I} \frac{1}{n_i} = M$, and there is no subsequence $(n_i)_{i ...
3
votes
2answers
247 views

Representations of complex semi-simple algebraic group “defined over $\mathbf{Z}$”?

If $G$ is a split semisimple linear algebraic group over $\mathrm{Spec}(\mathbf{Z})$ then does every (algebraic) irrep of $G_{\mathbf{C}}$ extend to a morphism $G\to\mathrm{GL}_n$ over ...
1
vote
0answers
131 views

Conway's box function iterated to produce a hierarchy of nested sets of real numbers

Conway's box function is the inverse of Minkowski's question mark function. It maps the dyadic rationals on the unit interval to the rationals using the Stern-Brocot tree (Farey sequence). When the ...
3
votes
1answer
146 views

Products of relative prime numbers with least sum

Let $P(n)$ be the set of subsets $P$ of $\mathbb{N}$ with the properties All elements of $P$ are relative prime to each other. The product of all $k \in P$ is greater or equal to $n$. Now let ...
5
votes
1answer
251 views

Order of vanishing of an integer polynomial at a point

Let $f(x,y)$ be a polynomial with integer coefficients, and let $\alpha=(\alpha_1,\alpha_2)\in \mathbb{C}^2$ be a complex point. I want to show that $f$ cannot vanish at $\alpha$ to high order unless ...
2
votes
0answers
57 views

Is this similarity to the Fourier transform of the von Mangoldt function real? [duplicate]

This question proposed in SEM but no answer and it's interesting to know connection between Fourier analysis and number theory . Mathematica knows that the logarithm of $n$ is: $$\log(n) = ...
2
votes
2answers
153 views

Pseudo-decision procedures for first order arithmetic

I was reading this paper http://citeseerx.ist.psu.edu/viewdoc/download?doi=10.1.1.117.2911&rep=rep1&type=pdf in which the author describes an algorithm, based on Groebner basis, ...
2
votes
1answer
163 views

Does $\prod_{n=2}^{\infty} \left(\frac {1}{1-\frac{\chi_k(n)}{n^s}} \right)$ converge for non-principal characters for all $\Re(s) > \frac12$?

This question loosely builds on this one. Take the following infinite product: $$N(s,\chi_k)=\prod_{n=2}^{\infty} \left(\frac {1}{1-\dfrac{\chi_k(n)}{n^s}} \right)$$ with $\chi_k$ a Dirichlet ...
3
votes
1answer
1k views

Is $\sqrt {2 \sqrt {3 \sqrt {4 \ldots}}}$ a rational number?

How can we determine whether $\sqrt {2 \sqrt {3 \sqrt {4 \ldots}}}$ is rational or not? Is it transcendental or algebraic?
5
votes
1answer
97 views

Lattice parallelogram of minimal area containing convex lattice polygon

What is the minimal constant $\alpha$ so that for any convex lattice polygon $F$ there exists a lattice parallelogram $P\supseteq F$ of area $A(P)\leq \alpha\cdot A(F)$? It is not hard to show that ...
10
votes
0answers
240 views

Reference request: a combinatoric result [closed]

When I tried to construct a counterexample in my research, I encountered the following result, which should be true. Let $m=m(n)$ be a function that grows faster than $\sqrt n$, so $m(n) = ...
0
votes
0answers
87 views

A sum on a minimums conjecture

Prove or disprove: $$m(n,k,s)=\sum_{a_1=1}^n \sum_{a_2=1}^n \cdots \sum_{a_k=1}^n \min(a_1, a_2,\cdots, a_k)^s =$$ $$ \sum _{i=0}^{k-1} \frac{(-1)^i}{i!} F(n,i+s) \sum _{j=0}^{k-1} \frac{\partial ...
1
vote
0answers
93 views

Twists of Hecke character

Let $\chi$ be a self-dual Hecke character over a CM field $E$ with root number $-1$. Then, how to show the existence of a finite order Hecke character $\eta$ over $E$ such that the twist $\chi\eta$ is ...
4
votes
1answer
153 views

Unicity of additive, $(-1)$-homogeneous, and shift invariant probability measures on $\mathbf N^+$

Let $\mathcal D$ be the set of all (finitely) additive probability measures $\mu^\ast: \mathcal P(\mathbf N^+) \to [0,\infty[$ such that $\mu^\ast(k \cdot X + h) = \frac{1}{k} \mu^\ast(X)$ for all $X ...
1
vote
0answers
52 views

Does there exist $k\ge2$ s.t. $X \subseteq \mathbf N^+$ has positive upper Banach density if the counting function of $X$ is $\gg n/\log^{[k]}(n)$?

Does there exist an integer $k \ge 1$ such that ${\sf bd}^\ast(X) > 0$ whenever $X \subseteq \mathbf N^+$ and $\pi_X(n) \gg \frac{n}{\log^{[k]}(n)}$ as $n \to \infty$? Here, ${\sf bd}^\ast$ is the ...
10
votes
1answer
433 views

Which degree does a motivic Galois representation show up in?

Consider a representation $\rho: \operatorname{Gal} (\overline{\mathbb Q} | \mathbb Q ) \to GL_n ( \overline{\mathbb Q}_\ell)$ that is a subrepresentation of $H^i(X, \overline{\mathbb Q}_\ell (j))$ ...
2
votes
0answers
61 views

Bitwise operation of two square roots

Let $\sqrt 2 = 1.a_1a_2\dots _2$, and $\sqrt 3 = 1.b_1b_2\dots _2$. What can one say about the number $n = 0.c_1c_2\dots$ where $c_i = 1$ if $a_i = b_i$ and $0$ otherwise? There is no reason to ...
3
votes
1answer
160 views

A question about “small” sets of algebraic numbers

For the sake of brevity let me use the following terms. A subset $X$ of $\bar{\mathbb{Q}}$ will be called "small" if for any number field $K$, the intersection $X\cap K$ is finite. Similarly, a set ...
9
votes
1answer
449 views

A weakening of the Littlewood conjecture

For real numbers $x$, let $\|x\|$ denote the distance from $x$ to the nearest integer. Define a function $\ell:\mathbb{R}^2\rightarrow\mathbb{R}$ by ...
4
votes
1answer
286 views

Does the Euler product for $L(s,\chi_4)$ also converge in the right half of the critical strip?

This question expands on this one from MSE. In the literature about Dirichlet $L$-series, I found that their Euler products: $$L(s, \chi) =\prod_p \bigg(\frac {1}{1-\frac{\chi(p)}{p^s}} \bigg)$$ ...
6
votes
1answer
117 views

Monte-Carlo computation of the Smith normal form

Quite some time ago I saw an article where a Monte-Carlo algorithm for computing the Smith normal form of an integer matrix was described. In this article the following problem was posed: Suppose $P, ...
8
votes
2answers
625 views

Is $f(x,y)=\sum_{n\in\mathbb{Z}\backslash\{0\}}\frac{1}{n}e^{2\pi i(xn+yn^2)}$ essentially bounded?

Let $$f(x,y)=\sum_{n\in\mathbb{Z}\backslash\{0\}}\frac{1}{n}e^{2\pi i(xn+yn^2)} $$ Is it true that $\|f\|_{L^{\infty}(\mathbb{R}^2)}<\infty$? i.e. is $f$ essentially bounded?
4
votes
0answers
362 views

Best known bounds on certain exponential sums

What are the best bounds currently known for the following exponential sum: $$\sum_{x < p \le 2x} e(\alpha p^k)$$ for values of $\alpha$ far from a rational with small denominator. ($p$ refers ...
3
votes
2answers
306 views

Geometry, Number Theory and Graph Theory of n-gon, permutation and graph labeling?

Given $n$ and $t$ lengths $ l_i, 1\leq l_1<l_2<\cdots<l_t\leq n-1$, of directed diagonals within an $n$-gon such that $l_1+\cdots+l_t\neq 0 \pmod n)$. Does it exist a directed path within ...
3
votes
0answers
101 views

Swan conductor, representation Weil group

Let $F$ be a non-archimedean local field and $\mathcal W_F$ its Weil group. We consider a linear representation $\sigma$ of $\mathcal W_F$. Could someone explain to me the definition of the Swan ...
38
votes
1answer
874 views

Transitivity on $\mathbb{N}_0$ — a 42 problem

Let $r(m)$ denote the residue class $r+m\mathbb{Z}$, where $0 \leq r < m$. Given disjoint residue classes $r_1(m_1)$ and $r_2(m_2)$, let the class transposition $\tau_{r_1(m_1),r_2(m_2)}$ be the ...
3
votes
1answer
446 views

Is this polynomial irreducible over the rationals?

Prove (or disprove): Define $T_n(x)$ as the Chebyshev polynomial of the first kind with degree $n$ . If $p$ is an odd prime, then $\sqrt{\frac{T_p(x)-1}{x-1}}$ is an irreducible polynomial over the ...
32
votes
2answers
866 views

Can we find two positive integers $n$ and $m$ ($n,m>1$) such that $n^\pi = m$? [duplicate]

I came across this apparent random question in some math questions website. At first, i thought it was easy to show that there are not integer solutions to this equation, but then i realized that the ...
9
votes
1answer
486 views

Do relaxed Liouville functions violate Chowla's conjecture?

Let $\lambda$ be the Liouville function. One version of Chowla's conjecture says that for each set of distinct natural numbers $h_1 , \dots , h_k$, $$\sum_{n\leq x} \lambda(n+h_1) \dots ...
2
votes
1answer
71 views

On finding the region $R$ for which the multi-variable sequence converges [closed]

Find the region $(x,y) \in R$ for which the following sequence converges $$\lim_{n \to \infty} \; \;\left| e^n\frac{(\sqrt{y}-\sqrt{x})^{2n}}{x^n} \right| = 0$$ I am currently doing number theory ...
3
votes
1answer
279 views

Is this differential equation for zeta on the critical line? One can compute it from its derivative and simpler functions

Looks like on the critical line one can compute $\zeta(1/2+it)$ from $\zeta^{'}(1/2+it)$ and simpler functions. Let $$ \begin{aligned} f(t)= & 2\, \left( {\frac { \left( \left| \zeta^{'} ...
5
votes
1answer
236 views

Do small prime (bounded) gaps imply larger (but still bounded) gaps?

The best result concerning bounded gaps between primes, whose existence was first proved by the seminal work of Yitang Zhang two years ago, are to my knowledge all of the form $\liminf_{n \rightarrow ...
2
votes
1answer
372 views

Number of twin primes

Consider number of twin primes less than $x$. We know that this number less than $\frac{Cx}{\log^2 x}$ for some constant $C$. Denote by $p_n$ the $n$-th prime number. Do we have the same result ...
5
votes
1answer
238 views

Fourier expansion of Eisenstein Series

I have been reading a bit about the Fourier expansion of Eisenstein series (weight 1/2). I came across the fact that the coefficients contain Modified Bessel functions. Further reading I found ...
36
votes
0answers
2k views

How to prove this polynomial always has integer values at all integers?

Let $m$ be any positive integer. $$ P_m(x)=\sum_{i=0}^{m}\sum_{j=0}^{m}{x+j\choose j}{x-1\choose j}{j\choose i}{m\choose i}{i\choose m-j}\frac{3}{(2i-1)(2j+1)(2m-2i-1)}. $$ Question: $P_m(x)$ always ...
10
votes
2answers
938 views

A new generalisation of Fermat's little theorem?

I would like to share a personal result, which I interpret as a "generalisation of Fermat's little theorem". I know that there exist already several generalisations (e.g. Euler's) but I would like to ...
3
votes
0answers
129 views

Algebraic integers with conjugates of fixed norm

Let $n$ be a positive integer and let $Q_n^d$ be the set of algebraic integers $\zeta$ which live in a degree $d$ extension of the rationals and such that any Galois-conjugate $\zeta^\sigma$ of ...
2
votes
2answers
570 views

If $\binom{2p}{p}$ is $(-1)^{p-1} \bmod 2p+1$ is then $2p+1$ prime?

Let $p$ be a positive integer; if $2p+1$ is prime then it is easily checked that $$(2p+1)\mid\left(\binom{2p}{p}+(-1)^{p-1}\right);$$ conversely I conjecture that if the above divisibility assumption ...