Showing 1–50 of 69 results for author: Wocjan, P

Controlization Schemes Based on Orthogonal Arrays

Authors: Anirban Chowdhury, Ewout van den Berg, Pawel Wocjan

Abstract: Realizing controlled operations is fundamental to the design and execution of quantum algorithms. In quantum simulation and learning of quantum many-body systems, an important subroutine consists of implementing a controlled Hamiltonian time-evolution. Given only black-box access to the uncontrolled evolution $e^{-iHt}$, controlizing it, i.e., implementing… ▽ More Realizing controlled operations is fundamental to the design and execution of quantum algorithms. In quantum simulation and learning of quantum many-body systems, an important subroutine consists of implementing a controlled Hamiltonian time-evolution. Given only black-box access to the uncontrolled evolution $e^{-iHt}$, controlizing it, i.e., implementing $\mathrm{ctrl}(e^{-iHt}) = |0\rangle\langle 0|\otimes I + |1\rangle\langle 1 |\otimes e^{-iHt}$ is non-trivial. A recent paper introduced a controlization scheme in the context of designing algorithms for transforming unknown Hamiltonian dynamics [OKTM24]. The main idea behind the scheme is to intersperse the uncontrolled evolution with suitable operations such that the overall dynamics approximates the desired controlled evolution. The scheme in Ref. [OKTM24], although efficient, uses operations randomly sampled from an exponentially large set. In the present work, we show that more efficient controlization schemes can be constructed with the help of orthogonal arrays for unknown 2-local Hamiltonians. This construction can also be generalized to $k$-local Hamiltonians. Moreover, our controlization schemes based on orthogonal arrays can take advantage of the interaction graph's structure and be made more efficient. △ Less

Submitted 12 July, 2024; originally announced July 2024.

Techniques for learning sparse Pauli-Lindblad noise models

Authors: Ewout van den Berg, Pawel Wocjan

Abstract: Error-mitigation techniques such as probabilistic error cancellation and zero-noise extrapolation benefit from accurate noise models. The sparse Pauli-Lindblad noise model is one of the most successful models for those applications. In existing implementations, the model decomposes into a series of simple Pauli channels with one- and two-local terms that follow the qubit topology. While the model… ▽ More Error-mitigation techniques such as probabilistic error cancellation and zero-noise extrapolation benefit from accurate noise models. The sparse Pauli-Lindblad noise model is one of the most successful models for those applications. In existing implementations, the model decomposes into a series of simple Pauli channels with one- and two-local terms that follow the qubit topology. While the model has been shown to accurately capture the noise in contemporary superconducting quantum processors for error mitigation, it is important to consider higher-weight terms and effects beyond nearest-neighbor interactions. For such extended models to remain practical, however, we need to ensure that they can be learned efficiently. In this work we present new techniques that accomplish exactly this. We introduce twirling based on Pauli rotations, which enables us to automatically generate single-qubit learning correction sequences and reduce the number of unique fidelities that need to be learned. In addition, we propose a basis-selection strategy that leverages graph coloring and uniform covering arrays to minimize the number of learning bases. Taken together, these techniques ensure that the learning of the extended noise models remains efficient, despite their increased complexity. △ Less

Submitted 16 January, 2024; v1 submitted 26 November, 2023; originally announced November 2023.

Thermal State Preparation via Rounding Promises

Authors: Patrick Rall, Chunhao Wang, Pawel Wocjan

Abstract: A promising avenue for the preparation of Gibbs states on a quantum computer is to simulate the physical thermalization process. The Davies generator describes the dynamics of an open quantum system that is in contact with a heat bath. Crucially, it does not require simulation of the heat bath itself, only the system we hope to thermalize. Using the state-of-the-art techniques for quantum simulati… ▽ More A promising avenue for the preparation of Gibbs states on a quantum computer is to simulate the physical thermalization process. The Davies generator describes the dynamics of an open quantum system that is in contact with a heat bath. Crucially, it does not require simulation of the heat bath itself, only the system we hope to thermalize. Using the state-of-the-art techniques for quantum simulation of the Lindblad equation, we devise a technique for the preparation of Gibbs states via thermalization as specified by the Davies generator. In doing so, we encounter a severe technical challenge: implementation of the Davies generator demands the ability to estimate the energy of the system unambiguously. That is, each energy of the system must be deterministically mapped to a unique estimate. Previous work showed that this is only possible if the system satisfies an unphysical 'rounding promise' assumption. We solve this problem by engineering a random ensemble of rounding promises that simultaneously solves three problems: First, each rounding promise admits preparation of a 'promised' thermal state via a Davies generator. Second, these Davies generators have a similar mixing time as the ideal Davies generator. Third, the average of these promised thermal states approximates the ideal thermal state. △ Less

Submitted 4 October, 2023; v1 submitted 4 October, 2022; originally announced October 2022.

Comments: Accepted in Quantum

Journal ref: Quantum 7, 1132 (2023)

Space-efficient Quantization Method for Reversible Markov Chains

Authors: Chen-Fu Chiang, Anirban Chowdhury, Pawel Wocjan

Abstract: In a seminal paper, Szegedy showed how to construct a quantum walk $W(P)$ for any reversible Markov chain $P$ such that its eigenvector with eigenphase $0$ is a quantum sample of the limiting distribution of the random walk and its eigenphase gap is quadratically larger than the spectral gap of $P$. The standard construction of Szegedy's quantum walk requires an ancilla register of Hilbert-space d… ▽ More In a seminal paper, Szegedy showed how to construct a quantum walk $W(P)$ for any reversible Markov chain $P$ such that its eigenvector with eigenphase $0$ is a quantum sample of the limiting distribution of the random walk and its eigenphase gap is quadratically larger than the spectral gap of $P$. The standard construction of Szegedy's quantum walk requires an ancilla register of Hilbert-space dimension equal to the size of the state space of the Markov chain. We show that it is possible to avoid this doubling of state space for certain Markov chains that employ a symmetric proposal probability and a subsequent accept/reject probability to sample from the Gibbs distribution. For such Markov chains, we give a quantization method which requires an ancilla register of dimension equal to only the number of different energy values, which is often significantly smaller than the size of the state space. To accomplish this, we develop a technique for block encoding Hadamard products of matrices which may be of wider interest. △ Less

Submitted 14 June, 2022; originally announced June 2022.

Quantum-enhanced Markov chain Monte Carlo

Authors: David Layden, Guglielmo Mazzola, Ryan V. Mishmash, Mario Motta, Pawel Wocjan, **-Sung Kim, Sarah Sheldon

Abstract: Sampling from complicated probability distributions is a hard computational problem arising in many fields, including statistical physics, optimization, and machine learning. Quantum computers have recently been used to sample from complicated distributions that are hard to sample from classically, but which seldom arise in applications. Here we introduce a quantum algorithm to sample from distrib… ▽ More Sampling from complicated probability distributions is a hard computational problem arising in many fields, including statistical physics, optimization, and machine learning. Quantum computers have recently been used to sample from complicated distributions that are hard to sample from classically, but which seldom arise in applications. Here we introduce a quantum algorithm to sample from distributions that pose a bottleneck in several applications, which we implement on a superconducting quantum processor. The algorithm performs Markov chain Monte Carlo (MCMC), a popular iterative sampling technique, to sample from the Boltzmann distribution of classical Ising models. In each step, the quantum processor explores the model in superposition to propose a random move, which is then accepted or rejected by a classical computer and returned to the quantum processor, ensuring convergence to the desired Boltzmann distribution. We find that this quantum algorithm converges in fewer iterations than common classical MCMC alternatives on relevant problem instances, both in simulations and experiments. It therefore opens a new path for quantum computers to solve useful--not merely difficult--problems in the near term. △ Less

Submitted 23 March, 2022; originally announced March 2022.

Journal ref: Nature 619, 282-287 (2023)

On the complexity of quantum partition functions

Authors: Sergey Bravyi, Anirban Chowdhury, David Gosset, Pawel Wocjan

Abstract: The partition function and free energy of a quantum many-body system determine its physical properties in thermal equilibrium. Here we study the computational complexity of approximating these quantities for $n$-qubit local Hamiltonians. First, we report a classical algorithm with $\mathrm{poly}(n)$ runtime which approximates the free energy of a given $2$-local Hamiltonian provided that it satisf… ▽ More The partition function and free energy of a quantum many-body system determine its physical properties in thermal equilibrium. Here we study the computational complexity of approximating these quantities for $n$-qubit local Hamiltonians. First, we report a classical algorithm with $\mathrm{poly}(n)$ runtime which approximates the free energy of a given $2$-local Hamiltonian provided that it satisfies a certain denseness condition. Our algorithm combines the variational characterization of the free energy and convex relaxation methods. It contributes to a body of work on efficient approximation algorithms for dense instances of optimization problems which are hard in the general case, and can be viewed as simultaneously extending existing algorithms for (a) the ground energy of dense $2$-local Hamiltonians, and (b) the free energy of dense classical Ising models. Secondly, we establish polynomial-time equivalence between the problem of approximating the free energy of local Hamiltonians and three other natural quantum approximate counting problems, including the problem of approximating the number of witness states accepted by a QMA verifier. These results suggest that simulation of quantum many-body systems in thermal equilibrium may precisely capture the complexity of a broad family of computational problems that has yet to be defined or characterized in terms of known complexity classes. Finally, we summarize state-of-the-art classical and quantum algorithms for approximating the free energy and show how to improve their runtime and memory footprint. △ Less

Submitted 20 September, 2023; v1 submitted 28 October, 2021; originally announced October 2021.

Comments: 48 pages, 1 figure; v2 fixes a bug in the proof of Theorem 7. This was already fixed in the published version

Journal ref: Nature Physics, 18 (11) 1367-1370 (2022)

Szegedy Walk Unitaries for Quantum Maps

Authors: Pawel Wocjan, Kristan Temme

Abstract: Szegedy developed a generic method for quantizing classical algorithms based on random walks [Proceedings of FOCS, 2004, pp. 32-41]. A major contribution of his work was the construction of a walk unitary for any reversible random walk. Such unitary posses two crucial properties: its eigenvector with eigenphase $0$ is a quantum sample of the limiting distribution of the random walk and its eigenph… ▽ More Szegedy developed a generic method for quantizing classical algorithms based on random walks [Proceedings of FOCS, 2004, pp. 32-41]. A major contribution of his work was the construction of a walk unitary for any reversible random walk. Such unitary posses two crucial properties: its eigenvector with eigenphase $0$ is a quantum sample of the limiting distribution of the random walk and its eigenphase gap is quadratically larger than the spectral gap of the random walk. It was an open question if it is possible to generalize Szegedy's quantization method for stochastic maps to quantum maps. We answer this in the affirmative by presenting an explicit construction of a Szegedy walk unitary for detailed balanced Lindbladians -- generators of quantum Markov semigroups -- and detailed balanced quantum channels. We prove that our Szegedy walk unitary has a purification of the fixed point of the Lindbladian as eigenvector with eigenphase $0$ and that its eigenphase gap is quadratically larger than the spectral gap of the Lindbladian. To construct the walk unitary we leverage a canonical form for detailed balanced Lindbladians showing that they are structurally related to Davies generators. We also explain how the quantization method for Lindbladians can be applied to quantum channels. We give an efficient quantum algorithm for quantizing Davies generators that describe many important open-system dynamics, for instance, the relaxation of a quantum system coupled to a bath. Our algorithm extends known techniques for simulating quantum systems on a quantum computer. △ Less

Submitted 15 July, 2021; originally announced July 2021.

Journal ref: Commun. Math. Phys. (2023)

Simpler (classical) and faster (quantum) algorithms for Gibbs partition functions

Authors: Srinivasan Arunachalam, Vojtech Havlicek, Giacomo Nannicini, Kristan Temme, Pawel Wocjan

Abstract: We present classical and quantum algorithms for approximating partition functions of classical Hamiltonians at a given temperature. Our work has two main contributions: first, we modify the classical algorithm of Štefankovič, Vempala and Vigoda (\emph{J.~ACM}, 56(3), 2009) to improve its sample complexity; second, we quantize this new algorithm, improving upon the previously fastest quantum algori… ▽ More We present classical and quantum algorithms for approximating partition functions of classical Hamiltonians at a given temperature. Our work has two main contributions: first, we modify the classical algorithm of Štefankovič, Vempala and Vigoda (\emph{J.~ACM}, 56(3), 2009) to improve its sample complexity; second, we quantize this new algorithm, improving upon the previously fastest quantum algorithm for this problem, due to Harrow and Wei (SODA 2020). The conventional approach to estimating partition functions requires approximating the means of Gibbs distributions at a set of inverse temperatures that form the so-called cooling schedule. The length of the cooling schedule directly affects the complexity of the algorithm. Combining our improved version of the algorithm of Štefankovič, Vempala and Vigoda with the paired-product estimator of Huber (\emph{Ann.\ Appl.\ Probab.}, 25(2),~2015), our new quantum algorithm uses a shorter cooling schedule than previously known. This length matches the optimal length conjectured by Štefankovič, Vempala and Vigoda. The quantum algorithm also achieves a quadratic advantage in the number of required quantum samples compared to the number of random samples drawn by the best classical algorithm, and its computational complexity has quadratically better dependence on the spectral gap of the Markov chains used to produce the quantum samples. △ Less

Submitted 30 August, 2022; v1 submitted 23 September, 2020; originally announced September 2020.

Comments: Article update for publication in quantum. Minor typos and metadata fixed. Comments are encouraged!

Journal ref: Quantum 6, 789 (2022)

Carving-width and contraction trees for tensor networks

Authors: J. Jakes-Schauer, D. Anekstein, P. Wocjan

Abstract: We study the problem of finding contraction orderings on tensor networks for physical simulations using a syncretic abstract data type, the $\textit{contraction-tree}$, and explain its connection to temporal and spatial measures of tensor contraction computational complexity (nodes express time; arcs express space). We have implemented the Ratcatcher of Seymour and Thomas for determining the carvi… ▽ More We study the problem of finding contraction orderings on tensor networks for physical simulations using a syncretic abstract data type, the $\textit{contraction-tree}$, and explain its connection to temporal and spatial measures of tensor contraction computational complexity (nodes express time; arcs express space). We have implemented the Ratcatcher of Seymour and Thomas for determining the carving-width of planar networks, in order to offer experimental evidence that this measure of spatial complexity makes a generally effective heuristic for limiting their total contraction time. △ Less

Submitted 28 August, 2019; originally announced August 2019.

Comments: 16 pages, 7 figures, 1 table

ACM Class: G.2.3; G.2.2; J.2

An inertial upper bound for the quantum independence number of a graph

Authors: Pawel Wocjan, Clive Elphick

Abstract: A well known upper bound for the independence number $α(G)$ of a graph $G$, is that \[ α(G) \le n^0 + \min\{n^+ , n^-\}, \] where $(n^+, n^0, n^-)$ is the inertia of $G$. We prove that this bound is also an upper bound for the quantum independence number $α_q$(G), where $α_q(G) \ge α(G)$. We identify numerous graphs for which $α(G) = α_q(G)$ and demonstrate that there are graphs for which the abov… ▽ More A well known upper bound for the independence number $α(G)$ of a graph $G$, is that \[ α(G) \le n^0 + \min\{n^+ , n^-\}, \] where $(n^+, n^0, n^-)$ is the inertia of $G$. We prove that this bound is also an upper bound for the quantum independence number $α_q$(G), where $α_q(G) \ge α(G)$. We identify numerous graphs for which $α(G) = α_q(G)$ and demonstrate that there are graphs for which the above bound is not exact with any Hermitian weight matrix, for $α(G)$ and $α_q(G)$. This result complements results by the authors that many spectral lower bounds for the chromatic number are also lower bounds for the quantum chromatic number. △ Less

Submitted 6 December, 2018; v1 submitted 31 August, 2018; originally announced August 2018.

Comments: updated section on quantum clique number; authors welcome comments

Spectral lower bounds for the orthogonal and projective ranks of a graph

Authors: Pawel Wocjan, Clive Elphick

Abstract: The orthogonal rank of a graph $G=(V,E)$ is the smallest dimension $ξ$ such that there exist non-zero column vectors $x_v\in\mathbb{C}^ξ$ for $v\in V$ satisfying the orthogonality condition $x_v^\dagger x_w=0$ for all $vw\in E$. We prove that many spectral lower bounds for the chromatic number, $χ$, are also lower bounds for $ξ$. This result complements a previous result by the authors, in which t… ▽ More The orthogonal rank of a graph $G=(V,E)$ is the smallest dimension $ξ$ such that there exist non-zero column vectors $x_v\in\mathbb{C}^ξ$ for $v\in V$ satisfying the orthogonality condition $x_v^\dagger x_w=0$ for all $vw\in E$. We prove that many spectral lower bounds for the chromatic number, $χ$, are also lower bounds for $ξ$. This result complements a previous result by the authors, in which they showed that spectral lower bounds for $χ$ are also lower bounds for the quantum chromatic number $χ_q$. It is known that the quantum chromatic number and the orthogonal rank are incomparable. We conclude by proving an inertial lower bound for the projective rank $ξ_f$, and conjecture that a stronger inertial lower bound for $ξ$ is also a lower bound for $ξ_f$. △ Less

Submitted 10 March, 2019; v1 submitted 7 June, 2018; originally announced June 2018.

Comments: Improved proof of lower bound on orthogonal rank (Theorem 4); authors appreciate comments

Spectral lower bounds for the quantum chromatic number of a graph

Authors: Pawel Wocjan, Clive Elphick

Abstract: The quantum chromatic number, $χ_q(G)$, of a graph $G$ was originally defined as the minimal number of colors necessary in a quantum protocol in which two provers that cannot communicate with each other but share an entangled state can convince an interrogator with certainty that they have a coloring of the graph. We use an equivalent purely combinatorial definition of $χ_q(G)$ to prove that many… ▽ More The quantum chromatic number, $χ_q(G)$, of a graph $G$ was originally defined as the minimal number of colors necessary in a quantum protocol in which two provers that cannot communicate with each other but share an entangled state can convince an interrogator with certainty that they have a coloring of the graph. We use an equivalent purely combinatorial definition of $χ_q(G)$ to prove that many spectral lower bounds for the chromatic number, $χ(G)$, are also lower bounds for $χ_q(G)$. This is achieved using techniques from linear algebra called pinching and twirling. We illustrate our results with some examples. △ Less

Submitted 8 August, 2018; v1 submitted 21 May, 2018; originally announced May 2018.

Comments: Added funding info

Does universal controllability of physical systems prohibit thermodynamic cycles?

Authors: Dominik Janzing, Pawel Wocjan

Abstract: Here we study the thermodynamic cost of computation and control using 'physically universal' cellular automata or Hamiltonians. The latter were previously defined as systems that admit the implementation of any desired transformation on a finite target region by first initializing the state of the surrounding and then letting the system evolve according to its autonomous dynamics. This way, one ob… ▽ More Here we study the thermodynamic cost of computation and control using 'physically universal' cellular automata or Hamiltonians. The latter were previously defined as systems that admit the implementation of any desired transformation on a finite target region by first initializing the state of the surrounding and then letting the system evolve according to its autonomous dynamics. This way, one obtains a model of control where each region can play both roles the controller or the system to be controlled. In physically universal systems every degree of freedom is indirectly accessible by operating on the remaining degrees of freedom. In a nutshell, the thermodynamic cost of an operation is then given by the size of the region around the target region that needs to be initialized. In the meantime, physically universal CAs have been constructed by Schaeffer (in two dimensions) and Salo & Törmä (in one dimension). Here we show that in Schaeffer's CA the cost for implementing $n$ operations grows linearly in $n$, while operating in a thermodynamic cycle requires sublinear growth to ensure zero cost *per operation* in the limit $n\to\infty$. Although this particular result need not hold for general physically universal CAs, this strong notion of universality does imply a certain kind of instability of information, which could result in lower bounds on the cost of protecting information from its noisy environment. The technical results of the paper are sparse and quite simple. The contribution of the paper is mainly conceptual and consists in illustrating the type of thermodynamic questions raised by models of control that rely on the concept of physical universality. △ Less

Submitted 28 March, 2018; v1 submitted 6 January, 2017; originally announced January 2017.

Comments: 19 pages, 7 figures

Improved bounded-strength decoupling schemes for local Hamiltonians

Authors: Adam D. Bookatz, Martin Roetteler, Pawel Wocjan

Abstract: We address the task of switching off the Hamiltonian of a system by removing all internal and system-environment couplings. We propose dynamical decoupling schemes, that use only bounded-strength controls, for quantum many-body systems with local system Hamiltonians and local environmental couplings. To do so, we introduce the combinatorial concept of balanced-cycle orthogonal arrays (BOAs) and sh… ▽ More We address the task of switching off the Hamiltonian of a system by removing all internal and system-environment couplings. We propose dynamical decoupling schemes, that use only bounded-strength controls, for quantum many-body systems with local system Hamiltonians and local environmental couplings. To do so, we introduce the combinatorial concept of balanced-cycle orthogonal arrays (BOAs) and show how to construct them from classical error-correcting codes. The derived decoupling schemes may be useful as a primitive for more complex schemes, e.g., for Hamiltonian simulation. For the case of $n$ qubits and a $2$-local Hamiltonian, the length of the resulting decoupling scheme scales as $O(n \log n)$, improving over the previously best-known schemes that scaled quadratically with $n$. More generally, using balanced-cycle orthogonal arrays constructed from families of BCH codes, we show that bounded-strength decoupling for any $\ell$-local Hamiltonian, where $\ell \geq 2$, can be achieved using decoupling schemes of length at most $O(n^{\ell-1} \log n)$. △ Less

Submitted 14 April, 2016; v1 submitted 1 September, 2015; originally announced September 2015.

Comments: 18 pages; added explanatory examples (with figures)

Report number: MIT-CTP /4705

Journal ref: IEEE Trans. Inf. Theory, 62(5): 2881-2894, 2016

Hamiltonian quantum simulation with bounded-strength controls

Authors: Adam D. Bookatz, Pawel Wocjan, Lorenza Viola

Abstract: We propose dynamical control schemes for Hamiltonian simulation in many-body quantum systems that avoid instantaneous control operations and rely solely on realistic bounded-strength control Hamiltonians. Each simulation protocol consists of periodic repetitions of a basic control block, constructed as a suitable modification of an "Eulerian decoupling cycle," that would otherwise implement a triv… ▽ More We propose dynamical control schemes for Hamiltonian simulation in many-body quantum systems that avoid instantaneous control operations and rely solely on realistic bounded-strength control Hamiltonians. Each simulation protocol consists of periodic repetitions of a basic control block, constructed as a suitable modification of an "Eulerian decoupling cycle," that would otherwise implement a trivial (zero) target Hamiltonian. For an open quantum system coupled to an uncontrollable environment, our approach may be employed to engineer an effective evolution that simulates a target Hamiltonian on the system, while suppressing unwanted decoherence to the leading order. We present illustrative applications to both closed- and open-system simulation settings, with emphasis on simulation of non-local (two-body) Hamiltonians using only local (one-body) controls. In particular, we provide simulation schemes applicable to Heisenberg-coupled spin chains exposed to general linear decoherence, and show how to simulate Kitaev's honeycomb lattice Hamiltonian starting from Ising-coupled qubits, as potentially relevant to the dynamical generation of a topologically protected quantum memory. Additional implications for quantum information processing are discussed. △ Less

Submitted 15 October, 2013; originally announced October 2013.

Comments: 24 pages, 5 color figures

Journal ref: New J. Phys. 16, 045021 (2014)

On the Probability of Generating a Lattice

Authors: Felix Fontein, Pawel Wocjan

Abstract: We study the problem of determining the probability that m vectors selected uniformly at random from the intersection of the full-rank lattice L in R^n and the window [0,B)^n generate $Λ$ when B is chosen to be appropriately large. This problem plays an important role in the analysis of the success probability of quantum algorithms for solving the Discrete Logarithm Problem in infrastructures obta… ▽ More We study the problem of determining the probability that m vectors selected uniformly at random from the intersection of the full-rank lattice L in R^n and the window [0,B)^n generate $Λ$ when B is chosen to be appropriately large. This problem plays an important role in the analysis of the success probability of quantum algorithms for solving the Discrete Logarithm Problem in infrastructures obtained from number fields and also for computing fundamental units of number fields. We provide the first complete and rigorous proof that 2n+1 vectors suffice to generate L with constant probability (provided that B is chosen to be sufficiently large in terms of n and the covering radius of L and the last n+1 vectors are sampled from a slightly larger window). Based on extensive computer simulations, we conjecture that only n+1 vectors sampled from one window suffice to generate L with constant success probability. If this conjecture is true, then a significantly better success probability of the above quantum algorithms can be guaranteed. △ Less

Submitted 16 May, 2013; v1 submitted 27 November, 2012; originally announced November 2012.

Comments: 18 pages

Unified spectral bounds on the chromatic number

Authors: Clive Elphick, Pawel Wocjan

Abstract: One of the best known results in spectral graph theory is the following lower bound on the chromatic number due to Alan Hoffman, where mu_1 and mu_n are respectively the maximum and minimum eigenvalues of the adjacency matrix: chi >= 1 + mu_1 / (- mu_n). We recently generalised this bound to include all eigenvalues of the adjacency matrix. In this paper, we further generalize these results to in… ▽ More One of the best known results in spectral graph theory is the following lower bound on the chromatic number due to Alan Hoffman, where mu_1 and mu_n are respectively the maximum and minimum eigenvalues of the adjacency matrix: chi >= 1 + mu_1 / (- mu_n). We recently generalised this bound to include all eigenvalues of the adjacency matrix. In this paper, we further generalize these results to include all eigenvalues of the adjacency, Laplacian and signless Laplacian matrices. The various known bounds are also unified by considering the normalized adjacency matrix, and examples are cited for which the new bounds outperform known bounds. △ Less

Submitted 29 October, 2014; v1 submitted 29 October, 2012; originally announced October 2012.

Recovering the Period in Shor's Algorithm with Gauss' Algorithm for Lattice Basis Reduction

Authors: Allison Koenecke, Pawel Wocjan

Abstract: Shor's algorithm contains a classical post-processing part for which we aim to create an efficient, understandable method aside from continued fractions. Let r be an unknown positive integer. Assume that with some constant probability we obtain random positive integers of the form x=[ N k/r ] where [.] is either the floor or ceiling of the rational number, k is selected uniformly at random from… ▽ More Shor's algorithm contains a classical post-processing part for which we aim to create an efficient, understandable method aside from continued fractions. Let r be an unknown positive integer. Assume that with some constant probability we obtain random positive integers of the form x=[ N k/r ] where [.] is either the floor or ceiling of the rational number, k is selected uniformly at random from {0,1,...,r-1}, and N is a parameter that can be chosen. The problem of recovering r from such samples occurs precisely in the classical post-processing part of Shor's algorithm. The quantum part (quantum phase estimation) makes it possible to obtain such samples where r is the order of some element a of the unit group of Z_n and n is the number to be factored. Shor showed that the continued fraction algorithm can be used to efficiently recover r, since if N>2r^2 then k/r appears in lowest terms as one of the convergents of x/N due to a standard result on continued fractions. We present here an alternative method for recovering r based on the Gauss algorithm for lattice basis reduction, allowing us to efficiently find the shortest nonzero vector of a lattice generated by two vectors. Our method is about as efficient as the method based on continued fractions, yet it is much easier to understand all the details of why it works. △ Less

Submitted 30 January, 2013; v1 submitted 10 October, 2012; originally announced October 2012.

Comments: corrected minor mistakes

Testing quantum expanders is co-QMA-complete

Authors: Adam D. Bookatz, Stephen P. Jordan, Yi-Kai Liu, Pawel Wocjan

Abstract: A quantum expander is a unital quantum channel that is rapidly mixing, has only a few Kraus operators, and can be implemented efficiently on a quantum computer. We consider the problem of estimating the mixing time (i.e., the spectral gap) of a quantum expander. We show that this problem is co-QMA-complete. This has applications to testing randomized constructions of quantum expanders, and studyin… ▽ More A quantum expander is a unital quantum channel that is rapidly mixing, has only a few Kraus operators, and can be implemented efficiently on a quantum computer. We consider the problem of estimating the mixing time (i.e., the spectral gap) of a quantum expander. We show that this problem is co-QMA-complete. This has applications to testing randomized constructions of quantum expanders, and studying thermalization of open quantum systems. △ Less

Submitted 31 May, 2013; v1 submitted 2 October, 2012; originally announced October 2012.

Journal ref: Quantum nonexpander problem is quantum-Merlin-Arthur-complete, Phys. Rev. A 87, 042317 (2013)

New spectral bounds on the chromatic number encompassing all eigenvalues of the adjacency matrix

Authors: Pawel Wocjan, Clive Elphick

Abstract: The purpose of this article is to improve existing lower bounds on the chromatic number chi. Let mu_1,...,mu_n be the eigenvalues of the adjacency matrix sorted in non-increasing order. First, we prove the lower bound chi >= 1 + max_m {sum_{i=1}^m mu_i / - sum_{i=1}^m mu_{n-i+1}} for m=1,...,n-1. This generalizes the Hoffman lower bound which only involves the maximum and minimum eigenvalues, i.… ▽ More The purpose of this article is to improve existing lower bounds on the chromatic number chi. Let mu_1,...,mu_n be the eigenvalues of the adjacency matrix sorted in non-increasing order. First, we prove the lower bound chi >= 1 + max_m {sum_{i=1}^m mu_i / - sum_{i=1}^m mu_{n-i+1}} for m=1,...,n-1. This generalizes the Hoffman lower bound which only involves the maximum and minimum eigenvalues, i.e., the case $m=1$. We provide several examples for which the new bound exceeds the {\sc Hoffman} lower bound. Second, we conjecture the lower bound chi >= 1 + S^+ / S^-, where S^+ and S^- are the sums of the squares of positive and negative eigenvalues, respectively. To corroborate this conjecture, we prove the weaker bound chi >= S^+/S^-. We show that the conjectured lower bound is tight for several families of graphs. We also performed various searches for a counter-example, but none was found. Our proofs rely on a new technique of converting the adjacency matrix into the zero matrix by conjugating with unitary matrices and use majorization of spectra of self-adjoint matrices. We also show that the above bounds are actually lower bounds on the normalized orthogonal rank of a graph, which is always less than or equal to the chromatic number. The normalized orthogonal rank is the minimum dimension making it possible to assign vectors with entries of modulus one to the vertices such that two such vectors are orthogonal if the corresponding vertices are connected. All these bounds are also valid when we replace the adjacency matrix A by W * A where W is an arbitrary self-adjoint matrix and * denotes the Schur product, that is, entrywise product of W and A. △ Less

Submitted 14 September, 2012; originally announced September 2012.

Efficient Computation of the Permanent of Block Factorizable Matrices

Authors: Kristan Temme, Pawel Wocjan

Abstract: We present an efficient algorithm for computing the permanent for matrices of size N that can written as a product of L block diagonal matrices with blocks of size at most 2. For fixed L, the time and space resources scale linearly in N, with a prefactor that scales exponentially in L. This class of matrices contains banded matrices with banded inverse. We show that such a factorization into a pro… ▽ More We present an efficient algorithm for computing the permanent for matrices of size N that can written as a product of L block diagonal matrices with blocks of size at most 2. For fixed L, the time and space resources scale linearly in N, with a prefactor that scales exponentially in L. This class of matrices contains banded matrices with banded inverse. We show that such a factorization into a product of block diagonal matrices gives rise to a circuit acting on a Hilbert space with a tensor product structure and that the permanent is equal to the transition amplitude of this circuit and a product basis state. In this correspondence, a block diagonal matrix gives rise to one layer of the circuit, where each block to a gate acting either on a single tensor component or on two adjacent tensor components. This observation allows us to adopt matrix product states, a computational method from condensed matter physics and quantum information theory used to simulate quantum systems, to evaluate the transition amplitude. △ Less

Submitted 31 August, 2012; originally announced August 2012.

Quantum Algorithm for Computing the Period Lattice of an Infrastructure

Authors: Felix Fontein, Pawel Wocjan

Abstract: We present a quantum algorithm for computing the period lattice of infrastructures of fixed dimension. The algorithm applies to infrastructures that satisfy certain conditions. The latter are always fulfilled for infrastructures obtained from global fields, i.e., algebraic number fields and function fields with finite constant fields. The first of our main contributions is an exponentially bette… ▽ More We present a quantum algorithm for computing the period lattice of infrastructures of fixed dimension. The algorithm applies to infrastructures that satisfy certain conditions. The latter are always fulfilled for infrastructures obtained from global fields, i.e., algebraic number fields and function fields with finite constant fields. The first of our main contributions is an exponentially better method for sampling approximations of vectors of the dual lattice of the period lattice than the methods outlined in the works of Hallgren and Schmidt and Vollmer. This new method improves the success probability by a factor of at least 2^{n^2-1} where n is the dimension. The second main contribution is a rigorous and complete proof that the running time of the algorithm is polynomial in the logarithm of the determinant of the period lattice and exponential in n. The third contribution is the determination of an explicit lower bound on the success probability of our algorithm which greatly improves on the bounds given in the above works. The exponential scaling seems inevitable because the best currently known methods for carrying out fundamental arithmetic operations in infrastructures obtained from algebraic number fields take exponential time. In contrast, the problem of computing the period lattice of infrastructures arising from function fields can be solved without the exponential dependence on the dimension n since this problem reduces efficiently to the abelian hidden subgroup problem. This is also true for other important computational problems in algebraic geometry. The running time of the best classical algorithms for infrastructures arising from global fields increases subexponentially with the determinant of the period lattice. △ Less

Submitted 11 June, 2012; v1 submitted 5 November, 2011; originally announced November 2011.

Comments: 52 pages, 4 figures

Hidden Symmetry Subgroup Problems

Authors: Thomas Decker, Gábor Ivanyos, Miklos Santha, Pawel Wocjan

Abstract: We advocate a new approach of addressing hidden structure problems and finding efficient quantum algorithms. We introduce and investigate the Hidden Symmetry Subgroup Problem (HSSP), which is a generalization of the well-studied Hidden Subgroup Problem (HSP). Given a group acting on a set and an oracle whose level sets define a partition of the set, the task is to recover the subgroup of symmetrie… ▽ More We advocate a new approach of addressing hidden structure problems and finding efficient quantum algorithms. We introduce and investigate the Hidden Symmetry Subgroup Problem (HSSP), which is a generalization of the well-studied Hidden Subgroup Problem (HSP). Given a group acting on a set and an oracle whose level sets define a partition of the set, the task is to recover the subgroup of symmetries of this partition inside the group. The HSSP provides a unifying framework that, besides the HSP, encompasses a wide range of algebraic oracle problems, including quadratic hidden polynomial problems. While the HSSP can have provably exponential quantum query complexity, we obtain efficient quantum algorithms for various interesting cases. To achieve this, we present a general method for reducing the HSSP to the HSP, which works efficiently in several cases related to symmetries of polynomials. The HSSP therefore connects in a rather surprising way certain hidden polynomial problems with the HSP. Using this connection, we obtain the first efficient quantum algorithm for the hidden polynomial problem for multivariate quadratic polynomials over fields of constant characteristic. We also apply the new methods to polynomial function graph problems and present an efficient quantum procedure for constant degree multivariate polynomials over any field. This result improves in several ways the currently known algorithms. △ Less

Submitted 18 January, 2012; v1 submitted 12 July, 2011; originally announced July 2011.

Comments: 21 pages, slightly improved and slightly extended version

Journal ref: SIAM Journal on Computing 42:5 (2013)

Quantum Algorithms for One-Dimensional Infrastructures

Authors: Pradeep Sarvepalli, Pawel Wocjan

Abstract: Infrastructures are group-like objects that make their appearance in arithmetic geometry in the study of computational problems related to number fields and function fields over finite fields. The most prominent computational tasks of infrastructures are the computation of the circumference of the infrastructure and the generalized discrete logarithms. Both these problems are not known to have eff… ▽ More Infrastructures are group-like objects that make their appearance in arithmetic geometry in the study of computational problems related to number fields and function fields over finite fields. The most prominent computational tasks of infrastructures are the computation of the circumference of the infrastructure and the generalized discrete logarithms. Both these problems are not known to have efficient classical algorithms for an arbitrary infrastructure. Our main contributions are polynomial time quantum algorithms for one-dimensional infrastructures that satisfy certain conditions. For instance, these conditions are always fulfilled for infrastructures obtained from number fields and function fields, both of unit rank one. Since quadratic number fields give rise to such infrastructures, this algorithm can be used to solve Pell's equation and the principal ideal problem. In this sense we generalize Hallgren's quantum algorithms for quadratic number fields, while also providing a polynomial speedup over them. Our more general approach shows that these quantum algorithms can also be applied to infrastructures obtained from complex cubic and totally complex quartic number fields. Our improved way of analyzing the performance makes it possible to show that these algorithms succeed with constant probability independent of the problem size. In contrast, the lower bound on the success probability due to Hallgren decreases as the fourth power of the logarithm of the circumference. Our analysis also shows that fewer qubits are required. We also contribute to the study of infrastructures, and show how to compute efficiently within infrastructures. △ Less

Submitted 30 May, 2012; v1 submitted 30 June, 2011; originally announced June 2011.

Comments: LaTeX, 34 pages. Revised the presentation. Minor changes in abstract, introduction, sections 3 and 4

Quantum Algorithm for Preparing Thermal Gibbs States - Detailed Analysis

Authors: Chen-Fu Chiang, Pawel Wocjan

Abstract: In a recent work [10], Poulin and one of us presented a quantum algorithm for preparing thermal Gibbs states of interacting quantum systems. This algorithm is based on Grovers's technique for quantum state engineering, and its running time is dominated by the factor D/Z(β), where D and Z(β) denote the dimension of the quantum system and its partition function at inverse temperature β, respective… ▽ More In a recent work [10], Poulin and one of us presented a quantum algorithm for preparing thermal Gibbs states of interacting quantum systems. This algorithm is based on Grovers's technique for quantum state engineering, and its running time is dominated by the factor D/Z(β), where D and Z(β) denote the dimension of the quantum system and its partition function at inverse temperature β, respectively. We present here a modified algorithm and a more detailed analysis of the errors that arise due to imperfect simulation of Hamiltonian time evolutions and limited performance of phase estimation (finite accuracy and nonzero probability of failure). This modfication together with the tighter analysis allows us to prove a better running time by the effect of these sources of error on the overall complexity. We think that the ideas underlying of our new analysis could also be used to prove a better performance of quantum Metropolis sampling by Temme et al. [12]. △ Less

Submitted 15 February, 2010; v1 submitted 7 January, 2010; originally announced January 2010.

Comments: 10 pages, fixed typos

Journal ref: NATO Science for Peace and Security Series - D: Information and Communication Secu- rity, vol.26, pp. 138-147, (2010)

Efficient quantum processing of ideals in finite rings

Authors: Pawel M. Wocjan, Stephen P. Jordan, Hamed Ahmadi, Joseph P. Brennan

Abstract: Suppose we are given black-box access to a finite ring R, and a list of generators for an ideal I in R. We show how to find an additive basis representation for I in poly(log |R|) time. This generalizes a quantum algorithm of Arvind et al. which finds a basis representation for R itself. We then show that our algorithm is a useful primitive allowing quantum computers to rapidly solve a wide variet… ▽ More Suppose we are given black-box access to a finite ring R, and a list of generators for an ideal I in R. We show how to find an additive basis representation for I in poly(log |R|) time. This generalizes a quantum algorithm of Arvind et al. which finds a basis representation for R itself. We then show that our algorithm is a useful primitive allowing quantum computers to rapidly solve a wide variety of problems regarding finite rings. In particular we show how to test whether two ideals are identical, find their intersection, find their quotient, prove whether a given ring element belongs to a given ideal, prove whether a given element is a unit, and if so find its inverse, find the additive and multiplicative identities, compute the order of an ideal, solve linear equations over rings, decide whether an ideal is maximal, find annihilators, and test the injectivity and surjectivity of ring homomorphisms. These problems appear to be hard classically. △ Less

Submitted 5 July, 2023; v1 submitted 31 July, 2009; originally announced August 2009.

Comments: 10 pages

Sampling from the thermal quantum Gibbs state and evaluating partition functions with a quantum computer

Authors: David Poulin, Pawel Wocjan

Abstract: We present a quantum algorithm to prepare the thermal Gibbs state of interacting quantum systems. This algorithm sets a universal upper bound D^alpha on the thermalization time of a quantum system, where D is the system's Hilbert space dimension and alpha < 1/2 is proportional to the Helmholtz free energy density of the system. We also derive an algorithm to evaluate the partition function of a… ▽ More We present a quantum algorithm to prepare the thermal Gibbs state of interacting quantum systems. This algorithm sets a universal upper bound D^alpha on the thermalization time of a quantum system, where D is the system's Hilbert space dimension and alpha < 1/2 is proportional to the Helmholtz free energy density of the system. We also derive an algorithm to evaluate the partition function of a quantum system in a time proportional to the system's thermalization time and inversely proportional to the targeted accuracy squared. △ Less

Submitted 30 November, 2009; v1 submitted 13 May, 2009; originally announced May 2009.

Journal ref: Phys. Rev. Lett. 103 220502 (2009)

Efficient quantum circuits for arbitrary sparse unitaries

Authors: Stephen P. Jordan, Pawel Wocjan

Abstract: Arbitrary exponentially large unitaries cannot be implemented efficiently by quantum circuits. However, we show that quantum circuits can efficiently implement any unitary provided it has at most polynomially many nonzero entries in any row or column, and these entries are efficiently computable. One can formulate a model of computation based on the composition of sparse unitaries which includes… ▽ More Arbitrary exponentially large unitaries cannot be implemented efficiently by quantum circuits. However, we show that quantum circuits can efficiently implement any unitary provided it has at most polynomially many nonzero entries in any row or column, and these entries are efficiently computable. One can formulate a model of computation based on the composition of sparse unitaries which includes the quantum Turing machine model, the quantum circuit model, anyonic models, permutational quantum computation, and discrete time quantum walks as special cases. Thus we obtain a simple unified proof that these models are all contained in BQP. Furthermore our general method for implementing sparse unitaries simplifies several existing quantum algorithms. △ Less

Submitted 10 February, 2010; v1 submitted 14 April, 2009; originally announced April 2009.

Comments: 4 pages. Substantially expanded since v1

Journal ref: Phys. Rev. A 80, 062301 (2009)

Fast Amplification of QMA

Authors: Daniel Nagaj, Pawel Wocjan, Yong Zhang

Abstract: Given a verifier circuit for a problem in QMA, we show how to exponentially amplify the gap between its acceptance probabilities in the `yes' and `no' cases, with a method that is quadratically faster than the procedure given by Marriott and Watrous. Our construction is natively quantum, based on the analogy of a product of two reflections and a quantum walk. Second, in some special cases we sho… ▽ More Given a verifier circuit for a problem in QMA, we show how to exponentially amplify the gap between its acceptance probabilities in the `yes' and `no' cases, with a method that is quadratically faster than the procedure given by Marriott and Watrous. Our construction is natively quantum, based on the analogy of a product of two reflections and a quantum walk. Second, in some special cases we show how to amplify the acceptance probability for good witnesses to 1, making a step towards the proof that QMA with one-sided error is equal to QMA. Finally, we simplify the filter-state method to search for QMA witnesses by Poulin and Wocjan. △ Less

Submitted 9 April, 2009; originally announced April 2009.

Comments: 15 pages

Journal ref: QIC Vol.9 No.11&12 (2009), 1053-1068

Efficient Circuits for Quantum Walks

Authors: Chen-Fu Chiang, Daniel Nagaj, Pawel Wocjan

Abstract: We present an efficient general method for realizing a quantum walk operator corresponding to an arbitrary sparse classical random walk. Our approach is based on Grover and Rudolph's method for preparing coherent versions of efficiently integrable probability distributions. This method is intended for use in quantum walk algorithms with polynomial speedups, whose complexity is usually measured i… ▽ More We present an efficient general method for realizing a quantum walk operator corresponding to an arbitrary sparse classical random walk. Our approach is based on Grover and Rudolph's method for preparing coherent versions of efficiently integrable probability distributions. This method is intended for use in quantum walk algorithms with polynomial speedups, whose complexity is usually measured in terms of how many times we have to apply a step of a quantum walk, compared to the number of necessary classical Markov chain steps. We consider a finer notion of complexity including the number of elementary gates it takes to implement each step of the quantum walk with some desired accuracy. The difference in complexity for various implementation approaches is that our method scales linearly in the sparsity parameter and poly-logarithmically with the inverse of the desired precision. The best previously known general methods either scale quadratically in the sparsity parameter, or polynomially in the inverse precision. Our approach is especially relevant for implementing quantum walks corresponding to classical random walks like those used in the classical algorithms for approximating permanents and sampling from binary contingency tables. In those algorithms, the sparsity parameter grows with the problem size, while maintaining high precision is required. △ Less

Submitted 19 December, 2009; v1 submitted 20 March, 2009; originally announced March 2009.

Comments: Modified abstract, clarified conclusion, added application section in appendix and updated references

Journal ref: Quantum Information and Computation, Vol.10, No.5&6, pp0420-0434 (2010)

Quantum Speed-up for Approximating Partition Functions

Authors: Pawel Wocjan, Chen-Fu Chiang, Anura Abeyesinghe, Daniel Nagaj

Abstract: We achieve a quantum speed-up of fully polynomial randomized approximation schemes (FPRAS) for estimating partition functions that combine simulated annealing with the Monte-Carlo Markov Chain method and use non-adaptive cooling schedules. The improvement in time complexity is twofold: a quadratic reduction with respect to the spectral gap of the underlying Markov chains and a quadratic reductio… ▽ More We achieve a quantum speed-up of fully polynomial randomized approximation schemes (FPRAS) for estimating partition functions that combine simulated annealing with the Monte-Carlo Markov Chain method and use non-adaptive cooling schedules. The improvement in time complexity is twofold: a quadratic reduction with respect to the spectral gap of the underlying Markov chains and a quadratic reduction with respect to the parameter characterizing the desired accuracy of the estimate output by the FPRAS. Both reductions are intimately related and cannot be achieved separately. First, we use Grover's fixed point search, quantum walks and phase estimation to efficiently prepare approximate coherent encodings of stationary distributions of the Markov chains. The speed-up we obtain in this way is due to the quadratic relation between the spectral and phase gaps of classical and quantum walks. Second, we generalize the method of quantum counting, showing how to estimate expected values of quantum observables. Using this method instead of classical sampling, we obtain the speed-up with respect to accuracy. △ Less

Submitted 16 April, 2009; v1 submitted 4 November, 2008; originally announced November 2008.

Comments: 17 pages; v3: corrected typos, added a reference about efficient implementations of quantum walks

Journal ref: Phys. Rev. A 80, 022340 (2009)

Preparing ground states of quantum many-body systems on a quantum computer

Authors: David Poulin, Pawel Wocjan

Abstract: Preparing the ground state of a system of interacting classical particles is an NP-hard problem. Thus, there is in general no better algorithm to solve this problem than exhaustively going through all N configurations of the system to determine the one with lowest energy, requiring a running time proportional to N. A quantum computer, if it could be built, could solve this problem in time sqrt(N… ▽ More Preparing the ground state of a system of interacting classical particles is an NP-hard problem. Thus, there is in general no better algorithm to solve this problem than exhaustively going through all N configurations of the system to determine the one with lowest energy, requiring a running time proportional to N. A quantum computer, if it could be built, could solve this problem in time sqrt(N). Here, we present a powerful extension of this result to the case of interacting quantum particles, demonstrating that a quantum computer can prepare the ground state of a quantum system as efficiently as it does for classical systems. △ Less

Submitted 16 September, 2008; originally announced September 2008.

Comments: 7 pages, 1 figure

Journal ref: Phys.Rev.Lett.102:130503,2009

Estimating Jones and HOMFLY polynomials with One Clean Qubit

Authors: Stephen P. Jordan, Pawel Wocjan

Abstract: The Jones and HOMFLY polynomials are link invariants with close connections to quantum computing. It was recently shown that finding a certain approximation to the Jones polynomial of the trace closure of a braid at the fifth root of unity is a complete problem for the one clean qubit complexity class. This is the class of problems solvable in polynomial time on a quantum computer acting on an i… ▽ More The Jones and HOMFLY polynomials are link invariants with close connections to quantum computing. It was recently shown that finding a certain approximation to the Jones polynomial of the trace closure of a braid at the fifth root of unity is a complete problem for the one clean qubit complexity class. This is the class of problems solvable in polynomial time on a quantum computer acting on an initial state in which one qubit is pure and the rest are maximally mixed. Here we generalize this result by showing that one clean qubit computers can efficiently approximate the Jones and single-variable HOMFLY polynomials of the trace closure of a braid at any root of unity. △ Less

Submitted 21 October, 2008; v1 submitted 29 July, 2008; originally announced July 2008.

Comments: 22 pages, 11 figures, revised in response to referee comments

Journal ref: Quantum Information and Computation Vol. 9 pg. 264 (2009)

Speed-up via Quantum Sampling

Authors: Pawel Wocjan, Anura Abeyesinghe

Abstract: The Markov Chain Monte Carlo method is at the heart of efficient approximation schemes for a wide range of problems in combinatorial enumeration and statistical physics. It is therefore very natural and important to determine whether quantum computers can speed-up classical mixing processes based on Markov chains. To this end, we present a new quantum algorithm, making it possible to prepare a q… ▽ More The Markov Chain Monte Carlo method is at the heart of efficient approximation schemes for a wide range of problems in combinatorial enumeration and statistical physics. It is therefore very natural and important to determine whether quantum computers can speed-up classical mixing processes based on Markov chains. To this end, we present a new quantum algorithm, making it possible to prepare a quantum sample, i.e., a coherent version of the stationary distribution of a reversible Markov chain. Our algorithm has a significantly better running time than that of a previous algorithm based on adiabatic state generation. We also show that our methods provide a speed-up over a recently proposed method for obtaining ground states of (classical) Hamiltonians. △ Less

Submitted 8 September, 2008; v1 submitted 26 April, 2008; originally announced April 2008.

Comments: 8 pages, fixed some minor typos

Hamiltonian Quantum Cellular Automata in 1D

Authors: Daniel Nagaj, Pawel Wocjan

Abstract: We construct a simple translationally invariant, nearest-neighbor Hamiltonian on a chain of 10-dimensional qudits that makes it possible to realize universal quantum computing without any external control during the computational process. We only require the ability to prepare an initial computational basis state which encodes both the quantum circuit and its input. The computational process is… ▽ More We construct a simple translationally invariant, nearest-neighbor Hamiltonian on a chain of 10-dimensional qudits that makes it possible to realize universal quantum computing without any external control during the computational process. We only require the ability to prepare an initial computational basis state which encodes both the quantum circuit and its input. The computational process is then carried out by the autonomous Hamiltonian time evolution. After a time polynomially long in the size of the quantum circuit has passed, the result of the computation is obtained with high probability by measuring a few qudits in the computational basis. This result also implies that there cannot exist efficient classical simulation methods for generic translationally invariant nearest-neighbor Hamiltonians on qudit chains, unless quantum computers can be efficiently simulated by classical computers (or, put in complexity theoretic terms, unless BPP=BQP). △ Less

Submitted 14 August, 2008; v1 submitted 6 February, 2008; originally announced February 2008.

Comments: explanation in Section II largely rewritten, 2 new figures, accepted for publication in PRA

Journal ref: Phys. Rev. A 78, 032311 (2008)

A single-shot measurement of the energy of product states in a translation invariant spin chain can replace any quantum computation

Authors: Dominik Janzing, Pawel Wocjan, Shengyu Zhang

Abstract: In measurement-based quantum computation, quantum algorithms are implemented via sequences of measurements. We describe a translationally invariant finite-range interaction on a one-dimensional qudit chain and prove that a single-shot measurement of the energy of an appropriate computational basis state with respect to this Hamiltonian provides the output of any quantum circuit. The required mea… ▽ More In measurement-based quantum computation, quantum algorithms are implemented via sequences of measurements. We describe a translationally invariant finite-range interaction on a one-dimensional qudit chain and prove that a single-shot measurement of the energy of an appropriate computational basis state with respect to this Hamiltonian provides the output of any quantum circuit. The required measurement accuracy scales inverse polynomially with the size of the simulated quantum circuit. This shows that the implementation of energy measurements on generic qudit chains is as hard as the realization of quantum computation. Here a ''measurement'' is any procedure that samples from the spectral measure induced by the observable and the state under consideration. As opposed to measurement-based quantum computation, the post-measurement state is irrelevant. △ Less

Submitted 14 December, 2007; v1 submitted 8 October, 2007; originally announced October 2007.

Comments: 19 pages, transition rules for the CA corrected

Efficient Quantum Algorithm for Identifying Hidden Polynomials

Authors: Thomas Decker, Jan Draisma, Pawel Wocjan

Abstract: We consider a natural generalization of an abelian Hidden Subgroup Problem where the subgroups and their cosets correspond to graphs of linear functions over a finite field F with d elements. The hidden functions of the generalized problem are not restricted to be linear but can also be m-variate polynomial functions of total degree n>=2. The problem of identifying hidden m-variate polynomials… ▽ More We consider a natural generalization of an abelian Hidden Subgroup Problem where the subgroups and their cosets correspond to graphs of linear functions over a finite field F with d elements. The hidden functions of the generalized problem are not restricted to be linear but can also be m-variate polynomial functions of total degree n>=2. The problem of identifying hidden m-variate polynomials of degree less or equal to n for fixed n and m is hard on a classical computer since Omega(sqrt{d}) black-box queries are required to guarantee a constant success probability. In contrast, we present a quantum algorithm that correctly identifies such hidden polynomials for all but a finite number of values of d with constant probability and that has a running time that is only polylogarithmic in d. △ Less

Submitted 2 September, 2008; v1 submitted 8 June, 2007; originally announced June 2007.

Comments: 17 pages

A PromiseBQP-complete String Rewriting Problem

Authors: Dominik Janzing, Pawel Wocjan

Abstract: We are given three strings s, t, and t' of length L over some fixed finite alphabet and an integer m that is polylogarithmic in L. We have a symmetric relation on substrings of constant length that specifies which substrings are allowed to be replaced with each other. Let Delta(n) denote the difference between the numbers of possibilities to obtain t from s and t' from s after n replacements. Th… ▽ More We are given three strings s, t, and t' of length L over some fixed finite alphabet and an integer m that is polylogarithmic in L. We have a symmetric relation on substrings of constant length that specifies which substrings are allowed to be replaced with each other. Let Delta(n) denote the difference between the numbers of possibilities to obtain t from s and t' from s after n replacements. The problem is to determine the sign of Delta(m). As promises we have a gap condition and a growth condition. The former states that |Delta(m)| >= epsilon c^m where epsilon is inverse polylogarithmic in L and c>0 is a constant. The latter is given by Delta(n) <= c^n for all n. We show that this problem is PromiseBQP-complete, i.e., it represents the class of problems which can be solved efficiently on a quantum computer. △ Less

Submitted 17 January, 2008; v1 submitted 8 May, 2007; originally announced May 2007.

Comments: transition rules corrected, added more detailed explanations

Efficient Quantum Algorithm for Hidden Quadratic and Cubic Polynomial Function Graphs

Authors: Thomas Decker, Pawel Wocjan

Abstract: We introduce the Hidden Polynomial Function Graph Problem as a natural generalization of an abelian Hidden Subgroup Problem (HSP) where the subgroups and their cosets correspond to graphs of linear functions over the finite field F_p. For the Hidden Polynomial Function Graph Problem the functions are not restricted to be linear but can also be multivariate polynomial functions of higher degree.… ▽ More We introduce the Hidden Polynomial Function Graph Problem as a natural generalization of an abelian Hidden Subgroup Problem (HSP) where the subgroups and their cosets correspond to graphs of linear functions over the finite field F_p. For the Hidden Polynomial Function Graph Problem the functions are not restricted to be linear but can also be multivariate polynomial functions of higher degree. For a fixed number of indeterminates and bounded total degree the Hidden Polynomial Function Graph Problem is hard on a classical computer as its black box query complexity is polynomial in p. In contrast, this problem can be reduced to a quantum state identification problem so that the resulting quantum query complexity does not depend on p. For univariate polynomials we construct a von Neumann measurement for distinguishing the states. We relate the success probability and the implementation of this measurement to certain classical problems involving polynomial equations. We present an efficient algorithm for hidden quadratic and cubic function graphs by establishing that the success probability of the measurement is lower bounded by a constant and that it can be implemented efficiently. △ Less

Submitted 16 May, 2007; v1 submitted 21 March, 2007; originally announced March 2007.

Comments: (v2) formulated the Hidden Polynomial Function Graph Problem for multivariate polynomials, added results on quantum query complexity, simplified POVM substantially, (v3) derived quantum algorithm for cubic case; 16 pages

BQP-complete Problems Concerning Mixing Properties of Classical Random Walks on Sparse Graphs

Authors: Dominik Janzing, Pawel Wocjan

Abstract: We describe two BQP-complete problems concerning properties of sparse graphs having a certain symmetry. The graphs are specified by efficiently computable functions which output the adjacent vertices for each vertex. Let i and j be two given vertices. The first problem consists in estimating the difference between the number of paths of length m from j to j and those which from i to j, where m i… ▽ More We describe two BQP-complete problems concerning properties of sparse graphs having a certain symmetry. The graphs are specified by efficiently computable functions which output the adjacent vertices for each vertex. Let i and j be two given vertices. The first problem consists in estimating the difference between the number of paths of length m from j to j and those which from i to j, where m is polylogarithmic in the number of vertices. The scale of the estimation accuracy is specified by some a priori known upper bound on the growth of these differences with increasing m. The problem remains BQP-hard for regular graphs with degree 4. The second problem is related to continuous-time classical random walks. The walk starts at some vertex j. The promise is that the difference of the probabilities of being at j and at i, respectively, decays with O(exp(-μt)) for some μ>0. The problem is to decide whether this difference is greater than a exp(-μT) or smaller than b exp(-μT) after some time instant T, where T is polylogarithmic and the difference a-b is inverse polylogarithmic in the number of vertices. Since the probabilities differ only by an exponentially small amount, an exponential number of trials would be necessary if one tried to answer this question by running the walk itself. A modification of this problem, asking whether there exists a pair of nodes for which the probability difference is at least a exp(-μT), is QCMA-complete. △ Less

Submitted 28 October, 2006; v1 submitted 27 October, 2006; originally announced October 2006.

Comments: 24 pages, 1 figure

Weak Fourier-Schur sampling, the hidden subgroup problem, and the quantum collision problem

Authors: Andrew M. Childs, Aram W. Harrow, Pawel Wocjan

Abstract: Schur duality decomposes many copies of a quantum state into subspaces labeled by partitions, a decomposition with applications throughout quantum information theory. Here we consider applying Schur duality to the problem of distinguishing coset states in the standard approach to the hidden subgroup problem. We observe that simply measuring the partition (a procedure we call weak Schur sampling)… ▽ More Schur duality decomposes many copies of a quantum state into subspaces labeled by partitions, a decomposition with applications throughout quantum information theory. Here we consider applying Schur duality to the problem of distinguishing coset states in the standard approach to the hidden subgroup problem. We observe that simply measuring the partition (a procedure we call weak Schur sampling) provides very little information about the hidden subgroup. Furthermore, we show that under quite general assumptions, even a combination of weak Fourier sampling and weak Schur sampling fails to identify the hidden subgroup. We also prove tight bounds on how many coset states are required to solve the hidden subgroup problem by weak Schur sampling, and we relate this question to a quantum version of the collision problem. △ Less

Submitted 14 September, 2006; originally announced September 2006.

Comments: 21 pages

Journal ref: Proc. 24th Symposium on Theoretical Aspects of Computer Science (STACS 2007), Lecture Notes in Computer Science 4393, pp. 598-609

Estimating diagonal entries of powers of sparse symmetric matrices is BQP-complete

Authors: Dominik Janzing, Pawel Wocjan

Abstract: Let A be a real symmetric matrix of size N such that the number of the non-zero entries in each row is polylogarithmic in N and the positions and the values of these entries are specified by an efficiently computable function. We consider the problem of estimating an arbitrary diagonal entry (A^m)_jj of the matrix A^m up to an error of εb^m, where b is an a priori given upper bound on the norm o… ▽ More Let A be a real symmetric matrix of size N such that the number of the non-zero entries in each row is polylogarithmic in N and the positions and the values of these entries are specified by an efficiently computable function. We consider the problem of estimating an arbitrary diagonal entry (A^m)_jj of the matrix A^m up to an error of εb^m, where b is an a priori given upper bound on the norm of A, m and εare polylogarithmic and inverse polylogarithmic in N, respectively. We show that this problem is BQP-complete. It can be solved efficiently on a quantum computer by repeatedly applying measurements of A to the jth basis vector and raising the outcome to the mth power. Conversely, every quantum circuit that solves a problem in BQP can be encoded into a sparse matrix such that some basis vector |j> corresponding to the input induces two different spectral measures depending on whether the input is accepted or not. These measures can be distinguished by estimating the mth statistical moment for some appropriately chosen m, i.e., by the jth diagonal entry of A^m. The problem is still in BQP when generalized to off-diagonal entries and it remains BQP-hard if A has only -1, 0, and 1 as entries. △ Less

Submitted 20 October, 2006; v1 submitted 27 June, 2006; originally announced June 2006.

Comments: Improved presentation with simpler proofs, 17 pages, 1 figure

Several natural BQP-Complete problems

Authors: Pawel Wocjan, Shengyu Zhang

Abstract: A central problem in quantum computing is to identify computational tasks which can be solved substantially faster on a quantum computer than on any classical computer. By studying the hardest such tasks, known as BQP-complete problems, we deepen our understanding of the power and limitations of quantum computers. We present several BQP-complete problems, including Local Hamiltonian Eigenvalue S… ▽ More A central problem in quantum computing is to identify computational tasks which can be solved substantially faster on a quantum computer than on any classical computer. By studying the hardest such tasks, known as BQP-complete problems, we deepen our understanding of the power and limitations of quantum computers. We present several BQP-complete problems, including Local Hamiltonian Eigenvalue Sampling and Phase Estimation Sampling. Different than the previous known BQP-complete problems (the Quadratically Signed Weight Enumerator problem [KL01] and the Approximation of Jones Polynomials [FKW02, FLW02, AJL06]), our problems are of a basic linear algebra nature and are closely related to the well-known quantum algorithm and quantum complexity theories. △ Less

Submitted 21 June, 2006; originally announced June 2006.

Comments: 13 pages, 4 figures

The Jones polynomial: quantum algorithms and applications in quantum complexity theory

Authors: Pawel Wocjan, Jon Yard

Abstract: We analyze relationships between quantum computation and a family of generalizations of the Jones polynomial. Extending recent work by Aharonov et al., we give efficient quantum circuits for implementing the unitary Jones-Wenzl representations of the braid group. We use these to provide new quantum algorithms for approximately evaluating a family of specializations of the HOMFLYPT two-variable p… ▽ More We analyze relationships between quantum computation and a family of generalizations of the Jones polynomial. Extending recent work by Aharonov et al., we give efficient quantum circuits for implementing the unitary Jones-Wenzl representations of the braid group. We use these to provide new quantum algorithms for approximately evaluating a family of specializations of the HOMFLYPT two-variable polynomial of trace closures of braids. We also give algorithms for approximating the Jones polynomial of a general class of closures of braids at roots of unity. Next we provide a self-contained proof of a result of Freedman et al. that any quantum computation can be replaced by an additive approximation of the Jones polynomial, evaluated at almost any primitive root of unity. Our proof encodes two-qubit unitaries into the rectangular representation of the eight-strand braid group. We then give QCMA-complete and PSPACE-complete problems which are based on braids. We conclude with direct proofs that evaluating the Jones polynomial of the plat closure at most primitive roots of unity is a #P-hard problem, while learning its most significant bit is PP-hard, circumventing the usual route through the Tutte polynomial and graph coloring. △ Less

Submitted 3 August, 2007; v1 submitted 8 March, 2006; originally announced March 2006.

Comments: 34 pages. Substantial revision. Increased emphasis on HOMFLYPT, greatly simplified arguments and improved organization

On the quantum hardness of solving isomorphism problems as nonabelian hidden shift problems

Authors: Andrew M. Childs, Pawel Wocjan

Abstract: We consider an approach to deciding isomorphism of rigid n-vertex graphs (and related isomorphism problems) by solving a nonabelian hidden shift problem on a quantum computer using the standard method. Such an approach is arguably more natural than viewing the problem as a hidden subgroup problem. We prove that the hidden shift approach to rigid graph isomorphism is hard in two senses. First, we… ▽ More We consider an approach to deciding isomorphism of rigid n-vertex graphs (and related isomorphism problems) by solving a nonabelian hidden shift problem on a quantum computer using the standard method. Such an approach is arguably more natural than viewing the problem as a hidden subgroup problem. We prove that the hidden shift approach to rigid graph isomorphism is hard in two senses. First, we prove that Omega(n) copies of the hidden shift states are necessary to solve the problem (whereas O(n log n) copies are sufficient). Second, we prove that if one is restricted to single-register measurements, an exponential number of hidden shift states are required. △ Less

Submitted 25 October, 2005; originally announced October 2005.

Comments: 19 pages

Journal ref: Quantum Information and Computation, Vol. 7, No. 5-6 (2007) 504-521

Mutually Unbiased Bases and Orthogonal Decompositions of Lie Algebras

Authors: P. Oscar Boykin, Meera Sitharam, Pham Huu Tiep, Pawel Wocjan

Abstract: We establish a connection between the problem of constructing maximal collections of mutually unbiased bases (MUBs) and an open problem in the theory of Lie algebras. More precisely, we show that a collection of m MUBs in K^n gives rise to a collection of m Cartan subalgebras of the special linear Lie algebra sl_n(K) that are pairwise orthogonal with respect to the Killing form, where K=R or K=C… ▽ More We establish a connection between the problem of constructing maximal collections of mutually unbiased bases (MUBs) and an open problem in the theory of Lie algebras. More precisely, we show that a collection of m MUBs in K^n gives rise to a collection of m Cartan subalgebras of the special linear Lie algebra sl_n(K) that are pairwise orthogonal with respect to the Killing form, where K=R or K=C. In particular, a complete collection of MUBs in C^n gives rise to a so-called orthogonal decomposition (OD) of sl_n(C). The converse holds if the Cartan subalgebras in the OD are also *-closed, i.e., closed under the adjoint operation. In this case, the Cartan subalgebras have unitary bases, and the above correspondence becomes equivalent to a result relating collections of MUBs to collections of maximal commuting classes of unitary error bases, i.e., orthogonal unitary matrices. It is a longstanding conjecture that ODs of sl_n(C) can only exist if n is a prime power. This corroborates further the general belief that a complete collection of MUBs can only exist in prime power dimensions. The connection to ODs of sl_n(C) potentially allows the application of known results on (partial) ODs of sl_n(C) to MUBs. △ Less

Submitted 10 June, 2005; originally announced June 2005.

Comments: 13 pages

On independent permutation separability criteria

Authors: Lieven Clarisse, Pawel Wocjan

Abstract: Recently P. Wocjan and M. Horodecki [quant-ph/0503129] gave a characterization of combinatorially independent permutation separability criteria. Combinatorial independence is a necessary condition for permutations to yield truly independent criteria meaning that that no criterion is strictly stronger that any other. In this paper we observe that some of these criteria are still dependent and ana… ▽ More Recently P. Wocjan and M. Horodecki [quant-ph/0503129] gave a characterization of combinatorially independent permutation separability criteria. Combinatorial independence is a necessary condition for permutations to yield truly independent criteria meaning that that no criterion is strictly stronger that any other. In this paper we observe that some of these criteria are still dependent and analyze why these dependencies occur. To remove them we introduce an improved necessary condition and give a complete classification of the remaining permutations. We conjecture that the remaining class of criteria only contains truly independent permutation separability criteria. Our conjecture is based on the proof that for two, three and four parties all these criteria are truly independent and on numerical verification of their independence for up to 8 parties. It was commonly believed that for three parties there were 9 independent criteria, here we prove that there are exactly 6 independent criteria for three parties and 22 for four parties. △ Less

Submitted 14 June, 2005; v1 submitted 21 April, 2005; originally announced April 2005.

Comments: Revtex4, 7 pages, minor corrections

Journal ref: Quantum Information and Computation, Vol. 6, No. 3 (2006) 277-288

Characterization of combinatorially independent permutation separability criteria

Authors: Pawel Wocjan, Michal Horodecki

Abstract: The so-called permutation separability criteria are simple operational conditions that are necessary for separability of mixed states of multipartite systems: (1) permute the indices of the density matrix and (2) check if the trace norm of at least one of the resulting operators is greater than one. If it is greater than one then the state is necessarily entangled. A shortcoming of the permutati… ▽ More The so-called permutation separability criteria are simple operational conditions that are necessary for separability of mixed states of multipartite systems: (1) permute the indices of the density matrix and (2) check if the trace norm of at least one of the resulting operators is greater than one. If it is greater than one then the state is necessarily entangled. A shortcoming of the permutation separability criteria is that many permutations give rise to dependent separability criteria. Therefore, we introduce a necessary condition for two permutations to yield independent criteria called combinatorical independence. This condition basically means that the map corresponding to one permutation cannot be obtained by concatenating the map corresponding to the second permutation with a norm-preserving map. We characterize completely combinatorically independent criteria, and determine simple permutations that represent all independent criteria. The representatives can be visualized by means of a simple graphical notation. They are composed of three basic operations: partial transpose, and two types of so-called reshufflings. In particular, for a four-partite system all criteria except one are composed of partial transpose and only one type of reshuffling; the exceptional one requires the second type of reshuffling. Furthermore, we show how to obtain efficiently for every permutation a simple representative. This method allows to check easily if two permutations are combinatorically equivalent or not. △ Less

Submitted 13 June, 2005; v1 submitted 14 March, 2005; originally announced March 2005.

Comments: 9 pages, corrected proof of rule 4

Journal ref: Open Syst. Inf. Dyn. 12, 331 (2005)

Real Mutually Unbiased Bases

Authors: P. Oscar Boykin, Meera Sitharam, Mohamad Tarifi, Pawel Wocjan

Abstract: We tabulate bounds on the optimal number of mutually unbiased bases in R^d. For most dimensions d, it can be shown with relatively simple methods that either there are no real orthonormal bases that are mutually unbiased or the optimal number is at most either 2 or 3. We discuss the limitations of these methods when applied to all dimensions, shedding some light on the difficulty of obtaining ti… ▽ More We tabulate bounds on the optimal number of mutually unbiased bases in R^d. For most dimensions d, it can be shown with relatively simple methods that either there are no real orthonormal bases that are mutually unbiased or the optimal number is at most either 2 or 3. We discuss the limitations of these methods when applied to all dimensions, shedding some light on the difficulty of obtaining tight bounds for the remaining dimensions that have the form d=16n^2, where n can be any number. We additionally give a simpler, alternative proof that there can be at most d/2+1 real mutually unbiased bases in dimension d instead of invoking the known results on extremal Euclidean line sets by Cameron and Seidel, Delsarte, and Calderbank et al. △ Less

Submitted 13 September, 2005; v1 submitted 3 February, 2005; originally announced February 2005.

Comments: 13 pages

The limitations of nice mutually unbiased bases

Authors: Michael Aschbacher, Andrew M. Childs, Pawel Wocjan

Abstract: Mutually unbiased bases of a Hilbert space can be constructed by partitioning a unitary error basis. We consider this construction when the unitary error basis is a nice error basis. We show that the number of resulting mutually unbiased bases can be at most one plus the smallest prime power contained in the dimension, and therefore that this construction cannot improve upon previous approaches.… ▽ More Mutually unbiased bases of a Hilbert space can be constructed by partitioning a unitary error basis. We consider this construction when the unitary error basis is a nice error basis. We show that the number of resulting mutually unbiased bases can be at most one plus the smallest prime power contained in the dimension, and therefore that this construction cannot improve upon previous approaches. We prove this by establishing a correspondence between nice mutually unbiased bases and abelian subgroups of the index group of a nice error basis and then bounding the number of such subgroups. This bound also has implications for the construction of certain combinatorial objects called nets. △ Less

Submitted 8 December, 2004; originally announced December 2004.

Comments: 7 pages

Journal ref: Journal of Algebraic Combinatorics, Vol. 25, No. 2 (2007) 111-123