Viewpoint consistency in Z and LOTOS: A case study

Specification by viewpoints is advocated as a suitable method of specifying complex systems. Each viewpoint describes the envisaged system from a particular perspective, using concepts and specification languages best suited for that perspective. Inherent in any viewpoint approach is the need to check or manage the consistency of viewpoints and to show that the different viewpoints do not impose contradictory requirements. In previous work we have described a range of techniques for consistency checking, refinement, and translation between viewpoint specifications, in particular for the languages LOTOS and Z. These two languages are advocated in a particular viewpoint model, viz. that of the Open Distributed Processing (ODP) reference model. In this paper we present a case study which demonstrates how all these techniques can be combined in order to show consistency between a viewpoint specified in LOTOS and one specified in Z. Keywords: Viewpoints; Consistency; Z; LOTOS; ODP

Can One Distinguish Tau Neutrinos from Antineutrinos in Neutral-Current Pion Production Processes?

A potential way to distinguish tau-neutrinos from antineutrinos, below the tau-production threshold, but above the pion production one, is presented. It is based on the different behavior of the neutral current pion production off the nucleon, depending on whether it is induced by neutrinos or antineutrinos. This procedure for distinguishing tau-neutrinos from antineutrinos neither relies on any nuclear model, nor it is affected by any nuclear effect (distortion of the outgoing nucleon waves, etc...). We show that neutrino-antineutrino asymmetries occur both in the totally integrated cross sections and in the pion azimuthal differential distributions. To define the asymmetries for the latter distributions we just rely on Lorentz-invariance. All these asymmetries are independent of the lepton family and can be experimentally measured by using electron or muon neutrinos, due to the lepton family universality of the neutral current neutrino interaction. Nevertheless and to estimate their size, we have also used the chiral model of hep-ph/0701149 at intermediate energies. Results are really significant since the differences between neutrino and antineutrino induced reactions are always large in all physical channels.Comment: Revised version. 8 pages, 3 figures. The abstract has been changed and discussion extende

Diffractive deeply inelastic scattering of hadronic states with small transverse size

Diffractive deeply inelastic scattering from a hadron is described in terms of diffractive quark and gluon distributions. If the transverse size of the hadronic state is sufficiently small, these distributions are calculable using perturbation theory. We present such a calculation and discuss the underlying dynamics. We comment on the relation between this dynamics and the pattern of scaling violation observed in the hard diffraction of large-size states at HERA.Comment: 8 pages including 3 figures, REVTE

Universality of the preasymptotics in the hadron and photon diffraction

We note that it is premature to make a conclusion on the multiplicity of the Pomerons on the basis of the available experimental data since the interactions have a preasymptotic natureComment: 4 pages, latex, no figure

Dynamical QCD Predictions for Ultrahigh Energy Neutrino Cross Sections

Neutrino-nucleon total cross sections for neutrino energies up to ultrahigh energies (UHE), E_\nu=10^12 GeV, are evaluated within the framework of the dynamical (radiative) parton model. The expected uncertainties of these predictions do not exceed the level of about 20 % at the highest energies where contributions of parton distributions in the yet unmeasured region around x\simeq 10^-8 to 10^-9 are non-negligible. This is far more accurate than estimated uncertainties of about 2^+-1 due to ad hoc extrapolations of parton distributions to x<10^-5 required for calculating UHE cosmic neutrino event rates.Comment: 16 pages, LaTeX, 4 figures, uses epsfig and amssymb styl

Phenomenological description of the gamma* p cross section at low Q2

Low Q2 photon-proton cross sections are analysed using a simple, QCD-motivated parametrisation $\sigma_{\gamma^\star p}\propto 1/(Q^2+Q_0^2)$, which gives a good description of the data. The Q2 dependence of the gamma* p cross section is discussed in terms of the partonic transverse momenta of the hadronic state the photon fluctuates into.Comment: 14 pages, revtex, epsfig, 2 figure

Building a refinement checker for Z

In previous work we have described how refinements can be checked using a temporal logic based model-checker, and how we have built a model-checker for Z by providing a translation of Z into the SAL input language. In this paper we draw these two strands of work together and discuss how we have implemented refinement checking in our Z2SAL toolset. The net effect of this work is that the SAL toolset can be used to check refinements between Z specifications supplied as input files written in the LaTeX mark-up. Two examples are used to illustrate the approach and compare it with a manual translation and refinement check.Comment: In Proceedings Refine 2011, arXiv:1106.348

Unitarization of Gluon Exchange Amplitudes and Rapidity Gaps at the Tevatron

Rapidity gaps between two hard jets at the Tevatron have been interpreted as being due to the exchange of two gluons which are in an overall color-singlet state. We show that this simple picture involves unitarity violating amplitudes. Unitarizing the gluon exchange amplitude leads to qualitatively different predictions for the fraction of $t$-channel color singlet exchange events in forward $qq$, $qg$ or $gg$ scattering, which better fit Tevatron data.Comment: 21 pages, Revtex, 7 postscript figures included via epsf.sty. Compressed postscript file of complete paper also available at http://pheno.physics.wisc.edu/pub/preprints/1998/madph-98-1024.ps.Z or at ftp://pheno.physics.wisc.edu/pub/preprints/1998/madph-98-1024.ps.

Colorless and colored gluon-clusters in nucleon?

It is suggested that virtual gluon-clusters exist in nucleon, and that such colorless and colored objects manifest themselves in the small $x_B$ region of inelastic lepton-nucleon scattering processes. The relationship between the space-time properties of such clusters and the striking features observed in these scattering processes is discussed. A phase-space model is used to show how quantitative results can be obtained in such an approach. The results of this model-calculation are in reasonable agreement with the existing data. Further experiments are suggested.Comment: to be published in Phys. Rev.

Electrodynamic Limit in a Model for Charged Solitons

We consider a model of topological solitons where charged particles have finite mass and the electric charge is quantised already at the classical level. In the electrodynamic limit, which physically corresponds to electrodynamics of solitons of zero size, the Lagrangian of this model has two degrees of freedom only and reduces to the Lagrangian of the Maxwell field in dual representation. We derive the equations of motion and discuss their relations with Maxwell's equations. It is shown that Coulomb and Lorentz forces are a consequence of topology. Further, we relate the U(1) gauge invariance of electrodynamics to the geometry of the soliton field, give a general relation for the derivation of the soliton field from the field strength tensor in electrodynamics and use this relation to express homogeneous electric fields in terms of the soliton field.Comment: 13 pages, 4 figures, Introduction and Section II (Model Lagrangian) rewritten, new chapters concerning electrodynamic limit and discussion of causality inserte