Decidability Results for Multi-objective Stochastic Games

We study stochastic two-player turn-based games in which the objective of one player is to ensure several infinite-horizon total reward objectives, while the other player attempts to spoil at least one of the objectives. The games have previously been shown not to be determined, and an approximation algorithm for computing a Pareto curve has been given. The major drawback of the existing algorithm is that it needs to compute Pareto curves for finite horizon objectives (for increasing length of the horizon), and the size of these Pareto curves can grow unboundedly, even when the infinite-horizon Pareto curve is small. By adapting existing results, we first give an algorithm that computes the Pareto curve for determined games. Then, as the main result of the paper, we show that for the natural class of stopping games and when there are two reward objectives, the problem of deciding whether a player can ensure satisfaction of the objectives with given thresholds is decidable. The result relies on intricate and novel proof which shows that the Pareto curves contain only finitely many points. As a consequence, we get that the two-objective discounted-reward problem for unrestricted class of stochastic games is decidable.Comment: 35 page

Games on graphs with a public signal monitoring

We study pure Nash equilibria in games on graphs with an imperfect monitoring based on a public signal. In such games, deviations and players responsible for those deviations can be hard to detect and track. We propose a generic epistemic game abstraction, which conveniently allows to represent the knowledge of the players about these deviations, and give a characterization of Nash equilibria in terms of winning strategies in the abstraction. We then use the abstraction to develop algorithms for some payoff functions.Comment: 28 page

Zero Temperature Chiral Phase Transition in (2+1)-Dimensional QED with a Chern-Simons Term

We investigate the zero temperature chiral phase transition in (2+1)-dimensional QED in the presence of a Chern-Simons term, changing the number of fermion flavors. In the symmetric phase, there are no light degrees of freedom even at the critical point. Unlike the case without a Chern-Simons term, the phase transition is first-order.Comment: 7 pages, RevTeX, no figure

Development of infrared sensors using energy transfer/energy upconversion processes: Study of laser excited fluorescence in rare Earth ion doped crystals

A summary is presented of the spectroscopic study of three systems: LaF3:Ho(3+), LaF3:Er(3+) and CaF2:Nd(3+). When the D levels of Ho(3+) in LaF3 were resonantly excited with a laser beam of 640 nm, upconverted emissions were detected from J (416 nm), F (485 nm), and E (546 nm) levels. Energy upconverted emissions were also observed from F and E levels of Ho(3+) when the material was excited with an 800 nm near infrared laser. When the D levels of Er(3+) in LaF3 were resonantly excited with a laser beam of 637 nm, upconverted emissions were detected from the E (540 nm) and P (320, 400, and 468 nm) levels. Energy upconverted emissions were also observed from F, E, and D levels of Er(3+) when the material was resonantly excited with an 804 nm near infrared laser. When the D levels of Nd(3+) in CaF2 were resonantly excited with a laser beam of 577 nm, upconverted emissions were detected from the L (360 and 382 nm), K (418 nm), and I (432 nm) levels. Very weak upconverted emissions were detected when this system was irradiated with a near infrared laser. The numbers in parentheses are the wavelengths of the emissions

Culturally safe speech-language supports for First Nations children: Achieving Sustainable Development Goals 3, 4, 8 and 10

Purpose: Self-determination is foundational to health and well-being for First Nations people. Colonisation has undermined self-determination and widespread effects are observed as disparities in health and well-being. Chronic middle ear disease is more highly prevalent in First Nations children, is associated with delays in speech and language and lower levels of educational readiness. However, there is a paucity of culturally and linguistically sensitive speech-language assessments and habilitation services globally. Focussing on high-income colonial-settler countries (including United States, Canada, Australia and New Zealand), where health disparities are significant, we aim to discuss the importance of and the challenges in providing culturally safe care to First Nations children with communication disabilities. Result: To be effective, both cultural and linguistic diversity and cultural safety must be considered in all aspects of assessment and intervention. Furthermore, speech-language pathologists must be equipped to work with First Nations children with communication disorders. Conclusion: To optimally support First Nations’ children with communication disabilities, services need to be culturally safe, family-centred and strengths-based. This commentary focuses on the United Nations Sustainable Development Goals (SDGs)3, 4, 8 and 10

Multiplayer Cost Games with Simple Nash Equilibria

Multiplayer games with selfish agents naturally occur in the design of distributed and embedded systems. As the goals of selfish agents are usually neither equivalent nor antagonistic to each other, such games are non zero-sum games. We study such games and show that a large class of these games, including games where the individual objectives are mean- or discounted-payoff, or quantitative reachability, and show that they do not only have a solution, but a simple solution. We establish the existence of Nash equilibria that are composed of k memoryless strategies for each agent in a setting with k agents, one main and k-1 minor strategies. The main strategy describes what happens when all agents comply, whereas the minor strategies ensure that all other agents immediately start to co-operate against the agent who first deviates from the plan. This simplicity is important, as rational agents are an idealisation. Realistically, agents have to decide on their moves with very limited resources, and complicated strategies that require exponential--or even non-elementary--implementations cannot realistically be implemented. The existence of simple strategies that we prove in this paper therefore holds a promise of implementability.Comment: 23 page

Contrasting Effects of Varicose Vein Surgery on Endothelial-dependent and -independent Cutaneous Vasodilation in the Perimalleolar Region

AbstractObjectivesTo evaluate the effects of varicose vein surgery on cutaneous microvascular perfusion and vasodilator responses to acetylcholine (Ach) and sodium nitroprusside (SNP) in the gaiter area of patients with great saphenous vein insufficiency.MethodsTwenty-nine patients with isolated great saphenous vein incompetence attended three study mornings (before surgery, and 6–8 weeks and 6 months after sapheno-femoral ligation+partial stripping) during which cutaneous microvascular responses were measured in the supine and standing positions using laser Doppler fluximetry (LDF) combined with incremental-dose iontophoretic administration of endothelial-dependent (Ach) and -independent (SNP) vasodilators.ResultsVaricose vein surgery had no significant effect on baseline cutaneous perfusion or the microvascular response to Ach: e.g. peak vasodilator responses to the 1000μC stimulus were mean 58 SEM 7, 64 SEM 6 and 65 SEM 7PU on the pre-operative, 6–8 weeks and 6 months assessments. In contrast, the corresponding responses to SNP were significantly increased following surgery: e.g. at 2000μC, mean 63 SEM 9, 142 SEM 4 and 157 SEM 9PU (p<0.0001) in the upright position.ConclusionsSapheno-femoral ligation and partial stripping in patients with great saphenous vein insufficiency improves endothelial-independent cutaneous vasodilator function at the gaiter area, which may at least partly explain the benefits of surgery in reducing the risk of venous ulceration

Axiomatic Bargaining Theory on Opportunity Assignments

This paper discusses issues of axiomatic bargaining problems over opportunity assignments. The fair arbitrator uses the principle of "equal opportunity" for all players to make the recommendation on re- source allocations. A framework in such a context is developed and several classical solutions to standard bargaining problems are reformulated and axiomatically characterized. Working Paper 06-4

The Complexity of Nash Equilibria in Simple Stochastic Multiplayer Games

We analyse the computational complexity of finding Nash equilibria in simple stochastic multiplayer games. We show that restricting the search space to equilibria whose payoffs fall into a certain interval may lead to undecidability. In particular, we prove that the following problem is undecidable: Given a game G, does there exist a pure-strategy Nash equilibrium of G where player 0 wins with probability 1. Moreover, this problem remains undecidable if it is restricted to strategies with (unbounded) finite memory. However, if mixed strategies are allowed, decidability remains an open problem. One way to obtain a provably decidable variant of the problem is restricting the strategies to be positional or stationary. For the complexity of these two problems, we obtain a common lower bound of NP and upper bounds of NP and PSPACE respectively.Comment: 23 pages; revised versio

Random Fixed Point of Three-Dimensional Random-Bond Ising Models

The fixed-point structure of three-dimensional bond-disordered Ising models is investigated using the numerical domain-wall renormalization-group method. It is found that, in the +/-J Ising model, there exists a non-trivial fixed point along the phase boundary between the paramagnetic and ferromagnetic phases. The fixed-point Hamiltonian of the +/-J model numerically coincides with that of the unfrustrated random Ising models, strongly suggesting that both belong to the same universality class. Another fixed point corresponding to the multicritical point is also found in the +/-J model. Critical properties associated with the fixed point are qualitatively consistent with theoretical predictions.Comment: 4 pages, 5 figures, to be published in Journal of the Physical Society of Japa