-
A Comprehensive Study of Quantum Arithmetic Circuits
Authors:
Siyi Wang,
Xiufan Li,
Wei Jie Bryan Lee,
Suman Deb,
Eugene Lim,
Anupam Chattopadhyay
Abstract:
In recent decades, the field of quantum computing has experienced remarkable progress. This progress is marked by the superior performance of many quantum algorithms compared to their classical counterparts, with Shor's algorithm serving as a prominent illustration. Quantum arithmetic circuits, which are the fundamental building blocks in numerous quantum algorithms, have attracted much attention.…
▽ More
In recent decades, the field of quantum computing has experienced remarkable progress. This progress is marked by the superior performance of many quantum algorithms compared to their classical counterparts, with Shor's algorithm serving as a prominent illustration. Quantum arithmetic circuits, which are the fundamental building blocks in numerous quantum algorithms, have attracted much attention. Despite extensive exploration of various designs in the existing literature, researchers remain keen on develo** novel designs and improving existing ones.
In this review article, we aim to provide a systematically organized and easily comprehensible overview of the current state-of-the-art in quantum arithmetic circuits. Specifically, this study covers fundamental operations such as addition, subtraction, multiplication, division and modular exponentiation. We delve into the detailed quantum implementations of these prominent designs and evaluate their efficiency considering various objectives. We also discuss potential applications of presented arithmetic circuits and suggest future research directions.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
Identifying regions of importance in wall-bounded turbulence through explainable deep learning
Authors:
Andres Cremades,
Sergio Hoyas,
Rahul Deshpande,
Pedro Quintero,
Martin Lellep,
Will Junghoon Lee,
Jason Monty,
Nicholas Hutchins,
Moritz Linkmann,
Ivan Marusic,
Ricardo Vinuesa
Abstract:
Despite its great scientific and technological importance, wall-bounded turbulence is an unresolved problem in classical physics that requires new perspectives to be tackled. One of the key strategies has been to study interactions among the energy-containing coherent structures in the flow. Such interactions are explored in this study for the first time using an explainable deep-learning method.…
▽ More
Despite its great scientific and technological importance, wall-bounded turbulence is an unresolved problem in classical physics that requires new perspectives to be tackled. One of the key strategies has been to study interactions among the energy-containing coherent structures in the flow. Such interactions are explored in this study for the first time using an explainable deep-learning method. The instantaneous velocity field obtained from a turbulent channel flow simulation is used to predict the velocity field in time through a U-net architecture. Based on the predicted flow, we assess the importance of each structure for this prediction using the game-theoretic algorithm of SHapley Additive exPlanations (SHAP). This work provides results in agreement with previous observations in the literature and extends them by revealing that the most important structures in the flow are not necessarily the ones with the highest contribution to the Reynolds shear stress. We also apply the method to an experimental database, where we can identify completely new structures based on their importance score. This framework has the potential to shed light on numerous fundamental phenomena of wall-bounded turbulence, including novel strategies for flow control.
△ Less
Submitted 19 February, 2024; v1 submitted 2 February, 2023;
originally announced February 2023.
-
Anomaly Detection and Inter-Sensor Transfer Learning on Smart Manufacturing Datasets
Authors:
Mustafa Abdallah,
Byung-Gun Joung,
Wo Jae Lee,
Charilaos Mousoulis,
John W. Sutherland,
Saurabh Bagchi
Abstract:
Smart manufacturing systems are being deployed at a growing rate because of their ability to interpret a wide variety of sensed information and act on the knowledge gleaned from system observations. In many cases, the principal goal of the smart manufacturing system is to rapidly detect (or anticipate) failures to reduce operational cost and eliminate downtime. This often boils down to detecting a…
▽ More
Smart manufacturing systems are being deployed at a growing rate because of their ability to interpret a wide variety of sensed information and act on the knowledge gleaned from system observations. In many cases, the principal goal of the smart manufacturing system is to rapidly detect (or anticipate) failures to reduce operational cost and eliminate downtime. This often boils down to detecting anomalies within the sensor date acquired from the system. The smart manufacturing application domain poses certain salient technical challenges. In particular, there are often multiple types of sensors with varying capabilities and costs. The sensor data characteristics change with the operating point of the environment or machines, such as, the RPM of the motor. The anomaly detection process therefore has to be calibrated near an operating point. In this paper, we analyze four datasets from sensors deployed from manufacturing testbeds. We evaluate the performance of several traditional and ML-based forecasting models for predicting the time series of sensor data. Then, considering the sparse data from one kind of sensor, we perform transfer learning from a high data rate sensor to perform defect type classification. Taken together, we show that predictive failure classification can be achieved, thus paving the way for predictive maintenance.
△ Less
Submitted 13 June, 2022;
originally announced June 2022.
-
Measurement of cosmogenic $^9$Li and $^8$He production rates at RENO
Authors:
H. G. Lee,
J. H. Choi,
H. I. Jang,
J. S. Jang,
S. H. Jeon,
K. K. Joo,
D. E. Jung,
J. G. Kim,
J. H. Kim,
J. Y. Kim,
S. B. Kim,
S. Y. Kim,
W. Kim,
E. Kwon,
D. H. Lee,
W. J. Lee,
I. T. Lim,
D. H. Moon,
M. Y. Pac,
J. S. Park,
R. G. Park,
H. Seo,
J. W. Seo,
C. D. Shin,
B. S. Yang
, et al. (4 additional authors not shown)
Abstract:
We report the measured production rates of unstable isotopes $^9$Li and $^8$He produced by cosmic muon spallation on $^{12}$C using two identical detectors of the RENO experiment. Their beta-decays accompanied by a neutron make a significant contribution to backgrounds of reactor antineutrino events in precise determination of the smallest neutrino mixing angle. The mean muon energy of its near (f…
▽ More
We report the measured production rates of unstable isotopes $^9$Li and $^8$He produced by cosmic muon spallation on $^{12}$C using two identical detectors of the RENO experiment. Their beta-decays accompanied by a neutron make a significant contribution to backgrounds of reactor antineutrino events in precise determination of the smallest neutrino mixing angle. The mean muon energy of its near (far) detector with an overburden of 120 (450) m.w.e. is estimated as 33.1 +- 2.3 (73.6 +- 4.4) GeV. Based on roughly 3100 days of data, the cosmogenic production rate of $^9$Li ($^8$He) isotope is measured to be 44.2 +- 3.1 (10.6 +- 7.4) per day at near detector and 10.0 +- 1.1 (2.1 +- 1.5) per day at far detector. This corresponds to yields of $^9$Li ($^8$He), 4.80 +- 0.36 (1.15 +- 0.81) and 9.9 +- 1.1 (2.1 +- 1.5) at near and far detectors, respectively, in a unit of 10$^{-8}$ $μ^{-1}$ g${^-1}$ cm${^2}$. Combining the measured $^9$Li yields with other available underground measurements, an excellent power-law relationship of the yield with respect to the mean muon energy is found to have an exponent of $α$ = 0.75 +- 0.05.
△ Less
Submitted 2 July, 2022; v1 submitted 20 April, 2022;
originally announced April 2022.
-
Robust Audio Anomaly Detection
Authors:
Wo Jae Lee,
Karim Helwani,
Arvindh Krishnaswamy,
Srikanth Tenneti
Abstract:
We propose an outlier robust multivariate time series model which can be used for detecting previously unseen anomalous sounds based on noisy training data. The presented approach doesn't assume the presence of labeled anomalies in the training dataset and uses a novel deep neural network architecture to learn the temporal dynamics of the multivariate time series at multiple resolutions while bein…
▽ More
We propose an outlier robust multivariate time series model which can be used for detecting previously unseen anomalous sounds based on noisy training data. The presented approach doesn't assume the presence of labeled anomalies in the training dataset and uses a novel deep neural network architecture to learn the temporal dynamics of the multivariate time series at multiple resolutions while being robust to contaminations in the training dataset. The temporal dynamics are modeled using recurrent layers augmented with attention mechanism. These recurrent layers are built on top of convolutional layers allowing the network to extract features at multiple resolutions. The output of the network is an outlier robust probability density function modeling the conditional probability of future samples given the time series history. State-of-the-art approaches using other multiresolution architectures are contrasted with our proposed approach. We validate our solution using publicly available machine sound datasets. We demonstrate the effectiveness of our approach in anomaly detection by comparing against several state-of-the-art models.
△ Less
Submitted 3 February, 2022;
originally announced February 2022.
-
Anomaly Detection through Transfer Learning in Agriculture and Manufacturing IoT Systems
Authors:
Mustafa Abdallah,
Wo Jae Lee,
Nithin Raghunathan,
Charilaos Mousoulis,
John W. Sutherland,
Saurabh Bagchi
Abstract:
IoT systems have been facing increasingly sophisticated technical problems due to the growing complexity of these systems and their fast deployment practices. Consequently, IoT managers have to judiciously detect failures (anomalies) in order to reduce their cyber risk and operational cost. While there is a rich literature on anomaly detection in many IoT-based systems, there is no existing work t…
▽ More
IoT systems have been facing increasingly sophisticated technical problems due to the growing complexity of these systems and their fast deployment practices. Consequently, IoT managers have to judiciously detect failures (anomalies) in order to reduce their cyber risk and operational cost. While there is a rich literature on anomaly detection in many IoT-based systems, there is no existing work that documents the use of ML models for anomaly detection in digital agriculture and in smart manufacturing systems. These two application domains pose certain salient technical challenges. In agriculture the data is often sparse, due to the vast areas of farms and the requirement to keep the cost of monitoring low. Second, in both domains, there are multiple types of sensors with varying capabilities and costs. The sensor data characteristics change with the operating point of the environment or machines, such as, the RPM of the motor. The inferencing and the anomaly detection processes therefore have to be calibrated for the operating point.
In this paper, we analyze data from sensors deployed in an agricultural farm with data from seven different kinds of sensors, and from an advanced manufacturing testbed with vibration sensors. We evaluate the performance of ARIMA and LSTM models for predicting the time series of sensor data. Then, considering the sparse data from one kind of sensor, we perform transfer learning from a high data rate sensor. We then perform anomaly detection using the predicted sensor data. Taken together, we show how in these two application domains, predictive failure classification can be achieved, thus paving the way for predictive maintenance.
△ Less
Submitted 10 February, 2021;
originally announced February 2021.
-
Quantum Higher Order Singular Value Decomposition
Authors:
Lejia Gu,
Xiaoqiang Wang,
H. W. Joseph Lee,
Guofeng Zhang
Abstract:
Higher order singular value decomposition (HOSVD) is an important tool for analyzing big data in multilinear algebra and machine learning. In this paper, we present two quantum algorithms for HOSVD. Our methods allow one to decompose a tensor into a core tensor containing tensor singular values and some unitary matrices by quantum computers. Compared to the classical HOSVD algorithm, our quantum a…
▽ More
Higher order singular value decomposition (HOSVD) is an important tool for analyzing big data in multilinear algebra and machine learning. In this paper, we present two quantum algorithms for HOSVD. Our methods allow one to decompose a tensor into a core tensor containing tensor singular values and some unitary matrices by quantum computers. Compared to the classical HOSVD algorithm, our quantum algorithms provide an exponential speedup. Furthermore, we introduce a hybrid quantum-classical algorithm of HOSVD model applied in recommendation systems.
△ Less
Submitted 5 April, 2020; v1 submitted 2 August, 2019;
originally announced August 2019.
-
Analytical Approach to Study the Impacts of Mutual Coupling on Transmission Lines Protection Systems
Authors:
Azade Brahman,
Dilan Novosad,
Mehriar Tabrizi,
Tim Cook,
Wei Jen Lee
Abstract:
While there are numerous literatures that have addressed the impact of mutual coupling on the reliability and security of protection schemes and have provided possible mitigation solutions, there has not been adequate research and documentation presenting a comprehensive analytical approach to 1) estimate the magnitude of mutual coupling and 2) quantify the adverse impact of mutual coupling in rea…
▽ More
While there are numerous literatures that have addressed the impact of mutual coupling on the reliability and security of protection schemes and have provided possible mitigation solutions, there has not been adequate research and documentation presenting a comprehensive analytical approach to 1) estimate the magnitude of mutual coupling and 2) quantify the adverse impact of mutual coupling in real-life scenarios under several system faults across various types of protective elements. This should be considered as the first stage of any mutual coupling related study preceding the second stage in which the mitigation against mutual coupling is to be developed. The proposed methodology can be used to study the impact of mutual coupling on ground overcurrent relays, ground and phase distance as well as pilot protection schemes. As part of the proposed approach, EMT simulation is utilized to quantify the extent of sub-transient overshoot and current reversal that may have adverse impact on the performance of studied relays. A real-life case study within the ERCOT network has been used to demonstrate the proposed study approach.
△ Less
Submitted 29 January, 2019;
originally announced January 2019.
-
Weak Rigidity Theory and its Application to Multi-agent Formation Stabilization
Authors:
Gangshan **g,
Guofeng Zhang,
Heung Wing Joseph Lee,
Long Wang
Abstract:
This paper introduces the notion of weak rigidity to characterize a framework by pairwise inner products of inter-agent displacements. Compared to distance-based rigidity, weak rigidity requires fewer constrained edges in the graph to determine a geometric shape in an arbitrarily dimensional space. A necessary and sufficient graphical condition for infinitesimal weak rigidity of planar frameworks…
▽ More
This paper introduces the notion of weak rigidity to characterize a framework by pairwise inner products of inter-agent displacements. Compared to distance-based rigidity, weak rigidity requires fewer constrained edges in the graph to determine a geometric shape in an arbitrarily dimensional space. A necessary and sufficient graphical condition for infinitesimal weak rigidity of planar frameworks is derived. As an application of the proposed weak rigidity theory, a gradient based control law and a non-gradient based control law are designed for a group of single-integrator modeled agents to stabilize a desired formation shape, respectively. Using the gradient control law, we prove that an infinitesimally weakly rigid formation is locally exponentially stable. In particular, if the number of agents is one greater than the dimension of the space, a minimally infinitesimally weakly rigid formation is almost globally asymptotically stable. In the literature of rigid formation, the sensing graph is always required to be rigid. Using the non-gradient control law based on weak rigidity theory, the sensing graph is unnecessary to be rigid for local exponential stability of the formation. A numerical simulation is performed for illustrating effectiveness of our main results.
△ Less
Submitted 8 April, 2018;
originally announced April 2018.
-
Angle-based Shape Determination Theory of Planar Graphs with Application to Formation Stabilization
Authors:
Gangshan **g,
Guofeng Zhang,
Heung Wing Joseph Lee,
Long Wang
Abstract:
This paper presents an angle-based approach for distributed formation shape stabilization of multi-agent systems in the plane. We develop an angle rigidity theory to study whether a planar framework can be determined by angles between segments uniquely up to translations, rotations, scalings and reflections. The proposed angle rigidity theory is applied to the formation stabilization problem, wher…
▽ More
This paper presents an angle-based approach for distributed formation shape stabilization of multi-agent systems in the plane. We develop an angle rigidity theory to study whether a planar framework can be determined by angles between segments uniquely up to translations, rotations, scalings and reflections. The proposed angle rigidity theory is applied to the formation stabilization problem, where multiple single-integrator modeled agents cooperatively achieve an angle-constrained formation. During the formation process, the global coordinate system is unknown for each agent and wireless communications between agents are not required. Moreover, by utilizing the advantage of high degrees of freedom, we propose a distributed control law for agents to stabilize a target formation shape with desired orientation and scale. Simulation examples are performed for illustrating effectiveness of the proposed control strategies.
△ Less
Submitted 1 March, 2019; v1 submitted 12 March, 2018;
originally announced March 2018.
-
Physics Potentials with the Second Hyper-Kamiokande Detector in Korea
Authors:
Hyper-Kamiokande proto-collaboration,
:,
K. Abe,
Ke. Abe,
S. H. Ahn,
H. Aihara,
A. Aimi,
R. Akutsu,
C. Andreopoulos,
I. Anghel,
L. H. V. Anthony,
M. Antonova,
Y. Ashida,
V. Aushev,
M. Barbi,
G. J. Barker,
G. Barr,
P. Beltrame,
V. Berardi,
M. Bergevin,
S. Berkman,
L. Berns,
T. Berry,
S. Bhadra,
D. Bravo-Bergu no
, et al. (331 additional authors not shown)
Abstract:
Hyper-Kamiokande consists of two identical water-Cherenkov detectors of total 520~kt with the first one in Japan at 295~km from the J-PARC neutrino beam with 2.5$^{\textrm{o}}$ Off-Axis Angles (OAAs), and the second one possibly in Korea in a later stage. Having the second detector in Korea would benefit almost all areas of neutrino oscillation physics mainly due to longer baselines. There are sev…
▽ More
Hyper-Kamiokande consists of two identical water-Cherenkov detectors of total 520~kt with the first one in Japan at 295~km from the J-PARC neutrino beam with 2.5$^{\textrm{o}}$ Off-Axis Angles (OAAs), and the second one possibly in Korea in a later stage. Having the second detector in Korea would benefit almost all areas of neutrino oscillation physics mainly due to longer baselines. There are several candidate sites in Korea with baselines of 1,000$\sim$1,300~km and OAAs of 1$^{\textrm{o}}$$\sim$3$^{\textrm{o}}$. We conducted sensitivity studies on neutrino oscillation physics for a second detector, either in Japan (JD $\times$ 2) or Korea (JD + KD) and compared the results with a single detector in Japan. Leptonic CP violation sensitivity is improved especially when the CP is non-maximally violated. The larger matter effect at Korean candidate sites significantly enhances sensitivities to non-standard interactions of neutrinos and mass ordering determination. Current studies indicate the best sensitivity is obtained at Mt. Bisul (1,088~km baseline, $1.3^\circ$ OAA). Thanks to a larger (1,000~m) overburden than the first detector site, clear improvements to sensitivities for solar and supernova relic neutrino searches are expected.
△ Less
Submitted 26 March, 2018; v1 submitted 18 November, 2016;
originally announced November 2016.
-
Mixed LQG and $H_\infty$ Coherent Feedback Control for Linear Quantum Systems
Authors:
Lei Cui,
Zhiyuan Dong,
Guofeng Zhang,
Heung Wing Joseph Lee
Abstract:
The purpose of this paper is to study the mixed linear quadratic Gaussian (LQG) and $H_\infty$ optimal control problem for linear quantum stochastic systems, where the controller itself is also a quantum system, often referred to as "coherent feedback controller". A lower bound of the LQG control is proved. Then two different methods, rank constrained linear matrix inequality (LMI) method and gene…
▽ More
The purpose of this paper is to study the mixed linear quadratic Gaussian (LQG) and $H_\infty$ optimal control problem for linear quantum stochastic systems, where the controller itself is also a quantum system, often referred to as "coherent feedback controller". A lower bound of the LQG control is proved. Then two different methods, rank constrained linear matrix inequality (LMI) method and genetic algorithm are proposed for controller design. A passive system (cavity) and a non-passive one (degenerate parametric amplifier, DPA) demonstrate the effectiveness of these two proposed algorithms.
△ Less
Submitted 13 November, 2016;
originally announced November 2016.
-
Electrical Control of Broadband Terahertz Wave Transmission with Two-Terminal Graphene Oxide Devices
Authors:
Seungwoo Lee,
Kyung Eun Lee,
Won Jun Lee,
Byung Cheol Park,
Byungsoo Kang,
Euyheon Hwang,
Sang Ouk Kim
Abstract:
Carbon nanomaterials such as carbon nanotubes and graphene have proved to be efficient building blocks for active optoelectronic devices. Especially, the exotic properties of crystalline graphene, such as a linear/gapless energy dispersion, offer a generic route to the development of active photonic modulator at the infrared (IR) and terahertz (THz) regime with large modulation depth. Here, we sho…
▽ More
Carbon nanomaterials such as carbon nanotubes and graphene have proved to be efficient building blocks for active optoelectronic devices. Especially, the exotic properties of crystalline graphene, such as a linear/gapless energy dispersion, offer a generic route to the development of active photonic modulator at the infrared (IR) and terahertz (THz) regime with large modulation depth. Here, we show that graphene oxide (GO), an oxygenated derivative of graphene with randomly distributed molecular defects (e.g., adsorbed water molecules and punched holes), can provide a different way to effectively control broadband THz transmission amplitude, when incorporated into two-terminal electrode devices. Electrically trapped charge carriers within localized impurity states (LIS) of GO, which originate from fully randomized defective structure of GO, results in a large modulation of transmission amplitude (~30%) for broadband THz waves (0.3 ~ 2.0 THz) even at room temperature. Interesting hysteretic behavior observed in the control of broadband THz transmission further confirms the key role of trapped charge carriers in switching of broadband THz waves. The device architecture constructed by simple solution printing of GO onto the two-terminal electrode enables easy-to-implement active photonic devices.
△ Less
Submitted 12 August, 2015;
originally announced August 2015.
-
Coherent Feedback Control of Linear Quantum Optical Systems via Squeezing and Phase Shift
Authors:
Guofeng Zhang,
Heung Wing Joseph Lee,
Bo Huang,
Hu Zhang
Abstract:
The purpose of this paper is to present a theoretic and numerical study of utilizing squeezing and phase shift in coherent feedback control of linear quantum optical systems. A quadrature representation with built-in phase shifters is proposed for such systems. Fundamental structural characterizations of linear quantum optical systems are derived in terms of the new quadrature representation. Thes…
▽ More
The purpose of this paper is to present a theoretic and numerical study of utilizing squeezing and phase shift in coherent feedback control of linear quantum optical systems. A quadrature representation with built-in phase shifters is proposed for such systems. Fundamental structural characterizations of linear quantum optical systems are derived in terms of the new quadrature representation. These results reveal considerable insights of issue of physical realizability of such quantum systems. The problem of coherent quantum LQG feedback control studied in [35,50] is re-investigated in depth. Firstly, the optimization methods in [35,50] are extended to a multi-step optimization algorithm which utilizes ideal squeezers. Secondly, a two-stage optimization approach is proposed on the basis of controller parametrization. Numerical studies show that closed-loop systems designed via the second approach may offer LQG control performance even better than that when the closed-loop systems are in the vacuum state. When ideal squeezers in a close-loop system are replaced by (more realistic) degenerate parametric amplifiers, a sufficient condition is derived for the asymptotic stability of the resultant new closed-loop system; the issue of performance convergence is also discussed in the LQG control setting.
△ Less
Submitted 16 June, 2012;
originally announced June 2012.