Rational Proofs with Multiple Provers

Interactive proofs (IP) model a world where a verifier delegates computation to an untrustworthy prover, verifying the prover's claims before accepting them. IP protocols have applications in areas such as verifiable computation outsourcing, computation delegation, cloud computing. In these applications, the verifier may pay the prover based on the quality of his work. Rational interactive proofs (RIP), introduced by Azar and Micali (2012), are an interactive-proof system with payments, in which the prover is rational rather than untrustworthy---he may lie, but only to increase his payment. Rational proofs leverage the provers' rationality to obtain simple and efficient protocols. Azar and Micali show that RIP=IP(=PSAPCE). They leave the question of whether multiple provers are more powerful than a single prover for rational and classical proofs as an open problem. In this paper, we introduce multi-prover rational interactive proofs (MRIP). Here, a verifier cross-checks the provers' answers with each other and pays them according to the messages exchanged. The provers are cooperative and maximize their total expected payment if and only if the verifier learns the correct answer to the problem. We further refine the model of MRIP to incorporate utility gap, which is the loss in payment suffered by provers who mislead the verifier to the wrong answer. We define the class of MRIP protocols with constant, noticeable and negligible utility gaps. We give tight characterization for all three MRIP classes. We show that under standard complexity-theoretic assumptions, MRIP is more powerful than both RIP and MIP ; and this is true even the utility gap is required to be constant. Furthermore the full power of each MRIP class can be achieved using only two provers and three rounds. (A preliminary version of this paper appeared at ITCS 2016. This is the full version that contains new results.)Comment: Proceedings of the 2016 ACM Conference on Innovations in Theoretical Computer Science. ACM, 201

Non-Cooperative Rational Interactive Proofs

Interactive-proof games model the scenario where an honest party interacts with powerful but strategic provers, to elicit from them the correct answer to a computational question. Interactive proofs are increasingly used as a framework to design protocols for computation outsourcing. Existing interactive-proof games largely fall into two categories: either as games of cooperation such as multi-prover interactive proofs and cooperative rational proofs, where the provers work together as a team; or as games of conflict such as refereed games, where the provers directly compete with each other in a zero-sum game. Neither of these extremes truly capture the strategic nature of service providers in outsourcing applications. How to design and analyze non-cooperative interactive proofs is an important open problem. In this paper, we introduce a mechanism-design approach to define a multi-prover interactive-proof model in which the provers are rational and non-cooperative - they act to maximize their expected utility given others\u27 strategies. We define a strong notion of backwards induction as our solution concept to analyze the resulting extensive-form game with imperfect information. We fully characterize the complexity of our proof system under different utility gap guarantees. (At a high level, a utility gap of u means that the protocol is robust against provers that may not care about a utility loss of 1/u.) We show, for example, that the power of non-cooperative rational interactive proofs with a polynomial utility gap is exactly equal to the complexity class P^{NEXP}

Lipid vesicles chaperone an encapsulated RNA aptamer.

The organization of molecules into cells is believed to have been critical for the emergence of living systems. Early protocells likely consisted of RNA functioning inside vesicles made of simple lipids. However, little is known about how encapsulation would affect the activity and folding of RNA. Here we find that confinement of the malachite green RNA aptamer inside fatty acid vesicles increases binding affinity and locally stabilizes the bound conformation of the RNA. The vesicle effectively 'chaperones' the aptamer, consistent with an excluded volume mechanism due to confinement. Protocellular organization thereby leads to a direct benefit for the RNA. Coupled with previously described mechanisms by which encapsulated RNA aids membrane growth, this effect illustrates how the membrane and RNA might cooperate for mutual benefit. Encapsulation could thus increase RNA fitness and the likelihood that functional sequences would emerge during the origin of life

Global bifurcation for monotone fronts of elliptic equations

In this paper, we present two results on global continuation of monotone front-type solutions to elliptic PDEs posed on infinite cylinders. This is done under quite general assumptions, and in particular applies even to fully nonlinear equations as well as quasilinear problems with transmission boundary conditions. Our approach is rooted in the analytic global bifurcation theory of Dancer and Buffoni--Toland, but extending it to unbounded domains requires contending with new potential limiting behavior relating to loss of compactness. We obtain an exhaustive set of alternatives for the global behavior of the solution curve that is sharp, with each possibility having a direct analogue in the bifurcation theory of second-order ODEs. As a major application of the general theory, we construct global families of internal hydrodynamic bores. These are traveling front solutions of the full two-phase Euler equation in two dimensions. The fluids are confined to a channel that is bounded above and below by rigid walls, with incompressible and irrotational flow in each layer. Small-amplitude fronts for this system have been obtained by several authors. We give the first large-amplitude result in the form of continuous curves of elevation and depression bores. Following the elevation curve to its extreme, we find waves whose interfaces either overturn (develop a vertical tangent) or become exceptionally singular in that the flow in both layers degenerates at a single point on the boundary. For the curve of depression waves, we prove that either the interface overturns or it comes into contact with the upper wall.Comment: 60 pages, 6 figure