Loss-tolerant operations in parity-code linear optics quantum computing

A heavy focus for optical quantum computing is the introduction of error-correction, and the minimisation of resource requirements. We detail a complete encoding and manipulation scheme designed for linear optics quantum computing, incorporating scalable operations and loss-tolerant architecture.Comment: 8 pages, 6 figure

Sexual Objectification Increases Rape Victim Blame and Decreases Perceived Suffering

Sexual objectification changes the way people view women by reducing them to sexual objects—denied humanity and an internal mental life, as well as deemed unworthy of moral concern. However, the subsequent consequences of sexually objectifying others remain underresearched. In the current study, we examined the impact of objectification in the domain of sexual assault. Sixty British undergraduate students were recruited to complete an impression formation task. We manipulated objectification by presenting participants with either a sexualized or nonsexualized woman. Participants rated the woman’s mind and the extent to which they felt moral concern for her. They then learned that she was the victim of an acquaintance rape and reported victim blame and both blatant and subtle perceptions of her suffering. Consistent with prior research, sexualized women were objectified through a denial of mental states and moral concern. Further, compared with nonobjectified women, the objectified were perceived to be more responsible for being raped. Interestingly, although no difference emerged for blatant measures of suffering, participants tacitly denied the victims’ suffering by exhibiting changes in moral concern for the victim. We conclude that objectification has important consequences for how people view victims of sexual assault. Our findings reveal that sexual objectification can have serious consequences and we discuss how these might influence how victims cope and recover from sexual assault

Splitting Sensitivity of the Ground and 7.6 eV Isomeric States of 229Th

The lowest-known excited state in nuclei is the 7.6 eV isomer of 229Th. This energy is within the range of laser-based investigations that could allow accurate measurements of possible temporal variation of this energy splitting. This in turn could probe temporal variation of the fine-structure constant or other parameters in the nuclear Hamiltonian. We investigate the sensitivity of this transition energy to these quantities. We find that the two states are predicted to have identical deformations and thus the same Coulomb energies within the accuracy of the model (viz., within roughly 30 keV). We therefore find no enhanced sensitivity to variation of the fine-structure constant. In the case of the strong interaction the energy splitting is found to have a complicated dependence on several parameters of the interaction, which makes an accurate prediction of sensitivity to temporal changes of fundamental constants problematical. Neither the strong- nor Coulomb-interaction contributions to the energy splitting of this doublet can be constrained within an accuracy better than a few tens of keV, so that only upper limits can be set on the possible sensitivity to temporal variations of the fundamental constants.Comment: 4 pages, 2 figure

PROGRESS TOWARD A SINGLE MARKET: THE NEW INSTITUTIONAL ECONOMICS OF THE NAFTA LIVESTOCK SECTORS

International Relations/Trade, Livestock Production/Industries,

A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency

This research started with an algebra for reasoning about rely/guarantee concurrency for a shared memory model. The approach taken led to a more abstract algebra of atomic steps, in which atomic steps synchronise (rather than interleave) when composed in parallel. The algebra of rely/guarantee concurrency then becomes an instantiation of the more abstract algebra. Many of the core properties needed for rely/guarantee reasoning can be shown to hold in the abstract algebra where their proofs are simpler and hence allow a higher degree of automation. The algebra has been encoded in Isabelle/HOL to provide a basis for tool support for program verification. In rely/guarantee concurrency, programs are specified to guarantee certain behaviours until assumptions about the behaviour of their environment are violated. When assumptions are violated, program behaviour is unconstrained (aborting), and guarantees need no longer hold. To support these guarantees a second synchronous operator, weak conjunction, was introduced: both processes in a weak conjunction must agree to take each atomic step, unless one aborts in which case the whole aborts. In developing the laws for parallel and weak conjunction we found many properties were shared by the operators and that the proofs of many laws were essentially the same. This insight led to the idea of generalising synchronisation to an abstract operator with only the axioms that are shared by the parallel and weak conjunction operator, so that those two operators can be viewed as instantiations of the abstract synchronisation operator. The main differences between parallel and weak conjunction are how they combine individual atomic steps; that is left open in the axioms for the abstract operator.Comment: Extended version of a Formal Methods 2016 paper, "An algebra of synchronous atomic steps