On solving fair exchange and related distributed problems in Byzantine environments

Abstract The solvability of the problem of fair exchange in a synchronous system subject to Byzantine failures is investigated in this work. The fair exchange problem arises when a group of processes are required to exchange digital items in a fair manner, which means that either each process obtains the item it was expecting or no process obtains any information on, the inputs of others. After introducing a novel specification of fair exchange that clearly separates safety and liveness, we give an overview of the difficulty of solving such a problem in the context of a fully-connected topology. On one hand, we show that no solution to fair exchange exists in the absence of an identified process that every process can trust a priori; on the other, a well-known solution to fair exchange relying on a trusted third party is recalled. These two results lead us to complete our system model with a flexible representation of the notion of trust. We then show that fair exchange is solvable if and only if a connectivity condition, named the reachable majority condition, is satisfied. The necessity of the condition is proven by an impossibility result and its sufficiency by presenting a general solution to fair exchange relying on a set of trusted processes. The focus is then turned towards a specific network topology in order to provide a fully decentralized, yet realistic, solution to fair exchange. The general solution mentioned above is optimized by reducing the computational load assumed by trusted processes as far as possible. Accordingly, our fair exchange protocol relies on trusted tamperproof modules that have limited communication abilities and are only required in key steps of the algorithm. This modular solution is then implemented in the context of a pedagogical application developed for illustrating and apprehending the complexity of fair exchange. This application, which also includes the implementation of a wide range of Byzantine behaviors, allows executions of the algorithm to be set up and monitored through a graphical display. Surprisingly, some of our results on fair exchange seem contradictory with those found in the literature of secure multiparty computation, a problem from the field of modern cryptography, although the two problems have much in common. Both problems are closely related to the notion of trusted third party, but their approaches and descriptions differ greatly. By introducing a common specification framework, a comparison is proposed in order to clarify their differences and the possible origins of the confusion between them. This leads us to introduce the problem of generalized fair computation, a generalization of fair exchange. Finally, a solution to this new problem is given by generalizing our modular solution to fair exchange

Trade-off between constitutive and inducible resistance against herbivores is only partially explained by gene expression and glucosinolate production.

The hypothesis that constitutive and inducible plant resistance against herbivores should trade-off because they use the same resources and impose costs to plant fitness has been postulated for a long time. Negative correlations between modes of deployment of resistance and defences have been observed across and within species in common garden experiments. It was therefore tested whether that pattern of resistance across genotypes follows a similar variation in patterns of gene expression and chemical defence production. Using the genetically tractable model Arabidopsis thaliana and different modes of induction, including the generalist herbivore Spodoptera littoralis, the specialist herbivore Pieris brassicae, and jasmonate application, constitutive and inducibility of resistance was measured across seven A. thaliana accessions that were previously selected based on constitutive levels of defence gene expression. According to theory, it was found that modes of resistance traded-off among accessions, particularly against S. littoralis, in which accessions investing in high constitutive resistance did not increase it substantially after attack and vice-versa. Accordingly, the average expression of eight genes involved in glucosinolate production negatively predicted larval growth across the seven accessions. Glucosinolate production and genes related to defence induction on healthy and herbivore-damaged plants were measured next. Surprisingly, only a partial correlation between glucosinolate production, gene expression, and the herbivore resistance results was found. These results suggest that the defence outcome of plants against herbivores goes beyond individual molecules or genes but stands on a complex network of interactions.

Discovery-dominance trade-off among widespread invasive ant species

Ants are among the most problematic invasive species. They displace numerous native species, alter ecosystem processes, and can have negative impacts on agriculture and human health. In part, their success might stem from a departure from the discovery-dominance trade-off that can promote co-existence in native ant communities, that is, invasive ants are thought to be at the same time behaviorally dominant and faster discoverers of resources, compared to native species. However, it has not yet been tested whether similar asymmetries in behavioral dominance, exploration, and recruitment abilities also exist among invasive species. Here, we establish a dominance hierarchy among four of the most problematic invasive ants (Linepithema humile, Lasius neglectus, Wasmannia auropunctata, Pheidole megacephala) that may be able to arrive and establish in the same areas in the future. To assess behavioral dominance, we used confrontation experiments, testing the aggressiveness in individual and group interactions between all species pairs. In addition, to compare discovery efficiency, we tested the species' capacity to locate a food resource in a maze, and the capacity to recruit nestmates to exploit a food resource. The four species differed greatly in their capacity to discover resources and to recruit nestmates and to dominate the other species. Our results are consistent with a discovery-dominance trade-off. The species that showed the highest level of interspecific aggressiveness and dominance during dyadic interactions.

Gut physiology mediates a trade-off between adaptation to malnutrition and susceptibility to food-borne pathogens.

The animal gut plays a central role in tackling two common ecological challenges, nutrient shortage and food-borne parasites, the former by efficient digestion and nutrient absorption, the latter by acting as an immune organ and a barrier. It remains unknown whether these functions can be independently optimised by evolution, or whether they interfere with each other. We report that Drosophila melanogaster populations adapted during 160 generations of experimental evolution to chronic larval malnutrition became more susceptible to intestinal infection with the opportunistic bacterial pathogen Pseudomonas entomophila. However, they do not show suppressed immune response or higher bacterial loads. Rather, their increased susceptibility to P. entomophila is largely mediated by an elevated predisposition to loss of intestinal barrier integrity upon infection. These results may reflect a trade-off between the efficiency of nutrient extraction from poor food and the protective function of the gut, in particular its tolerance to pathogen-induced damage.

Three Essays on International Trade and the Labor Market

The thesis is made of three independent chapters interested in the impact of globalization on workers in industrialized countries. The dissertation is especially focused on identifying the causal impact of international trade on workers' mobility, wages, and employment with both a short- and medium-term perspective. The first paper explores the relation between intra-industry trade (IIT) expansion and associated worker flows, taking the latter as an indicator of labor-market adjustment costs. Being the first study to combine theoretical simulations and a novel identification strategy, we find that both theoretical and empirical analyses are consistent with the "smooth adjustment hypothesis", according to which IIT expansion is less disruptive than inter-industry trade expansion. The study therefore lends support to the use of IIT indices as first-pass proxies for the adjustment effects of trade expansion. The second chapter contrasts the impact of increased import competition coming from China and the European Union (EU) on workers in the United Kingdom over a 15-year period. The most salient findings show that increased imports from China had significantly negative effects on workers' earnings, wages and employment. In contrast, larger imports from the EU are associated with positive worker-level outcomes, which is largely explained by the fact that increased imports from the EU were mostly offset by increased same-industry exports to the EU. Besides, we find that increased imports from China exert additional pressure on workers through spillovers to employment and wages in downstream industries. Finally, the last chapter is focused on the impact of exposure to trade and real exchange rate shocks on wages for Swiss manufacturing workers. A particular attention is made to consistently estimate the causal effect in using a two-step gravity-type identification strategy. The study shows that the impact of trade and exchange rate movements is concentrated among high-skilled workers almost exclusively.