-
A blockBP decoder for the surface code
Authors:
Aviad Kaufmann,
Itai Arad
Abstract:
We present a new decoder for the surface code, which combines the accuracy of the tensor-network decoders with the efficiency and parallelism of the belief-propagation algorithm. Our main idea is to replace the expensive tensor-network contraction step in the tensor-network decoders with the blockBP algorithm - a recent approximate contraction algorithm, based on belief propagation. Our decoder is…
▽ More
We present a new decoder for the surface code, which combines the accuracy of the tensor-network decoders with the efficiency and parallelism of the belief-propagation algorithm. Our main idea is to replace the expensive tensor-network contraction step in the tensor-network decoders with the blockBP algorithm - a recent approximate contraction algorithm, based on belief propagation. Our decoder is therefore a belief-propagation decoder that works in the degenerate maximal likelihood decoding framework. Unlike conventional tensor-network decoders, our algorithm can run efficiently in parallel, and may therefore be suitable for real-time decoding. We numerically test our decoder and show that for a large range of lattice sizes and noise levels it delivers a logical error probability that outperforms the Minimal-Weight-Perfect-Matching (MWPM) decoder, sometimes by more than an order of magnitude.
△ Less
Submitted 15 April, 2024; v1 submitted 7 February, 2024;
originally announced February 2024.
-
Area law for the maximally mixed ground state in degenerate 1D gapped systems
Authors:
Itai Arad,
Raz Firanko,
Rahul Jain
Abstract:
We show an area law with logarithmic correction for the maximally mixed state $Ω$ in the (degenerate) ground space of a 1D gapped local Hamiltonian $H$, which is independent of the underlying ground space degeneracy. Formally, for $\varepsilon>0$ and a bi-partition $L\cup L^c$ of the 1D lattice, we show that
$$\mathrm{I}^{\varepsilon}_{\max}(L:L^c)_Ω \leq O(\log(|L|)+\log(1/\varepsilon)),$$
wh…
▽ More
We show an area law with logarithmic correction for the maximally mixed state $Ω$ in the (degenerate) ground space of a 1D gapped local Hamiltonian $H$, which is independent of the underlying ground space degeneracy. Formally, for $\varepsilon>0$ and a bi-partition $L\cup L^c$ of the 1D lattice, we show that
$$\mathrm{I}^{\varepsilon}_{\max}(L:L^c)_Ω \leq O(\log(|L|)+\log(1/\varepsilon)),$$
where $|L|$ represents the number of qudits in $L$ and $\mathrm{I}^ε_{\max}(L:L^c)_Ω$ represents the $\varepsilon$- 'smoothed maximum mutual information' with respect to the $L:L^c$ partition in $Ω$. As a corollary, we get an area law for the mutual information of the form $\mathrm{I}(L:R)_Ω\leq O(\log |L|)$. In addition, we show that $Ω$ can be approximated up to an $\varepsilon$ in trace norm with a state of Schmidt rank of at most $\mathrm{poly}(|L|/\varepsilon)$.
△ Less
Submitted 29 October, 2023;
originally announced October 2023.
-
Learning a quantum channel from its steady-state
Authors:
Yigal Ilin,
Itai Arad
Abstract:
We present a scalable method for learning local quantum channels using local expectation values measured on a single state -- their steady state. Our method is inspired by the algorithms for learning local Hamiltonians from their ground states. For it to succeed, the steady state must be non-trivial, and therefore the channel needs to be non-unital. Such non-unital channels are readily implementab…
▽ More
We present a scalable method for learning local quantum channels using local expectation values measured on a single state -- their steady state. Our method is inspired by the algorithms for learning local Hamiltonians from their ground states. For it to succeed, the steady state must be non-trivial, and therefore the channel needs to be non-unital. Such non-unital channels are readily implementable on present day quantum computers using mid-circuit measurements or RESET gates. We demonstrate that the full structure of such channels is encoded in their steady states, and can be learned efficiently using only the expectation values of local observables on these states. We emphasize two immediate applications to illustrate our approach: (i) Using engineered dissipative dynamics, we offer a straightforward way to assess the accuracy of a given noise model in a regime where all qubits are actively utilized for a significant duration. (ii) Given a parameterized noise model for the entire system, our method can learn its underlying parameters. We demonstrate both applications using numerical simulations and experimental trials conducted on an IBMQ machine.
△ Less
Submitted 11 July, 2024; v1 submitted 13 February, 2023;
originally announced February 2023.
-
Block belief propagation algorithm for two-dimensional tensor networks
Authors:
Chu Guo,
Dario Poletti,
Itai Arad
Abstract:
Belief propagation is a well-studied algorithm for approximating local marginals of multivariate probability distribution over complex networks, while tensor network states are powerful tools for quantum and classical many-body problems. Building on a recent connection between the belief propagation algorithm and the problem of tensor network contraction, we propose a block belief propagation algo…
▽ More
Belief propagation is a well-studied algorithm for approximating local marginals of multivariate probability distribution over complex networks, while tensor network states are powerful tools for quantum and classical many-body problems. Building on a recent connection between the belief propagation algorithm and the problem of tensor network contraction, we propose a block belief propagation algorithm for contracting two-dimensional tensor networks and approximating the ground state of $2D$ systems. The advantages of our method are three-fold: 1) the same algorithm works for both finite and infinite systems; 2) it allows natural and efficient parallelization; 3) given its flexibility it would allow to deal with different unit cells. As applications, we use our algorithm to study the $2D$ Heisenberg and transverse Ising models, and show that the accuracy of the method is on par with state-of-the-art results.
△ Less
Submitted 6 September, 2023; v1 submitted 14 January, 2023;
originally announced January 2023.
-
Area law for steady states of detailed-balance local Lindbladians
Authors:
Raz Firanko,
Moshe Goldstein,
Itai Arad
Abstract:
We study steady-states of quantum Markovian processes whose evolution is described by local Lindbladians. We assume that the Lindbladian is gapped and satisfies quantum detailed balance with respect to a unique full-rank steady state $σ$. We show that under mild assumptions on the Lindbladian terms, which can be checked efficiently, the Lindbladian can be mapped to a local Hamiltonian on a doubled…
▽ More
We study steady-states of quantum Markovian processes whose evolution is described by local Lindbladians. We assume that the Lindbladian is gapped and satisfies quantum detailed balance with respect to a unique full-rank steady state $σ$. We show that under mild assumptions on the Lindbladian terms, which can be checked efficiently, the Lindbladian can be mapped to a local Hamiltonian on a doubled Hilbert space that has the same spectrum, and a ground state that is the vectorization of $σ^{1/2}$. Consequently, we can use Hamiltonian complexity tools to study the steady states of such open systems. In particular, we show an area-law in the mutual information for the steady state of such 1D systems, together with a tensor-network representation that can be found efficiently.
△ Less
Submitted 10 January, 2023; v1 submitted 20 December, 2022;
originally announced December 2022.
-
Practical Quantum State Tomography for Gibbs states
Authors:
Yotam Y. Lifshitz,
Eyal Bairey,
Eli Arbel,
Gadi Aleksandrowicz,
Haggai Landa,
Itai Arad
Abstract:
Quantum state tomography is an essential tool for the characterization and verification of quantum states. However, as it cannot be directly applied to systems with more than a few qubits, efficient tomography of larger states on mid-sized quantum devices remains an important challenge in quantum computing. We develop a tomography approach that requires moderate computational and quantum resources…
▽ More
Quantum state tomography is an essential tool for the characterization and verification of quantum states. However, as it cannot be directly applied to systems with more than a few qubits, efficient tomography of larger states on mid-sized quantum devices remains an important challenge in quantum computing. We develop a tomography approach that requires moderate computational and quantum resources for the tomography of states that can be approximated by Gibbs states of local Hamiltonians. The proposed method, Hamiltonian Learning Tomography, uses a Hamiltonian learning algorithm to get a parametrized ansatz for the Gibbs Hamiltonian, and optimizes it with respect to the results of local measurements. We demonstrate the utility of this method with a high fidelity reconstruction of the density matrix of 4 to 10 qubits in a Gibbs state of the transverse-field Ising model, in numerical simulations as well as in experiments on IBM Quantum superconducting devices accessed via the cloud. Code implementation of the our method is freely available as an open source software in Python.
△ Less
Submitted 30 January, 2023; v1 submitted 20 December, 2021;
originally announced December 2021.
-
An area law for 2D frustration-free spin systems
Authors:
Anurag Anshu,
Itai Arad,
David Gosset
Abstract:
We prove that the entanglement entropy of the ground state of a locally gapped frustration-free 2D lattice spin system satisfies an area law with respect to a vertical bipartition of the lattice into left and right regions. We first establish that the ground state projector of any locally gapped frustration-free 1D spin system can be approximated to within error $ε$ by a degree…
▽ More
We prove that the entanglement entropy of the ground state of a locally gapped frustration-free 2D lattice spin system satisfies an area law with respect to a vertical bipartition of the lattice into left and right regions. We first establish that the ground state projector of any locally gapped frustration-free 1D spin system can be approximated to within error $ε$ by a degree $O(\sqrt{n\log(ε^{-1})})$ multivariate polynomial in the interaction terms of the Hamiltonian. This generalizes the optimal bound on the approximate degree of the boolean AND function, which corresponds to the special case of commuting Hamiltonian terms. For 2D spin systems we then construct an approximate ground state projector (AGSP) that employs the optimal 1D approximation in the vicinity of the boundary of the bipartition of interest. This AGSP has sufficiently low entanglement and error to establish the area law using a known technique.
△ Less
Submitted 17 February, 2023; v1 submitted 3 March, 2021;
originally announced March 2021.
-
Tensor Networks contraction and the Belief Propagation algorithm
Authors:
Roy Alkabetz,
Itai Arad
Abstract:
Belief Propagation is a well-studied message-passing algorithm that runs over graphical models and can be used for approximate inference and approximation of local marginals. The resulting approximations are equivalent to the Bethe-Peierls approximation of statistical mechanics. Here we show how this algorithm can be adapted to the world of PEPS tensor networks and used as an approximate contracti…
▽ More
Belief Propagation is a well-studied message-passing algorithm that runs over graphical models and can be used for approximate inference and approximation of local marginals. The resulting approximations are equivalent to the Bethe-Peierls approximation of statistical mechanics. Here we show how this algorithm can be adapted to the world of PEPS tensor networks and used as an approximate contraction scheme. We further show that the resultant approximation is equivalent to the ``mean field'' approximation that is used in the Simple-Update algorithm, thereby showing that the latter is a essentially the Bethe-Peierls approximation. This shows that one of the simplest approximate contraction algorithms for tensor networks is equivalent to one of the simplest schemes for approximating marginals in graphical models in general, and paves the way for using improvements of BP as tensor networks algorithms.
△ Less
Submitted 24 August, 2020; v1 submitted 10 August, 2020;
originally announced August 2020.
-
Learning the dynamics of open quantum systems from their steady states
Authors:
Eyal Bairey,
Chu Guo,
Dario Poletti,
Netanel H. Lindner,
Itai Arad
Abstract:
Recent works have shown that generic local Hamiltonians can be efficiently inferred from local measurements performed on their eigenstates or thermal states. Realistic quantum systems are often affected by dissipation and decoherence due to coupling to an external environment. This raises the question whether the steady states of such open quantum systems contain sufficient information allowing fo…
▽ More
Recent works have shown that generic local Hamiltonians can be efficiently inferred from local measurements performed on their eigenstates or thermal states. Realistic quantum systems are often affected by dissipation and decoherence due to coupling to an external environment. This raises the question whether the steady states of such open quantum systems contain sufficient information allowing for full and efficient reconstruction of the system's dynamics. We find that such a reconstruction is possible for generic local Markovian dynamics. We propose a recovery method that uses only local measurements; for systems with finite-range interactions, the method recovers the Lindbladian acting on each spatial domain using only observables within that domain. We numerically study the accuracy of the reconstruction as a function of the number of measurements, type of open-system dynamics and system size. Interestingly, we show that couplings to external environments can in fact facilitate the reconstruction of Hamiltonians composed of commuting terms.
△ Less
Submitted 24 March, 2020; v1 submitted 25 July, 2019;
originally announced July 2019.
-
Entanglement subvolume law for 2D frustration-free spin systems
Authors:
Anurag Anshu,
Itai Arad,
David Gosset
Abstract:
Let $H$ be a frustration-free Hamiltonian describing a 2D grid of qudits with local interactions, a unique ground state, and local spectral gap lower bounded by a positive constant. For any bipartition defined by a vertical cut of length $L$ running from top to bottom of the grid, we prove that the corresponding entanglement entropy of the ground state of $H$ is upper bounded by…
▽ More
Let $H$ be a frustration-free Hamiltonian describing a 2D grid of qudits with local interactions, a unique ground state, and local spectral gap lower bounded by a positive constant. For any bipartition defined by a vertical cut of length $L$ running from top to bottom of the grid, we prove that the corresponding entanglement entropy of the ground state of $H$ is upper bounded by $\tilde{O}(L^{5/3})$. For the special case of a 1D chain, our result provides a new area law which improves upon prior work, in terms of the scaling with qudit dimension and spectral gap. In addition, for any bipartition of the grid into a rectangular region $A$ and its complement, we show that the entanglement entropy is upper bounded as $\tilde{O}(|\partial A|^{5/3})$ where $\partial A$ is the boundary of $A$. This represents the first subvolume bound on entanglement in frustration-free 2D systems. In contrast with previous work, our bounds depend on the local (rather than global) spectral gap of the Hamiltonian. We prove our results using a known method which bounds the entanglement entropy of the ground state in terms of certain properties of an approximate ground state projector (AGSP). To this end, we construct a new AGSP which is based on a robust polynomial approximation of the AND function and we show that it achieves an improved trade-off between approximation error and entanglement.
△ Less
Submitted 27 May, 2019;
originally announced May 2019.
-
Learning a local Hamiltonian from local measurements
Authors:
Eyal Bairey,
Itai Arad,
Netanel H. Lindner
Abstract:
Recovering an unknown Hamiltonian from measurements is an increasingly important task for certification of noisy quantum devices and simulators. Recent works have succeeded in recovering the Hamiltonian of an isolated quantum system with local interactions from long-ranged correlators of a single eigenstate. Here, we show that such Hamiltonians can be recovered from local observables alone, using…
▽ More
Recovering an unknown Hamiltonian from measurements is an increasingly important task for certification of noisy quantum devices and simulators. Recent works have succeeded in recovering the Hamiltonian of an isolated quantum system with local interactions from long-ranged correlators of a single eigenstate. Here, we show that such Hamiltonians can be recovered from local observables alone, using computational and measurement resources scaling linearly with the system size. In fact, to recover the Hamiltonian acting on each finite spatial domain, only observables within that domain are required. The observables can be measured in a Gibbs state as well as a single eigenstate; furthermore, they can be measured in a state evolved by the Hamiltonian for a long time, allowing to recover a large family of time-dependent Hamiltonians. We derive an estimate for the statistical recovery error due to approximation of expectation values using a finite number of samples, which agrees well with numerical simulations.
△ Less
Submitted 23 January, 2019; v1 submitted 12 July, 2018;
originally announced July 2018.
-
On the complexity of probabilistic trials for hidden satisfiability problems
Authors:
Itai Arad,
Adam Bouland,
Daniel Grier,
Miklos Santha,
Aarthi Sundaram,
Shengyu Zhang
Abstract:
What is the minimum amount of information and time needed to solve 2SAT? When the instance is known, it can be solved in polynomial time, but is this also possible without knowing the instance? Bei, Chen and Zhang (STOC '13) considered a model where the input is accessed by proposing possible assignments to a special oracle. This oracle, on encountering some constraint unsatisfied by the proposal,…
▽ More
What is the minimum amount of information and time needed to solve 2SAT? When the instance is known, it can be solved in polynomial time, but is this also possible without knowing the instance? Bei, Chen and Zhang (STOC '13) considered a model where the input is accessed by proposing possible assignments to a special oracle. This oracle, on encountering some constraint unsatisfied by the proposal, returns only the constraint index. It turns out that, in this model, even 1SAT cannot be solved in polynomial time unless P=NP. Hence, we consider a model in which the input is accessed by proposing probability distributions over assignments to the variables. The oracle then returns the index of the constraint that is most likely to be violated by this distribution. We show that the information obtained this way is sufficient to solve 1SAT in polynomial time, even when the clauses can be repeated. For 2SAT, as long as there are no repeated clauses, in polynomial time we can even learn an equivalent formula for the hidden instance and hence also solve it. Furthermore, we extend these results to the quantum regime. We show that in this setting 1QSAT can be solved in polynomial time up to constant precision, and 2QSAT can be learnt in polynomial time up to inverse polynomial precision.
△ Less
Submitted 11 June, 2016;
originally announced June 2016.
-
How local is the information in MPS/PEPS tensor networks?
Authors:
Anurag Anshu,
Itai Arad,
Aditya Jain
Abstract:
Two dimensional tensor networks such as projected entangled pairs states (PEPS) are generally hard to contract. This is arguably the main reason why variational tensor network methods in 2D are still not as successful as in 1D. However, this is not necessarily the case if the tensor network represents a gapped ground state of a local Hamiltonian; such states are subject to many constraints and con…
▽ More
Two dimensional tensor networks such as projected entangled pairs states (PEPS) are generally hard to contract. This is arguably the main reason why variational tensor network methods in 2D are still not as successful as in 1D. However, this is not necessarily the case if the tensor network represents a gapped ground state of a local Hamiltonian; such states are subject to many constraints and contain much more structure. In this paper we introduce a new approach for approximating the expectation value of a local observable in ground states of local Hamiltonians that are represented as PEPS tensor-networks. Instead of contracting the full tensor-network, we try to estimate the expectation value using only a local patch of the tensor-network around the observable. Surprisingly, we demonstrate that this is often easier to do when the system is frustrated. In such case, the spanning vectors of the local patch are subject to non-trivial constraints that can be utilized via a semi-definite program to calculate rigorous lower- and upper-bounds on the expectation value. We test our approach in 1D systems, where we show how the expectation value can be calculated up to at least 3 or 4 digits of precision, even when the patch radius is smaller than the correlation length.
△ Less
Submitted 23 November, 2016; v1 submitted 19 March, 2016;
originally announced March 2016.
-
Rigorous RG algorithms and area laws for low energy eigenstates in 1D
Authors:
Itai Arad,
Zeph Landau,
Umesh Vazirani,
Thomas Vidick
Abstract:
One of the central challenges in the study of quantum many-body systems is the complexity of simulating them on a classical computer. A recent advance of Landau et al. gave a polynomial time algorithm to actually compute a succinct classical description for unique ground states of gapped 1D quantum systems. Despite this progress many questions remained unresolved, including whether there exist rig…
▽ More
One of the central challenges in the study of quantum many-body systems is the complexity of simulating them on a classical computer. A recent advance of Landau et al. gave a polynomial time algorithm to actually compute a succinct classical description for unique ground states of gapped 1D quantum systems. Despite this progress many questions remained unresolved, including whether there exist rigorous efficient algorithms when the ground space is degenerate (and poly($n$) dimensional), or for the poly($n$) lowest energy states for 1D systems, or even whether such states admit succinct classical descriptions or area laws.
In this paper we give a new algorithm for finding low energy states for 1D systems, based on a rigorously justified RG type transformation. In the process we resolve some of the aforementioned open questions, including giving a polynomial time algorithm for poly($n$) degenerate ground spaces and an $n^{O(\log n)}$ algorithm for the poly($n$) lowest energy states for 1D systems (under a mild density condition). We note that for these classes of systems the existence of a succinct classical description and area laws were not rigorously proved before this work. The algorithms are natural and efficient, and for the case of finding unique ground states for frustration-free Hamiltonians the running time is $\tilde{O}(nM(n))$, where $M(n)$ is the time required to multiply two $n\times n$ matrices.
△ Less
Submitted 20 June, 2017; v1 submitted 29 February, 2016;
originally announced February 2016.
-
A simple proof of the detectability lemma and spectral gap amplification
Authors:
Anurag Anshu,
Itai Arad,
Thomas Vidick
Abstract:
The detectability lemma is a useful tool for probing the structure of gapped ground states of frustration-free Hamiltonians of lattice spin models. The lemma provides an estimate on the error incurred by approximating the ground space projector with a product of local projectors. We provide a new, simpler proof for the detectability lemma, which applies to an arbitrary ordering of the local projec…
▽ More
The detectability lemma is a useful tool for probing the structure of gapped ground states of frustration-free Hamiltonians of lattice spin models. The lemma provides an estimate on the error incurred by approximating the ground space projector with a product of local projectors. We provide a new, simpler proof for the detectability lemma, which applies to an arbitrary ordering of the local projectors, and show that it is tight up to a constant factor. As an application we show how the lemma can be combined with a strong converse by Gao to obtain local spectral gap amplification: we show that by coarse-graining a local frustration-free Hamiltonian with a spectral gap $γ>0$ to a length scale $O(γ^{-1/2})$, one gets an Hamiltonian with an $Ω(1)$ spectral gap.
△ Less
Submitted 23 May, 2016; v1 submitted 3 February, 2016;
originally announced February 2016.
-
Linear time algorithm for quantum 2SAT
Authors:
Itai Arad,
Miklos Santha,
Aarthi Sundaram,
Shengyu Zhang
Abstract:
A canonical result about satisfiability theory is that the 2-SAT problem can be solved in linear time, despite the NP-hardness of the 3-SAT problem. In the quantum 2-SAT problem, we are given a family of 2-qubit projectors $Π_{ij}$ on a system of $n$ qubits, and the task is to decide whether the Hamiltonian $H=\sum Π_{ij}$ has a 0-eigenvalue, or it is larger than $1/n^α$ for some $α=O(1)$. The pro…
▽ More
A canonical result about satisfiability theory is that the 2-SAT problem can be solved in linear time, despite the NP-hardness of the 3-SAT problem. In the quantum 2-SAT problem, we are given a family of 2-qubit projectors $Π_{ij}$ on a system of $n$ qubits, and the task is to decide whether the Hamiltonian $H=\sum Π_{ij}$ has a 0-eigenvalue, or it is larger than $1/n^α$ for some $α=O(1)$. The problem is not only a natural extension of the classical 2-SAT problem to the quantum case, but is also equivalent to the problem of finding the ground state of 2-local frustration-free Hamiltonians of spin $\frac{1}{2}$, a well-studied model believed to capture certain key properties in modern condensed matter physics. While Bravyi has shown that the quantum 2-SAT problem has a classical polynomial-time algorithm, the running time of his algorithm is $O(n^4)$. In this paper we give a classical algorithm with linear running time in the number of local projectors, therefore achieving the best possible complexity.
△ Less
Submitted 26 April, 2016; v1 submitted 25 August, 2015;
originally announced August 2015.
-
Local reversibility and entanglement structure of many-body ground states
Authors:
Tomotaka Kuwahara,
Itai Arad,
Luigi Amico,
Vlatko Vedral
Abstract:
The low-temperature physics of quantum many-body systems is largely governed by the structure of their ground states. Minimizing the energy of local interactions, ground states often reflect strong properties of locality such as the area law for entanglement entropy and the exponential decay of correlations between spatially separated observables. In this letter we present a novel characterization…
▽ More
The low-temperature physics of quantum many-body systems is largely governed by the structure of their ground states. Minimizing the energy of local interactions, ground states often reflect strong properties of locality such as the area law for entanglement entropy and the exponential decay of correlations between spatially separated observables. In this letter we present a novel characterization of locality in quantum states, which we call `local reversibility'. It characterizes the type of operations that are needed to reverse the action of a general disturbance on the state. We prove that unique ground states of gapped local Hamiltonian are locally reversible. This way, we identify new fundamental features of many-body ground states, which cannot be derived from the aforementioned properties. We use local reversibility to distinguish between states enjoying microscopic and macroscopic quantum phenomena. To demonstrate the potential of our approach, we prove specific properties of ground states, which are relevant both to critical and non-critical theories.
△ Less
Submitted 16 January, 2017; v1 submitted 18 February, 2015;
originally announced February 2015.
-
Connecting global and local energy distributions in quantum spin models on a lattice
Authors:
Itai Arad,
Tomotaka Kuwahara,
Zeph Landau
Abstract:
Generally, the local interactions in a many-body quantum spin system on a lattice do not commute with each other. Consequently, the Hamiltonian of a local region will generally not commute with that of the entire system, and so the two cannot be measured simultaneously. The connection between the probability distributions of measurement outcomes of the local and global Hamiltonians will depend on…
▽ More
Generally, the local interactions in a many-body quantum spin system on a lattice do not commute with each other. Consequently, the Hamiltonian of a local region will generally not commute with that of the entire system, and so the two cannot be measured simultaneously. The connection between the probability distributions of measurement outcomes of the local and global Hamiltonians will depend on the angles between the diagonalizing bases of these two Hamiltonians. In this paper we characterize the relation between these two distributions. On one hand, we upperbound the probability of measuring an energy $τ$ in a local region, if the global system is in a superposition of eigenstates with energies $ε<τ$. On the other hand, we bound the probability of measuring a global energy $ε$ in a bipartite system that is in a tensor product of eigenstates of its two subsystems. Very roughly, we show that due to the local nature of the governing interactions, these distributions are identical to what one encounters in the commuting case, up to some exponentially small corrections. Finally, we use these bounds to study the spectrum of a locally truncated Hamiltonian, in which the energies of a contiguous region have been truncated above some threshold energy $τ$. We show that the lower part of the spectrum of this Hamiltonian is exponentially close to that of the original Hamiltonian. A restricted version of this result in 1D was a central building block in a recent improvement of the 1D area-law.
△ Less
Submitted 27 November, 2015; v1 submitted 15 June, 2014;
originally announced June 2014.
-
A Constructive Quantum Lovász Local Lemma for Commuting Projectors
Authors:
Itai Arad,
Or Sattath
Abstract:
The Quantum Satisfiability problem generalizes the Boolean satisfiability problem to the quantum setting by replacing classical clauses with local projectors. The Quantum Lovász Local Lemma gives a sufficient condition for a Quantum Satisfiability problem to be satisfiable [AKS12], by generalizing the classical Lovász Local Lemma.
The next natural question that arises is: can a satisfying quantu…
▽ More
The Quantum Satisfiability problem generalizes the Boolean satisfiability problem to the quantum setting by replacing classical clauses with local projectors. The Quantum Lovász Local Lemma gives a sufficient condition for a Quantum Satisfiability problem to be satisfiable [AKS12], by generalizing the classical Lovász Local Lemma.
The next natural question that arises is: can a satisfying quantum state be efficiently found, when these conditions hold? In this work we present such an algorithm, with the additional requirement that all the projectors commute. The proof follows the information theoretic proof given by Moser's breakthrough result in the classical setting [Mos09].
Similar results were independently published in [CS11,CSV13].
△ Less
Submitted 29 October, 2013;
originally announced October 2013.
-
The Quantum PCP Conjecture
Authors:
Dorit Aharonov,
Itai Arad,
Thomas Vidick
Abstract:
The classical PCP theorem is arguably the most important achievement of classical complexity theory in the past quarter century. In recent years, researchers in quantum computational complexity have tried to identify approaches and develop tools that address the question: does a quantum version of the PCP theorem hold? The story of this study starts with classical complexity and takes unexpected t…
▽ More
The classical PCP theorem is arguably the most important achievement of classical complexity theory in the past quarter century. In recent years, researchers in quantum computational complexity have tried to identify approaches and develop tools that address the question: does a quantum version of the PCP theorem hold? The story of this study starts with classical complexity and takes unexpected turns providing fascinating vistas on the foundations of quantum mechanics, the global nature of entanglement and its topological properties, quantum error correction, information theory, and much more; it raises questions that touch upon some of the most fundamental issues at the heart of our understanding of quantum mechanics. At this point, the jury is still out as to whether or not such a theorem holds. This survey aims to provide a snapshot of the status in this ongoing story, tailored to a general theory-of-CS audience.
△ Less
Submitted 28 September, 2013;
originally announced September 2013.
-
An area law and sub-exponential algorithm for 1D systems
Authors:
Itai Arad,
Alexei Kitaev,
Zeph Landau,
Umesh Vazirani
Abstract:
We give a new proof for the area law for general 1D gapped systems, which exponentially improves Hastings' famous result \cite{ref:Has07}. Specifically, we show that for a chain of d-dimensional spins, governed by a 1D local Hamiltonian with a spectral gap \eps>0, the entanglement entropy of the ground state with respect to any cut in the chain is upper bounded by $O{\frac{\log^3 d}{\eps}}$. Our a…
▽ More
We give a new proof for the area law for general 1D gapped systems, which exponentially improves Hastings' famous result \cite{ref:Has07}. Specifically, we show that for a chain of d-dimensional spins, governed by a 1D local Hamiltonian with a spectral gap \eps>0, the entanglement entropy of the ground state with respect to any cut in the chain is upper bounded by $O{\frac{\log^3 d}{\eps}}$. Our approach uses the framework Arad et al to construct a Chebyshev-based AGSP (Approximate Ground Space Projection) with favorable factors. However, our construction uses the Hamiltonian directly, instead of using the Detectability lemma, which allows us to work with general (frustrated) Hamiltonians, as well as slightly improving the $1/\eps$ dependence of the bound in Arad et al. To achieve that, we establish a new, "random-walk like", bound on the entanglement rank of an arbitrary power of a 1D Hamiltonian, which might be of independent interest: \ER{H^\ell} \le (\ell d)^{O(\sqrt{\ell})}. Finally, treating d as a constant, our AGSP shows that the ground state is well approximated by a matrix product state with a sublinear bond dimension $B=e^{O(\log^{3/4}n/\eps^{1/4})}. Using this in conjunction with known dynamical programing algorithms, yields an algorithm for a 1/\poly(n) approximation of the ground energy with a subexponential running time T\le \exp(e^{O(\log^{3/4}n/\eps^{1/4})}).
△ Less
Submitted 7 January, 2013;
originally announced January 2013.
-
An improved 1D area law for frustration-free systems
Authors:
Itai Arad,
Zeph Landau,
Umesh Vazirani
Abstract:
We present a new proof for the 1D area law for frustration-free systems with a constant gap, which exponentially improves the entropy bound in Hastings' 1D area law, and which is tight to within a polynomial factor. For particles of dimension $d$, spectral gap $ε>0$ and interaction strength of at most $J$, our entropy bound is $S_{1D}\le \orderof{1}X^3\log^8 X$ where $X\EqDef(J\log d)/ε$. Our proo…
▽ More
We present a new proof for the 1D area law for frustration-free systems with a constant gap, which exponentially improves the entropy bound in Hastings' 1D area law, and which is tight to within a polynomial factor. For particles of dimension $d$, spectral gap $ε>0$ and interaction strength of at most $J$, our entropy bound is $S_{1D}\le \orderof{1}X^3\log^8 X$ where $X\EqDef(J\log d)/ε$. Our proof is completely combinatorial, combining the detectability lemma with basic tools from approximation theory. Incorporating locality into the proof when applied to the 2D case gives an entanglement bound that is at the cusp of being non-trivial in the sense that any further improvement would yield a sub-volume law.
△ Less
Submitted 9 June, 2012; v1 submitted 12 November, 2011;
originally announced November 2011.
-
A note about a partial no-go theorem for quantum PCP
Authors:
Itai Arad
Abstract:
This is not a disproof of the quantum PCP conjecture!
In this note we use perturbation on the commuting Hamiltonian problem on a graph, based on results by Bravyi and Vyalyi, to provide a partial no-go theorem for quantum PCP. Specifically, we derive an upper bound on how large the promise gap can be for the quantum PCP still to hold, as a function of the non-commuteness of the system. As the sy…
▽ More
This is not a disproof of the quantum PCP conjecture!
In this note we use perturbation on the commuting Hamiltonian problem on a graph, based on results by Bravyi and Vyalyi, to provide a partial no-go theorem for quantum PCP. Specifically, we derive an upper bound on how large the promise gap can be for the quantum PCP still to hold, as a function of the non-commuteness of the system. As the system becomes more and more commuting, the maximal promise gap shrinks.
We view these results as possibly a preliminary step towards disproving the quantum PCP conjecture. A different way to view these results is actually as indications that a critical point exists, beyond which quantum PCP indeed holds; in any case, we hope that these results will lead to progress on this important open problem.
△ Less
Submitted 4 February, 2011; v1 submitted 15 December, 2010;
originally announced December 2010.
-
Quantum Hamiltonian complexity and the detectability lemma
Authors:
Dorit Aharonov,
Itai Arad,
Zeph Landau,
Umesh Vazirani
Abstract:
Quantum Hamiltonian complexity studies computational complexity aspects of local Hamiltonians and ground states; these questions can be viewed as generalizations of classical computational complexity problems related to local constraint satisfaction (such as SAT), with the additional ingredient of multi-particle entanglement. This additional ingredient of course makes generalizations of celebrated…
▽ More
Quantum Hamiltonian complexity studies computational complexity aspects of local Hamiltonians and ground states; these questions can be viewed as generalizations of classical computational complexity problems related to local constraint satisfaction (such as SAT), with the additional ingredient of multi-particle entanglement. This additional ingredient of course makes generalizations of celebrated theorems such as the PCP theorem from classical to the quantum domain highly non-trivial; it also raises entirely new questions such as bounds on entanglement and correlations in ground states, and in particular area laws.
We propose a simple combinatorial tool that helps to handle such questions: it is a simplified, yet more general version of the detectability lemma introduced by us in the more restricted context on quantum gap amplification a year ago. Here, we argue that this lemma is applicable in much more general contexts. We use it to provide a simplified and more combinatorial proof of Hastings' 1D area law, together with a less than 1 page proof of the decay of correlations in gapped local Hamiltonian systems in any constant dimension. We explain how the detectability lemma can replace the Lieb-Robinson bound in various other contexts, and argue that it constitutes a basic tool for the study of local Hamiltonians and their ground states in relation to various questions in quantum Hamiltonian complexity.
△ Less
Submitted 20 April, 2011; v1 submitted 15 November, 2010;
originally announced November 2010.
-
An Efficient Algorithm for approximating 1D Ground States
Authors:
Dorit Aharonov,
Itai Arad,
Sandy Irani
Abstract:
The DMRG method is very effective at finding ground states of 1D quantum systems in practice, but it is a heuristic method, and there is no known proof for when it works. In this paper we describe an efficient classical algorithm which provably finds a good approximation of the ground state of 1D systems under well defined conditions. More precisely, our algorithm finds a Matrix Product State of b…
▽ More
The DMRG method is very effective at finding ground states of 1D quantum systems in practice, but it is a heuristic method, and there is no known proof for when it works. In this paper we describe an efficient classical algorithm which provably finds a good approximation of the ground state of 1D systems under well defined conditions. More precisely, our algorithm finds a Matrix Product State of bond dimension $D$ whose energy approximates the minimal energy such states can achieve. The running time is exponential in D, and so the algorithm can be considered tractable even for D which is logarithmic in the size of the chain. The result also implies trivially that the ground state of any local commuting Hamiltonian in 1D can be approximated efficiently; we improve this to an exact algorithm.
△ Less
Submitted 18 July, 2010; v1 submitted 27 October, 2009;
originally announced October 2009.
-
The Detectability Lemma and Quantum Gap Amplification
Authors:
Dorit Aharonov,
Itai Arad,
Zeph Landau,
Umesh Vazirani
Abstract:
The quantum analogue of a constraint satisfaction problem is a sum of local Hamiltonians - each local Hamiltonian specifies a local constraint whose violation contributes to the energy of the given quantum state. Formalizing the intuitive connection between the ground (minimal) energy of the Hamiltonian and the minimum number of violated constraints is problematic, since the number of constraint…
▽ More
The quantum analogue of a constraint satisfaction problem is a sum of local Hamiltonians - each local Hamiltonian specifies a local constraint whose violation contributes to the energy of the given quantum state. Formalizing the intuitive connection between the ground (minimal) energy of the Hamiltonian and the minimum number of violated constraints is problematic, since the number of constraints being violated is not well defined when the terms in the Hamiltonian do not commute. The detectability lemma proved in this paper provides precisely such a quantitative connection. We apply the lemma to derive a quantum analogue of a basic primitive in classical complexity: amplification of probabilities by random walks on expander graphs. It holds under the restriction that the interaction graph of the local Hamiltonian is an expander. Our proofs are based on a novel structure imposed on the Hilbert space that we call the $XY$ decomposition, which enables a reduction from the quantum non-commuting case to the commuting case (where many classical arguments go through).
The results may have several interesting implications. First, proving a quantum analogue to the PCP theorem is one of the most important challenges in quantum complexity theory. Our quantum gap amplification lemma may be viewed as the quantum analogue of the first of the three main steps in Dinur's PCP proof. Quantum gap amplification may also be related to spectral gap amplification, and in particular, to fault tolerance of adiabatic computation. Finally, the detectability lemma, and the $XY$ decomposition provide a handle on the structure of local Hamiltonians and their ground states.
△ Less
Submitted 20 November, 2008;
originally announced November 2008.
-
Quantum computation and the evaluation of tensor networks
Authors:
Itai Arad,
Zeph Landau
Abstract:
We present a quantum algorithm that additively approximates the value of a tensor network to a certain scale. When combined with existing results, this provides a complete problem for quantum computation. The result is a simple new way of looking at quantum computation in which unitary gates are replaced by tensors and time is replaced by the order in which the tensor-network is "swallowed". We…
▽ More
We present a quantum algorithm that additively approximates the value of a tensor network to a certain scale. When combined with existing results, this provides a complete problem for quantum computation. The result is a simple new way of looking at quantum computation in which unitary gates are replaced by tensors and time is replaced by the order in which the tensor-network is "swallowed". We use this result to derive new quantum algorithms that approximate the partition function of a variety of classical statistical mechanics models, including the Potts model.
△ Less
Submitted 9 February, 2010; v1 submitted 30 April, 2008;
originally announced May 2008.
-
Polynomial Quantum Algorithms for Additive approximations of the Potts model and other Points of the Tutte Plane
Authors:
Dorit Aharonov,
Itai Arad,
Elad Eban,
Zeph Landau
Abstract:
In the first 36 pages of this paper, we provide polynomial quantum algorithms for additive approximations of the Tutte polynomial, at any point in the Tutte plane, for any planar graph. This includes as special cases the AJL algorithm for the Jones polynomial, the partition function of the Potts model for any weighted planer graph at any temperature, and many other combinatorial graph properties…
▽ More
In the first 36 pages of this paper, we provide polynomial quantum algorithms for additive approximations of the Tutte polynomial, at any point in the Tutte plane, for any planar graph. This includes as special cases the AJL algorithm for the Jones polynomial, the partition function of the Potts model for any weighted planer graph at any temperature, and many other combinatorial graph properties. In the second part of the paper we prove the quantum universality of many of the problems for which we provide an algorithm, thus providing a large set of new quantum-complete problems. Unfortunately, we do not know that this holds for the Potts model case; this is left as an important open problem. The main progress in this work is in our ability to handle non-unitary representations of the Temperley Lieb algebra, both when applying them in the algorithm, and, more importantly, in the proof of universality, when encoding quantum circuits using non-unitary operators. To this end we develop many new tools, that allow proving density and applying the Solovay Kitaev theorem in the case of non-unitary matrices. We hope that these tools will open up new possibilities of using non-unitary reps in other quantum computation contexts.
△ Less
Submitted 1 February, 2007;
originally announced February 2007.
-
The BQP-hardness of approximating the Jones Polynomial
Authors:
Dorit Aharonov,
Itai Arad
Abstract:
A celebrated important result due to Freedman, Larsen and Wang states that providing additive approximations of the Jones polynomial at the k'th root of unity, for constant k=5 and k>6, is BQP-hard. Together with the algorithmic results of Freedman et al and Aharonov et al, this gives perhaps the most natural BQP-complete problem known today and motivates further study of the topic. In this paper…
▽ More
A celebrated important result due to Freedman, Larsen and Wang states that providing additive approximations of the Jones polynomial at the k'th root of unity, for constant k=5 and k>6, is BQP-hard. Together with the algorithmic results of Freedman et al and Aharonov et al, this gives perhaps the most natural BQP-complete problem known today and motivates further study of the topic. In this paper we focus on the universality proof; we extend the universality result of Freedman et al to k's that grow polynomially with the number of strands and crossings in the link, thus extending the BQP-hardness of Jones polynomial approximations to all values for which the AJL algorithm applies, proving that for all those values, the problems are BQP-complete. As a side benefit, we derive a fairly elementary proof of the Freedman et al density result, without referring to advanced results from Lie algebra representation theory, making this important result accessible to computer science audience. We make use of two general lemmas we prove, the Bridge lemma and the Decoupling lemma, which provide tools for establishing density of subgroups in SU(n). Those tools seem to be of independent interest in more general contexts of proving quantum universality. Our result also implies a completely classical statement, that the_multiplicative_ approximations of the Jones polynomial, at exactly the same values, are #P-hard, via a recent result due to Kuperberg. Since the first publication of those results in their preliminary form (arXiv:quant-ph/0605181v2), the methods we present here were used in several other contexts. This paper is an improved and extended version of the original results, and also includes discussions of the developments since then.
△ Less
Submitted 19 February, 2011; v1 submitted 21 May, 2006;
originally announced May 2006.
-
A numerical comparison of theories of violent relaxation
Authors:
I. Arad,
P. H. Johansson
Abstract:
Using N-body simulations with a large set of massless test particles we compare the predictions of two theories of violent relaxation, the well known Lynden-Bell theory and the more recent theory by Nakamura. We derive ``weaken'' versions of both theories in which we use the whole equilibrium coarse-grained distribution function as a constraint instead of the total energy constraint. We use thes…
▽ More
Using N-body simulations with a large set of massless test particles we compare the predictions of two theories of violent relaxation, the well known Lynden-Bell theory and the more recent theory by Nakamura. We derive ``weaken'' versions of both theories in which we use the whole equilibrium coarse-grained distribution function as a constraint instead of the total energy constraint. We use these weaken theories to construct expressions for the conditional probability $K_i(τ)$ that a test particle initially at the phase-space coordinate $τ$ would end-up in the $i$'th macro-cell at equilibrium. We show that the logarithm of the ratio $R_{ij}(τ) \equiv K_i(τ)/K_j(τ)$ is directly proportional to the initial phase-space density $f_0(τ)$ for the Lynden-Bell theory and inversely proportional to $f_0(τ)$ for the Nakamura theory. We then measure $R_{ij}(τ)$ using a set of N-body simulations of a system undergoing a gravitational collapse to check the validity of the two theories of violent relaxation. We find that both theories are at odds with the numerical results, qualitatively and quantitatively.
△ Less
Submitted 31 July, 2005; v1 submitted 27 January, 2005;
originally announced January 2005.
-
Inconsistency in theories of violent-relaxation
Authors:
I. Arad,
D. Lynden-Bell
Abstract:
We examine an inconsistency in theories of violent-relaxation by Lynden-Bell and Nakamura. The inconsistency arises from the non-transitive nature of these theories: a system that under goes a violent-relaxation, relaxes and then upon an addition of energy, undergoes violent-relaxation once again would settle in an equilibrium state that is different from the one that is predicted had the system…
▽ More
We examine an inconsistency in theories of violent-relaxation by Lynden-Bell and Nakamura. The inconsistency arises from the non-transitive nature of these theories: a system that under goes a violent-relaxation, relaxes and then upon an addition of energy, undergoes violent-relaxation once again would settle in an equilibrium state that is different from the one that is predicted had the system would go directly from the initial to the final states. We conclude that a proper description of the violent-relaxation process cannot be achieved by equilibrium statistical mechanics approach, but instead a dynamical theory for the coarse-grained phase-space density is needed.
△ Less
Submitted 2 February, 2005; v1 submitted 29 September, 2004;
originally announced September 2004.
-
Phase-Space Structure & Substructure of Dark Halos
Authors:
Avishai Dekel,
Itai Arad
Abstract:
A method is presented for computing the 6-D phase-space density f(x,v) and its PDF v(f) in an N-body system. It is based on Delaunay tessellation, yielding v(f) with a fixed smoothing window over a wide f range, independent of the sampling resolution. It is found that in a gravitationally relaxed halo built by hierarchical clustering, v(f) is a robust power law, v(f) f^{-2.5 \pm 0.05}, over more…
▽ More
A method is presented for computing the 6-D phase-space density f(x,v) and its PDF v(f) in an N-body system. It is based on Delaunay tessellation, yielding v(f) with a fixed smoothing window over a wide f range, independent of the sampling resolution. It is found that in a gravitationally relaxed halo built by hierarchical clustering, v(f) is a robust power law, v(f) f^{-2.5 \pm 0.05}, over more than 4 decades in f, from its virial level to the current resolution limit. This is valid for halos of different sizes in the LCDM cosmology, indicating insensitivity to the initial-fluctuation power spectrum as long as the small-scale fluctuations were not completely suppressed. By map** f in position space, we find that the high-f contributions to v(f) come from the "cold" subhalos within the parent halo rather than the halo central region and its global spherical profile. The f in subhalos near the halo virial radius is more than 100 times higher than at the halo center, and it decreases gradually with decreasing radius. This indicates phase mixing due to mergers and tidal effects involving puffing up and heating. The phase-space structure provides a sensitive tool for studying the evolution of subhalos during the buildup of halos. One wishes to understand why the substructure adds up to the universal power law in v(f). It seems that the f^{-2.5} behavior is related to the hierarchical clustering process and is not a general result of violent relaxation.
△ Less
Submitted 7 March, 2004;
originally announced March 2004.
-
Phase-Space Structure of Dark-Matter Haloes: Scale-Invariant PDF Driven by Substructure
Authors:
I. Arad,
A. Dekel,
A. Klypin
Abstract:
We present a method for computing the 6-dimensional coarse-grained phase-space density $f(x,v)$ in an N-body system, and derive its distribution function $v(f)$. The method is based on Delaunay tessellation, where $v(f)$ is obtained with an effective fixed smoothing window over a wide $f$ range. The errors are estimated, and $v(f)$ is found to be insensitive to the sampling resolution or the sim…
▽ More
We present a method for computing the 6-dimensional coarse-grained phase-space density $f(x,v)$ in an N-body system, and derive its distribution function $v(f)$. The method is based on Delaunay tessellation, where $v(f)$ is obtained with an effective fixed smoothing window over a wide $f$ range. The errors are estimated, and $v(f)$ is found to be insensitive to the sampling resolution or the simulation technique. We find that in gravitationally relaxed haloes built by hierarchical clustering, $v(f)$ is well approximated by a robust power law, $v(f) \propto f^{-2.5 \pm 0.05}$, over more than 4 decades in $f$, from its virial level to the numerical resolution limit. This is tested to be valid in the $Λ$CDM cosmology for haloes with masses $10^9-10^{15}\msun$, indicating insensitivity to the slope of the initial fluctuation power spectrum. By map** the phase-space density in position space, we find that the high-$f$ end of $v(f)$ is dominated by the ``cold'' subhaloes rather than the parent-halo central region and its global spherical profile. The value of $f$ in subhaloes near the virial radius is typically $>100$ times higher than its value at the halo centre, and it decreases gradually from outside in toward its value at the halo centre. This seems to reflect phase mixing due to mergers and tidal effects involving puffing up and heating. The phase-space density can thus provide a sensitive tool for studying the evolution of subhaloes during the hierarchical buildup of haloes. It remains to be understood why the evolved substructure adds up to the actual universal power law of $v(f) \propto f^{-2.5}$. It seems that this behaviour results from the hierarchical clustering process and is not a general result of violent relaxation.
△ Less
Submitted 4 March, 2004;
originally announced March 2004.
-
Dark-Halo Cusp: Asymptotic Convergence
Authors:
Avishai Dekel,
Itai Arad,
Jonathan Devor,
Yuval Birnboim
Abstract:
We propose a model for how the buildup of dark halos by merging satellites produces a characteristic inner cusp, of a density profile ρ\prop r^-a with a -> a_as > 1, as seen in cosmological N-body simulations of hierarchical clustering scenarios. Dekel, Devor & Hetzroni (2003) argue that a flat core of a<1 exerts tidal compression which prevents local deposit of satellite material; the satellite…
▽ More
We propose a model for how the buildup of dark halos by merging satellites produces a characteristic inner cusp, of a density profile ρ\prop r^-a with a -> a_as > 1, as seen in cosmological N-body simulations of hierarchical clustering scenarios. Dekel, Devor & Hetzroni (2003) argue that a flat core of a<1 exerts tidal compression which prevents local deposit of satellite material; the satellite sinks intact into the halo center thus causing a rapid steepening to a>1. Using merger N-body simulations, we learn that this cusp is stable under a sequence of mergers, and derive a practical tidal mass-transfer recipe in regions where the local slope of the halo profile is a>1. According to this recipe, the ratio of mean densities of halo and initial satellite within the tidal radius equals a given function psi(a), which is significantly smaller than unity (compared to being 1 according to crude resonance criteria) and is a decreasing function of a. This decrease makes the tidal mass transfer relatively more efficient at larger a, which means steepening when a is small and flattening when a is large, thus causing converges to a stable solution. Given this mass-transfer recipe, linear perturbation analysis, supported by toy simulations, shows that a sequence of cosmological mergers with homologous satellites slowly leads to a fixed-point cusp with an asymptotic slope a_as>1. The slope depends only weakly on the fluctuation power spectrum, in agreement with cosmological simulations. During a long interim period the profile has an NFW-like shape, with a cusp of 1<a<a_as. Thus, a cusp is enforced if enough compact satellite remnants make it intact into the inner halo. In order to maintain a flat core, satellites must be disrupted outside the core, possibly as a result of a modest puffing up due to baryonic feedback.
△ Less
Submitted 27 January, 2003; v1 submitted 26 May, 2002;
originally announced May 2002.
-
Galactic Halo Cusp versus Core: Tidal Effects in Mergers
Authors:
Avishai Dekel,
Jonathan Devor,
Itai Arad
Abstract:
We show how the buildup of halos by merging satellites forces an inner cusp, with a density profile ρ\propto r^{-α} where α\to α_a \gsim 1$. Our analysis is based on a new prescription for tidal strip** as a function of α(r), using a simple toy model which matches N-body simulations. In a core of α< 1 there is tidal compression rather than strip** and the satellites sink towards the halo cen…
▽ More
We show how the buildup of halos by merging satellites forces an inner cusp, with a density profile ρ\propto r^{-α} where α\to α_a \gsim 1$. Our analysis is based on a new prescription for tidal strip** as a function of α(r), using a simple toy model which matches N-body simulations. In a core of α< 1 there is tidal compression rather than strip** and the satellites sink towards the halo center, causing a rapid steepening of the profile to α> 1. Where α> 1, the strip** of each satellite shell is preceded by gradual puffing up, which makes the strip** more efficient at larger α, causing flattening where αis large enough. Therefore, we can show using linear perturbation analysis that a sequence of mergers slowly leads to a fixed point α(r)=α_a. This result implies that a cusp is enforced as long as enough satellite material makes it into the inner halo and is deposited there. We conclude that in order to maintain a flat core, as indicated by observations, satellites must be disrupted outside the core, e.g., because of puffing up due to baryonic feedback effects.
△ Less
Submitted 14 January, 2002;
originally announced January 2002.
-
Statistical conservation laws in turbulent transport
Authors:
I. Arad,
L. Biferale,
A. Celani,
I. Procaccia,
M. Vergassola
Abstract:
We address the statistical theory of fields that are transported by a turbulent velocity field, both in forced and in unforced (decaying) experiments. We propose that with very few provisos on the transporting velocity field, correlation functions of the transported field in the forced case are dominated by statistically preserved structures. In decaying experiments (without forcing the transpor…
▽ More
We address the statistical theory of fields that are transported by a turbulent velocity field, both in forced and in unforced (decaying) experiments. We propose that with very few provisos on the transporting velocity field, correlation functions of the transported field in the forced case are dominated by statistically preserved structures. In decaying experiments (without forcing the transported fields) we identify infinitely many statistical constants of the motion, which are obtained by projecting the decaying correlation functions on the statistically preserved functions. We exemplify these ideas and provide numerical evidence using a simple model of turbulent transport. This example is chosen for its lack of Lagrangian structure, to stress the generality of the ideas.
△ Less
Submitted 10 April, 2001;
originally announced April 2001.
-
Spectrum of Anisotropic Exponents in Hydrodynamic Systems with Pressure
Authors:
I. Arad,
I. Procaccia
Abstract:
We discuss the scaling exponents characterizing the power-law behavior of the anisotropic components of correlation functions in turbulent systems with pressure. The anisotropic components are conveniently labeled by the angular momentum index $\ell$ of the irreducible representation of the SO(3) symmetry group. Such exponents govern the rate of decay of anisotropy with decreasing scales. It is…
▽ More
We discuss the scaling exponents characterizing the power-law behavior of the anisotropic components of correlation functions in turbulent systems with pressure. The anisotropic components are conveniently labeled by the angular momentum index $\ell$ of the irreducible representation of the SO(3) symmetry group. Such exponents govern the rate of decay of anisotropy with decreasing scales. It is a fundamental question whether they ever increase as $\ell$ increases, or they are bounded from above. The equations of motion in systems with pressure contain nonlocal integrals over all space. One could argue that the requirement of convergence of these integrals bounds the exponents from above. It is shown here on the basis of a solvable model (the ``linear pressure model"), that this is not necessarily the case. The model introduced here is of a passive vector advection by a rapidly varying velocity field. The advected vector field is divergent free and the equation contains a pressure term that maintains this condition. The zero modes of the second-order correlation function are found in all the sectors of the symmetry group. We show that the spectrum of scaling exponents can increase with $\ell$ without bounds, while preserving finite integrals. The conclusion is that contributions from higher and higher anisotropic sectors can disappear faster and faster upon decreasing the scales also in systems with pressure.
△ Less
Submitted 15 March, 2001; v1 submitted 14 November, 2000;
originally announced November 2000.
-
Anomalous Scaling in Passive Scalar Advection and Lagrangian Shape Dynamics
Authors:
I. Arad,
I. Procaccia
Abstract:
The problem of anomalous scaling in passive scalar advection, especially with $δ$-correlated velocity field (the Kraichnan model) has attracted a lot of interest since the exponents can be computed analytically in certain limiting cases. In this paper we focus, rather than on the evaluation of the exponents, on elucidating the {\em physical mechanism} responsible for the anomaly. We show that th…
▽ More
The problem of anomalous scaling in passive scalar advection, especially with $δ$-correlated velocity field (the Kraichnan model) has attracted a lot of interest since the exponents can be computed analytically in certain limiting cases. In this paper we focus, rather than on the evaluation of the exponents, on elucidating the {\em physical mechanism} responsible for the anomaly. We show that the anomalous exponents $ζ_n$ stem from the Lagrangian dynamics of shapes which characterize configurations of n points in space. Using the shape-to-shape transition probability, we define an operator whose eigenvalues determine the anomalous exponents for all n, in all the sectors of the SO(3) symmetry group.
△ Less
Submitted 30 January, 2000;
originally announced January 2000.
-
Nonperturbative Spectrum of Anomalous Scaling Exponents in the Anisotropic Sectors of Passively Advected Magnetic Fields
Authors:
I. Arad,
L. Biferale,
I. Procaccia
Abstract:
We address the scaling behavior of the covariance of the magnetic field in the three-dimensional kinematic dynamo problem when the boundary conditions and/or the external forcing are not isotropic. The velocity field is gaussian and $δ$-correlated in time, and its structure function scales with a positive exponent $ξ$. The covariance of the magnetic field is naturally computed as a sum of contri…
▽ More
We address the scaling behavior of the covariance of the magnetic field in the three-dimensional kinematic dynamo problem when the boundary conditions and/or the external forcing are not isotropic. The velocity field is gaussian and $δ$-correlated in time, and its structure function scales with a positive exponent $ξ$. The covariance of the magnetic field is naturally computed as a sum of contributions proportional to the irreducible representations of the SO(3) symmetry group. The amplitudes are non-universal, determined by boundary conditions. The scaling exponents are universal, forming a discrete, strictly increasing spectrum indexed by the sectors of the symmetry group. When the initial mean magnetic field is zero, no dynamo effect is found, irrespective of the anisotropy of the forcing. The rate of isotropization with decreasing scales is fully understood from these results.
△ Less
Submitted 14 September, 1999;
originally announced September 1999.
-
Disentangling Scaling Properties in Anisotropic and Inhomogeneous Turbulence
Authors:
I. Arad,
L. Biferale,
I. Mazzitelli,
I. Procaccia
Abstract:
We address scaling in inhomogeneous and anisotropic turbulent flows by decomposing structure functions into their irreducible representation of the SO(3) symmetry group which are designated by $j,m$ indices. Employing simulations of channel flows with Re$_λ\approx 70$ we demonstrate that different components characterized by different $j$ display different scaling exponents, but for a given $j$…
▽ More
We address scaling in inhomogeneous and anisotropic turbulent flows by decomposing structure functions into their irreducible representation of the SO(3) symmetry group which are designated by $j,m$ indices. Employing simulations of channel flows with Re$_λ\approx 70$ we demonstrate that different components characterized by different $j$ display different scaling exponents, but for a given $j$ these remain the same at different distances from the wall. The $j=0$ exponent agrees extremely well with high Re measurements of the scaling exponents, demonstrating the vitality of the SO(3) decomposition.
△ Less
Submitted 9 March, 1999;
originally announced March 1999.
-
Correlation functions in isotropic and anisotropic turbulence: the role of the symmetry group
Authors:
Itai Arad,
Victor S. L'vov,
Itamar Procaccia
Abstract:
The theory of fully developed turbulence is usually considered in an idealized homogeneous and isotropic state. Real turbulent flows exhibit the effects of anisotropic forcing. The analysis of correlation functions and structure functions in isotropic and anisotropic situations is facilitated and made rational when performed in terms of the irreducible representations of the relevant symmetry gr…
▽ More
The theory of fully developed turbulence is usually considered in an idealized homogeneous and isotropic state. Real turbulent flows exhibit the effects of anisotropic forcing. The analysis of correlation functions and structure functions in isotropic and anisotropic situations is facilitated and made rational when performed in terms of the irreducible representations of the relevant symmetry group which is the group of all rotations SO(3). In this paper we firstly consider the needed general theory and explain why we expect different (universal) scaling exponents in the different sectors of the symmetry group. We exemplify the theory context of isotropic turbulence (for third order tensorial structure functions) and in weakly anisotropic turbulence (for the second order structure function). The utility of the resulting expressions for the analysis of experimental data is demonstrated in the context of high Reynolds number measurements of turbulence in the atmosphere.
△ Less
Submitted 20 October, 1998;
originally announced October 1998.
-
The Extraction of Anisotropic Contributions in Turbulent Flows
Authors:
Itai Arad,
Brindesh Dhruva,
Susan Kurien,
Victor S. L'vov,
Itamar Procaccia,
K. R. Sreenivasan
Abstract:
We analyze turbulent velocity signals measured by two probes in the atmosphere, both at the height of 35 meters but displaced by 40 cm nominally orthogonal to the mean wind. Choosing a suitable coordinate system with respect to that of the mean wind, we derive theoretical forms for second order structure functions, and fit them to experimental data. We show that the effect of flow anisotropy is…
▽ More
We analyze turbulent velocity signals measured by two probes in the atmosphere, both at the height of 35 meters but displaced by 40 cm nominally orthogonal to the mean wind. Choosing a suitable coordinate system with respect to that of the mean wind, we derive theoretical forms for second order structure functions, and fit them to experimental data. We show that the effect of flow anisotropy is small on the longitudinal component but significant on the transverse component. The data provide an estimate of a universal exponent from among a hierarchy that governs the decay of flow anisotropy with the scale-size.
△ Less
Submitted 24 April, 1998;
originally announced April 1998.
