-
Real-Time Black-Box Optimization for Dynamic Discrete Environments Using Embedded Ising Machines
Authors:
Tomoya Kashimata,
Yohei Hamakawa,
Masaya Yamasaki,
Kosuke Tatsumura
Abstract:
Many real-time systems require the optimization of discrete variables. Black-box optimization (BBO) algorithms and multi-armed bandit (MAB) algorithms perform optimization by repeatedly taking actions and observing the corresponding instant rewards without any prior knowledge. Recently, a BBO method using an Ising machine has been proposed to find the best action that is represented by a combinati…
▽ More
Many real-time systems require the optimization of discrete variables. Black-box optimization (BBO) algorithms and multi-armed bandit (MAB) algorithms perform optimization by repeatedly taking actions and observing the corresponding instant rewards without any prior knowledge. Recently, a BBO method using an Ising machine has been proposed to find the best action that is represented by a combination of discrete values and maximizes the instant reward in static environments. In contrast, dynamic environments, where real-time systems operate, necessitate MAB algorithms that maximize the average reward over multiple trials. However, due to the enormous number of actions resulting from the combinatorial nature of discrete optimization, conventional MAB algorithms cannot effectively optimize dynamic, discrete environments. Here, we show a heuristic MAB method for dynamic, discrete environments by extending the BBO method, in which an Ising machine effectively explores the actions while considering interactions between variables and changes in dynamic environments. We demonstrate the dynamic adaptability of the proposed method in a wireless communication system with moving users.
△ Less
Submitted 20 June, 2025;
originally announced June 2025.
-
Machine Learning-assisted High-speed Combinatorial Optimization with Ising Machines for Dynamically Changing Problems
Authors:
Yohei Hamakawa,
Tomoya Kashimata,
Masaya Yamasaki,
Kosuke Tatsumura
Abstract:
Quantum or quantum-inspired Ising machines have recently shown promise in solving combinatorial optimization problems in a short time. Real-world applications, such as time division multiple access (TDMA) scheduling for wireless multi-hop networks and financial trading, require solving those problems sequentially where the size and characteristics change dynamically. However, using Ising machines…
▽ More
Quantum or quantum-inspired Ising machines have recently shown promise in solving combinatorial optimization problems in a short time. Real-world applications, such as time division multiple access (TDMA) scheduling for wireless multi-hop networks and financial trading, require solving those problems sequentially where the size and characteristics change dynamically. However, using Ising machines involves challenges to shorten system-wide latency due to the transfer of large Ising model or the cloud access and to determine the parameters for each problem. Here we show a combinatorial optimization method using embedded Ising machines, which enables solving diverse problems at high speed without runtime parameter tuning. We customize the algorithm and circuit architecture of the simulated bifurcation-based Ising machine to compress the Ising model and accelerate computation and then built a machine learning model to estimate appropriate parameters using extensive training data. In TDMA scheduling for wireless multi-hop networks, our demonstration has shown that the sophisticated system can adapt to changes in the problem and showed that it has a speed advantage over conventional methods.
△ Less
Submitted 2 April, 2025; v1 submitted 31 March, 2025;
originally announced March 2025.
-
Enhancing In-vehicle Multiple Object Tracking Systems with Embeddable Ising Machines
Authors:
Kosuke Tatsumura,
Yohei Hamakawa,
Masaya Yamasaki,
Koji Oya,
Hiroshi Fujimoto
Abstract:
A cognitive function of tracking multiple objects, needed in autonomous mobile vehicles, comprises object detection and their temporal association. While great progress owing to machine learning has been recently seen for elaborating the similarity matrix between the objects that have been recognized and the objects detected in a current video frame, less for the assignment problem that finally de…
▽ More
A cognitive function of tracking multiple objects, needed in autonomous mobile vehicles, comprises object detection and their temporal association. While great progress owing to machine learning has been recently seen for elaborating the similarity matrix between the objects that have been recognized and the objects detected in a current video frame, less for the assignment problem that finally determines the temporal association, which is a combinatorial optimization problem. Here we show an in-vehicle multiple object tracking system with a flexible assignment function for tracking through multiple long-term occlusion events. To solve the flexible assignment problem formulated as a nondeterministic polynomial time-hard problem, the system relies on an embeddable Ising machine based on a quantum-inspired algorithm called simulated bifurcation. Using a vehicle-mountable computing platform, we demonstrate a realtime system-wide throughput (23 frames per second on average) with the enhanced functionality.
△ Less
Submitted 17 October, 2024;
originally announced October 2024.
-
Efficient and Scalable Architecture for Multiple-chip Implementation of Simulated Bifurcation Machines
Authors:
Tomoya Kashimata,
Masaya Yamasaki,
Ryo Hidaka,
Kosuke Tatsumura
Abstract:
Ising machines are specialized computers for finding the lowest energy states of Ising spin models, onto which many practical combinatorial optimization problems can be mapped. Simulated bifurcation (SB) is a quantum-inspired parallelizable algorithm for Ising problems that enables scalable multi-chip implementations of Ising machines. However, the computational performance of a previously propose…
▽ More
Ising machines are specialized computers for finding the lowest energy states of Ising spin models, onto which many practical combinatorial optimization problems can be mapped. Simulated bifurcation (SB) is a quantum-inspired parallelizable algorithm for Ising problems that enables scalable multi-chip implementations of Ising machines. However, the computational performance of a previously proposed multi-chip architecture tends to saturate as the number of chips increases for a given problem size because both computation and communication are exclusive in the time domain. In this paper, we propose a streaming architecture for multi-chip implementations of SB-based Ising machines with full spin-to-spin connectivity. The data flow in in-chip computation is harmonized with the data flow in inter-chip communication, enabling the computation and communication to overlap and the communication time to be hidden. Systematic experiments demonstrate linear strong scaling of performance up to the vicinity of the ideal communication limit determined only by the latency of chip-to-chip communication. Our eight-FPGA (field-programmable gate array) cluster can compute a 32,768-spin problem with a high pipeline efficiency of 97.9%. The performance of a 79-FPGA cluster for a 100,000-spin problem, projected using a theoretical performance model validated on smaller experimental clusters, is comparable to that of a state-of-the-art 100,000-spin optical Ising machine.
△ Less
Submitted 29 November, 2023;
originally announced November 2023.
-
Real-time Trading System based on Selections of Potentially Profitable, Uncorrelated, and Balanced Stocks by NP-hard Combinatorial Optimization
Authors:
Kosuke Tatsumura,
Ryo Hidaka,
Jun Nakayama,
Tomoya Kashimata,
Masaya Yamasaki
Abstract:
Financial portfolio construction problems are often formulated as quadratic and discrete (combinatorial) optimization that belong to the nondeterministic polynomial time (NP)-hard class in computational complexity theory. Ising machines are hardware devices that work in quantum-mechanical/quantum-inspired principles for quickly solving NP-hard optimization problems, which potentially enable making…
▽ More
Financial portfolio construction problems are often formulated as quadratic and discrete (combinatorial) optimization that belong to the nondeterministic polynomial time (NP)-hard class in computational complexity theory. Ising machines are hardware devices that work in quantum-mechanical/quantum-inspired principles for quickly solving NP-hard optimization problems, which potentially enable making trading decisions based on NP-hard optimization in the time constraints for high-speed trading strategies. Here we report a real-time stock trading system that determines long(buying)/short(selling) positions through NP-hard portfolio optimization for improving the Sharpe ratio using an embedded Ising machine based on a quantum-inspired algorithm called simulated bifurcation. The Ising machine selects a balanced (delta-neutral) group of stocks from an $N$-stock universe according to an objective function involving maximizing instantaneous expected returns defined as deviations from volume-weighted average prices and minimizing the summation of statistical correlation factors (for diversification). It has been demonstrated in the Tokyo Stock Exchange that the trading strategy based on NP-hard portfolio optimization for $N$=128 is executable with the FPGA (field-programmable gate array)-based trading system with a response latency of 164 $μ$s.
△ Less
Submitted 12 July, 2023;
originally announced July 2023.
-
Pairs-trading System using Quantum-inspired Combinatorial Optimization Accelerator for Optimal Path Search in Market Graphs
Authors:
Kosuke Tatsumura,
Ryo Hidaka,
Jun Nakayama,
Tomoya Kashimata,
Masaya Yamasaki
Abstract:
Pairs-trading is a trading strategy that involves matching a long position with a short position in two stocks aiming at market-neutral profits. While a typical pairs-trading system monitors the prices of two statistically correlated stocks for detecting a temporary divergence, monitoring and analyzing the prices of more stocks would potentially lead to finding more trading opportunities. Here we…
▽ More
Pairs-trading is a trading strategy that involves matching a long position with a short position in two stocks aiming at market-neutral profits. While a typical pairs-trading system monitors the prices of two statistically correlated stocks for detecting a temporary divergence, monitoring and analyzing the prices of more stocks would potentially lead to finding more trading opportunities. Here we report a stock pairs-trading system that finds trading opportunities for any two stocks in an $N$-stock universe using a combinatorial optimization accelerator based on a quantum-inspired algorithm called simulated bifurcation. The trading opportunities are detected through solving an optimal path search problem in an $N$-node directed graph with edge weights corresponding to the products of instantaneous price differences and statistical correlation factors between two stocks. The accelerator is one of Ising machines and operates consecutively to find multiple opportunities in a market situation with avoiding duplicate detections by a tabu search technique. It has been demonstrated in the Tokyo Stock Exchange that the FPGA (field-programmable gate array)-based trading system has a sufficiently low latency (33 $μ$s for $N$=15 or 210 pairs) to execute the pairs-trading strategy based on optimal path search in market graphs.
△ Less
Submitted 12 July, 2023;
originally announced July 2023.
-
Ultrafast demagnetization in NiCo2O4 thin films probed by time-resolved microscopy
Authors:
Ryunosuke Takahashi,
Yoshiki Tani,
Hirotaka Abe,
Minato Yamasaki,
Ikumi Suzuki,
Daisuke Kan,
Yuichi Shimakawa,
Hiroki Wadati
Abstract:
Using a time-resolved magneto-optical Kerr effect (TR-MOKE) microscope, we observed ultrafast demagnetization of inverse-spinel-type NiCo2O4 (NCO) epitaxial thin films of the inverse spinel type ferrimagnet NCO with perpendicular magnetic anisotropy. This microscope uses a pump-probe method, where the sample is pumped at 1030 nm, and magnetic domain images are acquired via MOKE microscopy at 515 n…
▽ More
Using a time-resolved magneto-optical Kerr effect (TR-MOKE) microscope, we observed ultrafast demagnetization of inverse-spinel-type NiCo2O4 (NCO) epitaxial thin films of the inverse spinel type ferrimagnet NCO with perpendicular magnetic anisotropy. This microscope uses a pump-probe method, where the sample is pumped at 1030 nm, and magnetic domain images are acquired via MOKE microscopy at 515 nm (the second harmonic). We successfully observed the dynamics of the magnetic domain of the NCO thin film via laser irradiation, and obtained a demagnetization time constant of approximately 0.4 ps. This time constant was significantly smaller than the large time constants reported for other half-metallic oxides. These results, combined with the results of our x-ray photoemission spectroscopy study, indicate that this NCO thin film is a ferrimagnetic metal whose electronic structure deviates from the theoretically predicted half-metallic one.
△ Less
Submitted 2 June, 2021; v1 submitted 2 June, 2021;
originally announced June 2021.
-
Improving the Drell--Yan probe of small x partons at the LHC via an azimuthal angle cut
Authors:
M. Kendi Yamasaki,
Emmanuel G. de Oliveira
Abstract:
Predictions for Drell--Yan lepton pair production at low dilepton mass and small x at the LHC usually have a large scale dependence. This can be decreased by determining an "optimal factorization scale". In this paper, we reduce this scale by imposing a cutoff in azimuthal angle between the transverse momentum of the leptons, properly taking into account Sudakov effects. This allows one to probe t…
▽ More
Predictions for Drell--Yan lepton pair production at low dilepton mass and small x at the LHC usually have a large scale dependence. This can be decreased by determining an "optimal factorization scale". In this paper, we reduce this scale by imposing a cutoff in azimuthal angle between the transverse momentum of the leptons, properly taking into account Sudakov effects. This allows one to probe the parton distributions at smaller scales eliminating most of the current theoretical uncertainty.
△ Less
Submitted 14 April, 2020; v1 submitted 5 February, 2020;
originally announced February 2020.
-
Whitney-type Formula for Non-null-homotopic Curves on Aspherical Surfaces
Authors:
Masayuki Yamasaki
Abstract:
In an earlier paper, I defined a new winding number of regular closed curves on complete euclidean/hyperbolic surfaces and showed that this winding number, together with the free homotopy class, determines the regular homotopy class. In this paper, I give a Whitney-type formula for the winding number of non-null-homotopic generic regular closed curves on surfaces with a complete euclidean or hyper…
▽ More
In an earlier paper, I defined a new winding number of regular closed curves on complete euclidean/hyperbolic surfaces and showed that this winding number, together with the free homotopy class, determines the regular homotopy class. In this paper, I give a Whitney-type formula for the winding number of non-null-homotopic generic regular closed curves on surfaces with a complete euclidean or hyperbolic structure, generalizing the formula for curves on a torus by Tanio and Kobayashi.
△ Less
Submitted 28 September, 2017; v1 submitted 4 September, 2017;
originally announced September 2017.
-
Measurement of Wave Electric Fields in Plasmas by Electro-Optic Probe
Authors:
M. Nishiura,
Z. Yoshida,
T. Mushiake,
Y. Kawazura,
R. Osawa,
K. Fujinami,
Y. Yano,
H. Saitoh,
M. Yamasaki,
A. Kashyap,
N. Takahashi,
M. Nakatsuka,
A. Fukuyama
Abstract:
Electric field measurement in plasmas permits quantitative comparison between the experiment and the simulation in this study. An electro-optic (EO) sensor based on Pockels effect is demonstrated to measure wave electric fields in the laboratory magnetosphere of the RT-1 device with high frequency heating sources. This system gives the merits that electric field measurements can detect electrostat…
▽ More
Electric field measurement in plasmas permits quantitative comparison between the experiment and the simulation in this study. An electro-optic (EO) sensor based on Pockels effect is demonstrated to measure wave electric fields in the laboratory magnetosphere of the RT-1 device with high frequency heating sources. This system gives the merits that electric field measurements can detect electrostatic waves separated clearly from wave magnetic fields, and that the sensor head is separated electrically from strong stray fields in circumference. The electromagnetic waves are excited at the double loop antenna for ion heating in electron cyclotron heated plasmas. In the air, the measured wave electric fields are in good absolute agreement with those predicted by the TASK/WF2 code. In inhomogeneous plasmas, the wave electric fields in the peripheral region are enhanced compared with the simulated electric fields. The potential oscillation of the antenna is one of the possible reason to explain the experimental results qualitatively.
△ Less
Submitted 26 August, 2016;
originally announced August 2016.
-
Winding numbers of regular closed curves on aspherical surfaces
Authors:
Masayuki Yamasaki
Abstract:
We define winding numbers of regular closed curves on surfaces with a nice euclidean or hyperbolic geometry. We prove that two regular closed curves are regularly homotopic if and only if they are freely homotopic and have the same winding number.
We define winding numbers of regular closed curves on surfaces with a nice euclidean or hyperbolic geometry. We prove that two regular closed curves are regularly homotopic if and only if they are freely homotopic and have the same winding number.
△ Less
Submitted 9 August, 2017; v1 submitted 7 February, 2016;
originally announced February 2016.
-
Anisotropy in broad component of H$α$ line in the magnetospheric device RT-1
Authors:
Yohei Kawazura,
Noriki Takahashi,
Zensho Yoshida,
Masaki Nishiura,
Tomoaki Nogami,
Ankur Kashyap,
Yoshihisa Yano,
Haruhiko Saitoh,
Miyuri Yamasaki,
Toshiki Mushiake,
Masataka Nakatsuka
Abstract:
Temperature anisotropy in broad component of H$α$ line was found in the ring trap 1 (RT-1) device by Doppler spectroscopy. Since hot hydrogen neutrals emitting a broad component are mainly produced by charge exchange between neutrals and protons, the anisotropy in the broad component is the evidence of proton temperature anisotropy generated by betatron acceleration.
Temperature anisotropy in broad component of H$α$ line was found in the ring trap 1 (RT-1) device by Doppler spectroscopy. Since hot hydrogen neutrals emitting a broad component are mainly produced by charge exchange between neutrals and protons, the anisotropy in the broad component is the evidence of proton temperature anisotropy generated by betatron acceleration.
△ Less
Submitted 2 February, 2016;
originally announced February 2016.
-
Observation of particle acceleration in laboratory magnetosphere
Authors:
Yohei Kawazura,
Zensho Yoshida,
Masaki Nishiura,
Haruhiko Saitoh,
Yoshihisa Yano,
Tomoaki Nogami,
Naoki Sato,
Miyuri Yamasaki,
Ankur Kashyap,
Toshiki Mushiake
Abstract:
The self-organization of magnetospheric plasma is brought about by inward diffusion of magnetized particles. Not only creating a density gradient toward the center of a dipole magnetic field, the inward diffusion also accelerates particles and provides a planetary radiation belt with high energy particles. Here, we report the first experimental observation of a 'laboratory radiation belt' created…
▽ More
The self-organization of magnetospheric plasma is brought about by inward diffusion of magnetized particles. Not only creating a density gradient toward the center of a dipole magnetic field, the inward diffusion also accelerates particles and provides a planetary radiation belt with high energy particles. Here, we report the first experimental observation of a 'laboratory radiation belt' created in the Ring Trap 1 (RT-1) device. By spectroscopic measurement, we found an appreciable anisotropy in the ion temperature, proving the betatron acceleration mechanism which heats particles in the perpendicular direction with respect to the magnetic field when particles move inward. The energy balance model including the heating mechanism explains the observed ion temperature profile.
△ Less
Submitted 18 November, 2015; v1 submitted 13 July, 2015;
originally announced July 2015.
-
Polytypes of long-period stacking structures synchronized with chemical order in a dilute Mg-Zn-Y alloy
Authors:
E. Abe,
A. Ono,
T. Itoi,
M. Yamasaki,
Y. Kawamura
Abstract:
A series of structural polytypes formed in an Mg-1at.%Zn-2at.%Y alloy has been identified, which are reasonably viewed as long-period stacking derivatives of the hcp Mg structure with alternate AB stacking of the close-packed atomic layers. Atomic-resolution Z-contrast imaging clearly revealed that the structures are long-period chemical-ordered as well as stacking-ordered; unique chemical order a…
▽ More
A series of structural polytypes formed in an Mg-1at.%Zn-2at.%Y alloy has been identified, which are reasonably viewed as long-period stacking derivatives of the hcp Mg structure with alternate AB stacking of the close-packed atomic layers. Atomic-resolution Z-contrast imaging clearly revealed that the structures are long-period chemical-ordered as well as stacking-ordered; unique chemical order along the stacking direction occurs as being synchronized with a local faulted stacking of AB'C'A, where B' and C' layers are commonly enriched by Zn/Y atoms.
△ Less
Submitted 26 July, 2011; v1 submitted 24 June, 2011;
originally announced June 2011.
-
Local Indices of a Vector Field at an Isolated Zero on the Boundary
Authors:
Hiroaki Kamae,
Masayuki Yamasaki
Abstract:
We define two types of local indices of a vector field at an isolated zero on the boundary, and prove Poincare-Hopf-type index theorems for certain vector fields on a compact smooth manifold which have only isolated zeros.
We define two types of local indices of a vector field at an isolated zero on the boundary, and prove Poincare-Hopf-type index theorems for certain vector fields on a compact smooth manifold which have only isolated zeros.
△ Less
Submitted 20 March, 2008; v1 submitted 14 March, 2008;
originally announced March 2008.
-
3-manifolds and 4-dimensional surgery
Authors:
Masayuki Yamasaki
Abstract:
Let $X$ be a connected compact 3-manifold with non-empty boundary. Consider the boundary $M$ of $X\times D^2$. $M$ is a 4-dimensional closed manifold and has the same fundamental group as $X$. Various examples of $X$ are known for which a certain assembly map $A:H_4(X;L)\to L_4(π_1(X))$ is injective. For such an $X$ and any CW-spine $B$ of $X$, there is a $UV^1$-map $p:M\to B$. For any $ε>0$, if…
▽ More
Let $X$ be a connected compact 3-manifold with non-empty boundary. Consider the boundary $M$ of $X\times D^2$. $M$ is a 4-dimensional closed manifold and has the same fundamental group as $X$. Various examples of $X$ are known for which a certain assembly map $A:H_4(X;L)\to L_4(π_1(X))$ is injective. For such an $X$ and any CW-spine $B$ of $X$, there is a $UV^1$-map $p:M\to B$. For any $ε>0$, if the surgery obstruction for a TOP normal map $(f,b):N\to M$ vanishes, we can perform surgery on $f$ to change it into a $p^{-1}(ε)$-controlled homotopy equivalence.
△ Less
Submitted 24 October, 2006;
originally announced October 2006.
-
Flexible Foraging of Ants under Unsteadily Varying Environment
Authors:
Tomomi Tao,
Hiroyuki Nakagawa,
Masato Yamasaki,
Hiraku Nishimori
Abstract:
Using a simple model for the trail formation of ants, the relation between i)the schedule of feeding which represents the unsteady natural environment, ii)emerging patterns of trails connecting a nest with food resources, and iii)the foraging efficiency is studied. Simulations and a simple analysis show that the emergent trail pattern flexibly varies depending on the feeding schedule by which an…
▽ More
Using a simple model for the trail formation of ants, the relation between i)the schedule of feeding which represents the unsteady natural environment, ii)emerging patterns of trails connecting a nest with food resources, and iii)the foraging efficiency is studied. Simulations and a simple analysis show that the emergent trail pattern flexibly varies depending on the feeding schedule by which ants can make an efficient foraging according to the underlying unsteady environment.
△ Less
Submitted 5 July, 2004;
originally announced July 2004.
-
Stability in controlled L-theory
Authors:
Erik K. Pedersen,
Masayuki Yamasaki
Abstract:
We prove a squeezing/stability theorem for delta-epsilon controlled L-groups when the control map is a fibration on a finite polyhedron. A relation with boundedly-controlled L-groups is also discussed.
We prove a squeezing/stability theorem for delta-epsilon controlled L-groups when the control map is a fibration on a finite polyhedron. A relation with boundedly-controlled L-groups is also discussed.
△ Less
Submitted 18 March, 2009; v1 submitted 13 February, 2004;
originally announced February 2004.
-
Controlled L-theory
Authors:
Andrew Ranicki,
Masayuki Yamasaki
Abstract:
We develop an epsilon-controlled algebraic L-theory, extending our earlier work on epsilon-controlled algebraic K-theory. The controlled L-theory is very close to being a generalized homology theory; we study analogues of the homology exact sequence of a pair, excision properties, and the Mayer--Vietoris exact sequence. As an application we give a controlled L-theory proof of the classic theorem…
▽ More
We develop an epsilon-controlled algebraic L-theory, extending our earlier work on epsilon-controlled algebraic K-theory. The controlled L-theory is very close to being a generalized homology theory; we study analogues of the homology exact sequence of a pair, excision properties, and the Mayer--Vietoris exact sequence. As an application we give a controlled L-theory proof of the classic theorem of Novikov on the topological invariance of the rational Pontrjagin classes.
△ Less
Submitted 18 March, 2009; v1 submitted 13 February, 2004;
originally announced February 2004.
