arXiv subjects
Publications and source records attributed to Juan Manuel Cornejo.
In this manuscript, we provide an independent equational basis for the variety of reflexive Nelson algebras, a generalization of the variety of SNA-algebras. The proof of this result relies on a substantial number of technical arguments and computational examples. The result complements a broader study of reflexive Nelson algebras by showing that the variety admits an independent equational axiomatization.
Sympathetic laser cooling is a key concept in precision spectroscopy and quantum state control of charged particles. Significant challenges arise in the metrologically relevant case where the effective interaction between the particles is weak and the particle to be cooled exhibits significant initial motional energy. Here we specifically address the most generally applicable case where the laser-cooled ion and the particle of interest are confined to two spatially separate potential wells with equal motional frequency for resonant enhancement of the cooling dynamics. We analyze the latter through numerical simulations and find that anharmonicities of the potential wells can prevent maintaining the resonance condition throughout the cooling process and thus inhibit a significant reduction in motional energy. We propose a cooling scheme that sweeps the trapping frequency of the potential wells. We show that this scheme enables efficient cooling from cryogenic temperatures all the way to the quantum regime of motion. As a specific application scenario, we analyze the sympathetic cooling of (anti-)protons into the quantum regime of motion for quantum-logic-spectroscopy-based tests of CPT invariance at the quantum limit in Penning traps. Nevertheless, our results and cooling strategies are generally applicable to other laser-inaccessible ion species.
Five-valued Nelson algebras are those satisfying the condition: $((x\to z)\to y)\to(((y \to x)\to y)\to y)=1$. We give alternative equations defining these algebras, and determine the structure and number of elements of the free five-valued Nelson algebra with a finite number of free generators.
Nelson algebras are defined in [Diana Brignole and António Monteiro. Caractérisation des algèbres de Nelson par des égalités. {I}, {II}. Proc. Japan Acad., 43:279--283; 284--285, 1967.] in terms of the language $\langle \land,\lor,\to,\sim,1\rangle$. In 1962, Diana Brignole [Diana Brignole. Axiomatización de un $N$-reticulado. Revista de la Unión Matemática Argentina, XXI(3):147--148, 1965.], solved the problem proposed by Antonio Monteiro, of giving an axiomatization of Nelson algebras in terms of the connectives $\rightarrowtail$, $\land$ and the constant $0=\sim 1$. In this work, we present for the first time a complete proof of this fact, and also show the dependence and independence of some of the axioms proposed by Brignole.
We present a category equivalent to that of semi-Nelson algebras. The objects in this category are pairs consisting of a semi-Heyting algebra and one of its filters. The filters must contain all the dense elements of the semi-Heyting algebra and satisfy an additional technical condition. We also show that in the case of dually hemimorphic semi-Nelson algebras, the filters are not necessary and the category is equivalent to that of dually hemimorphic semi-Heyting algebras.
Cooling and detection schemes using laser cooling and methods of quantum logic can contribute to high precision CPT symmetry tests in the baryonic sector. This work introduces an experiment to sympathetically cool protons and antiprotons using the Coulomb interaction with a $^9$Be$^+$ ion trapped in a nearby but separate potential well. We have designed and set up an apparatus to show such coupling between two identical ions for the first time in a Penning trap. In this paper, we present evidence for successful loading and Doppler cooling of clouds and single ions. Our coupling scheme has applications in a range of high-precision measurements in Penning traps and has the potential to substantially improve motional control in these experiments.
The Penning-trap electronic-detection technique that offers the precision and sensitivity requested in mass spectrometry for fundamental studies in nuclear and particle physics has not been proven yet to be universal. This has motivated the construction of a Penning-trap facility aiming at the implementation of a novel detection method, consisting in measuring motional frequencies of singly-charged trapped ions in strong magnetic fields, through the fluorescence photons from the 4s$^2$S$_{1/2}\rightarrow $4p$^2$P$_{1/2}$ atomic transition in $^{40}$Ca$^+$. The key element of this facility is an open-ring Penning trap, built and fully characterized, which is coupled upstream to a preparation Penning trap similar to those built at Radioactive Ion Beam facilities. Motional frequency measurements of trapped ions stored in the open-ring trap have been carried out by applying external dipolar and quadrupolar fields in resonance with the ions' eigenmotions, in combination with time-of-flight identification. The infrastructure to observe the fluorescence photons from $^{40}$Ca$^+$, comprising the twelve laser beams needed in 7~Tesla, and a two-meters long system to register the image in a high-sensitive CCD sensor, has also been successfully tested by observing optically the trapped $^{40}$Ca$^+$ ions. This demonstrates the capabilities of this facility for the proposed laser-based mass-spectrometry technique, and introduces it as a unique platform to perform laser-spectroscopy experiments with implications in different fields of physics.
We provide a recursive construction of all the semi-Heyting algebras that can be defined on a chain with $n$ elements. This construction allows us to count them easily. We also compare the formula for the number of semi-Heyting chains thus obtained to the one previously known.
We offer the proofs that complete our article introducing the propositional calculus called semi-intuitionistic logic with strong negation.
We have studied the dynamics of one and two laser-cooled trapped $^{40}$Ca$^+$ ions by applying electric fields of different nature along the axial direction of the trap, namely, driving the motion with a harmonic dipolar field, or with white noise. These two types of driving induce distinct motional states of the axial modes; a coherent oscillation with the dipolar field, or an enhanced Brownian motion due to an additional contribution to the heating rate from the electric noise. In both scenarios, the sensitivity of an isolated ion and a laser-cooled two-ion crystal has been evaluated and compared. The analysis and understanding of this dynamics is important towards the implementation of a novel Penning-trap mass-spectroscopy technique based on optical detection, aiming at improving precision and sensitivity.