← Atlas

Algorithms · Amplitude estimation

Asian option pricing via the Karhunen-Loève expansion

Price discretely monitored Asian options over T monitoring points, where the underlying asset is modeled by a geometric Brownian motion.

Attested & literatureUpdated

View frozen graph

A small worked example, computed in your browser. It is not a result from this record's papers.

Canonical amplitude estimation

3 counting qubits estimating a = sin²(θ) for the one-qubit state A|0⟩ = RY(π/4)|0⟩, θ = π/8.

q0q1q2q3Step 1 of 4 · RY(π/4)RY(π/4)Step 2 of 4 · Hadamard layer(3)Hadamard layer(3)Step 3 of 4 · Amplitude estimation powers(3)Amplitude estimation powers(3)Step 4 of 4 · QFT inverse(3)QFT inverse(3)

Step 1 of 4 · RY(π/4)

Probability of each outcome after this step

  • 000085%
  • 100015%
  1. Prepares the target qubit as A|0⟩ = cos(θ)|0⟩ + sin(θ)|1⟩; the quantity being estimated is a = sin²(θ), the probability that measuring this qubit alone would give |1⟩.

    Probability spreads from 1 outcome to 2.

  2. Spreads the 3 counting qubits into an equal superposition of all 8 values.

    Probability spreads from 2 outcomes to 16.

  3. Applies controlled powers of the Grover operator Q = A Z A⁻¹ Z, one power per counting qubit: phase estimation of Q, using A|0⟩ in place of a single eigenstate.

    Probability moves between the same 16 outcomes. Down: 0110 10.7% → 1.8%, 0010 10.7% → 1.8%. This is the step that entangles the qubits: from here on no single qubit has a state of its own, only the register as a whole does.

  4. An inverse QFT on the counting register reads the phase into a 3-bit estimate.

    Probability gathers from 16 outcomes onto 4. 0001 goes from 1.8% to 25.0%.

Readout The counting register reads 001 or 111, each equally likely: these are θ/π = 1/8 and its mirror 1 − 1/8 = 7/8, both exact in 3 bits by construction. Either one gives a = sin²(π/8) = (2 − √2) / 4 exactly, the standard amplitude-estimation formula a = sin²(πλ) applied to the smaller of the two readings.

Open in Studio
  • Record typeLiterature reference
  • Reference implementationbrownian_chebyshev_polynomials
  • Reported costPoly-logarithmic in T and polynomial in 1/ε for both quantum algorithms given, where T is the number of monitoring points and ε is the additive approximation error; the better of the two reaches Õ(1/ε³), with the tilde suppressing factors that are poly-logarithmic in T and 1/ε. One algorithm is built from an O(log T)-qubit semi-digital quantum encoding of the Brownian motion. The abstract states no further constant, no explicit qubit or gate count for the Monte-Carlo-derived algorithm, and no total circuit-resource count for either.
  • Papers1
Record type
Literature reference
Reference implementation
brownian_chebyshev_polynomials
Reported cost
Poly-logarithmic in T and polynomial in 1/ε for both quantum algorithms given, where T is the number of monitoring points and ε is the additive approximation error; the better of the two reaches Õ(1/ε³), with the tilde suppressing factors that are poly-logarithmic in T and 1/ε. One algorithm is built from an O(log T)-qubit semi-digital quantum encoding of the Brownian motion. The abstract states no further constant, no explicit qubit or gate count for the Monte-Carlo-derived algorithm, and no total circuit-resource count for either.
Complexity basis
The abstract of arXiv:2402.10132, the only source read for this record, sets up the task — "We consider the problem of pricing discretely monitored Asian options over $T$ monitoring points where the underlying asset is modeled by a geometric Brownian motion" — and states the headline bound: "We provide two quantum algorithms with complexity poly-logarithmic in $T$ and polynomial in $1/\epsilon$, where $\epsilon$ is the additive approximation error." (TeX rendered into Unicode/plain notation for the reader: $T$ is T and $1/\epsilon$ is 1/ε.) One algorithm comes from "an $O(\log T)$-qubit semi-digital quantum encoding of the Brownian motion that allows for exponentiation of the stochastic process" (rendered O(log T)-qubit), the other "by analyzing classical Monte Carlo algorithms inspired by the semi-digital encodings." The abstract names the better of the two: "The best quantum algorithm obtained using this approach has complexity $\widetilde{O}(1/\epsilon^{3})$ where the $\widetilde{O}$ suppresses factors poly-logarithmic in $T$ and $1/\epsilon$" (rendered Õ(1/ε³), the tilde marking exactly the suppression the abstract states). Beyond these expressions the abstract gives no further constant, no total qubit or gate count for either algorithm, and no cost figure for the Monte-Carlo-derived one beyond its complexity order. The demonstration this record covers states no complexity bound of its own; its name refers to Chebyshev polynomials, a term this abstract never uses, so this field carries no claim about any Chebyshev-polynomial construction.
Circuit
Not supplied

References

  • Quantum option pricing via the Karhunen-Loève expansion

    Anupam Prakash, Yue Sun, Shouvanik Chakrabarti, Charlie Che, Aditi Dandapani, Dylan Herman, Niraj Kumar, Shree Hari Sureshbabu, Ben Wood, Iordanis Kerenidis, Marco Pistoia · 2024

    Primary source: it states the poly-logarithmic-in-T, polynomial-in-1/ε bound for both quantum algorithms, the O(log T)-qubit semi-digital encoding behind one of them, the Õ(1/ε³) complexity of the better algorithm, and the claimed generalization to sub-Gaussian processes with weighted time-average payoffs. Consult it for the Karhunen-Loève expansion the title refers to, for how the semi-digital encoding and the Monte Carlo algorithm it inspires are actually built, for any constant factors, and for whether a Chebyshev-polynomial construction, named in this record's own directory name but not in this abstract, appears anywhere in the paper.

Attested & literature
  • Peer-reviewed paper
Method
Curation only. This record documents the algorithm a published reference implementation demonstrates, not the demonstration itself: nothing in Leona runs Qmod. The primary reference's title, authors and submission year were read from its arXiv abs page, and the complexity claim taken from a clause of that paper's abstract (The abstract of arXiv:2402.10132, the only source read for this record, sets up the task — "We consider the problem of pricing discretely monitored Asian options over $T$ monitoring points where the underlying asset is modeled by a geometric Brownian motion" — and states the headline bound: "We provide two quantum algorithms with complexity poly-logarithmic in $T$ and polynomial in $1/\epsilon$, where $\epsilon$ is the additive approximation error." (TeX rendered into Unicode/plain notation for the reader: $T$ is T and $1/\epsilon$ is 1/ε.) One algorithm comes from "an $O(\log T)$-qubit semi-digital quantum encoding of the Brownian motion that allows for exponentiation of the stochastic process" (rendered O(log T)-qubit), the other "by analyzing classical Monte Carlo algorithms inspired by the semi-digital encodings." The abstract names the better of the two: "The best quantum algorithm obtained using this approach has complexity $\widetilde{O}(1/\epsilon^{3})$ where the $\widetilde{O}$ suppresses factors poly-logarithmic in $T$ and $1/\epsilon$" (rendered Õ(1/ε³), the tilde marking exactly the suppression the abstract states). Beyond these expressions the abstract gives no further constant, no total qubit or gate count for either algorithm, and no cost figure for the Monte-Carlo-derived one beyond its complexity order. The demonstration this record covers states no complexity bound of its own; its name refers to Chebyshev polynomials, a term this abstract never uses, so this field carries no claim about any Chebyshev-polynomial construction.). No circuit was constructed, simulated or run.
Result
Pass · the record's problem statement and primary reference agree with the sources named above.
Caveat
This is a literature record. No circuit was built, compiled, simulated or run for it; no Asian option was priced, and no semi-digital encoding of a Brownian motion was constructed here. The record documents the algorithms the abstract describes and does not reproduce or verify any demonstration of them. The demonstration this record covers is not described further here: nothing about its files' contents was read for this record. Its directory name refers to Chebyshev polynomials, and nothing in the abstract read for this record uses that term or otherwise describes a Chebyshev-polynomial construction, so this record makes no claim connecting the two. The poly-logarithmic-in-T, polynomial-in-1/ε bound and the sharper Õ(1/ε³) figure for the better algorithm are stated only as complexity orders: the abstract gives no constant factor, no explicit qubit or gate count for the Monte-Carlo-derived algorithm beyond its order, no state-preparation or readout cost, and nothing about hardware feasibility. Both bounds are for the specific task the abstract states — discretely monitored Asian options over T monitoring points under a geometric Brownian motion — and the further claim that the methods generalize to a smooth function of a sub-Gaussian process with a weighted time-average payoff is the authors' own generalization claim, not separately bounded in the abstract and not evaluated here. The abstract reports no experiment and no simulation of either algorithm: no run, on hardware or in simulation, is claimed by it, and none was performed for this record.
Quantum option pricing via the Karhunen-Loève expansion ↗
Kind
curated reference
Reviewed by
Leona Quantum curation pass
License
Citation metadata only; source publication terms apply
asian optionsgeometric brownian motionquantum encodingoption pricingmonte carlo

Atlas stars stay in the public catalog. Saving this entry to your workspace starts an unstarred private copy.