arXiv subjects

Mitchell A. Taylor

Publications and source records attributed to Mitchell A. Taylor.

At least 19 recordsLinked to original sources

arXiv2026

Grothendieck's theorem for Bessel sequences

We establish a sharp version of Grothendieck's theorem for Bessel sequences. Precisely, given a Bessel sequence $\{ x_j \}_{j\in\mathbb{N}}$ with Bessel bound $1$ in a Hilbert space, we show that there exists functions $\{ f_j \}_{j\in\mathbb{N}}$ belonging to the unit ball of $L^\infty([0,1])$ such that for all $j,k \in \mathbb{N}$ one has $$ \langle x_j,x_k\rangle = \int_0^1 f_j(x)\overline{f_k(x)}\,dx.$$ As an application, we give an affirmative answer to an extension problem of Olevskii: if $E \subset [0,1]$ is a Lebesgue measurable set such that $[0,1]\setminus E$ has positive measure, then every Bessel sequence in $L^2(E)$ with Bessel bound $1$ extends to an orthonormal system in $L^2([0,1])$ that is bounded by the (optimal) constant $\lambda([0,1]\setminus E)^{-1/2}$ on $[0,1]\setminus E$. A formalization of our main result in Lean 4 accompanies the paper.

math.FA↗

arXiv2026

Banach lattices and phase retrieval: A case study for the use of AI in mathematics

The ability of large language models to assist professional mathematicians has been progressing rapidly. Earlier this year, a group of researchers in Banach lattice theory and phase retrieval began incorporating this technology into their research workflows. Facing challenges about the reliability of these models, they also decided to couple the discovery process with Lean verification. Here, we present a case study of how this has led to a more united community and a deeper understanding of our field.

math.FA↗

arXiv2026

Gabor Frames of Totally Positive Functions: A Complete Characterization

We prove that the set of time-frequency shifts $\{e^{2\pi i \beta l t} g(t-\alpha k) : k,l \in \mathbb{Z}\}$ with a continuous, integrable totally positive function $g$ and lattice parameters $\alpha,\beta>0$ generates a frame for $L^2(\mathbb{R})$ if and only if $\alpha\beta<1$. This fully settles the so-called frame set problem for the class of totally positive functions. As a closely related result we prove a sharp Kadets-type theorem for every shift-invariant space generated by a continuous totally positive function. The proofs are based on Fredholm theory and limit-operator theory. A formalization of our main result in Lean 4 is also provided.

math.FA↗

arXiv2026

Cantor measures with odd base do not admit Fourier frames

We prove that the Cantor measure with base $b$ does not admit a Fourier frame whenever $b > 1$ is an odd integer. In particular, this answers a question of Strichartz on the existence of a Fourier frame for the middle third Cantor measure. A formalization of our main result in Lean 4 is also provided.

math.FA↗

arXiv2026

Stable Phase Retrieval for Spans of Independent Random Variables

We prove that, after $L^2$ normalization, stable phase retrieval holds over the $L^2$-spans of independent real-valued centered random variables if and only if all but possibly one coordinate satisfies a uniform two-sided $L^1$ bound. This provides a complete characterization of stable phase retrieval for such subspaces, building upon the pioneering work of Calderbank--Daubechies--Freeman--Freeman and confirming the conjectured characterization communicated to us by those authors. We provide two different proofs of this fact, both based on a decomposition of the $\ell^2$-coefficients of each random variable. The first is a compactness proof, which makes use of the infinite divisibility of limit laws of tail sums. The second is a quantitative proof, which substitutes the compactness step with an explicit dichotomy based on anticoncentration estimates of Sperner type. This latter proof was partially LLM generated based on the ideas in the first proof and a considerable amount of guidance by the authors. An autoformalization of our main result in Lean 4 is also provided, following the ideas in the quantitative proof.

math.FA↗

arXiv2026

On the existence problem of regular Gabor frames

For every dimension $d > 1$, we establish explicit criteria on lattices $\Lambda \subset \mathbb{R}^{2d}$ with density $D(\Lambda) > 1$ such that no function with a continuous Zak transform generates a Gabor frame along $\Lambda$. In particular, this gives a negative answer to the existence problem of Gabor frames with window functions in the Schwartz space, the Feichtinger algebra, and the Fourier-invariant Wiener space. Our result is based on a characterization of when a collection of quasiperiodic functions admits a common zero, which may be of independent interest. We also include a formalization of our main result in Lean 4.

math.FA↗

arXiv2026

$L^2$-Stability for STFT phase retrieval

We prove that the short-time Fourier transform with Gaussian window performs $L^2$-local stable phase retrieval at the constant function. The proof involved significant interplay between mathematicians and LLMs. An autoformalization in Lean 4 of an extension of our result to $L^2$-local stable phase retrieval for all Hermite windows and all elements in the finite span of the canonical basis vectors is also presented.

math.FA↗

arXiv2026

Coordinate systems in Banach spaces and lattices

Using methods of descriptive set theory, in particular, the determinacy of infinite games of perfect information, we answer several questions from the literature regarding different notions of bases in Banach spaces and lattices. For the case of Banach lattices, our results follow from a general theorem stating that (under the assumption of analytic determinacy), every $σ$-order basis $(e_n)$ for a Banach lattice $X=[e_n]$ is a uniform basis, and every uniform basis is Schauder. Moreover, the notions of order and $σ$-order bases coincide when $X=[e_n].$ Regarding Banach spaces, we address two problems concerning filter Schauder bases for Banach spaces, i.e., in which the norm convergence of partial sums is replaced by norm convergence along some appropriate filter on $\mathbb N$. We first provide an example of a Banach space admitting such a filter Schauder basis, but no ordinary Schauder basis. Secondly, we show that every filter Schauder basis with respect to an analytic filter is also a filter Schauder basis with respect to a Borel filter.

math.FA↗

arXiv2026

A Classification of Order Convergence via a Transfinite Fatou Hierarchy

We investigate the descriptive complexity of order convergence in separable Banach lattices. While uniform convergence is Borel and $σ$-order convergence is known to be ${\bf Δ}^1_2$, it is unclear in general when $σ$-order convergence is analytic. We introduce a transfinite hierarchy of weakenings of the classical Fatou property, indexed by countable ordinals, and show that it provides a complete structural classification of this definability problem. For a separable Banach lattice $X$, we prove that the following are equivalent: (i) the set of decreasing positive sequences with infimum zero is Borel; (ii) $σ$-order convergence is analytic; and (iii) $X$ satisfies the $α$-Fatou property for some countable ordinal $α$. We further establish that the hierarchy is proper: for every countable ordinal $α$ there exists a separable Banach lattice with a countable $π$-basis that fails to be $α$-Fatou, but is $β$-Fatou for some $β>α$. Thus the Borel definability of order convergence is governed by a canonical ordinal invariant intrinsic to the lattice, and the descriptive complexity can be arbitrarily high below $ω_1$. These results identify projective complexity as a genuine structural invariant in Banach lattice theory.

math.FA↗

arXiv2026

Banach lattices with upper $p$-estimates: Renorming and factorization

The notions of $p$-convexity and concavity are fundamental tools for studying Banach lattices, as they partition the class of Banach lattices into a scale of spaces with $L_p$-like properties. Upper and lower $p$-estimates provide a refinement of this scale, modeled by the Lorentz spaces $L_{p,\infty}$ and $L_{p,1}$, respectively. In this article, we provide a comprehensive treatment of Banach lattices with upper $p$-estimates. In particular, we show that many well-known theorems about $p$-convex Banach lattices have analogues in the upper $p$-estimate setting, including the ability to represent all such spaces inside of infinity sums of model spaces, to canonically factor the convex operators and identify their associated operator ideals, as well as to give a precise description of the free objects and push-outs. Proving these results is far from straightforward and will require the development of a variety of new tools that avoid convexification and concavification procedures. In fact, we will identify many fundamental differences between the theories of $p$-convexity and upper $p$-estimates, particularly with regards to isometric problems and renormings.

math.FA↗

arXiv2025

Cheeger's Constant for the Gabor Transform and Ripples

We discover a new instability mechanism for short-time Fourier transform phase retrieval which yields that for any reasonable window function $ϕ$ in any dimension $d$, the local stability constant $c(f)$ defined via \begin{equation*} \inf_{|λ|=1}\|f- λg\|_{M^p(\mathbb{R}^{d})}\leq c(f)\| |V_ϕf|-|V_ϕ g|\|_\mathcal{D}, \hspace{5mm} \forall g\in M^p(\mathbb{R}^d), \end{equation*} is infinite on a dense set of vectors for all weighted fractional Sobolev norms $\mathcal{D}$, up to the sharp maximal regularity level ensuring that the problem is well-defined. This, in particular, answers an open problem of Rathmair, who asked whether exponential concentration of the Gabor transform on $\mathbb{R}^2$ guaranteed a finite local stability constant. For the specific case of Gabor phase retrieval, we further show that there is a complementary dense set where the local stability constant on $\mathbb{R}^{2d}$ is finite. Our results extend and complement a series of fundamental stability theorems for Gabor phase retrieval which have been proven over the last ten years. Of particular note is the work of Grohs and Rathmair, who showed that for sufficiently strong weighted Sobolev norms $\mathcal{D}$ on $\mathbb{R}^{2d}$, the local stability constant for Gabor phase retrieval is bounded by the inverse of the Cheeger constant of the flat metric conformally multiplied by $|V_ϕf|$. As a consequence of our analysis, we determine two dense families of functions, one of which has associated Cheeger constant zero and the other strictly positive. We also revisit the stability problem for STFT phase retrieval on bounded subsets of the time-frequency plane, for more general windows, and for restricted signal classes, extending and simplifying many influential results in the literature.

math.CA↗

arXiv2025

The Cahill-Casazza-Daubechies problem on Hölder stable phase retrieval

Phase retrieval using a frame for a finite-dimensional Hilbert space is known to always be Lipschitz stable. However, phase retrieval using a frame or a continuous frame for an infinite-dimensional Hilbert space is always unstable. In order to bridge the gap between the finite and infinite dimensional phenomena, Cahill-Casazza-Daubechies (Trans.Amer.Math.Soc. 2016) gave a construction of a family of nonlinear subsets of an infinite-dimensional Hilbert space where phase retrieval could be performed with a Hölder stability estimate. They then posed the question of whether these subsets satisfied Lipschitz stable phase retrieval. We solve this problem both by giving examples which fail Lipschitz stability and by giving examples which satisfy Lipschitz stability.

math.FA↗

arXiv2025

Sharp bounds on the failure of the hot spots conjecture

The hot spots ratio of a domain $Ω\subset \mathbb{R}^d$ measures the degree of failure of Rauch's hot spots conjecture on that domain. We identify the largest possible value of this ratio over all connected Lipschitz domains $Ω\subset \mathbb{R}^d$, for any dimension $d$. As $d\to \infty$, we show that this maximal ratio converges to $\sqrt{e}$, which asymptotically matches the previous best known upper bound by Mariano, Panzo and Wang. For $d\ge 2$, we show that sets extremizing the hot spots ratio do not exist, and extremizing sequences must converge to a ball at a quantitative rate. We then give a sharp bound on the measure of the set for which the first Neumann eigenfunction exceeds its maximal boundary value. From this we deduce that the hot spots conjecture is asymptotically true "in measure'' as $d\to \infty$.

math.SP↗

arXiv2025

On sharp stable recovery from clipped and folded measurements

We investigate the stability of vector recovery from random linear measurements which have been either clipped or folded. This is motivated by applications where measurement devices detect inputs outside of their effective range. As examples of our main results, we prove sharp lower bounds on the recovery constant for both the declipping and unfolding problems whenever samples are taken according to a uniform distribution on the sphere. Moreover, we show such estimates under (almost) the best possible conditions on both the number of samples and the distribution of the data. We then prove that all of the above results have suitable (effectively) sparse counterparts. In the special case that one restricts the stability analysis to vectors which belong to the unit sphere of $\mathbb{R}^n$, we show that the problem of declipping directly extends the one-bit compressed sensing results of Oymak-Recht and Plan-Vershynin.

cs.IT↗

arXiv2025

On the optimal Sobolev threshold for evolution equations with rough nonlinearities

In this article we are concerned with evolution equations of the form \begin{equation*} \partial_tu-A(D)u=F(u,\overline{u},\nabla u, \nabla \overline{u}) \end{equation*} where $A(D)$ is a Fourier multiplier of either dispersive or parabolic type and the nonlinear term $F$ is of limited regularity. Our objective is to develop a robust set of principles which can be used in many cases to predict the \emph{highest} Sobolev exponent $s=s(q,d)$ for which the above evolution is well-posed in $W_x^{s,q}(\mathbb{R}^d)$ (necessarily restricting to $q=2$ for dispersive problems). We will confirm the validity of these principles for two of the most important model problems; namely, the nonlinear Schrödinger and heat equations. More precisely, we will prove that the nonlinear heat equation \begin{equation*} \partial_tu-Δu=\pm |u|^{p-1}u, \hspace{5mm} p>1, \end{equation*} is well-posed in $W_x^{s,q}(\mathbb{R}^d)$ when $\max\{0,s_c\} 1$ was a rather longstanding open problem in the literature. As an immediate corollary of the fact that our ill-posedness threshold is dimension independent, we may conclude by taking $d\gg p$ that there are nonlinear Schrödinger equations which are ill-posed in \emph{every} Sobolev space $H_x^s(\mathbb{R}^d)$.

math.AP↗

arXiv2025

Global well-posedness for the generalized derivative nonlinear Schrödinger equation

We study the well-posedness of the generalized derivative nonlinear Schrödinger equation (gDNLS) $$iu_t+u_{xx}=i|u|^{2σ}u_x,$$ for small powers $σ$. We analyze this equation at both low and high regularity, and are able to establish global well-posedness in $H^s$ when $s\in [1,4σ)$ and $σ\in (\frac{\sqrt{3}}{2},1)$. Our result when $s=1$ is particularly relevant because it corresponds to the regularity of the energy for this problem. To our knowledge, this is the first low regularity well-posedness result for a quasilinear dispersive model where the nonlinearity is both rough and lacks the decay necessary for global smoothing type estimates. These two features pose considerable difficulty when trying to apply standard tools for closing low-regularity estimates. While the tools developed in this article are used to study gDNLS, we believe that they should be applicable in the study of local well-posedness for other dispersive equations of a similar character. It should also be noted that the high regularity well-posedness presents a novel issue, as the roughness of the nonlinearity limits the potential regularity of solutions. Our high regularity well-posedness threshold $s<4σ$ is twice as high as one might naïvely expect, given that the function $z\mapsto |z|^{2σ}$ is only $C^{1,2σ-1}$ Hölder continuous. Moreover, although we cannot prove $H^1$ well-posedness when $σ\leq \frac{\sqrt{3}}{2}$, we are able to establish $H^s$ well-posedness in the high regularity regime $s\in (2-σ,4σ)$ for the full range of $σ\in (\frac{1}{2},1)$. This considerably improves the known local results, which had only been established in either $H^2$ or in weighted Sobolev spaces.

math.AP↗

arXiv2025

Sharp Hadamard local well-posedness, enhanced uniqueness and pointwise continuation criterion for the incompressible free boundary Euler equations

We provide a complete local well-posedness theory in $H^s$ based Sobolev spaces for the free boundary incompressible Euler equations with zero surface tension on a connected fluid domain. Our well-posedness theory includes: (i) Local well-posedness in the Hadamard sense, i.e., local existence, uniqueness, and the first proof of continuous dependence on the data, all in low regularity Sobolev spaces; (ii) Enhanced uniqueness: Our uniqueness result holds at the level of the Lipschitz norm of the velocity and the $C^{1,\frac{1}{2}}$ regularity of the free surface; (iii) Stability bounds: We construct a nonlinear functional which measures, in a suitable sense, the distance between two solutions (even when defined on different domains) and we show that this distance is propagated by the flow; (iv) Energy estimates: We prove refined, essentially scale invariant energy estimates for solutions, relying on a newly constructed family of elliptic estimates; (v) Continuation criterion: We give the first proof of a sharp continuation criterion in the physically relevant pointwise norms, at the level of scaling. In essence, we show that solutions can be continued as long as the velocity is in $L_T^1W^{1,\infty}$ and the free surface is in $L_T^1C^{1,\frac{1}{2}}$, which is at the same level as the Beale-Kato-Majda criterion for the boundaryless case; (vi) A novel proof of the construction of regular solutions. Our entire approach is in the Eulerian framework and can be adapted to work in more general fluid domains.

math.AP↗

arXiv2024

Low regularity solutions for the general quasilinear ultrahyperbolic Schrödinger equation

We present a novel method for establishing large data local well-posedness in low regularity Sobolev spaces for general quasilinear Schrödinger equations with non-degenerate and nontrapping metrics. Our result represents a definitive improvement over the landmark results of Kenig, Ponce, Rolvung and Vega, as it weakens the regularity and decay assumptions to the same scale of spaces considered by Marzuola, Metcalfe, and Tataru, but removes the uniform ellipticity assumption on the metric from their result. Our method has the additional benefit of being relatively simple but also very robust. In particular, it only relies on the use of pseudodifferential calculus for classical symbols.

math.AP↗