Noise in Passively Mode-Locked Lasers

For the first time, phase fluctuations in the spectral intensity of the pulse train generated by passively mode-locked semiconductor lasers have been measured. The results reveal diffusion-like fluctuations of this phase. The timing jitter fluctuations were also measured, and, in contrast, have a correlation time which is much longer than the repetition time

Miniature Optical Atomic Clock: Stabilization of a Kerr Comb Oscillator

Mechanical clocks consist of a pendulum and a clockwork that translates the pendulum period to displayed time. The most advanced clocks utilize optical transitions in atoms in place of the pendulum and an optical frequency comb generated by a femtosecond laser as the clockwork. The comb must be stabilized at two points along its frequency spectrum: one with a laser to lock a comb line to a transition in the atom, and another through self referencing to stabilize the frequency interval between the comb lines. This approach requires advanced techniques, so optical atomic clocks are currently laboratory devices in specialized labs. In this paper we leverage unique properties of Kerr comb oscillators for realization of optical atomic clocks in miniature form factors. In particular, we describe a clock based on D1 transition of 87Rb that fits in the palm of the hand, and can be further miniaturized to chip scale.Comment: 4 pages, 4 figure

Correlations in Transmission of Light through a Disordered Amplifying Medium

The angular and frequency correlation functions of the transmission coefficient for light propagation through a strongly scattering amplifying medium are considered. It is found that just as in the case of an elastic scattering medium the correlation function consists of three terms. However, the structure of the terms is rather different. Angular correlation has a power-law decay and exhibits oscillations. There is no "memory effect" as in the case of an elastic medium. Interaction between diffusion modes is strongly enhanced near the lasing threshold. Frequency correlation scale decreases close to the lasing threshold. We also consider time correlations of the transmission in the case of nonstationary inhomogeneities. We find short- and long-range time correlations. The scale of the short-range correlation decreases, while the long-range correlation scale becomes infinite near the threshold.Comment: 16 pages, 7 postscript figure

High-resolution microwave frequency dissemination on an 86-km urban optical link

We report the first demonstration of a long-distance ultra stable frequency dissemination in the microwave range. A 9.15 GHz signal is transferred through a 86-km urban optical link with a fractional frequency stability of 1.3x10-15 at 1 s integration time and below 10-18 at one day. The optical link phase noise compensation is performed with a round-trip method. To achieve such a result we implement light polarisation scrambling and dispersion compensation. This link outperforms all the previous radiofrequency links and compares well with recently demonstrated full optical links.Comment: 11 pages, 5 figure

The DLV System for Knowledge Representation and Reasoning

This paper presents the DLV system, which is widely considered the state-of-the-art implementation of disjunctive logic programming, and addresses several aspects. As for problem solving, we provide a formal definition of its kernel language, function-free disjunctive logic programs (also known as disjunctive datalog), extended by weak constraints, which are a powerful tool to express optimization problems. We then illustrate the usage of DLV as a tool for knowledge representation and reasoning, describing a new declarative programming methodology which allows one to encode complex problems (up to $\Delta^P_3$-complete problems) in a declarative fashion. On the foundational side, we provide a detailed analysis of the computational complexity of the language of DLV, and by deriving new complexity results we chart a complete picture of the complexity of this language and important fragments thereof. Furthermore, we illustrate the general architecture of the DLV system which has been influenced by these results. As for applications, we overview application front-ends which have been developed on top of DLV to solve specific knowledge representation tasks, and we briefly describe the main international projects investigating the potential of the system for industrial exploitation. Finally, we report about thorough experimentation and benchmarking, which has been carried out to assess the efficiency of the system. The experimental results confirm the solidity of DLV and highlight its potential for emerging application areas like knowledge management and information integration.Comment: 56 pages, 9 figures, 6 table

Electron-Electron Interaction in Disordered Mesoscopic Systems: Weak Localization and Mesoscopic Fluctuations of Polarizability and Capacitance

The weak localization correction and the mesoscopic fluctuations of the polarizability and the capacitance of a small disordered sample are studied systematically in 2D and 3D geometries. While the grand canonical ensemble calculation gives the positive magnetopolarizability, in the canonical ensemble (appropriate for isolated samples) the sign of the effect is reversed. The magnitude of mesoscopic fluctuations for a single sample exceeds considerably the value of the weak localization correction.Comment: 13 pages Latex, 3 .eps figures included. To appear in Phys. Rev. B. Minor corrections, in particular in formulae; new references adde

Cardiac Angiogenic Imbalance Leads to Peripartum Cardiomyopathy

Peripartum cardiomyopathy (PPCM) is an often fatal disease that affects pregnant women who are near delivery, and it occurs more frequently in women with pre-eclampsia and/or multiple gestation. The aetiology of PPCM, and why it is associated with pre-eclampsia, remain unknown. Here we show that PPCM is associated with a systemic angiogenic imbalance, accentuated by pre-eclampsia. Mice that lack cardiac PGC-$1\alpha$, a powerful regulator of angiogenesis, develop profound PPCM. Importantly, the PPCM is entirely rescued by pro-angiogenic therapies. In humans, the placenta in late gestation secretes VEGF inhibitors like soluble FLT1 (sFLT1), and this is accentuated by multiple gestation and pre-eclampsia. This anti-angiogenic environment is accompanied by subclinical cardiac dysfunction, the extent of which correlates with circulating levels of sFLT1. Exogenous sFLT1 alone caused diastolic dysfunction in wild-type mice, and profound systolic dysfunction in mice lacking cardiac PGC-$1\alpha$. Finally, plasma samples from women with PPCM contained abnormally high levels of sFLT1. These data indicate that PPCM is mainly a vascular disease, caused by excess anti-angiogenic signalling in the peripartum period. The data also explain how late pregnancy poses a threat to cardiac homeostasis, and why pre-eclampsia and multiple gestation are important risk factors for the development of PPCM