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
vote
0answers
30 views

Relations between modular functions of certain $q$-continued fractions

Given the j-function $j:=j(\tau)$, and $q=e^{2\pi i\tau} = \exp(2\pi i\tau)$ where, for convenience, we set $\tau=\sqrt{-n}$. I. $\frac{A_2(q)}{A_1(q)} = \text{q-cfrac}$ $$\begin{aligned} A_1(q) ...
-4
votes
0answers
60 views

Is Zsigmondy's Theorem utilized in Sociology to the extent that a lay person might be familiar with its use? [on hold]

Is Zsigmondy's theorem somehow useful in sociological studies? Has it in some way been co-opted as a sociological term with a corresponding sociological theory, no matter how far off base from the ...
2
votes
1answer
94 views

Proving inequation with ceilings in Finite Field of characteristic $p$

Take $ui = pt_i +j_i$ where $p$ is a prime number and $u(p-r) \equiv 1 $ $(\mbox{mod p})$ for positive integers $1 \le i, r, j_i\le p-1$ and $t_i \ge 0$. How can I prove that: \begin{equation} ...
2
votes
0answers
80 views

Are these two $q$-continued fractions equivalent?

In this MSE post, Nicco Mnisi defined a particular $q$-continued fraction of order $12$. More generally, define the cfrac found in Ramanujan's Notebooks, Vol III, Chap. 16, page 24, $$U(q) = ...
2
votes
0answers
162 views

Does knowing $g, g^r, g^{r^2}, g^{r^3}, \dotsc$ sometimes offer a significant advantage in finding $r$?

Is there a cyclic group $\mathcal G$ with generator $g$ for which the discrete log problem is assumed to be hard, but knowing $g, g^r, g^{r^2}, g^{r^3}, \dotsc$ for random $r$ makes finding $r$ easy? ...
0
votes
0answers
59 views

Bound of Chebyshev function and zeros of zeta function

It is an elementary argument (such as in Multiplicative Number Theory, section 18) that, if the Chebyshev's function $f(x) = \sum_{n \le x} \Lambda(x) = x + O(x^\alpha)$ for some $\alpha < 1$, then ...
-4
votes
0answers
115 views

Must a proof of the asymptotic Goldbach conjecture be effective to imply GRH?

It was shown by Hardy and Littlewood that GRH (i.e. the Generalized Riemann Hypothesis for Dirichlet L-functions) implies that every large enough odd number is the sum of three primes. Later on (circa ...
6
votes
1answer
267 views

Uniformly small sums of roots of unity

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 ...
5
votes
0answers
106 views

Radical of a polynomial values

It has been observed by Langevin and Elkies that the following holds: Assume that the $ABC$- conjecture is true. Suppose that $f(x)\in\mathbb{Z}[x]$ has no repeated roots. Fix $\varepsilon >0.$ ...
-1
votes
0answers
21 views

Freedom of speech in scientific discussions - An invitation to more tolerance in Scientific debates [migrated]

I hope this post enjoys some tolerance, and don't get closed or put on hold immediately. I believe that freedom of speech in scientific discussions is one of the key values which enriches the debates ...
2
votes
1answer
155 views

Existence of Hecke operators with distinct eigenvalues?

Consider the space of modular forms $M_k(N)$. Any modular form $f \in M_k(N)$ is determined by a finite number of Fourier coefficients (e.g., Sturm's bound), thus there is a finite set of Hecke ...
3
votes
0answers
118 views

Goldbach's problem in algebraic number fields [duplicate]

Are there any results on the representation of numbers in algebraic number fields as the sum of primes in the ring of integers in that field? There are some results for Waring's problem in other ...
6
votes
0answers
183 views

Easiest way to see that $\zeta_{\mathbb{Z}[i]}(s) = \zeta(s) L(s, \chi)$?

As the question suggests, what is the easiest way to see that$$\zeta_{\mathbb{Z}[i]}(s) = \zeta(s)L(s, \chi)?$$Here, $\chi$ is the homomorphism $(\mathbb{Z}/4\mathbb{Z})^\times \to \mathbb{C}^\times$ ...
7
votes
2answers
303 views
+50

Upper bound for number of prime numbers in a range

Theorem 3.2 in http://arxiv.org/pdf/1405.2593.pdf shows that for any $x$ there are $\gg x\exp(-\sqrt{\log x})$ integers $x_0 \in [x; 2x]$ such that $\pi(x_0 + \log x) - \pi(x_0) \gg \log\log x$. Is ...
4
votes
1answer
71 views

Analogue of Dirichlet $L$-function for $\mathbb{F}_q[T]$, does $L_c(s, \chi)$ necessarily equal $1$?

Consider an analogue of Dirichlet $L$-function for $\mathbb{F}_q[T]$. Let $g \in \mathbb{F}_q[T]$, $g \neq 0$, let $\chi: (\mathbb{F}_q[T]/(g))^\times \to \mathbb{C}^\times$ be a homomorphism, let $c ...
2
votes
0answers
87 views

Twisting by a multiplicative Character in Katz, Perversity and Exponential sums

Let $C(x_1,\ldots,x_n)$ be a nonsigular cubic form with integral coefficients. In his Proof that $C$ fulfills the Hasse-Principle, if $n\geq 9$, Hooley used the following estimate that was provided ...
6
votes
0answers
87 views

$F[[T]] \times F[[1/T]]$ fundamental domain, show compactness

Let $p$ be a prime number. What is the easiest way to see that $(\mathbb{F}_p((T)) \times \mathbb{F}_p((1/T)))/\mathbb{F}_p[T, 1/T]$ is compact? Here $\mathbb{F}_p[T, 1/T]$ is embedded in ...
-2
votes
0answers
173 views

Question about Fermat's Last Theorem [on hold]

Is there a way to prove that having $x \gt 0, z \gt 0, n \gt 2$ with $x, z, n \in \mathbb{Z}$, $$ \sum_{k = 0}^{n - 1}{\binom{n}{k} x ^k} = z ^ n $$ have no solution without using Fermat's Last ...
2
votes
1answer
185 views
+50

Volume of arithmetic quotients of symmetric spaces

Now let $\textbf{G}$ be some connected semisimple linear algebraic group over a number field $F$. Let $G_{\infty}$ be $\textbf{G}(\mathbb{R}\otimes_{\mathbb{Q}} F)$. Let $K_{\infty}$ be a maximal ...
18
votes
2answers
834 views

History of Geometric Analogies in Number Theory

My question, put simply, is: When did mathematicians/number theorists begin viewing questions in number theory through a geometric lens? For example, was it before Grothendieck introduced schemes to ...
2
votes
2answers
194 views

binomial/factorial identity mod p

In trying to determine the spectrum of a well-known ergodic transformation, I came up with the following useful (for me) result. Let $p$ be a prime and $a$ a positive integer. Then for $M$ a positive ...
4
votes
2answers
489 views

Number of prime numbers in a range

Denote by $A_n$ the number of prime numbers between $n$ and $n + \log n$. Is it true that $A_n < const$? UPD: Is it true that $A_n > \log \log n$ (or something another) for infinite number ...
3
votes
1answer
111 views

gamma-factor of a primitive element of the Selberg class

Suppose $F$ is a primitive element of the Selberg class and $\displaystyle{\prod_{j=1}^{r}\Gamma(\lambda_{j}s+\mu_{j})}$ with $r>1$ the product of Gamma functions appearing in the gamma factor ...
3
votes
1answer
155 views

When are the powers of 2 sum-free mod n?

I've encountered the following question in my research: Let $A$ be a subset of $\mathbb{Z}/n\mathbb{Z}$. Let me call $A$ "sum-free" if there is no solution to $x+y=z$ for $x,y,z \in A$ with distinct ...
1
vote
0answers
80 views

Bound on $g(n+1)/g(n)$ for Landau's function

I have read that for the Landau function $g(n)$ (http://mathworld.wolfram.com/LandausFunction.html), one knows that $\lim_{n \rightarrow \infty} g(n+1)/g(n) = 1$ (stated, but not proved in "On ...
2
votes
2answers
169 views

Simultaneous lcms

Suppose that we have some finite number of $k$-tuples then we define the lcm of two of these tuples to be the tuple of lcms of the co-ordinates. E.g. $[(9, 10), (5, 18)] = ([9, 5], [10, 18]) = (45, ...
0
votes
1answer
134 views

A conjecture on the prime counting function

I was thinking about the Second Hardy-Littlewood conjecture for quite sometime (some of my posts are related to this). In one of my earlier post I conjectured that the inequality ($\pi(x)$ denotes the ...
2
votes
1answer
124 views

isogeny clases of CM abelian varieties

Let $A$ be an abelian variety defined over $\overline{\mathbb{Q}}$ and with complex multiplication by a CM field $K$. Looking at the action of $K$ on $H^0(A, \Omega^1_A)$ one gets a CM type of $K$, ...
1
vote
1answer
79 views

Differences of consecutive ordered fractional parts

Let $r$ and $h$ be a real numbers and $n>0$. Write the fractional parts $\{k*r+h\}$, for $k = 1,2, . . . n$, in increasing order as $$ a_1 < a_2 < \cdots < a_n.$$ Let $D_n$ be the set of ...
0
votes
0answers
45 views

Automorphism group of the gamma factor of a certain type of L-function [closed]

Let $F$ be an element of the Selberg class with polynomial Euler product, $\gamma_F$ its gamma factor appearing in the functional equation of $F$, which is defined up to a multiplicative factor. Is ...
5
votes
2answers
165 views

PSL(2,p) as quotient of triangle groups

As a by-product of some Magma computations, I've observed that, for each prime $p$ such that ${\rm PSL}(2,\mathbb{F}_p)$ can be a quotient of the $(3,3,4)$-triangle group (i.e. $p \equiv \pm 1 ...
15
votes
0answers
278 views

Need explicit formula for certain “$q$-numbers” involving gcd's

The question is motivated by yet another possible approach to a combinatorial problem formulated previously in "Special" meanders. I'm not giving details of the connection as I believe the ...
7
votes
2answers
262 views

When is a sequence the sum of two Beatty sequences?

In other words, given a sequence $(s_n)$, how can we tell if there exist irrationals $u>1$ and $v>1$ such that $$s_n = \lfloor un\rfloor + \lfloor vn\rfloor$$ for every positive integer $n$? ...
9
votes
0answers
399 views

One-to-one correspondance between zeta zeros and the prime powers? [closed]

This question is highly speculative, but I would really appreciate some insight into the problem. Previously asked on MSE without answer here. I have noticed an interesting property related to the ...
3
votes
0answers
326 views

Fermat's Last Theorem in $\mathbb{Z}/n\mathbb{Z}$

Let $\mathbb{N}$ denote the set of positive integers. We define a relation $R\subseteq \mathbb{N}^3$ by $$ R = \{(x,y,z) \in \mathbb{N}^3: \exists n\in \mathbb{N}: 1< n \leq \max\{x,y,z\} \land ...
2
votes
2answers
152 views

Transitivity of discriminant for flat algebras

Sorry if the question doesn't feed this site, I'm reposting it from MSE. Nobody answered it there and I couldn't find the proof in general case(whenever it was mentioned the proof was referred to as a ...
3
votes
0answers
60 views

Searching information on a certain function with a fixed point property connecting Moebius $\mu$ and Fibonacci numbers

Let $\mu$ be the Moebius function and define for $1\leq n\in\mathbb{N}$ $$ f(n) = \left\{ \begin{array}{ll} \mu\left(\frac{n}{2}\right) + \mu\left(\frac{n}{4}\right), & n\equiv 0, 4, 8\mod 12, \\ ...
2
votes
0answers
169 views

Can estimate upper bound of $|p_{i}|$ or $|q_{i}|?$

when I Find the diophantine-equation rational points $$2y^2=x^6-x^2+2$$ I using Faltings's theorem showed that there are only finitely many solutions,if we assmue that ...
3
votes
1answer
144 views

higher dimensional analogue of EGZ theorem

The EGZ theorem states that any multiset of $2n-1$ integers has a subset of size $n$ the sum of whose elements is a multiple of $n$. Kemnitz-Reiher theorem is a 2-dimensional analogue of EGZ. Here is ...
0
votes
1answer
273 views

On a claim of Zagier on extending a map to cocycle

Zagier, in his paper 'Some Surprising Consequences of the Cohomology of SL$_2(\bf{ Z})$' (link, p. 6), studies the action of $\Gamma=PSL_2(\bf Z)$ on a vector space $V$, denoting the action by $v\ |\ ...
-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
177 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 ...
-1
votes
0answers
96 views

field of constants of a curve [closed]

I'm trying to gain some intuition about the field of constants of a curve. If $C$ is over a field $k$, then it is defined as the set of elements of $k(C)$ algebraic over $k$. If I understood ...
5
votes
1answer
271 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
2answers
271 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
710 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
101 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
863 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
91 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 ...