1,759 research outputs found
Efficient Quantum Pseudorandomness
Randomness is both a useful way to model natural systems and a useful tool
for engineered systems, e.g. in computation, communication and control. Fully
random transformations require exponential time for either classical or quantum
systems, but in many case pseudorandom operations can emulate certain
properties of truly random ones. Indeed in the classical realm there is by now
a well-developed theory of such pseudorandom operations. However the
construction of such objects turns out to be much harder in the quantum case.
Here we show that random quantum circuits are a powerful source of quantum
pseudorandomness. This gives the for the first time a polynomialtime
construction of quantum unitary designs, which can replace fully random
operations in most applications, and shows that generic quantum dynamics cannot
be distinguished from truly random processes. We discuss applications of our
result to quantum information science, cryptography and to understanding
self-equilibration of closed quantum dynamics.Comment: 6 pages, 1 figure. Short version of http://arxiv.org/abs/1208.069
OSQP: An Operator Splitting Solver for Quadratic Programs
We present a general-purpose solver for convex quadratic programs based on
the alternating direction method of multipliers, employing a novel operator
splitting technique that requires the solution of a quasi-definite linear
system with the same coefficient matrix at almost every iteration. Our
algorithm is very robust, placing no requirements on the problem data such as
positive definiteness of the objective function or linear independence of the
constraint functions. It can be configured to be division-free once an initial
matrix factorization is carried out, making it suitable for real-time
applications in embedded systems. In addition, our technique is the first
operator splitting method for quadratic programs able to reliably detect primal
and dual infeasible problems from the algorithm iterates. The method also
supports factorization caching and warm starting, making it particularly
efficient when solving parametrized problems arising in finance, control, and
machine learning. Our open-source C implementation OSQP has a small footprint,
is library-free, and has been extensively tested on many problem instances from
a wide variety of application areas. It is typically ten times faster than
competing interior-point methods, and sometimes much more when factorization
caching or warm start is used. OSQP has already shown a large impact with tens
of thousands of users both in academia and in large corporations
Exploiting Data Representation for Fault Tolerance
We explore the link between data representation and soft errors in dot
products. We present an analytic model for the absolute error introduced should
a soft error corrupt a bit in an IEEE-754 floating-point number. We show how
this finding relates to the fundamental linear algebra concepts of
normalization and matrix equilibration. We present a case study illustrating
that the probability of experiencing a large error in a dot product is
minimized when both vectors are normalized. Furthermore, when data is
normalized we show that the absolute error is less than one or very large,
which allows us to detect large errors. We demonstrate how this finding can be
used by instrumenting the GMRES iterative solver. We count all possible errors
that can be introduced through faults in arithmetic in the computationally
intensive orthogonalization phase, and show that when scaling is used the
absolute error can be bounded above by one
Quantum equilibration in finite time
It has recently been shown that small quantum subsystems generically
equilibrate, in the sense that they spend most of the time close to a fixed
equilibrium state. This relies on just two assumptions: that the state is
spread over many different energies, and that the Hamiltonian has
non-degenerate energy gaps. Given the same assumptions, it has also been shown
that closed systems equilibrate with respect to realistic measurements. We
extend these results in two important ways. First, we prove equilibration over
a finite (rather than infinite) time-interval, allowing us to bound the
equilibration time. Second, we weaken the non degenerate energy gaps condition,
showing that equilibration occurs provided that no energy gap is hugely
degenerate.Comment: 7 page
Parameter Selection and Pre-Conditioning for a Graph Form Solver
In a recent paper, Parikh and Boyd describe a method for solving a convex
optimization problem, where each iteration involves evaluating a proximal
operator and projection onto a subspace. In this paper we address the critical
practical issues of how to select the proximal parameter in each iteration, and
how to scale the original problem variables, so as the achieve reliable
practical performance. The resulting method has been implemented as an
open-source software package called POGS (Proximal Graph Solver), that targets
multi-core and GPU-based systems, and has been tested on a wide variety of
practical problems. Numerical results show that POGS can solve very large
problems (with, say, more than a billion coefficients in the data), to modest
accuracy in a few tens of seconds. As just one example, a radiation treatment
planning problem with around 100 million coefficients in the data can be solved
in a few seconds, as compared to around one hour with an interior-point method.Comment: 28 pages, 1 figure, 1 open source implementatio
- …