Quantum Aspects of Semantic Analysis and Symbolic Artificial Intelligence

Modern approaches to semanic analysis if reformulated as Hilbert-space problems reveal formal structures known from quantum mechanics. Similar situation is found in distributed representations of cognitive structures developed for the purposes of neural networks. We take a closer look at similarites and differences between the above two fields and quantum information theory.Comment: version accepted in J. Phys. A (Letter to the Editor

Backflow and dissipation during the quantum decay of a metastable Fermi liquid

The particle current in a metastable Fermi liquid against a first-order phase transition is calculated at zero temperature. During fluctuations of a droplet of the stable phase, in accordance with the conservation law, not only does an unperturbed current arise from the continuity at the boundary, but a backflow is induced by the density response. Quasiparticles carrying these currents are scattered by the boundary, yielding a dissipative backflow around the droplet. An energy of the hydrodynamic mass flow of the liquid and a friction force exerted on the droplet by the quasiparticles have been obtained in terms of a potential of their interaction with the droplet.Comment: 5 pages (REVTeX), to be published in Phys. Rev.

Estimation of Buttiker-Landauer traversal time based on the visibility of transmission current

We present a proposal for the estimation of B\"uttiker-Landauer traversal time based on the visibility of transmission current. We analyze the tunneling phenomena with a time-dependent potential and obtain the time-dependent transmission current. We found that the visibility is directly connected to the traversal time. Furthermore, this result is valid not only for rectangular potential barrier but also for general form of potential to which the WKB approximation is applicable . We compared these results with the numerical values obtained from the simulation of Nelson's quantum mechanics. Both of them fit together and it shows our method is very effective to measure experimentally the traversal time.Comment: 12 pages, REVTeX, including 7 eps figure

Wigner Function Description of the A.C.-Transport Through a Two-Dimensional Quantum Point Contact

We have calculated the admittance of a two-dimensional quantum point contact (QPC) using a novel variant of the Wigner distribution function (WDF) formalism. In the semiclassical approximation, a Boltzman-like equation is derived for the partial WDF describing both propagating and nonpropagating electron modes in an effective potential generated by the adiabatic QPC. We show that this quantum kinetic approach leads to the well-known stepwise behavior of the real part of the admittance (the conductance), and of the imaginary part of the admittance (the emittance), in agreement with the latest results, which is determined by the number of propagating electron modes. It is shown, that the emittance is sensitive to the geometry of the QPC, and can be controlled by the gate voltage. We established that the emittance has contributions corresponding to both quantum inductance and quantum capacitance. Stepwise oscillations in the quantum inductance are determined by the harmonic mean of the velocities for the propagating modes, whereas the quantum capacitance is a significant mesoscopic manifestation of the non-propagating (reflecting) modes.Comment: 23 pages (latex), 3 figure

Excess Noise in Biased Superconducting Weak Links

Non-equilibrium excess noise of a short quasi one-dimensional constriction between two superconductors is considered. A general expression for the current-current correlation function valid for arbitrary temperatures and bias voltages is derived. This formalism is applied to a current-carrying quantum channel with perfect transparency. Contrary to a transparent channel separating two normal conductors, a weak link between two superconductors exhibits a finite level of noise. The source of noise is fractional Andreev scattering of quasiparticles with energies $|E|$ greater than the half-width $\Delta$ of the superconducting gap. For high bias voltages, $V \gg \Delta /e$, the relation between the zero-frequency limit of the noise spectrum, $S(0)$, and the excess current $I_{\text{exc}}$ reads $S(0)=(1/5)|e|I_{\text{exc}}$. As $\Delta \rightarrow 0$ both the excess noise and the excess current vanish linearly in $\Delta$, %$\propto \Delta$, their ratio being constant.Comment: 8 pages (Latex), 1 figur

Dissipation: The phase-space perspective

We show, through a refinement of the work theorem, that the average dissipation, upon perturbing a Hamiltonian system arbitrarily far out of equilibrium in a transition between two canonical equilibrium states, is exactly given by $= -\Delta F =kT D(\rho\|\widetilde{\rho})= kT$, where $\rho$ and $\widetilde{\rho}$ are the phase space density of the system measured at the same intermediate but otherwise arbitrary point in time, for the forward and backward process. $D(\rho\|\widetilde{\rho})$ is the relative entropy of $\rho$ versus $\widetilde{\rho}$. This result also implies general inequalities, which are significantly more accurate than the second law and include, as a special case, the celebrated Landauer principle on the dissipation involved in irreversible computations.Comment: 4 pages, 3 figures (4 figure files), accepted for PR

Landauer Theory, Inelastic Scattering and Electron Transport in Molecular Wires

In this paper we address the topic of inelastic electron scattering in mesoscopic quantum transport. For systems where only elastic scattering is present, Landauer theory provides an adequate description of transport that relates the electronic current to single-particle transmission and reflection probabilities. A formalism proposed recently by Bonca and Trugman facilitates the calculation of the one-electron transmission and reflection probabilities for inelastic processes in mesoscopic conductors connected to one-dimensional ideal leads. Building on their work, we have developed a self-consistent procedure for the evaluation of the non-equilibrium electron distributions in ideal leads connecting such mesoscopic conductors to electron reservoirs at finite temperatures and voltages. We evaluate the net electronic current flowing through the mesoscopic device by utilizing these non-equilibrium distributions. Our approach is a generalization of Landauer theory that takes account of the Pauli exclusion principle for the various competing elastic and inelastic processes while satisfying the requirement of particle conservation. As an application we examine the influence of elastic and inelastic scattering on conduction through a two site molecular wire with longitudinal phonons using the Su-Schrieffer-Heeger model of electron-phonon coupling.Comment: 25 pages, 8 figure

Reversible Computations in Logic Programming

[EN] In this work, we say that a computation is reversible if one can find a procedure to undo the steps of a standard (or forward) computation in a deterministic way. While logic programs are often invertible (e.g., one can use the same predicate for adding and for subtracting natural numbers), computations are not reversible in the above sense. In this paper, we present a so-called Landauer embedding for SLD resolution, the operational principle of logic programs, so that it becomes reversible. A proof-of-concept implementation of a reversible debugger for Prolog that follows the ideas in this paper has been developed and is publicly available.This work is partially supported by the EU (FEDER) and the Spanish MCI/AEI under grants TIN2016-76843-C4-1-R/PID2019-104735RB-C41, by the Generalitat Valenciana under grant Prometeo/2019/098 (DeepTrust), and by the COST Action IC1405 on Reversible Computation - extending horizons of computing.Vidal, G. (2020). Reversible Computations in Logic Programming. Springer. 246-254. https://doi.org/10.1007/978-3-030-52482-1_15S246254Apt, K.: From Logic Programming to Prolog. Prentice Hall, Upper Saddle River (1997)Ducassé, M.: Opium: an extendable trace analyzer for prolog. J. Log. Program. 39(1–3), 177–223 (1999). https://doi.org/10.1016/S0743-1066(98)10036-5Landauer, R.: Irreversibility and heat generation in the computing process. IBM J. Res. Dev. 5, 183–191 (1961)Lanese, I., Palacios, A., Vidal, G.: Causal-consistent replay debugging for message passing programs. In: Pérez, J.A., Yoshida, N. (eds.) FORTE 2019. LNCS, vol. 11535, pp. 167–184. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-21759-4_10Lloyd, J.: Foundations of Logic Programming, 2nd edn. Springer, Berlin (1987). https://doi.org/10.1007/978-3-642-83189-8O’Callahan, R., Jones, C., Froyd, N., Huey, K., Noll, A., Partush, N.: Engineering record and replay for deployability: Extended technical report (2017). CoRR abs/1705.05937, http://arxiv.org/abs/1705.05937Ströder, T., Emmes, F., Schneider-Kamp, P., Giesl, J., Fuhs, C.: A linear operational semantics for termination and complexity analysis of ISO prolog. In: Vidal, G. (ed.) LOPSTR 2011. LNCS, vol. 7225, pp. 237–252. Springer, Heidelberg (2012). https://doi.org/10.1007/978-3-642-32211-2_16Undo Software: Increasing software development productivity with reversible debugging (2014). https://undo.io/media/uploads/files/Undo_ReversibleDebugging_Whitepaper.pd

Quantum Ballistic Evolution in Quantum Mechanics: Application to Quantum Computers

Quantum computers are important examples of processes whose evolution can be described in terms of iterations of single step operators or their adjoints. Based on this, Hamiltonian evolution of processes with associated step operators $T$ is investigated here. The main limitation of this paper is to processes which evolve quantum ballistically, i.e. motion restricted to a collection of nonintersecting or distinct paths on an arbitrary basis. The main goal of this paper is proof of a theorem which gives necessary and sufficient conditions that T must satisfy so that there exists a Hamiltonian description of quantum ballistic evolution for the process, namely, that T is a partial isometry and is orthogonality preserving and stable on some basis. Simple examples of quantum ballistic evolution for quantum Turing machines with one and with more than one type of elementary step are discussed. It is seen that for nondeterministic machines the basis set can be quite complex with much entanglement present. It is also proved that, given a step operator T for an arbitrary deterministic quantum Turing machine, it is decidable if T is stable and orthogonality preserving, and if quantum ballistic evolution is possible. The proof fails if T is a step operator for a nondeterministic machine. It is an open question if such a decision procedure exists for nondeterministic machines. This problem does not occur in classical mechanics.Comment: 37 pages Latexwith 2 postscript figures tar+gzip+uuencoded, to be published in Phys. Rev.