DeepAI AI Chat
Log In Sign Up

Stability and testability: equations in permutations

by   Oren Becker, et al.

We initiate the study of property testing problems concerning equations in permutations. In such problems, the input consists of permutations σ_1,…,σ_d∈Sym(n), and one wishes to determine whether they satisfy a certain system of equations E, or are far from doing so. If this computational problem can be solved by querying only a small number of entries of the given permutations, we say that E is testable. For example, when d=2 and E consists of the single equation 𝖷𝖸=𝖸𝖷, this corresponds to testing whether σ_1σ_2=σ_2σ_1. We formulate the well-studied group-theoretic notion of stability in permutations as a testability concept, and interpret all works on stability as testability results. Furthermore, we establish a close connection between testability and group theory, and harness the power of group-theoretic notions such as amenability and property (T) to produce a large family of testable equations, beyond those afforded by the study of stability, and a large family of non-testable equations. Finally, we provide a survey of results on stability from a computational perspective and describe many directions for future research.


page 1

page 2

page 3

page 4


Testability in group theory

This paper is a journal counterpart to our FOCS 2021 paper, in which we ...

Testing Stability Properties in Graphical Hedonic Games

In hedonic games, players form coalitions based on individual preference...

On the relation of powerflow and Telegrapher's equations: continuous and numerical Lyapunov stability

In this contribution we analyze the exponential stability of power netwo...

Stability-enhanced AP IMEX1-LDG method: energy-based stability and rigorous AP property

In our recent work [22], a family of high order asymptotic preserving (A...

Structure-preserving numerical schemes for Lindblad equations

We study a family of structure-preserving deterministic numerical scheme...

On Learnability, Complexity and Stability

We consider the fundamental question of learnability of a hypotheses cla...

Stability of Linear Structural Equation Models of Causal Inference

We consider the numerical stability of the parameter recovery problem in...