Search arXiv⌕ Search

arXiv subjects

Cheng Zhang

Publications and source records attributed to Cheng Zhang.

At least 199 records · Page 11Linked to original sources

Locking Machine Learning Models into Hardware

Modern machine learning (ML) models are expensive IP and business competitiveness often depends on keeping this IP confidential. This in turn restricts how these models are deployed; for example, it is unclear how to deploy a model on-device without inevitably leaking the underlying model. At the same time, confidential computing technologies such as multi-party computation or homomorphic encryption remain impractical for wide adoption. In this paper, we take a different approach and investigate the feasibility of ML-specific mechanisms that deter unauthorized model use by restricting the model to only be usable on specific hardware, making adoption on unauthorized hardware inconvenient. That way, even if IP is compromised, it cannot be trivially used without specialised hardware or major model adjustment. In a sense, we seek to enable cheap \emph{locking of machine learning models into specific hardware}. We demonstrate that \emph{locking} mechanisms are feasible by either targeting efficiency of model representations, making such models incompatible with quantization, or tying the model's operation to specific characteristics of hardware, such as the number of clock cycles for arithmetic operations. We demonstrate that locking comes with negligible overheads, while significantly restricting usability of the resultant model on unauthorized hardware.

cs.CR↗

HVI: A New Color Space for Low-light Image Enhancement

Low-Light Image Enhancement (LLIE) is a crucial computer vision task that aims to restore detailed visual information from corrupted low-light images. Many existing LLIE methods are based on standard RGB (sRGB) space, which often produce color bias and brightness artifacts due to inherent high color sensitivity in sRGB. While converting the images using Hue, Saturation and Value (HSV) color space helps resolve the brightness issue, it introduces significant red and black noise artifacts. To address this issue, we propose a new color space for LLIE, namely Horizontal/Vertical-Intensity (HVI), defined by polarized HS maps and learnable intensity. The former enforces small distances for red coordinates to remove the red artifacts, while the latter compresses the low-light regions to remove the black artifacts. To fully leverage the chromatic and intensity information, a novel Color and Intensity Decoupling Network (CIDNet) is further introduced to learn accurate photometric mapping function under different lighting conditions in the HVI space. Comprehensive results from benchmark and ablation experiments show that the proposed HVI color space with CIDNet outperforms the state-of-the-art methods on 10 datasets. The code is available at https://github.com/Fediory/HVI-CIDNet.

cs.CV↗

The elliptic lattice KdV system revisited

In a previous paper [Nijhoff,Puttock,2003], a 2-parameter extension of the lattice potential KdV equation was derived, associated with an elliptic curve. This comprises a rather complicated 3-component system on the quad lattice which contains the moduli of the elliptic curve as parameters. In the present paper, we investigate this system further and, among other results, we derive a 2-component multiquartic form of the system on the quad lattice. Furthermore, we construct an elliptic Yang-Baxter map, and study the associated continuous and semi-discrete systems. In particular, we derive the so-called ``generating PDE'' for this system, comprising a 6-component system of second order PDEs which could be considered to constitute an elliptic extension of the Ernst equations of General Relativity.

nlin.SI↗

QERA: an Analytical Framework for Quantization Error Reconstruction

The growing number of parameters and computational demands of large language models (LLMs) present significant challenges for their efficient deployment. Recently, there is an increasing interest in quantizing weights to extremely low precision while offsetting the resulting error with low-rank, high-precision error reconstruction terms. The combination of quantization and low-rank approximation is now popular in both adapter-based, parameter-efficient fine-tuning methods such as LoftQ and low-precision inference techniques including ZeroQuant-V2. Usually, the low-rank terms are calculated via the singular value decomposition (SVD) of the weight quantization error, minimizing the Frobenius and spectral norms of the weight approximation error. Recent methods like LQ-LoRA and LQER introduced hand-crafted heuristics to minimize errors in layer outputs (activations) rather than weights, resulting improved quantization results. However, these heuristic methods lack an analytical solution to guide the design of quantization error reconstruction terms. In this paper, we revisit this problem and formulate an analytical framework, named Quantization Error Reconstruction Analysis (QERA), and offer a closed-form solution to the problem. We show QERA benefits both existing low-precision fine-tuning and inference methods -- QERA achieves a fine-tuned accuracy gain of $Δ_{\text{acc}}$ = 6.05% of 2-bit RoBERTa-base on GLUE compared to LoftQ; and obtains $Δ_{\text{acc}}$ = 2.97% higher post-training quantization accuracy of 4-bit Llama-3.1-70B on average than ZeroQuant-V2 and $Δ_{\text{ppl}}$ = - 0.28 lower perplexity on WikiText2 than LQER.

cs.LG↗

Coupled hydro-aero-turbo dynamics of liquid-tank system for wave energy harvesting: Numerical modellings and scaled prototype tests

An integrated numerical model is proposed for the first time to explore the coupled hydro-aero-turbo dynamics of wave-energy-harvesting (WEH) liquid tanks. A scaled prototype of the WEH liquid tank with an impulse air turbine system is made to experimentally validate the numerical model.Multi-layered impulse air turbine systems (MLATS) are creatively introduced into the liquid-tank system. The inherent mechanisms of the coupled hydro-aero-turbo dynamics of the WEH liquid tank with different turbine properties are systematically investigated.Compared with the experimental data, the numerical model can accurately reproduce the rotor speed, liquid motion, and air pressure of the WEH liquid tank. Upon analysing mechanical parameters of the turbine rotor, it is found that the rotor's moment of inertia mainly affects the rotor speed's variation range, while the damping coefficient significantly influences the averaged rotor speed. The optimal power take-off damping for the WEH liquid tank is identified. Considering the efficiency performances of three MLATSs, improving Turbine-L1 to Turbine-L2 or Turbine-L3 can increase the averaged power output by about 25% or 40%, respectively.Increasing the tank breadth can effectively boost the power output in a nonlinear way.Under the considered excitation conditions, if the tank breadth is doubled, the maximum averaged power output can be increased by around four times. Through a series of failure tests, Turbine-L3 shows greater reliability in extreme conditions compared to a conventional single-rotor turbine. Even if the most important rotor of Turbine-L3 fails to work, the maximum loss of the averaged power output is only 44%. The present WEH liquid with Turbine - L3 shows improved efficiency and reliability compared to the conventional liquid-tank system with a single-rotor turbine.

physics.flu-dyn↗

SpellRing: Recognizing Continuous Fingerspelling in American Sign Language using a Ring

Fingerspelling is a critical part of American Sign Language (ASL) recognition and has become an accessible optional text entry method for Deaf and Hard of Hearing (DHH) individuals. In this paper, we introduce SpellRing, a single smart ring worn on the thumb that recognizes words continuously fingerspelled in ASL. SpellRing uses active acoustic sensing (via a microphone and speaker) and an inertial measurement unit (IMU) to track handshape and movement, which are processed through a deep learning algorithm using Connectionist Temporal Classification (CTC) loss. We evaluated the system with 20 ASL signers (13 fluent and 7 learners), using the MacKenzie-Soukoref Phrase Set of 1,164 words and 100 phrases. Offline evaluation yielded top-1 and top-5 word recognition accuracies of 82.45% (9.67%) and 92.42% (5.70%), respectively. In real-time, the system achieved a word error rate (WER) of 0.099 (0.039) on the phrases. Based on these results, we discuss key lessons and design implications for future minimally obtrusive ASL recognition wearables.

cs.HC↗

Unexpected large electrostatic gating by pyroelectric charge accumulation

Pyroelectricity refers to the accumulation of charges due to changes in the spontaneous polarization of ferroelectric materials when subjected to temperature variations. Typically, these pyroelectric charges are considered unstable and dissipate quickly through interactions with the external environment. Consequently, the pyroelectric effect has been largely overlooked in ferroelectric field-effect transistors. In this work, we leverage the van der Waals interface of hBN to achieve a substantial and long-term electrostatic gating effect in graphene devices via the pyroelectric properties of a ferroelectric LiNbO3 substrate. Upon cooling, the polarization change in LiNbO3 induces high doping concentrations up to 1013 cm-2 in the adjacent graphene. Through a combination of transport measurements and non-contact techniques, we demonstrate that the pyroelectric charge accumulation, as well as its enhancement in electric fields, are responsible for this unexpectedly high doping level. Our findings introduce a novel mechanism for voltage-free electrostatic gating control with long retention.

cond-mat.mtrl-sci↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗

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↗