Questions tagged [computational-number-theory]
Computational Number Theory is for explicit calculations or algorithms involving anything of interest to number theorists.
477 questions
7
votes
1
answer
353
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 =...
- 131
2
votes
0
answers
147
views
Any proved connection between Roth theorem and hartmanis stearns conjecture?
Roth theorem classifies numbers into two classes, one is rational and transcendental, another is irrational algebraic numbers, by the number of solutions to the inequality (finite or infinite), and ...
- 3,104
4
votes
2
answers
517
views
Average involving the Euler phi function
Does
$$\frac{1}{N^2}\sum _{d=1}^N \log d \sum _{n=1}^{N/d} \frac{\phi(n)}{\log (dn)},$$
converges or not when $N$ goes to infinity?
- 43
2
votes
1
answer
295
views
Efficiently lifting $a^2+b^2 \equiv c^2 \pmod{n}$ to coprime integers
Let $n$ be integer with unknown factorization. Assume factoring $n$
is inefficient.
Let $a,b,c$ satisfy $a^2+b^2 \equiv c^2 \bmod{n}, 0 \le a,b,c \le n-1$.
Is it possibly to lift the above
...
- 25.4k
3
votes
0
answers
131
views
Improving prime number generation probability?
Deterministic generation of primes in polynomial time is unknown.
Is there a way to probablistically in $O(n^c)$ time bound for some $c>0$ generate polynomially $\Omega(n^c)$ many integers in $[0,...
- 13.9k
5
votes
4
answers
866
views
Reconstructing a fraction from its first digits
It is not difficult to see that any reduced fraction $\frac{p}{q}$
where $0 < p < q $ and both $p$ and $q$ have at most $N$
digits (where $N$ is a fixed integer) can be reconstructed
from its ...
- 3,595
3
votes
0
answers
98
views
Deterministic procedure to find irreducible polynomials
In $\Bbb F_q[x_1,\dots,x_n]$ given $d_1,\dots,d_n\in\Bbb N$ is there a deterministic $O(poly(nd\log q))$ algorithm to find an irreducible polynomial with $d=\max_{i\in\{1,\dots,n\}}d_i$ and $d_i=deg(...
- 13.9k
3
votes
1
answer
77
views
Level sums, displacements: how to determine them efficiently?
Let $R =\mathbb{Z}/N \mathbb{Z}$. Let $f:R\to \mathbb{R}$,
$\rho:R\to \lbrack 0,1\rbrack$. We assume that it takes trivial time to compute any given value $f(m)$ or $\rho(m)$.
Define $$S(\delta,m) = ...
- 20.2k
5
votes
0
answers
742
views
Primitive element for a number field, and ramification
Let $K=\mathbb Q(\theta)$ be a number field with integral primitive element $\theta$, and let $f(x)$ be the minimal polynomial of $\theta$. Let $p$ be a rational prime. It's well known that if $p$ ...
- 1,021
1
vote
0
answers
133
views
Finding Generators of an Ideal Over Number Field? [closed]
Is there any way or algorithm to find generators of an ideal over number field? (A algorithm that can be implemented and not expensive)
- 149
3
votes
0
answers
164
views
Explicit roots in algebraic extention of Q with roots
Denis Bouhineau in "Solving Geometrical Constraint System Using CLP Based on Linear Constraint Solver" gave a method to find explicit square root in algebraic extention of Q with square roots. For ...
1
vote
1
answer
587
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}$$
...
user76479
5
votes
1
answer
305
views
The limit of the following product? What is the closed form of the value?
Assume that $P_n$ is the $n$'th prime: Please help me solve the following $$\lim_{k\to\infty} {k}\prod_{n=1}^k \frac{P_{2n-1}}{P_{2n}}$$
I am not really sure quite where to start here as I am ...
user82419
4
votes
0
answers
122
views
Finding short linear combinations in abelian groups
Let $M$ be a finitely generated abelian group. Assume we are given a presentation of $M$, that is
\begin{equation*}
M = \frac{\bigoplus_{i=1}^r \mathbf{Z}g_i}{\sum_{j=1}^s \mathbf{Z} r_j}
\end{...
- 20.8k
2
votes
0
answers
362
views
Rational integer solutions of a linear Diophantine equation of cyclotomic integers
I am working with lattices in $\mathbb{C}$, and I want to know whether a certain vector is an element of the lattice.
In particular, suppose my lattice vectors are $a$ and $b$ and I want to know ...
- 86
1
vote
2
answers
751
views
Computational complexity of solution of Pell equation and more
What is computational complexity for computing integral solution of Pell equation .It seems to be in P ,and could any one give an algorithm and reference for proof of it's complexity?
And more,could ...
- 3,104
2
votes
0
answers
120
views
Conjectures that can be tested with large numbers of Hecke eigenvalues of GSp(4) automorphic forms
As part of my thesis work I have proved Ibukiyama's conjecture implies something about $\mathrm{SO}(5)$ forms associated to certain lattices lifting to $\mathrm{GSp}(4)$ (This was originally a ...
3
votes
1
answer
457
views
On Pell's equation
A post was made (Reduction from factoring to solving Pell equation) seeking clarification to solving $$x^2-Dy^2=1$$ to factoring when $D>0$. An answer was posted stating that to factor $N$, it ...
- 13.9k
1
vote
1
answer
183
views
On $a^{2t}+b^{2t}=1\bmod n$
For every $\epsilon\in(0,1)$ is there an $n_0\in\Bbb N$ such that at every $n\in\Bbb N_{>n_{0}}$ we can have coprime solutions $a,b$ (over $\Bbb Z$) such that $n^{\frac1{2t}+\epsilon}<a,b<2n^{...
user94040
3
votes
1
answer
712
views
Residues and values of Riemann Zeta function at some points
I need the following computational results for proving something.
Let $1/2 + i\gamma_0$, be the first nontrivial zero of Riemann zeta function, $\zeta(s)$,
i.e. $\gamma_0\sim 14.134...$.
1) what is ...
- 897
4
votes
1
answer
459
views
On the mixed sum of three k-th powers
Let the set $S_k=\{\pm x^k \pm y^k \pm z^k \ \vert \ x,y,z \in \mathbb{Z} \}$.
Note that the signs are independently positive or negative.
First of all $S_2 = \mathbb{Z}$ because (see the answers ...
2
votes
3
answers
476
views
How to define the input of computable function or Turing machine over real numbers
Computation or computability over $\mathbb{N}$ can be extended to computation or computability over $\mathbb{R}$ or even computation or computability over $\mathbb{C}$.The following is a formal ...
- 3,104
1
vote
0
answers
94
views
How to encode a set of whole numbers $\{a_1,a_2,...,a_n\}$ such that given a number $x$ we can test if $x \in \{a_1,a_2,...,a_n\}$ [closed]
Suppose we have a set of whole numbers $\{a_1,a_2,...,a_n\}$. Is there a way to encode them into a new number $e$ such that we can use $e$ to test if a given number $x \in \{a_1,a_2,...,a_n\}$? So ...
- 111
5
votes
2
answers
852
views
12 descent scripts for pari/gp
I'm looking around for scripts to facilitate 12 descent on Mordell curves, preferably in Pari/gp.
I understand that Magma implements this feature, but unfortunately this software isn't available to ...
- 791
1
vote
0
answers
168
views
$\mathsf{LLL}$ and linear diophantine equations
On page $8$ in these slides (http://www.math.unicaen.fr/~nitaj/LatticeMalaysia2014-2.pdf) it is told that if we want to solve $$x_1a_1+\dots+x_na_n=N$$ where $|x_i|<\frac{2^{n/4}N^\frac1{n+1}}{\...
- 13.9k
8
votes
0
answers
239
views
Computing the Moebius function $\mu$
Is it known whether computing $\mu(n)$ for a given integer $n$ is as hard as factorization?
- 20.2k
0
votes
1
answer
665
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 ...
user76479
4
votes
1
answer
14k
views
What is the longest known sequence of consecutive zeros in Pi? [closed]
Inspired by this question, I would like to know what is the longest known sequence of consecutive zeros in Pi (in base 10).
So far the longest I have found is the sequence of 8 zero's occurring in ...
- 995
7
votes
0
answers
628
views
Proving Richardson's theorem for constants
(I asked this a little over 3 months ago on math.SE, and when I initially re-asked here, no one had responded there. $\:$ After I re-asked here, Eric Towers responded there, since I had forgotten to ...
user5810
8
votes
3
answers
1k
views
Effective detection of CM modular forms
Say $f$ is a newform of weight $k$ and level $\Gamma_1(N)$. $f$ is called CM if, for example, there is an imaginary quadratic field $K$ such that for all $p\nmid N$ which are inert in $K$, the $p$th ...
- 4,807
11
votes
1
answer
565
views
When adding a constant makes a multivariate polynomial reducible?
Given a multivariate polynomial $f(x_1,\dots,x_n)$ with integer coefficients, how to find an integer $m$ (if it exists) such that $f(x_1,\dots,x_n) + m$ factors into polynomials of smaller degrees?
...
- 34.4k
9
votes
3
answers
2k
views
Most efficient checking algorithm for Pell's Equation
What is the most computationally efficient way to check, given $x,y,D$ that they satisfy Pell's equation (positive or negative) ($x^2-Dy^2=1$)? (Obviously the question is concerned with very large ...
- 497
0
votes
0
answers
74
views
Transformation or correspondence between language and real number
As we know, formal language can be regarded as a set of strings of alphabet, and real number can be regarded as sequence generated by set of integers, for example, denominators of the simple continued ...
- 3,104
7
votes
2
answers
1k
views
Recovering n from sigma(n)/n
For any positive integer $n$, we define
$$\sigma(n) := \sum_{d \mid n} d,$$
and
$$\delta(n) := \frac{\sigma(n)}{n} = \sum_{d \mid n} \frac{1}{d}.$$
Is there an (efficient) way to determine $\delta^{-1}...
- 6,614
0
votes
2
answers
3k
views
Fibonacci Numbers Modulo m [closed]
In the paper "Fibonacci Series Modulo m" by D.D. Wall (found here), there is a table in the Appendix listing values for the function $k(p)$. This function is defined as the period of the Fibonacci ...
- 133
5
votes
0
answers
126
views
Anyone got two Galois reps to compare?
I've got a new criterion for comparing Galois reps which are four dimensional if we know the kernel of the residual representation mod $5$ (or any large odd prime) and the Sato-Tate groups (should be ...
- 2,429
0
votes
0
answers
152
views
Computer algebra programs for dummies [duplicate]
In the way of my investigations I have encounter the following computational problem: I have a system of 5 algebraic equations and I want to eliminate 4 of them. I also need to do a functional ...
- 1,561
6
votes
2
answers
994
views
Minkowski successive minima inequality for a lattice base?
Let $\Lambda$ be a lattice of $\mathbb{R}^n$, and $\lambda_i$ be the radius of the smallest ball containing $i$ linearly independent lattice vectors.
The Minkowski successive minima inequality says ...
- 403
3
votes
2
answers
2k
views
Integer partition and sum of squares
Hello,
The question below might be well known, and using different words (I made these up, I'm not a number theorist or specialist in combinatorics)
For all integers $n\geq 2$ denote by $\mathcal{P}...
- 2,829
3
votes
1
answer
383
views
Equivalence between Diffie Hellman and Discrete Log
For which non-trivial groups, do we know that the Diffie Hellman problem and the Discrete Log are equivalent?
Is there any group for which we suspect them to be different?
Could there be a finite ...
user76479
1
vote
1
answer
325
views
Error term for prime harmonic
What is known about the asymptotic behavior of
$$
f(x)=\sum_{p\le x}\frac1p-\log\log x-B_1?
$$
Of course by Mertens we know that $f(x)=o(1),$ but has more been proved (in terms of $O$ or $\Omega_\pm$,...
- 9,114
0
votes
0
answers
125
views
Simultaneous Diophantine approximation in the non-generic case
Suppose we have $n$ irrational numbers $\{ x_1, x_2, \ldots, x_n \}$. For a generic set of such numbers, we have the well-known theorem that there exist infinitely many integers $q$ such that
$$ \...
- 265
0
votes
2
answers
754
views
On reducible polynomials with positive coefficients, $1$ as constant coefficient and certain bounds on coefficients
Given $a \in \mathbb{Z}$ with $a > 1$. Let $g(x) \in \mathbb{Z}[x]$ be a polynomial with $g(a)=\pm 1$. Let $h(x) \in \mathbb{Z}[x]$ be a polynomial with $h(a)= p$, a prime. Let $g(x)$ and $h(x)$ ...
2
votes
1
answer
356
views
Computing all "suboptimal" rational approximations to $\pi/2$
I have an irrational number $\alpha$ ($\alpha=\frac\pi2$), and I would like to determine all integers $n\in[1,N]$ ($N=10^{16}$) that satisfy
$$ n \epsilon(n)^2 \leq \tau $$
where $\tau$ is a known ...
- 416
14
votes
2
answers
1k
views
Subfields of a function field
Is there an algorithm for generating (some or all) subfields of a certain genus of a given function field (even a random one,I mean for example generating a random elliptic subfield of a certain given ...
- 601
6
votes
2
answers
2k
views
Computing the fixed field of an automorphism of a function field
Let say we have a function field $k(x,y)$ defined by $f(x,y)$ over $k$, with $\sigma \in Aut(k(x,y)/k)$ and. Suppose, I'm not that out of luck, so that either of $\prod \sigma^i(x)$ or $\sum \sigma^i(...
- 601
1
vote
0
answers
26
views
Uncertainty in semiprime factors
What is maximum $p\in(0,\frac12)$ such that if we know $2p\in(0,1)$ fraction of bits of $PQ$ with $P,Q$ primes it is possible to identify $p$ fraction of bits in each of $P,Q$ with certainty in ...
- 13.9k
-1
votes
1
answer
1k
views
Transition Graph per alphabet? [closed]
How do you determine how many different Transition Graphs are over a particular alphabet? For example How many TG's are over the alphabet {x, y}. I am taking a class with a similar question from ...
- 101
1
vote
0
answers
101
views
Two queries on irreducible factors without factoring - comparing integers and dense polynomials
Assume the polynomials here are dense.
In here it was asked the difficulty of counting prime factors of an integer.
We know for the cases of primitive polynomials in $\Bbb Z[x]$ and any polynomial ...
user94040
12
votes
1
answer
1k
views
How many LLL reduced bases are there?
For a given $n$-dimensional lattice embedded inside $\mathbb R^n$ along with a given inner product, how many distinct LLL-reduced bases are there?
In this question, a lattice is the set of all $\...
- 351