# Algorithmic characterization results for the Kerr-NUT-(A)dS space-time. II. KIDs for the Kerr-(A)(de Sitter) family

## TL;DR

This paper develops an algorithmic method to determine if initial data sets evolve into Kerr-(A)dS space-times by characterizing conditions related to the Mars-Simon tensor, aiding in classifying solutions in general relativity.

## Contribution

It introduces a novel algorithmic characterization of initial data leading to Kerr-(A)dS space-times based on the vanishing of the Mars-Simon tensor.

## Key findings

- Provides a procedure to identify Kerr-(A)dS space-times from initial data.
- Characterizes Cauchy data sets that evolve into Kerr-(A)dS solutions.
- Enhances understanding of initial data conditions for specific vacuum space-times.

## Abstract

We characterize Cauchy data sets leading to vacuum space-times with vanishing Mars-Simon tensor. This approach provides an algorithmic procedure to check whether a given initial data set $(\Sigma,h_{ij},K_{ij})$ evolves into a space-time which is locally isometric to a member of the Kerr-(A)(dS) family.