arXiv subjects

Sam Looi

Publications and source records attributed to Sam Looi.

11 recordsLinked to original sources

arXiv2026

Positive Toeplitz operators on pluriharmonic Fock spaces: Schatten class criteria, sharp norm comparisons, and generalized weights

Let $\mu$ be a positive Borel measure on $\mathbb C^n$. We prove that, for every $0 0$. For $n\geq2$, this resolves a conjecture of Jaguzovi'c and Vujadinovi'c, and the range $0<p<1$ is new in every dimension. Writing $T_\mu$ for the corresponding holomorphic Toeplitz operator, we obtain the sharp estimates $$\|T_\mu\|_{S_p}^p \leq \|T_\mu^{\mathrm{ph}}\|_{S_p}^p \leq 2^{\max\{1,p\}} \|T_\mu\|_{S_p}^p. $$ We also prove a sharp comparison with constant two in every symmetrically normed ideal and an exact trace formula, using positivity and a $2\times2$ block decomposition whose diagonal blocks are $T_\mu$ and an antiunitary copy of its compression to the functions orthogonal to constants. We then consider generalized Fock weights satisfying $m \, dd^c|z|^2\le dd^c\phi\le M \, dd^c|z|^2$. For the canonical holomorphic and antiholomorphic direct sum norm, the same Schatten and symmetrically normed ideal estimates hold. For the norm inherited from $L^2(\mathbb C^n,e^{-2\phi}dV)$, the local mass criterion also holds whenever $e^{-2\phi}$ is comparable to a generalized Fock weight invariant under the scalar circle action. Without further assumptions, the local mass criterion can fail for the inherited norm: in one complex dimension, we construct a weight of the form $\phi(z)=|z|^2/2+\operatorname{Re}q(z)$, with $q$ entire, and a finite positive measure whose local masses belong to every $L^p$, although the Toeplitz form on the inherited pluriharmonic space is unbounded.

math.FA↗

arXiv2026

When the Berezin transform fails to detect compactness: Toeplitz operators with $L^1$ symbols on weighted Bergman spaces

For every $n\geq1$ and $\gamma>-1$, we construct $f\in L^1(\mathbb B_n,dv_\gamma)$ whose Toeplitz form extends to a bounded, noncompact operator on the weighted Bergman spaces $A^2_\gamma(\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↗

arXiv2026

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↗

arXiv2026

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↗

arXiv2026

Positive Berezin liminf does not imply essential positivity for radial Toeplitz operators on Bergman and Fock spaces

We study whether essential positivity \[ \sigma_{\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\"al\"a 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\"al\"a--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↗

arXiv2026

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\mu)$ such that $gk_a\in L^2(d\mu)$ for every normalized reproducing kernel $k_a$, and the associated Toeplitz form extends to a bounded operator on $H^2(\mathbb C^n,d\mu)$, 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↗

arXiv2026

Unbounded symbols, heat flow, and Toeplitz operators

We disprove the natural domain extension of the Berger--Coburn heat-flow conjecture for Toeplitz operators on the Bargmann space and identify the failure mechanism as a gap between pointwise and uniform control of a Gaussian averaging of the squared modulus of the symbol, a gap that is invisible to the linear form $T_g$. We establish that the form-defined operator $T_g$ and the natural-domain operator $U_g$ decouple in the unbounded symbols regime: while $T_g$ is governed by linear averaging, $U_g$ is controlled by the quadratic intensity of $|g|^2$. We construct a smooth, nonnegative radial symbol $g$ satisfying the coherent-state admissibility hypothesis with bounded heat transforms for all time $t>0$; for this symbol, $T_g$ is bounded, yet $U_g$ is unbounded. This is a strictly global phenomenon: under the coherent-state hypothesis, local singularities are insufficient to cause unboundedness, leaving the ``geometry at infinity'' as the sole obstruction. Boundedness of $U_g$ is equivalent to the condition that $|g|^2 d\mu$ is a Fock--Carleson measure, a condition strictly stronger than the linear average $g d\mu$ governing $T_g$. Finally, regarding the gap between the known sub-critical sufficiency condition and the critical heat time, we prove that heat-flow regularity is irreversible in this context and show that bootstrapping strategies cannot resolve the gap between sufficiency and critical time.

math.FA↗

arXiv2025

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 $\alpha$ and the one-sided limiting curvatures $\kappa_{\pm}$ of the adjacent arcs. In the Dirichlet case, the curved-corner contribution has the form $C_{1/2}(\alpha,\kappa_+,\kappa_-) = c_{1/2}(\alpha)\frac{\kappa_+ + \kappa_-}{4\sin(\alpha/2)}$, with $c_{1/2}(\alpha)$ given by an explicit sector heat kernel integral. We determine its sign for every $0<\alpha<2\pi$. 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\'omez-Serrano.

math.SP↗

arXiv2025

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_\alpha(g^{\alpha\beta}\partial_\beta), \] 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↗

arXiv2024

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\'olya 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↗

arXiv2024

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) \, \phi^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 $\phi(t, x) = c \, t^{-2} + \mathcal{O}(t^{-3+})$. For higher-order nonlinearities $a(t,x) \, \phi^p$ with $p \geq 4$, we prove the solution satisfies $\phi(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↗