Correspondence principle for idempotent calculus and some computer applications

Abstract

This paper is devoted to heuristic aspects of the so-called idempotent calculus. There is a correspondence between important, useful and interesting constructions and results over the field of real (or complex) numbers and similar constructions and results over idempotent semirings in the spirit of N. Bohr's correspondence principle in Quantum Mechanics. Some problems nonlinear in the traditional sense (for example, the Bellman equation and its generalizations) turn out to be linear over a suitable semiring; this linearity considerably simplifies the explicit construction of solutions. The theory is well advanced and includes, in particular, new integration theory, new linear algebra, spectral theory and functional analysis. It has a wide range of applications. Besides a survey of the subject, in this paper the correspondence principle is used to develop an approach to object-oriented software and hardware design for algorithms of idempotent calculus.

24 pages, no figures

References in corpus (1)

• Unifying Approach to Software and Hardware Design for Scientific Calculations

Cited by in corpus (31)

• Enumerative tropical algebraic geometry in R2
• Hyperfields for Tropical Geometry I. Hyperfields and dequantization
• The Maslov dequantization, idempotent and tropical mathematics: A brief introduction
• Idempotent functional analysis: an algebraic approach
• Max-plus definite matrix closures and their eigenspaces
• Semiring and semimodule issues in MV-algebras
• The semiring-theoretic approach to MV-algebras: a survey
• Dynamics of the box-ball system with random initial conditions via Pitman's transformation
• Exact interval solutions to the discrete Bellman equation and polynomial complexity of problems in interval idempotent linear algebra
• Tropical linear algebra with the Lukasiewicz T-norm
• Idempotent mathematics and interval analysis
• Tropical Limit in Statistical Physics
• Two cores of a nonnegative matrix
• A unifying approach to software and hardware design for scientific calculations and idempotent mathematics
• Universal algorithms for solving the matrix Bellman equations over semirings
• Dequantization of Mathematics, idempotent semirings and fuzzy sets
• Characterization of tropical hemispaces by (P,R)-decompositions
• Idempotent and tropical mathematics and problems of mathematical physics (Volume II)
• Solution of linear equations and inequalities in idempotent vector spaces
• The Markov chain tree theorem and the state reduction algorithm in commutative semirings
• Unifying Approach to Software and Hardware Design for Scientific Calculations
• On the max-algebraic core of a nonnegative matrix
• Universal algorithms for generalized discrete matrix Bellman equations with symmetric Toeplitz matrix
• Geometry in the tropical limit
• The Natural Chain of Binary Arithmetic Operations and Generalized Derivatives
• (K,L)-eigenvectors in max-min algebra
• Idempotent and tropical mathematics. Complexity of algorithms and interval analysis
• Tropical mathematics, classical mechanics and geometry
• On matrices with different tropical and Kapranov ranks
• A solution of a tropical linear vector equation
• Kernel theorems and nuclearity in idempotent mathematics. An algebraic approach