Entanglement as a semantic resource

The characteristic holistic features of the quantum theoretic formalism and the intriguing notion of entanglement can be applied to a field that is far from microphysics: logical semantics. Quantum computational logics are new forms of quantum logic that have been suggested by the theory of quantum logical gates in quantum computation. In the standard semantics of these logics, sentences denote quantum information quantities: systems of qubits (quregisters) or, more generally, mixtures of quregisters (qumixes), while logical connectives are interpreted as special quantum logical gates (which have a characteristic reversible and dynamic behavior). In this framework, states of knowledge may be entangled, in such a way that our information about the whole determines our information about the parts; and the procedure cannot be, generally, inverted. In spite of its appealing properties, the standard version of the quantum computational semantics is strongly "Hilbert-space dependent". This certainly represents a shortcoming for all applications, where real and complex numbers do not generally play any significant role (as happens, for instance, in the case of natural and of artistic languages). We propose an abstract version of quantum computational semantics, where abstract qumixes, quregisters and registers are identified with some special objects (not necessarily living in a Hilbert space), while gates are reversible functions that transform qumixes into qumixes. In this framework, one can give an abstract definition of the notions of superposition and of entangled pieces of information, quite independently of any numerical values. We investigate three different forms of abstract holistic quantum computational logic

Aetiologic diagnosis of hearing loss in children identified through newborn hearing screening testing

With the implementation of universal newborn hearing screening (UNHS) programmes and early diagnosis and treatment of hearing problems, the need has clearly emerged to implement and carry out a systematic and coordinated protocol for the aetiological diagnosis of permanent hearing impairment (PHI). Within the framework of the Italian Ministry of Health project CCM 2013 “Preventing Communication Disorders: a Regional Program for early Identification, Intervention and Care of Hearing Impaired Children”, it has been decided to consider the problems relative to aetiological diagnosis of child PHI within UNHS programmes. The specific objective was to apply a shared diagnostic protocol that can identify the cause in at least 70% of cases of PHI. For this part of the project, four main recommendations were identified that can be useful for an efficient aetiological diagnosis in children affected by PHI and that can offer valid suggestions to optimise resources and produce positive changes for third-level audiologic centres

A first-order epistemic quantum computational semantics with relativistic-like epistemic effects

Quantum computation has suggested new forms of quantum logic, called quantum computational logics. In these logics well-formed formulas are supposed to denote pieces of quantum information: possible pure states of quantum systems that can store the information in question. At the same time, the logical connectives are interpreted as quantum logical gates: unitary operators that process quantum information in a reversible way, giving rise to quantum circuits. Quantum computational logics have been mainly studied as sentential logics (whose alphabet consists of atomic sentences and of logical connectives). In this article we propose a semantic characterization for a first-order epistemic quantum computational logic, whose language can express sentences like "Alice knows that everybody knows that she is pretty". One can prove that (unlike the case of logical connectives) both quantifiers and epistemic operators cannot be generally represented as (reversible) quantum logical gates. The "act of knowing" and the use of universal (or existential) assertions seem to involve some irreversible "theoretic jumps", which are similar to quantum measurements. Since all epistemic agents are characterized by specific epistemic domains (which contain all pieces of information accessible to them), the unrealistic phenomenon of logical omniscience is here avoided: knowing a given sentence does not imply knowing all its logical consequences

Native NIR-emitting single colour centres in CVD diamond

Single-photon sources are a fundamental element for developing quantum technologies, and sources based on colour centres in diamonds are among the most promising candidates. The well-known NV centres are characterized by several limitations, thus few other defects have recently been considered. In the present work, we characterize in detail native efficient single colour centres emitting in the near infra-red in both standard IIa single-crystal and electronic-grade polycrystalline commercial CVD diamond samples. In the former case, a high-temperature annealing process in vacuum is necessary to induce the formation/activation of luminescent centres with good emission properties, while in the latter case the annealing process has marginal beneficial effects on the number and performances of native centres in commercially available samples. Although displaying significant variability in several photo physical properties (emission wavelength, emission rate instabilities, saturation behaviours), these centres generally display appealing photophysical properties for applications as single photon sources: short lifetimes, high emission rates and strongly polarized light. The native centres are tentatively attributed to impurities incorporated in the diamond crystal during the CVD growth of high-quality type IIa samples, and offer promising perspectives in diamond-based photonics.Comment: 27 pages, 10 figures. Submitted to "New Journal of Phsyics", NJP-100003.R

Treatment and posttreatment effects induced by the Forsus appliance: A controlled clinical study.

OBJECTIVE: To evaluate treatment and posttreatment dentoskeletal effects induced by the Forsus device (FRD) in growing patients with Class II malocclusion in a retrospective controlled clinical study. MATERIALS AND METHODS: Thirty-six Class II patients (mean [SD] age 12.3 [1.2] years) were treated consecutively with the FRD protocol and compared with a sample of 20 subjects with untreated Class II malocclusion (mean [SD] age 12.2 [0.9] years). Lateral cephalograms were taken at the beginning of treatment, at the end of comprehensive treatment (after 2.3 ± 0.4 years), and at a postretention period (after 2.3 ± 1.1 years from the end of comprehensive treatment). Statistical comparisons were carried out with the unpaired t-test and Benjamini-Hochberg correction (P < .05). RESULTS: After comprehensive treatment, the FRD sample showed a significant restriction of the sagittal maxillary growth together with a significant correction in overjet, overbite, and molar relationship. During the overall observation interval, the FRD group exhibited no significant sagittal or vertical skeletal changes, while significant improvements were recorded in overjet (−3.8 mm), overbite (−1.5 mm), and molar relationship (+3.7 mm). CONCLUSION: The FRD protocol was effective in correcting Class II malocclusion mainly at the dentoalveolar level when evaluated 2 years after the end of comprehensive treatment

Conjugatable water-soluble Pt(ii) and Pd(ii) porphyrin complexes: Novel nano- and molecular probes for optical oxygen tension measurement in tissue engineering

Measurement of oxygen tension in compressed collagen sheets was performed using matrix-embedded optical oxygen sensors based on platinum(II) and palladium(II) porphyrins supported on polyacrylamide nanoparticles. Bespoke, fully water-soluble, mono-functionalised Pt(II) and Pd(II) porphyrin complexes designed for conjugation under mild conditions were obtained using microwave-assisted metallation. The new sensors display a linear response (1/τ vs. O₂) to varying oxygen tension over a biologically relevant range (7.0 × 10⁻⁴ to 2.7 × 10⁻¹ mM) in aqueous solutions; a behaviour that is maintained following conjugation to polyacrylamide nanoparticles, and following embedding of the nanosensors in compressed collagen sheets, paving the way to innovative approaches for real-time resolution of oxygen gradients throughout 3D matrices useful for tissue regeneration

Early care in children with permanent hearing impairment

The implementation of regional protocols for newborn hearing screening and early audiologic diagnosis represent the first step of the entire diagnostic, rehabilitative and prosthetic programme for children with permanent hearing impairment. The maximum benefit of early diagnosis can indeed be obtained only by prompt rehabilitation aimed at fostering the child’s communicative, linguistic and cognitive development. Within the framework of the CMM 2013 project of the Ministry of Health entitled “Preventing Communication Disorders: a Regional Program for Early Identification, Intervention and Care of Hearing Impaired Children”, the problems concerning the promotion of the global development of children with PHI throughan early rehabilitation project based on shared knowledge and scientific evidence. In this project, our specific aim was to define the features and modes of access to a precise and specialised rehabilitation project for the small hearing-impaired child within three months from audiologic diagnosis. Three main recommendations relative to assessment and rehabilitation aspects of early care emerged from the study

Multi-class classification based on quantum state discrimination

We present a general framework for the problem of multi-class classification using classification functions that can be interpreted as fuzzy sets. We specialize these functions in the domain of Quantum-inspired classifiers, which are based on quantum state discrimination techniques. In particular, we use unsharp observables (Positive Operator-Valued Measures) that are determined by the training set of a given dataset to construct these classification functions. We show that such classifiers can be tested on near-term quantum computers once these classification functions are “distilled” (on a classical platform) from the quantum encoding of a training dataset. We compare these experimental results with their theoretical counterparts and we pose some questions for future research

A quantum logical and geometrical approach to the study of improper mixtures

We study improper mixtures from a quantum logical and geometrical point of view. Taking into account the fact that improper mixtures do not admit an ignorance interpretation and must be considered as states in their own right, we do not follow the standard approach which considers improper mixtures as measures over the algebra of projections. Instead of it, we use the convex set of states in order to construct a new lattice whose atoms are all physical states: pure states and improper mixtures. This is done in order to overcome one of the problems which appear in the standard quantum logical formalism, namely, that for a subsystem of a larger system in an entangled state, the conjunction of all actual properties of the subsystem does not yield its actual state. In fact, its state is an improper mixture and cannot be represented in the von Neumann lattice as a minimal property which determines all other properties as is the case for pure states or classical systems. The new lattice also contains all propositions of the von Neumann lattice. We argue that this extension expresses in an algebraic form the fact that -alike the classical case- quantum interactions produce non trivial correlations between the systems. Finally, we study the maps which can be defined between the extended lattice of a compound system and the lattices of its subsystems.Comment: submitted to the Journal of Mathematical Physic

A representation theorem for MV-algebras

An {\em MV-pair} is a pair $(B,G)$ where $B$ is a Boolean algebra and $G$ is a subgroup of the automorphism group of $B$ satisfying certain conditions. Let $\sim_G$ be the equivalence relation on $B$ naturally associated with $G$. We prove that for every MV-pair $(B,G)$, the effect algebra $B/\sim_G$ is an MV- effect algebra. Moreover, for every MV-effect algebra $M$ there is an MV-pair $(B,G)$ such that $M$ is isomorphic to $B/\sim_G$