Projektbeschreibung
Verbesserung algebraischer Techniken für Fortschritte in der Beweiskomplexität
In der theoretischen Informatik zielt das Feld der Beweiskomplexität darauf ab, die Rechenressourcen zu verstehen und zu analysieren, die zum Beleg oder zur Widerlegung von Aussagen erforderlich sind. Das EU-finanzierte Projekt EPRICOT wird die jüngsten Fortschritte in der Beweiskomplexität nutzen, um sowohl den Umfang als auch die Techniken auf diesem Gebiet systematisch zu erweitern. Insbesondere werden im Rahmen des Projekts algebraische Techniken wie Schaltkreiskomplexität, untere Schranken für Matrixränge und nichtkommutative Algebra eingesetzt, um das Instrumentarium der unteren Schranken erheblich zu vergrößern und neue Modelle für Beweisführung, Berechnung und deren Zusammenhänge zu entwickeln. Die Projektergebnisse könnten dazu beitragen, unbedingte rechnerische Untergrenzen voranzutreiben, die der sicheren Kryptographie und der Derandomisierung wahrscheinlichkeitstheoretischer Algorithmen zugrunde liegen.
Ziel
Computational complexity lies at the heart of information and computer science. Its aim is to formally understand the boundary between problems that can be solved efficiently and those that cannot. This has many applications: new algorithms are important to make progress in domains such as machine learning and optimization, and new complexity lower bounds (namely, computational impossibility results) are essential to provably secure cryptography. Beyond practical applications, these questions reveal deep mathematical and natural phenomena. One of the prominent directions to attack the fundamental lower bound questions in complexity comes from the study of resource bounded provability, namely proof complexity. Its aim is to understand which problems possess solutions with short correctness proofs and which do not. Traditionally, proof complexity is concerned with propositional (Boolean) logic, and thus techniques from Boolean function complexity have had a huge impact on the field, driving many of its results and agendas.
In this proposal we suggest to employ recent breakthroughs in the field of proof complexity exploiting algebraic approaches to broaden in a systematic way both the scope and techniques of proof complexity, going from weak settings to the very strong ones, up to the major open problems in the field and beyond. In particular, we propose to use algebraic notions and techniques such as structural algebraic circuit complexity, rank lower bounds, noncommutative and PI algebras, among others to significantly broaden the arsenal of lower bound tools as well as develop new models and insights into proofs, computation and their inter-relations.
This project has potential for a transformative impact in theoretical computer science and beyond, with applications to unconditional computational lower bounds, which underlie secure cryptography and derandomization of probabilistic algorithms, as well as improved SAT- and constraint-solving heuristics.
Wissenschaftliches Gebiet (EuroSciVoc)
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
CORDIS klassifiziert Projekte mit EuroSciVoc, einer mehrsprachigen Taxonomie der Wissenschaftsbereiche, durch einen halbautomatischen Prozess, der auf Verfahren der Verarbeitung natürlicher Sprache beruht. Siehe: Das European Science Vocabulary.
Sie müssen sich anmelden oder registrieren, um diese Funktion zu nutzen
Wir bitten um Entschuldigung ... während der Ausführung ist ein unerwarteter Fehler aufgetreten.
Sie müssen sich authentifizieren. Ihre Sitzung ist möglicherweise abgelaufen.
Vielen Dank für Ihr Feedback. Sie erhalten in Kürze eine E-Mail zur Übermittlungsbestätigung. Wenn Sie sich für eine Benachrichtigung über den Berichtsstatus entschieden haben, werden Sie auch im Falle einer Änderung des Berichtsstatus benachrichtigt.
Schlüsselbegriffe
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Schlüsselbegriffe des Projekts, wie vom Projektkoordinator angegeben. Nicht zu verwechseln mit der EuroSciVoc-Taxonomie (Wissenschaftliches Gebiet).
Programm/Programme
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
Mehrjährige Finanzierungsprogramme, in denen die Prioritäten der EU für Forschung und Innovation festgelegt sind.
-
H2020-EU.1.1. - EXCELLENT SCIENCE - European Research Council (ERC)
HAUPTPROGRAMM
Alle im Rahmen dieses Programms finanzierten Projekte anzeigen
Thema/Themen
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Aufforderungen zur Einreichung von Vorschlägen sind nach Themen gegliedert. Ein Thema definiert einen bestimmten Bereich oder ein Gebiet, zu dem Vorschläge eingereicht werden können. Die Beschreibung eines Themas umfasst seinen spezifischen Umfang und die erwarteten Auswirkungen des finanzierten Projekts.
Finanzierungsplan
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
Finanzierungsregelung (oder „Art der Maßnahme“) innerhalb eines Programms mit gemeinsamen Merkmalen. Sieht folgendes vor: den Umfang der finanzierten Maßnahmen, den Erstattungssatz, spezifische Bewertungskriterien für die Finanzierung und die Verwendung vereinfachter Kostenformen wie Pauschalbeträge.
ERC-COG - Consolidator Grant
Alle im Rahmen dieses Finanzierungsinstruments finanzierten Projekte anzeigen
Aufforderung zur Vorschlagseinreichung
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
Verfahren zur Aufforderung zur Einreichung von Projektvorschlägen mit dem Ziel, eine EU-Finanzierung zu erhalten.
(öffnet in neuem Fenster) ERC-2020-COG
Alle im Rahmen dieser Aufforderung zur Einreichung von Vorschlägen finanzierten Projekte anzeigenGastgebende Einrichtung
Finanzieller Nettobeitrag der EU. Der Geldbetrag, den der Beteiligte erhält, abzüglich des EU-Beitrags an mit ihm verbundene Dritte. Berücksichtigt die Aufteilung des EU-Finanzbeitrags zwischen den direkten Begünstigten des Projekts und anderen Arten von Beteiligten, wie z. B. Dritten.
SW7 2AZ London
Vereinigtes Königreich
Die Gesamtkosten, die dieser Organisation durch die Beteiligung am Projekt entstanden sind, einschließlich der direkten und indirekten Kosten. Dieser Betrag ist Teil des Gesamtbudgets des Projekts.