Unit Interval Editing is Fixed-Parameter Tractable

Given a graph~$G$ and integers $k_1$, $k_2$, and~$k_3$, the unit interval editing problem asks whether $G$ can be transformed into a unit interval graph by at most $k_1$ vertex deletions, $k_2$ edge deletions, and $k_3$ edge additions. We give an algorithm solving this problem in time $2^{O(k\log k)}\cdot (n+m)$, where $k := k_1 + k_2 + k_3$, and $n, m$ denote respectively the numbers of vertices and edges of $G$. Therefore, it is fixed-parameter tractable parameterized by the total number of allowed operations. Our algorithm implies the fixed-parameter tractability of the unit interval edge deletion problem, for which we also present a more efficient algorithm running in time $O(4^k \cdot (n + m))$. Another result is an $O(6^k \cdot (n + m))$-time algorithm for the unit interval vertex deletion problem, significantly improving the algorithm of van 't Hof and Villanger, which runs in time $O(6^k \cdot n^6)$.Comment: An extended abstract of this paper has appeared in the proceedings of ICALP 2015. Update: The proof of Lemma 4.2 has been completely rewritten; an appendix is provided for a brief overview of related graph classe

Quantum-secure message authentication via blind-unforgeability

Formulating and designing unforgeable authentication of classical messages in the presence of quantum adversaries has been a challenge, as the familiar classical notions of unforgeability do not directly translate into meaningful notions in the quantum setting. A particular difficulty is how to fairly capture the notion of "predicting an unqueried value" when the adversary can query in quantum superposition. In this work, we uncover serious shortcomings in existing approaches, and propose a new definition. We then support its viability by a number of constructions and characterizations. Specifically, we demonstrate a function which is secure according to the existing definition by Boneh and Zhandry, but is clearly vulnerable to a quantum forgery attack, whereby a query supported only on inputs that start with 0 divulges the value of the function on an input that starts with 1. We then propose a new definition, which we call "blind-unforgeability" (or BU.) This notion matches "intuitive unpredictability" in all examples studied thus far. It defines a function to be predictable if there exists an adversary which can use "partially blinded" oracle access to predict values in the blinded region. Our definition (BU) coincides with standard unpredictability (EUF-CMA) in the classical-query setting. We show that quantum-secure pseudorandom functions are BU-secure MACs. In addition, we show that BU satisfies a composition property (Hash-and-MAC) using "Bernoulli-preserving" hash functions, a new notion which may be of independent interest. Finally, we show that BU is amenable to security reductions by giving a precise bound on the extent to which quantum algorithms can deviate from their usual behavior due to the blinding in the BU security experiment.Comment: 23+9 pages, v3: published version, with one theorem statement in the summary of results correcte

The magical realism of body counts: How media credulity and flawed statistics sustain a controversial policy

The drone war in Pakistan poses humanitarian, legal, ethical and political challenges. The tactic is controversial and has been condemned by the United Nations’ special rapporteur on extrajudicial killings. Yet, polls have shown high support for the tactic in the United States (and to a lesser degree in the United Kingdom). Much of this has to do with the media reporting on the war, which consistently underestimates its human toll. Dubious statistics have sustained the image of a surgical war with little collateral damage. But as this article shows, there are reasons to doubt these numbers. The article argues that two interrelated factors have contributed to a flawed accounting of the war’s human toll: (1) rituals of objectivity that privilege ‘official sources’ and (2) fetishizing of statistics as hard facts without regard for the underlying data. The coverage has also been distorted by news values that downplay or ignore deaths in distant places unless they cross an inordinately high threshold

Global Analysis of the Higgs Candidate with Mass ~ 125 GeV

We analyze the properties of the Higgs candidate with mass ~ 125 GeV discovered by the CMS and ATLAS Collaborations, constraining the possible deviations of its couplings from those of a Standard Model Higgs boson. The CMS, ATLAS and Tevatron data are compatible with Standard Model couplings to massive gauge bosons and fermions, and disfavour several types of composite Higgs models unless their couplings resemble those in the Standard Model. We show that the couplings of the Higgs candidate are consistent with a linear dependence on particle masses, scaled by the electroweak scale ~ 246 GeV, the power law and the mass scale both having uncertainties ~ 20%.Comment: 22 pages, 9 figures, v2 incorporates experimental data released during July 2012 and corrected (and improved) treatment of mass dependence of coupling

Asymmetric Origin for Gravitino Relic Density in the Hybrid Gravity-Gauge Mediated Supersymmetry Breaking

We propose the hybrid gravity-gauge mediated supersymmetry breaking where the gravitino mass is about several GeV. The strong constraints on supersymmetry viable parameter space from the CMS and ATLAS experiments at the LHC can be relaxed due to the heavy colored supersymmetric particles, and it is consistent with null results in the dark matter (DM) direct search experiments such as XENON100. In particular, the possible maximal flavor and CP violations from the relatively small gravity mediation may naturally account for the recent LHCb anomaly. In addition, because the gravitino mass is around the asymmetric DM mass, we propose the asymmetric origin of the gravitino relic density and solve the cosmological coincident problem on the DM and baryon densities \Omega_{\rm DM}:\Omega_{B}\approx 5:1. The gravitino relic density arises from asymmetric metastable particle (AMP) late decay. However, we show that there is no AMP candidate in the minimal supersymmetric Standard Model (SM) due to the robust gaugino/Higgsino mediated wash-out effects. Interestingly, AMP can be realized in the well motivated supersymmetric SMs with vector-like particles or continuous U(1)_R symmetry. Especially, the lightest CP-even Higgs boson mass can be lifted in the supersymmetric SMs with vector-like particles.Comment: RevTex4, 21 pages, 1 figure, minor corrections, JHEP versio

WIMP-nucleus scattering in chiral effective theory

We discuss long-distance QCD corrections to the WIMP-nucleon(s) interactions in the framework of chiral effective theory. For scalar-mediated WIMP-quark interactions, we calculate all the next-to-leading-order corrections to the WIMP-nucleus elastic cross-section, including two-nucleon amplitudes and recoil-energy dependent shifts to the single-nucleon scalar form factors. As a consequence, the scalar-mediated WIMP-nucleus cross-section cannot be parameterized in terms of just two quantities, namely the neutron and proton scalar form factors at zero momentum transfer, but additional parameters appear, depending on the short-distance WIMP-quark interaction. Moreover, multiplicative factorization of the cross-section into particle, nuclear and astro-particle parts is violated. In practice, while the new effects are of the natural size expected by chiral power counting, they become very important in those regions of parameter space where the leading order WIMP-nucleus amplitude is suppressed, including the so-called "isospin-violating dark matter" regime. In these regions of parameter space we find order-of-magnitude corrections to the total scattering rates and qualitative changes to the shape of recoil spectra.Comment: 23 pages, 6 figures, 1 tabl

30 days wild: development and evaluation of a large-scale nature engagement campaign to improve well-being

There is a need to increase people’s engagement with and connection to nature, both for human well-being and the conservation of nature itself. In order to suggest ways for people to engage with nature and create a wider social context to normalise nature engagement, The Wildlife Trusts developed a mass engagement campaign, 30 Days Wild. The campaign asked people to engage with nature every day for a month. 12,400 people signed up for 30 Days Wild via an online sign-up with an estimated 18,500 taking part overall, resulting in an estimated 300,000 engagements with nature by participants. Samples of those taking part were found to have sustained increases in happiness, health, connection to nature and pro-nature behaviours. With the improvement in health being predicted by the improvement in happiness, this relationship was mediated by the change in connection to nature

Single-Scale Natural SUSY

We consider the prospects for natural SUSY models consistent with current data. Recent constraints make the standard paradigm unnatural so we consider what could be a minimal extension consistent with what we now know. The most promising such scenarios extend the MSSM with new tree-level Higgs interactions that can lift its mass to at least 125 GeV and also allow for flavor-dependent soft terms so that the third generation squarks are lighter than current bounds on the first and second generation squarks. We argue that a common feature of almost all such models is the need for a new scale near 10 TeV, such as a scale of Higgsing or confinement of a new gauge group. We consider the question whether such a model can naturally derive from a single mass scale associated with supersymmetry breaking. Most such models simply postulate new scales, leaving their proximity to the scale of MSSM soft terms a mystery. This coincidence problem may be thought of as a mild tuning, analogous to the usual mu problem. We find that a single mass scale origin is challenging, but suggest that a more natural origin for such a new dynamical scale is the gravitino mass, m_{3/2}, in theories where the MSSM soft terms are a loop factor below m_{3/2}. As an example, we build a variant of the NMSSM where the singlet S is composite, and the strong dynamics leading to compositeness is triggered by masses of order m_{3/2} for some fields. Our focus is the Higgs sector, but our model is compatible with a light stop (with the other generation squarks heavy, or with R-parity violation or another mechanism to hide them from current searches). All the interesting low-energy mass scales, including linear terms for S playing a key role in EWSB, arise dynamically from the single scale m_{3/2}. However, numerical coefficients from RG effects and wavefunction factors in an extra dimension complicate the otherwise simple story.Comment: 32 pages, 3 figures; version accepted by JHE

One-Loop Calculation of the Oblique S Parameter in Higgsless Electroweak Models

We present a one-loop calculation of the oblique S parameter within Higgsless models of electroweak symmetry breaking and analyze the phenomenological implications of the available electroweak precision data. We use the most general effective Lagrangian with at most two derivatives, implementing the chiral symmetry breaking SU(2)_L x SU(2)_R -> SU(2)_{L+R} with Goldstones, gauge bosons and one multiplet of vector and axial-vector massive resonance states. Using the dispersive representation of Peskin and Takeuchi and imposing the short-distance constraints dictated by the operator product expansion, we obtain S at the NLO in terms of a few resonance parameters. In asymptotically-free gauge theories, the final result only depends on the vector-resonance mass and requires M_V > 1.8 TeV (3.8 TeV) to satisfy the experimental limits at the 3 \sigma (1\sigma) level; the axial state is always heavier, we obtain M_A > 2.5 TeV (6.6 TeV) at 3\sigma (1\sigma). In strongly-coupled models, such as walking or conformal technicolour, where the second Weinberg sum rule does not apply, the vector and axial couplings are not determined by the short-distance constraints; but one can still derive a lower bound on S, provided the hierarchy M_V < M_A remains valid. Even in this less constrained situation, we find that in order to satisfy the experimental limits at 3\sigma one needs M_{V,A} > 1.8 TeV.Comment: 34 pages, 9 figures. Version published in JHEP. Some references and sentences have been added to facilitate the discussio

Semi-local quantum liquids

Gauge/gravity duality applied to strongly interacting systems at finite density predicts a universal intermediate energy phase to which we refer as a semi-local quantum liquid. Such a phase is characterized by a finite spatial correlation length, but an infinite correlation time and associated nontrivial scaling behavior in the time direction, as well as a nonzero entropy density. For a holographic system at a nonzero chemical potential, this unstable phase sets in at an energy scale of order of the chemical potential, and orders at lower energies into other phases; examples include superconductors and antiferromagnetic-type states. In this paper we give examples in which it also orders into Fermi liquids of "heavy" fermions. While the precise nature of the lower energy state depends on the specific dynamics of the individual system, we argue that the semi-local quantum liquid emerges universally at intermediate energies through deconfinement (or equivalently fractionalization). We also discuss the possible relevance of such a semi-local quantum liquid to heavy electron systems and the strange metal phase of high temperature cuprate superconductors.Comment: 31 pages, 7 figure