Bunching of fluxons by the Cherenkov radiation in Josephson multilayers

A single magnetic fluxon moving at a high velocity in a Josephson multilayer (e.g., high-temperature superconductor such as BSCCO) can emit electromagnetic waves (Cherenkov radiation), which leads to formation of novel stable dynamic states consisting of several bunched fluxons. We find such bunched states in numerical simulation in the simplest cases of two and three coupled junctions. At a given driving current, several different bunched states are stable and move at velocities that are higher than corresponding single-fluxon velocity. These and some of the more complex higher-order bunched states and transitions between them are investigated in detail.Comment: 6 pages + 6 Figures, to be published in Phys. Rev. B on July 1, 200

Interference patterns of multifacet 20x(0-pi-) Josephson junctions with ferromagnetic barrier

We have realized multifacet Josephson junctions with periodically alternating critical current density (MJJs) using superconductor-insulator-ferromagnet-superconductor heterostructures. We show that anomalous features of critical current vs. applied magnetic field, observed also for other types of MJJs, are caused by a non-uniform flux density (parallel to the barrier) resulting from screening currents in the electrodes in the presence of a (parasitic) off-plane field component.Comment: submitted to PR

Visualizing supercurrents in ferromagnetic Josephson junctions with various arrangements of 0 and \pi segments

Josephson junctions with ferromagnetic barrier can have positive or negative critical current depending on the thickness $d_F$ of the ferromagnetic layer. Accordingly, the Josephson phase in the ground state is equal to 0 (a conventional or 0 junction) or to $\pi$ ($\pi$ junction). When 0 and $\pi$ segments are joined to form a "0-$\pi$ junction", spontaneous supercurrents around the 0-$\pi$ boundary can appear. Here we report on the visualization of supercurrents in superconductor-insulator-ferromagnet-superconductor (SIFS) junctions by low-temperature scanning electron microscopy (LTSEM). We discuss data for rectangular 0, $\pi$, 0-$\pi$, 0-$\pi$-0 and 20 \times 0-$\pi$ junctions, disk-shaped junctions where the 0-$\pi$ boundary forms a ring, and an annular junction with two 0-$\pi$ boundaries. Within each 0 or $\pi$ segment the critical current density is fairly homogeneous, as indicated both by measurements of the magnetic field dependence of the critical current and by LTSEM. The $\pi$ parts have critical current densities $j_c^\pi$ up to 35\units{A/cm^2} at T = 4.2\units{K}, which is a record value for SIFS junctions with a NiCu F-layer so far. We also demonstrate that SIFS technology is capable to produce Josephson devices with a unique topology of the 0-$\pi$ boundary.Comment: 29 pages, 8 figure

Mean curvature flow in a Ricci flow background

Following work of Ecker, we consider a weighted Gibbons-Hawking-York functional on a Riemannian manifold-with-boundary. We compute its variational properties and its time derivative under Perelman's modified Ricci flow. The answer has a boundary term which involves an extension of Hamilton's Harnack expression for the mean curvature flow in Euclidean space. We also derive the evolution equations for the second fundamental form and the mean curvature, under a mean curvature flow in a Ricci flow background. In the case of a gradient Ricci soliton background, we discuss mean curvature solitons and Huisken monotonicity.Comment: final versio

Safe abstractions of data encodings in formal security protocol models

When using formal methods, security protocols are usually modeled at a high level of abstraction. In particular, data encoding and decoding transformations are often abstracted away. However, if no assumptions at all are made on the behavior of such transformations, they could trivially lead to security faults, for example leaking secrets or breaking freshness by collapsing nonces into constants. In order to address this issue, this paper formally states sufficient conditions, checkable on sequential code, such that if an abstract protocol model is secure under a Dolev-Yao adversary, then a refined model, which takes into account a wide class of possible implementations of the encoding/decoding operations, is implied to be secure too under the same adversary model. The paper also indicates possible exploitations of this result in the context of methods based on formal model extraction from implementation code and of methods based on automated code generation from formally verified model

Experimental evidence of a {\phi} Josephson junction

We demonstrate experimentally the existence of Josephson junctions having a doubly degenerate ground state with an average Josephson phase \psi=\pm{\phi}. The value of {\phi} can be chosen by design in the interval 0<{\phi}<\pi. The junctions used in our experiments are fabricated as 0-{\pi} Josephson junctions of moderate normalized length with asymmetric 0 and {\pi} regions. We show that (a) these {\phi} Josephson junctions have two critical currents, corresponding to the escape of the phase {\psi} from -{\phi} and +{\phi} states; (b) the phase {\psi} can be set to a particular state by tuning an external magnetic field or (c) by using a proper bias current sweep sequence. The experimental observations are in agreement with previous theoretical predictions