analiza aiqbench
This research presents explicit families of edge-colored graphs that provably generate Dicke states, addressing the computational hardness of verifying such quantum photonic experiments. By constructing a specific graph topology involving doubled complete subgraphs and auxiliary vertices, the authors provide a constructive solution to a problem where general verification is coNP-complete. This advancement offers practical tools for optimizing entanglement mapping and circuit synthesis in photonic quantum computing architectures.
Generating Dicke State Graphs
arXiv:2609.22564v1 Announce Type: new Abstract: Graph theory is a powerful tool in quantum computing, with applications ranging from quantum circuit synthesis and optimization to entanglement mapping. Recent work has shown how one can use edge-colored graphs to model photonic experiments that generate GHZ and W states. However, the latter work also proved that verifying that a graph models a Dicke state experiment is coNP-complete. In this work, we provide families of graphs that generate $|D_{k}^a\rangle \otimes |0\rangle^{\otimes b }$, where $b = |a-2k|$ is the number of spectator modes. The graph setup consists of a doubled complete subgraph on $a$ vertices and a collection of auxiliary vertices. We prove that every coincidence carries exactly $k$ excitations, every weight-$k$ computational basis state on bitstrings of length $a$ is realized, and each of those bitstrings is realized exactly $(n/2)!$ times, where $n = a+b$. Since verifying the Dicke FORALL condition is coNP-complete in general, constructing explicit families that provably generate Dicke states is of interest.
Abstract:Graph theory is a powerful tool in quantum computing, with applications ranging from quantum circuit synthesis and optimization to entanglement mapping. Recent work has shown how one can use edge-colored graphs to model photonic experiments that generate GHZ and W states. However, the latter work also proved that verifying that a graph models a Dicke state experiment is coNP-complete. In this work, we provide families of graphs that generate $|D_{k}^a\rangle \otimes |0\rangle^{\otimes b }$, where $b = |a-2k|$ is the number of spectator modes. The graph setup consists of a doubled complete subgraph on $a$ vertices and a collection of auxiliary vertices. We prove that every coincidence carries exactly $k$ excitations, every weight-$k$ computational basis state on bitstrings of length $a$ is realized, and each of those bitstrings is realized exactly $(n/2)!$ times, where $n = a+b$. Since verifying the Dicke FORALL condition is coNP-complete in general, constructing explicit families that provably generate Dicke states is of interest.
Quantum Physics (quant-ph); Combinatorics (math.CO)
arXiv:2609.22564 [quant-ph]
(or arXiv:2609.22564v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2609.22564 Focus to learn more arXiv-issued DOI via DataCite (pending registration)
arXivLabs is a framework that allows collaborators to develop and share new arXiv features directly on our website.
Both individuals and organizations that work with arXivLabs have embraced and accepted our values of openness, community, excellence, and user data privacy. arXiv is committed to these values and only works with partners that adhere to them.
Have an idea for a project that will add value for arXiv's community? Learn more about arXivLabs.
Text integral sub licența deschisă a publicației · 254 cuvinte
Subiecte conexe

Efficient Graph State Generation in Linear Optics
Quantum Journal · 13 aug. 2026

Researchers Automate Creation of Entangled Photonic Circuits
Quantum Zeitgeist · 17 sept. 2026

Sampled-Based Guided Quantum Walk: Non-variational quantum algorithm for combinatorial optimization
Quantum Journal · 13 oct. 2026

Researchers Entangle 13 Photons to Build Larger Quantum Graphs
Quantum Zeitgeist · 16 oct. 2026