Mathematics Problem Archive
interacting particle systems and KPZ
v1.3 research notesIn 1999, J. All these early examples were ``integrable'' in the sense that certain powerful algebraic tools, e.g., determinantal particle systems, the...
numerical computation with random data
v1.3 research notesStandard algorithms to compute the eigenvalues of a random matrix $H$ are completely integrable Hamiltonian systems (see ). The question raised in was...
initial boundary value problems for integrable systems (IBVP)
v1.3 research notesInitial boundary value problems for integrable systems in $1+1$ dimensions are of great interest. It turns out, however, that in Fokas' approach the g...
numerical solution of integrable systems
v1.3 research notesSolutions of the Cauchy problem for linear dispersive equations can be expressed in terms of Fourier integral operators. This is a very challenging pr...
O8 — Deterministic polynomial-time squarefreeness testing
v1.3 research notesCan one decide in deterministic polynomial time whether an integer $n$ is squarefree?...
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-...
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?...
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?...
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?...
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?...
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 rational Diophantine septuple
v1.3 research notesDoes there exist a rational Diophantine septuple, that is, seven nonzero rational numbers whose pairwise products plus $1$ are rational squares?...
Parameters admitting infinitely many rational D(q)-quintuples
v1.3 research notesFor which rational numbers $q$ do there exist infinitely many rational $D(q)$-quintuples?...
Conjecture 1.3 — Pillai
v1.3 research notesLet $k$ be a positive integer. The equation $$ x^p-y^q=k, $$ where the unknowns $x$, $y$, $p$ and $q$ take integer values, all $\ge 2$, has only finit...
Conjecture 2.2 — Erdős-Woods
v1.3 research notesThere exists a positive integer $k$ such that, for $m$ and $n$ positive integers, the conditions $$ R(m+i)=R(n+i)\quad (i=0,\ldots,k-1) $$ imply $m=n$...
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.15 — Mahler
v1.3 research notesLet $(\varepsilon_n)_{n\ge 0}$ be a sequence of elements in $\{0,1\}$. Assume that the real number $$ \sum_{n\ge 0}\varepsilon_n 3^{-n} $$ is irration...
Conjecture 3.15 — Goncharov
v1.3 research notesAs a $\mathbb{Q}$-algebra, $\mathfrak{Z}$ is the direct sum of $\mathfrak{Z}_p$ for $p\ge 0$....
Conjecture 3.16 — Zagier
v1.3 research notesFor $p\ge 3$ we have $$ d_p=d_{p-2}+d_{p-3} $$ with $d_0=1$, $d_1=0$, $d_2=1$....
Conjecture 3.19 — Rohrlich
v1.3 research notes$\overline{G}$ is a universal odd distribution with values in groups where multiplication by $2$ is invertible....
Conjecture 3.20 — Nesterenko
v1.3 research notesLet $\tau\in\mathbb{C}$ have positive imaginary part. Assume that $\tau$ is not quadratic. Set $q=e^{2i\pi\tau}$. Then at least $4$ of the $5$ numbers...
Conjecture 4.5 — Amoroso-David
v1.3 research notesFor each integer $n\ge 1$ there exists a positive constant $c(n)$ such that, for any algebraic subvariety $V$ of $\mathbb{G}_m^n$ which is defined ove...
Conjecture 4.7 — David-Hindry
v1.3 research notesThere exists a positive constant $c$, depending only on $A$ and $\mathcal{L}$, such that for any $P\in A(\overline{\mathbb{Q}})$ which has infinite or...
Conjecture 4.11 — Wirsing and Schmidt
v1.3 research notesFor any positive integer $n$ and any real number $\theta$ which is either transcendental or else is algebraic of degree $>n$, there exists a positive ...
Question 4.17 — Mazur
v1.3 research notesAssume that $K=\mathbb{Q}$ and that $V(\mathbb{Q})$ is Zariski dense; is $Z$ a union of connected components of $V(\mathbb{R})$?...
Conjecture 4.19
v1.3 research notesLet $A$ be a simple Abelian variety of dimension $g$ over a number field $K$ embedded in $\mathbb{R}$. Denote by $\ell$ the rank over $\mathbb{Z}$ of ...
Question 5.2 — Bugeaud
v1.3 research notesLet $n \ge 2$. Denote by $\mathrm{ZH}_n$ the set of real numbers $\xi$ with the following property: there exists $c_1(\xi) >0$ and $c_2(\xi)>0$ such t...
Conjecture 5.4 — Loxton and van der Poorten
v1.3 research notesLet $(n_i)_{i\ge 0}$ be an increasing sequence of positive integers. Assume there is a prime number $p$ such that the power series $$ \sum_{i\ge 0}z^{...
Fast evaluation of high-degree elliptic-curve isogenies
v1.3 research notesGiven an elliptic curve $E/\mathbb{F}_q$ and $P\in E(\mathbb{F}_q)$, characterize maps or isogenies $\psi:E\to E'$ for which $\psi(P)$ can be evaluate...
Cryptographically useful bilinear structures
v1.3 research notesFind bilinear structures that are useful for cryptographic constructions....
Efficient class-group realizations of large cyclic groups
v1.3 research notesFind orders $\mathcal{O}$ whose Picard groups contain $\mathbb{Z}/\ell$, admit compact element representations, and allow group composition in $O(\log...
Explicit class-group realization of finite-field discrete logarithms
v1.3 research notesMake the proposed realization of existing finite-field discrete-logarithm systems inside class groups explicit for practical systems....
Security consequences of Weil descent for the class-group realization
v1.3 research notesDetermine whether Weil descent compromises the security of the proposed class-group realization of finite-field discrete-logarithm systems....
Globalizing prescribed local Brauer classes
v1.3 research notesExplicitly construct global algebras or Brauer classes with prescribed local data, especially when the local splitting fields are dihedral....
Cup-product pairings in zeta computation
v1.3 research notesDetermine whether natural de Rham cup-product pairings can be used to improve zeta-function computations....
Removing restrictions from hyperelliptic zeta algorithms
v1.3 research notesRemove the imaginary-hyperelliptic and $p\ne2$ restrictions from the complexity bound stated in the slides....
Improved Frobenius lifts for nondegenerate curves
v1.3 research notesTest and analyze whether deleting extra points and fixing the lift $x\mapsto x^p$ improves Frobenius lifts for nondegenerate curves....
Higher-dimensional nondegenerate Frobenius algorithms
v1.3 research notesDevelop the higher-dimensional analogue of the nondegenerate-curve Frobenius-lift method....
Useful deformations for nondegenerate curves
v1.3 research notesFind useful deformations of nondegenerate curves together with easy starting matrices for Frobenius computation....
Nondegenerate surfaces in toric threefolds
v1.3 research notesWork out effective zeta-function computations for nondegenerate surfaces in toric threefolds....
Factoring structured semiprimes from fewer known bits
v1.3 research notesFactor $N=p^rq^s$ with $r\approx s$ using fewer known bits of the factors than existing methods require....
Factoring from nonconsecutive known bits
v1.3 research notesDevelop methods to factor an integer when the known bits of its factors are nonconsecutive....
Fast construction of five-term geometric progressions for NFS
v1.3 research notesFor large $N$, efficiently find the required short five-term geometric progressions modulo $N$ that avoid first- and second-order recurrence, thereby ...
Distribution of elliptic-curve group structures
v1.3 research notesStudy the distribution of group structures $E(\mathbb{F}_q)$ as elliptic curves $E/\mathbb{F}_q$ vary; in particular, determine the correct nonuniform...
Typical exponent of an elliptic-curve group
v1.3 research notesIs the exponent $e_q(E)$ of $E(\mathbb{F}_q)$ typically close to $q$?...