Skip to content
aiqbench takeQuantum Computing

aiqbench analysis

This paper introduces a rigorous mathematical framework for defining "decoder-consistent Hamiltonians" within compression-based quantum relaxations like QRAO, ensuring that optimized quantum states yield accurate classical objective values after decoding. By utilizing Boolean Fourier expansions, the authors establish precise relationships between different encoding strategies and POVM decoders, clarifying how various components are preserved or attenuated during the optimization process. These findings provide essential theoretical tools for improving the reliability of quantum algorithms solving combinatorial problems such as MaxCut.
Source coveringarXiv
What this isA model's reading of the article and related coverage, written for aiqbench. Not the publisher's words.

Decoder-Consistent Hamiltonians for POVM-Based Quantum Relaxations

arXiv3 min read

arXiv:2606.05604v2 Announce Type: replace Abstract: In compression-based quantum relaxations such as quantum random access optimization (QRAO), a quantum state is optimized on a reduced number of qubits and then decoded into a classical solution on which the objective function is evaluated. The Hermitian operator whose expectation value is optimized should therefore be consistent with the expected objective value after decoding. For a fixed single-shot POVM decoder, we define the decoder-consistent Hamiltonian as the pullback of the classical objective observable through the decoder. Its expectation value exactly equals the expected post-decoding objective value for every quantum state. We further show that any Hermitian operator inducing the same ordering over the full quantum state space must be a positive affine transformation of the decoder-consistent Hamiltonian. Using a Boolean Fourier expansion, the decoder-consistent Hamiltonian decomposes into pullbacks of individual Fourier components. This provides a common framework for comparing direct encoding, simultaneous-decoding POVMs for QRAC blocks, and the effective POVM induced by the magic rounding of Teramoto et al. in terms of which components they preserve and at what rates. For standard magic-state rounding in coloring-based QRAO for MaxCut, the framework recovers the known positive affine relation between the relaxed-Hamiltonian expectation and the expected rounded cut value. For the simultaneous-decoding POVMs analyzed here, we further show that the analogous relation generally fails for mixed-degree QUBO objectives because one- and two-body components are attenuated at different rates. We also present a systematic construction of POVM decoder blocks from prescribed Fourier components and derive corresponding lower bounds on the expected post-decoding objective value under explicit conditions.

Abstract:In compression-based quantum relaxations such as quantum random access optimization (QRAO), a quantum state is optimized on a reduced number of qubits and then decoded into a classical solution on which the objective function is evaluated. The Hermitian operator whose expectation value is optimized should therefore be consistent with the expected objective value after decoding. For a fixed single-shot POVM decoder, we define the decoder-consistent Hamiltonian as the pullback of the classical objective observable through the decoder. Its expectation value exactly equals the expected post-decoding objective value for every quantum state. We further show that any Hermitian operator inducing the same ordering over the full quantum state space must be a positive affine transformation of the decoder-consistent Hamiltonian. Using a Boolean Fourier expansion, the decoder-consistent Hamiltonian decomposes into pullbacks of individual Fourier components. This provides a common framework for comparing direct encoding, simultaneous-decoding POVMs for QRAC blocks, and the effective POVM induced by the magic rounding of Teramoto et al. in terms of which components they preserve and at what rates. For standard magic-state rounding in coloring-based QRAO for MaxCut, the framework recovers the known positive affine relation between the relaxed-Hamiltonian expectation and the expected rounded cut value. For the simultaneous-decoding POVMs analyzed here, we further show that the analogous relation generally fails for mixed-degree QUBO objectives because one- and two-body components are attenuated at different rates. We also present a systematic construction of POVM decoder blocks from prescribed Fourier components and derive corresponding lower bounds on the expected post-decoding objective value under explicit conditions.

arXiv:2606.05604 [quant-ph]

(or arXiv:2606.05604v2 [quant-ph] for this version)

https://doi.org/10.48550/arXiv.2606.05604 Focus to learn more arXiv-issued DOI via DataCite

arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.

Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.

Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.

Full text under the publisher's open licence · 344 words

Related coverage