arXiv Science⌕ Search

arXiv subjects

M. S. Kim

Publications and source records attributed to M. S. Kim.

At least 73 records · Page 4Linked to original sources

Scalable measures of magic resource for quantum computers

Non-stabilizerness or magic resource characterizes the amount of non-Clifford operations needed to prepare quantum states. It is a crucial resource for quantum computing and a necessary condition for quantum advantage. However, quantifying magic resource beyond a few qubits has been a major challenge. Here, we introduce efficient measures of magic resource for pure quantum states with a sampling cost that is independent of the number of qubits. Our method uses Bell measurements over two copies of a state, which we implement in experiment together with a cost-free error mitigation scheme. We show the transition of classically simulable stabilizer states into intractable quantum states on the IonQ quantum computer. For applications, we efficiently distinguish stabilizer and non-stabilizer states with low measurement cost even in the presence of experimental noise. Further, we propose a variational quantum algorithm to maximize our measure via the shift-rule. Our algorithm can be free of barren plateaus even for highly expressible variational circuits. Finally, we experimentally demonstrate a Bell measurement protocol for the stabilizer Rényi entropy as well as the Wallach-Meyer entanglement measure. Our results pave the way to understand the non-classical power of quantum computers, quantum simulators and quantum many-body systems.

quant-ph↗

Quantum machine learning of large datasets using randomized measurements

Quantum computers promise to enhance machine learning for practical applications. Quantum machine learning for real-world data has to handle extensive amounts of high-dimensional data. However, conventional methods for measuring quantum kernels are impractical for large datasets as they scale with the square of the dataset size. Here, we measure quantum kernels using randomized measurements. The quantum computation time scales linearly with dataset size and quadratic for classical post-processing. While our method scales in general exponentially in qubit number, we gain a substantial speed-up when running on intermediate-sized quantum computers. Further, we efficiently encode high-dimensional data into quantum computers with the number of features scaling linearly with the circuit depth. The encoding is characterized by the quantum Fisher information metric and is related to the radial basis function kernel. Our approach is robust to noise via a cost-free error mitigation scheme. We demonstrate the advantages of our methods for noisy quantum computers by classifying images with the IBM quantum computer. To achieve further speedups we distribute the quantum computational tasks between different quantum computers. Our method enables benchmarking of quantum machine learning algorithms with large datasets on currently available quantum computers.

quant-ph↗

Natural parameterized quantum circuit

Noisy intermediate scale quantum computers are useful for various tasks such as state preparation and variational quantum algorithms. However, the non-Euclidean quantum geometry of parameterized quantum circuits is detrimental for these applications. Here, we introduce the natural parameterized quantum circuit (NPQC) that can be initialised with a Euclidean quantum geometry. The initial training of variational quantum algorithms is substantially sped up as the gradient is equivalent to the quantum natural gradient. Further, we show how to estimate the parameters of the NPQC by sampling the circuit, which could be used for benchmarking or calibrating NISQ hardware. For a general class of quantum circuits, the NPQC has the minimal quantum Cramér-Rao bound which highlights its potential for quantum metrology. Finally, we show how to generate arbitrary superpositions of two states with the NPQCs for state preparation tasks. Our results can be used to enhance currently available quantum processors.

quant-ph↗

Divide-and-conquer embedding for QUBO quantum annealing

Quantum annealing promises to be an effective heuristic for complex NP-hard problems. However, clear demonstrations of quantum advantage are wanting, primarily constrained by the difficulty of embedding the problem into the quantum hardware. Community detection methods such as the Girvin--Newman algorithm can provide a divide-and-conquer approach to large problems. Here, we propose a problem-focused division for embedding, deliberately worsening typical measures of embedding quality to improve the partial solutions we obtain. We apply this approach first to the highly irregular graph of an integer factorisation problem and, passing this initial test, move on to consider more regular geometrically frustrated systems. Our results show that a problem-focused approach to embedding can improve performance by orders of magnitude.

quant-ph↗

Demonstrating Quantum Microscopic Reversibility Using Coherent States of Light

The principle of microscopic reversibility lies at the core of fluctuation theorems, which have extended our understanding of the second law of thermodynamics to the statistical level. In the quantum regime, however, this elementary principle should be amended as the system energy cannot be sharply determined at a given quantum phase space point. In this Letter, we propose and experimentally test a quantum generalization of the microscopic reversibility when a quantum system interacts with a heat bath through energy-preserving unitary dynamics. Quantum effects can be identified by noting that the backward process is less likely to happen in the existence of quantum coherence between the system's energy eigenstates. The experimental demonstration has been realized by mixing coherent and thermal states in a beam-splitter, followed by heterodyne detection in an optical setup. We verify that the quantum modification for the principle of microscopic reversibility is critical in the low-temperature limit, while the quantum-to-classical transition is observed as the temperature of the thermal field gets higher.

quant-ph↗

Noise thresholds for classical simulability of non-linear Boson sampling

Boson sampling, a computational problem conjectured to be hard to simulate on a classical machine, is a promising candidate for an experimental demonstration of quantum advantage using bosons. However, inevitable experimental noise and imperfections, such as loss in the interferometer and random counts at the detectors, could challenge the sampling task from entering the regime where quantum advantage is achievable. In this work we introduce higher order non-linearities as a mean to enhance the computational complexity of the problem and the protocol's robustness against noise, i.e. increase the noise threshold that allows to perform an efficient classical simulation of the problem. Using a phase-space method based on the negativity volume of the relevant quasi-probability distributions, we establish a necessary non-classicality condition that any experimental proof of quantum advantage must satisfy. Our results indicate that the addition of single-mode Kerr non-linearity at the input state preparation level, while retaining a linear-optical evolution, makes the Boson sampling protocol more robust against noise and consequently relaxes the constraints on noise parameters required to show quantum advantage.

quant-ph↗

Faster Born probability estimation via gate merging and frame optimisation

Outcome probability estimation via classical methods is an important task for validating quantum computing devices. Outcome probabilities of any quantum circuit can be estimated using Monte Carlo sampling, where the amount of negativity present in the circuit frame representation quantifies the overhead on the number of samples required to achieve a certain precision. In this paper, we propose two classical sub-routines: circuit gate merging and frame optimisation, which optimise the circuit representation to reduce the sampling overhead. We show that the runtimes of both sub-routines scale polynomially in circuit size and gate depth. Our methods are applicable to general circuits, regardless of generating gate sets, qudit dimensions and the chosen frame representations for the circuit components. We numerically demonstrate that our methods provide improved scaling in the negativity overhead for all tested cases of random circuits with Clifford+$T$ and Haar-random gates, and that the performance of our methods compares favourably with prior quasi-probability simulators as the number of non-Clifford gates increases.

quant-ph↗

Scalable and Programmable Phononic Network with Trapped Ions

Controllable bosonic systems can provide post-classical computational power with sub-universal quantum computational capability. A network that consists of a number of bosons evolving through beam-splitters and phase-shifters between different modes, has been proposed and applied to demonstrate quantum advantages. While the network has been implemented mostly in optical systems with photons, recently alternative realizations have been explored, where major limitations in photonic systems such as photon loss, and probabilistic manipulation can be addressed. Phonons, the quantized excitations of vibrational modes, of trapped ions can be a promising candidate to realize the bosonic network. Here, we experimentally demonstrate a minimal-loss phononic network that can be programmed and in which any phononic states are deterministically prepared and detected. We realize the network with up to four collective-vibrational modes, which can be straightforwardly extended to reveal quantum advantage. We benchmark the performance of the network with an exemplary algorithm of tomography for arbitrary multi-mode states with a fixed total phonon number. We obtain reconstruction fidelities of 94.5 $\pm$ 1.95 % and 93.4 $\pm$ 3.15 % for single-phonon and two-phonon states, respectively. Our experiment demonstrates a clear and novel pathway to scale up a phononic network for various quantum information processing beyond the limitations of classical and other quantum systems.

quant-ph↗

Clifford Circuit Initialisation for Variational Quantum Algorithms

We present an initialisation method for variational quantum algorithms applicable to intermediate scale quantum computers. The method uses simulated annealing of the efficiently simulable Clifford parameter points as a pre-optimisation to find a low energy initial condition. We numerically demonstrate the effectiveness of the technique, and how it depends on Hamiltonian structure, number of qubits and circuit depth. While a range of different problems are considered, we note that the method is particularly useful for quantum chemistry problems. This presented method could help achieve a quantum advantage in noisy or fault-tolerant intermediate scale devices, even though we prove in general that the method is not arbitrarily scalable.

quant-ph↗

Unifying Sørensen-Mølmer gate and Milburn gate with an optomechanical example

Sørensen-Mølmer gate and Milburn gate are two geometric phase gates, generating nonlinear self-interaction of a target mode via its interaction with an auxiliary mechanical mode, in the continuous and pulsed interaction regime, respectively. In this paper, we aim at unifying the two gates by demonstrating that Sørensen-Mølmer gate is the continuous limit of Milburn gate, emphasising the geometrical interpretation in the mechanical phase space. We explicitly consider imperfect gate parameters, focusing on relative errors in time for Sørensen-Mølmer gate and in phase angle increment for Milburn gate. We find that, although the purities of the final states increase for the two gates upon reducing the interaction strength together with traversing the mechanical phase space multiple times, the fidelities behave differently. We point out that, the difference exists because the interaction strength depends on the relative error when taking the continuous limit from the pulsed regime, thereby unifying the mathematical framework of the two gates. We demonstrate this unification in the example of an optomechanical system, where mechanical dissipation is also considered. We highlight that, the unified framework facilitates the new method of deriving the dynamics of the continuous interaction regime without solving differential equations.

quant-ph↗

Experimental demonstration of Gaussian boson sampling with displacement

Gaussian boson sampling (GBS) is quantum sampling task in which one has to draw samples from the photon-number distribution of a large-dimensional nonclassical squeezed state of light. In an effort to make this task intractable for a classical computer, experiments building GBS machines have mainly focused on increasing the dimensionality and squeezing strength of the nonclassical light. However, no experiment has yet demonstrated the ability to displace the squeezed state in phase-space, which is generally required for practical applications of GBS. In this work, we build a GBS machine which achieves the displacement by injecting a laser beam alongside a two-mode squeezed vacuum state into a 15-mode interferometer. We focus on two new capabilities. Firstly, we use the displacement to reconstruct the multimode Gaussian state at the output of the interferometer. Our reconstruction technique is in situ and requires only three measurements settings regardless of the state dimension. Secondly, we study how the addition of classical laser light in our GBS machine affects the complexity of sampling its output photon statistics. We introduce and validate approximate semi-classical models which reduce the computational cost when a significant fraction of the detected light is classical.

quant-ph↗

Polynomial T-depth Quantum Solvability of Noisy Binary Linear Problem: From Quantum-Sample Preparation to Main Computation

The noisy binary linear problem (NBLP) is known as a computationally hard problem, and therefore, it offers primitives for post-quantum cryptography. An efficient quantum NBLP algorithm that exhibits a polynomial quantum sample and time complexities has recently been proposed. However, the algorithm requires a large number of samples to be loaded in a highly entangled state and it is unclear whether such a precondition on the quantum speedup can be obtained efficiently. Here, we present a complete analysis of the quantum solvability of the NBLP by considering the entire algorithm process, namely from the preparation of the quantum sample to the main computation. By assuming that the algorithm runs on "fault-tolerant" quantum circuitry, we introduce a reasonable measure of the computational time cost. The measure is defined in terms of the overall number of T gate layers, referred to as T-depth complexity. We show that the cost of solving the NBLP can be polynomial in the problem size, at the expense of an exponentially increasing logical qubits.

quant-ph↗

Quantum solvability of noisy linear problems by divide-and-conquer strategy

Noisy linear problems have been studied in various science and engineering disciplines. A class of "hard" noisy linear problems can be formulated as follows: Given a matrix $\hat{A}$ and a vector $\mathbf{b}$ constructed using a finite set of samples, a hidden vector or structure involved in $\mathbf{b}$ is obtained by solving a noise-corrupted linear equation $\hat{A}\mathbf{x} \approx \mathbf{b} + \boldsymbolη$, where $\boldsymbolη$ is a noise vector that cannot be identified. For solving such a noisy linear problem, we consider a quantum algorithm based on a divide-and-conquer strategy, wherein a large core process is divided into smaller subprocesses. The algorithm appropriately reduces both the computational complexities and size of a quantum sample. More specifically, if a quantum computer can access a particular reduced form of the quantum samples, polynomial quantum-sample and time complexities are achieved in the main computation. The size of a quantum sample and its executing system can be reduced, e.g., from exponential to sub-exponential with respect to the problem length, which is better than other results we are aware. We analyse the noise model conditions for such a quantum advantage, and show when the divide-and-conquer strategy can be beneficial for quantum noisy linear problems.

quant-ph↗

Reversing Lindblad Dynamics via Continuous Petz Recovery Map

An important issue in developing quantum technology is that quantum states are so sensitive to noise. We propose a protocol that introduces reverse dynamics, in order to precisely control quantum systems against noise described by the Lindblad master equation. The reverse dynamics can be obtained by constructing the Petz recovery map in continuous time. By providing the exact form of the Hamiltonian and jump operators for the reverse dynamics, we explore the potential of utilizing the near-optimal recovery of the Petz map in controlling noisy quantum dynamics. While time-dependent dissipation engineering enables us to fully recover a single quantum trajectory, we also design a time-independent recovery protocol to protect encoded quantum information against decoherence. Our protocol can efficiently suppress only the noise part of dynamics thereby providing an effective unitary evolution of the quantum system.

quant-ph↗

Fault-tolerance in qudit circuit design

The efficient decomposition of multi-controlled gates is a significant factor in quantum compiling, both in circuit depth and T-gate count. Recent work has demonstrated that qudits have the potential to reduce resource requirements from linear to logarithmic depth and to avoid fractional phase rotations. Here we argue, based on the scaling of decoherence in high-index states, that circuit depth is not the primary factor, and that both the choice of entangling gate and interaction network topology act together to determine the spread of errors and ultimate failure rate in a circuit. We further show that for certain linear-depth circuits, additional error mitigation is possible via selective application of resources.

quant-ph↗

Limits on inference of gravitational entanglement

Combining gravity with quantum mechanics remains one of the biggest challenges of physics. In the past years, experiments with opto-mechanical systems have been proposed that may give indirect clues about the quantum nature of gravity. In a recent variation of such tests [D. Carney et al., Phys.Rev.X Quantum 2, 030330 (2021)], the authors propose to gravitationally entangle an atom interferometer with a mesoscopic oscillator. The interaction results in periodic drops and revivals of the interferometeric visibility, which under specific assumptions indicate the gravitational generation of entanglement. Here we study semi-classical models of the atom interferometer that can reproduce the same effect. We show that the core signature -- periodic collapses and revivals of the visibility -- can appear if the atom is subject to a random unitary channel, including the case where the oscillator is fully classical and situations even without explicit modelling of the oscillator. We also show that the non-classicality of the oscillator vanishes unless the system is very close to its ground state, and even when the system is in the ground state, the non-classicality is limited by the coupling strength. Our results thus indicate that deducing entanglement from the proposed experiment is very challenging, since fulfilling and verifying the non-classicality assumptions is a significant challenge on its own right.

quant-ph↗

Measuring the joint spectral mode of photon pairs using intensity interferometry

The ability to manipulate and measure the time-frequency structure of quantum light is useful for information processing and metrology. Measuring this structure is also important when developing quantum light sources with high modal purity that can interfere with other independent sources. Here, we present and experimentally demonstrate a scheme based on intensity interferometry to measure the joint spectral mode of photon pairs produced by spontaneous parametric down-conversion. We observe correlations in the spectral phase of the photons due to chirp in the pump. We show that our scheme can be combined with stimulated emission tomography to quickly measure their mode using bright classical light. Our scheme does not require phase stability, nonlinearities, or spectral shaping, and thus is an experimentally simple way of measuring the modal structure of quantum light.

quant-ph↗

Generating Haar-uniform Randomness using Stochastic Quantum Walks on a Photonic Chip

As random operations for quantum systems are intensively used in various quantum information tasks, a trustworthy measure of the randomness in quantum operations is highly demanded. The Haar measure of randomness is a useful tool with wide applications such as boson sampling. Recently, a theoretical protocol was proposed to combine quantum control theory and driven stochastic quantum walks to generate Haar-uniform random operations. This opens up a promising route to converting classical randomness to quantum randomness. Here, we implement a two-dimensional stochastic quantum walk on the integrated photonic chip and demonstrate that the average of all distribution profiles converges to the even distribution when the evolution length increases, suggesting the 1-pad Haar-uniform randomness. We further show that our two-dimensional array outperforms the one-dimensional array of the same number of waveguide for the speed of convergence. Our work demonstrates a scalable and robust way to generate Haar-uniform randomness that can provide useful building blocks to boost future quantum information techniques.

quant-ph↗