arXiv subjects

Anurag Anshu

Publications and source records attributed to Anurag Anshu.

63 records · Page 4Linked to original sources

arXiv2016

How local is the information in MPS/PEPS tensor networks?

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.

quant-ph↗

arXiv2016

Separating quantum communication and approximate rank

One of the best lower bound methods for the quantum communication complexity of a function H (with or without shared entanglement) is the logarithm of the approximate rank of the communication matrix of H. This measure is essentially equivalent to the approximate gamma_2 norm and generalized discrepancy, and subsumes several other lower bounds. All known lower bounds on quantum communication complexity in the general unbounded-round model can be shown via the logarithm of approximate rank, and it was an open problem to give any separation at all between quantum communication complexity and the logarithm of the approximate rank. In this work we provide the first such separation: We exhibit a total function H with quantum communication complexity almost quadratically larger than the logarithm of its approximate rank. We construct H using the communication lookup function framework of Anshu et al. (FOCS 2016) based on the cheat sheet framework of Aaronson et al. (STOC 2016). From a starting function F, this framework defines a new function H=F_G. Our main technical result is a lower bound on the quantum communication complexity of F_G in terms of the discrepancy of F, which we do via quantum information theoretic arguments. We show the upper bound on the approximate rank of F_G by relating it to the Boolean circuit size of the starting function F.

quant-ph↗

arXiv2016

Separations in communication complexity using cheat sheets and information complexity

While exponential separations are known between quantum and randomized communication complexity for partial functions (Raz, STOC 1999), the best known separation between these measures for a total function is quadratic, witnessed by the disjointness function. We give the first super-quadratic separation between quantum and randomized communication complexity for a total function, giving an example exhibiting a power 2.5 gap. We further present a 1.5 power separation between exact quantum and randomized communication complexity, improving on the previous ~1.15 separation by Ambainis (STOC 2013). Finally, we present a nearly optimal quadratic separation between randomized communication complexity and the logarithm of the partition number, improving upon the previous best power 1.5 separation due to Göös, Jayram, Pitassi, and Watson. Our results are the communication analogues of separations in query complexity proved using the recent cheat sheet framework of Aaronson, Ben-David, and Kothari (STOC 2016). Our main technical results are randomized communication and information complexity lower bounds for a family of functions, called lookup functions, that generalize and port the cheat sheet framework to communication complexity.

quant-ph↗

arXiv2016

A simple proof of the detectability lemma and spectral gap amplification

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.

quant-ph↗

arXiv2016

On the Rectilinear Crossing Number of Complete Uniform Hypergraphs

In this paper, we consider a generalized version of the rectilinear crossing number problem of drawing complete graphs on a plane. The minimum number of crossing pairs of hyperedges in the $d$-dimensional rectilinear drawing of a $d$-uniform hypergraph is known as the $d$-dimensional rectilinear crossing number of the hypergraph. The currently best-known lower bound on the $d$-dimensional rectilinear crossing number of a complete $d$-uniform hypergraph with $n$ vertices in general position in $\mathbb{R}^d$ is $Ω(\frac{2^d}{\sqrt{d}} \log d) {n \choose 2d}$. In this paper, we improve this lower bound to $Ω(2^d) {n \choose 2d}$. We also consider the special case when all the vertices of a $d$-uniform hypergraph are placed on the $d$-dimensional moment curve. For such complete $d$-uniform hypergraphs with $n$ vertices, we show that the number of pairwise crossing hyperedges is $Θ(\frac{4^d}{\sqrt{d}}) {n \choose 2d}$.

math.CO↗

arXiv2015

A lower bound on expected communication cost of quantum state redistribution

We show a lower bound on expected communication cost of interactive entanglement assisted quantum state redistribution protocols and a slightly better lower bound for its special case, quantum state transfer. Our bound implies that the expected communication cost of interactive protocols is not significantly better than worst case communication cost, in terms of scaling of error. Furthermore, the bound is independent of the number of rounds. This is in contrast with the classical case, where protocols with expected communication cost significantly better than worst case communication cost are known.

quant-ph↗

arXiv2015

New one shot quantum protocols with application to communication complexity

In this paper we present the following quantum compression protocol: P : Let $ρ,σ$ be quantum states such that $S(ρ|| σ) = \text{Tr} (ρ\log ρ- ρ\log σ)$, the relative entropy between $ρ$ and $σ$, is finite. Alice gets to know the eigen-decomposition of $ρ$. Bob gets to know the eigen-decomposition of $σ$. Both Alice and Bob know $S(ρ|| σ)$ and an error parameter $ε$. Alice and Bob use shared entanglement and after communication of $\mathcal{O}((S(ρ|| σ)+1)/ε^4)$ bits from Alice to Bob, Bob ends up with a quantum state $\tildeρ$ such that $F(ρ, \tildeρ) \geq 1 - 5ε$, where $F(\cdot)$ represents fidelity. This result can be considered as a non-commutative generalization of a result due to Braverman and Rao [2011] where they considered the special case when $ρ$ and $σ$ are classical probability distributions (or commute with each other) and use shared randomness instead of shared entanglement. We use P to obtain an alternate proof of a direct-sum result for entanglement assisted quantum one-way communication complexity for all relations, which was first shown by Jain, Radhakrishnan and Sen [2005,2008]. We also present a variant of protocol P in which Bob has some side information about the state with Alice. We show that in such a case, the amount of communication can be further reduced, based on the side information that Bob has. Our second result provides a quantum analogue of the widely used classical correlated-sampling protocol. For example, Holenstein [2007] used the classical correlated-sampling protocol in his proof of a parallel-repetition theorem for two-player one-round games.

quant-ph↗

arXiv2014

A Lower Bound on the Crossing Number of Uniform Hypergraphs

In this paper, we consider the embedding of a complete $d$-uniform geometric hypergraph with $n$ vertices in general position in $\mathbb{R}^d$, where each hyperedge is represented as a $(d-1)$-simplex, and a pair of hyperedges is defined to cross if they are vertex-disjoint and contains a common point in the relative interior of the simplices corresponding to them. As a corollary of the Van Kampen-Flores Theorem, it can be seen that such a hypergraph contains $Ω(\frac{2^d}{\sqrt{d}})$ $n\choose 2d$ crossing pairs of hyperedges. Using Gale Transform and Ham Sandwich Theorem, we improve this lower bound to $Ω(\frac{2^d \log d}{\sqrt{d}})$ $n\choose 2d$.

math.CO↗

arXiv2012

Pseudo-telepathy games and genuine NS k-way nonlocality using graph states

We define a family of pseudo-telepathy games using graph states that extends the Mermin games. This family also contains a game used to define a quantum probability distribution that cannot be simulated by any number of PR boxes. We extend this result proving that the probability distribution obtained by the Paley graph state on 13 vertices cannot be simulated by any number of 4-partite non local boxes and that the Paley graph states on more than $k^{2}2^{2k-2}$ vertices provides a probability distribution that cannot be simulated by k-partite nonlocal boxes

quant-ph↗