Pedro Proença Pedro Proença Pedro Proença Oliveira Alves Garcia (; born 3 November 1970) is a retired Portuguese football referee. Proença has refereed a number of notable matches including the Supertaça Cândido de Oliveira, Taça de Portugal finals, Taça da Liga finals, as well as the final of both the UEFA Champions League and UEFA European Championship becoming the first referee to overview both finals of the main European competitions for clubs and national teams in the same year. In 2006–07, he was named as the Portuguese Referee of the Year. He was promoted to UEFA's Elite category at the start of
Quantum refereed game refereed game consists of an n-turn referee along with functions formula_17 that maps each measurement output formula_18 to Alice's and Bob's pay-off. Individual quantum refereed games may place specific restrictions on strategies Alice and Bob can choose from. For example, in nonlocal games and pseudo-telepathy games, Alice and Bob are allowed to share entanglement but are forbidden from communicating. In general, such restrictions may not apply in quantum refereed games. Similar to a classical zero-sum game, a zero-sum quantum refereed game is a quantum refereed game with the additional constraint formula_19. It is natural to assume Alice and Bob play