arXiv subjects

Cheng Zhang

Publications and source records attributed to Cheng Zhang.

At least 199 records · Page 11Linked to original sources

arXiv2025

Broadband photoresponse enhancement by band engineering in Sb-doped MnBi2Te4

Topological materials have attracted considerable attention for their potential in broadband and fast photoresponse, particularly in the infrared regime. However, the high carrier concentration in these systems often leads to rapid recombination of photogenerated carriers, limiting the photoresponsivity. Here, we demonstrate that Sb doping in MnBi2Te4 effectively reduces carrier concentration and suppresses electron-hole recombination, thereby significantly improving the optoelectronic performance across the visible to mid-infrared spectra. The optimally doped Mn(Bi0.82Sb0.18)2Te4 photodetector achieves a responsivity of 3.02 mA W-1 with a response time of 18.5 μs at 1550 nm, and 0.795 mA W-1 with a response time of 9.0 μs at 4 μm. These values represent nearly two orders of magnitude improvement compared to undoped MnBi2Te4. Our results highlight band engineering as an effective strategy to enhance the infrared performance of topological material-based photodetectors, opening new avenues for high-sensitivity infrared detection.

cond-mat.mtrl-sci↗

arXiv2025

Coherent detection of the oscillating acoustoelectric effect in graphene

In recent years, surface acoustic waves (SAWs) have emerged as a novel technique for generating quasiparticle transport and band modulation in condensed matter systems. SAWs interact with adjacent materials through piezoelectric and strain fields, dragging carriers in the direction of wave propagation. Most studies on the acoustoelectric effect have focused on the collective directional motion of carriers, which generates a steady electric potential difference, while the oscillating component from dynamic spatial charge modulation has remained challenging to probe. In this work, we report the coherent detection of oscillating acoustoelectric effect in graphene. This is achieved through the coherent rectification of spatial-temporal charge oscillation with electromagnetic waves emitted by interdigital transducers. We systematically investigate the frequency and gate dependence of rectified signals and quantitatively probe the carrier redistribution dynamics driven by SAWs. The observation of oscillating acoustoelectric effect provides direct access to the dynamic spatial charge modulation induced by SAWs through transport experiments.

cond-mat.mes-hall↗

arXiv2025

Adversarial Transform Particle Filters

The particle filter (PF) and the ensemble Kalman filter (EnKF) are widely used for approximate inference in state-space models. From a Bayesian perspective, these algorithms represent the prior by an ensemble of particles and update it to the posterior with new observations over time. However, the PF often suffers from weight degeneracy in high-dimensional settings, whereas the EnKF relies on linear Gaussian assumptions that can introduce significant approximation errors. In this paper, we propose the Adversarial Transform Particle Filter (ATPF), a novel filtering framework that combines the strengths of the PF and the EnKF through adversarial learning. Specifically, importance sampling is used to ensure statistical consistency as in the PF, while adversarially learned transformations, such as neural networks, allow accurate posterior matching for nonlinear and non-Gaussian systems. In addition, we incorporate kernel methods to ease optimization and leverage regularization techniques based on optimal transport for better statistical properties and numerical stability. We provide theoretical guarantees, including generalization bounds for both the analysis and forecast steps of ATPF. Extensive experiments across various nonlinear and non-Gaussian scenarios demonstrate the effectiveness and practical advantages of our method.

stat.ME↗

arXiv2025

Hedgehog-like spin texture in Sb-doped MnBi$_2$Te$_4$

We employ spin- and angle-resolved photoemission spectroscopy and circular-dichroism ARPES to systematically investigate the spin texture of Sb-doped MnBi$_2$Te$_4$. Our results display a hedgehog-like spin texture in this system which is signified by reversed-orienting out-of-plane spins at the Dirac gap. Our finding reveals the presence of time-reversal symmetry breaking, implying the possibility for realization of high-temperature quantum anomalous Hall effect.

cond-mat.mtrl-sci↗

arXiv2025

PhyloVAE: Unsupervised Learning of Phylogenetic Trees via Variational Autoencoders

Learning informative representations of phylogenetic tree structures is essential for analyzing evolutionary relationships. Classical distance-based methods have been widely used to project phylogenetic trees into Euclidean space, but they are often sensitive to the choice of distance metric and may lack sufficient resolution. In this paper, we introduce phylogenetic variational autoencoders (PhyloVAEs), an unsupervised learning framework designed for representation learning and generative modeling of tree topologies. Leveraging an efficient encoding mechanism inspired by autoregressive tree topology generation, we develop a deep latent-variable generative model that facilitates fast, parallelized topology generation. PhyloVAE combines this generative model with a collaborative inference model based on learnable topological features, allowing for high-resolution representations of phylogenetic tree samples. Extensive experiments demonstrate PhyloVAE's robust representation learning capabilities and fast generation of phylogenetic tree topologies.

stat.ML↗

arXiv2025

CF-GKAT: Efficient Validation of Control-Flow Transformations

Guarded Kleene Algebra with Tests (GKAT) provides a sound and complete framework to reason about trace equivalence between simple imperative programs. However, there are still several notable limitations. First, GKAT is completely agnostic with respect to the meaning of primitives, to keep equivalence decidable. Second, GKAT excludes non-local control flow such as goto, break, and return. To overcome these limitations, we introduce Control-Flow GKAT (CF-GKAT), a system that allows reasoning about programs that include non-local control flow as well as hardcoded values. CF-GKAT is able to soundly and completely verify trace equivalence of a larger class of programs, while preserving the nearly-linear efficiency of GKAT. This makes CF-GKAT suitable for the verification of control-flow manipulating procedures, such as decompilation and goto-elimination. To demonstrate CF-GKAT's abilities, we validated the output of several highly non-trivial program transformations, such as Erosa and Hendren's goto-elimination procedure and the output of Ghidra decompiler. CF-GKAT opens up the application of Kleene Algebra to a wider set of challenges, and provides an important verification tool that can be applied to the field of decompilation and control-flow transformation.

cs.PL↗

arXiv2025

RMTransformer: Accurate Radio Map Construction and Coverage Prediction

Radio map, or pathloss map prediction, is a crucial method for wireless network modeling and management. By leveraging deep learning to construct pathloss patterns from geographical maps, an accurate digital replica of the transmission environment could be established with less computational overhead and lower prediction error compared to traditional model-driven techniques. While existing state-of-the-art (SOTA) methods predominantly rely on convolutional architectures, this paper introduces a hybrid transformer-convolution model, termed RMTransformer, to enhance the accuracy of radio map prediction. The proposed model features a multi-scale transformer-based encoder for efficient feature extraction and a convolution-based decoder for precise pixel-level image reconstruction. Simulation results demonstrate that the proposed scheme significantly improves prediction accuracy, and over a 30% reduction in root mean square error (RMSE) is achieved compared to typical SOTA approaches.

eess.SP↗

arXiv2025

Joint Detection and Angle Estimation for Multiple Jammers in Beamspace Massive MIMO

In this paper, we study the joint detection and angle estimation problem for beamspace multiple-input multiple-output (MIMO) systems with multiple random jamming targets. An iterative low-complexity generalized likelihood ratio test (GLRT) is proposed by transforming the composite multiple hypothesis test on the projected vector into a series of binary hypothesis tests based on the spatial covariance matrix. In each iteration, the detector implicitly inhibits the mainlobe effects of the previously detected jammers by utilizing the estimated angles and average jamming-to-signal ratios. This enables the detection of a new potential jammer and the identification of its corresponding spatial covariance. Simulation results demonstrate that the proposed method outperforms existing benchmarks by suppressing sidelobes of the detected jammers and interference from irrelevant angles, especially in medium-to-high jamming-to-noise ratio scenarios.

eess.SP↗

arXiv2024

CARL-GT: Evaluating Causal Reasoning Capabilities of Large Language Models

Causal reasoning capabilities are essential for large language models (LLMs) in a wide range of applications, such as education and healthcare. But there is still a lack of benchmarks for a better understanding of such capabilities. Current LLM benchmarks are mainly based on conversational tasks, academic math tests, and coding tests. Such benchmarks evaluate LLMs in well-regularized settings, but they are limited in assessing the skills and abilities to solve real-world problems. In this work, we provide a benchmark, named by CARL-GT, which evaluates CAusal Reasoning capabilities of large Language models using Graphs and Tabular data. The benchmark has a diverse range of tasks for evaluating LLMs from causal graph reasoning, knowledge discovery, and decision-making aspects. In addition, effective zero-shot learning prompts are developed for the tasks. In our experiments, we leverage the benchmark for evaluating open-source LLMs and provide a detailed comparison of LLMs for causal reasoning abilities. We found that LLMs are still weak in casual reasoning, especially with tabular data to discover new insights. Furthermore, we investigate and discuss the relationships of different benchmark tasks by analyzing the performance of LLMs. The experimental results show that LLMs have different strength over different tasks and that their performance on tasks in different categories, i.e., causal graph reasoning, knowledge discovery, and decision-making, shows stronger correlation than tasks in the same category.

cs.CL↗

arXiv2024

A few sharp estimates of harmonic functions with applications to Steklov eigenfunctions

On smooth compact manifolds with smooth boundary, we first establish the sharp lower bounds for the restrictions of harmonic functions in terms of their frequency functions, by using a combination of microlocal analysis and frequency function techniques by Almgren and Garofalo-Lin. The lower bounds can be saturated by Steklov eigenfunctions on Euclidean balls and a family of symmetric warped product manifolds. Moreover, as in Sogge and Taylor, we analyze the interior behavior of harmonic functions by constructing a parametrix for the Poisson integral operator and calculate its composition with the spectral cluster. By using microlocal analysis, we obtain several sharp estimates for the harmonic functions whose traces are quasimodes on the boundary. As applications, we establish the almost-orthogonality, bilinear estimates and transversal restriction estimates for Steklov eigenfunctions, and discuss the numerical approximation of harmonic functions.

math.AP↗

arXiv2024

A Fixed-Point Approach for Causal Generative Modeling

We propose a novel formalism for describing Structural Causal Models (SCMs) as fixed-point problems on causally ordered variables, eliminating the need for Directed Acyclic Graphs (DAGs), and establish the weakest known conditions for their unique recovery given the topological ordering (TO). Based on this, we design a two-stage causal generative model that first infers in a zero-shot manner a valid TO from observations, and then learns the generative SCM on the ordered variables. To infer TOs, we propose to amortize the learning of TOs on synthetically generated datasets by sequentially predicting the leaves of graphs seen during training. To learn SCMs, we design a transformer-based architecture that exploits a new attention mechanism enabling the modeling of causal structures, and show that this parameterization is consistent with our formalism. Finally, we conduct an extensive evaluation of each method individually, and show that when combined, our model outperforms various baselines on generated out-of-distribution problems. The code is available on \href{https://github.com/microsoft/causica/tree/main/research_experiments/fip}{Github}.

cs.LG↗

arXiv2024

Exploring the Impact of Emotional Voice Integration in Sign-to-Speech Translators for Deaf-to-Hearing Communication

Emotional voice communication plays a crucial role in effective daily interactions. Deaf and hard-of-hearing (DHH) individuals often rely on facial expressions to supplement sign language to convey emotions, as the use of voice is limited. However, in American Sign Language (ASL), these facial expressions serve not only emotional purposes but also as linguistic markers, altering sign meanings and often confusing non-signers when interpreting a signer's emotional state. Most existing ASL translation technologies focus solely on signs, neglecting the role of emotional facial expressions in the translated output (e.g., text, voice). This paper present studies which 1) confirmed the challenges for non-signers of interpreting emotions from facial expressions in ASL communication, of facial expressions, and 2) how integrating emotional voices into translation systems can enhance hearing individuals' comprehension of a signer's emotions. An online survey conducted with 45 hearing participants (Non-ASL Signers) revealed that they frequently misinterpret signers' emotions when emotional and linguistic facial expressions are used simultaneously. The findings indicate that incorporating emotional voice into translation systems significantly improves the recognition of signers' emotions by 32%. Additionally, further research involving 6 DHH participants discusses design considerations for the emotional voice feature from both perspectives, emphasizing the importance of integrating emotional voices in translation systems to bridge communication gaps between DHH and hearing communities.

cs.HC↗

arXiv2024

Resonant Inductive Coupling Power Transfer for Mid-Sized Inspection Robot

This paper presents a wireless power transfer (WPT) for a mid-sized inspection mobile robot. The objective is to transmit 100 W of power over 1 meter of distance, achieved through lightweight Litz wire coils weighing 320 g held together with a coil structure of 3.54 kg. The Wireless Power Transfer System (WPTS) is mounted onto an unmanned ground vehicle (UGV). The study addresses an investigation of coil design, accounting for misalignment and tolerance issues in resonance-coupled coils. In experimental validation, the system effectively transmits 109.7 W of power over a 1-meter distance, with obstacles present. This achievement yields a system efficiency of 47.14%, a value that is remarkably close to the maximum power transfer point (50%) when the WPTS utilises the full voltage allowance of the capacitor. The paper shows the WPTS charging speed of 5 minutes for 12 V, 0.8 Ah lead acid batteries.

cs.RO↗

arXiv2024

ActSonic: Recognizing Everyday Activities from Inaudible Acoustic Wave Around the Body

We present ActSonic, an intelligent, low-power active acoustic sensing system integrated into eyeglasses that can recognize 27 different everyday activities (e.g., eating, drinking, toothbrushing) from inaudible acoustic waves around the body. It requires only a pair of miniature speakers and microphones mounted on each hinge of the eyeglasses to emit ultrasonic waves, creating an acoustic aura around the body. The acoustic signals are reflected based on the position and motion of various body parts, captured by the microphones, and analyzed by a customized self-supervised deep learning framework to infer the performed activities on a remote device such as a mobile phone or cloud server. ActSonic was evaluated in user studies with 19 participants across 19 households to track its efficacy in everyday activity recognition. Without requiring any training data from new users (leave-one-participant-out evaluation), ActSonic detected 27 activities, achieving an average F1-score of 86.6% in fully unconstrained scenarios and 93.4% in prompted settings at participants' homes.

cs.HC↗

arXiv2024

Kleene algebra with commutativity conditions is undecidable

We prove that the equational theory of Kleene algebra with commutativity conditions on primitives (or atomic terms) is undecidable, thereby settling a longstanding open question in the theory of Kleene algebra. While this question has also been recently solved independently by Kuznetsov, our results hold even for weaker theories that do not support the induction axioms of Kleene algebra.

math.LO↗

arXiv2024

SPAC-Net: Rethinking Point Cloud Completion with Structural Prior

Point cloud completion aims to infer a complete shape from its partial observation. Many approaches utilize a pure encoderdecoder paradigm in which complete shape can be directly predicted by shape priors learned from partial scans, however, these methods suffer from the loss of details inevitably due to the feature abstraction issues. In this paper, we propose a novel framework,termed SPAC-Net, that aims to rethink the completion task under the guidance of a new structural prior, we call it interface. Specifically, our method first investigates Marginal Detector (MAD) module to localize the interface, defined as the intersection between the known observation and the missing parts. Based on the interface, our method predicts the coarse shape by learning the displacement from the points in interface move to their corresponding position in missing parts. Furthermore, we devise an additional Structure Supplement(SSP) module before the upsampling stage to enhance the structural details of the coarse shape, enabling the upsampling module to focus more on the upsampling task. Extensive experiments have been conducted on several challenging benchmarks, and the results demonstrate that our method outperforms existing state-of-the-art approaches.

cs.CV↗

arXiv2024

Miniaturized spectrometer enabled by end-to-end deep learning on large-scale radiative cavity array

Miniaturized (mini-) spectrometers are highly desirable tools for chemical, biological, and medical diagnostics because of their potential for portable and in situ spectral detection. In this work, we propose and demonstrate a mini-spectrometer that combines a large-scale radiative cavity array with end-to-end deep learning networks. Specifically, we utilize high-Q bound states in continuum cavities with distinct radiation characteristics as the fundamental units to achieve parallel spectral detection. We realize a 36 $\times$ 30 cavity array that spans a wide spectral range from 1525 to 1605 nm with quality factors above 10^4. We further train a deep network with 8000 outputs to directly map arbitrary spectra to array responses excited by the out-of-plane incident. Experimental results demonstrate that the proposed mini-spectrometer can resolve unknown spectra with a resolution of 0.048 nm in a bandwidth of 80 nm and fidelity exceeding 95%, thus offering a promising method for compact, high resolution, and broadband spectroscopy.

physics.optics↗

arXiv2024

Receiver-device-independent quantum secure direct communication

Quantum secure direct communication (QSDC) enables the message sender to directly send secure messages to the receiver through the quantum channel without keys. Device-independent (DI) and measurement-device-independent (MDI) QSDC protocols can enhance QSDC's practical security in theory. DI QSDC requires extremely high global detection efficiency and has quite low secure communication distance. DI and MDI QSDC both require high-quality entanglement. Current entanglement sources prepare entangled photon pairs with low efficiency, largely reducing their practical communication efficiency. In the paper, we propose a single-photon-based receiver-device-independent (RDI) QSDC protocol. It only relies on the trusted single-photon source, which is nearly on-demand under current technology, and treats all the receiving devices in both communication parties as ``black-boxes''. The parties ensure the message security only from the observed statistics. We develop a numerical method to simulate its performance in practical noisy communication situation. RDI QSDC provides the same security level as MDI QSDC. Compared with DI and MDI QSDC, RDI QSDC has some advantages. First, it uses the single-photon source and single-photon measurement, which makes it obtain the practical communication efficiency about 3415 times of that in DI QSDC and easy to implement. The whole protocol is feasible with current technology. Second, it has higher photon loss robustness and noise tolerance than DI QSDC, which enables it to have a secure communication distance about 26 times of that in DI QSDC. Based on above features, the RDI QSDC protocol makes it possible to achieve highly-secure and high-efficient QSDC in the near future.

quant-ph↗