Efficient Entanglement Manipulation Cookbook: From Mixing to a Computational Second Law
This work analyzes computational entanglement measures under resource constraints. It introduces 'lower bound convexity' and 'upper bound concavity' to describe how these measures behave during mixing operations like distillation or dilution. The findings show that these measures are only guaranteed to be LOCC monotones when restricted to efficient families of local operations, emphasizing the importance of computational efficiency in entanglement resource theories.