Efficient simple groups

We prove that the simple group L-3(5) which has order 372000 is efficient by providing an efficient presentation for it. This leaves one simple group with order less than one million, S-4(4) which has order 979200, whose efficiency or otherwise remains to be determined.

Lower Bounds on the State Complexity of Geometric Goppa Codes

We reinterpret the state space dimension equations for geometric Goppa codes. An easy consequence is that if deg G less than or equal to n-2/2 or deg G greater than or equal to n-2/2 + 2g then the state complexity of C-L(D, G) is equal to the Wolf bound. For deg G is an element of [n-1/2, n-3/2 + 2g], we use Clifford's theorem to give a simple lower bound on the state complexity of C-L(D, G). We then derive two further lower bounds on the state space dimensions of C-L(D, G) in terms of the gonality sequence of F/F-q. (The gonality sequence is known for many of the function fields of interest for defining geometric Goppa codes.) One of the gonality bounds uses previous results on the generalised weight hierarchy of C-L(D, G) and one follows in a straightforward way from first principles; often they are equal. For Hermitian codes both gonality bounds are equal to the DLP lower bound on state space dimensions. We conclude by using these results to calculate the DLP lower bound on state complexity for Hermitian codes.

Laying date and laying sequence influence the sex ratio of crimson rosella broods

We examine the patterns of sex allocation in crimson rosellas Platycercus elegans, a socially monogamous Australian parrot. Overall, 41.8% of nestlings were male, a significant female bias. However underlying this population-level bias were non-random patterns of sex allocation within broods. Broods produced early in the season were female-biased, but the proportion of males in a brood increased as the breeding season progressed. Female rosellas may obtain greater fitness benefits from early-fledging daughters than sons because daughters can breed as 1-year-olds whereas sons do not breed until they are at least 2 years old. Laying date and laying sequence also interacted to influence the sex ratio of eggs. The sex of early-laid eggs strongly followed the brood level pattern, whereas the sex of middle- and late-laid eggs did not change significantly as the season progressed. Nevertheless, late-laid eggs were very unlikely to be male at the end of the season. We argue these differing seasonal patterns reflect the relative costs and benefits to producing early-hatched males and females at different times of the season. Female rosellas appear to maximise the probability that daughters are able to breed early but to minimise competitive asymmetries within the brood. In particular, late-hatched male chicks are disadvantaged if their oldest sibling is male, explaining the dearth of broods containing late-hatched males at the end of the breeding season.

Characterization of mouse profilaggrin: Evidence for nuclear engulfment and translocation of the profilaggrin B-domain during epidermal differentiation

Filaggrin is a keratin filament associated protein that is expressed in granular layer keratinocytes and derived by sequential proteolysis from a polyprotein precursor termed profilaggrin. Depending on the species, each profilaggrin molecule contains between 10 and 20 filaggrin subunits organized as tandem repeats with a calcium-binding domain at the N-terminal end. We now report the characterization of the complete mouse gene. The structural organization of the mouse gene is identical to the human profilaggrin gene and consists of three exons with a 4 kb intron within the 5' noncoding region and a 1.7 kb intron separating the sequences encoding the calcium-binding EF-hand motifs. A processed pseudogene was found embedded within the second intron. The third and largest exon encodes the second EF-hand, a basic domain (designated the B-domain) followed by 12 filaggrin repeats and a unique C-terminal tail domain. A polyclonal anti-body raised against the conceptually translated sequence of the B-domain specifically stained keratohyalin granules and colocalized with a filaggrin antibody in granular layer cells. In upper granular layer cells, B-domain containing keratohyalin granules were in close apposition to the nucleus and, in some cells, appeared to be completely engulfed by the nucleus. In transition layer cells, B-domain staining was evident in the nucleus whereas filaggrin staining remained cytoplasmic. Nuclear staining of the B-domain was also observed in primary mouse keratinocytes induced to differentiate. This study has also revealed significant sequence homology between the mouse and human promoter sequences and in the calcium-binding domain but the remainder of the protein-coding region shows substantial divergence.

A formal model of real-time program compilation

Program compilation can be formally defined as a sequence of equivalence-preserving transformations, or refinements, from high-level language programs to assembler code, Recent models also incorporate timing properties, but the resulting formalisms are intimidatingly complex. Here we take advantage of a new, simple model of real-time refinement, based on predicate transformer semantics, to present a straightforward compilation formalism that incorporates real-time constraints. (C) 2002 Elsevier Science B.V. All rights reserved.

A Devonian (Givetian) fore-reef slope sequence at Liangshuijing and implication for Devonian platform-to-depression development in Guilin, South China

Three Bahama-like carbonate plaforms-the Guilin, Yangshuo and Yanshan-occurred in Guilin and the surrounding regions during Middle and Late Devonian, which, at a broad scale, are part of an extensive carbonate platform (Xiangzhou carbonate platform) facies in South China. The intraplatform depression facies, a unique characteristic of the Chinese Devonian depositional sequence, separates Bahama-like (platform-to-depression) carbonate subplatfonns. Intraplatform depressions resulted from syndepositional faulting that cut the basement of carbonate subplatforms and affected further platform development. The Liangshuijing section, located between the Guilin platform in the north and the Yangshuo platform in the south, is representative of the fore-reef slope facies neighboring an intraplatform. depression. The South edge of the fore-reef slope lies adjacent to the Yangshuo reef carbonate platform, and the north edge graded into the Yangdi pelagic depression facies. A detailed sedimentary and microfacies analysis work done in this study at the Liangshuijing section shows a distinct vertical facies change from back-reef, restricted platform, hemipelagic, to fore-reefslope facies, differing from either shallow-water benthic facies or typical pelagic facies. Various benthic and pelagic lithofacies and their associations have been recognized in the Liangshuijing section, including dolomitic rudstone, gastropod wackestone, Amphipora floatstone, tentaculitoid wackestone, stromatolite and oncoid limestone, Amphipora grainstone, grain flows, laminated limestone, flat-pebble and brachiopod floatstone, and carbonate turbidites. Eight types of sedimentary cycles composed of two or three lithofacies have been distinguished, which are able to indicate environment changes. Stromatolites, oncoids, grain flows, carbonate turbidites, and tentaculitoid limestones characterize the slope and intraplatform depression lithofacies. Analysis of the vertical sedimentary cycles in the Liangshuijinag section and the lateral stratigraphic equivalents suggest the differing facies patterns occurred at the middle Varcus Zone (Givetian) of Middle Devonian, coeval with the development of fore-reef slope facies in the Guilin area in response to syndeposifional faulting.

Simple operational interpretation of the fidelity of mixed states

This Brief Report presents a corollary to Uhlmann's theorem which provides a simple operational interpretation of the fidelity of mixed states.

A simple formula for the average gate fidelity of a quantum dynamical operation

This Letter presents a simple formula for the average fidelity between a unitary quantum gate and a general quantum operation on a qudit, generalizing the formula for qubits found by Bowdrey et al. [Phys. Lett. A 294 (2002) 258]. This formula may be useful for experimental determination of average gate fidelity. We also give a simplified proof of a formula due to Horodecki et al. [Phys. Rev. A 60 (1999) 1888], connecting average gate fidelity to entanglement fidelity. (C) 2002 Elsevier Science B.V. All rights reserved.

Evolution of the secondary structure of the rRNA internal transcribed spacer 2 (ITS2) in hard ticks (Ixodidae, Arthropoda)

ITS2 sequences are used extensively in molecular taxonomy and population genetics of arthropods and other animals yet little is known about the molecular evolution of ITS2. We studied the secondary structure of ITS2 in species from each of the six main lineages of hard ticks (family Ixodidae). The ITS2 of these ticks varied in length from 679 bp in Ixodes scapularis to 1547 bp in Aponomma concolor. Nucleotide content varied also: the ITS2 of ticks from the Prostriata lineage (Ixodes spp.) had 46-49% GC whereas ITS2 sequences of ticks from the Metastriata lineage (all other hard ticks) had 61-62% GC. Despite variation in nucleotide sequence, the secondary structure of the ITS2 of all of these ticks apparently has five domains. Stems 1, 3, 4 and 5 of this secondary structure were obvious in all of the species studied. However, stem 2 was not always obvious despite the fact that it is flanked by highly conserved sequence motifs in the adjacent stems, stems 1 and 3. The ITS2 of hard ticks has apparently evolved mostly by increases and decreases in length of the nucleotide sequences, which caused increases, and decreases in the length of stems of the secondary structure. This is most obvious when stems of the secondary structures of the Prostriata (Ixodes spp.) are compared to those of the Metastriata (all other hard ticks). Increases in the size of the ITS2 may have been caused by replication slippage which generated large repeats, like those seen in Haemaphysalis humerosa and species from the Rhipicepalinae lineage, and the small repeats found in species from the other lineages of ticks.

Analysis of the sequence and expression of a second putative acetylcholinesterase cDNA from organophosphate-susceptible and organophosphate-resistant cattle ticks

The cattle tick, Boophilus microplus, is a major pest of cattle in Australia, Central and South America, and parts of Africa and Asia. Control of ticks with organophosphates (OPs) and carbamates, which target acetylcholinesterases (AChE), led to evolution of resistance to these pesticides. Alleles at the locus studied here, AChE2, from OP-susceptible female ticks from Australia and Mexico differed at 46 of 1689 nucleotide positions (20 putative amino acid differences) whereas alleles from three strains of OP-resistant ticks from Australia differed with the allele from the Australian susceptible ticks at six to 13 nucleotide positions (three to six putative amino acid differences). However, the role, if any, of these polymorphisms in the OP-resistance phenotype is unknown. Certainly none of the polymorphisms correspond to sites in ACK that are involved in catalysis or binding of acetylcholine in other organisms. Both of the AChE loci of B. microplus, AChE1 and AChE2, are apparently expressed in synganglia; AChE1 is also expressed in salivary glands and ovaries, in OP-susceptible and OP-resistant ticks. This seems to contradict studies of enzyme kinetics, which indicated that only one form of AChE was present in the synganglia, the site of the action of OPs, in this species of tick. (C) 2002 Elsevier Science Ltd. All rights reserved.

Phase variable restriction-modification systems in Moraxella catarrhalis

A repetitive DNA motif was used as a marker to identify novel genes in the mucosal pathogen Moraxella catarrhalis. There is a high prevalence of such repetitive motifs in virulence genes that display phase variable expression. Two repeat containing loci were identified using a digoxigenin-labelled 5'-(CAAC)(6)-3' oligonucleotide probe. The repeats are located in the methylase components of two distinct type III restriction-modification (R-M) systems. We suggest that the phase variable nature of these R-M systems indicates that they have an important role in the biology of M. catarrhalis. (C) 2002 Published by Elsevier Science B.V. on behalf of the Federation of European Microbiological Societies.

Work domain analysis and sensors I: principles and simple example

In this paper we establish a foundation for understanding the instrumentation needs of complex dynamic systems if ecological interface design (EID)-based interfaces are to be robust in the face of instrumentation failures. EID-based interfaces often include configural displays which reveal the higher-order properties of complex systems. However, concerns have been expressed that such displays might be misleading when instrumentation is unreliable or unavailable. Rasmussen's abstraction hierarchy (AH) formalism can be extended to include representations of sensors near the functions or properties about which they provide information, resulting in what we call a sensor-annotated abstraction hierarchy. Sensor-annotated AHs help the analyst determine the impact of different instrumentation engineering policies on higher-order system information by showing how the data provided from individual sensors propagates within and across levels of abstraction in the AH. The use of sensor-annotated AHs with a configural display is illustrated with a simple water reservoir example. We argue that if EID is to be effectively employed in the design of interfaces for complex systems, then the information needs of the human operator need to be considered at the earliest stages of system development while instrumentation requirements are being formulated. In this way, Rasmussen's AH promotes a formative approach to instrumentation engineering. (C) 2002 Elsevier Science Ltd. All rights reserved.

DNA sequence variation in the ITS-1 rDNA subunit and host relationships in sorghum midge, Stenodiplosis sorghicola (Coquillett) (Diptera : Cecidomyiidae), in Australia

Sequence variation in the internal transcribed spacer (ITS-1) ribosomal DNA subunit was examined for sorghum midge obtained from introduced and native hosts in south-eastern and central Queensland. No variation was observed relative to host plant or geographical distance for midges collected from two introduced hosts, grain sorghum (Sorghum bicolor ) and Johnson grass (S. halepense ); however, sequence differences were observed between midges from introduced and native hosts and among midges from a single native host, slender bluegrass (Dichanthium affine ). No evidence was observed of introduced midges on native hosts, or vice versa. These results agree with previously hypothesised host distributions for native and introduced midges in Australia, and expand the sample of introduced hosts to include Johnson grass. They suggest that Stenodiplosis sorghicola , the principal midge infesting grain sorghum, is also the most common species on Johnson grass. This confirms that Johnson grass plays a role in the population dynamics of S. sorghicola and suggests that midges originating from Johnson grass may influence levels of infestation in grain sorghum.