中文
相关论文

相关论文: Correspondence principle for idempotent calculus a…

200 篇论文

In the present paper, we study the correspondence and canonicity theory of modal subordination algebras and their dual Stone space with two relations, generalizing correspondence results for subordination algebras in…

逻辑 · 数学 2022-06-14 Zhiguang Zhao

In this paper, we theoretically and experimentally analyze sequential processors with limited communication between parts. We compare the expressivity of sequential quantum and classical processors under the same constraints. They consist…

In this survey, we present in a unified way the categorical and syntactical settings of coherent differentiation introduced recently, which shows that the basic ideas of differential linear logic and of the differential lambda-calculus are…

计算机科学中的逻辑 · 计算机科学 2024-01-29 Thomas Ehrhard

In this note we construct a solution of a matrix interval linear equation of the form X=AX+B (the discrete stationary Bellman equation) over partially ordered semirings, including the semiring of nonnegative real numbers and all idempotent…

环与代数 · 数学 2007-05-23 Grigori Litvinov , Andrei Sobolevskii

In this letter I stress the role of causal reversibility (time-symmetry), together with causality and locality, in the justification of the quantum formalism. Firstly, in the algebraic quantum formalism, I show that the assumption of…

量子物理 · 物理学 2011-10-27 Francois David

Motivated by the existence of bi-Hamiltonian classical systems and the correspondence principle, in this paper we analyze the problem of finding Hermitian scalar products which turn a given flow on a Hilbert space into a unitary one. We…

量子物理 · 物理学 2016-09-08 G. Marmo , A. Simoni , F. Ventriglia

Recent improvements in control of quantum systems make it seem feasible to finally build a quantum computer within a decade. While it has been shown that such a quantum computer can in principle solve certain small electronic structure…

量子物理 · 物理学 2016-09-27 Bela Bauer , Dave Wecker , Andrew J. Millis , Matthew B. Hastings , M. Troyer

The formalism of quantum theory in Hilbert space has been applied with success to the modeling and explanation of several cognitive phenomena, whereas traditional cognitive approaches were problematical. However, this 'quantum cognition…

人工智能 · 计算机科学 2019-02-12 Diederik Aerts , Lyneth Beltran , Massimiliano Sassoli de Bianchi , Sandro Sozzo , Tomas Veloz

We elaborate on the existing notion that quantum mechanics is an emergent phenomenon, by presenting a thermodynamical theory that is dual to quantum mechanics. This dual theory is that of classical irreversible thermodynamics. The linear…

量子物理 · 物理学 2013-11-21 P. Fernandez de Cordoba , J. M. Isidro , Milton H. Perea , J. Vazquez Molina

This paper proposes a mechanism for learning pattern correspondences between two languages from a corpus of translated sentence pairs. The proposed mechanism uses analogical reasoning between two translations. Given a pair of translations,…

cmp-lg · 计算机科学 2008-02-03 Ilyas Cicekli , H. Altay Guvenir

Correspondences emerge from large-scale vision models trained for generative and discriminative tasks. This has been revealed and benchmarked by computing correspondence maps between pairs of images, using nearest neighbors on the feature…

计算机视觉与模式识别 · 计算机科学 2024-03-19 Xinle Cheng , Congyue Deng , Adam Harley , Yixin Zhu , Leonidas Guibas

We provide a dynamical proof of the van der Corput inequality for sequences in Hilbert spaces that is based on the Furstenberg correspondence principle. This is done by reducing the inequality to the mean ergodic theorem for contractions on…

动力系统 · 数学 2022-08-04 Nikolai Edeko , Henrik Kreidler , Rainer Nagel

Isotropic oscillator and Coulomb problems are known to have interesting correspondence. We focus on 2D quantum problems and present complete treatment on the correspondence including the Schroedinger equation, eigenfunctions and…

综合物理 · 物理学 2019-06-04 S. C. Tiwari

The quantum-to-classical correspondence (QCC) in spin models is a puzzling phenomenon where the static susceptibility of a quantum system agrees with its classical-system counterpart, at a different corresponding temperature, within the…

强关联电子 · 物理学 2020-01-22 Tao Wang , Xiansheng Cai , Kun Chen , Nikolay V. Prokof'ev , Boris V. Svistunov

We describe the use of quantum process calculus to describe and analyze quantum communication protocols, following the successful field of formal methods from classical computer science. The key idea is to define two systems, one modelling…

计算机科学中的逻辑 · 计算机科学 2012-10-03 Timothy A. S. Davidson , Simon J. Gay , Rajagopal Nagarajan , Ittoop Vergheese Puthoor

The correspondence between right triangles with rational sides, triplets of rational squares in arithmetic succession and integral solutions of certain quadratic forms is well known. We show how this correspondence can be extended to the…

数论 · 数学 2014-08-25 Erich Selder , Karlheinz Spindler

Hierarchies of evolution equations of pseudo-spherical type are introduced, generalizing the notion of a single equation describing pseudo-spherical surfaces due to S.S. Chern and K. Tenenblat, and providing a connection between…

可精确求解与可积系统 · 物理学 2007-05-23 Enrique G. Reyes

The topic of this paper is the subtle interplay between countability and representations. In particular, we establish that the definition of countability of a certain set $X$ crucially hinges on the associated equivalence relation $=_{X}$.…

逻辑 · 数学 2026-02-09 Sam Sanders

Generalized coherent states for shape invariant potentials are constructed using an algebraic approach based on supersymmetric quantum mechanics. We show this generalized formalism is able to: a) supply the essential requirements necessary…

量子物理 · 物理学 2008-11-26 A. N. F. Aleixo , A. B. Balantekin

Shape correspondence is a fundamental problem in computer graphics and vision, with applications in various problems including animation, texture mapping, robotic vision, medical imaging, archaeology and many more. In settings where the…

计算机视觉与模式识别 · 计算机科学 2020-11-30 Or Litany , Emanuele Rodolà , Alex Bronstein , Michael Bronstein , Daniel Cremers