01684nas a2200157 4500008004100000245006700041210006700108260001400175520120000189100001601389700002201405700002001427700001701447700002501464856003701489 2024 eng d00aAverage Rényi Entanglement Entropy in Gaussian Boson Sampling0 aAverage Rényi Entanglement Entropy in Gaussian Boson Sampling c3/27/20243 a

Recently, many experiments have been conducted with the goal of demonstrating a quantum advantage over classical computation. One popular framework for these experiments is Gaussian Boson Sampling, where quadratic photonic input states are interfered via a linear optical unitary and subsequently measured in the Fock basis. In this work, we study the modal entanglement of the output states in this framework just before the measurement stage. Specifically, we compute Page curves as measured by various Rényi-α entropies, where the Page curve describes the entanglement between two partitioned groups of output modes averaged over all linear optical unitaries. We derive these formulas for α=1 (i.e. the von Neumann entropy), and, more generally, for all positive integer α, in the asymptotic limit of infinite number of modes and for input states that are composed of single-mode-squeezed-vacuum state with equal squeezing strength. We then analyze the limiting behaviors when the squeezing is small and large. Having determined the averages, we then explicitly calculate the Rényi-α variance for integers α>1, and we are able to show that these entropies are weakly typical.

1 aYoum, Jason1 aIosue, Joseph, T.1 aEhrenberg, Adam1 aWang, Yu-Xin1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2403.1889001621nas a2200157 4500008004100000245006100041210005700102260001400159520113900173100002001312700002201332700002301354700002401377700002501401856003701426 2024 eng d00aThe Second Moment of Hafnians in Gaussian Boson Sampling0 aSecond Moment of Hafnians in Gaussian Boson Sampling c3/20/20243 a

Gaussian Boson Sampling is a popular method for experimental demonstrations of quantum advantage, but many subtleties remain in fully understanding its theoretical underpinnings. An important component in the theoretical arguments for approximate average-case hardness of sampling is anticoncentration, which is a second-moment property of the output probabilities. In Gaussian Boson Sampling these are given by hafnians of generalized circular orthogonal ensemble matrices. In a companion work [arXiv:2312.08433], we develop a graph-theoretic method to study these moments and use it to identify a transition in anticoncentration. In this work, we find a recursive expression for the second moment using these graph-theoretic techniques. While we have not been able to solve this recursion by hand, we are able to solve it numerically exactly, which we do up to Fock sector 2n=80. We further derive new analytical results about the second moment. These results allow us to pinpoint the transition in anticoncentration and furthermore yield the expected linear cross-entropy benchmarking score for an ideal (error-free) device.

1 aEhrenberg, Adam1 aIosue, Joseph, T.1 aDeshpande, Abhinav1 aHangleiter, Dominik1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2403.1387802008nas a2200181 4500008004100000245005800041210005800099260001400157300000900171490000600180520148900186100002201675700002001697700002401717700002301741700002501764856003701789 2023 eng d00aPage curves and typical entanglement in linear optics0 aPage curves and typical entanglement in linear optics c5/18/2023 a10170 v73 a

Bosonic Gaussian states are a special class of quantum states in an infinite dimensional Hilbert space that are relevant to universal continuous-variable quantum computation as well as to near-term quantum sampling tasks such as Gaussian Boson Sampling. In this work, we study entanglement within a set of squeezed modes that have been evolved by a random linear optical unitary. We first derive formulas that are asymptotically exact in the number of modes for the Rényi-2 Page curve (the average Rényi-2 entropy of a subsystem of a pure bosonic Gaussian state) and the corresponding Page correction (the average information of the subsystem) in certain squeezing regimes. We then prove various results on the typicality of entanglement as measured by the Rényi-2 entropy by studying its variance. Using the aforementioned results for the Rényi-2 entropy, we upper and lower bound the von Neumann entropy Page curve and prove certain regimes of entanglement typicality as measured by the von Neumann entropy. Our main proofs make use of a symmetry property obeyed by the average and the variance of the entropy that dramatically simplifies the averaging over unitaries. In this light, we propose future research directions where this symmetry might also be exploited. We conclude by discussing potential applications of our results and their generalizations to Gaussian Boson Sampling and to illuminating the relationship between entanglement and computational complexity.

1 aIosue, Joseph, T.1 aEhrenberg, Adam1 aHangleiter, Dominik1 aDeshpande, Abhinav1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2209.0683801855nas a2200145 4500008004100000245007300041210006900114260001500183520138800198100002201586700001901608700002001627700002501647856003701672 2023 eng d00aProjective toric designs, difference sets, and quantum state designs0 aProjective toric designs difference sets and quantum state desig c11/22/20233 a

Trigonometric cubature rules of degree t are sets of points on the torus over which sums reproduce integrals of degree t monomials over the full torus. They can be thought of as t-designs on the torus. Motivated by the projective structure of quantum mechanics, we develop the notion of t-designs on the projective torus, which, surprisingly, have a much more restricted structure than their counterparts on full tori. We provide various constructions of these projective toric designs and prove some bounds on their size and characterizations of their structure. We draw connections between projective toric designs and a diverse set of mathematical objects, including difference and Sidon sets from the field of additive combinatorics, symmetric, informationally complete positive operator valued measures (SIC-POVMs) and complete sets of mutually unbiased bases (MUBs) (which are conjectured to relate to finite projective geometry) from quantum information theory, and crystal ball sequences of certain root lattices. Using these connections, we prove bounds on the maximal size of dense Btmodm sets. We also use projective toric designs to construct families of quantum state designs. Finally, we discuss many open questions about the properties of these projective toric designs and how they relate to other questions in number theory, geometry, and quantum information.

1 aIosue, Joseph, T.1 aMooney, T., C.1 aEhrenberg, Adam1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2311.1347901025nas a2200145 4500008004100000245002800041210002800069260001400097520064400111100002200755700002200777700002000799700002300819856003700842 2023 eng d00aQuantum spherical codes0 aQuantum spherical codes c12/7/20233 a

We introduce a framework for constructing quantum codes defined on spheres by recasting such codes as quantum analogues of the classical spherical codes. We apply this framework to bosonic coding, obtaining multimode extensions of the cat codes that can outperform previous constructions while requiring a similar type of overhead. Our polytope-based cat codes consist of sets of points with large separation that at the same time form averaging sets known as spherical designs. We also recast concatenations of CSS codes with cat codes as quantum spherical codes, revealing a new way to autonomously protect against dephasing noise

1 aJain, Shubham, P.1 aIosue, Joseph, T.1 aBarg, Alexander1 aAlbert, Victor, V. uhttps://arxiv.org/abs/2302.1159301909nas a2200157 4500008004100000245006300041210006300104260001500167520141800182100002001600700002201620700002301642700002401665700002501689856003701714 2023 eng d00aTransition of Anticoncentration in Gaussian Boson Sampling0 aTransition of Anticoncentration in Gaussian Boson Sampling c12/13/20233 a

Gaussian Boson Sampling is a promising method for experimental demonstrations of quantum advantage because it is easier to implement than other comparable schemes. While most of the properties of Gaussian Boson Sampling are understood to the same degree as for these other schemes, we understand relatively little about the statistical properties of its output distribution. The most relevant statistical property, from the perspective of demonstrating quantum advantage, is the anticoncentration of the output distribution as measured by its second moment. The degree of anticoncentration features in arguments for the complexity-theoretic hardness of Gaussian Boson Sampling, and it is also important to know when using cross-entropy benchmarking to verify experimental performance. In this work, we develop a graph-theoretic framework for analyzing the moments of the Gaussian Boson Sampling distribution. Using this framework, we show that Gaussian Boson Sampling undergoes a transition in anticoncentration as a function of the number of modes that are initially squeezed compared to the number of photons measured at the end of the circuit. When the number of initially squeezed modes scales sufficiently slowly with the number of photons, there is a lack of anticoncentration. However, if the number of initially squeezed modes scales quickly enough, the output probabilities anticoncentrate weakly.

1 aEhrenberg, Adam1 aIosue, Joseph, T.1 aDeshpande, Abhinav1 aHangleiter, Dominik1 aGorshkov, Alexey, V. uhttps://arxiv.org/abs/2312.0843301814nas a2200169 4500008004100000245006700041210006600108260001400174490000800188520130400196100001701500700002201517700002401539700002501563700001901588856003701607 2019 eng d00aProbing ground-state phase transitions through quench dynamics0 aProbing groundstate phase transitions through quench dynamics c9/11/20190 v1233 a

The study of quantum phase transitions requires the preparation of a many-body system near its ground state, a challenging task for many experimental systems. The measurement of quench dynamics, on the other hand, is now a routine practice in most cold atom platforms. Here we show that quintessential ingredients of quantum phase transitions can be probed directly with quench dynamics in integrable and nearly integrable systems. As a paradigmatic example, we study global quench dynamics in a transverse-field Ising model with either short-range or long-range interactions. When the model is integrable, we discover a new dynamical critical point with a non-analytic signature in the short-range correlators. The location of the dynamical critical point matches that of the quantum critical point and can be identified using a finite-time scaling method. We extend this scaling picture to systems near integrability and demonstrate the continued existence of a dynamical critical point detectable at prethermal time scales. Therefore, our method can be used to approximately locate the quantum critical point. The scaling method is also relevant to experiments with finite time and system size, and our predictions are testable in near-term experiments with trapped ions and Rydberg atoms.

1 aTitum, Paraj1 aIosue, Joseph, T.1 aGarrison, James, R.1 aGorshkov, Alexey, V.1 aGong, Zhe-Xuan uhttps://arxiv.org/abs/1809.06377