Call-by-value non-determinism in a linear logic type discipline

We consider the call-by-value lambda-calculus extended with a may-convergent non-deterministic choice and a must-convergent parallel composition. Inspired by recent works on the relational semantics of linear logic and non-idempotent intersection types, we endow this calculus with a type system based on the so-called Girard's second translation of intuitionistic logic into linear logic. We prove that a term is typable if and only if it is converging, and that its typing tree carries enough information to give a bound on the length of its lazy call-by-value reduction. Moreover, when the typing tree is minimal, such a bound becomes the exact length of the reduction

Composable security of delegated quantum computation

Delegating difficult computations to remote large computation facilities, with appropriate security guarantees, is a possible solution for the ever-growing needs of personal computing power. For delegated computation protocols to be usable in a larger context---or simply to securely run two protocols in parallel---the security definitions need to be composable. Here, we define composable security for delegated quantum computation. We distinguish between protocols which provide only blindness---the computation is hidden from the server---and those that are also verifiable---the client can check that it has received the correct result. We show that the composable security definition capturing both these notions can be reduced to a combination of several distinct "trace-distance-type" criteria---which are, individually, non-composable security definitions. Additionally, we study the security of some known delegated quantum computation protocols, including Broadbent, Fitzsimons and Kashefi's Universal Blind Quantum Computation protocol. Even though these protocols were originally proposed with insufficient security criteria, they turn out to still be secure given the stronger composable definitions.Comment: 37+9 pages, 13 figures. v3: minor changes, new references. v2: extended the reduction between composable and local security to include entangled inputs, substantially rewritten the introduction to the Abstract Cryptography (AC) framewor

Impurity and quaternions in nonrelativistic scattering from a quantum memory

Models of quantum computing rely on transformations of the states of a quantum memory. We study mathematical aspects of a model proposed by Wu in which the memory state is changed via the scattering of incoming particles. This operation causes the memory content to deviate from a pure state, i.e. induces impurity. For nonrelativistic particles scattered from a two-state memory and sufficiently general interaction potentials in 1+1 dimensions, we express impurity in terms of quaternionic commutators. In this context, pure memory states correspond to null hyperbolic quaternions. In the case with point interactions, the scattering process amounts to appropriate rotations of quaternions in the frequency domain. Our work complements a previous analysis by Margetis and Myers (2006 J. Phys. A 39 11567--11581).Comment: 16 pages, no figure

A novel role for the root cap in phosphate uptake and homeostasis

The root cap has a fundamental role in sensing environmental cues as well as regulating root growth via altered meristem activity. Despite this well-established role in the control of developmental processes in roots, the root cap's function in nutrition remains obscure. Here, we uncover its role in phosphate nutrition by targeted cellular inactivation or phosphate transport complementation in Arabidopsis, using a transactivation strategy with an innovative high-resolution real-time P-33 imaging technique. Remarkably, the diminutive size of the root cap cells at the root-to-soil exchange surface accounts for a significant amount of the total seedling phosphate uptake (approximately 20%). This level of Pi absorption is sufficient for shoot biomass production (up to a 180% gain in soil), as well as repression of Pi starvation-induced genes. These results extend our understanding of this important tissue from its previously described roles in environmental perception to novel functions in mineral nutrition and homeostasis control

Geographical interdependence, international trade and economic dynamics: the Chinese and German solar energy industries

The trajectories of the German and Chinese photovoltaic industries differ significantly yet are strongly interdependent. Germany has seen a rapid growth in market demand and a strong increase in production, especially in the less developed eastern half of the country. Chinese growth has been export driven. These contrasting trajectories reflect the roles of market creation, investment and credit and the drivers of innovation and competitiveness. Consequent differences in competiveness have generated major trade disputes

Indoor risk factors for asthma and wheezing among Seattle school children

Indoor risk factors for physician-diagnosed asthma and wheezing in the past 12 months without previous asthma diagnosis were assessed in a survey of parents of 5-9-year-old Seattle primary school students. Among the 925 respondents, 106 (11%) reported a physician diagnosis of asthma, 66 (7%) had wheezing without diagnosis, and 753 (82%) were asymptomatic. After adjusting for age, sex, gender, ethnicity, medical history, socioeconomic status (SES) and parental asthma status, an increased risk of physician diagnosis of asthma was associated with household water damage, the presence of one or more household tobacco smokers, and at least occasional environmental tobacco smoke (ETS) exposure. Similarly, an increased risk of wheezing in the past 12 months among children without diagnosed asthma was associated with household water damage, presence of one or more household tobacco smokers, and occasional or more frequent ETS exposure. No increased risk of either condition was associated with gas, wood, or kerosene stove use, household mold, basement water, or wall/window dampness. Similarities in the indoor risk factors patterns between diagnosed asthma and wheezing without diagnosis suggested a similar etiology of these two conditions. The slightly higher association between ETS and asthma may indicate that parents of diagnosed asthmatics were more conscious of ETS, and were more likely to prohibit household smoking by resident smokers. Future research is needed to quantify which aspects of household water damage are related to respiratory illness

Greening Capitalism? A Marxist Critique of Carbon Markets

Climate change is increasingly being recognized as a serious threat to dominant modes of social organization, inspiring suggestions that capitalism itself needs to be transformed if we are to ‘decarbonize’ the global economy. Since the Kyoto Protocol in 1997, carbon markets have emerged as the main politico-economic tools in global efforts to address climate change. Newell and Paterson (2010) have recently claimed that the embrace of carbon markets by financial and political elites constitutes a possible first step towards the transformation of current modes of capitalist organization into a new form of greener, more sustainable ‘climate capitalism.’ In this paper, we argue that the institutionalization of carbon markets does not, in fact, represent a move towards the radical transformation of capitalism, but is better understood as the most recent expression of ongoing trends of ecological commodification and expropriation, driving familiar processes of uneven and crisis-prone development. In this paper, we review four critical Marxist concepts: metabolic rift (Foster, 1999), capitalism as world ecology (Moore, 2011a), uneven development and accumulation through dispossession (Harvey, 2003, 2006), and sub-imperialism (Marini, 1972, 1977), developing a framework for a Marxist analysis of carbon markets. Our analysis shows that carbon markets form part of a longer historical development of global capitalism and its relation to nature. Carbon markets, we argue, serve as creative new modes of accumulation, but are unlikely to transform capitalist dynamics in ways that might foster a more sustainable global economy. Our analysis also elucidates, in particular, the role that carbon markets play in exacerbating uneven development within the Global South, as elites in emerging economies leverage carbon market financing to pursue new strategies of sub-imperial expansion. </jats:p

Detecting the human fingerprint in the summer 2022 western–central European soil drought

In the 2022 summer, western–central Europe and several other regions in the northern extratropics experienced substantial soil moisture deficits in the wake of precipitation shortages and elevated temperatures. Much of Europe has not witnessed a more severe soil drought since at least the mid-20th century, raising the question whether this is a manifestation of our warming climate. Here, we employ a well-established statistical approach to attribute the low 2022 summer soil moisture to human-induced climate change using observation-driven soil moisture estimates and climate models. We find that in western–central Europe, a June–August root zone soil moisture drought such as in 2022 is expected to occur once in 20 years in the present climate but would have occurred only about once per century during preindustrial times. The entire northern extratropics show an even stronger global warming imprint with a 20-fold soil drought probability increase or higher, but we note that the underlying uncertainty is large. Reasons are manifold but include the lack of direct soil moisture observations at the required spatiotemporal scales, the limitations of remotely sensed estimates, and the resulting need to simulate soil moisture with land surface models driven by meteorological data. Nevertheless, observation-based products indicate long-term declining summer soil moisture for both regions, and this tendency is likely fueled by regional warming, while no clear trends emerge for precipitation. Finally, our climate model analysis suggests that under 2 ∘C global warming, 2022-like soil drought conditions would become twice as likely for western–central Europe compared to today and would take place nearly every year across the northern extratropics.</p