School of Technology and Computer Science - A-269 (TAP Seminar Room)
https://brahma.tcs.tifr.res.in/venue/269-tap-seminar-room
enEvasiveness and the Music of Primes
https://brahma.tcs.tifr.res.in/events/evasiveness-and-music-primes
<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/seminar" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">Seminar</a> </li>
</ul>
</div>
<section class="field field-name-field-other field-type-text-long field-label-inline clearfix view-mode-rss"><h2 class="field-label">Speaker: </h2><div class="field-items"><div class="field-item even">Raghav Kulkarni
University of Chicago
1100 E 58th Street
Chicago, IL 60637
United States of America
http:</div></div></section><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" property="dc:date" datatype="xsd:dateTime" content="2009-09-17T00:00:00+05:30">Thursday, 17 September 2009 (All day)</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/269-tap-seminar-room" typeof="skos:Concept" property="rdfs:label skos:prefLabel" datatype="">A-269 (TAP Seminar Room)</a> </li>
</ul>
</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>A boolean function f on N variables is called evasive if its decision tree complexity is N, i.e., one must query *all* the variables (in worst case) in order to decide if f(X) = 1. A graph property of n-vertex graphs is a boolean function on N = n \\choose 2 variables which is invariant under the relabeling of vertices. A graph property is called monotone if it is closed under deletion of edges, e.g., planarity, 3-colorability etc. The following conjecture due Aanderaa-Rosenberg-Karp is a longstanding (35+ years) open question: every non-trivial monotone graph property must be evasive. An important special case is the class of properties given by a forbidden subgraph, i.e., all n vertex graphs which do not contain a fixed subgraph H.</p>
<p>We confirm the evasiveness of several monotone graph properties under widely accepted number theoretic hypotheses (e.g. Generalized Riemann Hypothesis, Chowla's Conjecture on smallest Dirichlet primes etc). In particular, we show:</p>
<p>(a) forbidden subgraph is evasive for all large enough n</p>
<p>(b) any montone property of sparse graphs (
</p><p>Even our weaker unconditional results rely on some deep and interesting properties of the integers such as Vinogradov's theorem on Goldbach conjecture asserting that every odd integer can be expressed as the sum of three primes. Our main technical contribution here is in connecting the topological framework of Kahn, Saks and Sturtevant 84,(further developed by Chakrabarti, Khot and Shi 02), to analytic number theory via better analysis (e.g. using Weil's character sum estimates) of the orbital structure of permutation groups and their connection to the distribution of prime numbers (this is a joint work with Laci Babai, Anandam Banerjee and Vipul Naik).</p>
</div></div></div>Wed, 19 Oct 2011 14:12:21 +0000admin2441 at https://brahma.tcs.tifr.res.in