Algorithms for Game Metrics

Simulation and bisimulation metrics for stochastic systems provide a quantitative generalization of the classical simulation and bisimulation relations. These metrics capture the similarity of states with respect to quantitative specifications written in the quantitative {\mu}-calculus and related probabilistic logics. We first show that the metrics provide a bound for the difference in long-run average and discounted average behavior across states, indicating that the metrics can be used both in system verification, and in performance evaluation. For turn-based games and MDPs, we provide a polynomial-time algorithm for the computation of the one-step metric distance between states. The algorithm is based on linear programming; it improves on the previous known exponential-time algorithm based on a reduction to the theory of reals. We then present PSPACE algorithms for both the decision problem and the problem of approximating the metric distance between two states, matching the best known algorithms for Markov chains. For the bisimulation kernel of the metric our algorithm works in time O(n^4) for both turn-based games and MDPs; improving the previously best known O(n^9\cdot log(n)) time algorithm for MDPs. For a concurrent game G, we show that computing the exact distance between states is at least as hard as computing the value of concurrent reachability games and the square-root-sum problem in computational geometry. We show that checking whether the metric distance is bounded by a rational r, can be done via a reduction to the theory of real closed fields, involving a formula with three quantifier alternations, yielding O(|G|^O(|G|^5)) time complexity, improving the previously known reduction, which yielded O(|G|^O(|G|^7)) time complexity. These algorithms can be iterated to approximate the metrics using binary search.Comment: 27 pages. Full version of the paper accepted at FSTTCS 200

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

Anomaly and quantum corrections to solitons in two-dimensional theories with minimal supersymmetry

We reexamine the issue of the soliton mass in two-dimensional models with N =1 supersymmetry. The superalgebra has a central extension, and at the classical level the soliton solution preserves 1/2 of supersymmetry which is equivalent to BPS saturation. We prove that the property of BPS saturation, i.e. the equality of the soliton mass to the central charge, remains intact at the quantum level in all orders of the weak coupling expansion. Our key finding is an anomaly in the expression for the central charge. The classical central charge, equal to the jump of the superpotential, is amended by an anomalous term proportional to the second derivative of the superpotential. The anomaly is established by various methods in explicit one-loop calculations. We argue that this one-loop result is not affected by higher orders. We discuss in detail how the impact of the boundary conditions can be untangled from the soliton mass calculation. In particular, the soliton profile and the energy distribution are found at one loop. A "supersymmetry" in the soliton mass calculations in the non-supersymmetric models is observed.Comment: 50 pages, LaTex, 2 figures. The version exactly matching that published in Phys.Rev. D. The most essential addition is a footnote, clarifying multiplet shortenin

Relationship between health-related quality of life and respiratory health status among coal-based sponge iron plant workers in Barjora, India

Background: Many coal-based sponge iron plant workers have poor health-related quality of life in general, and specifically a poor respiratory health status. However, the relationship between their health-related quality of life and respiratory health status is unknown. Aim: This study investigated the relationship between health related quality of life, measured using the EuroQol- 5D (EQ5D), and respiratory health status, measured using the St. George’s Respiratory Questionnaire (SGRQ), among coal-based sponge iron plant workers in Barjora, India. Method: A cross-sectional study was conducted among coalbased sponge iron plant workers in Barjora, and complete data were available on 252 participants. Spearman’s rank correlation coefficients were reported to show the strength of relationship between health-related quality of life and respiratory health status. Results and conclusion: Significant correlations were found between all EQ5D dimensions/visual analogue scale (VAS) and all SGRQ scores except between EQ5D-VAS and SGRQ-activity. A range of correlations was found. They were moderate between EQ5D-anxiety/depression and SGRQ-symptom, EQ5D-VAS and SGRQ-symptom, and EQ5D-anxiety/depression and SGRQ-total, but weak between all the other factors

First measurement of the Hubble Constant from a Dark Standard Siren using the Dark Energy Survey Galaxies and the LIGO/Virgo Binary–Black-hole Merger GW170814

International audienceWe present a multi-messenger measurement of the Hubble constant H 0 using the binary–black-hole merger GW170814 as a standard siren, combined with a photometric redshift catalog from the Dark Energy Survey (DES). The luminosity distance is obtained from the gravitational wave signal detected by the Laser Interferometer Gravitational-Wave Observatory (LIGO)/Virgo Collaboration (LVC) on 2017 August 14, and the redshift information is provided by the DES Year 3 data. Black hole mergers such as GW170814 are expected to lack bright electromagnetic emission to uniquely identify their host galaxies and build an object-by-object Hubble diagram. However, they are suitable for a statistical measurement, provided that a galaxy catalog of adequate depth and redshift completion is available. Here we present the first Hubble parameter measurement using a black hole merger. Our analysis results in , which is consistent with both SN Ia and cosmic microwave background measurements of the Hubble constant. The quoted 68% credible region comprises 60% of the uniform prior range [20, 140] km s−1 Mpc−1, and it depends on the assumed prior range. If we take a broader prior of [10, 220] km s−1 Mpc−1, we find (57% of the prior range). Although a weak constraint on the Hubble constant from a single event is expected using the dark siren method, a multifold increase in the LVC event rate is anticipated in the coming years and combinations of many sirens will lead to improved constraints on H 0

GW170104: Observation of a 50-Solar-Mass Binary Black Hole Coalescence at Redshift 0.2

We describe the observation of GW170104, a gravitational-wave signal produced by the coalescence of a pair of stellar-mass black holes. The signal was measured on January 4, 2017 at 10: 11: 58.6 UTC by the twin advanced detectors of the Laser Interferometer Gravitational-Wave Observatory during their second observing run, with a network signal-to-noise ratio of 13 and a false alarm rate less than 1 in 70 000 years. The inferred component black hole masses are 31.2(-6.0)(+8.4)M-circle dot and 19.4(-5.9)(+5.3)M(circle dot) (at the 90% credible level). The black hole spins are best constrained through measurement of the effective inspiral spin parameter, a mass-weighted combination of the spin components perpendicular to the orbital plane, chi(eff) = -0.12(-0.30)(+0.21) . This result implies that spin configurations with both component spins positively aligned with the orbital angular momentum are disfavored. The source luminosity distance is 880(-390)(+450) Mpc corresponding to a redshift of z = 0.18(-0.07)(+0.08) . We constrain the magnitude of modifications to the gravitational-wave dispersion relation and perform null tests of general relativity. Assuming that gravitons are dispersed in vacuum like massive particles, we bound the graviton mass to m(g) &lt;= 7.7 x 10(-23) eV/c(2). In all cases, we find that GW170104 is consistent with general relativity

Cancer survivors’ experiences of a community-based cancer-specific exercise programme: results of an exploratory survey

Purpose Exercise levels often decline following cancer diagnosis despite growing evidence of its benefits. Treatment side-effects, older age, lack of confidence and opportunity to exercise with others in similar circumstances influence this. Our study explored the experiences of people attending a cancer-specific community-based exercise programme (CU Fitter™). Methods A survey distributed to those attending the programme gathered demographic/clinical information, self-reported exercise levels, information provision and barriers to/benefits of exercise. Results Sixty surveys were evaluable from 65/100 returned (62% female, 68% >60yrs, 66% breast/prostate cancer). Most (68%) were receiving treatment. 68% attended classes once or twice weekly. 55% received exercise advice after diagnosis, usually from their hospital doctor/nurse. More (73%) had read about exercising, but less used the internet to source information (32%). Self-reported exercise levels were higher currently than before diagnosis (p=0.05). 48% said their primary barrier to exercising was the physical impact of cancer/treatment. Improving fitness/health (40%) and social support (16%) were the most important gains from the programme. Many (67%) had made other lifestyle changes and intented to keep (50%), or increase (30%) exercising. Conclusions This community-based cancer-specific exercise approach engaged people with cancer and showed physical, psychological, and social benefits. Implications for cancer survivors Community grown exercise initiatives bring cancer survivors together creating their own supportive environment. Combining this with instructors familiar with the population and providing an open-ended service may prove particularly motivating and beneficial. Further work is required to provide evidence for this