Search

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., Comment: In Proceedings ADG 2023, arXiv:2401.10725

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., Comment: 13 pages, 4 figures, submitted to JATIS

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 mapping 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., Comment: 13 pages, 16 figures

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., Comment: In Proceedings ADG 2021, arXiv:2112.14770

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., Comment: 23 pages, 7 figures

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\'eel 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\'eel 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., Comment: 21 pages, 13 figures

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.

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., Comment: The new revised version corrected some grammatical and orthographic mistakes like "cero" instead of zero and "core vortex" instead of vortex core. Bibliographic entries were modified to have all the same format

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., Comment: 13 pages, 4 figures

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\'eel walls, iii) the interaction between superconducting vortices and the asymmetric potentials provided by the N\'eel 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., Comment: 17 pages, 7 figures

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., Comment: 22 pages, 8 figures

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., Comment: 18 pages, 5 figures