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.