pith. sign in

arxiv: 2606.03612 · v1 · pith:HURELL5Unew · submitted 2026-06-02 · 🪐 quant-ph

An efficient quantum Hadamard product algorithm for functions

Xinchi Huang , Hirofumi Nishi , Tomofumi Zushi , Yu-ichiro Matsushita This is my paper

Pith reviewed 2026-06-28 10:07 UTC · model grok-4.3

classification 🪐 quant-ph
keywords quantum algorithmHadamard productFourier transformquantum state preparationconvolutionquery complexitygrid functions
0
0 comments X

The pith

When one input function has finitely many non-zero Fourier coefficients, a quantum algorithm prepares the exact Hadamard product state with query complexity independent of grid size N.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper develops a quantum algorithm for preparing the Hadamard product state of two quantum states whose amplitudes are defined by functions sampled on a uniform grid of size N. Standard approaches incur success probability scaling as O(1/N) and thus require O(sqrt(N)) queries even after amplitude amplification. The method moves the problem into Fourier space, where the pointwise product becomes a convolution that can be realized or approximated from localized coefficients. When either input function possesses only finitely many non-zero Fourier coefficients, the circuit produces the exact state with query cost that stays constant as N grows.

Core claim

The Hadamard product state of two grid functions can be prepared by a quantum circuit whose complexity is controlled by the Fourier regularity of the inputs rather than by the grid size N; in the special case where either function has finite Fourier support the preparation is exact and the query complexity is independent of N.

What carries the argument

Fourier-space representation of the input functions, converting the Hadamard product into a convolution realized by a quantum circuit acting on localized coefficients.

If this is right

  • The same technique yields a novel quantum circuit for the partial inner product.
  • Overall circuit cost becomes governed by the number and spread of significant Fourier coefficients rather than grid size.
  • Exact preparation is possible without N-dependent overhead whenever at least one function has finite Fourier support.
  • The approach applies to any pair of functions whose Fourier series decay rapidly enough to allow truncation independent of N.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

  • The method may generalize to other pointwise or entrywise operations that become convolutions in Fourier space.
  • It could reduce the cost of quantum algorithms that repeatedly form pointwise products of wavefunctions or probability amplitudes.
  • Numerical checks on trigonometric polynomials or low-degree polynomials would directly test the exact finite-support case.

Load-bearing premise

The input functions possess Fourier representations whose coefficients are localized enough that the convolution can be realized exactly or approximately by a circuit whose cost does not grow with grid size N.

What would settle it

An explicit function pair, one with finite Fourier support, for which every quantum circuit preparing the Hadamard product state requires query complexity that increases with N.

Figures

Figures reproduced from arXiv: 2606.03612 by Hirofumi Nishi, Tomofumi Zushi, Xinchi Huang, Yu-ichiro Matsushita.

Figure 1
Figure 1. Figure 1: Conventional quantum circuit for the QHP problem, e.g., [ [PITH_FULL_IMAGE:figures/full_fig_p004_1.png] view at source ↗
Figure 2
Figure 2. Figure 2: A novel quantum circuit for the QHP problem. Here, [PITH_FULL_IMAGE:figures/full_fig_p005_2.png] view at source ↗
Figure 3
Figure 3. Figure 3: Success probabilities and L2NS errors for Examples 1 and 2 regarding the approximation [PITH_FULL_IMAGE:figures/full_fig_p008_3.png] view at source ↗
Figure 4
Figure 4. Figure 4: Success probabilities and L2NS errors for Examples 3 and 4 regarding the approximation [PITH_FULL_IMAGE:figures/full_fig_p009_4.png] view at source ↗
Figure 5
Figure 5. Figure 5: Quantum circuit to determine the approximation parameter [PITH_FULL_IMAGE:figures/full_fig_p009_5.png] view at source ↗
Figure 6
Figure 6. Figure 6: A novel quantum circuit for calculating the partial integral for two functions. Here, [PITH_FULL_IMAGE:figures/full_fig_p012_6.png] view at source ↗
Figure 7
Figure 7. Figure 7: A naive implementation of the partial inner product for two functions. The last 2 [PITH_FULL_IMAGE:figures/full_fig_p012_7.png] view at source ↗
Figure 8
Figure 8. Figure 8: An improved implementation of the partial inner product for two functions. The last [PITH_FULL_IMAGE:figures/full_fig_p013_8.png] view at source ↗
Figure 9
Figure 9. Figure 9: Quantum circuit for preparing the propagator by solving the MDE. [PITH_FULL_IMAGE:figures/full_fig_p015_9.png] view at source ↗
Figure 10
Figure 10. Figure 10: Quantum circuit for calculating the convolution operation in the SCFT loop for polymers. [PITH_FULL_IMAGE:figures/full_fig_p016_10.png] view at source ↗
read the original abstract

We propose an efficient quantum algorithm for preparing the Hadamard product state of two quantum states whose amplitudes are generated by functions on a uniform grid with grid number $N$. As the Hadamard product operation is non-unitary, the conventional approach generally suffer from a success probability that scales as $O(1/N)$, leading to an $O(\sqrt{N})$ query complexity even with quantum amplitude amplification. Our method exploits the Fourier-space representation of the input functions, where the Hadamard product can be treated through a convolution structure and approximated using localized Fourier coefficients. The resulting quantum circuit has complexity governed by the Fourier regularity of the underlying functions rather than directly by the grid number. In particular, when either of the input functions has finitely many non-zero Fourier coefficients, the algorithm prepares the exact quantum Hadamard product state under $N$-independent query complexity. Moreover, we also propose a novel quantum circuit for the partial inner product as one of its applications.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Referee Report

0 major / 2 minor

Summary. The manuscript proposes a quantum algorithm to prepare the Hadamard product state of two function-generated quantum states on a uniform grid of size N. It exploits the Fourier representation of the inputs so that the pointwise product becomes a convolution; when one input has finite Fourier support the construction yields an exact state whose query complexity is independent of N. The paper also presents a quantum circuit for the partial inner product as an application.

Significance. If the central construction is correct, the result is significant: it removes the generic O(sqrt(N)) overhead that arises from amplitude amplification on non-unitary pointwise operations, replacing it with a cost controlled only by the Fourier regularity of the inputs. The exact, N-independent case for trigonometric polynomials is a concrete and potentially useful advance for quantum algorithms that must realize pointwise multiplications.

minor comments (2)
  1. [Abstract] The abstract states that the algorithm 'prepares the exact quantum Hadamard product state under N-independent query complexity' when one function has finite Fourier support, but supplies no explicit circuit or oracle count; a short derivation or complexity table in the main text would make the claim immediately verifiable.
  2. The description of the convolution step does not specify how the finite linear combination of modulated copies is realized without introducing an N-dependent normalization factor; a brief accounting of the state-preparation overhead would strengthen the N-independence claim.

Simulated Author's Rebuttal

0 responses · 0 unresolved

We thank the referee for the positive summary of our work and the recommendation of minor revision. The assessment that the result is significant when the central construction is correct is appreciated. No specific major comments were provided in the report.

Circularity Check

0 steps flagged

No significant circularity detected

full rationale

The paper's derivation applies the standard Fourier convolution theorem to realize the position-space Hadamard product as a finite linear combination when one input has bounded Fourier support. This is a direct algebraic consequence of the DFT of a trigonometric polynomial of fixed degree and incurs cost governed only by that degree, independent of N. No equations reduce a claimed prediction to a fitted parameter by construction, no load-bearing uniqueness theorem is imported via self-citation, and the construction is externally verifiable from classical Fourier analysis without reference to the paper's own fitted values or prior results.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Abstract-only review supplies no explicit free parameters, axioms, or invented entities; the method implicitly assumes functions possess usable Fourier representations but no concrete ledger entries can be extracted.

pith-pipeline@v0.9.1-grok · 5704 in / 1156 out tokens · 21063 ms · 2026-06-28T10:07:41.672519+00:00 · methodology

discussion (0)

Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.

Forward citations

Cited by 1 Pith paper

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score.

  1. Schr\"odingerization based quantum algorithms for regularized Wasserstein proximal operators

    math.NA 2026-06 unverdicted novelty 6.0

    Quantum algorithm solves regularized Wasserstein proximal operator via Schrödingerization of Cole-Hopf transformed heat equations with O(d N_x T log²(1/ε)) query complexity.

Reference graph

Works this paper leans on

17 extracted references · 15 canonical work pages · cited by 1 Pith paper

  1. [1]

    Holmes, N.J

    Z. Holmes, N.J. Coble, A.T. Sornborger, and Y. Suba¸ sı. Nonlinear trans- formations in quantum computation. Phys. Rev. Research 5, 2023, 013105. https://doi.org/10.1103/PhysRevResearch.5.013105

    work page doi:10.1103/physrevresearch.5.013105 2023

  2. [2]

    Ramezani, M

    M. Ramezani, M. Nikaeen, F. Farman, S. M. Ashrafi, and A. Bahrampour. Quantum mul- tiplication algorithm based on the convolution theorem. Phys. Rev. A 108, 2023, 052405. https://doi.org/10.1103/PhysRevA.108.052405

    work page doi:10.1103/physreva.108.052405 2023

  3. [3]

    Brassard, P

    G. Brassard, P. Hoyer, M. Mosca, and A. Tapp. Quantum Amplitude Amplification and Esti- mation. Quantum Computation and Quantum Information, Samuel J. Lomonaco, Jr. (editor), AMS Contemporary Mathematics, 305:53-74, 2002. https://doi.org/10.1090/conm/305/05215

    work page doi:10.1090/conm/305/05215 2002

  4. [4]

    Adams, J.J

    R.A. Adams, J.J. Fournier. Sobolev Spaces. Vol. 140, 2nd edition, Academic Press, San Diego, 2003

    2003

  5. [5]

    H. Li, P. Fan, H. Xia, H. Peng, and G. Long. Efficient quantum arithmetic operation cir- cuits for quantum image processing. Sci. China Phys. Mech. Astron. 63(8), 2020, 280311. https://doi.org/10.1007/s11433-020-1582-8

    work page doi:10.1007/s11433-020-1582-8 2020

  6. [6]

    C. Gidney. Constructing Large Increment Gates. https://algassert.com/circuits/2015/06/12/Constructing- Large-Increment-Gates.html. Accessed 17 May 2026

    2015

  7. [7]

    Y. Yuan, C. Wang, B. Wang, Z. Chen, M. Dou, Y. Wu, and G. Guo. An improved QFT-based quantum comparator and extended modular arithmetic using one ancilla qubit. New Journal of Physics 25, 2023, 103011. https://doi.org/10.1088/1367-2630/acfd52

    work page doi:10.1088/1367-2630/acfd52 2023

  8. [8]

    Huang, H

    X. Huang, H. Nishi, Y. Kawada, T. Zushi, and Y. Matsushita. Fourier space readout method for efficiently recovering functions encoded in quantum states. Preprint. arXiv:2507.20599 https://doi.org/10.48550/arXiv.2507.20599

    work page doi:10.48550/arxiv.2507.20599

  9. [9]

    M¨ ott¨ onen, J.J

    M. M¨ ott¨ onen, J.J. Vartiainen, V. Bergholm, and M.M. Salomaa. Quantum Cir- cuits for General Multiqubit Gates. Phys. Rev. Lett. 93(13), 2004, 130502. https://doi.org/10.1103/PhysRevLett.93.130502

    work page doi:10.1103/physrevlett.93.130502 2004

  10. [10]

    Sch¨ on, E

    C. Sch¨ on, E. Solano, F. Verstraete, J.I. Cirac, and M.M. Wolf. Sequential Gen- eration of Entangled Multiqubit States. Phys. Rev. Lett. 95, 2005, 110503. https://doi.org/10.1103/PhysRevLett.95.110503 15 nx ny nt mx−1 nx−mx my−1 ny−my |0⟩ Uq U † QFT U † MADD UQFT |ϕout⟩ |0⟩ U † QFT U † MADD UQFT |0⟩ X ⊗nt U † q |0⟩ |0⟩ H ⊗mx UQFT |0⟩ |0⟩ U † +1 |0⟩ |0⟩ |...

    work page doi:10.1103/physrevlett.95.110503 2005

  11. [11]

    S.-J. Ran. Encoding of matrix product states into quantum circuits of one- and two-qubit gates. Phys. Rev. A 101, 2020, 032310. https://doi.org/10.1103/PhysRevA.101.032310

    work page doi:10.1103/physreva.101.032310 2020

  12. [12]

    2020 IEEE International Conference on Quantum Computing and Engineering (QCE), 72--82 (Los Alamitos, CA, USA: IEEE Computer Society), ://dx.doi.org/10.1109/QCE49297.2020.00020

    A. Holmes, and A.Y. Matsuura. Efficient Quantum Circuits for Accurate State Prepa- ration of Smooth, Differentiable Functions. 2020 IEEE International Conference on Quantum Computing and Engineering (QCE), Denver, CO, USA, 2020, 169-179. https://doi.org/10.1109/QCE49297.2020.00030

    work page doi:10.1109/qce49297.2020.00030 2020

  13. [13]

    Gundlapalli, and J

    P. Gundlapalli, and J. Lee. Deterministic and Entanglement-Efficient Preparation of Amplitude-Encoded Quantum Registers. Phys. Rev. Applied 18, 2022, 024013. https://doi.org/10.1103/PhysRevApplied.18.024013

    work page doi:10.1103/physrevapplied.18.024013 2022

  14. [14]

    Morita, T

    H. Morita, T. Kawakatsu, and M. Doi. Dynamic Density Functional Study on the Struc- ture of Thin Polymer Blend Films with a Free Surface. Macromolecules 34, 2001, 8777-8783. https://doi.org/10.1021/ma010346+

    work page doi:10.1021/ma010346 2001

  15. [15]

    Arora, J

    A. Arora, J. Qin, D.C. Morse, K.T. Delaney, G.H. Fredrickson, F.S. Bates, and K.D. Dorf- man. Broadly Accessible Self-Consistent Field Theory for Block Polymer Materials Discovery. Macromolecules 49, 2016, 4675-4690. https://doi.org/10.1021/acs.macromol.6b00107

    work page doi:10.1021/acs.macromol.6b00107 2016

  16. [16]

    Ackerman, K

    D.M. Ackerman, K. Delaney, G.H. Fredrickson, B. Ganapathysubramanian. A finite element approach to self-consistent field theory calculations of multiblock polymers. Journal of Compu- tational Physics 331, 2017, 280-296. http://dx.doi.org/10.1016/j.jcp.2016.11.020

    work page doi:10.1016/j.jcp.2016.11.020 2017

  17. [17]

    Huang, H

    X. Huang, H. Nishi, T. Kosugi, Y. Kawada, and Y. Matsushita. A probabilistic imaginary-time evolution quantum algorithm for advection-diffusion equation: Explicit gate-level implemen- 16 tation and comparisons to quantum linear system algorithms. Preprint. arXiv:2409.18559v2 https://doi.org/10.48550/arXiv.2409.18559 17

    work page doi:10.48550/arxiv.2409.18559