Observation of a New Fluxon Resonant Mechanism in Annular Josephson Tunnel Structures

A novel dynamical state has been observed in the dynamics of a perdurbed sine-Gordon system. This resonant state, has been experimentally observed as a singularity in the dc current voltage characteristic of an annular Josephson tunnel junction, excited in the presence of a magnetic field. With this respect, it can be assimilated to self-resonances known as Fiske steps. Differently from these, however, we demonstrate, on the basis of numerical simulations, that its detailed dynamics involves rotating fluxon pairs, a mechanism associated, so far, to self-resonances known as zero-field steps.Comment: 4 pages, 2 figures, submitted to Physical Review Letter

Josephson junctions with negative second harmonic in the current-phase relation: properties of novel varphi-junctions

Several recent experiments revealed a change of the sign of the first harmonic in the current-phase relation of Josephson junctions (JJ) based on novel superconductors, e.g., d-wave based or JJ with ferromagnetic barrier. In this situation the role of the second harmonic becomes dominant and it determines the scenario of a 0-pi transition. We discuss different mechanisms of the second harmonic generation and its sign. If the second harmonic is negative the 0-pi transition becomes continuous and the realization of the so-called varphi junction is possible. We study the unusual properties of such a novel JJ and analyze the possible experimental techniques for their observation.Comment: submitted to PR

Half-Periodic Josephson Effect in an s-Wave Superconductor - Normal Metal -d-Wave Superconductor Junction

We predict that the Josephson current in a clean s-wave superconductor-normal metal-d-wave superconductor junction is periodic in superconducting phase difference $\phi$ with period $\pi$ instead of $2\pi$. The frequency of non-stationary Josephson effect is correspondingly $2\omega_J = 4eV.$ The effect is due to coexistence in the normal layer of current carrying Andreev levels with phase differences $\phi$ and $\phi+\pi.$Comment: 4 pages, REVTeX, 3 figure

Maximum supercurrent in Josephson junctions with alternating critical current density

We consider theoretically and numerically magnetic field dependencies of the maximum supercurrent across Josephson tunnel junctions with spatially alternating critical current density. We find that two flux-penetration fields and one-splinter-vortex equilibrium state exist in long junctions.Comment: 11 pages, 8 figure

Soffer's inequality and the transversely polarized Drell-Yan process at next-to-leading order

We check numerically if Soffer's inequality for quark distributions is preserved by next-to-leading order QCD evolution. Assuming that the inequality is saturated at a low hadronic scale we estimate the maximal transverse double spin asymmetry for Drell-Yan muon pair production to next-to-leading order accuracy.Comment: 20 Pages, LaTeX, 7 figures as eps file

Divergence of the Chaotic Layer Width and Strong Acceleration of the Spatial Chaotic Transport in Periodic Systems Driven by an Adiabatic ac Force

We show for the first time that a {\it weak} perturbation in a Hamiltonian system may lead to an arbitrarily {\it wide} chaotic layer and {\it fast} chaotic transport. This {\it generic} effect occurs in any spatially periodic Hamiltonian system subject to a sufficiently slow ac force. We explain it and develop an explicit theory for the layer width, verified in simulations. Chaotic spatial transport as well as applications to the diffusion of particles on surfaces, threshold devices and others are discussed.Comment: 4 pages including 3 EPS figures, this is an improved version of the paper (accepted to PRL, 2005

Alternative antibody for the detection of CA19-9 antigen: a European multicenter study for the evaluation of the analytical and clinical performance of the Access (R) GI Monitor assay on the UniCel (R) Dxl 800 Immunoassay System

Background: Gastrointestinal cancer antigen CA19-9 is known as a valuable marker for the management of patients with pancreatic cancer. Methods: The analytical and clinical performance of the Access(R) GI Monitor assay (Beckman Coulter) was evaluated on the UniCel(R) Dxl 800 Immunoassay System at five different European sites and compared with a reference method, defined as CA19-9 on the Elecsys System (Roche Diagnostics). Results: Total imprecision (%CV) of the GI Monitor ranged between 3.4% and 7.7%, and inter-laboratory reproducibility between 3.6% and 4.0%. Linearity upon dilution showed a mean recovery of 97.4% (SD+7.2%). Endogenous interferents had no influence on GI Monitor levels (mean recoveries: hemoglobin 103%, bilirubin 106%, triglycerides 106%). There was no high-dose hook effect up to 115,000 kU/L. Clinical performance investigated in sera from 1811 individuals showed a good correlation between the Access' GI Monitor and Elecsys CA19-9 (R = 0.959, slope = 1.004, intercept +0.17). GI Monitor serum levels were low in healthy individuals (n = 267, median = 6.0 kU/L, 95th percentile = 23.1 kU/L), higher in individuals with various benign diseases (n = 550, medians = 5.8-13.4 kU/L, 95th percentiles = 30.1-195.5 kU/L) and even higher in individuals suffering from various cancers (n = 995, medians = 8.4-233.8 kU/L, 95th percentiles = 53.7-13,902 kU/L). Optimal diagnostic accuracy for cancer detection against the relevant benign control group by the GI Monitor was found for pancreatic cancer {[}area under the curve (AUC) 0.83]. Results for the reference CA19-9 assay were comparable (AUC 0.85). Conclusions: The Access(R) GI Monitor provides very good methodological characteristics and demonstrates an excellent analytical and clinical correlation with the Elecsys CA19-9. The GI Monitor shows the best diagnostic accuracy in pancreatic cancer. Our results also suggest a clinical value of the GI Monitor in other cancers

A model checking-based approach for security policy verification of mobile systems

International audienceThis article describes an approach for the automated verification of mobile systems. Mobile systems are characterized by the explicit notion of (e.g., sites where they run) and the ability to execute at different locations, yielding a number of security issues. To this aim, we formalize mobile systems as Labeled Kripke Structures, encapsulating the notion of that describes the hierarchical nesting of the threads constituting the system. Then, we formalize a generic that includes rules for expressing and manipulating the code location. In contrast to many other approaches, our technique supports both access control and information flow specification. We developed a prototype framework for model checking of mobile systems. It works directly on the program code (in contrast to most traditional process-algebraic approaches that can model only limited details of mobile systems) and uses abstraction-refinement techniques, based also on location abstractions, to manage the program state space. We experimented with a number of mobile code benchmarks by verifying various security policies. The experimental results demonstrate the validity of the proposed mobile system modeling and policy specification formalisms and highlight the advantages of the model checking-based approach, which combines the validation of security properties with other checks, such as the validation of buffer overflows

Tkachenko modes and quantum melting of Josephson junction type of vortex array in rotating Bose-Einstein condensate

Using path integral formalism, we show that the Abrikosov-Tkachenko vortex lattice may equivalently be understood as an array of Josephson junctions. The Tkachenko modes are found to be basically equivalent to the low energy excitations (Goldstone modes) of an ordered state. The calculated frequencies are in very good agreement with recent experimental data. Calculations of the fluctuations of the relative displacements of the vortices show that vortex melting is a result of quantum fluctuations around the ordered state due to the low energy excitations (Tkachenko modes)and occurs when the ratio of the kinectic energy to the potential energy of the vortex lattice is 0.001.Comment: revised paper 11 pages with 2 figures, all in Pdf forma

Semiclassical quantization of non-Hamiltonian dynamical systems without memory

We propose a new method of quantization of a wide class of dynamical systems that originates directly from the equations of motion. The method is based on the correspondence between the classical and the quantum Poisson brackets, postulated by Dirac. This correspondence applied to open (non-Hamiltonian) systems allows one to point out the way of transition from the quantum description based on the Lindblad equation to the dynamical description of their classical analogs by the equations of motion and vice versa. As the examples of using of the method we describe the procedure of the quantization of three widely considered dynamical systems: 1) the harmonic oscillator with friction, 2) the oscillator with a nonlinear damping that simulates the process of the emergence of the limit cycle, and 3) the system of two periodic rotators with a weak interaction that synchronizes their oscillations. We discuss a possible application of the method for a description of quantum fluctuations in Josephson junctions with a strong damping and for the quantization of open magnetic systems with a dissipation and a pumping.Comment: 8 pages, 0 figure