-
Topological and Dynamic Properties of the Sublinearly Morse Boundary and the Quasi-Redirecting Boundary
Authors:
Jacob Garcia,
Yulan Qing,
Elliott Vest
Abstract:
Sublinearly Morse boundaries of proper geodesic spaces are introduced by Qing, Rafi and Tiozzo. Expanding on this work, Qing and Rafi recently developed the quasi-redirecting boundary, denoted $\partial G$, to include all directions of metric spaces at infinity. Both boundaries are topological spaces that consist of equivalence classes of quasi-geodesic rays and are quasi-isometrically invariant.…
▽ More
Sublinearly Morse boundaries of proper geodesic spaces are introduced by Qing, Rafi and Tiozzo. Expanding on this work, Qing and Rafi recently developed the quasi-redirecting boundary, denoted $\partial G$, to include all directions of metric spaces at infinity. Both boundaries are topological spaces that consist of equivalence classes of quasi-geodesic rays and are quasi-isometrically invariant. In this paper, we study these boundaries when the space is equipped with a geometric group action. In particular, we show that $G$ acts minimally on $\partial_κG$ and that contracting elements of G induces a weak north-south dynamic on $\partial_κG$. We also prove, when $\partial G$ exists and $|\partial_κG|\geq3$, $G$ acts minimally on $\partial G$ and $\partial G$ is a second countable topological space. The last section concerns the restriction to proper CAT(0) spaces and finite dimensional \CAT cube complexes. We show that when $G$ acts geometrically on a finite dimensional CAT(0) cube complex (whose QR boundary is assumed to exist), then a nontrivial QR boundary implies the existence of a Morse element in $G$. Lastly, we show that if $X$ is a proper cocompact CAT(0) space, then $\partial G$ is a visibility space.
△ Less
Submitted 19 August, 2024;
originally announced August 2024.
-
Temporal Prototype-Aware Learning for Active Voltage Control on Power Distribution Networks
Authors:
Feiyang Xu,
Shunyu Liu,
Yunpeng Qing,
Yihe Zhou,
Yuwen Wang,
Mingli Song
Abstract:
Active Voltage Control (AVC) on the Power Distribution Networks (PDNs) aims to stabilize the voltage levels to ensure efficient and reliable operation of power systems. With the increasing integration of distributed energy resources, recent efforts have explored employing multi-agent reinforcement learning (MARL) techniques to realize effective AVC. Existing methods mainly focus on the acquisition…
▽ More
Active Voltage Control (AVC) on the Power Distribution Networks (PDNs) aims to stabilize the voltage levels to ensure efficient and reliable operation of power systems. With the increasing integration of distributed energy resources, recent efforts have explored employing multi-agent reinforcement learning (MARL) techniques to realize effective AVC. Existing methods mainly focus on the acquisition of short-term AVC strategies, i.e., only learning AVC within the short-term training trajectories of a singular diurnal cycle. However, due to the dynamic nature of load demands and renewable energy, the operation states of real-world PDNs may exhibit significant distribution shifts across varying timescales (e.g., daily and seasonal changes). This can render those short-term strategies suboptimal or even obsolete when performing continuous AVC over extended periods. In this paper, we propose a novel temporal prototype-aware learning method, abbreviated as TPA, to learn time-adaptive AVC under short-term training trajectories. At the heart of TPA are two complementary components, namely multi-scale dynamic encoder and temporal prototype-aware policy, that can be readily incorporated into various MARL methods. The former component integrates a stacked transformer network to learn underlying temporal dependencies at different timescales of the PDNs, while the latter implements a learnable prototype matching mechanism to construct a dedicated AVC policy that can dynamically adapt to the evolving operation states. Experimental results on the AVC benchmark with different PDN sizes demonstrate that the proposed TPA surpasses the state-of-the-art counterparts not only in terms of control performance but also by offering model transferability. Our code is available at https://github.com/Canyizl/TPA-for-AVC.
△ Less
Submitted 25 June, 2024;
originally announced June 2024.
-
The quasi-redirecting Boundary
Authors:
Yulan Qing,
Kasra Rafi
Abstract:
We generalize the notion of Gromov boundary to a larger class of metric spaces beyond Gromov hyperbolic spaces. Points in this boundary are classes of quasi-geodesic rays and the space is equipped with a topology that is naturally invariant under quasi-isometries. It turns out that this boundary is compatible with other notions of boundary in many ways; it contains the sublinearly Morse boundary a…
▽ More
We generalize the notion of Gromov boundary to a larger class of metric spaces beyond Gromov hyperbolic spaces. Points in this boundary are classes of quasi-geodesic rays and the space is equipped with a topology that is naturally invariant under quasi-isometries. It turns out that this boundary is compatible with other notions of boundary in many ways; it contains the sublinearly Morse boundary as a topological subspace and it matches the Bowditch boundary of relative hyperbolic spaces when the peripheral subgroups have no intrinsic hyperbolicity. We also give a complete description of the boundary of the Croke-Kleiner group where the quasi-redirecting boundary reveals a new class of QI-invariant, Morse-like quasi-geodesics.
△ Less
Submitted 24 June, 2024;
originally announced June 2024.
-
Hybrid-Parallel: Achieving High Performance and Energy Efficient Distributed Inference on Robots
Authors:
Zekai Sun,
Xiuxian Guan,
Junming Wang,
Haoze Song,
Yuhao Qing,
Tianxiang Shen,
Dong Huang,
Fangming Liu,
Heming Cui
Abstract:
The rapid advancements in machine learning techniques have led to significant achievements in various real-world robotic tasks. These tasks heavily rely on fast and energy-efficient inference of deep neural network (DNN) models when deployed on robots. To enhance inference performance, distributed inference has emerged as a promising approach, parallelizing inference across multiple powerful GPU d…
▽ More
The rapid advancements in machine learning techniques have led to significant achievements in various real-world robotic tasks. These tasks heavily rely on fast and energy-efficient inference of deep neural network (DNN) models when deployed on robots. To enhance inference performance, distributed inference has emerged as a promising approach, parallelizing inference across multiple powerful GPU devices in modern data centers using techniques such as data parallelism, tensor parallelism, and pipeline parallelism. However, when deployed on real-world robots, existing parallel methods fail to provide low inference latency and meet the energy requirements due to the limited bandwidth of robotic IoT. We present Hybrid-Parallel, a high-performance distributed inference system optimized for robotic IoT. Hybrid-Parallel employs a fine-grained approach to parallelize inference at the granularity of local operators within DNN layers (i.e., operators that can be computed independently with the partial input, such as the convolution kernel in the convolution layer). By doing so, Hybrid-Parallel enables different operators of different layers to be computed and transmitted concurrently, and overlap the computation and transmission phases within the same inference task. The evaluation demonstrate that Hybrid-Parallel reduces inference time by 14.9% ~41.1% and energy consumption per inference by up to 35.3% compared to the state-of-the-art baselines.
△ Less
Submitted 29 May, 2024;
originally announced May 2024.
-
SOAP: Enhancing Efficiency of Generated Code via Self-Optimization
Authors:
Dong Huang,
Jianbo Dai,
Han Weng,
Puzhen Wu,
Yuhao Qing,
Jie M. Zhang,
Heming Cui,
Zhijiang Guo
Abstract:
Large language models (LLMs) have shown remarkable progress in code generation, but their generated code often suffers from inefficiency, resulting in longer execution times and higher memory consumption. To address this issue, we propose Self Optimization based on OverheAd Profile (SOAP), a self-optimization framework that utilizes execution overhead profiles to improve the efficiency of LLM-gene…
▽ More
Large language models (LLMs) have shown remarkable progress in code generation, but their generated code often suffers from inefficiency, resulting in longer execution times and higher memory consumption. To address this issue, we propose Self Optimization based on OverheAd Profile (SOAP), a self-optimization framework that utilizes execution overhead profiles to improve the efficiency of LLM-generated code. SOAP first generates code using an LLM, then executes it locally to capture execution time and memory usage profiles. These profiles are fed back to the LLM, which then revises the code to reduce overhead. To evaluate the effectiveness of SOAP, we conduct extensive experiments on the EffiBench, HumanEval, and MBPP with 16 open-source and 6 closed-source models. Our evaluation results demonstrate that through iterative self-optimization, SOAP significantly enhances the efficiency of LLM-generated code. For example, the execution time (ET) of StarCoder2-15B for the EffiBench decreases from 0.93 (s) to 0.12 (s) which reduces 87.1% execution time requirement compared with the initial code. The total memory usage (TMU) of StarCoder2-15B also decreases from 22.02 (Mb*s) to 2.03 (Mb*s), which decreases 90.8% total memory consumption during the execution process. The source code of SOAP was released in https://github.com/huangd1999/SOAP.
△ Less
Submitted 23 May, 2024;
originally announced May 2024.
-
Genericity of sublinearly Morse directions in general metric spaces
Authors:
Yulan Qing,
Wenyuan Yang
Abstract:
In this paper, we show that for any proper statistically convexcocompact actions on proper metric spaces, the sublinearly Morse boundary has full Patterson-Sullivan measure in the horofundction boundary.
In this paper, we show that for any proper statistically convexcocompact actions on proper metric spaces, the sublinearly Morse boundary has full Patterson-Sullivan measure in the horofundction boundary.
△ Less
Submitted 29 April, 2024;
originally announced April 2024.
-
Optimal Dynamical Gauge in the Quantum Rabi Model
Authors:
Yuqi Qing,
Wen-Long You,
Yueheng Lan,
Maoxin Liu
Abstract:
In this paper, we investigate the gauge dependence of various physical observables in the quantum Rabi model (QRM) under different potential fields, arising from the Hilbert-space truncation of the atomic degree of freedom. We discover that in both the square-well potential and oscillator potential,the optimal gauges for the ground-state energy of the QRM vary with respect to the cavity frequency,…
▽ More
In this paper, we investigate the gauge dependence of various physical observables in the quantum Rabi model (QRM) under different potential fields, arising from the Hilbert-space truncation of the atomic degree of freedom. We discover that in both the square-well potential and oscillator potential,the optimal gauges for the ground-state energy of the QRM vary with respect to the cavity frequency, with the dipole gauge being optimal in the low-frequency limit and the Coulomb gauge in the high-frequency limit of the cavity frequency. Additionally, for higher energy levels, the optimal gauge asymptotically approaches the dipole gauge. However, for the dynamical quantity out-time-order correlator (OTOC), we find the necessity to introduce an optimal dynamical gauge. We determine the optimal dynamical gauge by minimizing the mean error between the two-level OTOC and the full Hamiltonian one. We expect that this study will contribute to a more profound understanding of the subtle relation between gauge choice and the dynamics of QED systems.
△ Less
Submitted 4 April, 2024;
originally announced April 2024.
-
A2PO: Towards Effective Offline Reinforcement Learning from an Advantage-aware Perspective
Authors:
Yunpeng Qing,
Shunyu liu,
Jingyuan Cong,
Kaixuan Chen,
Yihe Zhou,
Mingli Song
Abstract:
Offline reinforcement learning endeavors to leverage offline datasets to craft effective agent policy without online interaction, which imposes proper conservative constraints with the support of behavior policies to tackle the out-of-distribution problem. However, existing works often suffer from the constraint conflict issue when offline datasets are collected from multiple behavior policies, i.…
▽ More
Offline reinforcement learning endeavors to leverage offline datasets to craft effective agent policy without online interaction, which imposes proper conservative constraints with the support of behavior policies to tackle the out-of-distribution problem. However, existing works often suffer from the constraint conflict issue when offline datasets are collected from multiple behavior policies, i.e., different behavior policies may exhibit inconsistent actions with distinct returns across the state space. To remedy this issue, recent advantage-weighted methods prioritize samples with high advantage values for agent training while inevitably ignoring the diversity of behavior policy. In this paper, we introduce a novel Advantage-Aware Policy Optimization (A2PO) method to explicitly construct advantage-aware policy constraints for offline learning under mixed-quality datasets. Specifically, A2PO employs a conditional variational auto-encoder to disentangle the action distributions of intertwined behavior policies by modeling the advantage values of all training data as conditional variables. Then the agent can follow such disentangled action distribution constraints to optimize the advantage-aware policy towards high advantage values. Extensive experiments conducted on both the single-quality and mixed-quality datasets of the D4RL benchmark demonstrate that A2PO yields results superior to the counterparts. Our code will be made publicly available.
△ Less
Submitted 30 May, 2024; v1 submitted 11 March, 2024;
originally announced March 2024.
-
EffiBench: Benchmarking the Efficiency of Automatically Generated Code
Authors:
Dong Huang,
Yuhao Qing,
Weiyi Shang,
Heming Cui,
Jie M. Zhang
Abstract:
Code generation models have increasingly become integral to aiding software development. Although current research has thoroughly examined the correctness of the code produced by code generation models, a vital aspect that plays a pivotal role in green computing and sustainability efforts has often been neglected. This paper presents EffiBench, a benchmark with 1,000 efficiency-critical coding pro…
▽ More
Code generation models have increasingly become integral to aiding software development. Although current research has thoroughly examined the correctness of the code produced by code generation models, a vital aspect that plays a pivotal role in green computing and sustainability efforts has often been neglected. This paper presents EffiBench, a benchmark with 1,000 efficiency-critical coding problems to assess the efficiency of code generated by code generation models. EffiBench contains a diverse set of LeetCode coding problems. Each problem is paired with an executable human-written canonical solution, which obtains the SOTA efficiency on the LeetCode solution leaderboard. With EffiBench, we empirically examine the ability of 42 large language models (35 open-source and 7 closed-source) to generate efficient code. Our evaluation results demonstrate that the efficiency of the code generated by LLMs is generally worse than the efficiency of human-written canonical solutions. For example, GPT-4 generated code has an average \textbf{3.12} times execution time that of the human-written canonical solutions. In the most extreme cases, the execution time and total memory usage of GPT-4 generated code are \textbf{13.89} and \textbf{43.92} times that of the canonical solutions. The source code of EffiBench is released on https://github.com/huangd1999/EffiBench. We also provide the LeaderBoard at https://huggingface.co/spaces/EffiBench/effibench-leaderboard.
△ Less
Submitted 3 July, 2024; v1 submitted 3 February, 2024;
originally announced February 2024.
-
Powerformer: A Section-adaptive Transformer for Power Flow Adjustment
Authors:
Kaixuan Chen,
Wei Luo,
Shunyu Liu,
Yaoquan Wei,
Yihe Zhou,
Yunpeng Qing,
Quan Zhang,
Jie Song,
Mingli Song
Abstract:
In this paper, we present a novel transformer architecture tailored for learning robust power system state representations, which strives to optimize power dispatch for the power flow adjustment across different transmission sections. Specifically, our proposed approach, named Powerformer, develops a dedicated section-adaptive attention mechanism, separating itself from the self-attention used in…
▽ More
In this paper, we present a novel transformer architecture tailored for learning robust power system state representations, which strives to optimize power dispatch for the power flow adjustment across different transmission sections. Specifically, our proposed approach, named Powerformer, develops a dedicated section-adaptive attention mechanism, separating itself from the self-attention used in conventional transformers. This mechanism effectively integrates power system states with transmission section information, which facilitates the development of robust state representations. Furthermore, by considering the graph topology of power system and the electrical attributes of bus nodes, we introduce two customized strategies to further enhance the expressiveness: graph neural network propagation and multi-factor attention mechanism. Extensive evaluations are conducted on three power system scenarios, including the IEEE 118-bus system, a realistic 300-bus system in China, and a large-scale European system with 9241 buses, where Powerformer demonstrates its superior performance over several baseline methods.
△ Less
Submitted 30 January, 2024; v1 submitted 5 January, 2024;
originally announced January 2024.
-
AgentCoder: Multi-Agent-based Code Generation with Iterative Testing and Optimisation
Authors:
Dong Huang,
Jie M. Zhang,
Michael Luck,
Qingwen Bu,
Yuhao Qing,
Heming Cui
Abstract:
The advancement of natural language processing (NLP) has been significantly boosted by the development of transformer-based large language models (LLMs). These models have revolutionized NLP tasks, particularly in code generation, aiding developers in creating software with enhanced efficiency. Despite their advancements, challenges in balancing code snippet generation with effective test case gen…
▽ More
The advancement of natural language processing (NLP) has been significantly boosted by the development of transformer-based large language models (LLMs). These models have revolutionized NLP tasks, particularly in code generation, aiding developers in creating software with enhanced efficiency. Despite their advancements, challenges in balancing code snippet generation with effective test case generation and execution persist. To address these issues, this paper introduces Multi-Agent Assistant Code Generation (AgentCoder), a novel solution comprising a multi-agent framework with specialized agents: the programmer agent, the test designer agent, and the test executor agent. During the coding procedure, the programmer agent will focus on the code generation and refinement based on the test executor agent's feedback. The test designer agent will generate test cases for the generated code, and the test executor agent will run the code with the test cases and write the feedback to the programmer. This collaborative system ensures robust code generation, surpassing the limitations of single-agent models and traditional methodologies. Our extensive experiments on 9 code generation models and 12 enhancement approaches showcase AgentCoder's superior performance over existing code generation models and prompt engineering techniques across various benchmarks. For example, AgentCoder (GPT-4) achieves 96.3\% and 91.8\% pass@1 in HumanEval and MBPP datasets with an overall token overhead of 56.9K and 66.3K, while state-of-the-art obtains only 90.2\% and 78.9\% pass@1 with an overall token overhead of 138.2K and 206.5K.
△ Less
Submitted 24 May, 2024; v1 submitted 20 December, 2023;
originally announced December 2023.
-
Multi-modal Instance Refinement for Cross-domain Action Recognition
Authors:
Yuan Qing,
Naixing Wu,
Shaohua Wan,
Lixin Duan
Abstract:
Unsupervised cross-domain action recognition aims at adapting the model trained on an existing labeled source domain to a new unlabeled target domain. Most existing methods solve the task by directly aligning the feature distributions of source and target domains. However, this would cause negative transfer during domain adaptation due to some negative training samples in both domains. In the sour…
▽ More
Unsupervised cross-domain action recognition aims at adapting the model trained on an existing labeled source domain to a new unlabeled target domain. Most existing methods solve the task by directly aligning the feature distributions of source and target domains. However, this would cause negative transfer during domain adaptation due to some negative training samples in both domains. In the source domain, some training samples are of low-relevance to target domain due to the difference in viewpoints, action styles, etc. In the target domain, there are some ambiguous training samples that can be easily classified as another type of action under the case of source domain. The problem of negative transfer has been explored in cross-domain object detection, while it remains under-explored in cross-domain action recognition. Therefore, we propose a Multi-modal Instance Refinement (MMIR) method to alleviate the negative transfer based on reinforcement learning. Specifically, a reinforcement learning agent is trained in both domains for every modality to refine the training data by selecting out negative samples from each domain. Our method finally outperforms several other state-of-the-art baselines in cross-domain action recognition on the benchmark EPIC-Kitchens dataset, which demonstrates the advantage of MMIR in reducing negative transfer.
△ Less
Submitted 24 November, 2023;
originally announced November 2023.
-
An algorithm to decide if an outer automorphism is geometric
Authors:
Edgar A. Bering IV,
Yulan Qing,
Derrick R. Wigglesworth
Abstract:
An outer automorphism of a free group is geometric if it can be represented by a homeomorphism of a compact surface. Bestvina and Handel gave an algorithmic characterization of geometric irreducible outer automorphisms using relative train tracks in 1995. The general case of detecting geometric outer automorphisms remained open, with a few partial results appearing subsequently. In this paper we g…
▽ More
An outer automorphism of a free group is geometric if it can be represented by a homeomorphism of a compact surface. Bestvina and Handel gave an algorithmic characterization of geometric irreducible outer automorphisms using relative train tracks in 1995. The general case of detecting geometric outer automorphisms remained open, with a few partial results appearing subsequently. In this paper we give a complete resolution to the problem: an algorithm that can decide if a general outer automorphism is geometric. The algorithm is constructive and produces a realizing surface homeomorphism if one exists. We make use of advances in train-track theory, in conjunction with the Guirardel core of tree actions and Nielsen-Thurston theory for surfaces.
△ Less
Submitted 24 January, 2024; v1 submitted 6 October, 2023;
originally announced October 2023.
-
Low-Quality Training Data Only? A Robust Framework for Detecting Encrypted Malicious Network Traffic
Authors:
Yuqi Qing,
Qilei Yin,
Xinhao Deng,
Yihao Chen,
Zhuotao Liu,
Kun Sun,
Ke Xu,
Jia Zhang,
Qi Li
Abstract:
Machine learning (ML) is promising in accurately detecting malicious flows in encrypted network traffic; however, it is challenging to collect a training dataset that contains a sufficient amount of encrypted malicious data with correct labels. When ML models are trained with low-quality training data, they suffer degraded performance. In this paper, we aim at addressing a real-world low-quality t…
▽ More
Machine learning (ML) is promising in accurately detecting malicious flows in encrypted network traffic; however, it is challenging to collect a training dataset that contains a sufficient amount of encrypted malicious data with correct labels. When ML models are trained with low-quality training data, they suffer degraded performance. In this paper, we aim at addressing a real-world low-quality training dataset problem, namely, detecting encrypted malicious traffic generated by continuously evolving malware. We develop RAPIER that fully utilizes different distributions of normal and malicious traffic data in the feature space, where normal data is tightly distributed in a certain area and the malicious data is scattered over the entire feature space to augment training data for model training. RAPIER includes two pre-processing modules to convert traffic into feature vectors and correct label noises. We evaluate our system on two public datasets and one combined dataset. With 1000 samples and 45% noises from each dataset, our system achieves the F1 scores of 0.770, 0.776, and 0.855, respectively, achieving average improvements of 352.6%, 284.3%, and 214.9% over the existing methods, respectively. Furthermore, We evaluate RAPIER with a real-world dataset obtained from a security enterprise. RAPIER effectively achieves encrypted malicious traffic detection with the best F1 score of 0.773 and improves the F1 score of existing methods by an average of 272.5%.
△ Less
Submitted 9 September, 2023;
originally announced September 2023.
-
CodeCoT: Tackling Code Syntax Errors in CoT Reasoning for Code Generation
Authors:
Dong Huang,
Qingwen Bu,
Yuhao Qing,
Heming Cui
Abstract:
Chain-of-thought (CoT) has emerged as a groundbreaking tool in NLP, notably for its efficacy in complex reasoning tasks, such as mathematical proofs. However, its application in code generation faces a distinct challenge, i.e., although the code generated with CoT reasoning is logically correct, it faces the problem of syntax error (e.g., invalid syntax error report) during code execution, which c…
▽ More
Chain-of-thought (CoT) has emerged as a groundbreaking tool in NLP, notably for its efficacy in complex reasoning tasks, such as mathematical proofs. However, its application in code generation faces a distinct challenge, i.e., although the code generated with CoT reasoning is logically correct, it faces the problem of syntax error (e.g., invalid syntax error report) during code execution, which causes the CoT result's pass@1 in HumanEval even lower than the zero-shot result.
In this paper, we present Code Chain-of-Thought (CodeCoT) that integrates CoT with a self-examination process for code generation. CodeCoT begins with the LLMs using CoT for initial code development to ensure the generated code follows the correct logic flow. Then, CodeCoT will generate test cases to validate whether the code has syntax errors during the execution. CodeCoT then employs a self-examination phase, in which the generated code is executed against these test cases in the local environment. If the local environment raises error information (e.g., invalid syntax error), CodeCoT will iteratively refine the code based on the feedback information. Within this loop, CodeCoT can make sure their generated codes not only follow the logic flow of the code description, but the syntax error will also be addressed with the self-examination process. Our evaluation results reveal that CodeCoT improves the effectiveness of code generation. For example, CodeCoT increases pass@1 from 75.6% to 79.3% for the HumanEval dataset.
△ Less
Submitted 22 February, 2024; v1 submitted 17 August, 2023;
originally announced August 2023.
-
Feature Map Testing for Deep Neural Networks
Authors:
Dong Huang,
Qingwen Bu,
Yahao Qing,
Yichao Fu,
Heming Cui
Abstract:
Due to the widespread application of deep neural networks~(DNNs) in safety-critical tasks, deep learning testing has drawn increasing attention. During the testing process, test cases that have been fuzzed or selected using test metrics are fed into the model to find fault-inducing test units (e.g., neurons and feature maps, activating which will almost certainly result in a model error) and repor…
▽ More
Due to the widespread application of deep neural networks~(DNNs) in safety-critical tasks, deep learning testing has drawn increasing attention. During the testing process, test cases that have been fuzzed or selected using test metrics are fed into the model to find fault-inducing test units (e.g., neurons and feature maps, activating which will almost certainly result in a model error) and report them to the DNN developer, who subsequently repair them~(e.g., retraining the model with test cases). Current test metrics, however, are primarily concerned with the neurons, which means that test cases that are discovered either by guided fuzzing or selection with these metrics focus on detecting fault-inducing neurons while failing to detect fault-inducing feature maps.
In this work, we propose DeepFeature, which tests DNNs from the feature map level. When testing is conducted, DeepFeature will scrutinize every internal feature map in the model and identify vulnerabilities that can be enhanced through repairing to increase the model's overall performance. Exhaustive experiments are conducted to demonstrate that (1) DeepFeature is a strong tool for detecting the model's vulnerable feature maps; (2) DeepFeature's test case selection has a high fault detection rate and can detect more types of faults~(comparing DeepFeature to coverage-guided selection techniques, the fault detection rate is increased by 49.32\%). (3) DeepFeature's fuzzer also outperforms current fuzzing techniques and generates valuable test cases more efficiently.
△ Less
Submitted 21 July, 2023;
originally announced July 2023.
-
Neuron Sensitivity Guided Test Case Selection for Deep Learning Testing
Authors:
Dong Huang,
Qingwen Bu,
Yichao Fu,
Yuhao Qing,
Bocheng Xiao,
Heming Cui
Abstract:
Deep Neural Networks~(DNNs) have been widely deployed in software to address various tasks~(e.g., autonomous driving, medical diagnosis). However, they could also produce incorrect behaviors that result in financial losses and even threaten human safety. To reveal the incorrect behaviors in DNN and repair them, DNN developers often collect rich unlabeled datasets from the natural world and label t…
▽ More
Deep Neural Networks~(DNNs) have been widely deployed in software to address various tasks~(e.g., autonomous driving, medical diagnosis). However, they could also produce incorrect behaviors that result in financial losses and even threaten human safety. To reveal the incorrect behaviors in DNN and repair them, DNN developers often collect rich unlabeled datasets from the natural world and label them to test the DNN models. However, properly labeling a large number of unlabeled datasets is a highly expensive and time-consuming task.
To address the above-mentioned problem, we propose NSS, Neuron Sensitivity guided test case Selection, which can reduce the labeling time by selecting valuable test cases from unlabeled datasets. NSS leverages the internal neuron's information induced by test cases to select valuable test cases, which have high confidence in causing the model to behave incorrectly. We evaluate NSS with four widely used datasets and four well-designed DNN models compared to SOTA baseline methods. The results show that NSS performs well in assessing the test cases' probability of fault triggering and model improvement capabilities. Specifically, compared with baseline approaches, NSS obtains a higher fault detection rate~(e.g., when selecting 5\% test case from the unlabeled dataset in MNIST \& LeNet1 experiment, NSS can obtain 81.8\% fault detection rate, 20\% higher than baselines).
△ Less
Submitted 20 July, 2023;
originally announced July 2023.
-
Curricular Subgoals for Inverse Reinforcement Learning
Authors:
Shunyu Liu,
Yunpeng Qing,
Shuqi Xu,
Hongyan Wu,
Jiangtao Zhang,
Jingyuan Cong,
Tianhao Chen,
Yunfu Liu,
Mingli Song
Abstract:
Inverse Reinforcement Learning (IRL) aims to reconstruct the reward function from expert demonstrations to facilitate policy learning, and has demonstrated its remarkable success in imitation learning. To promote expert-like behavior, existing IRL methods mainly focus on learning global reward functions to minimize the trajectory difference between the imitator and the expert. However, these globa…
▽ More
Inverse Reinforcement Learning (IRL) aims to reconstruct the reward function from expert demonstrations to facilitate policy learning, and has demonstrated its remarkable success in imitation learning. To promote expert-like behavior, existing IRL methods mainly focus on learning global reward functions to minimize the trajectory difference between the imitator and the expert. However, these global designs are still limited by the redundant noise and error propagation problems, leading to the unsuitable reward assignment and thus downgrading the agent capability in complex multi-stage tasks. In this paper, we propose a novel Curricular Subgoal-based Inverse Reinforcement Learning (CSIRL) framework, that explicitly disentangles one task with several local subgoals to guide agent imitation. Specifically, CSIRL firstly introduces decision uncertainty of the trained agent over expert trajectories to dynamically select subgoals, which directly determines the exploration boundary of different task stages. To further acquire local reward functions for each stage, we customize a meta-imitation objective based on these curricular subgoals to train an intrinsic reward generator. Experiments on the D4RL and autonomous driving benchmarks demonstrate that the proposed methods yields results superior to the state-of-the-art counterparts, as well as better interpretability. Our code is available at https://github.com/Plankson/CSIRL.
△ Less
Submitted 14 June, 2023;
originally announced June 2023.
-
Is Centralized Training with Decentralized Execution Framework Centralized Enough for MARL?
Authors:
Yihe Zhou,
Shunyu Liu,
Yunpeng Qing,
Kaixuan Chen,
Tongya Zheng,
Yanhao Huang,
Jie Song,
Mingli Song
Abstract:
Centralized Training with Decentralized Execution (CTDE) has recently emerged as a popular framework for cooperative Multi-Agent Reinforcement Learning (MARL), where agents can use additional global state information to guide training in a centralized way and make their own decisions only based on decentralized local policies. Despite the encouraging results achieved, CTDE makes an independence as…
▽ More
Centralized Training with Decentralized Execution (CTDE) has recently emerged as a popular framework for cooperative Multi-Agent Reinforcement Learning (MARL), where agents can use additional global state information to guide training in a centralized way and make their own decisions only based on decentralized local policies. Despite the encouraging results achieved, CTDE makes an independence assumption on agent policies, which limits agents to adopt global cooperative information from each other during centralized training. Therefore, we argue that existing CTDE methods cannot fully utilize global information for training, leading to an inefficient joint-policy exploration and even suboptimal results. In this paper, we introduce a novel Centralized Advising and Decentralized Pruning (CADP) framework for multi-agent reinforcement learning, that not only enables an efficacious message exchange among agents during training but also guarantees the independent policies for execution. Firstly, CADP endows agents the explicit communication channel to seek and take advices from different agents for more centralized training. To further ensure the decentralized execution, we propose a smooth model pruning mechanism to progressively constraint the agent communication into a closed one without degradation in agent cooperation capability. Empirical evaluations on StarCraft II micromanagement and Google Research Football benchmarks demonstrate that the proposed framework achieves superior performance compared with the state-of-the-art counterparts. Our code will be made publicly available.
△ Less
Submitted 26 May, 2023;
originally announced May 2023.
-
Compressing neural network by tensor network with exponentially fewer variational parameters
Authors:
Yong Qing,
Ke Li,
Peng-Fei Zhou,
Shi-Ju Ran
Abstract:
Neural network (NN) designed for challenging machine learning tasks is in general a highly nonlinear mapping that contains massive variational parameters. High complexity of NN, if unbounded or unconstrained, might unpredictably cause severe issues including over-fitting, loss of generalization power, and unbearable cost of hardware. In this work, we propose a general compression scheme that signi…
▽ More
Neural network (NN) designed for challenging machine learning tasks is in general a highly nonlinear mapping that contains massive variational parameters. High complexity of NN, if unbounded or unconstrained, might unpredictably cause severe issues including over-fitting, loss of generalization power, and unbearable cost of hardware. In this work, we propose a general compression scheme that significantly reduces the variational parameters of NN by encoding them to deep automatically-differentiable tensor network (ADTN) that contains exponentially-fewer free parameters. Superior compression performance of our scheme is demonstrated on several widely-recognized NN's (FC-2, LeNet-5, AlextNet, ZFNet and VGG-16) and datasets (MNIST, CIFAR-10 and CIFAR-100). For instance, we compress two linear layers in VGG-16 with approximately $10^{7}$ parameters to two ADTN's with just 424 parameters, where the testing accuracy on CIFAR-10 is improved from $90.17 \%$ to $91.74\%$. Our work suggests TN as an exceptionally efficient mathematical structure for representing the variational parameters of NN's, which exhibits superior compressibility over the commonly-used matrices and multi-way arrays.
△ Less
Submitted 3 May, 2024; v1 submitted 10 May, 2023;
originally announced May 2023.
-
A Survey on Explainable Reinforcement Learning: Concepts, Algorithms, Challenges
Authors:
Yunpeng Qing,
Shunyu Liu,
Jie Song,
Huiqiong Wang,
Mingli Song
Abstract:
Reinforcement Learning (RL) is a popular machine learning paradigm where intelligent agents interact with the environment to fulfill a long-term goal. Driven by the resurgence of deep learning, Deep RL (DRL) has witnessed great success over a wide spectrum of complex control tasks. Despite the encouraging results achieved, the deep neural network-based backbone is widely deemed as a black box that…
▽ More
Reinforcement Learning (RL) is a popular machine learning paradigm where intelligent agents interact with the environment to fulfill a long-term goal. Driven by the resurgence of deep learning, Deep RL (DRL) has witnessed great success over a wide spectrum of complex control tasks. Despite the encouraging results achieved, the deep neural network-based backbone is widely deemed as a black box that impedes practitioners to trust and employ trained agents in realistic scenarios where high security and reliability are essential. To alleviate this issue, a large volume of literature devoted to shedding light on the inner workings of the intelligent agents has been proposed, by constructing intrinsic interpretability or post-hoc explainability. In this survey, we provide a comprehensive review of existing works on eXplainable RL (XRL) and introduce a new taxonomy where prior works are clearly categorized into model-explaining, reward-explaining, state-explaining, and task-explaining methods. We also review and highlight RL methods that conversely leverage human knowledge to promote learning efficiency and performance of agents while this kind of method is often ignored in XRL field. Some challenges and opportunities in XRL are discussed. This survey intends to provide a high-level summarization of XRL and to motivate future research on more effective XRL solutions. Corresponding open source codes are collected and categorized at https://github.com/Plankson/awesome-explainable-reinforcement-learning.
△ Less
Submitted 1 November, 2023; v1 submitted 12 November, 2022;
originally announced November 2022.
-
Sublinear biLipschitz equivalence and sublinearly Morse boundaries
Authors:
Gabriel Pallier,
Yulan Qing
Abstract:
A sublinear biLipschitz equivalence (SBE) between metric spaces is a map from one space to another that distorts distances with bounded multiplicative constants and sublinear additive error. Given any sublinear function $κ$, $κ$-Morse boundaries are defined for all geodesic proper metric spaces as a quasi-isometrically invariant and metrizable topological space of quasi-geodesic rays. In this pape…
▽ More
A sublinear biLipschitz equivalence (SBE) between metric spaces is a map from one space to another that distorts distances with bounded multiplicative constants and sublinear additive error. Given any sublinear function $κ$, $κ$-Morse boundaries are defined for all geodesic proper metric spaces as a quasi-isometrically invariant and metrizable topological space of quasi-geodesic rays. In this paper, we prove that $κ$-Morse boundaries of proper geodesic metric spaces are invariant under suitable SBEs. A tool in the proof is the use of sublinear rays, that is, sublinear bilispchitz embeddings of the half line, generalizing quasi-geodesic rays. As an application we distinguish a pair of right-angled Coxeter groups brought up by Behrstock up to sublinear biLipschitz equivalence. We also show that under mild assumptions, generic random walks on countable groups are sublinear rays.
△ Less
Submitted 6 March, 2023; v1 submitted 2 November, 2022;
originally announced November 2022.
-
Two Heads are Better than One: Robust Learning Meets Multi-branch Models
Authors:
Dong Huang,
Qingwen Bu,
Yuhao Qing,
Haowen Pi,
Sen Wang,
Heming Cui
Abstract:
Deep neural networks (DNNs) are vulnerable to adversarial examples, in which DNNs are misled to false outputs due to inputs containing imperceptible perturbations. Adversarial training, a reliable and effective method of defense, may significantly reduce the vulnerability of neural networks and becomes the de facto standard for robust learning. While many recent works practice the data-centric phi…
▽ More
Deep neural networks (DNNs) are vulnerable to adversarial examples, in which DNNs are misled to false outputs due to inputs containing imperceptible perturbations. Adversarial training, a reliable and effective method of defense, may significantly reduce the vulnerability of neural networks and becomes the de facto standard for robust learning. While many recent works practice the data-centric philosophy, such as how to generate better adversarial examples or use generative models to produce additional training data, we look back to the models themselves and revisit the adversarial robustness from the perspective of deep feature distribution as an insightful complementarity. In this paper, we propose Branch Orthogonality adveRsarial Training (BORT) to obtain state-of-the-art performance with solely the original dataset for adversarial training. To practice our design idea of integrating multiple orthogonal solution spaces, we leverage a simple and straightforward multi-branch neural network that eclipses adversarial attacks with no increase in inference time. We heuristically propose a corresponding loss function, branch-orthogonal loss, to make each solution space of the multi-branch model orthogonal. We evaluate our approach on CIFAR-10, CIFAR-100, and SVHN against \ell_{\infty} norm-bounded perturbations of size ε= 8/255, respectively. Exhaustive experiments are conducted to show that our method goes beyond all state-of-the-art methods without any tricks. Compared to all methods that do not use additional data for training, our models achieve 67.3% and 41.5% robust accuracy on CIFAR-10 and CIFAR-100 (improving upon the state-of-the-art by +7.23% and +9.07%). We also outperform methods using a training set with a far larger scale than ours. All our models and codes are available online at https://github.com/huangd1999/BORT.
△ Less
Submitted 17 August, 2022;
originally announced August 2022.
-
Genericity of sublinearly Morse directions in CAT(0) spaces and the Teichmüller space
Authors:
Ilya Gekhtman,
Yulan Qing,
Kasra Rafi
Abstract:
We show that the sublinearly Morse directions in the visual boundary of a rank-1 CAT(0) space with a geometric group action are generic in several commonly studied senses of the word, namely with respect to Patterson-Sullivan measures and stationary measures for random walks. We deduce that the sublinearly Morse boundary is a model of the Poisson boundary for finitely supported random walks on gro…
▽ More
We show that the sublinearly Morse directions in the visual boundary of a rank-1 CAT(0) space with a geometric group action are generic in several commonly studied senses of the word, namely with respect to Patterson-Sullivan measures and stationary measures for random walks. We deduce that the sublinearly Morse boundary is a model of the Poisson boundary for finitely supported random walks on groups acting geometrically on rank-1 CAT (0) spaces. We prove an analogous result for mapping class group actions on Teichmüller space. Our main technical tool is a criterion, valid in any unique geodesic metric space, that says that any geodesic ray with sufficiently many (in a statistical sense) strongly contracting segments is sublinearly contracting.
△ Less
Submitted 9 August, 2022;
originally announced August 2022.
-
Sublinearly Morse Boundary of CAT(0) admissible groups
Authors:
Hoang Thanh Nguyen,
Yulan Qing
Abstract:
We show that if G is an admissible group acting geometrically on a CAT(0) space X, then G is a hierarchically hyperbolic space and with mild assumptions the sublinearly-Morse boundary of the group is a topological model for associated Poisson boundaries .
We show that if G is an admissible group acting geometrically on a CAT(0) space X, then G is a hierarchically hyperbolic space and with mild assumptions the sublinearly-Morse boundary of the group is a topological model for associated Poisson boundaries .
△ Less
Submitted 2 March, 2022;
originally announced March 2022.
-
Progress in Water-Based Metamaterial Absorber: A Review
Authors:
Jingda Wen,
Qiang Ren,
Ruiguang Peng,
Haoyang Yao,
Yuchang Qing,
Jianbo Yin,
Qian Zhao
Abstract:
Increasing attention on microwave ultra-broadband metamaterial absorbers has been paid due to their promising applications. While most microwave ultra-broadband metamaterial absorbers developed so far are based on metallic resonant structures, dispersive dielectric water-based metamaterial opens a simpler and more versatile route for the construction of polarization- and angle- insensitive ultra-b…
▽ More
Increasing attention on microwave ultra-broadband metamaterial absorbers has been paid due to their promising applications. While most microwave ultra-broadband metamaterial absorbers developed so far are based on metallic resonant structures, dispersive dielectric water-based metamaterial opens a simpler and more versatile route for the construction of polarization- and angle- insensitive ultra-broadband absorption. Here, we review the recent progresses of water-based metamaterial absorber by providing an illustration of the mechanisms to realize ultra-broadband, tunable and multi-functional absorption. We also address the further development direction and some potential novel applications.
△ Less
Submitted 24 December, 2021;
originally announced December 2021.
-
Communication-Efficient Federated Learning with Compensated Overlap-FedAvg
Authors:
Yuhao Zhou,
Ye Qing,
Jiancheng Lv
Abstract:
Petabytes of data are generated each day by emerging Internet of Things (IoT), but only few of them can be finally collected and used for Machine Learning (ML) purposes due to the apprehension of data & privacy leakage, which seriously retarding ML's growth. To alleviate this problem, Federated learning is proposed to perform model training by multiple clients' combined data without the dataset sh…
▽ More
Petabytes of data are generated each day by emerging Internet of Things (IoT), but only few of them can be finally collected and used for Machine Learning (ML) purposes due to the apprehension of data & privacy leakage, which seriously retarding ML's growth. To alleviate this problem, Federated learning is proposed to perform model training by multiple clients' combined data without the dataset sharing within the cluster. Nevertheless, federated learning introduces massive communication overhead as the synchronized data in each epoch is of the same size as the model, and thereby leading to a low communication efficiency. Consequently, variant methods mainly focusing on the communication rounds reduction and data compression are proposed to reduce the communication overhead of federated learning. In this paper, we propose Overlap-FedAvg, a framework that parallels the model training phase with model uploading & downloading phase, so that the latter phase can be totally covered by the former phase. Compared to vanilla FedAvg, Overlap-FedAvg is further developed with a hierarchical computing strategy, a data compensation mechanism and a nesterov accelerated gradients~(NAG) algorithm. Besides, Overlap-FedAvg is orthogonal to many other compression methods so that they can be applied together to maximize the utilization of the cluster. Furthermore, the theoretical analysis is provided to prove the convergence of the proposed Overlap-FedAvg framework. Extensive experiments on both conventional and recurrent tasks with multiple models and datasets also demonstrate that the proposed Overlap-FedAvg framework substantially boosts the federated learning process.
△ Less
Submitted 16 June, 2021; v1 submitted 11 December, 2020;
originally announced December 2020.
-
A Boundary Regression Model for Nested Named Entity Recognition
Authors:
Yanping Chen,
Lefei Wu,
Qinghua Zheng,
Ruizhang Huang,
Jun Liu,
Liyuan Deng,
Junhui Yu,
Yongbin Qing,
Bo Dong,
Ping Chen
Abstract:
Recognizing named entities (NEs) is commonly conducted as a classification problem that predicts a class tag for a word or a NE candidate in a sentence. In shallow structures, categorized features are weighted to support the prediction. Recent developments in neural networks have adopted deep structures that map categorized features into continuous representations. This approach unfolds a dense sp…
▽ More
Recognizing named entities (NEs) is commonly conducted as a classification problem that predicts a class tag for a word or a NE candidate in a sentence. In shallow structures, categorized features are weighted to support the prediction. Recent developments in neural networks have adopted deep structures that map categorized features into continuous representations. This approach unfolds a dense space saturated with high-order abstract semantic information, where the prediction is based on distributed feature representations. In this paper, positions of NEs in a sentence are represented as continuous values. Then, a regression operation is introduced to regress boundaries of NEs in a sentence. Based on boundary regression, we design a boundary regression model to support nested NE recognition. It is a multiobjective learning framework, which simultaneously predicts the classification score of a NE candidate and refine its spatial location in a sentence. It has the advantage to resolve nested NEs and support boundary regression for locating NEs in a sntence. By sharing parameters for predicting and locating, this model enables more potent nonlinear function approximators to enhance model discriminability. Experiments demonstrate state-of-the-art performance for nested NE recognition\footnote{Our codes to implement the BR model are available at: \url{https://github.com/wuyuefei3/BR}.}.
△ Less
Submitted 30 January, 2022; v1 submitted 29 November, 2020;
originally announced November 2020.
-
Sublinearly Morse Boundary II: Proper geodesic spaces
Authors:
Yulan Qing,
Kasra Rafi,
Giulio Tiozzo
Abstract:
We build an analogue of the Gromov boundary for any proper geodesic metric space, hence for any finitely generated group. More precisely, for any proper geodesic metric space $X$ and any sublinear function $κ$, we construct a boundary for $X$, denoted $\mathcal{\partial}_κ X$, that is quasi-isometrically invariant and metrizable. As an application, we show that when $G$ is the mapping class group…
▽ More
We build an analogue of the Gromov boundary for any proper geodesic metric space, hence for any finitely generated group. More precisely, for any proper geodesic metric space $X$ and any sublinear function $κ$, we construct a boundary for $X$, denoted $\mathcal{\partial}_κ X$, that is quasi-isometrically invariant and metrizable. As an application, we show that when $G$ is the mapping class group of a finite type surface, or a relatively hyperbolic group, then with minimal assumptions the Poisson boundary of $G$ can be realized on the $κ$-Morse boundary of $G$ equipped the word metric associated to any finite generating set.
△ Less
Submitted 6 November, 2020;
originally announced November 2020.
-
Sublinearly Morse Geodesics in CAT(0) Spaces: Lower Divergence and Hyperplane Characterization
Authors:
Devin Murray,
Yulan Qing,
Abdul Zalloum
Abstract:
We introduce the notion of k-lower divergence for geodesic rays in CAT(0) spaces. Building on the work of Charney and Sultan we give various characterizations of k-contracting geodesic rays using k-lower divergence and k-slim triangles. We also characterize k-contracting geodesic rays in CAT(0) cube complexes using sequences of well-separated hyperplanes.
We introduce the notion of k-lower divergence for geodesic rays in CAT(0) spaces. Building on the work of Charney and Sultan we give various characterizations of k-contracting geodesic rays using k-lower divergence and k-slim triangles. We also characterize k-contracting geodesic rays in CAT(0) cube complexes using sequences of well-separated hyperplanes.
△ Less
Submitted 21 March, 2022; v1 submitted 20 August, 2020;
originally announced August 2020.
-
Big mapping class groups with hyperbolic actions: classification and applications
Authors:
Camille Horbez,
Yulan Qing,
Kasra Rafi
Abstract:
We address the question of determining which mapping class groups of infinite-type surfaces admit nonelementary continuous actions on hyperbolic spaces.
More precisely, let $Σ$ be a connected, orientable surface of infinite type with tame endspace whose mapping class group is generated by a coarsely bounded subset. We prove that $\mathrm{Map}(Σ)$ admits a continuous nonelementary action on a hyp…
▽ More
We address the question of determining which mapping class groups of infinite-type surfaces admit nonelementary continuous actions on hyperbolic spaces.
More precisely, let $Σ$ be a connected, orientable surface of infinite type with tame endspace whose mapping class group is generated by a coarsely bounded subset. We prove that $\mathrm{Map}(Σ)$ admits a continuous nonelementary action on a hyperbolic space if and only if $Σ$ contains a finite-type subsurface which intersects all its homeomorphic translates.
When $Σ$ contains such a nondisplaceable subsurface $K$ of finite type, the hyperbolic space we build is constructed from the curve graphs of $K$ and its homeomorphic translates via a construction of Bestvina, Bromberg and Fujiwara. Our construction has several applications: first, the second bounded cohomology of $\mathrm{Map}(Σ)$ contains an embedded $\ell^1$; second, using work of Dahmani, Guirardel and Osin, we deduce that $\mathrm{Map}(Σ)$ contains nontrivial normal free subgroups (while it does not if $Σ$ has no nondisplaceable subsurface of finite type), has uncountably many quotients and is SQ-universal.
△ Less
Submitted 17 May, 2020; v1 submitted 1 May, 2020;
originally announced May 2020.
-
Experimental demonstration of high sensitivity refractive index sensing based on magnetic plasmons in a simple metallic deep nanogroove array
Authors:
D. M. Li,
X. Y. Kuang,
H. Zhang,
Y. Z. Liang,
T. Xu,
L. Y. Qing,
Y . H. Zhu,
S. Zhang,
W. X. Wang,
W. Wang
Abstract:
A high-performance wide-angle refractive index sensor based on a simple onedimensional (1D) metallic deep nanogroove array with high aspect ratio is experimentally fabricated and demonstrated. The 1D deep groove array is featured by the excitation of magnetic plasmon (MP), referring to an effective coupling of incident electromagnetic waves with a strong magnetic response induced inside the deep g…
▽ More
A high-performance wide-angle refractive index sensor based on a simple onedimensional (1D) metallic deep nanogroove array with high aspect ratio is experimentally fabricated and demonstrated. The 1D deep groove array is featured by the excitation of magnetic plasmon (MP), referring to an effective coupling of incident electromagnetic waves with a strong magnetic response induced inside the deep grooves. Utilizing the MP resonances that are extremely sensitive to the surrounding dielectric medium, we successfully achieve a refractive index sensitivity (RIS) up to $\sim$1300 nm/RIU, which is higher than that of most experimentally designed plasmonic sensors in infrared region. Importantly, benefiting from angle-independent MP resonances with strong confinement of magnetic field inside the deep grooves and strong electric field localization at the groove openings, we demonstrate wide-angle sensing capability valid in a broadband infrared region with an excellent linear dependence on the change of refractive index. Such a MP-based sensor, together with its simple 1D flat nature and ease of fabrication, has great potential for practical design of high sensitive, cost-effective and compact sensing devices.
△ Less
Submitted 5 March, 2020;
originally announced March 2020.
-
Geometry and dynamics on sublinearly Morse boundaries of CAT(0) groups
Authors:
Yulan Qing,
Abdul Zalloum
Abstract:
Given a sublinear function $κ$, $κ$-Morse boundaries $\pka X$ of proper \CAT spaces are introduced by Qing, Rafi and Tiozzo. It is a topological space that consists of a large set of quasi-geodesic rays and it is quasi-isometrically invariant and metrizable.
In this paper, we study the sublinearly Morse boundaries with the assumption that there is a proper cocompact action of a group $G$ on the…
▽ More
Given a sublinear function $κ$, $κ$-Morse boundaries $\pka X$ of proper \CAT spaces are introduced by Qing, Rafi and Tiozzo. It is a topological space that consists of a large set of quasi-geodesic rays and it is quasi-isometrically invariant and metrizable.
In this paper, we study the sublinearly Morse boundaries with the assumption that there is a proper cocompact action of a group $G$ on the \CAT space in question. We show that $G$ acts minimally on $\pka G$ and that contracting elements of $G$ induces a weak north-south dynamic on $\pka G$. Furthermore, we show that a homeomorphism $f \from \pka G \to \pka G'$ comes from a quasi-isometry if and only if $f$ is successively quasi-m{ö}bius and stable. Lastly, we characterize exactly when the sublinearly Morse boundary of a \CAT space is compact.
△ Less
Submitted 7 January, 2023; v1 submitted 8 November, 2019;
originally announced November 2019.
-
Geometry of right-angled Coxeter groups on the Croke-Kleiner spaces
Authors:
Yulan Qing
Abstract:
In this paper we study the right-angled Coxeter groups that acts geometrically on the Salvetti complex of a certain right-angled Artin group, which we refer to as Croke-Kleiner spaces. We prove that any right-angled Coxeter group that acts geometrically on the Croke-Kleiner spaces acts with $π/2$ angles between reflecting axes, while the quasi-isometric right-angled Artin group can act with angles…
▽ More
In this paper we study the right-angled Coxeter groups that acts geometrically on the Salvetti complex of a certain right-angled Artin group, which we refer to as Croke-Kleiner spaces. We prove that any right-angled Coxeter group that acts geometrically on the Croke-Kleiner spaces acts with $π/2$ angles between reflecting axes, while the quasi-isometric right-angled Artin group can act with angles that are any real number in the range $(0, π/2]$. The contrast between the two examples shows that in this case a right-angled Coxeter group is geometrically more "rigid" than its quasi isometric counterpart.
△ Less
Submitted 29 October, 2019;
originally announced October 2019.
-
Sublinearly Morse Boundary I: CAT(0) Spaces
Authors:
Yulan Qing,
Kasra Rafi,
Giulio Tiozzo
Abstract:
To every Gromov hyperbolic space X one can associate a space at infinity called the Gromov boundary of X. Gromov showed that quasi-isometries of hyperbolic metric spaces induce homeomorphisms on their boundaries, thus giving rise to a well-defined notion of the boundary of a hyperbolic group. Croke and Kleiner showed that the visual boundary of non-positively curved (CAT(0)) groups is not well-def…
▽ More
To every Gromov hyperbolic space X one can associate a space at infinity called the Gromov boundary of X. Gromov showed that quasi-isometries of hyperbolic metric spaces induce homeomorphisms on their boundaries, thus giving rise to a well-defined notion of the boundary of a hyperbolic group. Croke and Kleiner showed that the visual boundary of non-positively curved (CAT(0)) groups is not well-defined, since quasi-isometric CAT(0) spaces can have non-homeomorphic boundaries. For any sublinear function $κ$, we consider a subset of the visual boundary called the $κ$-Morse boundary and show that it is QI-invariant and metrizable. This is to say, the $κ$-Morse boundary of a CAT(0) group is well-defined. In the case of Right-angled Artin groups, it is shown in the Appendix that the Poisson boundary of random walks is naturally identified with the $\sqrt{t \log t}$--boundary.
△ Less
Submitted 25 April, 2022; v1 submitted 4 September, 2019;
originally announced September 2019.
-
Full Attitude Control of an Efficient Quadrotor Tail-sitter VTOL UAV with Flexible Modes
Authors:
Wei Xu,
Haowei Gu,
Youming Qing,
Jiarong Lin,
Fu Zhang
Abstract:
In this paper, we present a full attitude control of an efficient quadrotor tail-sitter VTOL UAV with flexible modes. This control system is working in all flight modes without any control surfaces but motor differential thrusts. This paper concentrates on the design of the attitude controller and the altitude controller. For the attitude control, the controller's parameters and filters are optimi…
▽ More
In this paper, we present a full attitude control of an efficient quadrotor tail-sitter VTOL UAV with flexible modes. This control system is working in all flight modes without any control surfaces but motor differential thrusts. This paper concentrates on the design of the attitude controller and the altitude controller. For the attitude control, the controller's parameters and filters are optimized based on the frequency response model which is identified from the sweep experiment. As a result, the effect of system flexible modes is easily compensated in frequency-domain by using a notch filter, and the resulting attitude loop shows superior tracking performance and robustness. In the coordinated flight condition, the altitude controller is structured as the feedforward-feedback parallel controller. The feedforward thrust command is calculated based on the current speed and the pitch angle. Tests in hovering, forward accelerating and forward decelerating flights have been conducted to verify the proposed control system.
△ Less
Submitted 15 March, 2019;
originally announced March 2019.
-
Excursions of generic geodesics in right-angled Artin groups and graph products
Authors:
Yulan Qing,
Giulio Tiozzo
Abstract:
Motivated by the notion of cusp excursion in geometrically finite hyperbolic manifolds, we define a notion of excursion in any subgroup of a given group, and study its asymptotic distribution for right-angled Artin groups and graph products. In particular, for any irreducible right-angled Artin group we show that with respect to the counting measure, the maximal excursion of a generic geodesic in…
▽ More
Motivated by the notion of cusp excursion in geometrically finite hyperbolic manifolds, we define a notion of excursion in any subgroup of a given group, and study its asymptotic distribution for right-angled Artin groups and graph products. In particular, for any irreducible right-angled Artin group we show that with respect to the counting measure, the maximal excursion of a generic geodesic in any flat tends to $\log n$, where $n$ is the length of the geodesic. In this regard, irreducible RAAGs behave like a free product of groups. In fact, we show that the asymptotic distribution of excursions detects the growth rate of the RAAG and whether it is reducible.
△ Less
Submitted 17 October, 2018;
originally announced October 2018.
-
Dilatation of outer automorphisms of Right-angled Artin Groups
Authors:
Corey Bregman,
Yulan Qing
Abstract:
We study the dilatation of outer automorphisms of right-angled Artin groups. Given a right-angled Artin group defined on a simplicial graph: $A(Γ) = \langle V | E \rangle$ and an automorphism $φ\in Out(A(Γ))$ there is a natural measure of how fast the length of a word of $A(Γ)$ grows after $n$ iterations of $φ$ as a function of $n$, which we call the dilatation of $w$ under $φ$. We define the dila…
▽ More
We study the dilatation of outer automorphisms of right-angled Artin groups. Given a right-angled Artin group defined on a simplicial graph: $A(Γ) = \langle V | E \rangle$ and an automorphism $φ\in Out(A(Γ))$ there is a natural measure of how fast the length of a word of $A(Γ)$ grows after $n$ iterations of $φ$ as a function of $n$, which we call the dilatation of $w$ under $φ$. We define the dilatation of $φ$ as the supremum over dilatations of all $w \in A(Γ)$. Assuming that $φ$ is a pure and square map, we show that if the dilatation of $φ$ is positive, then either there exists a free abelian special subgroup on which that dilatation is realized; or there exists a strata of either free or free abelian groups on which the dilatation is realized.
△ Less
Submitted 4 November, 2018; v1 submitted 15 October, 2018;
originally announced October 2018.
-
Quasi-geodesics in Out(F_n) and their shadows in sub-factors
Authors:
Yulan Qing,
Kasra Rafi
Abstract:
We study the behaviour of quasi-geodesics in Out(F_n). Given an element f in Out(F_n) there are several natural paths connecting the origin to f in Out(F_n); for example, paths associated to sequences of Stallings folds and paths induced by the shadow of greedy folding paths in Outer Space. We show that none of these paths is, in general, a quasi-geodesic in Out(F_n). In fact, in contrast with the…
▽ More
We study the behaviour of quasi-geodesics in Out(F_n). Given an element f in Out(F_n) there are several natural paths connecting the origin to f in Out(F_n); for example, paths associated to sequences of Stallings folds and paths induced by the shadow of greedy folding paths in Outer Space. We show that none of these paths is, in general, a quasi-geodesic in Out(F_n). In fact, in contrast with the mapping class group setting, we construct examples where any quasi-geodesic in Out(F_n) connecting f to the origin will have to back-track in some free factor of F_n.
△ Less
Submitted 9 December, 2020; v1 submitted 26 June, 2018;
originally announced June 2018.
-
Convexity of balls in the outer space
Authors:
Yulan Qing,
Kasra Rafi
Abstract:
In this paper we study the convexity properties of geodesics and balls in Outer space equipped with the Lipschitz metric. We introduce a class of geodesics called balanced folding paths and show that, for every loop $α$, the length of $α$ along a balanced folding path is not larger than the maximum of its lengths at the end points. This implies that out-going balls are weakly convex. We then show…
▽ More
In this paper we study the convexity properties of geodesics and balls in Outer space equipped with the Lipschitz metric. We introduce a class of geodesics called balanced folding paths and show that, for every loop $α$, the length of $α$ along a balanced folding path is not larger than the maximum of its lengths at the end points. This implies that out-going balls are weakly convex. We then show that these results are sharp by providing several counterexamples.
△ Less
Submitted 16 August, 2017;
originally announced August 2017.
-
Uniform fellow traveling between surgery paths in the sphere graph
Authors:
Matt Clay,
Yulan Qing,
Kasra Rafi
Abstract:
We show that the Hausdorff distance between any forward and any backward surgery paths in the sphere graph is at most 2. From this it follows that the Hausdorff distance between any two surgery paths with the same initial sphere system and same target sphere system is at most 4. Our proof relies on understanding how surgeries affect the Guirardel core associated to sphere systems. We show that app…
▽ More
We show that the Hausdorff distance between any forward and any backward surgery paths in the sphere graph is at most 2. From this it follows that the Hausdorff distance between any two surgery paths with the same initial sphere system and same target sphere system is at most 4. Our proof relies on understanding how surgeries affect the Guirardel core associated to sphere systems. We show that applying a surgery is equivalent to performing a Rips move on the Guirardel core.
△ Less
Submitted 22 February, 2017; v1 submitted 18 October, 2016;
originally announced October 2016.
-
Actions of Right-Angled Coxeter Groups on the Croke Kleiner Spaces
Authors:
Yulan Qing
Abstract:
It is an open question whether right-angled Coxeter groups have unique group-equivariant visual boundaries. Croke and Kleiner present a right-angled Artin group with more than one visual boundary. In this paper we present a right-angled Coxeter group with non-unique equivariant visual boundary. The main theorem is that if right-angled Coxeter groups act geometrically on a Croke-Kleiner spaces, the…
▽ More
It is an open question whether right-angled Coxeter groups have unique group-equivariant visual boundaries. Croke and Kleiner present a right-angled Artin group with more than one visual boundary. In this paper we present a right-angled Coxeter group with non-unique equivariant visual boundary. The main theorem is that if right-angled Coxeter groups act geometrically on a Croke-Kleiner spaces, then the local angles in those spaces all have to be right angles. We present a specific right-angled Coxeter group with non-unique equivariant visual boundary. However, we conjecture that the right an- gled Coxeter groups that can act geometrically on a given CAT(0) space are far from unique.
△ Less
Submitted 2 February, 2014;
originally announced February 2014.