arXiv subjects

Hao-Yu Sun

Publications and source records attributed to Hao-Yu Sun.

At least 19 recordsLinked to original sources

arXiv2026

Cusp restrictions and Bunke--Naumann invariants with level structure

Restriction to the full cusp divisor of a modular curve defines a secondary invariant whose rational indeterminacy comes from a single global modular form. For every integral weakly holomorphic level-one modular form $h$ of weight divisible by four, we prove that the imported value $[h/2]$ vanishes at every nontrivial $\Gamma_0(N)$ level. The construction localizes coefficients before completion and rationalizes only after passing to homotopy groups. At odd prime level, we identify the full cusp spectrum as a product of two real Tate factors and construct a single holomorphic weight-two correction. This correction yields an actual integral global homotopy class and a rational global source class satisfying the equality required for joint annihilation. The equality transports to every odd composite level, while even levels follow by inverting two. At level three, the Mahowald--Rezk homotopy calculation leaves only the periodic $\nu$ family in stems $8K+3$. A cusp-residue homomorphism detects its secondary value, which has exact order two throughout the periodic family. As an application, the Bunke--Naumann secondary invariants of products in bidegrees $(8k+1,8k'+2)$ vanish after passage to every nontrivial level.

math.AT↗

arXiv2026

The hyperbolic class and vanishing laws in a TMF-valued four-manifold invariant

Under explicit hypotheses on the spectral Looijenga construction, we compute the hyperbolic-plane value of the zero-section invariant of Gukov, Krushkal, Meier, and Pei in periodic topological modular forms. The value is the Hopf element eta, and adjoining a hyperbolic plane acts by multiplication by this element. Earlier work obtains the hyperbolic value under an additional cobordism-duality assumption; here we derive it directly from the Looijenga restriction maps without that assumption. Together with annihilation and vanishing results for definite lattices, this gives a complete value formula on smooth closed simply connected spin four-manifolds. In particular, nonzero signature forces the invariant to vanish, so both orientations of a K3 surface have value zero.

math.AT↗

arXiv2025

DeepMath-Creative: A Benchmark for Evaluating Mathematical Creativity of Large Language Models

To advance the mathematical proficiency of large language models (LLMs), the DeepMath team has launched an open-source initiative aimed at developing an open mathematical LLM and systematically evaluating its mathematical creativity. This paper represents the initial contribution of this initiative. While recent developments in mathematical LLMs have predominantly emphasized reasoning skills, as evidenced by benchmarks on elementary to undergraduate-level mathematical tasks, the creative capabilities of these models have received comparatively little attention, and evaluation datasets remain scarce. To address this gap, we propose an evaluation criteria for mathematical creativity and introduce DeepMath-Creative, a novel, high-quality benchmark comprising constructive problems across algebra, geometry, analysis, and other domains. We conduct a systematic evaluation of mainstream LLMs' creative problem-solving abilities using this dataset. Experimental results show that even under lenient scoring criteria -- emphasizing core solution components and disregarding minor inaccuracies, such as small logical gaps, incomplete justifications, or redundant explanations -- the best-performing model, O3 Mini, achieves merely 70% accuracy, primarily on basic undergraduate-level constructive tasks. Performance declines sharply on more complex problems, with models failing to provide substantive strategies for open problems. These findings suggest that, although current LLMs display a degree of constructive proficiency on familiar and lower-difficulty problems, such performance is likely attributable to the recombination of memorized patterns rather than authentic creative insight or novel synthesis.

cs.AI↗

arXiv2025

AdS3 axion wormholes as stable contributions to the Euclidean gravitational path integral

Recent work has demonstrated that Euclidean Giddings-Strominger axion wormholes are stable in asymptotically flat 4D Minkowski spacetime, suggesting that they should, at least naively, be included as contributions in the quantum gravitational path integral. Such inclusion appears to lead to known wormhole paradoxes, such as the factorization problem. In this paper, we generalize these results to AdS3 spacetime, where the axion is equivalent to a U(1) gauge field. We explicitly construct the classical wormhole solutions, show their regularity and stability, and compute their actions for arbitrary ratios of the wormhole mouth radius to the AdS radius and across various topologies. Finally, We discuss potential implications of these findings for the 3D gravitational path integral.

hep-th↗

arXiv2024

The Photon Sphere and the AdS/CFT Correspondence

The AdS/CFT correspondence connects bulk fields $ϕ$ to boundary operators $\mathcal{O}$ characterized by source frequency $ω$ and angular momentum $l$. Here we explore their connection to massless particles with an impact parameter $b=ω/l$. In the AdS Schwarzschild spacetime, these particles follow unstable orbits around the photon sphere -- with Lyapunov exponent $λ$ -- when $b$ is near a critical value. The behavior of the bulk field is obtained numerically and then studied using an analytic approach, which leads to a precise approximate formula for the amplitude of the bulk field $ϕ$. This gives the correct qualitative behavior for the system, with the amplitude of the field taking the shape of an arrowhead in tortoise coordinates. The field behaves analogously to the massless particles, and the amplitude of $ϕ$ diverges at the critical impact parameter when the source frequency takes the value $ω\approx λl$, where $λ$ is the Lyapunov exponent of the null geodesics. We find this transition occurs when $b = λ$. We show this is precisely when the first QNM becomes available, and obtain an approximate formula for the first few overtones.

hep-th↗

arXiv2024

The Photon Sphere and Response Functions in Holography

In this letter, we show the Unruh temperature of the photon sphere for an AdS$_4$-Schwarzschild black hole can be determined holographically from the retarded Green's function and is proportional to its circumference according to a boundary observer. We then sharpen the conjecture that the photon sphere, as seen by a boundary observer, is the spatial Fourier transform of the response function. The conjecture is found to be in excellent agreement with our numerics after certain long-lived excitations -- associated with geodesics traveling between boundary points -- are removed from the response, which is then controlled by the short-lived excitations of the AdS black hole.

hep-th↗

arXiv2024

Universal Bound on Effective Central Charge and Its Saturation

The effective central charge (denoted by $c_{\text{eff}}$) is a measure of entanglement through a conformal interface, while the transmission coefficient (encoded in the coefficient $c_{LR}$ of the two-point function of the energy-momentum tensor across the interface) is a measure of energy transmission through the interface. It has been pointed out that these two are generally different. In this article, we propose the inequalities, $0 \leq c_{LR} \leq c_{\text{eff}} \leq \min (c_L,c_R)$. They have the simple but important implication that the amount of energy transmission can never exceed the amount of information transmission. We verify them using the AdS/CFT correspondence, using the perturbation method, and in examples beyond holography. We also show that these inequalities are sharp by constructing a class of interfaces that saturate them.

hep-th↗

arXiv2023

Universality of Effective Central Charge in Interface CFTs

When an interface connects two CFTs, the entanglement entropy between the two CFTs is determined by a quantity called the effective central charge. The effective central charge does not have a simple form in terms of the central charges of the two CFTs, but intricately depends on the transmissive properties of the interface. In this article, we examine universal properties of the effective central charge. We first clarify how the effective central charge appears when considering general subsystems of the interface CFT. Then using this result and ideas used in the proof of the $c$-theorem, we provide a universal upper bound on the effective central charge. In past studies, the effective central charge was defined only in two dimensions. We propose an analogue of the effective central charge in general dimensions possessing similar universal properties as in two dimensions.

hep-th↗

arXiv2023

Anomalies of Average Symmetries: Entanglement and Open Quantum Systems

Symmetries and their anomalies are powerful tools for understanding quantum systems. However, realistic systems are often subject to disorders, dissipation and decoherence. In many circumstances, symmetries are not exact but only on average. This work investigates the constraints on mixed states resulting from non-commuting average symmetries. We will focus on the cases where the commutation relations of the average symmetry generators are violated by nontrivial phases, and call such average symmetry anomalous. We show that anomalous average symmetry implies degeneracy in the density matrix eigenvalues, and present several lattice examples with average symmetries, including XY chain, Heisenberg chain, and deformed toric code models. In certain cases, the results can be further extended to reduced density matrices, leading to a new lower bound on the entanglement entropy. We discuss several applications in the contexts of many body localization, quantum channels, entanglement phase transitions and also derive new constraints on the Lindbladian evolution of open quantum systems.

cond-mat.str-el↗

arXiv2023

Universal relations for holographic interfaces

We study the entanglement entropy in 1+1 dimensional conformal field theories in the presence of interfaces from a holographic perspective. Compared with the well-known case of boundary conformal field theories, interfaces allow for several interesting new observables. Depending on how the interface is located within the entangling region, the entanglement entropies differ and exhibit surprising new patterns and universal relations. While our analysis is performed within the framework of holography, we expect our results to hold more generally.

hep-th↗

arXiv2023

Towards $α'$-finiteness: $q$-deformed open string amplitude

Revisiting the Coon amplitude, a deformation of the Veneziano amplitude with a logarithmic generalization of linear Regge trajectories, we scrutinize its potential origins in a worldsheet theory by proposing a definition of its $q$-deformation through the integral representation of the $q$-beta function. By utilizing $q$-deformed commutation relations and vertex operators, we derive the Coon amplitude within the framework of the dual resonance model. We extend this to the open-string context by $q$-deforming the Lie algebra $\mathfrak{su}(1,1)$, resulting in a well-defined $q$-deformed open superstring amplitude. We further demonstrate that the $q$-prefactor in the Coon amplitude arises naturally from the property of the $q$-integral. Furthermore, we find that two different types of $q$-prefactors, corresponding to different representations of the same scattering amplitude, are essentially the same by leveraging the properties of $q$-numbers. Our findings indicate that the $q$-deformed string amplitude defines a continuous family of amplitudes, illustrating how string amplitudes with a finite $α^\prime$ uniquely flow to the amplitudes of scalar scattering in field theory at energy scale $Λ$ as $q$ changes from $1$ to $0$. This happens without the requirement of an $α^\prime$ expansion, presenting a fresh perspective on the connection between string and field theories.

hep-th↗

arXiv2023

Probing holography in $p$-adic CFT

We holographically calculate the partition functions of certain types of isotropic sectors of the CFTs dual to Bruhat-Tits trees and $p$-adic BTZ black holes. Along the way, we propose new spectral decompositions of the Laplacian operator other than the plane-wave basis on these two types of background, with both analytical and numerical evidence. We extract the density of states and hence entropy from the BTZ partition function via the inverse Laplace transform. Then the one-loop Witten diagram is computed in the $p$-adic BTZ black hole background, yielding constraints on the heavy-heavy-light averaged three-point coefficient of its boundary $p$-adic CFT. Finally, for general $p$-adic CFTs (not necessarily holographic), we analyze the representation theory of their global conformal group $PGL\left(2,\mathbb{Q}_p\right)$, and discuss the suitability of different representations as Hilbert spaces of $p$-adic CFT.

hep-th↗

arXiv2023

Imprints of phase transitions on Kasner singularities

Under the AdS/CFT correspondence, asymptotically AdS geometries with backreaction can be viewed as CFT states subject to a renormalization group (RG) flow from an ultraviolet (UV) description towards an infrared (IR) sector. For black holes however, the IR point is the horizon, so one way to interpret the interior is as an analytic continuation to a "trans-IR" imaginary-energy regime. In this paper, we demonstrate that this analytic continuation preserves some imprints of the UV physics, particularly near its "endpoint" at the classical singularity. We focus on holographic phase transitions of geometric objects in round black holes. We first assert the consistency of interpreting such black holes, including their interiors, as RG flows by constructing a monotonic $a$-function. We then explore how UV phase transitions of entanglement entropy and scalar two-point functions, each of which are encoded by bulk geometry under the holographic mapping, are connected to the structure of the near-singularity geometry, which is characterized by Kasner exponents. Using 2d holographic flows triggered by relevant scalar deformations as test beds, we find that the 3d bulk's near-singularity Kasner exponents can be viewed as functions of the UV physics precisely when the deformation is nonzero.

hep-th↗

arXiv2023

Spacetime Subsystem Symmetries

One characteristic feature of many fractonic lattice models, and a defining property of the exotic field theories developed to describe them, are subsystem symmetries including a conservation of not just net electric charge but also electric dipole moments or charges living on submanifolds. So far all such theories were based on internal subsystem symmetries. In this work we generalize the notion of subsystem symmetries to system with subsystem spacetime symmetries with locally conserved energies.

hep-th↗

arXiv2022

ScQ cloud quantum computation for generating Greenberger-Horne-Zeilinger states of up to 10 qubits

In this study, we introduce an online public quantum computation platform, named as ScQ, based on a 1D array of a 10-qubit superconducting processor. Single-qubit rotation gates can be performed on each qubit. Controlled-NOT gates between nearest-neighbor sites on the 1D array of 10 qubits are available. We show the online preparation and verification of Greenberger-Horne-Zeilinger states of up to 10 qubits through this platform for all possible blocks of qubits in the chain. The graphical user interface and quantum assembly language methods are presented to achieve the above tasks, which rely on a parameter scanning feature implemented on ScQ. The performance of this quantum computation platform, such as fidelities of logic gates and details of the superconducting device, are presented.

quant-ph↗

arXiv2022

$T\overline{T}$ deformation in SCFTs and integrable supersymmetric theories

We calculate the $\mathcal{S}$-multiplets for two-dimensional Euclidean $\mathcal{N}=(0,2)$ and $\mathcal{N} = (2,2)$ superconformal field theories under the $T\overline{T}$ deformation at leading order of perturbation theory in the deformation coupling. Then, from these $\mathcal{N} = (0, 2)$ deformed multiplets, we calculate two- and three-point correlators. We show the $\mathcal{N} = (0,2)$ chiral ring's elements do not flow under the $T\overline{T}$ deformation. Specializing to integrable supersymmetric seed theories, such as $\mathcal{N} = (2,2)$ Landau-Ginzburg models, we use the thermodynamic Bethe ansatz to study the S-matrices and ground state energies. From both an S-matrix perspective and Melzer's folding prescription, we show that the deformed ground state energy obeys the inviscid Burgers' equation. Finally, we show that several indices independent of $D$-term perturbations including the Witten index, Cecotti-Fendley-Intriligator-Vafa index and elliptic genus do not flow under the $T\overline{T}$ deformation.

hep-th↗

arXiv2022

Boundary theory of the X-cube model in the continuum

We study the boundary theory of the $\mathbb{Z}_N$ X-cube model using a continuum perspective, from which the exchange statistics of a subset of bulk excitations can be recovered. We discuss various gapped boundary conditions that either preserve or break the translation/rotation symmetries on the boundary, and further present the corresponding ground state degeneracies on $T^2\times I$. The low-energy physics is highly sensitive to the boundary conditions: even the extensive part of the ground state degeneracy can vary when different sets of boundary conditions are chosen on the two boundaries. We also examine the anomaly inflow of the boundary theory and find that the X-cube model is not the unique (3+1)d theory that cancels the 't Hooft anomaly of the boundary.

cond-mat.str-el↗

arXiv2022

$T\bar{T}$ in JT Gravity and BF Gauge Theory

JT gravity has a first-order formulation as a two-dimensional BF theory, which can be viewed as the dimensional reduction of the Chern-Simons description of $3d$ gravity. We consider $T\bar{T}$-type deformations of the $(0+1)$-dimensional dual to this $2d$ BF theory and interpret the deformation as a modification of the BF theory boundary conditions. The fundamental observables in this deformed BF theory, and in its $3d$ Chern-Simons lift, are Wilson lines and loops. In the $3d$ Chern-Simons setting, we study modifications to correlators involving boundary-anchored Wilson lines which are induced by a $T\bar{T}$ deformation on the $2d$ boundary; results are presented at both the classical level (using modified boundary conditions) and the quantum-mechanical level (using conformal perturbation theory). Finally, we calculate the analogous deformed Wilson line correlators in $2d$ BF theory below the Hagedorn temperature where the principal series dominates over the discrete series.

hep-th↗