arXiv subjects

Fan Zheng

Publications and source records attributed to Fan Zheng.

At least 19 recordsLinked to original sources

arXiv2026

Computer-assisted Proof Under Audit: Typos, Certificate Errors, and Reproducible Exact Checks for a Symbolic Invertibility Proof

We audit the exact-arithmetic certificate in arXiv:2310.19781v2, its 2025 \emph{Communications in Mathematical Physics} version, and their shared MATLAB archive. CMP corrects none of the audited items; we therefore treat both versions together and use the openly accessible arXiv source for exact provenance. We found 11 proof-affecting defects (alongside typographical slips) and give reproducible exact counterexamples to several implemented bounds and reconstruction steps. To the best of our knowledge, this is the first independent, version-pinned, source-level audit of a published computer-assisted proof (CAP) in analysis to identify multiple proof-affecting defects in its released computational certificate. The findings do not refute the intended theorem or its analytic reduction, but they show that the published certificate does not prove the claimed conclusion. Future work will give a corrected, structurally simpler proof with substantially less machine assistance.

math.AP↗

arXiv2025

Achieving Olympiad-Level Geometry Large Language Model Agent via Complexity Boosting Reinforcement Learning

Large language model (LLM) agents exhibit strong mathematical problem-solving abilities and can even solve International Mathematical Olympiad (IMO) level problems with the assistance of formal proof systems. However, due to weak heuristics for auxiliary constructions, AI for geometry problem solving remains dominated by expert models such as AlphaGeometry 2, which rely heavily on large-scale data synthesis and search for both training and evaluation. In this work, we make the first attempt to build a medalist-level LLM agent for geometry and present InternGeometry. InternGeometry overcomes the heuristic limitations in geometry by iteratively proposing propositions and auxiliary constructions, verifying them with a symbolic engine, and reflecting on the engine's feedback to guide subsequent proposals. A dynamic memory mechanism enables InternGeometry to conduct more than two hundred interactions with the symbolic engine per problem. To further accelerate learning, we introduce Complexity-Boosting Reinforcement Learning (CBRL), which gradually increases the complexity of synthesized problems across training stages. Built on InternThinker-32B, InternGeometry solves 44 of 50 IMO geometry problems (2000-2024), exceeding the average gold medalist score (40.9), using only 13K training examples, just 0.004% of the data used by AlphaGeometry 2, demonstrating the potential of LLM agents on expert-level geometry tasks. InternGeometry can also propose novel auxiliary constructions for IMO problems that do not appear in human solutions.

cs.AI↗

arXiv2025

Intern-S1-MO: Long-horizon Reasoning Agent for Olympiad?Level Mathematical Problem Solving

Large Reasoning Models (LRMs) have expanded the mathematical reasoning frontier through Chain-of-Thought (CoT) techniques and Reinforcement Learning with Verifiable Rewards (RLVR), capable of solving AIME-level problems. However, the performance of LRMs is heavily dependent on the extended reasoning context length. For solving ultra-hard problems like those in the International Mathematical Olympiad (IMO), the required reasoning complexity surpasses the space that an LRM can explore in a single round. Previous works attempt to extend the reasoning context of LRMs but remain prompt-based and built upon proprietary models, lacking systematic structures and training pipelines. Therefore, this paper introduces Intern-S1-MO, a long-horizon math agent that conducts multi-round hierarchical reasoning, composed of an LRM-based multi-agent system including reasoning, summary, and verification. By maintaining a compact memory in the form of lemmas, Intern-S1-MO can more freely explore the lemma-rich reasoning spaces in multiple reasoning stages, thereby breaking through the context constraints for IMO-level math problems. Furthermore, we propose OREAL-H, an RL framework for training the LRM using the online explored trajectories to simultaneously bootstrap the reasoning ability of LRM and elevate the overall performance of Intern-S1-MO. Experiments show that Intern-S1-MO can obtain 26 out of 35 points on the non-geometry problems of IMO2025, matching the performance of silver medalists. It also surpasses the current advanced LRMs on inference benchmarks such as HMMT2025, AIME2025, and CNMO2025. In addition, our agent officially participates in CMO2025 and achieves a score of 102/126 under the judgment of human experts, reaching the gold medal level.

cs.CL↗

arXiv2025

The Equational Theories Project: Advancing Collaborative Mathematical Research at Scale

We report on the Equational Theories Project (ETP), an online collaborative pilot project to explore new ways to collaborate in mathematics with machine assistance. The project successfully determined all 22 028 942 edges of the implication graph between the 4694 simplest equational laws on magmas, by a combination of human-generated and automated proofs, all validated by the formal proof assistant language Lean. As a result of this project, several new constructions of magmas satisfying specific laws were discovered, and several auxiliary questions were also addressed, such as the effect of restricting attention to finite magmas.

math.RA↗

arXiv2025

Unraveling UV Stability in Metal Halide Perovskites: From Degradation Mechanisms to Molecular Passivation

Understanding the mechanisms of UV-induced degradation is crucial for enhancing the UV stability of perovskite solar cells. The UV-driven structural dynamics of CH3NH3PbI3 (MAPbI3) are investigated using real-time TDDFT simulations, revealing that under the electron and hole excitation, the distortion of the inorganic framework (PbI) is primarily driven by the electron occupation of Pb-p and I-p antibonding states, whereas in the hole case, it is mainly governed by the direct cooling induced distortion. We also find that UV accelerates the rotation of MA+ molecules. Further, a BDO molecule is introduced as a passivant, which suppresses structural distortions and provides multi-phonon channels to dissipate carrier cooling energy. Experimental results confirm the UV-protective role of BDO, with suppressed PbI2 formation and improved device stability. These results clarify the mechanism of the UV-induced degradation in the MAPbI3 perovskite and further elucidate how passivation molecules enhance UV stability.

cond-mat.mtrl-sci↗

arXiv2025

The effects of decoherence on Fermi's golden rule

Fermi's golden rule which describes the transition rates between two electronic levels under external stimulations is used ubiquitously in different fields of physics. The original Fermi's golden rule was derived from perturbative time-dependent Schr\"{o}dinger's equation without the direct contribution by decoherence effect. However, as a result of recent developments of quantum computing and ultra fast carrier dynamics, the decoherence becomes a prominent topic in fundamental research.Here, by using the non-adiabatic molecular dynamics which goes beyond the time-dependent Schr\"{o}dinger's equation by introducing decoherence, we study the effect of decoherence on Fermi's golden rule for the fixed basis and the adiabatic basis, respectively. We find that when the decoherence time becomes short, there is a significant deviation from the Fermi's golden rule for both bases. By using monolayer $\mathrm{WS_2}$ as an example, we investigate the decoherence effect in the carrier transitions induced by the electron-phonon coupling with first-principle method.

quant-ph↗

arXiv2025

Sums and differences of sets: a further improvement over AlphaEvolve

We present a new advancement in the sum and difference of sets problem, which improves upon recent results by both DeepMind's AlphaEvolve ($\theta = 1.1584$) and subsequent explicit constructions ($\theta = 1.173050$). In this work, we construct a sequence of $U$ sets which in the limit establishes a new lower bound of $\theta = 1.173077$.

math.CO↗

arXiv2024

Finite time blow-up for the hypodissipative Navier Stokes equations with a force in $L^1_t C_x^{1,\epsilon}\cap L^{\infty}_{t}L_{x}^2$

In this work we establish the formation of singularities of classical solutions with finite energy of the forced fractional Navier Stokes equations where the dissipative term is given by $|\nabla|^{\alpha}$ for any $\alpha\in [0, \alpha_0)$ ($\alpha_0 = \frac{22-8\sqrt7}{9} > 0$). We construct solutions in $\mathbb{R}^3\times [0,T]$ with a finite $T>0$ and with an external forcing which is in $L^1_t([0, T]) C_x^{1,\epsilon}\cap L^{\infty}_{t}L_{x}^2$, such that on the time interval $0 \le t < T$, the velocity $u$ is in the space $C^\infty\cap L^2$ and such that as the time $t$ approaches the blow-up moment $T$, the integral $\int_0^t |\nabla u| ds$ tends to infinity.

math.AP↗

arXiv2023

Carrier Transport in 2D Hybrid Organic-Inorganic Perovskites: the role of spacer molecules

Two-dimensional organic-inorganic hybrid perovskites (2D HOIPs) have been widely used for various optoelectronics owing to the excellent photoelectric properties. Recently, a great deal of studies have focused on engineering the organic spacer cation in 2D HOIPs to enhance the carrier transport and improve the performance of devices. However, the selection of organic spacer cations is mostly qualitative without a quantitative guidance. Meanwhile, the fundamental mechanism of the carrier transport across the organic spacer layer is still unclear. Here, by using the first-principle non-adiabatic molecular dynamics (NAMD) method, we have studied the transport process of excited carriers between 2D HOIPs separated by the spacer cation layer. Various types of spacer cations of 2D HOIPs are investigated, where the carrier transport processes are simulated in real-time at atomic levels. We find that the excited electrons and holes can transfer from single-inorganic-layer 2D HOIP to bi-inorganic-layer 2D HOIP on a sub-picosecond scale, and different types of spacer cations can influence the carrier transfer rate significantly. Meanwhile, Dion-Jacobson (DJ) phase 2D HOIP leads to a more conductive carrier transport compared to the Ruddlesden-Popper (RP) phase, which is related to the different electron-phonon coupling strengths of these two phases. Moreover, we have developed a new method to capture the electron-hole interaction in the frame of NAMD. This work provides a promising direction to design new materials towards high performance optoelectronics.

physics.comp-ph↗

arXiv2023

Millimeter-scale exfoliation of hBN with tunable flake thickness

As a two-dimensional (2D) dielectric material, hexagonal boron nitride (hBN) is in high demand for applications in photonics, nonlinear optics, and nanoelectronics. Unfortunately, the high-throughput preparation of macroscopic-scale, high-quality hBN flakes with controlled thickness is an ongoing challenge, limiting device fabrication and technological integration. Here, we present a metal thin-film exfoliation method to prepare hBN flakes with millimeter-scale dimension, near-unity yields, and tunable flake thickness distribution from 1-7 layers, a substantial improvement over scotch tape exfoliation. The single crystallinity and high quality of the exfoliated hBN are demonstrated with optical microscopy, atomic force microscopy, Raman spectroscopy, and second harmonic generation. We further explore a possible mechanism for the effectiveness and selectivity based on thin-film residual stress measurements, density functional theory calculations, and transmission electron microscopy imaging of the deposited metal films. We find that the magnitude of the residual tensile stress induced by thin film deposition plays a key role in determining exfoliated flake thickness in a manner which closely resembles 3D semiconductor spalling. Lastly, we demonstrate that our exfoliated, large-area hBN flakes can be readily incorporated as encapsulating layers for other 2D monolayers. Altogether, this method brings us one step closer to the high throughput, mass production of hBN-based 2D photonic, optoelectronic, and quantum devices.

cond-mat.mtrl-sci↗

arXiv2023

Finite time singularities to the 3D incompressible Euler equations for solutions in $C^{\infty}(\mathbb{R}^3 \setminus \{0\})\cap C^{1,\alpha}\cap L^2$

We introduce a novel mechanism that reveals finite time singularities within the 1D De Gregorio model and the 3D incompressible Euler equations. Remarkably, we do not construct our blow up using self-similar coordinates, but build it from infinitely many regions with vorticity, separated by vortex-free regions in between. It yields solutions of the 3D incompressible Euler equations in $\mathbb{R}^3\times [-T,0]$ such that the velocity is in the space $C^{\infty}(\mathbb{R}^3 \setminus \{0\})\cap C^{1,\alpha}\cap L^2$ for times $t\in (-T,0)$ and is not $C^1$ at time 0.

math.AP↗

arXiv2022

A multi $k$-point nonadiabatic molecular dynamics for periodic systems

With the rapid development of ultra-fast experimental techniques used for carrier dynamics in solid-state systems, a microscopic understanding of the related phenomena, particularly a first-principle calculation is highly desirable. Non-adiabatic molecular dynamics (NAMD) offers a real-time direct simulation of the carrier transfer or carrier thermalization. However, when applied to a periodic supercell, due to the $\Gamma$-point phonon movement during the molecular dynamics, there is no supercell electronic $k$-point crossing during the NAMD simulation. This often leads to a significant underestimation of the transition rate due to significant energy gaps in the single supercell $k$-point band structure. In this work, based on the surface hopping scheme used for NAMD, we propose a practical method to enable the cross-$k$ transition for a periodic system. We demonstrate our formalism by showing that the hot electron thermalization process by the multi $k$-point NAMD in a small supercell is equivalent to such simulation in a large supercell with single $\Gamma$ $k$-point. The hot carrier thermalization process in the bulk silicon is also carried out and compared with the recent ultra-fast experiments with excellent agreements.

cond-mat.mtrl-sci↗

arXiv2022

Exactly self-similar blow-up of the generalized De Gregorio equation

We study exactly self-similar blow-up profiles fot the generalized De Gregorio model for the three-dimensional Euler equation: $w_t + auw_x = u_xw, \quad u_x = Hw$ We show that for any $\alpha \in (0, 1)$ such that $|a\alpha|$ is sufficiently small, there is an exactly self-similar $C^\alpha$ solution that blows up in finite time. This simultaneously improves on the result in \cite{ElJe} by removing the restriction $1/\alpha \in \mathbb Z$ and \cite{El-GhMa,ChHoHu}, which only deals with asymptotically self-similar blow-ups.

math.AP↗

arXiv2022

Long-term regularity of 2D gravity water waves

The two dimensional gravity water wave problem concerns the motion of an incompressible fluid occupying half the 2D space and flowing under its own gravity. In this paper we study long-term regularity of solutions evolving from small but non-localized initial data. Our main result is that if the $H^s$ norm of the initial data is $\epsilon$, where $s \gg 1$ and $\epsilon \ll 1$, then the equation is wellposed at least for a time proportional to $\epsilon^{-4}$, improving on the $\epsilon^{-3}$ lifespan obtained in \cite{BeFePu,Wu2DL}. We also study period water waves and show a lifespan bridging the gap between non-periodic waves and waves with a period of 1.

math.AP↗

arXiv2021

Stability of traveling waves for the Burgers-Hilbert equation

We consider smooth solutions of the Burgers-Hilbert equation that are a small perturbation $\delta$ from a global periodic traveling wave with small amplitude $\epsilon$. We use a modified energy method to prove the existence time of smooth solutions on a time scale of $\frac{1}{\epsilon\delta}$ with $0<\delta\ll\epsilon\ll1$ and on a time scale of $\frac{\epsilon}{\delta^2}$ with $0<\delta\ll\epsilon^2\ll1$. Moreover, we show that the traveling wave exists for an amplitude $\epsilon$ in the range $(0,\epsilon^*)$ with $\epsilon^*\sim 0.23$ and fails to exist for $\epsilon>\frac{2}{e}$.

math.AP↗

arXiv2020

The lifespan of classical solutions for the inviscid Surface Quasi-geostrophic equation

We consider classical solutions of the inviscid Surface Quasi-geostrophic equation that are a small perturbation $\epsilon$ from a radial stationary solution $\theta=|x|$. We use a modified energy method to prove the existence time of classical solutions from $\frac{1}{\epsilon}$ to a time scale of $\frac{1}{\epsilon^4}$. Moreover, by perturbing in a suitable direction we construct global smooth solutions, via bifurcation, that rotate uniformly in time and space.

math.AP↗

arXiv2019

Long-term regularity of 3D gravity water waves

We study a fundamental model in fluid mechanics--the 3D gravity water wave equation, in which an incompressible fluid occupying half the 3D space flows under its own gravity. In this paper we show long-term regularity of solutions whose initial data is small but not localized. Our results include: almost global wellposedness for unweighted Sobolev initial data and global wellposedness for weighted Sobolev initial data with weight $|x|^\alpha$, for any $\alpha > 0$. In the periodic case, if the initial data lives on an $R$ by $R$ torus, and $\epsilon$ close to the constant solution, then the life span of the solution is at least $R/(\epsilon^2(\log R)^2)$.

math.AP↗

arXiv2019

Borophosphene: a New Anisotropic Dirac Cone Monolayer with High Fermi Velocity and Unique Feature of Self-doping

Two-dimensional (2D) Dirac cone materials exhibit linear energy dispersion at the Fermi level, where the effective masses of carriers are very close to zero and the Fermi velocity is ultrahigh, only 2 ~ 3 orders of magnitude lower than the light velocity. Such the Dirac cone materials have great promise in high-performance electronic devices. Herein, we have employed the genetic algorithms methods combining with first-principles calculations to propose a new 2D anisotropic Dirac cone material, that is, orthorhombic boron phosphide (BP) monolayer named as borophosphene. Molecular dynamics simulation and phonon dispersion have been used to evaluate the dynamic and thermal stability of borophosphene. Because of the unique arrangements of B-B and P-P dimers, the mechanical and electronic properties are highly anisotropic. Of great interest is that the Dirac cone of the borophosphene is robust, independent of in-plane biaxial and uniaxial strains, and can also be observed in its one-dimensional (1D) zigzag nanoribbons and armchair nanotubes. The Fermi velocities are ~ 105 m/s, the same order of magnitude with that of graphene. By using a tight-binding model, the origin of the Dirac cone of borophosphene is analyzed. Moreover, a unique feature of self-doping can be induced by the in-plane biaxial and uniaxial strains of borophosphene and the Curvature effect of nanotubes, which is great beneficial to realizing high speed carriers (holes). Our results suggest that the borophosphene holds a great promise in high-performance electronic devices, which could promote the experimental and theoretical studies to further explore the potential applications of other 2D Dirac cone sheets.

cond-mat.mtrl-sci↗