arXiv subjects

Lin Sun

Publications and source records attributed to Lin Sun.

At least 19 recordsLinked to original sources

arXiv2026

External Experience Serving in Production LLM Systems: A Deployment-Oriented Study of Quality-Cost Trade-offs

Production LLM systems accumulate reusable operational experience, but the practical deployment issue is not merely whether such experience can help. It is how different serving strategies trade off quality against online cost under realistic constraints. Injecting external experience can improve task quality, yet it also increases prompt burden, latency, and serving pressure. We study \textit{external experience serving} as a deployment-oriented quality-cost trade-off problem. We evaluate this question in a real production moderation setting, with tool-use and GPQA as supporting contrast tasks that expose different output-cost regimes. We compare no-experience baselines, random experience controls, global prompt injection, and retrieval-based selective injection, and analyze both task quality and serving cost. The results show that, once experience becomes case-dependent, selective retrieval provides a stronger operating point than unconditional global injection. They further show that retrieval quality matters more than simply increasing Top-$K$, and that the same serving policy can exhibit substantially different cost-benefit profiles across short-output and decode-heavy regimes. These findings suggest that external experience is best treated as a selective, cost-aware serving decision rather than as a universal add-on. Overall, in the settings studied here, external experience pays off only when both the serving interface and the task-specific cost structure make its quality gains worth the online cost.

cs.CL↗

arXiv2026

Clique-factors in randomly perturbed hypergraphs

In this paper we establish the following result for clique-factors in randomly perturbed hypergraphs when the cliques are large enough. For integers $k \geq 3$ and $t\geq t_0(k)$, we show that for every $α> 0$, there exists $C>0$ such that for sufficiently large $n\in(t+1)\mathbb{N}$, the union of a $k$-uniform hypergraph on $n$ vertices with minimum codegree at least $αn$ and a binomial random $k$-uniform hypergraph $H^{(k)}(n,p)$ with $p\geq Cn^{-{t/\binom{t+1}{k}}}$ on the same vertex set contains a $K_{t+1}^{(k)}$-factor asymptotically almost surely. The bound on $p$ is asymptotically best possible and extends the graph case, resolved by Balogh, Treglown and Wagner. In particular, we have $t_0(3)=3$, which implies that our result applies to every $t\ge 3$ for $3$-uniform hypergraphs. Together with the previously established result for perfect matchings, this covers all possible clique sizes for $3$-uniform hypergraphs.

math.CO↗

arXiv2026

Achieving ultrahigh-temperature superfluidity in atomic Fermi gases by suppressing pairing fluctuations

Achieving room-temperature superconductivity has been a long-sought goal of both the physics community and the industry. The superfluid transition temperature $T_\mathrm{c}$ of a Fermi system initially increases with increasing pairing strength between fermions following the mean-field prediction of the Bardeen-Cooper-Schrieffer (BCS) theory, and is then suppressed by pairing fluctuations as the strength increases further, which prevents $T_\mathrm{c}$ from becoming high. Here we propose a mechanism for suppressing pairing fluctuations using the synergy between population imbalance and momentum space confinement in lattice systems, enabling an ultrahigh $T_\mathrm{c}$ at moderately strong attraction. We show that in a three-dimensional optical lattice, strong Pauli exclusion between paired and excess majority fermions pushes up the pair excitation energy and suppresses finite-momentum pairing fluctuations. The mechanism is general to any lattice with a finite Brillouin zone; the optimal imbalance is modest ($p\lesssim 0.1$), keeping the Zeeman field small and avoiding orbital complications. The gapped pair dispersion at moderate imbalance exponentially suppresses thermal condensate depletion, providing a testable signature. The gapped dispersion, enhanced condensate fraction, and pseudogap reduction are all accessible in present-day experiments. This work opens new avenues toward room-temperature superconductivity.

cond-mat.quant-gas↗

arXiv2026

Harness-Bench: Evaluating Agent Harnesses across Models and Realistic Workflows

LLM agents are increasingly deployed as executable systems that use tools, modify workspaces, and produce concrete artifacts. In such workflows, performance depends not only on the base model, but also on the harness: the system layer that manages context, tools, state, constraints, permissions, tracing, and recovery. However, existing benchmarks typically abstract away execution, compare complete agent systems, or hold the harness fixed, making execution-layer variation difficult to study. We introduce Harness-Bench, a diagnostic benchmark for evaluating configuration-level harness effects in realistic agent workflows. Harness-Bench evaluates representative harness configurations across multiple model backends under shared task environments, budgets, and evaluation protocols, while preserving each harness's native execution behavior. The benchmark contains 106 sandboxed offline tasks constructed from practical agent-use patterns and manually reviewed for realism, solvability, oracle-checkability, and integrity. Each run records final artifacts, execution traces, usage statistics, and validator outputs, enabling analysis beyond final completion. Across 5,194 execution trajectories, we observe substantial variation in completion, process quality, efficiency, and failure behavior across model-harness pairings. These results suggest that agent capability should be reported at the model-harness configuration level rather than attributed to the base model alone. Our analysis further identifies recurring execution-alignment failures, where plausible reasoning becomes decoupled from tool feedback, workspace state, evidence, or verifiable output contracts. Harness-Bench provides a reproducible foundation for diagnosing and improving reliable, efficient, and auditable agent execution stacks.

cs.AI↗

arXiv2026

Beyond Distribution Matching: Selective Margin Preservation for Supervised Fine-Tuning

Supervised fine-tuning (SFT) changes logit margins among non-target tokens at teacher-forced prefixes. Matching a local reference distribution keeps those probabilities and also penalizes margin expansions. We ask whether a soft auxiliary can preserve selected local non-target margin relations without freezing that distribution. We introduce \textbf{Selective Rank-Preserving SFT (SRP-SFT)}, a soft margin target: a hinge on reference-scaled lower bounds for pairs from the reference's top-$K$ non-target tokens, applied at fixed teacher-forced prefixes. The hinge stops once the requested bound is met. We derive the KL cost of violating a margin, characterize the feasible region and its conditional utility, and give a finite-step condition for reducing aggregate violations. In one-epoch experiments on Qwen3-4B-Base and UltraFeedback, this target raises MATH-500 and code-generation scores over CE and LP-SFT at all three training seeds. At seed 1234, MATH-500 pass@1 rises from 49.56\% to 54.56\% and the four-metric code mean rises from 65.91\% to 69.50\% relative to LP-SFT. Ranking controls, held-out cache diagnostics, sensitivity sweeps, and six additional backbones show where these score changes appear.

cs.LG↗

arXiv2026

Evaluation is All You Need: Strategic Overclaiming of LLM Reasoning Capabilities Through Evaluation Design

Reasoning models represented by the Deepseek-R1-Distill series have been widely adopted by the open-source community due to their strong performance in mathematics, science, programming, and other domains. However, our study reveals that their benchmark evaluation results are subject to significant fluctuations caused by various factors. Subtle differences in evaluation conditions can lead to substantial variations in results. Similar phenomena are observed in other open-source inference models fine-tuned based on the Deepseek-R1-Distill series, as well as in the QwQ-32B model, making their claimed performance improvements difficult to reproduce reliably. Therefore, we advocate for the establishment of a more rigorous paradigm for model performance evaluation and present our empirical assessments of the Deepseek-R1-Distill series models.

cs.AI↗

arXiv2026

ScienceArena: Benchmarking LLMs on Latest Scientific Olympiad Competitions

Benchmark saturation and data contamination increasingly obscure genuine scientific reasoning in frontier LLMs. We introduce \textsc{ScienceArena}, an olympiad-style benchmark from thirteen public science competitions in physics, chemistry, and biology, including IPhO and IChO 2025--2026, IBO 2023, USAPhO 2026, and USNCO 2025. Its open-ended, multi-step problems use process-credit rubrics, making faithful scoring difficult. We build ScienceArena through an expert-audited digitization pipeline that converts official exams, figures, solutions, and rubrics into structured items verified by olympiad medalists. To scale evaluation beyond costly human grading, we calibrate LLM-as-judge against medalist ground truth on archived answers from five models across IPhO and IChO; two strong judges stay within one point of expert total scores. Medalist notes show that failures often stem from visual grounding, structure fidelity, and global problem control rather than missing terminology. Evaluating fourteen recent LLMs with interleaved solving, we find that top models obtain medal-equivalent rubric scores on several public international exams, while chemistry and long-horizon consistency remain key bottlenecks. We provide an interactive \href{https://science-arena.onrender.com/}{demo}.

cs.AI↗

arXiv2026

RealClawBench: Live OpenClaw Benchmarks from Real Developer-Agent Sessions

Agent benchmarks should reflect what users actually ask deployed agents to do, yet existing benchmarks often miss key realism properties of real developer-agent sessions. We introduce RealClawBench, a live benchmark framework built from real OpenClaw sessions to capture the distribution, diversity, and real-world difficulty of deployed agent use. Real user requests are challenging to benchmark because they often depend on local execution environments, involve implicit or underspecified intent, and require nontrivial verification. RealClawBench addresses these challenges with two core mechanisms: reconstructed execution environments and deterministic verifiable scorers, which together convert real sessions into reproducible, automatically scored tasks. The resulting release contains 281 executable tasks sampled from a much larger real-session pool while preserving the source distribution, with maximum final-vs-source Jensen-Shannon divergence of 0.0448. Evaluating 14 contemporary models shows that the best system solves only 65.8% of tasks, revealing substantial headroom on realistic developer-agent workloads. By turning real deployed sessions into controlled evaluation instances, RealClawBench provides a practical path toward benchmarks that better measure agent capability in actual use. Code is available at:https://anonymous.4open.science/r/real-claw-bench-582B.

cs.CL↗

arXiv2026

ArborMem: Navigating Interaction States with Memory Forests

Large language models increasingly serve as persistent conversational assistants, requiring memory that preserves relevant experience and maintains continuity across interactions. Existing methods improve access to conversational history through long-context processing, selective retrieval, and structured memory organization. However, most systems treat memory access as retrieving relevant past information without first determining which prior interaction state the current turn resumes. This limitation becomes particularly important when conversations interleave multiple tasks, people, and plans that may be interrupted and later revisited. We introduce ArborMem, an online memory framework that represents a long-running conversation as a navigable forest of interaction states. Each branch preserves a locally coherent trajectory, while the forest maintains multiple trajectories that may later be resumed. For each new input, ArborMem localizes the relevant state, restores its branch-local context, and augments it with reusable evidence retrieved across branches, preserving interaction continuity without conflating semantically related but structurally distinct trajectories. Existing long-term memory benchmarks cover diverse memory and reasoning capabilities but do not explicitly isolate branch-structured challenges. We therefore introduce BranchMemEval, a controlled diagnostic benchmark for interleaved and resumable interaction trajectories. Experiments on LongMemEval, LoCoMo, BEAM 100K, and BranchMemEval show that ArborMem outperforms the strongest baselines by 3.36 to 10.31 percentage points on the three established benchmarks and by 5.0 points on BranchMemEval. Its advantage grows under constrained read budgets, while complete memory queries remain below half a second.

cs.CL↗

arXiv2026

Extracting the pairing gap from van Hove singularities in rf spectra of the Fermi Hubbard model

We show that van Hove singularities in rf spectra of the 3D attractive Fermi Hubbard model provide a robust route to extracting the pairing gap. Four types of singularities are classified, and their spectral positions are shown to depend solely on the pairing gap $Δ$ and chemical potential $μ$ through simple algebraic relations. Measuring two well-resolved singularities therefore determines both parameters without requiring full spectral fitting. Numerical simulations incorporating phenomenological lifetime and scattering broadenings confirm that these features remain visible in both momentum-integrated and $k_z$-integrated spectra, and become more pronounced at stronger coupling where conventional back-bending methods lose sensitivity. At half filling, particle-hole symmetry fixes $μ$, reducing the extraction to a single singularity measurement. These results establish vHS analysis as a practical spectroscopic diagnostic for pairing in quantum-simulated 3D Fermi Hubbard systems.

cond-mat.quant-gas↗

arXiv2026

When Do Prompt-Side Agent Playbooks Transfer? Accuracy, Cost, and Runtime Shift in Agent Deployment

Prompt-side playbooks can improve tool-using language agents without retraining, but their portability beyond the source setting is unclear. We study frozen playbook transfer under a shared distill--validate--transfer protocol. On ALFWorld, transfer is beneficial under controlled greedy decoding and, in one near-budget-matched comparison, distilled guidance outperforms five fixed demonstrations. On TAU2-Bench, a prespecified aggregate contrast supports a modest average matched-domain advantage, but global Holm correction retains only one of 135 route-level effects; the remaining grid provides descriptive evidence of compatibility-sensitive heterogeneity. On XBench-DeepSearch, one artifact--runtime pairing preserves useful first-try heuristics while producing repeated queries, delayed stopping, and substantial cost inflation after a context-runtime shift. Across benchmarks, transferred and target-derived playbooks both require target-side validation of success, termination, protocol compatibility, and cost. Frozen transfer is therefore a conditional cold-start option, not a reuse-by-default strategy or a universally preferable alternative to target-side redistillation.

cs.AI↗

arXiv2026

Quantum Geometry, Anomalous Scaling, and Strong Pseudogap Superfluidity in a Flat-Band Lieb Lattice

Flat-band systems such as magic-angle twisted bilayer graphene host strong-correlation superconductivity at vanishingly weak coupling, yet how quantum geometry and pairing fluctuations conspire to drive this phenomenon remains an open question. We investigate finite-temperature superfluidity in a quasi-two-dimensional Lieb lattice using a pairing fluctuation theory with a band-uniform attractive interaction $g<0$ that isolates the intrinsic quantum geometric contributions. Quantum geometry significantly amplifies superfluidity; the geometric pair hopping integral surpasses its conventional counterpart, and the geometric superfluid density becomes the dominant in-plane transport component. When the Fermi level enters the flat band, the BCS paradigm breaks down entirely; the pairing gap and $T_\text{c}$ shift from exponential to anomalous power-law scaling $Δ, T_\text{c} \propto |g|^ν$ ($ν>1$), and the superfluid density inherits an unconventional power-law temperature dependence at low temperatures. In the 2D limit ($t_z=0$), the pseudogap at $T_\text{c}$ nearly saturates the zero-temperature gap even at $|g|/t=0.001$, placing the system in a strong-pseudogap regime that would otherwise require unitary or BEC-scale interactions. These findings establish a microscopic mechanism for flat-band enhanced superfluidity and offer testable predictions for ultracold atom experiments.

cond-mat.quant-gas↗

arXiv2026

Dynamic Airspace Management for UAVs in Evolving Urban Environments: Collaborative Coordination and Human Safety

The low-altitude economy is an emerging industry with significant development potential, in which the safety of unmanned aerial vehicle (UAV) operations is a critical challenge. Particularly within complex urban topographies and human-populated environments, UAV airspace management must prioritize collision avoidance and human safety. We propose Pharos, a collaborative multi-UAV airspace management system. Pharos lies between the distributed local perception paradigm and the centralized fine-grained control paradigm. Pharos coordinates the safe parallel execution of UAVs in shared airspace while innovatively accounting for the impact of human fear. Pharos is implemented using the MAPPO algorithm due to its faster convergence and higher rewards than other typical MARL algorithms (HAPPO and HATRPO). To evaluate Pharos, we developed a 3D simulation system using real urban data. Visualization results demonstrate its effective airspace coordination capability. Regarding performance verification, Pharos reduced human fear by 52.72% compared to the benchmark Ipopt. Moreover, we designed spatial entropy as a system evaluation metric to quantify space utilization, which improved performance by 70.82% and 2.03% compared to the benchmarks Ipopt and A-star, respectively. The source code is available at an anonymized repository: https://github.com/pharos-anonymized/source-code.git.

cs.MA↗

arXiv2026

UniFS: Unified Fast-to-Slow Hierarchical Architecture for Vision-Language-Action Models

Mainstream Fast-Slow dual system vision-language-action models decouple a high-frequency action expert from a low-frequency vision-language model for efficiency, yet they face a fundamental frequency dilemma: large update gaps cause semantic drift from stale context, while small gaps erode the intended computational savings. Moreover, because the action expert receives only the VLM's final-layer representation at a single fixed frequency, rich intermediate features are discarded, limiting both information coupling and manipulation precision. Inspired by multi-timescale neural processing in the human brain, we introduce UniFS, a unified fast-to-slow architecture that resolves these challenges through three key designs. First, we stratify the VLM layers into groups with progressively decreasing update frequencies, enabling shallow layers to capture fast-changing dynamics while deeper layers cache stable semantic context. Second, a latent vector inversion mechanism re-routes the interaction order between multi-scale VLM features and the action expert, aligning fast-varying representations with fine-grained action decoding and slow-varying ones with coarse planning. Third, a multi-level supervision strategy enforces a coarse-to-fine learning hierarchy across temporal scales. Together, these designs enable richer cross-frequency information transfer within a single backbone, while the low-frequency pathways additionally preserve temporal context across steps. Experiments on LIBERO show that UniFS achieves state-of-the-art performance (98.3\% average success rate, a 2.5\% gain over VLA-Adapter baseline) while reducing average inference latency from 36.5~ms to 17.8~ms (2.1$\times$ speedup). Real-robot experiments on a Franka platform further validate its practical applicability. Code is opensourced at https://github.com/linsun449/UniFS.

cs.RO↗

arXiv2026

AeroMesa: Efficient Data Management System for Multi-Dimensional Spatio-Temporal Trajectories

The proliferation of multi-dimensional trajectory data, fueled by large-scale IoT and the emerging low-altitude economy, particularly UAV operations, drives repositories to jointly support (x,y), (x,y,t), (x,y,z), and (x,y,z,t) queries within a single storage framework. Yet existing HBase-based systems fall short in three respects: severe row-key interval fragmentation when altitude is jointly encoded with horizontal coordinates, locality-unfriendly spatial encodings with workload-blind shape-code ordering, and coarse-grained temporal indexes that leave intra-slot boundary ambiguity unresolved. We present AeroMesa, an efficient data management system for multi-dimensional spatio-temporal trajectories built on Apache HBase and Redis, that natively supports (x,y), (x,y,t), (x,y,z), and (x,y,z,t) queries within a unified storage framework. AeroMesa addresses the above limitations through three designs: a decoupled horizontal-altitude architecture with a multi-granularity Height Spatio-Temporal Index (HTSI) that eliminates joint encoding fragmentation; Hilbert-BFS with Workload-Aware Jaccard (WAJ) reordering that improves spatial locality; and TI+, a dual-offset temporal index that resolves intra-slot false positives. Evaluations on T-Drive and an 87,537-trajectory high-fidelity UAV simulation demonstrate that AeroMesa reduces 3D/4D query latency by up to 30x over XZ3/TXZ3, lowers 2D latency by up to 17.9% over TMan, and cuts temporal candidates by up to 51.3% over MCTM, with sub-linear scalability confirmed under 200x data expansion, confirming AeroMesa's efficiency for multi-dimensional spatio-temporal trajectory management.

cs.DB↗

arXiv2026

The maximum number of two 4-vertex graphs in planar graphs

Let $f(n,H)$ be the maximum number of copies of a graph $H$ in a planar graph of order $n$. When $H$ is a connected graph on four vertices, $f(n,H)$ has been completely determined except for two cases: $K_{1,3}^+$ (the claw graph $K_{1,3}$ with one additional edge) and $K_4^-$ (the complete graph $K_4$ with one edge removed). Here, we address these two cases and establish that for all $n\ge4$, $$f(n,K_{1,3}^+) = 4n^2-12n-4 \textrm{ and } f(n,K_4^-) =\frac{1}{2}(n^2+9n-40).$$

math.CO↗

arXiv2026

Scale-dependent force balance governs transition to the geostrophic regime in liquid metal rotating convection

Rotating convection in low-Prandtl-number liquid metal drives dynamo action in the Earth's outer core and is central to planetary interior dynamics. It has been proposed that flow regime transitions in rotating convection are controlled by competition between the thermal and Ekman boundary layers. However, through laboratory experiments and direct numerical simulations of rotating liquid-metal convection, we find that this mechanism breaks down in the low-Prandtl-number regime. Here we show that increasing rotation reorganises the bulk flow: the large-scale circulation is suppressed and replaced by smaller-scale structures, producing a characteristic horizontal length scale $\ell$. Transitions to the geostrophic regime are then governed by a buoyancy--Coriolis balance defined on $\ell$ rather than by the boundary-layer crossing. This scale-dependent mechanism also yields heat-transport scalings that depart from boundary-layer-based predictions in the geostrophic regime. Our results reveal a distinct route to the geostrophic regime in low-Prandtl-number rotating convection with implications for rotating liquid metal flows in planetary interiors.

physics.flu-dyn↗

arXiv2026

A Primer in Post-Training Reasoning Data: What We Know About How It Works

Post-training has become a primary driver of recent progress in large reasoning models, and reasoning data are often the key variable determining whether this stage succeeds. Work on post-training reasoning data has grown rapidly, yet this literature remains scattered across dataset papers, reinforcement-learning recipes, reward-model studies, benchmarks, and frontier system reports. This paper is the first primer to synthesize over 150 key public studies and system reports on post-training reasoning data. We organize the field around four questions: what data objects exist, what makes them useful, how they are constructed, and how they scale. Together, this organization provides an attribution framework for future reasoning-data releases and post-training recipes.

cs.CL↗