Libor Barto

HOME COCOSYM RESEARCH FOR STUDENTS

Symmetry in Computational Complexity (CoCoSym)

Project funded by the European Research Council (ERC) as an ERC Consolidator Grant (ERC CoG), No. 771005

Principal investigator: Libor Barto
Postdocs:

PhD students:
  • Diego Battistelli since 1 Oct 2018
  • Kristina Asimi since 1 Dec 2018

Host institution: Charles University, Prague, Czech Republic.
Department: Department of Algebra, Faculty of Mathematics and Physics
Dates: 1 Feb 2018 - 31 Jan 2023
Openings: I have a Phd and a postdoc position available - see ads below

Page under reconstruction!

Work in progress

Papers

  1. L. Barto, Promises make finite (constraint satisfaction) problems infinitary, submitted [preprint]
  2. L. Barto, Accessible set endofunctors are universal, submitted [preprint]
  3. L. Barto, M. Pinsker, Topology is irrelevant (in the infinite domain dichotomy conjecture for constraint satisfaction problems), submitted [preprint]

  4. A. Mottet, K. Quaas, The containment problem for Unambiguous Register Automata, accepted to STACS'19

Conferences

  1. 13 Mar - 16 Mar 2019: A. Mottet, talk The containment problem for unambiguous register automata at STACS 2019, Berlin, Germany. [Slides]
  2. 1 Mar - 3 Mar 2019: K. Asimi, L. Barto, D. Battistelli, A. Mottet, D. Zhuk AAA97, Vienna, Austria.
    • L. Barto, A loop lemma for nonidempotent cores [Slides]
    • A. Mottet, Topology is relevant [Slides]
    • D. Zhuk, An exponential lower bound on the size of primitive positive definition [Slides]
  3. 17 Oct - 23 Oct 2018: A. Mottet, invitational workshop Unifying themes in Ramsey theory, Banff, Canada
  4. Sep 2 - Sep 7 2018: L. Barto, member of the organizing quadrumvirate, [56th Summer School on Algebra and Ordered Sets], Spindleruv Mlyn, Czechia.
  5. Jun 4 - Jun 8 2018: L. Barto, talk at invitational workshop Cyclic operations in promise constraint satisfaction problems at Dagstuhl workshop The Constraint Satisfaction Problem: Complexity and Approximability, Schloss Dagstuhl, Germany. [Slides]
  6. Jun 1 - Jun 3 2018: L. Barto, invited talk Height one identities at 96. Arbeitstagung Allgemeine Algebra, Darmstadt, Germany. [Slides]

Visitors

  1. Mar 3 - Mar 7 2019: Jakub Opršal
  2. Mar 3 - Mar 8 2019: Andrei Krokhin
  3. Jan 28 - Feb 1 2019: Marcin Kozik
  4. Dec 17 - Dec 22 2018: Marcin Kozik
  5. Oct 15 - Oct 26 2018: Marcin Kozik
  6. Mar 26 - Apr 26 2018: Andrei Krokhin

Visits

  1. May 6 - May 11: L. Barto visiting Andrei Krokhin at Durham University
  2. Feb 23 - Mar 5 2018: L. Barto visiting Marcin Kozik at Jagiellonian University

Abstract

The last 20 years of rapid development in the computational-theoretic aspects of the fixed-language Constraint Satisfaction Problems (CSPs) has been fueled by a connection between the complexity and a certain concept capturing symmetry of computational problems in this class.

My vision is that this connection will eventually evolve into the organizing principle of computational complexity and will lead to solutions of fundamental problems such as the Unique Games Conjecture or even the P-versus-NP problem. In order to break through the current limits of this algebraic approach, I will concentrate on specific goals designed to

  1. discover suitable objects capturing symmetry that reflect the complexity in problem classes, where such an object is not known yet;
  2. make the natural ordering of symmetries coarser so that it reflects the complexity more faithfully;
  3. delineate the borderline between computationally hard and easy problems;
  4. strengthen characterizations of existing borderlines to increase their usefulness as tools for proving hardness and designing efficient algorithm; and
  5. design efficient algorithms based on direct and indirect uses of symmetries.
The specific goals concern the fixed-language CSP over finite relational structures and its generalizations to infinite domains (∞CSP) and weighted relations (vCSP), in which the algebraic theory is highly developed and the limitations are clearly visible.

The approach is based on joining the forces of the universal algebraic methods in finite domains, model-theoretical and topological methods in the ∞CSP, and analytical and probabilistic methods in the vCSP. The starting point is to generalize and improve the Absorption Theory from finite domains.

Call for applications: PhD students

We are looking for highly motivated and creative PhD students to work on the ERC funded project Symmetry in Computational Complexity (CoCoSym) under the supervision of Libor Barto at the Department of Algebra, Faculty of Mathematics and Physics, Charles University, Prague.

The project concerns the complexity and approximability of constraint satisfaction problems and is at the intersection of several areas of mathematics and theoretical computer science (general algebra, logic, computational complexity, combinatorics, analysis).

The starting date of the PhD study is October 2019. The applicant is expected to have the master degree completed by this date. The duration is four years. The position is fully funded from the ERC grant, funding for conference travel is also available.

Applicants should send a CV, a statement of research experience and interests, and an (unofficial) academic transcript in a single PDF file to Libor Barto (libor.barto@mff.cuni.cz) by April 14, 2019. Applicants should also arrange for at least two recommendation letters to be sent directly to the same email address by the same date. Informal inquiries are welcome.

Call for applications: postdocs

We are looking for a highly motivated and creative post-doctoral researcher to work on the ERC funded project Symmetry in Computational Complexity (CoCoSym) under the supervision of Libor Barto at the Department of Algebra, Faculty of Mathematics and Physics, Charles University, Prague.

The project concerns the complexity and approximability of fixed-template constraint satisfaction problems over finite domains and their generalization to infinite domains and weighted relations.

The duration of the position will be between one and three years. The starting day is flexible, applications will be considered until the position is filled. The position carries no teaching load. The position is fully funded from the ERC grant, funding for conference travel is also available.

Applicants should send a CV, a statement of research experience and interests, and a list of publications (that may include a short annotation of at most three of their best papers) in a single PDF file to Libor Barto (libor.barto@mff.cuni.cz). Applicants should also arrange for at least two recommendation letters to be sent directly to the same email address. Informal inquiries are welcome.