Common multiples of complete graphs

A graph H is said to divide a graph G if there exists a set S of subgraphs of G, all isomorphic to H, such that the edge set of G is partitioned by the edge sets of the subgraphs in S. Thus, a graph G is a common multiple of two graphs if each of the two graphs divides G.

Gauge fields, geometric phases, and quantum adiabatic pumps

Quantum adiabatic pumping of charge and spin between two reservoirs (leads) has recently been demonstrated in nanoscale electronic devices. Pumping occurs when system parameters are varied in a cyclic manner and sufficiently slowly that the quantum system always remains in its ground state. We show that quantum pumping has a natural geometric representation in terms of gauge fields (both Abelian and non-Abelian) defined on the space of system parameters. Tunneling from a scanning tunneling microscope tip through a magnetic atom could be used to demonstrate the non-Abelian character of the gauge field.

Superconducting Correlations in Metallic Nanoparticles: Exact Solution of the BCS Model by the Algebraic Bethe Ansatz

Superconducting pairing of electrons in nanoscale metallic particles with discrete energy levels and a fixed number of electrons is described by the reduced Bardeen, Cooper, and Schrieffer model Hamiltonian. We show that this model is integrable by the algebraic Bethe ansatz. The eigenstates, spectrum, conserved operators, integrals of motion, and norms of wave functions are obtained. Furthermore, the quantum inverse problem is solved, meaning that form factors and correlation functions can be explicitly evaluated. Closed form expressions are given for the form factors and correlation functions that describe superconducting pairing.

Proof Explanation in the DR-DEVICE System

Trust is a vital feature for Semantic Web: If users (humans and agents) are to use and integrate system answers, they must trust them. Thus, systems should be able to explain their actions, sources, and beliefs, and this issue is the topic of the proof layer in the design of the Semantic Web. This paper presents the design and implementation of a system for proof explanation on the Semantic Web, based on defeasible reasoning. The basis of this work is the DR-DEVICE system that is extended to handle proofs. A critical aspect is the representation of proofs in an XML language, which is achieved by a RuleML language extension.

A hybrid planning method for transmission networks in a deregulated environment

The reconstruction of power industries has brought fundamental changes to both power system operation and planning. This paper presents a new planning method using multi-objective optimization (MOOP) technique, as well as human knowledge, to expand the transmission network in open access schemes. The method starts with a candidate pool of feasible expansion plans. Consequent selection of the best candidates is carried out through a MOOP approach, of which multiple objectives are tackled simultaneously, aiming at integrating the market operation and planning as one unified process in context of deregulated system. Human knowledge has been applied in both stages to ensure the selection with practical engineering and management concerns. The expansion plan from MOOP is assessed by reliability criteria before it is finalized. The proposed method has been tested with the IEEE 14-bus system and relevant analyses and discussions have been presented.

Modeling control objectives for business process compliance

Business process design is primarily driven by process improvement objectives. However, the role of control objectives stemming from regulations and standards is becoming increasingly important for businesses in light of recent events that led to some of the largest scandals in corporate history. As organizations strive to meet compliance agendas, there is an evident need to provide systematic approaches that assist in the understanding of the interplay between (often conflicting) business and control objectives during business process design. In this paper, our objective is twofold. We will firstly present a research agenda in the space of business process compliance, identifying major technical and organizational challenges. We then tackle a part of the overall problem space, which deals with the effective modeling of control objectives and subsequently their propagation onto business process models. Control objective modeling is proposed through a specialized modal logic based on normative systems theory, and the visualization of control objectives on business process models is achieved procedurally. The proposed approach is demonstrated in the context of a purchase-to-pay scenario.

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.

Probability backflow for a Dirac particle

The phenomenon of probability backflow, previously quantified for a free nonrelativistic particle, is considered for a free particle obeying Dirac's equation. It is known that probability backflow can occur in the opposite direction to the momentum; that is to say, there exist positive-energy states in which the particle certainly has a positive momentum in a given direction, but for which the component of the probability flux vector in that direction is negative. It is shown thar the maximum possible amount of probability that can flow backwards, over a given time interval of duration T, depends on the dimensionless parameter epsilon = root 4h/mc(2)T, where m is the mass of the particle and c is the speed of light. At epsilon = 0, the nonrelativistic value of approximately 0.039 for this maximum is recovered. Numerical studies suggest that the maximum decreases monotonically as epsilon increases from 0, and show that it depends on the size of m, h, and T, unlike the nonrelativistic case.

Theory of multidimensional parametric band-gap simultons

Multidimensional spatiotemporal parametric simultons (simultaneous solitary waves) are possible in a nonlinear chi((2)) medium with a Bragg grating structure, where large effective dispersion occurs near two resonant band gaps for the carrier and second-harmonic field, respectively. The enhanced dispersion allows much reduced interaction lengths, as compared to bulk medium parametric simultons. The nonlinear parametric band-gap medium permits higher-dimensional stationary waves to form. In addition, solitons can occur with lower input powers than conventional nonlinear Schrodinger equation gap solitons. In this paper, the equations for electromagnetic propagation in a grating structure with a parametric nonlinearity are derived from Maxwell's equation using a coupled mode Hamiltonian analysis in one, two, and three spatial dimensions. Simultaneous solitary wave solutions are proved to exist by reducing the equations to the coupled equations describing a nonlinear parametric waveguide, using the effective-mass approximation (EMA). Exact one-dimensional numerical solutions in agreement with the EMA solutions are also given. Direct numerical simulations show that the solutions have similar types of stability properties to the bulk case, providing the carrier waves are tuned to the two Bragg resonances, and the pulses have a width in frequency space less than the band gap. In summary, these equations describe a physically accessible localized nonlinear wave that is stable in up to 3 + 1 dimensions. Possible applications include photonic logic and switching devices. [S1063-651X(98)06109-1].

Coupling of a Jahn-Teller pseudorotation with a hindered internal rotation in an isolated molecule: 9-hydroxytriptycene

The irregular vibronic structure in the S-1<--S-0 resonant two-photon ionization (R2PI) spectrum of supersonically cooled triptycene is a result of a classic Exe Jahn-Teller effect [A. Furlan et al., J. Chem. Phys. 96, 7306 (1992)]. This is well characterized and can be used as an effective probe of intramolecular perturbations. Here we examine the S-1<--S-0 R2PI spectrum of 9-hydroxytriptycene and the fluorescence from various excited state vibronic levels. In this system the pseudorotation of the Jahn-Teller vibration is strongly coupled to the torsional motion of the bridgehead hydroxy group. This torsional motion results in a tunneling splitting in both the ground and excited states. The population of the upper level in the ground electronic state results in additional vibronic transitions becoming symmetry allowed in the R2PI spectrum that are forbidden in the bare triptycene molecule. The assignment of the R2PI and fluorescence spectra allows the potential energy surfaces of these vibrational modes to be accurately quantified. The full C-3v vibronic point group must be used to interpret the spectra. The time scale of the internal rotation of the-OH group and the butterfly flapping of the Jahn-Teller pseudorotation are of similar magnitude. The tunneling between the nine minima on the three dimensional potential energy surface is such that the Jahn-Teller pseudorotation occurs in concert with the-OH internal rotation. The Berry phase that is acquired during this motion is discussed. The simple physical picture emerges of the angle between two of the three benzene moieties opening in three equivalent ways in the S-1 electronic state. This geometry follows the position of the hydroxy group, which preferentially orients itself to point between these two rings. (C) 1998 American Institute of Physics. [S0021-9606(98)02348-4].

Decomposing complete tripartite graphs into cycles of lengths 3 and 4

Necessary and sufficient conditions are given for the edge-disjoint decomposition of a complete tripartite graph K-r,K-s,K-t into exactly alpha 3-cycles and beta 4-cycles. (C) 1999 Elsevier Science B.V. All rights reserved.

Brain region-specific studies of the excitatory behavioral effects of morphine-3-glucuronide

This study was designed to determine in rats whether morphine-3-glucuronide (M3G) produces its neuro-excitatory effects most potently in the ventral hippocampus (as has been reported previously for subanalgesic doses of opioid peptides). Guide cannulae were implanted into one of seven regions of the rat brain: lateral ventricle; ventral, CA1 and CA2-CA3 regions of the hippocampus; amygdala; striatum or cortex. After a 7 day recovery period, rats received intracerebral injections of (i) M3G (1.1 or 11 nmol) (ii) DADLE ([D-Ala(2),D-Leu(5)]enkephalin), (45 nmol, positive controls) or (iii) vehicle (deionised water), and behavioral excitation was quantified over 80 min. High-dose M3G (11 nmol) evoked behavioral excitation in all brain regions but the onset, severity and duration of these effects varied considerably among brain regions. By contrast, low-dose M3G (1.1 nmol) evoked excitatory behaviors only when administered into the ventral hippocampus and the amygdala, with the most potent effects being observed in the ventral hippocampus. Prior administration of the nonselective opioid antagonists, naloxone and beta-funaltrexamine into the ventral hippocampus, markedly attenuated low-dose M3G's excitatory effects but did not significantly alter levels of excitation evoked by high-dose M3G. Naloxone given 10 min after M3G (1.1 or 11 nmol) did not significantly attenuate behavioral excitation. Thus, M3G's excitatory behavioral effects occur most potently in the ventral hippocampus as reported previously for subanalgesic doses of opioid peptides, and appear to be mediated through at least two mechanisms, one possibly involving excitatory opioid receptors and the other, non-opioid receptors.

Novel solitons in parametric amplifiers and atom lasers

We review recent developments in quantum and classical soliton theory, leading to the possibility of observing both classical and quantum parametric solitons in higher-dimensional environments. In particular, we consider the theory of three bosonic fields interacting via both parametric (cubic) and quartic couplings. In the case of photonic fields in a nonlinear optical medium this corresponds to the process of sum frequency generation (via chi((2)) nonlinearity) modified by the chi((3)) nonlinearity. Potential applications include an ultrafast photonic AND-gate. The simplest quantum solitons or energy eigenstates (bound-state solutions) of the interacting field Hamiltonian are obtained exactly in three space dimensions. They have a point-like structure-even though the corresponding classical theory is nonsingular. We show that the solutions can be regularized with the imposition of a momentum cut-off on the nonlinear couplings. The case of three-dimensional matter-wave solitons in coupled atomic/molecular Bose-Einstein condensates is discussed.

Bird responses at inherent and induced edges in the Murray Mallee, South Australia. 1. Differences in abundance and diversity

We quantified differences in the abundance and diversity of bird species at inherent (naturally occurring) and induced (human-created) edges in the Murray Mallee, South Australia, to explore the effects of anthropogenic landscape modification. Bird species were classified into edge response categories based on numerical differences in abundance between the edge and interior of habitat patches. 'Open-country' species (e.g. Australian Magpie and Little Raven) increased in abundance near induced edges, but were rarely recorded > 200 m into patch interiors or at inherent edges. The Australian Ringneck, Red Wattlebird, Spiny-cheeked Honeyeater, Singing Honeyeater and White-eared Honeyeater increased in abundance near each inherent edge and were classified as 'edge-users'. However, their responses at induced edges varied between sites. The Yellow-plumed Honeyeater, Spotted Pardalote, White-browed Babbler, Chestnut Quail-thrush and Southern Scrub-robin decreased in abundance near one or more induced edges and were classified as 'edge-avoiders' at these sites. The Yellow-plumed Honeyeater, Spotted Pardalote, Chestnut Quail-thrush and Southern Scrub-robin are considered mallee habitat specialists in eastern Australia. These species may be particularly affected by anthropogenic modification of mallee vegetation.