arXiv subjects

Tao Zhu

Publications and source records attributed to Tao Zhu.

At least 73 records · Page 4Linked to original sources

arXiv2025

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization

Statement autoformalization, the automated translation of statements from natural language into formal languages, has become a subject of extensive research, yet the development of robust automated evaluation metrics remains limited. Existing evaluation methods often lack semantic understanding, face challenges with high computational costs, and are constrained by the current progress of automated theorem proving. To address these issues, we propose GTED (Generalized Tree Edit Distance), a novel evaluation framework that first standardizes formal statements and converts them into operator trees, then determines the semantic similarity using the eponymous GTED metric. Across the miniF2F and ProofNet benchmarks, GTED consistently ranks as a top-performing metric, achieving the highest accuracy and Kappa on miniF2F and the joint-highest accuracy on ProofNet. This strong overall performance provides the community with a computationally lightweight and more faithful metric for automated evaluation. The code and experimental results are available at https://github.com/XiaoyangLiu-sjtu/GTED.

cs.LG↗

arXiv2025

Lyapunov Exponent Approach to Phase Structure of Schwarzschild AdS Black Holes Surrounded by a Cloud of Strings

We investigate Schwarzschild black holes in anti-de Sitter (AdS) spacetimes surrounded by a cloud of strings (BH-AdS-CoS), incorporating both electric- and magnetic-like components of the string bi-vector. Thermodynamically, these systems exhibit small/intermediate/large black hole phases with first- and second-order transitions governed by the string parameter $c_0$. Dynamically, we probe the phase structure using Lyapunov exponents $λ$ from unstable circular geodesics. For massless particles ($δ= 0$), analytical expressions $λ$ reveal multivalued behavior in first-order transition regimes ($c_0 < c_{\text{cri}}$), with branches mapping to thermodynamic phases ($λ_{\text{SBH}}, λ_{\text{IBH}}, λ_{\text{LBH}}$). The discontinuity $Δλ= λ_{\text{SBH}} - λ_{\text{LBH}}$ at $T_p$ follows mean-field scaling: $Δλ/ λ_{\text{cri}} \propto (T_\text{cri} - T)^{1/2} \quad (β= 1/2)$. For massive particles ($δ= 1$), numerical computation of timelike geodesics confirms $λ$ as an order parameter, with critical exponent $β= 1/2$ universally. Key distinctions emerge: $λ\to 1$ asymptotically for photons, while $λ\to 0$ in the significant black hole phase for massive particles due to vanishing unstable orbits. The transition of $λ$ from multivalued to single-valued at $c_0 = c_{\text{cri}}$ establishes it as a universal dynamical probe of black hole criticality. The universal critical exponent of 1/2 for $Δλ$ further reinforces the analogy with conventional thermodynamic systems. Our results confirm a direct connection between the thermodynamic phase structure of BH-AdS-CoS and the dynamics of test particles, with the Lyapunov exponent emerging as a sensitive diagnostic of black hole criticality.

gr-qc↗

arXiv2025

Constraints on extra charges in dyonic Kerr-Newman-Kasuya-Taub-NUT black hole from the observations of quasi-periodic oscillations

This paper investigates the influence of the dimensionless electric charge ($Q/M$), magnetic charge ($P/M$), and Taub-NUT parameter ($n/M$) of a dyonic Kerr-Newman-Kasuya-Taub-NUT black hole on quasi-periodic oscillations (QPOs) observed in X-ray binaries. Using the relativistic precession model, we calculate the three fundamental frequencies arising from particle motion in the accretion disk around the black hole. These theoretical predictions are then confronted with observational QPO data from five X-ray binaries (GRO J1655-40, XTE J1859$+$226, XTE J1550-564, GRS 1915$+$105, and H1743-322), and the Markov Chain Monte Carlo technique is used to constrain the black hole parameters. Our analysis reveals no significant evidence for nonzero values of $Q/M$ and $P/M$ across all sources, thereby allowing us to place several stringent upper limits on electric charge ($Q/M$) and magnetic charge ($P/M$) of the black hole in these systems. Similarly, no compelling indication of a nonzero Taub-NUT parameter is found in QPOs from GRO J1655-40, XTE J1859$+$226, XTE J1550-564, and H1743-322. In contrast, the posterior distribution derived from GRS 1915$+$105 data suggests a nonzero Taub-NUT parameter, i.e., gravitomagnetic monopole moment. This result indicates a potential deviation from the Kerr metric in this astrophysical black hole.

astro-ph.HE↗

arXiv2025

ProDisc-VAD: An Efficient System for Weakly-Supervised Anomaly Detection in Video Surveillance Applications

Weakly-supervised video anomaly detection (WS-VAD) using Multiple Instance Learning (MIL) suffers from label ambiguity, hindering discriminative feature learning. We propose ProDisc-VAD, an efficient framework tackling this via two synergistic components. The Prototype Interaction Layer (PIL) provides controlled normality modeling using a small set of learnable prototypes, establishing a robust baseline without being overwhelmed by dominant normal data. The Pseudo-Instance Discriminative Enhancement (PIDE) loss boosts separability by applying targeted contrastive learning exclusively to the most reliable extreme-scoring instances (highest/lowest scores). ProDisc-VAD achieves strong AUCs (97.98% ShanghaiTech, 87.12% UCF-Crime) using only 0.4M parameters, over 800x fewer than recent ViT-based methods like VadCLIP. Code is available at https://github.com/modadundun/ProDisc-VAD.

cs.CV↗

arXiv2025

Modified gravitational wave propagations in linearized gravity with Lorentz and diffeomorphism violations and their gravitational wave constraints

The standard model extension (SME) is an effective field theory framework that can be used to study the possible violations of Lorentz symmetry and diffeomorphism invariance in the gravitational interaction. In this paper, we explore both the Lorentz- and diffeomorphism-violating effects on the propagations of gravitational waves in the SME's linearized gravity. It is shown that the violations of Lorentz symmetry and diffeomorphism invariance modify the conventional linear dispersion relation of gravitational waves, leading to anisotropy, birefringence, and dispersion effects in the propagation of gravitational waves. With these modified dispersion relations, we then calculate the dephasing effects due to the Lorentz and diffeomorphism violations in the waveforms of gravitational waves produced by the coalescence of compact binaries. With the distorted waveforms, we perform full Bayesian inference with the help of the open source software \texttt{BILBY} on the gravitational wave events of the compact binary mergers in the LIGO-Virgo-KAGRA catalogs GWTC-3. We consider the effects from the operators with the lowest mass dimension $d=2$ and $d=3$ due to the Lorentz and diffeomorphism violations in the linearized gravity. No signature of Lorentz and diffeomorphism violations arsing from the SME's linearized gravity are found for most GW events, which allows us to give a $90\%$ confidence interval for each Lorentz- and diffeomorphism-violating coefficient.

gr-qc↗

arXiv2025

Constraining parity and Lorentz violations in gravity with future ground- and space-based gravitational wave detectors

The future ground- and space-based gravitational wave (GW) detectors offer unprecedented opportunities to test general relativity (GR) with greater precision. In this work, we investigate the capability of future ground-based GW detectors, the Einstein Telescope (ET) and the Cosmic Explorer (CE), and space-based GW detectors, LISA, Taiji, and TianQin, for constraining parity and Lorentz violations in gravity. We inject several typical GW signals from compact binary systems into GW detectors and perform Bayesian inferences with the modified waveforms with parity and Lorentz-violating effects. These effects are modeled in the amplitude and phase corrections to the GW waveforms with their frequency-dependence described by factors $β_ν$, $β_μ$, $β_{\bar ν}$, and $β_{\bar μ}$. Our results show that the combined observations of ET and CE will impose significantly tighter bounds on the energy scale of parity and Lorentz violations ($M_{\rm PV}$ and $M_{\rm LV}$) compared to those given by LIGO-Virgo-KAGRA (LVK) detectors. For cases with positive values of $β_ν$, $β_μ$, $β_{\bar ν}$, and $β_{\bar μ}$, the constraints on $M_{\rm PV}$ and $M_{\rm LV}$ from ground-based detectors are tighter than those from the space-based detectors. For the $β_μ = -1$ case, space-based GW detectors provide constraints on $M_{\rm PV}$ that are better than current LVK observations and comparable to those from ET and CE. Additionally, space-based detectors exhibit superior sensitivity in constraining $M_{\rm LV}$ for $β_{\bar μ} = -2$ case, which is approximately three orders of magnitude tighter than those from ground-based GW detectors. This scenario also enables bounds on the graviton mass at $m_g \lesssim 10^{-35}\; {\rm GeV}$. These findings highlight the promising role of future GW observatories in probing fundamental physics beyond GR.

gr-qc↗

arXiv2025

Constraining the modified friction in gravitational wave propagation with precessing black hole binaries

A broad class of modified gravities can result in a modified friction effect in the propagation of gravitational waves (GWs). This effect changes the amplitude-damping rate of GWs during their propagation in the cosmological distance and thus modifies the standard luminosity distance of GWs in general relativity. Therefore, one can constrain this modified friction by measuring both the luminosity distance and redshift of the GW sources. In this paper, we investigate the prospects of constraining such modified friction effects by using the precessing binary black holes with ground-based GW detectors. For this purpose, we consider 20 precessing events detected by the GW detector network consisting of two LIGO detectors and two third-generation GW detectors (the Einstein Telescope and the Cosmic Explorer). The redshift information of these events is obtained by identifying their possible host galaxies in the GLADE+ galaxy catalog. We show that the precession in the binary system can significantly improve the precision of the luminosity distance and thus lead to a tighter constraint on the modified friction. By assuming narrow priors on cosmological parameters that are consistent with the uncertainties of Planck 2018 results, our analysis shows that the modified friction effect, characterized by two parameters $(Ξ_0, n)$, can be constrained to be $Ξ_0 = 1.002^{+0.004}_{-0.004}$ and $n=3.257^{+2.595}_{-2.192}$, in which the result of $Ξ_0$ is about 2 orders of magnitude better than current results from an analysis with GWTC-3. Our result sets the stage for future research with third-generation GW detectors, offering new insights into gravitational parameter modifications. It also contributes to the understanding of the properties and applications of binary black hole systems with precession.

gr-qc↗

arXiv2025

DTVM: Revolutionizing Smart Contract Execution with Determinism and Compatibility

We introduce the DeTerministic Virtual Machine (DTVM) Stack, a next-generation smart contract execution framework designed to address critical performance, determinism, and ecosystem compatibility challenges in blockchain networks. Building upon WebAssembly (Wasm) while maintaining full Ethereum Virtual Machine (EVM) ABI compatibility, DTVM introduces a Deterministic Middle Intermediate Representation (dMIR) and a hybrid lazy-JIT compilation engine to balance compilation speed and execution efficiency. DTVM further accommodates diverse instruction set architectures (e.g., EVM, RISC-V) through modular adaptation layers. This enables seamless integration with DTVM's hybrid lazy-JIT compilation engine, which dynamically optimizes performance while preserving deterministic execution guarantees across heterogeneous environments. The key contributions including: 1). The framework achieves up to 2$\times$ acceleration over evmone in dominant Ethereum contract (e.g. ERC20/721/1155) execution and reduces fibonacci computation latency by 11.8$\sim$40.5% compared to Wasm based VMs. 2). A novel trampoline hot-switch mechanism enables sub-millisecond (0.95ms) post-deployment invocation times, outperforming up to about 23$\times$ in compilation and invocation efficiency. 3). It supports multi-language development (Solidity, C++, Rust, Java, Go, and AssemblyScript) through unified bytecode conversion while maintaining EVM ABI compatibility for seamless invocation. It reduces machine code object sizes by 30.0$\sim$72.6%, coupled with a minimized Trusted Computing Base. 4). It offers SmartCogent, an AI-driven full-stack development experience, leveraging fine-tuned LLMs and retrieval-augmented generation to automate tasks across the smart contract lifecycle: development, debugging, security auditing, and deployment. DTVM Stack has been open-sourced (https://github.com/DTVMStack).

cs.DC↗

arXiv2025

The primordial angular power spectrum from the alternative mass function in loop quantum cosmology

We investigate the cosmological impacts of the alternative effective mass function of the modified Mukhanov-Sasaki equation in loop quantum cosmology, which is obtained from the polymerization of the classical mass function derived in the comoving gauge. This alternative effective mass function is distinct from those in the dressed metric and the hybrid approaches and is able to generate a new structure in the primordial power spectrum. After taking the Starobinsky potential and employing a particular polymerization ansatz for the inverse Hubble rate, the effective mass function is characterized by a free parameter $ξ$. When $ξ\ge 0.1$, there appears a wave-packet structure in the region preceding the almost scale invariant regime of the power spectrum and both the location and the height of the wave packet are affected by the choice of $ξ$. For the angular power spectrum, we find $ξ=0.2$ provides the best-fit curve to the result from the $Λ$CDM model. Our study presents a concrete example in which the fine structure of the primordial power spectrum sensitively relies on the parameters in the polymerization ansatz.

gr-qc↗

arXiv2025

A Data Synthesis Method Driven by Large Language Models for Proactive Mining of Implicit User Intentions in Tourism

In the tourism domain, Large Language Models (LLMs) often struggle to mine implicit user intentions from tourists' ambiguous inquiries and lack the capacity to proactively guide users toward clarifying their needs. A critical bottleneck is the scarcity of high-quality training datasets that facilitate proactive questioning and implicit intention mining. While recent advances leverage LLM-driven data synthesis to generate such datasets and transfer specialized knowledge to downstream models, existing approaches suffer from several shortcomings: (1) lack of adaptation to the tourism domain, (2) skewed distributions of detail levels in initial inquiries, (3) contextual redundancy in the implicit intention mining module, and (4) lack of explicit thinking about tourists' emotions and intention values. Therefore, we propose SynPT (A Data Synthesis Method Driven by LLMs for Proactive Mining of Implicit User Intentions in the Tourism), which constructs an LLM-driven user agent and assistant agent to simulate dialogues based on seed data collected from Chinese tourism websites. This approach addresses the aforementioned limitations and generates SynPT-Dialog, a training dataset containing explicit reasoning. The dataset is utilized to fine-tune a general LLM, enabling it to proactively mine implicit user intentions. Experimental evaluations, conducted from both human and LLM perspectives, demonstrate the superiority of SynPT compared to existing methods. Furthermore, we analyze key hyperparameters and present case studies to illustrate the practical applicability of our method, including discussions on its adaptability to English-language scenarios. All code and data are publicly available.

cs.CL↗

arXiv2025

Gemini: A Family of Highly Capable Multimodal Models

This report introduces a new family of multimodal models, Gemini, that exhibit remarkable capabilities across image, audio, video, and text understanding. The Gemini family consists of Ultra, Pro, and Nano sizes, suitable for applications ranging from complex reasoning tasks to on-device memory-constrained use-cases. Evaluation on a broad range of benchmarks shows that our most-capable Gemini Ultra model advances the state of the art in 30 of 32 of these benchmarks - notably being the first model to achieve human-expert performance on the well-studied exam benchmark MMLU, and improving the state of the art in every one of the 20 multimodal benchmarks we examined. We believe that the new capabilities of the Gemini family in cross-modal reasoning and language understanding will enable a wide variety of use cases. We discuss our approach toward post-training and deploying Gemini models responsibly to users through services including Gemini, Gemini Advanced, Google AI Studio, and Cloud Vertex AI.

cs.CL↗

arXiv2025

Starobinsky like inflation and EGB Gravity in the light of ACT

The ACT data shows an enhancement in the value of the scalar spectral index, as $n_s = 0.9743 \pm 0.0034$, leading to disfavoring many inflationary models, including the Starobinsky model. To satisfy the constraint made by ACT, we will investigate the Starobinsky potential within the Einstein-Gauss-Bonnet(EGB) gravity theory. EGB gravity is motivated by the higher-dimensional theory, which includes quadratic curvature correction terms and a coupling between the scalar field and the GB term that modifies the dynamical equations. The model is considered by using the slow-roll approximation method and the exact numerical approach for two different coupling functions. The results indicate that the model is in good agreement with the data and the results stand in $1σ$ of the ACT $r-n_s$ plane. Considering the running of the scalar spectral index also implies the consistency of the model with data. In addition, the parametric space of the free parameters of the EGB coupling is explored, where we find the acceptable region of the parameters in which the resulting $n_s$ and $r$ stay in $1σ$ of the ACT data. Next, the reheating phase is considered. It is determined that the model can simultaneously satisfy the constraint of ACT data and the reheating temperature constraints.

astro-ph.CO↗

arXiv2025

Spatial-Wavelength Multiplexing Reliable Photonic Integrated General-Purpose Analog Computing System

In the "post-Moore era", the growing challenges in traditional computing have driven renewed interest in analog computing, leading to various proposals for the development of general-purpose analog computing (GPAC) systems. In this work, we present a GPAC prototype featuring a silicon photonic chip designed for fully optical analog computation. This system leverages on-chip multi-channel architectures to enable parallel processing and utilizes wavelength-division multiplexing to significantly enhance computational capacity. In addition, we have developed an error-correction algorithm to monitor processing operations in real time, ensuring the reliability of computational results. Experimentally, we demonstrate the system's capability to solve ordinary differential equations and its applications in communications, microwave photonics, and image processing. The chip's energy efficiency is evaluated to reach up to 227 tera-operations per second per watt. Through this research, we provide a novel hardware framework and innovative directions for analog photonic computing.

physics.optics↗

arXiv2025

The effects of asymptotically flat $R^2$ spacetime on black hole image of Sagittarius A*

A new class of analytically expressible vacuum solutions has recently been discovered for pure ${R}^2$ gravity, building upon Buchdahl's seminal work from 1962. These solutions, inspired by Buchdahl's framework, offer a promising avenue for testing ${R}^2$ gravity against astrophysical observations. Within a subset of asymptotically flat Buchdahl-inspired vacuum spacetimes, we introduce a free parameter $ε$ to characterize deviations from the Schwarzschild metric, which is recovered in the limit $ε= 0$. In this study, we employ the publicly available code \textit{ipole} to simulate black hole images under the Buchdahl-inspired metric, with a focus on the black hole at the center of the Milky Way, Sagittarius A* (Sgr A*). Our simulations show that both the shadow size and photon ring diameter decrease monotonically with increasing $ε$. By exploring a range of observational inclination angles, we find that the photon ring diameter being a direct observable is only weakly sensitive to the inclination angle. We further constrain the parameter $ε$ by comparing our simulation results with the Event Horizon Telescope (EHT) observations of Sgr A*. The obtained bounds are consistent with those previously derived from the orbital motion of the S2 star, but provide tighter constraints. In addition, we analyze the influence of the Buchdahl-inspired spacetime on the polarization patterns near the black hole and find its impact to be minimal. In contrast, the observational inclination angle has a substantial effect on the observed polarization structure, highlighting the dominant role of viewing geometry in shaping polarization features.

gr-qc↗

arXiv2025

Slowly rotating black hole in chiral scalar-tensor theory

The chiral scalar-tensor theory is an extension of the Chern-Simons modified gravity by introducing couplings between the first and second derivatives of the scalar field and parity-violating spacetime curvatures. A key feature of this theory is its explicit breaking of parity symmetry in the gravitational sector, which is expected to affect the spatial-time component of axisymmetric spacetime. In this paper, we investigate the effects of the chiral scalar-tensor theory on slowly rotating black holes by building on known solutions in the dynamical Chern-Simons modified gravity. Using perturbative methods with small coupling and slow rotation approximations, we find that the contributions of the chiral scalar-tensor theory appear at quadratic order in the spin and cubic order in the coupling constants. Furthermore, we explore the properties of this solution in the weak field and check its ergosphere and horizon. In the weak limit, we find that the effects of parity violation are suppressed in the weak field but could become significant in the strong field regime. These results provide insights into the behavior of parity-violating gravity in the presence of rotation and may be used for further investigations into its observational signatures.

gr-qc↗

arXiv2025

Constraining polymerized black holes with quasi-circular extreme mass-ratio inspirals

In this paper, we focus on the gravitational waves emitted by a stellar-mass object in a quasi-circular inspiral orbit around a central supermassive polymerized black hole in loop quantum gravity. Treating the stellar-mass object as a massive test particle, we derive its equations of motion and the corresponding radial effective potential. We find that the peak of the radial effective potential decreases with the quantum parameter $\hat{k}$. We also examine the impact of quantum corrections on the properties of stable circular orbits around the polymerized black hole. We model the smaller object's trajectory as an adiabatic evolution along stable circular orbits using a semi-relativistic approach. In this method, the motion of the object is described by relativistic geodesics, and changes in the object's energy and orbital angular momentum due to gravitational radiation are calculated using the mass quadrupole formula. The corresponding gravitational waveforms are generated using the numerical kludge method, revealing that quantum corrections cause phase advances in the gravitational waveforms. We further analyze the potential constraints on the quantum parameter $\hat{k}$ from future space-based gravitational wave observations, concluding that these observations will likely impose stronger constraints on $\hat{k}$ than those obtained from black hole shadow measurements.

gr-qc↗

arXiv2025

Gravitational waveforms from periodic orbits around a quantum-corrected black hole

Extreme mass-ratio inspirals are crucial sources for future space-based gravitational wave detections. Gravitational waveforms emitted by extreme mass-ratio inspirals are closely related to the orbital dynamics of small celestial objects, which vary with the underlying spacetime geometry. Despite the tremendous success of general relativity, there are unsolved issues such as singularities in both black holes and cosmology. Loop quantum gravity, a theory addressing these singularity problems, offers a framework for regular black holes. In this paper, we focus on periodic orbits of a small celestial object around a supermassive quantum-corrected black hole in loop quantum gravity and compute the corresponding gravitational waveforms. We view the small celestial object as a massive test particle and obtain its four-velocity and effective potential. We explore the effects of quantum corrections on marginally bound orbits, innermost stable circular orbits, and other periodic orbits. Using the numerical kludge scheme, we further explore the gravitational waveforms of the small celestial object along different periodic orbits. The waveforms exhibit distinct zoom and whirl phases in a complete orbital period, closely tied to the quantum parameter $\hat α$. We also perform a spectral analysis of the gravitational waves from these periodic orbits and assess their detectability. With the steady progress of space-based gravitational wave detection programs, our findings will contribute to utilizing extreme mass-ratio inspirals to test and understand the properties of quantum-corrected black holes.

gr-qc↗

arXiv2025

Energy Extraction from Loop Quantum Black Holes: The Role of Magnetic Penrose Process and Quantum Gravity Effects with Astrophysical Insights

In this study, we explore the influence of quantum gravitational corrections, derived from Loop Quantum Gravity (LQG), on the efficiency of the magnetic Penrose process (MPP) in black hole (BH) environments. We begin by analyzing the rotating Loop Quantum Black Hole (LQBH) metric, describing the structure of the event horizon and ergosphere as functions of the quantum parameter $ε= γδ$, with $γ$ representing the Immirzi parameter and $δ$ the polymeric parameter, and the spin parameter $a$. These modifications provide a novel setting for exploring the dynamics of charged particles near the LQBH and evaluating the resultant energy extraction through the MPP. Interestingly, for a given value of the LQBH parameter $a$, we observe that the ergosphere region of the LQBH exhibits a more intricate structure compared to its classical counterpart, the Kerr BH, as $ε$ increases. Furthermore, we find that the overall efficiency of the process decreases with $ε$ that decreases $a_{max}$, again in contrast to the Kerr BH, where efficiency rises with an increasing $a$. Our analysis also extends to astrophysical contexts, applying constraints on the mass and magnetic field of LQBHs for astrophysical BH candidates, including SgrA*, M87*, NGC 1052, and BZ (Blandford and Znajek sources, i.e., supermassive BHs with masses around $10^9 M_\odot$ and magnetic fields in the range $10^3-10^4 \text{G}$). We assess these sources as potential accelerators of high-energy protons across different values of the quantum parameter $ε$. Additionally, we examine how variations in the magnetic field strength $B$ and quantum corrections impact the energy of protons accelerated from M87$^{\star}$ and Sgr A$^{\star}$ following beta decay.

gr-qc↗