Search

In this work, we propose a new form of exponential quantum advantage in the context of sensing correlated noise. Specifically, we focus on the problem of estimating parameters associated with Lindblad dephasing dynamics, and show that entanglement can lead to an exponential enhancement in the sensitivity (as quantified via quantum Fisher information of the sensor state) for estimating a small parameter characterizing the deviation of system Lindbladians from a class of maximally correlated dephasing dynamics. This result stands in stark contrast with previously studied scenarios of sensing uncorrelated dephasing noise, where one can prove that entanglement does not lead to an advantage in the signal-to-noise ratio. Our work thus opens a novel pathway towards achieving entanglement-based sensing advantage, which may find applications in characterizing decoherence dynamics of near-term quantum devices. Further, our approach provides a potential quantum-enhanced probe of many-body correlated phases by measuring noise generated by a sensing target. We also discuss realization of our protocol using near-term quantum hardware., Comment: 7+2 pages, 1 figure

Distributed quantum sensing (DQS) leverages quantum resources to estimate an unknown global property of a networked quantum sensor beyond the classical limit. We propose and analyze an all-optical resource-efficient scheme for the next-generation DQS systems. Our method utilizes phase-sensitive optical parametric amplifiers and linear interferometers and achieves the sensitivity close to the optimal limit, as determined by the quantum Fisher information of the entangled resource state. Furthermore, it utilizes high-gain OPA-assisted detection, offering critical advantages of increased bandwidth and loss tolerance, in contrast to conventional methods employing balanced homodyne detection (BHD). We show the efficacy of our proposal for displacement sensing and show its loss tolerance against high levels of photon loss, thus circumventing the major obstacle in current BHD-based approaches. Our architectural analysis shows that our scheme can be realized with current quantum photonic technology, Comment: 15 pages, 8 figures

Noise is one of the main obstacles to realizing quantum devices that achieve a quantum computational advantage. A possible approach to minimize the noise effect is to employ shallow-depth quantum circuits since noise typically accumulates as circuit depth grows. In this work, we investigate the complexity of shallow-depth linear-optical circuits under the effects of photon loss and partial distinguishability. By establishing a correspondence between a linear-optical circuit and a bipartite graph, we show that the effects of photon loss and partial distinguishability are equivalent to removing the corresponding vertices. Using this correspondence and percolation theory, we prove that for constant-depth linear-optical circuits with single photons, there is a threshold of loss (noise) rate above which the linear-optical systems can be decomposed into smaller systems with high probability, which enables us to simulate the systems efficiently. Consequently, our result implies that even in shallow-depth circuits where noise is not accumulated enough, its effect may be sufficiently significant to make them efficiently simulable using classical algorithms due to its entanglement structure constituted by shallow-depth circuits., Comment: 9 pages, 3 figures

Boson sampling, a computational task believed to be classically hard to simulate, is expected to hold promise for demonstrating quantum computational advantage using near-term quantum devices. However, noise in experimental implementations poses a significant challenge, potentially rendering boson sampling classically simulable and compromising its classical intractability. Numerous studies have proposed classical algorithms under various noise models that can efficiently simulate boson sampling as noise rates increase with circuit depth. To address this issue particularly related to circuit depth, we explore the viability of achieving quantum computational advantage through boson sampling with shallow-depth linear optical circuits. Specifically, as the average-case hardness of estimating output probabilities of boson sampling is a crucial ingredient in demonstrating its classical intractability, we make progress on establishing the average-case hardness confined to logarithmic-depth regimes. We also obtain the average-case hardness for logarithmic-depth Fock-state boson sampling subject to lossy environments and for the logarithmic-depth Gaussian boson sampling. By providing complexity-theoretical backgrounds for the classical simulation hardness of logarithmic-depth boson sampling, we expect that our findings will mark a crucial step towards a more noise-tolerant demonstration of quantum advantage with shallow-depth boson sampling.

Deep neural network (DNN) video analytics is crucial for autonomous systems such as self-driving vehicles, unmanned aerial vehicles (UAVs), and security robots. However, real-world deployment faces challenges due to their limited computational resources and battery power. To tackle these challenges, continuous learning exploits a lightweight "student" model at deployment (inference), leverages a larger "teacher" model for labeling sampled data (labeling), and continuously retrains the student model to adapt to changing scenarios (retraining). This paper highlights the limitations in state-of-the-art continuous learning systems: (1) they focus on computations for retraining, while overlooking the compute needs for inference and labeling, (2) they rely on power-hungry GPUs, unsuitable for battery-operated autonomous systems, and (3) they are located on a remote centralized server, intended for multi-tenant scenarios, again unsuitable for autonomous systems due to privacy, network availability, and latency concerns. We propose a hardware-algorithm co-designed solution for continuous learning, DaCapo, that enables autonomous systems to perform concurrent executions of inference, labeling, and training in a performant and energy-efficient manner. DaCapo comprises (1) a spatially-partitionable and precision-flexible accelerator enabling parallel execution of kernels on sub-accelerators at their respective precisions, and (2) a spatiotemporal resource allocation algorithm that strategically navigates the resource-accuracy tradeoff space, facilitating optimal decisions for resource allocation to achieve maximal accuracy. Our evaluation shows that DaCapo achieves 6.5% and 5.5% higher accuracy than a state-of-the-art GPU-based continuous learning systems, Ekya and EOMU, respectively, while consuming 254x less power.

We study the evolution of conditional mutual information in generic open quantum systems, focusing on one-dimensional random circuits with interspersed local noise. Unlike in noiseless circuits, where conditional mutual information spreads linearly while being bounded by the lightcone, we find that noisy random circuits with an error rate $p$ exhibit superlinear propagation of conditional mutual information, which diverges far beyond the lightcone at a critical circuit depth $t_c \propto p^{-1}$. We demonstrate that the underlying mechanism for such rapid spreading is the combined effect of local noise and a scrambling unitary, which selectively removes short-range correlations while preserving long-range correlations. To analytically capture the dynamics of conditional mutual information in noisy random circuits, we introduce a coarse-graining method, and we validate our theoretical results through numerical simulations. Furthermore, we identify a universal scaling law governing the spreading of conditional mutual information.

We show that quantum entanglement can provide an exponential advantage in learning properties of a bosonic continuous-variable (CV) system. The task we consider is estimating a probabilistic mixture of displacement operators acting on $n$ bosonic modes, called a random displacement channel. We prove that if the $n$ modes are not entangled with an ancillary quantum memory, then the channel must be sampled a number of times exponential in $n$ in order to estimate its characteristic function to reasonable precision; this lower bound on sample complexity applies even if the channel inputs and measurements performed on channel outputs are chosen adaptively. On the other hand, we present a simple entanglement-assisted scheme that only requires a number of samples independent of $n$, given a sufficient amount of squeezing. This establishes an exponential separation in sample complexity. We then analyze the effect of photon loss and show that the entanglement-assisted scheme is still significantly more efficient than any lossless entanglement-free scheme under mild experimental conditions. Our work illuminates the role of entanglement in learning continuous-variable systems and points toward experimentally feasible demonstrations of provable entanglement-enabled advantage using CV quantum platforms., Comment: 7+28 pages, 3+6 figures

Quantum entanglement is a crucial resource for learning properties from nature, but a precise characterization of its advantage can be challenging. In this work, we consider learning algorithms without entanglement to be those that only utilize states, measurements, and operations that are separable between the main system of interest and an ancillary system. Interestingly, we show that these algorithms are equivalent to those that apply quantum circuits on the main system interleaved with mid-circuit measurements and classical feedforward. Within this setting, we prove a tight lower bound for Pauli channel learning without entanglement that closes the gap between the best-known upper and lower bound. In particular, we show that $\Theta(2^n\varepsilon^{-2})$ rounds of measurements are required to estimate each eigenvalue of an $n$-qubit Pauli channel to $\varepsilon$ error with high probability when learning without entanglement. In contrast, a learning algorithm with entanglement only needs $\Theta(\varepsilon^{-2})$ copies of the Pauli channel. The tight lower bound strengthens the foundation for an experimental demonstration of entanglement-enhanced advantages for Pauli noise characterization., Comment: 20 pages, 2 figure; v2: add Fig.2 comparing our lower bound with noisy-entanglement-assisted upper bound, close to accepted version; v3: correct a typo in Notes added

Boson sampling is a sampling task proven to be hard to simulate efficiently using classical computers under plausible assumptions, which makes it an appealing candidate for quantum supremacy. However, due to a large noise rate for near-term quantum devices, it is still unclear whether those noisy devices maintain the quantum advantage for much larger quantum systems. Since the noise rate typically grows with the circuit depth, an alternative is to find evidence of simulation hardness at the shallow-depth quantum circuit. To find the evidence, one way is to identify the minimum depth required for the average-case hardness of approximating output probabilities, which is considered a necessary condition for the state-of-the-art technique to prove the simulation hardness of boson sampling. In this work, we analyze the output probability distribution of shallow-depth boson sampling for Fock-states and Gaussian states, and examine the limitation of the average-case hardness argument at this shallow-depth regime for geometrically local architectures. We propose a shallow-depth linear optical circuit architecture that can overcome the problems associated with geometrically local architectures. Our numerical results suggest that this architecture demonstrates possibilities of average-case hardness properties in a shallow-depth regime, through its resemblance to the global Haar-random boson sampling circuit. This result implies that the corresponding architecture has the potential to be utilized for scalable quantum supremacy with its shallow-depth boson sampling.

Gaussian boson sampling is a promising candidate for showing experimental quantum advantage. While there is evidence that noiseless Gaussian boson sampling is hard to efficiently simulate using a classical computer, the current Gaussian boson sampling experiments inevitably suffer from loss and other noise models. Despite a high photon loss rate and the presence of noise, they are currently claimed to be hard to classically simulate with the best-known classical algorithm. In this work, we present a classical tensor-network algorithm that simulates Gaussian boson sampling and whose complexity can be significantly reduced when the photon loss rate is high. By generalizing the existing thermal-state approximation algorithm of lossy Gaussian boson sampling, the proposed algorithm allows us to achieve increased accuracy as the running time of the algorithm scales, as opposed to the algorithm that samples from the thermal state, which can give only a fixed accuracy. This generalization enables us to simulate the largest scale Gaussian boson sampling experiment so far using relatively modest computational resources, even though the output state of these experiments is not believed to be close to a thermal state. By demonstrating that our new classical algorithm outperforms the large-scale experiments on the benchmarks used as evidence for quantum advantage, we exhibit evidence that our classical sampler can simulate the ground-truth distribution better than the experiment can, which disputes the experimental quantum advantage claims., Comment: 23 pages, 13 figures

Noise is the main source that hinders us from fully exploiting quantum advantages in various quantum informational tasks. However, characterizing and calibrating the effect of noise is not always feasible in practice. Especially for quantum parameter estimation, an estimator constructed without precise knowledge of noise entails an inevitable bias. Recently, virtual purification-based error mitigation (VPEM) has been proposed to apply for quantum metrology to reduce such a bias occurring from unknown noise. While it was demonstrated to work for particular cases, whether VPEM always reduces a bias for general estimation schemes is unclear yet. For more general applications of VPEM to quantum metrology, we study factors determining whether VPEM can reduce the bias. We find that the closeness between the dominant eigenvector of a noisy state and the ideal quantum probe (without noise) with respect to an observable determines the reducible amount of bias by VPEM. Next, we show that one should carefully choose the reference point of the target parameter, which gives a smaller bias than others because the bias depends on the reference point. Otherwise, even if the dominant eigenvector and the ideal quantum probe are close, the bias of the mitigated case could be larger than the non-mitigated one. Finally, we analyze the error mitigation for a phase estimation scheme under various noises. Based on our analysis, we predict whether VPEM can effectively reduce a bias and numerically verify our results., Comment: 14 pages, 10 figures

Simulation of many-body systems is extremely computationally intensive, and tensor network schemes have long been used to make these tasks more tractable via approximation. Recently, tensor network algorithms that can exploit the inherent symmetries of the underlying quantum systems have been proposed to further reduce computational complexity. One class of systems, namely those exhibiting a global U(1) symmetry, is especially interesting. We provide a state-of-the-art, graphical processing unit-accelerated, and highly parallel supercomputer implementation of the tensor network algorithm that takes advantage of U(1) symmetry, opening up the possibility of a wide range of quantum systems for future numerical investigations., Comment: 7 pages, 5 figures

We present a quantum-inspired classical algorithm that can be used for graph-theoretical problems, such as finding the densest $k$-subgraph and finding the maximum weight clique, which are proposed as applications of a Gaussian boson sampler. The main observation from Gaussian boson samplers is that a given graph's adjacency matrix to be encoded in a Gaussian boson sampler is nonnegative, which does not necessitate quantum interference. We first provide how to program a given graph problem into our efficient classical algorithm. We then numerically compare the performance of ideal and lossy Gaussian boson samplers, our quantum-inspired classical sampler, and the uniform sampler for finding the densest $k$-subgraph and finding the maximum weight clique and show that the advantage from Gaussian boson samplers is not significant in general. We finally discuss the potential advantage of a Gaussian boson sampler over the proposed sampler., Comment: 11 pages, 5 figures

Gaussian boson sampling, a computational model that is widely believed to admit quantum supremacy, has already been experimentally demonstrated and is claimed to surpass the classical simulation capabilities of even the most powerful supercomputers today. However, whether the current approach limited by photon loss and noise in such experiments prescribes a scalable path to quantum advantage is an open question. To understand the effect of photon loss on the scalability of Gaussian boson sampling, we analytically derive the asymptotic operator entanglement entropy scaling, which relates to the simulation complexity. As a result, we observe that efficient tensor network simulations are likely possible under the $N_\text{out}\propto\sqrt{N}$ scaling of the number of surviving photons orange$N_\text{out}$ in the number of input photons $N$. We numerically verify this result using a tensor network algorithm with $U(1)$ symmetry, and overcome previous challenges due to the large local Hilbert space dimensions in Gaussian boson sampling with hardware acceleration. Additionally, we observe that increasing the photon number through larger squeezing does not increase the entanglement entropy significantly. Finally, we numerically find the bond dimension necessary for fixed accuracy simulations, providing more direct evidence for the complexity of tensor networks., Comment: 16 pages, 11 figures. To appear in PRA. This article supersedes arXiv:2303.11409

We present a classical algorithm that approximately samples from the output distribution of certain noisy Boson Sampling experiments. This algorithm is inspired by a recent result of Aharonov, Gao, Landau, Liu and Vazirani and makes use of an observation originally due to Kalai and Kindler that the output probability of Boson Sampling experiments with a Gaussian noise model can be approximated by sparse low-degree polynomials. This observation alone does not suffice for classical sampling, because its marginal probabilities might not be approximated by sparse low-degree polynomials, and furthermore, the approximated probabilities might be negative. We solve this problem by employing the first quantization representation to give an algorithm for computing the marginal probabilities of these experiments. We prove that when the overall noise rate is constant, the algorithm runs in time quasi-polynomial in the number of input photons $N$ and accuracy. When the overall noise rate scales as $1-x_1^\gamma$ for constant $x_1$ and $\gamma=\Omega(\log N)$, the running time becomes polynomial. Furthermore, we study noisy Boson Sampling with practically relevant noise models such as partial distinguishability and photon loss. We show that the same technique does not immediately apply in these settings, leaving open the possibility of a scalable demonstration of noisy quantum advantage for these noise models in certain parameter regimes., Comment: 29 pages

Quasiprobability representation is an important tool for analyzing a quantum system, such as a quantum state or a quantum circuit. In this work, we propose classical algorithms specialized for approximating outcome probabilities of a linear optical circuit using $s$-parameterized quasiprobability distributions. Notably, we can reduce the negativity bound of a circuit from exponential to at most polynomial for specific cases by modulating the shapes of quasiprobability distributions thanks to the norm-preserving property of a linear optical transformation. Consequently, our scheme renders an efficient estimation of outcome probabilities with precision depending on the classicality of the circuit. Surprisingly, when the classicality is high enough, we reach a polynomial-time estimation algorithm within a multiplicative error. Our results provide quantum-inspired algorithms for approximating various matrix functions beating best-known results. Moreover, we give sufficient conditions for the classical simulability of Gaussian boson sampling using the approximating algorithm for any (marginal) outcome probability under the poly-sparse condition. Our study sheds light on the power of linear optics, providing plenty of quantum-inspired algorithms for problems in computational complexity., Comment: 27 pages, 2 figures, 2 tables

Cross entropy (XE) measure is a widely used benchmarking to demonstrate quantum computational advantage from sampling problems, such as random circuit sampling using superconducting qubits and boson sampling (BS). We present a heuristic classical algorithm that attains a better XE than the current BS experiments in a verifiable regime and is likely to attain a better XE score than the near-future BS experiments in a reasonable running time. The key idea behind the algorithm is that there exist distributions that correlate with the ideal BS probability distribution and that can be efficiently computed. The correlation and the computability of the distribution enable us to post-select heavy outcomes of the ideal probability distribution without computing the ideal probability, which essentially leads to a large XE. Our method scores a better XE than the recent Gaussian BS experiments when implemented at intermediate, verifiable system sizes. Much like current state-of-the-art experiments, we cannot verify that our spoofer works for quantum advantage size systems. However, we demonstrate that our approach works for much larger system sizes in fermion sampling, where we can efficiently compute output probabilities. Finally, we provide analytic evidence that the classical algorithm is likely to spoof noisy BS efficiently., Comment: 7+11 pages, 5+6 figures

Quantum capacity, as the key figure of merit for a given quantum channel, upper bounds the channel's ability in transmitting quantum information. Identifying different type of channels, evaluating the corresponding quantum capacity and finding the capacity-approaching coding scheme are the major tasks in quantum communication theory. Quantum channel in discrete variables has been discussed enormously involving various error models, while error model in the continuous variable channel has been less studied due to the infinite dimensional problem. In this paper, we investigate a general continuous variable quantum erasure channel. By defining an effective subspace of the continuous variable system, we find a continuous variable random coding model. We then derive the quantum capacity of the continuous variable erasure channel in the framework of decoupling theory. The discussion in this paper fills the gap of quantum erasure channel in continuous variable settings and sheds light on the understanding of other type of continuous variable quantum channels.

Multi-parameter estimation is necessary for force sensing due to simultaneous and nontrivial small changes of position and momentum. Designing quantum probes that allow simultaneous estimation of all parameters is therefore an important task. The optimal methods for estimation of the conjugate changes of position and momentum of quantum harmonic oscillator employ probes in entangled or quantum non-Gaussian states. We show that the same results can be obtained in a significantly more feasible fashion by employing independent sets of differently squeezed Gaussian states classically correlated to position or momentum measurements. This result demonstrates an unexplored power of a classical correlation between the probe states and measurements directly applicable to force sensing, Comment: 8 pages, 4 figures, journal reference added

We have recently seen the first plausible claims for quantum advantage using sampling problems such as random circuit sampling and Gaussian boson sampling. The obvious next step is to channel the potential quantum advantage to solving practical applications rather than proof-of-principle experiments. Recently, a quantum simulator, specifically a Gaussian boson sampler, has been proposed to generate molecular vibronic spectra efficiently, which is an essential property of molecules and an important tool for analyzing chemical components and studying molecular structures. Computing molecular vibronic spectra has been a challenging task, and its best-known classical algorithm scales combinatorially in the system size. Thus, it is a candidate of tasks for which quantum devices provide computational advantages. In this work, we propose a quantum-inspired classical algorithm for molecular vibronic spectra for harmonic potential. We first show that the molecular vibronic spectra problem corresponding to Fock-state boson sampling can be efficiently solved using a classical algorithm as accurately as running a boson sampler. In particular, we generalize Gurvits's algorithm to approximate Fourier components of the spectra of Fock-state boson sampling and prove using Parseval's relation that the error of the spectra can be suppressed as long as that of the Fourier components are small. We also show that the molecular vibronic spectra problems of Gaussian boson sampling, which corresponds to the actual molecular vibronic spectra problem in chemistry, can be exactly solved even without Gurvits-type algorithms. Consequently, we demonstrate that those problems are not candidates of quantum advantage. We then provide a more general molecular vibronic spectra problem, which is also chemically well-motivated, for which we might be able to take advantage of a boson sampler., Comment: 11+16 pages, 2+1 figures, 1 table

Boson sampling is a fundamentally and practically important task that can be used to demonstrate quantum supremacy using noisy intermediate-scale quantum devices. In this work, we present classical sampling algorithms for single-photon and Gaussian input states that take advantage of a graph structure of a linear-optical circuit. The algorithms' complexity grows as so-called treewidth, which is closely related to the connectivity of a given linear-optical circuit. Using the algorithms, we study approximated simulations for local Haar-random linear-optical circuits. For equally spaced initial sources, we show that when the circuit depth is less than the quadratic in the lattice spacing, the efficient simulation is possible with an exponentially small error. Notably, right after this depth, photons start to interfere each other and the algorithms' complexity becomes sub-exponential in the number of sources, implying that there is a sharp transition of its complexity. Finally, when a circuit is sufficiently deep enough for photons to typically propagate to all modes, the complexity becomes exponential as generic sampling algorithms. We numerically implement a likelihood test with a recent Gaussian boson sampling experiment and show that the treewidth-based algorithm with a limited treewidth renders a larger likelihood than the experimental data., Comment: 6+22 pages, 5+6 figures

Estimation of a global parameter defined as a weighted linear combination of unknown multiple parameters can be enhanced by using quantum resources. Advantageous quantum strategies may vary depending on the weight distribution, requiring the study of optimal schemes achieving a maximal quantum advantage for a given sensing scenarios. In this work, we propose an optimal distributed quantum phase sensing scheme using Gaussian states with zero displacement for an arbitrary distribution of the weights with positive and negative signs. The estimation precision of the optimal scheme is derived, and shown to be achievable by using squeezed states injected into linear beam-splitter networks and performing homodyne detection on them in the absence of loss. Interestingly, the optimal scheme exploits entanglement of Gaussian states only among the modes assigned with equal signs of the weights, but separates the modes with opposite weight signs. We also provide a deeper understanding of our finding by focusing on the two-mode case, in comparison with the cases using non-Gaussian probe states. We expect this work to motivate further studies on quantum-enhanced distributed sensing schemes considering various types of physical parameters with an arbitrary weight distribution., Comment: 12 pages, 3 figures

We investigate the quantum metrological power of typical continuous-variable (CV) quantum networks. Particularly, we show that most CV quantum networks provide an entanglement to quantum states in distant nodes that enables one to achieve the Heisenberg scaling in the number of modes for distributed quantum displacement sensing, which cannot be attained using an unentangled probe state. Notably, our scheme only requires local operations and measurements after generating an entangled probe using the quantum network. In addition, we find a tolerable photon-loss rate that maintains the quantum enhancement. Finally, we numerically demonstrate that even when CV quantum networks are composed of local beam splitters, the quantum enhancement can be attained when the depth is sufficiently large., Comment: 6+13 Pages, 3 figures

Sampling from probability distributions of quantum circuits is a fundamentally and practically important task which can be used to demonstrate quantum supremacy using noisy intermediate-scale quantum devices. In the present work, we examine classical simulability of sampling from the output photon-number distribution of linear-optical circuits composed of random beam splitters with equally distributed squeezed vacuum states and single-photon states input. We provide efficient classical algorithms to simulate linear-optical random circuits and show that the algorithms' error is exponentially small up to a depth less than quadratic in the distance between sources using a classical random walk behavior of random linear-optical circuits. Notably, the average-case depth allowing an efficient classical simulation is larger than the worst-case depth limit, which is linear in the distance. Besides, our results together with the hardness of boson sampling give a lower-bound on the depth for constituting global Haar-random unitary circuits., Comment: 16 pages, 1 figure. Significant improvement has been made and updated in arXiv:2110.01564

Characterizing the computational advantage from noisy intermediate-scale quantum (NISQ) devices is an important task from theoretical and practical perspectives. Here, we numerically investigate the computational power of NISQ devices focusing on boson sampling, one of the well-known promising problems which can exhibit quantum supremacy. We study hardness of lossy boson sampling using matrix product operator (MPO) simulation to address the effect of photon-loss on classical simulability using MPO entanglement entropy (EE), which characterizes a running time of an MPO algorithm. An advantage of MPO simulation over other classical algorithms proposed to date is that its simulation accuracy can be efficiently controlled by increasing an MPO's bond dimension. Notably, we show by simulating lossy boson sampling using an MPO that as an input photon number grows, its computational cost, or MPO EE, behaves differently depending on a loss-scaling, exhibiting a different feature from that of lossless boson sampling. Especially when an output photon number scales faster than the square root of an input photon number, our study shows an exponential scaling of time complexity for MPO simulation. On the contrary, when an output photon number scales slower than the square root of an input photon number, MPO EE may decrease, indicating that an exponential time complexity might not be necessary., Comment: 22 pages, 7 figures

Atomic interferometers have been studied as a promising device for precise sensing of external fields. Among various configurations, a particular configuration with a butterfly-shaped geometry has been designed to sensitively probe field gradients. We introduce a Stern-Gerlach (SG) butterfly interferometer by incorporating magnetic field in the conventional butterfly-shaped configuration. Atomic trajectories of the interferometer can be flexibly adjusted by controlling magnetic fields to increase the sensitivity of the interferometer, while the conventional butterfly interferometer using Raman transitions can be understood as a special case. We also show that the SG interferometer can keep high contrast against a misalignment in position and momentum caused by the field gradient., Comment: 9 pages, 4 figures, accepted for publication in Physical Review A

We analyze the ultimate quantum limit of resolving two identical sources in a noisy environment. We prove that in the presence of noise causing false excitation, such as thermal noise, the quantum Fisher information of arbitrary quantum states for the separation of the objects, which quantifies the resolution, always converges to zero as the separation goes to zero. Noisy cases contrast with a noiseless case where it has been shown to be nonzero for a small distance in various circumstances, revealing the superresolution. In addition, we show that false excitation on an arbitrary measurement, such as dark counts, also makes the classical Fisher information of the measurement approach to zero as the separation goes to zero. Finally, a practically relevant situation resolving two identical thermal sources, is quantitatively investigated by using the quantum and classical Fisher information of finite spatial mode multiplexing, showing that the amount of noise poses a limit on the resolution in a noisy system., Comment: 12 pages, 2 figures

Since a general Gaussian process is phase-sensitive, a stable phase reference is required to take advantage of this feature. When the reference is missing, either due to the volatile nature of the measured sample or the measurement's technical limitations, the resulting process appears as random in phase. Under this condition, we consider two single-mode Gaussian processes, displacement and squeezing. We show that these two can be efficiently estimated using photon number states and photon number resolving detectors. For separate estimation of displacement and squeezing, the practical estimation errors for hundreds of probes' ensembles can saturate the Cram\'{e}r-Rao bound even for arbitrary small values of the estimated parameters and under realistic losses. The estimation of displacement with Fock states always outperforms estimation using Gaussian states with equivalent energy and optimal measurement. For estimation of squeezing, Fock states outperform Gaussian methods, but only when their energy is large enough. Finally, we show that Fock states can also be used to estimate the displacement and the squeezing simultaneously., Comment: 16 pages, 8 figures

We find and investigate the optimal scheme of quantum distributed Gaussian sensing for estimation of the average of independent phase shifts. We show that the ultimate sensitivity is achievable by using an entangled symmetric Gaussian state, which can be generated using a single-mode squeezed vacuum state, a beam-splitter network, and homodyne detection on each output mode in the absence of photon loss. Interestingly, the maximal entanglement of a symmetric Gaussian state is not optimal although the presence of entanglement is advantageous as compared to the case using a product symmetric Gaussian state. It is also demonstrated that when loss occurs, homodyne detection and other types of Gaussian measurements compete for better sensitivity, depending on the amount of loss and properties of a probe state. None of them provide the ultimate sensitivity, indicating that non-Gaussian measurements are required for optimality in lossy cases. Our general results obtained through a full-analytical investigation will offer important perspectives to the future theoretical and experimental study for quantum distributed Gaussian sensing., Comment: 10 pages, 5 figures; final version accepted in Physical Review Research

When estimating the phase of a single mode, the quantum Fisher information for a pure probe state is proportional to the photon number variance of the probe state. In this work, we point out particular states that offer photon number distributions exhibiting a large variance, which would help to improve the local estimation precision. These theoretical examples are expected to stimulate the community to put more attention to those states that we found, and to work towards their experimental realization and usage in quantum metrology., Comment: 7 pages, 1 figure

Quantum fidelity is a measure to quantify the closeness of two quantum states. In an operational sense, it is defined as the minimal overlap between the probability distributions of measurement outcomes and the minimum is taken over all possible positive-operator valued measures (POVMs). Quantum fidelity has been investigated in various scientific fields, but the identification of associated optimal measurements has often been overlooked despite its great importance for practical purposes. We find here the optimal POVMs for quantum fidelity between multi-mode Gaussian states in a closed analytical form. Our general finding is specified for selected single-mode Gaussian states of particular interest and we identify three types of optimal measurements: a number-resolving detection, a projection on the eigenbasis of operator $\hat{x}\hat{p}+\hat{p}\hat{x}$, and a quadrature detection, each of which is applied to distinct types of single-mode Gaussian states. We also show the equivalence between optimal measurements for quantum fidelity and those for quantum parameter estimation, enabling one to easily find the optimal measurements for displacement, phase, squeezing, and loss parameter estimations using Gaussian states., Comment: 11 pages, 2 figures

We investigate an experimentally feasible scheme for amplification of superpositions of coherent states (SCSs) in light fields. This scheme mixes two input SCSs at a 50:50 beam splitter and performs post-selection by a homodyne detection on one output mode. The key idea is to use two different types of SCSs with opposite parities for input states, which results in an amplified output SCS with a nearly perfect fidelity., Comment: 10 pages, 8 figures

The central issue in quantum parameter estimation is to find out the optimal measurement setup that leads to the ultimate lower bound of an estimation error. We address here a question of whether a Gaussian measurement scheme can achieve the ultimate bound for phase estimation in single-mode Gaussian metrology that exploits single-mode Gaussian probe states in a Gaussian environment. We identify three types of optimal Gaussian measurement setups yielding the maximal Fisher information depending on displacement, squeezing, and thermalization of the probe state. We show that the homodyne measurement attains the ultimate bound for both displaced thermal probe states and squeezed vacuum probe states, whereas for the other single-mode Gaussian probe states, the optimized Gaussian measurement cannot be the optimal setup, although they are sometimes nearly optimal. We then demonstrate that the measurement on the basis of the product quadrature operators XP+PX, i.e., a non-Gaussian measurement, is required to be fully optimal., Comment: 13 pages, 6 figures

Results concerning the construction of quantum Bayesian error regions as a means to certify the quality of parameter point estimators have been reported in recent years. This task remains numerically formidable in practice for large dimensions and so far, no analytical expressions of the region size and credibility (probability of any given true parameter residing in the region) are known, which form the two principal region properties to be reported alongside a point estimator obtained from collected data. We first establish analytical formulas for the size and credibility that are valid for a uniform prior distribution over parameters, sufficiently large data samples and general constrained convex parameter-estimation settings. These formulas provide a means to an efficient asymptotic error certification for parameters of arbitrary dimensions. Next, we demonstrate the accuracies of these analytical formulas as compared to numerically computed region quantities with simulated examples in qubit and qutrit quantum-state tomography where computations of the latter are feasible., Comment: 23 pages, 12 figures, revised figure captions

Bayesian error analysis paves the way to the construction of credible and plausible error regions for a point estimator obtained from a given dataset. We introduce the concept of region accuracy for error regions (a generalization of the point-estimator mean squared-error) to quantify the average statistical accuracy of all region points with respect to the unknown true parameter. We show that the increase in region accuracy is closely related to the Bayesian-region dual operations in [1]. Next with only the given dataset as viable evidence, we establish various adaptive methods to maximize the region accuracy relative to the true parameter subject to the type of reported Bayesian region for a given point estimator. We highlight the performance of these adaptive methods by comparing them with nonadaptive procedures in three quantum-parameter estimation examples. The results of and mechanisms behind the adaptive schemes can be understood as the region analog of adaptive approaches to achieving the quantum Cramer--Rao bound for point estimators., Comment: 19 pages, 8 figures, new Secs. 3.5 and 4.4

We study the sensitivity of phase estimation in a lossy Mach-Zehnder interferometer (MZI) using two general, and practical, resources generated by a laser and a nonlinear optical medium with passive optimal elements, which are readily available in the laboratory: One is a two-mode separable coherent and squeezed vacuum state at a beam splitter and the other is a two-mode squeezed vacuum state. In view of the ultimate precision given by quantum Fisher information, we show that the two-mode squeezed vacuum state can achieve a lower bound of estimation error than the coherent and squeezed vacuum state under a photon-loss channel. We further consider practical measurement schemes, homodyne detection and photon number resolving detection (PNRD), to characterize the accuracy of phase estimation in reality and find that the coherent and squeezed vacuum state largely achieves a lower bound than the two-mode squeezed vacuum in the lossy MZI while maintaining quantum enhancement over the shot-noise limit. By comparing homodyne detection and PNRD, we demonstrate that quadrature measurement with homodyne detection is more robust against photon loss than parity measurement with PNRD. We also show that double homodyne detection can provide a better tool for phase estimation than single homodyne detection against photon loss., Comment: 9+1 pages, 8 figures

We investigate minimal control power (MCP) for controlled dense coding defined by the channel capacity. We obtain MCPs for extended three-qubit Greenberger-Horne-Zeilinger (GHZ) states and generalized three-qubit $W$ states. Among those GHZ states, the standard GHZ state is found to maximize the MCP and so does the standard $W$ state among the $W$-type states. We find the lower and upper bounds of the MCP and show for pure states that the lower bound, zero, is achieved if and only if the three-qubit state is biseparable or fully separable. The upper bound is achieved only for the standard GHZ state. Since the MCP is nonzero only when a three-qubit entanglement exists, this quantity may be a good candidate to measure the degree of genuine tripartite entanglement., Comment: 9 pages, 2 figure

We analyze an efficient frequency estimation scheme that is applied to measure the unknown frequency of an atomic state in Ramsey spectroscopy. The scheme is employing appropriate combinations of uncorrelated probe atoms and Greenburgur-Horne-Zeilinger (GHZ) type correlated probe atoms to estimate its frequency. The estimation value of frequency is obtained through the Bayesian analysis of the final measurement outcomes. The proposed scheme allows us to obtain better precision than the scheme without quantum correlation and it also prevents us from ambiguity in the frequency estimation procedure with GHZ correlations only. We show that the scheme can beat the shot-noise limit and, in addition, it is found that there is the trade-off relation between the precision of the frequency estimation and the decoherence rate in the atomic states., Comment: 16pages, 5 figures