arXiv ScienceSearch

arXiv subjects

Hai Zhu

Publications and source records attributed to Hai Zhu.

At least 19 recordsLinked to original sources

Vision-Language Navigation for Aerial Robots: Towards the Era of Large Language Models

Aerial vision-and-language navigation (Aerial VLN) aims to enable unmanned aerial vehicles (UAVs) to interpret natural language instructions and autonomously navigate complex three-dimensional environments by grounding language in visual perception. This survey provides a critical and analytical review of the Aerial VLN field, with particular attention to the recent integration of large language models (LLMs) and vision-language models (VLMs). We first formally introduce the Aerial VLN problem and define two interaction paradigms: single-instruction and dialog-based, as foundational axes. We then organize the body of Aerial VLN methods into a taxonomy of five architectural categories: sequence-to-sequence and attention-based methods, end-to-end LLM/VLM methods, hierarchical methods, multi-agent methods, and dialog-based navigation methods. For each category, we systematically analyze design rationales, technical trade-offs, and reported performance. We critically assess the evaluation infrastructure for Aerial VLN, including datasets, simulation platforms, and metrics, and identify their gaps in scale, environmental diversity, real-world grounding, and metric coverage. We consolidate cross-method comparisons on shared benchmarks and analyze key architectural trade-offs, including discrete versus continuous actions, end-to-end versus hierarchical designs, and the simulation-to-reality gap. Finally, we synthesize seven concrete open problems: long-horizon instruction grounding, viewpoint robustness, scalable spatial representation, continuous 6-DoF action execution, onboard deployment, benchmark standardization, and multi-UAV swarm navigation, with specific research directions grounded in the evidence presented throughout the survey.

cs.RO

Slip optimization on arbitrary 3D microswimmers: a reduced-dimension and boundary-integral framework

This article presents a computational framework for determining the optimal slip velocity of a microswimmer with arbitrary three-dimensional geometry suspended in a viscous fluid. The objective is to minimize the hydrodynamic power dissipation required to maintain unit speed along the net swimming direction. By exploiting the linearity of the Stokes equations and the Lorentz reciprocal theorem, we derive an explicit linear operator that maps the tangential surface slip velocity to the resulting rigid-body translational and rotational velocities, effectively decoupling the hydrodynamic boundary value problem from the optimization loop. The a priori infinite-dimensional search space for the slip optimization is reduced to the finite dimension $r$ of rigid-body motions by finding an appropriate subspace of the operator's domain. This reduces the PDE-constrained optimization to a low-dimensional programming problem that can be solved at negligible computational cost once the system matrices are assembled. The optimization algorithm requires 2$r$ auxiliary flow problems that are solved numerically using a high-order boundary integral method. We validate the accuracy of the proposed method and present optimal slip profiles and swimming trajectories for a variety of microswimmer shapes. We investigate the effect of some common geometrical symmetries of the swimmer shape on the resulting optimal motion, and in particular present a modified version of the slip optimization algorithm for axisymmetric shapes, where tangential rigid-body velocities may occur

math.NA

GateSID: Adaptive Gating for Balancing Semantic and Collaborative Signals in Recommendation

In cold-start scenarios, the scarcity of collaborative signals for new items exacerbates the Matthew effect, undermining platform diversity and posing a persistent challenge in practice. Existing methods augment cold-start items' collaborative signals with semantic information, yet face a collaborative-semantic trade-off: collaborative signals work well for popular items but degrade on cold-start ones, while excessive reliance on semantics ignores collaborative differences. To address this, we propose GateSID, which introduces an adaptive gating network to dynamically balance semantic and collaborative signals based on item maturity. We first discretize multimodal features into hierarchical Semantic IDs (SID) via Residual Quantized VAE, then propose two components: (1) Gating-Fused Shared Attention (GFSA), which fuses attention distributions with gate-regulated weights; (2) Gate-Regulated Contrastive Alignment (GRCA), which enforces stronger alignment for cold-start items while relaxing it for popular ones. Experiments on large-scale industrial datasets demonstrate GateSID's superiority over competitive baselines, with the largest gains on popular items. An online A/B test confirms practical effectiveness: GMV +2.6%, CTR +1.1%, and Order +1.6%, with less than 5ms of additional latency. Beyond the method itself, we conduct a comprehensive exploration of SID in ranking models, systematically studying embedding types, SID configurations, and fusion strategies. We hope this exploration offers some useful insights for the community.

cs.IR

SORT: A Systematically Optimized Ranking Transformer for Industrial-scale Recommenders

While Transformers have achieved remarkable success in LLMs through superior scalability, their application in industrial-scale ranking models remains nascent, hindered by the challenges of high feature sparsity and low label density. In this paper, we propose SORT (Systematically Optimized Ranking Transformer), a scalable model designed to bridge the gap between Transformers and industrial-scale ranking models. We address the high feature sparsity and low label density challenges through a series of optimizations, including request-centric sample organization, local attention, query pruning, and generative pre-training. Furthermore, we introduce a suite of refinements to the tokenization, multi-head attention (MHA), and feed-forward network (FFN) modules, which collectively stabilize the training process and enlarge the model capacity. To maximize hardware efficiency, we optimize our training system to elevate the model FLOPs utilization (MFU) to 45%. Extensive experiments demonstrate that SORT outperforms strong baselines and exhibits excellent scalability across data size, model size, and sequence length, while remaining flexible at integrating diverse features. Finally, online A/B testing in large-scale e-commerce scenarios confirms that SORT achieves significant gains in key business metrics, including orders (+7.47%), buyers (+6.67%), and GMV (+8.65%), while simultaneously cutting latency by 62% and boosting throughput nearly sevenfold (+589%). SORT has been fully deployed in production, serving all users on AliExpress.

cs.IR

Squirmers with arbitrary shape and slip: modeling, simulation, and optimization

We consider arbitrary-shaped microswimmers of spherical topology and propose a framework for expressing their slip velocity in terms of tangential basis functions defined on the boundary of the swimmer using the Helmholtz decomposition. Given a time-independent slip velocity profile, we show that the trajectory followed by the microswimmer is a circular helix. We derive analytical expressions for the translational and rotational velocities of a prolate spheroid swimmer in terms of its Helmholtz decomposition modes and explore the effect of aspect ratio on these rigid body velocities. Then, for a given arbitrary swimmer shape of spherical topology, we investigate which slip profile minimizes the total power loss. A partial minimization is performed in which the direction of net motion of the swimmer is prescribed, followed by a global optimization procedure in which the best net motion direction is determined. The optimization results suggest that the competition between linear and rotational optimal motion is linked to symmetries in the shape of the microswimmer.

physics.flu-dyn

Plethysm and orbit harmonics

Let $\Pi_{(b^a)}$ be the locus of unordered set partitions of $[ab]$ with $a$ blocks of size $b$. We embed unordered set partitions of $[n]$ into the affine space $\mathbb{C}^{\binom{[n]}{2}}$ with coordinate ring $\mathbb{C}\Big[\mathbf{x}_{\binom{[n]}{2}}\Big]$. Then, we apply orbit harmonics to $\Pi_{(2^a)}$ and $\Pi_{(a^2)}$, yielding graded $\mathfrak{S}_{2a}$-modules whose graded character formulae respectively refine the Schur expansions of $h_a[h_2]$ and $h_2[h_a]$ according to $\lambda_1$. We further extend this $\lambda_1$-separation phenomenon to quotients of $\mathbb{C}^{\binom{[n]}{2}}$ where $n$ is odd. Combining $\Pi_{(b^a)},\Pi_{(a^b)}$ and orbit harmonics, we propose a conjecture related to Foulkes' conjecture, and we prove the special case $b=2$. We also apply orbit harmonics to the locus $\Pi_{n,m}$ of unordered set partitions of $[n]$ without blocks of size greater than $m$, yielding a graded $\mathfrak{S}_n$-module $R(\Pi_{n,m})$. We determine the standard monomial basis of $R(\Pi_{n,m})$ with respect to any monomial order, as well as its graded character formula.

math.CO

Pareto-Improvement-Driven Opinion Dynamics Explaining the Emergence of Pluralistic Ignorance

Opinion dynamics has recently been modeled from a game-theoretic perspective, where opinion updates are captured by individuals' cost functions representing their motivations. Conventional formulations aggregate multiple motivations into a single objective, implicitly assuming that these motivations are interchangeable. This paper challenges that assumption and proposes an opinion dynamics model grounded in a multi-objective game framework. In the proposed model, each individual experiences two distinct costs: social pressure from disagreement with others and cognitive dissonance from deviation from the perceived truth. Opinion updates are modeled as Pareto improvements between these two costs. This framework provides a parsimonious explanation for the emergence of pluralistic ignorance, where individuals may agree on something untrue even though they all know the underlying truth. We analytically characterize the model, derive conditions for the emergence and prevalence of the truth, and propose an initial-seeding strategy that ensures consensus on truth. Numerical simulations are conducted on how network density and clustering affect the expression of truth. Both theoretical and numerical results lead to clear and non-trivial sociological insights. For example, no network structure guarantees almost-sure consensus on truth if no one initially expresses the truth; moderately sparse but well-mixed networks are most conducive to consensus on truth.

eess.SY

Direct Observation and Optical Manipulation of Exciton-polariton Parametric Scattering Lasing in Temporal

The hybrid light-matter character of exciton-polaritons gives rise to distinct polariton parametric scattering (PPS) process, which holds promise for frontier applications in polaritonic quantum devices. However, the stable excitation and coherent optical manipulation of PPS remain challenging due to scattering bottlenecks and rapid dephasing effect in polariton many-body systems. In this study, we first report the direct observation and optical amplification of non-degenerate intermode PPS lasing at room temperature (RT). The specific polariton branch of strong-coupled nanobelt planar microcavity is resonantly excited by a near-infrared (NIR) femtosecond laser via two-photon absorption (TPA) scheme, and the non-degenerate signal- and idler-states are stimulated. Angle-resolved dispersion patterns clearly reveal the evolution of the pump-, signal-, and idler-states under different excitation powers. Based on our self-constructed ultrafast femtosecond resonant optical trigger set-up, a selective enhancement and modulation of the signal-state is realized. Furthermore, the dynamic measurements of nonlinear signal-state enhancement process demonstrate a sub-picosecond response time (0.4ps), confirming its potential for ultrafast optical manipulation. Our work establishes a platform for exploring TPA-driven PPS laser and provides a novel optical modulation route for polariton-based optoelectronic devices.

physics.optics

Rook placements and orbit harmonics

For fixed positive integers $n,m$, let $\mathrm{Mat}_{n\times m}(\mathbb{C})$ be the affine space consisting of all $n\times m$ complex matrices, and let $\mathbb{C}[\mathbf{x}_{n\times m}]$ be its coordinate ring. For $0\le r\le\min\{m,n\}$, we apply the orbit harmonics method to the finite matrix loci $\mathcal{Z}_{n,m,r}$ of rook placements with exactly $r$ rooks, yielding a graded $\mathfrak{S}_n\times\mathfrak{S}_m$-module $R(\mathcal{Z}_{n,m,r})$. We find one signed and two sign-free graded character formulae for $R(\mathcal{Z}_{n,m,r})$. We also exhibit some applications of these formulae, such as proving a concise presentation of $R(\mathcal{Z}_{n,m,r})$, and proving some module injections and isomorphisms. Some of our techniques are still valid for involution matrix loci.

math.CO

An extension of Viennot's shadow to rook placements via orbit harmonics

For fixed positive integers $n,m,r$, let $\mathrm{Mat}_{n \times m}(\mathbb{C})$ be the affine space of $n \times m$ complex matrices with coordinate ring $\mathbb{C}[\mathbf{x}_{n \times m}]$. We define a homogeneous ideal $I_{n,m,r}$, where the graded quotient $\mathbb{C}[\mathbf{x}_{n \times m}]/I_{n,m,r}$ is obtained from the orbit harmonics deformation of the matrix loci corresponding to all rook placements of size at least $r$. By extending rook placements to elements in $\mathfrak{S}_{n+m-r}$ and applying Viennot's shadow line avatar of the Schensted correspondence, we compute the standard monomial basis of the quotient $\mathbb{C}[\mathbf{x}_{n \times m}]/I_{n,m,r}$ with respect to diagonal monomial orders. We also determine the graded $\mathfrak{S}_n\times\mathfrak{S}_m$-module structure of $\mathbb{C}[\mathbf{x}_{n \times m}]/I_{n,m,r}$.

math.CO

Interpolative separable density fitting on adaptive real space grids

We generalize the interpolative separable density fitting (ISDF) method, used for compressing the four-index electron repulsion integral (ERI) tensor, to incorporate adaptive real space grids for potentially highly localized single-particle basis functions. To do so, we employ a fast adaptive algorithm, the recently-introduced dual-space multilevel kernel-splitting method, to solve the Poisson equation for the ISDF auxiliary basis functions. The adaptive grids are generated using a high-order accurate, black-box procedure that satisfies a user-specified error tolerance. Our algorithm relies on the observation, which we prove, that an adaptive grid resolving the pair densities appearing in the ERI tensor can be straightforwardly constructed from one that resolves the single-particle basis functions, with the number of required grid points differing only by a constant factor. We find that the ISDF compression efficiency for the ERI tensor with highly localized basis sets is comparable to that for smoother basis sets compatible with uniform grids. To demonstrate the performance of our procedure, we consider several molecular systems with all-electron basis sets which are intractable using uniform grid-based methods. Our work establishes a pathway for scalable many-body electronic structure simulations with arbitrary smooth basis functions, making simulations of phenomena like core-level excitations feasible on a large scale.

physics.comp-ph

Robust Real-Time Coordination of CAVs: A Distributed Optimization Framework under Uncertainty

Achieving both safety guarantees and real-time performance in cooperative vehicle coordination remains a fundamental challenge, particularly in dynamic and uncertain environments. Existing methods often suffer from insufficient uncertainty treatment in safety modeling, which intertwines with the heavy computational burden under complex multi-vehicle coupling. This paper presents a novel coordination framework that resolves this challenge through three key innovations: 1) direct control of vehicles' trajectory distributions during coordination, formulated as a robust cooperative planning problem with adaptive enhanced safety constraints, ensuring a specified level of safety regarding the uncertainty of the interactive trajectory, 2) a fully parallel ADMM-based distributed trajectory negotiation (ADMM-DTN) algorithm that efficiently solves the optimization problem while allowing configurable negotiation rounds to balance solution quality and computational resources, and 3) an interactive attention mechanism that selectively focuses on critical interactive participants to further enhance computational efficiency. Simulation results demonstrate that our framework achieves significant advantages in safety (reducing collision rates by up to 40.79\% in various scenarios) and real-time performance compared to representative benchmarks, while maintaining strong scalability with increasing vehicle numbers. The proposed interactive attention mechanism further reduces the computational demand by 15.4\%. Real-world experiments further validate robustness and real-time feasibility with unexpected dynamic obstacles, demonstrating reliable coordination in complex traffic scenes. The experiment demo could be found at https://youtu.be/4PZwBnCsb6Q.

cs.RO

Positive combinatorial formulae for involution matrix loci and orbit harmonics

Let $\mathcal{M}_{n,a}$ be the set consisting of involutions in symmetric group $\mathfrak{S}_n$ with exactly $a$ fixed points and apply the orbit harmonics method to obtain a graded $\mathfrak{S}_n$-module $R(\mathcal{M}_{n,a})$. Liu, Ma, Rhoades, and Zhu figured out a signed combinatorial formula for the graded Frobenius image $\mathrm{grFrob}(R(\mathcal{M}_{n,a});q)$ of $R(\mathcal{M}_{n,a})$. Our goal is to cancel these signs. Finally, we find two positive combinatorial formulae for $\mathrm{grFrob}(R(\mathcal{M}_{n,a});q)$. As an application, we deduce a series of $\mathfrak{S}_n$-equivariant isomorphisms between graded components $R(\mathcal{M}_{n,a})_d$ and $R(\mathcal{M}_{n,a^{\prime}})_d$ for some integers $a\neq a^{\prime}$ and $d$. Our positive formulae also yield potential attempts to find a linear basis for $R(\mathcal{M}_{n,a})$ and a statistic $\mathrm{stat}:\mathcal{M}_{n,a}\rightarrow\mathbb{Z}_{\ge0}$ to interpret the Hilbert series $\mathrm{Hilb}(R(\mathcal{M}_{n,a});q)$ of $R(\mathcal{M}_{n,a})$.

math.CO

Bipartite Randomized Response Mechanism for Local Differential Privacy

With the increasing importance of data privacy, Local Differential Privacy (LDP) has recently become a strong measure of privacy for protecting each user's privacy from data analysts without relying on a trusted third party. In this paper, we consider the problem of high-utility differentially private release. Given a domain of items and a distance-defined utility function, our goal is to design a differentially private mechanism that releases an item with the global expected error as small as possible. The most common LDP mechanism for this task is the Generalized Randomized Response (GRR) mechanism that treats all candidate items equally except for the true item. In this paper, we introduce Bipartite Randomized Response mechanism (BRR), which adaptively divides all candidate items into two parts by utility rankings. In the local search phase, we confirm how many high-utility candidates to be assigned with high release probability, which gives the locally optimal bipartite classification of all candidates. For preserving LDP, the global search phase uniformly selects the smallest number of dynamic high-utility candidates obtained locally. In particular, we give explicit formulas on the uniform number of dynamic high-utility candidates. The global expected error of our BRR can theoretically deliver a decrease with an asymptotically exact ratio, and when the privacy budget is set to $3$ the expected error can be reduced by $66.4\%$. Extensive experiments demonstrate that BRR outperforms the state-of-the-art methods across the standard metrics and datasets.

cs.CR

Nonreciprocal routing induced by chirality in an atom-dimer waveguide-QED system

The implementation of quantum routers is an important and desired task in quantum information science, since quantum routers are important components of quantum networks. Here, we propose a scheme for implementing single-photon routers in a waveguide-QED system, which consists of two coupled two-level atoms coupled to two waveguides to form a four-port quantum device. We obtain the exact analytical expressions of the single-photon scattering amplitudes using the real-space method. By taking the propagating time of photons between two coupling points into account or not, we consider the system working in the Markovian and non-Markovian regimes, respectively. In addition, we introduce the chiral coupling, which breaks the symmetry of the waveguide model, to manipulate the transmission of single photons. We find that when the system works in the non-Markovian regime, the single photon can be transmitted on demand by adjusting the asymmetry coefficient. More interestingly, the complete single-photon routing in this device does not require an ideal chiral coupling, loosening the photon transport conditions. This work will motivate the studies concerning the nonreciprocal and chiral quantum devices in the waveguide-QED platform.

quant-ph

Recursive reduction quadrature for the evaluation of Laplace layer potentials in three dimensions

A high-order quadrature scheme is constructed for the evaluation of Laplace single and double layer potentials and their normal derivatives on smooth surfaces in three dimensions. The construction begins with a harmonic approximation of the density on each patch, which allows for a natural harmonic polynomial extension in a volumetric neighborhood of the patch in the ambient space. Then by the general Stokes theorem, singular and nearly singular surface integrals are reduced to line integrals preserving the singularity of the kernel, instead of the standard origin-centered 1-forms that require expensive adaptive integration. These singularity-preserving line integrals can be semi-analytically evaluated using singularity-swap quadrature. In other words, the evaluation of singular and nearly singular surface integrals is reduced to function evaluations at the vertices on the boundary of each patch. The recursive reduction quadrature largely removes adaptive integration that is needed in most existing high-order quadratures for singular and nearly singular surface integrals, resulting in exceptional performance. The scheme achieves twelve-digit accuracy uniformly for close evaluations and offers a speedup of five times or more in constructing the sparse quadrature-correction matrix compared to previous state-of-the-art quadrature schemes.

math.NA

Involution matrix loci and orbit harmonics

Let $\mathrm{Mat}_{n \times n}(\mathbb{C})$ be the affine space of $n \times n$ complex matrices with coordinate ring $\mathbb{C}[\mathbf{x}_{n \times n}]$. We define graded quotients of $\mathbb{C}[\mathbf{x}_{n \times n}]$ which carry an action of the symmetric group $\mathfrak{S}_n$ by simultaneous permutation of rows and columns. These quotient rings are obtained by applying the orbit harmonics method to matrix loci corresponding to all involutions in $\mathfrak{S}_n$ and the conjugacy classes of involutions in $\mathfrak{S}_n$ with a given number of fixed points. In the case of perfect matchings on $\{1, \dots, n\}$ with $n$ even, the Hilbert series of our quotient ring is related to Tracy-Widom distributions and its graded Frobenius image gives a refinement of the plethysm $s_{n/2}[s_2]$.

math.CO

Single-photon scattering in giant-atom topological-waveguide-QED systems

The giant-atom topological-waveguide-QED systems have recently emerged as a promising platform for manipulating light-matter interactions. The combination of the multiple-point couplings and topological phase effect could lead to rich physical phenomena and effects. Here, we study single-photon scattering in a Su-Schrieffer-Heeger (SSH) waveguide coupled to either one or two two-level giant atoms. We assume that each giant atom is coupled to the waveguide via two coupling points and hence there exist four and sixteen coupling configurations for the single-giant-atom case and two-giant-atom separate coupling case, respectively. By solving the single-photon scattering problem in the real space, we obtain the exact expressions of the single-photon scattering amplitudes. It is found that a single photon in the SSH waveguide can be completely reflected or transmitted by choosing proper coupling configurations, coupling-point distances, atomic resonance frequency, and dimerization parameter. In addition, under proper parameter conditions, the scattering spectra are periodically modulated by the coupling-point distances. We also find that the collective behavior of the two giant atoms can be adjusted by quantum interference effect and topological effect and that the single-photon scattering spectra can exhibit the Lorentzian, super-Gaussian, electromagnetically induced transparencylike, and asymmetric Fano line shapes for some coupling configurations. This work will inspire the development of controllable single-photon devices based on the giant-atom topological-waveguide-QED systems.

quant-ph