Achromatic optical phase shifter/modulator

We propose and demonstrate, theoretically and experimentally, a novel achromatic optical phase shifter modulator based on a frequency-domain optical delay line configured to maintain zero group delay as variable phase delay is generated by means of tilting a mirror. Compared with previously reported phase shifter modulators, e.g., based on the Pancharatnam (geometric) phase, our device is high speed and polarization insensitive and produces a large, bounded phase delay that, uniquely, is one-to-one mapped to a measurable parameter, the tilt angle.

Micromanipulation of chloroplasts using optical tweezers

This paper describes experiments using optical tweezers to probe chloroplast arrangement, shape and consistency in cells of living leaf tissue and in suspension. Dual optical tweezers provided two-point contact on a single chloroplast or two-point contact on two adhered chloroplasts for manipulation in suspension. Alternatively, a microstirrer consisting of a birefringent particle trapped in an elliptically polarized laser trap was used to induce motion and tumbling of a selected chloroplast suspended in a solution. We demonstrate that displacement of chloroplasts inside the cell is extremely difficult, presumably due to chloroplast adhesion to the cytoskeleton and connections between organelles. The study also confirms that the chloroplasts are very thin and extremely cup-shaped with a concave inner surface and a convex outer surface.

Trace Semantics for the Owicki-Gries Theory Integrated with the Progress Logic from UNITY

The theory of Owicki and Gries has been used as a platform for safety-based verifcation and derivation of concurrent programs. It has also been integrated with the progress logic of UNITY which has allowed newer techniques of progress-based verifcation and derivation to be developed. However, a theoretical basis for the integrated theory has thus far been missing. In this paper, we provide a theoretical background for the logic of Owicki and Gries integrated with the logic of progress from UNITY. An operational semantics for the new framework is provided which is used to prove soundness of the progress logic.

A Logic Framework of Normative-based Contract Management

We explore of the feasibility of the computationally oriented institutional agency framework proposed by Governatori and Rotolo testing it against an industrial strength scenario. In particular we show how to encode in defeasible logic the dispute resolution policy described in Article 67 of FIDIC.

Contextual Deliberation of Cognitive Agents in Defeasible Logic

This article extends Defeasible Logic to deal with the contextual deliberation process of cognitive agents. First, we introduce meta-rules to reason with rules. Meta-rules are rules that have as a consequent rules for motivational components, such as obligations, intentions and desires. In other words, they include nested rules. Second, we introduce explicit preferences among rules. They deal with complex structures where nested rules can be involved.

Short-term spatial diffusion in sigma o+ o- optical molasses

We have measured the spatial diffusion of atoms in a three-dimensional sigma(+)-sigma(-) optical molasses over twenty milliseconds timescale, starting from the initial interaction of the atoms with the molasses. We find that the diffusion constants agree well with a linear model for these short time scales and also compare favourably to other studies of diffusion made over longer time scales. These measurements enable us to quantify the detection method known as freezing molasses. We discuss this method, for detecting and measuring the momentum distribution of cold atoms, which relies on the slow diffusion of atoms in optical molasses to produce a freeze-frame of the spatial distribution of the atoms. This method enables a longer interrogation interval, providing a greatly increased signal-to-noise ratio. (C) 1998 Elsevier Science B.V.

An atom-optical Maxwell demon

The separation, by an optical standing wave, of a beam of two-level atoms prepared in a thermal mixture of ground and excited states, is considered as an example of a Maxwell demon. By including the momentum exchanged with the cavity, it is shown how no violation of the second law is possible. A classical and quantum analysis is given which illustrates this principle in some detail.

Decoherence in ion traps due to laser intensity and phase fluctuations

We consider one source of decoherence for a single trapped ion due to intensity and phase fluctuations in the exciting laser pulses. For simplicity we assume that the stochastic processes involved are white noise processes, which enables us to give a simple master equation description of this source of decoherence. This master equation is averaged over the noise, and is sufficient to describe the results of experiments that probe the oscillations in the electronic populations as energy is exchanged between the internal and electronic motion. Our results are in good qualitative agreement with recent experiments and predict that the decoherence rate will depend on vibrational quantum number in different ways depending on which vibrational excitation sideband is used.

Quantum-state protection in cavities

We show how an initially prepared quantum state of a radiation mode in a cavity can be preserved for a long time using a feedback scheme based on the injection of appropriately prepared atoms. We present a feedback scheme both for optical cavities, which can be continuously monitored by a photodetector, and for microwave cavities, which can be monitored only indirectly via the detection of atoms that have interacted with the cavity field. We also discuss the possibility of applying these methods for decoherence control in quantum information processing.

Optical properties of metallic films for vertical-cavity optoelectronic devices

We present models for the optical functions of 11 metals used as mirrors and contacts in optoelectronic and optical devices: noble metals (Ag, Au, Cu), aluminum, beryllium, and transition metals (Cr, Ni, Pd, Pt, Ti, W). We used two simple phenomenological models, the Lorentz-Drude (LD) and the Brendel-Bormann (BB), to interpret both the free-electron and the interband parts of the dielectric response of metals in a wide spectral range from 0.1 to 6 eV. Our results show that the BE model was needed to describe appropriately the interband absorption in noble metals, while for Al, Be, and the transition metals both models exhibit good agreement with the experimental data. A comparison with measurements on surface normal structures confirmed that the reflectance and the phase change on reflection from semiconductor-metal interfaces (including the case of metallic multilayers) can be accurately described by use of the proposed models for the optical functions of metallic films and the matrix method for multilayer calculations. (C) 1998 Optical Society of America.

Modeling the optical constants of GaP, InP, and InAs

An extension of the Adachi model with the adjustable broadening function, instead of the Lorentzian one, is employed to model the optical constants of GaP, InP, and InAs. Adjustable broadening is modeled by replacing the damping constant with the frequency-dependent expression. The improved flexibility of the model enables achieving an excellent agreement with the experimental data. The relative rms errors obtained for the refractive index equal 1.2% for GaP, 1.0% for InP, and 1.6% for InAs. (C) 1999 American Institute of Physics. [S0021-8979(99)05807-7].

Modeling the optical constants of AlxGa1-xAs alloys

The extension of Adachi's model with a Gaussian-like broadening function, in place of Lorentzian, is used to model the optical dielectric function of the alloy AlxGa1-xAs. Gaussian-like broadening is accomplished by replacing the damping constant in the Lorentzian line shape with a frequency dependent expression. In this way, the comparative simplicity of the analytic formulas of the model is preserved, while the accuracy becomes comparable to that of more intricate models, and/or models with significantly more parameters. The employed model accurately describes the optical dielectric function in the spectral range from 1.5 to 6.0 eV within the entire alloy composition range. The relative rms error obtained for the refractive index is below 2.2% for all compositions. (C) 1999 American Institute of Physics. [S0021-8979(99)00512-5].

The ocular morphology of the southern hemisphere lamprey Geotria australis gray with special reference to optical specialisations and the characterisation and phylogeny of photoreceptor types

This paper describes the ocular morphology of young adults of the southern hemisphere lamprey Geotria australis, the sole representative of the Geotriidae, and makes comparisons with those of holarctic lampreys (Petromyzontidae). As previously reported for the holarctic lamprey Ichthyomyzon unicuspis [Collin and Fritzsch, 1993], the lens of G. australis is non-spherical and possesses a cone-shaped posterior that may be capable of mediating variable focus. The avascular retina of G. australis is well differentiated, containing three retinal ganglion cell populations, three layers of horizontal cells and three photoreceptor types, in contrast to petromyzontids that contain only two photoreceptor types (short and long), G. australis possesses one rod-like (R1) and two cone-like (C1 and C2) photoreceptors. Although the rodlike receptor in G. australis may be homologous with the short receptors of holarctic lampreys, the two cone-like receptors have morphological characteristics that differ markedly from those of the long receptors of their holarctic counterparts. The features which distinguish the two cone-like receptors from those of the long receptor type in holarctic lampreys are the characteristics of the mitochondria and the presence of large amounts of two different types of stored secretory material in the endoplasmic reticulum of the myoid (refractile bodies). The endoplasmic reticulum of each receptor type has a different shape and staining profile and is polymorphic, each showing a continuum of distension. It is proposed that the presence of two cone-like photoreceptors with different characteristics would increase the spectral range of G. australis and thus be of value during the parasitic phase, when this lamprey lives in the surface marine waters. The irideal flap, present in G. australis but not petromyzontids, would assist in reducing intraocular flare during life in surface waters. The results of this study, which are discussed in the context of the proposed evolution of lampreys, emphasise that it is important to take into account the characteristics of the eyes of southern hemisphere lampreys when making generalizations about the eyes of lampreys as a whole.

Three-dimensional imaging with optical tweezers

We demonstrate a three-dimensional scanning probe microscope in which the extremely soft spring of an optical tweezers trap is used. Feedback control of the instrument based on backscattered light levels allows three-dimensional imaging of microscopic samples in an aqueous environment. Preliminary results with a 2-mu m-diameter spherical probe indicate that features of approximately 200 nm can be resolved, with a sensitivity of 5 nm in the height measurement. The theoretical resolution is limited by the probe dimensions. (C) 1999 Optical Society of America.

Modeling the optical properties of AlSb, GaSb, and InSb

Optical constants of AlSb, GaSb, and InSb are modeled in the 1-6 eV spectral range. We employ an extension of Adachi's model of the optical constants of semiconductors. The model takes into account transitions at E-0, E-0 + Delta(0), E-1, and E-1 + Delta(1) critical points, as well as higher-lying transitions which are modeled with three damped harmonic oscillators. We do not consider indirect transitions contribution, since it represents a second-order perturbation and its strength should be low. Also, we do not take into account excitonic effects at E-1, E-1 + Delta(1) critical points, since we model the room temperature data. In spite of fewer contributions to the dielectric function compared to previous calculations involving Adachi's model, our calculations show significantly improved agreement with the experimental data. This is due to the two main distinguishing features of calculations presented here: use of adjustable line broadening instead of the conventional Lorentzian one, and employment of a global optimization routine for model parameter determination.