Some Questions — Question 7
v1.3 research notesSuppose $G$ and $H$ are Cayley, or vertex-transitive, expanders on the same number of vertices and can be matched with asymptotically vanishing edge d...
Some Questions — Question 8
v1.3 research notesIf $G$ is a finite vertex-transitive expander, must every almost automorphism of $G$ be close to an automorphism?...
Some Questions — Question 12
v1.3 research notesFor a locally convergent sequence $(G_n)$ of bounded-degree integer-labeled graphs, does the normalized rank modulo $p$ of the adjacency matrix conver...
Some Questions — Question 15
v1.3 research notesLet $(G_n)$ be a locally convergent graph sequence and let $\mu_n$ be the probability distribution of the roots of the chromatic polynomial of $G_n$. ...
Some Questions — Question 17
v1.3 research notesLet $G$ be a $d$-regular Cayley graph with spectral measure $\mu$. Is $\mu$ a weak limit of spectral measures of finite $d$-regular graphs?...
Some Questions — Question 21
v1.3 research notesLet $\Gamma$ have property (T), and let $(G_n)$ be a sofic approximation of a Cayley graph of $\Gamma$. Can $(G_n)$ be changed by an asymptotically va...
Some Questions — Question 25
v1.3 research notesCan free spanning forests be used to prove basic properties of the first $L^2$ Betti number, such as multiplicativity upon passage to a finite-index s...
Some Questions — Question 31
v1.3 research notesDoes every infinite Cayley graph $G$ admit a $G$-invariant proper coloring with $\chi(G)$ colors?...
Some Questions — Question 32
v1.3 research notesLet $X$ be the space of $k$-regular Cayley graphs with the local-convergence topology and let $T\subset X$ be the closed subset of transient graphs. I...
Some Questions — Question 38
v1.3 research notesLet $G$ be a bounded-degree expander, or strongly ergodic, graphing that weakly contains a finite graph $H$. Does $G$ factor onto $H$?...
Some Questions — Question 39
v1.3 research notesDoes every higher-rank semisimple real lattice have rank gradient zero?...
Some Questions — Question 42
v1.3 research notesDoes every residually finite property-(T) group have rank gradient zero?...
Euclidean Minimum Spanning Tree
v1.3 research notesCan the Euclidean minimum spanning tree (MST) of $n$ points in $\mathbb{R}^d$ be computed in time close to the lower bound of $\Omega(n \log n)$?...
Yao-Yao Graph a Spanner?
v1.3 research notesIs the Yao-Yao Graph a $t$-spanner for constant $t$? A geometric graph is a $t$-spanner (or just a spanner) if, for every pair of nodes, the shortest ...
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....
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 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...
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$?...
Frequency of cyclic elliptic-curve groups
v1.3 research notesHow often is the group of a random elliptic curve over $\mathbb{F}_q$ cyclic?...