A short proof of the complete Crouzeix inequality in dimension three
We give a short proof of the complete Crouzeix inequality with sharp constant $2$ for matrices of dimension at most three.
math.FA↗
arXiv subjects
Sam Looi
Publications and source records attributed to Sam Looi.
Comparing positive Toeplitz operators on holomorphic and pluriharmonic Fock spaces
We prove sharp norm comparisons between positive Toeplitz operators associated with the same positive Borel measure, acting respectively on holomorphic functions and on sums of holomorphic and antiholomorphic functions, both equipped with the Gaussian-weighted $L^2$ norm. For every positive Borel measure $μ$ on $\mathbb{C}^n$ and $0 0$. For other weights, this agreement can fail dramatically. We construct a weight $e^{-2ϕ}$ and a finite positive measure $μ$ on $\mathbb{C}$ for which the operator on holomorphic functions has the same singular values as with the Gaussian weight and the same measure $μ$. These values have summable $p$th powers for every $p>0$, yet the quadratic form on sums of holomorphic and antiholomorphic functions is unbounded in weighted $L^2$. The example still satisfies $Δϕ=2$, as for the Gaussian choice $ϕ(z)=|z|^2/2$.
math.FA↗
Bounded symbols and one-component geometry
We prove that every bounded truncated Toeplitz operator on a Hardy model space admits a bounded symbol if and only if its defining inner function is one-component, meaning that it has a connected sublevel set at some level in $(0,1)$. This resolves the bounded symbol conjecture of Baranov, Chalendar, Fricain, Mashreghi and Timotin and, through known equivalences, the embedding and weak factorization conjecture of Baranov, Bessonov and Kapustin. A uniform bound $R$ for the ratio of least bounded symbol norm to operator norm on the rank-one family associated with point evaluation in the disk already forces this geometry. The corresponding bound for all bounded truncated Toeplitz operators is at most $CR\log(e+R)$, where $C$ is absolute, and the logarithmic factor is optimal. In a nonzero de Branges space, the same geometric condition characterizes when every sufficiently small equivalent change of norm preserving the de Branges structure is represented exactly by reweighting the original integral with a positive density bounded above and away from zero. This characterization remains valid when the norm changes are restricted to discrete sampling norms. Outside the one-component class, every model space admits self-adjoint trace class truncated Toeplitz operators without bounded symbols, with arbitrarily small norm and singular values satisfying any prescribed positive upper bounds.
math.FA↗
A proof of Onsager's Conjecture for the SQG equation
We construct solutions to the SQG equation that fail to conserve the Hamiltonian while having the maximal allowable regularity for this property to hold. This result solves the generalized Onsager conjecture on the threshold regularity for Hamiltonian conservation for SQG. We also prove nonuniqueness for arbitrary smooth data and an h-principle result.
math.AP↗
Stability of isometries of quantum states
We prove dimension-independent Hyers--Ulam stability for surjective approximate isometries of the positive trace-class cone in both the trace and Bures metrics. Here $\varepsilon\geq0$ is a uniform upper bound on the additive error in preserving distances. Such an approximate isometry is uniformly approximated by a Wigner symmetry (a unitary or antiunitary conjugation), with error at most $9\varepsilon/2$ in the trace metric and $2\sqrt2\varepsilon$ in the Bures metric, even if it does not fix zero. For maps fixing zero, the trace bound improves to $3\varepsilon$ even under the hypothesis of $δ$-surjectivity, independently of $δ$. In infinite dimensions, we construct spectrum-preserving homeomorphisms of the full state space, including mixed states, whose distortions tend to zero in both metrics but which stay a fixed uniform distance from every Wigner symmetry. For state spaces, stability holds in each fixed finite dimension with a dimension-dependent modulus tending to zero as $\varepsilon\to0$, but no such modulus can be chosen independently of dimension.
math.FA↗
Bounded Toeplitz operators and unbounded projected multiplication
We construct a smooth, nonnegative radial symbol $g$ on $\mathbb C$ whose Toeplitz operator on Bargmann--Fock space is positive with singular values decaying faster than every exponential, while projected multiplication $f\mapsto P(gf)$ has no bounded extension from the ambient Gaussian $L^2$ space. All heat transforms of $g$ at positive times are Schwartz functions, and $g\in L^p(dA)$ for every $0<p<2$. We also construct smooth real symbols realizing every possible set of heat boundedness times. Any prescribed positive threshold may be included or excluded, with Schwartz transforms at every later time. All these symbols satisfy the coherent state domain condition, and all heat integrals converge absolutely.
math.FA↗
When the Berezin transform fails to detect compactness: Toeplitz operators with $L^1$ symbols on weighted Bergman spaces
For every $n\geq1$ and $γ>-1$, we construct $f\in L^1(\mathbb B_n,dv_γ)$ whose Toeplitz form extends to a bounded, noncompact operator on the weighted Bergman spaces $A^2_γ(\mathbb B_n)$ and whose Berezin transform vanishes at the boundary. Boundary vanishing of the Berezin transform therefore does not imply compactness for Toeplitz operators with integrable symbols, in contrast with operators in the Toeplitz algebra generated by bounded symbols; this answers a question of Bauer and Isralowitz. The construction approximates rank-one operators in norm by Toeplitz operators with smooth, compactly supported symbols and transports suitably separated blocks toward the boundary. On the unweighted disk, a diagonal version produces a real symbol with the same vanishing and noncompactness properties, for which the operator is positive and Zorboska's two-sided localization condition holds at $p=3$. Her hypothesis $p>3$ is shown to be sharp.
math.FA↗
Learning to Coordinate Symbolic Tools: LLM Agents for Verified Sum-of-Squares Certificates
Tool calling allows large language models (LLMs) to invoke external computation during problem solving, a useful capability in various fields including AI for mathematics. We study this setting through weighted sum-of-squares (SOS) decomposition, a machine-checkable route to proving polynomial nonnegativity and hence polynomial inequalities. A candidate decomposition can be checked exactly, but finding one requires choosing among non-unique regroupings and coordinating multiple symbolic transformations. We develop an agent that combines algebraic task training, symbolic tools, and verifier-grounded optimization for this task. Rather than training only on the composite SOS task, we construct 1.35 million synthetic examples covering eight supporting polynomial tasks together with weighted-SOS decomposition. We first apply supervised fine-tuning (SFT) to direct algebra problems and simulated symbolic traces, and then use Group Relative Policy Optimization (GRPO) with task-specific symbolic rewards. The SFT corpus contains no native tool-calling messages; at evaluation, the agent uses native SymPy calls for expansion, collection, reordering, and factorization. Every final SOS answer is checked by exact expansion and coefficient comparison. On held-out, same-generator synthetic problems, the full SFT+GRPO+tools system is the strongest of four evaluated configurations, reaching 78.96% verified success on weighted SOS, compared with 44.73% for the base model with the same tools, and 91.75% macro accuracy across nine polynomial tasks. Within this controlled setting, our work provides a case study of combining domain-specific skill training, executable tools, and verifier feedback, and may inform the design of tool-calling agents in other domains with exactly checkable outputs.
cs.AI↗
Human agency in initial human-AI proof formalization workflows
For centuries, human mathematicians have written proofs to substantiate their mathematical arguments; yet, the ability to automatically verify the validity of proofs has long been a challenge. Advances in AI systems' ability to generate code and engage in increasingly high-level mathematical reasoning promise to transform people's ability to formalize and thereby verify proofs. While many works focus on benchmarking the current frontier, we instead study how people use these tools and apply agency in doing so. We conduct a mixed-methods analysis into the initial impact of AI on people's formalization workflows: what people claim they want, what they see as the barriers to those visions, and how they actually use and adapt AI in practice. A qualitative survey reveals that people's preferences are diverse, but with a general desire for AI assistance in formalization that preserves high-level human control and agency over the proof discovery process. To assess how people actually engage with AI for formalization, we conduct a controlled user study in which participants formalize informal math problems and their proofs, with and without AI, across a range of mathematical problems at varying levels of difficulty and domains. Despite limitations of the tools at the time for autoformalization, participants tended to attain higher formalization accuracy when allowed access to AI tools than when formalizing on their own, with most participants flexibly choosing to use multiple different AI tools. Taken together, our work sheds light on the early stages of AI integration into formalization workflows, involving an intimate interplay of human agency and AI engagement.
cs.AI↗
The heat trace for domains with curved corners
The heat trace of a planar polygon contains corner terms depending only on the opening angles, while the heat trace of a smooth planar domain contains curvature terms along the boundary. We show that, for curvilinear polygons, these two phenomena first interact at order $t^{1/2}$. We compute this first corner-curvature heat invariant and prove a sharp sign law for its Dirichlet angular factor: its sign is determined solely by whether the corner is convex or reflex. More precisely, we derive the local heat trace expansion through order $t^{1/2}$, for both Dirichlet and Neumann boundary conditions. The new coefficient decomposes into the usual smooth-boundary contribution and a sum of local curved-corner terms, each depending only on the interior angle $α$ and the one-sided limiting curvatures $κ_{\pm}$ of the adjacent arcs. In the Dirichlet case, the curved-corner contribution has the form $C_{1/2}(α,κ_+,κ_-) = c_{1/2}(α)\frac{κ_+ + κ_-}{4\sin(α/2)}$, with $c_{1/2}(α)$ given by an explicit sector heat kernel integral. We determine its sign for every $0<α<2π$. The sign law has a spectral consequence: it gives a new obstruction to a curvilinear polygon being Dirichlet-isospectral to a straight-sided polygon. In particular, every convex curvilinear polygon Dirichlet-isospectral to a straight-sided polygon must itself be straight-sided, removing the assumption of straight corners from the theorem of Enciso and Gómez-Serrano.
math.SP↗
Asymptotic expansions for semilinear waves on asymptotically flat spacetimes
We establish precise asymptotic expansions for solutions to semilinear wave equations with power-type nonlinearities on asymptotically flat spacetimes. Our analysis focuses on two key cases: cubic nonlinearities and higher-order power nonlinearities. For cubic nonlinearities of the form $a(t,x) \, ϕ^3$, we prove asymptotic expansions for the solution globally in the spacetime. In the special case of compact spatial regions, solutions exhibit the asymptotic behavior $ϕ(t, x) = c \, t^{-2} + \mathcal{O}(t^{-3+})$. For higher-order nonlinearities $a(t,x) \, ϕ^p$ with $p \geq 4$, we prove the solution satisfies $ϕ(t, x) = d \, t^{-3} + \mathcal{O}(t^{-4+})$, thereby extending the classical Price's law (a late-time tail postulated in 1972) to nonlinear settings in a precise fashion. These results sharpen previous decay estimates for nonlinear waves. We develop a radiation field expansion and a low-energy resolvent expansion adapted to conormal asymptotic inputs, extending Hintz's approach for linear waves to the semilinear setting. Our methods connect geometric microlocal analysis (b-calculus) with classical physical-space techniques, providing a convenient tool for analyzing asymptotic behavior of nonlinear waves.
math.AP↗
Quantitative Scattering for the Energy-Critical Wave Equation on Asymptotically Flat Spacetimes
We prove quantitative scattering for the three-dimensional defocusing energy-critical quintic wave equation on a class of asymptotically flat, possibly non-stationary perturbations of Minkowski space, by establishing the first explicit global $L^8_{t,x}$ bound in this variable-coefficient setting. Earlier work in this setting proved scattering only qualitatively. For \[ Pu=u^5,\qquad P=\partial_α(g^{αβ}\partial_β), \] we show that, under smallness, decay, and regularity assumptions on the metric, and assuming a priori $\dot H^5\times\dot H^4$ and $L^2\times\dot H^{-1}$ bounds on the solution, the critical spacetime norm $\|u\|_{L^8_{t,x}(\mathbb R\times\mathbb R^3)}$ satisfies an explicit exponential-type estimate in terms of the energy and the a priori bound. This upgrades the qualitative scattering theory in this setting to a quantitative one. The main difficulty is to control geometric error terms over long times. We handle this by splitting the Duhamel history into recent past and remote past. For the recent past, we prove a variable-coefficient interaction Morawetz estimate that yields, on every sufficiently long interval, a time at which the recent nonlinear contribution is small. For the remote past, we prove a dispersive estimate from integrated local energy decay together with a transfer of pointwise decay from large radius to large time. Combining these estimates gives the explicit global $L^8_{t,x}$ bound.
math.AP↗
Positive Berezin liminf does not imply essential positivity for radial Toeplitz operators on Bergman and Fock spaces
We study whether essential positivity \[ σ_{\mathrm{ess}}(T_f)\subset [0,\infty) \] of a radial Toeplitz operator on Bergman and Fock spaces can be detected from the asymptotic behavior of its Berezin transform. For bounded real-valued radial symbols on $A^2(\mathbb{D})$, Perälä and Virtanen conjectured that \[ \liminf_{|z|\to 1^-} \widetilde{f}(z)\ge 0 \] should be equivalent to essential positivity, and they asked the analogous question on Fock space. Such a criterion would turn a spectral question into a scalar asymptotic test. We prove that this fails even in the radial setting in which the conjecture was formulated. For every complex dimension $d\ge 1$, we construct explicit bounded real-valued radial symbols on the Bergman spaces $A^2(\mathbb{B}_d)$ and the Fock spaces $F^2(\mathbb{C}^d)$ whose Berezin transform has strictly positive limit inferior at the boundary (respectively, at infinity), while the essential spectrum of the corresponding Toeplitz operator contains a negative point. In particular, this disproves the Perälä--Virtanen conjecture in its original one-dimensional Bergman form and answers the analogous Fock-space question negatively; more generally, the radial Berezin liminf criterion fails in all dimensions in both settings. The underlying reason is that, for radial symbols, the Toeplitz eigenvalue sequence and the Berezin transform are different asymptotic averages of the same oscillatory symbol, and these averages damp the oscillation by different amounts.
math.FA↗
A counterexample to the Berger--Coburn conjecture
Berger and Coburn proposed an endpoint boundedness criterion for Toeplitz operators on the Bargmann--Fock space in which the decisive quantity is the heat transform of the symbol at the borderline time $t=\tfrac14$, the time naturally singled out by the Weyl calculus under the Bargmann transform. We show that this criterion fails for general measurable symbols in every complex dimension $n\ge 1$. Concretely, we construct a measurable symbol $g\in L^2(\mathbb C^n,dμ)$ such that $gk_a\in L^2(dμ)$ for every normalized reproducing kernel $k_a$, and the associated Toeplitz form extends to a bounded operator on $H^2(\mathbb C^n,dμ)$, but the heat transform $g^{(1/4)}$ is unbounded on $\mathbb C^n$. The example is obtained by summing translated bounded "blocks" whose Toeplitz norms are summable while their $t=\tfrac14$ heat profiles have fixed size. The blocks are produced by combining a Hilbert--Schmidt estimate for Weyl quantization with the Bargmann correspondence between Weyl and Toeplitz operators.
math.FA↗
Data for Mathematical Copilots: Better Ways of Presenting Proofs for Machine Learning
The datasets and benchmarks commonly used to train and evaluate the mathematical capabilities of AI-based mathematical copilots (primarily large language models) exhibit several shortcomings and misdirections. These range from a restricted scope of mathematical complexity to limited fidelity in capturing aspects beyond the final, written proof (e.g. motivating the proof, or representing the thought processes leading to a proof). These issues are compounded by a dynamic reminiscent of Goodhart's law: as benchmark performance becomes the primary target for model development, the benchmarks themselves become less reliable indicators of genuine mathematical capability. We systematically explore these limitations and contend that enhancing the capabilities of large language models, or any forthcoming advancements in AI-based mathematical assistants (copilots or ``thought partners''), necessitates a course correction both in the design of mathematical datasets and the evaluation criteria of the models' mathematical ability. In particular, it is necessary for benchmarks to move beyond the existing result-based datasets that map theorem statements directly to proofs, and instead focus on datasets that translate the richer facets of mathematical research practice into data that LLMs can learn from. This includes benchmarks that supervise the proving process and the proof discovery process itself, and we advocate for mathematical dataset developers to consider the concept of "motivated proof", introduced by G. Pólya in 1949, which can serve as a blueprint for datasets that offer a better proof learning signal, alleviating some of the mentioned limitations.
cs.LG↗