Minimizers of the Maximum Distance Problem via an Analyst's Traveling Salesperson Algorithm

2026-03-14T21:10:53Z

We provide an upper and lower bound for the length of Maximum Distance Problem minimizers in terms of a finite scale geometric square sum.

On some results of Korobov and Larcher and Zaremba's conjecture

2026-03-14T21:05:48Z

We prove, in particular, the well--known Zaremba conjecture from the theory of continued fractions for any prime denominator. More precisely, we show, firstly, that under some mild conditions, for any sufficiently large $q$, there exists $a$ coprime to $q$ such that all partial quotients of $a/q$ are bounded by $O(\sqrt{\log q})$, and, moreover we find asymptotically tight lower bound for the number of such $a$. Secondly, we obtain a good lower bound for the number $a$ such that the sum of all partial quotients of $a/q$ is bounded by $O(\log q \cdot \sqrt{\log \log q})$. This, accordingly, improves on some results of Korobov and Larcher. Finally, we show that for all sufficiently large $\mathcal{M}$ there are $Ω(q^{1-O(1/\mathcal{M})})$ numbers $a$ coprime to $q$ such that all partial quotients of $a/q$ are bounded by $\mathcal{M}$.

Fractionally modulated discrete Carleson's Theorem and pointwise Ergodic Theorems along certain curves

2026-03-14T18:56:42Z

For $c\in(1,2)$ we consider the following operators \[ \mathcal{C}_{c}f(x) = \sup_{λ\in [-1/2,1/2)}\bigg| \sum_{n \neq 0}f(x-n) \frac{e^{2πiλ\lfloor |n|^{c} \rfloor}}{n}\bigg|\text{,}\quad \mathcal{C}^{\mathsf{sgn}}_{c}f(x) = \sup_{λ\in [-1/2,1/2)}\bigg| \sum_{n \neq 0}f(x-n) \frac{e^{2πiλ\mathsf{sign(n)} \lfloor |n|^{c} \rfloor}}{n}\bigg| \text{,} \] and prove that both extend boundedly on $\ell^p(\mathbb{Z})$, $p\in(1,\infty)$. The second main result is establishing almost everywhere pointwise convergence for the following ergodic averages \[ A_Nf(x)=\frac{1}{N}\sum_{n=1}^Nf(T^nS^{\lfloor n^c\rfloor}x)\text{,} \] where $T,S\colon X\to X$ are commuting measure-preserving transformations on a $σ$-finite measure space $(X,μ)$, and $f\in L_μ^p(X)$, $p\in(1,\infty)$. The point of departure for both proofs is the study of exponential sums with phases $ξ_2 \lfloor |n^c|\rfloor+ ξ_1n$ through the use of a simple variant of the circle method.

Covering number on inhomogeneous graph-directed self-similar sets

2026-03-13T13:14:05Z

For a strongly connected inhomogeneous graph-directed self-similar set $K^C$ satisfying the strong open set condition, we characterize the asymptotic behaviour of the $r$-covering number $N_r(K^C)$ as $r \downarrow 0$ in terms of the Minkowski dimension $s_0(G)$ of the attractor. If $\int_0^\infty e^{-s_0(G)t}N_{e^{-t}}(C_i)\,\mathrm{d} t<\infty$ for all vertices $i$, then $e^{-s_0(G)t}N_{e^{-t}}(K^C)$ has a limit as $t\to\infty$, which is a positive constant when the log-contraction group $G_M$ is $\mathbb{R}$ and a positive periodic function when $G_M$ is a lattice; if the integral diverges for some $i$, the limit is infinite.

Polynomial curvelets on higher-dimensional spheres

2026-03-13T09:26:59Z

In this article, we introduce and investigate polynomial curvelets on spheres, which form a class of Parseval frames for $L^2(\mathbb{S}^{d-1})$, $d \geq 3$. The proposed construction offers a directionally sensitive multiscale decomposition and provides a sparse representation of spherical data. As a main result, we derive a sharp pointwise localization bound which shows that the frame elements decay rapidly away from their center of mass, making them a powerful tool for position-based analyses. In contrast to previous constructions, polynomial curvelets are not limited in their directional resolution. Consequently, the frames established in this article are particularly powerful when it comes to the analysis of localized anisotropic features, such as edges. To illustrate this point, we show that, given a suitable test signal that exhibits (higher-order) discontinuities at the boundary $\partial A$ of a spherical cap $A\subset \mathbb{S}^{d-1}$, the corresponding curvelet coefficients peak precisely when the analysis function matches some segment of the boundary $\partial A$, both in terms of position and orientation. Otherwise, the coefficients decay rapidly.

More on explicit correspondence between gradient trees in $\mathbb{R}$ and holomorphic convex quadrilaterals in $T^{*}\mathbb{R}$

2026-03-13T09:19:44Z

For given smooth functions $(f_1,\dots,f_n)$ on $M$, Fukaya and Oh showed that the moduli space of pseudoholomorphic disks in $T^*M$ which are bounded by Lagrangian sections $\{L_i^ε=\operatorname{graph}(εdf_i)\}$ is diffeomorphic to the moduli space of gradient trees in $M$ which consist of gradient curves of $\{f_i-f_j\}$. When the image of the pseudoholomorphic disk $w_ε$ is a polygon in $\mathbb{C}\simeq T^*\mathbb{R}$, we can describe $w_ε$ by a Schwarz-Christoffel map. In \cite{S25}, we proved that pseudoholomorphic disks $w_ε$ converge to the gradient tree in the limit $ε\to+0$ when the image of $w_ε$ is a generic convex quadrilateral. In this paper, we show such a convergence for any convex quadrilaterals by studying the non-generic case.

Approximate null-controllability of discrete heat equations with potentials on lattices

2026-03-13T08:10:10Z

We investigate approximate null-controllability for semi-discrete heat equations on the lattice $h\mathbb{Z}^d$ with a potential. By establishing spectral inequalities for the discrete Schr{ö}dinger operator $P_h = -Δ_h + V$ on equidistributed sets, we derive observability estimates via the Lebeau-Robbiano method and the Hilbert Uniqueness Method. For bounded potentials, we obtain quantitative controllability results with explicit dependence on the potential and show near optimality of the geometric condition on the observation set. We also treat polynomial growth potentials, for which similar properties hold with weaker control cost estimates. These results extend discrete Carleman techniques to the full-space lattice setting and provide new spectral estimates for discrete Schr{ö}dinger operators.

Precompactness in matrix weighted Bourgain-Morrey spaces

2026-03-13T02:58:07Z

In this paper, we introduce matrix weighted Bourgain-Morrey spaces and obtain two sufficient conditions for precompact sets in matrix weighted Bourgain-Morrey spaces. We prove that the dyadic average operator is bounded on some matrix weighted Bourgain-Morrey spaces. With this result, we obtain the necessity for precompact sets in some matrix weighted Bourgain-Morrey spaces. The results are new even for the unweighted Bourgain-Morrey spaces.

Nontrivial weak solutions of the stationary KdV equation in sharp $L^p$ spaces

2026-03-13T01:40:29Z

In this paper we utilize a convex integration scheme to construct non-trivial solutions to the stationary KdV equation which lie in $L^p(\mathbb{T})$, $p < 2$. In addition, we demonstrate this result is sharp in the sense that if $u \in L^2(\mathbb{T})$ is a weak solution then $u \in C^\infty(\mathbb{T})$.

Every semi-normalized unconditional Schauder frame in Hilbert spaces contains a frame

2026-03-13T00:17:45Z

Let $H$ be an infinite-dimensional Hilbert space. We prove that every unconditional Schauder frame for $H$ contains a subsequence that can be normalized to form a frame for $H$. As a consequence, every semi-normalized unconditional Schauder frame contains a frame for $H.$ Here we say that a sequence $\{x_n\}_{n\in \mathbb{N}}$ in a Hilbert space $H$ is an \emph{unconditional Schauder frame} for $H$ if there exists some sequence $\{y_n\}_{n\in \mathbb{R}}subseteq H$ such that $$x=\sum_{n=1}^\infty \langle x,y_n\rangle x_n\quad \text{for all }x\in H,$$ with the unconditional convergence of the series in the norm of $H.$ We say that $\{x_n\}_{n\in\mathbb{N}}$ is semi-normalized if $m\leq \|x_n\|\leq M$ for all $n\in \mathbb{N}$ for some positive constants $m,M.$ We then apply our main results to answer several open questions concerning the existence of certain unconditional Schauderf frames. For example, we prove that if a closed subspace of $L^2(\mathbb{R}^d)$ contains $\{e^{2πib\cdot x}g\}_{b\in Λ}$ for some infinite uniformly discrete subset $Λ$ of $\mathbb{R}^d$ and some nonzero function $g$ in the Feichtinger algebra, it does not admit any unconditional Schauder frames of translates with finitely many generators. We will also show that no Gabor system with the critical lower Beurling density can be an unconditional Schauder frame when the window function belongs to the Feichtinger algebra. Furthermore, we present an example of a compact set of $\mathbb{R}$ which does not admit any unconditional Schauder frames of exponentials with the critical lower Beurling density. All results in this paper apply equivalently to sequences that can be rescaled to form a frame for $H.$

The Bellman Function for Level Sets of Sparse Operators

2026-03-12T21:50:22Z

We investigate weak-type $(1, 1)$ boundedness of sparse operators with respect to Lebesgue measure. Specifically, we find the Bellman function maximizing level sets of sparse operators (localized to an interval) and use this to find the exact weak-$(1,1)$ norm of these sparse operators.

Sharp variational inequalities for the Hardy-Littlewood maximal operator on finite undirected graphs

2026-03-12T21:24:17Z

We study sharp $p$-variational inequalities for the Hardy-Littlewood maximal operator on complete graphs, answering in the affirmative a question by Feng Liu and Qingying Xue. We also use computational assistance to find sharp constants in $1$-variational inequalities for all connected graphs on at most five vertices and pose a conjecture on the corresponding sharp constants for path graphs. Finally, we construct finite graphs with arbitrarily large $p$-variational constants.

Weyl Calculus on Graded Groups

2026-03-12T16:16:48Z

The aim of this paper is to establish a pseudo-differential Weyl calculus on graded nilpotent Lie groups $G$ which extends the celebrated Weyl calculus on $\mathbb{R}^n$. To reach this goal, we develop a symbolic calculus for a very general class of quantization schemes, following [Doc. Math., 22, 1539--1592, 2017], using the Hörmander symbol classes $S^m_{ρ, δ}(G)$ introduced in [Progress in Mathematics, 314. Birkhäuser/Springer, 2016]. We particularly focus on the so-called symmetric calculi, for which quantizing and taking the adjoint commute, among them the Euclidean Weyl calculus, but we also recover the (non-symmetric) Kohn-Nirenberg calculus, on $\mathbb{R}^n$ and on general graded groups [Progress in Mathematics, 314. Birkhäuser/Springer, 2016]. Several interesting applications follow directly from our calculus: expected mapping properties on Sobolev spaces, the existence of one-sided parametrices and the Gårding inequality for elliptic operators, and a generalization of the Poisson bracket for symmetric quantizations on stratified groups. In the particular case of the Heisenberg group $\mathbb{H}_n$, we are able to answer the fundamental questions of this paper: which, among all the admissible quantizations, is the natural Weyl quantization on $\mathbb{H}_n$? And which are the criteria that determine it uniquely? The surprisingly simple but compelling answers raise the question whether what is true for $\mathbb{R}^n$ and $\mathbb{H}_n$ also extends to general graded groups, which we answer in the affirmative in this paper. Among other things, we discuss and investigate an analogue of the symplectic invariance property of the Weyl quantization in the setting of graded groups, as well as the notion of the Poisson bracket for symbols in the setting of stratified groups, linking it to the symbolic properties of the commutators.

High-dimensional Laplace asymptotics up to the concentration threshold

2026-03-12T16:03:55Z

We study high-dimensional Laplace-type integrals $I(λ):=(λ/2π)^{d/2}\int_{\mathbb R^d} g(x)e^{-λf(x)}dx$ in the regime where both $d$ and $λ$ are large. Existing rigorous Laplace-expansion results in growing dimension are largely confined to the "Gaussian-approximation" regime $d^2/λ\to0$, which excludes many practically relevant settings that lie beyond this threshold but still satisfy the concentration condition $d/λ\to0$. We close this gap by deriving an explicit asymptotic expansion for $\log I(λ)$ with quantitative remainder bounds that remain valid throughout this intermediate region, arbitrarily close to the concentration threshold. Fix $L\ge1$ and assume that, in a neighborhood of the global minimizer of $f$, the operator norms of derivatives of $f$ and $g$ are bounded independently of $d,λ$ up to orders $2L+2$ and $2L$, respectively. Assuming also some mild global growth conditions, we prove $$\log I(λ)=\sum_{k=1}^{L-1} b_k(f,g)λ^{-k}+O(d^{L+1}/λ^L), \qquad d^{L+1}/λ^L\to0,$$ with coefficients satisfying $b_k(f,g)=O(d^{k+1})$. Moreover, the $b_k(f,g)$ coincide with the coefficients from the formal cumulant expansion of $\log I(λ)$. We also study computation for concentrating densities $π(x)\propto e^{-λf(x)}$. For smooth observables $g$, our expansion yields closed-form, analytic approximations of $\mathbb E_{X\simπ}[g(X)]$. For sampling, we construct explicit polynomial transports $x_L$ such that $π_L:=(x_L)_\# N(0,λ^{-1}I_d)$ satisfies $\mathrm{TV}(π,π_L)\lesssim d^{L+1}/λ^L$ for $L=1,2,3,\dots$, yielding an accurate procedure arbitrarily close to the concentration threshold $d=o(λ)$.

On Schultz's generalization of Borweins' cubic identity

2026-03-12T10:29:35Z

In 1991, the Borweins established a cubic analogue of Jacobi's identity for theta functions, which is used by B.C. Berndt, S. Bhargava, and F.G. Garvan in the development of Ramanujan's cubic theory of elliptic functions. In 2013, D. Schultz discovered an identity for theta series in three variables which generalizes the Borweins' identity. In this article, we revisit Schultz's identity and present two distinct approaches to its derivation. Our investigation not only provides new proofs but also yields several new Schultz-type identities.