arXiv subjects

Yang Shen

Publications and source records attributed to Yang Shen.

At least 19 recordsLinked to original sources

arXiv2026

Shared Context Candidate Scoring with Jointly Adapted Readout Networks

Repeated decisions over a shared document create two distinct opportunities: reusing document computation and adapting how question representations score candidate answers. We present Q64, a candidate-scoring system that preserves a frozen 64-layer Qwen3.8-27B text backbone, reuses its hybrid prefix state and intermediate document representations, and jointly trains a residual adapter with a four-layer decoder and candidate-conditioned readout. We used ZiYor, a self-evolving AI system, to explore and refine the Q64 design. We specified the scoring method, implemented the system, and evaluated its accuracy and latency. The final adaptation stage updates 88.66 million parameters using 8,192 selected training views. On a fixed 5,112-item evaluation combining ARC-Challenge, ANLI-R3, and stratified subsets of MMLU-Pro and CMMLU, joint adaptation improves four-benchmark macro accuracy from 66.46% to 74.32%. It remains below the native 27B baseline at 75.68% and AnyJev Qwen3-32B L0 at 76.68%. On a separate synthetic workload with 4,096 document tokens and 50 questions, median cold-request latency is 2.237 seconds, compared with 5.383 seconds for the native baseline and 56.872 seconds for the measured batched AnyJev configuration. Short single-question requests do not share this advantage. The evidence supports an accuracy-latency tradeoff in the evaluated systems, rather than a backbone reduction or an isolated component advantage. Public benchmarks informed earlier development, and real-document multi-question validation remains open.

cs.CL↗

arXiv2026

Exact Optimality Certification of QPLIB 2096 through Complete Set Partitioning

We present an exact computational proof that the frozen QPLIB_2096 instance has global minimum 7,025,720. The solution and certification approach was explored and refined through ZiYor, a self-evolving AI system. The authors provide the mathematical account and exact validation reported here. The original formulation has 300 binary variables, 6,900 triangle inequalities, and 25 nonconvex quadratic constraints. A coefficient-level reconstruction identifies its variables with the unordered pairs of 25 items. The triangle inequalities encode partitions, while each quadratic constraint becomes a bound on the total weight of edges incident to one partition block. This yields a set-partitioning formulation over all capacity-feasible blocks, with a separate edge-cost graph determining the objective. Exact enumeration examines 245,505 subsets of sizes one through six and finds 14,981 feasible blocks. Every six-element subset is infeasible; nonnegative capacity weights exclude all larger blocks. An integer price vector satisfies the dual inequality for every feasible block and has sum 2,229,456. Subtracting this sum from the total objective edge cost 9,255,176 gives a lower bound of 7,025,720, attained by the supplied six-block partition. Fresh solver-free checks validate the candidate against both frozen model formats and verify the certificate. The result is an instance-specific optimality proof with an exact primal and dual witness; no cross-instance performance conclusion is drawn.

cs.AI↗

arXiv2026

Algebraicity, Hodge Gradings, and the Geometry of Period Images

We prove the algebraicity of period images in arithmetic quotients without using o-minimality. The proof uses infinitesimal neighborhoods and formal algebraization to recover the images and the maps from their algebraic sources. Hodge positivity and an algebraic ampleness criterion yield the Griffiths polarization and quasi-projectivity. For lifted images, we construct Stein neighborhoods and holomorphic matrix realizations of the Hodge filtration. On closed horizontal subspaces, we bound canonical Bergman density below by the Hodge volume form. We compare the Bergman and Griffiths--Schmid metrics near one-parameter boundaries with nontrivial unipotent monodromy and nondegenerate graded period maps, and in all directions near general one- and two-node quintic threefolds. A period surface arising from abelian threefolds shows that the upper metric comparison fails in general.

math.AG↗

arXiv2026

Coulomb-Driven Electronic Textures in Lightly Hole-Doped Cuprates

Motivated by recent experiments on Ca$_2$CuO$_2$Cl$_2$, we present a comprehensive study of the interplay between dopants and localized Zhang-Rice singlets in lightly hole-doped cuprates. Owing to the poorly screened Coulomb potential, the interactions between dopants and localized Zhang-Rice singlets favor asymmetric electronic configurations characterized by effective electric "dipoles". Using the MPS-based Lanczos method, we show that these localized holes give rise to in-gap bound states within the charge-transfer gap. When tunneling matrix-element effects are included, the bound states exhibit a characteristic $4a_0 \times 2a_0$ internal structure, consistent with experimental observations. Our results suggest that Coulomb interactions between dopants and localized Zhang-Rice singlets, together with tunneling matrix-element effects, provide a microscopic mechanism for the observed $4a_0$ electronic structures.

cond-mat.supr-con↗

arXiv2026

Behind a Simple Read: Understanding Work and Waiting in the Linux I/O Stack

A simple read interface provides uniform semantics but unpredictable performance. Using synchronous large-buffer Linux reads, we decompose the buffered-read path into work volume, processing time, and critical-path exposure. Reducing local cost or accelerating request submission need not shorten a complete read. Linux uses large folios to reduce metadata work and I/O-copy overlap to hide most cold-read copying; an experimental kernel prototype shows that more aggressive overlap and parallelism can shorten the host path when these mechanisms fail. Device waiting dominates SSD cold reads. We abstract first-completion wait F and subsequent completion capacity B_CQ from request-batch timelines. Real-SSD experiments characterize their variation with request and batch size, while MQSim traces explain their internal origins. A wait chain along the folio-bio-request mapping connects device completion to upper-layer waiting. Under strict batching, the median absolute cross-layer prediction error is at most 7.43%. Finally, we apply the completion model and wait chain to request supply, Linux readahead, data layout, and waiting policies. Cases cover gains, no gains, and reversals, comparing predictions with interventions to close the loop from observation and modeling to understanding and control and provide a measurable basis for layered I/O decisions.

cs.OS↗

arXiv2026

Limits of Hyperkähler Manifolds and Moduli Spaces of Sheaves on K3 Surfaces

We prove that a compact strongly Gauduchon manifold which is a limit of compact hyperkähler manifolds is bimeromorphic to a compact hyperkähler manifold. This settles a case of a conjecture of Soldatenkov and Verbitsky. A closed completion of a Gauduchon metric bounds the Dirichlet energies of nearby biholomorphisms. This bound yields a meromorphic limit map, which has degree one and is therefore a bimeromorphism onto a compact hyperkähler manifold. We apply this result to moduli spaces of stable torsion-free coherent sheaves on K3 surfaces. A Bott--Chern diagonal formula gives the $\partial\bar\partial$-lemma, and positivity of determinant classes gives Kählerness, proving Perego's conjecture.

math.AG↗

arXiv2026

MAPF-World: Action World Model for Multi-Agent Path Finding

Multi-agent path finding (MAPF) studies the problem of planning conflict-free paths for multiple agents from given start locations to designated goals, with applications in robot-assisted logistics and social navigation. Recent decentralized learned solvers have shown promise for large-scale MAPF, particularly when leveraging foundation models and large datasets. However, most existing methods rely on reactive policies, often resulting in congestion, deadlocks, and degraded generalization in high agent-density environments. To address these limitations, we propose MAPF-World, an autoregressive action world model for MAPF that unifies short-horizon local future prediction and action generation, enabling decision-making beyond immediate local observations. MAPF-World models short-horizon local dynamics by predicting the next local observation and neighboring agents' action intentions, capturing both spatial structures and temporal interaction patterns. We further introduce a spatio-agent positional encoding that integrates spatial awareness with agent-level semantics in Transformer-based architectures, facilitating more coordinated multi-agent behaviors. In addition, we augment existing MAPF benchmarks by introducing an automated map generator grounded in real-world urban layouts, aiming to narrow the gap between synthetic simulation and practical deployment scenarios. Extensive experiments across diverse map types and interaction settings demonstrate that MAPF-World achieves strong performance compared with existing learned solvers. Notably, it exhibits robust zero-shot generalization and maintains a high success rate even as agent density increases.

cs.AI↗

arXiv2026

Vanishing Theorems and Complex Structures on Non-Classical Flag Domains

Let $D=G_{\mathbb R}/V$ be a non-classical flag domain with $G_{\mathbb R}$ simple. We prove that every compact quotient of $D$ by a torsion-free discrete subgroup has no nonzero closed positive $(1,1)$-currents. Consequently, on any such quotient, every nontrivial holomorphic line bundle has no nonzero global sections, and a line bundle is pseudo-effective if and only if it is unitary flat. The proof combines a self-contained root-theoretic criterion with averaging of currents, without a homogeneity assumption on the line bundle. The same root criterion proves the Green--Griffiths--Kerr vanishing conjecture for locally homogeneous bundles induced by nontrivial irreducible representations of $V$ and gives an alternative proof of the Griffiths--Robles--Toledo bracket-generation lemma. For products of flag domains, we describe all closed positive $(1,1)$-currents on compact quotients by descent to the classical factors. If the lattice has dense joint projection to the classical subproduct, every such current is smooth. For non-classical domains of Hermitian type, we give an explicit second invariant complex structure whose compact quotients are projective, whereas the original quotients are not in Fujiki class $\mathcal C$. Finally, an explicit family on $SU(2,1)/H$ shows that topologically trivial holomorphic line bundles need not be homogeneous, even when their pullbacks to all rational curves are trivial.

math.AG↗

arXiv2026

Parameter-Robust Sensorless Control of IPMSM Drives With Adaptive Flux Observer

To address parameter sensitivity commonly in interior permanent magnet synchronous motor (IPMSM) sensorless control, this paper proposes a parameter-robust control framework by extending the adaptive flux observer from surface-mounted PMSM to salient-pole machines. First, parameter mismatches are interpreted as an equivalent flux vector with $d$-axis and $q$-axis components. Permanent magnet flux, $d$-axis inductance, and resistance mismatches are mapped to the $d$-axis flux component, whereas $q$-axis inductance mismatch is mapped to the $q$-axis component. Then, a scalar adaptive flux update is designed to compensate the $d$-axis flux variation by tracking the equivalent flux magnitude. Since the $q$-axis component rotates the observed flux direction and cannot be eliminated by scalar adaptation, a high-frequency $q$-axis voltage injection method is introduced to identify the $q$-axis inductance. Meanwhile, stability analysis proves bounded equivalent flux magnitude tracking and identifies the residual tangential flux responsible for position error. Finally, experimental results show that the proposed method does not require precise resistance, $d$-axis inductance, or flux, while the $q$-axis inductance is provided by online identification.

eess.SY↗

arXiv2026

Temporal Regression-Based Model-Free Sensorless Control of Permanent Magnet Synchronous Motor

To address the widespread sensitivity of surface-mounted permanent magnet synchronous motor (SPMSM) sensorless control to motor parameters, this paper proposes a temporal regression-based model-free sensorless control (TFC) method. First, voltage integrals and current increments over consecutive short intervals are stacked to construct a finite window regression, in which the unknown stator inductance appears as a common scalar coefficient. Second, a projection operator constructed from the stacked current increments eliminates the inductance term, and a least-squares formulation is developed to reconstruct the rotor flux vector. Meanwhile, the analysis of the projected regression and current-flux geometry establishes a two-dimensional direction vector whose components share a common amplitude containing the stator resistance and flux linkage. This amplitude cancels during position extraction. By setting the resistance reference to zero, the proposed method estimates the position without specifying the stator resistance, inductance, or flux linkage. Finally, experimental results verify the effectiveness of the proposed TFC method.

eess.SY↗

arXiv2026

Equivalent Flux Compensation for SPMSM Sensorless Control under Parameter Mismatch

Parameter mismatch is the main source of rotor position estimation error in sensorless control of surface-permanent magnet synchronous motors (SPMSMs). To this end, this paper proposes a simple yet efficient equivalent flux compensation (EFC) method that directly estimates the equivalent flux disturbance caused by parameter mismatches in real time. First, the equivalent flux disturbance caused by parameter mismatches is derived from a nonlinear flux observer. Second, a flux update law is proposed to minimize both magnitude and directional errors by leveraging geometric error together with the derived equivalent flux disturbance. To enhance numerical stability, a saturation function is introduced to improve gradient continuity in the update process. Additionally, Lyapunov analysis is employed to ensure the stability of the proposed update law, from which the corresponding error bounds and convergence properties are derived. Finally, experimental results validate that the proposed method fully compensates for the steady-state effects of resistance and flux mismatches, and partially mitigates the influence of inductance variation, effectively constraining the position estimation error within a relatively small range.

eess.SY↗

arXiv2026

MARS: Multi-stage Accelerated Read Stack for Large-buffer Buffered Reads

Large-buffer reads increasingly connect data-intensive applications to high-speed storage. They amortize system-call overhead and create a larger in-kernel window for organizing page-cache work and submitting I/O. However, Linux buffered read primarily exploits only the former benefit. Within a large read, its conventional interleaved path repeatedly switches among fine-grained page-cache operations, amplifying metadata and serial orchestration overheads and failing to consistently expose enough in-flight requests to modern parallel SSDs. We present MARS, a multi-stage accelerated read stack for synchronous large-buffer buffered reads. MARS treats each large-range read as one unit of work and stages page-cache operations by data structure and dependency. During I/O waits, it handles user-buffer page faults and performs reorderable data copies early. Opportunistic kernel workers then copy remaining data in parallel and, when the backend provides sufficient parallelism, optionally submit I/O in parallel. We implement MARS in Linux 6.6.58. For MiB-scale fio reads, MARS improves bandwidth by up to 6.56 times over Linux. On five NVMe SSDs in RAID0, it reaches 36.87 GiB/s for 128 MiB random reads, 4.44 times Linux. MARS also accelerates DuckDB/Parquet queries by 1.80--2.15 times and ExecuTorch model loading by 3.17--3.61 times.

cs.OS↗

arXiv2026

Beyond Peak Backlog: Conditional Energy and Temporal Geometry in Capacity-Constrained Delayed Bandit Optimization

What is the right delay complexity when a learner can track only $C$ pending feedback items and discarded feedback is permanently lost? Existing one-point bandit convex optimization guarantees in this model pay $\sqrt{Tσ_{\max}}$, where $σ_{\max}$ is the peak backlog, although unlimited tracking admits the sharper $\sqrt{d_{\mathrm{tot}}}$ dependence on total delay. We introduce a scheduler-side conditional-energy interface that separates rate adaptation from the one-point perturbation filtration and handles the dependent importance weights created by randomized admission. Under the same semi-clairvoyant oracle and pathwise hard-capacity contract, this yields an untuned learner whose delay term scales as $O(\sqrt{E_C d_{\mathrm{tot}}})$, with only an explicit restart factor $E_C$; a public constant-factor peak bound removes this factor while $d_{\mathrm{tot}}$ remains unknown. Under strong convexity, the same interface yields the temporal cost $H_A(d)=\sum_t σ_t/(A+t)$. Two delay vectors with identical delay multisets, $d_{\mathrm{tot}}$, $σ_{\max}$, and capacity can nevertheless have polynomially different minimax regret, showing that timing matters under curvature even when aggregate delay summaries agree. Finally, a continuous hard family converts tracking capacity into a zeroth-order query budget and gives a complementary capacity-starvation lower endpoint. The upper bounds require $C\ge \ln T+1$ and do not constitute a complete capacity minimax characterization.

cs.LG↗

arXiv2026

Bound states in doped charge transfer insulators

Understanding the physics of doped charge transfer insulators is the most important problem in high-temperature superconductivity. In this work, we show that an in-gap bound state emerges from the localized hole of the doped charge transfer insulator. We propose an approximate ground state wavefunction based on one localized Zhang-Rice singlet and the Neel state. By calculating the excitation states with one hole added and removed from this ground state, we successfully identify the existence of bound states inside the charge transfer gap. This feature is further confirmed by a Lanczos calculation based on matrix product states (MPS) for a system of $4\times4$ CuO$_2$ unit cells. How these bound states evolve into metallic states is further discussed. Our findings identify the key component of recent STM results on lightly doped Ca$_2$CuO$_2$Cl$_2$ and provide a new understanding of hole-doped charge transfer insulators.

cond-mat.supr-con↗

arXiv2026

Reactive polar mesogenic self-assembly approach enables domain-programmable polymer ferroelectrics

Ferroelectric polymers combine switchable polarization with the processability of soft materials, but their development has been dominated by poly(vinylidene fluoride) and related fluoropolymers, whose crystalline polar phases restrict mechanical compliance and domain design with spatial precision. Here we establish a generic design principle for creating intrinsically flexible ferroelectric liquid-crystal polymers through reactive polar mesogenic self-assembly. The approach creates polyfluoroalkyl-free polymer films in which robust ferroelectric order arises from liquid-crystalline molecular organization rather than crystalline phase formation. By transferring ferroelectric order from fluid mesogenic states into polymer networks, the resulting materials combine mechanical adaptability with programmable polar architectures. Especially, the photoalignment technology enables these polar states to be organized into pixelated domain architectures. This work establishes a design space towards soft ferroelectric polymers that integrate molecularly programmed polar order, mechanical tunability and environmentally conscious chemistry, expanding the design space of adaptive materials for flexible electronics, wearable systems and soft robotics.

cond-mat.soft↗

arXiv2026

Representation Handoffs for OpenArm-Based Laboratory Mobile Manipulation

Open-source robotics and foundation models have lowered the barrier to embodied AI, yet language-guided laboratory automation still requires reliable alignment from instructions and observations to safe actions. This field report presents an OpenArm-based mobile manipulation prototype for laboratory-style tasks, built by integrating dual OpenArm manipulators with a mobile base, vertical slide, RGB-D sensing, lidar-based mapping, ROS2/MoveIt execution, and profile-defined skill interfaces. The system is organized around representation handoffs: natural language requests are constrained into registered skill calls, sensor observations are grounded into maps and object poses, object priors provide role and skill constraints, and runtime bindings compile validated skills into executable motion goals. We use dry-run traces and startup checks to evaluate this integration path, showing how the prototype exposes missing calibration, incomplete object assets, and unfinished real-scene visual grounding as explicit deployment blockers. These intermediate representations serve as practical debugging interfaces for integrating language, perception, planning, and robot safety in embodied systems.

cs.RO↗

arXiv2026

Spectral gaps for noncompact hyperbolic surfaces with linearly many cusps

We construct complete finite-area noncompact hyperbolic surfaces with linearly many cusps and a uniform spectral gap. More precisely, for every $θ>0$, we construct a sequence $S_{g,n(g)}\in\mathcal{M}_{g,n(g)}$ such that $\lim\limits_{g\to\infty}\frac{n(g)}{g}=θ$ and the spectrum of the Laplacian has a uniform gap above zero. The construction is based on explicit expanding $(1,3)$-graphs, viewed as combinatorial skeletons for pants decompositions. We also establish a Steklov-type upper bound showing that expansion cannot persist when the number of boundary vertices is much larger than the genus.

math.DG↗

arXiv2026

Lithium as a Signpost for Compact Object Binary Candidates in the LAMOST Medium Resolution Survey

Binary systems with black hole or neutron star companions are often associated with lithium enhancement. Gaia NS1, a recently discovered neutron-star binary with a lithium-enhanced main-sequence companion, demonstrates the potential of lithium as a signpost for identifying compact object binaries in existing spectroscopic surveys. In particular, we aim to use lithium as a signpost to find compact object binaries similar to Gaia NS1 in the Large Sky Area Multi-Object Fibre Spectroscopic Telescope (LAMOST) Medium Resolution Survey (MRS). From LAMOST MRS, we selected 4441 metal-poor main-sequence stars like Gaia NS1, measured the Li 6707 Å equivalent width, and then identified a sample of 33 stars with strong Li absorption. We used radial velocity variation and astrometric binarity signatures from Gaia, narrowing the sample to 3 candidates. We identified one of these candidates as an eclipsing binary and demonstrated that massive companions for the other two are unlikely via follow-up spectroscopy.

astro-ph.SR↗