Quantum Information

With the recent construction of quantum low-density parity-check (LDPC) codes with optimal asymptotic parameters, finding methods to perform low-overhead computation using those constructions has become a central problem of quantum error-correction. In particular, triorthogonal codes---which admit transversal non-Clifford operations---are of particular interest, but few examples of these codes are presently known. In our work, we introduce a new family of codes, the quantum rainbow codes, a generalization of pin codes and color codes, that can be constructed from any chain complex. When applied to the hypergraph product of three complexes, we show that those codes can implement transversal non-Clifford gates and have improved parameters compared to pin codes. Considering expander graphs with large girth as the input complexes, we can for instance obtain families of triorthogonal codes with parameters [[n,Θ(n^{2/3}),Θ(log(n))]].

---

Zoom link 

Particle physics underpins our understanding of the world at a fundamental level by describing the interplay of matter and forces through gauge theories. Yet, despite their unmatched success, the intrinsic quantum mechanical nature of gauge theories makes important problem classes notoriously difficult to address with classical computational techniques. A promising way to overcome these roadblocks is offered by quantum computers, which are based on the same laws that make the classical computations so difficult. Here, we present a quantum computation of the properties of the basic building block of two-dimensional lattice quantum electrodynamics, involving both gauge fields and matter. This computation is made possible by the use of a trapped-ion qudit quantum processor, where quantum information is encoded in different states per ion, rather than in two states as in qubits. Qudits are ideally suited for describing gauge fields, which are naturally high-dimensional, leading to a dramatic reduction in the quantum register size and circuit complexity. Using a variational quantum eigensolver, we find the ground state of the model and observe the interplay between virtual pair creation and quantized magnetic field effects. The qudit approach further allows us to seamlessly observe the effect of different gauge field truncations by controlling the qudit dimension. Our results open the door for hardware-efficient quantum simulations with qudits in near-term quantum devices.

--- 

Zoom link 

The essential requirement for fault-tolerant quantum computation (FTQC) is the total protocol design to achieve a fair balance of all the critical factors relevant to its practical realization, such as the space overhead, the threshold, and the modularity. A major obstacle in realizing FTQC with conventional protocols, such as those based on the surface code and the concatenated Steane code, has been the space overhead, i.e., the required number of physical qubits per logical qubit. Protocols based on high-rate quantum low-density parity-check (LDPC) codes gather considerable attention as a way to reduce the space overhead, but problematically, the existing fault-tolerant protocols for such quantum LDPC codes sacrifice the other factors. Here we construct a new fault-tolerant protocol to meet these requirements simultaneously based on more recent progress on the techniques for concatenated codes rather than quantum LDPC codes, achieving a constant space overhead, a high threshold, and flexibility in modular architecture designs. In particular, under a physical error rate of 0.1%, our protocol reduces the space overhead to achieve the logical CNOT error rates 10^{−10} and 10^{−24} by more than 90% and 97%, respectively, compared to the protocol for the surface code. Furthermore, our protocol achieves the threshold of 2.4% under a conventional circuit-level error model, substantially outperforming that of the surface code. The use of concatenated codes also naturally introduces abstraction layers essential for the modularity of FTQC architectures. These results indicate that the code-concatenation approach opens a way to significantly save qubits in realizing FTQC while fulfilling the other essential requirements for the practical protocol design.

---

Zoom link

In this talk, we will outline an efficient algorithm for port-based teleportation, a unitarily equivariant version of teleportation useful for constructing programmable quantum processors and performing instantaneous nonlocal computation (NLQC). The latter connection is important in AdS/CFT, where bulk computations are realized as boundary NLQC. Our algorithm yields an exponential improvement to the known relationship between the amount of entanglement available and the complexity of the nonlocal part of any unitary that can be implemented usin NLQC. Similarly, our algorithm provides the first nontrivial efficient algorithm for an approximate universal programmable quantum processor.

The key to our approach is a general quantum algorithm we develop for block diagonalizing so-called generalized induced representations, a novel type of representation that arises from lifting a representation of a subgroup to one for the whole group while relaxing a linear independence condition from the standard definition. Generalized induced representations appear naturally in quantum information, notably in generalizations of Schur-Weyl duality. For the case of port-based teleportation, we apply this framework to develop an efficient twisted Schur transform for transforming to a subgroup-reduced irrep basis of the partially transposed permutation algebra, whose dual is the U⊗n−k ⊗ (U∗) ⊗k representation of the unitary group.

--- 

Zoom link 

The asymptotic theory of quantum channel estimation has been well established, but in general noiseless and controllable ancilla is required for attaining the ultimate limit in the asymptotic regime. Little is known about the metrological performance without noiseless ancilla, which is more relevant in practical circumstances. In this work, we present a novel theoretical framework to address this problem, bridging quantum metrology and the asymptotic theory of quantum channels. Leveraging this framework, we prove sufficient conditions for achieving the Heisenberg limit with repeated application of the channel to estimate, both with and without applying interleaved unitary control operations. For the latter case, we design an algorithm to identify the control operation. Finally, we analyze several intriguing examples by our approach.

---

Zoom link

Many quantum platforms naturally host Hamiltonians with power-law or even all-to-all connectivity, which may potentially process quantum information in a way much faster than conventional gate-based models. For such non-geometrically-local Hamiltonians, it is then important to both come up with fast protocols and understand the ultimate limit for realizing various information processing tasks. In this talk, I will first overview this quantum speed limit topic, and then dive into the particular task of quantum routing, i.e. permuting unknown quantum states on the qubits. I aim to show [1] a provably optimal Hamiltonian routing protocol on the star graph that is asymptotically faster than gate-based routing; [2] a lower bound on the time to realize the shift unitary using 1d power-law interactions which, perhaps surprisingly, can be much slower than the time for the conventional Lieb-Robinson light cone to spread across the whole system. The latter result shares interesting connections to the classification of 1d quantum cellular automata and symmetry-protected topological order.

---

Zoom link