One-way-ness in the input-saving (Turing) machine.

• Autor(a) principal: CASTRO, A. de
• Data de Publicação: 2014
• Tipo de documento: Artigo
• Idioma: eng
• Título da fonte: Repositório Institucional da EMBRAPA (Repository Open Access to Scientific Information from EMBRAPA - Alice)
• Texto Completo: http://www.alice.cnptia.embrapa.br/alice/handle/doc/994523
• topic: Complexidade computacional; Princípio de Landauer; Máquina de Turing; Permutação one way; Computational complexity; Landauer's principle; Turing machine; One-way permutation

Currently, a complexity-class problem is proving the existence of one-way permutations: one-to-one and onto maps that are computationally ?easy?, while their inverses are computationally ?hard?. In what follows, we make use of Bennett?s algorithm of the reversible Turing machine (quantum information heat engine) to perform a cascade of two controlled-NOT gates to physically create a permutation operation. We show that by running this input-saving (Turing) machine backwards the critical inequality of Landauer?s thermodynamic limit is reversed, which provokes the symmetry-breaking of the quantum circuit based on two successive controlled-NOT quantum gates. This finding reveals that a permutation of controlled-NOT gates becomes one-way, provided that adiabatically immersed in a heat bath, which determines the condition of existence of a thermodynamically non-invertible bijection in polynomial-time, that would otherwise be mathematically invertible. This one-way bijection can also be particularly important because it shows nonlinearities in quantum mechanics, which are detectable by watching that the mathematical reversibility of controlled-NOT gates does not work physically.