arXiv Science⌕ Search

arXiv subjects

Yuchen Wang

Publications and source records attributed to Yuchen Wang.

At least 19 recordsLinked to original sources

A Sojourn Through $c=1$ String Theory

We revisit the $S$-matrix, the thermal $S$-matrix and the thermal free energy of $c=1$ string theory from the worldsheet perspective. By numerically integrating Virasoro conformal blocks with DOZZ structure constants, we compute the scattering amplitudes and thermal amplitudes up to 6-point at tree level and up to 3-point at one loop, in addition to the genus two thermal free energy. All results are in agreement with the predicted answers from the $c=1$ matrix model.

hep-th↗

ProteoCraft: Protein Design as Proposal-Verification Search

Protein-protein interactions underpin nearly all biological processes. Yet, designing proteins with desired interactions remains challenging due to the structural complexity governing molecular recognition. This study views protein design as a search optimization problem over a combinatorial sequence space under expensive structural evaluation. Toward this goal, we introduce a novel tree-based search framework, ProteoCraft, that employs approximate structural gradients from diffusion-based structure predictors as effective proposal policies to specify where the search should explore. Complete no-gradient inference of folding models separately assigns values to the resulting sequences, determining what is good. ProteoCraft allocates this verification budget through a coarse-to-fine paradigm: multi-site edits first explore distinct sequence basins, then verified promising states undergo strict single-site refinement. Across fourteen de novo binder-design settings spanning eight target proteins, five immune-relevant TCR-facing targets, and four localized CDR redesign tasks, ProteoCraft improves design quality and high-confidence yield. These improvements persist under independent AF2-IG and Rosetta-based interface evaluation. Prospective experimental validation further yielded an 82.9% binding hit rate for PD-L1 miniproteins, with a best measured KD of 0.879 nM, and confirmed binding of designed IFNAR2 VHH. Our code is available at https://github.com/smiles724/ProteoCraft_v1.

cs.CE↗

Optimally Weighted Constrained Shadow Tomography for Reduced Density Matrices

Accurate measurement of reduced density matrices (RDMs) is central to quantum simulations of many-fermion systems, but the required measurement resources remain a significant challenge. Constrained shadow tomography (CST) combines randomized measurements with $N$-representability conditions to reconstruct physically valid RDMs from limited measurement data. Here we improve CST by orthogonalizing the measurement constraints and using the resulting singular values to determine the relative weight of each independent measurement direction according to how strongly it is sampled by the quantum computer. These optimally weighted constraints are incorporated into the semidefinite program through a least-squares objective implemented with a Schur-complement relaxation. We demonstrate the approach for hydrogen chains on a quantum simulator and for azobenzene on a quantum processor. In both cases, optimally weighted CST systematically improves the accuracy of the reconstructed 2-RDM without increasing the measurement budget, providing a more measurement-efficient approach to partial tomography for quantum simulations of correlated fermions.

quant-ph↗

Asymmetric Periodic Water Waves in Finite Depth

We consider the full two-dimensional water-wave equations in finite depth, with and without surface tension. Water waves have been studied mathematically for more than two centuries. Reflection symmetry remains a common assumption in constructions of periodic steady waves, although asymmetric profiles have been observed in experiments and numerical computations. We construct families of periodic stationary solutions whose free surfaces have no axis of reflection, in both the pure-gravity and capillary--gravity cases. To the best of our knowledge, this provides the first rigorous construction of asymmetric periodic pure-gravity waves for the full two-dimensional water-wave problem in finite depth. The proof combines localized vorticity laws with a Lyapunov--Schmidt reduction. In the pure-gravity case, we introduce a small background shear flow to obtain an invertible boundary operator and couple the interior and free-surface approximations at leading order.

math.AP↗

Smooth stationary water waves with multiple vortex spikes

For any prescribed positive integer $n$, we establish the existence of a family of stationary solutions to the two dimensional capillary-gravity water wave equations in finite depth, whose stream functions exhibit $n$ well-separated vertically aligned vortex spikes with alternating signs. The construction is based on a nonlinear gluing scheme for a singularly perturbed semilinear elliptic equation coupled to the Bernoulli equation on the free surface. Our results extend the single-spike construction to arbitrary finite multi-spike configurations and reveal a mechanism through which exponentially localized vortex spikes can coexist with an almost flat free surface.

math.AP↗

PLaCA: Learning Patch-Level Future Latent Change for Action Generation

Vision-Language-Action (VLA) models generate robot actions from visual observations and language instructions, but effective manipulation also requires anticipating how the environment will change. Existing world-action models explore future image prediction and latent dynamics modeling. However, generating complete future images can be computationally expensive, while highly compressed latent representations may obscure local changes. To address these challenges, we propose PLaCA, a world-to-action framework built around future latent change. PLaCA directly predicts spatially structured patch-level future latent change from the current multimodal input, preserving local information about expected environmental changes. We introduce patch-level change-aware supervision to emphasize regions undergoing larger changes and a future-to-action interface that explicitly incorporates predicted future latent change into action generation. Experiments on LIBERO-Long show that PLaCA achieves a 79.0% success rate, improving upon the Action-only baseline by 5.0 percentage points. On CALVIN, PLaCA improves the average sequence length from 2.784 to 3.564. These improvements are achieved while updating only 2.95% of the model parameters during the second training stage, demonstrating the effectiveness of future latent change modeling for downstream robotic manipulation.

cs.RO↗

Development of a Minimal Auxiliary Basis for the Particle--Particle Random Phase Approximation (ppRPA): Accelerating Excited-State Calculations in Diradical Nanoparticles and Periodic Systems

Singlet--triplet gaps set the energy scale of the two-spin manifold in molecular quantum information materials, and such systems frequently carry diradical character: metal nanoclusters, metal--organic frameworks with radical linkers, and the nitrogen--vacancy center in diamond. Time-dependent density functional theory is the standard tool at this size but describes multireference systems poorly. A closed-shell reference is inadequate for a multiconfigurational ground state, and the adiabatic kernel excludes doubly excited configurations. The particle--particle random phase approximation (\pprpa{}) changes the particle number rather than the spin. Singlet and triplet states descend from one closed-shell reference, and double excitations enter on the same footing as single ones. Computational cost has confined \pprpa{} to small systems, and the two-electron integrals that drive it are factorized through an auxiliary basis. We develop \pprpa{}--as, which reduces that basis to a minimal set of atom-centered Gaussian shells whose exponents follow from free-atom radii and one global scaling factor. The approximation enters only the excited-state step, so both calculations proceed from the same self-consistent reference. We test molecules and clusters of up to 286 atoms, including heavy elements, and seven point defects in four periodic hosts, obtaining both multiplicities and their splitting without symmetry breaking or spin projection. We optimize the scaling factor and give guidance on choosing it. An order-of-magnitude smaller auxiliary basis delivers a speed-up of up to eightfold while staying within $0.03$~eV of conventional \pprpa{}, bringing diradical nanoclusters and periodic systems within reach.

physics.chem-ph↗

Competence-Aware Orchestration for LLM-Based Multi-Agent Systems

LLM-based multi-agent systems (MAS) have emerged as a promising paradigm for enhancing complex reasoning through role specialization and collaboration, yet a key challenge remains: how can collaboration be adapted to a backbone's competence on the current query? This problem matters because more collaboration is not always better--richer coordination may help on difficult cases, but it also incurs additional token cost and redundant interactions. We propose a two-stage competence-aware framework for automatic MAS orchestration. It first models the LLM backbone's task-conditioned competence for the current query, and then uses this signal to adapt role activation and the communication graph. Across six benchmarks, our method achieves an average score of 93.81%. Experiments with six LLM backbones of varying competence levels further show that our method adjusts collaboration according to the inferred competence: for higher-competence backbones, it improves average accuracy from 87.22 to 89.97 while reducing token cost by 36.26%; for lower-competence backbones, it yields a further average gain of 4.58 points over existing methods. The same trend also holds on unseen backbones.

cs.AI↗

PhysForge: Material-Controllable 3D Reconstruction with Separable Components

Recent advances in physical 3D generation have enabled visually faithful assets with simulatable mechanical behavior. However, existing methods provide limited control over material behavior beyond appearance-based inference and struggle to estimate physical properties from complex interactions between objects and semantic parts. Therefore, we present PhysForge, a Video Diffusion Model (VDM)-based framework for addressing these challenges, comprising two complementary modules for material-controllable physical fitting and componentlevel interaction modeling. The first, PhysFit, leverages material-conditioned VDM dynamics as references for physical-property fitting, introducing windowed fitting to focus on material-revealing interactions and Hallucinated Forcing to disentangle nonphysical motion hallucinated by the VDM from material responses. The second, PhysComp decomposes complex interactions into individual objects and semantic components, enabling their physical parameters to be optimized independently and flexibly composed for joint simulation. Experiments on PhysAssets and Google Scanned Objects demonstrate that, compared with existing methods, PhysForge provides stronger control over material-dependent physical responses while supporting component-level physical modeling for complex interactions. It achieves the best CLIP and physical controllability scores on both common and uncommon materials, with qualitative comparisons, component-level ablations, and a user study further supporting these improvements. Our project page is available at https://masterwanna.github.io/PhysForge.html .

cs.CV↗

Neurons++: A Unified Visual-Stream Framework for Image and Video Reconstruction from fMRI with Neural-to-Visual Interpretability

Decoding visual experience from fMRI is important for understanding human perception and developing brain-computer interfaces. Recent generative decoding methods can reconstruct plausible images and videos, but visual plausibility alone does not ensure that the output is faithfully grounded in brain activity. In this work, we propose Neurons++, a visual-stream fMRI reconstruction framework for both static image and dynamic video reconstruction. Compared with our conference version Neurons, Neurons++ extends the paradigm from video-only reconstruction to visual-stream reconstruction for both images and videos, and replaces parallel task conditioning with serial cortex-inspired decoding. The model first uses image-fMRI pretraining to obtain a stable spatial-semantic initialization, and then performs subject-specific fine-tuning for image and video reconstruction separately. The serial design organizes fMRI-derived representations into explicit spatial, semantic, language-level, and temporal cues. Extensive experiments show that Neurons++ achieves state-of-the-art video reconstruction and competitive image reconstruction across standard benchmarks. Beyond reconstruction fidelity, neural-to-visual analyses indicate that Neurons++ exhibits qualitative directional controllability under neural perturbation, that its fMRI encoder read-out is sensitive to stimulus-relevant cortical features, and that it supports ROI-guided semantic modulation. Code and model weights are available at: https://github.com/xmed-lab/NeuronsPlusPlus.

cs.CV↗

RareDx: Controlled Knowledge Integration and Graph-Grounded Policy Optimization for Rare-Disease Diagnosis

Rare-disease diagnosis is a long-tail reasoning problem: phenotypes are incomplete, individual disorders are sparsely documented, and relevant evidence is distributed across ontologies, gene annotations, and biomedical text. Language models consequently favor common conditions, miss rare candidates, or produce plausible but invalid names. We introduce RareDx, which couples controlled evidence use with knowledge-graph-grounded policy optimization. RareDx-Harness normalizes heterogeneous records into one ranked-diagnosis task and compares direct inference, static retrieval, adaptive tools, and structured phenotype-gene-disease reasoning over a shared knowledge layer. The training pipeline combines Top-10 post-training with RareDx-KGPO, our knowledge-graph-grounded policy optimization method. Its reward projects predictions into a canonical disease graph and integrates curated graded relevance, ontology proximity, biomedical similarity, and phenotype consistency. Vocabulary and output-budget constraints prevent dense partial credit from rewarding fabricated or overlong differentials. Across eight benchmarks, the complete RareDx system centered on Qwen3.5-9B reaches 38.34 macro Hit@10, 1.60 points above GPT-5.5 under the archived protocol; a disjoint validation-selection audit retains a 6.80-point routing gain over Direct on held-out cases. The 27B system reaches 23.53/36.56/40.76 at Hit@1/5/10. Controlled ablations show that retrieval is not uniformly helpful and that controlled routing is central to the gain. These results indicate that structured medical knowledge can turn a compact model into a competitive diagnostic ranker across heterogeneous long-tail settings in clinical practice.

cs.AI↗

Rigidity of stationary and uniformly rotating planar Euler flows in the $C^1$ Yudovich class

We prove a rigidity theorem for stationary and uniformly rotating solutions of the two-dimensional incompressible Euler equation with vorticity $ ω_0\in C^1(\mathbb{R}^2)\cap L^1(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2). $ If the angular velocity $Ω$ satisfies \[ Ω\leq\frac12\inf_{\mathbb{R}^2}ω_0 \qquad\text{or}\qquad Ω\geq\frac12\sup_{\mathbb{R}^2}ω_0, \] then $ω_0$ is radially symmetric, in particular, every stationary vorticity of one sign in the class $C^1(\mathbb{R}^2)\cap L^1(\mathbb{R}^2) \cap L^\infty(\mathbb{R}^2)$ must be radially symmetric about some point. Furthermore, for $Ω\neq0$, the center is necessarily the origin; The proof is based on the analysis for level-set geometry of a normalized stream function. A componentwise Bernoulli formula, together with the isoperimetric inequality and Pohozaev identities, yields a nonnegative defect measure encoding both geometric defects and topological branching. An analysis at infinity forces this measure to vanish, reducing the problem to a semilinear elliptic equation with a bounded nonnegative Borel nonlinearity. Radial symmetry then follows from a theorem of P.-L.\ Lions.

math.AP↗

Decoherence Tuning in Voltage-Driven Plasmonic Cavities

Strong light-matter coupling offers a powerful framework for modifying molecular structure, dynamics, and optical response, yet achieving this regime at the single-molecule level remains a central challenge. Scanning Tunneling Microscope Break Junctions (STM-BJ) provide a promising route by combining single-molecule addressability with extreme nanoscale field confinement. However, the metallic environment that enables such confinement also introduces substantial plasmonic and excitonic losses, raising the question of how strong coupling can be realized in a metal-molecule-metal junction. Here, we identify the voltage as the key control parameter. We show that the applied bias not only drives the formation of an interfacial exciton through resonant charge transport but also suppresses its coupling to metallic loss channels. Simultaneously, the plasmonic cavity retains extreme mode confinement while the availability of modes is moderately tuned by voltage. Together, these results establish voltage-driven STM-BJs as electrically tunable single-molecule plasmonic cavities and open new routes for using the powerful STM-BJ toolbox, including quantum transport, tracking chemical dynamics, optoelectronics, and molecular-scale quantum control under strong light-matter coupling.

quant-ph↗

Action with Visual Primitives

Vision-Language-Action (VLA) models have emerged as a promising paradigm for generalist robotic manipulation. A common design in current architectures maps language instructions and visual observations to actions in a single forward pass. While conceptually simple, this formulation entangles instruction comprehension, spatial scene understanding, and motor control within a single learning objective. As a result, the action expert must implicitly relearn cognitive and perceptual capabilities already present in the pretrained VLM, which can limit both learning efficiency and generalization. We introduce AVP (Action with Visual Primitives), an end-to-end architecture that implements this visual-primitive-centric interface: the VLM infers the next-stage target and emits visual-primitive tokens that condition a flow-matching action expert, with supervision derived from end-effector kinematics. Real-robot experiments on general pick-and-place tasks show that AVP improves the success rate by 37.04% over pi_0.5 and outperforms other recent methods, with consistent gains in data efficiency, spatial-compositional generalization, and object-level transfer.

cs.RO↗

Bosonic String Amplitudes From Ribbon Graphs

We develop a method for numerically computing higher genus CFT correlators and string amplitudes based on Kontsevich's ribbon graph parametrization of the moduli space $\mathcal{M}_{g,n}$ of punctured Riemann surfaces. Using this method, we compute the compact boson partition function up to genus 6 as well as the moduli space integrand for bosonic string vacuum amplitudes up to genus 3. Our results pass a number of nontrivial numerical checks. In particular, the moduli space integrand of bosonic string amplitudes reproduce the Igusa cusp forms at genera 2 and 3.

hep-th↗

Berry-Esseen Bounds for the Number of Real Zeros of Gaussian Weyl Polynomials

We establish Berry-Esseen bounds for the number of real roots of Gaussian Weyl polynomials $P_n$, where $n$ denotes the degree and is assumed to be sufficiently large. For each fixed $B$ above an absolute threshold, let $I_n=[-\sqrt n+B\sqrt{\log n}, \sqrt n-B\sqrt{\log n}]$. Uniformly over deterministic compact intervals $I\subseteq I_n$ whose length $\ell$ is sufficiently large and depends on $n$, the distribution of the standardized number of real roots in $I$ has Kolmogorov distance at most $C\log\ell/\sqrt\ell$ from the standard Gaussian distribution. Consequently, every such interval sequence with $\ell\to\infty$ satisfies a central limit theorem. In particular, taking $I=I_n$ gives the bound $C\log n/n^{1/4}$. The same bound holds for the distribution of the standardized number of real roots on $\mathbb R$. The key idea is to approximate the polynomial zero count by a sum of locally dependent random variables. We first couple the polynomial to a stationary Gaussian process and then truncate a moving-average representation of that process to obtain finite-range dependence. This strategy provides a route to Berry-Esseen bounds for other random polynomials with Gaussian coefficients whenever such a stationary approximation and quantitative truncation are available.

math.PR↗

A note on the expectation of zeros of random harmonic polynomials: The Kac model

Motivated by the questions posed by W. V. Li and A. Wei and the conjecture of E. Lundberg and A. Thomack, we study the expected number of zeros of random harmonic polynomials $H_{n,m}(z)=p_n(z)+\overline{q_m(z)}$ with independently and identically distributed Gaussian coefficients. In this paper we verify the conjecture of E. Lundberg and A. Thomack that the expectation is $O(n)$ when $°p=α°q$, where $0\leqα<1$. This result extends the previous estimates when $m$ is a fixed constant or $m=n$ to more general case.

math.PR↗

Task-Blind No MORE: Multi-Task Information Flow in Unified Ranking Backbones

Industrial ranking models for recommendation have scaled feature interaction and sequence modeling separately; recent architectures such as HyFormer and MixFormer unify both in a stackable backbone. Real-world recommender systems, however, nearly always require multi-task learning, yet existing unified architectures confine multi-task modeling to shallow post-backbone towers, leaving the backbone without task-aware information flow. We propose MORE (Multi-task cO-evolving Ranking modEl), which embeds multi-task information flow inside the backbone, enabling task-specific signals to co-evolve with sequence and feature representations at every layer rather than in a post-hoc fusion. It introduces Anchor Tokens that persist across backbone layers: Shared Anchors encode cross-task commonalities, while Private Anchors capture task-specific priors. In each block, Anchor Tokens (1) read task-conditioned signals from behavior sequences, (2) mix with non-sequential features under a task-boundary mask, and (3) refine per-task representations through independent branches; as blocks stack, each task obtains a differentiated representation refined through all backbone layers. Experiments on large-scale industrial datasets show that MORE consistently outperforms baselines across all tasks under comparable parameter and FLOPs budgets, and scales well with model size. Online A/B tests on Momo, a leading Chinese social discovery platform with tens of millions of monthly active users, yield 3% improvement in usage duration, 3.6% in interaction rate, and 2% in deep-chat rate. MORE is deployed in production with request-level shared computation reducing scoring latency by about 30%.

cs.IR↗