Iterative Approximate Consensus in the presence of Byzantine Link Failures

This paper explores the problem of reaching approximate consensus in synchronous point-to-point networks, where each directed link of the underlying communication graph represents a communication channel between a pair of nodes. We adopt the transient Byzantine link failure model [15, 16], where an omniscient adversary controls a subset of the directed communication links, but the nodes are assumed to be fault-free. Recent work has addressed the problem of reaching approximate consen- sus in incomplete graphs with Byzantine nodes using a restricted class of iterative algorithms that maintain only a small amount of memory across iterations [22, 21, 23, 12]. However, to the best of our knowledge, we are the first to consider approximate consensus in the presence of Byzan- tine links. We extend our past work that provided exact characterization of graphs in which the iterative approximate consensus problem in the presence of Byzantine node failures is solvable [22, 21]. In particular, we prove a tight necessary and sufficient condition on the underlying com- munication graph for the existence of iterative approximate consensus algorithms under transient Byzantine link model. The condition answers (part of) the open problem stated in [16].Comment: arXiv admin note: text overlap with arXiv:1202.609

Travelling on Graphs with Small Highway Dimension

We study the Travelling Salesperson (TSP) and the Steiner Tree problem (STP) in graphs of low highway dimension. This graph parameter was introduced by Abraham et al. [SODA 2010] as a model for transportation networks, on which TSP and STP naturally occur for various applications in logistics. It was previously shown [Feldmann et al. ICALP 2015] that these problems admit a quasi-polynomial time approximation scheme (QPTAS) on graphs of constant highway dimension. We demonstrate that a significant improvement is possible in the special case when the highway dimension is 1, for which we present a fully-polynomial time approximation scheme (FPTAS). We also prove that STP is weakly NP-hard for these restricted graphs. For TSP we show NP-hardness for graphs of highway dimension 6, which answers an open problem posed in [Feldmann et al. ICALP 2015]

Who will use pre-exposure prophylaxis (PrEP) and why?: Understanding PrEP awareness and acceptability amongst men who have sex with men in the UK – a mixed methods study

Background: Recent clinical trials suggest that pre-exposure prophylaxis (PrEP) may reduce HIV transmission by up to 86% for men who have sex with men (MSM), whilst relatively high levels of PrEP acceptability have been reported to date. This study examines PrEP awareness amongst sub-groups of MSM communities and acceptability amongst MSM in a low prevalence region (Scotland, UK), using a mixed methods design. Methods: Quantitative surveys of n = 690 MSM recruited online via social and sociosexual media were analysed using descriptive statistics and multivariate logistic regression. In addition, n = 10 in-depth qualitative interviews with MSM were analysed thematically. Results: Under one third (29.7%) of MSM had heard of PrEP, with awareness related to living in large cities, degree level education, commercial gay scene use and reporting an HIV test in the last year. Just under half of participants (47.8%) were likely to use PrEP if it were available but there was no relationship between PrEP acceptability and previous PrEP awareness. Younger men (18–25 years) and those who report higher risk UAI were significantly more likely to say they would use PrEP. Qualitative data described specific PrEP scenarios, illustrating how risk, patterns of sexual practice and social relationships could affect motivation for and nature of PrEP use. Conclusion: These findings suggest substantial interest PrEP amongst MSM reporting HIV risk behaviours in Scotland. Given the Proud results, there is a strong case to investigate PrEP implementation within the UK. However, it appears that disparities in awareness have already emerged along traditional indicators of inequality. Our research identifies the need for comprehensive support when PrEP is introduced, including a key online component, to ensure equity of awareness across diverse MSM communities (e.g. by geography, education, gay scene use and HIV proximity), as well as to responding to the diverse informational and sexual health needs of all MSM communities

Non-equilibrium coherence dynamics in one-dimensional Bose gases

Low-dimensional systems are beautiful examples of many-body quantum physics. For one-dimensional systems the Luttinger liquid approach provides insight into universal properties. Much is known of the equilibrium state, both in the weakly and strongly interacting regime. However, it remains a challenge to probe the dynamics by which this equilibrium state is reached. Here we present a direct experimental study of the coherence dynamics in both isolated and coupled degenerate 1d Bose gases. Dynamic splitting is used to create two 1d systems in a phase coherent state. The time evolution of the coherence is revealed in local phase shifts of the subsequently observed interference patterns. Completely isolated 1d Bose gases are observed to exhibit a universal sub-exponential coherence decay in excellent agreement with recent predictions by Burkov et al. [Phys. Rev. Lett. 98, 200404 (2007)]. For two coupled 1d Bose gases the coherence factor is observed to approach a non-zero equilibrium value as predicted by a Bogoliubov approach. This coupled-system decay to finite coherence is the matter wave equivalent of phase locking two lasers by injection. The non-equilibrium dynamics of superfluids plays an important role in a wide range of physical systems, such as superconductors, quantum-Hall systems, superfluid Helium, and spin systems. Our experiments studying coherence dynamics show that 1d Bose gases are ideally suited for investigating this class of phenomena.Comment: to appear in natur

On the Complexity of Case-Based Planning

We analyze the computational complexity of problems related to case-based planning: planning when a plan for a similar instance is known, and planning from a library of plans. We prove that planning from a single case has the same complexity than generative planning (i.e., planning "from scratch"); using an extended definition of cases, complexity is reduced if the domain stored in the case is similar to the one to search plans for. Planning from a library of cases is shown to have the same complexity. In both cases, the complexity of planning remains, in the worst case, PSPACE-complete

Accessibility-based reranking in multimedia search engines

Traditional multimedia search engines retrieve results based mostly on the query submitted by the user, or using a log of previous searches to provide personalized results, while not considering the accessibility of the results for users with vision or other types of impairments. In this paper, a novel approach is presented which incorporates the accessibility of images for users with various vision impairments, such as color blindness, cataract and glaucoma, in order to rerank the results of an image search engine. The accessibility of individual images is measured through the use of vision simulation filters. Multi-objective optimization techniques utilizing the image accessibility scores are used to handle users with multiple vision impairments, while the impairment profile of a specific user is used to select one from the Pareto-optimal solutions. The proposed approach has been tested with two image datasets, using both simulated and real impaired users, and the results verify its applicability. Although the proposed method has been used for vision accessibility-based reranking, it can also be extended for other types of personalization context

Mouse models for preeclampsia: disruption of redox-regulated signaling

The concept that oxidative stress contributes to the development of human preeclampsia has never been tested in genetically-defined animal models. Homozygous deletion of catechol-Omethyl transferase (Comt-/-) in pregnant mice leads to human preeclampsia-like symptoms (high blood pressure, albuminurea and preterm birth) resulting from extensive vasculo-endothelial pathology, primarily at the utero-fetal interface where maternal cardiac output is dramatically increased during pregnancy. Comt converts estradiol to 2-methoxyestradiol 2 (2ME2) which counters angiogenesis by depleting hypoxia inducible factor-1 alpha (HIF-1 alpha) at late pregnancy. We propose that in wild type (Comt++) pregnant mice, 2ME2 destabilizes HIF-1 alpha by inhibiting mitochondrial superoxide dismutase (MnSOD). Thus, 2ME2 acts as a pro-oxidant, disrupting redox-regulated signaling which blocks angiogenesis in wild type (WT) animals in physiological pregnancy. Further, we suggest that a lack of this inhibition under normoxic conditions in mutant animals (Comt-/-) stabilises HIF-1 alpha by inactivating prolyl hydroxlases (PHD). We predict that a lack of inhibition of MnSOD, leading to persistent accumulation of HIF-1 alpha, would trigger inflammatory infiltration and endothelial damage in mutant animals. Critical tests of this hypothesis would be to recreate preeclampsia symptoms by inducing oxidative stress in WT animals or to ameliorate by treating mutant mice with Mn-SOD-catalase mimetics or activators of PHD

Aspects of holography for theories with hyperscaling violation

We analyze various aspects of the recently proposed holographic theories with general dynamical critical exponent z and hyperscaling violation exponent $\theta$. We first find the basic constraints on $z, \theta$ from the gravity side, and compute the stress-energy tensor expectation values and scalar two-point functions. Massive correlators exhibit a nontrivial exponential behavior at long distances, controlled by $\theta$. At short distance, the two-point functions become power-law, with a universal form for $\theta > 0$. Next, the calculation of the holographic entanglement entropy reveals the existence of novel phases which violate the area law. The entropy in these phases has a behavior that interpolates between that of a Fermi surface and that exhibited by systems with extensive entanglement entropy. Finally, we describe microscopic embeddings of some $\theta \neq 0$ metrics into full string theory models -- these metrics characterize large regions of the parameter space of Dp-brane metrics for $p\neq 3$. For instance, the theory of N D2-branes in IIA supergravity has z=1 and $\theta = -1/3$ over a wide range of scales, at large $g_s N$.Comment: 35 pages; v2: new references added; v3: proper reference [14] added; v4: minor clarification