<node id="670235">
  <nid>670235</nid>
  <type>event</type>
  <uid>
    <user id="36512"><![CDATA[36512]]></user>
  </uid>
  <created>1696593248</created>
  <changed>1697119039</changed>
  <title><![CDATA[Thomas Rothvoss Lectures on Integer Programming]]></title>
  <body><![CDATA[<p>Wednesday October 18, 11am-12pm, Klaus 1116:&nbsp; Introduction to Lattices;&nbsp;&nbsp;<br />
---<br />
In this lecture, we will give a brief introduction to the lattices and discuss the seminal result<br />
of Micciancio and Voulgaris (2010) that gives a 2^O(n) time algorithm for computing a closest vector.<br />
We will also discuss the result by Dadush and Vempala (2012) to enumerate all the lattice points<br />
in a general convex body K in time 2^O(n) times the maximum number of points that any translate may contain.</p>

<p><br />
Thursday October 19, 11am-12pm Klaus 2447: The Reverse Minkowski Theorem</p>

<p>---<br />
We explain the Reverse Minkowski Theorem due to Regev and Stephens-Davidowitz (2017). Formally the<br />
result states that for any lattice Lambda that does not contain a sublattice of determinant less than 1,<br />
the sum of Gaussian weights satisfies rho_1/t(Lambda) &lt;= 3/2 where t = Theta(log n).<br />
In particular this implies that, any such lattice contains at most a quasi-polynomial number of vectors of length at most O(1).<br />
The result is based on advanced concepts from convex geometry.</p>

<p>&nbsp;</p>

<p><br />
Friday October 20, 1pm-2pm, Skiles 005: The Subspace Flatness Conjecture and Faster Integer Programming</p>

<p>---<br />
In a seminal paper, Kannan and Lovász (1988) considered a quantity μ_KL(Λ,K) which denotes the best volume-based<br />
lower bound on the covering radius μ(Λ,K) of a convex body K with respect to a lattice Λ.<br />
Kannan and Lovász proved that μ(Λ,K)≤n⋅μ_KL(Λ,K) and the Subspace Flatness Conjecture by Dadush (2012) claims a O(log(n)) factor suffices,<br />
which would match the lower bound from the work of Kannan and Lovász.<br />
We settle this conjecture up to a constant in the exponent by proving that μ(Λ,K)≤O(log^3(n))⋅μ_KL(Λ,K).<br />
Our proof is based on the Reverse Minkowski Theorem due to Regev and Stephens-Davidowitz (2017).<br />
Following the work of Dadush (2012, 2019), we obtain a (log(n))^O(n)-time randomized algorithm to solve<br />
integer programs in n variables. Another implication of our main result is a near-optimal flatness constant of O(n*log^3(n)).</p>
]]></body>
  <field_summary_sentence>
    <item>
      <value><![CDATA[Special ARC Lecture Series]]></value>
    </item>
  </field_summary_sentence>
  <field_summary>
    <item>
      <value><![CDATA[<p>Part 1 - Introduction to Lattices<br />
Part 2 - The Reverse Minkowski Theorem<br />
Part 3 - The Subspace Flatness Conjecture and Faster Integer Programming</p>
]]></value>
    </item>
  </field_summary>
  <field_time>
    <item>
      <value><![CDATA[2023-10-18T07:49:31-04:00]]></value>
      <value2><![CDATA[2023-10-20T08:49:31-04:00]]></value2>
      <rrule><![CDATA[]]></rrule>
      <timezone><![CDATA[America/New_York]]></timezone>
    </item>
  </field_time>
  <field_fee>
    <item>
      <value><![CDATA[]]></value>
    </item>
  </field_fee>
  <field_extras>
      </field_extras>
  <field_audience>
          <item>
        <value><![CDATA[Faculty/Staff]]></value>
      </item>
          <item>
        <value><![CDATA[Postdoc]]></value>
      </item>
          <item>
        <value><![CDATA[Graduate students]]></value>
      </item>
          <item>
        <value><![CDATA[Undergraduate students]]></value>
      </item>
      </field_audience>
  <field_media>
      </field_media>
  <field_contact>
    <item>
      <value><![CDATA[]]></value>
    </item>
  </field_contact>
  <field_location>
    <item>
      <value><![CDATA[]]></value>
    </item>
  </field_location>
  <field_sidebar>
    <item>
      <value><![CDATA[]]></value>
    </item>
  </field_sidebar>
  <field_phone>
    <item>
      <value><![CDATA[]]></value>
    </item>
  </field_phone>
  <field_url>
    <item>
      <url><![CDATA[]]></url>
      <title><![CDATA[]]></title>
            <attributes><![CDATA[]]></attributes>
    </item>
  </field_url>
  <field_email>
    <item>
      <email><![CDATA[]]></email>
    </item>
  </field_email>
  <field_boilerplate>
    <item>
      <nid><![CDATA[]]></nid>
    </item>
  </field_boilerplate>
  <links_related>
      </links_related>
  <files>
      </files>
  <og_groups>
          <item>70263</item>
      </og_groups>
  <og_groups_both>
          <item><![CDATA[ARC]]></item>
      </og_groups_both>
  <field_categories>
          <item>
        <tid>1795</tid>
        <value><![CDATA[Seminar/Lecture/Colloquium]]></value>
      </item>
      </field_categories>
  <field_keywords>
      </field_keywords>
  <userdata><![CDATA[]]></userdata>
</node>
