Phylogenetic revision of Agapophytinae subf.n. (Diptera : Therevidae) based on molecular and morphological evidence

Agapophytinae subf.n. is a highly diverse lineage of Australasian Therevidae, comprising eight described and two new genera: Agapophytus Guerin-Meneville, Acupalpa Krober, Acraspisa Krober, Belonalys Krober, Bonjeania Irwin & Lyneborg, Parapsilocephala Krober, Acatopygia Krober, Laxotela Winterton & Irwin, Pipinnipons gen.n. and Patanothrix gen.n. A genus-level cladistic analysis of the subfamily was undertaken using sixty-eight adult morphological characters and c. 1000 base pairs of the elongation factor-1 alpha (EF-1 alpha) protein coding gene. The morphological data partition produced three most parsimonious cladograms, whereas the molecular data partition gave a single most parsimonious cladogram, which did not match any of the cladograms found in the morphological analysis. The level of congruence between the data partitions was determined using the partition homogeneity test (HTF) and Wilcoxon signed ranks rest. Despite being significantly incongruent in at least one of the incongruence tests, the partitions were combined in a simultaneous analysis. The combined data yielded a single cladogram that was better supported than that of the individual partitions analysed separately. The relative contributions of the data partitions to support for individual nodes on the combined cladogram were investigated using Partitioned Bremer Support. The level of support for many nodes on the combined cladogram was non-additive and often greater than the sum of support for the respective nodes on individual partitions. This synergistic interaction between incongruent data partitions indicates a common phylogenetic signal in both partitions. It also suggests that criteria for partition combination based solely on incongruence may be misleading. The phylogenetic relationships of the genera are discussed using the combined data. A key to genera of Agapophytinae is presented, with genera diagnosed and figured. Two new genera are described: Patanothrix with a new species (Pat. skevingtoni) and Pat. wilsoni (Mann) transferred from Parapsilocephala, and Pipinnipons with a new species (Pip. kroeberi). Pipinnipons fascipennis (Krober) is transferred from Squamopygin Krober and Pip. imitans (Mann) is transferred from Agapophytus. Agapophytus bicolor (Krober) is transferred from Parapsilocephala. Agapophytus varipennis Mann is synonymised with Aga, queenslandi Krober and Aga. flavicornis Mann is synonymised with Aga. pallidicornis (Krober).

A cluster of melioidosis cases from an endemic region is clonal and is linked to the water supply using molecular typing of Burkholderia pseudomallei isolates

Nine cases of melioidosis with four deaths occurred over a 28-month period in members of a small remote Aboriginal community in the top end of the Northern Territory of Australia. Typing by pulsed-field gel electrophoresis showed isolates of Burkholderia pseudomallei from six of the cases to be clonal and also identical to an isolate from the community water supply, but not to soil isolates. The clonality of the isolates found in this cluster contrasts with the marked genetic diversity of human and environmental isolates found in this region which is hyperendemic for B. pseudomallei. It is possible that the clonal bacteria persisted and were propagated in biofilm in the water supply system. While the exact mode of transmission to humans and the reasons for cessation of the outbreak remain uncertain, contamination of the unchlorinated community water supply is a likely explanation.

Morphological and molecular heterogeneity within nonmicrosatellite instability-high colorectal cancer

Colorectal cancer (CRC) has traditionally been classified into two groups: microsatellite stable/low-level instability (MSS/MSI-L) and high-level MSI (MSI-H) groups on the basis of multiple molecular and clinicopathologic criteria. Using methylated in tumor (MINT) markers 1, 2,12, and 31, we stratified 77 primary CRCs into three groups: MINT++ (>2), MINT+ (1-2), and MINT- (0 markers methylated). The MSS/MSI-L/ MINT++ group was indistinguishable from the MSI-H/MINT++ group with respect to methylation of p16(INK4a), p14(ARF), and RIZ1, and multiple morphological features. The only significant difference between MSI-H and non-MSI-H MINT++ cancers was the higher frequency of K-ras mutation (P < 0.004) and lower frequency of hMLH1 methylation (P < 0.001) in the latter. These data demonstrate that the separation of CRC into two nonoverlapping groups (MSI-H versus MSS/MSI-L) is a misleading oversimplification.

Molecular clocks in reptiles: Life history influences rate of molecular evolution

Life history has been implicated as a determinant of variation in rate of molecular evolution amongst vertebrate species because of a negative correlation between bode size and substitution rate for many Molecular data sets. Both the generality and the cause of the negative bode size trend have been debated, and the validity of key studies has been questioned (particularly concerning the failure to account for phylogenetic bias). In this study, a comparative method has been used to test for an association between a range of life-history variables-such as body size age at maturity, and clutch size-and DNA substitution rate for three genes (NADH4, cytochrome b, and c-mos). A negative relationship between body size and rate of molecular evolution was found for phylogenetically independent pairs of reptile species spanning turtles. lizards. snakes, crocodile, and tuatara. Although this Study was limited by the number of comparisons for which both sequence and lite-history data were available, the results, suggest that a negative bode size trend in rate of molecular evloution may be a general feature of reptile molecular evolution. consistent with similar studies of mammals and birds. This observation has important implications for uncovering the mechanisms of molecular evolution and warns against assuming that related lineages will share the same substitution rate (a local molecular clock) in order to date evolutionary divergences from DNA sequences.

Growth of a Bose-Einstein condensate: a detailed comparison of theory and experiment

We extend the earlier model of condensate growth of Davis et at (Davis M J, Gardiner C W and Ballagh R J 2000 Phys. Rev. A 62 063608) to include the effect of gravity in a magnetic trap. We carry out calculations to model the experiment reported by Kohl et al (Kohl M, Davis M J, Gardiner C W, Hansch T and Esslinger T 2001 Preprint cond-mat/0106642) who study the formation of a rubidium Bose-Einstein condensate for a range of evaporative cooling parameters. We find that, in the regime where our model is valid, the theoretical curves agree with all the experimental data with no fitting parameters. However, for the slowest cooling of the gas the theoretical curve deviates significantly from the experimental curves. It is possible that this discrepancy may be related to the formation of a quasicondensate.

Atom lasers, coherent states, and coherence II. Maximally robust ensembles of pure states

As discussed in the preceding paper [Wiseman and Vaccaro, preceding paper, Phys. Rev. A 65, 043605 (2002)], the stationary state of an optical or atom laser far above threshold is a mixture of coherent field states with random phase, or, equivalently, a Poissonian mixture of number states. We are interested in which, if either, of these descriptions of rho(ss) as a stationary ensemble of pure states, is more natural. In the preceding paper we concentrated upon the question of whether descriptions such as these are physically realizable (PR). In this paper we investigate another relevant aspect of these ensembles, their robustness. A robust ensemble is one for which the pure states that comprise it survive relatively unchanged for a long time under the system evolution. We determine numerically the most robust ensembles as a function of the parameters in the laser model: the self-energy chi of the bosons in the laser mode, and the excess phase noise nu. We find that these most robust ensembles are PR ensembles, or similar to PR ensembles, for all values of these parameters. In the ideal laser limit (nu=chi=0), the most robust states are coherent states. As the phase noise or phase dispersion is increased through nu or the self-interaction of the bosons chi, respectively, the most robust states become more and more amplitude squeezed. We find scaling laws for these states, and give analytical derivations for them. As the phase diffusion or dispersion becomes so large that the laser output is no longer quantum coherent, the most robust states become so squeezed that they cease to have a well-defined coherent amplitude. That is, the quantum coherence of the laser output is manifest in the most robust PR ensemble being an ensemble of states with a well-defined coherent amplitude. This lends support to our approach of regarding robust PR ensembles as the most natural description of the state of the laser mode. It also has interesting implications for atom lasers in particular, for which phase dispersion due to self-interactions is expected to be large.

Atom lasers, coherent states, and coherence. I. Physically realizable ensembles of pure states

A laser, be it an optical laser or an atom laser, is an open quantum system that produces a coherent beam of bosons (photons or atoms, respectively). Far above threshold, the stationary state rho(ss) of the laser mode is a mixture of coherent-field states with random phase, or, equivalently, a Poissonian mixture of number states. This paper answers the question: can descriptions such as these, of rho(ss) as a stationary ensemble of pure states, be physically realized? Here physical realization is as defined previously by us [H. M. Wiseman and J. A. Vaccaro, Phys. Lett. A 250, 241 (1998)]: an ensemble of pure states for a particular system can be physically realized if, without changing the dynamics of the system, an experimenter can (in principle) know at any time that the system is in one of the pure-state members of the ensemble. Such knowledge can be obtained by monitoring the baths to which the system is coupled, provided that coupling is describable by a Markovian master equation. Using a family of master equations for the (atom) laser, we solve for the physically realizable (PR) ensembles. We find that for any finite self-energy chi of the bosons in the laser mode, the coherent-state ensemble is not PR; the closest one can come to it is an ensemble of squeezed states. This is particularly relevant for atom lasers, where the self-energy arising from elastic collisions is expected to be large. By contrast, the number-state ensemble is always PR. As the self-energy chi increases, the states in the PR ensemble closest to the coherent-state ensemble become increasingly squeezed. Nevertheless, there are values of chi for which states with well-defined coherent amplitudes are PR, even though the atom laser is not coherent (in the sense of having a Bose-degenerate output). We discuss the physical significance of this anomaly in terms of conditional coherence (and hence conditional Bose degeneracy).

Critical quantum fluctuations in the degenerate parametric oscillator

We develop a systematic theory of critical quantum fluctuations in the driven parametric oscillator. Our analytic results agree well with stochastic numerical simulations. We also compare the results obtained in the positive-P representation, as a fully quantum-mechanical calculation, with the truncated Wigner phase-space equation, also known as the semiclassical theory. We show when these results agree and differ in calculations taken beyond the linearized approximation. We find that the optimal broadband noise reduction occurs just above threshold. In this region where there are large quantum fluctuations in the conjugate variance and macroscopic quantum superposition states might be expected, we find that the quantum predictions correspond very closely to the semiclassical theory.

Limits to squeezing in the degenerate optical parametric oscillator

We develop a systematic theory of quantum fluctuations in the driven optical parametric oscillator, including the region near threshold. This allows us to treat the limits imposed by nonlinearities to quantum squeezing and noise reduction in this nonequilibrium quantum phase transition. In particular, we compute the squeezing spectrum near threshold and calculate the optimum value. We find that the optimal noise reduction occurs at different driving fields, depending on the ratio of damping rates. The largest spectral noise reductions are predicted to occur with a very high-Q second-harmonic cavity. Our analytic results agree well with stochastic numerical simulations. We also compare the results obtained in the positive-P representation, as a fully quantum-mechanical calculation, with the truncated Wigner phase-space equation, also known as the semiclassical theory.

Positive-P and Wigner representations for quantum-optical systems with nonorthogonal modes

We generalize the basic concepts of the positive-P and Wigner representations to unstable quantum-optical systems that are based on nonorthogonal quasimodes. This lays the foundation for a quantum description of such systems, such as, for example an unstable cavity laser. We compare both representations by calculating the tunneling times for an unstable resonator optical parametric oscillator.

Polarization squeezing and continuous-variable polarization entanglement

A concept of polarization entanglement for continuous variables is introduced. For this purpose the Stokes-parameter operators and the associated Poincare sphere, which describe the quantum-optical polarization properties of light, are defined and their basic properties are reviewed. The general features of the Stokes operators are illustrated by evaluation of their means and variances for a range of simple polarization states. Some of the examples show polarization squeezing, in which the variances of one or more Stokes parameters are smaller than the coherent-state value. The main object of the paper is the application of these concepts to bright squeezed light. It is shown that a light beam formed by interference of two orthogonally polarized quadrature-squeezed beams exhibits squeezing in some of the Stokes parameters. Passage of such a primary polarization-squeezed beam through suitable optical components generates a pair of polarization-entangled light beams with the nature of a two-mode squeezed state. Implementation of these schemes using the double-fiber Sagnac interferometer provides an efficient method for the generation of bright nonclassical polarization states. The important advantage of these nonclassical polarization states for quantum communication is the possibility of experimentally determining all of the relevant conjugate variables of both squeezed and entangled fields using only linear optical elements followed by direct detection.

Teleportation improvement by conditional measurements on the two-mode squeezed vacuum

We show that by making conditional measurements on the Einstein-Podolsky-Rosen (EPR) squeezed vacuum [T. Opatrny, G. Kurizki, and D.-G. Welsch, Phys. Rev. A 61, 032302 (2000)], one can improve the efficacy of teleportation for both the position-difference, momentum-sum, and number-difference, phase-sum continuous variable teleportation protocols. We investigate the relative abilities of the standard and conditional EPR states, and show that by conditioning we can improve the fidelity of teleportation of coherent states from below to above the (F) over bar =2/3 boundary, thereby achieving unambiguously quantum teleportation.

Bayesian feedback versus Markovian feedback in a two-level atom

We compare two different approaches to the control of the dynamics of a continuously monitored open quantum system. The first is Markovian feedback, as introduced in quantum optics by Wiseman and Milburn [Phys. Rev. Lett. 70, 548 (1993)]. The second is feedback based on an estimate of the system state, developed recently by Doherty and Jacobs [Phys. Rev. A 60, 2700 (1999)]. Here we choose to call it, for brevity, Bayesian feedback. For systems with nonlinear dynamics, we expect these two methods of feedback control to give markedly different results. The simplest possible nonlinear system is a driven and damped two-level atom, so we choose this as our model system. The monitoring is taken to be homodyne detection of the atomic fluorescence, and the control is by modulating the driving. The aim of the feedback in both cases is to stabilize the internal state of the atom as close as possible to an arbitrarily chosen pure state, in the presence of inefficient detection and other forms of decoherence. Our results (obtained without recourse to stochastic simulations) prove that Bayesian feedback is never inferior, and is usually superior, to Markovian feedback. However, it would be far more difficult to implement than Markovian feedback and it loses its superiority when obvious simplifying approximations are made. It is thus not clear which form of feedback would be better in the face of inevitable experimental imperfections.

Read-only-memory-based quantum computation: Experimental explorations using nuclear magnetic resonance and future prospects

Read-only-memory-based (ROM-based) quantum computation (QC) is an alternative to oracle-based QC. It has the advantages of being less magical, and being more suited to implementing space-efficient computation (i.e., computation using the minimum number of writable qubits). Here we consider a number of small (one- and two-qubit) quantum algorithms illustrating different aspects of ROM-based QC. They are: (a) a one-qubit algorithm to solve the Deutsch problem; (b) a one-qubit binary multiplication algorithm; (c) a two-qubit controlled binary multiplication algorithm; and (d) a two-qubit ROM-based version of the Deutsch-Jozsa algorithm. For each algorithm we present experimental verification using nuclear magnetic resonance ensemble QC. The average fidelities for the implementation were in the ranges 0.9-0.97 for the one-qubit algorithms, and 0.84-0.94 for the two-qubit algorithms. We conclude with a discussion of future prospects for ROM-based quantum computation. We propose a four-qubit algorithm, using Grover's iterate, for solving a miniature real-world problem relating to the lengths of paths in a network.