Navascués, M.Vértesi, T.2016-02-082016-02-0820150031-9007http://hdl.handle.net/11693/21514We describe a simple method to derive high performance semidefinite programing relaxations for optimizations over complex and real operator algebras in finite dimensional Hilbert spaces. The method is very flexible, easy to program, and allows the user to assess the behavior of finite dimensional quantum systems in a number of interesting setups. We use this method to bound the strength of quantum nonlocality in Bell scenarios where the dimension of the parties is bounded from above. We derive new results in quantum communication complexity and prove the soundness of the prepare-and-measure dimension witnesses introduced in Gallego et al., Phys. Rev. Lett. 105, 230501 (2010). Finally, we propose a new dimension witness that can distinguish between classical, real, and complex two-level systems. © 2015 American Physical Society. © 2015 American Physical Society.EnglishQuantum communicationQuantum opticsFinite dimensionalFinite-dimensional quantum systemsOperator algebrasQuantum communication complexityQuantum correlationsQuantum nonlocalitySemidefinite programingTwo-level systemQuantum theoryArticle10.1103/PhysRevLett.115.020501