Quantum bit detector

We propose and analyze an experimental scheme of quantum nondemolition detection of monophotonic and vacuum states in a superconductive toroidal cavity by means of Rydberg atoms.Comment: 4 pages, 3 figure

Full characterization of a three-photon GHZ state using quantum state tomography

We have performed the first experimental tomographic reconstruction of a three-photon polarization state. Quantum state tomography is a powerful tool for fully describing the density matrix of a quantum system. We measured 64 three-photon polarization correlations and used a "maximum-likelihood" reconstruction method to reconstruct the GHZ state. The entanglement class has been characterized using an entanglement witness operator and the maximum predicted values for the Mermin inequality was extracted.Comment: 3 pages, 3 figure

Optimal Tableaux Method for Constructive Satisfiability Testing and Model Synthesis in the Alternating-time Temporal Logic ATL+

We develop a sound, complete and practically implementable tableaux-based decision method for constructive satisfiability testing and model synthesis in the fragment ATL+ of the full Alternating time temporal logic ATL*. The method extends in an essential way a previously developed tableaux-based decision method for ATL and works in 2EXPTIME, which is the optimal worst case complexity of the satisfiability problem for ATL+ . We also discuss how suitable parametrizations and syntactic restrictions on the class of input ATL+ formulae can reduce the complexity of the satisfiability problem.Comment: 45 page

Target Zones in History and Theory: Lessons from an Austro-Hungarian Experiment (1896-1914)

The first known experiment with an exchange rate band took place in Austria- Hungary between 1896 and 1914. The rationale for introducing this policy rested on precisely those intuitions that the modern literature has emphasized: the band was designed to secure both exchange rate stability and monetary policy autonomy. However, unlike more recent experiences, such as the ERM, this policy was not undermined by credibility problems. The episode provides an ideal testing ground for some important ideas in modern macroeconomics: specifically, can formal rules, when faithfully adhered to, provide policy makers with some advantages such as short term autonomy? First, we find that a credible band has a "microeconomic" influence on exchange rate stability. By reducing uncertainty, a credible fluctuation band improves the quality of expectations, a channel that has been neglected in the modern literature. Second, we show that the standard test of the basic target zone model is flawed and develop an alternative methodology. We believe that these findings shed a new light on the economics of exchange rate bands