-
Solving Free Fermion Problems on a Quantum Computer
Authors:
Maarten Stroeks,
Daan Lenterman,
Barbara Terhal,
Yaroslav Herasymenko
Abstract:
Simulating noninteracting fermion systems is a basic computational tool in many-body physics. In absence of translational symmetries, modeling free fermions on $N$ modes usually requires poly$(N)$ computational resources. While often moderate, these costs can be prohibitive in practice when large systems are considered. We present several noninteracting fermion problems that can be solved by a qua…
▽ More
Simulating noninteracting fermion systems is a basic computational tool in many-body physics. In absence of translational symmetries, modeling free fermions on $N$ modes usually requires poly$(N)$ computational resources. While often moderate, these costs can be prohibitive in practice when large systems are considered. We present several noninteracting fermion problems that can be solved by a quantum algorithm with exponentially-improved, poly log$(N)$ cost. We point out that the simulation of free-fermion dynamics belongs to the BQP-hard complexity class, implying that our discovered exponential speedup is robust. The key technique in our algorithm is the block-encoding of the correlation matrix into a unitary. We demonstrate how such a unitary can be efficiently realized as a quantum circuit, in the context of dynamics and thermal states of tight-binding Hamiltonians. The special cases of disordered and inhomogeneous lattices, as well as large non-lattice graphs, are presented in detail. Finally, we show that our simulation algorithm generalizes to other promising targets, including free boson systems.
△ Less
Submitted 22 November, 2024; v1 submitted 6 September, 2024;
originally announced September 2024.
-
Efficient learning of quantum states prepared with few fermionic non-Gaussian gates
Authors:
Antonio Anna Mele,
Yaroslav Herasymenko
Abstract:
The experimental realization of increasingly complex quantum states underscores the pressing need for new methods of state learning and verification. In one such framework, quantum state tomography, the aim is to learn the full quantum state from data obtained by measurements. Without prior assumptions on the state, this task is prohibitively hard. Here, we present an efficient algorithm for learn…
▽ More
The experimental realization of increasingly complex quantum states underscores the pressing need for new methods of state learning and verification. In one such framework, quantum state tomography, the aim is to learn the full quantum state from data obtained by measurements. Without prior assumptions on the state, this task is prohibitively hard. Here, we present an efficient algorithm for learning states on $n$ fermion modes prepared by any number of Gaussian and at most $t$ non-Gaussian gates. By Jordan-Wigner mapping, this also includes $n$-qubit states prepared by nearest-neighbour matchgate circuits with at most $t$ SWAP-gates. Our algorithm is based exclusively on single-copy measurements and produces a classical representation of a state, guaranteed to be close in trace distance to the target state. The sample and time complexity of our algorithm is $\mathrm{poly}(n,2^t)$; thus if $t=O(\log(n))$, it is efficient. We also show that, if $t$ scales slightly more than logarithmically, any learning algorithm to solve the same task must be inefficient, under common cryptographic assumptions. We also provide an efficient property testing algorithm that, given access to copies of a state, determines whether such a state is far or close to the set of states for which our learning algorithm works. In addition to the outputs of quantum circuits, our tomography algorithm is efficient for some physical target states, such as those arising in time dynamics and low-energy physics of impurity models. Beyond tomography, our work sheds light on the structure of states prepared with few non-Gaussian gates and offers an improved upper bound on their circuit complexity, enabling an efficient circuit compilation method.
△ Less
Submitted 29 January, 2025; v1 submitted 28 February, 2024;
originally announced February 2024.
-
Classifying fermionic states via many-body correlation measures
Authors:
Mykola Semenyakin,
Yevheniia Cheipesh,
Yaroslav Herasymenko
Abstract:
Understanding the structure of quantum correlations in a many-body system is key to its computational treatment. For fermionic systems, correlations can be defined as deviations from Slater determinant states. The link between fermionic correlations and efficient computational physics methods is actively studied but remains ambiguous. We make progress in establishing this connection mathematically…
▽ More
Understanding the structure of quantum correlations in a many-body system is key to its computational treatment. For fermionic systems, correlations can be defined as deviations from Slater determinant states. The link between fermionic correlations and efficient computational physics methods is actively studied but remains ambiguous. We make progress in establishing this connection mathematically. In particular, we find a rigorous classification of states relative to $k$-fermion correlations, which admits a computational physics interpretation. Correlations are captured by a measure $ω_k$, a function of $k$-fermion reduced density matrix that we call twisted purity. A condition $ω_k=0$ for a given $k$ puts the state in a class $G_k$ of correlated states. Sets $G_k$ are nested in $k$, and Slater determinants correspond to $k = 1$. Classes $G_{k=O(1)}$ are shown to be physically relevant, as $ω_k$ vanishes or nearly vanishes for truncated configuration-interaction states, perturbation series around Slater determinants, and some nonperturbative eigenstates of the 1D Hubbard model. For each $k = O(1)$, we give an explicit ansatz with a polynomial number of parameters that covers all states in $G_k$. Potential applications of this ansatz and its connections to the coupled-cluster wavefunction are discussed.
△ Less
Submitted 8 April, 2025; v1 submitted 14 September, 2023;
originally announced September 2023.
-
Fermionic Hamiltonians without trivial low-energy states
Authors:
Yaroslav Herasymenko,
Anurag Anshu,
Barbara Terhal,
Jonas Helsen
Abstract:
We construct local fermionic Hamiltonians with no low-energy trivial states (NLTS), providing a fermionic counterpart to the NLTS theorem. Distinctly from the qubit case, we define trivial states via finite-depth $\textit{fermionic}$ quantum circuits. We furthermore allow free access to Gaussian fermionic operations, provided they involve at most $O(n)$ ancillary fermions. The desired fermionic Ha…
▽ More
We construct local fermionic Hamiltonians with no low-energy trivial states (NLTS), providing a fermionic counterpart to the NLTS theorem. Distinctly from the qubit case, we define trivial states via finite-depth $\textit{fermionic}$ quantum circuits. We furthermore allow free access to Gaussian fermionic operations, provided they involve at most $O(n)$ ancillary fermions. The desired fermionic Hamiltonian can be constructed using any qubit Hamiltonian which itself has the NLTS property via well-spread distributions over bitstrings, such as the construction in [Anshu, Breuckmann, Nirkhe, STOC 2023]. We define a fermionic analogue of the class quantum PCP and discuss its relation with the qubit version.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
Optimizing sparse fermionic Hamiltonians
Authors:
Yaroslav Herasymenko,
Maarten Stroeks,
Jonas Helsen,
Barbara Terhal
Abstract:
We consider the problem of approximating the ground state energy of a fermionic Hamiltonian using a Gaussian state. In sharp contrast to the dense case, we prove that strictly $q$-local $\rm {\textit {sparse}}$ fermionic Hamiltonians have a constant Gaussian approximation ratio; the result holds for any connectivity and interaction strengths. Sparsity means that each fermion participates in a boun…
▽ More
We consider the problem of approximating the ground state energy of a fermionic Hamiltonian using a Gaussian state. In sharp contrast to the dense case, we prove that strictly $q$-local $\rm {\textit {sparse}}$ fermionic Hamiltonians have a constant Gaussian approximation ratio; the result holds for any connectivity and interaction strengths. Sparsity means that each fermion participates in a bounded number of interactions, and strictly $q$-local means that each term involves exactly $q$ fermionic (Majorana) operators. We extend our proof to give a constant Gaussian approximation ratio for sparse fermionic Hamiltonians with both quartic and quadratic terms. With additional work, we also prove a constant Gaussian approximation ratio for the so-called sparse SYK model with strictly $4$-local interactions (sparse SYK-$4$ model). In each setting we show that the Gaussian state can be efficiently determined. Finally, we prove that the $O(n^{-1/2})$ Gaussian approximation ratio for the normal (dense) SYK-$4$ model extends to SYK-$q$ for even $q>4$, with an approximation ratio of $O(n^{1/2 - q/4})$. Our results identify non-sparseness as the prime reason that the SYK-$4$ model can fail to have a constant approximation ratio.
△ Less
Submitted 3 August, 2023; v1 submitted 29 November, 2022;
originally announced November 2022.
-
Measurement-driven navigation in many-body Hilbert space: Active-decision steering
Authors:
Yaroslav Herasymenko,
Igor Gornyi,
Yuval Gefen
Abstract:
The challenge of preparing a system in a designated state spans diverse facets of quantum mechanics. To complete this task of steering quantum states, one can employ quantum control through a sequence of generalized measurements which direct the system towards the target state. In an active version of this protocol, the obtained measurement readouts are used to adjust the protocol on-the-go. This…
▽ More
The challenge of preparing a system in a designated state spans diverse facets of quantum mechanics. To complete this task of steering quantum states, one can employ quantum control through a sequence of generalized measurements which direct the system towards the target state. In an active version of this protocol, the obtained measurement readouts are used to adjust the protocol on-the-go. This enables a sped-up performance relative to the passive version of the protocol, where no active adjustments are included. In this work, we consider such active measurement-driven steering as applied to the challenging case of many-body quantum systems. For helpful decision-making strategies, we offer Hilbert-space-orientation techniques, comparable to those used in navigation. The first one is to tie the active-decision protocol to the greedy accumulation of the cost function, such as the target state fidelity. We show the potential of a significant speedup, employing this greedy approach to a broad family of Matrix Product State targets. For system sizes considered here, an average value of the speedup factor $f$ across this family settles about $20$, for some targets even reaching a few thousands. We also identify a subclass of Matrix Product State targets, for which the value of $f$ increases with system size. In addition to the greedy approach, the second wayfinding technique is to map out the available measurement actions onto a Quantum State Machine. A decision-making protocol can be based on such a representation, using semiclassical heuristics. This State Machine-based approach can be applied to a more restricted set of targets, sometimes offering advantages over the cost function-based method. We give an example of a W-state preparation which is accelerated with this method by $f\simeq3.5$, outperforming the greedy protocol for this target.
△ Less
Submitted 21 October, 2022; v1 submitted 17 November, 2021;
originally announced November 2021.
-
Quantum digital cooling
Authors:
Stefano Polla,
Yaroslav Herasymenko,
Thomas E. O'Brien
Abstract:
We introduce a method for digital preparation of ground states of simulated Hamiltonians, inspired by cooling in nature and adapted to leverage the capabilities of digital quantum hardware. The cold bath is simulated by a single ancillary qubit, which is reset periodically and coupled to the system non-perturbatively. Studying this cooling method on a 1-qubit system toy model, we optimize two cool…
▽ More
We introduce a method for digital preparation of ground states of simulated Hamiltonians, inspired by cooling in nature and adapted to leverage the capabilities of digital quantum hardware. The cold bath is simulated by a single ancillary qubit, which is reset periodically and coupled to the system non-perturbatively. Studying this cooling method on a 1-qubit system toy model, we optimize two cooling protocols based on weak-coupling and strong-coupling approaches. Extending the insight from the 1-qubit system model, we develop two scalable protocols for larger systems. The LogSweep protocol extends the weak-coupling approach by sweeping energies to resonantly match any targeted transition. We test LogSweep on the 1D tranverse-field Ising model, demonstrating approximate ground state preparation with an error that can be made polynomially small in the computation time for all three phases of the system. The BangBang protocol extends the strong-coupling approach, and exploits a heuristics for local Hamiltonians to maximise the probability of de-exciting system transitions in the shortest possible time. Although this protocol does not promise long-time convergence, it allows for a rapid cooling to an approximation of the ground state, making this protocol appealing for near-term demonstrations.
△ Less
Submitted 11 April, 2023; v1 submitted 23 September, 2019;
originally announced September 2019.
-
A diagrammatic approach to variational quantum ansatz construction
Authors:
Y. Herasymenko,
T. E. O'Brien
Abstract:
Variational quantum eigensolvers (VQEs) are a promising class of quantum algorithms for preparing approximate ground states in near-term quantum devices. Minimizing the error in such an approximation requires designing ansatzes using physical considerations that target the studied system. One such consideration is size-extensivity, meaning that the ground state quantum correlations are to be compa…
▽ More
Variational quantum eigensolvers (VQEs) are a promising class of quantum algorithms for preparing approximate ground states in near-term quantum devices. Minimizing the error in such an approximation requires designing ansatzes using physical considerations that target the studied system. One such consideration is size-extensivity, meaning that the ground state quantum correlations are to be compactly represented in the ansatz. On digital quantum computers, however, the size-extensive ansatzes usually require expansion via Trotter-Suzuki methods. These introduce additional costs and errors to the approximation. In this work, we present a diagrammatic scheme for the digital VQE ansatzes, which is size-extensive but does not rely on Trotterization. We start by designing a family of digital ansatzes that explore the entire Hilbert space with the minimum number of free parameters. We then demonstrate how one may compress an arbitrary digital ansatz, by enforcing symmetry constraints of the target system, or by using them as parent ansatzes for a hierarchy of increasingly long but increasingly accurate sub-ansatzes. We apply a perturbative analysis and develop a diagrammatic formalism that ensures the size-extensivity of generated hierarchies. We test our methods on a short spin chain, finding good convergence to the ground state in the paramagnetic and the ferromagnetic phase of the transverse-field Ising model.
△ Less
Submitted 25 November, 2021; v1 submitted 18 July, 2019;
originally announced July 2019.
-
Electrical detection of the Majorana fusion rule for chiral edge vortices in a topological superconductor
Authors:
C. W. J. Beenakker,
A. Grabsch,
Y. Herasymenko
Abstract:
Majorana zero-modes bound to vortices in a topological superconductor have a non-Abelian exchange statistics expressed by a non-deterministic fusion rule: When two vortices merge they may or they may not produce an unpaired fermion with equal probability. Building on a recent proposal to inject edge vortices in a chiral mode by means of a Josephson junction, we show how the fusion rule manifests i…
▽ More
Majorana zero-modes bound to vortices in a topological superconductor have a non-Abelian exchange statistics expressed by a non-deterministic fusion rule: When two vortices merge they may or they may not produce an unpaired fermion with equal probability. Building on a recent proposal to inject edge vortices in a chiral mode by means of a Josephson junction, we show how the fusion rule manifests itself in an electrical measurement. A $2π$ phase shift at a pair of Josephson junctions creates a topological qubit in a state of even-even fermion parity, which is transformed by the chiral motion of the edge vortices into an equal-weight superposition of even-even and odd-odd fermion parity. Fusion of the edge vortices at a second pair of Josephson junctions results in a correlated charge transfer of zero or one electron per cycle, such that the current at each junction exhibits shot noise, but the difference of the currents is nearly noiseless.
△ Less
Submitted 4 December, 2018;
originally announced December 2018.
-
Deterministic creation and braiding of chiral edge vortices
Authors:
C. W. J. Beenakker,
P. Baireuther,
Y. Herasymenko,
I. Adagideli,
Lin Wang,
A. R. Akhmerov
Abstract:
Majorana zero-modes in a superconductor are midgap states localized in the core of a vortex or bound to the end of a nanowire. They are anyons with non-Abelian braiding statistics, but when they are immobile one cannot demonstrate this by exchanging them in real space and indirect methods are needed. As a real-space alternative, we propose to use the chiral motion along the boundary of the superco…
▽ More
Majorana zero-modes in a superconductor are midgap states localized in the core of a vortex or bound to the end of a nanowire. They are anyons with non-Abelian braiding statistics, but when they are immobile one cannot demonstrate this by exchanging them in real space and indirect methods are needed. As a real-space alternative, we propose to use the chiral motion along the boundary of the superconductor to braid a mobile vortex in the edge channel with an immobile vortex in the bulk. The measurement scheme is fully electrical and deterministic: edge vortices ($π$-phase domain walls) are created on demand by a voltage pulse at a Josephson junction and the braiding with a Majorana zero-mode in the bulk is detected by the charge produced upon their fusion at a second Josephson junction.
△ Less
Submitted 13 November, 2018; v1 submitted 24 September, 2018;
originally announced September 2018.
-
Bounds on nonlocal correlations in the presence of signaling and their application to topological zero modes
Authors:
Avishy Carmi,
Yaroslav Herasymenko,
Eliahu Cohen,
Kyrylo Snizhko
Abstract:
Bell's theorem renders quantum correlations distinct from those of any local-realistic model. Although being stronger than classical correlations, quantum correlations are limited by the Tsirelson bound. This bound, however, applies for Hermitian, commutative operators corresponding to non-signaling observables in Alice's and Bob's spacelike-separated labs. As an attempt to explore theories beyond…
▽ More
Bell's theorem renders quantum correlations distinct from those of any local-realistic model. Although being stronger than classical correlations, quantum correlations are limited by the Tsirelson bound. This bound, however, applies for Hermitian, commutative operators corresponding to non-signaling observables in Alice's and Bob's spacelike-separated labs. As an attempt to explore theories beyond quantum mechanics and analyze the uniqueness of the latter, we examine in this work the extent of non-local correlations when relaxing these fundamental assumptions, which allows for theories with non-local signaling. We prove that, somewhat surprisingly, the Tsirelson bound in the Bell-Clauser-Horne-Shimony-Holt scenario, and similarly other related bounds on non-local correlations, remain effective as long as we maintain the Hilbert space structure of the theory. Furthermore, in the case of Hermitian observables we find novel relations between non-locality, local correlations, and signaling. We demonstrate that such non-local signaling theories are naturally simulated by quantum systems of parafermionic zero modes. We numerically study the derived bounds in parafermionic systems, confirming the bounds' validity yet finding a drastic difference between correlations of 'signaling' and 'non-signaling' sets of observables. We also propose an experimental procedure for measuring the relevant correlations.
△ Less
Submitted 22 July, 2019; v1 submitted 18 September, 2018;
originally announced September 2018.
-
Valley switch in a graphene superlattice due to pseudo-Andreev reflection
Authors:
C. W. J. Beenakker,
N. V. Gnezdilov,
E. Dresselhaus,
V. P. Ostroukh,
Y. Herasymenko,
I. Adagideli,
J. Tworzydlo
Abstract:
Dirac electrons in graphene have a valley degree of freedom that is being explored as a carrier of information. In that context of "valleytronics" one seeks to coherently manipulate the valley index. Here we show that reflection from a superlattice potential can provide a valley switch: Electrons approaching a pristine-graphene--superlattice-graphene interface near normal incidence are reflected i…
▽ More
Dirac electrons in graphene have a valley degree of freedom that is being explored as a carrier of information. In that context of "valleytronics" one seeks to coherently manipulate the valley index. Here we show that reflection from a superlattice potential can provide a valley switch: Electrons approaching a pristine-graphene--superlattice-graphene interface near normal incidence are reflected in the opposite valley. We identify the topological origin of this valley switch, by mapping the problem onto that of Andreev reflection from a topological superconductor, with the electron-hole degree of freedom playing the role of the valley index. The valley switch is ideal at a symmetry point of the superlattice potential, but remains close to 100% in a broad parameter range.
△ Less
Submitted 5 June, 2018; v1 submitted 7 May, 2018;
originally announced May 2018.
-
Universal quantum noise in adiabatic pumping
Authors:
Yaroslav Herasymenko,
Kyrylo Snizhko,
Yuval Gefen
Abstract:
We consider charge pumping in a system of parafermions, implemented at fractional quantum Hall edges. Our pumping protocol leads to a noisy behavior of the pumped current. As the adiabatic limit is approached, not only does the noisy behavior persist but the counting statistics of the pumped current becomes robust and universal. In particular, the resulting Fano factor is given in terms of the sys…
▽ More
We consider charge pumping in a system of parafermions, implemented at fractional quantum Hall edges. Our pumping protocol leads to a noisy behavior of the pumped current. As the adiabatic limit is approached, not only does the noisy behavior persist but the counting statistics of the pumped current becomes robust and universal. In particular, the resulting Fano factor is given in terms of the system's topological degeneracy and the pumped quasiparticle charge. Our results are also applicable to the more conventional Majorana fermions.
△ Less
Submitted 2 June, 2018; v1 submitted 4 February, 2018;
originally announced February 2018.
