Stability and testability: equations in permutations

11/10/2020
by   Oren Becker, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

research
04/09/2022

Testability in group theory

This paper is a journal counterpart to our FOCS 2021 paper, in which we ...
research
12/21/2018

Testing Stability Properties in Graphical Hedonic Games

In hedonic games, players form coalitions based on individual preference...
research
01/29/2021

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...
research
05/11/2020

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...
research
11/03/2020

IMEX Parareal Integrators

Parareal is a widely studied parallel-in-time method that can achieve me...
research
03/24/2013

On Learnability, Complexity and Stability

We consider the fundamental question of learnability of a hypotheses cla...
research
05/16/2019

Stability of Linear Structural Equation Models of Causal Inference

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

Please sign up or login with your details

Forgot password? Click here to reset