arXiv Science⌕ Search

arXiv subjects

Qi Zhou

Publications and source records attributed to Qi Zhou.

At least 19 recordsLinked to original sources
arXiv2026

Measures of maximal entropy for meromorphic maps on compact Kähler manifolds

Let $f$ be a dominant meromorphic self-map of a compact Kähler manifold. Assume that $f$ has a strictly dominant intermediate dynamical degree $λ$ and that the number of isolated $n$-periodic points, counted with multiplicity, is at most $λ^n+o(λ^n)$. Then $f$ admits at most one adapted invariant probability measure of entropy $\logλ$. If such a measure exists, its natural extension is Bernoulli, and the isolated periodic points equidistribute towards it when counted with or without multiplicity. We apply this criterion to several classes of maps in complex dynamics, resolving longstanding open problems.

math.DS↗
arXiv2026

TorchTPU - A Hybrid Eager/Compiled Architecture for Native PyTorch Execution on TPU

TorchTPU is an open-source collaboration between Google and Meta that introduces a native and principled PyTorch backend for Google TPUs. It enables seamless out-of-the-box model execution and TPU migration while delivering industry-competitive inference and training performance through eager execution optimizations, torch.compile integration, and native hardware acceleration.

cs.AI↗
arXiv2026

EGGPlacer: Energy-Guided Generative Chip Placement with Diffusion Models

Chip placement strongly affects routed wirelength and thermal behavior, yet these downstream metrics are difficult to evaluate during macro placement. Learning-based macro placers commonly optimize the macro-only half-perimeter wirelength (HPWL), denoted mHPWL, which ignores standard cell connectivity and spatial demand. In contrast, analytical mixed-size placers optimize differentiable full netlist wirelength and density objectives but are typically unaware of thermal effects. We propose EGGPlacer, an energy-guided diffusion framework that incorporates analytical placement feedback and thermal feedback into macro placement generation. An analytical placer acts as an online physical response model, exposing the standard cell distribution and a full netlist wirelength proxy induced by each intermediate macro placement, while a differentiable thermal model provides temperature feedback. These signals are formulated as composable energies and injected throughout reverse diffusion without retraining the underlying generative model. Experiments on public placement benchmarks show that EGGPlacer achieves competitive mixed-size HPWL relative to strong analytical and learning-based macro placers. In the end-to-end evaluation, EGGPlacer also obtains the lowest average routed wirelength and peak temperature among the evaluated methods. Ablation studies further demonstrate that analytical and thermal guidance provide distinct and complementary benefits across wirelength proxies, routed wirelength, and thermal objectives.

cs.AR↗
arXiv2026

Linear Structure, Convergence and Resurgence of Hydrodynamic Transseries

We construct an exact formulation for the solution of Bjorken expanding relativistic viscous hydrodynamics with a constant relaxation time and derive its late time transseries structure. The two fundamental modes of the linear auxiliary equation separate the hydrodynamic contribution from the exponentially suppressed transient mode. We show that this single transient mode generates the entire hierarchy of nonperturbative sectors through nonlinear mode mixing, while its decay explains the loss of initial condition dependence and the emergence of late time hydrodynamic attractor behavior. The hydrodynamic gradient expansion is factorially divergent for generic values of the transport parameter but converges at the discrete values $a=N^2$, where the auxiliary asymptotic expansions terminate. We further determine the exact Stokes constant of the auxiliary linear equation and establish its relation to the logarithmic Borel singularity coefficient. The vanishing of the Stokes constant at these exceptional values establishes a direct connection between auxiliary series termination, hydrodynamic convergence, and Stokes decoupling between the hydrodynamic and the nonhydrodynamic transient sector.

nucl-th↗
arXiv2026

When Protection Overrides Consequences: Understanding Protection Mode in Large Language Model Decision-Making

Frontier language models excel at complex tasks yet may prioritize protection over larger physical consequences in simple, urgent decisions. GPT-5.6 Sol, for example, moves a girl playing in shallow water before retrieving a submerged camera. We call this Protection Mode and study it with ProtectionBench: 285 prompts, 34 physical families, and nine models. At lowest effort, at least one of four responses prioritizes the subject on 34.74% of Sol prompts and over 83% of MiniMax M3 and Qwen3.5-27B prompts; none of four independent human raters does so. Controls show that choices usually track physical risk. We elicit both risks before requesting an action. Some models assess risk incorrectly; others state the correct ordering but still choose the subject. Qwen3.5-27B with thinking shows 100% correct risk ordering but 57.81% subject choice among eligible conversations on eight selected scenes. Attention audits find no stable reduction in attention to relevant facts; removing the stated risk direction reduces object-first choice in dots3-note-prev but not detectably in Qwen3.5-27B. Adding a general "people or animals before property" rule increases subject choice by 19-38 percentage points, whereas factual reminders favor the object by 0.7-5.2 points. Removing naturally generated versions of that rule lowers subject choice by 10-15 points. We also examine whether post-training introduces this pattern. Base models already show Protection Mode; post-training changes justifications more than choices.

cs.AI↗
arXiv2026

Square-Root Profiles and Sharp Fourier Decay of Quasiperiodic Spectral Measures

We study spectral measures of one-dimensional quasiperiodic Schrödinger operators. For subcritical Schrödinger operator with Diophantine frequency, we prove sharp measurable-set bounds, answering a question of Avila and Jitomirskaya \cite{AJ}; we prove optimal Fourier decay and the sharp decay order of the time-averaged quantum return probability, confirming a conjecture of Aloisio, Carvalho, and de Oliveira \cite{ACO} and a prediction of Zhong and Mosseri \cite{ZhongMosseri}. For the subcritical almost Mathieu operator, we establish summable square-root envelopes for the spectral density, with an optimal density-one formulation of the lower bound, thereby answering a question of Avila \cite{Aqi}. These results follow from a general theorem for reflectionless measures under a summable square-root Craig-type condition. We establish an exact residue expansion of the squared Borel transform, which connects local density blow-up with long-time averaged return probabilities: the endpoint residues determine both the square-root edge profiles and the leading coefficient of the time-averaged return probability.

math.SP↗
arXiv2026

InfiFPO: Implicit Model Fusion via Preference Optimization in Large Language Models

Model fusion combines multiple Large Language Models (LLMs) with different strengths into a more powerful, integrated model through lightweight training methods. Existing works on model fusion focus primarily on supervised fine-tuning (SFT), leaving preference alignment (PA) --a critical phase for enhancing LLM performance--largely unexplored. The current few fusion methods on PA phase, like WRPO, simplify the process by utilizing only response outputs from source models while discarding their probability information. To address this limitation, we propose InfiFPO, a preference optimization method for implicit model fusion. InfiFPO replaces the reference model in Direct Preference Optimization (DPO) with a fused source model that synthesizes multi-source probabilities at the sequence level, circumventing complex vocabulary alignment challenges in previous works and meanwhile maintaining the probability information. By introducing probability clipping and max-margin fusion strategies, InfiFPO enables the pivot model to align with human preferences while effectively distilling knowledge from source models. Comprehensive experiments on 11 widely-used benchmarks demonstrate that InfiFPO consistently outperforms existing model fusion and preference optimization methods. When using Phi-4 as the pivot model, InfiFPO improve its average performance from 79.95 to 83.33 on 11 benchmarks, significantly improving its capabilities in mathematics, coding, and reasoning tasks.

cs.LG↗
arXiv2026

RollPlace: Improving Macro Placement via Monte Carlo Rollout Search

The application of Reinforcement Learning (RL) in Electronic Design Automation (EDA), particularly for chip placement, has attracted considerable attention in recent years. While existing machine learning (ML)-based approaches have achieved notable progress, they predominantly focus on generating optimal layouts in a single attempt, often producing solutions that require subsequent refinement. To address this limitation, we propose RollPlace, a novel and generalized macro placement framework. RollPlace adopts a two-stage optimization strategy: generating initial placement solutions via machine learning methods or heuristic-based strategies, and refining these layouts efficiently by adjusting specific macros derived from the initial stage. This strategy circumvents the sequential generation constraints inherent in traditional RL-based placement methods. Furthermore, RollPlace seamlessly integrates Monte Carlo Tree Search (MCTS) to balance exploration and exploitation, and employs a rollout mechanism for efficient local search. Extensive experiments on the ISPD 2005 benchmark demonstrate that RollPlace outperforms state-of-the-art methods. Additionally, end-to-end experimental results based on OpenROAD across 19 benchmarks show that RollPlace excels in multiple metrics. The proposed framework offers a robust and scalable solution for addressing the growing complexity of modern chip design challenges.

cs.AI↗
arXiv2026

The least signless Laplacian eigenvalue of $\{C_3,C_5\}$-free graphs

Brandt [Discrete Math. 183 (1998) 17--25] conjectured that the least signless Laplacian eigenvalue of every regular triangle-free graph of order $n$ is at most $4n/25$. Using flag algebras, Balogh, Clemen, Lidický, Norin and Volec [SIAM J. Discrete Math. 37 (2023) 1173--1179] established the stronger bound $15n/94$ for all triangle-free graphs. We investigate the effect of additionally excluding pentagons and prove that every $\{C_3,C_5\}$-free graph $G$ of order $n$ satisfies $\qmin(G)<0.0569n$, without any regularity assumption. The proof combines seven-vertex flag inequalities with local Rayleigh constraints that retain the least eigenvalue throughout the counting argument. An exact integer certificate establishes the required inequality.

math.CO↗
arXiv2026

Beyond Memory: Harnessing Long-Horizon Agents with Explicit Belief States

Large language model (LLM) agents can now undertake increasingly complex tasks, but the way they organize interaction history into memory does not ensure a coherent understanding of the current world. We introduce PoS, an inference-time framework that constructs and continually maintains explicit belief states as the agent's decision context. Each belief combines an estimate of the current world state with unresolved task requirements, making explicit what the agent still needs to learn and accomplish. To keep this belief reliable and actionable, PoS validates its consistency and monitors task progress to detect Belief Trapping, where the agent continues to act without making meaningful progress toward the goal. Recovery is then tailored to both the trapping pattern and the type of unresolved task requirement. Experiments on four benchmarks spanning execution and diagnosis show that PoS achieves the highest overall performance on every benchmark with all three LLM backbones. Ablations demonstrate the importance of consistency validation and recovery, while context-scaling experiments show resilience to context growth. Together, these results support belief construction and continual maintenance as a foundation for long-horizon context management beyond history retention and compression.

cs.AI↗
arXiv2026

Monotonicity, global symplectification and the stability of Dry Ten Martini Problem

We prove that, for every irrational frequency and every analytic Type I potential, each supercritical spectral energy satisfying the gap-labelling condition is an endpoint of an open spectral gap. This establishes the conjecture of Ge--Jitomirskaya--You \cite{GJY,You} in the supercritical regime. Consequently, the ``all gaps open'' property of the supercritical almost Mathieu operator persists under sufficiently small analytic perturbations. The main ingredient is a global symplectification of the center bundle that preserves quantitative monotonicity. This allows us to study gap opening through the center dynamics of the dual long-range operator, which has no natural Schrödinger form. We first establish the result for trigonometric polynomial potentials and then pass to general analytic potentials by controlling the dependence on the truncation dimension. The proof combines a discrete Hellmann--Feynman identity, dimension-free Aubry duality in weighted analytic norms, and a quantitative cone argument based on pre-monotonicity. These estimates ensure that the gaps survive in the analytic limit. Our results establish analytic stability of the Dry Ten Martini Problem in the supercritical regime and give a partial answer to a question of M. Shamis on the persistence of periodic spectral gaps.

math.DS↗
arXiv2026

Learning from Viable Failure Prefixes: Milestone Viability Potential Policy Optimization for Long-Horizon LLM Agents

Long-horizon LLM agents require reinforcement learning methods that can assign credit to intermediate decisions under sparse and delayed rewards. Existing group-based methods such as GRPO and GiGPO alleviate this issue by comparing rollout returns or repeated anchor states, but they still fail when the compared returns have no variation. We identify this failure mode as zero-credit failure: during early training, many failed rollouts contain useful prefixes, yet existing methods assign them no task-discriminative advantage. To address this issue, we propose Milestone Viability Potential Policy Optimization (MVPO), a potential-routed policy optimization algorithm that learns from viable failure prefixes. MVPO estimates prefix potential over Union-Find viability regions, repairs zero-credit groups with potential-difference advantages, and attenuates the potential branch according to relative performance progress. Experiments with Qwen2.5-1.5B-Instruct show that MVPO outperforms eight strong baselines, including GRPO and GiGPO. Under the same training length, MVPO improves over the GiGPO baseline by +4.4 success points on ALFWorld and +5.3 on WebShop, while adding only 0.16%-0.20% advantage-construction overhead.

cs.AI↗
arXiv2026

A rational surface with discrete and non-finitely generated automorphism group

We construct a smooth complex projective rational surface whose automorphism group is discrete and not finitely generated. It is obtained by blowing up a point on a branch curve of a rational quotient of a product Kummer surface. Every point with transcendental coordinate gives such a surface. The proof uses leading jets along the branch curve, the complete family of blowups and the cubic intersection of the family, which are not being considered in relevant earlier works.

math.AG↗
arXiv2026

Beyond Generator-Specific Shortcuts: Open-World AI-Generated Video Detection via Adversarial Training

AI-generated video (AIGV) detection is increasingly important for mitigating misinformation, impersonation, and other malicious uses of synthetic media, yet existing detectors often generalize poorly to unseen generators in open-world settings. To better understand this challenge, we analyze the failure modes of AIGV detectors under cross-generator out-of-distribution (OOD) shifts and observe that detector representations strongly encode generator-specific cues, which are associated with substantial ID-OOD performance drops. Further analysis shows that naively perturbing generator-sensitive tokens can even reduce OOD performance, indicating that generator-related cues and detection-relevant evidence are only partially separable. Motivated by these findings, we propose Forensic Obfuscation of geneRator-specific cues via Gradient-guided Embedding perturbation (FORGE), a token-aware adversarial training framework for open-world AIGV detection. FORGE identifies tokens that are strongly associated with generator-specific shortcuts yet less critical to real/fake discrimination, and selectively perturbs them during training to suppress generator-dependent patterns while preserving useful forensic evidence. Through synchronized adversarial training between an attacker and a detector, FORGE encourages the detector to learn more transferable generator-invariant forensic representations. Experiments on 29 held-out benchmark entries show that FORGE achieves an average F1 of 92.62, outperforming eight strong baselines by 5.31 points, while also remaining robust under four common post-processing attacks. We will release our code and datasets upon acceptance.

cs.CV↗
arXiv2026

Projective Origin of the Spin Hydrodynamic Attractor and Its Resurgent Repellor

We investigate the projective and resurgent structure of a spin hydrodynamic attractor in Bjorken expansion. We show that the nonlinear spin solution family is determined by the projective classes of the two dimensional linear solution space, with the attractor and repellor corresponding to two distinguished projective directions and the linear modes ratio generating the full one-parameter transseries tower. Using the projective transseries structure, we show analytically that the data of repellor are encoded in the Borel-Stokes structure of the attractor expansion. These results provide an explicit analytic realization of resurgence relations that are often extracted through high order expansions and numerical Borel analysis, and yield a unified description of the attractor, the repellor, and their Borel-Stokes connection in minimal causal spin hydrodynamics.

nucl-th↗
arXiv2026

An Upper Bound for the Mean Speed of Transition Fronts and Unbounded Front Widths for Fisher KPP Equations in Almost Periodic Media

In this paper, we investigate transition fronts and spreading solutions of Fisher--KPP equations in one-dimensional almost periodic media, both on the real line and on the lattice. Let $λ_1$ be the supremum of the spectrum of the linearized operator acting on $L^2(\R)$ or $\ell^2(\Z)$, respectively, and let \(L(λ_1)\) denote the spatial Lyapunov exponent at the spectral parameter \(λ_1\). We prove that, if $L(λ_1)>0$, the global mean speed of any transition front is at most $λ_1/L(λ_1)$. Moreover, if a solution of the Cauchy problem spreads faster than this bound, its transition width is unbounded along a sequence of times. This occurs for a class of initial data with slowly decaying exponential tails. This contrasts with periodic media, where pulsating fronts exist at every speed above the minimal speed. As applications, we consider almost Mathieu coefficients and a continuous quasiperiodic coefficient with two frequencies. Together with the results of Nadin--Rossi and Liang--Wang--Zhou--Zhou \citep{LWZZ24}, our results provide an almost complete picture of the admissible speeds of generalized transition fronts, while leaving the critical cases open.

math.AP↗
arXiv2026

Almost Periodic Solutions of The Cubic Defocusing Nonlinear Schrödinger Equation

This paper addresses the Cauchy problem for the cubic defocusing nonlinear Schrödinger equation (NLS) with almost periodic initial data. We prove that for small analytic quasiperiodic initial data satisfying Diophantine frequency conditions, the Cauchy problem admits a solution that is almost periodic in both space and time, and that this solution is unique among solutions locally bounded in a suitable sense. The analysis combines direct and inverse spectral theory. In the inverse spectral theory part, we prove existence, almost periodicity, and uniqueness for solutions with initial data whose associated Dirac operator has purely a.c.\ spectrum that is not too thin. This resolves novel challenges presented by the NLS hierarchy, such as an additional degree of freedom and an additional commuting flow. In the direct spectral theory part, for Dirac operators with small analytic quasiperiodic potentials with Diophantine frequency conditions, we prove pure a.c.\ spectrum, exponentially decaying spectral gaps, and spectral thickness conditions (homogeneity and Craig-type conditions).

math.AP↗