Fully constructive design methodology for arbitrary heralded state generation

Determine whether a fully constructive design methodology exists for generating arbitrary heralded quantum states, beyond the indirect procedure of graph enumeration, graph search, and graph-to-circuit translation used for heralded linear-optical circuit design.

Background

The paper presents an algorithmic framework that designs heralded linear-optical circuits indirectly. It first enumerates effective perfect matching (EPM) graphs, searches the resulting repository for graphs that generate a desired multipartite entangled state, and then translates the selected graph into an optical circuit. This approach successfully produces circuits for several resource states and reveals patterns leading to general constructions.

The authors note that the current procedure does not establish whether arbitrary heralded state-generation circuits can instead be obtained through a direct constructive method. Such a methodology would complement or replace exhaustive graph enumeration and could provide a more scalable route to designing heralded linear-optical schemes for increasingly complex target states.