Abstract:Well-structured transition systems (WSTS) are an abstract family of systems that encompasses a vast landscape of infinite-state systems. By requiring a well-quasi-ordering (wqo) on the set of states, a WSTS enables generic algorithms for classic verification tasks such as coverability and termination. However, even for systems that are WSTS like vector addition systems (VAS), the framework is notoriously ill-equipped to analyse reachability (as opposed to coverability). Moreover, some important types of infinite-state systems fall out of WSTS' scope entirely, such as pushdown systems (PDS). Inspired by recent algorithmic techniques on VAS, we propose an abstract notion of systems where the set of runs is equipped with a wqo and supports amalgamation of runs. We show that it subsumes a large class of infinite-state systems, including (reachability languages of) VAS and PDS, and even all systems from the abstract framework of valence systems, except for those already known to be Turing-complete. Moreover, this abstract setting enables simple and general algorithmic solutions to unboundedness problems, which have received much attention in recent years. We present algorithms for the (i) simultaneous unboundedness problem (which implies computability of downward closures and decidability of separability by piecewise testable languages), (ii) computing priority downward closures, (iii) deciding whether a language is bounded, meaning included in $w_1^*\cdots w_k^*$ for some words $w_1,\ldots,w_k$, and (iv) effective regularity of unary languages. This leads to either drastically simpler proofs or new decidability results for a rich variety of systems.

Complexity Aspects of the Extension of Wagner's Hierarchy to $k$-Partitions

Crank equidistribution and $(k,j)$-overlined partitions

$$\Underline{p}$$-Reduced Multicomponent KP Hierarchy and Classical $$\mathcal {W}$$-Algebras $$\mathcal {w}(\mathfrak {Gl}_n,\underline{p})$$

Separable integer partition classes and partitions with congruence conditions

κ-Partitioning problems for maximizing the minimum load

Inequalities for $k$-regular partitions

Unimodality of $k$-Regular Partitions into Distinct Parts with Bounded Largest Part

Inequalities for the $k$-Regular Overpartitions

A Generalized Burge Correspondence and $k$-measure of Partitions

On the restricted $k$-multipartition function

A weighted Murnaghan-Nakayama rule for $(P, w)$-partitions

Algebra of overpartitions

Subdivision of KLRW Algebras in Affine Type A

Noncrossing arithmetics

Complexity and Kernels for Bipartition into Degree-Bounded Induced Graphs

Verifying Unboundedness via Amalgamation

On the parameterized complexity of computing tree-partitions

Z_2-Algebras in the Boolean Function Irreducible Decomposition

On the structure of the d-indivisible noncrossing partition posets

An infinite family of internal congruences modulo powers of 2 for partitions into odd parts with designated summands

Multiplicatively reducible subsets of shifted perfect $k$-th powers and bipartite Diophantine tuples