SearcharxivSearch

arXiv subjects

Vladyslav Bohun

Publications and source records attributed to Vladyslav Bohun.

7 recordsLinked to original sources

Quantum Hamiltonian simulation of linearised Euler equations in complex geometries

Quantum computing promises exponential improvements in solving large systems of partial differential equations (PDE), which forms a bottleneck in high-resolution simulations of, among others, computational fluid dynamics (CFD) in aerospace applications and weather forecasting. One approach is via mapping classical PDE problems to a quantum Hamiltonian evolution, for which recently an explicit quantum circuit construction has been shown in simple cases, allowing proof-of-concept execution on quantum processors. Here we extended this method to more complex and practically relevant cases. We first demonstrate how arbitrary complex-shaped geometrical obstacles with Dirichlet, Neumann or mixed boundary conditions can be introduced in the quantum representations of elementary difference operators used to implement the PDE, either directly or using Linear Combination of Unitaries (LCU). We provide their explicit and efficient circuit constructions, and analyze the Trotter errors and asymptotic gate complexities, which in the Dirichlet case do not grow compared to the free space equation. Using these methods we then derive quantum circuits for the linearized Euler equations in the presence of a background fluid flow and obstacles, both in the conservative and non-conservative regimes. We illustrate our results by simulating the obtained quantum circuits for different boundary conditions and geometries, comparing their error to a classical finite difference scheme.

quant-ph

Reducing quantum and classical resources for quantum-centric supercomputing workloads on near-term hardware

Sample-based Krylov quantum diagonalization (SKQD) is a paradigmatic example of a quantum-centric supercomputing workflow that combines the convergence structure of Krylov quantum diagonalization with classical sampling-based post-processing. It provides convergence guarantees assuming that the important computational-basis configurations can be sampled from a set of Krylov states with sufficient probability. We analyze this assumption under depolarizing noise, deriving shot-count resource estimates that expose an exponential depth penalty, and perform experiments on current noisy hardware with the one-dimensional single-impurity Anderson model on a 20-site (40-qubit) instance. Device noise breaks the practical convergence predicted by the noiseless SKQD analysis, but approximate compilation techniques can compress the Krylov time-evolution circuits before execution. The compressed circuits accumulate less hardware noise, recover the expected energy convergence, and reduce both the quantum shot budget and the classical subspace dimension, remaining beneficial even when classical configuration recovery is applied.

quant-ph

Entanglement scaling in matrix product state representation of smooth functions and their shallow quantum circuit approximations

Encoding classical data in a quantum state is a key prerequisite of many quantum algorithms. Recently matrix product state (MPS) methods emerged as the most promising approach for constructing shallow quantum circuits approximating input functions, including probability distributions, with only linear number of gates. We derive rigorous asymptotic expansions for the decay of entanglement across bonds in the MPS representation depending on the smoothness of the input function, real or complex. We also consider the dependence of the entanglement on localization properties and function support. Based on these analytical results we construct an improved MPS-based algorithm yielding shallow and accurate encoding quantum circuits. By using Tensor Cross Interpolation we are able to construct utility-scale quantum circuits in a compute- and memory-efficient way. We validate our methods by loading heavy-tailed distributions, including Levy, important in finance, but they apply to any smooth function inputs. We test the performance of the resulting quantum circuits by executing and sampling from them on IBM quantum devices, for up to 156 qubits.

quant-ph

Quantum algorithm for the lattice Boltzmann method with applications on real quantum devices

We introduce a novel quantum algorithm for the lattice Boltzmann method (LBM) based on the one-step simplified LBM. The structure of the algorithm allows for more flexibility in modelling different physics in contrast to earlier quantum algorithms for the LBM, while retaining computational efficiency in terms of the gate and qubit complexity. The new algorithm has potential for full end-to-end quantum utility especially for linear problems. We discuss the implementation of examples in linear acoustics, as well as a nonlinear Navier-Stokes problem that was solved on an IBM QPU in a hybrid simulation loop.

quant-ph

Distributed Quantum Dynamics on Near-Term Quantum Processors

Simulations of quantum dynamics are a key application of near term quantum computing, but are hindered by the twin challenges of noise and small device scale, which limit the executable circuit depths and the number of qubits the algorithm can be run on. Towards overcoming these obstacles we develop and implement a distributed variant of the projected Variational Quantum Dynamics which we dub dp-VQD, which allows to simultaneously alleviate circuit depth and width limitations. We employ the wire cutting technique, which can be executed on the existing devices without quantum or classical communication. We demonstrate the full variational training on noisy simulators, and execute and perform the reconstruction on real IBM quantum devices. The algorithm allows to execute Hamiltonian evolution simulations for problem sizes exceeding devices' nominal qubit counts, and to combine multiple small devices in a distributed computation. We test our approach on the Heisenberg and Hubbard model dynamics.

quant-ph

Arithmetic properties of multiplicative integer-valued perturbed random walks

Let $(ξ_1, η_1)$, $(ξ_2, η_2),\ldots$ be independent identically distributed $\mathbb{N}^2$-valued random vectors with arbitrarily dependent components. The sequence $(Θ_k)_{k\in\mathbb{N}}$ defined by $Θ_k=Π_{k-1}\cdotη_k$, where $Π_0=1$ and $Π_k=ξ_1\cdot\ldots\cdot ξ_{k}$ for $k\in\mathbb{N}$, is called a multiplicative perturbed random walk. We study arithmetic properties of the random sets $\{Π_1,Π_2,\ldots, Π_k\}\subset \mathbb{N}$ and $\{Θ_1,Θ_2,\ldots, Θ_k\}\subset \mathbb{N}$, $k\in\mathbb{N}$. In particular, we derive distributional limit theorems for their prime counts and for the least common multiple.

math.PR

Renewal theory for iterated perturbed random walks on a general branching process tree: intermediate generations

Let $(ξ_k,η_k)_{k\in\mathbb{N}}$ be independent identically distributed random vectors with arbitrarily dependent positive components. We call a (globally) perturbed random walk a random sequence $(T_k)_{k\in\mathbb{N}}$ defined by $T_k:=ξ_1+\cdots+ξ_{k-1}+η_k$ for $k\in\mathbb{N}$. Further, by an iterated perturbed random walk is meant the sequence of point processes defining the birth times of individuals in subsequent generations of a general branching process provided that the birth times of the first generation individuals are given by a perturbed random walk. For $j\in\mathbb{N}$ and $t\geq 0$, denote by $N_j(t)$ the number of the $j$th generation individuals with birth times $\leq t$. In this article we prove counterparts of the classical renewal-theoretic results (the elementary renewal theorem, Blackwell's theorem and the key renewal theorem) for $N_j(t)$ under the assumption that $j=j(t)\to\infty$ and $j(t)=o(t^{2/3})$ as $t\to\infty$. According to our terminology, such generations form a subset of the set of intermediate generations.

math.PR