arXiv subjects

Jie Ma

Publications and source records attributed to Jie Ma.

At least 73 records · Page 4Linked to original sources

arXiv2026

Hg-I2P: Bridging Modalities for Generalizable Image-to-Point-Cloud Registration via Heterogeneous Graphs

Image-to-point-cloud (I2P) registration aims to align 2D images with 3D point clouds by establishing reliable 2D-3D correspondences. The drastic modality gap between images and point clouds makes it challenging to learn features that are both discriminative and generalizable, leading to severe performance drops in unseen scenarios. We address this challenge by introducing a heterogeneous graph that enables refining both cross-modal features and correspondences within a unified architecture. The proposed graph represents a mapping between segmented 2D and 3D regions, which enhances cross-modal feature interaction and thus improves feature discriminability. In addition, modeling the consistency among vertices and edges within the graph enables pruning of unreliable correspondences. Building on these insights, we propose a heterogeneous graph embedded I2P registration method, termed Hg-I2P. It learns a heterogeneous graph by mining multi-path feature relationships, adapts features under the guidance of heterogeneous edges, and prunes correspondences using graph-based projection consistency. Experiments on six indoor and outdoor benchmarks under cross-domain setups demonstrate that Hg-I2P significantly outperforms existing methods in both generalization and accuracy. Code is released on https://github.com/anpei96/hg-i2p-demo.

cs.CV↗

arXiv2026

Is AI Ready for Multimodal Hate Speech Detection? A Comprehensive Dataset and Benchmark Evaluation

Hate speech online targets individuals or groups based on identity attributes and spreads rapidly, posing serious social risks. Memes, which combine images and text, have emerged as a nuanced vehicle for disseminating hate speech, often relying on cultural knowledge for interpretation. However, existing multimodal hate speech datasets suffer from coarse-grained labeling and a lack of integration with surrounding discourse, leading to imprecise and incomplete assessments. To bridge this gap, we propose an agentic annotation framework that coordinates seven specialized agents to generate hierarchical labels and rationales. Based on this framework, we construct M^3 (Multi-platform, Multi-lingual, and Multimodal Meme), a dataset of 2,455 memes collected from X, 4chan, and Weibo, featuring fine-grained hate labels and human-verified rationales. Benchmarking state-of-the-art Multimodal Large Language Models reveals that these models struggle to effectively utilize surrounding post context, which often fails to improve or even degrades detection performance. Our finding highlights the challenges these models face in reasoning over memes embedded in real-world discourse and underscores the need for a context-aware multimodal architecture. Our dataset and code are available at https://github.com/mira-ai-lab/M3.

cs.MA↗

arXiv2026

Electrical Transport and Quantum Oscillations in the Metallic Spin Supersolid EuCo2Al9

The discovery of spin supersolid and its giant magnetocaloric effect has opened a new arena in frustrated quantum magnets and cutting-edge cryogenics. The intermetallic EuCo2Al9 (ECA), for the first time, extends this intriguing phase from Mott insulators to a highly conductive metal [1]. In this work, we systematically study the electrical transport properties of ECA, where itinerant electrons serve as a sensitive probe for the spin supersolid states. We observe anomalies both in the temperature-dependent resistivity and field-dependent magnetoresistance and Hall signals, which are attributed to response of electrons to the Eu2+ spins and their fluctuations. Moreover, Shubnikov-de Haas quantum oscillations at high magnetic field reveal pronounced band splitting in the spin polarized state. Our results reveal an intimate correspondence between electrical transport and magnetic transitions in ECA, deepening the understanding of this metallic spin supersolid.

cond-mat.str-el↗

arXiv2026

RKKY-dipolar Interactions and 3D Spin Supersolid on Stacked Triangular Lattice

Inspired by the recent discovery of metallic spin supersolidity and its giant magnetocaloric effect in the rare-earth alloy EuCo$_2$Al$_9$ [Nature 651, 61 (2026)], we perform a combined study through electronic structure analysis, effective spin model, and Monte Carlo simulations on a stacked triangular lattice, and reveal a novel mechanism for the emergence of 3D spin supersolid in a metallic antiferromagnet. From first-principles inputs, we derive a minimal spin model on a stacked triangular lattice (STL), which arises from the interplay between Ruderman-Kittel-Kasuya-Yosida (RKKY) and dipolar interactions and accurately reproduces the experimental thermodynamics. Based on the STL model, we identify a ground state that simultaneously breaks discrete lattice translational symmetry and continuous spin-rotational symmetry -- the hallmark of a spin supersolid. Furthermore, we present the field-temperature phase diagram of the 3D STL model and discuss the various magnetic phases and associated phase transitions. Under zero field, the spin supersolid Y order establishes in two steps: an upper transition at $T_{N1}$, where an emergent U(1) symmetry appears and the system enters a fluctuating collinear regime, followed by a lower transition at $T_{N2}$ into the spin supersolid Y phase. In contrast, the supersolid V phase undergoes a single phase transition at $T_N^V$. Our results not only provide a comprehensive theoretical understanding of the metallic spin supersolid reported for EuCo$_2$Al$_9$ but also pave the way for further experimental investigations into its supersolid transitions and universality class.

cond-mat.str-el↗

arXiv2026

An Erdős problem on random subset sums in finite abelian groups

Let $f(N)$ denote the least integer $k$ such that, if $G$ is an abelian group of order $N$ and $A \subseteq G$ is a uniformly random $k$-element subset, then with probability at least $\tfrac12$ the subset-sum set $\{ \sum_{x \in S} x : S \subseteq A \}$ equals $G$. In 1965, Erdős and Rényi proved that for all $N$, $$ f(N) \le \log_2 N + \left(\frac{1}{\log 2}+o(1)\right)\log\log N. $$ Erdős later conjectured that this bound cannot be improved to $f(N)\le \log_2 N+o(\log\log N)$. In this paper we confirm this conjecture by showing that, for primes $p$, $$ f(p)\ge \log_2 p+\left(\frac{1}{2\log 2}+o(1)\right)\log\log p. $$

math.CO↗

arXiv2026

On a maximal anti-Ramsey conjecture of Burr, Erdős, Graham, and Sós

Given a graph $H$, the maximal anti-Ramsey function $f(n,e,H)$ denotes the minimum integer $f$ for which there exists an $n$-vertex graph $G$ with at least $e$ edges admitting an edge-coloring with $f$ colors in which each copy of $H$ in $G$ is rainbow. In the late 1980s, Burr, Erdős, Graham, and Sós conjectured that for every odd cycle $C_{2k+1}$ with $k \ge 3$, $f(n, \lfloor n^2/4 \rfloor + 1, C_{2k+1}) = n^2/8 + o(n^2)$. In this note, we confirm this conjecture for all $k \ge 4$. More generally, we establish the asymptotic formula $$f\left(n,e,C_{2k+1}\right)=\frac{e}{2}+\frac{n}{2}\sqrt{e-\frac{n^2}{4}}+o(n^2),$$ for the entire non-trivial range of $\left\lfloor n^2/4 \right\rfloor+1\le e\le \binom{n}{2}$.

math.CO↗

arXiv2026

Spectrum and low-temperature bulk properties of triangular quantum spin liquid candidate NaYbSe$_2$

We report neutron scattering, pressure-dependent AC calorimetry, and AC magnetic susceptibility measurements of triangular lattice NaYbSe$_2$. We observe a continuum of scattering, which is reproduced by matrix product simulations, and no phase transition is detected in any bulk measurements. Comparison to heat capacity simulations suggest the material is within the Heisenberg spin liquid phase. AC Susceptibility shows a frequency-dependent peak at 40 mK, as has been observed in several triangular magnets.

cond-mat.str-el↗

arXiv2026

Dust traps and gas kinematic signatures in a crescent structure of a planet-forming disk

In the past few years, ALMA unveiled a variety of substructures (rings, spirals, crescents) in the continuum emission of most protoplanetary disks imaged at high spatial resolution. While the majority of disks presents axisymmetric ring-like structures in the dust brightness distribution, some sources display asymmetric morphologies (blobs, crescents) that have been often associated to vortices and/or mechanisms generated by the presence of one or more embedded planets. In this brief research report we present the analysis of the arc structure observed in the dust continuum emission of the disk around HD~163296, using high resolution ($\sim$8~au) matched continuum data from ALMA at four wavelengths. We characterize in detail the arc structures and present a kinematic signature observed in the CS(3-2) emission at the same location. Our results indicate that the crescent is caused by differential dust trapping in a local pressure maxima, for which plausible mechanisms can be the presence of a vortex or trapping in a Lagrangian point of the planet-star system.

astro-ph.SR↗

arXiv2026

Largest Sidon subsets in weak Sidon sets

A finite set $ S \subset \mathbb{R} $ is called a Sidon set if all sums $ x+y $ with $ x,y \in S $ and $ x \le y $ are distinct, and a weak Sidon set if all sums $ x+y $ with $ x,y \in S $ and $ x < y $ are distinct. For a finite set $ A \subset \mathbb{R} $, let $ h(A) $ denote the maximum size of a Sidon subset of $ A $, and define $$ g(n) := \min\{\, h(A) : A \subset \mathbb{R},\ |A| = n,\ A \text{ is a weak Sidon set} \,\}. $$ Sárközy and Sós asked whether the limit $ \lim_{n\to\infty} g(n)/n $ exists and, if so, to determine its value. We resolve this problem completely by determining $g(n)$ exactly: $$ g(n)=\left\lceil \frac{n+1}{2}\right\rceil \qquad\text{for all } n\ge 1. $$ In particular, $\lim_{n\to\infty} g(n)/n=\frac12$. We also investigate a related problem of Erdős concerning a local difference condition. A finite set $ A \subset \mathbb{R} $ is called a $(4,5)$-set if every $4$-element subset of $A$ determines at least five distinct values among its six pairwise absolute differences. Erdős asked for the optimal constant $ c_* > 0 $ such that every $(4,5)$-set of size $ n $ contains a Sidon subset of size at least $ c_* n $. Gyárfás and Lehel reduced this to an extremal problem of $3$-uniform hypergraphs and proved $\frac{1}{2} + \frac{1}{141 \cdot 76} \le c_* \le \frac{3}{5}$. We improve both bounds by establishing $$ \frac{9}{17} \le c_* \le \frac{4}{7}, $$ where the lower bound uses a reformulation of the extremal problem, and the upper bound follows from an explicit construction together with a convenient characterization of $c_*$.

math.CO↗

arXiv2026

When Specifications Meet Reality: Uncovering API Inconsistencies in Ethereum Infrastructure

The Ethereum ecosystem, which secures over $381 billion in assets, fundamentally relies on client APIs as the sole interface between users and the blockchain. However, these critical APIs suffer from widespread implementation inconsistencies, which can lead to financial discrepancies, degraded user experiences, and threats to network reliability. Despite this criticality, existing testing approaches remain manual and incomplete: they require extensive domain expertise, struggle to keep pace with Ethereum's rapid evolution, and fail to distinguish genuine bugs from acceptable implementation variations. We present APIDiffer, the first specification-guided differential testing framework designed to automatically detect API inconsistencies across Ethereum's diverse client ecosystem. APIDiffer transforms API specifications into comprehensive test suites through two key innovations: (1) specification-guided test input generation that creates both syntactically valid and invalid requests enriched with real-time blockchain data, and (2) specification-aware false positive filtering that leverages large language models to distinguish genuine bugs from acceptable variations. Our evaluation across all 11 major Ethereum clients reveals the pervasiveness of API bugs in production systems. APIDiffer uncovered 72 bugs, with 90.28% already confirmed or fixed by developers. Beyond these raw numbers, APIDiffer achieves up to 89.67% higher code coverage than existing tools and reduces false positive rates by 37.38%. The Ethereum community's response validates our impact: developers have integrated our test cases, expressed interest in adopting our methodology, and escalated one bug to the official Ethereum Project Management meeting.

cs.SE↗

arXiv2026

Leaf-to-leaf paths and cycles in degree-critical graphs

An $n$-vertex graph is degree 3-critical if it has $2n - 2$ edges and no proper induced subgraph with minimum degree at least 3. In 1988, Erdős, Faudree, Gyárfás, and Schelp asked whether one can always find cycles of all short lengths in these graphs, which was disproven by Narins, Pokrovskiy, and Szabó through a construction based on leaf-to-leaf paths in trees whose vertices have degree either 1 or 3. They went on to suggest several weaker conjectures about cycle lengths in degree 3-critical graphs and leaf-to-leaf path lengths in these so-called 1-3 trees. We resolve three of their questions either fully or up to a constant factor. Our main results are the following: - every $n$-vertex degree 3-critical graph has $Ω(\log n)$ distinct cycle lengths; -every tree with maximum degree $Δ\ge 3$ and $\ell$ leaves has at least $\log_{Δ-1}\, ((Δ-2)\ell)$ distinct leaf-to-leaf path lengths; - for every integer $N\geq 1$, there exist arbitrarily large 1-3 trees which have $O(N^{0.91})$ distinct leaf-to-leaf path lengths smaller than $N$, and, conversely, every 1-3 tree on at least $2^N$ vertices has $Ω(N^{2/3})$ distinct leaf-to-leaf path lengths smaller than $N$. Several of our proofs rely on purely combinatorial means, while others exploit a connection to an additive problem that might be of independent interest.

math.CO↗

arXiv2026

DriveFine: Refining-Augmented Masked Diffusion VLA for Precise and Robust Driving

Vision-Language-Action (VLA) models for autonomous driving increasingly adopt generative planners trained with imitation learning followed by reinforcement learning. Diffusion-based planners suffer from modality alignment difficulties, low training efficiency, and limited generalization. Token-based planners are plagued by cumulative causal errors and irreversible decoding. In summary, the two dominant paradigms exhibit complementary strengths and weaknesses. In this paper, we propose DriveFine, a masked diffusion VLA model that combines flexible decoding with self-correction capabilities. In particular, we design a novel plug-and-play block-MoE, which seamlessly injects a refinement expert on top of the generation expert. By enabling explicit expert selection during inference and gradient blocking during training, the two experts are fully decoupled, preserving the foundational capabilities and generic patterns of the pretrained weights, which highlights the flexibility and extensibility of the block-MoE design. Furthermore, we design a hybrid reinforcement learning strategy that encourages effective exploration of refinement expert while maintaining training stability. Extensive experiments on NAVSIM v1, v2, and Navhard benchmarks demonstrate that DriveFine exhibits strong efficacy and robustness. The code will be released at https://github.com/MSunDYY/DriveFine.

cs.CV↗

arXiv2026

AERO: Autonomous Evolutionary Reasoning Optimization via Endogenous Dual-Loop Feedback

Large Language Models (LLMs) have achieved significant success in complex reasoning but remain bottlenecked by reliance on expert-annotated data and external verifiers. While existing self-evolution paradigms aim to bypass these constraints, they often fail to identify the optimal learning zone and risk reinforcing collective hallucinations and incorrect priors through flawed internal feedback. To address these challenges, we propose \underline{A}utonomous \underline{E}volutionary \underline{R}easoning \underline{O}ptimization (AERO), an unsupervised framework that achieves autonomous reasoning evolution by internalizing self-questioning, answering, and criticism within a synergistic dual-loop system. Inspired by the \textit{Zone of Proximal Development (ZPD)} theory, AERO utilizes entropy-based positioning to target the ``solvability gap'' and employs Independent Counterfactual Correction for robust verification. Furthermore, we introduce a Staggered Training Strategy to synchronize capability growth across functional roles and prevent curriculum collapse. Extensive evaluations across nine benchmarks spanning three domains demonstrate that AERO achieves average performance improvements of 4.57\% on Qwen3-4B-Base and 5.10\% on Qwen3-8B-Base, outperforming competitive baselines. Code is available at https://github.com/mira-ai-lab/AERO.

cs.CL↗

arXiv2026

Detecting Training Data of Large Language Models via Expectation Maximization

Membership inference attacks (MIAs) aim to determine whether a specific example was used to train a given language model. While prior work has explored prompt-based attacks such as ReCALL, these methods rely heavily on the assumption that using known non-members as prompts reliably suppresses the model's responses to non-member queries. We propose EM-MIA, a new membership inference approach that iteratively refines prefix effectiveness and membership scores using an expectation-maximization strategy without requiring labeled non-member examples. To support controlled evaluation, we introduce OLMoMIA, a benchmark that enables analysis of MIA robustness under systematically varied distributional overlap and difficulty. Experiments on WikiMIA and OLMoMIA show that EM-MIA outperforms existing baselines, particularly in settings with clear distributional separability. We highlight scenarios where EM-MIA succeeds in practical settings with partial distributional overlap, while failure cases expose fundamental limitations of current MIA methods under near-identical conditions. We release our code and evaluation pipeline to encourage reproducible and robust MIA research.

cs.CL↗

arXiv2026

Reducing False Positives in Static Bug Detection with LLMs: An Empirical Study in Industry

Static analysis tools (SATs) are widely adopted in both academia and industry for improving software quality, yet their practical use is often hindered by high false positive rates, especially in large-scale enterprise systems. These false alarms demand substantial manual inspection, creating severe inefficiencies in industrial code review. While recent work has demonstrated the potential of large language models (LLMs) for false alarm reduction on open-source benchmarks, their effectiveness in real-world enterprise settings remains unclear. To bridge this gap, we conduct the first comprehensive empirical study of diverse LLM-based false alarm reduction techniques in an industrial context at Tencent, one of the largest IT companies in China. Using data from Tencent's enterprise-customized SAT on its large-scale Advertising and Marketing Services software, we construct a dataset of 433 alarms (328 false positives, 105 true positives) covering three common bug types. Through interviewing developers and analyzing the data, our results highlight the prevalence of false positives, which wastes substantial manual effort (e.g., 10-20 minutes of manual inspection per alarm). Meanwhile, our results show the huge potential of LLMs for reducing false alarms in industrial settings (e.g., hybrid techniques of LLM and static analysis eliminate 94-98% of false positives with high recall). Furthermore, LLM-based techniques are cost-effective, with per-alarm costs as low as 2.1-109.5 seconds and $0.0011-$0.12, representing orders-of-magnitude savings compared to manual review. Finally, our case analysis further identifies key limitations of LLM-based false alarm reduction in industrial settings.

cs.SE↗

arXiv2026

The inducibility of Turán graphs

Let $I(F,n)$ denote the maximum number of induced copies of a graph $F$ in an $n$-vertex graph. The inducibility of $F$, defined as $i(F)=\lim_{n\to \infty} I(F,n)/\binom{n}{v(F)}$, is a central problem in extremal graph theory. In this work, we investigate the inducibility of Turán graphs $F$. This topic has been extensively studied in the literature, including works of Pippenger--Golumbic, Brown--Sidorenko, Bollobás--Egawa--Harris--Jin, Mubayi, Reiher, and the first author, and Yuster. Broadly speaking, these results resolve or asymptotically resolve the problem when the part sizes of $F$ are either sufficiently large or sufficiently small (at most four). We complete this picture by proving that for every Turán graph $F$ and sufficiently large $n$, the value $I(F,n)$ is attained uniquely by the $m$-partite Turán graph on $n$ vertices, where $m$ is given explicitly in terms of the number of parts and vertices of $F$. This confirms a conjecture of Bollobás--Egawa--Harris--Jin from 1995, and we also establish the corresponding stability theorem. Moreover, we prove an asymptotic analogue for $I_{k+1}(F,n)$, the maximum number of induced copies of $F$ in an $n$-vertex $K_{k+1}$-free graph, thereby completely resolving a recent problem of Yuster. Finally, our results extend to a broader class of complete multipartite graphs in which the largest and smallest part sizes differ by at most on the order of the square root of the smallest part size.

math.CO↗

arXiv2026

Dean's conjecture and cycles modulo k

Dean conjectured three decades ago that every graph with minimum degree at least $k\ge 3$ contains a cycle whose length is divisible by $k$. While the conjecture has been verified for $k\in \{3,4\}$, it remains open for $k\ge 5$. A weaker version, also proposed by Dean, asserting that every $k$-connected graph contains a cycle of length divisible by $k$, was resolved by Gao, Huo, Liu, and Ma using the notion of admissible cycles. In this paper, we resolve Dean's conjecture for all $k\ge 6$. In fact, we prove a stronger result by showing that every graph with minimum degree at least $k$ contains cycles of length $r \pmod k$ for every even integer $r$, unless every end-block belongs to a specific family of exceptional graphs, which fail only to contain cycles of length $2 \pmod k$. We also establish a strengthened result on the existence of admissible cycles. Our proof introduces two sparse graph families, called trigonal graphs and tetragonal graphs, which provide a flexible framework for studying path and cycle lengths and may be of independent interest.

math.CO↗

arXiv2026

Positioning-Aided Channel Estimation for Multi-LEO Satellite Cooperative Beamforming

We investigate a multi-low Earth orbit (LEO) satellite system that simultaneously provides positioning and communication services to terrestrial user terminals. To address the challenges of accurately acquiring channel state information in LEO satellite systems, we propose a novel two-timescale positioning-aided channel estimation framework, exploiting the distinct variation rates of position-related parameters and channel gains inherent in LEO satellite channels. Using the misspecified Cramér-Rao bound (MCRB) theory, we systematically analyze positioning performance under practical imperfections, such as inter-satellite clock bias and carrier frequency offset. Furthermore, we theoretically demonstrate how position information derived from downlink positioning can enhance uplink channel estimation accuracy, even in the presence of positioning errors, through an MCRB-based analysis. To address the limited link budgets and communication rates of single-satellite communication, we develop a multi-LEO cooperative beamforming strategy for downlink transmission that leverages cluster-wise satellite cooperation while maintaining reduced complexity. Theoretical analyses and numerical results confirm the effectiveness of the proposed framework in facilitating high-precision downlink positioning under practical imperfections, facilitating uplink channel estimation, and enabling efficient downlink communication.

eess.SP↗