arXiv:2602.21808

Imperfect Graphs from Unitary Matrices -- I

Wesley Lewis, Darsh Pareek, Umesh Kumar, Ravi Janjam

quant-phmath-phphysics.comp-phSubmitted Feb 25, 2026• Announced Feb 26, 2026• 0 citations

Abstract

Matrix representations of quantum operators are computationally complete but often obscure the structural topology of information flow within a quantum circuit \cite{nielsen2000}. In this paper, we introduce a generalized graph-theoretic framework for analyzing quantum operators by mapping unitary matrices to directed graphs; we term these structures \emph{Imperfect Graphs} or more formally as \emph{Topological Structure of Superpositions}(TSS) as a tool to devise better Quantum Algorithms. In this framework, we represent computational basis states as vertices. A directed edge exists between two vertices if and only if there is a non-zero amplitude transition between them, effectively mapping the support of the unitary operator. In this paper we deliberately discard probability amplitudes and phase information to isolate the connectivity and reachability properties of the operator. We demonstrate how TSS intuitively helps describe gates such as the Hadamard, Pauli-(X,Y,Z) gates, etc \cite{nielsen2000}. This framework provides a novel perspective for viewing quantum circuits as discrete dynamical systems \cite{childs2009,aharonov2001} Keywords: Quantum Algorithms, Unitary Matrix Approach, Topological Structure of Superpositions (TSS), Graph Theory

Related papers

Quantum encoding of dynamic directed graphs

Davide Della Giustina, C. Londero, Carla Piazza +2 more

In application domains such as routing, network analysis, scheduling, and planning, directed graphs are widely used as both formal models and core data structures for the development of efficient algorithmic solutions. In these areas, graphs are often evolving in time: for example, connection links may fail due to temporary technical issues, meaning that edges of the graph cannot be traversed for some time interval and alternative paths have to be followed. In classical computation graphs have been implemented both explicitly through adjacency matrices/lists and symbolically as ordered binary decision diagrams. Moreover, ad-hoc visit procedures have been developed to deal with dynamically evolving graphs. Quantum computation, exploiting interference and entanglement, has provided an exponential speed-up for specific problems, e.g., database search and integer factorization. In the quantum framework everything must be represented and manipulated using reversible operators. This poses a challenge when one has to deal with traversals of dynamically evolving directed graphs. Graph traversals are not intrinsically reversible because of converging paths. In the case of dynamically evolving graphs also the creation/destruction of paths comes into play against reversibility. In this paper we propose a novel high level graph representation in quantum computation supporting dynamic connectivity typical of real-world network applications. Our procedure allows to encode any multigraph into a unitary matrix. We devise algorithms for computing the encoding that are optimal in terms of time and space and we show the effectiveness of the proposal with some examples. We describe how to react to edge/node failures in constant time. Furthermore, we present two methods to perform quantum random walks taking advantage of this encoding: with and without projectors. We implement and test our encoding obtaining that the theoretical bounds for the running time are confirmed by the empirical results and providing more details on the behavior of the algorithms over graphs of different densities.

Journal of Logical and Algebraic Methods in ProgrammingOct 26, 20234 citations

Hamiltonian Simulation and Linear Combination of Unitary Decomposition of Structured Matrices

Robin Ollive, Stéphane Louise

To process a problem with a Quantum Processing Unit (QPU), it must be transformed into a sequence of quantum operators, or gates. These operators are either packed into a query (i.e. quantum algorithm primitive) that encodes the problem, or used to construct the cost function for Variationnal Quantum Algorithm (VQA). Typical queries are the problem Hamiltonian Simulation (HS) and the problem Block-Encoding (BEing). To construct the circuits associated with the quantum description, the problem must be mapped as a Linear Combination of Hamiltonian (LCH) or a Linear Combination of nitaries (LCU) matrices. All the summed Hamiltonian matrices or unitary matrices must have a known decomposition in basic gates. The complexity of this query should be incorporated into the quantum algorithm's query complexity, thereby limiting the processing possibilities of QPU for many problems. In this work, we propose Hamiltonian matrices used to map the problem of interest, and that behave like a single qubit when expressed in the appropriate basis. It leads to a framework, the Special Tripotent Hamiltonian (STH) Framework, able to implement most of the typical problems considered for quantum computing. These methods address many problems implemented on QPUs, ranging from second-quantization chemistry operators to graphs associated with Partial Differential Equations (PDE), sparse matrices, and higher-order optimization problems. This work underlines interesting properties associated with the STH basic gate decomposition. These include the ability to switch between LCH and LCU, map non-Hermitian problems, and construct the quantum circuit queries required for quantum computing. We also provide a list of STH that are used for the matrix decomposition of many structured matrices. These structured matrices are associated with graph adjacency matrices that can be combined to implement structured matrices.

quant-pharXiv:2603.17816Mar 19, 20260 citations

Towards topological quantum computer

Dmitry Melnikov, Andrei Dmitrievich Mironov, С.А. Миронов +2 more

Quantum R-matrices, the entangling deformations of non-entangling (classical) permutations, provide a distinguished basis in the space of unitary evolutions and, consequently, a natural choice for a minimal set of basic operations (universal gates) for quantum computation. Yet they play a special role in group theory, integrable systems and modern theory of non-perturbative calculations in quantum field and string theory. Despite recent developments in those fields the idea of topological quantum computing and use of R-matrices, in particular, practically reduce to reinterpretation of standard sets of quantum gates, and subsequently algorithms, in terms of available topological ones. In this paper we summarize a modern view on quantum R-matrix calculus and propose to look at the R-matrices acting in the space of irreducible representations, which are unitary for the real-valued couplings in Chern–Simons theory, as the fundamental set of universal gates for topological quantum computer. Such an approach calls for a more thorough investigation of the relation between topological invariants of knots and quantum algorithms.

arXiv:1703.00431Nuclear Physics BDec 2, 201736 citations

Categorical Tensor-Graph Semantics for Quantum Algorithms

Naihong Hu, Ruining Li, Futao Wang

This paper investigates foundational quantum computing protocols from the intuitive perspective of categorical tensor-graph semantics within the category \textbf{FHilb}. While conventional Hilbert-space formalisms often conceal the structural nature of quantum algorithms behind high-dimensional matrix operations, the topological framework directly encodes algorithmic functionalities into their graphical skeletons. We provide a comprehensive topological reinterpretation of the Bernstein--Vazirani and Simon algorithms, demonstrating how topological transformations distill their core mathematical essence and clarify the operational mechanisms of oracles. Going beyond the standard qubit model, we construct explicit representations for the qutrit-adapted topological Deutsch--Jozsa and single-shot Grover algorithms. In particular, we establish a necessary and sufficient condition for the single-shot Grover search. We further implement CNOT gates via complementary Frobenius structures and investigate a diagrammatic decomposition scheme for the W-state preparation protocol. By bridging tensor category theory with practical quantum algorithmic design, this work furnishes a composable, scalable diagrammatic toolkit essential for automated circuit optimization across the evolving quantum hardware ecosystem.

quant-pharXiv:2607.12128Jul 15, 20260 citations

Theory of measurement-based quantum computing

Niel de Beaudrap

In the study of quantum computation, data is represented in terms of linear operators which form a generalized model of probability, and computations are most commonly described as products of unitary transformations, which are the transformations which preserve the quality of the data in a precise sense. This naturally leads to "unitary circuit models", which are models of computation in which unitary operators are expressed as a product of "elementary" unitary transformations. However, unitary transformations can also be effected as a composition of operations which are not all unitary themselves: the "one-way measurement model" is one such model of quantum computation. In this thesis, we examine the relationship between representations of unitary operators and decompositions of those operators in the one-way measurement model. In particular, we consider different circumstances under which a procedure in the one-way measurement model can be described as simulating a unitary circuit, by considering the combinatorial structures which are common to unitary circuits and two simple constructions of one-way based procedures. These structures lead to a characterization of the one-way measurement patterns which arise from these constructions, which can then be related to efficiently testable properties of graphs. We also consider how these characterizations provide automatic techniques for obtaining complete measurement-based decompositions, from unitary transformations which are specified by operator expressions bearing a formal resemblance to path integrals. These techniques are presented as a possible means to devise new algorithms in the one-way measurement model, independently of algorithms in the unitary circuit model.

arXiv:0812.2869Dec 15, 20080 citations

Random Unitary Matrices Associated to a Graph

Paweł Kondratiuk, Karol Życzkowski

We analyze composed quantum systems consisting of k subsystems, each described by states in the n-dimensional Hilbert space.Interaction between subsystems can be represented by a graph, with vertices corresponding to individual subsystems and edges denoting a generic interaction, modeled by random unitary matrices of order n 2 .The global evolution operator is represented by a unitary matrix of size N = n k .We investigate statistical properties of such matrices and show that they display spectral properties characteristic to the Haar random unitary matrices provided the corresponding graph is connected.Thus basing on random unitary matrices of a small size n 2 one can construct a fair approximation of large random unitary matrices of size n k .Graph-structured random unitary matrices investigated here allow one to dene the corresponding structured ensembles of random pure states.

arXiv:1311.3585Acta Physica Polonica ADec 1, 20134 citations