Twist: sound reasoning for purity and entanglement in Quantum programs

Quantum programming languages enable developers to implement algorithms for quantum computers that promise computational breakthroughs in classically intractable tasks. Programming quantum computers requires awareness of entanglement , the phenomenon in which measurement outcomes of qubits are correlated. Entanglement can determine the correctness of algorithms and suitability of programming patterns. In this work, we formalize purity as a central tool for automating reasoning about entanglement in quantum programs. A pure expression is one whose evaluation is unaffected by the measurement outcomes of qubits that it does not own, implying freedom from entanglement with any other expression in the computation. We present Twist, the first language that features a type system for sound reasoning about purity. The type system enables the developer to identify pure expressions using type annotations. Twist also features purity assertion operators that state the absence of entanglement in the output of quantum gates. To soundly check these assertions, Twist uses a combination of static analysis and runtime verification. We evaluate Twist’s type system and analyses on a benchmark suite of quantum programs in simulation, demonstrating that Twist can express quantum algorithms, catch programming errors in them, and support programs that existing languages disallow, while incurring runtime verification overhead of less than 3.5%.

Figures

Chapter 4 considers a central tool of poets—the making of “figures.” It brings forward the ways in which imagery can privilege the visual and yet maintain complex, multisensory dimensions that draw the reader into a bodily encounter. It discusses metaphors and similes as types of comparison that can be both conventional and unstable, in that they invite the reader to draw conclusions about analogous qualities that cannot be fully disclosed. Metaphorical language for the deity is discussed. While some biblical poems explain their use of metaphors and symbols, many do not. When figures are symbolic, they remain open, relying on the reader to complete their significance. This analysis underscores the way in which poems are embedded in ancient contexts and simultaneously remain open to new contexts. Personification and anthropomorphism are presented as ecologically rich modes for negotiating the human being’s relationship to the more-than-human world. This chapter ends with a reading of Psalm 65.

Sex-specific transcriptomic and epitranscriptomic signatures of PTSD-like fear acquisition.

Our understanding of the molecular pathology of posttraumatic stress disorder (PTSD) is rapidly evolving and is being driven by advances in sequencing techniques. Conventional short-read RNA sequencing (RNA-seq) is a central tool in transcriptomics research that enables unbiased gene expression profiling. With the recent emergence of Oxford Nanopore direct RNA-seq (dRNA-seq), it is now also possible to interrogate diverse RNA modifications, collectively known as the epitranscriptome. Here, we present our analyses of the male and female mouse amygdala transcriptome and epitranscriptome, obtained using parallel Illumina RNA-seq and Oxford Nanopore dRNA-seq, associated with the acquisition of PTSD-like fear induced by Pavlovian cued-fear conditioning. We report significant sex-specific differences in the amygdala transcriptional response during fear acquisition, and a range of shared and dimorphic epitranscriptomic signatures. Differential RNA modifications are enriched among mRNA transcripts associated with neurotransmitter regulation and mitochondrial function, many of which have been previously implicated in PTSD. Very few differentially modified transcripts are also differentially expressed, suggesting an influential, expression-independent role for epitranscriptional regulation in PTSD-like fear-acquisition. Overall, our application of conventional and newly developed methods provides a platform for future work that will lead to new insights into and therapeutics for PTSD.

Vernacular historical practices on Holocaust non-sites of memory in Poland

The approach employed by memory activists to sites of memory often involves historical practices. This paper presents the results of the examination of historical practices undertaken in locations of Holocaust violence during World War II and the disposal of victims’ remains that were not memorialised properly according to local residents or other groups with an interest in the sites’ past. The analysed practices were observed in the course of field research in various locations in Poland. The goal of the research was to describe these practices, discuss their critical potential, and indicate their distinct features as activities pertaining to contested sites of memory. A central tool for approaching this task is found in concepts of “non-site of memory” and “vernacular historian” as introduced to the debate by Claude Lanzmann and Lyle Dick. As a result, the article presents the cases of four vernacular historians whose practices are experimental combinations of the components of the work of professional historians and ways of working conditioned by local cultural environments, individual experience and commitment to communal life. Although vernacular history is sometimes considered of little value by academic historians, the research shows that the practices in question have the potential to produce new, socially relevant knowledge. Two distinct features of vernacular historical practices in non-sites of memory were observed: these unmarked sites of burial attract activists and prompt them to undertake historical practices; vernacular historians of these locations often undertake unconventional, sometimes experimental activities..

Robots facilitate human language production

Despite recent developments in integrating autonomous and human-like robots into many aspects of everyday life, social interactions with robots are still a challenge. Here, we focus on a central tool for social interaction: verbal communication. We assess the extent to which humans co-represent (simulate and predict) a robot’s verbal actions. During a joint picture naming task, participants took turns in naming objects together with a social robot (Pepper, Softbank Robotics). Previous findings using this task with human partners revealed internal simulations on behalf of the partner down to the level of selecting words from the mental lexicon, reflected in partner-elicited inhibitory effects on subsequent naming. Here, with the robot, the partner-elicited inhibitory effects were not observed. Instead, naming was facilitated, as revealed by faster naming of word categories co-named with the robot. This facilitation suggests that robots, unlike humans, are not simulated down to the level of lexical selection. Instead, a robot’s speaking appears to be simulated at the initial level of language production where the meaning of the verbal message is generated, resulting in facilitated language production due to conceptual priming. We conclude that robots facilitate core conceptualization processes when humans transform thoughts to language during speaking.

Cripping the Dis§abled Body: Doing the Posthuman Tango in, through and around Sport

In this article we elucidate our understanding of the utility of a particular posthumanist lens to expose the fragility of compulsory ablebodiedness. Compulsory ablebodiedness is a central tool of crip theory that shows us how society reproduces disability as an expression of an ableist ideology. This positions those perceived as having ‘less-than-able’ bodies and minds as subaltern. Adopting our methodological position from crip theory, we explore how dis§abled bodies are co-produced along with the environments in which they pursue sport. Interpreting ethnographic data with, in, and around dis§abled bodies, we examine their lived realities and performed identities as biopolitical assemblages that are, at one and the same time, both subject and object in a state of what we term complex dis§able embodiment. The article begins by acknowledging the existence of disablism while also exploring the ideology of ableism, which leads to the social marginalisation of nonnormative bodies. We then articulate dis§ability as a choregraphed tango in which bodies and their environments are co-constituted, before cripping ableism in and through three manifestations of dis§abled sporting bodies. The end goal is to facilitate the celebration of nonnormativity as a positive expression of the plurality of human existence.

Ocean Sound Atlas

Sound is fundamental to ocean ecosystems, yet the interplay of physical and biological sources and their relationships with ecological health and human activities is inherently complex and non-intuitive for visually oriented humans. Ocean Sound Atlas (OSA) will be a digital global ocean sound map. This interactive system will compile and integrate passive acoustic data by location of recording, for use by researchers, educators, policy makers, engineers, explorers, sound artists, and other stakeholder groups. The Ocean Decade is a unique opportunity to serve as the “hook” required to create and promote a central tool that will be widely used. OSA will harness increasingly exciting research potential into the ability to investigate key cross-cutting, multi-scale impactful questions.

Dunderhonung för socialt arbete?

MI, motivational interviewing, is a counselling method for increasing a person’s motivation for behaviour change that is prevalent in social work. MI emphasizes building trusting social worker-client relationships and is presented as concrete and simple to follow. The benefit of MI is limited by actual opportunities for change through poverty, the labour market and health. The article aims to critically examine the usefulness of MI in connection with the handling of social assistance. It is based on a study of the use of an assessment instrument and of individual action plans (contracts) in a municipality where MI is a central tool. The study is based on analyses of documents, individual interviews and group interviews with staff as well as observations of meetings and training.The results show that MI has been integrated into a comprehensive implementation of other elements to standardize initiatives within income support. The client’s obligations are emphasized through a strong individual focus, although extensive efforts may be needed from surrounding actors. The action plans have inherent problems in terms of clarity and legal certainty. The authors argue that it is paradoxical to use a method based on alliances and collaboration in connection with conditional decisions. The use of MI becomes a commitment that lacks reciprocity and whose activation of self-technologies can be questioned.

Conformal partial waves in momentum space

The decomposition of 4-point correlation functions into conformal partial waves is a central tool in the study of conformal field theory. We compute these partial waves for scalar operators in Minkowski momentum space, and find a closed-form result valid in arbitrary space-time dimension d \geq 3d≥3 (including non-integer dd). Each conformal partial wave is expressed as a sum over ordinary spin partial waves, and the coefficients of this sum factorize into a product of vertex functions that only depend on the conformal data of the incoming, respectively outgoing operators. As a simple example, we apply this conformal partial wave decomposition to the scalar box integral in d = 4d=4 dimensions.

Polee: RNA-Seq analysis using approximate likelihood

The analysis of mRNA transcript abundance with RNA-Seq is a central tool in molecular biology research, but often analyses fail to account for the uncertainty in these estimates, which can be significant, especially when trying to disentangle isoforms or duplicated genes. Preserving uncertainty necessitates a full probabilistic model of the all the sequencing reads, which quickly becomes intractable, as experiments can consist of billions of reads. To overcome these limitations, we propose a new method of approximating the likelihood function of a sparse mixture model, using a technique we call the Pólya tree transformation. We demonstrate that substituting this approximation for the real thing achieves most of the benefits with a fraction of the computational costs, leading to more accurate detection of differential transcript expression and transcript coexpression.