## 2019 |

Benavoli, Alessio ; Facchini, Alessandro ; Zaffalon, Marco Bernstein's socks, polynomial-time provable coherence and entanglement Inproceedings Bock, De J; de Campos, C; de Cooman, G; Quaeghebeur, E; Wheeler, G (Ed.): ISIPTA ;'19: Proceedings of the Eleventh International Symposium on Imprecise Probability: Theories and Applications, JMLR, 2019. Abstract | Links | BibTeX | Tags: bounded rationality, Sum-of-squares polynomials @inproceedings{zaffalon2019b, title = {Bernstein's socks, polynomial-time provable coherence and entanglement}, author = {Benavoli, Alessio and Facchini, Alessandro and Zaffalon, Marco}, editor = {J De Bock and C de Campos and G de Cooman and E Quaeghebeur and G Wheeler}, url = {http://alessiobenavoli.com/wp-content/uploads/2019/05/benavoli19-1.pdf}, year = {2019}, date = {2019-07-07}, booktitle = {ISIPTA ;'19: Proceedings of the Eleventh International Symposium on Imprecise Probability: Theories and Applications}, publisher = {JMLR}, series = {PJMLR}, abstract = {We recently introduced a bounded rationality ap- proach for the theory of desirable gambles. It is based on the unique requirement that being non- negative for a gamble has to be defined so that it can be provable in polynomial time. In this paper we continue to investigate properties of this class of models. In particular we verify that the space of Bernstein polynomials in which non- negativity is specified by the Krivine-Vasilescu certificate is yet another instance of this theory. As a consequence, we show how it is possible to construct in it a thought experiment uncovering entanglement with classical (hence non quantum) coins.}, keywords = {bounded rationality, Sum-of-squares polynomials}, pubstate = {published}, tppubtype = {inproceedings} } We recently introduced a bounded rationality ap- proach for the theory of desirable gambles. It is based on the unique requirement that being non- negative for a gamble has to be defined so that it can be provable in polynomial time. In this paper we continue to investigate properties of this class of models. In particular we verify that the space of Bernstein polynomials in which non- negativity is specified by the Krivine-Vasilescu certificate is yet another instance of this theory. As a consequence, we show how it is possible to construct in it a thought experiment uncovering entanglement with classical (hence non quantum) coins. |

## 2017 |

Benavoli, Alessio ; Facchini, Alessandro ; Piga, Dario ; Zaffalon, Marco SOS for bounded rationality Conference Proc. ISIPTA'17 Int. Symposium on Imprecise Probability: Theories and Applications, , PJMLR, 2017. Abstract | Links | BibTeX | Tags: bounded rationality, SOS @conference{Benavoli2017b, title = {SOS for bounded rationality}, author = { Benavoli, Alessio and Facchini, Alessandro and Piga, Dario and Zaffalon, Marco}, url = {https://arxiv.org/abs/1705.02663}, year = {2017}, date = {2017-05-07}, booktitle = {Proc. ISIPTA'17 Int. Symposium on Imprecise Probability: Theories and Applications, }, pages = {1--12}, publisher = {PJMLR}, abstract = {In the gambling foundation of probability theory, rationality requires that a subject should always (never) find desirable all nonnegative (negative) gambles, because no matter the result of the exper- iment the subject never (always) decreases her money. Evaluating the nonnegativity of a gamble in infinite spaces is a difficult task. In fact, even if we restrict the gambles to be polynomials in R n , the problem of determining nonnegativity is NP-hard. The aim of this paper is to develop a computable theory of desirable gambles. Instead of requiring the subject to accept all nonnegative gambles, we only require her to accept gambles for which she can efficiently determine the nonnegativity (in particular SOS polynomials). We call this new criterion bounded rationality.}, keywords = {bounded rationality, SOS}, pubstate = {published}, tppubtype = {conference} } In the gambling foundation of probability theory, rationality requires that a subject should always (never) find desirable all nonnegative (negative) gambles, because no matter the result of the exper- iment the subject never (always) decreases her money. Evaluating the nonnegativity of a gamble in infinite spaces is a difficult task. In fact, even if we restrict the gambles to be polynomials in R n , the problem of determining nonnegativity is NP-hard. The aim of this paper is to develop a computable theory of desirable gambles. Instead of requiring the subject to accept all nonnegative gambles, we only require her to accept gambles for which she can efficiently determine the nonnegativity (in particular SOS polynomials). We call this new criterion bounded rationality. |

# Publications

## 2019 |

Bernstein's socks, polynomial-time provable coherence and entanglement Inproceedings Bock, De J; de Campos, C; de Cooman, G; Quaeghebeur, E; Wheeler, G (Ed.): ISIPTA ;'19: Proceedings of the Eleventh International Symposium on Imprecise Probability: Theories and Applications, JMLR, 2019. |

## 2017 |

SOS for bounded rationality Conference Proc. ISIPTA'17 Int. Symposium on Imprecise Probability: Theories and Applications, , PJMLR, 2017. |