On the NP-Hardness of Approximating Ordering Constraint Satisfaction Problems

We show improved NP-hardness of approximating Ordering Constraint Satisfaction Problems (OCSPs). For the two most well-studied OCSPs, Maximum Acyclic Subgraph and Maximum Betweenness, we prove inapproximability of $14/15+\epsilon$ and $1/2+\epsilon$. An OCSP is said to be approximation resistant if it is hard to approximate better than taking a uniformly random ordering. We prove that the Maximum Non-Betweenness Problem is approximation resistant and that there are width-$m$ approximation-resistant OCSPs accepting only a fraction $1 / (m/2)!$ of assignments. These results provide the first examples of approximation-resistant OCSPs subject only to P $\neq$ \NP

CARET analysis of multithreaded programs

Dynamic Pushdown Networks (DPNs) are a natural model for multithreaded programs with (recursive) procedure calls and thread creation. On the other hand, CARET is a temporal logic that allows to write linear temporal formulas while taking into account the matching between calls and returns. We consider in this paper the model-checking problem of DPNs against CARET formulas. We show that this problem can be effectively solved by a reduction to the emptiness problem of B\"uchi Dynamic Pushdown Systems. We then show that CARET model checking is also decidable for DPNs communicating with locks. Our results can, in particular, be used for the detection of concurrent malware.Comment: Pre-proceedings paper presented at the 27th International Symposium on Logic-Based Program Synthesis and Transformation (LOPSTR 2017), Namur, Belgium, 10-12 October 2017 (arXiv:1708.07854

Unzipping Kinetics of Double-Stranded DNA in a Nanopore

We studied the unzipping kinetics of single molecules of double-stranded DNA by pulling one of their two strands through a narrow protein pore. PCR analysis yielded the first direct proof of DNA unzipping in such a system. The time to unzip each molecule was inferred from the ionic current signature of DNA traversal. The distribution of times to unzip under various experimental conditions fit a simple kinetic model. Using this model, we estimated the enthalpy barriers to unzipping and the effective charge of a nucleotide in the pore, which was considerably smaller than previously assumed.Comment: 10 pages, 5 figures, Accepted: Physics Review Letter

Egg development, hatching rhythm and moult patterns in Paralomos spinosissima (Decapoda: Anomura: Paguroidea: Lithodidae) from South Georgia waters (Southern Ocean)

Larval release, hatching rhythms and moult patterns were examined in a captive population of the subantarctic lithodid, Paralomis spinosissima from the South Georgia and Shag Rocks region. Larvae hatched throughout the year with the majority of females starting to release larvae at the end of the austral summer and beginning of autumn. Larval release continued over a period of up to 9 weeks with high variability in the numbers that hatched each day. A similar seasonal pattern to hatching was evident in the moulting of females. Intermoult period for two adult females (CL = 63 and 85 mm) ranged from 894 to 1,120 days while an intermoult period for males was estimated to be in excess of 832 days. The results are consistent with other species of Paralomis and are discussed in relation to physiological and environmental adaptations to the cold-water conditions south of the Antarctic Convergence

Deterministic entanglement of photons in two superconducting microwave resonators

Quantum entanglement, one of the defining features of quantum mechanics, has been demonstrated in a variety of nonlinear spin-like systems. Quantum entanglement in linear systems has proven significantly more challenging, as the intrinsic energy level degeneracy associated with linearity makes quantum control more difficult. Here we demonstrate the quantum entanglement of photon states in two independent linear microwave resonators, creating N-photon NOON states as a benchmark demonstration. We use a superconducting quantum circuit that includes Josephson qubits to control and measure the two resonators, and we completely characterize the entangled states with bipartite Wigner tomography. These results demonstrate a significant advance in the quantum control of linear resonators in superconducting circuits.Comment: 11 pages, 11 figures, and 3 tables including supplementary materia

Dallas with balls: televized sport, soap opera and male and female pleasures

Two of the most popular of television genres, soap opera and sports coverage have been very much differentiated along gender lines in terms of their audiences. Soap opera has been regarded very much as a 'gynocentric' genre with a large female viewing audience while the audiences for television sport have been predominantly male. Gender differentiation between the genres has had implications for the popular image of each. Soap opera has been perceived as inferior; as mere fantasy and escapism for women while television sports has been perceived as a legitimate, even edifying experience for men. In this article the authors challenge the view that soap opera and television sport are radically different and argue that they are, in fact, very similar in a number of significant ways. They suggest that both genres invoke similar structures of feeling and sensibility in their respective audiences and that television sport is a 'male soap opera'. They consider the ways in which the viewing context of each genre is related to domestic life and leisure, the ways in which the textual structure and conventions of each genre invoke emotional identification, and finally, the ways in which both genres re-affirm gender identities

Denaturation transition of stretched DNA

We generalize the Poland-Scheraga model to consider DNA denaturation in the presence of an external stretching force. We demonstrate the existence of a force-induced DNA denaturation transition and obtain the temperature-force phase diagram. The transition is determined by the loop exponent $c$ for which we find the new value $c=4\nu-1/2$ such that the transition is second order with $c=1.85<2$ in $d=3$. We show that a finite stretching force $F$ destabilizes DNA, corresponding to a lower melting temperature $T(F)$, in agreement with single-molecule DNA stretching experiments.Comment: 5 pages, 3 figure

A primordial origin for the atmospheric methane of Saturn's moon Titan

The origin of Titan's atmospheric methane is a key issue for understanding the origin of the Saturnian satellite system. It has been proposed that serpentinization reactions in Titan's interior could lead to the formation of the observed methane. Meanwhile, alternative scenarios suggest that methane was incorporated in Titan's planetesimals before its formation. Here, we point out that serpentinization reactions in Titan's interior are not able to reproduce the deuterium over hydrogen (D/H) ratio observed at present in methane in its atmosphere, and would require a maximum D/H ratio in Titan's water ice 30% lower than the value likely acquired by the satellite during its formation, based on Cassini observations at Enceladus. Alternatively, production of methane in Titan's interior via radiolytic reactions with water can be envisaged but the associated production rates remain uncertain. On the other hand, a mechanism that easily explains the presence of large amounts of methane trapped in Titan in a way consistent with its measured atmospheric D/H ratio is its direct capture in the satellite's planetesimals at the time of their formation in the solar nebula. In this case, the mass of methane trapped in Titan's interior can be up to 1,300 times the current mass of atmospheric methane.Comment: Accepted for publication in Icaru

Inferring the effective thickness of polyelectrolytes from stretching measurements at various ionic strengths: applications to DNA and RNA

By resorting to the thick-chain model we discuss how the stretching response of a polymer is influenced by the self-avoidance entailed by its finite thickness. The characterization of the force versus extension curve for a thick chain is carried out through extensive stochastic simulations. The computational results are captured by an analytic expression that is used to fit experimental stretching measurements carried out on DNA and single-stranded RNA (poly-U) in various solutions. This strategy allows us to infer the apparent diameter of two biologically-relevant polyelectrolytes, namely DNA and poly-U, for different ionic strengths. Due to the very different degree of flexibility of the two molecules, the results provide insight into how the apparent diameter is influenced by the interplay between the (solution-dependent) Debye screening length and the polymers' ``bare'' thickness. For DNA, the electrostatic contribution to the effective radius, $\Delta$, is found to be about 5 times larger than the Debye screening length, consistently with previous theoretical predictions for highly-charged stiff rods. For the more flexible poly-U chains the electrostatic contribution to $\Delta$ is found to be significantly smaller than the Debye screening length.Comment: iopart, 14 pages, 13 figures, to appear in J. Phys.: Condens. Matte