-
The Alexander-Hirschowitz theorem and related problems
Authors:
Huy Tai Ha,
Paolo Mantero
Abstract:
We present a proof of the celebrated result due to Alexander and Hirschowitz which determines when a general set of double points in $\mathbb P^n$ has the expected Hilbert function. Our intended audience are Commutative Algebraists who may be new to interpolation problems. In particular, the main aim of our presentation is to provide a self-contained proof containing all details (including some we…
▽ More
We present a proof of the celebrated result due to Alexander and Hirschowitz which determines when a general set of double points in $\mathbb P^n$ has the expected Hilbert function. Our intended audience are Commutative Algebraists who may be new to interpolation problems. In particular, the main aim of our presentation is to provide a self-contained proof containing all details (including some we could not find in the literature). Also, considering our intended audience, we have added (a) short appendices to make this survey more accessible and (b) a few open problems related to the Alexander-Hirschowitz theorem and the interpolation problems.
△ Less
Submitted 13 August, 2021; v1 submitted 24 January, 2021;
originally announced January 2021.
-
Geometric Moment Invariants to Motion Blur
Authors:
Hongxiang Hao.,
Hanlin Mo.,
Hua Li
Abstract:
In this paper, we focus on removing interference of motion blur by the derivation of motion blur invariants.Unlike earlier work, we don't restore any blurred image. Based on geometric moment and mathematical model of motion blur, we prove that geometric moments of blurred image and original image are linearly related. Depending on this property, we can analyse whether an existing moment-based feat…
▽ More
In this paper, we focus on removing interference of motion blur by the derivation of motion blur invariants.Unlike earlier work, we don't restore any blurred image. Based on geometric moment and mathematical model of motion blur, we prove that geometric moments of blurred image and original image are linearly related. Depending on this property, we can analyse whether an existing moment-based feature is invariant to motion blur. Surprisingly, we find some geometric moment invariants are invariants to not only spatial transform but also motion blur. Meanwhile, we test invariance and robustness of these invariants using synthetic and real blur image datasets. And the results show these invariants outperform some widely used blur moment invariants and non-moment image features in image retrieval, classification and template matching.
△ Less
Submitted 24 January, 2021; v1 submitted 21 January, 2021;
originally announced January 2021.
-
Zero-Sum Triangles for Involutory, Idempotent, Nilpotent and Unipotent Matrices
Authors:
Pengwei Hao,
Chao Zhang,
Huahan Hao
Abstract:
In some matrix formations, factorizations and transformations, we need special matrices with some properties and we wish that such matrices should be easily and simply generated and of integers. In this paper, we propose a zero-sum rule for the recurrence relations to construct integer triangles as triangular matrices with involutory, idempotent, nilpotent and unipotent properties, especially nilp…
▽ More
In some matrix formations, factorizations and transformations, we need special matrices with some properties and we wish that such matrices should be easily and simply generated and of integers. In this paper, we propose a zero-sum rule for the recurrence relations to construct integer triangles as triangular matrices with involutory, idempotent, nilpotent and unipotent properties, especially nilpotent and unipotent matrices of index 2. With the zero-sum rule we also give the conditions for the special matrices and the generic methods for the generation of those special matrices. The generated integer triangles are mostly newly discovered, and more combinatorial identities can be found with them.
△ Less
Submitted 23 June, 2021; v1 submitted 28 December, 2020;
originally announced December 2020.
-
International Workshop on Next Generation Gamma-Ray Source
Authors:
C. R. Howell,
M. W. Ahmed,
A. Afanasev,
D. Alesini,
J. R. M. Annand,
A. Aprahamian,
D. L. Balabanski,
S. V. Benson,
A. Bernstein,
C. R. Brune,
J. Byrd,
B. E. Carlsten,
A. E. Champagne,
S. Chattopadhyay,
D. Davis,
E. J. Downie,
M. J. Durham,
G. Feldman,
H. Gao,
C. G. R. Geddes,
H. W. Griesshammer,
R. Hajima,
H. Hao,
D. Hornidge,
J. Isaak
, et al. (28 additional authors not shown)
Abstract:
A workshop on The Next Generation Gamma-Ray Sources sponsored by the Office of Nuclear Physics at the Department of Energy, was held November 17--19, 2016 in Bethesda, Maryland. The goals of the workshop were to identify basic and applied research opportunities at the frontiers of nuclear physics that would be made possible by the beam capabilities of an advanced laser Compton beam facility. To an…
▽ More
A workshop on The Next Generation Gamma-Ray Sources sponsored by the Office of Nuclear Physics at the Department of Energy, was held November 17--19, 2016 in Bethesda, Maryland. The goals of the workshop were to identify basic and applied research opportunities at the frontiers of nuclear physics that would be made possible by the beam capabilities of an advanced laser Compton beam facility. To anchor the scientific vision to realistically achievable beam specifications using proven technologies, the workshop brought together experts in the fields of electron accelerators, lasers, and optics to examine the technical options for achieving the beam specifications required by the most compelling parts of the proposed research programs. An international assembly of participants included current and prospective $γ$-ray beam users, accelerator and light-source physicists, and federal agency program managers. Sessions were organized to foster interactions between the beam users and facility developers, allowing for information sharing and mutual feedback between the two groups. The workshop findings and recommendations are summarized in this whitepaper.
△ Less
Submitted 19 December, 2020;
originally announced December 2020.
-
High Dimensional Level Set Estimation with Bayesian Neural Network
Authors:
Huong Ha,
Sunil Gupta,
Santu Rana,
Svetha Venkatesh
Abstract:
Level Set Estimation (LSE) is an important problem with applications in various fields such as material design, biotechnology, machine operational testing, etc. Existing techniques suffer from the scalability issue, that is, these methods do not work well with high dimensional inputs. This paper proposes novel methods to solve the high dimensional LSE problems using Bayesian Neural Networks. In pa…
▽ More
Level Set Estimation (LSE) is an important problem with applications in various fields such as material design, biotechnology, machine operational testing, etc. Existing techniques suffer from the scalability issue, that is, these methods do not work well with high dimensional inputs. This paper proposes novel methods to solve the high dimensional LSE problems using Bayesian Neural Networks. In particular, we consider two types of LSE problems: (1) \textit{explicit} LSE problem where the threshold level is a fixed user-specified value, and, (2) \textit{implicit} LSE problem where the threshold level is defined as a percentage of the (unknown) maximum of the objective function. For each problem, we derive the corresponding theoretic information based acquisition function to sample the data points so as to maximally increase the level set accuracy. Furthermore, we also analyse the theoretical time complexity of our proposed acquisition functions, and suggest a practical methodology to efficiently tune the network hyper-parameters to achieve high model accuracy. Numerical experiments on both synthetic and real-world datasets show that our proposed method can achieve better results compared to existing state-of-the-art approaches.
△ Less
Submitted 17 December, 2020;
originally announced December 2020.
-
GoldEnvSim -- A FLEXPART-WRF based software for simulation of radionuclides transport in atmospheric
Authors:
Nguyen Hong Ha,
Phan Viet Cuong,
Le Tuan Anh,
Ho Thi Thao,
Hoang Huu Duc,
Kieu Ngoc Dung
Abstract:
This article illustrates the development of a software named GoldEnvSim for simulation of the dispersion of radionuclides in the atmosphere. The software is written in JavaFX programming language to couple the Weather Research and Forecasting (WRF) model and the FLEXPART-WRF model. The highlight function of this software is to provide convenience for users to run a simulation workflow with a user-…
▽ More
This article illustrates the development of a software named GoldEnvSim for simulation of the dispersion of radionuclides in the atmosphere. The software is written in JavaFX programming language to couple the Weather Research and Forecasting (WRF) model and the FLEXPART-WRF model. The highlight function of this software is to provide convenience for users to run a simulation workflow with a user-friendly interface. Many toolkits for post-processing and visualizing output are also incorporated to make this software more comprehensive. At this first version, GoldEnvSim is specifically designed to analyze and predict the dispersion of radioactive materials in the atmosphere, but it has potential for further development and applicable to other fields of environmental science. For demonstration, a simulation of the dispersion of the Cs-137 that is assumed to be released from the Fangchenggang nuclear power plant to whole Vietnam territory was performed. The simulation result on meteorological in comparison to the monitoring data taken from a first-class meteorological observatory was used to evaluate the accuracy of dispersion simulation result.
△ Less
Submitted 16 December, 2020;
originally announced December 2020.
-
Microfluidic device coupled with total internal reflection microscopy for in situ observation of precipitation
Authors:
Jia Meng,
Jae Bem You,
Gilmar F. Arends,
Hao Hao,
Xiaoli Tan,
Xuehua Zhang
Abstract:
In situ observation of precipitation or phase separation induced by solvent addition is important in studying its dynamics. Combined with optical and fluorescence microscopy, microfluidic devices have been leveraged in studying the phase separation in various materials including biominerals, nanoparticles, and inorganic crystals. However, strong scattering from the subphases in the mixture is prob…
▽ More
In situ observation of precipitation or phase separation induced by solvent addition is important in studying its dynamics. Combined with optical and fluorescence microscopy, microfluidic devices have been leveraged in studying the phase separation in various materials including biominerals, nanoparticles, and inorganic crystals. However, strong scattering from the subphases in the mixture is problematic for in situ study of phase separation with high temporal and spatial resolution. In this work, we present a quasi-2D microfluidic device combined with total internal reflection microscopy as an approach for in situ observation of phase separation. The quasi-2D microfluidic device comprises of a shallow main channel and a deep side channel. Mixing between a solution in the main channel (solution A) and another solution (solution B) in the side channel is predominantly driven by diffusion due to high fluid resistance from the shallow height of the main channel, which is confirmed using fluorescence microscopy. Moreover, relying on diffusive mixing, we can control the composition of the mixture in the main channel by tuning the composition of solution B. We demonstrate the application of our method for in situ observation of asphaltene precipitation and beta-alanine crystallization.
△ Less
Submitted 13 December, 2020;
originally announced December 2020.
-
Fit2Form: 3D Generative Model for Robot Gripper Form Design
Authors:
Huy Ha,
Shubham Agrawal,
Shuran Song
Abstract:
The 3D shape of a robot's end-effector plays a critical role in determining it's functionality and overall performance. Many industrial applications rely on task-specific gripper designs to ensure the system's robustness and accuracy. However, the process of manual hardware design is both costly and time-consuming, and the quality of the resulting design is dependent on the engineer's experience a…
▽ More
The 3D shape of a robot's end-effector plays a critical role in determining it's functionality and overall performance. Many industrial applications rely on task-specific gripper designs to ensure the system's robustness and accuracy. However, the process of manual hardware design is both costly and time-consuming, and the quality of the resulting design is dependent on the engineer's experience and domain expertise, which can easily be out-dated or inaccurate. The goal of this work is to use machine learning algorithms to automate the design of task-specific gripper fingers. We propose Fit2Form, a 3D generative design framework that generates pairs of finger shapes to maximize design objectives (i.e., grasp success, stability, and robustness) for target grasp objects. We model the design objectives by training a Fitness network to predict their values for pairs of gripper fingers and their corresponding grasp objects. This Fitness network then provides supervision to a 3D Generative network that produces a pair of 3D finger geometries for the target grasp object. Our experiments demonstrate that the proposed 3D generative design framework generates parallel jaw gripper finger shapes that achieve more stable and robust grasps compared to other general-purpose and task-specific gripper design algorithms. Video can be found at https://youtu.be/utKHP3qb1bg.
△ Less
Submitted 12 November, 2020;
originally announced November 2020.
-
Density of $f$-ideals and $f$-ideals in mixed small degrees
Authors:
Huy TÀi HÀ,
Graham Keiper,
Hasan Mahmood,
Jonathan L. O'Rourke
Abstract:
A squarefree monomial ideal is called an $f$-ideal if its Stanley-Reisner and facet simplicial complexes have the same $f$-vector. We show that $f$-ideals generated in a fixed degree have asymptotic density zero when the number of variables goes to infinity. We also provide novel algorithms to construct $f$-ideals generated in small degrees.
A squarefree monomial ideal is called an $f$-ideal if its Stanley-Reisner and facet simplicial complexes have the same $f$-vector. We show that $f$-ideals generated in a fixed degree have asymptotic density zero when the number of variables goes to infinity. We also provide novel algorithms to construct $f$-ideals generated in small degrees.
△ Less
Submitted 5 November, 2020;
originally announced November 2020.
-
Deep Active Learning with Augmentation-based Consistency Estimation
Authors:
SeulGi Hong,
Heon** Ha,
Junmo Kim,
Min-Kook Choi
Abstract:
In active learning, the focus is mainly on the selection strategy of unlabeled data for enhancing the generalization capability of the next learning cycle. For this, various uncertainty measurement methods have been proposed. On the other hand, with the advent of data augmentation metrics as the regularizer on general deep learning, we notice that there can be a mutual influence between the method…
▽ More
In active learning, the focus is mainly on the selection strategy of unlabeled data for enhancing the generalization capability of the next learning cycle. For this, various uncertainty measurement methods have been proposed. On the other hand, with the advent of data augmentation metrics as the regularizer on general deep learning, we notice that there can be a mutual influence between the method of unlabeled data selection and the data augmentation-based regularization techniques in active learning scenarios. Through various experiments, we confirmed that consistency-based regularization from analytical learning theory could affect the generalization capability of the classifier in combination with the existing uncertainty measurement method. By this fact, we propose a methodology to improve generalization ability, by applying data augmentation-based techniques to an active learning scenario. For the data augmentation-based regularization loss, we redefined cutout (co) and cutmix (cm) strategies as quantitative metrics and applied at both model training and unlabeled data selection steps. We have shown that the augmentation-based regularizer can lead to improved performance on the training step of active learning, while that same approach can be effectively combined with the uncertainty measurement metrics proposed so far. We used datasets such as FashionMNIST, CIFAR10, CIFAR100, and STL10 to verify the performance of the proposed active learning technique for multiple image classification tasks. Our experiments show consistent performance gains for each dataset and budget scenario.
△ Less
Submitted 5 November, 2020;
originally announced November 2020.
-
Learning a Decentralized Multi-arm Motion Planner
Authors:
Huy Ha,
**gxi Xu,
Shuran Song
Abstract:
We present a closed-loop multi-arm motion planner that is scalable and flexible with team size. Traditional multi-arm robot systems have relied on centralized motion planners, whose runtimes often scale exponentially with team size, and thus, fail to handle dynamic environments with open-loop control. In this paper, we tackle this problem with multi-agent reinforcement learning, where a decentrali…
▽ More
We present a closed-loop multi-arm motion planner that is scalable and flexible with team size. Traditional multi-arm robot systems have relied on centralized motion planners, whose runtimes often scale exponentially with team size, and thus, fail to handle dynamic environments with open-loop control. In this paper, we tackle this problem with multi-agent reinforcement learning, where a decentralized policy is trained to control one robot arm in the multi-arm system to reach its target end-effector pose given observations of its workspace state and target end-effector pose. The policy is trained using Soft Actor-Critic with expert demonstrations from a sampling-based motion planning algorithm (i.e., BiRRT). By leveraging classical planning algorithms, we can improve the learning efficiency of the reinforcement learning algorithm while retaining the fast inference time of neural networks. The resulting policy scales sub-linearly and can be deployed on multi-arm systems with variable team sizes. Thanks to the closed-loop and decentralized formulation, our approach generalizes to 5-10 multi-arm systems and dynamic moving targets (>90% success rate for a 10-arm system), despite being trained on only 1-4 arm planning tasks with static targets. Code and data links can be found at https://multiarm.cs.columbia.edu.
△ Less
Submitted 4 November, 2020;
originally announced November 2020.
-
An optics-free computational spectrometer using a broadband and tunable dynamic detector
Authors:
Ling-Dong Kong,
Qing-Yuan Zhao,
Hui Wang,
Jia-Wei Guo,
Hai-Yang-Bo Lu,
Hao Hao,
Shu-Ya Guo,
Xue-Cou Tu,
La-Bao Zhang,
Xiao-Qing Jia,
Lin Kang,
Xing-Long Wu,
Jian Chen,
Pei-Heng Wu
Abstract:
Optical spectrometers are the central instruments for exploring the interaction between light and matter. The current pursuit of the field is to design a spectrometer without the need for wavelength multiplexing optics to effectively reduce the complexity and physical size of the hardware. Based on computational spectroscopic results and combining a broadband-responsive dynamic detector, we succes…
▽ More
Optical spectrometers are the central instruments for exploring the interaction between light and matter. The current pursuit of the field is to design a spectrometer without the need for wavelength multiplexing optics to effectively reduce the complexity and physical size of the hardware. Based on computational spectroscopic results and combining a broadband-responsive dynamic detector, we successfully demonstrate an optics-free single-detector spectrometer that maps the tunable quantum efficiency of a superconducting nanowire into an ill-conditioned matrix to build a solvable inverse mathematical equation. Such a spectrometer can realize a broadband spectral responsivity ranging from 660 to 1900 nm. The spectral resolution at the telecom is 6 nm, exceeding the energy resolving capacity of existing infrared single-photon detectors. Meanwhile, benefiting from the optics-free setup, precise time-of-flight measurements can be simultaneously achieved. We have demonstrated a spectral LiDAR with 8 spectral channels. This work provides a concise method for building multifunctional spectrometers and paves the way for applying superconducting nanowire detectors in spectroscopy.
△ Less
Submitted 13 April, 2021; v1 submitted 4 November, 2020;
originally announced November 2020.
-
Eliminating the Barriers: Demystifying Wi-Fi Baseband Design and Introducing the PicoScenes Wi-Fi Sensing Platform
Authors:
Zhi** Jiang,
Tom H. Luan,
Xincheng Ren,
Dongtao Lv,
Han Hao,
**g Wang,
Kun Zhao,
Wei Xi,
Yueshen Xu,
Rui Li
Abstract:
The research on Wi-Fi sensing has been thriving over the past decade but the process has not been smooth. Three barriers always hamper the research: unknown baseband design and its influence, inadequate hardware, and the lack of versatile and flexible measurement software. This paper tries to eliminate these barriers through the following work. First, we present an in-depth study of the baseband d…
▽ More
The research on Wi-Fi sensing has been thriving over the past decade but the process has not been smooth. Three barriers always hamper the research: unknown baseband design and its influence, inadequate hardware, and the lack of versatile and flexible measurement software. This paper tries to eliminate these barriers through the following work. First, we present an in-depth study of the baseband design of the Qualcomm Atheros AR9300 (QCA9300) NIC. We identify a missing item of the existing CSI model, namely, the CSI distortion, and identify the baseband filter as its origin. We also propose a distortion removal method. Second, we reintroduce both the QCA9300 and software-defined radio (SDR) as powerful hardware for research. For the QCA9300, we unlock the arbitrary tuning of both the carrier frequency and bandwidth. For SDR, we develop a high?performance software implementation of the 802.11a/g/n/ac/ax baseband, allowing users to fully control the baseband and access the complete physical-layer information. Third, we release the PicoScenes software, which supports concurrent CSI measure?ment from multiple QCA9300, Intel Wireless Link (IWL5300) and SDR hardware. PicoScenes features rich low-level controls, packet injection and software baseband implementation. It also allows users to develop their own measurement plugins. Finally, we report state-of-the-art results in the extensive evaluations of the PicoScenes system, such as the >2 GHz available spectrum on the QCA9300, concurrent CSI measurement, and up to 40 kHz and 1 kHz CSI measurement rates achieved by the QCA9300 and SDR. PicoScenes is available at https://ps.zpj.io.
△ Less
Submitted 11 August, 2021; v1 submitted 20 October, 2020;
originally announced October 2020.
-
Real-space imaging of acoustic plasmons in large-area CVD graphene
Authors:
Sergey G. Menabde,
In-Ho Lee,
Sanghyub Lee,
Heonhak Ha,
Jacob T. Heiden,
Daehan Yoo,
Teun-Teun Kim,
Young Hee Lee,
Tony Low,
Sang-Hyun Oh,
Min Seok Jang
Abstract:
An acoustic plasmonic mode in a graphene-dielectric-metal heterostructure has recently been spotlighted as a superior platform for strong light-matter interaction. It originates from the coupling of graphene plasmon with its mirror image and exhibits the largest field confinement in the limit of a nm-thick dielectric. Although recently detected in the far-field regime, optical near-fields of this…
▽ More
An acoustic plasmonic mode in a graphene-dielectric-metal heterostructure has recently been spotlighted as a superior platform for strong light-matter interaction. It originates from the coupling of graphene plasmon with its mirror image and exhibits the largest field confinement in the limit of a nm-thick dielectric. Although recently detected in the far-field regime, optical near-fields of this mode are yet to be observed and characterized. Direct optical probing of the plasmonic fields reflected by the edges of graphene via near-field scattering microscope reveals a relatively small dam** rate of the mid-IR acoustic plasmons in our devices, which allows for their real-space map** even with unprotected, chemically grown, large-area graphene at ambient conditions. We show an acoustic mode that is twice as confined - yet 1.4 times less damped - compared to the graphene surface plasmon under similar conditions. We also image the resonant acoustic Bloch state in a 1D array of gold nanoribbons responsible for the high efficiency of the far-field coupling. Our results highlight the importance of acoustic plasmons as an exceptionally promising platform for large-area graphene-based optoelectronic devices operating in mid-IR.
△ Less
Submitted 3 September, 2020;
originally announced October 2020.
-
Oiling-out Crystallization of Beta-Alanine onSolid Surfaces Controlled by Solvent Exchange
Authors:
Xuehua Zhang,
Zixiang Wei,
Howon Choi,
Hao Hao,
Huaiyu Yang
Abstract:
Droplet formation in oiling-out crystallization has important implication for separation and purification of pharmaceutical active ingredients by using an antisolvent. In this work, we report the crystallization processes of oiling-out droplets on surfaces during solvent exchange. Our model ternary solution is beta-alanine dissolved in isopropanol and water mixture. As the antisolvent isopropanol…
▽ More
Droplet formation in oiling-out crystallization has important implication for separation and purification of pharmaceutical active ingredients by using an antisolvent. In this work, we report the crystallization processes of oiling-out droplets on surfaces during solvent exchange. Our model ternary solution is beta-alanine dissolved in isopropanol and water mixture. As the antisolvent isopropanol displaced the alanine solution pre-filled in a microchamber, liquid-liquid phase separation occurred at the mixing front. The alanine-rich subphase formed surface microdroplets that subsequently crystallized with progression of solvent exchange. We find that the flow rates have significant influence on the droplet size, crystallization process, and growth rate, and final morphology of the crystals. At fast flow rates the droplets solidified rapidly and formed spherical-cap structures resembling the shape of droplets, in contrast to crystal microdomains or thin films formed at slow flow rates. On a highly hydrophilic surface, the crystals formed thin film without droplets formed on the surface. We further demonstrated that by the solvent exchange crystals can be formed by using a stock solution with a very low concentration of the precursor, and the as-prepared crystals can be used as seeds to trigger crystallization in bulk solution. Our results suggest that the solvent exchange has the potential to be an effective approach for controlling oiling-out crystallization, which can be applied in wide areas, such as separation and purification of many food, medical, and therapeutic ingredients.
△ Less
Submitted 10 September, 2020;
originally announced September 2020.
-
Demailly's Conjecture and the Containment Problem
Authors:
Sankhaneel Bisui,
Eloísa Grifo,
Huy Tài Hà,
Thái Thành Nguyên
Abstract:
We investigate Demailly's Conjecture for a general set of sufficiently many points. Demailly's Conjecture generalizes Chudnovsky's Conjecture in providing a lower bound for the Waldschmidt constant of a set of points in projective spaces. We also study a containment between symbolic and ordinary powers conjectured by Harbourne and Huneke that in particular implies Demailly's bound, and prove that…
▽ More
We investigate Demailly's Conjecture for a general set of sufficiently many points. Demailly's Conjecture generalizes Chudnovsky's Conjecture in providing a lower bound for the Waldschmidt constant of a set of points in projective spaces. We also study a containment between symbolic and ordinary powers conjectured by Harbourne and Huneke that in particular implies Demailly's bound, and prove that a general version of that containment holds for generic determinantal ideals and defining ideals of star configurations.
△ Less
Submitted 15 June, 2021; v1 submitted 10 September, 2020;
originally announced September 2020.
-
Sub-linear Regret Bounds for Bayesian Optimisation in Unknown Search Spaces
Authors:
Hung Tran-The,
Sunil Gupta,
Santu Rana,
Huong Ha,
Svetha Venkatesh
Abstract:
Bayesian optimisation is a popular method for efficient optimisation of expensive black-box functions. Traditionally, BO assumes that the search space is known. However, in many problems, this assumption does not hold. To this end, we propose a novel BO algorithm which expands (and shifts) the search space over iterations based on controlling the expansion rate thought a hyperharmonic series. Furt…
▽ More
Bayesian optimisation is a popular method for efficient optimisation of expensive black-box functions. Traditionally, BO assumes that the search space is known. However, in many problems, this assumption does not hold. To this end, we propose a novel BO algorithm which expands (and shifts) the search space over iterations based on controlling the expansion rate thought a hyperharmonic series. Further, we propose another variant of our algorithm that scales to high dimensions. We show theoretically that for both our algorithms, the cumulative regret grows at sub-linear rates. Our experiments with synthetic and real-world optimisation tasks demonstrate the superiority of our algorithms over the current state-of-the-art methods for Bayesian optimisation in unknown search space.
△ Less
Submitted 1 November, 2020; v1 submitted 5 September, 2020;
originally announced September 2020.
-
Symbolic Powers of Cover Ideals of Graphs and Koszul Property
Authors:
Yan Gu,
Huy Tài Hà,
Joseph W. Skelton
Abstract:
We show that attaching a whisker (or a pendant) at the vertices of a cycle cover of a graph results in a new graph with the following property: all symbolic powers of its cover ideal are Koszul or, equivalently, componentwise linear. This extends previous work where the whiskers were added to all vertices or to the vertices of a vertex cover of the graph.
We show that attaching a whisker (or a pendant) at the vertices of a cycle cover of a graph results in a new graph with the following property: all symbolic powers of its cover ideal are Koszul or, equivalently, componentwise linear. This extends previous work where the whiskers were added to all vertices or to the vertices of a vertex cover of the graph.
△ Less
Submitted 15 May, 2021; v1 submitted 4 September, 2020;
originally announced September 2020.
-
Orbital angular momentum beam generation using a free-electron laser oscillator
Authors:
Peifan Liu,
Jun Yan,
Andrei Afanasev,
Stephen V. Benson,
Hao Hao,
Stepan F. Mikhailov,
Victor G. Popov,
Ying K. Wu
Abstract:
With wavelength tunability, free-electron lasers (FELs) are well-suited for generating orbital angular momentum (OAM) beams in a wide photon energy range. We report the first experimental demonstration of OAM beam generation using an oscillator FEL. Lasing around 458 nm, we have produced the four lowest orders of coherently mixed OAM beams with good beam quality, excellent stability, and substanti…
▽ More
With wavelength tunability, free-electron lasers (FELs) are well-suited for generating orbital angular momentum (OAM) beams in a wide photon energy range. We report the first experimental demonstration of OAM beam generation using an oscillator FEL. Lasing around 458 nm, we have produced the four lowest orders of coherently mixed OAM beams with good beam quality, excellent stability, and substantial intracavity power. We have also developed a pulsed mode operation of the OAM beam with a highly reproducible temporal structure for a range of modulation frequencies from 1 to 30 Hz. This development can be extended to short wavelengths, for example to x-rays using a future x-ray FEL oscillator. The operation of such an OAM FEL also paves the way for the generation of OAM gamma-ray beams via Compton scattering.
△ Less
Submitted 30 July, 2020;
originally announced July 2020.
-
ROSE: A Retinal OCT-Angiography Vessel Segmentation Dataset and New Model
Authors:
Yuhui Ma,
Huaying Hao,
Huazhu Fu,
Jiong Zhang,
Jianlong Yang,
Jiang Liu,
Yalin Zheng,
Yitian Zhao
Abstract:
Optical Coherence Tomography Angiography (OCT-A) is a non-invasive imaging technique, and has been increasingly used to image the retinal vasculature at capillary level resolution. However, automated segmentation of retinal vessels in OCT-A has been under-studied due to various challenges such as low capillary visibility and high vessel complexity, despite its significance in understanding many ey…
▽ More
Optical Coherence Tomography Angiography (OCT-A) is a non-invasive imaging technique, and has been increasingly used to image the retinal vasculature at capillary level resolution. However, automated segmentation of retinal vessels in OCT-A has been under-studied due to various challenges such as low capillary visibility and high vessel complexity, despite its significance in understanding many eye-related diseases. In addition, there is no publicly available OCT-A dataset with manually graded vessels for training and validation. To address these issues, for the first time in the field of retinal image analysis we construct a dedicated Retinal OCT-A SEgmentation dataset (ROSE), which consists of 229 OCT-A images with vessel annotations at either centerline-level or pixel level. This dataset has been released for public access to assist researchers in the community in undertaking research in related topics. Secondly, we propose a novel Split-based Coarse-to-Fine vessel segmentation network (SCF-Net), with the ability to detect thick and thin vessels separately. In the SCF-Net, a split-based coarse segmentation (SCS) module is first introduced to produce a preliminary confidence map of vessels, and a split-based refinement (SRN) module is then used to optimize the shape/contour of the retinal microvasculature. Thirdly, we perform a thorough evaluation of the state-of-the-art vessel segmentation models and our SCF-Net on the proposed ROSE dataset. The experimental results demonstrate that our SCF-Net yields better vessel segmentation performance in OCT-A than both traditional methods and other deep learning methods.
△ Less
Submitted 9 December, 2020; v1 submitted 10 July, 2020;
originally announced July 2020.
-
Open-Narrow-Synechiae Anterior Chamber Angle Classification in AS-OCT Sequences
Authors:
Huaying Hao,
Huazhu Fu,
Yanwu Xu,
Jianlong Yang,
Fei Li,
Xiulan Zhang,
Jiang Liu,
Yitian Zhao
Abstract:
Anterior chamber angle (ACA) classification is a key step in the diagnosis of angle-closure glaucoma in Anterior Segment Optical Coherence Tomography (AS-OCT). Existing automated analysis methods focus on a binary classification system (i.e., open angle or angle-closure) in a 2D AS-OCT slice. However, clinical diagnosis requires a more discriminating ACA three-class system (i.e., open, narrow, or…
▽ More
Anterior chamber angle (ACA) classification is a key step in the diagnosis of angle-closure glaucoma in Anterior Segment Optical Coherence Tomography (AS-OCT). Existing automated analysis methods focus on a binary classification system (i.e., open angle or angle-closure) in a 2D AS-OCT slice. However, clinical diagnosis requires a more discriminating ACA three-class system (i.e., open, narrow, or synechiae angles) for the benefit of clinicians who seek better to understand the progression of the spectrum of angle-closure glaucoma types. To address this, we propose a novel sequence multi-scale aggregation deep network (SMA-Net) for open-narrow-synechiae ACA classification based on an AS-OCT sequence. In our method, a Multi-Scale Discriminative Aggregation (MSDA) block is utilized to learn the multi-scale representations at slice level, while a ConvLSTM is introduced to study the temporal dynamics of these representations at sequence level. Finally, a multi-level loss function is used to combine the slice-based and sequence-based losses. The proposed method is evaluated across two AS-OCT datasets. The experimental results show that the proposed method outperforms existing state-of-the-art methods in applicability, effectiveness, and accuracy. We believe this work to be the first attempt to classify ACAs into open, narrow, or synechia types grading using AS-OCT sequences.
△ Less
Submitted 9 June, 2020;
originally announced June 2020.
-
FaR-GAN for One-Shot Face Reenactment
Authors:
Hanxiang Hao,
Sriram Baireddy,
Amy R. Reibman,
Edward J. Delp
Abstract:
Animating a static face image with target facial expressions and movements is important in the area of image editing and movie production. This face reenactment process is challenging due to the complex geometry and movement of human faces. Previous work usually requires a large set of images from the same person to model the appearance. In this paper, we present a one-shot face reenactment model,…
▽ More
Animating a static face image with target facial expressions and movements is important in the area of image editing and movie production. This face reenactment process is challenging due to the complex geometry and movement of human faces. Previous work usually requires a large set of images from the same person to model the appearance. In this paper, we present a one-shot face reenactment model, FaR-GAN, that takes only one face image of any given source identity and a target expression as input, and then produces a face image of the same source identity but with the target expression. The proposed method makes no assumptions about the source identity, facial expression, head pose, or even image background. We evaluate our method on the VoxCeleb1 dataset and show that our method is able to generate a higher quality face image than the compared methods.
△ Less
Submitted 13 May, 2020;
originally announced May 2020.
-
AGE Challenge: Angle Closure Glaucoma Evaluation in Anterior Segment Optical Coherence Tomography
Authors:
Huazhu Fu,
Fei Li,
Xu Sun,
Xingxing Cao,
**gan Liao,
Jose Ignacio Orlando,
Xing Tao,
Yuexiang Li,
Shihao Zhang,
Mingkui Tan,
Chenglang Yuan,
Cheng Bian,
Ruitao Xie,
Jiongcheng Li,
Xiaomeng Li,
**g Wang,
Le Geng,
Panming Li,
Huaying Hao,
Jiang Liu,
Yan Kong,
Yongyong Ren,
Hrvoje Bogunovic,
Xiulan Zhang,
Yanwu Xu
Abstract:
Angle closure glaucoma (ACG) is a more aggressive disease than open-angle glaucoma, where the abnormal anatomical structures of the anterior chamber angle (ACA) may cause an elevated intraocular pressure and gradually lead to glaucomatous optic neuropathy and eventually to visual impairment and blindness. Anterior Segment Optical Coherence Tomography (AS-OCT) imaging provides a fast and contactles…
▽ More
Angle closure glaucoma (ACG) is a more aggressive disease than open-angle glaucoma, where the abnormal anatomical structures of the anterior chamber angle (ACA) may cause an elevated intraocular pressure and gradually lead to glaucomatous optic neuropathy and eventually to visual impairment and blindness. Anterior Segment Optical Coherence Tomography (AS-OCT) imaging provides a fast and contactless way to discriminate angle closure from open angle. Although many medical image analysis algorithms have been developed for glaucoma diagnosis, only a few studies have focused on AS-OCT imaging. In particular, there is no public AS-OCT dataset available for evaluating the existing methods in a uniform way, which limits progress in the development of automated techniques for angle closure detection and assessment. To address this, we organized the Angle closure Glaucoma Evaluation challenge (AGE), held in conjunction with MICCAI 2019. The AGE challenge consisted of two tasks: scleral spur localization and angle closure classification. For this challenge, we released a large dataset of 4800 annotated AS-OCT images from 199 patients, and also proposed an evaluation framework to benchmark and compare different models. During the AGE challenge, over 200 teams registered online, and more than 1100 results were submitted for online evaluation. Finally, eight teams participated in the onsite challenge. In this paper, we summarize these eight onsite challenge methods and analyze their corresponding results for the two tasks. We further discuss limitations and future directions. In the AGE challenge, the top-performing approach had an average Euclidean Distance of 10 pixels (10um) in scleral spur localization, while in the task of angle closure classification, all the algorithms achieved satisfactory performances, with two best obtaining an accuracy rate of 100%.
△ Less
Submitted 31 July, 2020; v1 submitted 5 May, 2020;
originally announced May 2020.
-
Arc Routing with Time-Dependent Travel Times and Paths
Authors:
Thibaut Vidal,
Rafael Martinelli,
Tuan Anh Pham,
Minh Hoàng Hà
Abstract:
Vehicle routing algorithms usually reformulate the road network into a complete graph in which each arc represents the shortest path between two locations. Studies on time-dependent routing followed this model and therefore defined the speed functions on the complete graph. We argue that this model is often inadequate, in particular for arc routing problems involving services on edges of a road ne…
▽ More
Vehicle routing algorithms usually reformulate the road network into a complete graph in which each arc represents the shortest path between two locations. Studies on time-dependent routing followed this model and therefore defined the speed functions on the complete graph. We argue that this model is often inadequate, in particular for arc routing problems involving services on edges of a road network. To fill this gap, we formally define the time-dependent capacitated arc routing problem (TDCARP), with travel and service speed functions given directly at the network level. Under these assumptions, the quickest path between locations can change over time, leading to a complex problem that challenges the capabilities of current solution methods. We introduce effective algorithms for preprocessing quickest paths in a closed form, efficient data structures for travel time queries during routing optimization, as well as heuristic and exact solution approaches for the TDCARP. Our heuristic uses the hybrid genetic search principle with tailored solution-decoding algorithms and lower bounds for filtering moves. Our branch-and-price algorithm exploits dedicated pricing routines, heuristic dominance rules and completion bounds to find optimal solutions for problem counting up to 75 services. Based on these algorithms, we measure the benefits of time-dependent routing optimization for different levels of travel-speed data accuracy.
△ Less
Submitted 29 April, 2020;
originally announced April 2020.
-
Manipulation Detection in Satellite Images Using Deep Belief Networks
Authors:
János Horváth,
Daniel Mas Montserrat,
Hanxiang Hao,
Edward J. Delp
Abstract:
Satellite images are more accessible with the increase of commercial satellites being orbited. These images are used in a wide range of applications including agricultural management, meteorological prediction, damage assessment from natural disasters, and cartography. Image manipulation tools including both manual editing tools and automated techniques can be easily used to tamper and modify sate…
▽ More
Satellite images are more accessible with the increase of commercial satellites being orbited. These images are used in a wide range of applications including agricultural management, meteorological prediction, damage assessment from natural disasters, and cartography. Image manipulation tools including both manual editing tools and automated techniques can be easily used to tamper and modify satellite imagery. One type of manipulation that we examine in this paper is the splice attack where a region from one image (or the same image) is inserted (spliced) into an image. In this paper, we present a one-class detection method based on deep belief networks (DBN) for splicing detection and localization without using any prior knowledge of the manipulations. We evaluate the performance of our approach and show that it provides good detection and localization accuracies in small forgeries compared to other approaches.
△ Less
Submitted 26 April, 2020;
originally announced April 2020.
-
Deepfakes Detection with Automatic Face Weighting
Authors:
Daniel Mas Montserrat,
Hanxiang Hao,
S. K. Yarlagadda,
Sriram Baireddy,
Ruiting Shao,
János Horváth,
Emily Bartusiak,
Justin Yang,
David Güera,
Fengqing Zhu,
Edward J. Delp
Abstract:
Altered and manipulated multimedia is increasingly present and widely distributed via social media platforms. Advanced video manipulation tools enable the generation of highly realistic-looking altered multimedia. While many methods have been presented to detect manipulations, most of them fail when evaluated with data outside of the datasets used in research environments. In order to address this…
▽ More
Altered and manipulated multimedia is increasingly present and widely distributed via social media platforms. Advanced video manipulation tools enable the generation of highly realistic-looking altered multimedia. While many methods have been presented to detect manipulations, most of them fail when evaluated with data outside of the datasets used in research environments. In order to address this problem, the Deepfake Detection Challenge (DFDC) provides a large dataset of videos containing realistic manipulations and an evaluation system that ensures that methods work quickly and accurately, even when faced with challenging data. In this paper, we introduce a method based on convolutional neural networks (CNNs) and recurrent neural networks (RNNs) that extracts visual and temporal features from faces present in videos to accurately detect manipulations. The method is evaluated with the DFDC dataset, providing competitive results compared to other techniques.
△ Less
Submitted 4 May, 2020; v1 submitted 24 April, 2020;
originally announced April 2020.
-
Chudnovsky's Conjecture and the stable Harbourne-Huneke containment
Authors:
Sankhaneel Bisui,
Eloísa Grifo,
Huy Tài Hà,
Thái Thành Nguyên
Abstract:
In this paper, we investigate containment statements between symbolic and ordinary powers and bounds on the Waldschmidt constant of defining ideals of points in projective spaces. We establish the stable Harbourne conjecture for the defining ideal of a general set of points. We also prove Chudnovsky's Conjecture and the stable version of the Harbourne--Huneke containment conjectures for a general…
▽ More
In this paper, we investigate containment statements between symbolic and ordinary powers and bounds on the Waldschmidt constant of defining ideals of points in projective spaces. We establish the stable Harbourne conjecture for the defining ideal of a general set of points. We also prove Chudnovsky's Conjecture and the stable version of the Harbourne--Huneke containment conjectures for a general set of sufficiently many points.
△ Less
Submitted 15 June, 2021; v1 submitted 23 April, 2020;
originally announced April 2020.
-
Spatio-Temporal Dual Affine Differential Invariant for Skeleton-based Action Recognition
Authors:
Qi Li,
Hanlin Mo,
**ghan Zhao,
Hongxiang Hao,
Hua Li
Abstract:
The dynamics of human skeletons have significant information for the task of action recognition. The similarity between trajectories of corresponding joints is an indicating feature of the same action, while this similarity may subject to some distortions that can be modeled as the combination of spatial and temporal affine transformations. In this work, we propose a novel feature called spatio-te…
▽ More
The dynamics of human skeletons have significant information for the task of action recognition. The similarity between trajectories of corresponding joints is an indicating feature of the same action, while this similarity may subject to some distortions that can be modeled as the combination of spatial and temporal affine transformations. In this work, we propose a novel feature called spatio-temporal dual affine differential invariant (STDADI). Furthermore, in order to improve the generalization ability of neural networks, a channel augmentation method is proposed. On the large scale action recognition dataset NTU-RGB+D, and its extended version NTU-RGB+D 120, it achieves remarkable improvements over previous state-of-the-art methods.
△ Less
Submitted 21 April, 2020;
originally announced April 2020.
-
An Attention-Based System for Damage Assessment Using Satellite Imagery
Authors:
Hanxiang Hao,
Sriram Baireddy,
Emily R. Bartusiak,
Latisha Konz,
Kevin LaTourette,
Michael Gribbons,
Moses Chan,
Mary L. Comer,
Edward J. Delp
Abstract:
When disaster strikes, accurate situational information and a fast, effective response are critical to save lives. Widely available, high resolution satellite images enable emergency responders to estimate locations, causes, and severity of damage. Quickly and accurately analyzing the extensive amount of satellite imagery available, though, requires an automatic approach. In this paper, we present…
▽ More
When disaster strikes, accurate situational information and a fast, effective response are critical to save lives. Widely available, high resolution satellite images enable emergency responders to estimate locations, causes, and severity of damage. Quickly and accurately analyzing the extensive amount of satellite imagery available, though, requires an automatic approach. In this paper, we present Siam-U-Net-Attn model - a multi-class deep learning model with an attention mechanism - to assess damage levels of buildings given a pair of satellite images depicting a scene before and after a disaster. We evaluate the proposed method on xView2, a large-scale building damage assessment dataset, and demonstrate that the proposed approach achieves accurate damage scale classification and building segmentation results simultaneously.
△ Less
Submitted 14 April, 2020;
originally announced April 2020.
-
Evidence for spontaneous arrangement of two-way flow in water bridge via particle image velocimetry
Authors:
**-Rui Tsai,
Hong-Yue Huang,
Cheng-Wei Lai,
Yu-Ting Cheng,
Chih-Yung Huang,
Cheng-En Tsai,
Yi-Chun Lee,
Hong Hao,
Tzay-Ming Hong
Abstract:
By revisiting the century-old problem of water bridge, we demonstrate that it is in fact dynamic and comprises of two coaxial water currents that carry different charges and flow in opposite directions. This spontaneous separation is triggered by the different stages to construct the water bridge. Initially, a flow is facilitated by the cone jet that is powered by H+ and flows out of the positive-…
▽ More
By revisiting the century-old problem of water bridge, we demonstrate that it is in fact dynamic and comprises of two coaxial water currents that carry different charges and flow in opposite directions. This spontaneous separation is triggered by the different stages to construct the water bridge. Initially, a flow is facilitated by the cone jet that is powered by H+ and flows out of the positive-electrode beaker. An opposing cone-jet from negative beaker is established later and forced to take the outer route. This spontaneous arrangement of two-way flow is revealed by using fluorescein and carbon powder as tracers, and the Particle Image Velocimetry, These two opposing flows are found to carry non-equal flux that results in a net transport of water to the negative beaker. We manage to estimate the flow speed and cross-sectional area of these co-axial flows as a function of time and applied voltage. Note that the water on the outer layer functions as a millimeter tube that confines and interacts strongly with the flow inside. This provides a first natural and yet counter example to the recently reported near-frictionless flow in an equally miniatureized soft wall made from ferrofluid.
△ Less
Submitted 25 July, 2023; v1 submitted 10 April, 2020;
originally announced April 2020.
-
The two-echelon routing problem with truck and drones
Authors:
Minh Hoàng Hà,
Lam Vu,
Duy Manh Vu
Abstract:
In this paper, we study novel variants of the well-known two-echelon vehicle routing problem in which a truck works on the first echelon to transport parcels and a fleet of drones to intermediate depots while in the second echelon, the drones are used to deliver parcels from intermediate depots to customers. The objective is to minimize the completion time instead of the transportation cost as in…
▽ More
In this paper, we study novel variants of the well-known two-echelon vehicle routing problem in which a truck works on the first echelon to transport parcels and a fleet of drones to intermediate depots while in the second echelon, the drones are used to deliver parcels from intermediate depots to customers. The objective is to minimize the completion time instead of the transportation cost as in classical 2-echelon vehicle routing problems. Depending on the context, a drone can be launched from the truck at an intermediate depot once (single trip drone) or several times (multiple trip drone). Mixed Integer Linear Programming (MILP) models are first proposed to formulate mathematically the problems and solve to optimality small-size instances. To handle larger instances, a metaheuristic based on the idea of Greedy Randomized Adaptive Search Procedure (GRASP) is introduced. Experimental results obtained on instances of different contexts are reported and analyzed.
△ Less
Submitted 5 April, 2020;
originally announced April 2020.
-
QMCPACK: Advances in the development, efficiency, and application of auxiliary field and real-space variational and diffusion Quantum Monte Carlo
Authors:
P. R. C. Kent,
Abdulgani Annaberdiyev,
Anouar Benali,
M. Chandler Bennett,
Edgar Josue Landinez Borda,
Peter Doak,
Kenneth D. Jordan,
Jaron T. Krogel,
Ilkka Kylanpaa,
Joonho Lee,
Ye Luo,
Fionn D. Malone,
Cody A. Melton,
Lubos Mitas,
Miguel A. Morales,
Eric Neuscamman,
Fernando A. Reboredo,
Brenda Rubenstein,
Kayahan Saritas,
Shiv Upadhyay,
Hongxia Hao,
Guangming Wang,
Shuai Zhang,
Luning Zhao
Abstract:
We review recent advances in the capabilities of the open source ab initio Quantum Monte Carlo (QMC) package QMCPACK and the workflow tool Nexus used for greater efficiency and reproducibility. The auxiliary field QMC (AFQMC) implementation has been greatly expanded to include k-point symmetries, tensor-hypercontraction, and accelerated graphical processing unit (GPU) support. These scaling and me…
▽ More
We review recent advances in the capabilities of the open source ab initio Quantum Monte Carlo (QMC) package QMCPACK and the workflow tool Nexus used for greater efficiency and reproducibility. The auxiliary field QMC (AFQMC) implementation has been greatly expanded to include k-point symmetries, tensor-hypercontraction, and accelerated graphical processing unit (GPU) support. These scaling and memory reductions greatly increase the number of orbitals that can practically be included in AFQMC calculations, increasing accuracy. Advances in real space methods include techniques for accurate computation of band gaps and for systematically improving the nodal surface of ground state wavefunctions. Results of these calculations can be used to validate application of more approximate electronic structure methods including GW and density functional based techniques. To provide an improved foundation for these calculations we utilize a new set of correlation-consistent effective core potentials (pseudopotentials) that are more accurate than previous sets; these can also be applied in quantum-chemical and other many-body applications, not only QMC. These advances increase the efficiency, accuracy, and range of properties that can be studied in both molecules and materials with QMC and QMCPACK.
△ Less
Submitted 6 May, 2020; v1 submitted 3 March, 2020;
originally announced March 2020.
-
Temporal Convolutional Attention-based Network For Sequence Modeling
Authors:
Hongyan Hao,
Yan Wang,
Siqiao Xue,
Yudi Xia,
Jian Zhao,
Furao Shen
Abstract:
With the development of feed-forward models, the default model for sequence modeling has gradually evolved to replace recurrent networks. Many powerful feed-forward models based on convolutional networks and attention mechanism were proposed and show more potential to handle sequence modeling tasks. We wonder that is there an architecture that can not only achieve an approximate substitution of re…
▽ More
With the development of feed-forward models, the default model for sequence modeling has gradually evolved to replace recurrent networks. Many powerful feed-forward models based on convolutional networks and attention mechanism were proposed and show more potential to handle sequence modeling tasks. We wonder that is there an architecture that can not only achieve an approximate substitution of recurrent network, but also absorb the advantages of feed-forward models. So we propose an exploratory architecture referred to Temporal Convolutional Attention-based Network (TCAN) which combines temporal convolutional network and attention mechanism. TCAN includes two parts, one is Temporal Attention (TA) which captures relevant features inside the sequence, the other is Enhanced Residual (ER) which extracts shallow layer's important information and transfers to deep layers. We improve the state-of-the-art results of bpc/perplexity to 30.28 on word-level PTB, 1.092 on character-level PTB, and 9.20 on WikiText-2.
△ Less
Submitted 13 October, 2023; v1 submitted 27 February, 2020;
originally announced February 2020.
-
Progress on sufficient conditions for a graph to have a spanning $k-$ended tree
Authors:
Pham Hoang Ha
Abstract:
In 1998, Broersma and Tuinstra [J. Graph Theory \textbf{29} (1998), 227-237] proved that if $G$ is a connected graph satisfying $σ_2(G) \geq |G|-k+1$ then $G$ has a spanning $k-$ended tree. They also gave an example to show that the condition "$σ_2(G) \geq |G|-k+1$" is sharp. In this paper, we introduce a new progress for this result. Let $K_{m,m+k}$ be a complete bipartite graph with bipartition…
▽ More
In 1998, Broersma and Tuinstra [J. Graph Theory \textbf{29} (1998), 227-237] proved that if $G$ is a connected graph satisfying $σ_2(G) \geq |G|-k+1$ then $G$ has a spanning $k-$ended tree. They also gave an example to show that the condition "$σ_2(G) \geq |G|-k+1$" is sharp. In this paper, we introduce a new progress for this result. Let $K_{m,m+k}$ be a complete bipartite graph with bipartition $V(K_{m,m+k})=A\cup B, |A|=m, |B|=m+k.$ Denote by $H$ to be the graph obtained from $K_{m,m+k}$ by adding (or no adding) some edges with two end vertices in $A.$ We prove that if $G$ is a connected graph satisfying $σ_2(G) \geq |G|-k$ then $G$ has a spanning $k-$ended tree except for the case $G$ is isomorphic to a graph $H.$ As a corollary of our main result, a sufficient condition for a graph to have a few branch vertices is given.
△ Less
Submitted 20 February, 2020;
originally announced February 2020.
-
Low-threshold topological nanolasers based on second-order corner state
Authors:
Weixuan Zhang,
Xin Xie,
Huiming Hao,
Jianchen Dang,
Shan Xiao,
Shushu Shi,
Haiqiao Ni,
Zhichuan Niu,
Can Wang,
Kuijuan **,
Xiangdong Zhang,
Xiulai Xu
Abstract:
The topological lasers, which are immune to imperfections and disorders, have been recently demonstrated based on many kinds of robust edge states, being mostly at microscale. The realization of 2D on-chip topological nanolasers, having the small footprint, low threshold and high energy efficiency, is still to be explored. Here, we report on the first experimental demonstration of the topological…
▽ More
The topological lasers, which are immune to imperfections and disorders, have been recently demonstrated based on many kinds of robust edge states, being mostly at microscale. The realization of 2D on-chip topological nanolasers, having the small footprint, low threshold and high energy efficiency, is still to be explored. Here, we report on the first experimental demonstration of the topological nanolaser with high performance in 2D photonic crystal slab. Based on the generalized 2D Su-Schrieffer-Heeger model, a topological nanocavity is formed with the help of the Wannier-type 0D corner state. Laser behaviors with low threshold about 1 $μW$ and high spontaneous emission coupling factor of 0.25 are observed with quantum dots as the active material. Such performance is much better than that of topological edge lasers and comparable to conventional photonic crystal nanolasers. Our experimental demonstration of the low-threshold topological nanolaser will be of great significance to the development of topological nanophotonic circuitry for manipulation of photons in classical and quantum regimes.
△ Less
Submitted 3 April, 2020; v1 submitted 16 February, 2020;
originally announced February 2020.
-
Max Min vertex cover and the size of Betti tables
Authors:
Huy Tai Ha,
Takayuki Hibi
Abstract:
Let $G$ be a finite simple graph on $n$ vertices, that contains no isolated vertices, and let $I(G) \subseteq S = K[x_1, \dots, x_n]$ be its edge ideal. In this paper, we study the pair of integers that measure the projective dimension and the regularity of $S/I(G)$. We show that if the projective dimension of $S/I(G)$ attains its minimum value $2\sqrt{n}-2$ then, with only one exception, the its…
▽ More
Let $G$ be a finite simple graph on $n$ vertices, that contains no isolated vertices, and let $I(G) \subseteq S = K[x_1, \dots, x_n]$ be its edge ideal. In this paper, we study the pair of integers that measure the projective dimension and the regularity of $S/I(G)$. We show that if the projective dimension of $S/I(G)$ attains its minimum value $2\sqrt{n}-2$ then, with only one exception, the its regularity must be 1. We also provide a full description for the spectrum of the projective dimension of $S/I(G)$ when the regularity attains its minimum value 1.
△ Less
Submitted 15 April, 2020; v1 submitted 6 February, 2020;
originally announced February 2020.
-
Distributionally Robust Bayesian Quadrature Optimization
Authors:
Thanh Tang Nguyen,
Sunil Gupta,
Huong Ha,
Santu Rana,
Svetha Venkatesh
Abstract:
Bayesian quadrature optimization (BQO) maximizes the expectation of an expensive black-box integrand taken over a known probability distribution. In this work, we study BQO under distributional uncertainty in which the underlying probability distribution is unknown except for a limited set of its i.i.d. samples. A standard BQO approach maximizes the Monte Carlo estimate of the true expected object…
▽ More
Bayesian quadrature optimization (BQO) maximizes the expectation of an expensive black-box integrand taken over a known probability distribution. In this work, we study BQO under distributional uncertainty in which the underlying probability distribution is unknown except for a limited set of its i.i.d. samples. A standard BQO approach maximizes the Monte Carlo estimate of the true expected objective given the fixed sample set. Though Monte Carlo estimate is unbiased, it has high variance given a small set of samples; thus can result in a spurious objective function. We adopt the distributionally robust optimization perspective to this problem by maximizing the expected objective under the most adversarial distribution. In particular, we propose a novel posterior sampling based algorithm, namely distributionally robust BQO (DRBQO) for this purpose. We demonstrate the empirical effectiveness of our proposed framework in synthetic and real-world problems, and characterize its theoretical convergence via Bayesian regret.
△ Less
Submitted 19 January, 2020;
originally announced January 2020.
-
Performance optimization and modeling of fine-grained irregular communication in UPC
Authors:
Jérémie Lagravière,
Johannes Langguth,
Martina Prugger,
Lukas Einkemmer,
Phuong H. Ha,
Xing Cai
Abstract:
The UPC programming language offers parallelism via logically partitioned shared memory, which typically spans physically disjoint memory sub-systems. One convenient feature of UPC is its ability to automatically execute between-thread data movement, such that the entire content of a shared data array appears to be freely accessible by all the threads. The programmer friendliness, however, can com…
▽ More
The UPC programming language offers parallelism via logically partitioned shared memory, which typically spans physically disjoint memory sub-systems. One convenient feature of UPC is its ability to automatically execute between-thread data movement, such that the entire content of a shared data array appears to be freely accessible by all the threads. The programmer friendliness, however, can come at the cost of substantial performance penalties. This is especially true when indirectly indexing the elements of a shared array, for which the induced between-thread data communication can be irregular and have a fine-grained pattern. In this paper we study performance enhancement strategies specifically targeting such fine-grained irregular communication in UPC. Starting from explicit thread privatization, continuing with block-wise communication, and arriving at message condensing and consolidation, we obtained considerable performance improvement of UPC programs that originally require fine-grained irregular communication. Besides the performance enhancement strategies, the main contribution of the present paper is to propose performance models for the different scenarios, in form of quantifiable formulas that hinge on the actual volumes of various data movements plus a small number of easily obtainable hardware characteristic parameters. These performance models help to verify the enhancements obtained, while also providing insightful predictions of similar parallel implementations, not limited to UPC, that also involve between-thread or between-process irregular communication. As a further validation, we also apply our performance modeling methodology and hardware characteristic parameters to an existing UPC code for solving a 2D heat equation on a uniform mesh.
△ Less
Submitted 29 December, 2019;
originally announced December 2019.
-
On the Performance and Energy Efficiency of the PGAS Programming Model on Multicore Architectures
Authors:
Jérémie Lagravière,
Johannes Langguth,
Mohammed Sourouri,
Phuong H. Ha,
Xing Cai
Abstract:
Using large-scale multicore systems to get the maximum performance and energy efficiency with manageable programmability is a major challenge. The partitioned global address space (PGAS) programming model enhances programmability by providing a global address space over large-scale computing systems. However, so far the performance and energy efficiency of the PGAS model on multicore-based paralle…
▽ More
Using large-scale multicore systems to get the maximum performance and energy efficiency with manageable programmability is a major challenge. The partitioned global address space (PGAS) programming model enhances programmability by providing a global address space over large-scale computing systems. However, so far the performance and energy efficiency of the PGAS model on multicore-based parallel architectures have not been investigated thoroughly. In this paper we use a set of selected kernels from the well-known NAS Parallel Benchmarks to evaluate the performance and energy efficiency of the UPC programming language, which is a widely used implementation of the PGAS model. In addition, the MPI and OpenMP versions of the same parallel kernels are used for comparison with their UPC counterparts. The investigated hardware platforms are based on multicore CPUs, both within a single 16-core node and across multiple nodes involving up to 1024 physical cores. On the multi-node platform we used the hardware measurement solution called High definition Energy Efficiency Monitoring tool in order to measure energy. On the single-node system we used the hybrid measurement solution to make an effort into understanding the observed performance differences, we use the Intel Performance Counter Monitor to quantify in detail the communication time, cache hit/miss ratio and memory usage. Our experiments show that UPC is competitive with OpenMP and MPI on single and multiple nodes, with respect to both the performance and energy efficiency.
△ Less
Submitted 29 December, 2019;
originally announced December 2019.
-
Diels-Alder Reactions in Water are Determined by Microsolvation
Authors:
Luis Ruiz Pestana,
Hongxia Hao,
Teresa Head-Gordon
Abstract:
Nanoconfined aqueous environments and the recent advent of accelerated chemistry in microdroplets are increasingly being investigated for catalysis. The mechanisms underlying the enhanced reactivity in alternate solvent environments, and whether the enhanced reactivity due to nanoconfinement is a universal phenomenon, are not fully understood. Here, we use ab initio molecular dynamics simulations…
▽ More
Nanoconfined aqueous environments and the recent advent of accelerated chemistry in microdroplets are increasingly being investigated for catalysis. The mechanisms underlying the enhanced reactivity in alternate solvent environments, and whether the enhanced reactivity due to nanoconfinement is a universal phenomenon, are not fully understood. Here, we use ab initio molecular dynamics simulations to characterize the free energy of a retro-Diels-Alder reaction in bulk water at very different densities and in water nanoconfined by parallel graphene sheets. We find that the broadly different global solvation environments accelerate the reactions to a similar degree with respect to the gas phase reaction, with activation free energies that do not differ by more than kbT from each other. The reason for the same acceleration factor in the extremely different solvation environments is that it is the microsolvation of the dienophile's carbonyl group that governs the transition state stabilization and mechanism, which is not significantly disrupted by either the lower density in bulk water or the strong nanoconfinement conditions used here. Our results also suggest that significant acceleration of Diels Alder reactions in microdroplets or on-water conditions can't arise from local microsolvation when water is present, but instead must come from highly altered reaction environments that drastically change the reaction mechanisms.
△ Less
Submitted 5 December, 2019; v1 submitted 9 November, 2019;
originally announced November 2019.
-
Metal-Insulator and Magnetic Phase Diagram of Ca$_2$RuO$_4$ from Auxiliary Field Quantum Monte Carlo and Dynamical Mean Field Theory
Authors:
Hongxia Hao,
Antoine Georges,
Andrew J. Millis,
Brenda Rubenstein,
Qiang Han,
Hao Shi
Abstract:
Layered perovskite ruthenium oxides exhibit a striking series of metal-insulator and magnetic-nonmagnetic phase transitions easily tuned by temperature, pressure, epitaxy, and nonlinear drive. In this work, we combine results from two complementary state of the art many-body methods, Auxiliary Field Quantum Monte Carlo and Dynamical Mean Field Theory, to determine the low-temperature phase diagram…
▽ More
Layered perovskite ruthenium oxides exhibit a striking series of metal-insulator and magnetic-nonmagnetic phase transitions easily tuned by temperature, pressure, epitaxy, and nonlinear drive. In this work, we combine results from two complementary state of the art many-body methods, Auxiliary Field Quantum Monte Carlo and Dynamical Mean Field Theory, to determine the low-temperature phase diagram of Ca$_2$RuO$_4$. Both methods predict a low temperature, pressure-driven metal-insulator transition accompanied by a ferromagnetic-antiferromagnetic transition. The properties of the ferromagnetic state vary non-monotonically with pressure and are dominated by the ruthenium $d_{xy}$ orbital, while the properties of the antiferromagnetic state are dominated by the $d_{xz}$ and $d_{yz}$ orbitals. Differences of detail in the predictions of the two methods are analyzed. This work is theoretically important as it presents the first application of the Auxiliary Field Quantum Monte Carlo method to an orbitally-degenerate system with both Mott and Hunds physics, and provides an important comparison of the Dynamical Mean Field and Auxiliary Field Quantum Monte Carlo methods.
△ Less
Submitted 6 November, 2019;
originally announced November 2019.
-
Topologically Enabled Ultralarge Purcell Enhancement Robust to Photon Scattering
Authors:
Zhiyuan Qian,
Zhichao Li,
He Hao,
Lingxiao Shan,
Qihuang Gong,
Ying Gu
Abstract:
Micro/nanoscale single photon source is a building block of on-chip quantum information devices. Owing to possessing ultrasmall optical mode volume, plasmon structures can provide large Purcell enhancement, however scattering and absorption are two barriers to prevent them from being used in practice. To overcome these barriers, we propose the topological photonic structure containing resonant pla…
▽ More
Micro/nanoscale single photon source is a building block of on-chip quantum information devices. Owing to possessing ultrasmall optical mode volume, plasmon structures can provide large Purcell enhancement, however scattering and absorption are two barriers to prevent them from being used in practice. To overcome these barriers, we propose the topological photonic structure containing resonant plasmon nanoantenna, where nanoantenna provides large Purcell enhancement while topological photonic crystal guides all scattering light into its edge state. Through the optical mode design, the rate of single photons emitted into the edge state reaches more than 104γ0 simultaneously accompanied with an obvious reduction of absorption. This kind of nonscattering large Purcell enhancement will provide new sight for on-chip quantum light sources such as a single photon source and nanolaser.
△ Less
Submitted 30 October, 2019;
originally announced October 2019.
-
A new constraint programming model and a linear programming-based adaptive large neighborhood search for the vehicle routing problem with synchronization constraints
Authors:
Minh Hoàng Hà,
Tat Dat Nguyen,
Thinh Nguyen Duy,
Hoang Giang Pham,
Thuy Do,
Louis-Martin Rousseau
Abstract:
We consider a vehicle routing problem which seeks to minimize cost subject to time window and synchronization constraints. In this problem, the fleet of vehicles is categorized into regular and special vehicles. Some customers require both vehicles' services, whose starting service times at the customer are synchronized. Despite its important real-world application, this problem has rarely been st…
▽ More
We consider a vehicle routing problem which seeks to minimize cost subject to time window and synchronization constraints. In this problem, the fleet of vehicles is categorized into regular and special vehicles. Some customers require both vehicles' services, whose starting service times at the customer are synchronized. Despite its important real-world application, this problem has rarely been studied in the literature. To solve the problem, we propose a Constraint Programming (CP) model and an Adaptive Large Neighborhood Search (ALNS) in which the design of insertion operators is based on solving linear programming (LP) models to check the insertion feasibility. A number of acceleration techniques is also proposed to significantly reduce the computational time. The computational experiments show that our new CP model finds better solutions than an existing CP-based ANLS, when used on small instances with 25 customers and with a much shorter running time. Our LP-based ALNS dominates the cp-ALNS, in terms of solution quality, when it provides solutions with better objective values, on average, for all instance classes. This demonstrates the advantage of using linear programming instead of constraint programming when dealing with a variant of vehicle routing problems with relatively tight constraints, which is often considered to be more favorable for CP-based methods.
△ Less
Submitted 17 October, 2019;
originally announced October 2019.
-
Bayesian Optimization with Unknown Search Space
Authors:
Huong Ha,
Santu Rana,
Sunil Gupta,
Thanh Nguyen,
Hung Tran-The,
Svetha Venkatesh
Abstract:
Applying Bayesian optimization in problems wherein the search space is unknown is challenging. To address this problem, we propose a systematic volume expansion strategy for the Bayesian optimization. We devise a strategy to guarantee that in iterative expansions of the search space, our method can find a point whose function value within epsilon of the objective function maximum. Without the need…
▽ More
Applying Bayesian optimization in problems wherein the search space is unknown is challenging. To address this problem, we propose a systematic volume expansion strategy for the Bayesian optimization. We devise a strategy to guarantee that in iterative expansions of the search space, our method can find a point whose function value within epsilon of the objective function maximum. Without the need to specify any parameters, our algorithm automatically triggers a minimal expansion required iteratively. We derive analytic expressions for when to trigger the expansion and by how much to expand. We also provide theoretical analysis to show that our method achieves epsilon-accuracy after a finite number of iterations. We demonstrate our method on both benchmark test functions and machine learning hyper-parameter tuning tasks and demonstrate that our method outperforms baselines.
△ Less
Submitted 29 October, 2019;
originally announced October 2019.
-
HyperProv: Decentralized Resilient Data Provenance at the Edge with Blockchains
Authors:
Petter Tunstad,
Amin M. Khan,
Phuong Hoai Ha
Abstract:
Data provenance and lineage are critical for ensuring integrity and reproducibility of information in research and application. This is particularly challenging for distributed scenarios, where data may be originating from decentralized sources without any central control by a single trusted entity. We present HyperProv, a general framework for data provenance based on the permissioned blockchain…
▽ More
Data provenance and lineage are critical for ensuring integrity and reproducibility of information in research and application. This is particularly challenging for distributed scenarios, where data may be originating from decentralized sources without any central control by a single trusted entity. We present HyperProv, a general framework for data provenance based on the permissioned blockchain Hyperledger Fabric (HLF), and to the best of our knowledge, the first system that is ported to ARM based devices such as Raspberry Pi (RPi). HyperProv tracks the metadata, operation history and data lineage through a set of built-in queries using smart contracts, enabling lightweight retrieval of provenance data. HyperProv provides convenient integration through a NodeJS client library, and also includes off-chain storage through the SSH file system. We evaluate HyperProv's performance, throughput, resource consumption, and energy efficiency on x86-64 machines, as well as on RPi devices for IoT use cases at the edge.
△ Less
Submitted 13 October, 2019;
originally announced October 2019.
-
Bias induced spin state transition mediated by electron excitations
Authors:
Hua Hao,
Ting Jia,
Xiaohong Zheng,
Peng Liu,
Zhi Zeng
Abstract:
Recent experiments reported that spin-state transitions were realized by applying bias voltages. But these bias-induced spin state transitions (BISSTs) are not fully understood, especially the mechanism. It is well known that the metal-to-ligand charge transfer excitation (MLCT) and the metal-centered excitation (MC) activated by light radiation can induce the transition from low spin (LS) to high…
▽ More
Recent experiments reported that spin-state transitions were realized by applying bias voltages. But these bias-induced spin state transitions (BISSTs) are not fully understood, especially the mechanism. It is well known that the metal-to-ligand charge transfer excitation (MLCT) and the metal-centered excitation (MC) activated by light radiation can induce the transition from low spin (LS) to high spin (HS) and that from HS to LS. Moreover, electronic excitations are accessible by inelastic cotunneling in molecular junctions with bias voltages applied. Based on these two experimental facts, we propose the MLCT basically leads to the BISST from LS to HS, and the MC results in the BISST from HS to LS. The rationality of the mechanism is demonstrated by comparing first-principles results and experimental observations. The calculated voltage threshold for activating the MLCT (MC) is close to the experimental voltage for observing the BISST from LS to HS (from HS to LS). The activation of MLCT (MC) depends on the bias polarity, which can explain the bias-polarity dependence of BISST in the experiment. Our study is important for further design of molecular spintronic devices working on spin state transition.
△ Less
Submitted 9 September, 2019;
originally announced September 2019.
-
Open DNN Box by Power Side-Channel Attack
Authors:
Yun Xiang,
Zhuangzhi Chen,
Zuohui Chen,
Zebin Fang,
Haiyang Hao,
**yin Chen,
Yi Liu,
Zhefu Wu,
Qi Xuan,
Xiaoniu Yang
Abstract:
Deep neural networks are becoming popular and important assets of many AI companies. However, recent studies indicate that they are also vulnerable to adversarial attacks. Adversarial attacks can be either white-box or black-box. The white-box attacks assume full knowledge of the models while the black-box ones assume none. In general, revealing more internal information can enable much more power…
▽ More
Deep neural networks are becoming popular and important assets of many AI companies. However, recent studies indicate that they are also vulnerable to adversarial attacks. Adversarial attacks can be either white-box or black-box. The white-box attacks assume full knowledge of the models while the black-box ones assume none. In general, revealing more internal information can enable much more powerful and efficient attacks. However, in most real-world applications, the internal information of embedded AI devices is unavailable, i.e., they are black-box. Therefore, in this work, we propose a side-channel information based technique to reveal the internal information of black-box models. Specifically, we have made the following contributions: (1) we are the first to use side-channel information to reveal internal network architecture in embedded devices; (2) we are the first to construct models for internal parameter estimation; and (3) we validate our methods on real-world devices and applications. The experimental results show that our method can achieve 96.50\% accuracy on average. Such results suggest that we should pay strong attention to the security problem of many AI applications, and further propose corresponding defensive strategies in the future.
△ Less
Submitted 21 July, 2019;
originally announced July 2019.
-
Algebraic algorithms for even circuits in graphs
Authors:
Huy Tai Ha,
Susan Morey
Abstract:
We present an algebraic algorithm to detect the existence of and to list all indecomposable even circuits in a given graph. We also discuss an application of our work to the study of directed cycles in digraphs.
We present an algebraic algorithm to detect the existence of and to list all indecomposable even circuits in a given graph. We also discuss an application of our work to the study of directed cycles in digraphs.
△ Less
Submitted 19 September, 2019; v1 submitted 6 July, 2019;
originally announced July 2019.
-
Depth of powers of squarefree monomial ideals
Authors:
Louiza Fouli,
Huy Tài Hà,
Susan Morey
Abstract:
We derive two general bounds for the depths of powers of squarefree monomial ideals corresponding to hyperforests. These bounds generalize known bounds for the depths of squarefree monomial ideals, which were given in terms of the edgewise domination number of the corresponding hypergraphs and the lengths of initially regular sequences with respect to the ideals.
We derive two general bounds for the depths of powers of squarefree monomial ideals corresponding to hyperforests. These bounds generalize known bounds for the depths of squarefree monomial ideals, which were given in terms of the edgewise domination number of the corresponding hypergraphs and the lengths of initially regular sequences with respect to the ideals.
△ Less
Submitted 5 July, 2019; v1 submitted 30 June, 2019;
originally announced July 2019.
-
A Utility-Preserving GAN for Face Obscuration
Authors:
Hanxiang Hao,
David Güera,
Amy R. Reibman,
Edward J. Delp
Abstract:
From TV news to Google StreetView, face obscuration has been used for privacy protection. Due to recent advances in the field of deep learning, obscuration methods such as Gaussian blurring and pixelation are not guaranteed to conceal identity. In this paper, we propose a utility-preserving generative model, UP-GAN, that is able to provide an effective face obscuration, while preserving facial uti…
▽ More
From TV news to Google StreetView, face obscuration has been used for privacy protection. Due to recent advances in the field of deep learning, obscuration methods such as Gaussian blurring and pixelation are not guaranteed to conceal identity. In this paper, we propose a utility-preserving generative model, UP-GAN, that is able to provide an effective face obscuration, while preserving facial utility. By utility-preserving we mean preserving facial features that do not reveal identity, such as age, gender, skin tone, pose, and expression. We show that the proposed method achieves the best performance in terms of obscuration and utility preservation.
△ Less
Submitted 27 June, 2019;
originally announced June 2019.