arXiv Science⌕ Search

arXiv subjects

Qing Xia

Publications and source records attributed to Qing Xia.

At least 19 recordsLinked to original sources
arXiv2026

BridgeShield: Risk-Aware Graph Modeling for Cross-Chain Bridge Attack Detection

Cross-chain bridges enable asset and state transfers across heterogeneous blockchains, but their complex cross-domain interactions introduce new attack surfaces that are difficult to monitor using traditional single-chain analysis methods. Existing approaches often focus on isolated on-chain behaviors and fail to capture the multi-stage execution semantics of cross-chain transactions. This paper presents BridgeShield, a graph-based framework for detecting cross-chain bridge attacks through risk-aware modeling of cross-chain execution behaviors. BridgeShield reconstructs cross-chain behavior graphs from execution traces and event logs, capturing interactions across the source chain, off-chain relay components, and the destination chain. To highlight attack-relevant structures, the framework employs differential meta-path selection to identify execution patterns that exhibit structural deviations between normal and attack transactions, and hierarchical risk propagation to aggregate distributed risk signals across interaction stages. Experiments on real-world bridge incidents show that BridgeShield achieves an F1-score of 92.6% in cross-chain attack detection and consistently outperforms existing rule-based and graph-based baselines. In addition, the model remains effective in detecting previously unseen attack incidents, indicating that BridgeShield captures structural risk patterns rather than memorizing historical attack templates.

cs.CR↗
arXiv2026

Curvature-Distortion Numbers of Graphs: Nonnegative Lin--Lu--Yau Curvature

We introduce the curvature-distortion number, a scale-invariant parameter measuring the least multiplicative spread of positive edge weights required to make a weighted discrete curvature nonnegative everywhere. We develop the theory for Lin--Lu--Yau curvature when the transport distance is the fixed combinatorial graph distance. For trees, the invariant admits an explicit nonlinear fixed-point description, which produces a canonical optimal weight that is unique up to scaling. More importantly, the curvature-distortion number controls the branching topology of the tree: for every finite tree $T$, \[ |B(T)|\le \left\lceil \DN_{\LLY}(T)\right\rceil, \] where $B(T)$ is the set of branch vertices. Thus the amount of weight distortion required to achieve nonnegative curvature imposes a direct quantitative restriction on the topological complexity of the tree. For locally finite infinite trees, finite distortion is classified completely: it occurs precisely for the double ray and for one-ended trees obtained from a finite tree by attaching a single ray. This connection between curvature distortion and tree topology extends naturally to general connected graphs through the subgraph formed by edges lying in no cycle of length $3$, $4$, or $5$. Whenever the curvature-distortion number is finite, this tree-like part is a forest unless the whole graph is a cycle of length at least $6$, and each of its tree components inherits the corresponding distortion and topological bounds. In particular, the tree theory yields complete finite-distortion classifications for graphs of girth at least $6$.

math.CO↗
arXiv2026

Extremal Lin--Lu--Yau Curvature: Graph Density, Girth, and Short Cycles

We consider the extremal-curvature problem of optimizing a uniform discrete-curvature lower bound over positive edge weights, and develop this problem here for Lin--Lu--Yau curvature. Let $G=(V,E)$ be a finite connected graph, and let $w:E\to(0,\infty)$ be a positive edge weight. In the fixed-combinatorial-distance weighted Lin--Lu--Yau model, write \[ κ_{\LLY}^w(G):=\min_{e\in E}κ_{\LLY}^w(e) \] and define the extremal Lin--Lu--Yau curvature \[ \Kmax(G):=\sup_{w>0}κ_{\LLY}^w(G). \] For graphs of girth at least $6$ we determine this invariant exactly: \[ \Kmax(G)=\frac{4}{\mad(G)}-2, \] where $\mad(G)$ is the maximum average degree. Equivalently, \[ \Kmax(G) =\min_{\substack{H\subseteq G\text{ connected}\\E(H)\ne\varnothing}} \frac{2(1-β(H))}{|E(H)|}, \] where $β(H)=|E(H)|-|V(H)|+1$ is the cycle rank of the connected graph $H$. Thus, in the high-girth regime, the invariant is a normalized Euler-characteristic density. We characterize attainment in terms of the classical notion of strict balancedness and show that maximizing sequences concentrate, in a precise normalized-incidence sense, on proper densest cores when the supremum is not attained. For arbitrary finite graphs we isolate the contribution of short cycles by a nonnegative surplus, which vanishes exactly on edges contained in no cycle of length $3$, $4$, or $5$. For edges contained in no triangle, this surplus is the value of an explicit local fractional matching problem. This yields the sharp hierarchy \[ \Kmax(G)\le 4-\ell+\frac{\ell-2}{\mad(G)}, \qquad \girth(G)\ge\ell,\quad \ell\in\{3,4,5,6\}, \] with equality for every finite connected graph when $\ell=6$. We also prove that the attainment is rigid.

math.CO↗
arXiv2026

A penalty-free bulk--surface CutFEM stabilized by lattice Green's function extensions

We introduce a penalty-free cut finite element method for surface elliptic problems coupled to a harmonic bulk field on a Cartesian grid. Instead of adding a stabilization term, the method restricts the active finite element space by a discrete bulk harmonic extension represented with the lattice Green's function, together with a local extrapolation near the interface. The resulting method is a symmetric Galerkin scheme posed on a reduced space embedded in the standard active-mesh finite element space. Under stated geometric, regularity, and approximation assumptions, we establish optimal $\mathcal{O}(h)$ and $\mathcal{O}(h^2)$ surface convergence rates, as well as robust, cut-independent algebraic conditioning. Furthermore, a density formulation based on lattice layer potentials is shown to act as an operator preconditioner; the single-layer parametrization yields an $\mathcal{O}(1)$ algebraically well-conditioned system without introducing any tunable parameters. Two-dimensional experiments on circular, deformed, and smooth nonconvex interfaces confirm the predicted convergence and robustness under changes in the cut position. Finally, a three-dimensional torus experiment demonstrates the identical construction using a seven-point bulk stencil and trilinear surface traces, exhibiting the expected optimal error rates.

math.NA↗
arXiv2026

Edge-connectivity and LLY curvature of hypergraphs

Chen, Liu, and You \cite{ChenLiuYou2025} proved that a locally finite connected graph with positive Lin--Lu--Yau curvature has edge-connectivity equal to its minimum degree. Liu and Xia \cite{LiuXia2026} subsequently showed that the same conclusion holds for every finite connected graph with nonnegative Lin--Lu--Yau curvature and classified all infinite exceptions. We investigate the corresponding problem for the random-walk curvature of hypergraphs introduced by Tian and Zhao \cite{TianZhao2025}. We formulate a hypergraph analogue of the combinatorial inequality used by Liu and Xia \cite{LiuXia2026} and use it to study edge cuts in uniform linear hypergraphs. Our first main result asserts that every locally finite connected $r$-uniform linear hypergraph, $r\geq 3$, with nonnegative Lin--Lu--Yau curvature has edge-connectivity equal to its minimum incidence degree. Both the uniformity and linearity assumptions are essential. On the one hand, for every $r\geq 3$ and every integer $t\geq 2$, we construct a finite connected simple nonlinear $r$-uniform hypergraph with positive Lin--Lu--Yau curvature such that its edge-connectivity is $t$ less than its minimum degree. On the other hand, for every integer $t\geq 1$, we construct a finite connected simple linear nonuniform hypergraph with positive Lin--Lu--Yau curvature such that its edge-connectivity is also $t$ less than its minimum degree. Consequently, neither uniformity nor linearity alone is sufficient for the edge-connectivity rigidity in the hypergraph setting.

math.CO↗
arXiv2026

VoxStruct3D: Structure-Leading Flow Matching for Voxel-Space 3D MRI Synthesis

High-fidelity 3D MRI synthesis requires both globally coherent anatomy and fine-grained voxel-level detail. Although latent diffusion makes volumetric generation tractable, its image autoencoder introduces a reconstruction bottleneck that can limit the fine detail recoverable in the final volume. We present VoxStruct3D, a voxel-space flow-matching framework that directly models full-resolution MRI volumes using a clean-data prediction objective. Its Volumetric Voxel Generator (VVG) combines factorized 3D patch embedding with overlapping upsampling, time-modulated residual refinement, and skip fusion, enabling neighboring tokens to jointly reconstruct shared voxel regions and suppress patch-boundary artifacts. To complement direct voxel-space modeling with an explicit anatomical prior, we further introduce a Structure-First, Image-Follows (SFIF) strategy. A frozen pretrained 3D medical encoder and a StructVAE extract compact structure tokens that preserve dominant anatomy, while a structure-leading schedule keeps their trajectory ahead of the image trajectory. Patch-Aligned RoPE spatially aligns the unequal token grids, and asymmetric attention enforces one-way guidance from structure to image. Experiments on pathological and healthy T1-weighted brain MRI datasets show that VoxStruct3D achieves the strongest overall performance across feature-distribution alignment, sample diversity, and perceptual quality, producing anatomically coherent and visually realistic volumes.

cs.CV↗
arXiv2026

Idleness Functions for Ollivier-Ricci Curvature on Hypergraphs

Let $\mathcal H=(V,E)$ be a locally finite simple hypergraph, equip $V$ with the hyperpath metric, and consider the lazy random walk introduced for hypergraph Ollivier--Ricci curvature by Tian and Zhao \cite{TianZhao2025}. For adjacent vertices $x$ and $y$, we prove that the idleness function $α\mapstoκ_α^{\mathcal H}(x,y)$ is piecewise affine and with no more than three affine pieces. A separate mass-balance argument gives linearity on $[1/2,1]$ for every locally finite simple hypergraph and, consequently, a limit-free expression for the Lin--Lu--Yau curvature. In the $r$-uniform linear case, the hypergraph walk agrees exactly with the simple random walk on its 2-section. This reduction transfers the sharp endpoint intervals of Bourne, Cushing, Liu, Münch, and Peyerimhoff \cite{BourneEtAl2018}.

math.CO↗
arXiv2026

An unfitted boundary algebraic equation method with Calderón preconditioning for 2D Stokes flow in irregular geometry

We present an unfitted boundary algebraic equation method for the two-dimensional exterior/interior Stokes equations on a staggered MAC grid. By constructing an explicit free-space pair of velocity and pressure lattice Green's functions (LGFs) from free-space Laplace LGFs, we represent homogeneous fields using sources supported exclusively on thin staggered boundary layers. This formulation imposes physical Dirichlet data at cut points via local interpolation, while sampled-normal rank updates remove hydrostatic null modes associated with single or multiple obstacles. The workflow parallels that of classical boundary integral formulations and requires no artificial boundary conditions for exterior flows, but follows a discretize-then-represent route and does not require singular/near-singular quadrature. The resulting dense boundary system is solved via GMRES, utilizing a componentwise discrete Calderón preconditioner built from the scalar Laplace kernel and padded FFTs for fast volume convolutions. Extensive numerical validation, including multiply connected domains, narrow gaps, and Moffatt eddies, confirms discrete incompressibility to solver accuracy and recovers the expected Moffatt eddy scaling. We achieve second-order velocity and pressure convergence and bound maximum discrete divergence within numerical accuracy. The discrete Calderón preconditioner reduces the condition number by orders of magnitude and yields nearly mesh-independent conditioning in exterior configurations, while remaining effective---though more demanding---for narrow-gap and fine-grid interior problems.

math.NA↗
arXiv2026

An unfitted boundary algebraic equation method with static-dynamic reduction for evolving implicit geometries

Repeated elliptic solves on domains with evolving boundaries arise in moving-interface simulation, design, and reactive navigation. Even when a fixed Cartesian grid avoids remeshing, rebuilding all boundary interactions for every configuration can limit the efficiency of repeated solves. We develop a static--dynamic boundary reduction for an unfitted lattice Green's function method on prescribed moving planar domains. Like boundary integral and boundary element methods, the formulation reduces the problem to boundary-supported unknowns through a Green representation. Its construction, however, reverses the usual order: the Cartesian operator is discretized before the Green representation is formed, rather than representing the continuous problem first and then discretizing the boundary. This discretize-then-represent viewpoint avoids boundary meshes and singular quadrature. The method also separates interactions associated with stationary geometry from those affected by motion, reuses the invariant part throughout a simulation, and updates only couplings involving the changing boundary. Boundary conditions are imposed at true interface intersections, lattice-kernel data are reused, and the interior field is reconstructed by a fast sine-transform solver. The principal contribution is an implemented and validated update strategy for translating, deforming, appearing, and topology-changing obstacles.

math.NA↗
arXiv2026

Infinite-lattice discrete Calderón projection via the lattice Green's function for active noise shielding and confinement

We construct an infinite-lattice discrete Calderón projection for the Helmholtz equation by convolution with the lattice Green's function (LGF), and apply it to active noise shielding and confinement on Cartesian grids with arbitrary geometry. The LGF fixes the outgoing radiation condition and removes the geometry-dependent auxiliary Helmholtz problem and artificial outer boundary from the projection and control synthesis; its finite numerical tabulation depends only on $(h,k)$ and is reusable across geometries. We prove idempotence, characterize the range as the trace space of interior lattice-Helmholtz solutions, and establish range equivalence with a well-posed Tsynkov-type projection. The two projectors coincide as operators when the auxiliary problem reproduces the exact lattice radiation condition. A capacity-matrix realization yields closed-form shielding and confinement densities supported on the exterior and interior sublayers of a single lattice boundary strip, respectively. For pure-noise shielding, exterior-sublayer measurements suffice under explicit invertibility assumptions; preservation of an unknown wanted interior field requires the full strip trace. Experiments on circular, L-shaped, and star-shaped regions verify machine-precision cancellation for LGF-consistent sources and near-second-order convergence for analytic plane waves and point sources. Conditioning and measurement noise tests quantify the configuration dependence of the reconstruction.

math.NA↗
arXiv2026

Bifurcation of the quasi-stationary velocity of strongly discrete transition waves driven by gravity

Transition waves are common in multistable mechanical metamaterials, and the dynamics of weakly discrete transition waves under driving forces have been extensively discussed. However, as lattice effects become more pronounced, strongly discrete transition waves may exhibit dynamics that cannot be predicted by the continuum limit. Here, by tilting a bistable chain, we introduce a gravitational perturbation term into the dynamical equations, under which the transition waves are continuously accelerated. In the strongly discrete regime, we find that transition waves under gravitational driving possess quasi-stationary velocity plateaus (QSVPs), and the number of these plateaus first increases and then decreases as the tilt angle increases. We theoretically elucidate that the emergence of the velocity plateaus originates from the balance between gravitational driving and phonon radiation. In further analysis, the theoretical model reveals that the balance point undergoes a bifurcation at the radiation resonance, which leads to a change in the number of velocity plateaus. Our study extends the investigation of transition waves into the strongly discrete regime, and the emergence of multiple velocity plateaus opens up new possibilities for programmable solitary waves.

nlin.PS↗
arXiv2026

Chem-SIM: Super-resolution Chemical Imaging via Photothermal Modulation of Structured-Illumination Fluorescence

Structured illumination microscopy (SIM) has attained high spatiotemporal delineation of subcellular architecture, yet offers limited insight into chemical composition. We develop Chem-SIM, a structured-illumination fluorescence detected mid-infrared photothermal microscopy, for super-resolved chemical imaging of microorganisms and mammalian cells. Poisson maximum-likelihood demodulation and spectral normalization across wavenumber recover the weak IR-induced fluorescence intensity change under low photon budgets and convert the fluorescence intensity modulation to chemical fingerprints. Photothermal gating further rejects water backgrounds in aqueous samples, while the IR pump maintains cellular activity at near-physiological temperature. Chem-SIM preserves full vibrational fingerprints, achieves SIM-grade lateral resolution in a high-throughput camera-based format. Here, we show that this platform distinguishes stationary- from log-phase bacteria through chemical content mapping, reports deuterated fatty-acid incorporation in ovarian cancer cells, and resolves lipid-droplet dynamics in live cells, establishing a high-throughput route to super-resolved imaging of organelle chemistry, metabolism, and dynamics.

physics.optics↗
arXiv2026

FILM: Mapping organellar metabolism by mid-infrared photothermal modulated fluorescence

Metabolism unfolds within specific organelles in eukaryotic cells. Lysosomes are highly metabolically active organelles, and their metabolic states dynamically influence signal transduction, cellular homeostasis, and organismal physiopathology. Despite the significance of lysosomal metabolism, a method for its in vivo measurement is currently lacking. Here, we report optical boxcar-enhanced, fluorescence-detected mid-infrared photothermal microscopy, together with AI-assisted data denoising and spectral deconvolution, to map metabolic activity and composition of individual lysosomes in living cells and organisms. Using this method, we uncovered lipolysis and proteolysis heterogeneity across lysosomes within the same cell, as well as early-onset lysosomal dysfunction during organismal aging. Additionally, we discovered organelle-level metabolic changes associated with diverse lysosomal storage diseases. This method holds the broad potential to profile metabolic fingerprints of individual organelles within their native context and quantitatively assess their dynamic changes under different physiological and pathological conditions, providing a high-resolution chemical cellular atlas.

physics.bio-ph↗
arXiv2026

Edge-connectivity and non-negative Lin-Lu-Yau curvature

By definition, the edge-connectivity of a connected graph is no larger than its minimum degree. In this paper, we prove that the edge connectivity of a finite connected graph with non-negative Lin-Lu-Yau curvature is equal to its minimum degree. This answers an open question of Chen, Liu and You. Notice that our conclusion would be false if we did not require the graph to be finite. We actually classify all connected graphs with non-negative Lin-Lu-Yau curvature and edge-connectivity smaller than their minimum degree. In particular, they are all infinite.

math.CO↗
arXiv2026

Label-free Imaging of Single-Biomolecule Structure and Interaction by Stimulated Raman Photothermal Encoded Scattering

Current single molecule methods either rely on fluorescence or lack chemical information. Here we report stimulated Raman photothermal encoded scattering (SRPSCAT) microscopy for quantitative bond-selective imaging of single-biomolecule structures and interactions in native environments. In this approach, scattering of the target molecule is modulated by the deposited energy from stimulated Raman gain and loss processes, thereby encoding vibrational spectroscopic information. Leveraging single-molecule sensitivity of interferometric scattering, SRPSCAT can map single proteins with chemical specificity, determine their mass, and distinguish protein secondary structures based on their Raman fingerprints. Furthermore, single protein binding kinetics are quantified and the conformational dynamics of single de novo designed allosteric proteins are observed. Together, these results highlight the potential of SRPSCAT for label-free structural, functional and dynamic analysis at the single-molecule level.

physics.bio-ph↗
arXiv2026

Hierarchical Reinforcement Learning for Next Generation of Multi-AP Coordinated Spatial Reuse

In next generation of Wi-Fi networks Multiple Access Point Coordination (MAPC) is poised to significantly enhance the network performance by enabling a set of Access Points (APs) to coordinate with each other through advanced coordinating schemes so that to reduce inter-AP contention and congestion. This paper focuses on defining a framework to facilitate the coordination across multi-APs when these employ Coordinated Spatial Reuse (C-SR). In this case, the coordinating APs may need to reciprocally adjust their scheduling strategy, power control and link adaptation to meet specific Quality of Service (QoS) requirements, which by using classical approaches leads to high overhead due to negotiations needed across APs, and requires complex solutions in order to properly optimize the network across all the parameters in play. In this matter, a two layer Multi-Armed Bandit (MAB) algorithm has been proposed to optimize such a network while preserving the fair use of resources across all nodes. The validity of this holistic approach is confirmed by system level simulations, which show that the proposed algorithm not only improves the network in terms of sum-throughput, but also allows to enhance fairness, making this a robust solution for next-generation of Wi-Fi networks.

cs.NI↗
arXiv2026

Mid-wave infrared photothermal microscopy for molecular and metabolic imaging in deep tissues and spheroids

High-resolution chemical imaging within deep tissues and intact spheroids remains a grand challenge. Here, we introduce mid-wave infrared photothermal (MWIP) microscopy operating in the underexplored 2000-2500 nm spectral window for submicron-resolution molecular and metabolic imaging in intact tumor spheroids and deep tissues. A dark-field photothermal detection scheme significantly suppresses water background and enhances contrast. By accessing strong carbon-hydrogen combination absorptions, a detection limit of 0.12% for dimethyl sulfoxide is achieved, comparable to stimulated Raman scattering microscopy. Depth-resolved imaging of endogenous biomolecules up to 500 micrometers in excised mouse skin and brain tissues is demonstrated. MWIP further enables depth-resolved tracking of transdermal drug transport via carbon-deuterium overtone absorption. Using deuterium metabolic probes, fatty-acid metabolism is imaged at 200 micrometers deep within intact tumor spheroids through carbon-deuterium overtone and combination bands. Collectively, MWIP offers a platform for functional imaging of 3D biological systems in their native environments.

physics.optics↗
arXiv2025

Synthetic Fluency and Epistemic Offloading in Undergraduate Mathematics in the Age of AI

The rapid adoption of generative artificial intelligence (AI) tools in higher education is transforming how students engage with undergraduate mathematics, raising concerns about learning and assessment validity. This study examines the impact of AI accessibility across a two-semester, multi-course dataset including Business Calculus, Linear Algebra, and Calculus III. By comparing unproctored homework and proctored exam performance, we analyze how student learning behaviors shift in AI-accessible environments, particularly through epistemic off-loading of mathematical work. Guided by a sociocognitive framework, we employ complementary measures -- performance gaps, homework-exam correlations, and Wasserstein distance -- to characterize divergence between practice and mastery. Results reveal a growing integrity gap as course content shifts from procedural to conceptual and spatially intensive mathematics. In both Business Calculus and Linear Algebra, differences in homework format (online versus hand-written, TA-graded) do not yield substantively different performance patterns, indicating that paper-based homework is not inherently more resistant to AI-mediated offloading. While homework retains partial predictive validity in procedural courses, upper-division courses exhibit a collapse in alignment between homework and exams, indicating that unproctored assessments increasingly reflect synthetic fluency rather than internalized understanding. These findings highlight the need to rethink assessment practices in the AI era.

math.HO↗