arXiv subjects
Publications and source records attributed to Atsushi Matsuo.
We advocate the sparsification of bosonic SYK models as a promising arena for the exploration of quantum advantage. We initiate the study of quantum simulations of the models, both in classical simulators and on quantum devices implemented using superconducting qubits. We point out subtleties in the quantum simulations of highly chaotic systems, which should be addressed in the future search for quantum advantage.
We present Qiskit Machine Learning (ML), a high-level Python library that combines elements of quantum computing with traditional machine learning. The API abstracts Qiskit's primitives to facilitate interactions with classical simulators and quantum hardware. Qiskit ML started as a proof-of-concept code in 2019 and has since been developed to be a modular, intuitive tool for non-specialist users while allowing extensibility and fine-tuning controls for quantum computational scientists and developers. The library is available as a public, open-source tool and is distributed under the Apache version 2.0 license.
We present a novel approach for improving the design of ansatzes in Quantum Generative Adversarial Networks (qGANs) by leveraging Large Language Models (LLMs). By combining the strengths of LLMs with qGANs, our approach iteratively refines ansatz structures to improve accuracy while reducing circuit depth and the number of parameters. This study paves the way for further exploration in AI-driven quantum algorithm design. The flexibility of our proposed workflow extends to other quantum variational algorithms, providing a general framework for optimizing quantum circuits in a variety of quantum computing tasks.
The past decade has witnessed significant advancements in quantum hardware, encompassing improvements in speed, qubit quantity, and quantum volume-a metric defining the maximum size of a quantum circuit effectively implementable on near-term quantum devices. This progress has led to a surge in Quantum Machine Learning (QML) applications on real hardware, aiming to achieve quantum advantage over classical approaches. This survey focuses on selected supervised and unsupervised learning applications executed on quantum hardware, specifically tailored for real-world scenarios. The exploration includes a thorough analysis of current QML implementation limitations on quantum hardware, covering techniques like encoding, ansatz structure, error mitigation, and gradient methods to address these challenges. Furthermore, the survey evaluates the performance of QML implementations in comparison to classical counterparts. In conclusion, we discuss existing bottlenecks related to applying QML on real quantum devices and propose potential solutions to overcome these challenges in the future.
A series of integral lattices parametrised by integers $k,m,n$ are introduced and investigated, where $n$ is the rank of the lattice, including the root lattices described in a uniform way and unimodular lattices such as the Niemeier lattices of type $A_{24}$ and $D_{24}$. The lattices are characterised by means of a sublattice isomorphic to the root lattice of type $A_{n-1}$. A sufficient condition for existence of an orthogonal $k$-frame of such a lattice is given in terms of symmetric $2$-designs.
The Variational Quantum Eigensolver (VQE) algorithm is gaining interest for its potential use in near-term quantum devices. In the VQE algorithm, parameterized quantum circuits (PQCs) are employed to prepare quantum states, which are then utilized to compute the expectation value of a given Hamiltonian. Designing efficient PQCs is crucial for improving convergence speed. In this study, we introduce problem-specific PQCs tailored for optimization problems by dynamically generating PQCs that incorporate problem constraints. This approach reduces a search space by focusing on unitary transformations that benefit the VQE algorithm, and accelerate convergence. Our experimental results demonstrate that the convergence speed of our proposed PQCs outperforms state-of-the-art PQCs, highlighting the potential of problem-specific PQCs in optimization problems.
Most quantum circuits require SWAP gate insertion to run on quantum hardware with limited qubit connectivity. A promising SWAP gate insertion method for blocks of commuting two-qubit gates is a predetermined swap strategy which applies layers of SWAP gates simultaneously executable on the coupling map. A good initial mapping for the swap strategy reduces the number of required swap gates. However, even when a circuit consists of commuting gates, e.g., as in the Quantum Approximate Optimization Algorithm (QAOA) or trotterized simulations of Ising Hamiltonians, finding a good initial mapping is a hard problem. We present a SAT-based approach to find good initial mappings for circuits with commuting gates transpiled to the hardware with swap strategies. Our method achieves a 65% reduction in gate count for random three-regular graphs with 500 nodes. In addition, we present a heuristic approach that combines the SAT formulation with a clustering algorithm to reduce large problems to a manageable size. This approach reduces the number of swap layers by 25% compared to both a trivial and random initial mapping for a random three-regular graph with 1000 nodes. Good initial mappings will therefore enable the study of quantum algorithms, such as QAOA and Ising Hamiltonian simulation applied to sparse problems, on noisy quantum hardware with several hundreds of qubits.
This paper addresses quantum circuit mapping for Noisy Intermediate-Scale Quantum (NISQ) computers. Since NISQ computers constraint two-qubit operations on limited couplings, an input circuit must be transformed into an equivalent output circuit obeying the constraints. The transformation often requires additional gates that can affect the accuracy of running the circuit. Based upon a previous work of quantum circuit mapping that leverages gate commutation rules, this paper shows algorithms that utilize both transformation and commutation rules. Experiments on a standard benchmark dataset confirm the algorithms with more rules can find even better circuit mappings compared with the previously-known best algorithms.
In this article, we describe the trace formulae of composition of several (up to four) adjoint actions of elements of the Lie algebra of a vertex operator algebra by using the Casimir elements. As an application, we give constraints on the central charge and the dimension of the Lie algebra for vertex operator algebras of class $\mathcal{S}^4$. In addition, we classify vertex operator algebras of class $\mathcal{S}^4$ with minimal conformal weight one under some assumptions.
A general notion of a quasi-finite algebra is introduced as an algebra graded by the set of all integers equipped with topologies on the homogeneous subspaces satisfying certain properties. An analogue of the regular bimodule is introduced and various module categories over quasi-finite algebras are described. When applied to the current algebras (universal enveloping algebras) of vertex operator algebras satisfying Zhu's $C_2$-finiteness condition, our general consideration derives important consequences on representation theory of such vertex operator algebras. In particular, the category of modules over such a vertex operator algebra is shown to be equivalent to the category of modules over a finite-dimensional associative algebra.
The 3-transposition groups that act on a vertex operator algebra in the way described by Miyamoto are classified under the assumption that the group is centerfree and the VOA carries a positive-definite invariant Hermitian form. This generalizes and refines the result of Kitazume and Miyamoto. Application to a similar but different situation is also considered in part by a slight generalization of the argument.
Formulae expressing the trace of the composition of several (up to five) adjoint actions of elements of the Griess algebra of a vertex operator algebra are derived under certain assumptions on the action of the automorphism group. They coincide, when applied to the moonshine module $V^\natural$, with the trace formulae obtained in a different way by S.Norton, and the spectrum of idempotents related to 2A, 2B, 3A and 4A element of the Monster is determined by the representation theory of Virasoro algebra at $c=1/2$, $W_3$ algebra at $c=4/5$ or $W_4$ algebra at $c=1$. The generalization to the trace function on the whole space is also given for the composition of two adjoint actions, which can be used to compute the McKay-Thompson series for a 2A involution of the Monster.
The identities satisfied by two-dimensional chiral quantum fields are studied from the point of view of vertex algebras. The Cauchy-Jacobi identity (or the Borcherds identity) for three mutually local fields is proved and consequently a direct proof of Li's theorem on a local system of vertex operators is provided. Several characterizations of vertex algebras are also discussed.
We classify all the Heisenberg and conformal vectors and determine the full automorphism group of the free bosonic vertex algebra without gradation. To describe it we introduce a notion of inner automorphisms of a vertex algebra.