Designing quantum codes with both transversal non-Clifford gates and good error-correcting parameters is an important goal in fault-tolerant quantum computation. Here, we construct an explicit family of binary CSS codes with constant rate and linear distance that admit fully addressable transversal T gates. Specifically, any prescribed tensor product of logical powers of T is implemented by a tensor product of physical powers of T, without any subsequent correction. Our construction combines algebraic-geometry codes with suitable binary embedding to obtain generalized divisibility of binary codes. This divisibility then enables fully addressable transversal T gates. Furthermore, we formulate the minimum binary embedding length problem as a minimum-weight problem over an affine space and numerically improve the constants in the asymptotic rate and relative-distance bounds.
Quantum error correcting codes play the role of suppressing noise and decoherence in quantum systems by introducing redundancy. Some strategies can be used to improve the parameters of these codes. For example, entanglement can provide a way for quantum error correcting codes to achieve higher rates than the one obtained via traditional stabilizer formalism. Such codes are called entanglement-assisted quantum (QUENTA) codes. In this paper, we use algebraic geometry codes to construct three families of QUENTA codes, where one of them has maximal entanglement and is maximal distance separable. At the end, we show that for any asymptotically good tower of algebraic function fields there is an asymptotically good family of maximal entanglement QUENTA codes with nonzero rate, relative minimal distance, and relative amount of entanglement
In this paper we construct several new families of quantum codes with good and asymptotically good parameters. These new quantum codes are derived from (classical) algebraic geometry (AG) codes by applying the Calderbank-Shor-Steane (CSS) construction. Many of these codes have large minimum distances when compared with its code length and they have relatively small Singleton defect. For example, we construct a family [[46; 2(t_2 - t1); d]]_25 of quantum codes, where t_1, t_2 are positive integers such that 1 < t_1 < t_2 < 23 and d >= min {46 - 2t_2, 2t_1-2}, of length n = 46, with minimum distance in the range 2 =< d =< 20, having Singleton defect four. Additionally, by utilizing t-point AG codes, with t >= 2, we show how to obtain sequences of asymptotically good quantum codes.