arXiv subjects

Zhe Chen

Publications and source records attributed to Zhe Chen.

At least 289 records · Page 16Linked to original sources

arXiv2020

An Executable Operational Semantics for Rust with the Formalization of Ownership and Borrowing

Rust is an emergent systems programming language highlighting memory safety by its Ownership and Borrowing System (OBS). The existing formal semantics for Rust only covers limited subsets of the major language features of Rust. Moreover, they formalize OBS as type systems at the language-level, which can only be used to conservatively analyze programs against the OBS invariants at compile-time. That is, they are not executable, and thus cannot be used for automated verification of runtime behavior. In this paper, we propose RustSEM, a new executable operational semantics for Rust. RustSEM covers a much larger subset of the major language features than existing semantics. Moreover, RustSEM provides an operational semantics for OBS at the memory-level, which can be used to verify the runtime behavior of Rust programs against the OBS invariants. We have implemented RustSEM in the executable semantics modeling tool K-Framework. We have evaluated the semantics correctness of RustSEM wrt. the Rust compiler using around 700 tests. In particular, we have proposed a new technique for testing semantic consistency to ensure the absence of semantic ambiguities on all possible execution selections. We have also evaluated the potential applications of RustSEM in automated runtime and formal verification for both functional and memory properties. Experimental results show that RustSEM can enhance the memory safety mechanism of Rust, as it is more powerful than OBS in detecting memory errors.

cs.PL↗

arXiv2020

A note on cusp forms and representations of $\mathrm{SL}_2(\mathbb{F}_p)$

Cusp forms are certain holomorphic functions defined on the upper half-plane, and the space of cusp forms for the principal congruence subgroup $Γ(p)$, $p$ a prime, is acted by $\mathrm{SL}_2(\mathbb{F}_p)$. Meanwhile, there is a finite field incarnation of the upper half-plane, the Deligne--Lusztig (or Drinfeld) curve, whose cohomology space is also acted by $\mathrm{SL}_2(\mathbb{F}_p)$. In this note we compute the relation between these two spaces in the weight $2$ case.

math.RT↗

arXiv2020

Model-Free Voltage Regulation of Unbalanced Distribution Network Based on Surrogate Model and Deep Reinforcement Learning

Accurate knowledge of the distribution system topology and parameters is required to achieve good voltage controls, but this is difficult to obtain in practice. This paper develops a model-free approach based on the surrogate model and deep reinforcement learning (DRL). We have also extended it to deal with unbalanced three-phase scenarios. The key idea is to learn a surrogate model to capture the relationship between the power injections and voltage fluctuation of each node from historical data instead of using the original inaccurate model affected by errors and uncertainties. This allows us to integrate the DRL with the learned surrogate model. In particular, DRL is applied to learn the optimal control strategy from the experiences obtained by continuous interactions with the surrogate model. The integrated framework contains training three networks, i.e., surrogate model, actor, and critic networks, which fully leverage the strong nonlinear fitting ability of deep learning and DRL for online decision making. Several single-phase approaches have also been extended to deal with three-phase unbalance scenarios and the simulation results on the IEEE 123-bus system show that our proposed method can achieve similar performance as those that use accurate physical models.

eess.SY↗

arXiv2020

Highly Efficient Second Harmonic Generation of Thin Film Lithium Niobate Nanograting near Bound States in the Continuum

Bound states in the continuum (BICs), a concept from quantum mechanics, are ubiquitous physical phenomena where waves will be completely locked inside physical systems without energy leaky. Such a physical phenomenon in optics will provide a platform for optical mode confinement to strengthen local field enhancement in nonlinear optics. Here we utilize an optical system consisting of asymmetric nanogratings and waveguide of thin film lithium niobate (LiNbO3) material to enhance second harmonic response near BICs. By breaking the symmetry of grating periodicity, we realize strong local field confined inside waveguide up to 25 times normalized to incident field (with dissymmetric factor of 0.2), allowing strong light-matter interaction in nonlinear material. From the numerical simulation, we theoretically demonstrate that such an optical system can greatly enhance second harmonic intensity enhancement of about 104 compared with undersigned LiNbO3 film and conversion efficiency reaching 1.53e-5 for dissymmetric factor=0.2 under illumination of 1.33 GW/(suqare cm). Surprisingly, we can predict that a giant enhancement of second harmonic conversion efficiency will exceed 8.13e-5 for dissymmetric factor=0.1 when the optical system is extremely close to BICs. We believe that such an optical system to trap local field inside is also accessible to promote the application of thin film lithium niobate in the field of integrated nonlinear optics.

physics.optics↗

arXiv2020

Twisting operators and centralisers of Lie type groups over local rings

We extend the classical result asserting that the twisting operator preserves certain Deligne--Lusztig character values for truncated formal power series; along the way we discuss some properties of centralisers. This leads us to the construction of an action of $\mathrm{GL}_n(\mathbb{F}_q[[π]]/π^r)$ on a Springer fibre intersected by Deligne--Lusztig varieties; we determine the primitivities of the induced cohomological representations for single cycles. The case of $\mathrm{SL}_2$ over finite dual numbers is presented with a criterion on semisimple orbit representations.

math.RT↗

arXiv2020

Distributed Voltage Regulation of Active Distribution System Based on Enhanced Multi-agent Deep Reinforcement Learning

This paper proposes a data-driven distributed voltage control approach based on the spectrum clustering and the enhanced multi-agent deep reinforcement learning (MADRL) algorithm. Via the unsupervised clustering, the whole distribution system can be decomposed into several sub-networks according to the voltage and reactive power sensitivity. Then, the distributed control problem of each sub-network is modeled as Markov games and solved by the enhanced MADRL algorithm, where each sub-network is modeled as an adaptive agent. Deep neural networks are used in each agent to approximate the policy function and the action value function. All agents are centrally trained to learn the optimal coordinated voltage regulation strategy while executed in a distributed manner to make decisions based on only local information. The proposed method can significantly reduce the requirements of communications and knowledge of system parameters. It also effectively deals with uncertainties and can provide online coordinated control based on the latest local information. Comparison results with other existing model-based and data-driven methods on IEEE 33-bus and 123-bus systems demonstrate the effectiveness and benefits of the proposed approach.

eess.SY↗

arXiv2020

Four-valued monitorability of $ω$-regular languages

Runtime Verification (RV) is a lightweight formal technique in which program or system execution is monitored and analyzed, to check whether certain properties are satisfied or violated after a finite number of steps. The use of RV has led to interest in deciding whether a property is monitorable: whether it is always possible for the satisfaction or violation of the property to be determined after a finite future continuation. However, classical two-valued monitorability suffers from two inherent limitations. First, a property can only be evaluated as monitorable or non-monitorable; no information is available regarding whether only one verdict (satisfaction or violation) can be detected. Second, monitorability is defined at the language-level and does not tell us whether satisfaction or violation can be detected starting from the current monitor state during system execution. To address these limitations, this paper proposes a new notion of four-valued monitorability for $ω$-languages and applies it at the state-level. Four-valued monitorability is more informative than two-valued monitorability as a property can be evaluated as a four-valued result, denoting that only satisfaction, only violation, or both are active for a monitorable property. We can also compute state-level weak monitorability, i.e., whether satisfaction or violation can be detected starting from a given state in a monitor, which enables state-level optimizations of monitoring algorithms. Based on a new six-valued semantics, we propose procedures for computing four-valued monitorability of $ω$-regular languages, both at the language-level and at the state-level. We have developed a new tool that implements the proposed procedure for computing monitorability of LTL formulas.

cs.FL↗

arXiv2020

Optical anapole mode in nanostructured lithium niobate for enhancing second harmonic generation

Second harmonic generation (SHG) with a material of large transparency is an attractive way of generating coherent light sources at exotic wavelength range such as VUV, UV and visible light. It is of critical importance to improve nonlinear conversion efficiency in order to find practical applications in quantum light source and high resolution nonlinear microscopy, etc. Here an enhanced SHG with conversion efficiency up to the order of 0.01% at SH wavelength of 282 nm under 11 GW/cm2 pump power via the excitation of anapole in lithium niobite (LiNbO3, or LN) nanodisk through the dominating d33 nonlinear coefficient is investigated. The anapole has advantages of strongly suppressing far-field scattering and well-confined internal field which helps to boost the nonlinear conversion. Anapoles in LN nanodisk is facilitated by high index contrast between LN and substrate with properties of near-zero-index via hyperbolic metamaterial structure design. By tailoring the multi-layers structure of hyperbolic metamaterials, the anapole excitation wavelength can be tuned at different wavelengths. It indicates that an enhanced SHG can be achieved at a wide range of pump light wavelengths via different design of the epsilon-near-zero (ENZ) hyperbolic metamaterials substrates. The proposed nanostructure in this work might hold significances for the enhanced light-matter interactions at the nanoscale such as integrated optics.

physics.optics↗

arXiv2019

A Shape Transformation-based Dataset Augmentation Framework for Pedestrian Detection

Deep learning-based computer vision is usually data-hungry. Many researchers attempt to augment datasets with synthesized data to improve model robustness. However, the augmentation of popular pedestrian datasets, such as Caltech and Citypersons, can be extremely challenging because real pedestrians are commonly in low quality. Due to the factors like occlusions, blurs, and low-resolution, it is significantly difficult for existing augmentation approaches, which generally synthesize data using 3D engines or generative adversarial networks (GANs), to generate realistic-looking pedestrians. Alternatively, to access much more natural-looking pedestrians, we propose to augment pedestrian detection datasets by transforming real pedestrians from the same dataset into different shapes. Accordingly, we propose the Shape Transformation-based Dataset Augmentation (STDA) framework. The proposed framework is composed of two subsequent modules, i.e. the shape-guided deformation and the environment adaptation. In the first module, we introduce a shape-guided warping field to help deform the shape of a real pedestrian into a different shape. Then, in the second stage, we propose an environment-aware blending map to better adapt the deformed pedestrians into surrounding environments, obtaining more realistic-looking pedestrians and more beneficial augmentation results for pedestrian detection. Extensive empirical studies on different pedestrian detection benchmarks show that the proposed STDA framework consistently produces much better augmentation results than other pedestrian synthesis approaches using low-quality pedestrians. By augmenting the original datasets, our proposed framework also improves the baseline pedestrian detector by up to 38% on the evaluated benchmarks, achieving state-of-the-art performance.

cs.CV↗

arXiv2019

Human Keypoint Detection by Progressive Context Refinement

Human keypoint detection from a single image is very challenging due to occlusion, blur, illumination and scale variance of person instances. In this paper, we find that context information plays an important role in addressing these issues, and propose a novel method named progressive context refinement (PCR) for human keypoint detection. First, we devise a simple but effective context-aware module (CAM) that can efficiently integrate spatial and channel context information to aid feature learning for locating hard keypoints. Then, we construct the PCR model by stacking several CAMs sequentially with shortcuts and employ multi-task learning to progressively refine the context information and predictions. Besides, to maximize PCR's potential for the aforementioned hard case inference, we propose a hard-negative person detection mining strategy together with a joint-training strategy by exploiting the unlabeled coco dataset and external dataset. Extensive experiments on the COCO keypoint detection benchmark demonstrate the superiority of PCR over representative state-of-the-art (SOTA) methods. Our single model achieves comparable performance with the winner of the 2018 COCO Keypoint Detection Challenge. The final ensemble model sets a new SOTA on this benchmark.

cs.CV↗

arXiv2019

Direct measurement of a nonlocal entangled quantum state

Entanglement and wave function description are two of the core concepts that make quantum mechanics such a unique theory. A method to directly measure the wave function, using Weak Values, was demonstrated by Lundeen et al., Nature \textbf{474}, 188(2011). However, it is not applicable to a scenario of two disjoint systems, where nonlocal entanglement can be a crucial element since that requires obtaining the Weak Values of nonlocal observables. Here, for the first time, we propose a method to directly measure a nonlocal wave function of a bipartite system, using Modular Values. The method is experimentally implemented for a photon pair in a hyper-entangled state, i.e. entangled both in polarization and momentum degrees of freedom.

quant-ph↗

arXiv2019

Photonic realization of erasure-based nonlocal measurements

Relativity theory severely restricts the ability to perform nonlocal measurements in quantum mechanics. Studying such nonlocal schemes may thus reveal insights regarding the relations between these two fundamental theories. Therefore, for the last several decades, nonlocal measurements have stimulated considerable interest. However, the experimental implementation of nonlocal measurements imposes profound restrictions due to the fact that the interaction Hamiltonian cannot contain, in general, nonlocal observables such as the product of local observables belonging to different particles at spacelike-separated regions. In this work, we experimentally realize a scheme for nonlocal measurements with the aid of probabilistic quantum erasure. We apply this scheme to the tasks of performing high accuracy nonlocal measurements of the parity, as well as measurements in the Bell basis, which do not necessitate classical communication between the parties. Unlike other techniques, the nonlocal measurement outcomes are available locally (upon successful postselection). The state reconstructed via performing quantum tomography on the system after the nonlocal measurement indicates the success of the scheme in retrieving nonlocal information while erasing any local data previously acquired by the parties. This measurement scheme allows realizing any controlled-controlled-gate with any coupling strength. Hence our results are expected to have conceptual and practical applications to quantum communication and quantum computation.

quant-ph↗

arXiv2019

Low-Rank Discriminative Least Squares Regression for Image Classification

Latest least squares regression (LSR) methods mainly try to learn slack regression targets to replace strict zero-one labels. However, the difference of intra-class targets can also be highlighted when enlarging the distance between different classes, and roughly persuing relaxed targets may lead to the problem of overfitting. To solve above problems, we propose a low-rank discriminative least squares regression model (LRDLSR) for multi-class image classification. Specifically, LRDLSR class-wisely imposes low-rank constraint on the intra-class regression targets to encourage its compactness and similarity. Moreover, LRDLSR introduces an additional regularization term on the learned targets to avoid the problem of overfitting. These two improvements are helpful to learn a more discriminative projection for regression and thus achieving better classification performance. Experimental results over a range of image databases demonstrate the effectiveness of the proposed LRDLSR method.

cs.CV↗

arXiv2019

Non-negative representation based discriminative dictionary learning for face recognition

In this paper, we propose a non-negative representation based discriminative dictionary learning algorithm (NRDL) for multicategory face classification. In contrast to traditional dictionary learning methods, NRDL investigates the use of non-negative representation (NR), which contributes to learning discriminative dictionary atoms. In order to make the learned dictionary more suitable for classification, NRDL seamlessly incorporates nonnegative representation constraint, discriminative dictionary learning and linear classifier training into a unified model. Specifically, NRDL introduces a positive constraint on representation matrix to find distinct atoms from heterogeneous training samples, which results in sparse and discriminative representation. Moreover, a discriminative dictionary encouraging function is proposed to enhance the uniqueness of class-specific sub-dictionaries. Meanwhile, an inter-class incoherence constraint and a compact graph based regularization term are constructed to respectively improve the discriminability of learned classifier. Experimental results on several benchmark face data sets verify the advantages of our NRDL algorithm over the state-of-the-art dictionary learning methods.

cs.CV↗

arXiv2019

Superintegrable systems from block separation of variables and unified derivation of their quadratic algebras

We present a new method for constructing $D$-dimensional minimally superintegrable systems based on block coordinate separation of variables. We give two new families of superintegrable systems with $N$ ($N\leq D$) singular terms of the partitioned coordinates and involving arbitrary functions. These Hamiltonians generalize the singular oscillator and Kepler systems. We derive their exact energy spectra via separation of variables. We also obtain the quadratic algebras satisfied by the integrals of motion of these models. We show how the quadratic symmetry algebras can be constructed by novel application of the gauge transformations from those of the non-partitioned cases. We demonstrate that these quadratic algebraic structures display an universal nature to the extent that their forms are independent of the functions in the singular potentials.

math-ph↗

arXiv2019

Transition Subspace Learning based Least Squares Regression for Image Classification

Only learning one projection matrix from original samples to the corresponding binary labels is too strict and will consequentlly lose some intrinsic geometric structures of data. In this paper, we propose a novel transition subspace learning based least squares regression (TSL-LSR) model for multicategory image classification. The main idea of TSL-LSR is to learn a transition subspace between the original samples and binary labels to alleviate the problem of overfitting caused by strict projection learning. Moreover, in order to reflect the underlying low-rank structure of transition matrix and learn more discriminative projection matrix, a low-rank constraint is added to the transition subspace. Experimental results on several image datasets demonstrate the effectiveness of the proposed TSL-LSR model in comparison with state-of-the-art algorithms

cs.CV↗

arXiv2019

Experimental Optimal Verification of Entangled States using Local Measurements

The initialization of a quantum system into a certain state is a crucial aspect of quantum information science. While a variety of measurement strategies have been developed to characterize how well the system is initialized, for a given one, there is in general a trade-off between its efficiency and the accessible information of the quantum state. Conventional quantum state tomography can characterize unknown states by reconstructing the density matrix; however, its exponentially expensive postprocessing is likely to produce a deviate result. Alternatively, quantum state verification provides a technique to quantify the prepared state with significantly fewer measurements, especially for quantum entangled states. Here, we experimentally implement an optimal verification of entangled states with local measurements, where the estimated infidelity is inversely proportional to the number of measurements. The utilized strategy is tolerant of the impurity of realistic states, hence being highly robust in a practical sense. Even more valuable, our method only requires local measurements, which incurs only a small constant-factor (<2.5) penalty compared to the globally optimal strategy requiring nonlocal measurements.

quant-ph↗

arXiv2019

Flags and orbits of connected reductive groups over local rings

We prove that generic higher Deligne-Lusztig representations over truncated formal power series are non-nilpotent, when the parameters are non-trivial on the biggest reduction kernel of the centre; we also establish a relation between the orbits of higher Deligne-Lusztig representations of $\mathrm{SL}_n$ and of $\mathrm{GL}_n$. Then we introduce a combinatorial analogue of Deligne-Lusztig construction for general and special linear groups over local rings; this construction generalises the higher Deligne--Lusztig representations and affords all the nilpotent orbit representations, and for $\mathrm{GL}_n$ it also affords all the regular orbit representations as well as the invariant characters of the Lie algebra.

math.RT↗