<?xml version="1.0" encoding="iso-8859-1"?>
<?xml-stylesheet href="paper.xsl" type="text/xsl"?>

<paper xmlns="http://www.cse.ucsd.edu/daniele/XML">

  <filename>SIVP-CVP</filename>

  <title>Efficient reductions among lattice problems</title>


  <author>Daniele Micciancio</author>

  <reference>
    <conference>ACM-SIAM Symposium on Discrete Algorithms</conference> 
    <conf href="http://www.siam.org/meetings/da08/">SODA 2008</conf>,
    <address>San Francisco, CA, USA</address>
    <year>2008</year>
    <month>1</month>
    <note>To appear</note>
  </reference>

  <abstract>
    <p xmlns="http://www.w3.org/1999/xhtml">
      We give various deterministic polynomial time reductions among
      approximation problems on point lattices. Our reductions are
      both efficient and robust, in the sense that they preserve the
      rank of the lattice and approximation factor achieved.  Our main
      result shows that for any <em>g >= 1</em>, approximating
      <em>all</em> the <em>successive minima</em> of a lattice (and,
      in particular, approximately solving the <em>Shortest
      Independent Vectors Problem</em>, SIVP<sub>g</sub>) within a
      factor <em>g</em> reduces under deterministic polynomial time
      rank-preserving reductions to approximating the <em>Closest
      Vector Problem</em> (CVP) within the same factor <em>g</em>.
      This solves an open problem posed by Blomer in <cite>(ICALP
      2000)</cite>.  As an application, we obtain faster algorithms
      for the exact solution of SIVP that run in time <em>n!
      s<sup>O(1)</sup></em> (where <em>n</em> is the rank of the
      lattice, and <em>s</em> the size of the input,) improving on the
      best previously known solution of <cite>Blomer (ICALP
      2000)</cite> by a factor <em>3<sup>n</sup></em>.  We also show
      that SIVP, CVP and many other lattice problems are equivalent in
      their exact version under deterministic polynomial time
      rank-preserving reductions.
    </p>
  </abstract>
</paper>
