An Axiomatization of Quantum Computational Logic

An Axiomatization of Quantum Computational Logi

Scanning superconducting quantum interference device on a tip for magnetic imaging of nanoscale phenomena

We describe a new type of scanning probe microscope based on a superconducting quantum interference device (SQUID) that resides on the apex of a sharp tip. The SQUID-on-tip is glued to a quartz tuning fork which allows scanning at a tip-sample separation of a few nm. The magnetic flux sensitivity of the SQUID is 1.8 {\mu}_0/Hz^{1/2} and the spatial resolution is about 200 nm, which can be further improved. This combination of high sensitivity, spatial resolution, bandwidth, and the very close proximity to the sample provides a powerful tool for study of dynamic magnetic phenomena on the nanoscale. The potential of the SQUID-on-tip microscope is demonstrated by imaging of the vortex lattice and of the local AC magnetic response in superconductors.Comment: 10 figure

Detection of anomalous Hall voltages in ultrahigh-mobility two-dimensional hole gases generated by optical spin orientation

By combining optical spin orientation and an externally applied longitudinal electric field, transverse charge accumulation has been detected in very high-mobility two-dimensional hole gases by measuring the transverse voltage drop across simple Hall devices. Our results indicate intrinsic band-structure (rather than extrinsic skew scattering) derived spin-orbit coupling as the underlying mechanism of this spin-polarized transport effect.This work was supported by the EPSRC.This is the author accepted manuscript. The final version was first published by APS at http://journals.aps.org/prb/abstract/10.1103/PhysRevB.91.201406

Nano-sized SQUID-on-tip for scanning probe microscopy

We present a SQUID of novel design, which is fabricated on the tip of a pulled quartz tube in a simple 3-step evaporation process without need for any additional processing, patterning, or lithography. The resulting devices have SQUID loops with typical diameters in the range 75–300 nm. They operate in magnetic fields up to 0.6 T and have flux sensitivity of 1.8 μΦ0/Hz1/2 and magnetic field sensitivity of 10−7 T/Hz1/2, which corresponds to a spin sensitivity of 65 μB/Hz1/2 for aluminum SQUIDs. The shape of the tip and the small area of the SQUID loop, together with its high sensitivity, make our device an excellent tool for scanning SQUID microscopy: With the SQUID-on-tip glued to a tine of a quartz tuning fork, we have succeeded in obtaining magnetic images of a patterned niobium film and of vortices in a superconducting film in a magnetic field.Physic

Kantians Motives in Intuitionistic Logic

Kantians Motives in Intuitionistic Logi

Quantitative nanoscale vortex-imaging using a cryogenic quantum magnetometer

Microscopic studies of superconductors and their vortices play a pivotal role in our understanding of the mechanisms underlying superconductivity. Local measurements of penetration depths or magnetic stray-fields enable access to fundamental aspects of superconductors such as nanoscale variations of superfluid densities or the symmetry of their order parameter. However, experimental tools, which offer quantitative, nanoscale magnetometry and operate over the large range of temperature and magnetic fields relevant to address many outstanding questions in superconductivity, are still missing. Here, we demonstrate quantitative, nanoscale magnetic imaging of Pearl vortices in the cuprate superconductor YBCO, using a scanning quantum sensor in form of a single Nitrogen-Vacancy (NV) electronic spin in diamond. The sensor-to-sample distance of ~10nm we achieve allows us to observe striking deviations from the prevalent monopole approximation in our vortex stray-field images, while we find excellent quantitative agreement with Pearl's analytic model. Our experiments yield a non-invasive and unambiguous determination of the system's local London penetration depth, and are readily extended to higher temperatures and magnetic fields. These results demonstrate the potential of quantitative quantum sensors in benchmarking microscopic models of complex electronic systems and open the door for further exploration of strongly correlated electron physics using scanning NV magnetometry.Comment: Main text (5 pages, 4 figures) plus supplementary material (5 pages, 6 figures). Comments welcome. Further information under http://www.quantum-sensing.c

A new axiomatization of Jaśkowski's discussive logic

In 1995 N.C.A. da Costa and F. Doria proposed the modal-type elegant axiomatization of Jaśkowski’s discussive logic D2 . Yet his own problem which was formulated in 1975 in a following way: Is it possible to formulate natural and simple axiomatization for D2 , employing classical disjunction and conjunction along with discussive implication and conjunction as the only primitive connectives? — still seems left open. The matter of fact is there are some axiomatizations of D2 proposed, e.g., by T. Furmanowski (1975), J. Kotas and N.C.A. da Costa (1979), G. Achtelik, L. Dubikajtus, E. Dudek and J. Konior (1981), satisfying da Costa’s conditions, but they are rather looking very complicated and unnatural. An attempt is made to solve da Costa’s problem. The new axiomatization of D 2 is proposed essentially based on da Costa’s-Doria axiomatization from 1995