Pendahuluan: Perombakan Berani Aritmetika Elementer

Operasi ini membentuk fondasi medan matematika yang melahirkan geometri aljabar klasik dengan kurva-kurva halus dan berliku.

Namun, bagaimana jika kita secara radikal mengubah aturan dasar tersebut?

• Penjumlahan Tropis ($\oplus$): Didefinisikan sebagai memilih nilai terkecil (minimum) antara dua bilangan: $$x \oplus y = \min(x, y)$$
• Perkalian Tropis ($\odot$): Didefinisikan sebagai penjumlahan biasa: $$x \odot y = x + y$$

Operasi ini bersifat idempoten ($3 \oplus 3 = 3$), dan pengurangan tidak lagi ada karena tidak ada bilangan riil $x$ yang memenuhi $3 \oplus x = 5$.

Struktur aljabar ini dinamakan semiring tropis (Tropical Semiring) atau aljabar min-plus. Kata “tropis” disematkan oleh matematikawan Prancis sebagai penghormatan kepada matematikawan Brasil, Imre Simon (1943–2009), yang merintis aljabar ini dalam ilmu komputer teoretis dan berasal dari wilayah tropis Brasil.

Keajaiban geometri terjadi ketika persamaan polinomial dibangun di atas semiring ini: kurva dan permukaan aljabar kompleks yang melengkung dan rumit terdegenerasi menjadi grafik garis patah-patah, bidang polihedral, dan kerangka linear sepotong-sepotong (piecewise-linear) yang sangat teratur! Pada dekade 2000-an, matematikawan Rusia Grigory Mikhalkin mengguncang dunia matematika dengan memecahkan teka-teki geometri enumeratif ratusan tahun menggunakan teka-teki graf tropis sederhana.

  flowchart TD
    subgraph Classical ["Dunia Klasik (Geometri Kompleks)"]
        C["Kurva halus f(z, w) = 0<br/>Kelengkungan dan topologi rumit"]
    end
    subgraph Limit ["Batas Logaritmik (Amuba & Dekuantisasi Maslov)"]
        L["Basis t → ∞ / Konstanta Planck ħ → 0<br/>Proyeksi Log_t dan reduksi kerangka"]
    end
    subgraph Tropical ["Dunia Tropis"]
        T["Graf garis patah-patah & Polihedra<br/>Semiring min-plus: x ⊕ y = min(x, y)<br/>Kombinatorika murni"]
    end
    Classical --> Limit --> Tropical
    Tropical -.->|Teorema Mikhalkin| Classical

1. Aksioma Semiring Tropis

Bilangan riil tropis didefinisikan sebagai $\mathbb{T} = \mathbb{R} \cup \{+\infty\}$. Aksioma operasinya:

1. Asosiatif dan Komutatif untuk $\oplus$ dan $\odot$;
2. Distributif: $x + \min(y, z) = \min(x + y, x + z)$;
3. Elemen Identitas: Nol tropis adalah $+\infty$, dan satu tropis adalah $0$;
4. Idempotensi: $x \oplus x = x$;
5. Linearisasi Pangkat: $x^{\odot n} = n \cdot x$.

2. Polinomial Tropis dan Hipersirkuit

Definisi Hipersirkuit Tropis $V(F)$

Karena tidak ada operasi pengurangan, hipersirkuit tropis $V(F)$ didefinisikan sebagai himpunan titik di mana nilai minimum dicapai oleh setidaknya dua monomial berbeda (garis lipatan di mana fungsi tidak dapat diturunkan)!

3. Garis Tropis dan Syarat Keseimbangan

Garis tropis 2D $F(x, y) = \min(x, y, 0)$ berbentuk tripod dengan tiga sinar dari titik asal ke arah $(0, 1)$, $(1, 0)$, dan $(-1, -1)$. Jumlah vektor-vektor arah ini adalah $(0, 0)$, memenuhi syarat keseimbangan (Balancing Condition).

4. Amuba dan Dekuantisasi Maslov

Proyeksi kurva aljabar kompleks melalui peta logaritma $\operatorname{Log}(z, w) = (\log |z|, \log |w|)$ membentuk daerah datar bertentakel yang disebut amuba. Pada limit $t \to \infty$ (dekuantisasi Maslov, setara limit semiklasik $\hbar \to 0$), amuba menyusut tepat menjadi kerangka linear sepotong-sepotong: kurva tropis.

5. Teorema Korespondensi Mikhalkin

berubah menjadi sekadar menjumlahkan perkalian graf tropis $\Gamma$ pada kisi bidang berbobot bilangan bulat.

6. Aplikasi Nyata

• Rute Terpendek: Algoritma Floyd-Warshall identik dengan pemangkatan matriks tropis $\mathbf{D}^{\odot n}$;
• Pohon Filogenetika: Ruang semua pohon evolusi biologis adalah varietas grassmannian tropis $\operatorname{Trop} \operatorname{Gr}(2, N)$;
• Teori Lelang: Batas preferensi barang konsumen membentuk hipersirkuit tropis di ruang harga.

Kesimpulan

Dengan menukar penjumlahan menjadi minimum dan perkalian menjadi penjumlahan, geometri tropis menyingkap kerangka kombinatorika murni yang menyatukan aljabar, fisika teori, dan optimasi modern.