Saturation Spectroscopy of Iodine in Hollow-core Optical Fibre

We present high-resolution spectroscopy of Iodine vapour that is loaded and trapped within the core of a hollow-core photonic crystal fibre (HC-PCF). We compare the observed spectroscopic features to those seen in a conventional iodine cell and show that the saturation characteristics differ significantly. Despite the confined geometry it was still possible to obtain sub-Doppler features with a spectral width of ~6 MHz with very high contrast. We provide a simple theory which closely reproduces all the key observations of the experiment.Comment: 12 pages, 7 figure

Homotopy Theoretic Models of Type Theory

We introduce the notion of a logical model category which is a Quillen model category satisfying some additional conditions. Those conditions provide enough expressive power that one can soundly interpret dependent products and sums in it. On the other hand, those conditions are easy to check and provide a wide class of models some of which are listed in the paper.Comment: Corrected version of the published articl

Lepton charge and neutrino mixing in pion decay processes

We consider neutrino mixing and oscillations in quantum field theory and compute the neutrino lepton charge in decay processes where neutrinos are generated. We also discuss the proper definition of flavor charge and states and clarify the issues of the possibility of different mass parameters in field mixing.Comment: 13 page

Fast Field-Cycling MRI : Demonstration of New Technology for T1-Dispersion Contrast

Peer reviewedPublisher PD

Multi-channel phase-equivalent transformation and supersymmetry

Phase-equivalent transformation of local interaction is generalized to the multi-channel case. Generally, the transformation does not change the number of the bound states in the system and their energies. However, with a special choice of the parameters, the transformation removes one of the bound states and is equivalent to the multi-channel supersymmetry transformation recently suggested by Sparenberg and Baye. Using the transformation, it is also possible to add a bound state to the discrete spectrum of the system at a given energy $E<0$ if the angular momentum at least in one of the coupled channels $l\ge 2$.Comment: 9 pages, revtex; to be published in Phys. At. Nucl. (Oct. 2000

Dirac-Schr\"odinger equation for quark-antiquark bound states and derivation of its interaction kerne

The four-dimensional Dirac-Schr\"odinger equation satisfied by quark-antiquark bound states is derived from Quantum Chromodynamics. Different from the Bethe-Salpeter equation, the equation derived is a kind of first-order differential equations of Schr\"odinger-type in the position space. Especially, the interaction kernel in the equation is given by two different closed expressions. One expression which contains only a few types of Green's functions is derived with the aid of the equations of motion satisfied by some kinds of Green's functions. Another expression which is represented in terms of the quark, antiquark and gluon propagators and some kinds of proper vertices is derived by means of the technique of irreducible decomposition of Green's functions. The kernel derived not only can easily be calculated by the perturbation method, but also provides a suitable basis for nonperturbative investigations. Furthermore, it is shown that the four-dimensinal Dirac-Schr\"odinger equation and its kernel can directly be reduced to rigorous three-dimensional forms in the equal-time Lorentz frame and the Dirac-Schr\"odinger equation can be reduced to an equivalent Pauli-Schr\"odinger equation which is represented in the Pauli spinor space. To show the applicability of the closed expressions derived and to demonstrate the equivalence between the two different expressions of the kernel, the t-channel and s-channel one gluon exchange kernels are chosen as an example to show how they are derived from the closed expressions. In addition, the connection of the Dirac-Schr\"odinger equation with the Bethe-Salpeter equation is discussed

NN potentials from inverse scattering in the J-matrix approach

An approximate inverse scattering method [7,8] has been used to construct separable potentials with the Laguerre form factors. As an application, we invert the phase shifts of proton-proton in the $^1S_0$ and $^3P_2-^3F_2$ channels and neutron-proton in the $^3S_1-^3D_1$ channel elastic scattering. In the latter case the deuteron wave function of a realistic $np$ potential was used as input.Comment: LaTex2e, 17 pages, 3 Postscript figures; corrected typo

Towards the Formalization of Fractional Calculus in Higher-Order Logic

Fractional calculus is a generalization of classical theories of integration and differentiation to arbitrary order (i.e., real or complex numbers). In the last two decades, this new mathematical modeling approach has been widely used to analyze a wide class of physical systems in various fields of science and engineering. In this paper, we describe an ongoing project which aims at formalizing the basic theories of fractional calculus in the HOL Light theorem prover. Mainly, we present the motivation and application of such formalization efforts, a roadmap to achieve our goals, current status of the project and future milestones.Comment: 9 page

Nucleon-nucleon interaction in the JJ-matrix inverse scattering approach and few-nucleon systems

The nucleon-nucleon interaction is constructed by means of the $J$-matrix version of inverse scattering theory. Ambiguities of the interaction are eliminated by postulating tridiagonal and quasi-tridiagonal forms of the potential matrix in the oscillator basis in uncoupled and coupled waves, respectively. The obtained interaction is very accurate in reproducing the $NN$ scattering data and deuteron properties. The interaction is used in the no-core shell model calculations of $^3$H and $^4$He nuclei. The resulting binding energies of $^3$H and $^4$He are very close to experimental values.Comment: Text is revised, new figures and references adde