1 citations · 1 across the 9 of their papers we have counts for
9 papers · 1 filter
Bounded symbols and one-component geometry
Sam Looi
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…
Stability of isometries of quantum states
Sam Looi
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\g…
Comparing positive Toeplitz operators on holomorphic and pluriharmonic Fock spaces
Sam Looi
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 hol…
When the Berezin transform fails to detect compactness: Toeplitz operators with symbols on weighted Bergman spaces
Sam Looi
For every and , we construct whose Toeplitz form extends to a bounded, noncompact operator on the weighted Bergman spaces $A^2_γ(\mathbb…
Learning to Coordinate Symbolic Tools: LLM Agents for Verified Sum-of-Squares Certificates
Bohan Chen, Shivam N. Patel, Richard Hoffmann +2
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…
Human agency in initial human-AI proof formalization workflows
Katherine M. Collins, Simon Frieder, Jonas Bayer +14
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…
Positive Berezin liminf does not imply essential positivity for radial Toeplitz operators on Bergman and Fock spaces
Sam Looi
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 beh…
A counterexample to the Berger--Coburn conjecture
Sam Looi
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 a…
Bounded Toeplitz operators and unbounded projected multiplication
Sam Looi
We construct a smooth, nonnegative radial symbol on whose Toeplitz operator on Bargmann--Fock space is positive with singular values decaying faster than every expo…