Linear Algebra in Orbit-finite Dimension (funded by NCN )
From 2023 I am the principal investigator of the NCN-preludium grant "Linear Algebra in Orbit-finite Dimension" A set is called orbit-finite if it is finite up to the action of some group. The objective of this grant is to study vector spaces generated by orbit-finite sets. The following research works have been supported by this grant.-
Arka Ghosh, Slawomir Lasota:
Equivariant ideals of polynomials.
LICS 2024. (paper) (slides) -
Michael Cadilhac, Arka Ghosh, Guillermo A. Perez, Ritam Raha:
Parikh One-Counter Automata.
Information and Computation. (paper) -
Shaull Almagor, Arka Ghosh, Tim Leys, Guillermo A. Perez:
The Geometry of Reachability in Continuous Vector Addition Systems with States.
Information and Computation. (paper) -
Arka Ghosh, Piotr Hofman, Slawomir Lasota:
Orbit-finite Linear Programming.
Journal of the ACM. (doi) (arxiv version)