Pseudorandom and Pseudoentangled States from Subset States
- URL: http://arxiv.org/abs/2312.15285v2
- Date: Sat, 2 Mar 2024 13:34:39 GMT
- Title: Pseudorandom and Pseudoentangled States from Subset States
- Authors: Fernando Granha Jeronimo, Nir Magrafta, Pei Wu
- Abstract summary: A subset state with respect to $S$, a subset of the computational basis, is [ frac1sqrt|S|sum_iin S |irangle.
We show that for any fixed subset size $|S|=s$ such that $s = 2n/omega(mathrmpoly(n))$ and $s=omega(mathrmpoly(n))$, a random subset state is information-theoretically indistinguishable from a Haar random state even provided
- Score: 49.74460522523316
- License: http://arxiv.org/licenses/nonexclusive-distrib/1.0/
- Abstract: Pseudorandom states (PRS) are an important primitive in quantum cryptography.
In this paper, we show that subset states can be used to construct PRSs. A
subset state with respect to $S$, a subset of the computational basis, is \[
\frac{1}{\sqrt{|S|}}\sum_{i\in S} |i\rangle. \] As a technical centerpiece,
we show that for any fixed subset size $|S|=s$ such that $s =
2^n/\omega(\mathrm{poly}(n))$ and $s=\omega(\mathrm{poly}(n))$, where $n$ is
the number of qubits, a random subset state is information-theoretically
indistinguishable from a Haar random state even provided with polynomially many
copies. This range of parameter is tight. Our work resolves a conjecture by Ji,
Liu and Song. Since subset states of small size have small entanglement across
all cuts, this construction also illustrates a pseudoentanglement phenomenon.
Related papers
- Pseudorandom density matrices [0.8204952610951527]
Pseudorandom states (PRSs) are state ensembles that cannot be distinguished from Haar random states by any efficient quantum algorithm.
We introduce PRDMs, ensembles of $n$-qubit states that are computationally indistinguishable from the generalized Hilbert-Schmidt ensemble.
PRDMs with $m=omega(log n)$ are robust to unital noise channels and a recently introduced $mathsfPostBQP$ attack.
We also introduce memoryless PRSs, a noise-robust notion of PRS which are indistinguishable to Haar random states for efficient
arXiv Detail & Related papers (2024-07-16T11:14:58Z) - Geometry of degenerate quantum states, configurations of $m$-planes and invariants on complex Grassmannians [55.2480439325792]
We show how to reduce the geometry of degenerate states to the non-abelian connection $A$.
We find independent invariants associated with each triple of subspaces.
Some of them generalize the Berry-Pancharatnam phase, and some do not have analogues for 1-dimensional subspaces.
arXiv Detail & Related papers (2024-04-04T06:39:28Z) - Statistical Query Lower Bounds for Learning Truncated Gaussians [43.452452030671694]
We show that the complexity of any SQ algorithm for this problem is $dmathrmpoly (1/epsilon)$, even when the class $mathcalC$ is simple so that $mathrmpoly(d/epsilon) samples information-theoretically suffice.
arXiv Detail & Related papers (2024-03-04T18:30:33Z) - Constructions of $k$-uniform states in heterogeneous systems [65.63939256159891]
We present two general methods to construct $k$-uniform states in the heterogeneous systems for general $k$.
We can produce many new $k$-uniform states such that the local dimension of each subsystem can be a prime power.
arXiv Detail & Related papers (2023-05-22T06:58:16Z) - Quantum Cryptography in Algorithmica [0.7524721345903025]
We show that in a black-box setting, quantum cryptography based on pseudorandom states is possible even if one-way functions do not exist.
We also introduce a conjecture that would generalize our results to multi-copy secure pseudorandom states.
arXiv Detail & Related papers (2022-12-01T21:33:38Z) - Near-optimal fitting of ellipsoids to random points [68.12685213894112]
A basic problem of fitting an ellipsoid to random points has connections to low-rank matrix decompositions, independent component analysis, and principal component analysis.
We resolve this conjecture up to logarithmic factors by constructing a fitting ellipsoid for some $n = Omega(, d2/mathrmpolylog(d),)$.
Our proof demonstrates feasibility of the least squares construction of Saunderson et al. using a convenient decomposition of a certain non-standard random matrix.
arXiv Detail & Related papers (2022-08-19T18:00:34Z) - Sequential Analysis of a finite number of Coherent states [0.0]
We investigate an advantage for information processing of ordering a set of states over making a global quantum processing with a fixed number of copies of coherent states.
We find that for the symmetric case $|gammarangle,|-gammarangle$ there is no advantage of taking any batch size $l$.
arXiv Detail & Related papers (2022-06-09T16:50:34Z) - Testing matrix product states [5.225550006603552]
We study the problem of testing whether an unknown state $|psirangle$ is a matrix product state (MPS) in the property testing model.
MPS are a class of physically-relevant quantum states which arise in the study of quantum many-body systems.
arXiv Detail & Related papers (2022-01-05T21:10:50Z) - A Randomized Algorithm to Reduce the Support of Discrete Measures [79.55586575988292]
Given a discrete probability measure supported on $N$ atoms and a set of $n$ real-valued functions, there exists a probability measure that is supported on a subset of $n+1$ of the original $N$ atoms.
We give a simple geometric characterization of barycenters via negative cones and derive a randomized algorithm that computes this new measure by "greedy geometric sampling"
We then study its properties, and benchmark it on synthetic and real-world data to show that it can be very beneficial in the $Ngg n$ regime.
arXiv Detail & Related papers (2020-06-02T16:38:36Z) - Tight Quantum Lower Bound for Approximate Counting with Quantum States [49.6558487240078]
We prove tight lower bounds for the following variant of the counting problem considered by Aaronson, Kothari, Kretschmer, and Thaler ( 2020)
The task is to distinguish whether an input set $xsubseteq [n]$ has size either $k$ or $k'=(1+varepsilon)k$.
arXiv Detail & Related papers (2020-02-17T10:53:50Z)
This list is automatically generated from the titles and abstracts of the papers in this site.
This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.