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