Mathematics Problem Archive
O7a — Computing the squarefree part
v1.3 research notesGiven $n$, can one find $r,s\in\mathbb{N}$ with $n=r^2s$ and $s$ squarefree in deterministic polynomial time?...
O7b — Factoring from a squarefree-part oracle
v1.3 research notesIs complete integer factorization randomized polynomial-time reducible to computation of the squarefree part?...
O8 — Deterministic polynomial-time squarefreeness testing
v1.3 research notesCan one decide in deterministic polynomial time whether an integer $n$ is squarefree?...
O9 — Counting distinct prime factors
v1.3 research notesCan $\omega(n)$, the number of distinct prime factors of $n$, be computed in deterministic polynomial time?...
O10 — Factoring from roots modulo a composite
v1.3 research notesLet $C_{10}$ find $x$ satisfying $x^e\equiv a\pmod n$ under $\gcd(e,\varphi(n))=\gcd(a,n)=1$. Is complete integer factorization randomized polynomial-...
O11a — Quadratic residuosity modulo a composite
v1.3 research notesCan one decide in deterministic polynomial time whether a coprime integer $a$ is a square modulo a composite $n$?...
O11b — Factoring from composite quadratic residuosity
v1.3 research notesIs complete integer factorization randomized polynomial-time reducible to deciding quadratic residuosity modulo a composite?...
O12 — Finding a quadratic nonresidue
v1.3 research notesGiven a prime $p$, can a quadratic nonresidue modulo $p$ be found in deterministic polynomial time?...
O13 — Realizing a prescribed quadratic signature
v1.3 research notesGiven a sign vector $\varepsilon\in\{-1,1\}^k$, can the least prime $p$ satisfying $(p_i/p)=\varepsilon_i$ for every $i\le k$ be found in deterministi...
O14 — Square roots modulo a prime
v1.3 research notesGiven a prime $p$ and a quadratic residue $a$, can a square root $x^2\equiv a\pmod p$ be found in deterministic polynomial time?...
O15 — Polynomial roots modulo a prime
v1.3 research notesGiven a prime $p$ and $f\in(\mathbb{Z}/p\mathbb{Z})[x]$ known to have a root, can a root be found in deterministic polynomial time?...
O16 — Factoring polynomials modulo a prime
v1.3 research notesGiven a prime $p$ and $f\in(\mathbb{Z}/p\mathbb{Z})[x]$, can the complete irreducible factorization of $f$ be found in deterministic polynomial time?...
O17 — Constructing irreducible polynomials over finite fields
v1.3 research notesGiven a prime $p$ and degree $d$, can an irreducible polynomial of degree $d$ over $\mathbb{F}_p$ be constructed in deterministic polynomial time?...
O18a — Recognizing primitive roots deterministically
v1.3 research notesGiven a prime $p$ and $b$, can one decide in deterministic polynomial time whether $b$ generates $(\mathbb{Z}/p\mathbb{Z})^*$?...
O18b — Recognizing primitive roots randomly
v1.3 research notesIs recognition of primitive roots modulo a prime in randomized polynomial time $R$?...
O19 — Finding a primitive root modulo a prime
v1.3 research notesGiven a prime $p$, can a generator of $(\mathbb{Z}/p\mathbb{Z})^*$ be found in deterministic polynomial time?...
O20 — Computing multiplicative orders modulo a prime
v1.3 research notesGiven a prime $p$ and $a$ coprime to $p$, can $\operatorname{ord}_p(a)$ be computed in deterministic polynomial time?...
O21 — Discrete logarithms modulo a prime
v1.3 research notesGiven a prime $p$ and elements $g,b$ with $b$ in the subgroup generated by $g$, can an exponent $x$ satisfying $g^x\equiv b\pmod p$ be found in determ...
O22a — Discrete logarithms modulo a composite
v1.3 research notesGiven $g,b,n$ such that $g^x\equiv b\pmod n$ has a solution, can such an exponent $x$ be found in deterministic polynomial time?...
O22b — Factoring from composite discrete logarithms
v1.3 research notesIs complete integer factorization deterministically polynomial-time reducible to discrete logarithms modulo composites?...
O23 — Factoring from Euler's totient
v1.3 research notesIs complete integer factorization deterministically polynomial-time reducible to computing $\varphi(n)$?...
O24 — Finding a point on an elliptic curve
v1.3 research notesGiven $a,b$ and a prime $p$ with nonsingular curve $y^2=x^3+ax+b$, can a point on the curve modulo $p$ be found in deterministic polynomial time?...
O25 — Solving binary quadratic congruences
v1.3 research notesGiven $k,m,n$ with odd $n$ and $\gcd(km,n)=1$, can integers $x,y$ satisfying $x^2-ky^2\equiv m\pmod n$ be found in deterministic polynomial time?...
O27 — Elliptic curves of prescribed order
v1.3 research notesGiven a prime $p$ and $n$, can one construct in deterministic polynomial time an elliptic curve over $\mathbb{F}_p$ having exactly $n$ points whenever...
O28 — Discrete logarithms in elliptic-curve groups
v1.3 research notesGiven an elliptic curve over $\mathbb{F}_p$ and points $P,Q$ such that $P=nQ$ for some $n$, can such an $n$ be found in deterministic polynomial time?...
O29 — NP-hardness of exact shortest vector
v1.3 research notesFor a full-rank integer lattice, is finding a nonzero vector of minimum Euclidean norm NP-hard?...
O30 — Polynomial-factor lattice approximation
v1.3 research notesDoes there exist a constant $c$ for which one can find in deterministic polynomial time a nonzero lattice vector of length at most $n^c$ times the min...
O31 — Order of a polynomial's Galois group
v1.3 research notesGiven $f\in\mathbb{Q}[x]$, can the degree of its splitting field, equivalently the order of its Galois group, be computed in deterministic polynomial ...
O32 — Class numbers of imaginary quadratic orders
v1.3 research notesGiven $d\in\mathbb{N}$, can the class number $h(-d)$ of binary quadratic forms of discriminant $-d$ be computed in deterministic polynomial time?...
O33a — NP-hardness of binary quadratic Diophantine solvability
v1.3 research notesUnder the promise that $b^2-4ac$ is not a square, is deciding whether $ax^2+bxy+cy^2+dx+ey+f=0$ has an integral solution NP-hard?...
O33b — Randomized NP-hardness of binary quadratic Diophantine solvability
v1.3 research notesIs the same binary quadratic Diophantine solvability problem NP-hard under randomized reductions?...
O34 — Solvability of the negative Pell equation
v1.3 research notesCan one decide in deterministic polynomial time whether $x^2-dy^2=-1$ has an integral solution?...
O35 — Greatest common divisors in NC
v1.3 research notesCan $\gcd(a,b)$ be computed in the parallel complexity class $NC$?...
O36 — Integer multiplication in linear bit complexity
v1.3 research notesCan two positive integers $a,b$ be multiplied using $O(\log(ab))$ bit operations?...
Exceptional parameters without D(n)-quadruples
v1.3 research notesFor each $n\in\{-3,3,5,8,12,20\}$, prove that no set of four distinct positive integers has property $D(n)$, meaning that every pairwise product plus ...
Finiteness of D(n)-quadruples for nonsquare n
v1.3 research notesFor every nonzero integer $n$ that is not a square, are there only finitely many $D(n)$-quadruples?...
Extremal parameters for D(n)-quintuples
v1.3 research notesDetermine the least positive integer $n_1$ and the greatest negative integer $n_2$ for which a $D(n_i)$-quintuple exists....
Existence of a strong rational Diophantine quadruple
v1.3 research notesDoes there exist a set of four nonzero rational numbers $\{a_1,a_2,a_3,a_4\}$ such that $a_i a_j+1$ is a rational square for every $1\le i,j\le4$, inc...
Problem 1.1
v1.3 research notesLet $f\in\mathbb{Z}[X,Y]$ be a polynomial such that the equation $f(x,y)=0$ has only finitely many solutions $(x,y)\in \mathbb{Z}\times\mathbb{Z}$. Gi...
Conjecture 1.4 — Shorey
v1.3 research notesThere exists a positive number $C$ which depends only on $L$ and $H$ with the following property. Let $m$, $x$ and $y$ be rational integers with $m\ge...
Conjecture 1.5
v1.3 research notesLet $k\ge 2$ be an integer and $\alpha_1,\ldots,\alpha_n$ be non-zero elements in a field $K$ of zero characteristic, such that no quotient $\alpha_i/...
Conjecture 1.7
v1.3 research notesIf there is no prime in the interval $[n+1,n+k]$, then the product $(n+1)\cdots(n+k)$ has at least $k$ distinct prime divisors....
Conjecture 1.8 — Langevin
v1.3 research notesGiven an increasing sequence $n_1<n_2<\cdots<n_k$ of positive integers such that $n_1,n_2,\ldots,n_k$ are multiplicatively dependent, there exists a p...
Conjecture 1.9
v1.3 research notesFix a positive integer $m$ for which the equation $$ m^2 + m_1^2 + m_2^2 = 3 mm_1m_2 $$ has a solution in positive integers $(m_1,m_2)$ with $0<m_1\le...
Conjecture 2.3 — Erdős–Dressler
v1.3 research notesIf $a$ and $b$ are two positive integers with $a<b$ and $R(a)=R(b)$ then there is a prime $p$ with $a< p< b$....
Conjecture 2.4 — Philippon
v1.3 research notesThere exist real numbers $\varepsilon$, $\alpha$ and $\beta$ with $0<\varepsilon<1/2$, $\alpha\ge 1$ and $\beta\ge 0$, and a positive integer $B$, suc...
Conjecture 2.5 — Lang-Waldschmidt
v1.3 research notesFor any $\varepsilon>0$, there exists a constant $C(\varepsilon)>0$ such that, for any nonzero rational integers $a_1,\ldots,a_m$, $b_1,\ldots,b_m$ wi...
Conjecture 2.12
v1.3 research notesLet $\theta$ be real algebraic number of degree at least $3$. Then inequality (2.11) has infinitely many solutions in integers $p$ and $q$ with $q>0$ ...
Conjecture 2.14 — Mahler
v1.3 research notesThere exists an absolute constant $c>0$ such that $$ \Vert \log a\Vert>a^{-c} $$ for all integers $a\ge 2$....
Conjecture 3.2 — Roy
v1.3 research notesLet $k$ be a positive integer, $y_1,\ldots,y_k$ complex numbers which are linearly independent over $\mathbb{Q}$, $\alpha_1,\ldots,\alpha_k$ nonzero c...