Arxiv:2003.01910V2 [Quant-Ph] 16 Mar 2020 Machinery of Graph Theory
Total Page:16
File Type:pdf, Size:1020Kb
Quantum Experiments and Hypergraphs: Multi-Photon Sources for Quantum Interference, Quantum Computation and Quantum Entanglement Xuemei Gu,1, ∗ Lijun Chen,1, y and Mario Krenn2, z 1State Key Laboratory for Novel Software Technology, Nanjing University, 163 Xianlin Avenue, Qixia District, 210023, Nanjing City, China. 2Department of Chemistry & Computer Science, University of Toronto, Canada & Vector Institute for Artificial Intelligence, Toronto, Canada. (Dated: March 17, 2020) We introduce the concept of hypergraphs to describe quantum optical experiments with prob- abilistic multi-photon sources. Every hyperedge represents a correlated photon source, and every vertex stands for an optical output path. Such general graph description provides new insights for producing complex high-dimensional multi-photon quantum entangled states, which go beyond limitations imposed by pair creation via spontaneous parametric down-conversion. Furthermore, properties of hypergraphs can be investigated experimentally. For example, the NP-Complete prob- lem of deciding whether a hypergraph has a perfect matchin can be answered by experimentally detecting multi-photon events in quantum experiments. By introducing complex weights in hyper- graphs, we show a general many-particle quantum interference and manipulating entanglement in a pictorial way. Our work paves the path for the development of multi-photon high-dimensional state generation and might inspire new applications of quantum computations using hypergraph mappings. I. INTRODUCTION been developed to describe quantum states and lo- cal unitaries [13]. Also, directed graphs have recently Graph-theoretical concepts are widely used in mul- been investigated in order to simplify certain calcula- tidisciplinary research involving physics, chemistry, tions in quantum optics, by representing creation and neuroscience and computer sciences, among others. annihilation operators in a visual way [14]. Considerable progress has taken place in recent years Recently, an entirely different method of connect- in the direction of applying graph theory in quantum ing graphs in quantum physics has been introduced, physics. Their connections have been carried out ex- by showing that Graphs can capture essential ele- plicitly leading to many interesting and complemen- ments of quantum optical experiments [15{17]. The tary works. A well-known example is the so-called graph-experiment connection exploits the fact that graph states, the structure of which can be described the most common sources of photonic entanglement in a concise and fruitful way by mathematical graphs are spontaneous parametric down-conversion (SPDC) [1]. These states form a universal resource for quan- [18], which is a nonlinear process that probabilistic tum computing based on measurements [2, 3] and later creates photon pairs. Those photon pairs are then in- has been generalized to continuous-variable quantum terpreted as two vertices connected by an edge. This computation [4], using an interesting connection be- simple idea has been exploited in [15{17] to under- tween gaussian states and graphs [5]. Graphs have stand better the generalization of quantum states, also been used to study collective phases of quantum quantum information protocols and for gaining new systems [6], characterize quantum correlations [7] and insights towards quantum computation. investigate quantum random networks [8, 9]. Can such graph-experiment concept be extended A graph theoretical approach to quantum mechan- and applied in the quantum experiments with other ics would also help to amalgamate visualization of- probabilistic photon sources that are not restricted fered by graphs with the well developed mathematical to pairs of photons such as SPDC? The answer is arXiv:2003.01910v2 [quant-ph] 16 Mar 2020 machinery of graph theory. For example, a very pow- positive and this motivates us to provide a general erful pictorial tool for making calculations in quan- description for quantum experiments using different tum mechanical theory is Feynman diagrams, which probabilistic photon sources, for example experimen- is indispensable in the context of quantum electro- tally single-photon sources in form of the attenuated dynamics [10]. Moreover, quantum processes such as lasers or sources that can produce n > 2 photon tu- teleportation, logic-gate teleportation, entanglement ples. For convenience, we call all these probabilistic swapping, etc. can be captured at a more abstract sources as n-photon sources, which produces n corre- level [11, 12]. A different graphical representation has lated photons for the rest of the paper. Therefore, a single-photon source in the form of attenuated lasers is just a 1-photon source, and the SPDC-based non- ∗ [email protected] linear crystal is a 2-photon source. y [email protected] Hypergraphs are generalizations of graphs [19, 20], z [email protected] which have caused a significant interest in applications 2 hypergraph - A B H |0 |1 vertex III ⟩ ⋅ ⟩ I II ⋅ edge |0,0 |0,0 ⋅ IV graph - G hypergraph - H III VI ⋅ ⟩ ⟩ | > = Figure 1. An example of graphs and hypergraphs. In a +1 +1 +1 +1 graph, an edge connects only a pair of vertices, but an � ⋅ ⋅푚 edge of a hypergraph { known as hyperedge { can connect |0,0 |0,0 = + I II an arbitrary number of vertices. ⋅ ⋅ ⋅ ⋅ ⟩ ⟩ |0000 |1111 ⋅ ⋅ ⋅ ⋅ ⟩ ⟩ Table I. The analogies between hypergraphs and quantum Figure 2. Hypergraph-Experiment link for producing 2- experiments. dimensional 4-particle GHZ states. A: Four nonlinear crystals (gray squares) are pumped coherently, and the Hypergraphs Quantum Experiments pump laser can be set such that two photon pairs are cre- undirected hypergraphs quantum optical setup with ated with reasonable probabilities. A photon's mode num- n-photon sources bers can be changed by inserting variable mode shifters vertex optical output path (yellow squares) in the photon's path. The final quantum hyperedge n-photon sources state is obtained when four detectors click simultaneously. colors in the boundary of photon's mode numbers B: Its hypergraph H with four vertices (one for a pho- the hyperedge ton's output path) and four hyperedges (one for a crys- colors in the region of the phases between photons tal). The color of the boundary of a hyperedge stands for hyperedge the photons' mode numbers, such as red is j1i and green transparency in the region amplitudes of photons j0i. The color (for instances light yellow) in the region of the hyperedge of the hypergraph depicts global phases. A four-fold co- perfect matchings N-fold coincidences incidence event is described as a perfect matching of the hypergraph, which is a collection of edges covering all ver- tices only once. Thus the post-selection quantum state is given as j i = p1 (j0000i + j1111i). to real-world problems. Here we show that hyper- 2 graphs are a suitable mathematical model and effec- tive tool for quantum experiments. Our contributions are: 1) We introduce a mapping between hypergraphs pret the results of a previously introduced quantum and quantum experiments, and properties of hyper- interference experiment (Section V). graphs capture properties of the experiments (Section II). 2) We show how this mapping can be used to de- sign quantum experiments in an abstract and system- II. QUANTUM EXPERIMENTS AND atic way (Section III). 3) Thereby, we find entirely HYPERGRAPHS concepts of new setups for the generation of com- plex quantum states, using a combination of 1- and 2- Here we briefly review some basic notation and ter- photon sources. Those setups can be performed exper- minology of hypergraphs that will be useful later. For- imentally with standard quantum optics technology, mally speaking, a hypergraph H is a pair H = fV; Eg, and use less resources than state-of-the-art techniques where V = fviji = 1; 2; :::; xg is the set of x vertices (Section IIIA). 4) With the mapping, we also find new (or nodes) and E = feiji = 1; 2; :::; yg is the set of y experimental configurations that overcome limitations hyperedges. The number of vertices that a hyperedge from linear-optics experiments using SPDC crystals. e contained (or the degree of a hyperedge) is denoted It allows to produce much higher-dimensionally entan- as d(e) and the number of hyperedges that a vertex v gled Greenberger-Horne-Zeilinger (GHZ) states than involved (or the degree of a vertex) is denoted as d(v). possible with SPDC (Section IIIB). 5) The abstract A hypergraph is called k-uniform, if every hyperedge structure of hypergraphs for describing experiments contains exactly k vertices, i.e., d(e) = k; 8e 2 E. let us identify mathematical challenges in hyper- Clearly, an ordinary graph is a special case of hyper- graphs and translate them to experimental setups. In graphs where d(e) = 2, namely a 2-uniform hyper- particular, we show that hypergraph-generalizations graph. An example of graphs and hypergraphs is given of BosonSampling (which is in different complexity in Fig. 1. classes as the standard approaches) can simply be de- Now we start with a simple quantum experiment to signed using the new hypergraph mapping (Section illustrate how we update the graph-experiment link IV). 6) We show that hypergraphs can be used to to hypergraphs in Fig. 2. There all nonlinear crys- understand interference structures in complex exper- tals are pumped coherently. As the SPDC process is iments intuitively with pictures. Thereby, we reinter- entirely probabilistic, it means the probability of ob- 3 taining two pairs from one crystal or one pair from two A ⋅ |0 B 푎 푏 푐 crystals is the same. Such situations and even multi- ⋅ |1 ple pair emissions from SPDC are unavoidable. How- 푎 ever, one can adjust the pump power such that these ⋅ Setup: |0,0 cases are in a sufficiently low probability which can be C2 safely neglected. Therefore, we can adjust the laser power such that only two photon pairs are created 푏 ⋅ ⋅ 푐 +1 +1 +1 with reasonable probabilities [21]. Every photon path |0,0 represents a vertex and every nonlinear crystal corre- C1 sponds to an edge [15, 17].