Orbit-finite systems of inequalities

Speaker(s)

Arka Ghosh

Affiliation

MIM UW

Date

March 15, 2023, 2:15 p.m.

Room

room 5050

Seminar

Seminar Automata Theory

---

A system of inequalities is orbit-finite if it is finite up to certain permutations of variables. In this talk, I will describe this concept using interesting examples, and present our recent results on the solvability of these systems. In particular, we have proven that the existence of finitely supported solutions of orbit-finite systems of inequalities is undecidable for integer solutions and decidable for rational solutions. This is a joint work with Piotr Hofman and Sławomir Lasota.

---