SearcharxivSearch

arXiv subjects

Yuichiro Hidaka

Publications and source records attributed to Yuichiro Hidaka.

5 recordsLinked to original sources

Fast-forwardability of Qubit-mapped Fermion models based on Cartan decomposition

We study the Hamiltonian algebra of qubit-mapped interacting fermion models and their fast-forwardability. We prove that the dimension of the Hamiltonian algebra of the fermion model with single-site Coulomb interaction is bounded from below by the exponential function of the number of sites, and the circuit depth of the Cartan-based fast-forwarding method for such a model also exhibits the same scaling. We apply this proposition to the Anderson impurity model and the Hubbard model and show that the dimension of the Hamiltonian algebra of these models scales exponentially with the number of sites. These behaviors of the Hamiltonian algebras imply that, under fermion-qubit mappings that map Majorana operators to single-term Pauli strings, the qubit models obtained from these fermion models cannot be efficiently simulated using the Cartan-based fast-forwarding method.

quant-ph

Mirror subspace diagonalization: A quantum Krylov algorithm with near-optimal sampling cost

Quantum Krylov algorithms have emerged as a promising approach for ground-state energy estimation in the near-term quantum computing era. A major challenge, however, lies in their inherently substantial sampling cost, primarily due to the individual measurement of each term in the Hamiltonian. While various techniques have been proposed to mitigate this issue, the sampling overhead remains a significant bottleneck, especially for practical large-scale electronic structure problems. In this work, we introduce an alternative method, dubbed mirror subspace diagonalization (MSD), which approaches the theoretical lower bound of the sampling cost for quantum Krylov algorithms. MSD leverages a finite-difference formula to express the Hamiltonian operator as a linear combination of time-evolution unitaries with symmetrically shifted timesteps, enabling efficient estimation of the Hamiltonian matrix within the Krylov subspace. In this scheme, the finite difference and statistical errors are simultaneously minimized by optimizing the timestep parameter and shifting the energy spectrum. Consequently, MSD attains the lower bound of the sampling cost of the quantum Krylov algorithms up to a logarithmic factor. Furthermore, we employ classical post-processing to infer Hamiltonian moments, which are used to mitigate the ground state energy error based on the Lanczos scheme. Through theoretical analysis of the sampling cost, we demonstrate that MSD is particularly effective when the spectral norm of the Hamiltonian is significantly smaller than its 1-norm. Such a situation arises, for example, in high-accuracy simulations of molecules using large basis sets that incorporate strong electronic correlations. Numerical results for various molecular models reveal that MSD can achieve sampling cost reductions ranging from approximately 10 to 10,000 times compared to the conventional quantum Krylov algorithm.

quant-ph

Quantum many-body simulation of finite-temperature systems with sampling a series expansion of a quantum imaginary-time evolution

Simulating thermal-equilibrium properties at finite temperature is crucial for studying quantum many-body systems. Quantum computers are expected to enable us to simulate large systems at finite temperatures, overcoming challenges faced by classical computers, like the sign problem of the quantum Monte-Carlo technique. Conventional methods suitable for fault-tolerant quantum computing (FTQC) devices are designed for studying large-scale quantum many-body systems but require a large number of ancilla qubits and a deep quantum circuit with many basic gates, making them unsuitable for the early stage of the FTQC era, at which the availability of qubits and quantum gates is limited. In this paper, we propose a method suitable for quantum devices in this early stage to calculate the thermal-equilibrium expectation value of an observable at finite temperatures. Our proposal, named the Markov-chain Monte Carlo with sampled pairs of unitaries (MCMC-SPU) algorithm, involves sampling simple quantum circuits and generating the corresponding statistical ensembles. This approach addresses the issues of resource demand and the decay in probability associated with postselection of measurement outcomes on ancilla qubits. We validate our proposal with numerical simulation on the one-dimensional transverse-field Ising model as an illustrative example.

quant-ph

Subspace-Based Local Compilation of Variational Quantum Circuits for Large-Scale Quantum Many-Body Simulation

Simulation of quantum many-body systems is a promising application of quantum computers. However, implementing the time-evolution operator as a quantum circuit efficiently on near-term devices with limited resources is challenging. Standard approaches like Trotterization often require deep circuits, making them impractical. This paper proposes a hybrid quantum-classical algorithm called Local Subspace Variational Quantum Compilation (LSVQC) for compiling the time-evolution operator. The LSVQC uses variational optimization to reproduce the action of the target time-evolution operator within a physically reasonable subspace. Optimization is performed on small local subsystems based on the Lieb-Robinson bound, allowing for cost function evaluation using small-scale quantum devices or classical computers. Numerical simulations on a spin-lattice model and an $\mathit{\text{ab initio}}$ effective model of strongly correlated material Sr$_2$CuO$_3$ demonstrate the algorithm's effectiveness. It is shown that the LSVQC achieves a 95% reduction in circuit depth compared to Trotterization while maintaining accuracy. The subspace restriction also reduces resource requirements and improves accuracy. Furthermore, we estimate the gate count needed to execute the quantum simulations using the LSVQC on near-term quantum computing architectures in the noisy intermediate-scale or early fault-tolerant quantum computing era. Our estimation suggests that the acceptable physical gate error rate for the LSVQC can be significantly larger than for Trotterization.

quant-ph

Gapless symmetry-protected topological phase of quantum antiferromagnets on anisotropic triangular strip

We study a three-leg spin-1/2 ladder with geometrically frustrated interleg interactions. We call this model an anisotropic triangular-strip (ATS) model. We numerically and field-theoretically show that its ground state belongs to a gapless symmetry-protected topological (SPT) phase. The numerical approach is based on density-matrix renormalization group analyses of the entanglement entropy and the entanglement spectrum. Whereas the entanglement entropy exhibits a critical behavior, the entanglement spectrum is nontrivially degenerate. These entanglement properties imply that the ground state is a gapless topological phase. We investigate the ATS model using a quantum field theory to support the numerical findings. When the frustrated interchain interaction is deemed a perturbation acting on the three spin chains, the frustrated interchain interaction almost isolates the second chain from the other two chains. However, at the same time, the second chain mediates a ferromagnetic interaction between the first and third chains. Therefore, the ground state of the ATS model is a gapless Tomonaga-Luttinger liquid weakly coupled to a spin-1 Haldane chain with irrelevant interactions. Last but not least, we show that the gapless SPT phase of the ATS model is a symmetry-protected critical phase. We point out that the symmetry protection of criticality is essential in characterization of the gapless SPT phase.

cond-mat.str-el