-
A New Class of Algorithms for Finding Short Vectors in Lattices Lifted from Co-dimension $k$ Codes
Authors:
Robert Lin,
Peter W. Shor
Abstract:
We introduce a new class of algorithms for finding a short vector in lattices defined by codes of co-dimension $k$ over $\mathbb{Z}_P^d$, where $P$ is prime. The co-dimension $1$ case is solved by exploiting the packing properties of the projections mod $P$ of an initial set of non-lattice vectors onto a single dual codeword. The technical tools we introduce are sorting of the projections followed…
▽ More
We introduce a new class of algorithms for finding a short vector in lattices defined by codes of co-dimension $k$ over $\mathbb{Z}_P^d$, where $P$ is prime. The co-dimension $1$ case is solved by exploiting the packing properties of the projections mod $P$ of an initial set of non-lattice vectors onto a single dual codeword. The technical tools we introduce are sorting of the projections followed by single-step pairwise Euclidean reduction of the projections, resulting in monotonic convergence of the positive-valued projections to zero. The length of vectors grows by a geometric factor each iteration. For fixed $P$ and $d$, and large enough user-defined input sets, we show that it is possible to minimize the number of iterations, and thus the overall length expansion factor, to obtain a short lattice vector. Thus we obtain a novel approach for controlling the output length, which resolves an open problem posed by Noah Stephens-Davidowitz (the possibility of an approximation scheme for the shortest-vector problem (SVP) which does not reduce to near-exact SVP). In our approach, one may obtain short vectors even when the lattice dimension is quite large, e.g., 8000. For fixed $P$, the algorithm yields shorter vectors for larger $d$. We additionally present a number of extensions and generalizations of our fundamental co-dimension $1$ method. These include a method for obtaining many different lattice vectors by multiplying the dual codeword by an integer and then modding by $P$; a co-dimension $k$ generalization; a large input set generalization; and finally, a "block" generalization, which involves the replacement of pairwise (Euclidean) reduction by a $k$-party (non-Euclidean) reduction. The $k$-block generalization of our algorithm constitutes a class of polynomial-time algorithms indexed by $k\geq 2$, which yield successively improved approximations for the short vector problem.
△ Less
Submitted 22 January, 2024;
originally announced January 2024.
-
Indistinguishable Chargeon-Fluxion Pairs in the Quantum Double of Finite Groups
Authors:
Salman Beigi,
Peter W. Shor,
Daniel Whalen
Abstract:
We consider the category of finite dimensional representations of the quantum double of a finite group as a modular tensor category. We study auto-equivalences of this category whose induced permutations on the set of simple objects (particles) are of the special form of PJ, where J sends every particle to its charge conjugation and P is a transposition of a chargeon-fluxion pair. We prove that if…
▽ More
We consider the category of finite dimensional representations of the quantum double of a finite group as a modular tensor category. We study auto-equivalences of this category whose induced permutations on the set of simple objects (particles) are of the special form of PJ, where J sends every particle to its charge conjugation and P is a transposition of a chargeon-fluxion pair. We prove that if the underlying group is the semidirect product of the additive and multiplicative groups of a finite field, then such an auto-equivalence exists. In particular, we show that for S_3 (the permutation group over three letters) there is a chargeon and a fluxion which are not distinguishable. Conversely, by considering such permutations as modular invariants, we show that a transposition of a chargeon-fluxion pair forms a modular invariant if and only if the corresponding group is isomorphic to the semidirect product of the additive and multiplicative groups of a finite near-field.
△ Less
Submitted 2 December, 2012; v1 submitted 26 February, 2010;
originally announced February 2010.
-
Estimating Jones polynomials is a complete problem for one clean qubit
Authors:
Peter W. Shor,
Stephen P. Jordan
Abstract:
It is known that evaluating a certain approximation to the Jones polynomial for the plat closure of a braid is a BQP-complete problem. That is, this problem exactly captures the power of the quantum circuit model. The one clean qubit model is a model of quantum computation in which all but one qubit starts in the maximally mixed state. One clean qubit computers are believed to be strictly weaker…
▽ More
It is known that evaluating a certain approximation to the Jones polynomial for the plat closure of a braid is a BQP-complete problem. That is, this problem exactly captures the power of the quantum circuit model. The one clean qubit model is a model of quantum computation in which all but one qubit starts in the maximally mixed state. One clean qubit computers are believed to be strictly weaker than standard quantum computers, but still capable of solving some classically intractable problems. Here we show that evaluating a certain approximation to the Jones polynomial at a fifth root of unity for the trace closure of a braid is a complete problem for the one clean qubit complexity class. That is, a one clean qubit computer can approximate these Jones polynomials in time polynomial in both the number of strands and number of crossings, and the problem of simulating a one clean qubit computer is reducible to approximating the Jones polynomial of the trace closure of a braid.
△ Less
Submitted 1 February, 2008; v1 submitted 18 July, 2007;
originally announced July 2007.
-
A Family of Optimal Packings in Grassmannian Manifolds
Authors:
P. W. Shor,
N. J. A. Sloane
Abstract:
A remarkable coincidence has led to the discovery of a family of packings of (m^2+m-2) m/2-dimensional subspaces of m-dimensional space, whenever m is a power of 2. These packings meet the ``orthoplex bound'' and are therefore optimal.
A remarkable coincidence has led to the discovery of a family of packings of (m^2+m-2) m/2-dimensional subspaces of m-dimensional space, whenever m is a power of 2. These packings meet the ``orthoplex bound'' and are therefore optimal.
△ Less
Submitted 31 July, 2002;
originally announced August 2002.
-
A Group-Theoretic Framework for the Construction of Packings in Grassmannian Spaces
Authors:
A. R. Calderbank,
R. H. Hardin,
E. M. Rains,
P. W. Shor,
N. J. A. Sloane
Abstract:
By using totally isotropic subspaces in an orthogonal space Omega^{+}(2i,2), several infinite families of packings of 2^k-dimensional subspaces of real 2^i-dimensional space are constructed, some of which are shown to be optimal packings. A certain Clifford group underlies the construction and links this problem with Barnes-Wall lattices, Kerdock sets and quantum-error-correcting codes.
By using totally isotropic subspaces in an orthogonal space Omega^{+}(2i,2), several infinite families of packings of 2^k-dimensional subspaces of real 2^i-dimensional space are constructed, some of which are shown to be optimal packings. A certain Clifford group underlies the construction and links this problem with Barnes-Wall lattices, Kerdock sets and quantum-error-correcting codes.
△ Less
Submitted 31 July, 2002;
originally announced August 2002.
-
Keller's cube-tiling conjecture is false in high dimensions
Authors:
Jeffrey C. Lagarias,
Peter W. Shor
Abstract:
O. H. Keller conjectured in 1930 that in any tiling of $\Bbb R^n$ by unit $n$-cubes there exist two of them having a complete facet in common. O. Perron proved this conjecture for $n\le 6$. We show that for all $n\ge 10$ there exists a tiling of $\Bbb R^n$ by unit $n$-cubes such that no two $n$-cubes have a complete facet in common.
O. H. Keller conjectured in 1930 that in any tiling of $\Bbb R^n$ by unit $n$-cubes there exist two of them having a complete facet in common. O. Perron proved this conjecture for $n\le 6$. We show that for all $n\ge 10$ there exists a tiling of $\Bbb R^n$ by unit $n$-cubes such that no two $n$-cubes have a complete facet in common.
△ Less
Submitted 30 September, 1992;
originally announced October 1992.
