Physical Resources for Quantum-enhanced Phase Estimation

We study the role of quantum entanglement (particle entanglement and mode entanglement) in optical phase estimation by employing the first and second quantization formalisms of quantum mechanics. The quantum Fisher information (QFI) is expressed as a function of the first and second order optical coherence functions. The resulting form of the QFI elucidates the deriving metrological resources for quantum phase estimation: field intensity and photon detection correlations. In addition, our analysis confirms that mode entanglement is not required for quantum-enhanced interferometry, whereas particle entanglement is a necessary requirement.Comment: 8 pages, 2 figures, 2 table

Self-calibrating tomography for multi-dimensional systems

We present a formalism for self-calibrating tomography of arbitrary dimensional systems. Self-calibrating quantum state tomography was first introduced in the context of qubits, and allows the reconstruction of the density matrix of an unknown quantum state despite incomplete knowledge of the unitary operations used to change the measurement basis. We show how this can be generalized to qudits, i.e. d-level systems, and provide a specific example for a V-type three-level atomic system whose transition dipole moments are not known. We show that it is always possible to retrieve the unknown state and process parameters, except for a set of zero measure in the state-parameter space.Comment: Revised version. 9 pages, 3 figure

Inquiry based learning: why buying a car with a tree included? Enhancing science and mathematic learning

International reports reveal a deficient situation in relation to science and mathematics learning, which can be considered as an obstacle for the education of literate and informed citizens and the qualification and the preparation of future scientists and engineers. This situation may be partly attributed to the way science and mathematics are taught at school. Research on effective teaching approaches shows that inquiry based learning (IBL) improves students’ engagement and motivation for science and mathematics learning and promotes the development of process skills, critical thinking and conceptual understanding of some science and mathematics topics. The present work describes the design and implementation of an instructional approach for enhancing science and mathematics learning through IBL. The instructional approach is based on the design of an interdisciplinary task which starts by challenging students through the analysis of an advertisement. The initial scenario engages students in an investigation process to look for evidence and understanding while acquiring meaningful learning of key science topics and mathematical tools. The task also takes advantage of current technological resources to facilitate and support the overall inquiry process. (Orig.

A New Fast Motion Estimation and Mode Decision algorithm for H.264 Depth Maps encoding in Free Viewpoint TV

In this paper, we consider a scenario where 3D scenes are modeled through a View+Depth representation. This representation is to be used at the rendering side to generate synthetic views for free viewpoint video. The encoding of both type of data (view and depth) is carried out using two H.264/AVC encoders. In this scenario we address the reduction of the encoding complexity of depth data. Firstly, an analysis of the Mode Decision and Motion Estimation processes has been conducted for both view and depth sequences, in order to capture the correlation between them. Taking advantage of this correlation, we propose a fast mode decision and motion estimation algorithm for the depth encoding. Results show that the proposed algorithm reduces the computational burden with a negligible loss in terms of quality of the rendered synthetic views. Quality measurements have been conducted using the Video Quality Metric

Surface magnetism in ZnO/Co3O4 mixtures

We recently reported the observation of room temperature ferromagnetism in mixtures of ZnO and Co3O4 despite the diamagnetic and antiferromagnetic character of these oxides respectively. Here we present a detailed study on the electronic structure of this material in order to account for this unexpected ferromagnetism. Electrostatic interactions between both oxides lead to a dispersion of Co3O4 particles over the surface of ZnO larger ones. As a consequence, the reduction of Co+3 to Co2+ at the particle surface takes place as evidenced by XAS measurements and optical spectrocopy. This reduction allows to xplain the observed ferromagnetic signal within the well established theories of magnetism.Comment: Accepted in Journal of Applied Physic

Maude: specification and programming in rewriting logic

Maude is a high-level language and a high-performance system supporting executable specification and declarative programming in rewriting logic. Since rewriting logic contains equational logic, Maude also supports equational specification and programming in its sublanguage of functional modules and theories. The underlying equational logic chosen for Maude is membership equational logic, that has sorts, subsorts, operator overloading, and partiality definable by membership and equality conditions. Rewriting logic is reflective, in the sense of being able to express its own metalevel at the object level. Reflection is systematically exploited in Maude endowing the language with powerful metaprogramming capabilities, including both user-definable module operations and declarative strategies to guide the deduction process. This paper explains and illustrates with examples the main concepts of Maude's language design, including its underlying logic, functional, system and object-oriented modules, as well as parameterized modules, theories, and views. We also explain how Maude supports reflection, metaprogramming and internal strategies. The paper outlines the principles underlying the Maude system implementation, including its semicompilation techniques. We conclude with some remarks about applications, work on a formal environment for Maude, and a mobile language extension of Maude