-
UnSeenTimeQA: Time-Sensitive Question-Answering Beyond LLMs' Memorization
Authors:
Md Nayem Uddin,
Amir Saeidi,
Divij Handa,
Agastya Seth,
Tran Cao Son,
Eduardo Blanco,
Steven R. Corman,
Chitta Baral
Abstract:
This paper introduces UnSeenTimeQA, a novel time-sensitive question-answering (TSQA) benchmark that diverges from traditional TSQA benchmarks by avoiding factual and web-searchable queries. We present a series of time-sensitive event scenarios decoupled from real-world factual information. It requires large language models (LLMs) to engage in genuine temporal reasoning, disassociating from the kno…
▽ More
This paper introduces UnSeenTimeQA, a novel time-sensitive question-answering (TSQA) benchmark that diverges from traditional TSQA benchmarks by avoiding factual and web-searchable queries. We present a series of time-sensitive event scenarios decoupled from real-world factual information. It requires large language models (LLMs) to engage in genuine temporal reasoning, disassociating from the knowledge acquired during the pre-training phase. Our evaluation of six open-source LLMs (ranging from 2B to 70B in size) and three closed-source LLMs reveal that the questions from the UnSeenTimeQA present substantial challenges. This indicates the models' difficulties in handling complex temporal reasoning scenarios. Additionally, we present several analyses shedding light on the models' performance in answering time-sensitive questions.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Droplets of Bosons at a Narrow Resonance
Authors:
Ke Wang,
Thimo Preis,
Dam Thanh Son
Abstract:
We consider bosons interacting through a narrow $s$-wave resonance. Such a resonance is characterized by an infinite scattering length and a large and negative effective range $r_0$. We argue that any number $N\ge3$ of bosons can form a self-bound cluster with the binding energy per particle increasing as $N^2$ for $1\ll N\ll (-r_0/a_\text{bg})^{1/2}$, where $a_\text{bg}$ is the background scatter…
▽ More
We consider bosons interacting through a narrow $s$-wave resonance. Such a resonance is characterized by an infinite scattering length and a large and negative effective range $r_0$. We argue that any number $N\ge3$ of bosons can form a self-bound cluster with the binding energy per particle increasing as $N^2$ for $1\ll N\ll (-r_0/a_\text{bg})^{1/2}$, where $a_\text{bg}$ is the background scattering length (between atoms and molecules). In the opposite limit $N\gg (-r_0/a_\text{bg})^{1/2}$, bosons form droplets with binding energy per particle saturating to a constant value independent of the particle number. The stability of clusters and droplets when the interaction is detuned from the resonance is also studied.
△ Less
Submitted 3 July, 2024;
originally announced July 2024.
-
Symplectic Stiefel manifold: tractable metrics, second-order geometry and Newton's methods
Authors:
Bin Gao,
Nguyen Thanh Son,
Tatjana Stykel
Abstract:
Optimization under the symplecticity constraint is an approach for solving various problems in quantum physics and scientific computing. Building on the results that this optimization problem can be transformed into an unconstrained problem on the symplectic Stiefel manifold, we construct geometric ingredients for Riemannian optimization with a new family of Riemannian metrics called tractable met…
▽ More
Optimization under the symplecticity constraint is an approach for solving various problems in quantum physics and scientific computing. Building on the results that this optimization problem can be transformed into an unconstrained problem on the symplectic Stiefel manifold, we construct geometric ingredients for Riemannian optimization with a new family of Riemannian metrics called tractable metrics and develop Riemannian Newton schemes. The newly obtained ingredients do not only generalize several existing results but also provide us with freedom to choose a suitable metric for each problem. To the best of our knowledge, this is the first try to develop the explicit second-order geometry and Newton's methods on the symplectic Stiefel manifold. For the Riemannian Newton method, we first consider novel operator-valued formulas for computing the Riemannian Hessian of a~cost function, which further allows the manifold to be endowed with a weighted Euclidean metric that can provide a preconditioning effect. We then solve the resulting Newton equation, as the central step of Newton's methods, directly via transforming it into a~saddle point problem followed by vectorization, or iteratively via applying any matrix-free iterative method either to the operator Newton equation or its saddle point formulation. Finally, we propose a hybrid Riemannian Newton optimization algorithm that enjoys both global convergence and quadratic/superlinear local convergence at the final stage. Various numerical experiments are presented to validate the proposed methods.
△ Less
Submitted 20 June, 2024;
originally announced June 2024.
-
ActionReasoningBench: Reasoning about Actions with and without Ramification Constraints
Authors:
Divij Handa,
Pavel Dolin,
Shrinidhi Kumbhar,
Chitta Baral,
Tran Cao Son
Abstract:
Reasoning about actions and change (RAC) has historically driven the development of many early AI challenges, such as the frame problem, and many AI disciplines, including non-monotonic and commonsense reasoning. The role of RAC remains important even now, particularly for tasks involving dynamic environments, interactive scenarios, and commonsense reasoning. Despite the progress of Large Language…
▽ More
Reasoning about actions and change (RAC) has historically driven the development of many early AI challenges, such as the frame problem, and many AI disciplines, including non-monotonic and commonsense reasoning. The role of RAC remains important even now, particularly for tasks involving dynamic environments, interactive scenarios, and commonsense reasoning. Despite the progress of Large Language Models (LLMs) in various AI domains, their performance on RAC is underexplored. To address this gap, we introduce a new benchmark, ActionReasoningBench, encompassing 13 domains and rigorously evaluating LLMs across eight different areas of RAC. These include - Object Tracking, Fluent Tracking, State Tracking, Action Executability, Effects of Actions, Numerical RAC, Hallucination Detection, and Composite Questions. Furthermore, we also investigate the indirect effect of actions due to ramification constraints for every domain. Finally, we evaluate our benchmark using open-sourced and commercial state-of-the-art LLMs, including GPT-4o, Gemini-1.0-Pro, Llama2-7b-chat, Llama2-13b-chat, Llama3-8b-instruct, Gemma-2b-instruct, and Gemma-7b-instruct. Our findings indicate that these models face significant challenges across all categories included in our benchmark.
△ Less
Submitted 6 June, 2024;
originally announced June 2024.
-
On Generating Monolithic and Model Reconciling Explanations in Probabilistic Scenarios
Authors:
Stylianos Loukas Vasileiou,
William Yeoh,
Alessandro Previti,
Tran Cao Son
Abstract:
Explanation generation frameworks aim to make AI systems' decisions transparent and understandable to human users. However, generating explanations in uncertain environments characterized by incomplete information and probabilistic models remains a significant challenge. In this paper, we propose a novel framework for generating probabilistic monolithic explanations and model reconciling explanati…
▽ More
Explanation generation frameworks aim to make AI systems' decisions transparent and understandable to human users. However, generating explanations in uncertain environments characterized by incomplete information and probabilistic models remains a significant challenge. In this paper, we propose a novel framework for generating probabilistic monolithic explanations and model reconciling explanations. Monolithic explanations provide self-contained reasons for an explanandum without considering the agent receiving the explanation, while model reconciling explanations account for the knowledge of the agent receiving the explanation. For monolithic explanations, our approach integrates uncertainty by utilizing probabilistic logic to increase the probability of the explanandum. For model reconciling explanations, we propose a framework that extends the logic-based variant of the model reconciliation problem to account for probabilistic human models, where the goal is to find explanations that increase the probability of the explanandum while minimizing conflicts between the explanation and the probabilistic human model. We introduce explanatory gain and explanatory power as quantitative metrics to assess the quality of these explanations. Further, we present algorithms that exploit the duality between minimal correction sets and minimal unsatisfiable sets to efficiently compute both types of explanations in probabilistic contexts. Extensive experimental evaluations on various benchmarks demonstrate the effectiveness and scalability of our approach in generating explanations under uncertainty.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
Relativistic Guiding-Center Motion: Action Principle, Kinetic Theory, and Hydrodynamics
Authors:
Dam Thanh Son,
Mikhail Stephanov
Abstract:
We treat the guiding-center dynamics in a non-uniform external Maxwell field using a manifestly Lorentz covariant action principle which easily reproduces the known Vandervoort equations of motion. We derive the corresponding kinetic theory and ideal hydrodynamic theory. In contrast to conventional five-equation hydrodynamics, the guiding-center hydrodynamics needs only three equations due to a co…
▽ More
We treat the guiding-center dynamics in a non-uniform external Maxwell field using a manifestly Lorentz covariant action principle which easily reproduces the known Vandervoort equations of motion. We derive the corresponding kinetic theory and ideal hydrodynamic theory. In contrast to conventional five-equation hydrodynamics, the guiding-center hydrodynamics needs only three equations due to a constraint on the motion across magnetic field. We argue that this hydrodynamics applies more generally than the kinetic theory, e.g., for strongly-coupled quark-gluon plasma.
△ Less
Submitted 13 May, 2024;
originally announced May 2024.
-
AV-Occupant Perceived Risk Model for Cut-In Scenarios with Empirical Evaluation
Authors:
Sarah Barendswaard,
Tong Duy Son
Abstract:
Advancements in autonomous vehicle (AV) technologies necessitate precise estimation of perceived risk to enhance user comfort, acceptance and trust. This paper introduces a novel AV-Occupant Risk (AVOR) model designed for perceived risk estimation during AV cut-in scenarios. An empirical study is conducted with 18 participants with realistic cut-in scenarios. Two factors were investigated: scenari…
▽ More
Advancements in autonomous vehicle (AV) technologies necessitate precise estimation of perceived risk to enhance user comfort, acceptance and trust. This paper introduces a novel AV-Occupant Risk (AVOR) model designed for perceived risk estimation during AV cut-in scenarios. An empirical study is conducted with 18 participants with realistic cut-in scenarios. Two factors were investigated: scenario risk and scene population. 76% of subjective risk responses indicate an increase in perceived risk at cut-in initiation. The existing perceived risk model did not capture this critical phenomenon. Our AVOR model demonstrated a significant improvement in estimating perceived risk during the early stages of cut-ins, especially for the high-risk scenario, enhancing modelling accuracy by up to 54%. The concept of the AVOR model can quantify perceived risk in other diverse driving contexts characterized by dynamic uncertainties, enhancing the reliability and human-centred focus of AV systems.
△ Less
Submitted 22 March, 2024;
originally announced March 2024.
-
Learning from Visual Demonstrations through Differentiable Nonlinear MPC for Personalized Autonomous Driving
Authors:
Flavia Sofia Acerbo,
Jan Swevers,
Tinne Tuytelaars,
Tong Duy Son
Abstract:
Human-like autonomous driving controllers have the potential to enhance passenger perception of autonomous vehicles. This paper proposes DriViDOC: a model for Driving from Vision through Differentiable Optimal Control, and its application to learn personalized autonomous driving controllers from human demonstrations. DriViDOC combines the automatic inference of relevant features from camera frames…
▽ More
Human-like autonomous driving controllers have the potential to enhance passenger perception of autonomous vehicles. This paper proposes DriViDOC: a model for Driving from Vision through Differentiable Optimal Control, and its application to learn personalized autonomous driving controllers from human demonstrations. DriViDOC combines the automatic inference of relevant features from camera frames with the properties of nonlinear model predictive control (NMPC), such as constraint satisfaction. Our approach leverages the differentiability of parametric NMPC, allowing for end-to-end learning of the driving model from images to control. The model is trained on an offline dataset comprising various driving styles collected on a motion-base driving simulator. During online testing, the model demonstrates successful imitation of different driving styles, and the interpreted NMPC parameters provide insights into the achievement of specific driving behaviors. Our experimental results show that DriViDOC outperforms other methods involving NMPC and neural networks, exhibiting an average improvement of 20% in imitation scores.
△ Less
Submitted 8 July, 2024; v1 submitted 22 March, 2024;
originally announced March 2024.
-
Routing and Scheduling in Answer Set Programming applied to Multi-Agent Path Finding: Preliminary Report
Authors:
Roland Kaminski,
Torsten Schaub,
Tran Cao Son,
Jiří Švancara,
Philipp Wanko
Abstract:
We present alternative approaches to routing and scheduling in Answer Set Programming (ASP), and explore them in the context of Multi-agent Path Finding. The idea is to capture the flow of time in terms of partial orders rather than time steps attached to actions and fluents. This also abolishes the need for fixed upper bounds on the length of plans. The trade-off for this avoidance is that (parts…
▽ More
We present alternative approaches to routing and scheduling in Answer Set Programming (ASP), and explore them in the context of Multi-agent Path Finding. The idea is to capture the flow of time in terms of partial orders rather than time steps attached to actions and fluents. This also abolishes the need for fixed upper bounds on the length of plans. The trade-off for this avoidance is that (parts of) temporal trajectories must be acyclic, since multiple occurrences of the same action or fluent cannot be distinguished anymore. While this approach provides an interesting alternative for modeling routing, it is without alternative for scheduling since fine-grained timings cannot be represented in ASP in a feasible way. This is different for partial orders that can be efficiently handled by external means such as acyclicity and difference constraints. We formally elaborate upon this idea and present several resulting ASP encodings. Finally, we demonstrate their effectiveness via an empirical analysis.
△ Less
Submitted 18 March, 2024;
originally announced March 2024.
-
Quantum communication networks with defects in silicon carbide
Authors:
Sebastian Ecker,
Matthias Fink,
Thomas Scheidl,
Philipp Sohr,
Rupert Ursin,
Muhammad Junaid Arshad,
Cristian Bonato,
Pasquale Cilibrizzi,
Adam Gali,
Péter Udvarhelyi,
Alberto Politi,
Oliver J. Trojak,
Misagh Ghezellou,
Jawad Ul Hassan,
Ivan G. Ivanov,
Nguyen Tien Son,
Guido Burkard,
Benedikt Tissot,
Joop Hendriks,
Carmem M. Gilardoni,
Caspar H. van der Wal,
Christian David,
Thomas Astner,
Philipp Koller,
Michael Trupke
Abstract:
Quantum communication promises unprecedented communication capabilities enabled by the transmission of quantum states of light. However, current implementations face severe limitations in communication distance due to photon loss. Silicon carbide (SiC) defects have emerged as a promising quantum device platform, offering strong optical transitions, long spin coherence lifetimes and the opportunity…
▽ More
Quantum communication promises unprecedented communication capabilities enabled by the transmission of quantum states of light. However, current implementations face severe limitations in communication distance due to photon loss. Silicon carbide (SiC) defects have emerged as a promising quantum device platform, offering strong optical transitions, long spin coherence lifetimes and the opportunity for integration with semiconductor devices. Some defects with optical transitions in the telecom range have been identified, allowing to interface with fiber networks without the need for wavelength conversion. These unique properties make SiC an attractive platform for the implementation of quantum nodes for quantum communication networks. We provide an overview of the most prominent defects in SiC and their implementation in spin-photon interfaces. Furthermore, we model a memory-enhanced quantum communication protocol in order to extract the parameters required to surpass a direct point-to-point link performance. Based on these insights, we summarize the key steps required towards the deployment of SiC devices in large-scale quantum communication networks.
△ Less
Submitted 5 March, 2024;
originally announced March 2024.
-
Learning Based NMPC Adaptation for Autonomous Driving using Parallelized Digital Twin
Authors:
Jean Pierre Allamaa,
Panagiotis Patrinos,
Herman Van der Auweraer,
Tong Duy Son
Abstract:
In this work, we focus on the challenge of transferring an autonomous driving controller from simulation to the real world (i.e. Sim2Real). We propose a data-efficient method for online and on-the-fly adaptation of parametrizable control architectures such that the target closed-loop performance is optimized while accounting for uncertainties as model mismatches, changes in the environment, and ta…
▽ More
In this work, we focus on the challenge of transferring an autonomous driving controller from simulation to the real world (i.e. Sim2Real). We propose a data-efficient method for online and on-the-fly adaptation of parametrizable control architectures such that the target closed-loop performance is optimized while accounting for uncertainties as model mismatches, changes in the environment, and task variations. The novelty of the approach resides in leveraging black-box optimization enabled by Executable Digital Twins (xDTs) for data-driven parameter calibration through derivative-free methods to directly adapt the controller in real-time. The xDTs are augmented with Domain Randomization for robustness and allow for safe parameter exploration. The proposed method requires a minimal amount of interaction with the real-world as it pushes the exploration towards the xDTs. We validate our approach through real-world experiments, demonstrating its effectiveness in transferring and fine-tuning a NMPC with 9 parameters, in under 10 minutes. This eliminates the need for hours-long manual tuning and lengthy machine learning training and data collection phases. Our results show that the online adapted NMPC directly compensates for the Sim2Real gap and avoids overtuning in simulation. Importantly, a 75% improvement in tracking performance is achieved and the Sim2Real gap over the target performance is reduced from a factor of 876 to 1.033.
△ Less
Submitted 24 July, 2024; v1 submitted 26 February, 2024;
originally announced February 2024.
-
Real-time MPC with Control Barrier Functions for Autonomous Driving using Safety Enhanced Collocation
Authors:
Jean Pierre Allamaa,
Panagiotis Patrinos,
Toshiyuki Ohtsuka,
Tong Duy Son
Abstract:
The autonomous driving industry is continuously dealing with safety-critical scenarios, and nonlinear model predictive control (NMPC) is a powerful control strategy for handling such situations. However, standard safety constraints are not scalable and require a long NMPC horizon. Moreover, the adoption of NMPC in the automotive industry is limited by the heavy computation of numerical optimizatio…
▽ More
The autonomous driving industry is continuously dealing with safety-critical scenarios, and nonlinear model predictive control (NMPC) is a powerful control strategy for handling such situations. However, standard safety constraints are not scalable and require a long NMPC horizon. Moreover, the adoption of NMPC in the automotive industry is limited by the heavy computation of numerical optimization routines. To address those issues, this paper presents a real-time capable NMPC for automated driving in urban environments, using control barrier functions (CBFs). Furthermore, the designed NMPC is based on a novel collocation transcription approach, named RESAFE/COL, that allows to reduce the number of optimization variables while still guaranteeing the continuous time (nonlinear) inequality constraints satisfaction, through regional convex hull approximation. RESAFE/COL is proven to be 5 times faster than multiple shooting and more tractable for embedded hardware without a decrease in the performance, nor accuracy and safety of the numerical solution. We validate our NMPC-CBF with RESAFE/COL on digital twins of the vehicle and the urban environment and show the safe controller's ability to improve crash avoidance by 91\%. Supplementary visual material can be found at https://youtu.be/_EnbfYwljp4.
△ Less
Submitted 11 July, 2024; v1 submitted 12 January, 2024;
originally announced January 2024.
-
High fidelity optical readout of a nuclear spin qubit in Silicon Carbide
Authors:
Erik Hesselmeier,
Oliver von Berg,
Pierre Kuna,
Wolfgang Knolle,
Florian Kaiser,
Nguyen Tien Son,
Misagh Ghezellou,
Jawad Ul-Hassan,
Vadim Vorobyov,
Jörg Wrachtrup
Abstract:
Quantum state readout is a key requirement for a successful qubit platform. In this work we demonstrate a high fidelity quantum state readout of a V2 center nuclear spin based on a repetitive readout technique. We demonstrate up to 99.5$\,\%$ readout fidelity and 99$\,\%$ for state preparation. Using this efficient readout we initialise the nuclear spin by measurement and demonstrate its Rabi and…
▽ More
Quantum state readout is a key requirement for a successful qubit platform. In this work we demonstrate a high fidelity quantum state readout of a V2 center nuclear spin based on a repetitive readout technique. We demonstrate up to 99.5$\,\%$ readout fidelity and 99$\,\%$ for state preparation. Using this efficient readout we initialise the nuclear spin by measurement and demonstrate its Rabi and Ramsey nutation. Finally, we use the nuclear spin as a long lived memory for quantum sensing application of weakly coupled diatomic nuclear spin bath.
△ Less
Submitted 8 March, 2024; v1 submitted 9 January, 2024;
originally announced January 2024.
-
Coderivatives at infinity of set-valued mappings
Authors:
Do Sang Kim,
Pham Tien Son,
Nguyen Minh Tung,
Nguyen Van Tuyen
Abstract:
In this paper, the concept of coderivatives at infinity of set-valued mappings is introduced. Well-posedness properties at infinity of set-valued mappings as well as Mordukhovich's criterion at infinity are established. Fermat's rule at infinity in set-valued optimization is also provided. The obtained results, which give new information even in the classical cases of smooth single-valued mappings…
▽ More
In this paper, the concept of coderivatives at infinity of set-valued mappings is introduced. Well-posedness properties at infinity of set-valued mappings as well as Mordukhovich's criterion at infinity are established. Fermat's rule at infinity in set-valued optimization is also provided. The obtained results, which give new information even in the classical cases of smooth single-valued mappings, provide complete characterizations of the properties under consideration in the setting at infinity of set-valued mappings.
△ Less
Submitted 30 November, 2023;
originally announced November 2023.
-
Selection rules in the excitation of the divacancy and the nitrogen-vacancy pair in 4H- and 6H-SiC
Authors:
Danial Shafizadeh,
Joel Davidsson,
Takeshi Ohshima,
Igor A. Abrikosov,
Nguyen T. Son,
Ivan G. Ivanov
Abstract:
In this study, we address the selection rules with respect to the polarization of the optical excitation of two colour centres in 4H-SiC and 6H-SiC with potential for applications in quantum technology, the divacancy and the nitrogen-vacancy pair. We show that the photoluminescence (PL) of the axial configurations of higher symmetry (C3v) than the basal ones (C1h) can be cancelled using any excita…
▽ More
In this study, we address the selection rules with respect to the polarization of the optical excitation of two colour centres in 4H-SiC and 6H-SiC with potential for applications in quantum technology, the divacancy and the nitrogen-vacancy pair. We show that the photoluminescence (PL) of the axial configurations of higher symmetry (C3v) than the basal ones (C1h) can be cancelled using any excitation (resonant or non-resonant) with polarization parallel to the crystal axis (EL||c). The polarization selection rules are determined using group-theoretical analysis and simple physical arguments showing that phonon-assisted absorption with EL||c is prohibited despite being formally allowed by group theory. A comparison with the selection rules for the silicon vacancy, another defect with C3v symmetry, is also carried out. Using the selection rules, we demonstrate selective excitation of only one basal divacancy configuration in 4H-SiC, the P3 line and discuss the higher contrast and increased Debye-Waller factor in the selectively excited spectrum.
△ Less
Submitted 25 November, 2023;
originally announced November 2023.
-
Applied nonrelativistic conformal field theory: scattering-length and effective-range corrections to unnuclear physics
Authors:
Subham Dutta Chowdhury,
Ruchira Mishra,
Dam Thanh Son
Abstract:
Due to an accidentally large $s$-wave scattering length, in a relatively wide range of energy, neutrons are approximately described by the nonrelativistic conformal field theory of unitarity fermions, perturbed by one relevant and an infinite number of irrelevant operators. We develop a formalism which provides a nonperturbative definition of local operators in that nonrelativistic conformal field…
▽ More
Due to an accidentally large $s$-wave scattering length, in a relatively wide range of energy, neutrons are approximately described by the nonrelativistic conformal field theory of unitarity fermions, perturbed by one relevant and an infinite number of irrelevant operators. We develop a formalism which provides a nonperturbative definition of local operators in that nonrelativistic conformal field theory. We compute the scattering-length and effective-range corrections to the two-point functions of primary charge-three operators using the technique of conformal perturbation theory. These calculations allow us to find the first corrections to the scale-invariant behavior of the rate of nuclear reactions with three neutrons in the final state in the regime when the neutrons have small relative momenta.
△ Less
Submitted 26 September, 2023;
originally announced September 2023.
-
Nonlinear Lifshitz Photon Theory in Condensed Matter Systems
Authors:
Yi-Hsien Du,
Cenke Xu,
Dam Thanh Son
Abstract:
We present an interacting theory of a $U(1)$ gauge boson with a quadratic dispersion relation, which we call the "nonlinear Lifshitz photon theory.'' The Lifshitz photon is a three-dimensional generalization of the Tkachenko mode in rotating superfluids. Starting from the Wigner crystal of charged particles coupled to a dynamical $U(1)$ gauge field, after integrating out gapped degrees of freedom,…
▽ More
We present an interacting theory of a $U(1)$ gauge boson with a quadratic dispersion relation, which we call the "nonlinear Lifshitz photon theory.'' The Lifshitz photon is a three-dimensional generalization of the Tkachenko mode in rotating superfluids. Starting from the Wigner crystal of charged particles coupled to a dynamical $U(1)$ gauge field, after integrating out gapped degrees of freedom, we arrive at the Lagrangian for the nonlinear Lifshitz photon. The symmetries of the theory include a global $U(1)$ 1-form symmetry and nonlinearly realized "magnetic" translation and rotation symmetries. The interaction terms in the theory lead to the decay of the Lifshitz photon, the rate of which we estimate. We show that the Wilson loop, which plays the role of the order parameter of the spontaneous breaking of the 1-form global symmetry, deviates from the perimeter law by an additional logarithmic factor. We explore potential connections to other condensed matter systems, with a particular focus on quantum spin ice and ferromagnets. Finally, we generalize our theory to higher dimensions.
△ Less
Submitted 7 September, 2023;
originally announced September 2023.
-
Images of Multilinear Polynomials on Generalized Quaternion Algebras
Authors:
Peter Vassilev Danchev,
Truong Huu Dung,
Tran Nam Son
Abstract:
The main goal of this paper is to extend [J. Algebra Appl. 20 (2021), 2150074] to generalized quaternion algebras, even when these algebras are not necessarily division rings. More precisely, in such cases, the image of a multilinear polynomial evaluated on a quaternion algebra is a vector space and we additionally provide a classification of possible images.
The main goal of this paper is to extend [J. Algebra Appl. 20 (2021), 2150074] to generalized quaternion algebras, even when these algebras are not necessarily division rings. More precisely, in such cases, the image of a multilinear polynomial evaluated on a quaternion algebra is a vector space and we additionally provide a classification of possible images.
△ Less
Submitted 1 September, 2023; v1 submitted 31 August, 2023;
originally announced August 2023.
-
Explanations for Answer Set Programming
Authors:
Mario Alviano,
Ly Ly Trieu,
Tran Cao Son,
Marcello Balduccini
Abstract:
The paper presents an enhancement of xASP, a system that generates explanation graphs for Answer Set Programming (ASP). Different from xASP, the new system, xASP2, supports different clingo constructs like the choice rules, the constraints, and the aggregates such as #sum, #min. This work formalizes and presents an explainable artificial intelligence system for a broad fragment of ASP, capable of…
▽ More
The paper presents an enhancement of xASP, a system that generates explanation graphs for Answer Set Programming (ASP). Different from xASP, the new system, xASP2, supports different clingo constructs like the choice rules, the constraints, and the aggregates such as #sum, #min. This work formalizes and presents an explainable artificial intelligence system for a broad fragment of ASP, capable of shrinking as much as possible the set of assumptions and presenting explanations in terms of directed acyclic graphs.
△ Less
Submitted 30 August, 2023;
originally announced August 2023.
-
Products of Traceless and Semi-Traceless Matrices over Division Rings and their Applications
Authors:
Peter V. Danchev,
Truong Huu Dung,
Tran Nam Son
Abstract:
We study the problem when every matrix over a division ring is representable as either the product of traceless matrices or the product of semi-traceless matrices, and also give some applications of such decompositions. Specifically, we establish the curious facts that every matrix over a division ring is a product of at most twelve traceless matrices as well as a product of at most four semi-trac…
▽ More
We study the problem when every matrix over a division ring is representable as either the product of traceless matrices or the product of semi-traceless matrices, and also give some applications of such decompositions. Specifically, we establish the curious facts that every matrix over a division ring is a product of at most twelve traceless matrices as well as a product of at most four semi-traceless matrices. We also examine finitary matrices and certain images of non-commutative polynomials by applying the obtained so far results showing that the elements of some finite-dimensional algebras over a special field as well as that these of the matrix algebra over any division ring possess some rather interesting and non-trivial decompositions into products of at most four generalized commutators.
△ Less
Submitted 30 July, 2023;
originally announced July 2023.
-
The silicon vacancy centers in SiC: determination of intrinsic spin dynamics for integrated quantum photonics
Authors:
Di Liu,
Florian Kaiser,
Vladislav Bushmakin,
Erik Hesselmeier,
Timo Steidl,
Takeshi Ohshima,
Nguyen Tien Son,
Jawad Ul-Hassan,
Öney O. Soykal,
Jörg Wrachtrup
Abstract:
The negatively-charged silicon vacancy center ($\rm V_{Si}^-$) in silicon carbide (SiC) is an emerging color center for quantum technology covering quantum sensing, communication, and computing. Yet, limited information currently available on the internal spin-optical dynamics of these color centers prevents us achieving the optimal operation conditions and reaching the maximum performance especia…
▽ More
The negatively-charged silicon vacancy center ($\rm V_{Si}^-$) in silicon carbide (SiC) is an emerging color center for quantum technology covering quantum sensing, communication, and computing. Yet, limited information currently available on the internal spin-optical dynamics of these color centers prevents us achieving the optimal operation conditions and reaching the maximum performance especially when integrated within quantum photonics. Here, we establish all the relevant intrinsic spin dynamics of negatively charged $\rm V_{Si}^-$ center in 4H-SiC by an in-depth electronic fine structure modeling including intersystem-crossing and deshelving mechanisms. With carefully designed spin-dependent measurements, we obtain all previously unknown spin-selective radiative and non-radiative decay rates. To showcase the relevance of our work for integrated quantum photonics, we use the obtained rates to propose a realistic implementation of time-bin entangled multi-photon GHZ and cluster state generation. We find that up to 3-photon GHZ/cluster states are readily within reach using the existing nanophotonic cavity technology.
△ Less
Submitted 25 July, 2023;
originally announced July 2023.
-
More Than React: Investigating The Role of Emoji Reaction in GitHub Pull Requests
Authors:
Dong Wang,
Tao Xiao,
Teyon Son,
Raula Gaikovina Kula,
Takashi Ishio,
Yasutaka Kamei,
Kenichi Matsumoto
Abstract:
Open source software development has become more social and collaborative, evident GitHub. Since 2016, GitHub started to support more informal methods such as emoji reactions, with the goal to reduce commenting noise when reviewing any code changes to a repository. From a code review context, the extent to which emoji reactions facilitate a more efficient review process is unknown. We conduct an e…
▽ More
Open source software development has become more social and collaborative, evident GitHub. Since 2016, GitHub started to support more informal methods such as emoji reactions, with the goal to reduce commenting noise when reviewing any code changes to a repository. From a code review context, the extent to which emoji reactions facilitate a more efficient review process is unknown. We conduct an empirical study to mine 1,850 active repositories across seven popular languages to analyze 365,811 Pull Requests (PRs) for their emoji reactions against the review time, first-time contributors, comment intentions, and the consistency of the sentiments. Answering these four research perspectives, we first find that the number of emoji reactions has a significant correlation with the review time. Second, our results show that a PR submitted by a first-time contributor is less likely to receive emoji reactions. Third, the results reveal that the comments with an intention of information giving, are more likely to receive an emoji reaction. Fourth, we observe that only a small proportion of sentiments are not consistent between comments and emoji reactions, i.e., with 11.8% of instances being identified. In these cases, the prevalent reason is when reviewers cheer up authors that admit to a mistake, i.e., acknowledge a mistake. Apart from reducing commenting noise, our work suggests that emoji reactions play a positive role in facilitating collaborative communication during the review process.
△ Less
Submitted 13 July, 2023;
originally announced July 2023.
-
DR-HAI: Argumentation-based Dialectical Reconciliation in Human-AI Interactions
Authors:
Stylianos Loukas Vasileiou,
Ashwin Kumar,
William Yeoh,
Tran Cao Son,
Francesca Toni
Abstract:
We present DR-HAI -- a novel argumentation-based framework designed to extend model reconciliation approaches, commonly used in human-aware planning, for enhanced human-AI interaction. By adopting an argumentation-based dialogue paradigm, DR-HAI enables interactive reconciliation to address knowledge discrepancies between an explainer and an explainee. We formally describe the operational semantic…
▽ More
We present DR-HAI -- a novel argumentation-based framework designed to extend model reconciliation approaches, commonly used in human-aware planning, for enhanced human-AI interaction. By adopting an argumentation-based dialogue paradigm, DR-HAI enables interactive reconciliation to address knowledge discrepancies between an explainer and an explainee. We formally describe the operational semantics of DR-HAI, provide theoretical guarantees, and empirically evaluate its efficacy. Our findings suggest that DR-HAI offers a promising direction for fostering effective human-AI interactions.
△ Less
Submitted 28 August, 2023; v1 submitted 26 June, 2023;
originally announced June 2023.
-
ASPER: Answer Set Programming Enhanced Neural Network Models for Joint Entity-Relation Extraction
Authors:
Trung Hoang Le,
Huiping Cao,
Tran Cao Son
Abstract:
A plethora of approaches have been proposed for joint entity-relation (ER) extraction. Most of these methods largely depend on a large amount of manually annotated training data. However, manual data annotation is time consuming, labor intensive, and error prone. Human beings learn using both data (through induction) and knowledge (through deduction). Answer Set Programming (ASP) has been a widely…
▽ More
A plethora of approaches have been proposed for joint entity-relation (ER) extraction. Most of these methods largely depend on a large amount of manually annotated training data. However, manual data annotation is time consuming, labor intensive, and error prone. Human beings learn using both data (through induction) and knowledge (through deduction). Answer Set Programming (ASP) has been a widely utilized approach for knowledge representation and reasoning that is elaboration tolerant and adept at reasoning with incomplete information. This paper proposes a new approach, ASP-enhanced Entity-Relation extraction (ASPER), to jointly recognize entities and relations by learning from both data and domain knowledge. In particular, ASPER takes advantage of the factual knowledge (represented as facts in ASP) and derived knowledge (represented as rules in ASP) in the learning process of neural network models. We have conducted experiments on two real datasets and compare our method with three baselines. The results show that our ASPER model consistently outperforms the baselines.
△ Less
Submitted 24 May, 2023;
originally announced May 2023.
-
Ultra-narrow inhomogeneous spectral distribution of telecom-wavelength vanadium centres in isotopically-enriched silicon carbide
Authors:
Pasquale Cilibrizzi,
Muhammad Junaid Arshad,
Benedikt Tissot,
Nguyen Tien Son,
Ivan G. Ivanov,
Thomas Astner,
Philipp Koller,
Misagh Ghezellou,
Jawad Ul-Hassan,
Daniel White,
Christiaan Bekker,
Guido Burkard,
Michael Trupke,
Cristian Bonato
Abstract:
Spin-active quantum emitters have emerged as a leading platform for quantum technologies. However, one of their major limitations is the large spread in optical emission frequencies, which typically extends over tens of GHz. Here, we investigate single V4+ vanadium centres in 4H-SiC, which feature telecom-wavelength emission and a coherent S=1/2 spin state. We perform spectroscopy on single emitte…
▽ More
Spin-active quantum emitters have emerged as a leading platform for quantum technologies. However, one of their major limitations is the large spread in optical emission frequencies, which typically extends over tens of GHz. Here, we investigate single V4+ vanadium centres in 4H-SiC, which feature telecom-wavelength emission and a coherent S=1/2 spin state. We perform spectroscopy on single emitters and report the observation of spin-dependent optical transitions, a key requirement for spin-photon interfaces. By engineering the isotopic composition of the SiC matrix, we reduce the inhomogeneous spectral distribution of different emitters down to 100 MHz, significantly smaller than any other single quantum emitter. Additionally, we tailor the dopant concentration to stabilise the telecom-wavelength V4+ charge state, thereby extending its lifetime by at least two orders of magnitude. These results bolster the prospects for single V emitters in SiC as material nodes in scalable telecom quantum networks.
△ Less
Submitted 24 November, 2023; v1 submitted 2 May, 2023;
originally announced May 2023.
-
Thermal hysteresis in amplification and attenuation of surface-plasmon-polariton waves
Authors:
Tom G. Mackay,
Tran Vinh Son,
Alain Haché,
Akhlesh Lakhtakia
Abstract:
The propagation of surface-plasmon-polariton (SPP) waves at the planar interface of a metal and a dielectric material was investigated for a dielectric material with strongly temperature-dependent constitutive properties. The metal was silver and the dielectric material was vanadium multioxide impregnated with a combination of active dyes. Depending upon the volume fraction of vanadium multioxide,…
▽ More
The propagation of surface-plasmon-polariton (SPP) waves at the planar interface of a metal and a dielectric material was investigated for a dielectric material with strongly temperature-dependent constitutive properties. The metal was silver and the dielectric material was vanadium multioxide impregnated with a combination of active dyes. Depending upon the volume fraction of vanadium multioxide, either attenuation or amplification of the SPP waves may be achieved; the degree of attenuation or amplification is strongly dependent on both the temperature and whether the temperature is increasing or decreasing. At intermediate volume fractions of vanadium multioxide, for a fixed temperature, a SPP wave may experience attenuation if the temperature is increasing but experience amplification if the temperature is decreasing.
△ Less
Submitted 6 March, 2023;
originally announced March 2023.
-
Normalized Blood Flow Index in Optical Coherence Tomography Angiography Provides a Sensitive Biomarker of Early Diabetic Retinopathy
Authors:
Albert K. Dadzie,
David Le,
Mansour Abtahi,
Behrouz Ebrahimi,
Taeyoon Son,
Jennifer I. Lim,
Xincheng Yao
Abstract:
Purpose: To evaluate the sensitivity of normalized blood flow index (NBFI) for detecting early diabetic retinopathy (DR). Methods: Optical coherence tomography angiography (OCTA) images of 30 eyes from 20 healthy controls, 21 eyes of diabetic patients with no DR (NoDR) and 26 eyes from 22 patients with mild non-proliferative DR (NPDR) were analyzed in this study. The OCTA images were centered on t…
▽ More
Purpose: To evaluate the sensitivity of normalized blood flow index (NBFI) for detecting early diabetic retinopathy (DR). Methods: Optical coherence tomography angiography (OCTA) images of 30 eyes from 20 healthy controls, 21 eyes of diabetic patients with no DR (NoDR) and 26 eyes from 22 patients with mild non-proliferative DR (NPDR) were analyzed in this study. The OCTA images were centered on the fovea and covered a 6 mm x 6 mm area. Enface projections of the superficial vascular plexus (SVP) and the deep capillary plexus (DCP) were obtained for the quantitative OCTA feature analysis. Three quantitative OCTA features were examined: blood vessel density (BVD), blood flow flux (BFF), and normalized blood flow index (NBFI). Each feature was calculated from both the SVP and DCP and their sensitivity to distinguish the three cohorts of the study were evaluated. Results: The only quantitative feature that was capable of distinguishing between all three cohorts was NBFI in the DCP image. Comparative study revealed that both BVD and BFF were able to distinguish the controls from NoDR and mild NPDR. However, neither BVD nor BFF was sensitive enough to separate NoDR from the healthy controls. Conclusion: The NBFI has been demonstrated as a sensitive biomarker of early DR, revealing retinal blood flow abnormality better than traditional BVD and BFF. The NBFI in the DCP was verified as the most sensitive biomarker, supporting that diabetes affects the DCP earlier than SVP in DR.
△ Less
Submitted 22 December, 2022;
originally announced December 2022.
-
A portable widefield fundus camera with high dynamic range imaging capability
Authors:
Alfa Rossi,
Mojtaba Rahimi,
David Le,
Taeyoon son,
Michael J. Heiferman,
R. V. Paul Chan,
Xincheng Yao
Abstract:
Fundus photography is indispensable for clinical detection and management of eye diseases. Limited image contrast and field of view (FOV) are common limitations of conventional fundus cameras, making it difficult to detect subtle abnormalities at the early stages of eye diseases. Further improvements of image contrast and FOV coverage are important to improve early disease detection and reliable t…
▽ More
Fundus photography is indispensable for clinical detection and management of eye diseases. Limited image contrast and field of view (FOV) are common limitations of conventional fundus cameras, making it difficult to detect subtle abnormalities at the early stages of eye diseases. Further improvements of image contrast and FOV coverage are important to improve early disease detection and reliable treatment assessment. We report here a portable fundus camera, with a wide FOV and high dynamic range (HDR) imaging capabilities. Miniaturized indirect ophthalmoscopy illumination was employed to achieve the portable design for nonmydriatic, widefield fundus photography. Orthogonal polarization control was used to eliminate illumination reflectance artifact. With independent power controls, three fundus images were sequentially acquired and fused to achieve HDR function for local image contrast enhancement. A 101° eye-angle (67° visual-angle) snapshot FOV was achieved for nonmydriatic fundus photography. The effective FOV can be readily expanded up to 190° eye-angle (134° visual-angle) with the aid of a fixation target, without the need of pharmacologic pupillary dilation. The effectiveness of HDR imaging was validated with both normal healthy and pathologic eyes, compared to a conventional fundus camera.
△ Less
Submitted 20 December, 2022;
originally announced December 2022.
-
Noncommutative Field Theory of the Tkachenko Mode: Symmetries and Decay Rate
Authors:
Yi-Hsien Du,
Sergej Moroz,
Dung Xuan Nguyen,
Dam Thanh Son
Abstract:
We construct an effective field theory describing the collective Tkachenko oscillation mode of a vortex lattice in a two-dimensional rotating Bose-Einstein condensate in the long-wavelength regime. The theory has the form of a noncommutative field theory of a Nambu-Goldstone boson, which exhibits a noncommutative version of dipole symmetry. From the effective field theory, we show that, at zero te…
▽ More
We construct an effective field theory describing the collective Tkachenko oscillation mode of a vortex lattice in a two-dimensional rotating Bose-Einstein condensate in the long-wavelength regime. The theory has the form of a noncommutative field theory of a Nambu-Goldstone boson, which exhibits a noncommutative version of dipole symmetry. From the effective field theory, we show that, at zero temperature, the decay width $Γ$ of the Tkachenko mode scales with its energy $E$ as $Γ\sim E^3$ in the low-energy limit. We also discuss the width of the Tkachenko mode at a small temperature.
△ Less
Submitted 14 February, 2024; v1 submitted 16 December, 2022;
originally announced December 2022.
-
Reinforcement Learning from Simulation to Real World Autonomous Driving using Digital Twin
Authors:
Kevin Voogd,
Jean Pierre Allamaa,
Javier Alonso-Mora,
Tong Duy Son
Abstract:
Reinforcement learning (RL) is a promising solution for autonomous vehicles to deal with complex and uncertain traffic environments. The RL training process is however expensive, unsafe, and time consuming. Algorithms are often developed first in simulation and then transferred to the real world, leading to a common sim2real challenge that performance decreases when the domain changes. In this pap…
▽ More
Reinforcement learning (RL) is a promising solution for autonomous vehicles to deal with complex and uncertain traffic environments. The RL training process is however expensive, unsafe, and time consuming. Algorithms are often developed first in simulation and then transferred to the real world, leading to a common sim2real challenge that performance decreases when the domain changes. In this paper, we propose a transfer learning process to minimize the gap by exploiting digital twin technology, relying on a systematic and simultaneous combination of virtual and real world data coming from vehicle dynamics and traffic scenarios. The model and testing environment are evolved from model, hardware to vehicle in the loop and proving ground testing stages, similar to standard development cycle in automotive industry. In particular, we also integrate other transfer learning techniques such as domain randomization and adaptation in each stage. The simulation and real data are gradually incorporated to accelerate and make the transfer learning process more robust. The proposed RL methodology is applied to develop a path following steering controller for an autonomous electric vehicle. After learning and deploying the real-time RL control policy on the vehicle, we obtained satisfactory and safe control performance already from the first deployment, demonstrating the advantages of the proposed digital twin based learning process.
△ Less
Submitted 27 November, 2022;
originally announced November 2022.
-
Safety Envelope for Orthogonal Collocation Methods in Embedded Optimal Control
Authors:
Jean Pierre Allamaa,
Panagiotis Patrinos,
Herman Van der Auweraer,
Tong Duy Son
Abstract:
Orthogonal collocation methods are direct approaches for solving optimal control problems (OCP). A high solution accuracy is achieved with few optimization variables, making it more favorable for embedded and real-time NMPC applications. However, collocation approaches lack a guarantee about the safety of the resulting trajectory as inequality constraints are only set on a finite number of colloca…
▽ More
Orthogonal collocation methods are direct approaches for solving optimal control problems (OCP). A high solution accuracy is achieved with few optimization variables, making it more favorable for embedded and real-time NMPC applications. However, collocation approaches lack a guarantee about the safety of the resulting trajectory as inequality constraints are only set on a finite number of collocation points. In this paper we propose a method to efficiently create a convex safety envelope containing the trajectory such that the solution fully satisfies the OCP constraints. We make use of Bernstein approximations of a polynomial's extrema and span the solution over an orthogonal basis using Legendre polynomials. The tightness of the safety envelope estimation, high accuracy in solving the underlying differential equations, fast rate of convergence and little conservatism are properties of the presented approach making it a suitable method for safe real-time NMPC deployment. We show that our method has comparable computational performance to pseudospectral approaches and can accurately approximate the original OCP up to 9 times more quickly than standard multiple-shooting method in autonomous driving applications, without adding complexity to the formulation.
△ Less
Submitted 9 July, 2023; v1 submitted 27 November, 2022;
originally announced November 2022.
-
Evaluation of MPC-based Imitation Learning for Human-like Autonomous Driving
Authors:
Flavia Sofia Acerbo,
Jan Swevers,
Tinne Tuytelaars,
Tong Duy Son
Abstract:
This work evaluates and analyzes the combination of imitation learning (IL) and differentiable model predictive control (MPC) for the application of human-like autonomous driving. We combine MPC with a hierarchical learning-based policy, and measure its performance in open-loop and closed-loop with metrics related to safety, comfort and similarity to human driving characteristics. We also demonstr…
▽ More
This work evaluates and analyzes the combination of imitation learning (IL) and differentiable model predictive control (MPC) for the application of human-like autonomous driving. We combine MPC with a hierarchical learning-based policy, and measure its performance in open-loop and closed-loop with metrics related to safety, comfort and similarity to human driving characteristics. We also demonstrate the value of augmenting open-loop behavioral cloning with closed-loop training for a more robust learning, approximating the policy gradient through time with the state space model used by the MPC. We perform experimental evaluations on a lane keeping control system, learned from demonstrations collected on a fixed-base driving simulator, and show that our imitative policies approach the human driving style preferences.
△ Less
Submitted 26 June, 2023; v1 submitted 22 November, 2022;
originally announced November 2022.
-
Optimization on the symplectic Stiefel manifold: SR decomposition-based retraction and applications
Authors:
Bin Gao,
Nguyen Thanh Son,
Tatjana Stykel
Abstract:
Numerous problems in optics, quantum physics, stability analysis, and control of dynamical systems can be brought to an optimization problem with matrix variable subjected to the symplecticity constraint. As this constraint nicely forms a so-called symplectic Stiefel manifold, Riemannian optimization is preferred, because one can borrow ideas from unconstrained optimization methods after preparing…
▽ More
Numerous problems in optics, quantum physics, stability analysis, and control of dynamical systems can be brought to an optimization problem with matrix variable subjected to the symplecticity constraint. As this constraint nicely forms a so-called symplectic Stiefel manifold, Riemannian optimization is preferred, because one can borrow ideas from unconstrained optimization methods after preparing necessary geometric tools. Retraction is arguably the most important one which decides the way iterates are updated given a search direction. Two retractions have been constructed so far: one relies on the Cayley transform and the other is designed using quasi-geodesic curves. In this paper, we propose a new retraction which is based on an SR matrix decomposition. We prove that its domain contains the open unit ball which is essential in proving the global convergence of the associated gradient-based optimization algorithm. Moreover, we consider three applications--symplectic target matrix problem, symplectic eigenvalue computation, and symplectic model reduction of Hamiltonian systems--with various examples. The extensive numerical comparisons reveal the strengths of the proposed optimization algorithm.
△ Less
Submitted 17 November, 2022;
originally announced November 2022.
-
Products of Unipotent Elements in Certain Algebras
Authors:
M. H. Bien,
P. V. Danchev,
M. Ramezan-Nassab,
T. N. Son
Abstract:
Let $F$ be a field with at least three elements and $G$ a locally finite group. This paper aims to show that if either $F$ is algebraically closed or the characteristic of $F$ is positive, then an element in the group algebra $FG$ is a product of unipotent elements if, and only if, it? lies in the first derived subgroup of the unit group of $FG$. In addition, it? is a product of at most three unip…
▽ More
Let $F$ be a field with at least three elements and $G$ a locally finite group. This paper aims to show that if either $F$ is algebraically closed or the characteristic of $F$ is positive, then an element in the group algebra $FG$ is a product of unipotent elements if, and only if, it? lies in the first derived subgroup of the unit group of $FG$. In addition, it? is a product of at most three unipotent elements.
Moreover, we explore some crucial properties satisfied by certain algebras like the connection between unipotent elements of index 2 and commutators as well as we investigate the unipotent radical of a group algebra by showing that the group algebra of a finite group over an infinite field cannot have a unipotent maximal subgroup. In particular, we apply these results to twisted group algebras.
△ Less
Submitted 17 November, 2022;
originally announced November 2022.
-
Snowmass Theory Frontier: Effective Field Theory
Authors:
Matthew Baumgart,
Fady Bishara,
Tomas Brauner,
Joachim Brod,
Giovanni Cabass,
Timothy Cohen,
Nathaniel Craig,
Claudia de Rham,
Patrick Draper,
A. Liam Fitzpatrick,
Martin Gorbahn,
Sean Hartnoll,
Mikhail Ivanov,
Pavel Kovtun,
Sandipan Kundu,
Matthew Lewandowski,
Hong Liu,
Xiaochuan Lu,
Mark Mezei,
Mehrdad Mirbabayi,
Ulserik Moldanazarova,
Alberto Nicolis,
Riccardo Penco,
Walter Goldberger,
Matthew Reece
, et al. (12 additional authors not shown)
Abstract:
We summarize recent progress in the development, application, and understanding of effective field theories and highlight promising directions for future research. This Report is prepared as the TF02 "Effective Field Theory" topical group summary for the Theory Frontier as part of the Snowmass 2021 process.
We summarize recent progress in the development, application, and understanding of effective field theories and highlight promising directions for future research. This Report is prepared as the TF02 "Effective Field Theory" topical group summary for the Theory Frontier as part of the Snowmass 2021 process.
△ Less
Submitted 6 October, 2022;
originally announced October 2022.
-
Learning from Demonstrations of Critical Driving Behaviours Using Driver's Risk Field
Authors:
Yurui Du,
Flavia Sofia Acerbo,
Jens Kober,
Tong Duy Son
Abstract:
In recent years, imitation learning (IL) has been widely used in industry as the core of autonomous vehicle (AV) planning modules. However, previous IL works show sample inefficiency and low generalisation in safety-critical scenarios, on which they are rarely tested. As a result, IL planners can reach a performance plateau where adding more training data ceases to improve the learnt policy. First…
▽ More
In recent years, imitation learning (IL) has been widely used in industry as the core of autonomous vehicle (AV) planning modules. However, previous IL works show sample inefficiency and low generalisation in safety-critical scenarios, on which they are rarely tested. As a result, IL planners can reach a performance plateau where adding more training data ceases to improve the learnt policy. First, our work presents an IL model using the spline coefficient parameterisation and offline expert queries to enhance safety and training efficiency. Then, we expose the weakness of the learnt IL policy by synthetically generating critical scenarios through optimisation of parameters of the driver's risk field (DRF), a parametric human driving behaviour model implemented in a multi-agent traffic simulator based on the Lyft Prediction Dataset. To continuously improve the learnt policy, we retrain the IL model with augmented data. Thanks to the expressivity and interpretability of the DRF, the desired driving behaviours can be encoded and aggregated to the original training data. Our work constitutes a full development cycle that can efficiently and continuously improve the learnt IL policies in closed-loop. Finally, we show that our IL planner developed with less training resource still has superior performance compared to the previous state-of-the-art.
△ Less
Submitted 31 March, 2023; v1 submitted 4 October, 2022;
originally announced October 2022.
-
Rate of convergence in the Smoluchowski-Kramers approximation for mean-field stochastic differential equations
Authors:
T. C. Son,
D. Q. Le,
M. H. Duong
Abstract:
In this paper we study a second-order mean-field stochastic differential systems describing the movement of a particle under the influence of a time-dependent force, a friction, a mean-field interaction and a space and time-dependent stochastic noise. Using techniques from Malliavin calculus, we establish explicit rates of convergence in the zero-mass limit (Smoluchowski-Kramers approximation) in…
▽ More
In this paper we study a second-order mean-field stochastic differential systems describing the movement of a particle under the influence of a time-dependent force, a friction, a mean-field interaction and a space and time-dependent stochastic noise. Using techniques from Malliavin calculus, we establish explicit rates of convergence in the zero-mass limit (Smoluchowski-Kramers approximation) in the $L^p$-distances and in the total variation distance for the position process, the velocity process and a re-scaled velocity process to their corresponding limiting processes.
△ Less
Submitted 7 October, 2022; v1 submitted 24 September, 2022;
originally announced September 2022.
-
Virtual Reality Assisted Human Perception in ADAS Development: a Munich 3D Model Study
Authors:
Felix Bognar,
Markus Oster,
Herman Van der Auweraer,
Tong Duy Son
Abstract:
As the development of autonomous driving (AD) and advanced driver assistance systems (ADAS) progresses, the relevance of the comfort of users is gaining increasing interest. It becomes significant to test and validate perceived comfort performance from the early phase of system development before driving on roads. Most of the present ADAS test procedures are not efficient in performing such comfor…
▽ More
As the development of autonomous driving (AD) and advanced driver assistance systems (ADAS) progresses, the relevance of the comfort of users is gaining increasing interest. It becomes significant to test and validate perceived comfort performance from the early phase of system development before driving on roads. Most of the present ADAS test procedures are not efficient in performing such comfort evaluation. One of the main challenges is to integrate high-quality, realistic and predictable virtual traffic scenarios into an ADAS testing framework that has physics-based sensors capable of sensing the virtual environment. In this paper, we present our development of a virtual reality based ADAS testing framework that enhances human perception evaluation. The main contribution relies on three aspects. First, we introduce our development of a large and high-quality (realism, structure, texture) 3D traffic model of the Munich city in Germany. Second, we optimize the 3D model for virtual reality purpose, and real-time capable for human-in-the-loop ADAS testing. Finally, the model is then integrated into an ADAS framework for testing and validating ADAS functionalities and perceived comfort performance. The developed framework components are presented with illustrative examples.
△ Less
Submitted 22 August, 2022; v1 submitted 12 August, 2022;
originally announced August 2022.
-
Sim2real for Autonomous Vehicle Control using Executable Digital Twin
Authors:
Jean Pierre Allamaa,
Panagiotis Patrinos,
Herman Van der Auweraer,
Tong Duy Son
Abstract:
In this work, we propose a sim2real method to transfer and adapt a nonlinear model predictive controller (NMPC) from simulation to the real target system based on executable digital twin (xDT). The xDT model is a high fidelity vehicle dynamics simulator, executable online in the control parameter randomization and learning process. The parameters are adapted to gradually improve control performanc…
▽ More
In this work, we propose a sim2real method to transfer and adapt a nonlinear model predictive controller (NMPC) from simulation to the real target system based on executable digital twin (xDT). The xDT model is a high fidelity vehicle dynamics simulator, executable online in the control parameter randomization and learning process. The parameters are adapted to gradually improve control performance and deal with changing real-world environment. In particular, the performance metric is not required to be differentiable nor analytical with respect to the control parameters and system dynamics are not necessary linearized. Eventually, the proposed sim2real framework leverages altogether online high fidelity simulator, data-driven estimations, and simulation based optimization to transfer and adapt efficiently a controller developed in simulation environment to the real platform. Our experiment demonstrates that a high control performance is achieved without tedious time and labor consuming tuning.
△ Less
Submitted 12 August, 2022;
originally announced August 2022.
-
Pinchuk scaling method on domains with non-compact automorphism groups
Authors:
Ninh Van Thu,
Nguyen Thi Kim Son,
Nguyen Quang Dieu
Abstract:
In this paper, we characterize weakly pseudoconvex domains of finite type in $\mathbb C^n$ in terms of the boundary behavior of automorphism orbits by using the scaling method.
In this paper, we characterize weakly pseudoconvex domains of finite type in $\mathbb C^n$ in terms of the boundary behavior of automorphism orbits by using the scaling method.
△ Less
Submitted 31 August, 2022; v1 submitted 11 August, 2022;
originally announced August 2022.
-
Symplectic eigenvalues of positive-semidefinite matrices and the trace minimization theorem
Authors:
Nguyen Thanh Son,
Tatjana Stykel
Abstract:
Symplectic eigenvalues are conventionally defined for symmetric positive-definite matrices via Williamson's diagonal form. Many properties of standard eigenvalues, including the trace minimization theorem, are extended to the case of symplectic eigenvalues. In this note, we will generalize Williamson's diagonal form for symmetric positive-definite matrices to the case of symmetric positive-semidef…
▽ More
Symplectic eigenvalues are conventionally defined for symmetric positive-definite matrices via Williamson's diagonal form. Many properties of standard eigenvalues, including the trace minimization theorem, are extended to the case of symplectic eigenvalues. In this note, we will generalize Williamson's diagonal form for symmetric positive-definite matrices to the case of symmetric positive-semidefinite matrices, which allows us to define symplectic eigenvalues, and prove the trace minimization theorem in the new setting.
△ Less
Submitted 10 August, 2022;
originally announced August 2022.
-
On Model Reconciliation: How to Reconcile When Robot Does not Know Human's Model?
Authors:
Ho Tuan Dung,
Tran Cao Son
Abstract:
The Model Reconciliation Problem (MRP) was introduced to address issues in explainable AI planning. A solution to a MRP is an explanation for the differences between the models of the human and the planning agent (robot). Most approaches to solving MRPs assume that the robot, who needs to provide explanations, knows the human model. This assumption is not always realistic in several situations (e…
▽ More
The Model Reconciliation Problem (MRP) was introduced to address issues in explainable AI planning. A solution to a MRP is an explanation for the differences between the models of the human and the planning agent (robot). Most approaches to solving MRPs assume that the robot, who needs to provide explanations, knows the human model. This assumption is not always realistic in several situations (e.g., the human might decide to update her model and the robot is unaware of the updates).
In this paper, we propose a dialog-based approach for computing explanations of MRPs under the assumptions that (i) the robot does not know the human model; (ii) the human and the robot share the set of predicates of the planning domain and their exchanges are about action descriptions and fluents' values; (iii) communication between the parties is perfect; and (iv) the parties are truthful. A solution of a MRP is computed through a dialog, defined as a sequence of rounds of exchanges, between the robot and the human. In each round, the robot sends a potential explanation, called proposal, to the human who replies with her evaluation of the proposal, called response. We develop algorithms for computing proposals by the robot and responses by the human and implement these algorithms in a system that combines imperative means with answer set programming using the multi-shot feature of clingo.
△ Less
Submitted 5 August, 2022;
originally announced August 2022.
-
MPC-based Imitation Learning for Safe and Human-like Autonomous Driving
Authors:
Flavia Sofia Acerbo,
Jan Swevers,
Tinne Tuytelaars,
Tong Duy Son
Abstract:
To ensure user acceptance of autonomous vehicles (AVs), control systems are being developed to mimic human drivers from demonstrations of desired driving behaviors. Imitation learning (IL) algorithms serve this purpose, but struggle to provide safety guarantees on the resulting closed-loop system trajectories. On the other hand, Model Predictive Control (MPC) can handle nonlinear systems with safe…
▽ More
To ensure user acceptance of autonomous vehicles (AVs), control systems are being developed to mimic human drivers from demonstrations of desired driving behaviors. Imitation learning (IL) algorithms serve this purpose, but struggle to provide safety guarantees on the resulting closed-loop system trajectories. On the other hand, Model Predictive Control (MPC) can handle nonlinear systems with safety constraints, but realizing human-like driving with it requires extensive domain knowledge. This work suggests the use of a seamless combination of the two techniques to learn safe AV controllers from demonstrations of desired driving behaviors, by using MPC as a differentiable control layer within a hierarchical IL policy. With this strategy, IL is performed in closed-loop and end-to-end, through parameters in the MPC cost, model or constraints. Experimental results of this methodology are analyzed for the design of a lane keeping control system, learned via behavioral cloning from observations (BCO), given human demonstrations on a fixed-base driving simulator.
△ Less
Submitted 24 June, 2022;
originally announced June 2022.
-
Vanadium in Silicon Carbide: Telecom-ready spin centres with long relaxation lifetimes and hyperfine-resolved optical transitions
Authors:
T. Astner,
P. Koller,
C. M. Gilardoni,
J. Hendriks,
N. T. Son,
I. G. Ivanov,
J. U. Hassan,
C. H. van der Wal,
M. Trupke
Abstract:
Vanadium in silicon carbide (SiC) is emerging as an important candidate system for quantum technology due to its optical transitions in the telecom wavelength range. However, several key characteristics of this defect family including their spin relaxation lifetime (T1), charge state dynamics, and level structure are not fully understood. In this work, we determine the T1 of an ensemble of vanadiu…
▽ More
Vanadium in silicon carbide (SiC) is emerging as an important candidate system for quantum technology due to its optical transitions in the telecom wavelength range. However, several key characteristics of this defect family including their spin relaxation lifetime (T1), charge state dynamics, and level structure are not fully understood. In this work, we determine the T1 of an ensemble of vanadium defects, demonstrating that it can be greatly enhanced at low temperature. We observe a large spin contrast exceeding 90% and long spin-relaxation times of up to 25s at 100mK, and of order 1s at 1.3K. These measurements are complemented by a characterization of the ensemble charge state dynamics. The stable electron spin furthermore enables high-resolution characterization of the systems' hyperfine level structure via two-photon magneto-spectroscopy. The acquired insights point towards high-performance spin-photon interfaces based on vanadium in SiC.
△ Less
Submitted 13 June, 2022;
originally announced June 2022.
-
Isotope purification induced reduction of spin relaxation and spin coherence times in semiconductors
Authors:
Oscar Bulancea-Lindvall,
Matthew Travis Eiles,
Nguyen Tien Son,
Igor A. Abrikosov,
Viktor Ivády
Abstract:
Paramagnetic defects and nuclear spins are often the major sources of decoherence and spin relaxation in solid-state qubits realized by optically addressable point defect spins in semiconductors. It is commonly accepted that a high degree of depletion of nuclear spins can enhance the coherence time by reducing magnetic noise. Here we show that the isotope purification beyond a certain optimal leve…
▽ More
Paramagnetic defects and nuclear spins are often the major sources of decoherence and spin relaxation in solid-state qubits realized by optically addressable point defect spins in semiconductors. It is commonly accepted that a high degree of depletion of nuclear spins can enhance the coherence time by reducing magnetic noise. Here we show that the isotope purification beyond a certain optimal level becomes contra-productive, when both electron and nuclear spins are present in the vicinity of the qubits. Using state-of-the-art numerical tools and considering the silicon vacancy qubit in various spin environments, we demonstrate that the coupling to spin-1/2 point defects in the lattice can be significantly enhanced by isotope purification. The enhanced coupling shortens the spin relaxation time that in turn may limit the the coherence time of spin qubits. Our results can be straightforwardly generalized to triplet point defect qubits, such as the NV center in diamond and the divacancy in SiC.
△ Less
Submitted 10 May, 2022;
originally announced May 2022.
-
A Summary of the ALQAC 2021 Competition
Authors:
Nguyen Ha Thanh,
Bui Minh Quan,
Chau Nguyen,
Tung Le,
Nguyen Minh Phuong,
Dang Tran Binh,
Vuong Thi Hai Yen,
Teeradaj Racharak,
Nguyen Le Minh,
Tran Duc Vu,
Phan Viet Anh,
Nguyen Truong Son,
Huy Tien Nguyen,
Bhumindr Butr-indr,
Peerapon Vateekul,
Prachya Boonkwan
Abstract:
We summarize the evaluation of the first Automated Legal Question Answering Competition (ALQAC 2021). The competition this year contains three tasks, which aims at processing the statute law document, which are Legal Text Information Retrieval (Task 1), Legal Text Entailment Prediction (Task 2), and Legal Text Question Answering (Task 3). The final goal of these tasks is to build a system that can…
▽ More
We summarize the evaluation of the first Automated Legal Question Answering Competition (ALQAC 2021). The competition this year contains three tasks, which aims at processing the statute law document, which are Legal Text Information Retrieval (Task 1), Legal Text Entailment Prediction (Task 2), and Legal Text Question Answering (Task 3). The final goal of these tasks is to build a system that can automatically determine whether a particular statement is lawful. There is no limit to the approaches of the participating teams. This year, there are 5 teams participating in Task 1, 6 teams participating in Task 2, and 5 teams participating in Task 3. There are in total 36 runs submitted to the organizer. In this paper, we summarize each team's approaches, official results, and some discussion about the competition. Only results of the teams who successfully submit their approach description paper are reported in this paper.
△ Less
Submitted 24 April, 2022; v1 submitted 22 April, 2022;
originally announced April 2022.
-
FIFO: Learning Fog-invariant Features for Foggy Scene Segmentation
Authors:
Sohyun Lee,
Taeyoung Son,
Suha Kwak
Abstract:
Robust visual recognition under adverse weather conditions is of great importance in real-world applications. In this context, we propose a new method for learning semantic segmentation models robust against fog. Its key idea is to consider the fog condition of an image as its style and close the gap between images with different fog conditions in neural style spaces of a segmentation model. In pa…
▽ More
Robust visual recognition under adverse weather conditions is of great importance in real-world applications. In this context, we propose a new method for learning semantic segmentation models robust against fog. Its key idea is to consider the fog condition of an image as its style and close the gap between images with different fog conditions in neural style spaces of a segmentation model. In particular, since the neural style of an image is in general affected by other factors as well as fog, we introduce a fog-pass filter module that learns to extract a fog-relevant factor from the style. Optimizing the fog-pass filter and the segmentation model alternately gradually closes the style gap between different fog conditions and allows to learn fog-invariant features in consequence. Our method substantially outperforms previous work on three real foggy image datasets. Moreover, it improves performance on both foggy and clear weather images, while existing methods often degrade performance on clear scenes.
△ Less
Submitted 4 April, 2022;
originally announced April 2022.
-
Snowmass White Paper: Effective Field Theories for Condensed Matter Systems
Authors:
Tomas Brauner,
Sean A. Hartnoll,
Pavel Kovtun,
Hong Liu,
Márk Mezei,
Alberto Nicolis,
Riccardo Penco,
Shu-Heng Shao,
Dam Thanh Son
Abstract:
We review recent progress and a number of future directions for applications of effective field theory methods to condensed matter systems broadly defined. Our emphasis is on areas that have allowed a fertile exchange of ideas between high energy physics and many-body theory. We discuss developments in the effective field theory of spontaneous symmetry breaking, of hydrodynamics and non-equilibriu…
▽ More
We review recent progress and a number of future directions for applications of effective field theory methods to condensed matter systems broadly defined. Our emphasis is on areas that have allowed a fertile exchange of ideas between high energy physics and many-body theory. We discuss developments in the effective field theory of spontaneous symmetry breaking, of hydrodynamics and non-equilibrium dynamics more generally, fracton phases of matter, and dualities between 2+1 dimensional field theories. We furthermore discuss the application of effective field theory to non-Fermi liquids, the dynamics of entanglement entropy and to condensed matter aspects of cosmology.
△ Less
Submitted 18 March, 2022;
originally announced March 2022.
-
Electromagnetically induced transparency in inhomogeneously broadened divacancy defect ensembles in SiC
Authors:
Olger V. Zwier,
Tom Bosma,
Carmem M. Gilardoni,
Xu Yang,
Alexander R. Onur,
Takeshi Ohshima,
Nguyen T. Son,
Caspar H. van der Wal
Abstract:
Electromagnetically induced transparency (EIT) is a phenomenon that can provide strong and robust interfacing between optical signals and quantum coherence of electronic spins. In its archetypical form, mainly explored with atomic media, it uses a (near-)homogeneous ensemble of three-level systems, in which two low-energy spin-1/2 levels are coupled to a common optically excited state. We investig…
▽ More
Electromagnetically induced transparency (EIT) is a phenomenon that can provide strong and robust interfacing between optical signals and quantum coherence of electronic spins. In its archetypical form, mainly explored with atomic media, it uses a (near-)homogeneous ensemble of three-level systems, in which two low-energy spin-1/2 levels are coupled to a common optically excited state. We investigate the implementation of EIT with c-axis divacancy color centers in silicon carbide. While this material has attractive properties for quantum device technologies with near-IR optics, implementing EIT is complicated by the inhomogeneous broadening of the optical transitions throughout the ensemble and the presence of multiple ground-state levels. These may lead to darkening of the ensemble upon resonant optical excitation. Here, we show that EIT can be established with high visibility also in this material platform upon careful design of the measurement geometry. Comparison of our experimental results with a model based on the Lindblad equations indicates that we can create coherences between different sets of two levels all-optically in these systems, with potential impact for RF-free quantum sensing applications. Our work provides an understanding of EIT in multi-level systems with significant inhomogeneities, and our considerations are valid for a wide array of defects in semiconductors.
△ Less
Submitted 18 March, 2022;
originally announced March 2022.
-
Spin-optical dynamics and quantum efficiency of single V1 center in silicon carbide
Authors:
Naoya Morioka,
Di Liu,
Öney O. Soykal,
Izel Gediz,
Charles Babin,
Rainer Stöhr,
Takeshi Ohshima,
Nguyen Tien Son,
Jawad Ul-Hassan,
Florian Kaiser,
Jörg Wrachtrup
Abstract:
Color centers in silicon carbide are emerging candidates for distributed spin-based quantum applications due to the scalability of host materials and the demonstration of integration into nanophotonic resonators. Recently, silicon vacancy centers in silicon carbide have been identified as a promising system with excellent spin and optical properties. Here, we in-depth study the spin-optical dynami…
▽ More
Color centers in silicon carbide are emerging candidates for distributed spin-based quantum applications due to the scalability of host materials and the demonstration of integration into nanophotonic resonators. Recently, silicon vacancy centers in silicon carbide have been identified as a promising system with excellent spin and optical properties. Here, we in-depth study the spin-optical dynamics of single silicon vacancy center at hexagonal lattice sites, namely V1, in 4H-polytype silicon carbide. By utilizing resonant and above-resonant sub-lifetime pulsed excitation, we determine spin-dependent excited-state lifetimes and intersystem-crossing rates. Our approach to inferring the intersystem-crossing rates is based on all-optical pulsed initialization and readout scheme, and is applicable to spin-active color centers with similar dynamics models. In addition, the optical transition dipole strength and the quantum efficiency of V1 defect are evaluated based on coherent optical Rabi measurement and local-field calibration employing electric-field simulation. The measured rates well explain the results of spin-state polarization dynamics, and we further discuss the altered photoemission dynamics in resonant enhancement structures such as radiative lifetime shortening and Purcell enhancement. By providing a thorough description of V1 center's spin-optical dynamics, our work provides deep understanding of the system which guides implementations of scalable quantum applications based on silicon vacancy centers in silicon carbide.
△ Less
Submitted 19 April, 2022; v1 submitted 15 March, 2022;
originally announced March 2022.