Periodic TASEP and a Cylindrical dual-RSK
Tomas Kojar
TL;DR
This paper introduces a new version of the RSK algorithm that models the dynamics of periodic TASEP, aiming to develop a cylindrical analogue of previous work by Dieker and Warren.
Contribution
It presents a novel RSK variant tailored for periodic TASEP, extending the combinatorial framework to cylindrical settings.
Findings
Established a new RSK variant for periodic TASEP
Connected RSK dynamics with cylindrical combinatorial structures
Paved the way for a cylindrical analogue of prior TASEP results
Abstract
We introduce a version of RSK that captures the dynamics of periodic TASEP. This work is building towards a cylindrical analogue of (AB Dieker, J Warren, 2008).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsFormal Methods in Verification