Search

We propose a method for partial state reconstruction of multiphoton states in multimode ($N$-photon $M$-mode) linear optical networks (LONs) employing only two bucket photon-number-resolving (PNR) detectors. The reconstructed Heisenberg-Weyl-reduced (HW-reduced) density matrix captures quantum coherence and symmetry with respect to HW operators. Employing deterministic quantum computing with one qubit (DQC1) circuits, we reduce the detector requirement from $M$ to $2$, while the requirement on measurement configurations are retained $\mathcal{O}(M^{\max(3,N)})$. To ensure physicality, maximum likelihood estimation (MLE) is incorporated into the DQC1 reconstruction process, with numerical simulations demonstrating the robustness and efficiency of our approach. This method offers a resource-efficient solution for state characterization in large-scale LONs to advance photonic quantum technologies., Comment: 6+11 pages, 4 figures

We employ quantum-volume random-circuit sampling to benchmark the two-QPU entanglement-assisted distributed quantum computing (DQC) and compare it with single-QPU quantum computing. We first specify a single-qubit depolarizing noise model in the random circuit. Based on this error model, we show the one-to-one correspondence of three figures of merits, namely average gate fidelity, heavy output probability, and linear cross-entropy. We derive an analytical approximation of the average gate fidelity under the specified noise model, which is shown to align with numerical simulations. The approximation is calculated based on a noise propagation matrix obtained from the extended connectivity graph of a DQC device. In numerical simulation, we unveil the scalability enhancement in DQC for the QPUs with limited connectivity. Furthermore, we provide a simple formula to estimate the average gate fidelity, which also provides us with a heuristic method to evaluate the scalability enhancement in DQC, and a guide to optimize the structure of a DQC configuration., Comment: V1: 13 pages, 18 figures, 5-page appendix and references. V2: Some typos are fixed. Section III B and the appendix are amended

We propose a linear-optical scheme that allows encoding grid-state quantum bits (qubits) into a bosonic mode using cat state and post-selection as sources of non-Gaussianity in the encoding. As a linear-optical realization of the quantum-walk encoding scheme in [Lin {\em et al.}, Quantum Info. Processing {\bf 19}, 272 (2020)], we employ the cat state as a quantum coin that enables encoding approximate Gottesman-Kitaev-Preskill (GKP) qubits through quantum walk of a squeezed vacuum state in phase space. We show that the conditional phase-space displacement necessary for the encoding can be realized through a Mach-Zehnder interferometer (MZI) assisted with ancillary cat-state input under appropriate parameter regimes. By analyzing the fidelity of the MZI-based displacement operation, we identify the region of parameter space over which the proposed linear-optical scheme can generate grid-state qubits with high fidelity. With adequate parameter setting, our proposal should be accessible to current optical and superconducting-circuit platforms in preparing grid-state qubits for bosonic modes in the, respectively, optical and microwave domains.

We investigate the fidelity of Haar random bipartite pure states from a fixed reference quantum state and their bipartite entanglement. By plotting the fidelity and entanglement on perpendicular axes, we observe that the resulting plots exhibit non-uniform distributions. The distribution depends on the entanglement of the fixed reference quantum state used to quantify the fidelity of the random pure bipartite states. We find that the average fidelity of typical random pure bipartite qubits within a narrow entanglement range with respect to a randomly chosen fixed bipartite qubit is $\frac{1}{4}$. Extending our study to higher dimensional bipartite qudits, we find that the average fidelity of typical random pure bipartite qudits with respect to a randomly chosen fixed bipartite qudit remains constant within a narrow entanglement range. The values of these constants are \(\frac{1}{d^2}\), with d being the dimension of the local Hilbert space of the bipartite qudit system, suggesting a consistent relationship between entanglement and fidelity across different dimensions. The probability distribution functions of fidelity with respect to a product state are analytically studied and used as a reference for the benchmarking of distributed quantum computing devices., Comment: 6 pages, 8 figures. Two new authors have contributed to the content. A section has been introduced, highlighting applications for benchmarking distributed quantum computing devices, Accepted version

We consider a heterogeneous network of quantum computing modules, sparsely connected via Bell states. Operations across these connections constitute a computational bottleneck and they are likely to add more noise to the computation than operations performed within a module. We introduce several techniques for transforming a given quantum circuit into one implementable on a network of the aforementioned type, minimising the number of Bell states required to do so. We extend previous works on circuit distribution over fully connected networks to the case of heterogeneous networks. On the one hand, we extend the hypergraph approach of [Andres-Martinez & Heunen. 2019] to arbitrary network topologies. We additionally make use of Steiner trees to find efficient realisations of the entanglement sharing within the network, reusing already established connections as often as possible. On the other hand, we extend the embedding techniques of [Wu, et al. 2022] to networks with more than two modules. Furthermore, we discuss how these two seemingly incompatible approaches can be made to cooperate. Our proposal is implemented and benchmarked; the results confirming that, when orchestrated, the two approaches complement each other's weaknesses., Comment: 30 pages, 18 figures, comments welcome; v2 - Add link to experiment data; v3 - 31 pages, small updates to discussion and references

In noisy intermediate-scale quantum computing, the limited scalability of a single quantum processing unit (QPU) can be extended through distributed quantum computing (DQC), in which one can implement global operations over two QPUs by entanglement-assisted local operations and classical communication. To facilitate this type of DQC in experiments, we need an entanglement-efficient protocol. To this end, we extend the protocol in [Eisert et. al., PRA, 62:052317(2000)] implementing each nonlocal controlled-unitary gate locally with one maximally entangled pair to a packing protocol, which can pack multiple nonlocal controlled-unitary gates locally using one maximally entangled pair. In particular, two types of packing processes are introduced as the building blocks, namely the distributing processes and embedding processes. Each distributing process distributes corresponding gates locally with one entangled pair. The efficiency of entanglement is then enhanced by embedding processes, which merge two non-sequential distributing processes and hence save the entanglement cost. We show that the structure of distributability and embeddability of a quantum circuit can be fully represented by the corresponding packing graphs and conflict graphs. Based on these graphs, we derive heuristic algorithms for finding an entanglement-efficient packing of distributing processes for a given quantum circuit to be implemented by two parties. These algorithms can determine the required number of local auxiliary qubits in the DQC. We apply these algorithms for bipartite DQC of unitary coupled-cluster circuits and find a significant reduction of entanglement cost through embeddings. This method can determine a constructive upper bound on the entanglement cost for the DQC of quantum circuits., Comment: Published version: 30+10 pages, 22+2 figures, updated with numerical benchmarking of the packing algorithm

In device-independent quantum information, correlations between local measurement outcomes observed by spatially separated parties in a Bell test play a fundamental role. Even though it is long-known that the set of correlations allowed in quantum theory lies strictly between the Bell-local set and the no-signaling set, many questions concerning the geometry of the quantum set remain unanswered. Here, we revisit the problem of when the boundary of the quantum set coincides with the no-signaling set in the simplest Bell scenario. In particular, for each Class of these common boundaries containing $k$ zero probabilities, we provide a $(5-k)$-parameter family of quantum strategies realizing these (extremal) correlations. We further prove that self-testing is possible in all nontrivial Classes beyond the known examples of Hardy-type correlations, and provide numerical evidence supporting the robustness of these self-testing results. Candidates of one-parameter families of self-testing correlations from some of these Classes are identified. As a byproduct of our investigation, if the qubit strategies leading to an extremal nonlocal correlation are local-unitarily equivalent, a self-testing statement provably follows. Interestingly, all these self-testing correlations found on the no-signaling boundary are provably non-exposed. An analogous characterization for the set $\mathcal{M}$ of quantum correlations arising from finite-dimensional maximally entangled states is also provided. En route to establishing this last result, we show that all correlations of $\mathcal{M}$ in the simplest Bell scenario are attainable as convex combinations of those achievable using a Bell pair and projective measurements. In turn, we obtain the maximal Clauser-Horne-Shimony-Holt Bell inequality violation by any maximally entangled two-qudit state and a no-go theorem regarding the self-testing of such states., Comment: v3: 16+14 pages, 9 figures, 6 tables; v2: 15+12 pages, 9 figures, 5 tables, robust self-testing results and references added; v1: 12+11 pages, 3 figures, 5 tables

A linear optics network is a multimode interferometer system, where indistinguishable photon inputs can create nonclassical interference that can not be simulated with classical computers. Such nonclassical interference implies the existence of entanglement among its subsystems, if we divide its modes into different parties. Entanglement in such systems is naturally encoded in multi-rail (multi-mode) quantum registers. For bipartite entanglement, a generation and detection scheme with multi-rail encoding has been theoretically proposed [NJP 19(10):103032, 2017] and experimentally realized [Optica, 7(11):1517, 2020]. In this paper, we will take a step further to establish a theory for the detection of multi-rail-encoded discrete-variable genuine multipartite entanglement (GME) in fixed local-photon-number subspaces of linear optics networks. We also propose a scheme for GME generation with both discrete-variable (single photons) and continuous-variable (squeezed states) light sources. This scheme allows us to reveal the discrete-variable GME in continuous-variable systems. The effect of photon losses is also numerically analyzed for the generation scheme based on continuous-variable inputs., Comment: 9 pages, 5 figures

An adaptive method for quantum state fidelity estimation in bipartite higher dimensional systems is established. This method employs state verifier operators which are constructed by local POVM operators and adapted to the measurement statistics in the computational basis. Employing this method, the state verifier operators that stabilize Bell-type entangled states are constructed explicitly. Together with an error operator in the computational basis, one can estimate the lower and upper bounds on the state fidelity for Bell-type entangled states in few measurement configurations. These bounds can be tighter than the fidelity bounds derived in [Bavaresco et.al., Nature Physics (2018), 14, 1032~1037], if one constructs more than one local POVM measurements additional to the measurement in the computational basis., Comment: 19 pages, 3 figures, an invited paper submitted to the special issue "Quantum Probability, Statistics and Control" in Entropy

We have developed a theory for accessing quantum coherences in mutually unbiased bases associated with generalized Pauli operators in multiphoton multimode linear optics networks (LONs). We show a way to construct complementary Pauli measurements in multiphoton LONs and establish a theory for evaluation of their photonic measurement statistics without dealing with the computational complexity of Boson samplings. This theory extends characterization of complementary properties in single-photon LONs to multiphoton LONs employing convex-roof extension. It allows us to detect quantum properties such as entanglement using complementary Pauli measurements, which reveals the physical significance of entanglement between modes in bipartite multiphoton LONs., Comment: 25 pages + list of notations and acronyms + references; 10 figures; published version

It is shown that the maximal phase sensitivity of a two-path interferometer with high-intensity coherent light and squeezed vacuum in the input ports can be achieved by photon-number-resolving detection of only a small number of photons in a dark output port. It is then possible to achieve the quantum Cram\'{e}r-Rao bound of the two-path interferometer using only the field displacement dependence of the photon number statistics in the single mode output of the dark port represented by a field-displaced squeezed vacuum state. We find that, at small field displacements, it is not sufficient to use the average photon number as the estimator, indicating that an optimal phase estimation depends critically on measurements of the precise photon number. We therefore analyze the effect of detection efficiency on the Fisher information and show that there is a transition from low robustness against photon losses associated with quantum interference effects at low field displacements to high robustness against photon losses at high field displacements. The transition between the two regimes occurs at field shifts proportional to the third power of the squeezing factor, indicating that squeezing greatly enhances the phase interval in which quantum effects are relevant in optimal phase estimations using photon resolving detectors. The case under study could thus be understood as a `missing link' between genuine multiphoton interference and the straightforward suppression of noise usually associated with squeezed light., Comment: 14 pages, 10 figures, v3 the published version

Quantum statistics is defined by Hilbert space products between the eigenstates associated with state preparation and measurement. The same Hilbert space products also describe the dynamics generated by a Hamiltonian when one of the states is an eigenstate of energy E and the other represents an observable B. In this paper, we investigate this relation between the observable time evolution of quantum systems and the coherence of Hilbert space products in detail. It is shown that the times of arrival for a specific value of B observed with states that have finite energy uncertainties can be used to derive the Hilbert space product between eigenstates of energy E and eigenstates of the dynamical variable B. In these Hilbert space products, quantum phases and interference effects appear in the form of an action that relates energy to time in the experimentally observable dynamics of localized states. Quantum effects emerge in the measurement statistics when the precise control of energy in quantum state preparation results in a coherent randomization of the dynamics, such that two different arrival times contribute to the quantum statistics of the same measurement outcome B. The non-classical features associated with quantum interference can thus be explained as a consequence of quantum dynamics and its role in state preparation and measurement, indicating that the apparent randomness of control described by the energy-time uncertainties is not merely a technical problem but rather originates from the fundamental nature of interactions between physical systems., Comment: 23 pages, including 5 figures, improved explanation of the fundamental relation between energy and time and the state-independence of B(t;E) in section II and III

Optical multi-mode systems provide large scale Hilbert spaces that can be accessed and controlled using single photon sources, linear optics and photon detection. Here, we consider the bipartite entanglement generated by coherently distributing $M$ photons in $M$ modes to two separate locations, where linear optics and photon detection is used to verify the non-classical correlations between the two $M$-mode systems. We show that the entangled state is symmetric under mode shift operations performed in the two systems and use this symmetry to derive correlations between photon number distributions detected after a discrete Fourier transform (DFT) of the modes. The experimentally observable correlations can be explained by a simple and intuitive rule that relates the sum of the output mode indices to the eigenvalue of the input state under the mode shift operation. Since the photon number operators after the DFT do not commute with the initial photon number operators, entanglement is necessary to achieve strong correlations in both the initial mode photon numbers and the photon numbers observed after the DFT. We can therefore derive entanglement witnesses based on the experimentally observable correlations in both photon number distributions, providing a practical criterion for the evaluation of large scale entanglement in optical multi-mode systems. Our method thus demonstrates how non-classical signatures in large scale optical quantum circuits can be accessed experimentally by choosing an appropriate combination of modes in which to detect the photon number distributions that characterize the quantum coherences of the state., Comment: 26 pages, 4 figures; This is the published version with the amended introduction, explanations of equations and conclusion

Multi-photon interference results in modulations of output probabilities with phase shift periods that are much shorter than 2 Pi. Here, we investigate the physics behind these statistical patterns in the case of well-defined photon numbers in the input and output modes of a two-path interferometer. We show that the periodicity of the multi-photon interference is related to the weak value of the unobserved intensity difference between the two arms of the interferometer. This means that the operator relations between the photon number differences in input, path, and output can be used to determine the periodicity of the experimentally observed quantum interference, establishing an important link between the classical causality of random phase interference and quantum effects that depend on the superposition of classically distinct possibilities., Comment: 15 pages, including 6 figures; clarifications of approximation and assumptions added in section IV. Final version for publication in Phys. Rev. A

The representation of graph states in the X-basis as well as the calculation of graph state overlaps can efficiently be performed by using the concept of X-Chains [Phys. Rev. A 92(1) 012322]. We present a necessary and sufficient criterion for X-chains and show that they can efficiently be determined by Bareiss algorithm. An analytical approach for searching X-chain groups of a graph state is proposed. Furthermore we generalize the concept of X-chains to so-called Euler chains, whose induced subgraphs are Eulerian. This approach helps to determine if a given vertex set is an X-chain and we show how Euler chains can be used in the construction of multipartite Bell inequalities for graph states., Comment: Published version with corrections of some typos and refferences

A special configuration of graph state stabilizers, which contains only Pauli $\sigma_X$ operators, is studied. The vertex sets $\xi$ associated with such configurations are defined as what we call X-chains of graph states. The X-chains of a general graph state can be determined efficiently. They form a group structure such that one can obtain the explicit representation of graph states in the X-basis via the so-called X-chain factorization diagram. We show that graph states with different X-chain groups can have different probability distributions of X-measurement outcomes, which allows one to distinguish certain graph states with X-measurements. We provide an approach to find the Schmidt decomposition of graph states in the X-basis. The existence of X-chains in a subsystem facilitates error correction in the entanglement localization of graph states. In all of these applications, the difficulty of the task decreases with increasing number of X-chains. Furthermore, we show that the overlap of two graph states can be efficiently determined via X-chains, while its computational complexity with other known methods increases exponentially., Comment: This is the version after the publication of the paper in PRA. The title is changed according to PRA standard. Some typos are corrected

We introduce a class of mixed multiqubit states, that corresponds to a randomized version of graph states. Such states arise when a graph state is prepared with noisy or imperfect controlled-Z gates. We study the entanglement features of these states by investigating both bipartite and genuine multipartite entanglement. Bipartite entanglement is studied via the concepts of connectedness and persistency, which are related to measurement based quantum computation. The presence of multipartite entanglement is instead revealed by the use of witness operators which are subsequently adapted to study nonlocal properties through the violation of suitable Bell inequalities. We also present results on the entanglement detection of particular randomized graph states, by deriving explicit thresholds for entanglement and nonlocality in terms of the noise parameter that characterizes the controlled-Z gates exploited for their generation. Finally, we propose a method to further improve the detection of genuine multipartite entanglement in this class of states., Comment: This is the published version. We have added some text to clarify our results, corrected typos in references, and made some minor style modifications according to the journal

We introduce a method to lower bound an entropy-based measure of genuine multipartite entanglement via nonlinear entanglement witnesses. We show that some of these bounds are tight and explicitly work out their connection to a framework of nonlinear witnesses that were published recently. Furthermore we provide a detailed analysis of these lower bounds in the context of other possible bounds and measures. In exemplary cases we show that only a few local measurements are necessary to determine these lower bounds., Comment: 11 pages, 2 figures