Batas Prediksi dan Penutupan Koopman atas Representasi Keadaan Lunak yang Diinduksi secara Geometris

Kapan abstraksi keadaan lunak memungkinkan dinamika linear

Karya “Prediction Limits and Koopman Closure of Geometry-Induced Soft State Abstractions” terbit di arXiv dengan nomor 2609.32652. Penulisnya adalah Mohit Kumar dan Somayeh Kargaran, diajukan pada 26 September 2026. Penelitian ini menjawab pertanyaan: kapan abstraksi keadaan lunak yang diinduksi geometri memungkinkan dinamika linear berdimensi hingga yang eksak.

Representasi dalam karya ini disusun sebagai berikut:

• setiap keadaan direpresentasikan dengan koordinat bernilai di dalam simpleks;
• koordinat diperoleh dari estimasi rekonstruksi class-specific Kernel Affine Hull Machine (KAHM);
• sebuah matriks memetakan koordinat keadaan saat ini ke koordinat keadaan berikutnya.

Koordinat lunak merupakan distribusi atas kelas, bukan penetapan kelas yang tegas. Penyimpangan koordinat lunak dari label one-hot menjadi faktor tersendiri yang memengaruhi prediksi.

Kriteria praktis: penutupan eksak merupakan sifat pasangan “representasi dan peta dinamika”, bukan hanya representasi. Hal ini perlu diuji pada dinamika tertentu, bukan pada abstraksi secara keseluruhan.

Batas bawah kesalahan prediksi

Hasil utamanya adalah batas bawah kepercayaan yang dapat dihitung untuk galat kuadrat rata-rata prediksi minimum. Batas ini berlaku di antara semua matriks yang memenuhi batasan norma spektral yang ditentukan.

Batas tersebut memperhitungkan dua sumber kesalahan:

• variasi dalam kelas pada koordinat keadaan penerus;
• penyimpangan koordinat lunak dari label one-hot yang sesuai.

Perhitungannya bertumpu pada pasangan independen “keadaan—penerus”. Matriks prediksi tidak perlu dicari. Batas tersebut dapat diperoleh sebelum melatih prediktor dan digunakan sebagai acuan akurasi yang dapat dicapai.

Kriteria praktis: bandingkan kesalahan yang ditargetkan dengan batas tersebut sebelum memilih model. Jika target berada di bawah batas, tidak ada matriks dengan batasan norma spektral yang ditentukan yang dapat mencapainya.

Sertifikat: konvergensi dan toleransi yang tidak dapat dicapai

Dengan koordinat dan distribusi estimasi yang tetap, sertifikat tersebut hampir pasti akan konvergen ke batas bawah populasi seiring bertambahnya ukuran sampel. Pada akhirnya, setiap toleransi di bawah batas ini akan disertifikasi sebagai tidak dapat dicapai.

Margin estimasi rekonstruksi juga membatasi kesalahan transisi dari penetapan lunak ke penetapan tegas. Artinya, rekonstruksi yang lemah menghambat bukan hanya koordinat, tetapi juga pemetaan selanjutnya ke kelas diskret.

Kriteria praktis: jika toleransi yang ditargetkan berada di bawah batas, memperbesar ukuran sampel tidak akan membantu. Yang perlu diubah adalah representasi atau batasan norma spektral.

Penutupan Koopman dan fungsi eigen

Dalam dinamika deterministik dengan penutupan koordinat yang eksak, vektor eigen matriks penutupan menentukan fungsi eigen operator Koopman. Vektor eigen dari matriks transpos tereduksinya menentukan fungsi eigen operator Koopman adjoint.

Gambaran spektral hanya muncul ketika penutupan eksak. Dalam hal ini, matriks penutupan memberikan akses langsung ke karakteristik spektral dinamika.

Kriteria praktis: kesimpulan spektral dari matriks penutupan hanya boleh digunakan setelah keakuratan penutupan diuji pada dinamika tertentu. Jika tidak, spektrum tersebut menggambarkan model yang dicocokkan, bukan sistem itu sendiri.

Koordinat yang sama — peta dinamika yang berbeda

Konstruksi KAHM dengan empat keadaan menunjukkan bahwa koordinat lunak yang sama dapat menghasilkan penutupan eksak untuk satu peta dinamika. Untuk peta yang lain, koordinat yang sama mengharuskan adanya kesalahan prediksi positif.

Dari sini, ada tiga kesimpulan:

• penutupan berlaku untuk pasangan “koordinat dan peta dinamika”;
• hasil dari satu dinamika tidak dapat dialihkan ke dinamika lain;
• pengujian perlu dilakukan secara terpisah untuk setiap tugas.

Kriteria praktis: evaluasi abstraksi secara terpisah untuk setiap peta dinamika. Kesamaan koordinat saja tidak membuktikan adanya penutupan eksak.

Apa yang ditunjukkan tolok ukur dan apa yang tidak dihitung

Eksperimen mencakup Duffing, Van der Pol, CartPole, MountainCar, dan Acrobot. Prediksi langsung koordinat lunak dibandingkan dengan metode dasar state-space DMD/EDMD. Metrik prediksi, variasi representasi, dan diagnostik spektral dilaporkan.

Tolok ukur mengevaluasi model yang telah dicocokkan. Sertifikat ketidakmungkinan tidak dihitung secara numerik di dalamnya, sehingga bagian eksperimen tidak menggantikan batas ketercapaian.

Kriteria praktis: tolok ukur menunjukkan perilaku model tertentu yang telah dicocokkan, sedangkan sertifikat menetapkan batas untuk seluruh kelas matriks. Untuk menentukan kelayakan penerapan, kedua alat ini perlu digunakan secara terpisah.