Complexity of graph-state preparation by Clifford circuits

• URL: http://arxiv.org/abs/2402.05874v2
• Date: Mon, 14 Apr 2025 14:17:38 GMT
• Title: Complexity of graph-state preparation by Clifford circuits
• Authors: Soh Kumabe, Ryuhei Mori, Yusei Yoshimura,
• Abstract summary: We consider general quantum algorithms acting on at most two qubits for graph-state preparations.<n>We show a connection between the CZ-complexity of graph state $|Grangle$ and the rank-width of the graph $G$.<n>We present quantum algorithms for preparing graph states for three specific graph classes related to intervals: interval graphs, interval containment graphs, and circle graphs.
• Score: 2.4032529562561176
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: In this work, we study the complexity of graph-state preparation. We consider general quantum algorithms consisting of Clifford operations acting on at most two qubits for graph-state preparations. We define the CZ-complexity of a graph state $|G\rangle$ as the minimum number of two-qubit Clifford operations (excluding single-qubit Clifford operations) for generating $|G\rangle$ from a trivial state $|0\rangle^{\otimes n}$. We first prove that a graph state $|G\rangle$ is generated by at most $t$ two-qubit Clifford operations if and only if $|G\rangle$ is generated by at most $t$ controlled-Z (CZ) operations. We next prove that a graph state $|G\rangle$ is generated from another graph state $|H\rangle$ by $t$ CZ operations if and only if the graph $G$ is generated from $H$ by some combinatorial graph transformation with cost $t$. As the main results, we show a connection between the CZ-complexity of graph state $|G\rangle$ and the rank-width of the graph $G$. Indeed, we prove that for any graph $G$ with $n$ vertices and rank-width $r$, 1. The CZ-complexity of $|G\rangle$ is $O(rn)$. 2. If $G$ is connected, the CZ-complexity of $|G\rangle$ is at least $n + r - 2$. We also demonstrate the existence of graph states whose CZ-complexities are close to the upper and lower bounds. Finally, we present quantum algorithms for preparing graph states for three specific graph classes related to intervals: interval graphs, interval containment graphs, and circle graphs. We prove that the CZ-complexity is $O(n)$ for interval graphs, and $O(n\log n)$ for both interval containment graphs and circle graphs.

Related papers

• Preparing graph states forbidding a vertex-minor [1.864621482724548]
  Measurement based quantum computing is preformed by adding non-Clifford measurements to a prepared stabilizer states. Every stabilizer state is local-Clifford equivalent to a graph state, so we may focus on graph states $leftvert G rightrangle$. We obtain significantly improved bounds when $G$ is contained within certain proper classes of graphs.
  arXiv  Detail & Related papers  (2025-03-31T23:25:35Z)
• Pulsation of quantum walk on Johnson graph [0.0]
  We propose a phenomenon of discrete-time quantum walks on graphs called the pulsation. The pulsation means that the state periodically transfers between $G_1$ and $G_2$ with the initial state of the uniform superposition. The proof is based on Kato's theory in finite-dimensional vector spaces.
  arXiv  Detail & Related papers  (2024-11-03T07:32:19Z)
• Implementation of Continuous-Time Quantum Walk on Sparse Graph [0.0]
  Continuous-time quantum walks (CTQWs) play a crucial role in quantum computing. How to efficiently implement CTQWs is a challenging issue. In this paper, we study implementation of CTQWs on sparse graphs.
  arXiv  Detail & Related papers  (2024-08-20T05:20:55Z)
• Graph Unfolding and Sampling for Transitory Video Summarization via Gershgorin Disc Alignment [48.137527345353625]
  User-generated videos (UGVs) uploaded from mobile phones to social media sites like YouTube and TikTok are short and non-repetitive. We summarize a transitory UGV into several discs in linear time via fast graph sampling based on Gershgorin disc alignment (GDA) We show that our algorithm achieves comparable or better video summarization performance compared to state-of-the-art methods, at a substantially reduced complexity.
  arXiv  Detail & Related papers  (2024-08-03T20:08:02Z)
• Quantum walks on join graphs [0.0]
  We explore the behaviour of a continuous quantum walk on a weighted join graph having the adjacency matrix or Laplacian matrix as its associated Hamiltonian. We characterize strong cospectrality, periodicity and perfect state transfer (PST) in a join graph. We demonstrate that the bound $frac2|V(X)|$ is tight for infinite families of graphs.
  arXiv  Detail & Related papers  (2023-12-12T00:33:30Z)
• Quantum walks on blow-up graphs [0.0]
  A blow-up of $n$ copies of a graph $G$ is the graph $oversetnuplusG$. We investigate the existence of quantum state transfer on a blow-up graph $oversetnuplusG$.
  arXiv  Detail & Related papers  (2023-08-26T14:07:25Z)
• Rule-based Graph Repair using Minimally Restricted Consistency-Improving Transformations [65.268245109828]
  We introduce new notions of consistency, which we call consistency-maintaining and consistency-increasing transformations and rules. We present an rule-based graph repair approach that is able to repair so-called emphcircular conflict-free constraints.
  arXiv  Detail & Related papers  (2023-07-18T11:20:54Z)
• Online Learning with Feedback Graphs: The True Shape of Regret [82.00098840619847]
  We prove that the minimax regret is proportional to $R*$ for any graph and time horizon $T$. Introducing an intricate exploration strategy, we define the mainAlgorithm algorithm that achieves the minimax optimal regret bound.
  arXiv  Detail & Related papers  (2023-06-05T15:35:00Z)
• On the Unlikelihood of D-Separation [69.62839677485087]
  We provide analytic evidence that on large graphs, d-separation is a rare phenomenon, even when guaranteed to exist. For the PC Algorithm, while it is known that its worst-case guarantees fail on non-sparse graphs, we show that the same is true for the average case. For UniformSGS, while it is known that the running time is exponential for existing edges, we show that in the average case, that is the expected running time for most non-existing edges as well.
  arXiv  Detail & Related papers  (2023-03-10T00:11:18Z)
• AnchorGAE: General Data Clustering via $O(n)$ Bipartite Graph Convolution [79.44066256794187]
  We show how to convert a non-graph dataset into a graph by introducing the generative graph model, which is used to build graph convolution networks (GCNs) A bipartite graph constructed by anchors is updated dynamically to exploit the high-level information behind data. We theoretically prove that the simple update will lead to degeneration and a specific strategy is accordingly designed.
  arXiv  Detail & Related papers  (2021-11-12T07:08:13Z)
• Fast Graph Sampling for Short Video Summarization using Gershgorin Disc Alignment [52.577757919003844]
  We study the problem of efficiently summarizing a short video into several paragraphs, leveraging recent progress in fast graph sampling. Experimental results show that our algorithm achieves comparable video summarization as state-of-the-art methods, at a substantially reduced complexity.
  arXiv  Detail & Related papers  (2021-10-21T18:43:00Z)
• Exact Matching of Random Graphs with Constant Correlation [2.578242050187029]
  This paper deals with the problem of graph matching or network alignment for ErdHos--R'enyi graphs. It can be viewed as a noisy average-case version of the graph isomorphism problem.
  arXiv  Detail & Related papers  (2021-10-11T05:07:50Z)
• Local classical MAX-CUT algorithm outperforms $p=2$ QAOA on high-girth regular graphs [0.0]
  We show that for all degrees $D ge 2$ of girth $> 5$, QAOA$ has a larger expected cut fraction than QAOA$$ on $G$. We conjecture that for every constant $p$, there exists a local classical MAX-CUT algorithm that performs as well as QAOA$_p$ on all graphs.
  arXiv  Detail & Related papers  (2021-01-14T09:17:20Z)
• An Optimal Separation of Randomized and Quantum Query Complexity [67.19751155411075]
  We prove that for every decision tree, the absolute values of the Fourier coefficients of a given order $ellsqrtbinomdell (1+log n)ell-1,$ sum to at most $cellsqrtbinomdell (1+log n)ell-1,$ where $n$ is the number of variables, $d$ is the tree depth, and $c>0$ is an absolute constant.
  arXiv  Detail & Related papers  (2020-08-24T06:50:57Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.