Tropical semiring

In idempotent analysis, the tropical semiring is a semiring of extended real numbers with the operations of minimum (or maximum) and addition replacing the usual ("classical") operations of addition and multiplication, respectively.

The tropical semiring has various applications (see tropical analysis), and forms the basis of tropical geometry. The name tropical is a reference to the Hungarian-born computer scientist Imre Simon, so named because he lived and worked in Brazil.^[1]

Definition

The min tropical semiring (or min-plus semiring or min-plus algebra) is the semiring ( $\mathbb {R} \cup \{+\infty \}$ , $\oplus$ , $\otimes$ ), with the operations:

x\oplus y=\min\{x,y\},

x\otimes y=x+y.

The operations $\oplus$ and $\otimes$ are referred to as tropical addition and tropical multiplication respectively. The identity element for $\oplus$ is $+\infty$ , and the identity element for $\otimes$ is 0.

Similarly, the max tropical semiring (or max-plus semiring or max-plus algebra or Arctic semiring) is the semiring ( $\mathbb {R} \cup \{-\infty \}$ , $\oplus$ , $\otimes$ ), with operations:

x\oplus y=\max\{x,y\},

x\otimes y=x+y.

The identity element unit for $\oplus$ is $-\infty$ , and the identity element unit for $\otimes$ is 0.

The two semirings are isomorphic under negation $x\mapsto -x$ , and generally one of these is chosen and referred to simply as the tropical semiring. Conventions differ between authors and subfields: some use the min convention, some use the max convention.

The two tropical semirings are the limit ("tropicalization", "dequantization") of the log semiring as the base goes to infinity ⁠ $b\to \infty$ ⁠ (max-plus semiring) or to zero ⁠ $b\to 0$ ⁠ (min-plus semiring).

Tropical addition is idempotent, thus a tropical semiring is an example of an idempotent semiring.

A tropical semiring is also referred to as a tropical algebra,^[2] though this should not be confused with an associative algebra over a tropical semiring.

Tropical exponentiation is defined in the usual way as iterated tropical products.

Valued fields

The tropical semiring operations model how valuations behave under addition and multiplication in a valued field. A real-valued field $K$ is a field equipped with a function

v:K\to \mathbb {R} \cup \{\infty \}

which satisfies the following properties for all $a$ , $b$ in $K$ :

v(a)=\infty

if and only if

a=0,

v(ab)=v(a)+v(b)=v(a)\otimes v(b),

v(a+b)\geq \min\{v(a),v(b)\}=v(a)\oplus v(b),

with equality if

v(a)\neq v(b).

Therefore the valuation v is almost a semiring homomorphism from K to the tropical semiring, except that the homomorphism property can fail when two elements with the same valuation are added together.

Some common valued fields:

$\mathbb {Q}$ or $\mathbb {C}$ with the trivial valuation, $v(a)=0$ for all $a\neq 0$ ,
$\mathbb {Q}$ or its extensions with the p-adic valuation, $v(p^{n}a/b)=n$ for $a$ and $b$ coprime to $p$ ,
the field of formal Laurent series $K((t))$ (integer powers), or the field of Puiseux series $K\{\{t\}\}$ , or the field of Hahn series, with valuation returning the smallest exponent of $t$ appearing in the series.

References

^ Pin, Jean-Éric (1998). "Tropical semirings" (PDF). In Gunawardena, J. (ed.). Idempotency. Publications of the Newton Institute. Vol. 11. Cambridge University Press. pp. 50–69. doi:10.1017/CBO9780511662508.004. ISBN 9780511662508.
^ Litvinov, Grigoriĭ Lazarevich; Sergeev, Sergej Nikolaevič (2009). Tropical and Idempotent Mathematics: International Workshop Tropical-07, Tropical and Idempotent Mathematics (PDF). American Mathematical Society. p. 8. ISBN 9780821847824. Retrieved 15 September 2014.

Litvinov, G. L. (2005). "The Maslov dequantization, idempotent and tropical mathematics: A brief introduction". arXiv:math/0507014v1.

[Pin1998-1] Pin, Jean-Éric (1998). "Tropical semirings" (PDF). In Gunawardena, J. (ed.). Idempotency. Publications of the Newton Institute. Vol. 11. Cambridge University Press. pp. 50–69. doi:10.1017/CBO9780511662508.004. ISBN 9780511662508.

[Litvinov2009-2] Litvinov, Grigoriĭ Lazarevich; Sergeev, Sergej Nikolaevič (2009). Tropical and Idempotent Mathematics: International Workshop Tropical-07, Tropical and Idempotent Mathematics (PDF). American Mathematical Society. p. 8. ISBN 9780821847824. Retrieved 15 September 2014.

[1]

[2]

Agama	Bahasa	Biografi	Budaya	Ekonomi	Elektronika
Film	Filsafat	Geografi	Indonesia	Ilmu	Lingkungan
Masyarakat	Matematika	Militer	Mitologi	Musik	Olahraga
Pendidikan	Politik	Sastra	Sejarah	Seni	Teknologi

Tropical semiring

Definition

Valued fields

References

Read other articles:

Koga Yudai

Bongabon, Nueva Ecija

Platybelodon

الجمعية الرياضية النسائية بقفصة

Ikuo Oyama

العلاقات الصينية المكسيكية

Кена (город)

Rick Levin

Big Ben Bolt

Deckenpfronn

Newfoundland dan Labrador

Чайки

SMA Negeri 5 Jambi

Coupe des clubs champions africains 1978

مدرسة غلستان

Stratford, New Jersey

Björkborn Bridge

Child poverty

Canada goose

2020 Montana Secretary of State election

Portal di Ensiklopedia Dunia