3.5.24

Reduksionisme dan Kemunculan

Pernah kita terdengar dalam perbincangan santai bahawa biologi adalah kimia gunaan, kimia pula adalah fizik gunaan dan mungkin ada pula yang akan menyambung fizik adalah matematik gunaan. Lebih ganjil dan mungkin menjengkelkan ialah sains sosial adalah biologi gunaan. Ini menurunkan aspek manusiawi kepada perihalan gumpalan sel manusia. Sudah tentu contoh akhir ini berlawanan apa yang kita rasai sebagai makhluk yang mempunyai daya fikir dan tindakan, merubah alam persekitaran dengan begitu hebat sekali berbanding dengan makhluk lain. 

Jalur pemikiran dalam perkara di atas mengambil sains suatu peringkat supaya dapat diungkapkan dalam sains yang lebih asas (atau sains perihalan objek yang lebih asas mengikut hierarki objek fizikal). Jalur pemikiran ini dilabel sebagai reduktionisme (reductionism). 'Berlawanan' dengan reduktionisme adalah aspek kemunculan (emergence) yang turut dibincang dalam fizik. Dengan kemunculanlah, ciri-ciri tambahan dikatakan muncul pada sistem fizik bersifat majmuk atau sebatian (compound). Sebagai satu contoh masalah reduktionisme-kemunculah adalah ketakberbalikan masa (time irreversbility). Persamaan gerakan (mekanik) yang ada dalam fizik, hampir kesemuanya bersifat bersimetri masa (time symmetric) iaitu jika parameter masa t diganti dengan − t (t negatif), akan tetap sah persamaan gerakannya. Dengan itu, hukum fizik tetap sama atau berlaku jika dibalikkan arah masa. Maka persoalannya bagaimana pengalaman harian kita menunjukkan masa hanya  dalam arah masa depan sahaja. Dua tempat di mana hukum asas fizik tidak bersimetri masa ialah

  • Hukum termodinamik kedua (entropi sentiasa meningkat dalam sistem tertutup). Catatan: Hukum ini bukanlah bentuk persamaan gerakan dan lebih bersifat empirik.
  • Perlanggaran simetri CP (gabungan simetri pariti atau songsangan ruang dengan konjugasi cas) dalam teori medan kuantum. Dalam teori ini, gabungan CPT dengan simetri songsangan masa T akan berlaku atau sah bagi smeua proses. Maka perlanggaran simetri CP akan membawa implikasi simetri T juga akan turut dilanggar. Catatan: Darjah perlanggaran simetri CP dianggap sangat kecil.
Walaupun adanya kedua-dua perkara di atas, ketakberbalikan masa masih dianggap tidak selesai kerana kedua0dua fenomena ini tidak dapat dimuatkan secara terus dalam pengalaman seharian kita (rantaian kebesebaban tidak jelas).

Berbalik kepada masalah reduktionisme-kemunculan yang disebut pada awal hantaran, perlunya takrifan yang lebih jelas mengungkapkan bagaimana proses reduktionisme dan proses kemunculan berlaku. Untuk itu, menarik kita bawa perhatian kepada buku karangan Sergio Chibbaro, Lamberto Rondoni dan Angelo Vulpiano yang bertajuk Reductionism, Emergence and Levels of Reality - The Importance of Being Borderline.


Buku ini mempunyai tujuh bab seperti tersenarai di bawah:
  • A Galilean Dialogue on the Levels of Reality
  • A Random Journey from Monism to the (Dream of) Unity of Science
  • A First Attempt to Tame Complexity: Statistical Mechanics
  • From Microscopic Reversibility to Macroscopic Irreversibility
  • Determinism, Chaos and Reductionism
  • Quantum Mechanics, its Classical Limit and its Relation to Chemistry
  • Some Conclusions and Random Thoughts
Buku ini turut dihiasi dengan prakata oleh Sir Michael Berry yang menyatakan lazimnya ahli falsafah akan membincangkan apa yang dibawa oleh ahli fizik tetapi buku ini menunjukkan sebaliknya, bahawa ahli fizik boleh mendatangkan idea falsafah bagi perkembangan ilmiah seterusnya. Perlu ditekankan di sini skop perbincangan buku ini dihadkan kepada fizik dan kimia yang lebih diketahui asasnya.

Perbincangan reduktionisme bertitik tolak dengan andaian wujudnya juzuk binaan asas, lazimnya dipanggil atom (dalam pelbagai jelmaannya setiap zaman). Teori peringkat juzuk binaan ini membentuk sains peringkat rendah (lower level science) dan apabila juzuk binaan ini dihimpun dengan lebih banyak, perihalan peringkat ini membentuk sains peringkat tinggi (higher level science). Menghubungkan kedua-dua peringkat sains ini semestinya ada prinsip titian (bridge principles) yang mengaitkan pembolehubah yang digua pada setiap peringkat sainsnya. Secara ringkas, skema reduktionisme dapat dihuraikan mengikut item-item di bawah:
  • Hukum peringkat rendah (Low level laws)
  • Prinsip titian
  • Syarat sempadan dan pemodelan
  • Hukum peringkat tinggi (High level laws)
Yang selalu menjadi persoalan di sini adalah item kedua dan ketiga dan perkara ini berubah mengikut sistem fizik yang dibincangkan. Contoh lazim yang dipakai adalah hubungan antara mekanik statistik dengan termodinamik. Bagi mekanik statistik, parameter penting adalah bilangan zarah N (atom atau molekul), manakala bagi termodinamik, parameter yang boleh diambil adalah isipadu V. Hubungan titian yang diambil adalah seperti berikut:

N → ∞   dengan   N/V = pemalar .

Contoh lain yang lazim adalah dari zarah bendalir ke mekanik bendalir. Di sini juga ada aspek had yang diambil berdasarkan dimensi sel bendalir yang diambil. Pengambilan had merupakan suatu hubungan titian yang penting dan ini membuka ruang kepada kemungkinan had yang singular yang dapat membentuk struktur seperti yang dikehendaki oleh aspek kemunculan. Had yang singular jugalah yang berupaya memperihal peralihan fasa (phase transition) dalam mekanik statistik.

Seterusnya apakah dia kemunculan? Bagaimana kita dapat mencirikan fenomena kemunculan? Di sini, ahli falsafah membezakan fenomena yang boleh diungkapkan terus melalui pembolehubah gabungan (collective variables) menerusi gabungan pembolehubah asas dengan fenomena yang benar-benar bersifat novel yang boleh muncul. Bagi yang pertama, teori peringkat tinggi boleh diungkapkan secara terus dengan teori peringkat rendah tanpa keperluan penambahan struktur baharu. Kemunculan ini dinamakan sebagai mengambilalih (supervene); di sini mengambil analogi istilah intervene sebagai mengantara. Dengan itu, kita hadkan kemunculan kepada fenomena yang benar-benar mempunyai aspek baharu yang tiada dalam teori peringkat rendah.

Dalam bab 3, kes termodinamik terturun ke mekanik statistik diperincikan dengan mengangkat teori Ludwig Boltzmann yang menjuarai teori atom. Boltzmann menggunakan dua unsur bagi prinsip titian:
  • hipotesis ergodik yang mengaitkan purata masa (penting dalam aspek pengukuran - juga perkara yang dianggap penting oleh pengarang) dengan purata ruang fasa (ruang yang memerihal keadaan mekanik)
  • rumus entropi Boltzmann S = k log W ; S merupakan pembolehubah makroskopik manakala maklumat mikroskopik terdapat dalam W (mikrokeadaan) dan k pula adalah pemalar Boltzmann.
Teori ini menunjukkan bagaimana konfigurasi W (dengan bilangan konfigurasi/mikrokeadaan (microstates) yang besar) akan berubah mengikut tren yang mengekstremumkan entropi S. Had yang diambil dikenali sebagai had termodinamik. Pelbagai fenomena dapat dijana dengan formalisme mekanik statistik ini termasuklah peralihan fasa bahan menurut pemodelan tertentu. Turut berlaku di sini adalah kemuncuan aspek ketakberbalikan akibat bilangan besar darjah kebebasan/mikrokeadaan sistem. Sedikit permasalahan timbul apabila teori Boltzmann ini bertembung dengan teori perulangan Poincare (Poincare recurrence theory). Masalah ini dapat diatasi dengan menunjukkan masa keberulangan ini tersangat lama atas sebab yang sama iatu bilangan mikrokeadaan yang sangat besar bagi objek makroskopik. Dengan itu, secara praktis, keberulangan bagi objek makroskopik tidak akan berlaku.

Sehubungan dengan teori Poincare, wujud permasalahan lain yang mula disedari secara eksplisit pada sekitar tahun 60-70an. Suatu sistem deterministik tidak semestinya mempunyai sifat kebolehramalan (predictability) dan ketika itu terbitlah suatu teori huru-hara/kacau-bilau (chaos). Catatan: Istilah asal ini diambil dari DBP dan Etisas UKM, namun penulis mendapati istilah kekalutan lebih sesuai digunakan (terima kasih kepada komen di FB). Ini menyukarkan lagi pemberian ciri bagi sistem fizik kerana sifat ketidakbolehramalan ini menghumban semula kerawakan (randomness) dalam sifat sekata (regular) bagi sistem deterministik. Pengajaran besar yang dibawa oleh episod ini suatu sistem yang kompleks tidak semestinya boleh dihuraikan sebagai gabungan sistem yang mudah. Ini membawa implikasi yang besar terhadap sistem makroskopik yang lazim difikirkan sebagai sistem berbilang jasad yang digabung secara mudah. Dalam perspektif ini, kelihatan kemunculan yang bersifat pengambilalihan (supervenience) boleh sahaja kita tolak tepi dan kemunculan yang ada lazimnya bersifat tulen (genuine) dengan kebergantungan kepada bagaimana kebolehramalan gagal dalam sistem deterministik.

Tahap kerumitan terakhir adalah apa yang disaji pada awal kurun ke-20 iaitu munculnya teori quantum. Teori quantum mengambil kerawakan sebagai suatu yang intrinsik kepada sistem fizik mikroskopik. Mungkin pada peringkat ini, ada pembaca yang terfikir mungkinkah kerawakan sistem quantum wujud selari dengan ketakbolehramaln seperti yang disebut di atas. Ada sahaja ahli fizik yang berpendapat sebegitu seperti Einstein (yang mempercayai teori quantum tidak lengkap) atau 't Hooft, pemenang Hadiah Nobel Fizik yang talah menyarankan formulasi semula sistem quantum yang mempunyai persamaan deterministik atau lebih dekat lagi dengan teori huru-hara/kelam-kabut adalah seperti teori Tim Palmer bersama Sabine Hosselfelder. Namun, di sini diteruskan dengan teori quantum sperti yang dipelajari ramai. Bagaimanakah teori quantum mengendali sistem berbilang jasad seperti objek makroskopik? Benarkah kimia hanya teori quantum gunaan seperti yang lazim dilaungkan? Di sinilah buku di atas mengatakan tidak. Apabila ahli fizik ingin menggunakan fizik quantum untuk memerihal sistem yang lebih kompleks, kita akan dapati aspek tambahan dibawa menyusup masuk ke dalam teori quantum seperti penghampiran semiklasik, penghampiran Born-Oppenheimer, fungsian ketumpatan (density functional), petua Hund dan sebagainya, masing-masing bukanlah suatu yang berasal dari asas quantum sendiri tapi terbentuk melalui intuisi ahli fizik. Maka, apakah kita perlu hairan dengan aspek munculan ini timbul dalam perihalan quantum sistem yang kompleks? Jika kita perhati perkembangan teori jirim terkondensasi (condensed matter), banyak aspek permodelan dilakukan dengan intuisi ahli fizik.

Di sini diulangi beberapa perkara penting yang boleh kita pelajari sebagai tempat di mana kemunculan akan menyerap masuk dalam fizik:
  • Hukum Boltzmann dan kebergantungannya kepada aspek pengukuran.
  • Pengambilan had yang mengaitkan sistem mikroskopik dengan sistem makroskopik serta aspek singularnya
  • Sistem kompleks dan aspek kebolehramalan
  • Pemodelan sistem fizik termasuk kes sistem quantum
Gambar di bawah adalah penulis bersama salah seorang pengarang buku di atas, Lamberto Rondoni ketika beliau melawat Institut Penyelidikan Matematik di UPM.



Rujukan:
  • Sergio Chibbaro, Lamberto Rondoni & Angelo Vulpiani, Reductionism, Emergence and Levels of Reality, (Springer, 2014)
  • A.L. Kuzemsky, "Thermodynamic Limit in Statistical Physics", Int. J. Mod. Phys. B 28 (2014) 1430004
  • G.  't Hooft, The Cellular Automaton Interpretation of Quantum Mechanics, (Springer, 2016) dan kertas kerja beliau berkaitan
  • S. Hossenfelder & T. Palmer, "Rethinking Superdeterminism", Frontiers in Physics 8 (2020) 253
  • S.M. Girvin & Kun Yang, Modern Condensed Matter Physics (Cambridge University Press, 2019)

1.2.24

Tolok: Mencari Istilah Yang Lebih Baik?

Barangkali ramai kenal saya melalui penulisan dalam bahasa Inggeris termasuk dalam media sosial. Apabila diceritakan saya pernah mengajar mekanik quantum dalam bahasa Melayu, ada yang hairan. Tidak perlu hairan kerana pengajaran sedemikian adalah keperluan pada masa itu, dan apabila ada keperluan untuk mengajar dalam bahasa Inggeris, saya mengajar pula dalam bahasa Inggeris. Namun ini bukan bermaksud saya tidak mengambil berat tentang bahasa Melayu. Menjadikan bahasa Melayu sebagai satu bahasa ilmiah merupakan satu perkara mulia yang perlu kita usahakan.

Sebagai rekod, saya rakam kemarahan saya di sini apabila ada yang memperolok-olokkan penggunaan bahasa Melayu tanpa menyedari persendaan yang dibuat turut ada dalam bahasa Inggeris. Antaranya ialah sifat lucah dalam terjemahan satu perenggan perbincangan sains komputer (rujuk di sini), tapi jika disemak kembali perenggan asal bahasa Inggeris, unsur lucah juga boleh sahaja dibuat di situ. Tidak mengapalah. Yang penting adalah kita usahakan bahasa Melayu sebagai bahasa ilmiah dan jika boleh, penggunaan istilah yang lebih tepat daripada penggunaan bahasa Inggerisnya.

Satu istilah yang saya pernah bangkitkan suatu masa dulu ialah teori tolok sebagai terjemahan 'gauge theories'. Pertama, tolok adalah suatu istilah yang bukan diguna secara lazim (kecuali dalam frasa 'tiada tolok bandingan') dan saya sendiri terpaksa menyemak kamus untuk mengetahui maksud sebenar. Bagi yang pernah mengkaji 'gauge theory' memahami bahawa ia merujuk kepada darjah kebebasan dalaman pada medan terlibat dan bukanlah seperti bandingan/rujukan dalam pengukuran air dalam tolok hujan.

Penggunaan 'gauge' sendiri di kalangan ahli fizik sendiri ada diperdebatkan. Yang pasti, kebebasan yang ada pada satu-satu 'gauge' berkait rapat dengan simetri fasa dalam memerihalkan medan yang bersandar kepada ruang-masa (boleh rujuk makalah Schwichtenberg). Mengapa tidak gunakan istilah teori fasa atau teori simetri fasa yang lebih dekat dengan maksud fiziknya. Malangnya fasa turut diguna sebagai istilah dalam memerihal peralihan fasa (phase transition) bagi keadaan jirim. Penggunaan fasa seperti dalam 'gauge theory' lebih kepada aspek kebebasan pilihan fungsi matematik tetapi mempunyai kaitan rapat dengan aspek fizikal medan fizik terlibat. Jadi di sini, wujudnya peluang mencari istilah yang lebih tepat atau mungkin sahaja kita berpuas hati dengan perluasan istilah 'tolok' kepada aspek matematik/fizik yang dibincangkan di atas.

12.10.22

Di Sebalik Keterbelitan

Baru-baru ini, Hadiah Nobel Fizik tahun 2022 telah dianugerahkan kepada tiga individu yang telah menjalankan eksperimen untuk menguji aspek keterbelitan (entanglement) (Catatan: Istilah lain yang ada digunakan ialah kebergusutan). Makalah semi-popular ini cuba menjelaskan keterbelitan kuantum (sering dianggap bermisteri dengan ungkapan spooky action a distance) melalui konsep-konsep struktur matematik dan tafsiran lazim teori quantum dan seterusnya membincang bagaimana fenomena keterbelitan ini adalah suatu yang biasa kita jumpai dalam teori quantum tanpa disedari.

Sejarah EPR

Kita mulakan dengan sedikit sejarah perbincangan keterbelitan quantum. Kisah ini bermula dengan makalah Einstein, Podolsky & Rosen mengenai ketegangan antara sifat yang tentu dengan sifat kebarangkalian (taktentuisme) dalam teori quantum, yang menyebabkan Einstein dan rakan menganggap teori quantum bukanlah suatu teori yang muktamad. Berdasarkan hukum keabadian momentum bagi sistem gabungan A dan B, Einstein, Podolsky dan Rosen (EPR) berpendapat bahwa dengan manipulasi maklumat sistem A, maklumat mengenai sistem B dapat diperolehi walaupun tiada apa operasi dilakukan ke atas sistem B (yang dianggap mustahil). Maklumat sedemikian adalah ciri-ciri yang diketahui tidak boleh berlaku serentak seperti pasangan pembolehcerap konjugat yang tidak serasi seperti kedudukan dan momentum yang berkait rapat dengan prinsip ketakpastian Heisenberg. Dengan itu, Einstein dan rakan-rakan membuat kesimpulan bahawa teori quantum tidak lengkap kerana kejayaan mereka membangunkan sistem gabungan yang boleh memberi maklumat tepat pembolecerap tidak serasi, tidak seperti dijangka oleh mekanik quantum. Pendapat sedemikian sudah tentu berlawanan dengan pendapat majoriti pendokong teori quantum. Di sini, Bohr memberi respon balas kepada Einstein dan rakan dalam suatu makalah di jurnal yang sama berkisar sekitar umpukan realiti kepada pasangan pembolehubah berkonjugat. Perhatikan bahawa kedua-dua pihak EPR dan Bohr menggunakan aspek pembolehcerap tidak serasi yang sama untuk sampai kepada dua kesimpulan berbeza. Begitulah jenis kerumitan yang ada pada masalah-masalah asas teori kuantum yang bergantung kepada andaian-andaian yang tersirat. Dalam kes EPR ini, andaian yang tersirat ini adalah aspek keberasingan (separability) yang diperuntukkan ke atas sistem A dan sistem B, walaupun asalnya sistem yang dipertimbangkan adalah sistem gabungan A dan B. 

Mendapatkan maklumat mengenai sistem A dan B secara berasingan bukanlah suatu yang mustahil secara quantum, tetapi ini memerlukan suatu prosedur tambahan iaitu mengambil purata pembolehubah yang berkaitan satu sistem (misalnya B) untuk mendapatkan maklumat pembolehubah sistem lagi satu (misalnya A). Prosedur begini lazimnya dipanggil prosedur surih separa (partial trace). Bagi masalah EPR asal, prosedur ini agak rumit kerana melibatkan pembolehubah selanjar kedudukan dan momentum. Namun, analisis keterbelitan masalah asal EPR telah dibuat oleh Cohen, 62 tahun kemudian, bagi menunjukkan aspek tak bersetempat masalah tersebut. Analisis masalah EPR yang kita lazim dengar adalah sebenarnya formulasi semula masalah EPR dengan pembolehubah tak serasi komponen momentum sudut spin oleh Bohm. Kelebihannya di sini adalah nilai momentum sudut spin adalah diskrit dan pembolehcerap boleh diwakili dengan matriks dan operasi tambahan surih separa dapat dilakukan dengan mudah. Seperti masalah EPR asal, Ramuannya masih sama, sistem gabungan A dan B dengan hukum keabadian momentum sudut spin (seterusnya kita ringkaskan sebagai spin sahaja) sebagai sifat yang tentu, dan maklumat spin bagi sistem individu A dan B. Keabadian jumlah spin memberi korelasi spin yang diperlukan antara sistem A dan sistem B. Walau bagaimana pun, pada takat ini, tiada analisis yang dapat membezakan korelasi sempurna dalam teori quantum dengan korelasi sempurna lazim.

Kedengaran Bell Menyanggah Von Neumann (dan Tidak Lupa Hermann)

Perlu dinyatakan bahawa korelasi sempurna spin dalam masalah EPR di atas adalah antara komponen yang sama bagi kedua-dua A dan B. Namun sebagai momentum sudut, (komponen) spin dapat diberi sebarangan arah dalam tiga dimensi. Ini merupakan ramuan pertama yang diperlukan, bahawa arah yang dipilih bagi sistem individu A dan B boleh sahaja arah yang berbeza, sesuai dengan konsep keberasingan yang ditonjolkan dalam EPR. Kedua, dalam mengatakan teori quantum itu tidak lengkap, perlu ada teori atau model yang mewakili fizik bukan quantum sebagai bandingan. John S. Bell, asalnya seorang ahli fizik nuklear dan teori medan quantum, telah memilih satu kelas teori yang dipanggil teori pembolehubah terselindung/tersembunyi (hidden variable theories - HV), Teori HV pada mulanya tidak dipandang serong oleh majoriti ahli fizik kerana wujudnya pembuktian sarjana besar John von Neumann yang menidakkan sebarangan teori HV dalam memerihal keputusan mekanik quantum. Bell mengkritik pembuktian von Neumann yang terbit dalam bukunya Mathematical Foundations of Quantum Theory tentang nilai jangkaan hasiltambah sebarang pembolehcerap walau pembolehcerap yang dihasiltambah adalah tak serasi. Malah, Bell bukanlah yang pertama mengkritik von Neumann sedemikian; tiga puluh satu tahun sebelumnya, Grete Hermann membuat kritikan yang lebih kurang sama (lihat buku suntingan Crull & Bacciagaluppi), tetapi tidak mendapat perhatian sebelum ini. Terdapat perbincangan balas antara penyokong von Neumann dan penyokong Bell & Hermann, namun ini tidaklah menjadi tumpuan kita di sini; yang berminat boleh rujuk makalah Mermin & Schack.

Ramuan teori HV tersebut di atas penting untuk membina suatu teori bak mekanik statistik yang memuatkan aspek kebarangkalian dengan harapan menyamai apa yang diramal oleh mekanik kuantum. Untuk ini, Bell membayangkan pembolehubah terselindung yang bersifat setempat, yang jika diketahui akan membuat teori HV bersifat berketentuan ramalannya. Tetapi oleh kerana pembolehubah ini terselindung, maka cubaan terbaik adalah mengambil purata (kamiran) ke atas pembolehubah terselindung ini. Selain itu, sifat pembolehubah terselindung setempat ini turut membayangkan konsep keberasingan dalam masalah EPR. Menggunakan paksi spin sistem A sebagai a dan paksi spin sistem B sebagai b, korelasi ukuran spin C(a, b) yang melibatkan kamiran pembolehubah terselindung. Suatu ketaksamaan bagi kuantiti korelasi tersebut dapat dihasilkan dan ini dikenali secara masyhur sebagai ketaksamaan Bell. (Catatan ada beberapa jenis ketaksamaan Bell yang telah dihasilkan oleh beberapa saintis termasuk yang dimajukan oleh pemenang Hadiah Nobel Clauser dan rakan-rakan seperti dalam makalah ini.) Kuantiti ini boleh dibandingkan dengan korelasi yang diramal oleh teori quantum. Bagi keadaan quantum terbelit, didapati bahawa korelasi quantum melanggar ketaksamaan Bell. Oleh yang demikian, teori HV tidak boleh memperihal teori quantum sepenuhnya dan juga ia menunjukkan korelasi quantum lebih kuat daripada korelasi teori HV.

Eksperimen Menguji Ketaksamaan Bell

Reformulasi Bohm bagi masalah EPR adalah sesuai bagi sistem gabungan dua spin-1/2 yang secara individunya ada dua keadaan spin atas dan bawah. Sistem setara yang lebih mudah dimanipulasi adalah dua keadaan pengutuban foton sepertimana yang disaran oleh Clauser dan rakan-rakan. Walau bagaimanapun, menggunakan pelbagai peralatan optik dalam eksperimen turut membawa masuk kelemahan dalam pengujian yang dikehendaki. Usaha mengatasi kelemahan tersebut telah dibuat oleh Alain Aspect (pemenang Nobel) dan rakan-rakan khususnya menutup kelemahan bersetempat (locality loophole) - lihat makalah ini. Turut berlaku secara berterusan adalah usaha untuk menutup kelemahan lain atau meluaskan skop eksperimen ke sistem lain - bagi melihat perkembangan, lihat pautan ini.

Kini penjanaan keadaan quantum terbelit dan pengujian Bell (foton atau zarah selainnya) merupakan suatu perkara yang standard dan asas kepada pembangunan teknologi quantum. Antara individu yang begitu giat membangunkan eksperimen keadaan quantum terbelit adalah pemenang Hadiah Nobel, Anton Zeilinger. Beliau berjaya membuat demonstrasi pertama teleportasi quantum (menggunakan keterbelitan) dan seterusnya teleportasi quantum antara dua pulau Canary Island iaitu sejauh 143 kilometer. Lagi satu fenomena yang kumpulan beliau demonstrasikan adalah saling tukar keterbelitan antara dua pasangan foton terbelit. Kedua-dua fenomena teleportasi quantum dan saling tukar keterbelitan ini dapat dijadikan asas kepada teknologi komunikasi quantum. Zeilinger berserta rakan juga turut membuka jalan kepada keterbelitan lebih daripada dua zarah dengan menjanakan keadaan kuantum GHZ (yang membawa namanya). Banyak lagi fenomena asas quantum yang diselidiki oleh kumpulan Zeilinger; sila rujuk laman Wikipedia beliau.

Tabir Matematik dan Tafsiran

Struktur apakah yang menghasilkan fenomena keterbelitan? Pertama, apabila dua sistem yang tak bersandar antara satu sama lain, ruang Hilbert (ruang vektor keadaan quantum) kedua-dua sistem digabung dengan menggunakan hasildarab tensor (diberi tatatanda ⊗). Hasildarab tensor adalah seperti hasildarab Descartes bagi pendaraban dua set; kesemua pasangan bertertib unsur kedua-dua set akan diambilkira sebagai unsur set yang terhasil. Lebih daripada itu, hasildarab tensor turut membenarkan ciri-ciri aljabar yang ada pada ruang Hilbert sistem individu asal turut berlaku kepada ruang Hilbert gabungan. Ciri aljabar yang dimaksudkan di sini adalah hasiltambah vektor atau lebih fizikal, mematuhi prinsip superposisi. Superposisi inilah yang membuat keterbelitan sebagai suatu fenomena yang menakjubkan; tidak semua superposisi berasal daripada hasildarab dua vektor keadaan dari ruang Hilbert individu asal (dipanggil keadaan bolehpisah) dan keadaan yang baru ini adalah apa yang dipanggil keadaan terbelit. Di sini, agak menarik diperhatikan bahawa konsep gabungan dua sistem menggunakan hasildarab tensor sebelum ini dianggap bersifat semulajadi (apa yang dijangka akan berlaku). Hanya baru-baru ini, ketika sains maklumat quantum dibangunkan, aspek gabungan hasildarab tensor ini diangkat sebagai suatu aksiom dalam membangunkan teori quantum (lihat Nielsen & Chuang dan d'Ariano, Chiribella & Perinotti).

Mungkin di peringkat ini, pembaca akan bertanya apa yang dianggap ganjil tentang aspek gabungan hasildarab tensor di sini. Mendasari semua sifat misteri dalam teori quantum adalah hubungan antara aspek kebarangkalian dengan apa yang direalisasi dalam pengukuran (realiti?).  Sama seperti masalah memahami fizik di sebalik eksperimen dua celah quantum, terdapat masalah bagaimana kita hendak mengharmonikan konsep zarah (bertitik apabila dikesan) dengan konsep rambatan gelombang melalui kedua-dua celah, melainkan kita pisahkan aspek dinamik dengan aspek pengukuran dan ambil sikap 'diam dan kira sajalah' (shut up and calculate). Bagaimana pula kes keterbelitan yang kita bincang di atas? Di sini, saya ingin ambil analogi yang dibuat oleh Preskill; ia seperti membaca buku dengan 100 mukasurat tapi membaca hanya 10 mukasurat tidak memberi kita maklumat 10% (langsung tiada maklumat) daripada buku itu tetapi maklumat buku semuanya terkandung dalam korelasi antara kesemua mukasurat buku tersebut. Membingungkan? Inilah yang kita hadapi apabila cuba menganalisis masalah EPR di atas; maklumat setempat tidak tersedia begitu sahaja dengan mengetahui keadaan quantum gabungan.

Pandangan peribadi: banyak yang tersirat dalam pemisahan antara keadaan quantum dengan pembolehcerap quantum serta aspek globalnya (geometri) dan pentas ruang-masa. Ini adalah permulaan model sistem quantum dan perlunya kita mendalami aspek ini (pengkuantuman - quantization). Sebahagian aspek keterbelitan contohnya dapat kita fahami melalui struktur tensor dan geometri ruang projektif kompleks (contoh: sila lihat Choong dll dan Molladavoudi & Zainuddin). Jika ingin kurangkan kemeleretan perbincangan, ambil sahaja pandangan apa yang kita ramal/ukur hanyalah hasilan saling tindakan alat pengukur dengan sistem diukur; apa hakikat sistem sebenarnya terselindung daripada kita. Seperti apa yang Coecke lazim katakan, kita perlu beredar dari konsep sistem diperihal secara tertutup ke konsep saling tindakan antara sistem.

Membiasakan Keterbelitan Dalam Mekanik Quantum dan Fizik Terkondensasi

Beberapa tema timbul dalam membincangkan keterbelitan di atas seperti konsep tak setempat, geometri, saling tindakan dan korelasi. Sebahagian daripada ini, memang ada dibincangkan dalam fizik terkondensasi. Malah antara usaha hari ini adalah untuk membuat formulasi semula fizik terkondensasi dalam perspektif maklumat quantum (contoh: lihat Laflorencie). Perbezaan keterbelitan yang dijumpai dalam fizik terkondensasi dengan apa yang dibincang dalam masalah EPR adalah kompleksitinya lebih tinggi dalam yang pertama. Namun, tidak dapat nafikan kepentingan masalah EPR dalam membangunkan asas kejuruteraan keterbelitan dalam teknologi quantum pada masa akan datang.

Mungkin sahaja kita tidak sedar bahawa keterbelitan sudah ada dibincang dalam masalah asas mekanik quantum yang lazim kita pelajari dalam kelas. Sebagai contoh kita tahu pembolehubah kedudukan tiga dimensi (x,y,z) sendiri adalah saling tak bersandar dan serasi antara satu sama lain dan dengan itu ruang Hilbert yang dibangunkan dapat diberi melalui hasildarab tensor ruang fungsi setiap pembolehubah x,y dan z. Sebagai contoh gelombang satah exp (i kr) = exp (ikxx) ⊗ exp(ikyy) ⊗ exp (ikzz) merupakan contoh keadaan terpisah. Fungsi gelombang tiga dimensi umumnya tidaklah berbentuk hasildarab sebegini tetapi akan ada keterbelitan antara setiap pembolehubah terhasil daripada saling tindakan sistem dengan suatu keupayaan. Tidaklah keterlaluan, jika suatu hari nanti buku teks mekanik quantum akan ditulis semula dalam laras bahasa teori maklumat quantum.

Akhir kata, banyak yang boleh kita pelajari daripada masalah EPR pada abad yang lepas sehingga membangunkan suatu sains baharu dalam sains maklumat quantum, walaupun realiti quantum masih kita belum fahami.

Catatan tambahan: Bagi mereka yang ingin tahu lebih lanjut perkembangan konsep fizik quantum, bolehlah rujuk kepada buku Auletta tersenarai di bawah (dengan prakata pemenang Hadiah Nobel Fizik, G. Parisi)

Rujukan:

8.5.22

Pencirian Ruang dan Model Sullivan

Pada 23 Mac 2022, Norwegian Academy of Science (Akademi Sains Norway) mengumumkan penganugerahan Hadiah Abel 2022 kepada Dennis Sullivan, seorang ahli topologi Amerika, penyandang kerusi profesor Albert Einstein di City University of New York dan profesor ulung di Stony Brook University. Penganugerahan Hadiah Abel ini adalah atas sumbangann teknik baharu beliau dalam bidang topologi yang melibatkan aspek-aspek aljabar, geometri dan sistem dinamik.

Hantaran blog ini akan fokus kepada salah satu penemuan awal beliau iaitu dalam teori homotopi pecahan (rational homotopy theory). Sebelum menjurus kepada topik ini, kita perlu sedikit gambaran apakah topologi secara mudah. Topologi berkait rapat dengan konsep ruang yang banyak dibincang dalam fizik seperti ruang-masa, ruang fasa (ruang kedudukan bersama halaju) dan tidak terhad kepada ruang yang nampak. Ruang momentum, contohnya, sangat penting dalam membincangkan cirian bahan-bahan topologi dalam sains bahan. Dalam membincang topologi, lazimnya kita akan diberi contoh cawan itu sama dengan donat (lihat gambarajah).

Proses yang terlibat yang menyamakan dua objek di atas adalah canggaan (proses yang mengandaikan keselanjaran). Oleh yang demikian, topologi kadangkala diberi gelaran geometri bak getah. Aspek topologi yang cuba digambarkan di atas adalah berapa lubang yang ada pada permukaan cawan dan permukaan donat (iaitu satu). Permukaan yang lebih kaya cirinya adalah permukaan pretzel atau dwitorus (dwidonat) dengan dua lubang (gambarajah di bawah).
Bilangan lubang pada permukaan secara matematik dipanggil genus. Ada dua perkara asas di sini: (i) konsep permukaan iaitu ruang dua dimensi; dan (ii) pengiraan genus yang melibatkan nombor tabii atau lebih umum integer. Objek-objek yang berlainan dimensi dikatakan mempunyai topologi berbeza seperti titik dimensi sifar berbeza dengan garisan lengkung satu-dimensi yang berbeza pula dengan permukaan sfera dua dimensi.


Lazimnya ahli fizik akan membincangkan geometri bersifat selanjar seperti permukaan sfera. Sifat keselanjaran di sini adalah suatu sifat tambahan. Wujud geometri yang lebih ganjil seperti 'geometri sikat' yang muncul daripada penambahan garis tegak kepada titik-titik tertentu pada garis ufuk yang mana konsep dimensi sendiri menjadi masalah bagi objek sikat ini.

Jika garis tegak ditambah pada setiap titik garis mengufuk, maka kita perolehi objek dua dimensi (satah) daripada objek satu dimensi (garis). Seterusnya, jika ditambah dengan satah pada setiap titik garisan, maka kita peroleh objek tiga dimensi (kotak).


Proses membentuk objek berdimensi tinggi sebegini penting dalam membentuk apa yang kini dipanggil sebagai kompleks-CW - boleh kita analogikan dengan kompleks pasaraya dibina dengan kedai-kedai yang lebih kecil di dalamnya.

Berbalik kepada aspek pengiraan genus permukaan dan pengitlakannya kepada dimensi tinggi (perlu imaginasi secara abstrak), dapat diungkapkan dengan menggunakan bilangan belitan (winding numbers) seperti dalam gambarajah di bawah.


Lengkung 0 (hitam) dikatakan mempunyai bilangan belitan sifar kerana lengkung ini dapat dicangga menjadi satu titik dan tidak menggambarkan adanya lubang pada donat ini. Manakala lengkung 1 (merah) dan 2 (biru) tidak dapat dicangga ke satu titik kerana kehadiran lubang dalam donut dan dikatakan mempunyai bilangan belitan satu. Malah lengkung 1 tidak dapat dicangga kepada lengkung 2 dan dianggap belitan yang berbeza. Bagi gambarajah kanan pula adalah lengkung bilangan belitan 2 tetapi mempunyai orientasi berbeza; satu kita kata sebagai bilangan belitan +2, manakala yang lagi satu adalah bilangan belitan -2. Penting di sini adalah idea belitan ini dapat diunkapkan dengan suatu integer (termasuk yang negatif).

Terdapat dua jenis konsep yang terlibat dalam gambarajah di atas. Pertama, konsep canggaan lengkung menjadi asas (dan pengitlakannya) kepada teori homotopi. Kedua, lengkung 1 dan 2 menggambarkan dua jenis rendaman subruang (subspace immersion) satu dimensi bagi donat ini dan ini berkait dengan teori homologi berkaitan subruang yang ada pada permukaan donat (juga dianggap sebagai subruang dua dimensi/subset bagi objek donat). Kedua-dua teori ini menjadi perkakasan atau kaedah pencirian dalam topologi yang berbeza. Teori homotopi mempunyai kelebihan aspek intuitif, namun kepelbagaian jenis canggaan yang mungkin, menyebabkan ia lebih sukar untuk dikaji. Teori homologi pula mempunyai kebolehan pengiraan yang lebih baik dan dianggap lebih mudah berbanding homotopi (lihat perbincangan di bawah).

Pengiraan melibatkan homologi juga dapat diungkapkan dalam kamiran. Sebagai contoh, bilangan belitan n dapat diungkap seperti berikut:

Perhatikan di sini, tiada apa-apa kekangan untuk mengambil nilai n yang bukan integer. Malah secara umum, kita ada teori kamiran yang menyatakan
yang mana hanya memerlukan kekangan dimensi subruang C adalah sama pangkat dengan bebentuk pembeza (differential form). Di sini C adalah suatu objek homologi manakala d𝜔 adalah pasangan objek dalam teori kohomologi (ruang dual kepada homologi). Objek bebentuk pembeza ini sememangnya mengandaikan keselanjaran dalam kuantiti 𝜔 yang mengambil nilai dalam nombor nyata.

Secara teknikal, peralihan daripada bilangan belitan yang bersifat integer ke nilai kamiran yang bersifat nombor nyata menunjukkan apa yang diperlukan adalah sifat abstrak bagi nombor iaitu suatu kumpulan objek yang mematuhi x + y = y + x (secara teknikal dipanggil kumpulan Abelan). Selain daripada itu, konsep pangkat bagi bebentuk pembeza membentuk suatu aljabar bergred (graded algebra). Sifat ini turut dipatuhi oleh nombor pecahan (nombor nisbah). Dari perbincangan nombor belitan di atas, kita tahu pula ada pertalian antara teori homotopi dan teori homologi. Di sinilah Dennis Sullivan mengagahkan idea beliau untuk membentuk suatu teori homotopi pecahan (rational homotopy theory) dengan mencari pertalian suatu aljabar bergred bagi suatu ruang X yang dipanggil ruang Sullivan manakala ruang aljabar bergred disebut sebagai modelnya.

Rujukan:
  • D. Sullivan, "Infinitesimal Computations in Topology", Publ. IHES 47 (1977) 261-331.
  • D. Sullivan, "Geometric Topology: Localization, Periodicity, and Galois Symmetry", (MIT Notes, 1970).
  • Y. Felix & S. Halperin, "Rational Homotopy Theory via Sullivan Models: A Survey", Notices of the ICCM 5 (2017) 14-36.
  • K. Hess, "A History of Rational Homotopy Theory" in History of Topology, (peny.) I. James, (Elsevier, 1999) 757-796.
  • P.A. Griffiths & J.W. Morgan, Rational Homotopy Theory and Differential Forms, (Birkhauser, 1977).
  • N. Hungerbuhler & M. Wasem, "Non-Integer Valued Winding Numbers and a Generalized Residue Theorem", Hindawi J. Maths. 2019 (2019) 6130464.


10.10.20

Roger Penrose dan Penyelidikan Hadiah Nobel Fizik 2020

Pada 6 Oktober 2020, telah diumumkan pemenang Hadiah Nobel Fizik 2020 iaitu Roger Penrose serta Reinhard Genzel dan Andrea Ghez, masing-masing ke atas penemuan pembentukan lohong hitam (black hole) sebagai ramalan teori kerelatifan am dan penemuan objek supermasif pada pusat galaksi kita. Keputusan yang mengangkat Sir Roger Penrose sebagai penerima anugerah Hadiah Nobel menggembirakan para ahli teori fizik khususnya yang menjurus bidang teknikal fizik matematik.

Apakah sebenarnya pencapaian Penrose dalam penganugerahan ini? Secara ringkas, Penrose telah mengenengahkan teknik matematik baharu dalam teori kerelatifan am (secara khusus ianya topologi kebezaan). Teori kerelatifan am merupakan suatu teori yang bersifat geometri yang mana kesan graviti diungkapkan sebagai kesan kelengkungan ruang dan masa. Dengan itu pelajar kerelatifan am akan lazimnya mempelajari teknik geometri kebezaan dengan objek tensor yang mengitlakkan objek geometri vektor. Lazimnya objek tensor itu ditulis dalam bentuk komponen yang bergantung kepada penggunaan koordinat. Kita sedia maklum bahawa koordinat hanyalah merupakan binaan matematik bagi memudahkan pengiraan. Contohnya rangka koordinat x,y,z lazimnya dipilih mengikut kemudahan pemodelan suatu sistem fizikal dan rangka koordinat sedemikian boleh sahaja diganti rangka koordinat yang berbeza. Sebaik-baiknya suatu formulasi teori tidak memerlukan koordinat secara terus dan paling tidak membolehkan transformasi koordinat dalam formulasi tersebut. Pemilihan koordinat juga boleh bergantung kepada sifat simetri sistem fizikal. Contohnya sistem berputar lebih baik diperihal dalam koordinat kutub sfera (r,θ,φ). Walau bagaimanapun koordinat sedemikian akan menghasilkan suatu masalah lain -- jika kita pertimbangkan asalan koordinat (x,y,z) = (0,0,0), apakah koordinat sudutnya? Kita dapati koordinat sudutnya tidak tertakrif dan ini hanya adalah suatu artifak penggunaan koordinat kutub sfera.

Perihalan lohong hitam tidak terlepas daripada masalah koordinat seperti yang tersebut di atas. Antara penyelesaian lohong hitam yang awal datang daripada penyelesaian Schwarzschild. Dalam penyelesaian ini, wujud apa yang dipanggil sebagai ufuk peristiwa (menyebabkan cahaya tidak dapat melepasi titik ini) dan ianya diberi oleh jejari Schwarzschild r = 2GM/c² . Jejari ini muncul sebagai suatu kesingularan dalam penyelesaian Schwarzschild. Diketahui umum bahawa jejari Schwarzschild bukanlah suatu kesingularan tetapi hanya suatu artifak koordinat yang digunakan; wujud koordinat lain (iaitu koordinat Eddigton-Finkelstein) yang dapat mengungkapkan peristiwa melampaui ufuk peristiwa. Walau bagaimanapun kesingularan fizikal tetap menjadi ciri lohong hitam yang lazimnya melibatkan kelengkungan atau daya graviti yang tak terhingga. Pengajaran yang boleh diambil di sini ialah bukan mudah untuk mengungkapkan idea kesingularan dalam lohong hitam, apatah lagi mengatakan lohong hitam itu sebagai suatu objek yang diramalkan oleh teori kerelatifan am.

Ada beberapa permasalahan di sini; antaranya bagaimana ingin mengungkapkan kesingularan tanpa merujuk kepada geometri atau penyelesaian atau simetri yang khusus (seperti dalam penyelesaian Schwarzschild). Selainnya apakah sifat intrinsik teori kerelatifan am yang membawa kesingularan itu sendiri dan jugakah apakah takrifan kesingularan terbaik tanpa merujuk kepada apa-apa geometri dan koordinat. Dalam hierarki struktur matematik, topologi merupakan bidang matematik yang kurang strukturnya berbanding geometri iaitu menekankan keselanjaran dan tidak kepada bentuk (panjang dan sudut). Struktur intrinsik yang perlu kepada teori kerelatifan umum adalah struktur kon cahaya yang membahagikan lintasan zarah kepada tiga iaitu bak-masa, bak-cahaya dan bak-ruang. Asal usul pembahagian ini datang daripada pembahagian panjang dalam ruang-masa diberi oleh kuantiti ds² = dt² - dx² - dy² - dz² yang boleh jadi positif, sifar atau negatif (tidak seperti panjang Euclid ds² = dx² + dy² + dz² yang sentiasa positif). Zarah foton misalnya akan sentiasa mengambil lintasan bak cahaya. Bagi permasalahan terakhir yang disebut di atas adalah konsep kesingularan yang paling umum iaitu yang diberi oleh lintasan yang tidak lengkap (incomplete) yang secara intuitif merujuk kepada lintasan yang tidak dapat berterusan tanpa melampaui ruang-masa. Lintasan sedemikian dapat dikaitkan dengan pelbagai bentuk masalah seperti kelengkungan tidak terhingga dan sebagainya.

Berbekalkan topologi (ruang Lorentz), lintasan bak cahaya dan kesingularan, Penrose seterusnya mengemukakan konsep permukaan terperangkap tertutup (closed trapped surfaces) yang mana permukaan ini dibentuk oleh dua lintasan bak cahaya yang terperangkap oleh medan graviti (seperti lintasan yang tidak melepasi halaju lepasan). Ilustrasi permukaan terperangkap tertutup adalah seperti gambarajah kedua di bawah (gambarajah pertama menunjukkan permukaan biasa). Dua lintasan bak cahaya yang dirujuk adalah sisi kon cahaya. Bagi permukaan biasa, satu lintasan akan memasuki ruang permukaan manakala yang lagi satu lintasan meninggalkan permukaan. Dalam kes gambarajah kedua, kedua-dua lintasan diperangkap dalam permukaaan tersebut.

Sumber: arXiv: hep-th/9409105

Berbekalkan konsep ini, Penrose menyatakan bahawa jika ruang-masa mempunyai syarat sempadan awal tertentu, mengandungi permukaan terperangkap tertutup besertakan syarat lintasan menumpu, maka akan ada lintasan yang tidak lengkap (kesingularan). Secara tidak langsung, ini membawa kepada idea lohong hitam sebagai suatu akibat teori kerelatifan am jika medan graviti cukup kuat (tanpa apa-apa andaian geometri khusus). Keputusan ini dikenali sebagai teorem kesingularan Penrose (makalah yang mengulas teorem ini dengan lebih terperinci ada dibuat oleh Senovilla dan Garfinkle (2015) - sila lihat rujukan di bawah). Dengan kaedah topologi yang dipelopori oleh Penrose ini, teori kerelatifan am ini telah mendapat nafas baru. Beberapa kemajuan lain turut dibuat oleh para pakar kerelatifan lain seperti Hawking, Ellis, Geroch dan Wald yang mengkaji struktur ruang-masa secara global termasuklah aspek deguman gedang (big bang).

Rujukan dan Catatan:
  1. https://www.nobelprize.org/prizes/physics/2020/summary/ - Pengumuman Hadiah Nobel Fizik 2020.
  2. Roger Penrose, Techniques of Differential Topology in Relativity, (Society for Industrial and Applied Mathematics, 1972) - Monograf ini memberi pengenalan teknikal kepada teknik topologi dalam teori kerelatifan am yang dipelopori oleh Roger Penrose.
  3. Stephen Hawking & Roger Penrose, The Nature of Space and Time, (Princeton University Press, 1996) - Buku ini memberi sedikit sebanyak pengenalan popular kepada kaedah topologi dalam kerelatifan am serta perdebatan sifat kuantum ruang-masa antara Penrose dan Hawking. Bahagian kuliah Hawking boleh dicapai di https://arxiv.org/abs/hep-th/9409195.
  4. Roger Penrose, "Asymptotic Properties of Fields and Space-Time", Phys. Rev. Lett. 10 (1963) 66-68 - Makalah awal yang mula membincangkan teknik topologi untuk ruang-masa khusunya mengenai conformal infinity.
  5. Roger Penrose, "Gravitational Collapse and Space-Time Time Singularities", Phys. Rev. Lett. 14 (1965) 57-59 - Makalah awal yang membawa kepada penganugerahan Hadiah Nobel kepada Roger Penrose.
  6. J.M.M. Senovila & D. Garfinkle, "The 1965 Penrose Singularity Theorem", Class. Quantum Grav. 32 (2015) 124008 (45pp) - Makalah yang mengulas secara terperinci teorem Penrose. Juga boleh dicapai di https://arxiv.org/abs/1410.5226.
  7. https://johncarlosbaez.wordpress.com/2020/10/08/roger-penroses-nobel-prize/ - Makalah blog John Baez yang turut mengulas penganugerahan Hadian Nobel kepada Roger Penrose.
  8. S.W. Hawking & G.F.R. Ellis, The Large Scale Structure of Space-Time, (Cambridge University Press, 1973) - Buku Hawking & Ellis turut memperkenalkan teknik topologi dalam teori kerelatifan am dengan lebih terperinci. Buku ini saya guna ketika pengajian Part III saya di University of Cambridge.
  9. Robert Wald, General Relativity, (University of Chicago Press, 1984) - Buku ini turut menekankan aspek topologi dalam kerelatifan umum.


24.4.20

Teknologi Kuantum dan Menggerakkan Penyelidikan Tempatan

Mukaddimah

Sejak perintah kawalan pergerakan yang bermula lima minggu lalu, penggunaan internet melonjak kerana sebahagian besar aktiviti harian kita terpaksa dilakukan secara dalam talian; dari pembelian keperluan dapur ke transaksi perbankan hingga ke menjalankan mesyuarat di pelbagai peringkat. Justeru itu, perkara jangka panjang yang perlu diambil berat pada era pasca Covid-19 dengan norma baharunya adalah akses internet yang berkebolehharapan tinggi, pantas dan selamat. Dengan itu, di samping menyokong keperluan tumpuan penyelidikan mengawal penularan penyakit Covid-19 dan mencari vaksinnya, perlu juga melihat keperluan pemantapan teknologi internet dan keperluan baharunya seperti teknologi kuantum.


Revolusi Kuantum Pertama

Fizik kuantum sudah lama menyumbang kepada teknologi sedia ada, yang telah berleluasa penggunaannya (Revolusi Kuantum Pertama). Antara yang lazim disebut adalah penemuan laser yang menjadi tulang belakang kepada teknologi komunikasi kini dan penemuan transistor yang merupakan komponen utama litar bersepadu dalam teknologi elektronik. Selain daripada laser dan transistor, yang kurang dibincangkan adalah bagaimana teori kuantum mendasari hampir semua jenis spektroskopi yang ada kini. Terdapat banyak aplikasi spektroskopi dalam pencirian bahan atau dalam memahami fenomena fizik. Mungkin kita masih ingat pelajaran tiub sinar-x yang menghasilkan dua jenis taburan atau spektrum (lihat gambarajah di bawah) iaitu spektrum selanjar dan spektrum diskrit. Kes yang diskrit hanya dapat difahami melalui teori kuantum apabila elektron bahan membuat peralihan dari suatu petala tinggi ke petala dasar. Dengan spektroskopi sedemikianlah, unsur-unsur yang ada dalam bahan dapat dikenalpasti. Begitu juga dengan spektroskopi yang lain melibatkan perihalan fizik kuantum dalam gerakan molekul dan sebagainya.

Sumber: http://hyperphysics.phy-astr.gsu.edu/hbase/quantum/xrayc.html
Teknologi-teknologi yang telah tersedia dipakai kini kebanyakannya mengambilkira kesan kuantum pada peringkat pukal. Antaranya adalah mikroskop elektron yang sudah diguna berleluasa dalam penyelidikan sains hari ini dan ia sebenarnya bersandarkan sifat kuantum serakan berbilang elektron. Oleh yang demikian ciri yang terhasil adalah bukan kesan terus sifat kuantum zarah tunggal. Pada sekitar 70-an, sudah mula ada teknologi untuk menghasilkan foton tunggal dan seterusnya memanipulasi foton tersebut. Bukan itu sahaja, pada penghujung 80-an, sudah ada kebolehan teknologi untuk memanipulasi atom tunggal (lihat video manipulasi atom tunggal di bawah). Pada dekad yang sama juga, peranti transistor elektron tunggal telah pun dibangunkan. Kini, topik-topik seperti bintik kuantum, wayar kuantum dan perigi kuantum sudah menjadi bidang kajian fizik kuantum konvensional. Kemajuan teknologi sedemikian telah menyediakan platform untuk Revolusi Kuantum Kedua iaitu penggunaan teknologi memanipulasi sistem fizik pada peringkat kuanta tunggal.


 


Revolusi Kuantum Kedua dan Teknologi Kuantum

Era revolusi kuantum kedua adalah era pembangunan teknologi kuantum. Lazimnya teknologi kuantum ini dibahagi kepada tiga kategori:
  • Penderiaan dan Metrologi Kuantum
  • Komunikasi Kuantum
  • Pengkomputeran dan Simulasi Kuantum
Kategori pertama merupakan kesinambungan teknologi peralatan kuantum (seperti mikroskop elektron sebelum ini) yang telah sedia ada. Antara yang berkait rapat dengan teknologi internet ialah jam atom yang telah dipakai untuk standard masa. Jam atom yang dijamin kejituan kuantumnya membolehkan kelajuan capaian internet diperolehi dengan pelarasan denyutan jam merentangi rangkaian internet. Lain-lain peralatan kuantum yang turut ditonjolkan adalah gravimeter (berguna untuk eksplorasi minyak), unit gerakan inersia kuantum (untuk pelayaran atau pandu arah), magnetometri dan magnetoensefalografi.

Kategori kedua pula adalah sekitar teknologi penggunaan foton tunggal. Foton boleh berada dalam dwi-keadaan pengutuban (lihat rajah di bawah) dan sesuai berperanan sebagai satu unit maklumat kuantum yang dipanggil qubit (menggantikan bit dalam konteks teknologi maklumat biasa). Tidak seperti bit yang lazimnya di tulis dalam bentuk binari 0 dan 1, qubit boleh mengambil keadaan superposisi 0 dan 1, diwakili oleh superposisi dua keadaan pengutuban foton (sepertimana superposisi gelombang). Juga, foton akan sentiasa merambat (laju c dalam vakum) atau termusnah (diserap), dan dengan itu foton dipanggil sebagai qubit terbang (flying qubits), sesuai untuk diguna dalam komunikasi kuantum.

Sumber: https://en.wikipedia.org/wiki/Photon_polarization
By E-karimi - Own work, CC BY-SA 3.0, https://commons.wikimedia.org/w/index.php?curid=16697550


Teknologi terpenting komunikasi kuantum adalah Pengagihan Kunci Kuantum (Quantum Key Distribution - QKD). Dalam teknologi komunikasi hari ini, sekuriti maklumat dijamin melalui kerumitan masalah matematik seperti pemfaktoran integer besar. Sekiranya masalah ini dapat dirungkai dengan mudah, maka sekuriti maklumat akan terjejas. Pengagihan Kunci Kuantum dapat menyelesaikan masalah ini dengan menjamin keselamatan maklumat berdasarkan hukum fizik kuantum. Sebarang pencerobohan maklumat dalam konteks ini perlu melanggar hukum fizik tersebut yang diketahui mustahil dan dengan itu dikatakan jaminan keselamatan maklumat muktamad. Hukum fizik kuantum yang dimaksudkan di sini adalah sensitifnya keadaan kuantum yang dibawa oleh foton. Sebarang pencerobohan dapat dikesan dengan mudah dan maklumat yang dicerobohi dapat dibuang segera. Sifat yang sama ini juga membataskan penggunaan pengagihan kunci kuantum secara praktikal. Selain daripada itu, ia memerlukan instrumentasi yang lebih mahal. Kebanyakan penyelidikan kunci kuantum hari ini adalah tertumpu kepada aspek praktikal dan penentuan sekuriti secara praktis.

Kategori ketiga merupakan kategori yang paling sukar direalisasi. Jika berjaya, pengkomputeran kuantum mampu merubah landskap teknologi maklumat dan komunikasi sepertimana teknologi komputer dan komunikasi telah merubah kehidupan kita hari ini. Sama seperti dalam komunikasi kuantum, unit maklumat dalam pengkomputeran kuantum adalah qubit dan algoritma yang memanipulasikan qubit dipanggil algoritma kuantum. Satu algoritma kuantum yang mempopularkan bidang pengkomputeran kuantum ialah algoritma pemfaktoran Shor. Sebelum ini, kita telah sebut tentang masalah pemfaktoran integer besar sebagai masalah sukar dan ia diguna untuk menjamin sekuriti maklumat. Penemuan Peter Shor merubah kepercayaan ini dengan menjadikan masalah pemfaktoran diselesaikan dengan mudah secara kuantum. Dalam ertikata lain, sebuah komputer kuantum yang menjalankan algoritma Shor, boleh menjejaskan sekuriti maklumat (contoh transaksi kewangan elektronik) yang dihantar melalui internet. Sudah tentu perkara ini membimbangkan pelbagai pihak dan akibatnya ada perlumbaan untuk membangunkan komputer kuantum di negara-negara maju. Namun secara realiti, komputer kuantum yang dibangunkan setakat ini masih pada tahap pembuktian prinsip dan hanya menyelesaikan kes masalah mudah. Meningkatkan penskalaan komputer kuantum adalah masalah kejuruteraan yang sangat rumit sehingga ada segelintir para saintis tidak percaya bahawa komputer kuantum sedemikian dapat dibina.

Peter Shor, pemenang Micius Quantum Prize 2018
Sumber: http://news.mit.edu/2019/mit-professor-peter-shor-wins-micius-quantum-prize-0426
Kesukaran pembangunan komputer kuantum ini tidak menghalang para penyelidik  untuk meneruskan usaha pengkomputeran kuantum. Lewat tahun lepas, syarikat Google telah berjaya mendemonstrasikan kehandalan kuantum (quantum supremacy) dengan cip komputer kuantum, Sycamore. Dikatakan komputer ini dapat menjalankan suatu komputasi yang akan mengambil komputer biasa ribuan tahun, dalam hanya beberapa minit. Kejayaan ini (walaupun disanggah oleh IBM pesaing mereka) memberi suatu harapan baharu kepada dunia pengkomputeran kuantum.

Cip Sycamore
(Sumber: https://www.sciencenews.org/article/google-quantum-supremacy-claim-controversy-top-science-stories-2019-yir)
Para teknologis menjangkakan akan ada dua jenis pengkomputeran kuantum yang (bakal) dibangunkan iaitu komputer kuantum bermatlamat khas (jangka masa sederhana) dan komputer kuantum universal (jangka panjang). Jenis pertama, mungkin bersifat prototaip atau dalam bentuk simulator kuantum; menggunakan sistem kuantum terekabentuk (engineered) untuk simulasi sistem kuantum yang lebih kompleks. Simulator kuantum ini lebih dekat dengan cadangan asal Feynman dan dianggap lebih membantu masalah saintifik. Manakala jenis kedua adalah menggambarkan sebuah komputer yang dapat menjalankan pelbagai jenis algoritma tanpa tujuan tertentu. Kerumitan yang dihadapi dapat dikelaskan kepada dua iaitu perkakasan dan algoritma. Dari segi perkakasan kuantum, terdapat beberapa jenis teknologi yang bersaing untuk pembangunan komputer kuantum. Yang dibina oleh Google di atas (dan juga IBM) adalah berasaskan teknologi superkonduktor. Dari sudut algoritma, algoritma kuantum yang ada, masih sedikit dan strukturnya masih kurang difahami. Kemajuan dalam memahami algoritma kuantum akan dapat membantu merealisasi matlamat jangka panjang komputer kuantum universal. Terkini, kumpulan pengkomputeran kuantum Cambridge dan Oxford berjaya membuat simulasi pemprosesan bahasa alamiah (natural language processing) pada komputer kuantum, menjangkaui aspek komputasi yang lazim. Satu lagi kejayaan.


Penyelidikan Antarabangsa dan Tempatan

Penyelidikan teknologi kuantum kini rancak dijalankan di seluruh dunia. Di negara maju, inisiatif atau program kebangsaan telah dibentuk supaya negara masing-masing kekal berada di sempadan hadapan teknologi ini (lihat https://iopscience.iop.org/journal/2058-9565/page/Focus_on_quantum_science_and_technology_initiatives_around_the_world dan https://iopscience.iop.org/issue/2058-9565/4/4). Kebanyakan negara ini menjangkakan perubahan drastik teknologi bersertakan kelebihan kuasa ekonomi dengan adanya kemajuan teknologi kuantum. Di Amerika Syarikat, kelihatan pihak swasta menjuarai penyelidikan teknologi kuantum dengan pengibatan IBM, Google & Microsoft. Kuasa besar yang kini menyaingi Amerika Syarikat adalah China yang berazam untuk menjadi juara teknologi kuantum dunia. Di sini, kerajaan pusat China memainkan peranan utama dalam memajukan teknologi kuantum. Antara yang menarik adalah pelancaran satelit kuantum Micius yang bertujuan mengembangkan rangkaian komunikasi kuantum di peringkat global. Kesatuan Eropah pula mengambil jalan tengah dengan tenaga akademik di universiti masih berperanan utama dan pihak swasta sebagai rakan penyelidikan bersama.

Di Asia Tenggara sendiri, penyelidikan teknologi dijuarai oleh Singapura dengan penubuhan Centre for Quantum Technologies di National University of Singapore pada tahun 2007. Sebenarnya penglibatan Singapura dalam sains dan teknologi kuantum bermula lebih awal lagi iaitu pada sekitar lewat 90-an di atas usahasama Kwek Leong Chuan, Lai Choy Heng, Oh Choo Hiap dan Kuldip Singh. Trajektori penyelidikan mereka bermula dengan aspek teori kemudian diikuti dengan eksperimen komunikasi kuantum apabila NUS merekrut ahli eksperimen seperti Christian Kurtsiefer dan Antia Lamas Linares, Seterusnya aspek sains komputer dan eksperimen atom sejuk turut diceburi oleh Singapura. Selain Singapura, akhir-akhir ini,Thailand juga telah melatih saintis mereka dalam bidang teknologi kuantum dan kini mempunyai tenaga kerja kritikal untuk meneruskan penyelidikan sains kuantum di negara mereka sendiri. Begitu juga Indonesia sudah menandatangani memorandum persefahaman dengan pihak Singapura untuk mengembangkan rangkaian komunikasi kuantum.

Bagaimana pula Malaysia? Malaysia juga tidak ketinggalan menyertai penyelidikan teknologi kuantum. Pada sekitar awal abad ke-21, pihak MIMOS bersama UIAM telah menjalankan aktiviti mengenai eksperimen pengagihan kunci kuantum (QKD) melalui udara serta terlibat dalam kerjasama mengenai polisi dan standard QKD (sila lihat teks jurnal di bawah). Pada rancangan Malaysia ke-10, MIMOS telah beralih arah ke teknologi sensor dalam sektor pertanian dan kesihatan dan penyelidikan kriptografi kuantum hanya disambung oleh penyelidik UIAM, khususnya dalam bentuk teori.


Sumber: https://iopscience.iop.org/article/10.1088/1367-2630/11/5/055051
Di UPM sendiri, penyelidikan kuantum tertumpu hanya kepada aspek teori khususnya dalam asas matematik teori kuantum. Antara yang berkaitan dengan teori maklumat kuantum adalah mengenai kontekstualiti dan keterbelitan (entanglement). Kedua-dua konsep ini sering timbul dalam penyelidikan komunikasi kuantum dan pengkomputeran kuantum sebagai suatu sumber pemprosesan maklumat kuantum. Setakat ini, tiada lagi penyelidikan berbentuk eksperimen teknologi kuantum dijalankan di Malaysia dan ini merupakan suatu kekangan untuk akses teknologi kuantum dan menyertai perlumbaan di peringkat dunia. Beberapa pertimbangan faktor perlu dibuat untuk sebarang cubaan memasuki aspek eksperimen teknologi kuantum. Pertama, teknologi manakah yang dapat dicapai secara realistik iaitu yang jurang teknologinya tidak begitu besar. Kedua adalah kesediaan para penyelidik eksperimen untuk melalui risiko dalam sesuatu yang baharu. Ketiga adalah peluang akses kepada pengetahuan tersirat pakar antarabangsa. Keempat adalah mendapatkan pembiayaan eksperimen tersebut.

Pada akhir tahun 2019, suatu perbincangan antara penyelidik kumpulan optik UPM, pengurusan INSPEM dan juga pakar-pakar dari Singapura telah diadakan. Perancangan telah dibuat untuk UPM menceburi teknologi komunikasi kuantum khususnya dalam sumber foton tunggal, rangkaian komunikasi kuantum dan kriptografi kuantum pelbagai pengguna. Pemilihan bidang dibuat berdasarkan kepentingan memindahkan teknologi kuantum untuk menjamin sekuriti maklumat negara serta mengambilkira kepakaran fotonik yang sedia ada. Besar harapan kami agar perancangan ini dapat direalisasikan dalam Rancangan Malaysia ke-12 bagi kesediaan negara menghadapi era teknologi kuantum.




Rujukan

31.12.19

Di Sebalik (Bahasa) Kuantum

Pada bulan Ogos 2019 yang lalu, saya menerima jemputan dari pihak pelajar sebuah universiti tempatan untuk memberi ceramah bertajuk "Alam Kuantum - Refleksi dari 'Ant Man and the Wasp'". Kemungkinan tajuk ini diberi kerana Majalah Sains telah menerbit semula makalah blog saya yang lepas dengan tajuk yang sama. Pada asalnya saya bersedia untuk memberi ceramah tersebut, namun setelah beberapa hari berfikir, saya memberi balasan e-mel, akan bersetuju sekiranya tidak dikaitkan dengan filem berkenaan. Selepas itu, saya menerima maklum balas bahawa sudah ada peneceramah lain yang akan beri ceramah tersebut.

Makalah ini sebenarnya ingin menjelaskan kenapa saya meletakkan syarat tersebut dan bukan melahirkan rasa tidak puas hati atau kecewa (jauh sama sekali). Pada pandangan peribadi saya, salah satu perkara yang agak rumit untuk dikendali adalah salah persepsi dan salah faham berleluasa akibat popularisasi sains oleh pembaca umum. Popularisasi sains itu memang perlu tetapi ada keperluan menyedari aspek-aspek sensasi, tokok-tambah, fantasi atau mainan minda yang boleh berlaku dalam makalah sains popular. Lazimnya popularisasi sains akan memudahkan konsep-konsep rumit bagi tatapan umum dan kadangkala memberi analogi untuk memudahkan kefahaman. Lantas itu, jika diambil secara literal boleh menyebabkan kekeliruan dan salah faham. Apatah lagi jika dimuatkan pula fantasi dalam bentuk fiksyen sains seperti yang berlaku dalam filem Marvel. Dengan sebab itu, saya mengambil kedudukan sebagai seorang ahli fizik teori yang ingin mengelakkan sebarang bentuk salah faham setakat mana yang mampu dan cuba menceritakan apa yang berlaku dan diterima (sepakat) dalam penyelidikan fizik.

Antara ilmu fizik yang selalu menjadi mangsa kepada ketempangan salah faham ini adalah teori kuantum. Kita sering mendengar ungkapan seperti fizik kuantum itu aneh. Ada pula yang mengungkapkan Feynman sebagai berkata "Tiada siapa yang memahami mekanik kuantum". Seperti kata Philip Ball dalam bukunya "Beyond Weird" (lihat juga makalah Quanta beliau), ini bukan bermaksud Feynman tidak faham langsung mengenai mekanik kuantum walhal beliau mengasaskan sejenis formalisme mekanik kuantum baharu (formalisme kamiran lintasan), tetapi pengertian formalisme ini akan mengalami kejanggalan jika diungkap dalam bahasa harian kita. Sebagai contoh bagi eksperimen dua celah, dikatakan zarah dapat berada dalam dua kedudukan dalam satu masa atau melalui dua celah serentak (jika dalam formalisme Feynman pula lebih teruk kerana zarah melalui semua lintasan yang mungkin). Bahasa matematik teori kuantum itu sendiri tidak mengatakan yang demikian: yang ada ialah gelombang kebarangkalian itu melalui dua celah tersebut serentak. Jika kita terima jawapan sebegini, pertanyaan seterusnya pula adalah apa sebenarnya gelombang kebarangkalian. Di sini persoalan tersebut akan membawa kita menempuhi pelbagai mazhab penafsiran teori kuantum, yang sebenarnya tiada kata sepakat pun. Dengan sebab itu mazhab Copenhagen berkefahaman bahawa teori kuantum sebenarnya adalah teori tentang bagaimana kita dapat perihal objek kuantum dan bukan mengenai objek kuantum itu sendiri. Idea sedemikianlah yang menyebabkan ramai ahli fizik mengambil sikap baik senyap dan buat pengiraan (shut up and calculate). Namun ini bukan bermaksud komuniti ahli fizik bersifat begitu pengalah tetapi lebih cenderung kepada mencari perkara yang lebih produktif dalam menyelesaikan masalah. Ramai sahaja ahli fizik yang berminat untuk menyelidiki masalah asas teori kuantum tapi jika hanya menemui jalan buntu akan beralih kepada aspek lain.

Kini dengan berkembangnya teori maklumat kuantum, lebih ramai penyelidik yang berminat dalam masalah asas teori kuantum. Malah ada yang cuba membina semula teori kuantum tanpa melalui jalan yang sama seperti fizik kuantum lazim. Antara penyelidik awal yang berjaya berbuat demikian adalah Lucien Hardy dengan kertas kerja beliau bertajuk "Quantum Theory From Five Reasonable Axioms". (Catatan: Lucien Hardy menjalankan penyelidikan PhD pada masa yang sama dengan penulis di Durham dan penyelia beliau adalah Euan Squires, pengarang buku popular "The Mystery of the Quantum World".) Aksiom-aksiom teori beliau berkisar sekitar konsep keadaan sistem (kuantum), darjah kebebasan sistem, kebarangkalian hasil pengukuran, sistem komposit atau berbilang dan bagaimana keadaan atau kebarangkalian bergantung kepada darjah kebebasan. Dalam cara lain boleh dirumuskan bahawa teori Hardy hanya merupakan suatu teori pengukuran bersama kebarangkalian yang boleh menyamai teori kuantum. Atas kejayaan ini, penyelidik lain mula mengemukakan teori kebarangkalian teritlak yang dapat memuatkan teori kuantum sendiri (lihat https://arxiv.org/abs/1402.6562). Selain Hardy, Clifton, Bub dan Halvorson juga mengemukakan suatu teori lain berdasarkan penemuan-penemuan dalam teori maklumat kuantum seperti tiada pemindahan maklumat superluminal (lebih laju daripada cahaya), kekangan sekuriti unit maklumat yang ditukar-balas (bit commitment) dan aspek-aspek aljabar, dan teori tersebut dapat menemukan ciri-ciri teori kuantum. Ini diikuti dengan Chiribella, d'Ariano dan Perinotti yang membangunkan teori kuantum berdasarkan teori maklumat (lihat juga https://arxiv.org/abs/1506.00398).

Mungkin pembaca kini tersentak minda dengan pelbagai soalan seperti "takkanlah teori kuantum hanyalah suatu teori maklumat tentang dunia mikroskopik". Bagaimana pula aspek gelombang bagi zarah kuantum yang selalu dicanang dalam konsep kedualan zarah-gelombang deBroglie? Apakah gelombang ini merujuk kepada sesuatu sifat? Untuk perkara ini, kita beralih kepada suatu teori mainan Spekkens yang dikatakan hampir menyamai teori kuantum termasuk menerbitkan aspek interferens (ciri yang ada dalam gelombang). Teori Spekkens berdiri di atas suatu prinsip yang dinamakan Prinsip Pengetahuan Seimbang (Balanced Knowledge Principle) yang menyatakan pengetahuan yang kita ketahui tentang sistem, sebenarnya mesti setara dengan kejahilan kita tentang sistem tersebut. Apabila penulis mula-mula membaca penyelidikan Spekkens ini (walaupun tidak menghasilkan teori kuantum sepenuhnya), penulis rasa tertarik dengan idea batasan pengetahuan, seolah-olah menyamai idea prinsip ketakpastian Heisenberg. Malah akhirnya memang penyelidikan Spekkens adalah ke arah perkara tersebut. Apa yang penting yang perlu ditonjolkan di sini adalah konsep interferens yang muncul daripada aspek batas pengetahuan dan secara tak langsung memberi implikasi bahawa sifat gelombang adalah suatu artifak teori mainan ini. Teori Spekkens sebenarnya adalah sejenis teori pembolehubah tersembunyi yang menghampiri teori kuantum dalam sesetengah ciri. Boleh disoalkan di sini, apakah yang perlu kita tambah dalam teori Spekkens bagi menghasilkan teori kuantum? Diberitakan Spekkens akhirnya meninggalkan Prinip Pengetahuan Seimbangnya dan mengambilpakai Prinsip (Transformasi) Simplektik.

Pengarang bersama Bob Coecke (kiri) dan Robert Spekkens (kanan)

Pengarang bersama Robert Spekkens (tengah) dan Jesni Shamsul Shaari (kanan)

Sekiranya pembaca ingin mengatakan teori kuantum bukan hanya mengenengahkan aspek gelombang (yang turut berlaku dalam teori Spekkens) tapi teori kuantum juga ada prinsip ketakpastian Heisenberg yang sangat penting. Seperti telah disebutkan di atas Prinsip Keseimbangan Pengetahuan sudah ada kesamaannya dengan prinsip Heisenberg. Malah prinsip yang Spekkens bawa kemudiannya (Prinsip Simplektik) menunjuk kepada suatu arah keputusan matematik yang ramai tidak tahu. Aspek batasan pengetahuan itu sendiri sudah ada dalam teori mekanik klasik iatu dalam bentuk Teorem Nyah-himpit Gromov. Teorem ini menyatakan isipadu ruang fasa (ruang pembolehubah kedudukan dan momentum) tidak boleh dihimpit atau dileperkan sebarangan. Sudah pun ada penyelidik (Maurice deGosson) yang cuba mengaitkan teorem ini (yang munculnya dari konsep topologi simplektik) dengan prinsip ketakpastian Heisenberg (yang muncul daripada ketakserasian pembolehcerap) seperti dalam makalah ini. Sekali lagi bermain di minda samada teori kuantum boleh diterbitkan dengan bahasa matematik yang lain, mendekatkan mekanik kuantum dengan mekanik klasik.

Perlu ditekankan bahawa ada banyak lagi masalah asas teori kuantum boleh dibangkitkan di sini seperti Teorem Kochen-Specker menidakkan idea nilai automatik kepada sifat-sifat fizik (nombor nyata yang kita dapat beri kepada pembolehcerap dalam bentuk nilai eigen) yang membawa kepada pelbagai persoalan bahasa matematik (dan maknanya) yang ingin diberi kepada teori kuantum. Mungkin sahaja bahasa yang kita pakai untuk teori kuantum sekarang ini kurang sesuai sehinggakan kita menyalahkan teori kuantum ini pelik!