https://arxiv.org/api/QC/R8v9lu3PUwuE2uTbHkCmxZ9Q 2026-06-14T02:35:37Z 25056 195 15 http://arxiv.org/abs/2605.19637v1 2026-05-19T10:22:28Z

Recently the matrix $A_2$ conjecture was disproved. Indeed, the growth of the vector Hilbert transform in the matrix weighted $L^2(W)$ space was shown to be at best a constant multiple of $[W]_{\mathbf{A}_2}^{3/2}$. This bound had previously been established and it was thus proved that it is sharp and the conjectured linear growth cannot be obtained. It is a natural question to see if the $3/2$ power persists if we replace the classical matrix $A_2$ characteristic by the "fattened", larger, so-called matrix Poisson $A_2$ characteristic. We show that the 3/2 power, even in this case, cannot be improved.

2026-05-19T10:22:28Z 27 pages Komla Domelevo Spyridon Kakaroumpas Stefanie Petermichl Sergei Treil Alexander Volberg http://arxiv.org/abs/2605.19500v1 2026-05-19T07:52:04Z

In this paper, we study the bilinear cone multiplier operator in two dimensions. We establish $L^{p_1}\times L^{p_2}\to L^{p}$ boundedness for a regularized version of this operator over a broad range of exponents satisfying the Hölder scaling condition. Our approach is based on a decomposition of the bilinear operator into square functions associated with linear cone multipliers and their variants. We derive pointwise bounds for these square functions via suitable strong maximal function estimates, and obtain sharp $L^4$ bounds using geometric methods originating in the work of Córdoba and Carbery. The combination of these estimates yields the $L^p$ boundedness for the bilinear cone multiplier.

2026-05-19T07:52:04Z Luz Roncal Saurabh Shrivastava Kalachand Shuin Linfei Zheng http://arxiv.org/abs/2605.19372v1 2026-05-19T05:11:42Z

Let $\mathcal{L}$ be the infinitesimal generator of an analytic semigroup $\big\{e^{-t\mathcal L}:t>0\big\}$ on $L^2(\mathbb R^n)$ with Gaussian upper bounds, and suppose that $\mathcal{L}$ has a bounded holomorphic functional calculus on $L^2(\mathbb R^n)$. For given $0<α<n$, let $\mathcal L^{-α/2}$ be the generalized fractional integral associated with $\mathcal{L}$, which is given by \begin{equation*} \mathcal L^{-α/2}(f)(x):=\frac{1}{Γ(α/2)}\int_0^{+\infty}e^{-t\mathcal L}(f)(x)t^{α/2-1}dt, \end{equation*} where $Γ(\cdot)$ is the usual gamma function. In the limiting Sobolev case $λ=n-αp$ and $1\leq p<n/α$, the author proves that the operator $\mathcal{L}^{-α/2}$ is bounded from the Morrey space $M^{p,λ}(\mathbb R^n)$ into $\mathrm{BMO}_{\mathcal{L}}(\mathbb R^n)$, and is bounded from the vanishing Morrey space $VM^{p,λ}(\mathbb R^n)$ into $\mathrm{VMO}_{\mathcal{L}}(\mathbb R^n)$, where $\mathrm{BMO}_{\mathcal{L}}(\mathbb R^n)$ and $\mathrm{VMO}_{\mathcal{L}}(\mathbb R^n)$ are the spaces of bounded mean oscillation and vanishing mean oscillation associated with the operator $\mathcal{L}$, respectively. As a consequence, the author obtains that the operator $\mathcal{L}^{-α/2}$ is bounded from $L^{p,\infty}(\mathbb R^n)$ into $\mathrm{BMO}_{\mathcal{L}}(\mathbb R^n)$ when $p=n/α$ and $0<α<n$. The proofs are based on pointwise kernel estimates of the operators $\mathcal L^{-α/2}$ and $(I-e^{-t\mathcal L})\mathcal{L}^{-α/2}$ for $0<α<n$.

2026-05-19T05:11:42Z 19 pages Hua Wang http://arxiv.org/abs/2601.15750v2 2026-05-19T04:49:18Z

The Rankin--Cohen brackets provide a basic example of ``non-elementary" differential symmetry breaking operators. They can be interpreted as bi-differential operators remarkable for reflecting the structure of fusion rules for holomorphic discrete series representations of the Lie group $SL(2,\mathbb R)$ and are intimately connected to classical special polynomials. In this introductory article, we explore the combinatorial structure of these operators and discuss a general framework for constructing their higher-dimensional analogues from the representation-theoretic perspective on branching problems. The exposition is based on lectures delivered by the authors during the thematic semester ``Representation Theory and Noncommutative Geometry", held in Spring 2025 at the Henri Poincaré Institute in Paris.

2026-01-22T08:21:35Z To appear in the Progress in Mathematics series published by Springer Birkhäuser Toshiyuki Kobayashi Michael Pevzner http://arxiv.org/abs/2605.19288v1 2026-05-19T03:06:43Z

Although quantitative stability for critical points of the Sobolev and fractional Sobolev inequalities has been extensively studied, the corresponding stability theory for critical points of the Hardy--Littlewood--Sobolev (HLS) inequality remains largely unexplored. A major difficulty is that the natural stability problem for HLS critical points involves a non-Hilbertian distance, so the classical orthogonal decomposition methods used in Hilbert-space settings are no longer available. In this paper, we develop a weak-decomposition--strong-stability method tailored to the stability structure of HLS critical points and establish the corresponding stability inequality. Our approach also yields an explicit lower bound for the stability of Palais--Smale sequences of the HLS integral equation. To the best of our knowledge, this appears to be the first quantitative stability result for Palais--Smale sequences of a variational functional measured in a non-Hilbertian distance. We further introduce a duality framework connecting Struwe-type decompositions and stability inequalities for critical points of the Sobolev inequality with their HLS counterparts. As a consequence, we derive Struwe-type decomposition and stability results for critical points of the fractional Sobolev inequality for general functions, thereby removing the nonnegativity assumption imposed in [26].

2026-05-19T03:06:43Z Lu Chen Guozhen Lu Hanli Tang http://arxiv.org/abs/2503.13932v4 2026-05-19T02:03:05Z

This paper investigates in depth how stochastic perturbations affect the integrable structure of Hamiltonian systems and develops a KAM theory for stochastic Hamiltonian dynamics, in the sense of the most probable path. We first derive the Onsager-Machlup functional for stochastic Hamiltonian systems driven by time-dependent noise coefficients and identify the most probable path of the system trajectories. Building on this, we establish a large deviation principle and obtain an explicit rate function that quantitatively characterizes trajectory deviations, in particular for rare events. The main contribution of this work is to prove that, under stochastic noise, the original quasi-periodic invariant tori persist in the sense of the most probable path, thereby demonstrating the stability of KAM structures in random environments. Moreover, we show that the Onsager-Machlup functional coincides exactly with the large deviation rate function, thereby providing a quantitative characterization of both the structural persistence of quasi-periodic motions and the geometry of fluctuations in stochastic Hamiltonian systems. Overall, our results extend the classical KAM framework to stochastic settings and offer new insight into the behavior of complex dynamical systems under noise.

2025-03-18T05:59:32Z 34 pages, 4 figures Xinze Zhang Yong Li http://arxiv.org/abs/2407.06995v4 2026-05-18T19:40:40Z

For a family of polynomials in two continuous variables, orthogonal with respect to a weight function, we prove, under suitable conditions, the equivalence of the following properties: the matrix Pearson equation of the weight, the second order linear partial differential equation, the orthogonality of the gradients, the matrix Rodrigues formula involving tensor products of matrices, and the so-called first structure relation. We then introduce a notion of classical orthogonal polynomials in two variables and relate the corresponding theory for weight functions and moment functionals. Finally, we present a nontrivial example that illustrates and delineates our contribution to the field.

2024-07-09T16:10:31Z Maurice Kenfack Nangho Kerstin Jordaan Bleriod Jiejip Nkwamouo http://arxiv.org/abs/2605.18471v1 2026-05-18T14:28:14Z

We consider Cantor measures on the line, with contraction factor $N^{-1}=p^{-α}$ (where $p$ a positive prime, $α$ a positive integer) and $m$ positive integer digits lying in distinct residue classes modulo $N$. We obtain a complete characterization of maximal orthogonal sets of exponentials in $L^2(μ)$, for a class of such measures $μ$. It is proved that the $n+1$-th digit in the base-$N$ expansion of frequencies in a maximal orthogonal set, with the first $n$ digits prescribed, has $m$ possible values. In consequence, there are a correspondence between labelings of the $m$-homogeneous rooted tree and maximal orthogonal sets of frequencies.

2026-05-18T14:28:14Z Leandro Zuberman http://arxiv.org/abs/2604.27755v2 2026-05-18T13:46:41Z

We introduce Gårding polynomials, a class of real multivariate polynomials characterized by positivity regions that are invariant under translation by positive vectors and closed under strictly positive affine transformations. We prove that this geometric formulation is equivalent both to a reduction to the multi-affine setting via polarization and to a recursive criterion in terms of partial derivatives. The class of Gårding polynomials strictly extends that of real stable polynomials while preserving many of their structural properties. In particular, multi-affine Gårding polynomials with nonnegative coefficients satisfy the Rayleigh property, and their positive univariate specializations have ultra log-concave coefficient sequences. The Gårding property for several matroid generating functions is preserved under natural matroid operations. As applications, we derive new negative dependence results for generating functions associated with various classes of matroids and graphs, including examples previously beyond the scope of real stability and Lorentzian methods. We further obtain analogous results for characteristic polynomials arising from certain matrix classes.

2026-04-30T11:43:39Z 84 pages, 1 figure, 1 table, 3 appendix Hao Fang Biao Ma http://arxiv.org/abs/2605.18107v1 2026-05-18T09:18:57Z

In this paper we give an alternative exposition of a recent paper regarding the classification of growth rates of real functions. We take a different point of view, focussing on understanding possible growth rates between polynomial and exponential. In order to be able to explicitly name a range of such functions, we first need to extend our basic functions. We do this via a 'tower' of Abel functions. With these one can classify functions in a natural way with polynomials and exponentials in consecutive classes. We show there are large gaps between these classes which indicate that it is mostly unknown what lies between polynomial and exponential growth, especially if the "Continuum Hypothesis for classes" is true.

2026-05-18T09:18:57Z 11 pages, 2 figures Titus Hilberdink http://arxiv.org/abs/2605.18087v1 2026-05-18T09:02:56Z

We prove a sharp estimate for conjugate functions using a harmonic majorant in a half-strip. As an application, we remove the logarithmic loss from a theorem of Papadopoulos on minima of trigonometric polynomials and obtain the optimal order in the corresponding inequality.

2026-05-18T09:02:56Z Silouanos Brazitikos http://arxiv.org/abs/2605.17970v1 2026-05-18T07:27:44Z

We consider the following problem: given a set $Λ\subset \mathbb{R} \times \mathbb{R}$ and $p \neq 2$, does there exist a function $g \in L^p(\mathbb{R})$ such that the Gabor system $\{g(x-t) e^{2 πisx}\}$, $(t,s) \in Λ$, consisting of time-frequency shifts of $g$, forms an unconditional basis or unconditional Schauder frame in the space $L^p(\mathbb{R})$? We completely resolve this question for $p>2$; in particular, we characterize the sets $Λ$ such that an unconditional Schauder frame of this form exists. We also prove a Balian-Low type result, showing that the window function $g$ cannot enjoy mild continuity and decay conditions. For $1<p<2$, we prove that a Gabor system cannot form an unconditional basis or unconditional Schauder frame in $L^p(\mathbb{R})$ if the set $Λ$ satisfies a natural separation condition.

2026-05-18T07:27:44Z Nir Lev Anton Tselishchev http://arxiv.org/abs/2605.14961v2 2026-05-18T05:08:01Z

Given $0\leqα<1$, we define \[\begin{array}{lr} \mathbf{M}_αf(u,v,t) = \sup_{ \mathbf{R} \ni (0,0,0)} {\rm vol} \{\mathbf{R}\}^{α-1} \iiint_\mathbf{R}\left|f [(u,v,t)\odot(ξ,η,τ)^{-1}]\right|dξdηdτ\end{array}\] where $\mathbf{R}\subset\mathbb{R}^{2n+1}$ is a rectangle parallel to the coordinates. Moreover, $\odot$ denotes the multiplication law on a real Heisenberg group. The $\mathbf{L}^p$-boundedness of $\mathbf{M}_0$ has been previously proved by M. Christ. We show $\mathbf{M}_α\colon\mathbf{L}^p(\mathbb{R}^{2n+1}) \to \mathbf{L}^q(\mathbb{R}^{2n+1})$ for $α={1\over p}-{1\over q},~ 1<p\leq q<\infty$ by applying a geometric covering lemma due to Córdoba and Fefferman.

2026-05-14T15:28:15Z Chuhan Sun Zipeng Wang http://arxiv.org/abs/2504.12119v2 2026-05-18T04:30:48Z

We establish weighted norm inequalities for multilinear singular integral operators with rough kernels. Specifically, we consider the multilinear singular integral operator $\mathcal{L}_Ω$ associated with an integrable function $Ω$ on the unit sphere $\mathbb{S}^{mn-1}$ satisfying the vanishing mean condition. Extending the classical results of Watson and Duoandikoetxea to the multilinear setting, we prove that $\mathcal{L}_Ω$ is bounded from $L^{p_1}(w_1)\times\cdots\times L^{p_m}(w_m)$ to $L^p(v_{\vec{\boldsymbol{w}}})$ under the assumption that $Ω\in L^q(\mathbb{S}^{mn-1})$ and that the $m$ tuple of weights $\vec{\boldsymbol{w}}= (w_1,\ldots,w_m)$ lies in the multiple weight class $A_{\vec{\boldsymbol{p}}/q'}((\mathbb{R}^n)^m)$. Here, $q'$ denotes the Hölder conjugate of $q$, and we assume $q'\le p_1,\dots,p_m<\infty$ with $1/p = 1/p_1 + \cdots + 1/p_m$.

2025-04-16T14:33:04Z Minor modification Bae Jun Park http://arxiv.org/abs/2512.24990v7 2026-05-18T01:25:09Z

We give a proof of Fourier extension conjecture on the paraboloid in all dimensions bigger than 2 that begins with a decomposition suggested in Sawyer [Saw8] of writing a smooth Alpert projection as a sum of pieces whose Fourier extensions are localized. This is then used to establish a local inequality that is well known to be equivalent to the Fourier extension conjecture, and is accomplished by using a variant of the bilinear equivalence of the Fourier extension conjecture given by Tao, Vargas and Vega in [TaVaVe]. A key aspect of our proof is that the bilinear inequality, when taken over smooth Alpert projections, only requires an averaging over grids of functions mollified by discrete multipliers, which converts a difficult exponential sum into an oscillatory integral with periodic amplitude. After extracting Dirichlet kernels in yet another averaging over lattices, this is then controlled using a stationary phase estimate with periodic amplitude, and altogether we then obtain the desired localization on the Fourier side.

2025-12-31T17:36:38Z 57 pages. A systematic misprint regarding one of the smooth cutoff functions psi is corrected throughout the last half of the paper, and the expectation over grids and the averaging over tilings is clarified Cristian Rios Eric T. Sawyer