-
Memory effects on the current induced propagation of spin textures in NdCo$_5$/Ni$_8$Fe$_2$ bilayers
Authors:
Victoria Vega Fernández,
Alicia Estela Herguedas-Alonso,
Javier Hermosa,
Lucía Aballe,
Andrea Sorrentino,
Ricardo Valcarcel,
Carlos Quiros,
Jose Ignacio Martín,
Eva Pereiro,
Salvador Ferrer,
Aurelio Hierro-Rodríguez,
María Vélez
Abstract:
Bilayers of NdCo$_5$/Ni$_8$Fe$_2$ can act as reconfigurable racetracks thanks to the parallel stripe domain configuration present in the hard magnetic material with weak perpendicular anisotropy (NdCo$_5$), and its imprint on the soft magnetic layer (Ni$_8$Fe$_2$). This pattern hosts spin textures with well defined topological charges and establishes paths for their deterministic propagation under…
▽ More
Bilayers of NdCo$_5$/Ni$_8$Fe$_2$ can act as reconfigurable racetracks thanks to the parallel stripe domain configuration present in the hard magnetic material with weak perpendicular anisotropy (NdCo$_5$), and its imprint on the soft magnetic layer (Ni$_8$Fe$_2$). This pattern hosts spin textures with well defined topological charges and establishes paths for their deterministic propagation under the effect of pulsed currents, which has been studied as a function of externally applied fields by using Magnetic Transmission X-ray Microscopy. The experiments show guided vortex/antivortex propagation events within the Ni$_8$Fe$_2$ above a threshold current of $3\cdot10^{11}$ A/m$^2$. Opposite propagation senses have been observed depending on the topological charge of the spin texture, both in the remnant state and under an applied external field. Micromagnetic simulations of our multilayer reveal that the guiding effect and asymmetric propagation sense are due to the magnetic history of the hard magnetic layer. An exchange-bias-based memory effect acts as a magnetic spring and controls the propagation sense by favoring a specific orientation of the in plane magnetization, leading to a system which behaves as a hard-soft magnetic composite with reconfigurable capabilities for a controlled propagation of magnetic topological textures.
△ Less
Submitted 3 June, 2024;
originally announced June 2024.
-
Showing Proofs, Assessing Difficulty with GeoGebra Discovery
Authors:
Zoltán Kovács,
Tomás Recio,
M. Pilar Vélez
Abstract:
In our contribution we describe some on-going improvements concerning the Automated Reasoning Tools developed in GeoGebra Discovery, providing different examples of the performance of these new features. We describe the new ShowProof command, that outputs both the sequence of the different steps performed by GeoGebra Discovery to confirm a certain statement, as well as a number intending to grade…
▽ More
In our contribution we describe some on-going improvements concerning the Automated Reasoning Tools developed in GeoGebra Discovery, providing different examples of the performance of these new features. We describe the new ShowProof command, that outputs both the sequence of the different steps performed by GeoGebra Discovery to confirm a certain statement, as well as a number intending to grade the difficulty or interest of the assertion. The proposal of this assessment measure, involving the comparison of the expression of the thesis (or conclusion) as a combination of the hypotheses, will be developed.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Hyperbolic Bloch points in ferrimagnetic exchange spring
Authors:
Javier Hermosa-Muñoz,
Aurelio Hierro-Rodríguez,
Andrea Sorrentino,
José I. Martín,
Luis M. Alvarez-Prado,
Eva Pereiro,
Carlos Quirós,
María Velez,
Salvador Ferrer
Abstract:
Bloch points in magnetic materials are attractive entities in view of magnetic information transport. Here, Bloch point configuration has been investigated and experimentally determined in a magnetic trilayer ($Gd_{12}Co_{88}/Nd_{17}Co_{83}/Gd_{24}Co_{76}$) with carefully adjusted composition within the ferrimagnetic $Gd_{x}Co_{1-x}$ alloys in order to engineer saturation magnetization, exchange l…
▽ More
Bloch points in magnetic materials are attractive entities in view of magnetic information transport. Here, Bloch point configuration has been investigated and experimentally determined in a magnetic trilayer ($Gd_{12}Co_{88}/Nd_{17}Co_{83}/Gd_{24}Co_{76}$) with carefully adjusted composition within the ferrimagnetic $Gd_{x}Co_{1-x}$ alloys in order to engineer saturation magnetization, exchange length, and interlayer couplings (ferromagnetic vs antiferromagnetic). X-ray vector magnetic tomography has allowed us to determine experimentally Bloch point polarity (related to topological charge) and Bloch point helicity $γ$ (determined by magnetostatic energy). At the bottom layer (close to the ferromagnetic interface), Bloch points adopt a standard circulating configuration with helicity $γ$ close to $π/2$. Within the top layer (with much lower saturation magnetization), Bloch points nucleate within a Neel-like exchange spring domain wall created by the antiferromagnetic coupling and adopt an uncommon hyperbolic configuration, characterized by much larger helicity angles. Our results indicate a path for Bloch point engineering in future applications adjusting material parameters and domain wall characteristics.
△ Less
Submitted 15 December, 2023;
originally announced December 2023.
-
CSI-Based Cross-Domain Activity Recognition via Zero-Shot Prototypical Networks
Authors:
Guillermo Diaz,
Iker Sobron,
Inaki Eizmendi,
Iratxe Landa,
Manuel Velez
Abstract:
The cross-domain capability of wireless sensing is currently one of the major challenges on human activity recognition (HAR) based on the channel state information (CSI) of wireless signals. The difficulty of labeling samples from new domains has encouraged the use of few and zero shot strategies. In this context, prototype networks have attracted attention due to their reasonable cross-domain tra…
▽ More
The cross-domain capability of wireless sensing is currently one of the major challenges on human activity recognition (HAR) based on the channel state information (CSI) of wireless signals. The difficulty of labeling samples from new domains has encouraged the use of few and zero shot strategies. In this context, prototype networks have attracted attention due to their reasonable cross-domain transferability. This paper presents a novel zero-shot prototype recurrent convolutional network that implements a zero-shot learning strategy for HAR via CSI. This method extracts the prototypes from an available source domain to classify unseen and unlabeled data from the target domain for the same or similar classes. The experiments have been developed using three datasets with real measurements, and the results include an inter-datasets evaluation. Overall, the results improve the state of the art and make it a promising solution for cross-domain HAR.
△ Less
Submitted 12 December, 2023;
originally announced December 2023.
-
Constraints on Europa's water group torus from HST/COS observations
Authors:
Lorenz Roth,
H. Todd Smith,
Kazuo Yoshioka,
Tracy M. Becker,
Aljona Blöcker,
Nathaniel J. Cunningham,
Nickolay Ivchenko,
Kurt D. Retherford,
Joachim Saur,
Michael Velez,
Fuminori Tsuchiya
Abstract:
In-situ plasma measurements as well as remote map** of energetic neutral atoms around Jupiter provide indirect evidence that an enhancement of neutral gas is present near the orbit of the moon Europa. Simulations suggest that such a neutral gas torus can be sustained by escape from Europa's atmosphere and consists primarily of molecular hydrogen, but the neutral gas torus has not yet been measur…
▽ More
In-situ plasma measurements as well as remote map** of energetic neutral atoms around Jupiter provide indirect evidence that an enhancement of neutral gas is present near the orbit of the moon Europa. Simulations suggest that such a neutral gas torus can be sustained by escape from Europa's atmosphere and consists primarily of molecular hydrogen, but the neutral gas torus has not yet been measured directly through emissions or in-situ. Here we present observations by the Cosmic Origins Spectrograph of the Hubble Space Telescope (HST/COS) from 2020 and 2021, which scanned the equatorial plane between 8 and 10 planetary radii west of Jupiter. No neutral gas emissions are detected. We derive upper limits on the emissions and compare these to modelled emissions from electron impact and resonant scattering using a Europa torus Monte Carlo model for the neutral gases. The comparison supports the previous findings that the torus is dilute and primarily consists of molecular hydrogen. A detection of sulfur ion emissions radially inward of the Europa orbit is consistent with emissions from the extended Io torus and with sulfur ion fractional abundances as previously detected.
△ Less
Submitted 18 April, 2023;
originally announced April 2023.
-
Channel Phase Processing in Wireless Networks for Human Activity Recognition
Authors:
Guillermo Diaz,
Iker Sobron,
Iñaki Eizmendi,
Iratxe landa,
Manuel Velez
Abstract:
The phase of the channel state information (CSI) is underutilized as a source of information in wireless sensing due to its sensitivity to synchronization errors of the signal reception. A linear transformation of the phase is commonly applied to correct linear offsets and, in a few cases, some filtering in time or frequency is carried out to smooth the data. This paper presents a novel processing…
▽ More
The phase of the channel state information (CSI) is underutilized as a source of information in wireless sensing due to its sensitivity to synchronization errors of the signal reception. A linear transformation of the phase is commonly applied to correct linear offsets and, in a few cases, some filtering in time or frequency is carried out to smooth the data. This paper presents a novel processing method of the CSI phase to improve the accuracy of human activity recognition (HAR) in indoor environments. This new method, coined Time Smoothing and Frequency Rebuild (TSFR), consists of performing a CSI phase sanitization method to remove phase impairments based on a linear regression transformation method, then a time domain filtering stage with a Savitzy-Golay (SG) filter for denoising purposes and, finally, the phase is rebuilt, eliminating distortions in frequency caused by SG filtering. The TSFR method has been tested on five datasets obtained from experimental measurements, using three different deep learning algorithms, and compared against five other types of CSI phase processing. The results show an accuracy improvement using TSFR in all the cases. Concretely, accuracy performance higher than 90\% in most of the studied scenarios has been achieved with the proposed solution. In few-shot learning strategies, TSFR outperforms the state-of-the-art performance from 35% to 85%.
△ Less
Submitted 16 June, 2023; v1 submitted 29 March, 2023;
originally announced March 2023.
-
Catalog of Ultraviolet Bright Stars (CUBS): Strategies for UV occultation measurements, planetary illumination modeling, and sky map analyses using hybrid IUE-Kurucz spectra
Authors:
M. A. Velez,
K. D. Retherford,
V. Hue,
J. A. Kammer,
T. M. Becker,
G. R. Gladstone,
M. W. Davis,
T. K. Greathouse,
P. M. Molyneux,
S. M. Brooks,
U. Raut,
M. H. Versteeg
Abstract:
Ultraviolet spectroscopy is a powerful method to study planetary surface composition through reflectance measurements and atmospheric composition through stellar/solar occultations, transits of other planetary bodies, and direct imaging of airglow and auroral emissions. The next generation of ultraviolet spectrographs (UVS) on board ESA's JUICE (Jupiter Icy Moons Explorer) and NASA's Europa Clippe…
▽ More
Ultraviolet spectroscopy is a powerful method to study planetary surface composition through reflectance measurements and atmospheric composition through stellar/solar occultations, transits of other planetary bodies, and direct imaging of airglow and auroral emissions. The next generation of ultraviolet spectrographs (UVS) on board ESA's JUICE (Jupiter Icy Moons Explorer) and NASA's Europa Clipper missions will perform such measurements of Jupiter and its moons in the early 2030's. This work presents a compilation of a detailed UV stellar catalog, named CUBS, of targets with high intensity in the 50-210 nm wavelength range with applications relevant to planetary spectroscopy. These applications include: 1) Planning and simulating occultations, including calibration measurements; 2) Modeling starlight illumination of dark, nightside planetary surfaces primarily lit by the sky; and 3) Studying the origin of diffuse galactic UV light as mapped by existing datasets from Juno-UVS and others. CUBS includes information drawn from resources such as the International Ultraviolet Explorer (IUE) catalog and SIMBAD. We have constructed model spectra at 0.1 nm resolution for almost 90,000 targets using Kurucz models and, when available, IUE spectra. CUBS also includes robust checks for agreement between the Kurucz models and the IUE data. We also present a tool for which our catalog can be used to identify the best candidates for stellar occultation observations, with applications for any UV instrument. We report on our methods for producing CUBS and discuss plans for its implementation during ongoing and upcoming planetary missions.
△ Less
Submitted 7 March, 2023;
originally announced March 2023.
-
Morphology and Magnetic vortex chiral symmetry of 2D arrays of magnetic trilayer disks with magnetostatic interlayer coupling determined by X ray resonant magnetic scattering
Authors:
J. Díaz,
L. M. Álvarez-Prado,
S. M. Valvidares,
I. Montoya,
C. Redondo,
R. Morales,
M. Vélez
Abstract:
X ray resonant magnetic scattering (XRMS) was used to characterize the magnetization of 2D arrays of trilayer submicron magnets. The interpretation of the data required the understanding of the morphology of the magnets which was also deduced from the scattered intensity. The magnets consisted of two magnetostatically coupled ferromagnetic layers separated by a non-magnetic spacer. The scattered i…
▽ More
X ray resonant magnetic scattering (XRMS) was used to characterize the magnetization of 2D arrays of trilayer submicron magnets. The interpretation of the data required the understanding of the morphology of the magnets which was also deduced from the scattered intensity. The magnets consisted of two magnetostatically coupled ferromagnetic layers separated by a non-magnetic spacer. The scattered intensity from the disks resulted to be dependent on the disks surface curvature. This made the collected intensity at each Bragg reflection (BR) to be correlated to the reflected light from locations of the disk with the same angle of curvature. Due to this, quantitative information was obtained, averaged over the disks illuminated by x rays, of the variations in thickness and magnetization across the entire area of the disks. This averaged magnetization map** of the disks served to study their vortex configuration in each of their magnetic layers, determining the average location of the vortex, the chiral symmetry of its magnetic circulation, and the specific locations where the vortex nucleation starts within the disks. Chiral asymmetry appeared in the disks when the field was oriented at an oblique angle with respect to the easy axis of the array. The local magnetic sensitivity of the technique allowed to identify a non-centrosymmetric distribution of the magnetization of the disks that explains the observed chiral asymmetry. Unexpectedly, the magnetic circulation sense of the vortex was the same in both ferromagnetic layers. In addition, the magnetization of the buried layer was different in the descent branch than in the ascent branch of its hysteresis loops.
△ Less
Submitted 27 January, 2023;
originally announced January 2023.
-
Space Plasma Physics Science Opportunities for the Lunar Orbital Platform -Gateway
Authors:
Iannis Dandouras,
Matt G G T Taylor,
Johan de Keyser,
Yoshifumi Futaana,
Ruth A Bamford,
Graziella Branduardi-Raymont,
Jean-Yves Chaufray,
Dragos Constantinescu,
Elisabetta de Angelis,
Pierre Devoto,
Jonathan Eastwood,
Marius Echim,
Philippe Garnier,
Benjamin Grison,
David Hercik,
Helmut Lammer,
André Laurens,
François Leblanc,
Anna Milillo,
Rumi Nakamura,
Lubomír Přech,
Elias Roussos,
Štěpán Štverák,
Julien Forest,
Arnaud Trouche
, et al. (4 additional authors not shown)
Abstract:
The Lunar Orbital Platform-Gateway (LOP-Gateway, or simply Gateway) is a crewed platform that will be assembled and operated in the vicinity of the Moon by NASA and international partner organizations, including ESA, starting from the mid-2020s. It will offer new opportunities for fundamental and applied scientific research. The Moon is a unique location to study the deep space plasma environment.…
▽ More
The Lunar Orbital Platform-Gateway (LOP-Gateway, or simply Gateway) is a crewed platform that will be assembled and operated in the vicinity of the Moon by NASA and international partner organizations, including ESA, starting from the mid-2020s. It will offer new opportunities for fundamental and applied scientific research. The Moon is a unique location to study the deep space plasma environment. Moreover, the lunar surface and the surface-bounded exosphere are interacting with this environment, constituting a complex multi-scale interacting system. This paper examines the opportunities provided by externally mounted payloads on the Gateway in the field of space plasma physics, heliophysics and space weather, but also examines the impact of the space environment on an inhabited platform in the vicinity of the Moon. It then presents the conceptual design of a model payload, required to perform these space plasma measurements and observations. It results that the Gateway is very well-suited for space plasma physics research. It allows a series of scientific objectives with a multidisciplinary dimension to be addressed.
△ Less
Submitted 20 December, 2022;
originally announced January 2023.
-
Topological magnetic dipoles and emergent field bundles in a ferromagnetic microstructure by X-ray magnetic vector tomography
Authors:
Javier Hermosa,
Aurelio Hierro-Rodriguez,
Carlos Quirós,
José I. Martin,
Andrea Sorrentino,
Lucia Aballe,
Eva Pereiro,
Maria Vélez,
Salvador Ferrer
Abstract:
Advanced vector imaging techniques provide us with 3D maps of magnetization fields in which topological concepts can be directly applied to describe real-space experimental textures in non-ideal geometries. Here, the 3D magnetization of a low symmetry permalloy microstructure is obtained by X-ray vector magnetic tomography and analysed in detail in terms of topological charges and emergent fields.…
▽ More
Advanced vector imaging techniques provide us with 3D maps of magnetization fields in which topological concepts can be directly applied to describe real-space experimental textures in non-ideal geometries. Here, the 3D magnetization of a low symmetry permalloy microstructure is obtained by X-ray vector magnetic tomography and analysed in detail in terms of topological charges and emergent fields. A central asymmetric domain wall with a complex 3D structure is observed in which magnetization chirality transitions are mediated by Bloch points arranged in several dipoles and a triplet. The ideal spherical symmetry of the emergent field of an isolated monopole is severely modified due to shape effects of the permalloy microstructure. Emergent field lines aggregate into bundles that either connect adjacent Bloch points within a topological dipole or tend towards the surface. These bundles may present different textures such as helical vortices or half merons, depending on asymmetries and confinement, but are constrained by topological charge conservation in a given sample volume. This precise description of the singularities in realistic systems, enabled by the quantitative experimental information on magnetization vector fields, can significantly improve our understanding of topological constraints in 3D magnetic systems and provide advancements in the design of magnetic devices.
△ Less
Submitted 6 June, 2022;
originally announced June 2022.
-
On Debugging the Performance of Configurable Software Systems: Developer Needs and Tailored Tool Support
Authors:
Miguel Velez,
Pooyan Jamshidi,
Norbert Siegmund,
Sven Apel,
Christian Kästner
Abstract:
Determining whether a configurable software system has a performance bug or it was misconfigured is often challenging. While there are numerous debugging techniques that can support developers in this task, there is limited empirical evidence of how useful the techniques are to address the actual needs that developers have when debugging the performance of configurable software systems; most techn…
▽ More
Determining whether a configurable software system has a performance bug or it was misconfigured is often challenging. While there are numerous debugging techniques that can support developers in this task, there is limited empirical evidence of how useful the techniques are to address the actual needs that developers have when debugging the performance of configurable software systems; most techniques are often evaluated in terms of technical accuracy instead of their usability. In this paper, we take a human-centered approach to identify, design, implement, and evaluate a solution to support developers in the process of debugging the performance of configurable software systems. We first conduct an exploratory study with 19 developers to identify the information needs that developers have during this process. Subsequently, we design and implement a tailored tool, adapting techniques from prior work, to support those needs. Two user studies, with a total of 20 developers, validate and confirm that the information that we provide helps developers debug the performance of configurable software systems.
△ Less
Submitted 19 March, 2022;
originally announced March 2022.
-
GeoGebra Discovery in Context
Authors:
Zoltán Kovács,
Tomás Recio,
M. Pilar Vélez
Abstract:
In our contribution we will reflect, through a collection of selected examples, on the potential impact of the GeoGebra Discovery application on different social and educational contexts.
In our contribution we will reflect, through a collection of selected examples, on the potential impact of the GeoGebra Discovery application on different social and educational contexts.
△ Less
Submitted 3 January, 2022;
originally announced January 2022.
-
Adjustable 3D magnetic configuration in ferrimagnetic multilayers with competing interactions visualized by soft X-ray vector tomography
Authors:
J. Hermosa-Muñoz,
A. Hierro-Rodríguez,
A. Sorrentino,
J. I. Martín,
L. M. Alvarez-Prado,
S. Rehbein,
E. Pereiro,
C. Quirós,
M. Vélez,
S. Ferrer
Abstract:
Soft X-ray magnetic vector tomography has been used to visualize with unprecedented detail and solely from experimental data the 3D magnetic configuration of a ferrimagnetic Gd12Co88/Nd17Co83/Gd24Co76 multilayer with competing anisotropy, exchange and magnetostatic interactions at different depths. The trilayer displays magnetic stripe domains, arranged in a chevron pattern, which are imprinted fr…
▽ More
Soft X-ray magnetic vector tomography has been used to visualize with unprecedented detail and solely from experimental data the 3D magnetic configuration of a ferrimagnetic Gd12Co88/Nd17Co83/Gd24Co76 multilayer with competing anisotropy, exchange and magnetostatic interactions at different depths. The trilayer displays magnetic stripe domains, arranged in a chevron pattern, which are imprinted from the central Nd17Co83 into the bottom Gd12Co88 layer with a distorted closure domain structure across the thickness. Near the top Gd24Co76 layer, local exchange springs with out-of-plane magnetization reversal, modulated ripple patterns and magnetic vortices and antivortices across the thickness are observed. The detailed analysis of the magnetic tomogram shows that the effective strength of the exchange spring at the NdCo/GdCo interface can be finely tuned by GdxCo1-x composition and anisotropy (determined by sample fabrication) and in-plane stripe orientation (adjustable), demonstrating the capability of 3D magnetic visualization techniques in magnetic engineering research.
△ Less
Submitted 9 September, 2021;
originally announced September 2021.
-
Realization of macroscopic ratchet effect based on nonperiodic and uneven potentials
Authors:
V. Rollano,
A. Gomez,
A. Muñoz-Noval,
M. Velez,
M. C. de Ory,
M. Menghini,
E. M. Gonzalez,
J L Vicent
Abstract:
Ratchet devices allow turning an ac input signal into a dc output signal. A ratchet device is set by moving particles driven by zero averages forces on asymmetric potentials. Hybrid nanostructures combining artificially fabricated spin-ice nanomagnet arrays with superconducting films have been identified as a good choice to develop ratchet nanodevices. In our case, the asymmetric potentials are pr…
▽ More
Ratchet devices allow turning an ac input signal into a dc output signal. A ratchet device is set by moving particles driven by zero averages forces on asymmetric potentials. Hybrid nanostructures combining artificially fabricated spin-ice nanomagnet arrays with superconducting films have been identified as a good choice to develop ratchet nanodevices. In our case, the asymmetric potentials are provided by charged Néel walls located in the vertices of the magnetic honeycomb array, whereas the role of moving particles is played by superconducting vortices. We have experimentally obtained ratchet effect for different spin ice I configurations and for vortex lattice moving parallel or perpendicular to the magnetic easy axes. Remarkably, the ratchet magnitudes are similar in all the experimental runs; i. e. different spin ice I configurations and in both relevant directions of the vortex lattice motion. We have simulated the interplay between vortex motion directions and a single asymmetric potential. It turns out vortices interact with uneven asymmetric potentials, when they move with trajectories crossing charged Néel walls with different orientations. Moreover, the appropriate asymmetric pair potentials which generate the local ratchet effect have been identified. In this rocking ratchet the particles (vortices) on the move are interacting each other (vortex lattice); therefore, the ratchet local effect turns into a global macroscopic effect. In summary, this ratchet device benefits from interacting particles moving in robust and topological protected type I spin ice landscapes.
△ Less
Submitted 20 August, 2021; v1 submitted 22 March, 2021;
originally announced March 2021.
-
White-Box Analysis over Machine Learning: Modeling Performance of Configurable Systems
Authors:
Miguel Velez,
Pooyan Jamshidi,
Norbert Siegmund,
Sven Apel,
Christian Kästner
Abstract:
Performance-influence models can help stakeholders understand how and where configuration options and their interactions influence the performance of a system. With this understanding, stakeholders can debug performance behavior and make deliberate configuration decisions. Current black-box techniques to build such models combine various sampling and learning strategies, resulting in tradeoffs bet…
▽ More
Performance-influence models can help stakeholders understand how and where configuration options and their interactions influence the performance of a system. With this understanding, stakeholders can debug performance behavior and make deliberate configuration decisions. Current black-box techniques to build such models combine various sampling and learning strategies, resulting in tradeoffs between measurement effort, accuracy, and interpretability. We present Comprex, a white-box approach to build performance-influence models for configurable systems, combining insights of local measurements, dynamic taint analysis to track options in the implementation, compositionality, and compression of the configuration space, without relying on machine learning to extrapolate incomplete samples. Our evaluation on 4 widely-used, open-source projects demonstrates that Comprex builds similarly accurate performance-influence models to the most accurate and expensive black-box approach, but at a reduced cost and with additional benefits from interpretable and local models.
△ Less
Submitted 13 January, 2021;
originally announced January 2021.
-
Adsorption, desorption, and interdiffusion in atomic layer epitaxy of CdTe and CdZnTe
Authors:
E. M. Larramendi,
O. de Melo,
M. Hernández Vélez,
M. C. Tamargo
Abstract:
The mechanisms controlling the growth rate and composition of epitaxial CdTe and CdZnTe films were studied. The films were grown by isothermal closed space configuration technique. A GaAs 100 substrate was exposed sequentially to the elemental sources, Zn, Te, and Cd, in isothermal conditions. While growth of ZnTe followed an atomic layer epitaxy, ALE, regime self regulated at one monolayer per cy…
▽ More
The mechanisms controlling the growth rate and composition of epitaxial CdTe and CdZnTe films were studied. The films were grown by isothermal closed space configuration technique. A GaAs 100 substrate was exposed sequentially to the elemental sources, Zn, Te, and Cd, in isothermal conditions. While growth of ZnTe followed an atomic layer epitaxy, ALE, regime self regulated at one monolayer per cycle; the CdTe films revealed different growth rates in dependence of the growth parameters,exposure and purge times. Combination of short purge times and larger Cd exposure times led to not self regulated growth regime for CdTe. This is ascribed to large Cd coverages that were dependent on Cd exposure times, following a Brunauer-Emmett and Teller-type adsorption. However, for longer purge times and or short Cd exposure times, an ALE self regulated regime was achieved with 2 ML per cycle. In this sense, the self-regulation of the growth is limited by desorption, instead of absorption, as in the traditional growth technique. Cd atoms substitution by Zn atoms and subsequent evaporation of surface Cd atoms during Zn exposure has been proved. The influence of these facts on the growth and composition of the alloy is discussed.
△ Less
Submitted 4 October, 2019;
originally announced October 2019.
-
Chiral asymmetry detected in a 2D array of permalloy square nanomagnets using circularly polarized X ray Resonant Magnetic Scattering
Authors:
J. Díaz,
P. Gargiani,
C. Quirós,
C. Redondo,
R. Morales,
L. M. Álvarez-Prado,
J. I. Martín,
A. Scholl,
S. Ferrer,
M. Vélez,
S. M. Valvidares
Abstract:
The sensitivity of Circularly polarized X ray Resonant Magnetic Scattering (CXRMS) to chiral asymmetry has been demonstrated. The study was performed on a 2D array of Permalloy (Py) square nanomagnets of 700 nm lateral size arranged in a chess lattice of 1000 nm lattice parameter. Previous X ray Magnetic Circular Dichroism Photoemission Electron microscopy (XMCD-PEEM) images on this sample showed…
▽ More
The sensitivity of Circularly polarized X ray Resonant Magnetic Scattering (CXRMS) to chiral asymmetry has been demonstrated. The study was performed on a 2D array of Permalloy (Py) square nanomagnets of 700 nm lateral size arranged in a chess lattice of 1000 nm lattice parameter. Previous X ray Magnetic Circular Dichroism Photoemission Electron microscopy (XMCD-PEEM) images on this sample showed the formation of vortices at remanence and a preference in their chiral state. The magnetic hysteresis loops of the array along the diagonal axis of the squares indicate a non-negligible and anisotropic interaction between vortices. The intensity of the magnetic scattering using circularly polarized light along one of the diagonal axes of the square magnets becomes asymmetric in intensity in the direction transversal to the incident plane at fields where the vortex states are formed. The asymmetry sign is inverted when the direction of the applied magnetic field is inverted. The result is the expected in the presence of an unbalanced chiral distribution. The effect is observed by CXRMS due to the interference between the charge scattering and the magnetic scattering.
△ Less
Submitted 16 September, 2019; v1 submitted 3 July, 2019;
originally announced July 2019.
-
Revealing 3D Magnetization of Thin Films with Soft X-ray Tomography: Closure Domains and Magnetic Singularities
Authors:
A. Hierro-Rodriguez,
C. Quirós,
A. Sorrentino,
L. M. Alvarez-Prado,
J. I. Martín,
J. M. Alameda,
S. McVitie,
E. Pereiro,
M. Vélez,
S. Ferrer
Abstract:
The knowledge of how the magnetization looks inside a ferromagnet is often hindered by the limitations of the available experimental methods that are sensitive only to the surface regions or limited in spatial resolution. We report the 3D tomographic reconstruction of the magnetization within a ferromagnetic film of 240 nm in thickness using soft X ray microscopy and magnetic dichroism. The film h…
▽ More
The knowledge of how the magnetization looks inside a ferromagnet is often hindered by the limitations of the available experimental methods that are sensitive only to the surface regions or limited in spatial resolution. We report the 3D tomographic reconstruction of the magnetization within a ferromagnetic film of 240 nm in thickness using soft X ray microscopy and magnetic dichroism. The film has periodic magnetic domains forming stripes and closure domains found to be shifted from the stripe array by 1/4 of the period. In addition, the bifurcations of the stripes, which act as inversion nuclei of the magnetization, evidence in 3D meron singularities and Bloch points at the interior of the film. This novel method can be easily extended to magnetic stacks in spintronics applications and other singularities in films.
△ Less
Submitted 12 February, 2020; v1 submitted 2 July, 2019;
originally announced July 2019.
-
ConfigCrusher: Towards White-Box Performance Analysis for Configurable Systems
Authors:
Miguel Velez,
Pooyan Jamshidi,
Florian Sattler,
Norbert Siegmund,
Sven Apel,
Christian Kastner
Abstract:
Stakeholders of configurable systems are often interested in knowing how configuration options influence the performance of a system to facilitate, for example, the debugging and optimization processes of these systems. Several black-box approaches can be used to obtain this information, but they either sample a large number of configurations to make accurate predictions or miss important performa…
▽ More
Stakeholders of configurable systems are often interested in knowing how configuration options influence the performance of a system to facilitate, for example, the debugging and optimization processes of these systems. Several black-box approaches can be used to obtain this information, but they either sample a large number of configurations to make accurate predictions or miss important performance-influencing interactions when sampling few configurations. Furthermore, black-box approaches cannot pinpoint the parts of a system that are responsible for performance differences among configurations. This article proposes ConfigCrusher, a white-box performance analysis that inspects the implementation of a system to guide the performance analysis, exploiting several insights of configurable systems in the process. ConfigCrusher employs a static data-flow analysis to identify how configuration options may influence control-flow statements and instruments code regions, corresponding to these statements, to dynamically analyze the influence of configuration options on the regions' performance. Our evaluation on 10 configurable systems shows the feasibility of our white-box approach to more efficiently build performance-influence models that are similar to or more accurate than current state of the art approaches. Overall, we showcase the benefits of white-box performance analyses and their potential to outperform black-box approaches and provide additional information for analyzing configurable systems.
△ Less
Submitted 14 July, 2020; v1 submitted 6 May, 2019;
originally announced May 2019.
-
Tunable ferromagnetic resonance in coupled trilayers with crossed in-plane and perpendicular magnetic anisotropies
Authors:
Daniel Markó,
Fernando Valdés-Bango,
Carlos Quirós,
Aurelio Hierro-Rodríguez,
María Vélez,
José Ignacio Martín,
José María Alameda,
David S. Schmool,
Luis Manuel Álvarez-Prado
Abstract:
A novel approach to tune the ferromagnetic resonance frequency of a soft magnetic Ni$_{80}$Fe$_{20}$ (Permalloy = Py) film with in-plane magnetic anisotropy (IMA) based on the controlled coupling to a hard magnetic NdCo$_\text{x}$ film with perpendicular magnetic anisotropy (PMA) through a non-magnetic Al spacer is studied. Using transverse magneto-optical Kerr effect (TMOKE), alternating gradient…
▽ More
A novel approach to tune the ferromagnetic resonance frequency of a soft magnetic Ni$_{80}$Fe$_{20}$ (Permalloy = Py) film with in-plane magnetic anisotropy (IMA) based on the controlled coupling to a hard magnetic NdCo$_\text{x}$ film with perpendicular magnetic anisotropy (PMA) through a non-magnetic Al spacer is studied. Using transverse magneto-optical Kerr effect (TMOKE), alternating gradient magnetometry (AGM) as well as vector network analyzer ferromagnetic resonance (VNA-FMR) spectroscopy, the influence of both Co concentration and Al spacer thickness on the static and dynamic magnetic properties of the coupled IMA/PMA system is investigated. Compared to a single Py film, two striking effects of the coupling between IMA and PMA layers can be observed in their FMR spectra. First, there is a significant increase in the zero-field resonance frequency from 1.3 GHz up to 6.6 GHz, and second, an additional frequency hysteresis occurs at low magnetic fields applied along the hard axis. The maximum frequency difference between the frequency branches for increasing and decreasing magnetic field is as high as 1 GHz, corresponding to a tunability of about 20% at external fields of typically less than $\pm$70 mT. The origin of the observed features in the FMR spectra is discussed by means of magnetization reversal curves.
△ Less
Submitted 30 April, 2019;
originally announced April 2019.
-
Topologically protected superconducting ratchet effect generated by spin-ice nanomagnets
Authors:
V. Rollano,
A. Muñoz-Noval,
A. Gomez,
F. Valdes - Bango,
J. I. Martin,
M. Velez,
M. R. Osorio,
D. Granados,
E. M. Gonzalez,
J. L. Vicent
Abstract:
We have designed, fabricated and tested a robust superconducting ratchet device based on topologically frustrated spin-ice nanomagnets. The device is made of a magnetic Co honeycomb array embedded in a superconducting Nb film. This device is based on three simple mechanisms: i) the topology of the Co honeycomb array frustrates in-plane magnetic configurations in the array yielding a distribution o…
▽ More
We have designed, fabricated and tested a robust superconducting ratchet device based on topologically frustrated spin-ice nanomagnets. The device is made of a magnetic Co honeycomb array embedded in a superconducting Nb film. This device is based on three simple mechanisms: i) the topology of the Co honeycomb array frustrates in-plane magnetic configurations in the array yielding a distribution of magnetic charges which can be ordered or disordered with in-plane magnetic fields, following spin-ice rules, ii) the local vertex magnetization, which consists of a magnetic half vortex with two charged magnetic Néel walls, iii) the interaction between superconducting vortices and the asymmetric potentials provided by the Néel walls. The combination of these elements leads to a superconducting ratchet effect. Thus, superconducting vortices driven by alternating forces and moving on magnetic half vortices generate a unidirectional net vortex flow. This ratchet effect is independent of the distribution of magnetic charges in the array.
△ Less
Submitted 6 July, 2018;
originally announced July 2018.
-
Magnetic order and disorder in nanomagnets probed by superconducting vortices
Authors:
V. Rollano,
J. del Valle,
A. Gomez,
M. Velez,
L. M. Alvarez-Prado,
C. Quiros,
J. I. Martin,
M. R. Osorio,
D. Granados,
E. M. Gonzalez,
J. L. Vicent
Abstract:
We have studied two nanomagnet systems with strong (Co/Pd multilayers) and weak (NdCo alloy films) stray magnetic fields by probing the out-of-plane magnetic states with superconducting vortices. The hybrid samples are made of array of nanomagnets embedded in superconducting Nb thin films. The vortex motion detects relevant magnetic state features, since superconducting vortices are able to discri…
▽ More
We have studied two nanomagnet systems with strong (Co/Pd multilayers) and weak (NdCo alloy films) stray magnetic fields by probing the out-of-plane magnetic states with superconducting vortices. The hybrid samples are made of array of nanomagnets embedded in superconducting Nb thin films. The vortex motion detects relevant magnetic state features, since superconducting vortices are able to discriminate between different magnetic stray field strengths and directions. The usual matching effect between the superconducting vortex lattice and the periodic pinning array can be quenched by means of disorder magnetic potentials with strong stray fields at random. Ordered stray fields retrieve the matching effect and yield asymmetry and shift in the vortex dissipation signal. Furthermore vortices can discriminate the sizes of the nanomagnet magnetic domains, detecting magnetic domain sizes as small as 70 nm. In addition, we observe that the vortex cores play the crucial role instead of the supercurrents around the vortex.
△ Less
Submitted 30 August, 2018; v1 submitted 26 February, 2018;
originally announced February 2018.
-
Detecting truth, just on parts
Authors:
Zoltán Kovács,
Tomás Recio,
M. Pilar Vélez
Abstract:
We introduce and discuss, through a computational algebraic geometry approach, the automatic reasoning handling of propositions that are simultaneously true and false over some relevant collections of instances. A rigorous, algorithmic criterion is presented for detecting such cases, and its performance is exemplified through the implementation of this test on the dynamic geometry program GeoGebra…
▽ More
We introduce and discuss, through a computational algebraic geometry approach, the automatic reasoning handling of propositions that are simultaneously true and false over some relevant collections of instances. A rigorous, algorithmic criterion is presented for detecting such cases, and its performance is exemplified through the implementation of this test on the dynamic geometry program GeoGebra.
△ Less
Submitted 26 March, 2018; v1 submitted 16 February, 2018;
originally announced February 2018.
-
Transfer Learning for Performance Modeling of Configurable Systems: An Exploratory Analysis
Authors:
Pooyan Jamshidi,
Norbert Siegmund,
Miguel Velez,
Christian Kästner,
Akshay Patel,
Yuvraj Agarwal
Abstract:
Modern software systems provide many configuration options which significantly influence their non-functional properties. To understand and predict the effect of configuration options, several sampling and learning strategies have been proposed, albeit often with significant cost to cover the highly dimensional configuration space. Recently, transfer learning has been applied to reduce the effort…
▽ More
Modern software systems provide many configuration options which significantly influence their non-functional properties. To understand and predict the effect of configuration options, several sampling and learning strategies have been proposed, albeit often with significant cost to cover the highly dimensional configuration space. Recently, transfer learning has been applied to reduce the effort of constructing performance models by transferring knowledge about performance behavior across environments. While this line of research is promising to learn more accurate models at a lower cost, it is unclear why and when transfer learning works for performance modeling. To shed light on when it is beneficial to apply transfer learning, we conducted an empirical study on four popular software systems, varying software configurations and environmental conditions, such as hardware, workload, and software versions, to identify the key knowledge pieces that can be exploited for transfer learning. Our results show that in small environmental changes (e.g., homogeneous workload change), by applying a linear transformation to the performance model, we can understand the performance behavior of the target environment, while for severe environmental changes (e.g., drastic workload change) we can transfer only knowledge that makes sampling more efficient, e.g., by reducing the dimensionality of the configuration space.
△ Less
Submitted 7 September, 2017;
originally announced September 2017.
-
Transfer Learning for Improving Model Predictions in Highly Configurable Software
Authors:
Pooyan Jamshidi,
Miguel Velez,
Christian Kästner,
Norbert Siegmund,
Prasad Kawthekar
Abstract:
Modern software systems are built to be used in dynamic environments using configuration capabilities to adapt to changes and external uncertainties. In a self-adaptation context, we are often interested in reasoning about the performance of the systems under different configurations. Usually, we learn a black-box model based on real measurements to predict the performance of the system given a sp…
▽ More
Modern software systems are built to be used in dynamic environments using configuration capabilities to adapt to changes and external uncertainties. In a self-adaptation context, we are often interested in reasoning about the performance of the systems under different configurations. Usually, we learn a black-box model based on real measurements to predict the performance of the system given a specific configuration. However, as modern systems become more complex, there are many configuration parameters that may interact and we end up learning an exponentially large configuration space. Naturally, this does not scale when relying on real measurements in the actual changing environment. We propose a different solution: Instead of taking the measurements from the real system, we learn the model using samples from other sources, such as simulators that approximate performance of the real system at low cost. We define a cost model that transform the traditional view of model learning into a multi-objective problem that not only takes into account model accuracy but also measurements effort as well. We evaluate our cost-aware transfer learning solution using real-world configurable software including (i) a robotic system, (ii) 3 different stream processing applications, and (iii) a NoSQL database system. The experimental results demonstrate that our approach can achieve (a) a high prediction accuracy, as well as (b) a high model reliability.
△ Less
Submitted 20 April, 2017; v1 submitted 1 April, 2017;
originally announced April 2017.
-
On the Lexical Distinguishability of Source Code
Authors:
Martin Velez,
Dong Qiu,
You Zhou,
Earl T. Barr,
Zhendong Su
Abstract:
Natural language is robust against noise. The meaning of many sentences survives the loss of words, sometimes many of them. Some words in a sentence, however, cannot be lost without changing the meaning of the sentence. We call these words "wheat" and the rest "chaff". The word "not" in the sentence "I do not like rain" is wheat and "do" is chaff. For human understanding of the purpose and behavio…
▽ More
Natural language is robust against noise. The meaning of many sentences survives the loss of words, sometimes many of them. Some words in a sentence, however, cannot be lost without changing the meaning of the sentence. We call these words "wheat" and the rest "chaff". The word "not" in the sentence "I do not like rain" is wheat and "do" is chaff. For human understanding of the purpose and behavior of source code, we hypothesize that the same holds. To quantify the extent to which we can separate code into "wheat" and "chaff", we study a large (100M LOC), diverse corpus of real-world projects in Java. Since methods represent natural, likely distinct units of code, we use the ~9M Java methods in the corpus to approximate a universe of "sentences." We extract their wheat by computing the function's minimal distinguishing subset (Minset). Our results confirm that functions contain work offers the first quantitative evidence for recent promising work on keyword-based programming and insight into how to develop a powerful, alternative programming model.
△ Less
Submitted 27 June, 2018; v1 submitted 4 February, 2015;
originally announced February 2015.
-
A new theoretical superstoichiometric hard $TiN_x$ crystal
Authors:
Edward Y. Villegas,
Mario Vélez
Abstract:
In this article we present the application of a \textit{ab initio} methodology to design new hard materials with crystal behavior. In special, we applied this methodology in the search of new materials of the $TiN_x$ family. This search will find a set of structures super-stoichiometrics $Ti_3N_4$ and properties of the candidate to greatest hardness are evaluated. Hardness model used in this work…
▽ More
In this article we present the application of a \textit{ab initio} methodology to design new hard materials with crystal behavior. In special, we applied this methodology in the search of new materials of the $TiN_x$ family. This search will find a set of structures super-stoichiometrics $Ti_3N_4$ and properties of the candidate to greatest hardness are evaluated. Hardness model used in this work is described by Antonín Simunek and Jirí Vackár (2006).
△ Less
Submitted 26 February, 2014;
originally announced February 2014.
-
Controlled nucleation of topological defects in the stripe domain patterns of Lateral multilayers with Perpendicular Magnetic Anisotropy: competition between magnetostatic, exchange and misfit interactions
Authors:
A. Hierro-Rodriguez,
M. Velez,
R. Morales,
N. Soriano,
G. Rodriguez-Rodriguez,
L. M. Alvarez-Prado,
J. I. Martin,
J. M. Alameda
Abstract:
Magnetic lateral multilayers have been fabricated on weak perpendicular magnetic anisotropy amorphous Nd-Co films in order to perform a systematic study on the conditions for controlled nucleation of topological defects within their magnetic stripe domain pattern. A lateral thickness modulation of period $w$ is defined on the nanostructured samples that, in turn, induces a lateral modulation of bo…
▽ More
Magnetic lateral multilayers have been fabricated on weak perpendicular magnetic anisotropy amorphous Nd-Co films in order to perform a systematic study on the conditions for controlled nucleation of topological defects within their magnetic stripe domain pattern. A lateral thickness modulation of period $w$ is defined on the nanostructured samples that, in turn, induces a lateral modulation of both magnetic stripe domain periods $λ$ and average in-plane magnetization component $M_{inplane}$. Depending on lateral multilayer period and in-plane applied field, thin and thick regions switch independently during in-plane magnetization reversal and domain walls are created within the in-plane magnetization configuration coupled to variable angle grain boundaries and disclinations within the magnetic stripe domain patterns. This process is mainly driven by the competition between rotatable anisotropy (that couples the magnetic stripe pattern to in-plane magnetization) and in-plane shape anisotropy induced by the periodic thickness modulation. However, as the structural period $w$ becomes comparable to magnetic stripe period $λ$, the nucleation of topological defects at the interfaces between thin and thick regions is hindered by a size effect and stripe domains in the different thickness regions become strongly coupled.
△ Less
Submitted 21 October, 2013;
originally announced October 2013.
-
Double percolation effects and fractal behavior in magnetic/superconducting hybrids
Authors:
L. Ruiz-Valdepeñas,
M. Velez,
F. Valdes-Bango,
L. M. Alvarez-Prado,
J. I. Martin,
E. Navarro,
J. M. Alameda,
J. L. Vicent
Abstract:
Perpendicular magnetic anisotropy ferromagnetic/ superconducting (FM/SC) bilayers with a labyrinth domain structure are used to study nucleation of superconductivity on a fractal network, tunable through magnetic history. As clusters of reversed domains appear in the FM layer, the SC film shows a percolative behavior that depends on two independent processes: the arrangement of initial reversed do…
▽ More
Perpendicular magnetic anisotropy ferromagnetic/ superconducting (FM/SC) bilayers with a labyrinth domain structure are used to study nucleation of superconductivity on a fractal network, tunable through magnetic history. As clusters of reversed domains appear in the FM layer, the SC film shows a percolative behavior that depends on two independent processes: the arrangement of initial reversed domains and the fractal geometry of expanding clusters. For a full labyrinth structure, the behavior of the upper critical field is typical of confined superconductivity on a fractal network.
△ Less
Submitted 18 July, 2013;
originally announced July 2013.
-
Topological defects and misfit strain in magnetic stripe domains of lateral multilayers with perpendicular magnetic anisotropy
Authors:
A. Hierro-Rodriguez,
R. Cid,
M. Vélez,
G. Rodriguez-Rodriguez,
J. I. Martín,
L. M. Álvarez-Prado,
J. M. Alameda
Abstract:
Stripe domains are studied in perpendicular magnetic anisotropy films nanostructured with a periodic thickness modulation that induces the lateral modulation of both stripe periods and inplane magnetization. The resulting system is the 2D equivalent of a strained superlattice with properties controlled by interfacial misfit strain within the magnetic stripe structure and shape anisotropy. This all…
▽ More
Stripe domains are studied in perpendicular magnetic anisotropy films nanostructured with a periodic thickness modulation that induces the lateral modulation of both stripe periods and inplane magnetization. The resulting system is the 2D equivalent of a strained superlattice with properties controlled by interfacial misfit strain within the magnetic stripe structure and shape anisotropy. This allows us to observe, experimentally for the first time, the continuous structural transformation of a grain boundary in this 2D magnetic crystal in the whole angular range. The magnetization reversal process can be tailored through the effect of misfit strain due to the coupling between disclinations in the magnetic stripe pattern and domain walls in the in-plane magnetization configuration.
△ Less
Submitted 11 September, 2012;
originally announced September 2012.
-
Crossed-ratchet effects and domain wall geometrical pinning
Authors:
V. I. Marconi,
A. B. Kolton,
J. A. Capitan,
J. A. Cuesta,
A. Perez-Junquera,
M. Velez,
J. I. Martin,
J. M. R. Parrondo
Abstract:
The motion of a domain wall in a two dimensional medium is studied taking into account the internal elastic degrees of freedom of the wall and geometrical pinning produced both by holes and sample boundaries. This study is used to analyze the geometrical conditions needed for optimizing crossed ratchet effects in periodic rectangular arrays of asymmetric holes, recently observed experimentally in…
▽ More
The motion of a domain wall in a two dimensional medium is studied taking into account the internal elastic degrees of freedom of the wall and geometrical pinning produced both by holes and sample boundaries. This study is used to analyze the geometrical conditions needed for optimizing crossed ratchet effects in periodic rectangular arrays of asymmetric holes, recently observed experimentally in patterned ferromagnetic films. Geometrical calculations and numerical simulations have been used to obtain the anisotropic critical fields for depinning flat and kinked walls in rectangular arrays of triangles. The aim is to show with a generic elastic model for interfaces how to build a rectifier able to display crossed ratchet effects or effective potential landscapes for controlling the motion of interfaces or invasion fronts.
△ Less
Submitted 25 December, 2010;
originally announced December 2010.
-
Vortex ratchet reversal at fractional matching fields in kagomé-like array with symmetric pinning centers
Authors:
D. Perez de Lara,
A. Alija,
E. M. Gonzalez,
M. Velez,
J. I. Martin,
J. L. Vicent
Abstract:
Arrays of Ni nanodots embedded in Nb superconducting films have been fabricated by sputtering and electron beam lithography techniques. The arrays are periodic triangular lattices of circular Ni dots arranged in a kagomé-like pattern with broken reflection symmetry. Relevant behaviors are found in the vortex lattice dynamics : i) At values lower than the first integer matching field, several fract…
▽ More
Arrays of Ni nanodots embedded in Nb superconducting films have been fabricated by sputtering and electron beam lithography techniques. The arrays are periodic triangular lattices of circular Ni dots arranged in a kagomé-like pattern with broken reflection symmetry. Relevant behaviors are found in the vortex lattice dynamics : i) At values lower than the first integer matching field, several fractional matching fields are present when the vortex lattice moves parallel or perpendicular to the reflection symmetry axis of the array showing a clear anisotropic character in the magnetoresistance curves, ii) injecting an ac current perpendicular to the reflection symmetry axis of the array yields an unidirectional motion of the vortex lattice (ratchet effect) as a result of the interaction between the whole vortex lattice and the asymmetric lattice of dots, iii) increasing the input current amplitudes the ratchet effect changes polarity independently of matching field values. These experimental results can be explained taking into account the vortex lattice density.
△ Less
Submitted 22 October, 2010;
originally announced October 2010.
-
Characterization of single-molecule pentanedithiol junctions by inelastic electron tunneling spectroscopy and first-principles calculations
Authors:
Carlos R. Arroyo,
Thomas Frederiksen,
Gabino Rubio-Bollinger,
Marisela Velez,
Andres Arnau,
Daniel Sanchez-Portal,
Nicolas Agrait
Abstract:
We study pentanedithiol molecular junctions formed by means of the break-junction technique with a scanning tunneling microscope at low temperatures. Using inelastic electron tunneling spectroscopy and first-principles calculations, the response of the junction to elastic deformation is examined. We show that this procedure makes a detailed characterization of the molecular junction possible. In…
▽ More
We study pentanedithiol molecular junctions formed by means of the break-junction technique with a scanning tunneling microscope at low temperatures. Using inelastic electron tunneling spectroscopy and first-principles calculations, the response of the junction to elastic deformation is examined. We show that this procedure makes a detailed characterization of the molecular junction possible. In particular, our results indicate that tunneling takes place through just a single molecule.
△ Less
Submitted 14 January, 2010;
originally announced January 2010.
-
Crossed ratchet effects for magnetic domain wall motion
Authors:
A. Perez-Junquera,
V. I. Marconi,
A. B. Kolton,
L. M. Alvarez-Prado,
Y. Souche,
A. Alija,
M. Velez,
J. V. Anguita,
J. M. Alameda,
J. I. Martin,
J. M. R. Parrondo
Abstract:
We study both experimentally and theoretically the driven motion of domain walls in extended amorphous magnetic films patterned with a periodic array of asymmetric holes. We find two crossed ratchet effects of opposite sign that change the preferred sense for domain wall propagation, depending on whether a flat or a kinked wall is moving. By solving numerically a simple $φ^4$-model we show that…
▽ More
We study both experimentally and theoretically the driven motion of domain walls in extended amorphous magnetic films patterned with a periodic array of asymmetric holes. We find two crossed ratchet effects of opposite sign that change the preferred sense for domain wall propagation, depending on whether a flat or a kinked wall is moving. By solving numerically a simple $φ^4$-model we show that the essential physical ingredients for this effect are quite generic and could be realized in other experimental systems involving elastic interfaces moving in multidimensional ratchet potentials.
△ Less
Submitted 3 September, 2007;
originally announced September 2007.
-
Quantum hypercomputation based on the dynamical algebra su(1,1)
Authors:
Andrés Sicard,
Juan Ospina,
Mario Vélez
Abstract:
An adaptation of Kieu's hypercomputational quantum algorithm (KHQA) is presented. The method that was used was to replace the Weyl-Heisenberg algebra by other dynamical algebra of low dimension that admits infinite-dimensional irreducible representations with naturally defined generalized coherent states. We have selected the Lie algebra $\mathfrak{su}(1,1)$, due to that this algebra posses the…
▽ More
An adaptation of Kieu's hypercomputational quantum algorithm (KHQA) is presented. The method that was used was to replace the Weyl-Heisenberg algebra by other dynamical algebra of low dimension that admits infinite-dimensional irreducible representations with naturally defined generalized coherent states. We have selected the Lie algebra $\mathfrak{su}(1,1)$, due to that this algebra posses the necessary characteristics for to realize the hypercomputation and also due to that such algebra has been identified as the dynamical algebra associated to many relatively simple quantum systems. In addition to an algebraic adaptation of KHQA over the algebra $\mathfrak{su}(1,1)$, we presented an adaptations of KHQA over some concrete physical referents: the infinite square well, the infinite cylindrical well, the perturbed infinite cylindrical well, the P{ö}sch-Teller potentials, the Holstein-Primakoff system, and the Laguerre oscillator. We conclude that it is possible to have many physical systems within condensed matter and quantum optics on which it is possible to consider an implementation of KHQA.
△ Less
Submitted 13 February, 2006; v1 submitted 8 February, 2006;
originally announced February 2006.
-
Numerical Simulations of a Possible Hypercomputational Quantum Algorithm
Authors:
Andrés Sicard,
Juan Ospina,
Mario Vélez
Abstract:
The hypercomputers compute functions or numbers, or more generally solve problems or carry out tasks, that cannot be computed or solved by a Turing machine. Several numerical simulations of a possible hypercomputational algorithm based on quantum computations previously constructed by the authors are presented. The hypercomputability of our algorithm is based on the fact that this algorithm coul…
▽ More
The hypercomputers compute functions or numbers, or more generally solve problems or carry out tasks, that cannot be computed or solved by a Turing machine. Several numerical simulations of a possible hypercomputational algorithm based on quantum computations previously constructed by the authors are presented. The hypercomputability of our algorithm is based on the fact that this algorithm could solve a classically non-computable decision problem, Hilbert's tenth problem. The numerical simulations were realized for three types of Diophantine equations: with and without solutions in non-negative integers, and without solutions by way of various traditional mathematical packages.
△ Less
Submitted 4 April, 2005;
originally announced April 2005.
-
A possible hypercomputational quantum algorithm
Authors:
Andrés Sicard,
Mario Vélez,
Juan Ospina
Abstract:
The term `hypermachine' denotes any data processing device (theoretical or that can be implemented) capable of carrying out tasks that cannot be performed by a Turing machine. We present a possible quantum algorithm for a classically non-computable decision problem, Hilbert's tenth problem; more specifically, we present a possible hypercomputation model based on quantum computation. Our algorith…
▽ More
The term `hypermachine' denotes any data processing device (theoretical or that can be implemented) capable of carrying out tasks that cannot be performed by a Turing machine. We present a possible quantum algorithm for a classically non-computable decision problem, Hilbert's tenth problem; more specifically, we present a possible hypercomputation model based on quantum computation. Our algorithm is inspired by the one proposed by Tien D. Kieu, but we have selected the infinite square well instead of the (one-dimensional) simple harmonic oscillator as the underlying physical system. Our model exploits the quantum adiabatic process and the characteristics of the representation of the dynamical Lie algebra su(1,1) associated to the infinite square well.
△ Less
Submitted 7 June, 2005; v1 submitted 18 June, 2004;
originally announced June 2004.
-
Computing a Turing-Incomputable Problem from Quantum Computing
Authors:
Andrés Sicard,
Mario Vélez,
Juan Ospina
Abstract:
A hypercomputation model named Infinite Square Well Hypercomputation Model (ISWHM) is built from quantum computation. This model is inspired by the model proposed by Tien D. Kieu quant-ph/0203034 and solves an Turing-incomputable problem. For the proposed model and problem, a simulation of its behavior is made. Furthermore, it is demonstrated that ISWHM is a universal quantum computation model.
A hypercomputation model named Infinite Square Well Hypercomputation Model (ISWHM) is built from quantum computation. This model is inspired by the model proposed by Tien D. Kieu quant-ph/0203034 and solves an Turing-incomputable problem. For the proposed model and problem, a simulation of its behavior is made. Furthermore, it is demonstrated that ISWHM is a universal quantum computation model.
△ Less
Submitted 26 September, 2003;
originally announced September 2003.
-
Order in driven vortex lattices in superconducting Nb films with nanostructured pinning potentials
Authors:
M. Velez,
D. Jaque,
J. I. Martin,
F. Guinea,
J. L. Vicent
Abstract:
Driven vortex lattices have been studied in a material with strong pinning, such as Nb films. Samples in which natural random pinning coexists with artificial ordered arrays of defects (submicrometric Ni dots) have been fabricated with different geometries (square, triangular and rectangular). Three different dynamic regimes are found: for low vortex velocities, there is a plastic regime in whic…
▽ More
Driven vortex lattices have been studied in a material with strong pinning, such as Nb films. Samples in which natural random pinning coexists with artificial ordered arrays of defects (submicrometric Ni dots) have been fabricated with different geometries (square, triangular and rectangular). Three different dynamic regimes are found: for low vortex velocities, there is a plastic regime in which random defects frustrate the effect of the ordered array; then, for vortex velocities in the range 1-100 m/s, there is a sudden increase in the interaction between the vortex lattice and the ordered dot array, independent on the geometry. This effect is associated to the onset of quasi long range order in the vortex lattice leading to an increase in the overlap between the vortex lattice and the magnetic dots array. Finally, at larger velocities the ordered array-vortex lattice interaction is suppresed again, in agreement with the behavior found in numerical simulations.
△ Less
Submitted 9 April, 2001;
originally announced April 2001.
-
Temperature dependence and mechanisms for vortex pinning by periodic arrays of Ni dots in Nb films
Authors:
J. I. Martin,
M. Velez,
A. Hoffmann,
I. K. Schuller,
J. L. Vicent
Abstract:
Pinning interactions between superconducting vortices in Nb and magnetic Ni dots were studied as a function of current and temperature to clarify the nature of pinning mechanisms. A strong current dependence is found for a square array of dots, with a temperature dependent optimum current for the observation of periodic pinning, that decreases with temperature as (1-T/Tc)3/2. This same temperatu…
▽ More
Pinning interactions between superconducting vortices in Nb and magnetic Ni dots were studied as a function of current and temperature to clarify the nature of pinning mechanisms. A strong current dependence is found for a square array of dots, with a temperature dependent optimum current for the observation of periodic pinning, that decreases with temperature as (1-T/Tc)3/2. This same temperature dependence is found for the critical current at the first matching field with a rectangular array of dots. The analysis of these results allows to narrow the possible pinning mechanisms to a combination of two: the interaction between the vortex and the magnetic moment of the dot and the proximity effect. Moreover, for the rectangular dot array, the temperature dependence of the crossover between the low field regime with a rectangular vortex lattice to the high field regime with a square configuration has been studied. It is found that the crossover field increases with decreasing temperature. This dependence indicates a change in the balance between elastic and pinning energies, associated with dynamical effects of the vortex lattice in the high field range.
△ Less
Submitted 18 September, 2000;
originally announced September 2000.
-
Some relations between quantum Turing machines and Turing machines
Authors:
Andrés Sicard,
Mario Vélez
Abstract:
For quantum Turing machines we present three elements: Its components, its time evolution operator and its local transition function. The components are related with the components of deterministic Turing machines, the time evolution operator is related with the evolution of reversible Turing machines and the local transition function is related with the transition function of probabilistic and…
▽ More
For quantum Turing machines we present three elements: Its components, its time evolution operator and its local transition function. The components are related with the components of deterministic Turing machines, the time evolution operator is related with the evolution of reversible Turing machines and the local transition function is related with the transition function of probabilistic and reversible Turing machines.
△ Less
Submitted 6 December, 1999; v1 submitted 2 December, 1999;
originally announced December 1999.
-
Flux flow resistivity and vortex viscosity of high-Tc films
Authors:
J. I. Martin,
M. Velez,
F. Guinea,
J. L. Vicent
Abstract:
The flux flow regime of high-T$_{\rm c}$ samples of different normal state resistivities is studied in the temperature range where the sign of the Hall effect is reversed. The scaling of the vortex viscosity with normal state resistivity is consistent with the Bardeen-Stephen theory. Estimates of the influence of possible mechanisms suggested for the sign reversal of the Hall effect are also giv…
▽ More
The flux flow regime of high-T$_{\rm c}$ samples of different normal state resistivities is studied in the temperature range where the sign of the Hall effect is reversed. The scaling of the vortex viscosity with normal state resistivity is consistent with the Bardeen-Stephen theory. Estimates of the influence of possible mechanisms suggested for the sign reversal of the Hall effect are also given.
△ Less
Submitted 12 July, 1996;
originally announced July 1996.
-
An algorithmic criterion for basicness in dimension 2
Authors:
F. Acquistapace,
F. Broglia,
M. Pilar Velez
Abstract:
We give a constructive procedure to check basicness of open (or closed) semialgebraic sets in a compact, non singular, real algebraic surface $X$. It is rather clear that if a semialgebraic set $S$ can be separated from each connected component of $X\setminus(S\cup\frz S)$ (when $\frz S$ stands for the Zariski closure of $(\ol S\setminus{\rm Int}(S))\cap{\rm Reg}(X)$), then $S$ is basic. This le…
▽ More
We give a constructive procedure to check basicness of open (or closed) semialgebraic sets in a compact, non singular, real algebraic surface $X$. It is rather clear that if a semialgebraic set $S$ can be separated from each connected component of $X\setminus(S\cup\frz S)$ (when $\frz S$ stands for the Zariski closure of $(\ol S\setminus{\rm Int}(S))\cap{\rm Reg}(X)$), then $S$ is basic. This leads to associate to $S$ a finite family of sign distributions on $X\setminus\frz S$; we prove the equivalence between basicness and two properties of these distributions, which can be tested by an algorithm. There is a close relation between these two properties and the behaviour of fans in the algebraic functions field of $X$ associated to a real prime divisor, which gives an easy proof, for a general surface $X$, of the well known 4-elements fan's criterion for basicness (Brocker, Andradas-Ruiz). Furthermore, if the criterion fails, using the description of fans in dimension 2, we find an algorithmic method to exhibit the failure. Finally, exploiting this thecnics of sign distribution we give one improvement of the 4-elements fan's criterion of Brocker to check if a semialgebraic set is principal.
△ Less
Submitted 14 December, 1993;
originally announced December 1993.