School of Technology and Computer Science - in person @ R.No. AG-66 and also via Zoom
https://brahma.tcs.tifr.res.in/venue/person-rno-ag-66-and-also-zoom
enHardness and Independence of Polynomials
https://brahma.tcs.tifr.res.in/events/hardness-and-independence-polynomials-0
<div class="field field-name-field-event-type field-type-taxonomy-term-reference field-label-hidden view-mode-rss clearfix">
<ul class="field-items">
<li class="field-item even">
<a href="/event/phd-thesis-seminar" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">PhD Thesis Seminar</a> </li>
</ul>
</div>
<!--
THIS FILE IS NOT USED AND IS HERE AS A STARTING POINT FOR CUSTOMIZATION ONLY.
See http://api.drupal.org/api/function/theme_field/7 for details.
After copying this file to your theme's folder and customizing it, remove this
HTML comment.
-->
<div class="field field-name-field-members field-type-entityreference field-label-inline clearfix view-mode-rss clearfix">
<div class="field-label">Speaker: </div>
<div class="field-items">
<div class="field-item even"><a href="/people/prerona-chatterjee">Prerona Chatterjee</a>, TIFR</div>
</div>
</div>
<section class="field field-name-field-time field-type-datetime field-label-inline clearfix view-mode-rss"><h2 class="field-label">Time: </h2><div class="field-items"><div class="field-item even"><span class="date-display-single">Thursday, 17 March 2022, <span class="date-display-range"><span class="date-display-start" property="dc:date" datatype="xsd:dateTime" content="2022-03-17T14:30:00+05:30">14:30</span> to <span class="date-display-end" property="dc:date" datatype="xsd:dateTime" content="2022-03-17T15:30:00+05:30">15:30</span></span></span></div></div></section><section class="field field-name-field-venue field-type-taxonomy-term-reference field-label-inline clearfix view-mode-rss clearfix">
<h2 class="field-label">Venue: </h2>
<ul class="field-items">
<li class="field-item even">
<a href="/venue/person-rno-ag-66-and-also-zoom" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">in person @ R.No. AG-66 and also via Zoom</a> </li>
</ul>
</section>
<section class="field field-name-field-organisers field-type-entityreference field-label-inline clearfix view-mode-rss"><h2 class="field-label">Organisers: </h2><div class="field-items"><div class="field-item even"><a href="/people/ramprasad-saptharishi">Ramprasad Saptharishi</a></div></div></section><div class="field field-name-body field-type-text-with-summary field-label-hidden view-mode-rss"><div class="field-items"><div class="field-item even" property="content:encoded"><p>Algebraic Complexity Theory is a field in which one studies complexity theoretic questions surrounding algebraic objects. In this talk we will be broadly discussing two such problems.</p>
<p>The first problem is showing lower bounds for explicit polynomials against various algebraic computational models. The most natural and well studied models of computation are algebraic circuits, algebraic branching programs (ABPs) and algebraic formulas. With respect to proving lower bounds against these models, we show the following results.<br />
1. Any algebraic branching program computing \sum_{i=1}^n x_i^n must have at least n^2 vertices. The previous best known lower bound was \Omega(n log n) on the number of edges for the same polynomial [Baur-Strassen].<br />
2. Any formula computing the elementary symmetric polynomial of degree 0.1n must have at least n^2 vertices. The previous best lower bound for any multilinear polynomial was \Omega(n^2/log n) [Nechiporuk, Kalorkoti]. It can also be shown that previous known methods can not prove a bound better than \Omega(n^2/log n) for any explicit multilinear polynomial.<br />
This is joint work with Mrinal Kumar, Adrian She and Ben Lee Volk.</p>
<p>Along with proving lower bounds against these models, studying their relative powers is also an important problem in algebraic circuit complexity. It is known that formulas can be efficiently simulated by ABPs and checking whether the converse of this statement holds is a central question in the field. We make progress towards solving this problem in the non-commutative setting, where we show a tight super-polynomial separation between ABPs and some structured formulas.</p>
<p>The second problem that we are interested in relates the questions of checking whether a given algebraic compuational model is computing the zero polynomial or not and checking whether a given set of polynomials is algebraically independent or not. The connection between these questions is via the notion of Faithful Homomorphisms. Although construction of faithful homomorphisms were known when the underlying field had characteristic zero [Beecken-Mittman-Saxena, Agrawal-Saha-Saptharishi-Saxena], they were not known in the setting where the underlying field had finite characteristic since efficient algorithms to check algebraic indepndence were not known in this setting. Following up on the work of Pandey, Saxena andÂ Sinhababu, we construct faithful homomorphisms over fields of finite characetristics in some restricted settings and as a consequence show efficient polynomial identity tests for related models of computation. This is joint work with Ramprasad Saptharishi.</p>
</div></div></div><section class="field field-name-field-diplay-profile field-type-list-boolean field-label-above view-mode-rss"><h2 class="field-label">Faculty Candidate: </h2><div class="field-items"><div class="field-item even"></div></div></section>Mon, 14 Mar 2022 05:12:19 +0000Supriya Pottipati4627 at https://brahma.tcs.tifr.res.in