Efficient Algorithms for Universal Quantum Simulation

A universal quantum simulator would enable efficient simulation of quantum dynamics by implementing quantum-simulation algorithms on a quantum computer. Specifically the quantum simulator would efficiently generate qubit-string states that closely approximate physical states obtained from a broad class of dynamical evolutions. I provide an overview of theoretical research into universal quantum simulators and the strategies for minimizing computational space and time costs. Applications to simulating many-body quantum simulation and solving linear equations are discussed

On the relationship between continuous- and discrete-time quantum walk

Quantum walk is one of the main tools for quantum algorithms. Defined by analogy to classical random walk, a quantum walk is a time-homogeneous quantum process on a graph. Both random and quantum walks can be defined either in continuous or discrete time. But whereas a continuous-time random walk can be obtained as the limit of a sequence of discrete-time random walks, the two types of quantum walk appear fundamentally different, owing to the need for extra degrees of freedom in the discrete-time case. In this article, I describe a precise correspondence between continuous- and discrete-time quantum walks on arbitrary graphs. Using this correspondence, I show that continuous-time quantum walk can be obtained as an appropriate limit of discrete-time quantum walks. The correspondence also leads to a new technique for simulating Hamiltonian dynamics, giving efficient simulations even in cases where the Hamiltonian is not sparse. The complexity of the simulation is linear in the total evolution time, an improvement over simulations based on high-order approximations of the Lie product formula. As applications, I describe a continuous-time quantum walk algorithm for element distinctness and show how to optimally simulate continuous-time query algorithms of a certain form in the conventional quantum query model. Finally, I discuss limitations of the method for simulating Hamiltonians with negative matrix elements, and present two problems that motivate attempting to circumvent these limitations.Comment: 22 pages. v2: improved presentation, new section on Hamiltonian oracles; v3: published version, with improved analysis of phase estimatio

Entangling power and operator entanglement in qudit systems

We establish the entangling power of a unitary operator on a general finite-dimensional bipartite quantum system with and without ancillas, and give relations between the entangling power based on the von Neumann entropy and the entangling power based on the linear entropy. Significantly, we demonstrate that the entangling power of a general controlled unitary operator acting on two equal-dimensional qudits is proportional to the corresponding operator entanglement if linear entropy is adopted as the quantity representing the degree of entanglement. We discuss the entangling power and operator entanglement of three representative quantum gates on qudits: the SUM, double SUM, and SWAP gates.Comment: 8 pages, 1 figure. Version 3: Figure was improved and the MS was a bit shortene

New Developments in Quantum Algorithms

In this survey, we describe two recent developments in quantum algorithms. The first new development is a quantum algorithm for evaluating a Boolean formula consisting of AND and OR gates of size N in time O(\sqrt{N}). This provides quantum speedups for any problem that can be expressed via Boolean formulas. This result can be also extended to span problems, a generalization of Boolean formulas. This provides an optimal quantum algorithm for any Boolean function in the black-box query model. The second new development is a quantum algorithm for solving systems of linear equations. In contrast with traditional algorithms that run in time O(N^{2.37...}) where N is the size of the system, the quantum algorithm runs in time O(\log^c N). It outputs a quantum state describing the solution of the system.Comment: 11 pages, 1 figure, to appear as an invited survey talk at MFCS'201

Entanglement capability of self-inverse Hamiltonian evolution

We determine the entanglement capability of self-inverse Hamiltonian evolution, which reduces to the known result for Ising Hamiltonian, and identify optimal input states for yielding the maximal entanglement rate. We introduce the concept of the operator entanglement rate, and find that the maximal operator entanglement rate gives a lower bound on the entanglement capability of a general Hamiltonian.Comment: 4 pages, no figures. Version 3: small change

Whole-genome sequencing reveals host factors underlying critical COVID-19

Critical COVID-19 is caused by immune-mediated inflammatory lung injury. Host genetic variation influences the development of illness requiring critical care1 or hospitalization2,3,4 after infection with SARS-CoV-2. The GenOMICC (Genetics of Mortality in Critical Care) study enables the comparison of genomes from individuals who are critically ill with those of population controls to find underlying disease mechanisms. Here we use whole-genome sequencing in 7,491 critically ill individuals compared with 48,400 controls to discover and replicate 23 independent variants that significantly predispose to critical COVID-19. We identify 16 new independent associations, including variants within genes that are involved in interferon signalling (IL10RB and PLSCR1), leucocyte differentiation (BCL11A) and blood-type antigen secretor status (FUT2). Using transcriptome-wide association and colocalization to infer the effect of gene expression on disease severity, we find evidence that implicates multiple genes—including reduced expression of a membrane flippase (ATP11A), and increased expression of a mucin (MUC1)—in critical disease. Mendelian randomization provides evidence in support of causal roles for myeloid cell adhesion molecules (SELE, ICAM5 and CD209) and the coagulation factor F8, all of which are potentially druggable targets. Our results are broadly consistent with a multi-component model of COVID-19 pathophysiology, in which at least two distinct mechanisms can predispose to life-threatening disease: failure to control viral replication; or an enhanced tendency towards pulmonary inflammation and intravascular coagulation. We show that comparison between cases of critical illness and population controls is highly efficient for the detection of therapeutically relevant mechanisms of disease

Journal bearing impedance descriptions for rotordynamic applications

Bearing impedance vectors are introduced for plain journal bearings which define the bearing reaction force components as a function of the bearing motion. Impedance descriptions are developed directly for the approximate Ocvirk (short) and Sommerfeld (long) bearing solutions. The impedance vector magnitude and the mobility vector magnitude of Booker are shown to be reciprocals. The transformation relationships between mobilities and impedance are derived and used to define impedance vectors for a number of existing mobility vectors including the finite-length mobility vectors developed by Moes. The attractiveness and utility of the impedance-vector formulation for transient simulation work is demonstrated by numerical examples for the Ocvirk "p", and "2p" bearing impedances and the cavitating finite-length-bearing impedance. The examples presented demonstrate both bearing and squeeze-film damper application. A direct analytic method for deriving a complete set of (analytic) stiffness and damping coefficients from impedance descriptions is developed and demonstrated for the cavitating finite length-bearing impedances. Analytic expressions are provided for all direct and cross-coupled stiffness and damping coefficients, and compared to previously developed numerical results. These coefficients are used for stability analysis of a rotor, supported in finite-length cavitating bearings. Onset-speed-of-instability results are presented as a function of the L/D ratio for a range of bearing numbers. Damping coefficients are also presented for finite-length squeeze-film dampers