SearcharxivSearch

arXiv subjects

Yu Tanaka

Publications and source records attributed to Yu Tanaka.

13 recordsLinked to original sources

Fusion of classical and quantum kernels enables accurate and robust two-sample tests

Two-sample tests have been extensively employed in various scientific fields and machine learning such as evaluation on the effectiveness of drugs and A/B testing on different marketing strategies to discriminate whether two sets of samples come from the same distribution or not. Kernel-based procedures for hypothetical testing have been proposed to efficiently disentangle high-dimensional complex structures in data to obtain accurate results in a model-free way by embedding the data into the reproducing kernel Hilbert space (RKHS). While the choice of kernels plays a crucial role for their performance, little is understood about how to choose kernel especially for small datasets. Here we aim to construct a hypothetical test which is effective even for small datasets, based on the theoretical foundation of kernel-based tests using maximum mean discrepancy, which is called MMD-FUSE. To address this, we enhance the MMD-FUSE framework by incorporating quantum kernels and propose a novel hybrid testing strategy that fuses classical and quantum kernels. This approach creates a powerful and adaptive test by combining the domain-specific inductive biases of classical kernels with the unique expressive power of quantum kernels. We evaluate our method on various synthetic and real-world clinical datasets, and our experiments reveal two key findings: 1) With appropriate hyperparameter tuning, MMD-FUSE with quantum kernels consistently improves test power over classical counterparts, especially for small and high-dimensional data. 2) The proposed hybrid framework demonstrates remarkable robustness, adapting to different data characteristics and achieving high test power across diverse scenarios. These results highlight the potential of quantum-inspired and hybrid kernel strategies to build more effective statistical tests, offering a versatile tool for data analysis where sample sizes are limited.

quant-ph

oboro: Text-to-Image Synthesis on Limited Data using Flow-based Diffusion Transformer with MMH Attention

This project was conducted as a 2nd-term adopted project of the "Post-5G Information and Communication System Infrastructure Enhancement R&D Project Development of Competitive Generative AI Foundation Models (GENIAC)," a business of the Ministry of Economy, Trade and Industry (METI) and the New Energy and Industrial Technology Development Organization (NEDO). To address challenges such as labor shortages in Japan's anime production industry, this project aims to develop an image generation model from scratch. This report details the technical specifications of the developed image generation model, "oboro:." We have developed "oboro:," a new image generation model built from scratch, using only copyright-cleared images for training. A key characteristic is its architecture, designed to generate high-quality images even from limited datasets. The foundation model weights and inference code are publicly available alongside this report. This project marks the first release of an open-source, commercially-oriented image generation AI fully developed in Japan. AiHUB originated from the OSS community; by maintaining transparency in our development process, we aim to contribute to Japan's AI researcher and engineer community and promote the domestic AI development ecosystem.

cs.AI

Quantum-enhanced causal discovery for a small number of samples

The discovery of causal relations from observed data has attracted significant interest from disciplines such as economics, social sciences, and biology. In practical applications, considerable knowledge of the underlying systems is often unavailable, and real data are usually associated with nonlinear causal structures, which makes the direct use of most conventional causality analysis methods difficult. This study proposes a novel quantum Peter-Clark (qPC) algorithm for causal discovery that does not require any assumptions about the underlying model structures. Based on conditional independence tests in a class of reproducing kernel Hilbert spaces characterized by quantum circuits, the proposed algorithm can explore causal relations from the observed data drawn from arbitrary distributions. We conducted systematic experiments on fundamental graphs of causal structures, demonstrating that the qPC algorithm exhibits better performance, particularly with smaller sample sizes compared to its classical counterpart. Furthermore, we proposed a novel optimization approach based on Kernel Target Alignment (KTA) for determining hyperparameters of quantum kernels. This method effectively reduced the risk of false positives in causal discovery, enabling more reliable inference. Our theoretical and experimental results demonstrate that the quantum algorithm can empower classical algorithms for accurate inference in causal discovery, supporting them in regimes where classical algorithms typically fail. In addition, the effectiveness of this method was validated using the datasets on Boston housing prices, heart disease, and biological signaling systems as real-world applications. These findings highlight the potential of quantum-based causal discovery methods in addressing practical challenges, particularly in small-sample scenarios, where traditional approaches have shown significant limitations.

quant-ph

Quantum State Preparation via Free Binary Decision Diagram

Quantum state preparation (QSP) is a fundamental task in quantum computation to prepare a quantum state for a given classical description of the quantum state. The classical description of an $n$-qubit quantum state may have $\exp(O(n))$ parameters in general, which are inherently inefficient to prepare the corresponding state in the worst case. However, in many practical cases, we may be able to employ suitable data structures for QSP. An ordered binary decision diagram (OBDD) and a free BDD (FBDD) are such data structures to represent the large-scale data in a compressed way. An efficient QSP for a subclass of OBDDs is known, but requires an $O(2^n)$-sized quantum circuit in general, while QSP based on FBDDs, which includes OBDDs as a special case, remains unexplored. We here construct a quantum algorithm for QSP when the classical description of a quantum state is given by an FBDD with weighted edges, and analyze the space, and time complexity of QSP in this setting. We provide a nontrivial example of an $n$-qubit state that can be represented by a weighted FBDD with $N=O(\mathrm{poly}(n))$ nodes rather than $\mathrm{exp}(O(n))$. We show that any quantum state represented by the weighted FBDD with $N$ nodes can be prepared by an $O(N)$-sized quantum circuit using $N$ ancillary qubits, exponentially improving the required circuit size for QSP compared to other BDD-based QSPs. We also provide another example of an $n$-qubit state that can be represented by a weighted FBDD with $N=O(n^2)$ nodes, and $O(n^2)$ ancillary qubits, but cannot be prepared efficiently by a QSP based on the amplitude amplification. These results provide techniques to employ FBDDs as a tool for broadening the possibility of efficient QSP.

quant-ph

How to Map Linear Differential Equations to Schr\"{o}dinger Equations via Carleman and Koopman-von Neumann Embeddings for Quantum Algorithms

Solving linear and nonlinear differential equations with large degrees of freedom is an important task for scientific and industrial applications. In order to solve such differential equations on a quantum computer, it is necessary to embed classical variables into a quantum state. While the Carleman and Koopman-von Neumann embeddings have been investigated so far, the class of problems that can be mapped to the Schr\"{o}dinger equation is not well understood even for linear differential equations. In this work, we investigate the conditions for linear differential equations to be mapped to the Schr\"{o}dinger equation and solved on a quantum computer. Interestingly, we find that these conditions are identical for both Carleman and Koopman-von Neumann embeddings. We also compute the computational complexity associated with estimating the expected values of an observable. This is done by assuming a state preparation oracle, block encoding of the mapped Hamiltonian via either Carleman or Koopman-von Neumann embedding, and block encoding of the observable using $O(\log M)$ qubits with $M$ is the mapped system size. Furthermore, we consider a general classical quadratic Hamiltonian dynamics and find a sufficient condition to map it into the Schr\"{o}dinger equation. As a special case, this includes the coupled harmonic oscillator model [Babbush et al., \cite{babbush_exponential_2023}]. We also find a concrete example that cannot be described as the coupled harmonic oscillator but can be mapped to the Schr\"{o}dinger equation in our framework. These results are important in the construction of quantum algorithms for solving differential equations of large-degree-of-freedom.

quant-ph

A Polynomial Time Quantum Algorithm for Exponentially Large Scale Nonlinear Differential Equations via Hamiltonian Simulation

Quantum computers have the potential to efficiently solve a system of nonlinear ordinary differential equations (ODEs), which play a crucial role in various industries and scientific fields. However, it remains unclear which system of nonlinear ODEs, and under what assumptions, can achieve exponential speedup using quantum computers. In this work, we introduce a class of systems of nonlinear ODEs that can be efficiently solved on quantum computers, where the efficiency is defined as solving the system with computational complexity of $O(T {\rm log}(N) {\rm polylog}(1/\epsilon))$, where $T$ is the evolution time, $\epsilon$ is the allowed error, and $N$ is the number of variables in the system. Specifically, we employ the Koopman-von Neumann linearization to map the system of nonlinear ODEs to Hamiltonian dynamics and find conditions where the norm of the mapped Hamiltonian is preserved and the Hamiltonian is sparse. This allows us to use the optimal Hamiltonian simulation technique for solving the nonlinear ODEs with $O({\rm log}(N))$ overhead. Furthermore, we show that the nonlinear ODEs include a wide range of systems of nonlinear ODEs, such as the nonlinear harmonic oscillators and the short-range Kuramoto model. This is the first concrete example of solving systems of nonlinear ODEs with exponential quantum speedup by the Koopman-von Neumann linearization, although it is noted that this assumes efficient preparation of the initial state and computation of the output. These findings contribute significantly to the application of quantum computers in solving nonlinear problems.

quant-ph

Inelastic Neutron Scattering Study of the Spin Dynamics in the Breathing Pyrochlore System LiGa0.95In0.05Cr4O8

The A-site ordered chromate spinels LiGa1-xInxCr4O8 host a network of size-alternating spin-3/2 Cr3+ tetrahedra known as a 'breathing' pyrochlore lattice. For the x=0.05 composition, the complex magneto-structural ordering observed in the parent x=0 material is replaced by a single transition at Tf=11 K, ascribed to the collinear nematic order caused by strong spin-lattice coupling. We present here an inelastic neutron scattering study of the spin dynamics in this composition. Above Tf , the dynamical scattering function S(Q,E) is ungapped and quasi-elastic, similar to undoped LiGaCr4O8. Below Tf , the spectral weight splits between a broad inelastic feature at 5.8 meV and toward the elastic line. The former feature can be ascribed to spin precessions within antiferromagnetic loops, lifted to finite energy by the effective biquadratic spin-lattice term in the spin Hamiltonian.

cond-mat.str-el

A System for Worldwide COVID-19 Information Aggregation

The global pandemic of COVID-19 has made the public pay close attention to related news, covering various domains, such as sanitation, treatment, and effects on education. Meanwhile, the COVID-19 condition is very different among the countries (e.g., policies and development of the epidemic), and thus citizens would be interested in news in foreign countries. We build a system for worldwide COVID-19 information aggregation containing reliable articles from 10 regions in 7 languages sorted by topics. Our reliable COVID-19 related website dataset collected through crowdsourcing ensures the quality of the articles. A neural machine translation module translates articles in other languages into Japanese and English. A BERT-based topic-classifier trained on our article-topic pair dataset helps users find their interested information efficiently by putting articles into different categories.

cs.CL

Regular-Triangle Trimer and Charge Order Preserving the Anderson Condition in the Pyrochlore Structure of CsW$_2$O$_6$

Since the discovery of the Verwey transition in magnetite, transition metal compounds with pyrochlore structures have been intensively studied as a platform for realizing remarkable electronic phase transitions. We report the discovery of a unique phase transition that preserves the cubic symmetry of the beta-pyrochlore oxide CsW$_2$O$_6$, where each of W 5d electrons are confined in regular-triangle W3 trimers. This trimer formation is an unprecedented self-organization of d electrons, which can be resolved into a charge order satisfying the Anderson condition in a nontrivial way, orbital order caused by the distortion of WO6 octahedra, and the formation of a spin-singlet pair in a regular-triangle trimer. Electronic instability due to the unusual three-dimensional nesting of Fermi surfaces and the localized nature of the 5d electrons characteristic of the pyrochlore oxides were found to play important roles in this unique charge-orbital-spin coupled phenomenon.

cond-mat.mtrl-sci

Novel Phase Transitions in the Breathing Pyrochlore Lattice: 7Li-NMR on LiInCr4O8 and LiGaCr4O8

We report 7Li-NMR studies on LiInCr4O8 and LiGaCr4O8, in which Cr3+ ions with spin 3/2 form a breathing pyrochlore lattice, a network of tetrahedra with alternating sizes. In LiInCr4O8 with large alternation, the nuclear relaxation rate 1/T1 shows an activated temperature (T) dependence down to 18 K, indicating a singlet ground state with a spin gap. This behavior, however, is disrupted by an antiferromagnetic (AF) transition at 13 K, which is preceded by another, most likely structural, transition at 16 K. In contrast, LiGaCr4O8 with small alternation shows no spin gap but exhibits a first-order AF transition over a distributed T-range 13-20 K. Nevertheless, 1/T1 of the paramagnetic phase diverges toward 13 K, indicating proximity to a second-order transition. The results indicate that LiGaCr4O8 is located in the vicinity of a tricritical point in the phase diagram.

cond-mat.str-el

Authorized quantum computation

We present authorized quantum computation, where only a user with a non-cloneable quantum authorization key can perform a unitary operation created by an authenticated programmer. The security of our authorized quantum computation is based on the quantum computational complexity problem of forging the keys from an obfuscated quantum gate sequence. Under the assumption of the existence of a \textit{sufficiently-random gate shuffling algorithm}, the problem is shown to be in the NQP (Non-deterministic Quantum Polynomial)-hard class by reducing it to a NQP-Complete problem, the exact non-identity check problem. Therefore, our authorized quantum computation can be computationally secure against attacks using quantum computers.

quant-ph

Exact Non-identity check is NQP-complete

We define a problem "exact non-identity check": Given a classical description of a quantum circuit with an ancilla system, determine whether it is strictly equivalent to the identity or not. We show that this problem is NQP-complete. In a sense of the strict equivalence condition, this problem is different from a QMA-complete problem, non-identity check defined by D. Janzing etc. As corollaries, it is derived that exact equivalence check is also NQP-complete and that it is hard to minimize quantum resources of a given quantum gate array without changing an implemented unitary operation.

quant-ph

Local encoding of classical information onto quantum states

In this article we investigate the possibility of encoding classical information onto multipartite quantum states in the distant laboratory framework. We show that for all states generated by Clifford operation there always exist such an encoding, this includes all stabilizer states such as cluster states and all graph states. We also show encoding for classes of symmetric states (which cannot be generated by Clifford operations). We generalise our approach using group theoretic methods introducing the unifying notion of Pseudo Clifford operations. All states generated by Pseudo Clifford operations are locally encodable (unifying all our examples), and we give a general method for generating sets of many such locally encodable states.

quant-ph