-
Efficient Construction of Feasible Solutions in Column Generation using Quantum Annealing
Authors:
Taisei Takabayashi,
Naoki Maruyama,
Takuma Yoshihara,
Renichiro Haba,
Masayuki Ohzeki
Abstract:
Column generation (CG) has been used to solve constrained 0-1 quadratic programming problems. The pricing problem, which is iteratively solved in CG, can be reduced to an unconstrained 0-1 quadratic programming problem, allowing for the efficient application of quantum annealing (QA). The solutions obtained by CG are continuous relaxations, which cannot be practically used as feasible 0-1 solution…
▽ More
Column generation (CG) has been used to solve constrained 0-1 quadratic programming problems. The pricing problem, which is iteratively solved in CG, can be reduced to an unconstrained 0-1 quadratic programming problem, allowing for the efficient application of quantum annealing (QA). The solutions obtained by CG are continuous relaxations, which cannot be practically used as feasible 0-1 solutions. This study proposes a post-processing method for constructing feasible 0-1 solutions from the continuous relaxations obtained through CG. Numerical experiments on randomly generated problems demonstrate that CG with the proposed post-processing yields solutions comparable to commercial solvers with significantly reduced computation time.
△ Less
Submitted 31 March, 2025;
originally announced March 2025.
-
Relaxation-assisted reverse annealing on nonnegative/binary matrix factorization
Authors:
Renichiro Haba,
Masayuki Ohzeki,
Kazuyuki Tanaka
Abstract:
Quantum annealing has garnered significant attention as meta-heuristics inspired by quantum physics for combinatorial optimization problems. Among its many applications, nonnegative/binary matrix factorization stands out for its complexity and relevance in unsupervised machine learning. The use of reverse annealing, a derivative procedure of quantum annealing to prioritize the search in a vicinity…
▽ More
Quantum annealing has garnered significant attention as meta-heuristics inspired by quantum physics for combinatorial optimization problems. Among its many applications, nonnegative/binary matrix factorization stands out for its complexity and relevance in unsupervised machine learning. The use of reverse annealing, a derivative procedure of quantum annealing to prioritize the search in a vicinity under a given initial state, helps improve its optimization performance in matrix factorization. This study proposes an improved strategy that integrates reverse annealing with a linear programming relaxation technique. Using relaxed solutions as the initial configuration for reverse annealing, we demonstrate improvements in optimization performance comparable to the exact optimization methods. Our experiments on facial image datasets show that our method provides better convergence than known reverse annealing methods. Furthermore, we investigate the effectiveness of relaxation-based initialization methods on randomized datasets, demonstrating a relationship between the relaxed solution and the optimal solution. This research underscores the potential of combining reverse annealing and classical optimization strategies to enhance optimization performance.
△ Less
Submitted 3 January, 2025;
originally announced January 2025.
-
Bacterial Pathogenicity Regulation by RNA-binding Antiterminators
Authors:
Diane Soussan,
Ali Tahrioui,
R R de la Haba,
Adrien Forge,
Sylvie Chevalier,
Olivier Lesouhaitier,
Cécile Muller
Abstract:
Antiterminators are essential components of bacterial transcriptional regulation, allowing the control of gene expression in response to fluctuating environmental conditions. RNA-binding antiterminators are particularly important regulatory proteins that play a significant role in preventing transcription termination by binding to specific RNA sequences. These RNA-binding antiterminators have been…
▽ More
Antiterminators are essential components of bacterial transcriptional regulation, allowing the control of gene expression in response to fluctuating environmental conditions. RNA-binding antiterminators are particularly important regulatory proteins that play a significant role in preventing transcription termination by binding to specific RNA sequences. These RNA-binding antiterminators have been extensively studied for their roles in regulating various metabolic pathways. However, their role in modulating the physiology of pathogens requires further investigations. This review focuses on these RNA-binding proteins in both Gram-positive and Gram-negative bacteria, particularly on their structures, mechanism of action, and target genes. Additionally, the involvement of the antitermination mechanisms in bacterial pathogenicity will be discussed. This knowledge is crucial for understanding the regulatory mechanisms that govern bacterial pathogenicity, opening up exciting prospects for future research, and potentially new alternative strategies to fight against infectious diseases.
△ Less
Submitted 22 October, 2024;
originally announced October 2024.
-
Routing and Scheduling Optimization for Urban Air Mobility Fleet Management using Quantum Annealing
Authors:
Renichiro Haba,
Takuya Mano,
Ryosuke Ueda,
Genichiro Ebe,
Kohei Takeda,
Masayoshi Terabe,
Masayuki Ohzeki
Abstract:
The growing integration of urban air mobility (UAM) for urban transportation and delivery has accelerated due to increasing traffic congestion and its environmental and economic repercussions. Efficiently managing the anticipated high-density air traffic in cities is critical to ensure safe and effective operations. In this study, we propose a routing and scheduling framework to address the needs…
▽ More
The growing integration of urban air mobility (UAM) for urban transportation and delivery has accelerated due to increasing traffic congestion and its environmental and economic repercussions. Efficiently managing the anticipated high-density air traffic in cities is critical to ensure safe and effective operations. In this study, we propose a routing and scheduling framework to address the needs of a large fleet of UAM vehicles operating in urban areas. Using mathematical optimization techniques, we plan efficient and deconflicted routes for a fleet of vehicles. Formulating route planning as a maximum weighted independent set problem enables us to utilize various algorithms and specialized optimization hardware, such as quantum annealers, which has seen substantial progress in recent years. Our method is validated using a traffic management simulator tailored for the airspace in Singapore. Our approach enhances airspace utilization by distributing traffic throughout a region. This study broadens the potential applications of optimization techniques in UAM traffic management.
△ Less
Submitted 14 October, 2024;
originally announced October 2024.
-
The PLATO Mission
Authors:
Heike Rauer,
Conny Aerts,
Juan Cabrera,
Magali Deleuil,
Anders Erikson,
Laurent Gizon,
Mariejo Goupil,
Ana Heras,
Jose Lorenzo-Alvarez,
Filippo Marliani,
César Martin-Garcia,
J. Miguel Mas-Hesse,
Laurence O'Rourke,
Hugh Osborn,
Isabella Pagano,
Giampaolo Piotto,
Don Pollacco,
Roberto Ragazzoni,
Gavin Ramsay,
Stéphane Udry,
Thierry Appourchaux,
Willy Benz,
Alexis Brandeker,
Manuel Güdel,
Eduardo Janot-Pacheco
, et al. (820 additional authors not shown)
Abstract:
PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observati…
▽ More
PLATO (PLAnetary Transits and Oscillations of stars) is ESA's M3 mission designed to detect and characterise extrasolar planets and perform asteroseismic monitoring of a large number of stars. PLATO will detect small planets (down to <2 R_(Earth)) around bright stars (<11 mag), including terrestrial planets in the habitable zone of solar-like stars. With the complement of radial velocity observations from the ground, planets will be characterised for their radius, mass, and age with high accuracy (5 %, 10 %, 10 % for an Earth-Sun combination respectively). PLATO will provide us with a large-scale catalogue of well-characterised small planets up to intermediate orbital periods, relevant for a meaningful comparison to planet formation theories and to better understand planet evolution. It will make possible comparative exoplanetology to place our Solar System planets in a broader context. In parallel, PLATO will study (host) stars using asteroseismology, allowing us to determine the stellar properties with high accuracy, substantially enhancing our knowledge of stellar structure and evolution.
The payload instrument consists of 26 cameras with 12cm aperture each. For at least four years, the mission will perform high-precision photometric measurements. Here we review the science objectives, present PLATO's target samples and fields, provide an overview of expected core science performance as well as a description of the instrument and the mission profile at the beginning of the serial production of the flight cameras. PLATO is scheduled for a launch date end 2026. This overview therefore provides a summary of the mission to the community in preparation of the upcoming operational phases.
△ Less
Submitted 18 November, 2024; v1 submitted 8 June, 2024;
originally announced June 2024.
-
Travel time optimization on multi-AGV routing by reverse annealing
Authors:
Renichiro Haba,
Masayuki Ohzeki,
Kazuyuki Tanaka
Abstract:
Quantum annealing has been actively researched since D-Wave Systems produced the first commercial machine in 2011. Controlling a large fleet of automated guided vehicles is one of the real-world applications utilizing quantum annealing. In this study, we propose a formulation to control the traveling routes to minimize the travel time. We validate our formulation through simulation in a virtual pl…
▽ More
Quantum annealing has been actively researched since D-Wave Systems produced the first commercial machine in 2011. Controlling a large fleet of automated guided vehicles is one of the real-world applications utilizing quantum annealing. In this study, we propose a formulation to control the traveling routes to minimize the travel time. We validate our formulation through simulation in a virtual plant and authenticate the effectiveness for faster distribution compared to a greedy algorithm that does not consider the overall detour distance. Furthermore, we utilize reverse annealing to maximize the advantage of the D-Wave's quantum annealer. Starting from relatively good solutions obtained by a fast greedy algorithm, reverse annealing searches for better solutions around them. Our reverse annealing method improves the performance compared to standard quantum annealing alone and performs up to 10 times faster than the strong classical solver, Gurobi. This study extends a use of optimization with general problem solvers in the application of multi-AGV systems and reveals the potential of reverse annealing as an optimizer.
△ Less
Submitted 25 April, 2022;
originally announced April 2022.
-
Streaming Submodular Maximization under a $k$-Set System Constraint
Authors:
Ran Haba,
Ehsan Kazemi,
Moran Feldman,
Amin Karbasi
Abstract:
In this paper, we propose a novel framework that converts streaming algorithms for monotone submodular maximization into streaming algorithms for non-monotone submodular maximization. This reduction readily leads to the currently tightest deterministic approximation ratio for submodular maximization subject to a $k$-matchoid constraint. Moreover, we propose the first streaming algorithm for monoto…
▽ More
In this paper, we propose a novel framework that converts streaming algorithms for monotone submodular maximization into streaming algorithms for non-monotone submodular maximization. This reduction readily leads to the currently tightest deterministic approximation ratio for submodular maximization subject to a $k$-matchoid constraint. Moreover, we propose the first streaming algorithm for monotone submodular maximization subject to $k$-extendible and $k$-set system constraints. Together with our proposed reduction, we obtain $O(k\log k)$ and $O(k^2\log k)$ approximation ratio for submodular maximization subject to the above constraints, respectively. We extensively evaluate the empirical performance of our algorithm against the existing work in a series of experiments including finding the maximum independent set in randomly generated graphs, maximizing linear functions over social networks, movie recommendation, Yelp location summarization, and Twitter data summarization.
△ Less
Submitted 9 February, 2020;
originally announced February 2020.
-
Almost Optimal Semi-streaming Maximization for k-Extendible Systems
Authors:
Moran Feldman,
Ran Haba
Abstract:
In this paper we consider the problem of finding a maximum weight set subject to a $k$-extendible constraint in the data stream model. The only non-trivial algorithm known for this problem to date---to the best of our knowledge---is a semi-streaming $k^2(1 + \varepsilon)$-approximation algorithm (Crouch and Stubbs, 2014), but semi-streaming $O(k)$-approximation algorithms are known for many restri…
▽ More
In this paper we consider the problem of finding a maximum weight set subject to a $k$-extendible constraint in the data stream model. The only non-trivial algorithm known for this problem to date---to the best of our knowledge---is a semi-streaming $k^2(1 + \varepsilon)$-approximation algorithm (Crouch and Stubbs, 2014), but semi-streaming $O(k)$-approximation algorithms are known for many restricted cases of this general problem. In this paper, we close most of this gap by presenting a semi-streaming $O(k \log k)$-approximation algorithm for the general problem, which is almost the best possible even in the offline setting (Feldman et al., 2017).
△ Less
Submitted 11 June, 2019;
originally announced June 2019.