arXiv Science⌕ Search

arXiv subjects

Liang Cheng

Publications and source records attributed to Liang Cheng.

At least 19 recordsLinked to original sources

Local rigidity for the sharp Nash inequality

Let $V$ be a nonempty relatively compact open subset of a smooth Riemannian manifold $(M^n,g)$ without boundary. We prove that $C_{\mathrm N}(V,g)\ge C_{\mathrm N}(\mathbb R^n)$ and $\int_V \mathrm{Sc}_g dμ_g\ge0$ imply $\mathrm{Rm}_g=0$ on $V$, where $C_{\mathrm N}$ denotes the optimal constant in the Nash inequality and $\mathrm{Sc}_g$ denotes the scalar curvature. This improves an earlier rigidity result of Druet, Hebey, and Vaugon [Int. Math. Res. Not. (1999), no. 14, 735--779].

math.DG↗

Local Convexity and Planarity Estimates for Mean Curvature Flow

We establish local convexity and cylindrical pinching estimates for hypersurface mean curvature flow under an intermediate convexity condition and integral bounds on the mean curvature. These estimates hold after a positive waiting time and do not require pointwise upper bounds for the mean curvature on the parabolic boundary. In arbitrary codimension, we also establish local planarity estimates for properly defined flows satisfying a uniform $c_n$-pinching condition, without assuming bounded curvature. As applications, the hypersurface estimates yield convexity and cylindrical pinching for complete, spacetime-proper ancient hypersurface flows with uniform Euclidean area growth, without any bounded-curvature assumption. The planarity estimates imply that every complete, connected, spacetime-proper ancient flow satisfying the uniform $c_n$-pinching condition is either a static affine $n$-plane or lies in a fixed affine $(n+1)$-plane for all time.

math.DG↗

On Positively Curved Einstein Four-Manifolds with Euler Characteristic at Most Three

It is conjectured that a complete, orientable Einstein four-manifold with strictly positive sectional curvature must be isometric to either the round four-sphere $S^4$ or the complex projective plane $\mathbb{CP}^2$ with the Fubini--Study metric. In this paper, we confirm this conjecture when the manifold is homeomorphic to $S^4$ or $\mathbb{CP}^2$. More precisely, we show that a complete, orientable Einstein four-manifold $M$ with strictly positive sectional curvature and Euler characteristic $χ(M) \le 3$ (equivalently, by Freedman's classification theorem, homeomorphic to $S^4$ or $\mathbb{CP}^2$) is isometric to either the round $S^4$ or the Fubini--Study $\mathbb{CP}^2$. As an application, we obtain that a complete, orientable Einstein four-manifold with strictly positive sectional curvature admitting a nontrivial Killing field is isometric to either the round $S^4$ or the Fubini--Study $\mathbb{CP}^2$.

math.DG↗

Beyond the Stitching Assumption: A Unified Framework for Multimodal Synthetic Data Evaluation via Semantic Quantization

Multimodal synthetic datasets combine structured attributes with free text, but are often evaluated separately. Such metrics can remain high after tabular--text pairings are disrupted. We present a projection-based evaluator for tabular--text synthetic data. A fixed sentence encoder maps text to embeddings, \(k\)-means converts them to cluster states, and tabular variables are represented as categorical or quantile-binned states. Real and synthetic contingency tables are compared using Jensen--Shannon divergence (JSD), normalized mutual information (NMI), conditional JSD (cJSD), and joint-state entropy. We also report text-to-attribute (T2A) utility and a holdout-calibrated proximity flag rate (PFR) as a representation-level diagnostic. A text-permutation control preserves both marginal distributions while disrupting their pairing. Experiments on Amazon Reviews, Kiva Loans, and the Employment Scam Aegean Dataset show that modality-specific scores remain high under this control. The projection diagnostics detect disruption when real projected dependence exceeds a permutation baseline, but are less informative for weak or sparse projections. Some conditioned LLM baselines also exhibit stronger measured dependence than the corresponding real-data projections. These results support explicit cross-modal evaluation with permutation baselines and coverage reporting.

cs.CL↗

ASKAP discovery of a pair of large radio bubbles: on the origin of odd radio circles

We report the serendipitous discovery of a large, low-surface-brightness radio bubble in 944 MHz continuum data from the ASKAP Evolutionary Map of the Universe (EMU) survey. The structure, centred on the elliptical galaxy LEDA 217397 at a redshift of $z=0.040$, spans $\sim$8.4 arcmin, corresponding to a projected diameter of $\sim$399 kpc, and consists of two partly overlapping shells both with radii of $\sim$114 kpc. The integrated flux density of the bubble is $56.8\pm2.9$ mJy at 944 MHz, implying a rest-frame 1.4 GHz luminosity of $\sim$ $1.4\times10^{23}$ W Hz$^{-1}$. Combining the EMU measurement with MWA GLEAM-X data at 88--185 MHz, we derive a steep integrated spectral index of $α=-1.04\pm0.04$, and a two-frequency spectral-index map suggesting a possible exterior flattening. Spectral Energy Distribution (SED) fitting indicates a massive ($\log M_{\ast}/M\odot = 10.97\pm0.09$), quiescent (SFR=$0.025\pm0.083\,M\odot$ yr$^{-1}$) early-type host with no mid-infrared AGN signature and no overdense environment. We compare the bubble with odd radio circles (ORCs) and large radio shells, and discuss three scenarios for its origin: a starburst-driven wind, a merger-driven shock, and AGN jet-inflated bubbles. The starburst wind is disfavoured on energetic grounds ($\gtrsim$$10^{59}$ erg required versus $\sim$$10^{8}$ yr electron lifetimes), and neither a halo-scale merger shock nor a spherical nuclear blast wave can explain the unusually regular, double-shell geometry; a bipolar nuclear outburst -- a relic AGN jet episode, possibly triggered by a supermassive-black-hole merger -- provides the most natural explanation, with later shocks possibly re-energising the plasma. Deeper broad-band radio, polarimetric, spectroscopic and X-ray observations are needed to confirm its nature.

astro-ph.GA↗

Ball and Spherical-Shell Rigidity from Overdetermined Translating Solitons

We study overdetermined boundary problems for the graphical translating-soliton equation \[ -\operatorname{div}\!\left(\frac{Du}{\sqrt{1+|Du|^2}}\right) =\frac{1}{\sqrt{1+|Du|^2}} \quad\text{in }Ω, \qquad \partial_νu=ΓH+C \quad\text{on }\partialΩ, \] where $Γ, C$ are constants, $H$ is the mean curvature of the boundary $\partialΩ$ of the regular bounded domain in $R^n$ such that $H_{\partial B_R}=-1/R$. For $Γ\geq0$, we prove that constant Dirichlet data force a bounded domain to be a ball. We also prove a spherical-shell rigidity theorem for a doubly connected domain with two ordered boundary heights and $a<u<b$ in the interior. The argument combines linearization under reflection, Reichel's critical-plane and annular continuation principles, curvature comparison, Serrin's corner lemma, and a radial ODE that excludes the annular alternative in the one-height problem. Finally, we give explicit counterexamples showing the sharpness of the sign, ordering, connectedness, and nesting assumptions.

math.AP↗

Psyzkaller: Learning from Historical and On-the-Fly Execution Data for Smarter Seed Generation in OS kernel Fuzzing

OS Kernel fuzzers such as Syzkaller often struggle to generate syscall sequences that respect intrinsic Syscall Dependency Relations (SDRs), resulting in seeds that either violate kernel constraints or fail to reach deep execution paths. We propose leveraging an N-gram model to learn SDRs from both kernel execution history and ongoing fuzzing results. This enables the fuzzer to capture dependencies in similar kernel versions while adapting to target-specific behaviors, thereby improving the validity of generated seeds. Additionally, we introduce a bidirectional Random Walk strategy to enhance the diversity of generated seeds. We implement this approach in a prototype, Psyzkaller, on top of Syzkaller. Experiments show that, trained with the large-scale DongTing dataset and continuously updated with ongoing fuzzing results, Psyzkaller improves Syzkaller's code coverage by 4.6%-7.0%, triggers 110.4%-187.2% more crashes, and discovers eight previously unknown kernel vulnerabilities. Furthermore, Psyzkaller outperforms state-of-the-art fuzzers such as ACTOR and SyzDescribe in both coverage and crashes.

cs.CR↗

Specialize Roles, Mix Deployments: Pushing the Cost-Accuracy Frontier of LLM Agent Teams

LLM agents are increasingly deployed as multi-role teams, where tasks are divided across specialized roles such as planner, executor, and verifier. In these systems, cost and accuracy are no longer properties of a single model: they depend on which model fills each role and where it is hosted, including API, self-hosted, and hybrid deployment. Existing agentic benchmarks typically evaluate fixed models or fixed agent configurations, and therefore offer limited guidance for cost-accuracy-optimal deployment. We introduce AgentCARD, a role-aware benchmark suite for evaluating LLM agent teams across role assignment and deployment mode. AgentCARD combines a role-decomposed evaluation harness, a unified API/self-hosted cost model, Pareto-frontier analysis, and a Shapley-based diagnostic for identifying role bottlenecks. Our evaluation shows that heterogeneous teams consistently occupy the cost-accuracy frontier. They improve accuracy by up to $44\%$ over cost-equivalent homogeneous teams, or match the strongest homogeneous team at up to $12\times$ lower per-task cost through hybrid deployment. We further find that the best role assignment is domain-dependent: some domains are planner-bottlenecked, while others are executor-bottlenecked. Finally, AgentCARD extends beyond planner--executor teams to workflows with additional roles such as verification, and supports continual evaluation as new domains and team structures emerge. Our code is released at: https://github.com/Auto-CAP/AgentCAP

cs.MA↗

Do Agents Know What They Can't Do? Evaluating Feasibility Awareness in Tool-Using Agents

Tool-using agents often incur substantial computational cost due to long reasoning chains and iterative tool usage. In practical scenarios, many tasks become infeasible under constrained tool environments, where the capabilities required for successful task completion are unavailable. Detecting infeasible tasks and stopping execution early can significantly reduce unnecessary execution cost. In this work, we propose FeasiGen, an automatic pipeline for constructing infeasible agent tasks by identifying the critical tools required for successful task completion. Our approach extracts tool-calling traces from successful executions across multiple agent systems, identifies critical tools consistently shared across diverse execution strategies, and masks these tools to automatically transform solvable tasks into infeasible ones. Human verification confirms that the infeasibility annotations for our constructed tasks achieve over 94% accuracy. We further introduce feasibility-aware evaluation metrics for measuring whether agents can recognize infeasible tasks and stop execution appropriately. Extensive evaluations across nine models reveal substantially weak infeasibility detection ability, with false continue rate reaching up to 73.9%. We further observe that multi-agent architectures significantly reduce erroneous execution under infeasible conditions.

cs.AI↗

ContextPilot: Fast Long-Context Inference via Context Reuse

AI applications increasingly depend on long-context inference, where LLMs consume substantial context to support stronger reasoning. Common examples include retrieval-augmented generation, agent memory layers, and multi-agent orchestration. As input contexts get longer, prefill latency becomes the main bottleneck. Yet today's prefill acceleration techniques face a trade-off: they either preserve reasoning quality but deliver little KV-cache reuse, or improve reuse at the cost of degraded reasoning quality. We present ContextPilot, a system that accelerates prefill by introducing context reuse as a new mechanism for faster long-context inference. ContextPilot introduces a context index to identify overlapping context blocks across LLM interactions (e.g., across users and turns). It further proposes context ordering and de-duplication techniques to maximize KV-cache reuse. To preserve reasoning quality under reuse, it introduces succinct context annotations that prevent quality degradation. Finally, ContextPilot is built around a modular architecture with a clean interface that integrates with existing inference engines. Extensive evaluation shows that ContextPilot reduces LLM prefill latency by up to $3\times{}$ compared to state-of-the-art methods while preserving reasoning quality. At longer context lengths, it can even improve reasoning quality. ContextPilot is open-sourced at: https://github.com/EfficientContext/ContextPilot.

cs.LG↗

MMLongBench: Benchmarking Long-Context Vision-Language Models Effectively and Thoroughly

The rapid extension of context windows in large vision-language models has given rise to long-context vision-language models (LCVLMs), which are capable of handling hundreds of images with interleaved text tokens in a single forward pass. In this work, we introduce MMLongBench, the first benchmark covering a diverse set of long-context vision-language tasks, to evaluate LCVLMs effectively and thoroughly. MMLongBench is composed of 13,331 examples spanning five different categories of downstream tasks, such as Visual RAG and Many-Shot ICL. It also provides broad coverage of image types, including various natural and synthetic images. To assess the robustness of the models to different input lengths, all examples are delivered at five standardized input lengths (8K-128K tokens) via a cross-modal tokenization scheme that combines vision patches and text tokens. Through a thorough benchmarking of 46 closed-source and open-source LCVLMs, we provide a comprehensive analysis of the current models' vision-language long-context ability. Our results show that: i) performance on a single task is a weak proxy for overall long-context capability; ii) both closed-source and open-source models face challenges in long-context vision-language tasks, indicating substantial room for future improvement; iii) models with stronger reasoning ability tend to exhibit better long-context performance. By offering wide task coverage, various image types, and rigorous length control, MMLongBench provides the missing foundation for diagnosing and advancing the next generation of LCVLMs.

cs.CV↗

Automatic Generation of a Cryptography Misuse Taxonomy Using Large Language Models

The prevalence of cryptographic API misuse (CAM) is compromising the effectiveness of cryptography and in turn the security of modern systems and applications. Despite extensive efforts to develop CAM detection tools, these tools typically rely on a limited set of predefined rules from human-curated knowledge. This rigid, rule-based approach hinders adaptation to evolving CAM patterns in real practices. We propose leveraging large language models (LLMs), trained on publicly available cryptography-related data, to automatically detect and classify CAMs in real-world code to address this limitation. Our method enables the development and continuous expansion of a CAM taxonomy, supporting developers and detection tools in tracking and understanding emerging CAM patterns. Specifically, we develop an LLM-agnostic prompt engineering method to guide LLMs in detecting CAM instances from C/C++, Java, Python, and Go code, and then classifying them into a hierarchical taxonomy. Using a data set of 3,492 real-world software programs, we demonstrate the effectiveness of our approach with mainstream LLMs, including GPT, Llama, Gemini, and Claude. It also allows us to quantitatively measure and compare the performance of these LLMs in analyzing CAM in realistic code. Our evaluation produced a taxonomy with 279 base CAM categories, 36 of which are not addressed by existing taxonomies. To validate its practical value, we encode 11 newly identified CAM types into detection rules and integrate them into existing tools. Experiments show that such integration expands the tools' detection capabilities.

cs.CR↗

A Survey of Graph Neural Networks for Drug Discovery: Recent Developments and Challenges

Graph Neural Networks (GNNs) have gained traction in the complex domain of drug discovery because of their ability to process graph-structured data such as drug molecule models. This approach has resulted in a myriad of methods and models in published literature across several categories of drug discovery research. This paper covers the research categories comprehensively with recent papers, namely molecular property prediction, including drug-target binding affinity prediction, drug-drug interaction study, microbiome interaction prediction, drug repositioning, retrosynthesis, and new drug design, and provides guidance for future work on GNNs for drug discovery.

cs.LG↗

Statistical Invisibility of a Physical Attack on QRNGs After Randomness Extraction

Current prevailing designs of quantum random number generators (QRNGs) designs typically employ post-processing techniques to distill raw random data, followed by statistical verification with suites like NIST SP 800-22. This paper demonstrates that this widely adopted practice harbors a critical flaw. We show that the powerful extraction process can create a false sense of security by perfectly concealing physical-layer attacks, rendering the subsequent statistical tests blind to a compromised entropy source. We substantiate this claim across two major QRNG architectures. Experimentally, we severely compromise an QRNG based on amplified spontaneous emission (ASE) with a power supply ripple attack. While the resulting raw data catastrophically fails NIST tests, a standard Toeplitz extraction transforms it into a final sequence that passes flawlessly. This outcome highlights a profound danger: since the validation process is insensitive to the quality of the raw data, it implies that even a fully predictable input could be processed to produce a certified, yet completely insecure, random sequence. Our theoretical analysis confirms this vulnerability extends to phase-noise-based QRNGs, suggesting a need for security validation to evolve beyond statistical analysis of the final output and consider the entire generation process.

quant-ph↗

RL-Finetuned LLMs for Privacy-Preserving Synthetic Rewriting

The performance of modern machine learning systems depends on access to large, high-quality datasets, often sourced from user-generated content or proprietary, domain-specific corpora. However, these rich datasets inherently contain sensitive personal information, raising significant concerns about privacy, data security, and compliance with regulatory frameworks. While conventional anonymization techniques can remove explicit identifiers, such removal may result in performance drop in downstream machine learning tasks. More importantly, simple anonymization may not be effective against inference attacks that exploit implicit signals such as writing style, topical focus, or demographic cues, highlighting the need for more robust privacy safeguards during model training. To address the challenging issue of balancing user privacy and data utility, we propose a reinforcement learning framework that fine-tunes a large language model (LLM) using a composite reward function that jointly optimizes for explicit and implicit privacy, semantic fidelity, and output diversity. To effectively capture population level regularities, the privacy reward combines semantic cues with structural patterns derived from a minimum spanning tree (MST) over latent representations. By modeling these privacy-sensitive signals in their distributional context, the proposed approach guides the model to generate synthetic rewrites that preserve utility while mitigating privacy risks. Empirical results show that the proposed method significantly enhances author obfuscation and privacy metrics without degrading semantic quality, providing a scalable and model-agnostic solution for privacy preserving data generation in the era of large language models.

cs.CR↗

On the rigidity of manifolds with respect to Gagliardo-Nirenberg inequalities

In this paper, we investigate local rigidity properties related to Gagliardo-Nirenberg constants and unweighted Yamabe-type constants. Let $V$ be an open bounded subset of an $n$-dimensional Riemannian manifold $(M,g)$ whose Gagliardo-Nirenberg constant satisfies \[ \mathbb{G}_α^{\pm}(V,g) \geq \mathbb{G}_α^{\pm}(\mathbb{R}^n,g_{\mathbb{R}^n}), \] where $(\mathbb{R}^n,g_{\mathbb{R}^n})$ denotes the $n$-dimensional Euclidean space with its standard metric. We show that for $α\in (0,1) \cup \left(1,\frac{n+6}{n+2}\right)$ when $n \leq 6$ or $α\in (0,1) \cup \left(1,\frac{n}{n-2}\right]$ when $n \geq 7$, if the first eigenvalue of the Ricci tensor satisfies \[ \int_V λ_1(\operatorname{Rc}) \, dμ_g \geq 0, \] then $V$ must be flat. When $α$ belongs to a specific subinterval around $1$ within the above range, $\mathbb{G}_α^{\pm}(V,g) \geq \mathbb{G}_α^{\pm}(\mathbb{R}^n,g_{\mathbb{R}^n})$ and the weaker curvature condition of the scalar curvature \[ \int_{V} \operatorname{Sc} \, dμ_g \geq 0 \] already imply that $V$ is flat. Moreover, we prove that for $α$ sufficiently close to 1, the condition \[ \mathbb{Y}_α^{\pm}(V,g) \geq \mathbb{G}_α^{\pm}(\mathbb{R}^n,g_{\mathbb{R}^n}) \] on the unweighted Yamabe-type constants guarantees the flatness of $V$.

math.DG↗

A Multi-Faceted Evaluation Framework for Assessing Synthetic Data Generated by Large Language Models

The rapid advancements in generative AI and large language models (LLMs) have opened up new avenues for producing synthetic data, particularly in the realm of structured tabular formats, such as product reviews. Despite the potential benefits, concerns regarding privacy leakage have surfaced, especially when personal information is utilized in the training datasets. In addition, there is an absence of a comprehensive evaluation framework capable of quantitatively measuring the quality of the generated synthetic data and their utility for downstream tasks. In response to this gap, we introduce SynEval, an open-source evaluation framework designed to assess the fidelity, utility, and privacy preservation of synthetically generated tabular data via a suite of diverse evaluation metrics. We validate the efficacy of our proposed framework - SynEval - by applying it to synthetic product review data generated by three state-of-the-art LLMs: ChatGPT, Claude, and Llama. Our experimental findings illuminate the trade-offs between various evaluation metrics in the context of synthetic data generation. Furthermore, SynEval stands as a critical instrument for researchers and practitioners engaged with synthetic tabular data,, empowering them to judiciously determine the suitability of the generated data for their specific applications, with an emphasis on upholding user privacy.

cs.LG↗