SYMOPTIC | Symmetry and Optimization at the Frontiers of Computation

Summary
Noncommutative group optimization is a powerful emerging paradigm, which has already led to the solution of outstanding problems in computational complexity, algebra, and statistics. Pioneered by the PI and collaborators, it generalizes convex optimization from Euclidean space to the far more general setting of curved spaces with symmetries. Its unfamiliar kind of convexity has recently received much attention in statistics and machine learning. The symmetries are realized by noncommutative groups and imply a high degree of algebraic structure. This combination of symmetry and optimization promises to be key to fast algorithms and deep structural insight. Noncommutative group optimization connects important problems across a wide range of disciplines that appear unrelated at first glance: program testing and derandomization in computer science, estimation problems in statistics, isomorphism problems in algebra, the P vs NP problem and circuit lower bounds in complexity theory, optimal transport in machine learning, marginal and entanglement problems in quantum information, and optimization on quantum computers. This list contains both discrete and continuous problems, theoretical and applied ones, for classical as well as for quantum computers. They have been studied separately over many years by many authors. Here they are brought together in a new innovative way.

This project aims to develop the theoretical and algorithmic foundations of noncommutative group optimization and apply it to longstanding theoretical problems and practical applications. This has high potential for long-lasting impact at several frontiers of computation: in addition to contributing a new paradigm and widely-applicable methods to optimization, we aim to give efficient algorithmic solutions to difficult problems in algebra, make progress on the limits of efficient computation, and unlock the potential of quantum computers for optimization.
Unfold all
/
Fold all
More information & hyperlinks
Web resources: https://cordis.europa.eu/project/id/101040907
Start date: 01-05-2022
End date: 30-04-2027
Total budget - Public funding: 1 500 000,00 Euro - 1 500 000,00 Euro
Cordis data

Original description

Noncommutative group optimization is a powerful emerging paradigm, which has already led to the solution of outstanding problems in computational complexity, algebra, and statistics. Pioneered by the PI and collaborators, it generalizes convex optimization from Euclidean space to the far more general setting of curved spaces with symmetries. Its unfamiliar kind of convexity has recently received much attention in statistics and machine learning. The symmetries are realized by noncommutative groups and imply a high degree of algebraic structure. This combination of symmetry and optimization promises to be key to fast algorithms and deep structural insight. Noncommutative group optimization connects important problems across a wide range of disciplines that appear unrelated at first glance: program testing and derandomization in computer science, estimation problems in statistics, isomorphism problems in algebra, the P vs NP problem and circuit lower bounds in complexity theory, optimal transport in machine learning, marginal and entanglement problems in quantum information, and optimization on quantum computers. This list contains both discrete and continuous problems, theoretical and applied ones, for classical as well as for quantum computers. They have been studied separately over many years by many authors. Here they are brought together in a new innovative way.

This project aims to develop the theoretical and algorithmic foundations of noncommutative group optimization and apply it to longstanding theoretical problems and practical applications. This has high potential for long-lasting impact at several frontiers of computation: in addition to contributing a new paradigm and widely-applicable methods to optimization, we aim to give efficient algorithmic solutions to difficult problems in algebra, make progress on the limits of efficient computation, and unlock the potential of quantum computers for optimization.

Status

SIGNED

Call topic

ERC-2021-STG

Update Date

09-02-2023
Images
No images available.
Geographical location(s)
Structured mapping
Unfold all
/
Fold all
Horizon Europe
HORIZON.1 Excellent Science
HORIZON.1.1 European Research Council (ERC)
HORIZON.1.1.0 Cross-cutting call topics
ERC-2021-STG ERC STARTING GRANTS
HORIZON.1.1.1 Frontier science
ERC-2021-STG ERC STARTING GRANTS