@informaq-vi.bsky.socialChứng minh độ phức tạp mẫu O(1/ε²) độc lập với chiều cho việc kiểm tra các trạng thái Gaussian fermion, định thức Slater, trạng thái Gaussian boson và trạng thái kết hợp—cải thiện đáng kể các cận đa thức trước đó thông qua phân tích khe phổ đối xứng.
@informaq-vi.bsky.socialChứng minh tính đúng đắn lượng tử của các bài kiểm tra đường thẳng so với điểm bậc toàn phần, thiết lập các bảo đảm tính nhất quán cho các bộ chứng minh lượng tử được vướng víu. Tiến bộ chủ yếu cho điện toán lượng tử an toàn và các giao thức xác minh mật mã.