A bstract We discuss the holographic description of Narain U(1) c × U(1) c conformal field theories, and their potential similarity to conventional weakly coupled gravitational theories in the bulk, in the sense that the effective IR bulk description includes “U(1) gravity” amended with additional light degrees of freedom. Starting from this picture, we formulate the hypothesis that in the large central charge limit the density of states of any Narain theory is bounded by below by the density of states of U(1) gravity. This immediately implies that the maximal value of the spectral gap for primary fields is ∆ 1 = c /(2 πe ). To test the selfconsistency of this proposal, we study its implications using chiral lattice CFTs and CFTs based on quantum stabilizer codes. First we notice that the conjecture yields a new bound on quantum stabilizer codes, which is compatible with previously known bounds in the literature. We proceed to discuss the variance of the density of states, which for consistency must be vanishingly small in the large c limit. We consider ensembles of code and chiral theories and show that in both cases the density variance is exponentially small in the central charge.
Quantum stabilizer codes, lattices, and CFTs
A bstract There is a rich connection between classical errorcorrecting codes, Euclidean lattices, and chiral conformal field theories. Here we show that quantum errorcorrecting codes, those of the stabilizer type, are related to Lorentzian lattices and nonchiral CFTs. More specifically, real selfdual stabilizer codes can be associated with even selfdual Lorentzian lattices, and thus define Narain CFTs. We dub the resulting theories code CFTs and study their properties. Tduality transformations of a code CFT, at the level of the underlying code, reduce to code equivalences. By means of such equivalences, any stabilizer code can be reduced to a graph code. We can therefore represent code CFTs by graphs. We study code CFTs with small central charge c = n ≤ 12, and find many interesting examples. Among them is a nonchiral E 8 theory, which is based on the root lattice of E 8 understood as an even selfdual Lorentzian lattice. By analyzing all graphs with n ≤ 8 nodes we find many pairs and triples of physically distinct isospectral theories. We also construct numerous modular invariant functions satisfying all the basic properties expected of the CFT partition function, yet which are not partition functions of any known CFTs. We more »
 Award ID(s):
 1720374
 Publication Date:
 NSFPAR ID:
 10282602
 Journal Name:
 Journal of High Energy Physics
 Volume:
 2021
 Issue:
 3
 ISSN:
 10298479
 Sponsoring Org:
 National Science Foundation
More Like this


A bstract We study some special features of F 24 , the holomorphic c = 12 superconformal field theory (SCFT) given by 24 chiral free fermions. We construct eight different Lie superalgebras of “physical” states of a chiral superstring compactified on F 24 , and we prove that they all have the structure of BorcherdsKacMoody superalgebras. This produces a family of new examples of such superalgebras. The models depend on the choice of an $$ \mathcal{N} $$ N = 1 supercurrent on F 24 , with the admissible choices labeled by the semisimple Lie algebras of dimension 24. We also discuss how F 24 , with any such choice of supercurrent, can be obtained via orbifolding from another distinguished c = 12 holomorphic SCFT, the $$ \mathcal{N} $$ N = 1 supersymmetric version of the chiral CFT based on the E 8 lattice.

Quantum errorcorrecting codes can be used to protect qubits involved in quantum computation. This requires that logical operators acting on protected qubits be translated to physical operators (circuits) acting on physical quantum states. We propose a mathematical framework for synthesizing physical circuits that implement logical Clifford operators for stabilizer codes. Circuit synthesis is enabled by representing the desired physical Clifford operator in CN ×N as a 2m × 2m binary sym plectic matrix, where N = 2m. We show that for an [m, m − k] stabilizer code every logical Clifford operator has 2k(k+1)/2 symplectic solutions, and we enumerate them efficiently using symplectic transvections. The desired circuits are then obtained by writing each of the solutions as a product of elementary symplectic matrices. For a given operator, our assembly of all of its physical realizations enables optimization over them with respect to a suitable metric. Our method of circuit synthesis can be applied to any stabilizer code, and this paper provides a proof of concept synthesis of universal Clifford gates for the well known [6, 4, 2] code. Programs implementing our algorithms can be found at https://github.com/nrenga/symplecticarxiv18a.

Locally testable codes (LTC) are errorcorrecting codes that have a local tester which can distinguish valid codewords from words that are far from all codewords, by probing a given word only at a very small (sublinear, typically constant) number of locations. Such codes form the combinatorial backbone of PCPs. A major open problem is whether there exist LTCs with positive rate, constant relative distance and testable with a constant number of queries. In this paper, we present a new approach towards constructing such LTCs using the machinery of highdimensional expanders. To this end, we consider the Tanner representation of a code, which is specified by a graph and a base code. Informally, our result states that if this graph is part of an {\em agreement expander} then the local testability of the code follows from the local testability of the base code. Agreement expanders allow one to stitch together many mostlyconsistent local functions into a single global function. Highdimensional expanders are known to yield agreement expanders with constant degree. This work unifies and generalizes the known results on testability of the Hadamard, ReedMuller and lifted codes, all of which are proved via a single round of local selfcorrection: the correctedmore »

Testing membership in lattices is of practical relevance, with applications to integer programming, error detection in latticebased communication and cryptography. In this work, we initiate a systematic study of {\em local testing} for membership in lattices, complementing and building upon the extensive body of work on locally testable codes. In particular, we formally define the notion of local tests for lattices and present the following: \begin{enumerate} \item We show that in order to achieve low query complexity, it is sufficient to design onesided nonadaptive {\em canonical} tests. This result is akin to, and based on an analogous result for errorcorrecting codes due to BenSasson \etal\ (SIAM J. Computing 35(1) pp121). \item We demonstrate upper and lower bounds on the query complexity of local testing for membership in {\em code formula} lattices. We instantiate our results for code formula lattices constructed from ReedMuller codes to obtain nearlymatching upper and lower bounds on the query complexity of testing such lattices. \item We contrast lattice testing from code testing by showing lower bounds on the query complexity of testing lowdimensional lattices. This illustrates large lower bounds on the query complexity of testing membership in {\em knapsack lattices}. On the other hand, we showmore »