arXiv subjects
Publications and source records attributed to Yong Zhang.
We prove that pseudo-amenability implies approximate amenability for Banach algebras with a bounded approximate identity. Consequently, these two notions of generalized amenability are equivalent for such Banach algebras. Our proof closes a gap in the paper by F. Ghahramani and Y. Zhang, Pseudo-amenable and pseudo-contractible Banach algebras.
We study generalized amenability of locally compact quantum groups $\mathbb{G}=(\scr M, Δ, ϕ, ψ)$. Let $C_r^*(\mathbb{G})$ and $VN(\mathbb{G})$ denote, respectively, the C*-algebra and von Neumann algebra generated by the quantum left regular representation of $\mathbb{G}$. With natural covariance assumptions and a traceability condition on $VN(\mathbb{G})$, we show that if $C_r^*(\mathbb{G})$ is approximately amenable, then $\mathbb{G}$ admits an invariant quantum mean. We show further that the same conclusion holds if the predual algebra $\scr M_*$ has a bounded approximate identity and is approximately amenable.
Chirality underlies molecular function in living matter, yet its optical detection remains challenging because conventional chiroptical spectroscopies rely on weak corrections to the dominant electric-dipole light-matter interaction, making desired optical signals weak and fragile. Topology offers a route to robustness, enabling observables whose defining properties survive disorder and imperfections. However, experimental realization of a practical topological observable for chiral spectroscopy has remained elusive. Here we realize chiral topological light and demonstrate such an observable. A tightly focused, phase-locked, counter-rotating two-colour field encodes chirality in the three-dimensional electric-field trajectory while its dominant topological charge resides in the longitudinal electric-field component where it remains hidden from direct far-field detection. An isotropic chiral medium acts as a topological transducer, converting the latent topology of the driving field into a propagating nonlinear response whose topological charge becomes directly observable in the far field while remaining strongly suppressed in achiral media. Using randomly oriented chiral single-crystal powders, we experimentally detect the enantio-sensitive response through the topological charge of the emitted field. Directly accessible in the far field and robust against experimental imperfections, this observable allows us to track and control chiral signal on attosecond timescales through the relative phase of the driving two-colour fields. Our results establish topology as a practical resource for ultrafast chiral optical spectroscopy.
AI agents increasingly propose actions with external consequences, including financial transfers, infrastructure changes, software deployments, disclosures, and physical actuation. Authorization engines, policy languages, runtime monitors, provenance mechanisms, and agent guardrails provide important foundations, but do not necessarily define a common semantic contract for the final transition from a particular candidate action to execution authority. We specify EBL-Core, an execution-boundary conformance profile for deciding whether one canonical, fully materialized AI-generated candidate may receive action-scoped execution authority under explicit conditions. It binds a structured intent object, Root and Operational Policies, evidence obligations, typed evidence, context, time, and a verifiable Decision Derivation through an Execution Release Contract (ERC). An ERC is not an authority-bearing token; a verified ALLOW ERC may support a separate Execution Grant governed by Redemption-time validation. EBL-Core specifies action binding, policy non-weakening, evidence handling, deterministic adjudication, derivation verification, and grant lifecycle behavior. An accompanying reference artifact provides schemas, adjudication, separate verification and Semantic Replay, and a linearizable in-memory grant store. In the retained run, 34 static vectors and 15 lifecycle checks matched expected outcomes. Across 100 trials, 32 concurrent Redemption attempts yielded exactly one successful Redemption and protected test effect per trial; 100 Revoke-Redeem races ended in valid terminal outcomes. These bounded results demonstrate executability of the specified subset, not human-intent correctness, evidence truth, complete mediation, production readiness, mechanized correctness, or deployment-level security.
We uncover and prove a general class of hidden zeros in tree-level amplitudes with massless fermions. For arbitrary even numbers and arbitrary arrangements of massless real adjoint fermions and gluons, color-ordered gauge-theory amplitudes in $D=4,6,10$ vanish on general rectangular kinematic loci supplemented by species-dependent bridge conditions. The fermion--fermion bridge is governed simply by the vector current $χ_iγ^μχ_j$, while mixed and gluonic bridges are fixed by the corresponding gauge-covariant contractions. A worldsheet analysis proves the result at arbitrary multiplicity and traces its universality to the local fusion channels $ff\to g$, $fg/gf\to f$, and $gg\to g$, with no new primitive bridge structures appearing at higher fermion multiplicity. The same mechanism extends to ten-dimensional amplitudes with gravitons and arbitrary even numbers of gravitinos in factorized gamma-traceless polarizations, and to single-trace Einstein-Yang-Mills amplitudes with adjoint gluinos and gravitons. These results expose a finite local structure underlying fermionic hidden zeros across gauge and gravitational amplitudes.
Bell states and quantum teleportation play crucial roles in quantum information and computation. However, a comprehensive theoretical study of both topics remains to be carried out. This work aims to investigate key algebraic properties of generalized Bell states and explore the topological features of quantum teleportation. First, the basis theorem and the basis group are introduced to show that the extension of a generalized Bell basis by a unitary matrix still forms an orthonormal basis. Then, a twist operator is defined to establish a connection between a generalized multi-qubit Bell state and a tensor product of two-qubit Bell states. In addition, the Temperley--Lieb algebra, the braid group relations, and the Yang--Baxter equation are employed to provide a topological description of generalized Bell states and quantum teleportation. The results demonstrate that our approach not only offers a clear illustration of relevant quantum information protocols but also reveals the topological nature of quantum entanglement and teleportation.
Physics-Informed Neural Networks (PINNs) have emerged as an important class of numerical methods for solving partial differential equations (PDEs). However, during the late-stage optimization process, further parameter updates often yield diminishing accuracy improvements while increasing computational costs. To address this issue, this paper proposes a Physics-Informed Error Field Learning (PIEFL) framework for PINNs. Unlike conventional approaches that continuously approximate the solution field using a single network, PIEFL introduces an auxiliary error network after the primary network achieves satisfactory accuracy and shifts the learning objective from the solution field to the error field. By deriving error control equations under physical constraints, the error network learns the discrepancy between the current approximation and the exact solution, and the learned error correction is combined with the primary prediction to improve solution accuracy. The proposed framework avoids continuous optimization of the entire solution space and focuses computational resources on correcting existing prediction errors. Moreover, PIEFL requires no modification to the primary network architecture, making it compatible with existing PINN models and applicable as a general post-training optimization strategy. Numerical experiments on representative PDEs demonstrate that PIEFL achieves higher solution accuracy under the same computational budget, validating its effectiveness in improving the performance of PINNs.
The house allocation problem is a classical one-sided matching problem that concerns the assignment of a set of $m$ houses to $n$ agents according to their preferences, where each agent is assigned exactly one house. Among the various objectives studied in this setting, envy-freeness is one of the most widely adopted fairness criteria. As envy-free house allocations do not always exist, we address this challenge by introducing subsidies and aim to compute allocations that achieve envy-freeness with minimum total subsidy. For binary instances, we show that a total subsidy of at most $(n-1)$ suffices to guarantee envy-freeness in house allocation, and this bound is tight. Building on the known NP-hardness for general utilities, we further show that computing an allocation that minimizes the total subsidy is NP-hard, even under binary utilities. However, when there are only a bounded number of types of agents with binary utilities, the problem can be solved in polynomial time. Finally, we present a polynomial time algorithm that computes the minimum subsidy required to achieve envy-freeness for two types of agents with general utilities.
Convolution integrals widely exist in applications, and to enable fast and accurate computations, this paper introduces two general multi-stage neural operator learning frameworks. The first, Deep Collocation Neural Operator (DCNO), is a supervised approach that iteratively refines the operator approximation by learning residuals from input-output data pairs. The second, Deep Galerkin Neural Operator (DGNO), is an unsupervised framework applicable when the target operator can be represented by a PDE, leveraging the weak form of the PDE residual for training. Both methods progressively construct basis operators through multiple training stages to enrich the approximation space, leading to significantly improved accuracy over standard one-shot operator learning. We provide theoretical analysis for their approximation capabilities and implement them for learning convolutions. Extensive numerical experiments demonstrate that both DCNO and DGNO achieve high accuracy, approaching machine precision under single float for convolution problems, and offer substantial efficiency gains for numerous queries or parametric variations compared to traditional solvers. We also extend these frameworks to handle multi-input operator learning scenarios involving variations in both the density and kernel of a convolution.
High-risk automated systems distribute control across services, credentials, protected components, and lifecycle mechanisms. Labels such as authorized, approved, privileged, or protected therefore do not answer a basic causal question: which actors can actually make a consequential action occur? This paper provides an action-relative method for deriving which trust-domain coalitions are sufficient to cause protected execution, defined as the occurrence of a designated protected state transition. The framework models components, powers, resources, boundaries, and alternative realization structures; includes update, recovery, override, disablement, and alternative invocation; and separates causal control over execution from control over the authoritative account of an operation. It derives inclusion-minimal sufficient coalitions and tests whether claimed execution boundaries remain independent of designated upstream domains. Cross-domain analytical cases illustrate the method. In a split-control, release-intended, open-state, source-bounded Havenlon protocol model, the ordinary witness requires five trust domains, while certificate replacement yields a three-domain inclusion-minimal known requirement set among source-enumerated protocol witnesses; the Linux domain remains insufficient for the complete transition. Deployed global non-bypassability and boundary-bound veto coverage remain unresolved. The framework is a conceptual and analytical tool. It does not certify implementations, establish deployment security, guarantee complete discovery of hidden powers, or define evidence-verification semantics.
Conspicuous excess emission is present in the near-infrared (NIR) region in various objects, including reflection nebulae, planetary nebulae, and nearby galaxies. However, the spatial distribution and spectral shape of the excess emission remain poorly understood. We studied the NIR continuum emission spectroscopically and obtained its spatial distribution relative to the aromatic infrared band (AIB) at 3.3um in the Orion Bar prototypical photodissociation region (PDR). We aim to characterize its spectral shape and discuss its origin. We employed 3D spectroscopic data of the Orion Bar taken with the integrated field unit of NIRSpec on JWST from the Early Release Science program "PDRs4All." Contribution from the foreground ionized gas was estimated using the Cloudy code and subtracted. The observed regions were divided into nine physically distinct regions and an average spectrum was derived for each region. The nine regions, including the ionized gas, atomic PDR, and molecular PDR, clearly show remaining continuum in the region 1--4.5um. The continuum at wavelengths longer than 2.7um shows good correlations with the 3.3um AIB, while the correlation of the continuum at 1.2um is not significant. We further find that the NIR continuum in the Orion Bar can be approximated by a summation of two blackbodies. The low-temperature component correlates with the AIB well, while the high-temperature component does not. The average spectra also show absorption features at 3.0 and 4.27um, which are attributed to the presence in the spectra of water ice and CO2 ice. We discuss possible origins of the NIR continuum, among which recurrent fluorescence from carbon clusters better explains the observed low-temperature component. The presence of ice species suggests a contribution from a deeper layer of the PDR along the line of sight producing characteristic ice absorption features.
Knowledge-based Visual Question Answering aims to answer questions about an image by integrating external knowledge with visual and textual information. Recent approaches often rely on in-context learning to prompt Large Language Models (LLMs) with multimodal context in a zero-shot or few-shot manner. However, we observe that directly concatenating heterogeneous visual descriptions and retrieved knowledge into long, unstructured prompts often degrades reasoning performance, due to both excessive irrelevant context and the lack of explicit relational structure. In this paper, we propose an LLM-based Structured Context Reasoning (SCoRe) framework that infers both explicit and implicit relationships for prediction. SCoRe consists of three stages: Context Acquisition, which generates diverse visual notes and retrieves explicit knowledge via an efficient two-stage multimodal retrieval strategy; Context Selection, which filters relevant visual, explicit, and implicit knowledge using LLM-guided selection; and Context Compression, which performs Relational Logic Distillation (RLD) to transform raw text into explicit entity-relation triplets. These relational triplets serve as a concise and structured prompt for final answer prediction. Extensive experiments on the OK-VQA and A-OKVQA benchmarks demonstrate that SCoRe consistently outperforms state-of-the-art methods.
Fix $R\in(0,1)$ and $N\geq2$, and let $λ_k$ be the $k$th eigenvalue of the radial Dirichlet problem on the annulus $A_R:=\{x\in\mathbb R^N:R<|x|<1\}$. For every $k\geq1$ we construct a smooth local family of rotationally symmetric, axially periodic perturbations of the hollow cylinder $A_R\times\mathbb R$ for which \begin{equation} -Δu=λu\quad\hbox{in }Ω,\qquad u=0\quad\hbox{on }\partialΩ_{\mathrm{out}}\cup\partialΩ_R,\qquad \partial_νu=\hbox{constant}\quad\hbox{on }\partialΩ_{\mathrm{out}} \nonumber \end{equation} admits a nonradial periodic solution. The branch bifurcates from the $k$th radial eigenfunction. If $k\geq2$, the solution is sign-changing: it has precisely $k-1$ smooth nested nodal hypersurfaces and hence exactly $k$ nodal domains. We also give an explicit connected-strip analogue when $N=1$. The proof is based on a mean-free Dirichlet-to-Neumann operator. A Sturm--Liouville Weyl function yields a unique simple crossing in the first spectral gap, so that the Crandall--Rabinowitz theorem produces a smooth local branch. This gives a partially overdetermined construction on an unbounded hollow domain with disconnected complement; it lies outside the positivity and connected-complement hypotheses of the Berestycki--Caffarelli--Nirenberg conjecture.
We study two-dimensional steady periodic hydroelastic waves in a finite-depth fluid with constant vorticity, with the free surface modeled as an extensible nonlinear hyperelastic membrane whose stored energy is $E(ν,μ)$. A key point is that the material coordinate of the membrane and the conformal boundary coordinate are not identified. We introduce the material reparametrization explicitly, use the tangential membrane equilibrium together with the period constraint to eliminate it locally by the implicit function theorem, and thereby obtain a fourth-order quasilinear pseudodifferential equation for the free-surface profile alone. We prove a converse reconstruction, including the material parametrization, so that the reduced fixed-domain problem is locally equivalent to the full hydroelastic free-boundary system. For fixed vorticity, isolated simple roots of the resulting dispersion relation generate local Crandall--Rabinowitz branches. Our main result concerns isolated $1{:}2$ resonances. We identify the appropriate nonlinear invariant subspace, derive the exact double-kernel conditions, and compute the quadratic resonant coefficient for the material-relaxed membrane. Under the nonvanishing of this coefficient, a Lyapunov--Schmidt secondary-bifurcation lemma adapted from Shearer yields a period-doubling secondary branch from the $2n$-mode primary family; the secondary profiles contain both the $n$- and $2n$-harmonics and have minimal period $2π/n$. For the quadratic constitutive law $E(ν,μ)=\frac A2(ν-1)^2+\frac B2μ^2$, $A,B>0$, the resonant coefficient is given in closed form and is strictly positive under an explicit depth condition. We finally record the exact stagnation-line criterion for the underlying laminar flows, without imposing unsupported conclusions on the topology of nonlinear critical layers.
In this paper, we establish the existence of Stokes waves with piecewise smooth vorticity in a two-dimensional, infinitely deep fluid domain. These waves represent traveling water waves propagating over sheared currents in a semi-infinite cylinder, where the vorticity may have jump discontinuities across internal streamlines. The analysis is carried out by applying a hodograph transformation, which reformulates the original free boundary problem into an abstract elliptic boundary value problem. Compared to previously studied steady water waves, the present setting introduces several novel features: the presence of an internal interface, an unbounded spatial domain, and a non-Fredholm linearized operator. To address these difficulties, we introduce a height function formulation, casting the problem as a transmission problem with suitable transmission conditions. A singular bifurcation approach is then employed, combining global bifurcation theory with Whyburn's topological lemma. The singular limit is taken in a natural deep-water topology based on the surface trace and the derivatives of the height function. An exact mean-flux identity controls the closing zero Fourier mode uniformly as the regularization is removed. This yields a connected global continuum of exact waves together with explicit norm, ellipticity, surface-obliqueness, and parameter-boundary alternatives.
In this paper, by introducing two-point stationary-phase amplitude defect, we provide a partial positive answer to the Schiffer and Berenstein conjectures in $\mathbb{R}^2$. More precisely, assuming that a bounded uniformly convex domain $Ω\subset \mathbb{R}^2$ has a connected boundary of class $C^{2,ε}$ with $ε\in (0,1)$, we show that if, for some nonzero constant $c_D$, the overdetermined elliptic problem \begin{equation} -Δu = αu \ \text{ in } \ Ω, \qquad u = 0 \ \text{ on } \ \partialΩ, \qquad \frac{\partial u}{\partial ν} = c_{D} \ \text{ on } \ \partialΩ\nonumber \end{equation} admits a nontrivial solution corresponding to a large eigenvalue $α$, then the domain $Ω$ must be a disk. Similarly, we establish that if a domain $Ω\subset \mathbb{R}^2$ has a connected Lipschitz boundary and the problem \begin{equation} -Δu = αu \ \text{ in } \ Ω, \qquad \frac{\partial u}{\partial ν} = 0 \ \text{ on } \ \partialΩ, \qquad u = c_{N} \ \text{ on } \ \partialΩ\nonumber \end{equation} has a nontrivial solution corresponding to a large eigenvalue $α$, then $Ω$ is a disk as well.
Obtaining equilibrium distributions of nonlinear systems is essential for accurately computing macroscopic observables. Conventional theoretical corrections are typically limited to weak nonlinearities, where interaction terms can be treated as effectively uncorrelated perturbations and the random phase approximation applies. In this Letter, we develop a framework to determine equilibrium distributions based on the generalized energy equipartition principle. Our approach recovers existing corrections in the weakly nonlinear regime and, crucially, remains valid for strong nonlinearities, where perturbative contributions become correlated and conventional approaches break down. Numerical simulations of the nonlinear Schrödinger equation, the Majda-McLaughlin-Tabak model, and the Fermi-Pasta-Ulam-Tsingou model demonstrate accurate corrections for nonlinearities more than an order of magnitude stronger than those accessible to conventional theories.
The Fermi--Pasta--Ulam--Tsingou (FPUT) problem provides a paradigmatic framework for understanding thermalization in weakly nonlinear many-body Hamiltonian systems. This focused review summarizes major developments in near-integrable dynamics, wave resonances, and phonon kinetic theory, emphasizing recent results on thermalization-time scaling in nonlinear lattices. A coherent picture emerges in the thermodynamic limit based on the eigenmode properties of an appropriate integrable reference system. If the reference system has extended eigenmodes and the leading resonant or quasi-resonant processes form a sufficiently connected network, the thermalization time follows $T_{\mathrm{eq}}\propto g^{-2}$, where $g$ measures the effective deviation from integrability. This scaling is found broadly in ordered and weakly disordered lattices and is robust to dimensionality, interaction potential, integrability-breaking mechanism, and multimode initial conditions. Identifying the correct integrable reference is essential; in some one-dimensional FPUT-type lattices with cubic interactions, the nearby Toda lattice, rather than the harmonic chain, provides the proper reference. If all reference eigenmodes are localized, spatial-overlap constraints progressively fragment low-order resonance networks as $g$ decreases, and thermalization becomes controlled by higher-order processes. Numerical studies reveal successive regimes $T_{\mathrm{eq}}\propto g^{-γ}$ with $γ=2,4,6$, together with weak system-size dependence. Whether this hierarchy persists asymptotically and whether a finite thermalization threshold exists remain open questions. We also discuss finite-size effects, strongly nonintegrable dynamics, heat transport, localization, and higher-dimensional lattices.