Almost all quantum states have nonclassical correlations

Quantum discord quantifies nonclassical correlations in a quantum system including those not captured by entanglement. Thus, only states with zero discord exhibit strictly classical correlations. We prove that these states are negligible in the whole Hilbert space: typically a state picked out at random has positive discord and, given a state with zero discord, a generic arbitrarily small perturbation drives it to a positive-discord state. These results hold for any Hilbert-space dimension and have direct implications for quantum computation and for the foundations of the theory of open systems. In addition, we provide a simple necessary criterion for zero quantum discord. Finally, we show that, for almost all positive-discord states, an arbitrary Markovian evolution cannot lead to a sudden, permanent vanishing of discord.

Computational approaches to finding and measuring inconsistency in arbitrary knowledge bases

There is extensive theoretical work on measures of inconsistency for arbitrary formulae in knowledge bases. Many of these are defined in terms of the set of minimal inconsistent subsets (MISes) of the base. However, few have been implemented or experimentally evaluated to support their viability, since computing all MISes is intractable in the worst case. Fortunately, recent work on a related problem of minimal unsatisfiable sets of clauses (MUSes) offers a viable solution in many cases. In this paper, we begin by drawing connections between MISes and MUSes through algorithms based on a MUS generalization approach and a new optimized MUS transformation approach to finding MISes. We implement these algorithms, along with a selection of existing measures for flat and stratified knowledge bases, in a tool called mimus. We then carry out an extensive experimental evaluation of mimus using randomly generated arbitrary knowledge bases. We conclude that these measures are viable for many large and complex random instances. Moreover, they represent a practical and intuitive tool for inconsistency handling.

The solvable Lie group N_{6, 28}: an example of an almost C_0(\mathcal{K})-C*-algebra

Motivated by the description of the C*-algebra of the affine automorphism group N6,28 of the Siegel upper half-plane of degree 2 as an algebra of operator fields defined over the unitary dual View the MathML source of the group, we introduce a family of C*-algebras, which we call almost C0(K), and we show that the C*-algebra of the group N6,28 belongs to this class.

A class of almost C_0(K)-C*-algebras

We consider in this paper the family of exponential Lie groups Gn,µ, whose Lie algebra is an extension of the Heisenberg Lie algebra by the reals and whose quotient group by the centre of the Heisenberg group is an ax + b-like group. The C*-algebras of the groups Gn,µ give new examples of almost C0(K)-C*-algebras.

Almost nothing, almost anywhere: the metal shed in Ireland

This paper argues that the modern barn in Ireland is a complex social and architectural phenomena that is without, or has yet to find, a satisfactory discourse. Emerging in the middle third of the twentieth century, the modern barn – replete with corrugated iron and I-sections – continues to represent a presence in the Irish landscape whose ubiquity is as emphatic as its flexibility. It is, however, its universal properties that begin to suggest connections with wider narratives. The modernising aspects of the barn that appear in the 1920s and 30s begin to conflate with a rhetoric of architectural modernism which was simultaneously appearing across Europe. But while the relationship between high modernism’s critique of what it divined as the inspirational qualities of utilitarian buildings – Walter Gropius on grain silos, Le Corbusier on aircraft hangers etc. – has been well-documented, in Ireland this relationship perhaps contains another layer of complexity.
The barn’s consolidation as a modern type coincided with the search for a nation’s cultural identity after centuries of colonial rule. This tended to be an introspective vision that prioritised rural space over urban space, agriculture over industry, and imagined the small farm as a central tenet in the construction of a new State. This paper suggests that the twentieth-century barn – as a product of the mechanisation of agriculture promoted by the new administrations – is an iconic structure, emblematic of attempts to reconcile the contradictory forces and imagery of modernity with the mores of a traditional society. Moreover, given a cultural purview that was often ambivalent or even hostile to the ideologies and forms of modernity, the barn in Ireland is, perhaps, not so much the inspiration but the realisation of an architectural modernism in that country at its most pervasive, enduring and unself-conscious.

A Characteristic Function Approach to Inconsistency Measures for Knowledge Bases.

Knowledge is an important component in many intelligent systems.
Since items of knowledge in a knowledge base can be conflicting, especially if
there are multiple sources contributing to the knowledge in this base, significant
research efforts have been made on developing inconsistency measures for
knowledge bases and on developing merging approaches. Most of these efforts
start with flat knowledge bases. However, in many real-world applications, items
of knowledge are not perceived with equal importance, rather, weights (which
can be used to indicate the importance or priority) are associated with items of
knowledge. Therefore, measuring the inconsistency of a knowledge base with
weighted formulae as well as their merging is an important but difficult task. In
this paper, we derive a numerical characteristic function from each knowledge
base with weighted formulae, based on the Dempster-Shafer theory of evidence.
Using these functions, we are able to measure the inconsistency of the knowledge
base in a convenient and rational way, and are able to merge multiple knowledge
bases with weighted formulae, even if knowledge in these bases may be
inconsistent. Furthermore, by examining whether multiple knowledge bases are
dependent or independent, they can be combined in different ways using their
characteristic functions, which cannot be handled (or at least have never been
considered) in classic knowledge based merging approaches in the literature.

Urban/rural variation in the influence of widowhood on mortality risk: a cohort study of almost 300,000 couples

Death of a spouse is associated with increased mortality risk for the surviving partner (the widowhood effect). We investigated whether the effect magnitude varied between urban, rural and intermediate areas, assembling death records (2001-2009) for a prospective cohort of 296,125 married couples in Northern Ireland. The effect was greatest during the first six months of widowhood in all areas and for both sexes. Subsequently, the effect was attenuated among men in rural and intermediate areas but persisted in urban areas (HRs and 95% CIs: rural 1.09 [0.99, 1.21]; urban 1.35 [1.26, 1.44]). Among women the effect was attenuated in all areas (rural 1.06 [0.96, 1.17]; urban 1.09 [1.01, 1.17]). The impacts of spousal bereavement varied between urban and more rural areas, possibly due to variation in social support provided by the wider community. We identify men in urban areas as being in greatest need of such support and a possible target for health interventions.