Tôi đang bị lẫn lộn về ý nghĩa của thuật ngữ "ancilla" qubit. Việc sử dụng dường như thay đổi rất nhiều trong các tình huống khác nhau. Tôi đã đọc (ở nhiều nơi) rằng ancilla là đầu vào không đổi - nhưng trong gần như tất cả các thuật toán tôi biết (Simion, Grover's, v.v.) tất cả các qubit đều là đầu vào không đổi và do đó sẽ được coi là ancilla. Cho rằng điều này dường như không phải là trường hợp - ý nghĩa chung của một qubit "ancilla" trong máy tính lượng tử là gì?
Câu trả lời:
Ý nghĩa chung của ancilla trong ancilla qubit là phụ trợ . Cụ thể, khi mọi người viết về "đầu vào không đổi", ý nghĩa của nó là, đối với một thuật toán nhất định - mục đích của nó là gì, chẳng hạn như tìm các thừa số nguyên tố của một số đầu vào hoặc thực hiện một phép toán số học đơn giản giữa hai số đầu vào giá trị các qubit ancilla sẽ độc lập với giá trị của đầu vào.
Có lẽ sự nhầm lẫn của bạn phát sinh do một số thuật toán nghiên cứu một hàm, sử dụng đầu vào không đổi, thay vì nghiên cứu một đầu vào, sử dụng hàm hằng. Có thể trong những trường hợp này, thuật ngữ ancilla qubit có ý nghĩa ít hơn, vì, như bạn chỉ ra, tất cả các qubit đầu vào là không đổi và hoạt động như ancillae .
Khi dịch một mạch cổ điển thành một mạch lượng tử, bạn thường cần phải giới thiệu thêm các qubit đơn giản vì máy tính lượng tử chỉ thực hiện logic đảo ngược. Các qubit phụ như vậy là ancilla (hoặc qubit phụ trợ).
Một cách để phát hiện ra các qubit nào là ancilla là tìm kiếm các qubit đó thường cần phải "không tính toán" khi sử dụng mạch lượng tử như một nhà tiên tri lượng tử trong thuật toán lượng tử khác.