-
Symmetric Nash equilibrium of political polarization in a two-party system
Authors:
Jonghoon Kim,
Hyeong-Chai Jeong,
Seung Ki Baek
Abstract:
The median-voter hypothesis (MVH) predicts convergence of two party platforms across a one-dimensional political spectrum during majoritarian elections. From the viewpoint of the MVH, an explanation of polarization is that each election has a different median voter so that a party cannot please all the median voters at the same time. We consider two parties competing to win voters along a one-dime…
▽ More
The median-voter hypothesis (MVH) predicts convergence of two party platforms across a one-dimensional political spectrum during majoritarian elections. From the viewpoint of the MVH, an explanation of polarization is that each election has a different median voter so that a party cannot please all the median voters at the same time. We consider two parties competing to win voters along a one-dimensional spectrum and assume that each party nominates one candidate out of two in the primary election, for which the electorates represent only one side of the whole population. We argue that all the four candidates will come to the same distance from the median of the total population through best-response dynamics.
△ Less
Submitted 3 October, 2022;
originally announced October 2022.
-
Fully-Automated Verification of Linear Systems Using Inner- and Outer-Approximations of Reachable Sets
Authors:
Mark Wetzlinger,
Niklas Kochdumper,
Stanley Bak,
Matthias Althoff
Abstract:
Reachability analysis is a formal method to guarantee safety of dynamical systems under the influence of uncertainties. A substantial bottleneck of all reachability algorithms is the necessity to adequately tune specific algorithm parameters, such as the time step size, which requires expert knowledge. In this work, we solve this issue with a fully automated reachability algorithm that tunes all a…
▽ More
Reachability analysis is a formal method to guarantee safety of dynamical systems under the influence of uncertainties. A substantial bottleneck of all reachability algorithms is the necessity to adequately tune specific algorithm parameters, such as the time step size, which requires expert knowledge. In this work, we solve this issue with a fully automated reachability algorithm that tunes all algorithm parameters internally such that the reachable set enclosure respects a user-defined approximation error bound in terms of the Hausdorff distance to the exact reachable set. Moreover, this bound can be used to extract an inner-approximation of the reachable set from the outer-approximation using the Minkowski difference. Finally, we propose a novel verification algorithm that automatically refines the accuracy of the outer-approximation and inner-approximation until specifications given by time-varying safe and unsafe sets can be verified or falsified. The numerical evaluation demonstrates that our verification algorithm successfully verifies or falsifies benchmarks from different domains without requiring manual tuning.
△ Less
Submitted 22 February, 2024; v1 submitted 19 September, 2022;
originally announced September 2022.
-
Non-Hermitian chiral degeneracy of gated graphene metasurfaces
Authors:
Soojeong Baek,
Sang Hyun Park,
Donghak Oh,
Kanghee Lee,
Sangha Lee,
Hosub Lim,
Taewoo Ha,
Hyun-Sung Park,
Shuang Zhang,
Lan Yang,
Bumki Min,
Teun-Teun Kim
Abstract:
Non-Hermitian degeneracies, also known as exceptional points (EPs), have been the focus of much attention due to their singular eigenvalue surface structure. Nevertheless, as pertaining to a non-Hermitian metasurface platform, the reduction of an eigenspace dimensionality at the EP has been investigated mostly in a passive repetitive manner. Here, we propose an electrical and spectral way of resol…
▽ More
Non-Hermitian degeneracies, also known as exceptional points (EPs), have been the focus of much attention due to their singular eigenvalue surface structure. Nevertheless, as pertaining to a non-Hermitian metasurface platform, the reduction of an eigenspace dimensionality at the EP has been investigated mostly in a passive repetitive manner. Here, we propose an electrical and spectral way of resolving chiral EPs and clarifying the consequences of chiral mode collapsing of a non-Hermitian gated graphene metasurface. More specifically, the measured non-Hermitian Jones matrix in parameter space enables the quantification of nonorthogonality of polarisation eigenstates and half-integer topological charges associated with a chiral EP. Interestingly, the output polarisation state can be made orthogonal to the coalesced polarisation eigenstate of the metasurface, revealing the missing dimension at the chiral EP. In addition, the maximal nonorthogonality at the chiral EP leads to a blocking of one of the cross-polarised transmission pathways and, consequently, the observation of enhanced asymmetric polarisation conversion. We anticipate that electrically controllable non-Hermitian metasurface platforms can serve as an interesting framework for the investigation of rich non-Hermitian polarisation dynamics around chiral EPs.
△ Less
Submitted 22 August, 2022;
originally announced August 2022.
-
Evolution of direct reciprocity in group-structured populations
Authors:
Yohsuke Murase,
Christian Hilbe,
Seung Ki Baek
Abstract:
People tend to have their social interactions with members of their own community. Such group-structured interactions can have a profound impact on the behaviors that evolve. Group structure affects the way people cooperate, and how they reciprocate each other's cooperative actions. Past work has shown that population structure and reciprocity can both promote the evolution of cooperation. Yet the…
▽ More
People tend to have their social interactions with members of their own community. Such group-structured interactions can have a profound impact on the behaviors that evolve. Group structure affects the way people cooperate, and how they reciprocate each other's cooperative actions. Past work has shown that population structure and reciprocity can both promote the evolution of cooperation. Yet the impact of these mechanisms has been typically studied in isolation. In this work, we study how the two mechanisms interact. Using a game-theoretic model, we explore how people engage in reciprocal cooperation in group-structured populations, compared to well-mixed populations of equal size. To derive analytical results, we focus on two scenarios. In the first scenario, we assume a complete separation of time scales. Mutations are rare compared to between-group comparisons, which themselves are rare compared to within-group comparisons. In the second scenario, there is a partial separation of time scales, where mutations and between-group comparisons occur at a comparable rate. In both scenarios, we find that the effect of population structure depends on the benefit of cooperation. When this benefit is small, group-structured populations are more cooperative. But when the benefit is large, well-mixed populations result in more cooperation. Overall, our results reveal how group structure can sometimes enhance and sometimes suppress the evolution of cooperation.
△ Less
Submitted 28 July, 2022;
originally announced July 2022.
-
Federated Learning on Adaptively Weighted Nodes by Bilevel Optimization
Authors:
Yankun Huang,
Qihang Lin,
Nick Street,
Stephen Baek
Abstract:
We propose a federated learning method with weighted nodes in which the weights can be modified to optimize the model's performance on a separate validation set. The problem is formulated as a bilevel optimization where the inner problem is a federated learning problem with weighted nodes and the outer problem focuses on optimizing the weights based on the validation performance of the model retur…
▽ More
We propose a federated learning method with weighted nodes in which the weights can be modified to optimize the model's performance on a separate validation set. The problem is formulated as a bilevel optimization where the inner problem is a federated learning problem with weighted nodes and the outer problem focuses on optimizing the weights based on the validation performance of the model returned from the inner problem. A communication-efficient federated optimization algorithm is designed to solve this bilevel optimization problem. Under an error-bound assumption, we analyze the generalization performance of the output model and identify scenarios when our method is in theory superior to training a model only locally and to federated learning with static and evenly distributed weights.
△ Less
Submitted 7 October, 2022; v1 submitted 21 July, 2022;
originally announced July 2022.
-
BigColor: Colorization using a Generative Color Prior for Natural Images
Authors:
Geonung Kim,
Kyoungkook Kang,
Seongtae Kim,
Hwayoon Lee,
Sehoon Kim,
Jonghyun Kim,
Seung-Hwan Baek,
Sunghyun Cho
Abstract:
For realistic and vivid colorization, generative priors have recently been exploited. However, such generative priors often fail for in-the-wild complex images due to their limited representation space. In this paper, we propose BigColor, a novel colorization approach that provides vivid colorization for diverse in-the-wild images with complex structures. While previous generative priors are train…
▽ More
For realistic and vivid colorization, generative priors have recently been exploited. However, such generative priors often fail for in-the-wild complex images due to their limited representation space. In this paper, we propose BigColor, a novel colorization approach that provides vivid colorization for diverse in-the-wild images with complex structures. While previous generative priors are trained to synthesize both image structures and colors, we learn a generative color prior to focus on color synthesis given the spatial structure of an image. In this way, we reduce the burden of synthesizing image structures from the generative prior and expand its representation space to cover diverse images. To this end, we propose a BigGAN-inspired encoder-generator network that uses a spatial feature map instead of a spatially-flattened BigGAN latent code, resulting in an enlarged representation space. Our method enables robust colorization for diverse inputs in a single forward pass, supports arbitrary input resolutions, and provides multi-modal colorization results. We demonstrate that BigColor significantly outperforms existing methods especially on in-the-wild images with complex structures.
△ Less
Submitted 20 July, 2022;
originally announced July 2022.
-
Open- and Closed-Loop Neural Network Verification using Polynomial Zonotopes
Authors:
Niklas Kochdumper,
Christian Schilling,
Matthias Althoff,
Stanley Bak
Abstract:
We present a novel approach to efficiently compute tight non-convex enclosures of the image through neural networks with ReLU, sigmoid, or hyperbolic tangent activation functions. In particular, we abstract the input-output relation of each neuron by a polynomial approximation, which is evaluated in a set-based manner using polynomial zonotopes. While our approach can also can be beneficial for op…
▽ More
We present a novel approach to efficiently compute tight non-convex enclosures of the image through neural networks with ReLU, sigmoid, or hyperbolic tangent activation functions. In particular, we abstract the input-output relation of each neuron by a polynomial approximation, which is evaluated in a set-based manner using polynomial zonotopes. While our approach can also can be beneficial for open-loop neural network verification, our main application is reachability analysis of neural network controlled systems, where polynomial zonotopes are able to capture the non-convexity caused by the neural network as well as the system dynamics. This results in a superior performance compared to other methods, as we demonstrate on various benchmarks.
△ Less
Submitted 17 April, 2023; v1 submitted 6 July, 2022;
originally announced July 2022.
-
Visual Transformer Meets CutMix for Improved Accuracy, Communication Efficiency, and Data Privacy in Split Learning
Authors:
Sihun Baek,
Jihong Park,
Praneeth Vepakomma,
Ramesh Raskar,
Mehdi Bennis,
Seong-Lyun Kim
Abstract:
This article seeks for a distributed learning solution for the visual transformer (ViT) architectures. Compared to convolutional neural network (CNN) architectures, ViTs often have larger model sizes, and are computationally expensive, making federated learning (FL) ill-suited. Split learning (SL) can detour this problem by splitting a model and communicating the hidden representations at the spli…
▽ More
This article seeks for a distributed learning solution for the visual transformer (ViT) architectures. Compared to convolutional neural network (CNN) architectures, ViTs often have larger model sizes, and are computationally expensive, making federated learning (FL) ill-suited. Split learning (SL) can detour this problem by splitting a model and communicating the hidden representations at the split-layer, also known as smashed data. Notwithstanding, the smashed data of ViT are as large as and as similar as the input data, negating the communication efficiency of SL while violating data privacy. To resolve these issues, we propose a new form of CutSmashed data by randomly punching and compressing the original smashed data. Leveraging this, we develop a novel SL framework for ViT, coined CutMixSL, communicating CutSmashed data. CutMixSL not only reduces communication costs and privacy leakage, but also inherently involves the CutMix data augmentation, improving accuracy and scalability. Simulations corroborate that CutMixSL outperforms baselines such as parallelized SL and SplitFed that integrates FL with SL.
△ Less
Submitted 1 July, 2022;
originally announced July 2022.
-
ComDensE : Combined Dense Embedding of Relation-aware and Common Features for Knowledge Graph Completion
Authors:
Minsang Kim,
Seungjun Baek
Abstract:
Real-world knowledge graphs (KG) are mostly incomplete. The problem of recovering missing relations, called KG completion, has recently become an active research area. Knowledge graph (KG) embedding, a low-dimensional representation of entities and relations, is the crucial technique for KG completion. Convolutional neural networks in models such as ConvE, SACN, InteractE, and RGCN achieve recent…
▽ More
Real-world knowledge graphs (KG) are mostly incomplete. The problem of recovering missing relations, called KG completion, has recently become an active research area. Knowledge graph (KG) embedding, a low-dimensional representation of entities and relations, is the crucial technique for KG completion. Convolutional neural networks in models such as ConvE, SACN, InteractE, and RGCN achieve recent successes. This paper takes a different architectural view and proposes ComDensE which combines relation-aware and common features using dense neural networks. In the relation-aware feature extraction, we attempt to create relational inductive bias by applying an encoding function specific to each relation. In the common feature extraction, we apply the common encoding function to all input embeddings. These encoding functions are implemented using dense layers in ComDensE. ComDensE achieves the state-of-the-art performance in the link prediction in terms of MRR, HIT@1 on FB15k-237 and HIT@1 on WN18RR compared to the previous baseline approaches. We conduct an extensive ablation study to examine the effects of the relation-aware layer and the common layer of the ComDensE. Experimental results illustrate that the combined dense architecture as implemented in ComDensE achieves the best performance.
△ Less
Submitted 29 June, 2022;
originally announced June 2022.
-
Number-conserving solution for dynamical quantum backreaction in a Bose-Einstein condensate
Authors:
Sang-Shin Baak,
Caio C. Holanda Ribeiro,
Uwe R. Fischer
Abstract:
We provide a number-conserving approach to the backreaction problem of small quantum fluctuations onto a classical background for the exactly soluble dynamical evolution of a Bose-Einstein condensate, experimentally realizable in the ultracold gas laboratory. A force density exerted on the gas particles which is of quantum origin is uniquely identified as the deviation from the classical Eulerian…
▽ More
We provide a number-conserving approach to the backreaction problem of small quantum fluctuations onto a classical background for the exactly soluble dynamical evolution of a Bose-Einstein condensate, experimentally realizable in the ultracold gas laboratory. A force density exerted on the gas particles which is of quantum origin is uniquely identified as the deviation from the classical Eulerian force density. The backreaction equations are then explored for the specific example of a finite size uniform density condensate initially at rest. By assuming that the condensate starts from a non-interacting regime, and in its ground state, we fix a well-defined initial vacuum condition, which is driven out-of-equilibrium by instantaneously turning on the interactions. The assumption of this initial vacuum accounts for the ambiguity in choosing a vacuum state for interacting condensates, which is due to phase diffusion and the ensuing condensate collapse. As a major finding, we reveal that the time evolution of the condensate cloud leads to condensate density corrections that cannot in general be disentangled from the quantum depletion in measurements probing the power spectrum of the total density. Furthermore, while the condensate is initially at rest, quantum fluctuations give rise to a nontrivial condensate flux, from which we demonstrate that the quantum force density attenuates the classical Eulerian force. Finally, the knowledge of the particle density as a function of time for a condensate at rest determines, to order $N^0$, where $N$ is the total number of particles, the quantum force density, thus offering a viable route for obtaining experimentally accessible quantum backreaction effects.
△ Less
Submitted 22 June, 2022;
originally announced June 2022.
-
Traversable wormholes via a double trace deformation involving $U(1)$ conserved current operators
Authors:
Byoungjoon Ahn,
Sang-Eon Bak,
Viktor Jahnke,
Keun-Young Kim
Abstract:
We study the effects of conservation laws on wormholes that are made traversable by a double trace deformation. After coupling the two asymptotic boundaries of a maximally extended $(d+1)$ dimensional black brane geometry with $U(1)$ conserved current operators, we find that the quantum matter stress-energy tensor of the corresponding bulk gauge fields in the hydrodynamic limit violates the averag…
▽ More
We study the effects of conservation laws on wormholes that are made traversable by a double trace deformation. After coupling the two asymptotic boundaries of a maximally extended $(d+1)$ dimensional black brane geometry with $U(1)$ conserved current operators, we find that the quantum matter stress-energy tensor of the corresponding bulk gauge fields in the hydrodynamic limit violates the averaged null energy condition (ANEC), rendering the wormhole traversable. Applying our results to axionic two-sided black hole solutions, we discuss how the wormhole opening depends on the charge diffusion constant, how this affects the amount of information that can be sent through the wormhole, and possible implications for many-body quantum teleportation protocols involving conserved current operators.
△ Less
Submitted 21 March, 2024; v1 submitted 7 June, 2022;
originally announced June 2022.
-
Differentiable Point-Based Radiance Fields for Efficient View Synthesis
Authors:
Qiang Zhang,
Seung-Hwan Baek,
Szymon Rusinkiewicz,
Felix Heide
Abstract:
We propose a differentiable rendering algorithm for efficient novel view synthesis. By departing from volume-based representations in favor of a learned point representation, we improve on existing methods more than an order of magnitude in memory and runtime, both in training and inference. The method begins with a uniformly-sampled random point cloud and learns per-point position and view-depend…
▽ More
We propose a differentiable rendering algorithm for efficient novel view synthesis. By departing from volume-based representations in favor of a learned point representation, we improve on existing methods more than an order of magnitude in memory and runtime, both in training and inference. The method begins with a uniformly-sampled random point cloud and learns per-point position and view-dependent appearance, using a differentiable splat-based renderer to evolve the model to match a set of input images. Our method is up to 300x faster than NeRF in both training and inference, with only a marginal sacrifice in quality, while using less than 10~MB of memory for a static scene. For dynamic scenes, our method trains two orders of magnitude faster than STNeRF and renders at near interactive rate, while maintaining high image quality and temporal coherence even without imposing any temporal-coherency regularizers.
△ Less
Submitted 5 July, 2023; v1 submitted 28 May, 2022;
originally announced May 2022.
-
Sequential Linear Discriminant Analysis in High Dimensions Using Individual Discriminant Functions
Authors:
Seungchul Baek
Abstract:
High dimensional classification has been highlighted for last two decades and much research has been conducted in order to circumvent challenges encountered in high dimensions. While existing methods have focused mainly on develo** classification rules assuming independence of covariates or using regularization on the sample covariance matrix or the sample mean vector or among others, we propose…
▽ More
High dimensional classification has been highlighted for last two decades and much research has been conducted in order to circumvent challenges encountered in high dimensions. While existing methods have focused mainly on develo** classification rules assuming independence of covariates or using regularization on the sample covariance matrix or the sample mean vector or among others, we propose a novel approach that employs the "discriminatory power" of each covariate, selects a set of important variables yielding the lowest misclassification rate empirically, and constructs the optimal linear classifier with selected variables. We carry out simulation studies and analyze real data sets to illustrate the performance of our proposed classifier by comparing it with existing classifiers.
△ Less
Submitted 14 November, 2022; v1 submitted 8 May, 2022;
originally announced May 2022.
-
Lightweight Image Enhancement Network for Mobile Devices Using Self-Feature Extraction and Dense Modulation
Authors:
Sangwook Baek,
Yongsup Park,
Youngo Park,
Jungmin Lee,
Kwangpyo Choi
Abstract:
Convolutional neural network (CNN) based image enhancement methods such as super-resolution and detail enhancement have achieved remarkable performances. However, amounts of operations including convolution and parameters within the networks cost high computing power and need huge memory resource, which limits the applications with on-device requirements. Lightweight image enhancement network shou…
▽ More
Convolutional neural network (CNN) based image enhancement methods such as super-resolution and detail enhancement have achieved remarkable performances. However, amounts of operations including convolution and parameters within the networks cost high computing power and need huge memory resource, which limits the applications with on-device requirements. Lightweight image enhancement network should restore details, texture, and structural information from low-resolution input images while kee** their fidelity. To address these issues, a lightweight image enhancement network is proposed. The proposed network include self-feature extraction module which produces modulation parameters from low-quality image itself, and provides them to modulate the features in the network. Also, dense modulation block is proposed for unit block of the proposed network, which uses dense connections of concatenated features applied in modulation layers. Experimental results demonstrate better performance over existing approaches in terms of both quantitative and qualitative evaluations.
△ Less
Submitted 2 May, 2022;
originally announced May 2022.
-
Deep electric field predictions by drift-reduced Braginskii theory with plasma-neutral interactions based upon experimental images of boundary turbulence
Authors:
Abhilash Mathews,
Jerry Hughes,
James Terry,
Seung-Gyou Baek
Abstract:
We present 2-dimensional turbulent electric field calculations via physics-informed deep learning consistent with (i) drift-reduced Braginskii theory under the framework of an axisymmetric fusion plasma with purely toroidal field and (ii) experimental estimates of the fluctuating electron density and temperature on open field lines obtained from analysis of gas puff imaging of a discharge on the A…
▽ More
We present 2-dimensional turbulent electric field calculations via physics-informed deep learning consistent with (i) drift-reduced Braginskii theory under the framework of an axisymmetric fusion plasma with purely toroidal field and (ii) experimental estimates of the fluctuating electron density and temperature on open field lines obtained from analysis of gas puff imaging of a discharge on the Alcator C-Mod tokamak. The inclusion of effects from the locally puffed atomic helium on particle and energy sources within the reduced plasma turbulence model are found to strengthen correlations between the electric field and electron pressure. The neutrals are also directly associated with broadening the distribution of turbulent field amplitudes and increasing ${\bf E \times B}$ shearing rates. This demonstrates a novel approach in plasma experiments by solving for nonlinear dynamics consistent with partial differential equations and data without encoding explicit boundary nor initial conditions.
△ Less
Submitted 28 November, 2022; v1 submitted 25 April, 2022;
originally announced April 2022.
-
Federated Learning Enables Big Data for Rare Cancer Boundary Detection
Authors:
Sarthak Pati,
Ujjwal Baid,
Brandon Edwards,
Micah Sheller,
Shih-Han Wang,
G Anthony Reina,
Patrick Foley,
Alexey Gruzdev,
Deepthi Karkada,
Christos Davatzikos,
Chiharu Sako,
Satyam Ghodasara,
Michel Bilello,
Suyash Mohan,
Philipp Vollmuth,
Gianluca Brugnara,
Chandrakanth J Preetha,
Felix Sahm,
Klaus Maier-Hein,
Maximilian Zenk,
Martin Bendszus,
Wolfgang Wick,
Evan Calabrese,
Jeffrey Rudie,
Javier Villanueva-Meyer
, et al. (254 additional authors not shown)
Abstract:
Although machine learning (ML) has shown promise in numerous domains, there are concerns about generalizability to out-of-sample data. This is currently addressed by centrally sharing ample, and importantly diverse, data from multiple sites. However, such centralization is challenging to scale (or even not feasible) due to various limitations. Federated ML (FL) provides an alternative to train acc…
▽ More
Although machine learning (ML) has shown promise in numerous domains, there are concerns about generalizability to out-of-sample data. This is currently addressed by centrally sharing ample, and importantly diverse, data from multiple sites. However, such centralization is challenging to scale (or even not feasible) due to various limitations. Federated ML (FL) provides an alternative to train accurate and generalizable ML models, by only sharing numerical model updates. Here we present findings from the largest FL study to-date, involving data from 71 healthcare institutions across 6 continents, to generate an automatic tumor boundary detector for the rare disease of glioblastoma, utilizing the largest dataset of such patients ever used in the literature (25,256 MRI scans from 6,314 patients). We demonstrate a 33% improvement over a publicly trained model to delineate the surgically targetable tumor, and 23% improvement over the tumor's entire extent. We anticipate our study to: 1) enable more studies in healthcare informed by large and diverse data, ensuring meaningful results for rare diseases and underrepresented populations, 2) facilitate further quantitative analyses for glioblastoma via performance optimization of our consensus model for eventual public release, and 3) demonstrate the effectiveness of FL at such scale and task complexity as a paradigm shift for multi-site collaborations, alleviating the need for data sharing.
△ Less
Submitted 25 April, 2022; v1 submitted 22 April, 2022;
originally announced April 2022.
-
Implications of CDF $W$-mass and $(g-2)_μ$ on $U(1)_{L_μ-L_τ}$ model
Authors:
Seungwon Baek
Abstract:
We study the implications of the recent anomalies in the $W$-boson mass and the anomalous magnetic moment of the muon on $U(1)_{L_μ-L_τ}$ model. We show that the introduction of vector-like leptons which mix with muon can solve both anomalies. Contrary to the conventional wisdom the electroweak scale $Z'$-boson is allowed without conflict with the trident neutrino production experiments.
We study the implications of the recent anomalies in the $W$-boson mass and the anomalous magnetic moment of the muon on $U(1)_{L_μ-L_τ}$ model. We show that the introduction of vector-like leptons which mix with muon can solve both anomalies. Contrary to the conventional wisdom the electroweak scale $Z'$-boson is allowed without conflict with the trident neutrino production experiments.
△ Less
Submitted 22 November, 2022; v1 submitted 20 April, 2022;
originally announced April 2022.
-
Possible quadrupole-order-driven commensurate-incommensurate phase transition in B20 CoGe
Authors:
S. -H. Baek,
V. A. Sidorov,
A. V. Nikolaev,
T. Klimczuk,
F. Ronning,
A. V. Tsvyashchenko
Abstract:
The B20-type cobalt germanide CoGe was investigated by measuring the specific heat, resistivity, and $^{59}$Co nuclear magnetic resonance (NMR). We observed a phase transition at $T_Q=13.7$ K, evidenced by a very narrow peak of the specific heat and sharp changes of the nuclear spin-spin ($T_2^{-1}$) and spin-lattice ($T_1^{-1}$) relaxation rates. The fact that the entropy release is extremely sma…
▽ More
The B20-type cobalt germanide CoGe was investigated by measuring the specific heat, resistivity, and $^{59}$Co nuclear magnetic resonance (NMR). We observed a phase transition at $T_Q=13.7$ K, evidenced by a very narrow peak of the specific heat and sharp changes of the nuclear spin-spin ($T_2^{-1}$) and spin-lattice ($T_1^{-1}$) relaxation rates. The fact that the entropy release is extremely small and the Knight shift is almost independent of temperature down to low temperatures as anticipated in a paramagnetic metal indicates that the $T_Q$ transition is of non-magnetic origin. In addition, we detected a crossover scale $T_0\sim30$ K below which the resistivity and the NMR linewidth increase, and $T_1^{-1}$ is progressively distributed in space, that is, a static and dynamical spatial inhomogeneity develops. While the order parameter for the $T_Q$ transition remains an open question, a group-theoretical analysis suggests that the finite electric quadrupole density arising from the low local site symmetry at cobalt sites could drive the crystal symmetry lowering from the P2$_1$3 symmetry that is commensurate to the R3 symmetry with an incommensurate wavevector, which fairly well accounts for the $T_Q$ transition. The quadrupole-order-driven commensurate-incommensurate phase transition may be another remarkable phenomenon arising from the structural chirality inherent in the noncentrosymmetric B20 family.
△ Less
Submitted 18 April, 2022;
originally announced April 2022.
-
PARC: Physics-Aware Recurrent Convolutional Neural Networks to Assimilate Meso-scale Reactive Mechanics of Energetic Materials
Authors:
Phong C. H. Nguyen,
Yen-Thi Nguyen,
Joseph B. Choi,
Pradeep K. Seshadri,
H. S. Udaykumar,
Stephen Baek
Abstract:
The thermo-mechanical response of shock-initiated energetic materials (EM) is highly influenced by their microstructures, presenting an opportunity to engineer EM microstructure in a "materials-by-design" framework. However, the current design practice is limited, as a large ensemble of simulations is required to construct the complex EM structure-property-performance linkages. We present the Phys…
▽ More
The thermo-mechanical response of shock-initiated energetic materials (EM) is highly influenced by their microstructures, presenting an opportunity to engineer EM microstructure in a "materials-by-design" framework. However, the current design practice is limited, as a large ensemble of simulations is required to construct the complex EM structure-property-performance linkages. We present the Physics-Aware Recurrent Convolutional (PARC) Neural Network, a deep-learning algorithm capable of learning the mesoscale thermo-mechanics of EM from a modest number of high-resolution direct numerical simulations (DNS). Validation results demonstrated that PARC could predict the themo-mechanical response of shocked EM with a comparable accuracy to DNS but with notably less computation time. The physics awareness of PARC enhances its modeling capabilities and generalizability, especially when challenged in unseen prediction scenarios. We also demonstrate that visualizing the artificial neurons at PARC can shed light on important aspects of EM thermos-mechanics and provide an additional lens for conceptualizing EM.
△ Less
Submitted 24 March, 2023; v1 submitted 4 April, 2022;
originally announced April 2022.
-
Muon $(g-2)$ and Thermal WIMP DM in ${\rm U(1)}_{L_μ-L_τ} $ Models
Authors:
Seungwon Baek,
Jongkuk Kim,
P. Ko
Abstract:
${\rm U(1)}_{L_μ- L_τ} \equiv {\rm U(1)}_X$ model is anomaly free within the Standard Model (SM) fermion content, and can accommodate the muon $(g-2)$ data for $M_{Z'} \sim O(10-100)$ MeV and $g_X \sim (4 - 8) \times 10^{-4}$. WIMP type thermal dark matter (DM) can be also introduced for $M_{Z'} \sim 2 M_{\rm DM}$, if DM pair annihilations into the SM particles occur only through the $s…
▽ More
${\rm U(1)}_{L_μ- L_τ} \equiv {\rm U(1)}_X$ model is anomaly free within the Standard Model (SM) fermion content, and can accommodate the muon $(g-2)$ data for $M_{Z'} \sim O(10-100)$ MeV and $g_X \sim (4 - 8) \times 10^{-4}$. WIMP type thermal dark matter (DM) can be also introduced for $M_{Z'} \sim 2 M_{\rm DM}$, if DM pair annihilations into the SM particles occur only through the $s$-channel $Z'$ exchange. In this work, we show that this tight correlation between $M_{Z'}$ and $M_{\rm DM}$ can be completely evaded both for scalar and fermionic DM, if we include the contributions from dark Higgs boson ($H_1$). Dark Higgs boson plays a crucial role in DM phenomenology, not only for generation of dark photon mass, but also opening new channels for DM pair annihilations into the final states involving dark Higgs boson, such as dark Higgs pair as well as $Z' Z'$ through dark Higgs exchange in the $s$-channel, and co-annihilation into $Z' H_1$ in case of inelastic DM. Thus dark Higgs boson will dissect the strong correlation $M_{Z'} \sim 2 M_{\rm DM}$, and much wider mass range is allowed for $U(1)_X$-charged complex scalar and Dirac fermion DM, still explaining the muon $(g-2)$. We consider both generic $U(1)_X$ breaking as well as ${\rm U(1)}_X \rightarrow Z_2$ (and also into $Z_3$ only for scalar DM case).
△ Less
Submitted 16 May, 2022; v1 submitted 11 April, 2022;
originally announced April 2022.
-
Pupil-aware Holography
Authors:
Praneeth Chakravarthula,
Seung-Hwan Baek,
Florian Schiffers,
Ethan Tseng,
Grace Kuo,
Andrew Maimone,
Nathan Matsuda,
Oliver Cossairt,
Douglas Lanman,
Felix Heide
Abstract:
Holographic displays promise to deliver unprecedented display capabilities in augmented reality applications, featuring a wide field of view, wide color gamut, spatial resolution, and depth cues all in a compact form factor. While emerging holographic display approaches have been successful in achieving large etendue and high image quality as seen by a camera, the large etendue also reveals a prob…
▽ More
Holographic displays promise to deliver unprecedented display capabilities in augmented reality applications, featuring a wide field of view, wide color gamut, spatial resolution, and depth cues all in a compact form factor. While emerging holographic display approaches have been successful in achieving large etendue and high image quality as seen by a camera, the large etendue also reveals a problem that makes existing displays impractical: the sampling of the holographic field by the eye pupil. Existing methods have not investigated this issue due to the lack of displays with large enough etendue, and, as such, they suffer from severe artifacts with varying eye pupil size and location.
We show that the holographic field as sampled by the eye pupil is highly varying for existing display setups, and we propose pupil-aware holography that maximizes the perceptual image quality irrespective of the size, location, and orientation of the eye pupil in a near-eye holographic display. We validate the proposed approach both in simulations and on a prototype holographic display and show that our method eliminates severe artifacts and significantly outperforms existing approaches.
△ Less
Submitted 29 June, 2022; v1 submitted 28 March, 2022;
originally announced March 2022.
-
Correlation between concurrence and mutual information
Authors:
Yong Kwon,
Seung Ki Baek,
Jaegon Um
Abstract:
We investigate a two-qubit system to understand the relationship between concurrence and mutual information, where the former determines the amount of quantum entanglement, whereas the latter is its classical residue after performing local projective measurement. For a given ensemble of random pure states, in which the values of concurrence are uniformly distributed, we calculate the joint probabi…
▽ More
We investigate a two-qubit system to understand the relationship between concurrence and mutual information, where the former determines the amount of quantum entanglement, whereas the latter is its classical residue after performing local projective measurement. For a given ensemble of random pure states, in which the values of concurrence are uniformly distributed, we calculate the joint probability of concurrence and mutual information. Although zero mutual information is the most probable in the uniform ensemble, we find positive correlation between the classical information and concurrence. This result suggests that destructive measurement of classical information can be used to assess the amount of quantum information.
△ Less
Submitted 23 March, 2022;
originally announced March 2022.
-
Interplay of charge density waves, disorder, and superconductivity in 2$H$-TaSe$_2$ elucidated by NMR
Authors:
Seung-Ho Baek,
Yeahan Sur,
Kee Hoon Kim,
Matthias Vojta,
Bernd Buechner
Abstract:
Single crystals of pristine and 6% Pd-intercalated 2H-TaSe$_2$ have been studied by means of $^{77}$Se nuclear magnetic resonance (NMR). The temperature dependence of the $^{77}$Se spectrum, with an unexpected line narrowing upon Pd intercalation, unravels the presence of correlated local lattice distortions far above the transition temperature of the charge density wave (CDW) order, thereby suppo…
▽ More
Single crystals of pristine and 6% Pd-intercalated 2H-TaSe$_2$ have been studied by means of $^{77}$Se nuclear magnetic resonance (NMR). The temperature dependence of the $^{77}$Se spectrum, with an unexpected line narrowing upon Pd intercalation, unravels the presence of correlated local lattice distortions far above the transition temperature of the charge density wave (CDW) order, thereby supporting a strong-coupling CDW mechanism in 2H-TaSe$_2$. While, the Knight shift data suggest that the incommensurate CDW transition involves a partial Fermi surface gap opening. As for spin dynamics, the $^{77}$Se spin-lattice relaxation rate $T_1^{-1}$ as a function of temperature shows that a pseudogap behavior dominates the low-energy spin excitations even within the CDW phase, and gets stronger along with superconductivity in the Pd-6% sample. We discuss that CDW fluctuations may be responsible for the pseudogap as well as superconductivity, although the two phenomena are unlikely to be directly linked each other.
△ Less
Submitted 17 March, 2022;
originally announced March 2022.
-
A second-order stability analysis for the continuous model of indirect reciprocity
Authors:
Sanghun Lee,
Yohsuke Murase,
Seung Ki Baek
Abstract:
Reputation is one of key mechanisms to maintain human cooperation, but its analysis gets complicated if we consider the possibility that reputation does not reach consensus because of erroneous assessment. The difficulty is alleviated if we assume that reputation and cooperation do not take binary values but have continuous spectra so that disagreement over reputation can be analysed in a perturba…
▽ More
Reputation is one of key mechanisms to maintain human cooperation, but its analysis gets complicated if we consider the possibility that reputation does not reach consensus because of erroneous assessment. The difficulty is alleviated if we assume that reputation and cooperation do not take binary values but have continuous spectra so that disagreement over reputation can be analysed in a perturbative way. In this work, we carry out the analysis by expanding the dynamics of reputation to the second order of perturbation under the assumption that everyone initially cooperates with good reputation. The second-order theory clarifies the difference between Image Scoring and Simple Standing in that punishment for defection against a well-reputed player should be regarded as good for maintaining cooperation. Moreover, comparison among the leading eight shows that the stabilizing effect of justified punishment weakens if cooperation between two ill-reputed players is regarded as bad. Our analysis thus explains how Simple Standing achieves a high level of stability by permitting justified punishment and also by disregarding irrelevant information in assessing cooperation. This observation suggests which factors affect the stability of a social norm when reputation can be perturbed by noise.
△ Less
Submitted 11 July, 2022; v1 submitted 8 March, 2022;
originally announced March 2022.
-
A Next-Generation Liquid Xenon Observatory for Dark Matter and Neutrino Physics
Authors:
J. Aalbers,
K. Abe,
V. Aerne,
F. Agostini,
S. Ahmed Maouloud,
D. S. Akerib,
D. Yu. Akimov,
J. Akshat,
A. K. Al Musalhi,
F. Alder,
S. K. Alsum,
L. Althueser,
C. S. Amarasinghe,
F. D. Amaro,
A. Ames,
T. J. Anderson,
B. Andrieu,
N. Angelides,
E. Angelino,
J. Angevaare,
V. C. Antochi,
D. Antón Martin,
B. Antunovic,
E. Aprile,
H. M. Araújo
, et al. (572 additional authors not shown)
Abstract:
The nature of dark matter and properties of neutrinos are among the most pressing issues in contemporary particle physics. The dual-phase xenon time-projection chamber is the leading technology to cover the available parameter space for Weakly Interacting Massive Particles (WIMPs), while featuring extensive sensitivity to many alternative dark matter candidates. These detectors can also study neut…
▽ More
The nature of dark matter and properties of neutrinos are among the most pressing issues in contemporary particle physics. The dual-phase xenon time-projection chamber is the leading technology to cover the available parameter space for Weakly Interacting Massive Particles (WIMPs), while featuring extensive sensitivity to many alternative dark matter candidates. These detectors can also study neutrinos through neutrinoless double-beta decay and through a variety of astrophysical sources. A next-generation xenon-based detector will therefore be a true multi-purpose observatory to significantly advance particle physics, nuclear physics, astrophysics, solar physics, and cosmology. This review article presents the science cases for such a detector.
△ Less
Submitted 4 March, 2022;
originally announced March 2022.
-
COVID-19 Hospitalizations Forecasts Using Internet Search Data
Authors:
Tao Wang,
Simin Ma,
Soobin Baek,
Shihao Yang
Abstract:
As the COVID-19 spread over the globe and new variants of COVID-19 keep occurring, reliable real-time forecasts of COVID-19 hospitalizations are critical for public health decision on medical resources allocations such as ICU beds, ventilators, and personnel to prepare for the surge of COVID-19 pandemics. Inspired by the strong association between public search behavior and hospitalization admissi…
▽ More
As the COVID-19 spread over the globe and new variants of COVID-19 keep occurring, reliable real-time forecasts of COVID-19 hospitalizations are critical for public health decision on medical resources allocations such as ICU beds, ventilators, and personnel to prepare for the surge of COVID-19 pandemics. Inspired by the strong association between public search behavior and hospitalization admission, we extended previously-proposed influenza tracking model, ARGO (AutoRegression with GOogle search data), to predict future 2-week national and state-level COVID-19 new hospital admissions. Leveraging the COVID-19 related time series information and Google search data, our method is able to robustly capture new COVID-19 variants' surges, and self-correct at both national and state level. Based on our retrospective out-of-sample evaluation over 12-month comparison period, our method achieves on average 15\% error reduction over the best alternative models collected from COVID-19 forecast hub. Overall, we showed that our method is flexible, self-correcting, robust, accurate, and interpretable, making it a potentially powerful tool to assist health-care officials and decision making for the current and future infectious disease outbreak.
△ Less
Submitted 3 February, 2022;
originally announced February 2022.
-
Reaction pathways of BCl$_3$ for acceptor delta-do** of silicon
Authors:
Quinn Campbell,
Kevin J. Dwyer,
Sungha Baek,
Andrew D. Baczewski,
Robert E. Butera,
Shashank Misra
Abstract:
BCl$_3$ is a promising candidate for atomic-precision acceptor do** in Si, but optimizing the electrical properties of structures created with this technique requires a detailed understanding of adsorption and dissociation pathways for this precursor. Here, we use density functional theory and scanning tunneling microscopy (STM) to identify and explore these pathways for BCl$_3$ on Si(100) at di…
▽ More
BCl$_3$ is a promising candidate for atomic-precision acceptor do** in Si, but optimizing the electrical properties of structures created with this technique requires a detailed understanding of adsorption and dissociation pathways for this precursor. Here, we use density functional theory and scanning tunneling microscopy (STM) to identify and explore these pathways for BCl$_3$ on Si(100) at different annealing temperatures. We demonstrate that BCl$_3$ adsorbs selectively without a reaction barrier, and subsequently dissociates relatively easily with reaction barriers $\approx$1 eV. Using this dissociation pathway, we parameterize a Kinetic Monte Carlo model to predict B incorporation rates as a function of dosing conditions. STM is used to image BCl$_{3}$ adsorbates, identifying several surface configurations and tracking the change in their distribution as a function of the annealing temperature, matching predictions of the kinetic model well. This straightforward pathway for atomic-precision acceptor do** helps enable a wide range of applications including bipolar nanoelectronics, acceptor-based qubits, and superconducting Si.
△ Less
Submitted 27 January, 2022;
originally announced January 2022.
-
Deep modelling of plasma and neutral fluctuations from gas puff turbulence imaging
Authors:
A. Mathews,
J. L. Terry,
S. G. Baek,
J. W. Hughes,
A. Q. Kuang,
B. LaBombard,
M. A. Miller,
D. Stotler,
D. Reiter,
W. Zholobenko,
M. Goto
Abstract:
The role of turbulence in setting boundary plasma conditions is presently a key uncertainty in projecting to fusion energy reactors. To robustly diagnose edge turbulence, we develop and demonstrate a technique to translate brightness measurements of HeI line radiation into local plasma fluctuations via a novel integrated deep learning framework that combines neutral transport physics and collision…
▽ More
The role of turbulence in setting boundary plasma conditions is presently a key uncertainty in projecting to fusion energy reactors. To robustly diagnose edge turbulence, we develop and demonstrate a technique to translate brightness measurements of HeI line radiation into local plasma fluctuations via a novel integrated deep learning framework that combines neutral transport physics and collisional radiative theory for the $3^3 D - 2^3 P$ transition in atomic helium. The tenets for experimental validity are reviewed, illustrating that this turbulence analysis for ionized gases is transferable to both magnetized and unmagnetized environments with arbitrary geometries. Based upon fast camera data on the Alcator C-Mod tokamak, we present the first 2-dimensional time-dependent experimental measurements of the turbulent electron density, electron temperature, and neutral density revealing shadowing effects in a fusion plasma using a single spectral line.
△ Less
Submitted 19 May, 2022; v1 submitted 24 January, 2022;
originally announced January 2022.
-
Neural Network Compression of ACAS Xu Early Prototype is Unsafe: Closed-Loop Verification through Quantized State Backreachability
Authors:
Stanley Bak,
Hoang-Dung Tran
Abstract:
ACAS Xu is an air-to-air collision avoidance system designed for unmanned aircraft that issues horizontal turn advisories to avoid an intruder aircraft. Due the use of a large lookup table in the design, a neural network compression of the policy was proposed. Analysis of this system has spurred a significant body of research in the formal methods community on neural network verification. While ma…
▽ More
ACAS Xu is an air-to-air collision avoidance system designed for unmanned aircraft that issues horizontal turn advisories to avoid an intruder aircraft. Due the use of a large lookup table in the design, a neural network compression of the policy was proposed. Analysis of this system has spurred a significant body of research in the formal methods community on neural network verification. While many powerful methods have been developed, most work focuses on open-loop properties of the networks, rather than the main point of the system -- collision avoidance -- which requires closed-loop analysis.
In this work, we develop a technique to verify a closed-loop approximation of the system using state quantization and backreachability. We use favorable assumptions for the analysis -- perfect sensor information, instant following of advisories, ideal aircraft maneuvers and an intruder that only flies straight. When the method fails to prove the system is safe, we refine the quantization parameters until generating counterexamples where the original (non-quantized) system also has collisions.
△ Less
Submitted 27 March, 2022; v1 submitted 17 January, 2022;
originally announced January 2022.
-
Resonance-enhanced spectral funneling in Fabry-Perot resonators with a temporal boundary mirror
Authors:
Kanghee Lee,
Junho Park,
Seojoo Lee,
Soojeong Baek,
Jagang Park,
Fabian Rotermund,
Bumki Min
Abstract:
A temporal boundary refers to a specific time at which the properties of an optical medium are abruptly changed. When light interacts with the temporal boundary, its spectral content can be redistributed due to the breaking of continuous time-translational symmetry of the medium where light resides. In this work, we use this principle to demonstrate, at terahertz (THz) frequencies, the resonance-e…
▽ More
A temporal boundary refers to a specific time at which the properties of an optical medium are abruptly changed. When light interacts with the temporal boundary, its spectral content can be redistributed due to the breaking of continuous time-translational symmetry of the medium where light resides. In this work, we use this principle to demonstrate, at terahertz (THz) frequencies, the resonance-enhanced spectral funneling of light coupled to a Fabry-Perot resonator with a temporal boundary mirror. To produce a temporal boundary effect, we abruptly increase the reflectance of a mirror constituting the Fabry-Perot resonator and, correspondingly, its quality factor in a step-like manner. The abrupt increase in the mirror reflectance leads to a trimming of the coupled THz pulse that causes the pulse to broaden in the spectral domain. Through this dynamic resonant process, the spectral contents of the input THz pulse are redistributed into the modal frequencies of the high-Q Fabry-Perot resonator formed after the temporal boundary. An energy conversion efficiency of up to 33% was recorded for funneling into the fundamental mode with a Fabry-Perot resonator exhibiting a sudden Q-factor change from 4.8 to 48. We anticipate that the proposed resonance-enhanced spectral funneling technique could be further utilized in the development of efficient mechanically tunable narrowband terahertz sources for diverse applications.
△ Less
Submitted 2 January, 2022;
originally announced January 2022.
-
Persistence of Ising-like easy-axis spin correlations in the paramagnetic state of the spin-1 chain compound NiTe$_2$O$_5$
Authors:
Seung-Ho Baek,
Jun Han Lee,
Yoon Seok Oh,
Kwang-Yong Choi,
Bernd Büchner
Abstract:
A $^{125}$Te nuclear magnetic resonance (NMR) study was carried out in the paramagnetic state of the recently discovered quasi-one-dimensional spin-1 chain compound NiTe$_2$O$_5$. We observed that the $^{125}$Te NMR spectrum splits into two in a magnetic field applied along the $c$ axis. Based on the strong temperature variation of the relative intensity ratio of the split lines, we infer that the…
▽ More
A $^{125}$Te nuclear magnetic resonance (NMR) study was carried out in the paramagnetic state of the recently discovered quasi-one-dimensional spin-1 chain compound NiTe$_2$O$_5$. We observed that the $^{125}$Te NMR spectrum splits into two in a magnetic field applied along the $c$ axis. Based on the strong temperature variation of the relative intensity ratio of the split lines, we infer that the line splitting arises from the two sublattice susceptibilities induced in opposite directions along the chains. In great support of this interpretation, a quantitative analysis of the spin-lattice relaxation rate $T_1^{-1}$ and the Knight shift data unravels dominant transverse spin fluctuations. We conclude that Ising-like uniaxial spin correlations persist up to surprisingly high temperatures compared to the exchange energy scales. Spin-charge coupling mechanism via a self-do** effect may be important.
△ Less
Submitted 27 December, 2021;
originally announced December 2021.
-
Addendum to "Invisible Higgs decay width versus dark matter direct detection cross section in Higgs portal dark matter models"
Authors:
Seungwon Baek,
Pyungwon Ko,
Wan-Il Park
Abstract:
This article is an addendum to Ref.~\cite{Baek:2014jga}. Here, we discuss the invisible Higgs decay width $Γ_{h}^{\rm inv}$ in the Higgs portal vector dark matter (VDM) model in the limit $m_V \rightarrow 0^+$. In the effective field theory (EFT) approach where the VDM mass is attributed to the Stückelberg mechanism, $( Γ_{h}^{\rm inv} )_{\rm EFT}$ is divergent, which is unphysical and puzzling. O…
▽ More
This article is an addendum to Ref.~\cite{Baek:2014jga}. Here, we discuss the invisible Higgs decay width $Γ_{h}^{\rm inv}$ in the Higgs portal vector dark matter (VDM) model in the limit $m_V \rightarrow 0^+$. In the effective field theory (EFT) approach where the VDM mass is attributed to the Stückelberg mechanism, $( Γ_{h}^{\rm inv} )_{\rm EFT}$ is divergent, which is unphysical and puzzling. On the other hand $( Γ_{h}^{\rm inv} )_{\rm UV}$ becomes finite in a UV completion, where the VDM mass is generated by the dark Higgs mechanism. Then we can take the limit $m_V \rightarrow 0^+$ by taking either {\it (i)} the dark gauge coupling $g_X \rightarrow 0^+$ with a fixed dark Higgs vacuum expectation value $v_Φ$, or {\it (ii)} $v_Φ\to 0^+$ with a fixed $g_X$. Such a difference in the behavior of $Γ_{h}^{\rm inv}$ in the massless VDM limit demonstrates another limitation of EFT for the Higgs portal VDM, and the importance of gauge-invariant and renormalizable models for the Higgs portal VDM.
△ Less
Submitted 10 January, 2022; v1 submitted 22 December, 2021;
originally announced December 2021.
-
All-photon Polarimetric Time-of-Flight Imaging
Authors:
Seung-Hwan Baek,
Felix Heide
Abstract:
Time-of-flight (ToF) sensors provide an imaging modality fueling diverse applications, including LiDAR in autonomous driving, robotics, and augmented reality. Conventional ToF imaging methods estimate the depth by sending pulses of light into a scene and measuring the ToF of the first-arriving photons directly reflected from a scene surface without any temporal delay. As such, all photons followin…
▽ More
Time-of-flight (ToF) sensors provide an imaging modality fueling diverse applications, including LiDAR in autonomous driving, robotics, and augmented reality. Conventional ToF imaging methods estimate the depth by sending pulses of light into a scene and measuring the ToF of the first-arriving photons directly reflected from a scene surface without any temporal delay. As such, all photons following this first response are typically considered as unwanted noise. In this paper, we depart from the principle of using first-arriving photons and propose an all-photon ToF imaging method by incorporating the temporal-polarimetric analysis of first- and late-arriving photons, which possess rich scene information about its geometry and material. To this end, we propose a novel temporal-polarimetric reflectance model, an efficient capture method, and a reconstruction method that exploits the temporal-polarimetric changes of light reflected by the surface and sub-surface reflection. The proposed all-photon polarimetric ToF imaging method allows for acquiring depth, surface normals, and material parameters of a scene by utilizing all photons captured by the system, whereas conventional ToF imaging only obtains coarse depth from the first-arriving photons. We validate our method in simulation and experimentally with a prototype.
△ Less
Submitted 16 December, 2021;
originally announced December 2021.
-
An Impossible Asylum
Authors:
Jeremy Avigad,
Seulkee Baek,
Alexander Bentkamp,
Marijn Heule,
Wojciech Nawrocki
Abstract:
In 1982, Raymond Smullyan published an article, "The Asylum of Doctor Tarr and Professor Fether," that consists of a series of puzzles. These were later reprinted in the anthology, "The Lady or The Tiger? and Other Logic Puzzles." The last puzzle, which describes the asylum alluded to in the title, was designed to be especially difficult. With the help of automated reasoning, we show that the puzz…
▽ More
In 1982, Raymond Smullyan published an article, "The Asylum of Doctor Tarr and Professor Fether," that consists of a series of puzzles. These were later reprinted in the anthology, "The Lady or The Tiger? and Other Logic Puzzles." The last puzzle, which describes the asylum alluded to in the title, was designed to be especially difficult. With the help of automated reasoning, we show that the puzzle's hypotheses are, in fact, inconsistent, which is to say, no such asylum can possibly exist.
△ Less
Submitted 23 April, 2022; v1 submitted 3 December, 2021;
originally announced December 2021.
-
Automatic Detection of Injection and Press Mold Parts on 2D Drawing Using Deep Neural Network
Authors:
Junseok Lee,
Jongwon Kim,
Jumi Park,
Seunghyeok Back,
Seongho Bak,
Kyoobin Lee
Abstract:
This paper proposes a method to automatically detect the key feature parts in a CAD of commercial TV and monitor using a deep neural network. We developed a deep learning pipeline that can detect the injection parts such as hook, boss, undercut and press parts such as DPS, Embo-Screwless, Embo-Burring, and EMBO in the 2D CAD drawing images. We first cropped the drawing to a specific size for the t…
▽ More
This paper proposes a method to automatically detect the key feature parts in a CAD of commercial TV and monitor using a deep neural network. We developed a deep learning pipeline that can detect the injection parts such as hook, boss, undercut and press parts such as DPS, Embo-Screwless, Embo-Burring, and EMBO in the 2D CAD drawing images. We first cropped the drawing to a specific size for the training efficiency of a deep neural network. Then, we use Cascade R-CNN to find the position of injection and press parts and use Resnet-50 to predict the orientation of the parts. Finally, we convert the position of the parts found through the cropped image to the position of the original image. As a result, we obtained detection accuracy of injection and press parts with 84.1% in AP (Average Precision), 91.2% in AR(Average Recall), 72.0% in AP, 87.0% in AR, and orientation accuracy of injection and press parts with 94.4% and 92.0%, which can facilitate the faster design in industrial product design.
△ Less
Submitted 22 October, 2021;
originally announced October 2021.
-
Stress Testing Autonomous Racing Overtake Maneuvers with RRT
Authors:
Stanley Bak,
Johannes Betz,
Abhinav Chawla,
Hongrui Zheng,
Rahul Mangharam
Abstract:
High-performance autonomy often must operate at the boundaries of safety. When external agents are present in a system, the process of ensuring safety without sacrificing performance becomes extremely difficult. In this paper, we present an approach to stress test such systems based on the rapidly exploring random tree (RRT) algorithm.
We propose to find faults in such systems through adversaria…
▽ More
High-performance autonomy often must operate at the boundaries of safety. When external agents are present in a system, the process of ensuring safety without sacrificing performance becomes extremely difficult. In this paper, we present an approach to stress test such systems based on the rapidly exploring random tree (RRT) algorithm.
We propose to find faults in such systems through adversarial agent perturbations, where the behaviors of other agents in an otherwise fixed scenario are modified. This creates a large search space of possibilities, which we explore both randomly and with a focused strategy that runs RRT in a bounded projection of the observable states that we call the objective space. The approach is applied to generate tests for evaluating overtaking logic and path planning algorithms in autonomous racing, where the vehicles are driving at high speed in an adversarial environment. We evaluate several autonomous racing path planners, finding numerous collisions during overtake maneuvers in all planners. The focused RRT search finds several times more crashes than the random strategy, and, for certain planners, tens to hundreds of times more crashes in the second half of the track.
△ Less
Submitted 3 October, 2021;
originally announced October 2021.
-
Unseen Object Amodal Instance Segmentation via Hierarchical Occlusion Modeling
Authors:
Seunghyeok Back,
Joosoon Lee,
Taewon Kim,
Sangjun Noh,
Raeyoung Kang,
Seongho Bak,
Kyoobin Lee
Abstract:
Instance-aware segmentation of unseen objects is essential for a robotic system in an unstructured environment. Although previous works achieved encouraging results, they were limited to segmenting the only visible regions of unseen objects. For robotic manipulation in a cluttered scene, amodal perception is required to handle the occluded objects behind others. This paper addresses Unseen Object…
▽ More
Instance-aware segmentation of unseen objects is essential for a robotic system in an unstructured environment. Although previous works achieved encouraging results, they were limited to segmenting the only visible regions of unseen objects. For robotic manipulation in a cluttered scene, amodal perception is required to handle the occluded objects behind others. This paper addresses Unseen Object Amodal Instance Segmentation (UOAIS) to detect 1) visible masks, 2) amodal masks, and 3) occlusions on unseen object instances. For this, we propose a Hierarchical Occlusion Modeling (HOM) scheme designed to reason about the occlusion by assigning a hierarchy to a feature fusion and prediction order. We evaluated our method on three benchmarks (tabletop, indoors, and bin environments) and achieved state-of-the-art (SOTA) performance. Robot demos for picking up occluded objects, codes, and datasets are available at https://sites.google.com/view/uoais
△ Less
Submitted 28 February, 2022; v1 submitted 22 September, 2021;
originally announced September 2021.
-
Machine-Learning Enabled Search for The Next-Generation Catalyst for Hydrogen Evolution Reaction
Authors:
S. Wei,
S. Baek,
H. Yue,
S. Yun,
S. Park,
Y. Lee,
J. Zhao,
H. Li,
K. Reyes,
F. Yao
Abstract:
The development of active catalysts for hydrogen evolution reaction (HER) made from low-cost materials constitutes a crucial challenge in the utilization of hydrogen energy. Earth-abundant molybdenum disulfide (MoS$_2$) has been discovered recently with good activity and stability for HER. In this report, we employed the hydrothermal technique for MoS$_2$ synthesis which is a cost-effective and en…
▽ More
The development of active catalysts for hydrogen evolution reaction (HER) made from low-cost materials constitutes a crucial challenge in the utilization of hydrogen energy. Earth-abundant molybdenum disulfide (MoS$_2$) has been discovered recently with good activity and stability for HER. In this report, we employed the hydrothermal technique for MoS$_2$ synthesis which is a cost-effective and environmentally friendly approach and has the potential for future mass production. To investigate the structure-property relationship, scanning electron microscope (SEM), transmission electron microscope (TEM), X-ray diffraction (XRD), Raman spectroscopy, X-ray photoelectron spectroscopy (XPS), and various electrochemical characterizations have been conducted. A strong correlation between the material structure and the HER performance has been observed. Moreover, machine-learning (ML) techniques were built and subsequently used within a Bayesian Optimization framework to validate the optimal parameter combinations for synthesizing high-quality MoS$_2$ catalyst within the limited parameter space. The model will be able to guide the wet chemical synthesis of MoS$_2$ and produce the most effective HER catalyst eventually.
△ Less
Submitted 22 September, 2021;
originally announced September 2021.
-
Social norms in indirect reciprocity with ternary reputations
Authors:
Yohsuke Murase,
Minjae Kim,
Seung Ki Baek
Abstract:
Indirect reciprocity is a key mechanism that promotes cooperation in social dilemmas by means of reputation. Although it has been a common practice to represent reputations by binary values, either `good' or `bad', such a dichotomy is a crude approximation considering the complexity of reality. In this work, we studied norms with three different reputations, i.e., `good', `neutral', and `bad'. Thr…
▽ More
Indirect reciprocity is a key mechanism that promotes cooperation in social dilemmas by means of reputation. Although it has been a common practice to represent reputations by binary values, either `good' or `bad', such a dichotomy is a crude approximation considering the complexity of reality. In this work, we studied norms with three different reputations, i.e., `good', `neutral', and `bad'. Through massive supercomputing for handling more than thirty billion possibilities, we fully identified which norms achieve cooperation and possess evolutionary stability against behavioural mutants. By systematically categorizing all these norms according to their behaviours, we found similarities and dissimilarities to their binary-reputation counterpart, the leading eight. We obtained four rules that should be satisfied by the successful norms, and the behaviour of the leading eight can be understood as a special case of these rules. A couple of norms that show counter-intuitive behaviours are also presented. We believe the findings are also useful for designing successful norms with more general reputation systems.
△ Less
Submitted 13 January, 2022; v1 submitted 20 September, 2021;
originally announced September 2021.
-
A Flexible Proof Format for SAT Solver-Elaborator Communication
Authors:
Seulkee Baek,
Mario Carneiro,
Marijn J. H. Heule
Abstract:
We introduce FRAT, a new proof format for unsatisfiable SAT problems, and its associated toolchain. Compared to DRAT, the FRAT format allows solvers to include more information in proofs to reduce the computational cost of subsequent elaboration to LRAT. The format is easy to parse forward and backward, and it is extensible to future proof methods. The provision of optional proof steps allows SAT…
▽ More
We introduce FRAT, a new proof format for unsatisfiable SAT problems, and its associated toolchain. Compared to DRAT, the FRAT format allows solvers to include more information in proofs to reduce the computational cost of subsequent elaboration to LRAT. The format is easy to parse forward and backward, and it is extensible to future proof methods. The provision of optional proof steps allows SAT solver developers to balance implementation effort against elaboration time, with little to no overhead on solver time. We benchmark our FRAT toolchain against a comparable DRAT toolchain and confirm >84% median reduction in elaboration time and >94% median decrease in peak memory usage.
△ Less
Submitted 15 April, 2022; v1 submitted 20 September, 2021;
originally announced September 2021.
-
Neural Étendue Expander for Ultra-Wide-Angle High-Fidelity Holographic Display
Authors:
Ethan Tseng,
Grace Kuo,
Seung-Hwan Baek,
Nathan Matsuda,
Andrew Maimone,
Florian Schiffers,
Praneeth Chakravarthula,
Qiang Fu,
Wolfgang Heidrich,
Douglas Lanman,
Felix Heide
Abstract:
Holographic displays can generate light fields by dynamically modulating the wavefront of a coherent beam of light using a spatial light modulator, promising rich virtual and augmented reality applications. However, the limited spatial resolution of existing dynamic spatial light modulators imposes a tight bound on the diffraction angle. As a result, modern holographic displays possess low étendue…
▽ More
Holographic displays can generate light fields by dynamically modulating the wavefront of a coherent beam of light using a spatial light modulator, promising rich virtual and augmented reality applications. However, the limited spatial resolution of existing dynamic spatial light modulators imposes a tight bound on the diffraction angle. As a result, modern holographic displays possess low étendue, which is the product of the display area and the maximum solid angle of diffracted light. The low étendue forces a sacrifice of either the field-of-view (FOV) or the display size. In this work, we lift this limitation by presenting neural étendue expanders. This new breed of optical elements, which is learned from a natural image dataset, enables higher diffraction angles for ultra-wide FOV while maintaining both a compact form factor and the fidelity of displayed contents to human viewers. With neural étendue expanders, we experimentally achieve 64$\times$ étendue expansion of natural images in full color, expanding the FOV by an order of magnitude horizontally and vertically, with high-fidelity reconstruction quality (measured in PSNR) over 29 dB on retinal-resolution images.
△ Less
Submitted 26 April, 2024; v1 submitted 16 September, 2021;
originally announced September 2021.
-
Extended Version of GTGraffiti: Spray Painting Graffiti Art from Human Painting Motions with a Cable Driven Parallel Robot
Authors:
Gerry Chen,
Sereym Baek,
Juan-Diego Florez,
Wanli Qian,
Sang-won Leigh,
Seth Hutchinson,
Frank Dellaert
Abstract:
We present GTGraffiti, a graffiti painting system from Georgia Tech that tackles challenges in art, hardware, and human-robot collaboration. The problem of painting graffiti in a human style is particularly challenging and requires a system-level approach because the robotics and art must be designed around each other. The robot must be highly dynamic over a large workspace while the artist must w…
▽ More
We present GTGraffiti, a graffiti painting system from Georgia Tech that tackles challenges in art, hardware, and human-robot collaboration. The problem of painting graffiti in a human style is particularly challenging and requires a system-level approach because the robotics and art must be designed around each other. The robot must be highly dynamic over a large workspace while the artist must work within the robot's limitations. Our approach consists of three stages: artwork capture, robot hardware, and planning & control. We use motion capture to capture collaborator painting motions which are then composed and processed into a time-varying linear feedback controller for a cable-driven parallel robot (CDPR) to execute. In this work, we will describe the capturing process, the design and construction of a purpose-built CDPR, and the software for turning an artist's vision into control commands. Our work represents an important step towards faithfully recreating human graffiti artwork by demonstrating that we can reproduce artist motions up to 2m/s and 20m/s$^2$ within 9.3mm RMSE to paint artworks. Changes to the submitted manuscript are colored in blue.
△ Less
Submitted 21 October, 2021; v1 submitted 13 September, 2021;
originally announced September 2021.
-
Applying the Persona of User's Family Member and the Doctor to the Conversational Agents for Healthcare
Authors:
You** Hwang,
Donghoon Shin,
Sion Baek,
Bongwon Suh,
Joonhwan Lee
Abstract:
Conversational agents have been showing lots of opportunities in healthcare by taking over a lot of tasks that used to be done by a human. One of the major functions of conversational healthcare agent is intervening users' daily behaviors. In this case, forming an intimate and trustful relationship with users is one of the major issues. Factors affecting human-agent relationship should be deeply e…
▽ More
Conversational agents have been showing lots of opportunities in healthcare by taking over a lot of tasks that used to be done by a human. One of the major functions of conversational healthcare agent is intervening users' daily behaviors. In this case, forming an intimate and trustful relationship with users is one of the major issues. Factors affecting human-agent relationship should be deeply explored to improve long-term acceptance of healthcare agent. Even though a bunch of ideas and researches have been suggested to increase the acceptance of conversational agents in healthcare, challenges still remain. From the preliminary work we conducted, we suggest an idea of applying the personas of users' family members and the doctor who are in the relationship with users in the real world as a solution for forming the rigid relationship between humans and the chatbot.
△ Less
Submitted 2 September, 2021;
originally announced September 2021.
-
The Second International Verification of Neural Networks Competition (VNN-COMP 2021): Summary and Results
Authors:
Stanley Bak,
Changliu Liu,
Taylor Johnson
Abstract:
This report summarizes the second International Verification of Neural Networks Competition (VNN-COMP 2021), held as a part of the 4th Workshop on Formal Methods for ML-Enabled Autonomous Systems that was collocated with the 33rd International Conference on Computer-Aided Verification (CAV). Twelve teams participated in this competition. The goal of the competition is to provide an objective compa…
▽ More
This report summarizes the second International Verification of Neural Networks Competition (VNN-COMP 2021), held as a part of the 4th Workshop on Formal Methods for ML-Enabled Autonomous Systems that was collocated with the 33rd International Conference on Computer-Aided Verification (CAV). Twelve teams participated in this competition. The goal of the competition is to provide an objective comparison of the state-of-the-art methods in neural network verification, in terms of scalability and speed. Along this line, we used standard formats (ONNX for neural networks and VNNLIB for specifications), standard hardware (all tools are run by the organizers on AWS), and tool parameters provided by the tool authors. This report summarizes the rules, benchmarks, participating tools, results, and lessons learned from this competition.
△ Less
Submitted 30 August, 2021;
originally announced September 2021.
-
A hybrid full-wave Markov chain approach to calculating radio-frequency wave scattering from Scrape-off Layer filaments
Authors:
Bodhi Biswas,
Syunichi Shiraiwa,
Seung-Gyou Baek,
Paul Bonoli,
Abhay Ram,
Anne White
Abstract:
The interaction of radio-frequency (RF) waves with edge turbulence modifies the incident wave-spectrum, and can significantly affect RF heating and current drive in tokamaks. Previous LH scattering models have either used the weak-turbulence approximation, or treated more realistic, filamentary turbulence in the ray-tracing limit. In this work, a new model is introduced which retains full-wave eff…
▽ More
The interaction of radio-frequency (RF) waves with edge turbulence modifies the incident wave-spectrum, and can significantly affect RF heating and current drive in tokamaks. Previous LH scattering models have either used the weak-turbulence approximation, or treated more realistic, filamentary turbulence in the ray-tracing limit. In this work, a new model is introduced which retains full-wave effects of RF scattering in filamentary turbulence. First, a Mie-scattering technique models the interaction of an incident wave with a single Gaussian filament. Next, an effective differential scattering-width is derived for a statistical ensemble of filaments. Lastly, a Markov chain solves for the transmitted wave-spectrum in slab geometry. This model is applied to LH launch for current drive. The resulting wave-spectrum is asymmetrically broadened in wave-number angle-space. This asymmetry is not accounted for in previous LH scattering models. The modified wave-spectrum is coupled to a ray-tracing/Fokker-Planck solver (GENRAY/CQL3D) to study its impact on current drive. The resulting current profile is greatly altered, and there is significant increase in on-axis current and decrease in off-axis peaks. This is attributed to a portion of the modified wave-spectrum that strongly damps on-axis during first-pass.
△ Less
Submitted 16 August, 2021;
originally announced August 2021.
-
Unusual spin pseudogap behavior in the spin web lattice Cu$_3$TeO$_6$ probed by $^{125}$Te nuclear magnetic resonance
Authors:
Seung-Ho Baek,
Hyeon Woo Yeo,
Jena Park,
Kwang-Yong Choi,
Bernd Büchner
Abstract:
We present a $^{125}$Te nuclear magnetic resonance (NMR) study in the three-dimensional spin web lattice Cu$_3$TeO$_6$, which harbors topological magnons. The $^{125}$Te NMR spectra and the Knight shift $\mathcal{K}$ as a function of temperature show a drastic change at $T_\text{S}\sim 40$ K much lower than the Néel ordering temperature $T_\text{N}\sim 61$ K, providing evidence for the first-order…
▽ More
We present a $^{125}$Te nuclear magnetic resonance (NMR) study in the three-dimensional spin web lattice Cu$_3$TeO$_6$, which harbors topological magnons. The $^{125}$Te NMR spectra and the Knight shift $\mathcal{K}$ as a function of temperature show a drastic change at $T_\text{S}\sim 40$ K much lower than the Néel ordering temperature $T_\text{N}\sim 61$ K, providing evidence for the first-order structural phase transition within the magnetically ordered state. Most remarkably, the temperature dependence of the spin-lattice relaxation rate $T_1^{-1}$ unravels spin-gap-like magnetic excitations, which sharply sets in at $T^*\sim 75$ K, the temperature well above $T_\text{N}$. The spin gap behavior may be understood by weakly dispersive optical magnon branches of high-energy spin excitations originating from the unique corner-sharing Cu hexagon spin-1/2 network with low coordination number.
△ Less
Submitted 3 August, 2021;
originally announced August 2021.
-
Islands in charged linear dilaton black holes
Authors:
Byoungjoon Ahn,
Sang-Eon Bak,
Hyun-Sik Jeong,
Keun-Young Kim,
Ya-Wen Sun
Abstract:
We investigate the Page curve for a non-standard black hole which is asymptotically non-flat/AdS/dS. For this purpose, we apply the island prescription to the charged linear dilaton black holes and analyze, in detail, the entanglement entropy of Hawking radiation for both the non-extremal case and the extremal case. In the non-extremal case, we find the Page curve consistent with the unitarity pri…
▽ More
We investigate the Page curve for a non-standard black hole which is asymptotically non-flat/AdS/dS. For this purpose, we apply the island prescription to the charged linear dilaton black holes and analyze, in detail, the entanglement entropy of Hawking radiation for both the non-extremal case and the extremal case. In the non-extremal case, we find the Page curve consistent with the unitarity principle: at early times the entanglement entropy grows linearly in time without the island and at late times it is saturated double of the Bekenstein-Hawking entropy in the presence of the island. We observe the Page time is universal for all different models studied by our method: $t_{\text{Page}}=\frac{3}{ πc}\frac{S_{\text{BH}}}{T_H}.$ For the extremal case, the island prescription provides the well defined entanglement entropy only with the island, which can not be obtained from the continuous limit of the non-extremal case. This implies that the Page curve may not be reproduced for the extremal case and further investigation is needed.
△ Less
Submitted 27 July, 2021; v1 submitted 15 July, 2021;
originally announced July 2021.
-
Resonantly pumped bright-triplet exciton lasing in caesium lead bromide perovskites
Authors:
Guanhua Ying,
Tristan Farrow,
Atanu Jana,
Hanbo Shao,
Hyunsik Im,
Vitaly Osokin,
Seung Bin Baek,
Mutibah Alanazi,
Sanjit Karmakar,
Manas Mukherjee,
Youngsin Park,
Robert A. Taylor
Abstract:
The surprising recent observation of highly emissive triplet-states in lead halide perovskites accounts for their orders-of-magnitude brighter optical signals and high quantum efficiencies compared to other semiconductors. This makes them attractive for future optoelectronic applications, especially in bright low-threshold nano-lasers. Whilst non-resonantly pumped lasing from all-inorganic lead-ha…
▽ More
The surprising recent observation of highly emissive triplet-states in lead halide perovskites accounts for their orders-of-magnitude brighter optical signals and high quantum efficiencies compared to other semiconductors. This makes them attractive for future optoelectronic applications, especially in bright low-threshold nano-lasers. Whilst non-resonantly pumped lasing from all-inorganic lead-halide perovskites is now well-established as an attractive pathway to scalable low-power laser sources for nano-optoelectronics, here we showcase a resonant optical pum** scheme on a fast triplet-state in CsPbBr3 nanocrystals. The scheme allows us to realize a polarized triplet-laser source that dramatically enhances the coherent signal by one order of magnitude whilst suppressing non-coherent contributions. The result is a source with highly attractive technological characteristics including a bright and polarized signal, and a high stimulated-to-spontaneous emission signal contrast that can be filtered to enhance spectral purity. The emission is generated by pum** selectively on a weakly-confined excitonic state with a Bohr radius ~10 nm in the nanocrystals. The exciton fine-structure is revealed by the energy-splitting resulting from confinement in nanocrystals with tetragonal symmetry. We use a linear polarizer to resolve two-fold non-degenerate sub-levels in the triplet exciton and use photoluminescence excitation spectroscopy to determine the energy of the state before pum** it resonantly.
△ Less
Submitted 14 July, 2021;
originally announced July 2021.
-
Essential dimension of semisimple groups of type $B$
Authors:
Sanghoon Baek,
Yeongjong Kim
Abstract:
We determine the essential dimension of an arbitrary semisimple group of type $B$ of the form \[G=\big(\operatorname{\mathbf{Spin}}(2n_{1}+1)\times\cdots \times \operatorname{\mathbf{Spin}}(2n_{m}+1)\big)/\boldsymbolμ\] over a field of characteristic $0$, for all $n_{1},\ldots, n_{m}\geq 7$, and a central subgroup $\boldsymbolμ$ of…
▽ More
We determine the essential dimension of an arbitrary semisimple group of type $B$ of the form \[G=\big(\operatorname{\mathbf{Spin}}(2n_{1}+1)\times\cdots \times \operatorname{\mathbf{Spin}}(2n_{m}+1)\big)/\boldsymbolμ\] over a field of characteristic $0$, for all $n_{1},\ldots, n_{m}\geq 7$, and a central subgroup $\boldsymbolμ$ of $\operatorname{\mathbf{Spin}}(2n_{1}+1)\times\cdots \times \operatorname{\mathbf{Spin}}(2n_{m}+1)$ not containing the center of $\operatorname{\mathbf{Spin}}(2n_i+1)$ as a direct factor. We also find the essential dimension of $G$ for each of the following cases, where either $n_{i}=1$ for all $i$ or $m=2$, $n_{1}=1$, $2\leq n_{2}\leq 3$, $\boldsymbolμ$ is the diagonal central subgroup for both cases.
△ Less
Submitted 24 June, 2021;
originally announced June 2021.
-
Automatic Dynamic Parallelotope Bundles for Reachability Analysis of Nonlinear Systems
Authors:
Edward Kim,
Stanley Bak,
Parasara Sridhar Duggirala
Abstract:
Reachable set computation is an important technique for the verification of safety properties of dynamical systems. In this paper, we investigate reachable set computation for discrete nonlinear systems based on parallelotope bundles. The algorithm relies on computing an upper bound on the supremum of a nonlinear function over a rectangular domain, which has been traditionally done using Bernstein…
▽ More
Reachable set computation is an important technique for the verification of safety properties of dynamical systems. In this paper, we investigate reachable set computation for discrete nonlinear systems based on parallelotope bundles. The algorithm relies on computing an upper bound on the supremum of a nonlinear function over a rectangular domain, which has been traditionally done using Bernstein polynomials. We strive to remove the manual step of parallelotope template selection to make the method fully automatic. Furthermore, we show that changing templates dynamically during computations cans improve accuracy. To this end, we investigate two techniques for generating the template directions. The first technique approximates the dynamics as a linear transformation and generates templates using this linear transformation. The second technique uses Principal Component Analysis (PCA) of sample trajectories for generating templates. We have implemented our approach in a Python-based tool called Kaa and improve its performance by two main enhancements. The tool is modular and use two types of global optimization solvers, the first using Bernstein polynomials and the second using NASA's Kodiak nonlinear optimization library. Second, we leverage the natural parallelism of the reachability algorithm and parallelize the Kaa implementation. We demonstrate the improved accuracy of our approach on several standard nonlinear benchmark systems.
△ Less
Submitted 7 July, 2021; v1 submitted 25 May, 2021;
originally announced May 2021.