arXiv subjects

Mario Vélez

Publications and source records attributed to Mario Vélez.

6 recordsLinked to original sources

arXiv2014

A new theoretical superstoichiometric hard $TiN_x$ crystal

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).

cond-mat.mtrl-sci↗

arXiv2006

Quantum hypercomputation based on the dynamical algebra su(1,1)

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.

quant-ph↗

arXiv2005

A possible hypercomputational quantum algorithm

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.

quant-ph↗

arXiv2005

Numerical Simulations of a Possible Hypercomputational Quantum Algorithm

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.

quant-ph↗

arXiv2003

Computing a Turing-Incomputable Problem from Quantum Computing

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.

quant-ph↗

arXiv1999

Some relations between quantum Turing machines and Turing machines

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.

quant-ph↗