Heisenberg limited Sagnac interferometry

We show how the entangled photons produced in parametric down conversion can be used to improve the sensitivity of a Sagnac interferometer. Two-photon and four-photon coincidences increases the sensitivity by a factor of two and four respectively. Our results apply to sources with arbitrary pumping and squeezing parameters.Comment: 11 pages, 5 figure

Quantum interferometry using coherent beam stimulated parametric down-conversion

We show how stimulated parametric processes can be employed in experiments on beyond the diffraction limit to overcome the problem of low visibility obtained by using spontaneous down conversion operating in the high gain regime. We further show enhancement of the count rate by several orders when stimulated parametric processes are used. Both the two photon counts and the visibility can be controlled by the phase of the stimulating coherent beam.Comment: 7 pages, 4 figure

Stable Marriage with Multi-Modal Preferences

We introduce a generalized version of the famous Stable Marriage problem, now based on multi-modal preference lists. The central twist herein is to allow each agent to rank its potentially matching counterparts based on more than one "evaluation mode" (e.g., more than one criterion); thus, each agent is equipped with multiple preference lists, each ranking the counterparts in a possibly different way. We introduce and study three natural concepts of stability, investigate their mutual relations and focus on computational complexity aspects with respect to computing stable matchings in these new scenarios. Mostly encountering computational hardness (NP-hardness), we can also spot few islands of tractability and make a surprising connection to the \textsc{Graph Isomorphism} problem

Using a Goal-Driven Approach in the Investigation of a Questioned Contract

Part 3: FORENSIC TECHNIQUESInternational audienceThis paper presents a systematic process for describing digital forensic investigations. It focuses on forensic goals and anti-forensic obstacles and their operationalization in terms of human and software actions. The paper also demonstrates how the process can be used to capture the various forensic and anti-forensic aspects of a real-world case involving document forgery