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

learn more… | top users | synonyms (1)

0
votes
0answers
35 views

The exponential Diophantine equation $a^n-b^m=x^3+y^3$ for arbitrary large $n,m$

Let $a,b$ be coprime integers, neither a perfect power, $n,m$ naturals and $x,y$ integers. Consider the exponential Diophantine equation $$ a^n-b^m=x^3+y^3 \qquad (*) $$ Nontrivial solution ...
3
votes
1answer
115 views

4-th order diophantine equation

I met in many places the equation $(a^4-b^4)(c^4-d^4)=\square$ It is well known that this was investigated by Euler. But I was unable to find the general solution of this equation. Could you please ...
-1
votes
0answers
41 views

General Solution of Quadratic Diophantine Equation System

I am looking for the general solution of: $x^2-y^2=\square$ $x^2-z^2=\square$ $y^2-z^2=\square$ I have found a solution in tpiezas site. But not really sure if this is the general solution.
0
votes
0answers
23 views

Is it possible to have an even superperfect number and an odd superperfect number whose product is an almost perfect number?

A number $n \in \mathbb{N}$ is said to be superperfect if $$\sigma(\sigma(n)) = 2n.$$ A number $m \in \mathbb{N}$ is said to be almost perfect if $$\sigma(m) = 2m - 1.$$ Here is my question: Is ...
1
vote
1answer
79 views

Formula for negative polylogarithms

Theorem. We have that $\displaystyle \underbrace{x\left(\dfrac{d}{dx}\left(\cdots x \left(\dfrac{d}{dx} \left( \dfrac{x}{1-x}\right)\right)\cdots\right)\right)}_{\text{$x \frac{d}{dx}$ $m$ ...
2
votes
1answer
144 views

Find a subset such that its sum is divisible by $n$

It is said that the following proposition is true. $\forall S \subset \mathbb{Z}, |S| = 2n-1.\ \exists A \subset S, |A| = n$ which satisfies $$ n \ | \ \sum_{a \in A}a. $$ Could someone gives a ...
2
votes
1answer
126 views

Is there a bijection $f: N \times N \rightarrow U \subset N$ with $f(x,y)+f(u,v)=f(x+u,y+v)$ and $f(x,y) \cdot f(u,v)=f(x \cdot u, y \cdot v)$?

Is there a subset of natural numbers that has the same additive and multiplicative structure as the set of ordered pairs of natural numbers under the classical operations of addition and ...
0
votes
0answers
98 views

More generalized RSA construction

Is there a way to construct RSA type cryptosystem over general number rings? Can Number Field Sieve technique be applied here?
2
votes
0answers
94 views

Modified Jacobi’s theta function

Be $t\in\mathbb{R}_0^+$. Jacobi’s theta function is $$\Theta(t):=\sum\limits_{k=-\infty}^{+\infty} e^{-\pi k^2 t}$$ with $$\Theta(\frac{1}{t})=\sqrt{t}\Theta(t)$$ Therefore $$\sum\limits_{k=1}^\infty ...
8
votes
1answer
168 views

Arbitrarily many primes in a Fibonacci-type sequence

It is conjectured that the standard Fibonacci sequence contains infinitely many primes. While this is perhaps too difficult, I am wondering about the following simpler version: Question. For any $K$, ...
1
vote
2answers
250 views

Is it true that $\Phi_n(2)$ has a divisor of the form $kn+1$ for all $n\neq 6$?

Let $\Phi_n(x)$ be the $n$ th cyclotomic polynomial. I've checked the values of $\Phi_n(2)$ for some small $n\geq 2$ and noticed that there is always a divisor of $\Phi_n(2)$ of the form $kn+1$ ...
2
votes
1answer
141 views

Self-containing trees

Suppose that $r^2-r-1=0$ and that $T$ is the tree with root $1$ such that the children of each node $x$ are $rx$ and $x+1$. Remove all duplicates as they occur, and let $T(r)$ denote the remaining ...
6
votes
2answers
575 views

Generalizing Ramanujan's “1729 story”

Whenever I read the anecdote about Hardy, Ramanujan and the taxi number 1729 I'm amazed that it could have occurred to anyone just off the top of their head that 1729 can be written as the sum of two ...
1
vote
0answers
57 views

For which primes $p$ is the field $\mathbb{Q}(\Gamma(1/p^{j}))$ a strict subfield of $\mathbb{Q}(\Gamma(1/p^{i}))$ whenever $0<i<j$?

I already asked this question on a French math forum but eventually came to think that as silly it may turn out to be, perhaps something interesting could finally emerge from it, so I decided to take ...
14
votes
0answers
321 views
+50

Checking Mertens and the like in less than linear time or less than $\sqrt{x}$ space

Say you want to check that $|\sum_{n\leq x} \mu(n)|\leq \sqrt{x}$ for all $x\leq X$. (I am actually interested in checking that $\sum_{n\leq x} \mu(n)/n|\leq c/\sqrt{x}$, where $c$ is a constant, and ...
0
votes
2answers
136 views

Function that gives 1 only when an integer is divisible by another integer [closed]

I need a function that takes two inputs, a and b, and returns 1 only when a is divisible by b and 0 otherwise. Can this be written in a nice mathematical way (other than using indicator functions)?
0
votes
0answers
110 views

A number theory question [duplicate]

Let $m,n$ be integers and $P$ be a prime and $\lambda$ be an integer such that $0 < \lambda <\sqrt p$, Can the following equation have any answer for any $m,n,p,\lambda$ except $\lambda=+-1$? ...
0
votes
0answers
87 views

A number theory question related to algebraic graph theory? [closed]

Let $m,n$ be integers and $P$ be a prime and $\lambda$ be such that $0 < \lambda <\sqrt p$, Can the following equation have any answer for any $m,n,p,\lambda$? ...
0
votes
0answers
187 views

On the coherence of formal power series ring

Let $A = {\Bbb F}_p[[X_1,X_2,...]]$ be the ring of formal power series with infinitely many variables over the finite field ${\Bbb F}_p.$ $A$ consists of such formal sum elements as $\sum ...
4
votes
1answer
233 views

Does anyone recognize this exponential sum?

For $a$, $b$ two integers, let $(a,b)$ denotes their gcd. We define the following exponential sum : $$G_q(n):=\sum_{d|q,~(d,q/d)=1}{e^{2i\pi n\frac{dd'}{q}}}$$ for $n$ a non-negative integer and $q$ ...
2
votes
1answer
65 views

On cluster points of a particular sequence

This is the sequel of a previous question. Let us consider the sequence $$ \xi_n = 2n \{n\xi\}-n, $$ where $\xi>0$ is a given real irrational number and $\{\cdot\}$ is the fractional part. Do ...
2
votes
1answer
181 views

Number of rational points in a non-smooth variety

Let $X$ be an algebraic variety over $\mathbb{F}_q$ with dimensional $n$. We know that if $X$ is smooth than $X$ has about $q^{nk}$ rational points over $\mathbb{F}_{q^k}$ (Weil hypothesis). Is there ...
0
votes
0answers
68 views

How to show this bound? [closed]

Let $f$ be a primitive of an even weight $k\geq 2$ for the full modular group and denote $\lambda_f(n)$ its $n$-th normalized Fourier coefficient. Can someone provide me with explicit constants for ...
-2
votes
2answers
159 views

Precise asymptotic of diophantine approximation

I know that every irrational number $\xi$ can be approximated by rational numbers in such a way that $$ \left| \xi - \frac{p}{q} \right| \leq \frac{c}{q^2} $$ for infinitely many choices of $p$ and ...
3
votes
1answer
404 views

origin of analogy “primes as the atoms of number theory/ arithmetic”

a math student recently challenged me on the old comparison/ analogy of prime numbers to "the atoms of number theory or arithmetic" and then was wondering the origin of the phrase. where does this ...
4
votes
1answer
104 views

Nearly Be Bruijn sequences constructed from De Bruijn sequences

Let $w$ be a De Bruijn $01$-sequence of the type $B(2,n)$; i.e., a cyclic $01$-sequence that contains every $n$-digit $01$-sequence exactly once. Let $x$ be a $01$-sequence of length $n$. When and ...
1
vote
1answer
107 views

is there any more odd near-perfect number?

we know the first odd near-perfect number is $3^4*7^2*11^2*19^2$(of course the number must be square).and from one paper ,which is studying the odd perfect number and giving some estimate on it, we ...
0
votes
1answer
99 views

Algorithm to check if a number is the sum of another number and its reverse [closed]

So im looking for an algorithm that checks (in about 10 sec) if a natural number M (1≤M≤10^100000 -yes, the range is that big) can occur by the sum of another natural number N and its reverse Nr. For ...
0
votes
0answers
109 views

A reflection on the Fermat equation

$xy(x+y)^n=1$ with $n\in\mathbb{N}$ without any solution for $x,y\in\mathbb{Q}^+$ is equivalent to (and therefore a trivial generalization of) the Fermat Theorem $a^{n+2}+b^{n+2}=c^{n+2}$ without any ...
4
votes
2answers
258 views

The best possible density in Hilbert's Irreducibility Theorem

Let $f(X,t_1,\dots,t_s)$ be an irreducible polynomial with coefficients in $\mathcal{O}_K$, the ring of integers of a number field $K$. By work of S. D. Cohen ...
1
vote
1answer
139 views

Powers of two with coefficients {1,−1}

Given a vector $(n_0, n_1, \dots, n_l)$ where $n_i \in \{-1, 1\}$, $i = \overline{0, l-1}, n_l = 1$ and $l \in \mathbb{N}$. Prove that for all $a$ such that $$0 < a \leq 2^0\cdot n_0 + 2^1 \cdot ...
3
votes
0answers
182 views

An explicit formula for $\zeta(2m+1)$ with good convergence

The question: Is the following formula known? $$\zeta(2m+1)=\frac{(-1)^m 2^{4m+2}\pi^{2m}}{2^{2m}-1} \sum\limits_{k=1}^m \frac{(2^{2k}-1)b_{2k}}{2^{2k}(2k)!} \sum\limits_{v=k}^m ...
3
votes
0answers
342 views

Finding the number of rational points effectively

Consider $\# P$ and $\oplus P$. There is a $\# P$-hard problem: to find number of rational solutions of a system of polynomial equations over $\mathbb{F}_2$. The corresponding $\oplus P$-hard ...
8
votes
0answers
154 views

Computing endomorphism rings of supersingular elliptic curves

I would like to know what algorithms there are to compute the linearly independent generators $(1,i,j,k)$ for quaternion algebra containing the endomorphism ring of a supersingular curve. The curve in ...
7
votes
1answer
191 views

If two Hecke characters cut out the same field, are they Galois conjugates?

First question on MathOverflow, I hope it is appropriate for this site. There are two related questions. Let $K$ be a number field, $G_K = Gal(\overline{K}/K)$, $p$ a prime, and ...
5
votes
2answers
155 views

Mahler measure of a totally positive, expanding algebraic integer

Consider a degree-$d$ algebraic integer $\alpha$ all of whose conjugates (including itself) are real numbers greater than 1. Its Mahler measure $M(\alpha)$ is simply equal to the norm $N(\alpha)$. ...
2
votes
0answers
72 views

How to estimate $\prod_{t=1}^{N}\frac{1}{2-z^t}$ for large $N$?

Based on the top answer to How to estimate of $\prod_{k=a}^N \frac{1}{e^{k\kappa}-1}$ for large $N$? Can anyone find an approximate closed form for $$ ...
1
vote
0answers
76 views

Are there only finitely many fixed degree nontrivial polynomial parametrizations of the surface $x^4+y^4=z^4+t^4$?

Consider the surface over the rationals $$ x^4+y^4=z^4+t^4 \qquad (1)$$ Consider parametrizations of form: $$ f_1(u)^4+f_2(u)^4=f_3(u)^4+f_4(u)^4 \qquad(2) $$ where $f_i$ are polynomials with integer ...
15
votes
1answer
372 views

What do Hecke eigensheaves actually look like?

Let $\mathbb F_q$ be a finite field, $C$ a curve over $\mathbb F_q$ of genus $g\geq 2$, $\rho: \pi_1(C) \to GL_2(\overline{\mathbb Q}_\ell)$ an irreducible local system. The geometric Langlands ...
1
vote
0answers
121 views

how to solve this symmetrical equation in number theory

i just have no idea about this equation, i would thank you to you to give me some suggestions on this. $$m_{1}m_{2}m_{3}+2^{\alpha-s-t}m_{1}+2^{\alpha-\gamma-t}m_{2}+2^{\alpha-\gamma ...
4
votes
0answers
196 views

Equations for Elliptic Curves

An elliptic curve $C$ over a field $k$ is a smooth, genus 1 curve defined over $k$ with an associated $k$-rational point. If char$(k) \ne 2$, we can show that $C$ has a model of the form $y^2 = f(x)$ ...
0
votes
0answers
29 views

Interrelated sets or numbers [migrated]

Consider the ordered collection of digits base $10$ of length $m, A=a_1a_2a_3...a_m$. Let us look at some forms of inter-relation in these numbers. Here is an example of interrelation. Let vicinity of ...
0
votes
0answers
72 views

A cyclic subgroup as a decomposition group

Let $G$ a finite group appeared as galois group of an extension of $\mathbb{Q}$. Is it true that any cyclic subgroup $C \subset G$ can be realized as a decomposition group of an ideal $\mathfrak{P}$ ...
2
votes
0answers
81 views

what is the structure of the group of isogenies between two ordinary elliptic curve?

Let $E_1$ and $E_2$ be two ordinary elliptic curves. It is well known that the group $Home(E_1,E_2)$ is a $\mathbb{Z}$ module of rank at most four. In the case where $E_1=E_2$, this module has rank ...
2
votes
0answers
140 views

Comparison of algebraic and analytic q-expansion

I would like to check that algebraic and analytic q-expansion of a modular form coincide. I'm thinking about modular forms as global sections of some sheaf on modular curves. If $X$ is a modular ...
9
votes
1answer
223 views

About positive upper density

For $S\subset \mathbb{N}$ define the upper density as $D^{\ast }(S)=\limsup_{n\rightarrow \infty }\frac{\left\vert S\cap \{1,2,\ldots,n\} \right\vert }{% \left\vert n\right\vert }.$ Question: ...
0
votes
0answers
76 views

applications of ergodic theory to periodicity of regular continued-fractions

The usual application one sees of ergodic theory to the regular continued-fractions is the Gauss-Kuzmin Theorem on the frequency of positive integers in the continued fraction expansion for almost all ...
4
votes
0answers
114 views

Tamagawa numbers of elliptic curves and quadratic base change

Let $E/Q$ be an elliptic curve of conductor $N$, $F$ an imaginary quadratic number field of discriminant $d$ with $d$ coprime to $N$, and $E^d/Q$ the quadratic twist of $E$ by $d$. Let $p$ be prime ...
4
votes
1answer
125 views

Congruence Primes and Modular Degrees

Let $\mathcal{S}=S_2(\Gamma_0(N) \cap \mathbf{Z} [[ q ]]$ be the set of cusp forms of weight $2$ on $\Gamma_0(N)$ with integral coefficients. Let $f \in \mathcal{S}$ be a normalized newform, so it ...
7
votes
0answers
132 views

Sets of natural numbers which are almost closed under addition

I am interested in a classification of sets $A \subseteq \mathbb{N}$ such that for all $k \in A$, $d( A+k \cap \mathbb{N} \setminus A) = 0$ where $d$ is the asymptotic density and $A+k = \{n \in ...