arXiv subjects

Haonan Zhang

Publications and source records attributed to Haonan Zhang.

At least 19 recordsLinked to original sources

arXiv2026

Wehrl-type entropy problem for compact connected semisimple Lie groups

This paper solves the Wehrl-type entropy problem for arbitrary compact connected semisimple Lie groups. Let $G$ be a compact connected semisimple Lie group, and let $π:G\to U(V_λ)$ be a finite-dimensional irreducible unitary representation associated with the highest weight $λ$. We prove that coherent projectors are the unique minimizers of the Wehrl entropy over all density matrices on $V_λ$. They also uniquely maximize every Husimi power moment of order $p>1$. The proof uses a second-variation at the extremizer by perturbation in directions associated with Killing fields, similar to the strategy of Frank and Lieb used in \cite{FrankLieb}. Then the problem reduces to the extreme-moment property of highest-weight vectors.

math-ph↗

arXiv2026

Sharp log-Sobolev inequalities and quartic stability on finite cyclic groups

Let $\mathbb Z_n$ be the cyclic group equipped with the uniform probability measure $π$, and let $A_{ψ_n}$ be the Laplacian with word length $$ ψ_n(k) = \min(k,n-k). $$ For every $n\ge4$, we prove the sharp log-Sobolev inequality $$ \text{Ent}_π(|f|^2) \le 2π(\bar{f}A_{ψ_n} f), \qquad f:\mathbb Z_n \to \mathbb{C}, $$ where $\text{Ent}_π$ is the relative entropy with respect to $π$. Equivalently, the Poisson semigroup $P_t=e^{-tA_{ψ_n}}$ satisfies the optimal hypercontractivity. The proof is inspired by the recent work of Frank and Ivanisvili [FI26] on a sharp log-Sobolev inequality for the nearest-neighbor simple random walk. Similar arguments yield a simple proof of Weissler's sharp log-Sobolev inequality for the Poisson semigroup on the circle \cite{Weissler1980}. The same inequalities were independently obtained by Yao~\cite{Yao2026} using a different method. We also prove quantitative stability estimates. For $n\ge 4$ and $f:\mathbb Z_n\to[0,\infty)$ with $π(f^2)=1$, $$ 2π(fA_{ψ_n}f)-\operatorname{Ent}_π(f^2) \ge \frac1{12}\|f-1\|_{L^2(π)}^4, $$ with coefficient $1/(12d)$ on products $(\mathbb Z_n)^d$. The quartic order and the $d^{-1}$ dependence are optimal.

math.CA↗

arXiv2026

Sharp hypercontractivity for free orthogonal quantum groups of Kac type

We prove that the normalized heat semigroup $P_t=e^{-tL}$ on every free orthogonal quantum group $O_F^+$ of Kac type satisfies hypercontractivity with the optimal time. More precisely, for all $1<p\leq r<\infty$, \[ \|P_t:L_p(O_F^+)\to L_r(O_F^+)\|\leq1 \quad\Longleftrightarrow\quad t\geq\frac12\log\frac{r-1}{p-1}. \] Equivalently, the associated logarithmic Sobolev inequalities hold with sharp constants. For $F=I_N$, this determines the exact optimal time for $O_N^+$ and resolves a conjecture of Brannan, Vergnioux, and Youn \cite{BVY21}.

math.OA↗

arXiv2026

The König constant is one

For each $N\geq1$, consider the normalized König bilinear form $B_{\mathrm K}:L_\infty(\mathbb R^N)\times L_\infty(\mathbb R^N)\to\mathbb R$ given by \[ B_{\mathrm K}(f,g):=\frac{1}{(\sqrt{2}π)^N} \iint_{\mathbb R^N\times\mathbb R^N} f(x)g(y)e^{-(\lVert x\rVert^2+\lVert y\rVert^2)/2} \sin\langle x,y\rangle\,\mathrm d x\,\mathrm d y, \] We define the König constant by \[ \mathfrak K_{\mathrm K}:=\sup_{N\geq1}\sup_{\substack{f,g:\mathbb R^N\to\{\pm1\}\\ f,g\ \mathrm{measurable}}}B_{\mathrm K}(f,g). \] The study of this bilinear form arose from efforts to determine the exact value of the Grothendieck constant. König~\cite{KONIG} conjectured that the sharp value should instead be given by the one-dimensional half-spaces $B_{\mathrm K}(\operatorname{sgn}(x_1),\operatorname{sgn}(x_1))=\frac{2}π\log(1+\sqrt{2})$. A positive answer to this conjecture, together with a classical upper bound of Krivine \cite{KRIVINE}, would determine the exact value of the Grothendieck constant. In a breakthrough~\cite{BMMN}, Braverman, Makarychev, Makarychev, and Naor disproved König's conjecture already in dimension two and used their counterexamples to obtain the first strict improvement over Krivine's bound. One question in \cite{BMMN} attempts to determine the Grothendieck constant through alternating Krivine rounding schemes arising from König's bilinear form in high dimension. More recently, Li et al.~\cite{LISK} constructed high-dimensional examples showing that $\mathfrak K_{\mathrm K}\ge 0.59357$. An elementary Fourier argument gives $\mathfrak K_{\mathrm K}\le 1$ and excludes equality for every finite-dimension. In this paper, we prove that $\mathfrak K_{\mathrm K}=1$ by constructing a family of Boolean pairs in high dimensions. In particular, this gives a negative answer to the high-dimensional aspect of the question in \cite{BMMN}.

math.FA↗

arXiv2026

Tightness of and counterexamples to several quantum estimates

We prove here several tightness results for such quantum inequalities as the comparison of operator norm and product norm of $d$-local hamiltonians, Bohnenblust--Hille inequality for $d$-local hamiltonians and for quantum Fourier entropy-influence conjecture, we also discuss the quantum Aaronson--Ambainis conjecture in a special case of anti-commuting Pauli strings.

math.AP↗

arXiv2026

RL-Lock: Reinforcement Learning for Generating Interlocking Assemblies

An interlocking assembly is an assembly in which component parts are connected purely through their geometric arrangement, without relying on external connectors such as glue and nails. Such assemblies have been widely used in a variety of real-world applications due to their structural stability. The problem of generating interlocking assemblies is generally formulated as a shape decomposition problem, where a target 3D object represented as a voxel grid is partitioned into a prescribed number of interlocking pieces. We observe that generating interlocking assemblies is inherently a sequential decision-making problem, where an agent repeatedly decides which piece each voxel should be assigned to. Inspired by the observation, we propose the first reinforcement learning framework RL-Lock for generating interlocking assemblies, without relying on handcrafted search heuristics as existing works did. RL-Lock combines structured action chunking with MCTS-guided policy-value learning to efficiently navigate the large combinatorial search space for interlocking assembly generation. We demonstrate through experiments that RL-Lock allows effective generation of interlocking assemblies, especially for challenging cases in which existing approaches take too long or even fail to find a valid solution.

cs.AI↗

arXiv2026

Sharp hypercontractivity for free group von Neumann algebras

In this paper, we settle the problem of optimal hypercontractivity for free group von Neumann algebras. Namely, for $n\ge 2$ and the free group $\mathbb{F}_n$ on $n$ generators, we prove that for any $1<p\le q<\infty$, the Poisson semigroup $P_t$ associated with the word-length function satisfies $$ \|P_t:L_p(\widehat{\mathbb{F}_n})\to L_q(\widehat{\mathbb{F}_n})\|\le 1 \qquad\text{ if and only if }\qquad t\ge \frac{1}{2}\log \frac{q-1}{p-1}. $$ The main idea is to apply a refined cubic majorant estimate from a recent work of Frank and Ivanisvili \cite{FrankIvanisvili2026} to the equivalent logarithmic Sobolev inequality, and use the Haagerup-type cancellation estimate \cite{Haagerup1979}. Similar ideas and techniques extend to free products \[ G=\left(*_{α\in A}\mathbb Z\right)*\left(*_{β\in B}\mathbb Z_2\right) \] and the free Gaussian von Neumann algebras. In the former setting, partial sharp estimates were previously obtained by Junge--Palazuelos--Parcet--Perrin--Ricard \cite{JungePalazuelosParcetPerrinRicard2015}; in the latter, our approach recovers Biane's free hypercontractivity theorem \cite{Biane1997}.

math.OA↗

arXiv2026

SWE-NFI: Studying and Benchmarking Coding Agents for Non-Functional Improvements

Although coding agents have achieved impressive performance on correctness-oriented benchmarks, their ability to make behavior-preserving non-functional improvements (NFIs) remains underexplored. In real-world software development, developers continuously improve software quality without changing observable behavior, yet existing benchmarks primarily evaluate functional correctness and provide limited support for assessing these non-functional improvements. In this paper, we present SWE-NFI, a benchmark for evaluating coding agents on NFIs beyond functional correctness. Our benchmark contains 188 tasks constructed from real merged pull requests in open-source Python projects. We operationalize developer-oriented NFIs into 92 executable rules and develop a comprehensive evaluation suite that combines functional correctness testing with rule-based NFI evaluation. We evaluate state-of-the-art commercial and open-source coding agents. Although the best-performing agent achieves a 70.0\% functional correctness rate, all evaluated agents generally fall short of human developers in overall NFI capability. The gap is particularly evident for structural code improvements, where agents' NFI scores range from 0.0 to 1.3, compared with 1.5 for the human reference. Our benchmark and findings provide a reproducible foundation for evaluating and advancing coding agents beyond functional correctness.

cs.SE↗

arXiv2026

ArenaRL: Scaling RL for Open-Ended Agents via Tournament-based Relative Ranking

Reinforcement learning has substantially improved the performance of LLM agents on tasks with verifiable outcomes, but it still struggles on open-ended agent tasks with vast solution spaces (e.g., complex travel planning). Due to the absence of objective ground-truth for these tasks, current RL algorithms largely rely on reward models that assign scalar scores to individual responses. We contend that such pointwise scoring suffers from an inherent discrimination collapse: the reward model struggles to distinguish subtle advantages among different trajectories, resulting in scores within a group being compressed into a narrow range. Consequently, the effective reward signal becomes dominated by noise from the reward model, leading to optimization stagnation. To address this, we propose ArenaRL, a reinforcement learning paradigm that shifts from pointwise scalar scoring to intra-group relative ranking. ArenaRL introduces a process-aware pairwise evaluation mechanism, employing multi-level rubrics to assign fine-grained relative scores to trajectories. Additionally, we construct an intra-group adversarial arena and devise a tournament-based ranking scheme to obtain stable advantage signals. Empirical results confirm that the built seeded single-elimination scheme achieves nearly equivalent advantage estimation accuracy to full pairwise comparisons with O(N^2) complexity, while operating with only O(N) complexity, striking an optimal balance between efficiency and precision. Furthermore, to address the lack of full-cycle benchmarks for open-ended agents, we build Open-Travel and Open-DeepResearch, two high-quality benchmarks featuring a comprehensive pipeline covering SFT, RL training, and multi-dimensional evaluation. Extensive experiments show that ArenaRL substantially outperforms standard RL baselines, enabling LLM agents to generate more robust solutions for complex real-world tasks.

cs.LG↗

arXiv2026

Single-laser stimulated Brillouin scattering microscopy

Stimulated Brillouin scattering (SBS) microscopy enables label-free mapping of local viscoelastic properties, but frequency-domain implementations are often limited by uncertainty in the pump-probe frequency-difference axis. We demonstrate an RF-defined single-laser electro-optic-modulation SBS microscope in which the pump and probe are derived from the same optical carrier and their frequency difference is set by an electro-optically generated sideband. This architecture makes laser-frequency noise largely common mode and eliminates optical wavelength tuning during spectral scanning. It achieves Brillouin frequency shift and linewidth precisions of 0.07 MHz and 0.30 MHz, respectively. Comparison with a low-NA reference linewidth indicates a system-level spectral broadening of approximately 3.1 MHz, corresponding to an effective spectral resolution of approximately 3 MHz. Imaging of femtosecond-laser-modified chalcogenide glass resolves MHz-level Brillouin contrasts corresponding to 10^-4-level apparent longitudinal-modulus contrast. This work demonstrates the feasibility of transferring the frequency definition of SBS spectral scanning from optical wavelength tuning to RF-domain control, providing a new conceptual and technical basis for high-precision, high-spectral-fidelity Brillouin imaging.

physics.optics↗

arXiv2026

Channel Adoption Pathways and Post-Adoption Behavior

The rapid growth of digital shopping channels has led many traditional retailers to invest in e-commerce websites and mobile apps. While prior research shows that multichannel customers are more valuable, it overlooks how the motive for adopting a new channel shapes post-adoption behavior. Using transaction-level data from a major Brazilian pet supplies retailer, we study offline-only consumers who adopt online shopping through four pathways: organic adoption, the COVID-19 pandemic, Black Friday promotions, and a loyalty program. Using consumer-level panel data and difference-in-differences estimates, we examine how these pathways are associated with post-adoption spending, profitability, and channel usage. We find that all adopters spend more than comparable offline-only consumers, but their post-adoption behavior differs systematically by adoption pathway. Promotion-driven adopters exhibit patterns consistent with forward buying and lower subsequent profitability, whereas COVID adopters display stronger offline persistence consistent with consumer inertia and habit persistence. These findings suggest that managers may benefit from accounting for adoption-pathway heterogeneity when forecasting customer lifetime value and assessing the breakeven and ROI of promotions designed to induce online adoption.

econ.GN↗

arXiv2026

A Beckmann boundary form of Talagrand's conjecture on the discrete cube

We introduce the Beckmann boundary of a Boolean function \[ \mathsf{B}(f)=\inf_{\operatorname{div} V=Lf}\mathbb E\|V(x)\|_2. \] Here \[ L=\sum_iD_i,\qquad D_i f(x)=\frac{f(x)-f(x^{\oplus i})}{2}, \] and $\operatorname{div} V(x)=\sum_i (V_{i}(x)-V_{i}(x^{\oplus i}))$. This nonlocal quantity is no larger than the usual two-sided, one-sided, colored, optimized colored, or optimized fractional colored boundaries. Nevertheless, every nonconstant Boolean $f$ satisfies \[ \mathsf{B}(f)\gtrsim \operatorname{Var}(f) \sqrt{\log\!\left(1+\frac{1}{\sum_i\operatorname{Inf}_i(f)^2}\right)}. \] We also prove strong one-sided fractional spectral estimates. If $A\subset\{-1,1\}^n$ and \[ h_{A}(x)=\#\{i:x\in A,\ x^{\oplus i}\notin A\}, \] then, for $0<α<1$, \[ \sum_{S\ne\varnothing}|S|^α\widehat{\mathbf 1_{A}}(S)^2 \lesssim_α\mathbb Eω_α(h_{A}), \] where $ω_α(m)=\sqrt m$ for $α<1/2$, $ω_{1/2}(m)=\sqrt m\log(e+m)$, and $ω_α(m)=m^α$ for $α>1/2$. These profiles are sharp, up to $α$-dependent constants, for majority. We also show that the comparison is genuinely nonreversible: an explicit quotient-cube family makes the optimized fractional, and hence optimized colored, boundary exceed $\mathsf{B}$ by a factor $\gtrsim\sqrt{\log n}$. We further obtain a driftless Bernstein-multiplier inequality.

math.CA↗

arXiv2026

Decoding Hidden Deception in Reasoning LLMs: Activation Explainers for Deception Auditing

As LLMs acquire stronger reasoning capabilities, deceptive behavior becomes an increasingly serious safety concern. Existing deception monitors either score visible transcripts or derive scalar probe scores from representation vectors, leaving little inspectable evidence about why a response is suspicious. We introduce STATEWITNESS, an activation explainer for deception auditing. A separate decoder reads a target model's hidden states, then answers natural-language queries or emits structured reports about them. We evaluate STATEWITNESS on two target reasoning LLMs across seven deception datasets. STATEWITNESS reaches 0.916 mean AUROC, a relative gain of 11.6% over the best black-box text monitor and 25.0% over the best activation-probe baseline under the same evaluation protocol. When combined with existing monitors, STATEWITNESS reduces missed deceptive examples in simple threshold ensembles. Beyond scalar detection, the decoder returns query-level answers, schema reports, and token- or sentence-level evidence traces for human inspection. We view this interface as a potential building block for broader interpretability and alignment tools.

cs.CL↗

arXiv2026

DDOR: Delta Debugging for Explainable Overrefusal Testing and Repair

While safety alignment and guardrails help large language models (LLMs) avoid harmful outputs, they can also induce overrefusal, i.e., unwarranted rejection of benign queries that merely appear risky. We present DDOR (Delta Debugging for OverRefusal), a fully automated and explainable framework for overrefusal testing and repair in a black-box setting, where only model inputs and outputs are accessible and internal safety mechanisms remain opaque. DDOR applies delta debugging to localize minimal refusal-triggering fragments (mRTFs) that provide phrase-level, explainable evidence for why a refusal occurs. Conditioned on these mRTFs, DDOR generates diverse, context-rich prompts and performs multi-oracle validation to filter intrinsically unsafe or ambiguous cases, producing scalable and model-specific overrefusal test suites (approximately 1K cases per model). Beyond evaluation, we further leverage localized mRTFs to perform targeted prompt repair, substantially reducing overrefusal while preserving the original intent and maintaining safety on genuinely harmful inputs. Overall, DDOR offers a practical end-to-end solution to both evaluate and mitigate overrefusal, improving LLM usability without sacrificing safety.

cs.SE↗

arXiv2026

Proof of the Holevo--Utkin conjecture on sharp $\ell_p$ norms for zero-sum vectors

Let $d\ge 3$ and $p>0$. Let $\|x\|_p$ denote the $\ell_p$ (quasi-)norm of a $d$-dimensional vector $x$. Holevo and Utkin \cite{HU26} conjectured that for $0<p\le 1$, \[ \min \left\{\frac{\|x\|_p}{\|x\|_2}:\vec{0}\neq x\in\mathbb R^d,\ \sum_{i=1}^d x_i=0\right\} =2^{1/p-1/2}; \] for $1<p<2$, \[ \min \left\{\frac{\|x\|_p}{\|x\|_2}:\vec{0}\neq x\in\mathbb R^d,\ \sum_{i=1}^d x_i=0\right\} = \min\left\{2^{1/p-1/2},\left(\frac{(d-1)^{p/2}+(d-1)^{1-p/2}}{d^{p/2}}\right)^{1/p}\right\}; \] and for $2<q<\infty$ \[ \max\left\{\frac{\|x\|_q}{\|x\|_2}:\vec{0}\neq x\in\mathbb R^d,\ \sum_{i=1}^d x_i=0\right\} = \max\left\{2^{1/q-1/2},\left(\frac{(d-1)^{q/2}+(d-1)^{1-q/2}}{d^{q/2}}\right)^{1/q}\right\}. \] They proved the $d=3$ case in \cite{HU26}. In this paper, we confirm the conjecture of the remaining cases $d\ge 4$.

math.CA↗

arXiv2026

Disentangled Learning Improves Implicit Neural Representations for Medical Reconstruction

Implicit neural representations (INRs) have emerged as a powerful paradigm for medical imaging via physics-informed unsupervised learning. Classical INRs optimize an entire network from scratch for each subject, leading to inefficient training and suboptimal imaging quality. Recent initialization-based approaches attempt to inject population priors into pre-trained networks, yet they rely on high-quality images and often suffer from catastrophic forgetting during fine-tuning. We present DisINR, a novel INR framework that explicitly disentangles shared and subject-specific representations. DisINR introduces a shared encoder-decoder pair and subject-specific encoders, whose features are jointly decoded for image reconstruction. By integrating differentiable forward models, it pre-trains the shared modules directly from limited raw measurements, removing the need for pre-acquired high-quality images. During test-time adaptation, only the subject-specific encoder is optimized, while the shared pair remains frozen, effectively preserving learned priors. Extensive evaluations on three representative medical imaging tasks show that DisINR significantly outperforms state-of-the-art INRs in both reconstruction accuracy and efficiency.

cs.CV↗

arXiv2026

LLM-VA: Resolving the Jailbreak-Overrefusal Trade-off via Vector Alignment

Safety-aligned LLMs suffer from two failure modes: jailbreak (answering harmful inputs) and over-refusal (declining benign queries). Existing vector steering methods adjust the magnitude of answer vectors, but this creates a fundamental trade-off -- reducing jailbreak increases over-refusal and vice versa. We identify the root cause: LLMs encode the decision to answer (answer vector $v_a$) and the judgment of input safety (benign vector $v_b$) as nearly orthogonal directions, treating them as independent processes. We propose LLM-VA, which aligns $v_a$ with $v_b$ through closed-form weight updates, making the model's willingness to answer causally dependent on its safety assessment -- without fine-tuning or architectural changes. Our method identifies vectors at each layer using SVMs, selects safety-relevant layers, and iteratively aligns vectors via minimum-norm weight modifications. Experiments on 12 LLMs demonstrate that LLM-VA achieves 11.45% higher F1 than the best baseline while preserving 95.92% utility, and automatically adapts to each model's safety bias without manual tuning. Code and models are available at https://hotbento.github.io/LLM-VA-Web/.

cs.LG↗

arXiv2026

The Boolean surface area of polynomial threshold functions

Polynomial threshold functions (PTFs) are an important low-complexity class of Boolean functions, with strong connections to learning theory and approximation theory. Recent work on learning and testing PTFs has exploited structural and isoperimetric properties of the class, especially bounds on average sensitivity, one of the central themes in the study of PTFs since the Gotsman--Linial conjecture. In this work we study PTFs through the lens of the Boolean surface area (or Talagrand boundary) \[ \mathbf{BSA}[f]=\mathbb{E}|\nabla f|=\mathbb{E}\sqrt{s_{f}(x)}, \] a natural measure of vertex-boundary complexity on the discrete cube. Our main result is that every degree-$d$ PTF has polylogarithmic Boolean surface area: \[ \mathbf{BSA}[f]\le C_d(\log(en))^{C_d}. \] The proof is based on the PTF Restriction Lemma of Kabanets, Kane, and Lu \cite{KKL2017} and proceeds through a tail bound for the pointwise sensitivity. In particular, it controls all subcritical fractional moments of the sensitivity. We also record a random block partition principle for Boolean surface area and an alternative recursive argument following Kane's work \cite{DK} on average sensitivity, which independently yields the weaker bound \[ \mathbf{BSA}[f]\le \exp(C_d\sqrt{\log n}). \]

cs.CC↗