Algorithmic Graph-Search Design of Heralded Linear Optical Circuits for Multipartite Entanglement: A Reconciled Quantitative Assessment
Rowan Brad Quni-Gudzinas
Abstract
Heralded multipartite photonic entanglement underpins quantum communication, distributed sensing, and fault-tolerant computation, yet the manual synthesis of linear-optical circuits that generate a prescribed target state remains a combinatorial bottleneck. A recent preprint [1,2] recasts this design task as an algorithmic graph-search problem in the linear quantum graph (LQG) picture, reporting automated discovery of heralded circuits for hypergraph magic states, quantum error-correcting code states, general three-qubit states, and length-1 caterpillar graph states. This paper provides a single reconciled synthesis and quantitative appraisal. We formalize the search-space reduction claimed by the LQG representation with explicit combinatorial counts: for a representative six-mode, three-beam-splitter budget, raw circuit enumeration (3,375 ordered-slot instances) reduces to 455 graph instances, a factor of ≈7.4 (up to ≈44.5 under a reordering-inclusive convention), growing to ≈151 at ten modes and five beam splitters. We derive heralding probabilities for canonical fusion-based constructions: a three-qubit GHZ state via type-II fusion succeeds with probability p²/2 per trial (5×10⁻³ at source probability p = 0.1), and a four-qubit caterpillar projection spans [3.2×10⁻⁷, 7.5×10⁻³] across plausible hardware ranges — showing that hardware parameters, not circuit topology, dominate success probability. We further derive multiplexing arithmetic (a p = 0.01 circuit needs ≈458 attempts for 99% cumulative success; 64-fold multiplexing converts this to 8 rounds of 64 executions (512 total, ≈12% more than the unmultiplexed 458) and loss-limited fidelity bounds F ≈ η^{2q}. We identify falsification criteria and the decisive open problems: graph-isomorphism overhead, ancilla-mode blowup, loss-aware search objectives, and scalability beyond the demonstrated q ≤ 4 target classes. ## 1. Introduction Photons are attractive carriers of quantum information: they decohere negligibly Full text and updates: papers.qnfo.org/papers/algorithmic-graph-search-design-of-heralded-linear-optical-circuits-for-multipar/