BZPEERReading, trust and collaboration for research
Menu

Discover

GraphFollow connections around a paper, topic or saved view.

Workspaces

HomePick up where your research flow left off.InboxHandle requests, replies and notifications from one place.CollectionsCurate reading lists, evidence sets and shareable dossiers.ResearchSee your private provenance graph, trail and imports.CollaborationMove from discovery into focused discussion rooms.PublishDraft, preview and publish full-text research articles.

Network

ExpertsFind specialists worth following or asking for help.CommunitiesJoin research circles organized around shared work.PartnersSee external organizations active around the same topics.

Opportunities

ListingsBrowse roles, calls and collaborations with clearer fit signals.

Account

Log inReturn to your reading and collaboration workspace.Create accountStart saving work, following people and joining teams.
Log inCreate account

Researcher profile

Naoki Yamamoto

Naoki Yamamoto contributes to research discovery and scholarly infrastructure.

ResearcherAffiliation not importedOpen to collaborate
quant-phhep-phhep-thnucl-thastro-ph.HEcond-mat.mes-hallcond-mat.otherMachine Learningphysics.chem-phphysics.comp-phProgramming Languagesastro-ph.COastro-ph.EPastro-ph.IMeess.SYphysics.data-anphysics.opticsphysics.space-phSystems and Control

Trust snapshot

Quick read

Trust 21 - EmergingVerification L1Unclaimed author
23works
0followers
19topics
4close collaborators

Actions

Decide how to stay connected

Follow researcher0

Identity and collaboration

How to connect with this researcher

Claiming links this public author record to a researcher profile and unlocks direct collaboration workflows.

Log in to claim

Direct collaboration

Open a focused conversation when the fit is right

Claim this author entity first to unlock direct invitations.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent work, topics, institutions and collaborators without jumping out to a separate graph page.

Building this graph slice

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

23 published item(s)

preprint2026arXiv

Introducing Linear Implication Types to $λ_{GT}$ for Computing With Incomplete Graphs

Designing programming languages that enable intuitive and safe manipulation of data structures is a critical research challenge. Conventional destructive memory operations using pointers are complex and prone to errors. Existing type systems, such as affine types and shape types, address this problem towards safe manipulation of heaps and pointers, but design of high-level declarative languages that allow us to manipulate complex pointer data structures at a higher level of abstraction is largely an open problem. The $λ_{GT}$ language, a purely functional programming language that treats hypergraphs (hereafter referred to as graphs) as primary data structures, addresses some of these challenges. By abstracting data with shared references and cycles as graphs, it enables declarative operations through pattern matching and leverages its type system to guarantee safety of these operations. Nevertheless, the previously proposed type system of $λ_{GT}$ leaves two significant open challenges. First, the type system does not support \emph{incomplete graphs}, that is, graphs in which some elements are missing from the graphs of user-defined types. Second, the type system relies on dynamic type checking during pattern matching. This study addresses these two challenges by incorporating linear implication into the $λ_{GT}$ type system, while introducing new constraints to ensure its soundness.

0 citations0 reviewsNo code linkedOpen access
preprint2025arXiv

Quantum phase estimation based filtering: performance analysis and application to low-energy spectral calculation

Filtering is an important technique in quantum computing used for isolating or enhancing some specific states of quantum many-body systems. In this paper, we analyze the performance of filters based on the quantum phase estimation (QPE) algorithm, in which filtering removes states associated with bitstrings in the ancilla register above a given threshold. We show that when the conventional rectangular window function is used for the QPE input state, the resulting filter function exhibits an oscillating behavior known as the Gibbs phenomenon. We also show that in the case of the sine and Kaiser windows, this phenomenon is suppressed. Furthermore, we perform numerical simulations to compare the number of necessary queries to the Hamiltonian time evolution operation of for the QPE-based filtering algorithm and the quantum eigenvalue transformation of unitary matrices with real polynomials (QETU). We find that the number of queries required for Kaiser window-based filtering is comparable to that for QETU with optimized phase angles. As an application of the QPE-based filter, we also study a two-step algorithm for low-energy spectral simulations, composed of a coarse grid for filtering and a fine grid for obtaining final high-resolution spectra. As a benchmark of the proposed scheme for realistic continuous spectra, we present the density-of-states (DOS) calculation of antiferromagnetic type-II MnO in a one-particle approximation.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Approximate amplitude encoding in shallow parameterized quantum circuits and its application to financial market indicator

Efficient methods for loading given classical data into quantum circuits are essential for various quantum algorithms. In this paper, we propose an algorithm called Approximate Amplitude Encoding that can effectively load all the components of a given real-valued data vector into the amplitude of quantum state, while the previous proposal can only load the absolute values of those components. The key of our algorithm is to variationally train a shallow parameterized quantum circuit, using the results of two types of measurement; the standard computational-basis measurement plus the measurement in the Hadamard-transformed basis, introduced in order to handle the sign of the data components. The variational algorithm changes the circuit parameters so as to minimize the sum of two costs corresponding to those two measurement basis, both of which are given by the efficiently-computable maximum mean discrepancy. We also consider the problem of constructing the singular value decomposition entropy via the stock market dataset to give a financial market indicator; a quantum algorithm (the variational singular value decomposition algorithm) is known to produce a solution faster than classical, which yet requires the sign-dependent amplitude encoding. We demonstrate, with an in-depth numerical analysis, that our algorithm realizes loading of time-series of real stock prices on quantum state with small approximation error, and thereby it enables constructing an indicator of the financial market based on the stock prices.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Chiral plasma instability and inverse cascade from nonequilibrium left-handed neutrinos in core-collapse supernovae

We show that the backreaction of left-handed neutrinos out of equilibrium on the matter sector induces an electric current proportional to a magnetic field even without a chiral imbalance for electrons in core-collapse supernovae. We derive the transport coefficient of this effect based on the recently formulated chiral radiation transport theory for neutrinos. This chiral electric current generates a strong magnetic field via the so-called chiral plasma instability, which could provide a new mechanism for the strong and stable magnetic field of magnetars. We also numerically study the physical origin of the inverse cascade of the magnetic energy in the magnetohydrodynamics including this current. Our results indicate that incorporating the chiral effects of neutrinos would drastically modify the hydrodynamic evolutions of supernovae, which may also be relevant to the explosion dynamics.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Development of an electron impact ion source with high ionization efficiency for future planetary missions

Ion sources using electron impact ionization (EI) methods have been widely accepted in mass spectrometry for planetary exploration missions because of their simplicity. Previous space-borne mass spectrometers were primarily designed with the EI method using rhenium tungsten alloy filaments, enabling up to 200 uA emission in typical cases. The emission level is desired to be enhanced because the sensitivity of mass spectrometers is a critical requirement for the future in situ mass spectrometry related to the measurement of trace components in planetary samples. In this study, we developed a new high-emission EI ion source using a Y2O3-coated iridium filament, which has a lower work function than rhenium tungsten alloy. The size of the ion source was 30 mm * 26 mm * 70 mm, and its weight was 70 g. We confirmed that when consuming 3.0 W power, the ion source emits more than 2 mA electrons, which is 10 times greater than the previous models electron emission level. Ionization efficiency of the EI ion source is proportional to the amount of electron emission, which implies our new model increased the ionization efficiency 10 times. We conducted performance tests on the prototype with the 3.0 W heating condition, confirming a high ionization efficiency (10^4 nA/Pa). In addition, we conducted endurance tests of the ion source and demonstrated the persistence of the ionization efficiency for 30 min * 100 cycles.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Natural quantum reservoir computing for temporal information processing

Reservoir computing is a temporal information processing system that exploits artificial or physical dissipative dynamics to learn a dynamical system and generate the target time-series. This paper proposes the use of real superconducting quantum computing devices as the reservoir, where the dissipative property is served by the natural noise added to the quantum bits. The performance of this natural quantum reservoir is demonstrated in a benchmark time-series regression problem and a practical problem classifying different objects based on temporal sensor data. In both cases the proposed reservoir computer shows a higher performance than a linear regression or classification model. The results indicate that a noisy quantum device potentially functions as a reservoir computer, and notably, the quantum noise, which is undesirable in the conventional quantum computation, can be used as a rich computation resource.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Noisy quantum amplitude estimation without noise estimation

Many quantum algorithms contain an important subroutine, the quantum amplitude estimation. As the name implies, this is essentially the parameter estimation problem and thus can be handled via the established statistical estimation theory. However, this problem has an intrinsic difficulty that the system, i.e., the real quantum computing device, inevitably introduces unknown noise; the probability distribution model then has to incorporate many nuisance noise parameters, resulting that the construction of an optimal estimator becomes inefficient and difficult. For this problem, we apply the theory of nuisance parameters (more specifically, the parameter orthogonalization method) to precisely compute the maximum likelihood estimator for only the target amplitude parameter, by removing the other nuisance noise parameters. That is, we can estimate the amplitude parameter without estimating the noise parameters. We validate the parameter orthogonalization method in a numerical simulation and study the performance of the estimator in the experiment using a real superconducting quantum device.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Numerical analysis of quantum circuits for state preparation and unitary operator synthesis

We perform optimal-control-theory calculations to determine the minimum number of two-qubit CNOT gates needed to perform quantum state preparation and unitary operator synthesis for few-qubit systems. By considering all possible gate configurations, we determine the maximum achievable fidelity as a function of quantum circuit size. This information allows us to identify the minimum circuit size needed for a specific target operation and enumerate the different gate configurations that allow a perfect implementation of the operation. We find that there are a large number of configurations that all produce the desired result, even at the minimum number of gates. We also show that the number of entangling gates can be reduced if we use multi-qubit entangling gates instead of two-qubit CNOT gates, as one might expect based on parameter counting calculations. In addition to treating the general case of arbitrary target states or unitary operators, we apply the numerical approach to the special case of synthesizing the multi-qubit Toffoli gate. This approach can be used to investigate any other specific few-qubit task and provides insight into the tightness of different bounds in the literature.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Photonic spin Hall effect from quantum kinetic theory in curved spacetime

Based on quantum field theory, we formulate the Wigner function and quantum kinetic theory for polarized photons in curved spacetimes which admit a covariantly constant timelike vector. From this framework, the photonic chiral/zilch vortical effects are reproduced in a rigidly rotating coordinate. In a spatially inhomogeneous coordinate, we derive the spin Hall effect for the photon helicity current and energy current in equilibrium. Our derivation reveals that such photonic Hall effect are related to the photonic vortical effect via the Lorentz invariance and their transport coefficients match each other.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Quantum Noise-Induced Reservoir Computing

Quantum computing has been moving from a theoretical phase to practical one, presenting daunting challenges in implementing physical qubits, which are subjected to noises from the surrounding environment. These quantum noises are ubiquitous in quantum devices and generate adverse effects in the quantum computational model, leading to extensive research on their correction and mitigation techniques. But do these quantum noises always provide disadvantages? We tackle this issue by proposing a framework called quantum noise-induced reservoir computing and show that some abstract quantum noise models can induce useful information processing capabilities for temporal input data. We demonstrate this ability in several typical benchmarks and investigate the information processing capacity to clarify the framework's processing mechanism and memory profile. We verified our perspective by implementing the framework in a number of IBM quantum processors and obtained similar characteristic memory profiles with model analyses. As a surprising result, information processing capacity increased with quantum devices' higher noise levels and error rates. Our study opens up a novel path for diverting useful information from quantum computer noises into a more sophisticated information processor.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Speed limits for two-qubit gates with weakly anharmonic qubits

We consider the implementation of two-qubit gates when the physical systems used to realize the qubits possess additional quantum states in the accessible energy range. We use optimal control theory to determine the maximum achievable gate speed for two-qubit gates in the qubit subspace of the many-level Hilbert space, and we analyze the effect of the additional quantum states on the gate speed. We identify two competing mechanisms. On one hand, higher energy levels are generally more strongly coupled to each other. Under suitable conditions, this stronger coupling can be utilized to make two-qubit gates significantly faster than the reference value based on simple qubits. On the other hand, a weak anharmonicity constrains the speed at which the system can be adequately controlled: according to the intuitive picture, faster operations require stronger control fields, which are more likely to excite higher levels in a weakly anharmonic system, which in turn leads to faster decoherence and uncontrolled leakage outside the qubit space. In order to account for this constraint, we modify the pulse optimization algorithm to avoid pulses that lead to appreciable population of the higher levels. In this case we find that the presence of the higher levels can lead to a significant reduction in the maximum achievable gate speed. We also compare the optimal-control gate speeds with those obtained using the cross-resonance/selective-darkening gate protocol. We find that the latter, with some parameter optimization, can be used to achieve a relatively fast implementation of the CNOT gate. These results can help the search for optimized gate implementations in realistic quantum computing architectures, such as those based on superconducting circuits. They also provide guidelines for desirable conditions on anharmonicity that allow optimal utilization of the higher levels to achieve fast quantum gates.

0 citations0 reviewsNo code linkedOpen access
preprint2022arXiv

Type checking data structures more complex than trees

Graphs are a generalized concept that encompasses more complex data structures than trees, such as difference lists, doubly-linked lists, skip lists, and leaf-linked trees. Normally, these structures are handled with destructive assignments to heaps, which is opposed to a purely functional programming style and makes verification difficult. We propose a new purely functional language, $λ_{GT}$, that handles graphs as immutable, first-class data structures with a pattern matching mechanism based on Graph Transformation and developed a new type system, $F_{GT}$, for the language. Our approach is in contrast with the analysis of pointer manipulation programs using separation logic, shape analysis, etc. in that (i) we do not consider destructive operations but pattern matchings over graphs provided by the new higher-level language that abstract pointers and heaps away and that (ii) we pursue what properties can be established automatically using a rather simple typing framework.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Grover search revisited; application to image pattern matching

The landmark Grover algorithm for amplitude amplification serves as an essential subroutine in various type of quantum algorithms, with guaranteed quantum speedup in query complexity. However, there have been no proposal to realize the original motivating application of the algorithm, i.e., the database search or more broadly the pattern matching in a practical setting, mainly due to the technical difficulty in efficiently implementing the data loading and amplitude amplification processes. In this paper, we propose a quantum algorithm that approximately executes the entire Grover database search or pattern matching algorithm. The key idea is to use the recently proposed approximate amplitude encoding method on a shallow quantum circuit, together with the easily implementable inversion-test operation for realizing the projected quantum state having similarity to the query data, followed by the amplitude amplification operation that is independent to the target data index. We provide a thorough demonstration of the algorithm in the problem of image pattern matching.

0 citations0 reviewsNo code linkedOpen access
preprint2021arXiv

Wigner functions and quantum kinetic theory of polarized photons

We derive the Wigner functions of polarized photons in the Coulomb gauge with the $\hbar$ expansion applied to quantum field theory, and identify side-jump effects for massless photons. We also discuss the photonic chiral vortical effect for the Chern-Simons current and zilch vortical effect for the zilch current in local thermal equilibrium as a consistency check for our formalism. The results are found to be in agreement with those obtained from different approaches. Moreover, using the real-time formalism, we construct the quantum kinetic theory (QKT) for polarized photons. By further adopting a specific power counting scheme for the distribution functions, we provide a more succinct form of an effective QKT. This photonic QKT involves quantum corrections associated with self-energy gradients in the collision term, which are analogous to the side-jump corrections pertinent to spin-orbit interactions in the chiral kinetic theory for massless fermions. The same theoretical framework can also be directly applied to weakly coupled gluons in the absence of background color fields.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Amplitude estimation without phase estimation

This paper focuses on the quantum amplitude estimation algorithm, which is a core subroutine in quantum computation for various applications. The conventional approach for amplitude estimation is to use the phase estimation algorithm, which consists of many controlled amplification operations followed by a quantum Fourier transform. However, the whole procedure is hard to implement with current and near-term quantum computers. In this paper, we propose a quantum amplitude estimation algorithm without the use of expensive controlled operations; the key idea is to utilize the maximum likelihood estimation based on the combined measurement data produced from quantum circuits with different numbers of amplitude amplification operations. Numerical simulations we conducted demonstrate that our algorithm asymptotically achieves nearly the optimal quantum speedup with a reasonable circuit length.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Analysis and synthesis of feature map for kernel-based quantum classifier

A method for analyzing the feature map for the kernel-based quantum classifier is developed; that is, we give a general formula for computing a lower bound of the exact training accuracy, which helps us to see whether the selected feature map is suitable for linearly separating the dataset. We show a proof of concept demonstration of this method for a class of 2-qubit classifier, with several 2-dimensional dataset. Also, a synthesis method, that combines different kernels to construct a better-performing feature map in a lager feature space, is presented.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Applications of Quantum Computing for Investigations of Electronic Transitions in Phenylsulfonyl-carbazole TADF Emitters

A quantum chemistry study of the first singlet (S1) and triplet (T1) excited states of phenylsulfonyl-carbazole compounds, proposed as useful thermally activated delayed fluorescence (TADF) emitters for organic light emitting diode (OLED) applications, was performed with the quantum Equation-Of-Motion Variational Quantum Eigensolver (qEOM-VQE) and Variational Quantum Deflation (VQD) algorithms on quantum simulators and devices. These quantum simulations were performed with double zeta quality basis sets on an active space comprising the highest occupied and lowest unoccupied molecular orbitals (HOMO, LUMO) of the TADF molecules. The differences in energy separations between S1 and T1 ($ΔE_{st}$) predicted by calculations on quantum simulators were found to be in excellent agreement with experimental data. Differences of 16 and 88 mHa with respect to exact energies were found for excited states by using the qEOM-VQE and VQD algorithms, respectively, to perform simulations on quantum devices without error mitigation. By utilizing error mitigation by state tomography to purify the quantum states and correct energy values, the large errors found for unmitigated results could be improved to differences of, at most, 3 mHa with respect to exact values. Consequently, excellent agreement could be found between values of $ΔE_{st}$ predicted by quantum simulations and those found in experiments.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Chiral Radiation Transport Theory of Neutrinos

We construct the chiral radiation transport equation for left-handed neutrinos in the context of radiation hydrodynamics for core-collapse supernovae. Based on the chiral kinetic theory incorporating quantum corrections due to the chirality of fermions, we derive a general relativistic form of the chiral transfer equation with collisions. We show that such quantum corrections explicitly break the spherical symmetry and axisymmetry of the system. In the inertial frame, in particular, we find that the so-called side jump leads to quantum corrections in the collisions between neutrinos and matter. We also derive analytic forms of such corrections in the emission and absorption rates for the neutrino absorption process. These corrections result in the generation of kinetic helicity and cross helicity of matter, which should then modify the subsequent evolution of matter. This theoretical framework can be applied to investigate the impacts of the chirality of neutrinos on the evolution of core-collapse supernovae.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Magnetic monopoles and fermion number violation in chiral matter

We show that the presence of a magnetic monopole in position space gives rise to a violation of the fermion number conservation in chiral matter. Using the chiral kinetic theory, we derive a model-independent expression of such a violation in nonequilibrium many-body systems of chiral fermions. In local thermal equilibrium at finite temperature and chemical potential, in particular, this violation is proportional to the chemical potential with a topologically quantized coefficient. These consequences are due to the interplay between the Dirac monopole in position space and the Berry monopole in momentum space. Our mechanism can be applied to study the roles of magnetic monopoles in the nonequilibrium evolution of the early Universe.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Quantum self-learning Monte Carlo with quantum Fourier transform sampler

The self-learning Metropolis-Hastings algorithm is a powerful Monte Carlo method that, with the help of machine learning, adaptively generates an easy-to-sample probability distribution for approximating a given hard-to-sample distribution. This paper provides a new self-learning Monte Carlo method that utilizes a quantum computer to output a proposal distribution. In particular, we show a novel subclass of this general scheme based on the quantum Fourier transform circuit; this sampler is classically simulable while having a certain advantage over conventional methods. The performance of this "quantum inspired" algorithm is demonstrated by some numerical simulations.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Temporal Information Processing on Noisy Quantum Computers

The combination of machine learning and quantum computing has emerged as a promising approach for addressing previously untenable problems. Reservoir computing is an efficient learning paradigm that utilizes nonlinear dynamical systems for temporal information processing, i.e., processing of input sequences to produce output sequences. Here we propose quantum reservoir computing that harnesses complex dissipative quantum dynamics. Our class of quantum reservoirs is universal, in that any nonlinear fading memory map can be approximated arbitrarily closely and uniformly over all inputs by a quantum reservoir from this class. We describe a subclass of the universal class that is readily implementable using quantum gates native to current noisy gate-model quantum computers. Proof-of-principle experiments on remotely accessed cloud-based superconducting quantum computers demonstrate that small and noisy quantum reservoirs can tackle high-order nonlinear temporal tasks. Our theoretical and experimental results pave the path for attractive temporal processing applications of near-term gate-model quantum computers of increasing fidelity but without quantum error correction, signifying the potential of these devices for wider applications including neural modeling, speech recognition and natural language processing, going beyond static classification and regression tasks.

0 citations0 reviewsNo code linkedOpen access
preprint2020arXiv

Topological term, QCD anomaly, and the eta' chiral soliton lattice in rotating baryonic matter

We study the ground states of low-density hadronic matter and high-density color-flavor locked color superconducting phase in three-flavor QCD at finite baryon chemical potential under rotation. We find that, in both cases under sufficiently fast rotation, the combination of the rotation-induced topological term for the eta' meson and the QCD anomaly leads to an inhomogeneous condensate of the eta' meson, known as the chiral soliton lattice (CSL). We find that, when baryon chemical potential is much larger than isospin chemical potential, the critical angular velocity for the realization of the eta' CSL is much smaller than that for the pi_0 CSL found previously. We also argue that the eta' CSL states in flavor-symmetric QCD at low density and high density should be continuously connected, extending the quark-hadron continuity conjecture in the presence of the rotation.

0 citations0 reviewsNo code linkedOpen access
preprint2019arXiv

Computational Investigations of the Lithium Superoxide Dimer Rearrangement on Noisy Quantum Devices

Currently available noisy intermediate-scale quantum (NISQ) devices are limited by the number of qubits that can be used for quantum chemistry calculations on molecules. We show herein that the number of qubits required for simulations on a quantum computer can be reduced by limiting the number of orbitals in the active space. Thus, we have utilized ansätze that approximate exact classical matrix eigenvalue decomposition methods (Full Configuration Interaction). Such methods are appropriate for computations with the Variational Quantum Eigensolver algorithm to perform computational investigations on the rearrangement of the lithium superoxide dimer with both quantum simulators and quantum devices. These results demonstrate that, even with a limited orbital active space, quantum simulators are capable of obtaining energy values that are similar to the exact ones. However, calculations on quantum hardware underestimate energies even after the application of readout error mitigation.

0 citations0 reviewsNo code linkedOpen access