Jeongrak Son

@perp-waterfall.bsky.social

PhD student @ NTU Singapore Quantum Information and Thermodynamics https://jeongrak-son.github.io

This is actually the first no-go result for robust catalysis (i.e. catalytic transformations that are catalytic even with small state preparation noise) outside completely resource non-generating operations. Next step: robust catalysis in LOCC or stabiliser operations?🥴🥴

Nelly Ng@nellynghy.bsky.social · last yr.

We learnt that thermal operations strike a really sweet spot between encompassing non-Markovian effects in the form of robust catalysis, therefore favouring it over subsets of the theory. At the same, any other superset of the theory would require a non-equilibrium environment!

Years down the road, Jeongrak and I were trying to figure out whether robust catalytic advantage exists for thermal operations. We then realized that the conceptual key was hidden in those early, unannounced results by our friends all along! arxiv.org/abs/2412.06900

Robust Catalysis and Resource Broadcasting: The Possible and the Impossible

In resource theories, catalysis refers to the possibility of enabling otherwise inaccessible quantum state transitions by providing the agent with an auxiliary system, under the condition that this au...

arxiv.org

Whether or not you're a fan of thermal operations, there's something fundamentally special about them: by pinning down what it means to equilibrate, thermal operations uniquely emerge! With this, we also uncover nice hierarchy of unital channels, in contrast with the classical Birkhoff theorem.

Bild

Finally, we show that quantum signal processing can be used to implement imaginary time evolution for unstructured search without post selection. And this enables us to design a new `fixed-point' quantum search algorithm i.e., a Grover type algorithm that never overshoots the solution

Bild

Here's a new perspective on why Grover’s algorithm algorithm works: Unstructured search can be written as ground state problem. Then Grover's is just a product formula approximation of imaginary-time evolution or, equivalently, a Riemannian gradient flow on SU(d) to find this ground state.

Bild

Thm.2 is derived from Eq. (16), which I am particularly fond of. This equation shows that any linear combination of a Hermitian matrix and the identity can be applied to a quantum state exactly and deterministically (given one can synthesise the exponential of a commutator).

Bild
Zoe Holmes@qzoeholmes.bsky.social · last yr.

Given these strengths (no post selection) / caveats (circuit depths scale super exponentially with polynomial order) We see DB-QSP as most useful to deterministically implement low order polynomials in cases where the success probability of other methods is so small as to not be worth doing.

Today we posted a paper showing how a double-bracket quantum algorithm can implement quantum signal processing (DB-QSP), i.e., apply polynomial functions of operators to states. Crucially our approach doesn't need any post-selection - but this comes at the expense of increased circuit depths.

Bild

Nelly Ng "Robust Catalysis and Resource Broadcasting: The Possible and the Impossible" #QuantumResources2025 I asked if there might be implications for Deutschian closed timelike curves. When I asked my question, I wasn't so serious, but thinking more afterwards, I think there is more to explore

Bild

Nature cools things easily but getting a quantum computer to do it is hard! Give us an approx ground state, we present an algorithm that approximates imaginary time evolution to: - Cool that state by an amount proportional to its energy fluctuations - Increase its fidelity with the ground state

Bild
Jeongrak Son@perp-waterfall.bsky.social · 2y ago

New preprint on arXiv! scirate.com/arxiv/2412.0... Quantum imaginary-time evolution (QITE) is amazing, but its compilation is not straightforward. We found an iterative way of doing this, using the equivalence of QITE and double-bracket flows.