—·
Audit mendalam atas keunggulan kuantum terverifikasi: kriteria bukti, validitas baseline klasik, mekanisme verifikasi, dan langkah strategis bagi tim R&D dalam ekosistem riset global.
Bayangkan sebuah eksperimen kuantum yang tampak unggul dalam grafik hasil—namun keunggulan tersebut hanya valid jika Anda menerima "catatan kaki" mengenai baseline yang digunakan, definisi masalah yang sempit, cara penghitungan waktu komputasi, hingga metode verifikasi yang dilakukan. Catatan kaki ini bukanlah sekadar urusan akademis. Dalam program penelitian, standar bukti yang dipilih secara diam-diam menentukan eksperimen mana yang layak mendapatkan pendanaan dan mana yang harus dipinggirkan.
Di sinilah konsep keunggulan kuantum terverifikasi (verifiable quantum advantage) menjadi krusial. Argumen utama di balik konsep ini adalah bahwa performa kuantum harus dapat didemonstrasikan sedemikian rupa sehingga pengamat luar bisa memeriksa kebenarannya menggunakan verifikasi kuantum-ke-kuantum. Pendekatan ini jauh lebih kredibel daripada sekadar memercayai simulator klasik yang bersifat "kotak hitam" atau argumen statistik yang kabur. Kerangka kerja ini memicu pertanyaan penelitian yang sering dihindari dalam perbandingan tolok ukur (benchmarking): dapatkah kita memverifikasi output dengan cara yang dapat direproduksi dan lebih sulit dimanipulasi daripada sekadar tajuk berita utama mengenai "durasi komputasi"? (Source)
Namun, verifikasi hanyalah separuh dari cerita. Superioritas klasik juga merupakan ajang adu ketangkasan rekayasa terkait baseline atau tolok ukur pembanding. Sebuah perangkat dapat terlihat "unggul" jika perbandingan klasiknya terlalu lemah, terlalu lambat (atau salah hitung), atau justru menyelesaikan definisi masalah yang berbeda. Ketika baseline klasik hanya dianggap sebagai pelengkap, "keunggulan" tersebut menjadi sekadar artefak pengukuran, bukan atribut murni dari eksperimen tersebut.
Oleh karena itu, target sebenarnya bukanlah pertentangan abstrak antara kuantum versus klasik. Fokus utamanya adalah bagaimana bukti itu dihasilkan: mencakup baseline, metrik waktu, mekanisme verifikasi, dan reproduksibilitas dari tolok ukur itu sendiri. Inilah mekanisme di balik "kotak hitam" yang ada, dan di sinilah praktik "teater benchmarking yang tidak terverifikasi" sering kali bersembunyi.
Metode ilmiah bukan sekadar praktik laboratorium; ia adalah sebuah desain institusional. Dalam ekosistem pendanaan riset publik, kebijakan integritas hadir untuk mengelola risiko malapraktik, sekaligus membentuk standar bagaimana bukti harus didokumentasikan dan direproduksi. Bagi para peneliti, hal ini sangat penting karena klaim "keunggulan kuantum" berada di perbatasan antara data eksperimental dan interpretasi tolok ukur.
Kerangka kerja malapraktik riset NIH mendefinisikan apa yang dimaksud dengan pelanggaran ilmiah dan menetapkan ekspektasi untuk perilaku serta pelaporan yang bertanggung jawab. Hal ini mencakup persyaratan institusional untuk proses penanganan tuduhan dan investigasi yang jelas. Meski kebijakan ini tidak spesifik untuk benchmarking kuantum, dampaknya sangat terasa pada cara peneliti mendokumentasikan metode dan menyimpan bukti, terutama ketika klaim yang diajukan bersifat kontroversial atau sulit direproduksi. (Source)
NIH juga memberikan panduan terperinci mengenai integritas ilmiah, termasuk "Kebijakan Integritas Ilmiah NIH Final" yang memuat persyaratan pelaporan, tinjauan, dan perlindungan terhadap kekhawatiran integritas. Dengan kata lain, infrastruktur integritas tempat sebuah tim bernaung akan memengaruhi apakah klaim tolok ukur mereka diperlakukan sebagai hipotesis yang dapat diuji atau sekadar demonstrasi retoris. (Source)
Bagi tim yang mengejar keunggulan kuantum terverifikasi, implikasinya jelas: tolok ukur Anda hanya kredibel jika Anda memelihara, membagikan, dan mereproduksi rantai bukti yang mendasari klaim "kemenangan" tersebut.
"Keunggulan kuantum terverifikasi" bertujuan mengganti rantai bukti yang rapuh dengan sistem yang dapat diperiksa. Sebagaimana dijelaskan dalam literatur terkait, metode ini menggunakan verifikasi kuantum-ke-kuantum: komputasi atau proses kuantum kedua memeriksa properti dari output komputasi pertama. Cara ini mengurangi ketergantungan pada simulasi klasik yang sering kali mustahil dilakukan (intractable) untuk memastikan kebenaran hasil. (Source)
Secara praktis, hal ini menggeser verifikasi dari sekadar "kemiripan statistik." Banyak klaim benchmarking kuantum bersandar pada apakah distribusi output menyerupai target teoretis. Pendekatan tersebut rentan terhadap kesalahan spesifikasi uji statistik, pilihan parameter yang tidak diketahui, atau bias seleksi dalam pelaporan uji. Dengan keunggulan kuantum terverifikasi, tolok ukur dirancang agar langkah verifikasinya berakar pada struktur komputasi, sehingga lebih menyerupai pemeriksaan logika daripada pencocokan data post hoc.
Meski demikian, pemeriksaan kuantum-ke-kuantum bukanlah solusi ajaib. Metode ini bergantung pada asumsi: verifikator harus dirancang agar berkorelasi dengan konsep kebenaran yang diklaim, dan kedua sirkuit harus dijalankan dalam kondisi yang sebanding. Jika verifikator terlalu lemah, output yang salah bisa saja lolos. Jika verifikator terlalu memakan biaya, keunggulan kuantum mungkin lenyap begitu waktu verifikasi dimasukkan ke dalam perhitungan waktu penyelesaian solusi (time-to-solution).
Itulah sebabnya "superioritas klasik" harus diperlakukan sebagai metrik pipa saluran (pipeline) yang utuh, bukan pengukuran tunggal. Pertanyaan yang tepat adalah: ketika Anda menghitung langkah verifikasi dan menegakkan definisi masalah yang identik, apakah baseline klasik masih tetap tertinggal dengan cara yang sama?
Benchmarking kuantum sering kali disederhanakan menjadi satu kalimat: "simulasi klasik terlalu lambat." Hal ini mungkin benar, tetapi secara saintifik tidak lengkap. Pernyataan "terlalu lambat" sangat bergantung pada baseline, asumsi perangkat keras, dan pemetaan masalah. Dua kelompok riset dapat melaporkan performa perangkat kuantum yang sama, namun mencapai kesimpulan berbeda jika baseline klasik mereka berbeda dalam dimensi-dimensi tersebut.
Untuk melakukan investigasi yang benar, baseline memerlukan pemetaan presisi, termasuk:
Bahkan metrik "waktu penyelesaian solusi" bisa bias. Jika sebuah tolok ukur melaporkan durasi solusi untuk perangkat kuantum tetapi hanya melaporkan "runtime simulasi" untuk metode klasik tanpa menyelaraskan jumlah sampel yang dibutuhkan untuk tingkat verifikasi yang setara, maka perbandingan tersebut tidak lagi objektif (apples-to-apples).
Klaim keunggulan kuantum juga bergantung pada mitigasi kesalahan (error mitigation) dan ketahanan sistem (robustness). Namun, mitigasi kesalahan bukanlah sekadar "tombol" tunggal; ia adalah serangkaian pilihan yang dapat dipertanggungjawabkan yang mengubah (1) galat mana yang mendominasi, (2) apa yang sebenarnya diuji oleh verifikasi, dan (3) berapa banyak sampel eksperimental yang dibutuhkan sebelum verifikasi menyatakan "berhasil."
Mitigasi kesalahan biasanya mengubah tolok ukur dalam beberapa cara yang terukur:
Mitigasi kesalahan dapat menjadi bagian dari keunggulan jangka pendek, namun ia harus diperlakukan sebagai bagian dari rantai bukti, bukan sekadar catatan kaki. Jika tidak, tolok ukur hanya akan mencampuradukkan antara "tampilan output yang dipercantik" dengan "kebenaran yang lolos verifikasi."
Untuk pengambilan keputusan, interpretasikan "keunggulan" melalui pipa saluran komplit yang mencakup verifikasi dan mitigasi:
Standar "superioritas klasik" yang ketat bergantung pada spesifikasi perbandingan yang dapat direkonstruksi secara independen. Di sinilah benchmarking kuantum sering kali gagal: mereka memberikan detail sirkuit di sisi kuantum, tetapi membiarkan solver di sisi klasik tetap menjadi "kotak hitam". Hal ini mungkin bisa dimaklumi secara operasional, namun secara saintifik melemahkan fungsi tolok ukur tersebut.
Tolok ukur harus menyatakan baseline klasik secara transparan agar pihak ketiga dapat menjalankan ulang atau setidaknya mereproduksi cakupan performanya. Ini mencakup apakah solver klasik menggunakan akselerator GPU atau hanya CPU, apakah metode jaringan tensor dilibatkan, dan apakah inferensi klasik bersifat eksak atau aproksimasi.
Waktu penyelesaian solusi juga merupakan masalah spesifikasi. Agar perbandingan kredibel, tolok ukur harus mendefinisikan:
Tanpa detail tersebut, "keunggulan kuantum terverifikasi" tidak dapat benar-benar diverifikasi oleh pihak luar, meskipun sebuah makalah mengeklaim keunggulan tersebut "terverifikasi" secara prinsip.
Bahkan dengan skema verifikasi, pertanyaan "apa yang sedang diverifikasi?" harus dijawab dengan presisi. Verifikasi dapat berarti beberapa hal:
Verifikasi kuantum-ke-kuantum memperkuat rantai bukti dengan mengurangi ketergantungan pada simulator klasik. Namun, hal ini tidak otomatis menjamin bahwa verifikator memeriksa properti yang benar-benar penting. Sangat mungkin untuk memiliki verifikator yang mudah dipenuhi tetapi tidak terkait erat dengan kebenaran hasil.
Oleh karena itu, "mekanisme verifikasi" harus dievaluasi dalam dimensi konkret:
Isu-isu ini selaras dengan mekanisme integritas dan tata kelola yang dirancang untuk mengelola kualitas bukti di berbagai siklus pendanaan. Di Inggris, pernyataan tahunan UKRI mengenai integritas riset 2024 menjelaskan ekspektasi dan lanskap integritas riset yang lebih luas, termasuk tata kelola dan akuntabilitas. Hal ini mempertegas bahwa bukti harus dapat diaudit, bukan sekadar persuasif. (Source)
Rekomendasi praktisnya adalah menyusun "dossier benchmarking" yang mencakup baseline klasik yang lengkap, akuntansi waktu solusi yang eksak, dan rencana pengujian stabilitas verifikasi. Anggaplah deskripsi baseline yang tidak lengkap sebagai cacat metodologis, bukan sekadar pilihan gaya penulisan.
Peer review sering digambarkan sebagai penyaring kualitas. Dalam benchmarking kuantum, ia juga menjadi penyaring interpretasi. Penelaah harus memutuskan apakah klaim "keunggulan" didasarkan pada standar yang dapat diuji atau pada pilihan-pilihan yang sulit direkonstruksi.
Di sinilah ekspektasi institusional mengenai integritas ilmiah menjadi operasional. Kerangka kerja malapraktik riset NIH menetapkan ekspektasi bagi peneliti dalam mendokumentasikan prosedur dan menanggapi kekhawatiran yang muncul. Dalam bidang di mana keputusan benchmarking bisa memicu perdebatan sengit, kualitas dokumentasi menjadi bagian dari kredibilitas ilmiah. (Source)
Kebijakan Integritas Ilmiah NIH lebih lanjut merinci mekanisme formal dan perlindungan seputar masalah integritas. Bagi peneliti, ini berarti klaim riset yang didukung oleh hibah datang dengan sistem akuntabilitas yang menuntut penanganan bukti dan pelaporan yang ketat. (Source)
Peer review juga beririsan dengan cara penyandang dana membingkai tujuan mereka. Komunikasi publik NSF menekankan pentingnya menjaga inovasi riset tetap mutakhir, sembari tetap berada dalam prioritas tata kelola yang lebih luas. Dokumen NSF mengenai "Keeping Us Scientific Research Innovation Cutting" (2025) memberikan konteks bagaimana riset ilmiah dibingkai sebagai kapabilitas nasional, lengkap dengan ekspektasi tentang ekosistem riset yang bertanggung jawab. (Source)
Dokumen-dokumen ini memang tidak memberi tahu Anda cara menetapkan baseline klasik. Namun, mereka memberi sinyal tentang apa yang akan semakin dituntut oleh penelaah dan institusi: kemampuan audit, reproduksibilitas, serta dokumentasi metode dan bukti yang transparan.
Terjemahkan verifikasi dan pemetaan baseline menjadi rantai bukti yang mendukung keputusan peta jalan (roadmap). Rantai ini harus memiliki tiga mata rantai utama:
Jika ada satu mata rantai yang lemah, "superioritas klasik" tidak boleh dianggap sebagai sinyal penentu untuk lanjut atau berhenti. Hal ini mungkin masih berguna untuk riset, tetapi tidak boleh menjadi jaminan pendanaan.
Langkah ini sejalan dengan wacana kebijakan ilmiah global mengenai integritas. Laporan OECD tentang integritas dan keamanan dalam ekosistem riset global membahas bagaimana kegagalan integritas dapat merusak kepercayaan pada hasil riset. Interpretasi praktisnya: jangan jadikan "kepercayaan" sebagai pengganti desain bukti yang dapat diverifikasi. (Source)
Kesimpulannya bagi tim riset sangat sederhana: susun peta jalan berdasarkan metrik yang dapat diverifikasi, bukan berdasarkan narasi yang siap dipublikasikan. Jika tonggak sejarah Anda berikutnya tidak dapat diverifikasi dan tidak dapat direproduksi, itu bukanlah sebuah pencapaian peta jalan—itu hanyalah sebuah demonstrasi.
Kesalahan umum dalam peta jalan adalah menganggap toleransi kesalahan (fault tolerance) sebagai satu-satunya pintu gerbang. Itu terlalu sempit. Kemajuan kuantum jangka pendek bergantung pada metrik keunggulan yang terverifikasi dan juga pada reproduksibilitas. Tanpa hal tersebut, tolok ukur tidak dapat memandu pertukaran (trade-off) rekayasa.
Setiap tonggak sejarah harus merinci: (i) kriteria penerimaan verifikasi, (ii) mode kegagalan yang diperkirakan, dan (iii) bagian pipa saluran mana yang diizinkan untuk berubah.
Peta jalan harus membedakan antara:
Reproduksibilitas tolok ukur harus diperlakukan seperti kualitas manufaktur. Ini berarti skrip tolok ukur yang terstandarisasi, definisi sirkuit yang berversi, dan spesifikasi baseline klasik yang dipublikasikan. Jika pihak ketiga tidak dapat mereproduksi baseline klasik, mustahil untuk menafsirkan apakah peningkatan kuantum itu nyata atau semu.
Untuk memahami urgensi hal ini, perhatikan dua kasus tata kelola yang membentuk bagaimana bukti diklaim dan dipercaya dalam sistem riset:
NIH merilis "Kebijakan Integritas Ilmiah NIH Final" pada tahun 2024 yang menetapkan persyaratan proses integritas ilmiah. Hasilnya: kebijakan ini memformalkan mekanisme penanganan kekhawatiran integritas, yang mendorong laboratorium untuk mendokumentasikan rantai bukti secara lebih ketat ketika sebuah klaim dipertanyakan. (Source)
OECD menerbitkan laporan ini pada tahun 2022 untuk menangani kerentanan sistemik yang dapat merusak kepercayaan pada hasil riset. Hasilnya: laporan ini mempertegas bahwa peneliti dan institusi harus merancang bukti agar dapat diaudit dan diandalkan, alih-alih hanya mengandalkan asersi kredibilitas. (Source)
Ini bukanlah sekadar studi kasus kuantum, melainkan realitas bagi peneliti: klaim keunggulan kuantum bergantung pada institusi yang memperlakukan integritas dan auditabilitas sebagai bagian dari output riset.
Pertanyaan mengenai aplikasi mana yang harus ditargetkan selanjutnya sering kali dijawab dengan harapan muluk. Pendekatan yang lebih baik adalah melalui pemikiran berbasis batasan: keluarga masalah mana yang memungkinkan pemeriksaan terverifikasi tanpa membuat biaya verifikasi membengkak hingga menghilangkan keunggulan kuantum?
Sebuah kelas aplikasi dianggap "realistis" jika:
Peta jalan R&D tidak dibangun di ruang hampa. Penyandang dana, panel penelaah, dan kebijakan institusional menentukan apa yang dihitung sebagai bukti yang andal. Ketika klaim tolok ukur sulit divalidasi, transparansi dokumentasi menjadi harga mati.
Pemberitahuan NIH mengenai kebijakan dan kepatuhan seputar malapraktik riset menetapkan batasan formal bagi praktik bukti yang dapat diterima. (Source) Sementara itu, pembaruan prioritas NSF menunjukkan bagaimana ekosistem riset berevolusi, menuntut transparansi bukti yang lebih besar. (Source)
Tata kelola global juga dilakukan melalui penilaian riset dan etika publikasi. Kerja UNESCO dalam pelaporan sains serta kebebasan dan keamanan peneliti mencerminkan lingkungan kebijakan yang mendukung kondisi riset yang dapat dipercaya. (Source) Selain itu, peluncuran survei UNESCO 2025 mengenai statistik R&D untuk SDG 9.5 menandakan bahwa infrastruktur pelaporan tetap menjadi fokus kebijakan global, yang secara tidak langsung memengaruhi bagaimana performa riset dinilai. (Source)
Untuk menjadikan debat ini operasional, peneliti harus menuntut elemen kuantitatif dalam setiap klaim keunggulan kuantum—bukan sekadar performa perangkat, tetapi durasi solusi yang terukur di bawah kriteria keberhasilan yang jelas, ditambah rincian overhead dari verifikasi dan mitigasi.
Jangkar kuantitatif yang wajib ada dalam laporan benchmarking meliputi:
Meskipun sumber yang disediakan bukanlah dataset kuantum mentah, mereka menyediakan konteks tata kelola kuantitatif. Misalnya, dokumen NSF "WTRF" menandakan bahwa NSF memperlakukan metrik yang dapat diaudit sebagai bagian dari akuntabilitas publik. (Source) Begitu pula dengan dokumentasi integritas NIH yang mengharapkan proses terstruktur. (Source)
Untuk panduan kelas keputusan, pantau angka tolok ukur Anda dengan setidaknya:
Jika Anda tidak dapat mengukur kuantitas ini secara konsisten, Anda belum memiliki tolok ukur yang bisa digunakan untuk keputusan peta jalan. Anda hanya memiliki sebuah demo, bukan sebuah standar.
Program keunggulan kuantum terverifikasi harus dapat direproduksi dengan cara yang sama seperti fisika eksperimental yang baik: dengan mengontrol variabel dan mendokumentasikan pilihan yang diambil.
Dari perspektif peneliti, empat syarat ini tidak dapat ditawar:
Syarat-syarat ini selaras dengan ekspektasi integritas institusional yang menekankan dokumentasi dan akuntabilitas. (Source; Source)
Keunggulan kuantum terverifikasi mengubah insting di balik "superioritas klasik"—ia mengubah klaim naratif menjadi rantai bukti yang dapat diaudit. Hal ini hanya akan berhasil jika baseline klasik ditentukan secara presisi, durasi komputasi dihitung secara inklusif dengan verifikasi, serta mitigasi kesalahan dan ketahanan sistem dilaporkan dengan keseriusan yang sama seperti sirkuit kuantum itu sendiri.
Jika Anda ingin standar ini bertahan, tuntutlah detail setingkat "dossier" yang memungkinkan orang lain menjalankan ulang tolok ukur tersebut, memverifikasi keberhasilannya, dan memercayai hasilnya karena alasan yang tepat.