Self-Organized Criticality Effect on Stability: Magneto-Thermal Oscillations in a Granular YBCO Superconductor

We show that the self-organized criticality of the Bean's state in each of the grains of a granular superconductor results in magneto-thermal oscillations preceding a series of subsequent flux jumps. We find that the frequency of these oscillations is proportional to the external magnetic field sweep rate and is inversely proportional to the square root of the heat capacity. We demonstrate experimentally and theoretically the universality of this dependence that is mainly influenced by the granularity of the superconductor.Comment: submitted to Physical Review Letters, 4 pages, RevTeX, 4 figures available as uufile

Josephson junction between anisotropic superconductors

The sin-Gordon equation for Josephson junctions with arbitrary misaligned anisotropic banks is derived. As an application, the problem of Josephson vortices at twin planes of a YBCO-like material is considered. It is shown that for an arbitrary orientation of these vortices relative to the crystal axes of the banks, the junctions should experience a mechanical torque which is evaluated. This torque and its angular dependence may, in principle, be measured in small fields, since the flux penetration into twinned crystals begins with nucleation of Josephson vortices at twin planes.Comment: 6 page

An Intuitionistic Formula Hierarchy Based on High-School Identities

We revisit the notion of intuitionistic equivalence and formal proof representations by adopting the view of formulas as exponential polynomials. After observing that most of the invertible proof rules of intuitionistic (minimal) propositional sequent calculi are formula (i.e. sequent) isomorphisms corresponding to the high-school identities, we show that one can obtain a more compact variant of a proof system, consisting of non-invertible proof rules only, and where the invertible proof rules have been replaced by a formula normalisation procedure. Moreover, for certain proof systems such as the G4ip sequent calculus of Vorob'ev, Hudelmaier, and Dyckhoff, it is even possible to see all of the non-invertible proof rules as strict inequalities between exponential polynomials; a careful combinatorial treatment is given in order to establish this fact. Finally, we extend the exponential polynomial analogy to the first-order quantifiers, showing that it gives rise to an intuitionistic hierarchy of formulas, resembling the classical arithmetical hierarchy, and the first one that classifies formulas while preserving isomorphism

Phase retrapping in a pointlike φ\varphi Josephson junction: the Butterfly effect

We consider a $\varphi$ Josephson junction, which has a bistable zero-voltage state with the stationary phases $\psi=\pm\varphi$. In the non-zero voltage state the phase "moves" viscously along a tilted periodic double-well potential. When the tilting is reduced quasistatically, the phase is retrapped in one of the potential wells. We study the viscous phase dynamics to determine in which well ($-\varphi$ or $+\varphi$) the phase is retrapped for a given damping, when the junction returns from the finite-voltage state back to zero-voltage state. In the limit of low damping the $\varphi$ Josephson junction exhibits a butterfly effect --- extreme sensitivity of the destination well on damping. This leads to an impossibility to predict the destination well