-
Sparse maps
Authors:
Elia Portnoy
Abstract:
We prove a generalization of the Kolmogorov-Barzdin theorem for maps from simplicial complexes into Euclidean space. Along the way we introduce the notion of sparse maps and discuss maps from simplicial complexes with controlled 1-waist.
We prove a generalization of the Kolmogorov-Barzdin theorem for maps from simplicial complexes into Euclidean space. Along the way we introduce the notion of sparse maps and discuss maps from simplicial complexes with controlled 1-waist.
△ Less
Submitted 7 August, 2024; v1 submitted 6 July, 2024;
originally announced July 2024.
-
Non-Clifford and parallelizable fault-tolerant logical gates on constant and almost-constant rate homological quantum LDPC codes via higher symmetries
Authors:
Guanyu Zhu,
Shehryar Sikander,
Elia Portnoy,
Andrew W. Cross,
Benjamin J. Brown
Abstract:
We study parallel fault-tolerant quantum computing for families of homological quantum low-density parity-check (LDPC) codes defined on 3-manifolds with constant or almost-constant encoding rate. We derive generic formula for a transversal $T$ gate of color codes on general 3-manifolds, which acts as collective non-Clifford logical CCZ gates on any triplet of logical qubits with their logical-$X$…
▽ More
We study parallel fault-tolerant quantum computing for families of homological quantum low-density parity-check (LDPC) codes defined on 3-manifolds with constant or almost-constant encoding rate. We derive generic formula for a transversal $T$ gate of color codes on general 3-manifolds, which acts as collective non-Clifford logical CCZ gates on any triplet of logical qubits with their logical-$X$ membranes having a $\mathbb{Z}_2$ triple intersection at a single point. The triple intersection number is a topological invariant, which also arises in the path integral of the emergent higher symmetry operator in a topological quantum field theory: the $\mathbb{Z}_2^3$ gauge theory. Moreover, the transversal $S$ gate of the color code corresponds to a higher-form symmetry supported on a codimension-1 submanifold, giving rise to exponentially many addressable and parallelizable logical CZ gates. We have developed a generic formalism to compute the triple intersection invariants for 3-manifolds and also study the scaling of the Betti number and systoles with volume for various 3-manifolds, which translates to the encoding rate and distance. We further develop three types of LDPC codes supporting such logical gates: (1) A quasi-hyperbolic code from the product of 2D hyperbolic surface and a circle, with almost-constant rate $k/n=O(1/\log(n))$ and $O(\log(n))$ distance; (2) A homological fibre bundle code with $O(1/\log^{\frac{1}{2}}(n))$ rate and $O(\log^{\frac{1}{2}}(n))$ distance; (3) A specific family of 3D hyperbolic codes: the Torelli mapping torus code, constructed from mapping tori of a pseudo-Anosov element in the Torelli subgroup, which has constant rate while the distance scaling is currently unknown. We then show a generic constant-overhead scheme for applying a parallelizable universal gate set with the aid of logical-$X$ measurements.
△ Less
Submitted 23 October, 2024; v1 submitted 25 October, 2023;
originally announced October 2023.
-
On Freedman's link packings
Authors:
Fedor Manin,
Elia Portnoy
Abstract:
Recently, Freedman [arXiv:2301.00295] introduced the idea of packing a maximal number of links into a bounded region subject to geometric constraints, and produced upper bounds on the packing number in some cases, while commenting that these bounds seemed far too large. We show that the smallest of these "extravagantly large" bounds is in fact sharp by constructing, for any link, a packing of expo…
▽ More
Recently, Freedman [arXiv:2301.00295] introduced the idea of packing a maximal number of links into a bounded region subject to geometric constraints, and produced upper bounds on the packing number in some cases, while commenting that these bounds seemed far too large. We show that the smallest of these "extravagantly large" bounds is in fact sharp by constructing, for any link, a packing of exponentially many copies as a function of the available volume. We also produce improved and generalized upper bounds.
△ Less
Submitted 18 October, 2024; v1 submitted 15 August, 2023;
originally announced August 2023.
-
Local Quantum Codes from Subdivided Manifolds
Authors:
Elia Portnoy
Abstract:
For $n \ge 3$, we demonstrate the existence of quantum codes which are local in dimension $n$ with $V$ qubits, distance $V^{\frac{n-1}{n}}$, and dimension $V^{\frac{n-2}{n}}$, up to a $polylog(V)$ factor. The distance is optimal up to the polylog factor. The dimension is also optimal for this distance up to the polylog factor. The proof combines the existence of asymptotically good quantum codes,…
▽ More
For $n \ge 3$, we demonstrate the existence of quantum codes which are local in dimension $n$ with $V$ qubits, distance $V^{\frac{n-1}{n}}$, and dimension $V^{\frac{n-2}{n}}$, up to a $polylog(V)$ factor. The distance is optimal up to the polylog factor. The dimension is also optimal for this distance up to the polylog factor. The proof combines the existence of asymptotically good quantum codes, a procedure to build a manifold from a code by Freedman-Hastings, and a quantitative embedding theorem by Gromov-Guth.
△ Less
Submitted 20 June, 2023; v1 submitted 12 March, 2023;
originally announced March 2023.
-
A Generalized Isoperimetric Inequality via Thick Embeddings of Graphs
Authors:
Elia Portnoy
Abstract:
We prove a generalized isoperimetric inequality for a domain diffeomorphic to a sphere that replaces filling volume with $k$-dilation. Suppose $U$ is an open set in $\mathbb{R}^n$ diffeomorphic to a Euclidean $n$-ball. We show that in dimensions at least 4 there is a map from a standard Euclidean ball of radius about $vol(\partial U)^{1/(n-1)}$ to $U$, with degree 1 on the boundary, and $(n-1)$-di…
▽ More
We prove a generalized isoperimetric inequality for a domain diffeomorphic to a sphere that replaces filling volume with $k$-dilation. Suppose $U$ is an open set in $\mathbb{R}^n$ diffeomorphic to a Euclidean $n$-ball. We show that in dimensions at least 4 there is a map from a standard Euclidean ball of radius about $vol(\partial U)^{1/(n-1)}$ to $U$, with degree 1 on the boundary, and $(n-1)$-dilation bounded by some constant only depending on $n$. We also give an example in dimension 3 of an open set where no such map with small $(n-1)$-dilation can be found. The generalized isoperimetric inequality is reduced to a theorem about thick embeddings of graphs which is proved using the Kolmogorov-Barzdin theorem and the max-flow min-cut theorem. The proof of the counterexample in dimension 3 relies on the coarea inequality and a short winding number computation.
△ Less
Submitted 27 December, 2022; v1 submitted 17 November, 2022;
originally announced November 2022.
-
A note on Kalai's $3^d$ Conjecture
Authors:
Gregory R. Chambers,
Elia Portnoy
Abstract:
Suppose that $C$ is a centrally symmetric $d$-dimensional convex polytope; in 1989 Kalai conjectured that $C$ has at least $3^d$ facets. We prove this result if there are $d$ hyperplanes with orthogonal normal vectors so that $C$ is symmetric about all of them.
Suppose that $C$ is a centrally symmetric $d$-dimensional convex polytope; in 1989 Kalai conjectured that $C$ has at least $3^d$ facets. We prove this result if there are $d$ hyperplanes with orthogonal normal vectors so that $C$ is symmetric about all of them.
△ Less
Submitted 4 August, 2023; v1 submitted 16 November, 2022;
originally announced November 2022.
-
Thick embeddings of graphs into symmetric spaces via coarse geometry
Authors:
Benjamin Barrett,
David Hume,
Larry Guth,
Elia Portnoy
Abstract:
We prove estimates for the optimal volume of thick embeddings of finite graphs into symmetric spaces, generalising results of Kolmogorov-Barzdin and Gromov-Guth for embeddings into Euclidean spaces. We distinguish two very different behaviours depending on the rank of the non-compact factor. For rank at least 2, we construct thick embeddings of $N$-vertex graphs with volume $CN\ln(1+N)$ and prove…
▽ More
We prove estimates for the optimal volume of thick embeddings of finite graphs into symmetric spaces, generalising results of Kolmogorov-Barzdin and Gromov-Guth for embeddings into Euclidean spaces. We distinguish two very different behaviours depending on the rank of the non-compact factor. For rank at least 2, we construct thick embeddings of $N$-vertex graphs with volume $CN\ln(1+N)$ and prove that this is optimal. For rank at most $1$ we prove lower bounds of the form $cN^a$ for some (explicit) $a>1$ which depends on the dimension of the Euclidean factor and the conformal dimension of the boundary of the non-compact factor. The main tool is a coarse geometric analogue of a thick embedding called a coarse wiring, with the key property that the minimal volume of a thick embedding is comparable to the ``minimal volume'' of a coarse wiring for symmetric spaces of dimension at least $3$. In the appendix it is proved that for each $k\geq 3$ every bounded degree graph admits a coarse wiring into $\mathbb{R}^k$ with volume at most $CN^{1+\frac{1}{k-1}}$. As a corollary, the same upper bound holds for real hyperbolic space of dimension $k+1$ and in both cases this result is optimal.
△ Less
Submitted 12 December, 2023; v1 submitted 9 December, 2021;
originally announced December 2021.
