SearcharxivSearch

arXiv subjects

Jinhua Wang

Publications and source records attributed to Jinhua Wang.

At least 19 recordsLinked to original sources

Global Future Existence for a Nonlinear Wave Equation in a (1+3+n)-dimensional Cosmological Supersymmetric Spacetime

This paper is concerned with the Cauchy problem for a semilinear wave equation with arbitrary quadratic nonlinearities, posed on a cosmological supersymmetric spacetime of the product form (Open Milne) $\times K$, where $K$ is a compact, Ricci-flat $n$-dimensional Riemannian manifold. We establish the global future existence of solutions for small initial data. Our proof, based on a novel modified energy, avoids spectral decompositions of the Laplace operator on the internal manifold and does not require any special nonlinear coupling structure. This robust framework is expected to be readily extendable to tensorial wave equations, including the Einstein equations.

math.AP

On the Performance of Pinching-Antenna Systems (PASS) Under Dynamic Channels with Blockages

The performance of pinching-antenna systems (PASS) is fundamentally affected by line-of-sight (LoS) blockage in practical environments. In this paper, PASS is investigated under realistic, obstacle-induced blockage by jointly considering the LoS and non-LoS (NLoS) components, rather than relying on a LoS channel or a probabilistic blockage model. A geometry-aware blockage model is adopted, where a blockage region on the waveguide is defined according to the actual locations and geometric features of obstacles, such that a pinching-antenna (PA) located within the blockage region is unable to establish a LoS link to the user equipment (UE). The channel models of PASS are developed by jointly accounting for in-waveguide attenuation and spatial propagation loss. To quantify the impact of channel factors on PASS performance, a single-PA single-UE scenario is studied under Rayleigh and Rician fading channels. Closed-form expressions for the outage probability are derived for both cases. For the ergodic rate, a closed-form expression is obtained in the Rayleigh case, while a complete analytical expression and an approximate closed-form expression are derived in the Rician case. Analytical expressions are derived for the endpoints of the blockage region, and the deployment criteria of optimal PA are provided. Simulation results validate the analysis and reveal that: i) NLoS scattering has a twofold effect on PASS performance, potentially degrading the outage performance while improving the rate performance under Rician fading; ii) Sufficiently strong NLoS scattering can still sustain communication in the presence of LoS blockage; iii) The optimal PA position is jointly determined by the environment geometry and the interplay between spatial propagation loss and in-waveguide attenuation.

eess.SP

On the Blockage Effect in Pinching-Antenna Systems (PASS)

Pinching-antenna systems (PASS) offer considerable potential for wireless communications due to their unique ability to dynamically reconfigure radiation positions along a waveguide. However, the performance of PASS remains a critical challenge in the presence of random line-of-sight (LoS) blockage, leading to significant attenuation and even communication outages. In this paper, the performance of PASS in the presence of LoS blockage is investigated from the perspective of stochastic geometry. Obstacles are modeled through a homogeneous Poisson point process (PPP), where the geometric dimensions, numbers, and positions are treated as random variables. To conduct a concrete characterization of LoS blockage, the random-height-and-random-radius (RHRR) blockage model and the deterministic-height-and-deterministic-radius (DHDR) blockage model are proposed. In particular, closed-form analytical and asymptotic expressions for the outage probability are obtained, along with analytical and approximate expressions for the ergodic rate. Our simulation results reveal that denser obstacle environments or statistically larger obstacles substantially increase the probability of LoS blockage and degrade the system performance. Moreover, owing to its ability to dynamically reposition PAs, PASS can consistently outperform conventional antenna systems in the presence of LoS blockage.

eess.SP

Proofs on singularity-free solutions and scalarization in nonlinear Einstein-scalar-Gauss-Bonnet cosmology

The search for singularity-free cosmological solutions has become a highly active topic in the physics community in recent years, yet existing results are largely numerical or based on asymptotic analysis. To place these developments on a firm mathematical footing, we rigorously establish the global existence and estimates of a class of singularity-free cosmological solutions to the fully nonlinear Einstein--scalar system in Einstein-scalar-Gauss-Bonnet gravity with quadratic coupling, providing proofs of previous numerical results in mathematical perspective. We further prove nonlinear scalarization triggered by a Gauss-Bonnet-induced tachyonic instability. Our analysis relies on a novel structural identity, the power identity, which yields decoupled differential inequalities for the Hubble parameter. This framework provides a new method for converting numerical evidence into a mathmatical proof for nonlinear systems.

math.AP

HARBOR: Automated Harness Optimization

Long-horizon language-model agents are dominated, in lines of code and in operational complexity, not by their underlying model but by the harness that wraps it: context compaction, tool caching, semantic memory, trajectory reuse, speculative tool prediction, and the glue that binds the model to a sandboxed execution environment. We argue that harness design is a first-class machine-learning problem and that automated configuration search dominates manual stacking once the flag space exceeds a handful of bits. We defend this claim in two steps. First, we formalize automated harness optimization as constrained noisy Bayesian optimization over a mixed-variable, cost-heterogeneous configuration space with cold-start-corrected rewards and a posterior chance-constrained safety check, and give a reference solver, HARBOR (Harness Axis-aligned Regularized Bayesian Optimization Routine), built from a block-additive SAAS surrogate, multi-fidelity cost-aware acquisition, and TuRBO trust regions. Second, we instantiate the problem in a flag-gated harness over a production coding agent and report a controlled four-round manual-tuning case study against a fixed task suite and an end-to-end HARBOR run. The formulation itself is task-class agnostic: the configuration space, reward correction, acquisition, and safety check apply to any agent harness with a bounded flag space and a reproducible task suite.

cs.LG

From Translation to Superset: Benchmark-Driven Evolution of a Production AI Agent from Rust to Python

Cross-language migration of large software systems is a persistent engineering challenge, particularly when the source codebase evolves rapidly. We present a methodology for LLM-assisted continuous code translation in which a large language model translates a production Rust codebase (648K LOC, 65 crates) into Python (41K LOC, 28 modules), with public agent benchmarks as the objective function driving iterative refinement. Our subject system is Codex CLI, a production AI coding agent. We demonstrate that: (1) the Python port resolves 59/80 SWE-bench Verified tasks (73.8%) versus Rust's 56/80 (70.0%), and achieves 42.5% on Terminal-Bench versus Rust's 47.5%, confirming near-parity on real-world agentic tasks; (2) benchmark-driven debugging, revealing API protocol mismatches, environment pollution, a silent WebSocket failure mode, and an API 400 crash, is more effective than static testing alone; (3) the architecture supports continuous upstream synchronisation via an LLM-assisted diff-translate-test loop; and (4) the Python port has evolved into a capability superset with 30 feature-flagged extensions (multi-agent orchestration, semantic memory, guardian safety, cost tracking) absent from Rust, while preserving strict parity mode for comparison. Our evaluation shows that for LLM-based agents where API latency dominates, Python's expressiveness yields a 15.9x code reduction with negligible performance cost, while the benchmark-as-objective-function methodology provides a principled framework for growing a cross-language port from parity into an extended platform.

cs.SE

DeepFAN, a transformer-based deep learning model for human-artificial intelligence collaborative assessment of incidental pulmonary nodules in CT scans: a multi-reader, multi-case trial

The widespread adoption of CT has notably increased the number of detected lung nodules. However, current deep learning methods for classifying benign and malignant nodules often fail to comprehensively integrate global and local features, and most of them have not been validated through clinical trials. To address this, we developed DeepFAN, a transformer-based model trained on over 10K pathology-confirmed nodules and further conducted a multi-reader, multi-case clinical trial to evaluate its efficacy in assisting junior radiologists. DeepFAN achieved diagnostic area under the curve (AUC) of 0.939 (95% CI 0.930-0.948) on an internal test set and 0.954 (95% CI 0.934-0.973) on the clinical trial dataset involving 400 cases across three independent medical institutions. Explainability analysis indicated higher contributions from global than local features. Twelve readers' average performance significantly improved by 10.9% (95% CI 8.3%-13.5%) in AUC, 10.0% (95% CI 8.9%-11.1%) in accuracy, 7.6% (95% CI 6.1%-9.2%) in sensitivity, and 12.6% (95% CI 10.9%-14.3%) in specificity (P<0.001 for all). Nodule-level inter-reader diagnostic consistency improved from fair to moderate (overall k: 0.313 vs. 0.421; P=0.019). In conclusion, DeepFAN effectively assisted junior radiologists and may help homogenize diagnostic quality and reduce unnecessary follow-up of indeterminate pulmonary nodules. Chinese Clinical Trial Registry: ChiCTR2400084624.

cs.CV

JPmHC Dynamical Isometry via Orthogonal Hyper-Connections

Recent advances in deep learning, exemplified by Hyper-Connections (HC), have expanded the residual connection paradigm by introducing wider residual streams and diverse connectivity patterns. While these innovations yield significant performance gains, they compromise the identity mapping property of residual connections, leading to training instability, limited scalability, and increased memory overhead. To address these challenges, we propose JPmHC (Jacobian-spectrum Preserving manifold-constrained Hyper-Connections), a framework that replaces identity skips with a trainable linear mixer acting on n parallel streams while explicitly controlling gradient conditioning. By constraining the mixer M on operator-norm-bounded manifolds (e.g., bistochastic, Stiefel, Grassmann), JPmHC prevents gradient pathologies and enhances stability. JPmHC introduces three key contributions: (i) a free-probability analysis that predicts Jacobian spectra for structured skips, providing actionable design rules for mixer selection; (ii) memory-efficient implicit differentiation for fixed-point projections, reducing activation memory and synchronization overhead; and (iii) a Stiefel-constrained mixer via Cayley transforms, ensuring orthogonality without post-hoc normalization. Empirical evaluations on ARC-AGI demonstrate that JPmHC achieves faster convergence, higher accuracy, and lower computational cost compared to bistochastic baselines, with a rank-$p$ Grassmannian variant tracking between the two -- consistent with the spectral theory predictions. As a flexible and scalable extension of HC, JPmHC advances spectrum-aware, stable, and efficient deep learning, offering insights into topological architecture design and foundational model evolution. \newline \newline

cs.LG

Filter2Noise: A Framework for Interpretable and Zero-Shot Low-Dose CT Image Denoising

Noise in low-dose computed tomography (LDCT) can obscure important diagnostic details. While deep learning offers powerful denoising, supervised methods require impractical paired data, and self-supervised alternatives often use opaque, parameter-heavy networks that limit clinical trust. We propose Filter2Noise (F2N), a novel self-supervised framework for interpretable, zero-shot denoising from a single LDCT image. Instead of a black-box network, its core is an Attention-Guided Bilateral Filter, a transparent, content-aware mathematical operator. A lightweight attention module predicts spatially varying filter parameters, making the process transparent and allowing interactive radiologist control. To learn from a single image with correlated noise, we introduce a multi-scale self-supervised loss coupled with Euclidean Local Shuffle (ELS) to disrupt noise patterns while preserving anatomical integrity. On the Mayo Clinic LDCT Challenge, F2N achieves state-of-the-art results, outperforming competing zero-shot methods by up to 3.68 dB in PSNR. It accomplishes this with only 3.6k parameters, orders of magnitude fewer than competing models, which accelerates inference and simplifies deployment. By combining high performance with transparency, user control, and high parameter efficiency, F2N offers a trustworthy solution for LDCT enhancement. We further demonstrate its applicability by validating it on clinical photon-counting CT data. Code is available at: https://github.com/sypsyp97/Filter2Noise.

eess.IV

$s$-almost cross-$t$-intersecting families for vector spaces

Let $V$ be an $n$-dimensional vector space over the finite field $\mathbb{F} _{q} $, and ${V\brack k}$ denote the family of all $k$-dimensional subspaces of $V$. The families $\mathcal{F},\mathcal{G}\subseteq {V\brack k}$ are said to be cross-$t$-intersecting if $\dim(F\cap G)\ge t$ for all $F\in \mathcal{F}, G\in \mathcal{G}$. Two families $\mathcal{F}$ and $\mathcal{G}$ are called $s$-almost cross-$t$-intersecting if each member of $\mathcal{F}$ (resp. $\mathcal{G}$) is $t$-disjoint with at most $s$ members of $\mathcal{G}$ (resp. $\mathcal{F}$). In this paper, we discribe the structure of $s$-almost cross-$t$-intersecting families with maximum product of their sizes. In addition, we prove a stability result.

math.CO

Global existence of smooth solution to evolutionary Faddeev model with short-pulse data

This paper is concerned with the Cauchy problem of the evolutionary Faddeev model, a system that maps from the Minkowski space $\mathbb{R}^{1+3}$ to the unit sphere $\mathbb{S}^2$. The model is a system of nonlinear wave equations whose nonlinearities exhibit a null structure and include semilinear terms, quasilinear terms, and the unknowns themselves. By considering a class of large initial data (in energy norm) of the short pulse type, we prove that the evolutionary Faddeev model admits a globally smooth solution via energy estimates. The main result is achieved through the selection of appropriate multipliers that are specially adapted to the geometry of the system.

math.AP

Extension principles for the Einstein Yang--Mills system

We prove the local existence theorem and establish an extension principle for the spherically symmetric Einstein Yang--Mills system (SSEYM) with $H^1$ data. This in addition implies Cauchy stability for the system. In contrast to a massless scalar field, the purely magnetic Yang--Mills field in spherical symmetry satisfies a wave-type equation with a singular potential. As a consequence, the proof of Christodoulou [10], based on an $L^\infty-L^\infty$ estimate, fails in the Yang--Mills context. Instead, we employ an $L^2$-based method, which is valid for both massless and massive scalar matter fields as well.

gr-qc

Room-temperature field-tunable radiofrequency rectification in epitaxial SrIrO3 films

Although significant advancements have been made in wireless technologies and portable devices, it remains a challenge for high-frequency and nanowatt-level radiofrequency rectification. In this work, we report a pronounced radiofrequency rectification up to 37 GHz in nominally centrosymmetric SrIrO3 epitaxial films, with the minimum detectable power as low as ~300 nanowatts. Strikingly, the SrIrO3 rectifier is highly field-tunable and exhibits a strong in-plane field anisotropy, thus showing a unique advantage in broad-band radiofrequency rectification. The rectification effect can persist up to at least 360 K and shows a sensitive temperature dependence including a sign inversion. By a systematic study of the nonlinear transport properties of SrIrO3, it is further revealed that the radiofrequency rectification originates from the nonlinear Hall effect with the dominant contribution from field-induced Berry curvature dipole. Our work demonstrates the superior performance of the field-tunable SrIrO3 rectifiers, unleashing the great application potential of centrosymmetric materials in harvesting and detecting ambient electromagnetic energy.

cond-mat.mtrl-sci

Density-wave like behavior in a new Kagome material Ce$_{2}$Ru$_{3}$Si

Kagome materials with inherent geometric frustration can produce many interesting physical properties, such as flat bands, quantum spin liquid, chiral magnetism, superconductivity and density-wave orders. Sometimes, the localized 4$f$ electrons from Ce atoms coupled with other conduction electrons would also give rise to the flat bands near the Fermi level, and results in the formation of heavy fermion. Thus, it is highly probable that kagome material incorporating Ce element will display nontrivial physical properties. In this study, we present a new Kagome material belonging to the trinary Laves phase, Ce$_{2}$Ru$_{3}$Si, in which kagome plane is formed by Ru atoms. Electrical transport and specific heat measurements reveal a density-wave like transition. A Curie-Weiss behavior is observed in low-temperature region. Meanwhile we also find a relatively large specific coefficient $γ_{n}(0)$. The calculated Wilson ratio $R_\mathrm{W}\propto{χ(0)/γ_{n}}$ is approximately 3.1, indicating a moderate electron correlation effect. Chemical doping of Ir at the Ru site rapidly suppresses this density-wave like transition, while Mo doping leads to a gradual decrease in transition temperature. Theoretical calculation indicates both the Ce-4$f$ and Ru-4$d$ electronic bands cross the Fermi level, forming a Mexican-hat-shape Fermi surface close to the Fermi energy, potentially accounting for the observed density-wave like transition. Our findings provide an useful platform for investigating how hybridization between 4$f$ and 4$d$ electrons influences the electronic transport, and the relationship between the density-wave transition and kagome structure.

cond-mat.str-el

Magnetostriction, piezomagnetism and domain nucleation in a kagome antiferromagnet

Whenever the elastic energy of a solid depends on magnetic field, there is a magnetostrictive response. Field-linear magnetostriction implies piezomagnetism and vice versa. Here, we show that Mn$_3$Sn, a non-collinear antiferromanget with Weyl nodes, hosts a large and almost perfectly linear magnetostriction even at room temperature. The longitudinal and transverse magnetostriction, with opposite signs and similar amplitude are restricted to the kagome planes and the out-of-plane response is negligibly small. By studying four different samples with different Mn:Sn ratios, we find a clear correlation between the linear magnetostriction, the spontaneous magnetization and the concentration of Sn vacancies. The recently reported piezomagnetic data fits in our picture. We show that linear magnetostriction and piezomagnetism are both driven by the field-induced in-plane twist of spins. A quantitative account of the experimental data requires the distortion of the spin texture by Sn vacancies. We find that the field-induced domain nucleation within the hysteresis loop corresponds to a phase transition. Within the hysteresis loop, a concomitant mesoscopic modulation of local strain and spin twist angles, leading to twisto-magnetic stripes, arises as a result of the competition between elastic and magnetic energies.

cond-mat.str-el

Tuning the BCS-BEC crossover of electron-hole pairing with pressure

In graphite, a moderate magnetic field confines electrons and holes into their lowest Landau levels. In the extreme quantum limit, two insulating states with a dome-like field dependence of the their critical temperatures are induced by the magnetic field. Here, we study the evolution of the first dome (below 60 T) under hydrostatic pressure up to 1.7 GPa. With increasing pressure, the field-temperature phase boundary shifts towards higher magnetic fields, yet the maximum critical temperature remains unchanged. According to our fermiology data, pressure amplifies the density and the effective mass of hole-like and electron-like carriers. Thanks to this information, we verify the persistent relevance of the BCS relation between the critical temperature and the density of states in the weak-coupling boundary of the dome. In contrast, the strong-coupling summit of the dome does not show any detectable change with pressure. We argue that this is because the out-of-plane BCS coherence length approaches the interplane distance that shows little change with pressure. Thus, the BCS-BEC crossover is tunable by magnetic field and pressure, but with a locked summit.

cond-mat.str-el

High-field immiscibility of electrons belonging to adjacent twinned bismuth crystals

Bulk bismuth has a complex Landau spectrum. The small effective masses and the large g-factors are anisotropic. The chemical potential drifts at high magnetic fields. Moreover, twin boundaries further complexify the interpretation of the data by producing extra anomalies in the extreme quantum limit. Here, we present a study of angle dependence of magnetoresistance up to 65 T in bismuth complemented with Nernst, ultrasound, and magneto-optic data. All observed anomalies can be explained in a single-particle picture of a sample consisting of two twinned crystals tilted by 108$^{\circ}$ and with two adjacent crystals keeping their own chemical potentials despite a shift between chemical potentials as large as 68 meV at 65 T. This implies an energy barrier between adjacent twinned crystals reminiscent of a metal-semiconductor Schottky barrier or a p-n junction. We argue that this barrier is built by accumulating charge carriers of opposite signs across a twin boundary.

cond-mat.mtrl-sci