SearcharxivSearch

arXiv subjects

Huan Cao

Publications and source records attributed to Huan Cao.

18 recordsLinked to original sources

Toward an Experimental Device-Independent Verification of Indefinite Causal Order

In classical physics, events follow a definite causal order: the past influences the future, but not the reverse. Quantum theory, however, permits superpositions of causal orders -- so-called indefinite causal orders -- which can provide operational advantages over classical scenarios. Verifying such phenomena has sparked significant interest, much like earlier efforts devoted to refuting local realism and confirming quantum entanglement. To date, demonstrations of indefinite causal order have all been based a process called the quantum switch and have relied on device-dependent or semi-device-independent protocols. Achieving a device-independent verification of indefinite causal order would imply that nature allows for correlations that do not respect causality, independent of any experimental assumptions or underlying theoretical description of the experiment. To this end, a recent theoretical development introduced a Bell-like inequality that allows for fully device-independent verification of indefinite causal order in a quantum switch. Here we implement this verification by experimentally violating this inequality. In particular, we measure a value of $1.8328 \pm 0.0045$, which is 18 standard deviations above the Definite Causal Order Bound of $1.75$. Our work presents the first implementation of a device-independent protocol to verify indefinite causal order, albeit in the presence of experimental loopholes. This represents an important step towards the device-independent verification of an indefinite causal order, and provides a context in which to identify loopholes specifically related to the verification of indefinite causal order.

quant-ph

Mathesis: Towards Formal Theorem Proving from Natural Languages

Recent advances in large language models show strong promise for formal reasoning. However, most LLM-based theorem provers have long been constrained by the need for expert-written formal statements as inputs, limiting their applicability to real-world problems expressed in natural language. We tackle this gap with Mathesis, the first end-to-end theorem proving pipeline processing informal problem statements. It contributes Mathesis-Autoformalizer, the first autoformalizer using reinforcement learning to enhance the formalization ability of natural language problems, aided by our novel LeanScorer framework for nuanced formalization quality assessment. It also proposes a Mathesis-Prover, which generates formal proofs from the formalized statements. To evaluate the real-world applicability of end-to-end formal theorem proving, we introduce Gaokao-Formal, a benchmark of 488 complex problems from China's national college entrance exam. Our approach is carefully designed, with a thorough study of each component. Experiments demonstrate Mathesis's effectiveness, with the autoformalizer outperforming the best baseline by 22% in pass-rate on Gaokao-Formal. The full system surpasses other model combinations, achieving 64% accuracy on MiniF2F with pass@32 and a state-of-the-art 18% on Gaokao-Formal.

cs.AI

Experimental Aspects of Indefinite Causal Order in Quantum Mechanics

In the past decade, the toolkit of quantum information has been expanded to include processes in which the basic operations do not have definite causal relations. Originally considered in the context of the unification of quantum mechanics and general relativity, these causally indefinite processes have been shown to offer advantages in a wide variety of quantum information processing tasks, ranging from quantum computation to quantum metrology. Here we overview these advantages and the experimental efforts to realise them. We survey both the different experimental techniques employed, as well as theoretical methods developed in support of the experiments, before discussing the interpretations of current experimental results and giving an outlook on the future of the field.

quant-ph

Experimental Quantum State Certification by Actively Sampling Photonic Entangled States

Entangled quantum states are essential ingredients for many quantum technologies, but they must be validated before they are used. As a full characterization is prohibitively resource-intensive, recent work has focused on developing methods to efficiently extract a few parameters of interest, in a so-called verification framework. Most existing approaches are based on preparing an ensemble of nominally identical and independent (IID) quantum states, and then measuring each copy of the ensemble. However, this leaves no states left for the intended quantum tasks and the IID assumptions do not always hold experimentally. To overcome these challenges, we experimentally implement quantum state certification (QSC) proposed by Gocanin \textit{et al.}, which measures only a subset of the ensemble, certifying the fidelity of multiple copies of the remaining states. We use active optical switches to randomly sample from sources of two-photon Bell states and three-photon GHZ states, reporting statistically-sound fidelities in real time without destroying the entire ensemble. Additionally, our QSC protocol removes the assumption that the states are identically distributed (but still assumes independent copies), can achieve close $N^{-1}$ scaling, in the number of states measured $N$, and can be implemented in a device-independent manner. Altogether, these benefits make our QSC protocol suitable for benchmarking large-scale quantum computing devices and deployed quantum communication setups relying on entanglement in both standard and adversarial situations.

quant-ph

Genuine multipartite entanglement detection with imperfect measurements: concept and experiment

Standard procedures for entanglement detection assume that experimenters can exactly implement specific quantum measurements. Here, we depart from such idealizations and investigate, in both theory and experiment, the detection of genuine multipartite entanglement when measurements are subject to small imperfections. For arbitrary qubits number $n$, we construct multipartite entanglement witnesses where the detrimental influence of the imperfection is independent of $n$. In a tabletop four-partite photonic experiment we demonstrate first how a small amount of alignment error can undermine the conclusions drawn from standard entanglement witnesses, and then perform the correction analysis. Furthermore, since we consider quantum devices that are trusted but not perfectly controlled, we showcase advantages in terms of noise resilience as compared to device-independent models.

quant-ph

Purifying photon indistinguishability through quantum interference

Indistinguishability between photons is a key requirement for scalable photonic quantum technologies. We experimentally demonstrate that partly distinguishable single photons can be purified to reach near-unity indistinguishability by the process of quantum interference with ancillary photons followed by heralded detection of a subset of them. We report on the indistinguishability of the purified photons by interfering two purified photons and show improvements in the photon indistinguishability of $2.774(3)$\% in the low-noise regime, and as high as $10.2(5)$ \% in the high-noise regime.

quant-ph

Experimental genuine quantum nonlocality in the triangle network

In the last decade, it was understood that quantum networks involving several independent sources of entanglement which are distributed and measured by several parties allowed for completely novel forms of nonclassical quantum correlations, when entangled measurements are performed. Here, we experimentally obtain quantum correlations in a triangle network structure, and provide solid evidence of its nonlocality. Specifically, we first obtain the elegant distribution proposed in (Entropy 21, 325) by performing a six-photon experiment. Then, we justify its nonlocality based on machine learning tools to estimate the distance of the experimentally obtained correlation to the local set, and through the violation of a family of conjectured inequalities tailored for the triangle network.

quant-ph

Semi-device-independent certification of indefinite causal order in a photonic quantum switch

We report an experimental certification of indefinite causal order that relies only on the characterization of the operations of a single party. We do so in the semi-device-independent scenario with the fewest possible assumptions of characterization of the parties' local operations in which indefinite causal order can be demonstrated with the quantum switch. To achieve this result, we introduce the concept of semi-device-independent causal inequalities and show that the correlations generated in a photonic quantum switch, in which all parties are able to collect local outcome statistics, achieve a violation of this inequality of 224 standard deviations. This result consists of the experimental demonstration of indefinite causal order with the fewest device-characterization assumptions to date.

quant-ph

Experimental demonstration of quantum cooling engine powered by entangled measurement

Traditional refrigeration is driven either by external force or an information-feedback mechanism. Surprisingly, the quantum measurement and collapse, which are generally detrimental, can also be used to power a cooling engine even without requiring any feedback mechanism. In this work, we experimentally demonstrate quantum measurement cooling (QMC) powered by entangled measurement by using a novel linear optical simulator. In the simulator, different thermodynamic processes can be simulated by adjusting the energy-level spacing of working substance and the temperature of thermal bath. We show experimentally that, without prior knowledge about the measurement to be made, QMC remains likely to occur. We also demonstrate that QMC is robust against measurement noise. Those experimental results show that quantum measurement is not always detrimental but can be a valuable thermodynamic resource.

quant-ph

Experimental beating the standard quantum limit under non-markovian dephasing environment

Entanglement enhanced quantum metrology has been well investigated for beating the standard quantum limit (SQL). However, the metrological advantage of entangled states becomes much more elusive in the presence of noise. Under strictly Markovian dephasing noise, the uncorrelated and maximally entangled states achieve exactly the same measurement precision. However, it was predicted that in a non-Markovian dephasing channel, the entangled probes can recover their metrological advantage. Here, by using a highly controlled photonic system, we simulate a non-Markovian dephasing channel fulfill the quadratic decay behaviour. Under such a channel, we demonstrate the GHZ states can surpass the SQL in a scaling manner, up to six photons. Since the quadratic decay behavior is quite general for short time expansion in open quantum systems (also known as the quantum Zeno effect), our results suggest a universal and scalable method to beat the SQL in the real-word metrology tasks.

quant-ph

Quantum simulation of indefinite causal order induced quantum refrigeration

In the classical world, physical events always happen in a fixed causal order. However, it was recently revealed that quantum mechanics allows events to occur with indefinite causal order (ICO). In this study, we use an optical quantum switch to experimentally investigate the application of ICO in thermodynamic tasks. Specifically, we simulate the working system interacting with two identical thermal reservoirs in an ICO, observing the quantum heat extraction even though they are in thermal equilibrium where heat extraction is unaccessible by traditional thermal contact. Using such a process, we simulate an ICO refrigeration cycle and investigate its properties. We also show that by passing through the ICO channel multiple times, one can extract more heat per cycle and thus obtain a higher refrigeration performance. Our results suggest that the causal nonseparability can be a powerful resource for quantum thermodynamic tasks.

quant-ph

Experimental Demonstration that No Tripartite-Nonlocal Causal Theory Explains Nature's Correlations

Quantum theory predicts the existence of genuinely tripartite-entangled states, which cannot be obtained from local operations over any bipartite entangled states and unlimited shared randomness. Some of us recently proved that this feature is a fundamental signature of quantum theory. The state $\left|{GHZ}_3\right\rangle=(\left|000\right\rangle+\left|111\right\rangle)/\sqrt{2}$ gives rise to tripartite quantum correlations which cannot be explained by any causal theory limited to bipartite nonclassical common causes of any kind (generalising entanglement) assisted with unlimited shared randomness. Hence, any conceivable physical theory which would reproduce quantum predictions will necessarily include genuinely tripartite resources. In this work, we verify that such tripartite correlations are experimentally achievable. We derive a new device-independent witness capable of falsifying causal theories wherein nonclassical resources are merely bipartite. Using a high-performance photonic $\left|{GHZ}_3\right\rangle$ states with fidelities of $ 0.9741\pm0.002$, we provide a clear experimental violation of that witness by more than $26.3$ standard deviation, under the locality and fair sampling assumption. We generalise our work to the $\left|{GHZ}_4\right\rangle$ state, obtaining correlations which cannot be explained by any causal theory limited to tripartite nonclassical common causes assisted with unlimited shared randomness.

quant-ph

Experimental Entanglement Quantification for Unknown Quantum States in a Semi-Device-Independent Manner

Using the concept of non-degenerate Bell inequality, we show that quantum entanglement, the critical resource for various quantum information processing tasks, can be quantified for any unknown quantum states in a semi-device-independent manner, where the quantification is based on the experimentally obtained probability distribution and beforehand knowledge on quantum dimension only. Specifically, as an application of our approach on multi-level systems, we experimentally quantify the entanglement of formation and the entanglement of distillation for qutrit-qutrit quantum systems. In addition, to demonstrate our approach for multi-partite systems, we further quantify the geometry measure of entanglement of three-qubit quantum systems. Our results supply a general way to reliably quantify entanglement in multi-level and multi-partite systems, thus paving the way to characterize many-body quantum systems by quantifying involved entanglement.

quant-ph

Experimental transmission of quantum information using a superposition of causal orders

Communication in a network generally takes place through a sequence of intermediate nodes connected by communication channels. In the standard theory of communication, it is assumed that the communication network is embedded in a classical spacetime, where the relative order of different nodes is well-defined. In principle, a quantum theory of spacetime could allow the order of the intermediate points between sender and receiver to be in a coherent superposition. Here we experimentally realise a table-top simulation of this exotic possibility on a photonic system, demonstrating high-fidelity transmission of quantum information over two noisy channels arranged in a superposition of two alternative causal orders.

quant-ph

Fragility of quantum correlations and coherence in a multipartite photonic system

Certain quantum states are well-known to be particularly fragile in the presence of decoherence, as illustrated by Schrodinger's famous gedanken cat experiment. It has been better appreciated more recently that quantum states can be characterized in a hierarchy of quantum quantities such entanglement, quantum correlations, and quantum coherence. It has been conjectured that each of these quantities have various degrees of fragility in the presence of decoherence. Here we experimentally confirm this conjecture by preparing tripartite photonic states and subjecting them to controlled amounts of dephasing. When the dephasing is applied to all the qubits, we find that the entanglement is the most fragile quantity, followed by the quantum coherence, then mutual information. This is in agreement with the widely held expectation that multipartite quantum correlations are a highly fragile manifestation of quantumness. We also perform dephasing on one out of the three qubits on star and $ W \bar{W} $ states. Here the distribution of the correlations and coherence in the state becomes more important in relation to the dephasing location.

quant-ph

Demonstrating quantum coherence and metrology that is resilient to transversal noise

Quantum systems can be exploited for disruptive technologies but in practice quantum features are fragile due to noisy environments. Quantum coherence, a fundamental such feature, is a basis-dependent property that is known to exhibit a resilience to certain types of Markovian noise. Yet, it is still unclear whether this resilience can be relevant in practical tasks. Here, we experimentally investigate the resilient effect of quantum coherence in a photonic Greenberger-Horne-Zeilinger state under Markovian bit-flip noise, and explore its applications in a noisy metrology scenario. In particular, using up to six-qubit probes, we demonstrate that the standard quantum limit can be outperformed under a transversal noise strength of approximately equal magnitude to the signal, providing experimental evidence of metrological advantage even in the presence of uncorrelated Markovian noise. This work highlights the important role of passive control in noisy quantum hardware, which can act as a low-overhead complement to more traditional approaches such as quantum error correction, thus impacting on the deployment of quantum technologies in real-world settings.

quant-ph

Distribution of high-dimensional orbital angular momentum entanglement at telecom wavelength over 1km of optical fibre

High-dimensional entanglement has demonstrated potential for increasing channel capacity and resistance to noise in quantum information processing. However, its distribution is a challenging task, imposing a severe restriction on its application. Here we report the first distribution of three-dimensional orbital angular momentum (OAM) entanglement via a 1-km-long optical fibre. Using an actively-stabilizing phase pre-compensation technique, we successfully transport one photon of a three-dimensional OAM entangled photon pair through the fibre. The distributed OAM entangled state still shows a fidelity up to 71\% with respect to the three-dimensional maximal-entangled-state (MES). In addition, we certify that the high-dimensional quantum entanglement survives the transportation by violating a generalized Bell inequality, obtaining a violation of $\sim3$ standard deviations with $I_{3}=2.12\pm0.04$. The method we developed can be extended to higher OAM dimension and larger distances in principle. Our results make a significant step towards future OAM-based high-dimensional long-distance quantum communication.

quant-ph

Detecting metrologically useful asymmetry and entanglement by a few local measurements

Important properties of a quantum system are not directly measurable, but they can be disclosed by how fast the system changes under controlled perturbations. In particular, asymmetry and entanglement can be verified by reconstructing the state of a quantum system. Yet, this usually requires experimental and computational resources which increase exponentially with the system size. Here we show how to detect metrologically useful asymmetry and entanglement by a limited number of measurements. This is achieved by studying how they affect the speed of evolution of a system under a unitary transformation. We show that the speed of multiqubit systems can be evaluated by measuring a set of local observables, providing exponential advantage with respect to state tomography. Indeed, the presented method requires neither the knowledge of the state and the parameter-encoding Hamiltonian nor global measurements performed on all the constituent subsystems. We implement the detection scheme in an all-optical experiment.

quant-ph