On the probability of generating a lattice

We study the problem of determining the probability that m vectors selected uniformly at random from the intersection of the full-rank lattice Λ   in RnRn and the window [0,B)n[0,B)n generate Λ when B is chosen to be appropriately large. This problem plays an important role in the analysis of the success probability of quantum algorithms for solving the Discrete Logarithm Problem in infrastructures obtained from number fields and also for computing fundamental units of number fields.We provide the first complete and rigorous proof that 2n+12n+1 vectors suffice to generate Λ with constant probability (provided that B is chosen to be sufficiently large in terms of n and the covering radius of Λ   and the last n+1n+1 vectors are sampled from a slightly larger window). Based on extensive computer simulations, we conjecture that only n+1n+1 vectors sampled from one window suffice to generate Λ with constant success probability. If this conjecture is true, then a significantly better success probability of the above quantum algorithms can be guaranteed.