aiqbench analysis
This thesis advances foundational protocols for quantum measurement by utilizing representation theory to construct harmonic tight frames via POVMs. By deriving necessary conditions for state separability and entanglement within bipartite systems, the work provides a theoretical framework that could simplify circuit design using Fourier matrices. These developments directly impact the efficiency of implementing specific unitary actions in near-term quantum hardware.
Designing tight frames for quantum computing
arXiv:2607.27247v1 Announce Type: new Abstract: The aim of this thesis is to explore the implementation of a special kind of quantum measurements, so called harmonic tight frames. To achieve this goal, representation theory is addressed, emphasizing its construction from irreducible representations and the relations they satisfy. These tools simplify the study due to the existence of symmetries, leading to the concept of group frames, defined as orbits under the unitary action of a group and characterized by their symmetry groups. Among the various groups, the simplest are the abelian ones, giving rise to harmonic frames, which are analyzed through the classification theorem of abelian groups and the characters of their irreducible representations. In the quantum mechanics context, the frame elements can be interpreted as pure states of a system. Therefore, the necessary and sufficient conditions for separability are explored, as separable states are easier to implement due to their local nature. Alternatively, when viewing frames as measurements, the concept of POVMs and Naimark's theorem are studied as key tools for designing measurements in quantum computers. Using this knowledge, a characterization of the harmonic frames is given from the abelian group structure theorem, which allows obtaining a necessary and sufficient condition for their separability. The conditions of maximum entanglement of these states for bipartite systems are also studied, obtaining a necessary condition on the dimensions of the subsystems. Finally, a quantum circuit is obtained that allows implementing the harmonic frames associated to cyclic groups as POVMs using a Fourier matrix and a permutation matrix. We conclude by giving simple examples where the results are applied to quantum computers and proposing future avenues of research that could serve to improve the circuit design and extend it to the case of all harmonic frames.
Abstract:The aim of this thesis is to explore the implementation of a special kind of quantum measurements, so called harmonic tight frames. To achieve this goal, representation theory is addressed, emphasizing its construction from irreducible representations and the relations they satisfy. These tools simplify the study due to the existence of symmetries, leading to the concept of group frames, defined as orbits under the unitary action of a group and characterized by their symmetry groups. Among the various groups, the simplest are the abelian ones, giving rise to harmonic frames, which are analyzed through the classification theorem of abelian groups and the characters of their irreducible representations. In the quantum mechanics context, the frame elements can be interpreted as pure states of a system. Therefore, the necessary and sufficient conditions for separability are explored, as separable states are easier to implement due to their local nature. Alternatively, when viewing frames as measurements, the concept of POVMs and Naimark's theorem are studied as key tools for designing measurements in quantum computers. Using this knowledge, a characterization of the harmonic frames is given from the abelian group structure theorem, which allows obtaining a necessary and sufficient condition for their separability. The conditions of maximum entanglement of these states for bipartite systems are also studied, obtaining a necessary condition on the dimensions of the subsystems. Finally, a quantum circuit is obtained that allows implementing the harmonic frames associated to cyclic groups as POVMs using a Fourier matrix and a permutation matrix. We conclude by giving simple examples where the results are applied to quantum computers and proposing future avenues of research that could serve to improve the circuit design and extend it to the case of all harmonic frames.
Licenciatura thesis, Pontificia Universidad Católica de Chile, 2024. Advisor: Dardo Goyeneche. 65 pages
arXiv:2607.27247 [quant-ph]
(or arXiv:2607.27247v1 [quant-ph] for this version)
https://doi.org/10.48550/arXiv.2607.27247 Focus to learn more arXiv-issued DOI via DataCite
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.
Full text under the publisher's open licence · 388 words
Related coverage

The Two-Century Path That Made Quantum Computing Inevitable
Quantum Computing Report · Sep 28, 2026

Jan Goetz, The Complete Story Of The Physicist Who Took IQM To Nasdaq
Quantum Zeitgeist · Aug 4, 2026

Chris Ballance, The British Quantum Entrepreneur Who Put Ion Traps On A Chip
Quantum Zeitgeist · Aug 5, 2026

AI and Quantum Computing Briefing
livetradingnews.com · Aug 4, 2026