arXiv subjects

Nhat A. Nghiem

Publications and source records attributed to Nhat A. Nghiem.

At least 19 recordsLinked to original sources

arXiv2026

Quantum Advantage in Topological Data Analysis via Mayer Homology

Prior work has explored quantum algorithms for topological data analysis (TDA), revealing the possibility of exponential quantum speedups in estimating the ratios of Betti numbers to the dimension of the combinatorial Laplacian. However, this quantity is only non-vanishing and efficient-to-quantumly-estimate when Betti numbers are exponentially large, a case for which concrete examples are rarely known. Furthermore, certain randomized classical algorithms are sometimes efficient in this regime. Thus, the prospect of achieving quantum advantage in conventional TDA appears fairly narrow. Here, we address these challenges to the quantum advantage in TDA by developing quantum algorithms for Mayer homology, which generalize simplicial homology to $N$-nilpotent boundary operators ($\partial^N =0$) and have recently been successfully applied to real-world TDA contexts. We introduce an efficient quantum algorithm for estimating Mayer Betti numbers and their persistent counterparts. We then prove that for high-order simplices, Mayer Betti numbers are often exponentially large in the dense regime, which ameliorates the normalization bottleneck of conventional quantum TDA. In the same regime, we argue that existing dequantization algorithms developed for conventional TDA, when applied to Mayer homology, generally lose theoretical guaranties, facing certain structural barriers that prevent their practical utilities. We also provide logical resource estimates revealing that a quantum computer with roughly a few hundred qubits and sixty million Toffoli gates could solve Mayer homology problems beyond the capabilities of known classical approaches. Finally, we discuss real-world applications of Mayer homology in genomics, supersymmetry, drug discovery, and neuroscience, revealing the potential of our quantum algorithm to deliver real-world impacts via Mayer homology.

quant-ph↗

arXiv2026

Quantum Topological Data Analysis Beyond Betti Numbers: Complexity Hardness $\&$ An Algorithm for Torsion Witness

Recent advances have revealed an interplay between quantum computing and topological data analysis (TDA). Most quantum TDA has focused on Betti numbers, which characterize the connectivity and ``holes'' of a dataset. Homology, however, contains additional information in the form of torsion: a nontrivial cycle can become trivial after being repeated finitely, revealing global constraints on how cycles combine and wrap around one another. Beyond applications in biomolecular studies, torsion appears in physical settings including homological quantum rotor codes, discrete charges, and gauge sectors. We study torsion from both classical and quantum perspectives. Given a graph $G$ and its clique complex $K = \mathrm{Cl}(G)$, we first prove that, for fixed $r$ and prime $p$, deciding whether $H_r(K,\mathbb{Z})$ contains $p$-torsion is NP-hard. As a corollary, when a homological rotor code is specified by $G$, deciding whether the code has a finite-dimensional logical sector of a given order is NP-hard. We discuss related problems, including the Bockstein homomorphism, Smith normal form, lattice saturation, and cohomology. Second, for a finite set of primes $P$, we develop a quantum algorithm that serves as a one-sided torsion witness. For fixed $r$, it outputs WITNESS or INCONCLUSIVE, i.e. WITNESS certifies that either $H_r(K,\mathbb{Z})$ or $H_{r-1}(K,\mathbb{Z})$ contains $p$-torsion for some $p\in P$ while INCONCLUSIVE makes no claim about its presence or absence. We identify a regime in which the algorithm achieves a near-quadratic quantum speedup over the corresponding classical algorithm under the same input model. Our NP-hardness result complements recent hardness results for estimating Betti numbers, adding a complexity-theoretic perspective to quantum TDA. Together, these results demonstrate that integral homology, beyond its Betti numbers, can be computationally challenging.

quant-ph↗

arXiv2026

Hybrid quantum-classical framework for Betti number estimation with applications to topological data analysis

Topological data analysis (TDA) is a rapidly growing area that applies techniques from algebraic topology to extract robust features from large-scale data. A key task in TDA is the estimation of (normalized) Betti numbers, which capture essential topological invariants. While recent work has led to quantum algorithms for this problem, we explore an alternative direction: combining classical and quantum resources to estimate the Betti numbers of a simplicial complex more efficiently. Assuming the classical description of a simplicial complex, that is, its set of vertices and edges, we propose a hybrid quantum-classical algorithm. The classical component enumerates all simplices, and this combinatorial structure is subsequently processed by a quantum algorithm to estimate the Betti numbers. We analyze the performance of our approach and identify regimes where it potentially achieves polynomial to exponential speedups over existing quantum methods, at the trade-off of using more ancilla qubits. We further demonstrate the utility of normalized Betti numbers in concrete applications, highlighting the broader potential of hybrid quantum algorithms in topological data analysis.

quant-ph↗

arXiv2026

New aspects of quantum topological data analysis: Betti number estimation, and testing and tracking of homology and cohomology classes

We introduce several new quantum algorithms for estimating homological invariants, specifically Betti numbers and persistent Betti numbers, of a simplicial complex given via a structured classical input. At the core of our algorithm lies the ability to efficiently construct the block-encoding of Laplacians (and persistent Laplacians) based on the classical description of the given complex. From such block-encodings, Betti numbers (and persistent Betti numbers) can be estimated. The complexity of our method is polylogarithmic in the number of simplices in both simplex-sparse and simplex-dense regimes, thus offering an advantage over existing works. Moreover, prior quantum algorithms based on spectral methods incur significant overhead due to their reliance on estimating the kernel of combinatorial Laplacians, particularly when the Betti number is small. We introduce a new approach for estimating Betti numbers based on homology tracking and homology property testing, which enables exponential quantum speedups over both classical and prior quantum approaches under sparsity and structure assumptions. We further initiate the study of homology triviality and equivalence testing as natural property testing problems in topological data analysis, and provide efficient quantum algorithms with time complexity nearly linear in the number of simplices when the rank of the boundary operator is large. In addition, we develop a cohomological approach based on block-encoded projections onto cocycle spaces, enabling rank-independent testing of homology equivalence. This yields the first quantum algorithms for constructing and manipulating r-cocycles in time polylogarithmic in the size of the complex. Together, these results establish a new direction in quantum topological data analysis and demonstrate that computing topological invariants can serve as a fertile ground for provable quantum advantage.

quant-ph↗

arXiv2026

Hybrid Quantum-Classical Algorithm for Hamiltonian Simulation

We introduce a hybrid classical-quantum algorithm for simulating a Hamiltonian of the form $H= \sum_{i=1}^K H_i = \sum_{i=1}^K H_{i_1} \otimes H_{i_2} \otimes \cdots \otimes H_{i_M}$. Given that the entries of all $\{ H_{i_1}, H_{i_2} , \cdots , H_{i_M}\}$ (for all $i$) are classically known, we present a procedure (with three variants) in which these operators are classically diagonalized, and then this information is fed into three possible quantum procedures to obtain the block-encoding of $H$. The evolution operator $\exp(-iHt)$ is then obtained using the standard block-encoding/quantum singular value transformation framework. In the case where $\{H_i\}_{i=1}^K$ commute pairwise, our method can be trivially extended to the case with time-dependent coefficients. We provide a detailed discussion of the efficient regime of our hybrid framework and compare it with existing quantum simulation algorithms. Our algorithm can serve as a useful complement to existing quantum simulation algorithms, thereby expanding the reach of quantum computers for practically simulating physical systems. As a side contribution, we will show how the recent technique called \textit{randomized truncation to a quantum state} developed by Harrow, Lowe, and Witteveen [arXiv preprint arXiv:2510.08518, 2025] can be applied to the context of quantum simulation and particularly quantum state preparation, for which the latter can be of independent interest.

quant-ph↗

arXiv2026

Toward speedup without quantum coherent access

Along with the development of quantum technology, finding useful applications of quantum computers has been a central pursuit. Despite various quantum algorithms have been developed, many of them often require strong input assumptions, which is hardware demanding. In particular, recent advances on dequantization have revealed that the quantum advantage is more of a mere artifact of strong input assumptions. In this work, we propose a variant of these algorithms, leveraging both classical and quantum resources. Provided the classical knowledge (the entries) of the matrix/vector of interest, a classical procedure is used to pre-process this information. Then they are fed into a quantum circuit which is shown to be a block encoding of the matrix of interest. From this block-encoding, we show how to use it to tackle a wide range of problems, including principal component analysis, linear equation solving, Hamiltonian simulation, preparing ground state, and data fitting. We also analyze our protocol, showing that both the classical and quantum procedure can achieve logarithmic complexity in the input dimension, thus implying its potential for near term realization. We then discuss several implications and corollaries of our result. First,, our results suggest there are certain matrices/Hamiltonians where our method can provide exponential improvement compared to the existing ones with respect to the sparsity. Regarding dense linear systems, our method achieves exponential speed-up with respect to the inverse of error tolerance, compared to the best previously known quantum algorithm for dense systems. Last, and most importantly, regarding quantum data fitting, we show how the output of our quantum algorithms can be leveraged to predict unseen data. Thus, it provides an end-to-end application, which has been an open aspect of the previous quantum data fitting algorithm.

quant-ph↗

arXiv2026

Quantum Kaczmarz Algorithm for Solving Linear Algebraic Equations

We introduce a quantum linear system solving algorithm based on the Kaczmarz method, a widely used workhorse for large linear systems and least-squares problems that updates the solution by enforcing one equation at a time. Its simplicity and low memory cost make it a practical choice across data regression, tomographic reconstruction, and optimization. In contrast to many existing quantum linear solvers, our method does not rely on oracle access to query entries, relaxing a key practicality bottleneck. In particular, when the rank of the system of interest is sufficiently small and the rows of the matrix of interest admit an appropriate structure, we achieve circuit complexity $\mathcal{O}\left(\frac{1}{\varepsilon}\log m\right)$, where $m$ is the number of variables and $\varepsilon$ is the target precision, without dependence on the sparsity $s$, and could possibly be without explicit dependence on condition number $κ$. This shows a significant improvement over previous quantum linear solvers where the dependence on $κ,s$ is at least linear. At the same time, when the rows have an arbitrary structure and have at most $s$ nonzero entries, we obtain the circuit depth $\mathcal{O}\left(\frac{1}{\varepsilon}\log s\right)$ using extra $\mathcal{O}(s)$ ancilla qubits, so the depth grows only logarithmically with sparsity $s$. When the sparsity $s$ grows as $\mathcal{O}(\log m)$, then our method can achieve an exponential improvement with respect to circuit depth compared to existing quantum algorithms, while using (asymptotically) the same amount of qubits.

quant-ph↗

arXiv2025

Quantum Algorithm for Estimating Betti Numbers Using Cohomology Approach

Topological data analysis has emerged as a powerful tool for analyzing large-scale data. An abstract simplicial complex, in principle, can be built from data points, and by using tools from homology, topological features could be identified. Given a simplex, an important feature is called the Betti numbers, which roughly count the number of `holes' in different dimensions. Calculating Betti numbers exactly can be $\#$P-hard, and approximating them can be NP-hard, which rules out the possibility of any generic efficient algorithms and unconditional exponential quantum speedup. Here, we explore the specific setting of a triangulated manifold. In contrast to most known methods to estimate Betti numbers, which rely on homology, we exploit the `dual' approach, namely, cohomology, combining the insight of the Hodge theory and de Rham cohomology. Our proposed algorithm can calculate its $r$-th normalized Betti number $β_r/|S_r|$ up to some additive error $ε$ with running time $\mathcal{O}\Big(\frac{\log(|S_r^K| |S_{r+1}^K|)}{ε^2} \log (\log |S_r^K|) \big( r\log |S_r^K| \big) \Big)$, where $|S_r|$ is the number of $r$-simplexes in the given complex. For the estimation of $r$-th Betti number $β_r$ to a chosen multiplicative accuracy $ε'$, our algorithm has complexity $ \mathcal{O}\Big(\frac{\log(|S_r^K| |S_{r+1}^K|)}{ε'^2} \big( \frac{ Γ}{β_r}\big)^2 (\log |S_r^K|) \log \big( r\log |S_r^K| \big) \Big)$, where $Γ\leq |S_r^K|$ can be chosen. A detailed analysis is provided, showing that our cohomology framework can even perform exponentially faster than previous homology methods in several regimes. In particular, our method is most effective when $β_r \ll |S_r^K|$, which can offer more flexibility and practicability than existing quantum algorithms that achieve the best performance in the regime $β_r \approx |S_r^K|$.

quant-ph↗

arXiv2025

Quantum Algorithm for Estimating Ollivier-Ricci Curvature

We introduce a quantum algorithm for computing the Ollivier Ricci curvature, a discrete analogue of the Ricci curvature defined via optimal transport on graphs and general metric spaces. This curvature has seen applications ranging from signaling fragility in financial networks to serving as basic quantities in combinatorial quantum gravity. For inputs given as a point cloud with pairwise distances, we show that our algorithm can achieve an exponential speedup over the best-known classical methods for two particular classes of problem. Our work is another step toward quantum algorithms for geometrical problems that are capable of delivering practical value while also informing fundamental theory.

quant-ph↗

arXiv2025

Quantum Algorithms for Computing Maximal Quantum $f$-divergence and Kubo-Ando means

The development of quantum computation has resulted in many quantum algorithms for a wide array of tasks. Recently, there is a growing interest in using quantum computing techniques to estimate or compute quantum information-theoretic quantities such as Renyi entropy, Von Neumann entropy, matrix means, etc. Motivated by these results, we present quantum algorithms for computing the maximal quantum $f$-divergences and the operator-theoretic matrix Kubo--Ando means. Both of them involve Renyi entropies, matrix means as special cases, thus implying the universality of our framework.

quant-ph↗

arXiv2025

Towards quantum topological data analysis: torsion detection

Topological data analysis (TDA) has become an attractive area for the application of quantum computing. Recent advances have uncovered many interesting connections between the two fields. On one hand, complexity theoretic results show that estimating Betti numbers, a central task in TDA, is NP hard, indicating that a generic quantum speedup is unlikely. On the other hand, several recent studies have explored structured, less generic settings and demonstrated that quantum algorithms can still achieve significant speedups under certain conditions. To date, most of these efforts have focused on Betti numbers, which are topological invariants capturing the intrinsic connectivity and holes in a dataset. However, there is another important feature of topological spaces: torsion. Torsion represents a distinct component of homology that can reveal richer structural information. In this work, we introduce a quantum algorithm for torsion detection, that is, determining whether a given simplicial complex contains torsion. Our algorithm, assisted by a low complexity classical procedure, can succeed with high probability and potentially offer exponential speedup over the classical counterpart.

quant-ph↗

arXiv2025

Quantum Algorithms Without Coherent Quantum Access

Demonstrating quantum advantage has been a pressing challenge in the field. Most claimed quantum speedups rely on a subroutine in which classical information can be accessed in a coherent quantum manner, which imposes a crucial constraint on the implementability of these quantum algorithms. It has even been shown that without such an access, the quantum computer cannot be stronger than the classical counterparts. Thus, whether a quantum computer can be useful for practical applications is still open. In this work, we develop several variants of quantum algorithms. Our key framework employs a classical preprocessing step and a quantum procedure to perform gradient descent. We then translate such algorithm into an algorithm for solving linear systems, performing least-square fitting, building a support vector machine, performing supervised cluster assignment, training neural network, and solving for ground-state/excited-state energy, performing principle component analysis, with end-to-end applications of quantum algorithms. The classical preprocessing and the quantum procedure of our framework are shown to have logarithmic complexity in the dimension of input data, and quantum coherent access to input data is not required. Thus, our framework suggests an alternatively efficient route for quantum computers to handle real-world problems.

quant-ph↗

arXiv2025

Fractatomic Physics: An Invitation with Atomic Stability and Rydberg States in Fractal Spaces

We explore the physical quantum properties of atoms in fractal spaces, both as a theoretical generalization of normal integer-dimensional Euclidean spaces and as an experimentally realizable setting. We identify the threshold of fractality at which Ehrenfest atomic instability emerges, where the Schrödinger equation describing the wave-function of a single electron orbiting around an atom becomes scale-free, and discuss the potential of observing this phenomena in laboratory settings. We then study the Rydberg states of stable atoms using the Wentzel-Kramers-Brillouin approximation, along with a proposed extension for the Langer modification, in general fractal dimensionalities. We show that fractal space atoms near instability explode in size even at low-number excited state, making them highly suitable to induce strong entanglements and foster long-range many-body interactions. We argue that atomic physics in fractal spaces -- ``fractatomic physics'' -- is a rich research avenue deserving of further theoretical and experimental investigations.

quant-ph↗

arXiv2025

Quantum topological data analysis algorithm for dynamical systems

Dynamical systems appear in nearly every aspect of the physical world. As such, understanding the properties of dynamical systems is of great importance. Typically, a dynamical system is described by a system of ordinary differential equations (ODE). Most ODEs do not admit analytical solutions, which makes dynamical systems challenging to understand. In this work, we introduce a quantum framework for determining certain properties of dynamical systems. We combine many recent advances in quantum algorithms, particularly quantum ODE solver and quantum topological data analysis. Leveraging the prior results regarding the quantum ODE solvers, we use the output of these quantum algorithms as a means to build the graph associated with the trajectory of the dynamical system in the phase space. This graph information is then fed into existing quantum TDA algorithms, respectively, to obtain the (normalized) Betti numbers, which are the topological signatures. We then discuss how such signatures can be linked to the properties of a given ODE, and thus, they can reveal insight towards the original dynamical systems. As a by-product, our work provides an affirmative answer to the applicability of quantum ODE solvers, showing that the quantum state as output can be valuable for useful purposes.

quant-ph↗

arXiv2025

Quantum Algorithm for Estimating Intrinsic Geometry

High-dimensional datasets typically cluster around lower-dimensional manifolds but are also often marred by severe noise, obscuring the intrinsic geometry essential for downstream learning tasks. We present a quantum algorithm for estimating the intrinsic geometry of a point cloud -- specifically its local intrinsic dimension and local scalar curvature. These quantities are crucial for dimensionality reduction, feature extraction, and anomaly detection -- tasks that are central to a wide range of data-driven and data-assisted applications. In this work, we propose a quantum algorithm which takes a dataset with pairwise geometric distance, output the estimation of local dimension and curvature at a given point. We demonstrate that this quantum algorithm achieves an exponential speedup over its classical counterpart, and, as a corollary, further extend our main technique to diffusion maps, yielding exponential improvements even over existing quantum algorithms. Our work marks another step toward efficient quantum applications in geometrical data analysis, moving beyond topological summaries toward precise geometric inference and opening a novel, scalable path to quantum-enhanced manifold learning.

quant-ph↗

arXiv2025

Refined Quantum Algorithms for Principal Component Analysis and Solving Linear System

We outline refined versions of two major quantum algorithms for performing principal component analysis and solving linear equations. Our methods are exponentially faster than their classical counterparts and even previous quantum algorithms/dequantization algorithms. Oracle/black-box access to classical data is not required, thus implying great capacity for near-term realization. Several applications and implications of these results are discussed. First, we show that a Hamiltonian $H$ with classically known rows/columns can be efficiently simulated, adding another model in addition to the well-known sparse access and linear combination of unitaries models. Second, we provide a simpler proof of the known result that quantum matrix inversion cannot achieve sublinear complexity $κ^{1-γ}$ where $κ$ is the conditional number of the inverted matrix.

quant-ph↗

arXiv2025

Improved Quantum Algorithms for Eigenvalues Finding and Gradient Descent

Block encoding is a key ingredient in the recently developed quantum singular value transformation (QSVT) framework, which provides a unifying description for many quantum algorithms. Initially introduced to simplify and optimize resource utilization in various problems, such as searching, amplitude estimation, and Hamiltonian simulation, it is reasonable to expect that the capabilities of QSVT extend beyond these applications and offer untapped potential for designing new quantum algorithms. In this article, we affirm this perspective by leveraging block encoding to substantially enhance two previously proposed quantum algorithms: largest eigenvalue estimation and quantum gradient descent. Unlike previous works that rely on sophisticated approaches, our findings demonstrate that even just elementary operations within the unitary block encoding framework can eliminate major scaling factors present in their original counterparts. This results in significantly more efficient quantum algorithms capable of tackling target computational problems with remarkable efficiency. Furthermore, we illustrate how our proposed method can be extended to other contexts, including matrix inversion and multiple eigenvalue estimation.

quant-ph↗

arXiv2025

Quantum Advantage in Testing (Local) Convexity and Monotonicity of Function

It is shown that a quantum computer can test the convexity and monotonicity of a given function exponentially more efficiently than a classical computer. This establishes another prominent example that showcases the potential of quantum computers in function-related problems, which can be practical in functional optimization.

quant-ph↗