Community Research and Development Information Service - CORDIS


AUTAR Report Summary

Project ID: 648276
Funded under: H2020-EU.1.1.

Periodic Reporting for period 1 - AUTAR (A Unified Theory of Algorithmic Relaxations)

Reporting period: 2015-06-01 to 2016-11-30

Summary of the context and overall objectives of the project

The declared objectives of the project proposal included pushing forward the a priori observation that two methods from different areas for designing algorithms for CSPs match in strength:
1) the hierarchies of relaxations arising from the theory of mathematical programming and
2) the hierarchies of relaxations arising from the theory of definability in mathematical logic.
To what extent can this matching in strength be considered a coincidence or the tip of a deeper unified theory of algorithmic relaxations? The importance of building a unified theory of algorithmic relaxations stems from the general principle that, in applied mathematics, computer science, and the natural sciences at large, unified theories tend to have much deeper predicting and explanation power than a separate collection of unrelated looking techniques. The first 18 months of this action have started implementing a program to contribute in building a theory for algorithmic relaxations.

Work performed from the beginning of the project to the end of the period covered by the report and main results achieved so far

The main achievement of the work performed so far includes a completely satisfactory solution to the first of the main concrete questions that the project was planning to address. It was known before the project started that the method of linear programming hierarchies matched in strength with the tuple-refinement method for graph isomorphism. The question we asked in the project proposal was:

What is the power of the semidefinite programming (SDP) hierarchies for graph isomorphism and how does it compare to the linear programming (LP) hierarchies? While it was known from work preceding the Project proposal that the SDP hierarchies will not make a complete polynomial-time algorithm for graph isomorphism, their exact relationship to the LP hierarchies was unknown. The answer we found is that, surprisingly, the SDP hierarchy collapses to the LP hierarchy, up to small constant factors, in the context of the graph isomorphism problem. This opens the door to the possibility of obtaining stronger SDP integrality gaps from known LP integrality gap constructions for other problems, a question that will be addressed in the rest of the project.

Progress beyond the state of the art and expected potential impact (including the socio-economic impact and the wider societal implications of the project so far)

An interesting outcome of the work performed so far is the opening of a new and unpredicted line of research in which so-called quantum relaxations of CSPs arising from non-local games in quantum physics are studied systematically. One of the outcomes so far is that the method of closure operations (aka polymorphisms) from classical CSPs has an analogue in the context of quantum CSPs. This has already produced novel results of theoretical interest for both quantum information theorists and theoretical computer scientist, and we hope that the rest of the project will round up a more complete theory. While such interdisplinary connections between these areas are not unprecedented, the fact that they arise naturally within the unified theory of algorithmic relaxations that the project puts forward could have far-reaching applications for both areas. Two technical reports including these results are being written at the time this progress report is being produced.
Follow us on: RSS Facebook Twitter YouTube Managed by the EU Publications Office Top