arXiv subjects

Haolong Wang

Publications and source records attributed to Haolong Wang.

4 recordsLinked to original sources

arXiv2026

Hologram Representation via Quadratic Phase Gaussian Splatting

We introduce Complex-Valued Quadratic Phase Gaussian (CVQPG), a novel hologram representation method that replaces standard 2D Gaussian representations used in 2D Gaussian Splatting with 2D quadratic phase functions. CVQPG incorporates additional learnable parameters to control the curvature of these bases. We evaluate our approach against state-of-the-art methods, exceeding the visual quality by +0.19 dB (RGB) and +0.33 dB (grayscale) on average in holographic reconstructions. Specifically, our equal parameter count evaluations show that modulating the primitive's wavefront is an effective and lightweight enhancement for hologram representations. In addition, our frequency domain analysis illustrates that CVQPG has successfully preserved the mid-to-high frequency band of natural images.

cs.GR↗

arXiv2026

Exploring millicharged particles in laboratory and astrophysical strong-field regimes

The probe of light dark particles beyond the Standard Model (SM) under a strong-field environment has drawn significant attention. In this work, we investigate the potential to search for and constrain light millicharged particles (MCPs) via strong electromagnetic fields in both laboratory laser experiments and astrophysical environments such as magnetars. We propose the MCP pair production from nonlinear Compton scattering through the interaction of a relativistic electron beam with a high-intensity laser pulse. The Furry picture and Volkov solution of Dirac equation in a background electromagnetic field are used to describe the electrons and MCPs under an external classical laser field. We calculate the cross sections of nonlinear Compton scattering to MCP pairs and take into account the irreducible SM background with missing neutrinos. We also revisit the MCP pair production via the Schwinger mechanism from magnetars with ultra-strong magnetic field and parallel electric field in polar gap. The energy loss due to the Schwinger pair production of MCPs and electric field acceleration is evaluated based on Ruderman-Sutherland model for confirmed magnetars. We find that the constraints from highly magnetized magnetars and the search potential in laboratory laser experiments are complementary.

hep-ph↗

arXiv2026

Searching for long-lived ALPs with a laser-assisted optical dump

The feeble interactions of light axion-like particles (ALPs) render them long-lived. Probing long-lived ALPs therefore demands facilities with a macroscopic decay volume to match their potentially long decay lengths, such as high-intensity beam dump experiments. An optical dump setup was proposed by utilizing hard photons from the collision of a high-energy electron beam and a high-intensity laser pulse. In this work, we revisit the probe of long-lived ALPs with MeV$\sim$ GeV mass via a laser-assisted optical dump. We consider the low-energy effective Lagrangian for ALPs incorporating the ALP-photon and ALP-fermion interactions. The scope of optical dump searches is extended to both the ALP-photon coupling induced Primakoff process and the Compton-like scattering via the ALP-electron coupling. We also investigate the correlation between Primakoff process and Compton scattering, and exhibit the interplay of two ALP couplings in light of optical dump experiment.

hep-ph↗

arXiv2025

Comprehensive Formal Verification of Observational Correctness for the CHERIoT-Ibex Processor

The CHERI architecture equips conventional RISC ISAs with significant architectural extensions that provide a hardware-enforced mechanism for memory protection and software compartmentalisation. Architectural capabilities replace conventional integer pointers with memory addresses bound to permissions constraining their use. We present the first comprehensive formal verification of a capability extended RISC-V processor with internally 'compressed' capabilities - a concise encoding of capabilities with some resemblance to floating point number representations. The reference model for RTL correctness is a minor variant of the full and definitive ISA description written in the Sail ISA specification language. This is made accessible to formal verification tools by a prototype flow for translation of Sail into SystemVerilog. Our verification demonstrates a methodology for establishing that the processor always produces a stream of interactions with memory that is identical to that specified in Sail, when started in the same initial state. We additionally establish liveness. This abstract, microarchitecture-independent observational correctness property provides a comprehensive and clear assurance of functional correctness for the CHERIoT-Ibex processor's observable interactions with memory.

cs.AR↗