Towards Physical Hybrid Systems

Some hybrid systems models are unsafe for mathematically correct but physically unrealistic reasons. For example, mathematical models can classify a system as being unsafe on a set that is too small to have physical importance. In particular, differences in measure zero sets in models of cyber-physical systems (CPS) have significant mathematical impact on the mathematical safety of these models even though differences on measure zero sets have no tangible physical effect in a real system. We develop the concept of "physical hybrid systems" (PHS) to help reunite mathematical models with physical reality. We modify a hybrid systems logic (differential temporal dynamic logic) by adding a first-class operator to elide distinctions on measure zero sets of time within CPS models. This approach facilitates modeling since it admits the verification of a wider class of models, including some physically realistic models that would otherwise be classified as mathematically unsafe. We also develop a proof calculus to help with the verification of PHS.Comment: CADE 201

Amplitude Zeros in W±ZW^\pm Z Production

We demonstrate that the Standard Model amplitude for $f_1 \bar f_2 \rightarrow W^\pm Z$ at the Born-level exhibits an approximate zero located at $\cos\theta = (g^{f_1}_{-} + g^{f_2}_{-}) / (g^{f_1}_{-} - g^{f_2}_{-})$ at high energies, where the $g^{f_i}_{-}$ ($i=1,2$) are the left-handed couplings of the $Z$-boson to fermions and $\theta$ is the center of mass scattering angle of the $W$-boson. The approximate zero is the combined result of an exact zero in the dominant helicity amplitudes ${\cal M}(\pm,\mp)$ and strong gauge cancelations in the remaining amplitudes. For non-standard $WWZ$ couplings these cancelations no longer occur and the approximate amplitude zero is eliminated.Comment: 11 pages, 4 figures submitted separately as uuencoded tar-ed postscript files, FSU-HEP-940307, UCD-94-

Factorization of gravitational Compton scattering amplitude in the linearized version of general relativity

Gravitational Compton scattering process with a massive fermion is studied in the context of the linearized gravity. Gravitational gauge invariance and graviton transversality cause the transition amplitude to be factorized into that of scalar QED Compton scattering and that of fermion QED Compton scattering with an overall kinematical factor. The factorization is shown explicitly and its physical implications are discussed.Comment: 11 pages, 1 figure(not included), Revtex 3.0, SNUTP 93-2

Identification of the Beutler-Fano formula in eigenphase shifts and eigentime delays near a resonance

Eigenphase shifts and eigentime delays near a resonance for a system of one discrete state and two continua are shown to be functionals of the Beutler- Fano formulas using appropriate dimensionless energy units and line profile indices. Parameters responsible for the avoided crossing of eigenphase shifts and eigentime delays are identified. Similarly, parameters responsible for the eigentime delays due to a frame change are identified. With the help of new parameters, an analogy with the spin model is pursued for the S matrix and time delay matrix. The time delay matrix is shown to comprise three terms, one due to resonance, one due to a avoided crossing interaction, and one due to a frame change. It is found that the squared sum of time delays due to the avoided crossing interaction and frame change is unity.Comment: 17 pages, 3 figures, RevTe

From quantum fusiliers to high-performance networks

Our objective was to design a quantum repeater capable of achieving one million entangled pairs per second over a distance of 1000km. We failed, but not by much. In this letter we will describe the series of developments that permitted us to approach our goal. We will describe a mechanism that permits the creation of entanglement between two qubits, connected by fibre, with probability arbitrarily close to one and in constant time. This mechanism may be extended to ensure that the entanglement has high fidelity without compromising these properties. Finally, we describe how this may be used to construct a quantum repeater that is capable of creating a linear quantum network connecting two distant qubits with high fidelity. The creation rate is shown to be a function of the maximum distance between two adjacent quantum repeaters.Comment: 2 figures, Comments welcom

Amplitude Zeros in Radiative Decays of Scalar Particles

We study amplitude zeros in radiative decay processes with a photon or a gluon emission of all possible scalar particles(e.g. scalar leptoquarks) which may interact with the usual fermions in models beyond the standard model. For the decays with a photon emission, the amplitudes clearly exhibit the factorization property and the differential decay rates vanish at specific values of a certain variable which are determined only by the electric charges of the particles involved and independent of the particle masses and the various couplings. For the decays with a gluon emission, even though the zeros are washed away, the differential decay rates still have distinct minima. The branching ratios as a function of leptoquark masses are presented for the scalar leptoquark decays. We also comment on the decays of vector particles into two fermions and a photon.Comment: Revtex, 17 pages + 6 figures (available upon request), Preprint, OITS559. Several typos with tex file were correcte

Reducing quantum control for spin-spin entanglement distribution

We present a protocol that sets maximum stationary entanglement between remote spins through scattering of mobile mediators without initialization, post-selection or feedback of the mediators' state. No time-resolved tuning is needed and, counterintuitively, the protocol generates two-qubit singlet states even when classical mediators are used. The mechanism responsible for such effect is resilient against non-optimal coupling strengths and dephasing affecting the spins. The scheme uses itinerant particles and scattering centres and can be implemented in various settings. When quantum dots and photons are used a striking result is found: injection of classical mediators, rather than quantum ones, improves the scheme efficiency.Comment: 7 pages, 5 figures, replaced with published versio

Wastewater disposal and earthquake swarm activity at the southern end of the Central Valley, California

Fracture and fault zones can channel fluid flow and transmit injection-induced pore pressure changes over large distances (>km), at which seismicity is rarely suspected to be human induced. We use seismicity analysis and hydrogeological models to examine the role of seismically active faults in inducing earthquakes. We analyze a potentially injection-induced earthquake swarm with three events above M4 near the White Wolf fault (WWF). The swarm deviates from classic main aftershock behavior, exhibiting uncharacteristically low Gutenberg-Richter b of 0.6, and systematic migration patterns. Some smaller events occurred southeast of the WWF in an area of several disposal wells, one of which became active just 5 months before the main swarm activity. Hydrogeological modeling revealed that wastewater disposal likely contributed to seismicity via localized pressure increase along a seismically active fault. Our results suggest that induced seismicity may remain undetected in California without detailed analysis of local geologic setting, seismicity, and fluid diffusion