Các Nền Tảng và Tiên Đề của Cơ Học Lượng Tử
Các nền tảng của cơ học lượng tử phát biểu, dưới dạng một tập hợp nhỏ các tiên đề, rằng một hệ vật lý được mô tả bằng một vectơ trong không gian Hilbert, rằng các đại lượng đo được tương ứng với các toán tử Hermitian, và rằng phép đo mang lại các giá trị riêng với xác suất được xác định bởi trạng thái.
Definition
Các tiên đề của cơ học lượng tử là những giả định nền tảng quy định cách các trạng thái vật lý, các đại lượng quan sát được, các phép đo và động lực học được biểu diễn bằng toán học, từ đó tất cả các dự đoán của lý thuyết lượng tử phi tương đối tính được suy ra.
Scope
Lĩnh vực này bao gồm cấu trúc tiên đề của lý thuyết lượng tử: biểu diễn các trạng thái dưới dạng các tia trong không gian Hilbert phức, các đại lượng quan sát được dưới dạng các toán tử tự liên hợp, quy tắc Born liên kết biên độ với xác suất, sự tiến hóa thời gian đơn nhất, sự sụp đổ của trạng thái khi đo lường, và ngôn ngữ bra-ket thể hiện những ý tưởng này một cách cô đọng.
Sub-topics
Core questions
- Đối tượng toán học nào biểu diễn trạng thái của một hệ lượng tử?
- Các đại lượng vật lý có thể đo được được mã hóa thành các toán tử như thế nào?
- Quy tắc nào liên kết trạng thái lượng tử với xác suất của các kết quả đo lường?
- Trạng thái tiến hóa theo thời gian như thế nào và nó thay đổi ra sao khi một phép đo được thực hiện?
Key concepts
- không gian Hilbert
- nguyên lý chồng chất
- đại lượng quan sát Hermitian
- quy tắc Born
- sụp đổ hàm sóng
- tiến hóa thời gian đơn nhất
Key theories
- Tiên đề vectơ trạng thái
- Trạng thái hoàn chỉnh của một hệ lượng tử cô lập được biểu diễn bằng một vectơ đơn vị trong không gian Hilbert phức, được xác định chỉ đến một pha tổng thể, sao cho sự chồng chất của các trạng thái cũng là các trạng thái hợp lệ.
- Tiên đề đại lượng quan sát và phép đo
- Mỗi đại lượng đo được tương ứng với một toán tử Hermitian mà các giá trị riêng của nó là các kết quả có thể; quy tắc Born đưa ra xác suất của mỗi kết quả là bình phương độ lớn của hình chiếu trạng thái lên vectơ riêng tương ứng, sau đó trạng thái sụp đổ về vectơ riêng đó.
- Tiên đề tiến hóa đơn nhất
- Giữa các phép đo, trạng thái tiến hóa liên tục và xác định bởi một phép biến đổi đơn nhất được tạo ra bởi Hamiltonian, bảo toàn tổng xác suất, đây là nội dung của phương trình Schrodinger dưới dạng toán tử trừu tượng của nó.
Clinical relevance
Những tiên đề này là các quy tắc vận hành đằng sau mọi dự đoán lượng tử, từ phổ nguyên tử và liên kết hóa học đến laser, chất bán dẫn và xử lý thông tin lượng tử; cấu trúc xác suất và chồng chất của chúng là điều phân biệt công nghệ lượng tử với kỹ thuật cổ điển.
History
Khung lý thuyết này đã được hình thành rõ ràng từ năm 1925 đến 1932, khi cơ học ma trận của Heisenberg và cơ học sóng của Schrodinger được chứng minh là tương đương, Born giải thích hàm sóng như một biên độ xác suất, Dirac thống nhất hình thức hóa trong lý thuyết biến đổi, và von Neumann đã đặt nền tảng không gian Hilbert chặt chẽ cho nó.
Debates
- Vấn đề đo lường
- Các tiên đề ghép nối sự tiến hóa đơn nhất mượt mà với một sự sụp đổ đột ngột, phi đơn nhất khi đo lường, và chúng không nói rõ điều gì cấu thành một phép đo về mặt vật lý; các cách diễn giải từ Copenhagen đến đa thế giới và các mô hình sụp đổ khách quan không đồng ý về cách thức, hoặc liệu, sự sụp đổ có xảy ra hay không.
Key figures
- Paul Dirac
- John von Neumann
- Werner Heisenberg
- Erwin Schrodinger
- Max Born
Related topics
Seminal works
- dirac1981
- vonneumann1955
Frequently asked questions
- Tại sao các trạng thái lượng tử phải tồn tại trong không gian Hilbert thay vì không gian thông thường?
- Không gian Hilbert cung cấp tích vô hướng cần thiết để tính toán xác suất và cấu trúc tuyến tính cần thiết cho sự chồng chất; các vectơ của nó mã hóa biên độ cho mọi kết quả có thể thay vì một vị trí duy nhất, đây là điều cho phép giao thoa và vướng víu.
- Các tiên đề có được suy ra từ các nguyên tắc sâu sắc hơn không?
- Trong cơ học lượng tử tiêu chuẩn, chúng được coi là các tiên đề được biện minh bởi sự thành công trong dự đoán của chúng; các chương trình tái cấu trúc khác nhau cố gắng suy ra chúng từ các giả định lý thuyết thông tin hoặc hoạt động, nhưng không có một sự suy luận nào được chấp nhận rộng rãi.