Automatic Amortized Resource Analysis with the Quantum Physicist's Method

by   David M Kahn, et al.

We present a novel method for working with the physicist's method of amortized resource analysis, which we call the quantum physicist's method. These principles allow for more precise analyses of resources that are not monotonically consumed, like stack. This method takes its name from its two major features, worldviews and resource tunneling, which behave analogously to quantum superposition and quantum tunneling. We use the quantum physicist's method to extend the Automatic Amortized Resource Analysis (AARA) type system, enabling the derivation of resource bounds based on tree depth. In doing so, we also introduce remainder contexts, which aid bookkeeping in linear type systems. We then evaluate this new type system's performance by bounding stack use of functions in the Set module of OCaml's standard library. Compared to state-of-the-art implementations of AARA, our new system derives tighter bounds with only moderate overhead.


page 1

page 2

page 3

page 4


ROS: Resource-constrained Oracle Synthesis for Quantum Computers

We present a completely automatic synthesis framework for oracle functio...

Extendibility limits the performance of quantum processors

Resource theories in quantum information science are helpful for the stu...

Quantum Circuit Implementation and Resource Analysis of LBlock and LiCi

Due to Grover's algorithm, any exhaustive search attack of block ciphers...

Assessing requirements to scale to practical quantum advantage

While quantum computers promise to solve some scientifically and commerc...

Monotonicity of skew information and its applications in quantum resource theory

We give an alternative proof of skew information via operator algebra ap...

Type-Based Resource Analysis on Haskell

We propose an amortized analysis that approximates the resource usage of...

Quantum smooth uncertainty principles for von Neumann bi-algebras

In this article, we prove various smooth uncertainty principles on von N...

Please sign up or login with your details

Forgot password? Click here to reset