imported>Aka: Bild ergänzt, Kleinkram

2026-03-10T20:26:28Z

Bild ergänzt, Kleinkram

Neue Seite

[[Datei:Aleksandr Aleksandrovich Razborov Oberwolfach 2024.jpg|mini|Alexander Alexandrowitsch Rasborow]]
'''Alexander Alexandrowitsch Rasborow''' ({{ruS|Александр Александрович Разборов}}, englische Transliteration ''Alexander Razborov''; * [[6. Februar]] [[1963]] in [[Belowo]]) ist ein [[Russland|russischer]] Informatiker und Mathematiker.

Rasborow studierte 1980 bis 1985 an der [[Lomonossow-Universität]] (Fakultät für Mathematik und Mechanik) und nach dem Diplom von 1985 bis 1987 bei [[Sergei Iwanowitsch Adjan|Sergei Adjan]] am [[Steklow-Institut]], bei dem er 1987 promovierte (''Über Systeme von Gleichungen in freien Gruppen'').<ref>{{MathGenealogyProject|id=108275}}</ref> Danach war er Forscher am Steklow-Institut, ab 1991 als Leiter einer Arbeitsgruppe (Leading Researcher) und ab 2008 mit dem Titel ''Principal Researcher''. 1991 erhielt er den russischen Doktorgrad (''Untere Grenzen in der Booleschen Komplexität''). Seit 2008 ist er Andrew McLeish Distinguished Service Professor in der Fakultät für Informatik der [[University of Chicago]]. 1999 bis 2000 war er Gastwissenschaftler an der [[Princeton University]] und 1993 bis 1994 und 2000 bis 2008 war er am [[Institute for Advanced Study]] (2003 bis 2008 als Gastprofessor). In Teilzeit ist er auch (2012) noch am Steklow-Institut sowie am Toyota Technological Institute in Chicago.

1990 erhielt er den [[Nevanlinna-Preis]] für seine Methode, untere Grenzen für die [[Schaltkreiskomplexität]] (Boolean Circuit Complexity) zu finden.<ref>Razborov: [https://www.mi.ras.ru/~razborov/clique.pdf ''Lower bounds for the monotone complexity of some Boolean functions.''] In: ''Soviet Mathematics – Doklady.'' Band 31, Nummer 2, 1985, S. 354–357, (PDF; 482 kB).</ref> Er zeigte, dass die Lücke in der Schaltkreiskomplexität zwischen monotonen Booleschen Funktionen (solche aufgebaut aus logischen und, oder und Identität, nicht mit Negation) und nicht-monotonen Super-polynomial sein kann (von [[Noga Alon]]/R. B. Boppana<ref>[[Noga Alon]], Ravi B. Boppana: ''The monotone circuit complexity of Boolean functions.'' In: ''Combinatorica.'' Band 7, Nummer 1, 1987, S. 1–22, {{DOI|10.1007/BF02579196}}.</ref> und [[Éva Tardos]] auf exponentiell verbessert).

2007 erhielt er mit [[Steven Rudich]] den [[Gödel-Preis]] für ihre Arbeit ''Natural Proof'', die zeigte, dass Schaltkreiskomplexitätsmethoden zur Bestimmung einer Untergrenze der Komplexität eines Problems wahrscheinlich nicht geeignet sind, das [[P-NP-Problem]] zu lösen.<ref>Razborov, Rudich: ''Natural Proof.'' In: ''Journal of Computer and System Sciences.'' Band 55, Nummer 1, 1997, S. 24–35, {{DOI|10.1006/jcss.1997.1494}}, und ''Proceedings of the Twenty-Sixth Annual ACM Symposium on the Theory of Computing. Montréal, Quebéc, Canada, May 23–25, 1994.'' ACM Press, New York NY 1994, ISBN 0-89791-663-8, S. 204, [https://www.mi.ras.ru/~razborov/int.ps Online], Postscript-Datei.</ref> Dabei isolierten sie eine gemeinsame Eigenschaft dieser Schaltkreiskomplexitäts-Verfahren, die sie ''Natural Proof'' nennen. Sie zeigten, dass ein ''Natural Proof''-Beweis für das P=NP-Problem zur Folge hätte, dass keine Pseudozufallsgeneratoren existieren, was aber allgemein angenommen wird. Weiter zeigten sie, dass es keine ''Natural Proof''-Beweise dafür gibt, dass einige bekannte [[Kryptographie|kryptographische]] Probleme [[NP-Schwere|NP-schwer]] sind (wie die Faktorisierung ganzer Zahlen oder das Problem des [[Diskreter Logarithmus|diskreten Logarithmus]]). Die Arbeit von Razborov und Rudich war ein wichtiger Fortschritt im P=NP-Problem, einem der [[Millennium-Probleme|Clay-Probleme]], der zeigte, dass man in neuen Richtungen nach der Lösung suchen musste.

In der extremalen Graphentheorie erzielte er Teilresultate beim Cliquen-Dichte-Problem von [[László Lovász]] und [[Miklós Simonovits]] (allgemein gelöst 2016 von [[Christian Reiher]]).

Seit 2000 ist er korrespondierendes Mitglied der [[Russische Akademie der Wissenschaften|Russischen Akademie der Wissenschaften]]. 2000 hielt er die [[Tarski Lectures]]. Seit 1993 ist er Mitglied der [[Academia Europaea]]. 1998 hielt er die Paul Erdős Lectures in Jerusalem und die Coxeter Lectures beim Fields Institute in Toronto. 1986 war er Invited Speaker auf dem [[Internationaler Mathematikerkongress|ICM]] in [[Berkeley]] (''Lower bounds for monotone complexity of boolean functions''). 2010 war er [[Gödel-Lecturer]].

2013 erhielt er den [[David P. Robbins Prize (AMS)|David P. Robbins Prize]] der [[American Mathematical Society]] für seine Arbeit ''On the minimal density of triangles in graphs''<ref>''Combinatorics, Probability and Computing.'' Band 17, Nummer 4, 2008, S. 603–618, {{DOI|10.1017/S0963548308009085}}.</ref> und für die Einführung von Flaggen-Algebren (Flag Algebras) als mächtige neue Methode in die extremale Kombinatorik.<ref>[https://www.ams.org/profession/prizes-awards/ams-prizes/robbins-prize ''David P. Robbins Prize.'']</ref> Rasborow löste damit ein altes lange offenes Problem der extremalen Kombinatorik, die Frage nach der minimalen Anzahl von Dreiecken in Graphen mit n Ecken und m Kanten.

2020 wurde Rasborow in die [[American Academy of Arts and Sciences]] gewählt.

== Schriften (Auswahl) ==
Außer die in den Fußnoten zitierten Arbeiten:

* ''Lower bounds on monotone complexity of the logical permanent.'' In: ''Mathematical Notes of the Academy of Sciences of the USSR.'' Band 37, 1985, S. 485–493, {{DOI|10.1007/BF01157687}}.
* ''On the method of approximations.'' In: ''Proceedings of the Twenty First Annual ACM Symposium on Theory of Computing. Seattle, Washington, May 15–17, 1989.'' ACM Press, New York NY 1989, ISBN 0-89791-307-8, S. 167–176, {{DOI|10.1145/73007.73023}}.
* ''The <math>\mathbf{P}</math><math>\stackrel{\text{?}}=</math><math>\mathbf{NP}</math>-Problem: A View from the 1990s.'' In: [[Andrei Andrejewitsch Bolibruch|Andrej A. Bolibruch]], [[Juri Sergejewitsch Ossipow|Yurii S. Osipov]], Âkov G. Sinai (Hrsg.): ''Mathematical Events of the Twentieth Century.'' Springer u. a., Berlin u. a. 2006, ISBN 3-540-23235-4, S. 331–346, {{DOI|10.1007/3-540-29462-7_16}}.
* ''Flag Algebras.'' In: ''The Journal of Symbolic Logic.'' Band 72, Nummer 4, 2007, S. 1239–1282, {{DOI|10.2178/jsl/1203350785}}.

== Weblinks ==
* [https://people.cs.uchicago.edu/~razborov/ Homepage in Chicago]
* {{Webarchiv | url=http://sigact.acm.org/prizes/godel/2007.html | wayback=20090423014429 | text=Gödel-Preis für Razborov}}
* {{Mathnet|8770}} (englisch)
* [https://zbmath.org/authors/razborov.alexander-a Aleksandr Aleksandrovich Razborov] in der Datenbank [[zbMATH]]
* [https://letopis.msu.ru/peoples/9579 Александр Александрович Разборов] Eintrag bei der Lomonossow-Universität (russisch)

== Einzelnachweise ==
<references />

{{Normdaten|TYP=p|GND=|VIAF=311393238|GNDName=155827707|GNDfehlt=ja|GNDCheck=2023-10-12|REMARK=weiterer VIAF ist [[viaf:311393238]]}}

{{SORTIERUNG:Rasborow, Alexander Alexandrowitsch}}
[[Kategorie:Mathematiker (20. Jahrhundert)]]
[[Kategorie:Mathematiker (21. Jahrhundert)]]
[[Kategorie:Informatiker]]
[[Kategorie:Mitglied der Academia Europaea]]
[[Kategorie:Korrespondierendes Mitglied der Russischen Akademie der Wissenschaften]]
[[Kategorie:Mitglied der American Academy of Arts and Sciences]]
[[Kategorie:Gödel Lecturer]]
[[Kategorie:Tarski Lecturer]]
[[Kategorie:Absolvent der Lomonossow-Universität Moskau]]
[[Kategorie:Russe]]
[[Kategorie:Geboren 1963]]
[[Kategorie:Mann]]
{{Personendaten
|NAME=Rasborow, Alexander Alexandrowitsch
|ALTERNATIVNAMEN=Razborov, Alexander; Разборов, Александр Александрович (russisch)
|KURZBESCHREIBUNG=russischer Mathematiker
|GEBURTSDATUM=6. Februar 1963
|GEBURTSORT=[[Belowo]]
|STERBEDATUM=
|STERBEORT=
}}

Alexander Alexandrowitsch Rasborow - Versionsgeschichte

imported>Aka: Bild ergänzt, Kleinkram