English
Related papers

Related papers: Correspondence principle for idempotent calculus a…

200 papers

The correspondence principle in physics between quantum mechanics and classical mechanics suggests deep relations between spectral and geometric entities of Riemannian manifolds. We survey---in a way intended to be accessible to a wide…

Dynamical Systems · Mathematics 2020-11-20 A. Pohl , D. Zagier

We consider subsemimodules and convex subsets of semimodules over semirings with an idempotent addition. We introduce a nonlinear projection on subsemimodules: the projection of a point is the maximal approximation from below of the point…

Functional Analysis · Mathematics 2007-05-23 Guy Cohen , Stephane Gaubert , Jean-Pierre Quadrat

The notion of a coherent space is a nonlinear version of the notion of a complex Euclidean space: The vector space axioms are dropped while the notion of inner product is kept. Coherent spaces provide a setting for the study of geometry in…

Mathematical Physics · Physics 2018-10-01 Arnold Neumaier

We investigate the advantage of coherent superposition of two different coded channels in quantum metrology. In a continuous variable system, we show that the Heisenberg limit $1/N$ can be beaten by the coherent superposition without the…

Quantum Physics · Physics 2021-12-15 Dong Xie , Chunling Xu , An Min Wang

Several examples and models based on noncommutative differential calculi on commutative algebras indicate that a metric should be regarded as an element of the left-linear tensor product of the space of 1-forms with itself. We show how the…

General Relativity and Quantum Cosmology · Physics 2011-04-15 Aristophanes Dimakis , Folkert Muller-Hoissen

Reversibility is a key issue in the interface between computation and physics, and of growing importance as miniaturization progresses towards its physical limits. Most foundational work on reversible computing to date has focussed on…

Logic in Computer Science · Computer Science 2011-12-01 Samson Abramsky

This paper studies the geometric and algebraic aspects of the moduli spaces of quivers of fence type. We first provide two quotient presentations of the quiver varieties and interpret their equivalence as a generalized Gelfand-MacPherson…

Algebraic Geometry · Mathematics 2013-01-15 Yi Hu , Sangjib Kim

We show that the holographic Complexity = Volume proposal satisfies a very general notion of Momentum/Complexity correspondence (PC), based on the Momentum Constraint of General Relativity. It relates the rate of complexity variation with…

High Energy Physics - Theory · Physics 2020-12-07 J. L. F. Barbon , J. Martin-Garcia , M. Sasieta

From previous work arXiv:2010.09811, the semiclassical backreaction equation in 1+1 dimensions was solved and a criterion was implemented to assess the validity of the semiclassical approximation in this case. The criterion involves the…

High Energy Physics - Phenomenology · Physics 2021-11-23 Ian M. Newsome

We provide simple equational principles for deriving rely-guarantee-style inference rules and refinement laws based on idempotent semirings. We link the algebraic layer with concrete models of programs based on languages and execution…

Logic in Computer Science · Computer Science 2013-12-05 Alasdair Armstrong , Victor B. F. Gomes , Georg Struth

A quantum algorithm succeeds not because the superposition principle allows 'the computation of all values of a function at once' via 'quantum parallelism,' but rather because the structure of a quantum state space allows new sorts of…

Quantum Physics · Physics 2010-05-17 Jeffrey Bub

In the 1940s Littlewood formulated three fundamental correspondences for the immanants and Schur symmetric functions on the general linear group, which establish deep connections between representation theory of the symmetric group and the…

Representation Theory · Mathematics 2025-05-02 Naihuan Jing , Yinlong Liu , Jian Zhang

Many theorems of mathematics have the form that for a certain problem, e.g. a differential equation or polynomial (in)equality, there exists a solution. The sequential version then states that for a sequence of problems, there is a sequence…

Logic · Mathematics 2024-03-21 Dag Normann , Sam Sanders

In this paper, we consider the problem of finding dense intrinsic correspondence between manifolds using the recently introduced functional framework. We pose the functional correspondence problem as matrix completion with manifold…

Computer Vision and Pattern Recognition · Computer Science 2025-10-30 Artiom Kovnatsky , Michael M. Bronstein , Xavier Bresson , Pierre Vandergheynst

Semiclassical methods are essential in analyzing quantum mechanical systems. Although they generally produce approximate results, relatively rare potentials exist for which these methods are exact. Such intriguing potentials serve as…

Quantum Physics · Physics 2024-08-30 Asim Gangopadhyaya , Jonathan Bougie , Constantin Rasinariu

The formalization of process algebras usually starts with a minimal core of operators and rules for its transition system, and then relax the system to improve its usability and ease the proofs. In the calculus of communicating systems…

Formal Languages and Automata Theory · Computer Science 2020-05-15 Clément Aubert , Ioana Cristescu

This paper establishes an aspect of Bohr's correspondence principle, i.e. that quantum mechanics converges in the high frequency limit to classical mechanics, for commuting semiclassical unitary operators. We prove, under minimal…

Spectral Theory · Mathematics 2018-04-10 Yohann Le Floch , Alvaro Pelayo

The principle of microscopic reversibility is a fundamental element in the formulation of fluctuation relations and the Onsager reciprocal relations. As such, a clear description of whether and how this principle is adapted to the quantum…

Quantum Physics · Physics 2023-10-25 K. Khan , W. F. Magalhaes , Jailson S. Araujo , B. de Lima Bernardo , Gabriel H. Aguilar

Semiclassical methods provide important tools for approximating solutions in quantum mechanics. In several cases these methods are intriguingly exact rather than approximate, as has been shown by direct calculations on particular systems.…

Quantum Physics · Physics 2021-08-11 Asim Gangopadhyaya , Jonathan Bougie , Constantin Rasinariu

Ambiguity in the contact between laboratory instruments and equations of quantum mechanics is formulated in terms of responses of the instruments to commands transmitted to them by a Classical digital Process-control Computer (CPC); in this…

Quantum Physics · Physics 2015-06-26 John M. Myers , F. Hadi Madjid