Bounds for nonlocality distillation protocols

Nonlocality can be quantified by the violation of a Bell inequality. Since this violation may be amplified by local operations, an alternative measure has been proposed—distillable nonlocality. The alternative measure is difficult to calculate exactly due to the double exponential growth of the parameter space. In this paper, we give a way to bound the distillable nonlocality of a resource by the solutions to a related optimization problem. Our upper bounds are exponentially easier to compute than the exact value and are shown to be meaningful in general and tight in some cases.