arXiv Science⌕ Search

arXiv subjects

Yang Chen

Publications and source records attributed to Yang Chen.

At least 415 records · Page 23Linked to original sources
arXiv2023

An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts

Smart contracts are crucial elements of decentralized technologies, but they face significant obstacles to trustworthiness due to security bugs and trapdoors. To address the core issue, we propose a technology that enables programmers to focus on design-level properties rather than specific low-level attack patterns. Our proposed technology, called Theorem-Carrying-Transaction (TCT), combines the benefits of runtime checking and symbolic proof. Under the TCT protocol, every transaction must carry a theorem that proves its adherence to the safety properties in the invoked contracts, and the blockchain checks the proof before executing the transaction. The unique design of TCT ensures that the theorems are provable and checkable in an efficient manner. We believe that TCT holds a great promise for enabling provably secure smart contracts in the future. As such, we call for collaboration toward this vision.

cs.CR↗
arXiv2023

Quantized anomalous Hall resistivity achieved in molecular beam epitaxy-grown MnBi2Te4 thin films

The intrinsic magnetic topological insulator MnBi2Te4 provides a feasible pathway to high temperature quantum anomalous Hall (QAH) effect as well as various novel topological quantum phases. Although quantized transport properties have been observed in exfoliated MnBi2Te4 thin flakes, it remains a big challenge to achieve molecular beam epitaxy (MBE)-grown MnBi2Te4 thin films even close to the quantized regime. In this work, we report the realization of quantized anomalous Hall resistivity in MBE-grown MnBi2Te4 thin films with the chemical potential tuned by both controlled in-situ oxygen exposure and top gating. We find that elongated post-annealing obviously elevates the temperature to achieve quantization of the Hall resistivity, but also increases the residual longitudinal resistivity, indicating a picture of high-quality QAH puddles weakly coupled by tunnel barriers. These results help to clarify the puzzles in previous experimental studies on MnBi2Te4 and to find a way out of the big difficulty in obtaining MnBi2Te4 samples showing quantized transport properties.

cond-mat.mes-hall↗
arXiv2023

Conjugate phase retrieval in a complex shift-invariant space

The conjugate phase retrieval problem concerns the determination of a complex-valued function, up to a unimodular constant and conjugation, from its magnitude observations. It can also be considered as a conjugate phaseless sampling and reconstruction problem in an infinite dimensional space. In this paper, we first characterize the conjugate phase retrieval from the point evaluations in a shift-invariant space $\mathcal S(ϕ)$, where the generator $ϕ$ is a compactly supported real-valued function. If the generator $ϕ$ has some spanning property, we also show that a conjugate phase retrievable function in $\mathcal S(ϕ)$ can be reconstructed from its phaseless samples taken on a discrete set with finite sampling density. With additional phaseless measurements on the function derivative, for the B-spline generator $B_N$ of order $N\ge 3$ which does not have the spanning property, we find sets $Γ$ and $Γ'\subset (0,1)$ of cardinalities $2N-1$ and $2N-5$ respectively, such that a conjugate phase retrievable function $f$ in the spline space $\mathcal B_N$ can be determined from its phaseless Hermite samples $|f(γ)|, γ\inΓ+\Z$, and $|f'(γ)|, γ'\inΓ'+\Z$. An algorithm is proposed for the conjugate phase retrieval of piecewise polynomials from the Hermite samples. Our results provide illustrative examples of real conjugate phase retrievable frames for the complex finite dimensional space $\C^N$.

math.FA↗
arXiv2023

Boosting Verified Training for Robust Image Classifications via Abstraction

This paper proposes a novel, abstraction-based, certified training method for robust image classifiers. Via abstraction, all perturbed images are mapped into intervals before feeding into neural networks for training. By training on intervals, all the perturbed images that are mapped to the same interval are classified as the same label, rendering the variance of training sets to be small and the loss landscape of the models to be smooth. Consequently, our approach significantly improves the robustness of trained models. For the abstraction, our training method also enables a sound and complete black-box verification approach, which is orthogonal and scalable to arbitrary types of neural networks regardless of their sizes and architectures. We evaluate our method on a wide range of benchmarks in different scales. The experimental results show that our method outperforms state of the art by (i) reducing the verified errors of trained models up to 95.64%; (ii) totally achieving up to 602.50x speedup; and (iii) scaling up to larger models with up to 138 million trainable parameters. The demo is available at https://github.com/zhangzhaodi233/ABSCERT.git.

cs.CV↗
arXiv2023

A Radiomics-Incorporated Deep Ensemble Learning Model for Multi-Parametric MRI-based Glioma Segmentation

We developed a deep ensemble learning model with a radiomics spatial encoding execution for improved glioma segmentation accuracy using multi-parametric MRI (mp-MRI). This model was developed using 369 glioma patients with a 4-modality mp-MRI protocol: T1, contrast-enhanced T1 (T1-Ce), T2, and FLAIR. In each modality volume, a 3D sliding kernel was implemented across the brain to capture image heterogeneity: fifty-six radiomic features were extracted within the kernel, resulting in a 4th order tensor. Each radiomic feature can then be encoded as a 3D image volume, namely a radiomic feature map (RFM). PCA was employed for data dimension reduction and the first 4 PCs were selected. Four deep neural networks as sub-models following the U-Net architecture were trained for the segmenting of a region-of-interest (ROI): each sub-model utilizes the mp-MRI and 1 of the 4 PCs as a 5-channel input for a 2D execution. The 4 softmax probability results given by the U-net ensemble were superimposed and binarized by Otsu method as the segmentation result. Three ensemble models were trained to segment enhancing tumor (ET), tumor core (TC), and whole tumor (WT). The adopted radiomics spatial encoding execution enriches the image heterogeneity information that leads to the successful demonstration of the proposed deep ensemble model, which offers a new tool for mp-MRI based medical image segmentation.

q-bio.QM↗
arXiv2023

Design of a Multi-Degree-of-Freedom Elastic Neck Exoskeleton for Persons with Dropped Head Syndrome

Nonsurgical treatment of Dropped Head Syndrome (DHS) incurs the use of collar-type orthoses that immobilize the neck and cause discomfort and sores under the chin. Articulated orthoses have the potential to support the head posture while allowing partial mobility of the neck and reduced discomfort and sores. This work presents the design, modeling, development, and characterization of a novel multi-degree-of-freedom elastic mechanism designed for neck support. This new type of elastic mechanism allows the bending of the head in the sagittal and coronal planes, and head rotations in the transverse plane. From these articulate movements, the mechanism generates moments that restore the head and neck to the upright posture, thus compensating for the muscle weakness caused by DHS. The experimental results show adherence to the empirical characterization of the elastic mechanism under flexion to the model-based calculations. A neck support orthosis prototype based on the proposed mechanism is presented, which enables the three before-mentioned head motions of a healthy participant, according to the results of preliminary tests.

cs.RO↗
arXiv2023

Geometric Visual Similarity Learning in 3D Medical Image Self-supervised Pre-training

Learning inter-image similarity is crucial for 3D medical images self-supervised pre-training, due to their sharing of numerous same semantic regions. However, the lack of the semantic prior in metrics and the semantic-independent variation in 3D medical images make it challenging to get a reliable measurement for the inter-image similarity, hindering the learning of consistent representation for same semantics. We investigate the challenging problem of this task, i.e., learning a consistent representation between images for a clustering effect of same semantic features. We propose a novel visual similarity learning paradigm, Geometric Visual Similarity Learning, which embeds the prior of topological invariance into the measurement of the inter-image similarity for consistent representation of semantic regions. To drive this paradigm, we further construct a novel geometric matching head, the Z-matching head, to collaboratively learn the global and local similarity of semantic regions, guiding the efficient representation learning for different scale-level inter-image semantic features. Our experiments demonstrate that the pre-training with our learning of inter-image similarity yields more powerful inner-scene, inter-scene, and global-local transferring ability on four challenging 3D medical image tasks. Our codes and pre-trained models will be publicly available on https://github.com/YutingHe-list/GVSL.

cs.CV↗
arXiv2023

Open-domain Visual Entity Recognition: Towards Recognizing Millions of Wikipedia Entities

Large-scale multi-modal pre-training models such as CLIP and PaLI exhibit strong generalization on various visual domains and tasks. However, existing image classification benchmarks often evaluate recognition on a specific domain (e.g., outdoor images) or a specific task (e.g., classifying plant species), which falls short of evaluating whether pre-trained foundational models are universal visual recognizers. To address this, we formally present the task of Open-domain Visual Entity recognitioN (OVEN), where a model need to link an image onto a Wikipedia entity with respect to a text query. We construct OVEN-Wiki by re-purposing 14 existing datasets with all labels grounded onto one single label space: Wikipedia entities. OVEN challenges models to select among six million possible Wikipedia entities, making it a general visual recognition benchmark with the largest number of labels. Our study on state-of-the-art pre-trained models reveals large headroom in generalizing to the massive-scale label space. We show that a PaLI-based auto-regressive visual recognition model performs surprisingly well, even on Wikipedia entities that have never been seen during fine-tuning. We also find existing pretrained models yield different strengths: while PaLI-based models obtain higher overall performance, CLIP-based models are better at recognizing tail entities.

cs.CV↗
arXiv2023

A Study of GeV Gamma-ray Emission toward Supernova Remnant G51.26+0.11 and Its Molecular Environment

We reanalyze the Fermi-LAT GeV $γ$-ray emission in the region of supernova remnant (SNR) G51.26+0.11 and investigate its interstellar molecular environment with the CO-line data. At GeV energies, based on 13.2 years of Fermi-LAT data, the extended $γ$-ray emission observed in this region is resolved into a uniform-disk source ('Src A') with a significance of 19.5$σ$ and a point source (4FGL J1924.3+1628) with a significance of 4.2$σ$ in 0.2$-$500 GeV. With an angular radius of $\sim$ 0.17$^°$, 'Src A' overlaps with SNR G51.26+0.11 significantly in the line of sight. On the other hand, the morphological coincidence between the SNR and the $\sim$ +54 km s$^{-1}$ molecular clouds (MCs) together with the asymmetric or broad $^{12}$CO line profiles near the SNR boundary provides evidence for the very likely SNR-MC interaction. The SNR-MC interaction and the HI absorption features indicate that SNR G51.26+0.11 is located at a kinematic distance of 6.2 $\pm$ 0.5 kpc. Combined with the results from the multi-wavelength analysis, the $γ$-ray emission of the SNR ('Src A') can be naturally explained by a hadronic model with a soft power-law proton spectrum of index $\sim$ 2.25.

astro-ph.HE↗
arXiv2023

Learning Density-Based Correlated Equilibria for Markov Games

Correlated Equilibrium (CE) is a well-established solution concept that captures coordination among agents and enjoys good algorithmic properties. In real-world multi-agent systems, in addition to being in an equilibrium, agents' policies are often expected to meet requirements with respect to safety, and fairness. Such additional requirements can often be expressed in terms of the state density which measures the state-visitation frequencies during the course of a game. However, existing CE notions or CE-finding approaches cannot explicitly specify a CE with particular properties concerning state density; they do so implicitly by either modifying reward functions or using value functions as the selection criteria. The resulting CE may thus not fully fulfil the state-density requirements. In this paper, we propose Density-Based Correlated Equilibria (DBCE), a new notion of CE that explicitly takes state density as selection criterion. Concretely, we instantiate DBCE by specifying different state-density requirements motivated by real-world applications. To compute DBCE, we put forward the Density Based Correlated Policy Iteration algorithm for the underlying control problem. We perform experiments on various games where results demonstrate the advantage of our CE-finding approach over existing methods in scenarios with state-density concerns.

cs.AI↗
arXiv2023

MSDC: Exploiting Multi-State Power Consumption in Non-intrusive Load Monitoring based on A Dual-CNN Model

Non-intrusive load monitoring (NILM) aims to decompose aggregated electrical usage signal into appliance-specific power consumption and it amounts to a classical example of blind source separation tasks. Leveraging recent progress on deep learning techniques, we design a new neural NILM model Multi-State Dual CNN (MSDC). Different from previous models, MSDC explicitly extracts information about the appliance's multiple states and state transitions, which in turn regulates the prediction of signals for appliances. More specifically, we employ a dual-CNN architecture: one CNN for outputting state distributions and the other for predicting the power of each state. A new technique is invented that utilizes conditional random fields (CRF) to capture state transitions. Experiments on two real-world datasets REDD and UK-DALE demonstrate that our model significantly outperform state-of-the-art models while having good generalization capacity, achieving 6%-10% MAE gain and 33%-51% SAE gain to unseen appliances.

cs.LG↗
arXiv2023

Achieving Domain Generalization in Underwater Object Detection by Domain Mixup and Contrastive Learning

The performance of existing underwater object detection methods degrades seriously when facing domain shift caused by complicated underwater environments. Due to the limitation of the number of domains in the dataset, deep detectors easily memorize a few seen domains, which leads to low generalization ability. There are two common ideas to improve the domain generalization performance. First, it can be inferred that the detector trained on as many domains as possible is domain-invariant. Second, for the images with the same semantic content in different domains, their hidden features should be equivalent. This paper further excavates these two ideas and proposes a domain generalization framework (named DMC) that learns how to generalize across domains from Domain Mixup and Contrastive Learning. First, based on the formation of underwater images, an image in an underwater environment is the linear transformation of another underwater environment. Thus, a style transfer model, which outputs a linear transformation matrix instead of the whole image, is proposed to transform images from one source domain to another, enriching the domain diversity of the training data. Second, mixup operation interpolates different domains on the feature level, sampling new domains on the domain manifold. Third, contrastive loss is selectively applied to features from different domains to force the model to learn domain invariant features but retain the discriminative capacity. With our method, detectors will be robust to domain shift. Also, a domain generalization benchmark S-UODAC2020 for detection is set up to measure the performance of our method. Comprehensive experiments on S-UODAC2020 and two object recognition benchmarks (PACS and VLCS) demonstrate that the proposed method is able to learn domain-invariant representations, and outperforms other domain generalization methods.

cs.CV↗
arXiv2023

Analytical Approximations for Generalized Landau-Zener Transitions in Multi-level Non-Hermitian Systems

We study the dynamics of non-adiabatic transitions in non-Hermitian multi-level parabolic models where the separations of the diabatic energies are quadratic function of time. The model Hamiltonian has been used to describe the non-Hermitian dynamics of two pairs of coupled cavities. In the absence of the coupling between any two pairs of cavities, the wave amplitudes within each subsystem are described by the tri-confluent Heun functions. When all the couplings between the cavities are present, we reduce the dynamics into a set of two coupled tri-confluent Heun equations, from which we derive analytical approximations for the wave amplitudes at different physical limits.

quant-ph↗
arXiv2023

The Bending of C$_3$: Experimentally Probing the $l$-type Doubling and Resonance

C$_3$, a pure carbon chain molecule that has been identified in different astronomical environments, is considered a good probe of kinetic temperatures through observation of transitions involving its low-lying bending mode ($ν_2$) in its ground electronic state. The present laboratory work aims to investigate this bending mode with multiple quanta of excitation by combining recordings of high resolution optical and infrared spectra of C$_3$ produced in discharge experiments. The optical spectra of rovibronic (A $^1Π_u -$ X $^1Σ_g^+$) transitions have been recorded by laser induced fluorescence spectroscopy using a single longitude mode optical parametric oscillator as narrow bandwidth laser source at the University of Science and Technology of China. 36 bands originating from X(0$v_2$0), $v_2 = 0-5$, are assigned. The mid-infrared spectrum of the rovibrational $ν_3$ band has been recorded by Fourier-transform infrared spectroscopy using a globar source on the AILES beamline of the SOLEIL synchrotron facility. The spectrum reveals hot bands involving up to 5 quanta of excitation in $ν_2$. From combining analyses of all the presently recorded spectra and literature data, accurate rotational parameters and absolute energy levels of C$_3$, in particular for states involving the bending mode, are determined. A single PGOPHER file containing all available data involving the X and A states (literature and present study) is used to fit all the data. The spectroscopic information derived from this work enables new interstellar searches for C$_3$, not only in the infrared and optical regions investigated here but also notably in the $ν_2$ band region (around 63 cm$^{-1}$) where vibrational satellites can now be accurately predicted. This makes C$_3$ a universal diagnostic tool to study very different astronomical environments, from dark and dense to translucent clouds.

astro-ph.GA↗
arXiv2022

Incorporating Polar Field Data for Improved Solar Flare Prediction

In this paper, we consider incorporating data associated with the sun's north and south polar field strengths to improve solar flare prediction performance using machine learning models. When used to supplement local data from active regions on the photospheric magnetic field of the sun, the polar field data provides global information to the predictor. While such global features have been previously proposed for predicting the next solar cycle's intensity, in this paper we propose using them to help classify individual solar flares. We conduct experiments using HMI data employing four different machine learning algorithms that can exploit polar field information. Additionally, we propose a novel probabilistic mixture of experts model that can simply and effectively incorporate polar field data and provide on-par prediction performance with state-of-the-art solar flare prediction algorithms such as the Recurrent Neural Network (RNN). Our experimental results indicate the usefulness of the polar field data for solar flare prediction, which can improve Heidke Skill Score (HSS2) by as much as 10.1%.

astro-ph.SR↗
arXiv2022

Is the core-cusp problem a matter of perspective: Jeans Anisotropic Modeling against numerical simulations

Mock member stars for 28 dwarf galaxies are constructed from the cosmological Auriga simulation, which reflect the dynamical status of realistic stellar tracers. The axis-symmetric Jeans Anisotropic Multi-Gaussian Expansion (JAM) modeling is applied to 6,000 star particles for each system, to recover the underlying matter distribution. The stellar or dark matter component individually is poorly recovered, but the total profile is constrained more reasonably. The mass within the half-mass radius of tracers is recovered the tightest, and the mass between 200 and 300 pc, $M(200-300\mathrm{pc})$, is constrained ensemble unbiasedly, with a scatter of 0.167 dex. If using 2,000 particles and only line-of-sight velocities with typical errors, the scatter in $M(200-300\mathrm{pc})$ is increased by $\sim$50%. Quiescent Sagittarius dSph-like systems and star-forming systems with strong outflows show distinct features, with $M(200-300\mathrm{pc})$ mostly under-estimated for the former, and likely over-estimated for the latter. The biases correlate with the dynamical status, which is a result of contraction motions due to tidal effects in quiescent systems or galactic winds in star-forming systems, driving them out of equilibrium. After including Gaia DR3 proper motion errors, we find proper motions can be as useful as line-of-sight velocities for nearby systems at $<\sim$60 kpc. By extrapolating the actual density profiles and the dynamical constraints down to scales below the resolution, we find the mass within 150 pc can be constrained ensemble unbiasedly, with a scatter of $\sim$0.255 dex. In the end, we show that the contraction of member stars in nearby systems is detectable based on Gaia DR3 proper motion errors.

astro-ph.GA↗
arXiv2022

Enhanced Visual Feedback with Decoupled Viewpoint Control in Immersive Humanoid Robot Teleoperation using SLAM

In immersive humanoid robot teleoperation, there are three main shortcomings that can alter the transparency of the visual feedback: the lag between the motion of the operator's and robot's head due to network communication delays or slow robot joint motion. This latency could cause a noticeable delay in the visual feedback, which jeopardizes the embodiment quality, can cause dizziness, and affects the interactivity resulting in operator frequent motion pauses for the visual feedback to settle; (ii) the mismatch between the camera's and the headset's field-of-views (FOV), the former having generally a lower FOV; and (iii) a mismatch between human's and robot's range of motions of the neck, the latter being also generally lower. In order to leverage these drawbacks, we developed a decoupled viewpoint control solution for a humanoid platform which allows visual feedback with low-latency and artificially increases the camera's FOV range to match that of the operator's headset. Our novel solution uses SLAM technology to enhance the visual feedback from a reconstructed mesh, complementing the areas that are not covered by the visual feedback from the robot. The visual feedback is presented as a point cloud in real-time to the operator. As a result, the operator is fed with real-time vision from the robot's head orientation by observing the pose of the point cloud. Balancing this kind of awareness and immersion is important in virtual reality based teleoperation, considering the safety and robustness of the control system. An experiment shows the effectiveness of our solution.

cs.RO↗
arXiv2022

Robust prescribed-time coordination control of cooperative-antagonistic networks with disturbances

This article targets at addressing the robust prescribed-time coordination control (PTCC) problems for single-integrator cooperative-antagonistic networks (CANs) with external disturbances under arbitrary fixed signed digraphs without any structural constraints. Toward this end, the PTCC problems for nominal single-integrator CANs without disturbances are first investigated and a fully distributed control protocol with a time-varying gain, which grows to infinity as the time approaches the settling time, is proposed utilizing the relative states of neighboring agents. Then, based on the proposed control protocol for the nominal single-integrator CANs, a new second-order prescribed-time sliding mode control protocol is constructed to achieve accurate PTCC for single-integrator CANs in the presence of external disturbances. Using Lyapunov based analysis, sufficient conditions to guarantee the prescribed-time stability, bipartite consensus, interval bipartite consensus, and bipartite containment of single-integrator CANs without or with disturbances are, respectively, derived. In the end, numerical simulations are given to confirm the derived results.

eess.SY↗