Collisionless shock acceleration of quasi-monoenergetic ions in ultra-relativistic regime

Collisionless shock acceleration of carbon ions (C$^{6+}$) is investigated in the ultra-relativistic regime of laser-plasma interaction by accounting for the radiation reaction force and the pair production in particle-in-cell simulations. Both radiation reaction force and pair plasma formation tend to slow down the shock velocity, reducing the energy of the accelerated ions, albeit extending the time scales of the acceleration process. Slab plasma target achieves lower energy spread while target with a tailored density profile yields higher ion acceleration energies.Comment: 10 pages,12 figure

The probability analysis of opening of DNA

We have studied the separation of a double stranded DNA (dsDNA), which is driven either by the temperature or force. By monitoring the probability of opening of entire base pairs along the chain, we show that the opening of a dsDNA depends not only on the sequence but also on the constraints on the chain in the experimental setups. Our results clearly demonstrate that the force induced melting of dsDNA, whose one of the ends is constrained, is significantly different from the thermal melting, when both ends free

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}

South-South FDI vs North-South FDI : A Comparative Analysis in the Context of India

Over the years FDI activities from developing countries have grown very rapidly and most of these investments end up in other developing countries. Such FDI flows are formally known as South-South FDI. This paper attempts to compare the characteristics of South-South FDI versus North-South FDI in the context of India. The analysis is carried at two levels. First we look at the overall trends of FDI flows (both inward & outward) region wise (North versus South), country wise and sector wise. Our results confirm that Indias FDI activities have broadly been consistent with the well known concept of Investment Development Path (Dunning, 1981). We also find that while country profiles have undergone changes, there has been no significant shift in the sectoral profile. Next we carry out econometric analysis at the sectoral /industry level for inward FDI from the North and from the South to examine the difference in the characters (if any) of FDI from the two sources. Our broad conclusion is that although there is not much difference between FDI from the north and from the south (both being concentrated in sectors with larger markets, higher export orientation & lower import intensity) southern FDIs appear to flow more into growing sectors while FDI from north do not have such indication. Ultimately however, it is at the firm level where one needs to identify the factors inhibit/attract FDI. The qualitative findings from a limited survey of 93 firms are presented in the appendix.FDI inflows and outflows, North-South FDI, South-South FDI

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