Máy tính lượng tử thường được nhắc đến qua những khái niệm giàu sức gợi như chồng chập, rối lượng tử hay khả năng xử lý một số bài toán theo cách khác máy tính cổ điển. Tuy nhiên, phía sau những triển vọng đó là một vấn đề thực tế ít hào nhoáng hơn nhưng có tính quyết định: làm thế nào để giữ cho thông tin lượng tử không bị sai lệch trong suốt quá trình tính toán.
Trong máy tính thông thường, lỗi có thể xuất hiện khi một bit bị lật từ 0 thành 1 hoặc ngược lại. Hệ thống có thể dùng các bit kiểm tra, cơ chế sao lưu và nhiều lớp phần mềm để phát hiện hoặc khắc phục tình trạng này. Với máy tính lượng tử, bài toán phức tạp hơn nhiều. Một qubit có thể tồn tại trong trạng thái chồng chập, đồng thời mang các biên độ xác suất liên quan đến nhiều khả năng đo. Việc kiểm tra trực tiếp trạng thái ấy có thể làm thay đổi chính thông tin cần bảo vệ.
Vì sao thông tin lượng tử dễ mắc lỗi?
Qubit được tạo ra từ những hệ vật lý rất nhỏ, chẳng hạn các mạch siêu dẫn, ion bị bẫy hoặc những nền tảng khác đang được nghiên cứu. Các hệ này phải duy trì những đặc tính lượng tử trong môi trường được kiểm soát chặt chẽ. Nhiệt, dao động điện từ, tạp âm trong thiết bị điều khiển và tương tác ngoài ý muốn với môi trường đều có thể làm trạng thái lượng tử suy giảm.
Quá trình một hệ lượng tử mất dần tính chất chồng chập và rối do tương tác với môi trường thường được gọi là sự mất kết hợp. Khi hiện tượng này xảy ra, thông tin mà thuật toán cần sử dụng có thể bị biến dạng trước khi phép tính hoàn tất. Ngoài ra, các thao tác điều khiển qubit cũng không hoàn hảo tuyệt đối. Một cổng lượng tử có thể tạo ra sai số nhỏ về góc quay, thời điểm hoặc biên độ. Những sai số tưởng như không đáng kể sẽ tích lũy khi mạch tính toán có nhiều bước.
Đây là điểm khác biệt quan trọng giữa việc trình diễn một phép tính ngắn và xây dựng một máy tính lượng tử có khả năng giải quyết bài toán thực tế. Một hệ thống thử nghiệm có thể cho thấy qubit hoạt động và một số thao tác có thể thực hiện. Nhưng để chạy thuật toán dài, máy phải duy trì thông tin đủ lâu, thực hiện nhiều phép biến đổi chính xác và cho kết quả có thể kiểm chứng. Nếu không có cơ chế chống lỗi, quy mô mạch càng tăng thì nguy cơ kết quả bị nhiễu càng lớn.
Từ sửa lỗi cổ điển đến sửa lỗi lượng tử
Trong truyền thông và máy tính cổ điển, một cách phổ biến để bảo vệ dữ liệu là thêm thông tin dư thừa. Chẳng hạn, dữ liệu có thể được mã hóa thành một chuỗi dài hơn để bên nhận nhận ra một số mẫu sai và phục hồi nội dung ban đầu. Ý tưởng này cũng xuất hiện trong sửa lỗi lượng tử, nhưng không thể áp dụng nguyên xi.
Không thể đơn giản sao chép một qubit chưa biết sang nhiều qubit khác, bởi các nguyên lý cơ bản của cơ học lượng tử không cho phép tạo bản sao hoàn hảo của một trạng thái lượng tử tùy ý. Hơn nữa, phép đo trực tiếp có thể làm sụp đổ chồng chập và phá hỏng thông tin. Do đó, các nhà nghiên cứu phải mã hóa một qubit logic, tức qubit dùng trong thuật toán, vào trạng thái chung của nhiều qubit vật lý. Thông tin được phân bổ theo một cách cho phép phát hiện dấu hiệu của lỗi mà không cần đọc thẳng nội dung lượng tử đang được bảo vệ.
Các phép đo phụ trợ, thường được gọi là phép đo hội chứng lỗi, có thể cho biết một lỗi đã xảy ra ở khu vực nào hoặc thuộc dạng nào. Kết quả của phép đo này không nhất thiết tiết lộ trạng thái logic bên trong. Hệ thống sau đó dùng thông tin về hội chứng để áp dụng thao tác hiệu chỉnh, hoặc ghi nhận lỗi và xử lý nó trong các bước tiếp theo. Đây là một trong những ý tưởng nền tảng của sửa lỗi lượng tử: đo thông tin về lỗi thay vì đo trực tiếp dữ liệu lượng tử.
Qubit vật lý và qubit logic
Một qubit vật lý là phần tử thực sự tồn tại trong thiết bị, chẳng hạn một đơn vị phần cứng có thể được điều khiển và đo lường. Qubit logic là đơn vị thông tin đã được mã hóa bằng nhiều qubit vật lý nhằm có khả năng chống chịu lỗi tốt hơn. Sự phân biệt này rất quan trọng khi đánh giá quy mô của máy tính lượng tử.
Một máy có nhiều qubit vật lý chưa chắc đã có năng lực tương đương với một máy có số lượng qubit logic nhỏ hơn nhưng ổn định hơn. Phần cứng phải dành một số qubit vật lý cho việc lưu trữ thông tin dư thừa, đo hội chứng và thực hiện các thao tác kiểm soát. Vì vậy, khi nói về một hệ thống lượng tử có thể chạy thuật toán dài và đáng tin cậy, câu hỏi không chỉ là máy có bao nhiêu qubit, mà còn là bao nhiêu qubit logic hoạt động với tỷ lệ lỗi chấp nhận được.
Để xây dựng qubit logic, một kiến trúc thường cần tổ chức các qubit vật lý thành cấu trúc mã hóa có quy tắc. Các phép đo kiểm tra được lặp lại theo thời gian để theo dõi những biến đổi bất thường. Bài toán khi đó không chỉ là sửa một lỗi đơn lẻ. Hệ thống còn phải phân biệt lỗi mới phát sinh với lỗi do phép đo kiểm tra bị nhiễu, sắp xếp lịch điều khiển, truyền dữ liệu đo về bộ xử lý cổ điển và đưa ra quyết định đủ nhanh để không làm chậm toàn bộ phép tính.
Ngưỡng lỗi và bài toán mở rộng quy mô
Một kết quả quan trọng trong lý thuyết sửa lỗi lượng tử là ý tưởng về ngưỡng lỗi. Ở mức khái quát, nếu tỷ lệ lỗi của các thao tác vật lý thấp hơn một ngưỡng nhất định và kiến trúc mã hóa phù hợp, việc tăng quy mô mã có thể làm giảm tỷ lệ lỗi của qubit logic. Điều này mở ra khả năng xây dựng hệ thống chịu lỗi bằng cách dùng nhiều phần tử vật lý hơn.
Tuy nhiên, ngưỡng lỗi không phải là một con số chung cho mọi loại phần cứng và mọi thiết kế. Nó phụ thuộc vào mô hình lỗi, khả năng kết nối giữa các qubit, độ chính xác của cổng lượng tử, chất lượng phép đo, thời gian giữ trạng thái và cách hệ thống thực hiện việc giải mã. Một kiến trúc có tỷ lệ lỗi vật lý tốt nhưng kết nối hạn chế vẫn có thể gặp khó khăn khi triển khai mã sửa lỗi. Ngược lại, một thiết kế có cách kết nối thuận lợi có thể giảm bớt một phần chi phí điều khiển.
Chi phí mở rộng là thách thức lớn. Để có một qubit logic ổn định, hệ thống có thể cần nhiều qubit vật lý cùng các đường điều khiển, thiết bị làm lạnh hoặc cách ly, bộ điện tử đọc tín hiệu và phần mềm giải mã. Khi số qubit tăng, việc duy trì đồng bộ và giảm nhiễu trở nên phức tạp hơn. Sửa lỗi vì thế không phải một lớp phần mềm được cài thêm ở cuối dự án, mà phải được tính đến ngay từ thiết kế phần cứng, giao thức điều khiển và kiến trúc máy.
Vai trò của phần mềm và hệ thống điều khiển
Quan niệm rằng sửa lỗi lượng tử chỉ là vấn đề của phần cứng là chưa đầy đủ. Các phép đo hội chứng tạo ra dòng dữ liệu cần được phân tích để suy ra chuỗi lỗi có khả năng đã xảy ra. Bộ giải mã phải hoạt động đủ nhanh, đồng thời hạn chế quyết định sai. Nó thường kết hợp thuật toán cổ điển với phần cứng chuyên dụng để xử lý dữ liệu gần thời gian thực.
Trình biên dịch và hệ thống điều phối cũng phải biết đặc điểm của thiết bị. Một thuật toán lượng tử ở dạng trừu tượng cần được ánh xạ vào những qubit vật lý cụ thể, trong khi các phép đo kiểm tra và thao tác hiệu chỉnh phải được bố trí sao cho hạn chế xung đột. Việc sắp xếp này có thể ảnh hưởng đến độ sâu mạch, thời gian chạy và xác suất lỗi. Do đó, ranh giới giữa phần mềm lượng tử, điều khiển thiết bị và sửa lỗi ngày càng trở nên liên kết chặt chẽ.
Điều gì sẽ thay đổi khi sửa lỗi hoạt động hiệu quả?
Nếu qubit logic có thể được duy trì ổn định trong thời gian đủ dài, máy tính lượng tử sẽ tiến gần hơn đến mô hình tính toán có khả năng chịu lỗi. Khi đó, các nhà phát triển không chỉ thử nghiệm những mạch ngắn để minh họa hiện tượng lượng tử, mà có thể thiết kế thuật toán gồm nhiều lớp thao tác với yêu cầu chính xác cao hơn. Những hướng ứng dụng thường được thảo luận như mô phỏng hệ vật chất, nghiên cứu hóa học hoặc một số bài toán tối ưu sẽ cần nền tảng đáng tin cậy như vậy.
Tuy nhiên, sửa lỗi không tự động biến mọi máy tính lượng tử thành công cụ hữu ích cho mọi lĩnh vực. Hiệu quả còn phụ thuộc vào thuật toán, dữ liệu đầu vào, thời gian chạy, chi phí vận hành và khả năng so sánh với các phương pháp cổ điển. Một hệ thống có qubit logic ổn định vẫn phải chứng minh rằng nó tạo ra lợi ích thực tế, thay vì chỉ đạt được độ phức tạp kỹ thuật cao.
Trong giai đoạn hiện nay, việc đánh giá tiến bộ cũng cần thận trọng. Số lượng qubit, tỷ lệ lỗi của một phép cổng hoặc một màn trình diễn đơn lẻ chỉ phản ánh từng lát cắt của hệ thống. Bức tranh đầy đủ hơn phải xem xét độ tin cậy của toàn bộ chuỗi: tạo và giữ qubit, điều khiển, đo lường, mã hóa, giải mã, biên dịch và chạy thuật toán. Một cải tiến nhỏ ở một khâu có thể không tạo ra bước tiến đáng kể nếu các khâu khác vẫn là điểm nghẽn.
Nền móng cho máy tính lượng tử đáng tin cậy
Sửa lỗi lượng tử cho thấy con đường phát triển của công nghệ này không chỉ là cuộc đua tạo ra những thiết bị có nhiều qubit hơn. Đó còn là bài toán xây dựng một hệ thống biết phát hiện sai lệch, giới hạn tác động của nhiễu và bảo vệ thông tin trong nhiều lớp hoạt động khác nhau. Những nguyên lý của cơ học lượng tử khiến nhiệm vụ này khó hơn sửa lỗi cổ điển, nhưng cũng tạo ra các phương pháp bảo vệ dữ liệu đặc thù mà không cần đọc trực tiếp trạng thái logic.
Trong tương lai, chất lượng của qubit logic có thể trở thành thước đo quan trọng hơn số lượng qubit vật lý được công bố. Khi các cơ chế mã hóa, phần cứng điều khiển và bộ giải mã cùng tiến bộ, máy tính lượng tử mới có cơ hội vượt qua giai đoạn trình diễn để trở thành nền tảng tính toán ổn định. Trước khi nói đến những bài toán lớn mà máy có thể giải, câu hỏi căn bản vẫn là: mỗi thông tin lượng tử có thể được giữ đúng đến đâu. Câu trả lời cho câu hỏi đó nằm ở năng lực sửa lỗi.
