https://arxiv.org/api/kGY/pDSYuMVmCBq+mYJGXerZtOc 2026-06-13T20:13:05Z 25056 120 15 http://arxiv.org/abs/2605.28294v1 2026-05-27T10:44:51Z

We obtain estimates in simultaneous approximation for a summation-integral type genuine hybrid operator. The convergence of derivatives of operator to the corresponding derivatives of the functions is proved and estimates for rate of approximation are obtained.

2026-05-27T10:44:51Z Asha Ram Gairola Nidhi Bisht http://arxiv.org/abs/2504.09637v3 2026-05-27T09:23:44Z

We establish optimal convergence rates for the continuous piecewise affine finite element approximation of the Sobolev constant in arbitrary dimensions N\geq 2 and for Lebesgue exponents 1<p<N. Our analysis relies on a refined study of the Sobolev deficit in suitable quasi-norms, which have been introduced and utilized in the context of finite element approximations of the p-Laplacian. The proof further involves sharp estimates for the finite element approximation of Sobolev minimizers.

2025-04-13T16:22:05Z 32 pages, To appear in Foundations of Computational Mathematics Liviu I. Ignat Enrique Zuazua http://arxiv.org/abs/2605.28080v1 2026-05-27T07:34:03Z

Let $\mathcal{H}(\mathbb{D})$ denote the space of analytic functions in the unit disc $\mathbb{D}=\{z\in\mathbb{C}:|z|<1\}$. For $0<p<\infty$ and $f\in\mathcal{H}(\mathbb{D})$, let $M_p^p(r,f)=\int_0^{2π}|f(re^{iθ})|^p \frac{dθ}{2π}$ and $M_\infty(r,f) = \sup_{|z|=r}|f(z)|$. For $0<p<q\leq \infty$, Hardy and Littlewood proved the prevalent inequality $$M_q(r,f)\le C(p,q)\frac{M_p(ρ,f)}{(ρ-r)^{\frac{1}{p}-\frac{1}{q}}}$$ for $0\leq r<ρ\leq 1$ and $f\in\mathcal{H}(\mathbb{D})$. In this paper, we obtain an improvement of this well-known inequality which is employed to characterize the symbols $g\in\mathcal{H}(\mathbb{D})$ such that the analytic paraproducts $T_gf(z)=\int_0^z f(ζ)g'(ζ)\,dζ$, $S_gf(z)=\int_0^z f'(ζ)g(ζ)\,dζ$ and $M_gf(z)=f(z)g(z)$, are bounded between two different mixed-norm spaces $A^{p,q}_ω=\{ g\in \mathcal{H}(\mathbb{D}): \int_0^1 M_p^q(r,g) ω(r)\,dr<\infty\}$ induced by a radial doubling weight $ω$. En route to the proof of these characterizations, we consider an open Carleson measure problem posed by Luecking and we solve it in a meaningful particular case.

2026-05-27T07:34:03Z Álvaro Miguel Moreno José Ángel Peláez http://arxiv.org/abs/2311.12761v3 2026-05-26T22:25:43Z

We establish, for every family of orthogonal polynomials in the $ q $-Askey scheme and the Askey scheme, a combinatorial model for mixed moments and coefficients in terms of paths on the lecture hall graph. This generalizes the previous results of Corteel and Kim for the little $ q $-Jacobi polynomials. We build these combinatorial models by bootstrapping, beginning with polynomials at the bottom and working towards Askey--Wilson polynomials which sit at the top of the $ q $-Askey scheme. As an application of the theory, we provide the first combinatorial proof of the symmetries in the parameters of the Askey--Wilson polynomials.

2023-11-21T18:15:30Z 44 pages, 23 figures Advances in Mathematics 499 (2026) 111056 Sylvie Corteel Bhargavi Jonnadula Jonathan P. Keating Jang Soo Kim 10.1016/j.aim.2026.111056 http://arxiv.org/abs/2505.05005v2 2026-05-26T19:32:56Z

In a spirit of Apéry's proof of the irrationality of $ζ(3)$, we construct a sequence $p_n/q_n$ of rational approximations to the $2$-adic zeta value $ζ_2(5)$ which satisfy $0 < |ζ_2(5)-p_n/q_n|_2 < \max\{|p_n|,|q_n|\}^{-1-δ}$ for an explicit constant $δ>0$. This leads to a new proof of the irrationality of $ζ_2(5)$, the result established recently by Calegari, Dimitrov and Tang using a different method. Furthermore, our approximations allow us to obtain an upper bound for the irrationality measure of this $2$-adic quantity; namely, we show that $μ(ζ_2(5)) \le (16\log2)/(8\log2-5) = 20.342\dots$.

2025-05-08T07:22:25Z 2^2 x 5 pages Li Lai Johannes Sprang Wadim Zudilin http://arxiv.org/abs/2203.04943v2 2026-05-26T19:26:58Z

We prove that the Assouad dimension of a parabolic Julia set is $\max\{1,h\}$ where $h$ is the Hausdorff dimension of the Julia set. Since $h$ may be strictly less than 1, this provides examples where the Assouad and Hausdorff dimensions are distinct. The box and packing dimensions of the Julia set are also known to coincide with $h$ and, moreover, $h$ can be characterised by a topological pressure function. The distinctive behaviour of the Assouad dimension invites further analysis of the `Assouad type dimensions', including the lower dimension and the Assouad and lower spectra. We derive formulae for all of the Assouad type dimensions for parabolic Julia sets and the associated $h$-conformal measure. Further, we show that if a Julia set has a Cremer point, then the Assouad dimension is 2.

2022-03-09T18:41:48Z 31 pages, 1 figure. small fixes and updates. arXiv admin note: substantial text overlap with arXiv:2007.15493 Mathematische Zeitschrift, 312, (2026), Paper No. 108 Jonathan M. Fraser Liam Stuart http://arxiv.org/abs/2210.07019v4 2026-05-26T19:13:25Z

We introduce and study the \emph{Fourier spectrum} which is a continuously parametrised family of dimensions living between the Fourier dimension and the Hausdorff dimension for both sets and measures. We establish some fundamental theory and motivate the concept via several applications, especially to sumset type problems. For example, we study dimensions of convolutions and sumsets, and solve the distance set problem for sets satisfying certain Fourier analytic conditions.

2022-10-13T13:26:57Z 31 pages, 1 figure, small updates Mathematische Annalen, 390, (2024), 3891-3930 Jonathan M. Fraser http://arxiv.org/abs/2407.08589v4 2026-05-26T19:00:32Z

The Fourier transform plays a central role in many geometric and combinatorial problems cast in vector spaces over finite fields. If a set admits optimal $L^\infty$ bounds on its Fourier transform (that is, it is a Salem set), then it can often be analysed more easily. However, in many cases obtaining good \emph{uniform} bounds is not possible, even if `most' points admit good pointwise bounds. Motivated by this, we propose a framework where one systematically studies the $L^p$ averages of the Fourier transform and keeps track of how good the $L^p$ bounds are as a function of $p$. This captures more nuanced information about a set than, for example, asking whether it is Salem or not. We explore this idea by considering several examples and find that a rich theory emerges. Further, we provide various applications of this approach; including to sumset type problems, the finite fields distance conjecture, and the problem of counting $k$-simplices inside a given set. Our typical application is of the form:~if a set admits good $L^p$ bounds on its Fourier transform, then we are able to make strong geometric conclusions.

2024-07-11T15:13:15Z 31 pages, 1 figure. Minor changes and references added Jonathan M. Fraser http://arxiv.org/abs/2605.27550v1 2026-05-26T18:17:54Z

Let $E \subset \mathbb R^d$, $d \ge 2$, be compact, and let $φ(x,y)$ be a smooth function satisfying the Phong--Stein rotational curvature condition on $\{φ(x,y)=1\}$. We prove that if $\dim_{\mathcal H}(E)>1$, then $$ \left|\bigcup_{x \in E} \{y : φ(x,y)=1\}\right|>0. $$ This extends the positivity theorem of Mitsis ($d\geq3$) and Wolff ($d=2$) for spheres to a general variable coefficient setting via $L^2$ estimates for Fourier integral operators. The argument also shows that positivity is stable under finite-order degeneracies of the Monge--Ampère determinant through the weighted averaging theory of Sogge and Stein. We next consider variable level sets $$ Σ_x=\{y:φ(x,y)=t(x)\}, $$ where $t(x)$ is measurable. A maximal operator argument yields positivity under the condition $\dim_{\mathcal H}(E)>2$. We show that this loss reflects a genuine geometric obstruction related to Kakeya-type compression phenomena. In contrast, under a direct geometric intersection hypothesis controlling overlaps of the hypersurfaces $Σ_x$, we recover the full threshold $\dim_{\mathcal H}(E)>1$ for arbitrary measurable selections $t=t(x)$. At the endpoint $\dim_{\mathcal H}(E)=1$, we obtain positivity under the additional assumption that $E$ is $1$-rectifiable with $\mathcal H^1(E)>0$. We also show that positivity of Lebesgue measure does not in general imply interior regularity: even for large or rectifiable parameter sets, the resulting unions may have empty interior. Finally, we discuss extensions to higher co-dimension families and the role of geometric structure in preventing compression phenomena.

2026-05-26T18:17:54Z Alex Iosevich Zhangze Li Krystal Taylor http://arxiv.org/abs/2605.27542v1 2026-05-26T18:14:49Z

This paper revisits the notion of classical orthogonal polynomials from a broader functional-analytic point of view. It is intended neither as a survey of known results nor as a review of the literature, but rather as a conceptual reappraisal of the subject from a perspective in which certain persistent distortions become plainly visible. The theory is developed on subsets of the complex plane that are stable under half-step translations, and both classicality and orthogonality are understood in the continuous dual of a suitable locally convex space of polynomials. The repeated reappearance of ostensibly new families of classical orthogonal polynomials arising from exotic maps, algebraically equivalent families artificially separated, unnecessary parameter restrictions inherited from positive-definite models, apparently distinct phenomena associated with root-of-unity values of $q$ in the $q$-exponential case, naive $q\to -1$ limits in that same setting, finite truncations of otherwise infinite orthogonal polynomial sequences, and geometric recastings of the local half-step relation in terms of plane conic curves all make the need for a broader structural framework increasingly clear. The present paper seeks to articulate such a framework in a way that allows the reader to distinguish the genuinely new from the merely artificial, without resorting to an exhaustive case-by-case examination of prior work.

2026-05-26T18:14:49Z 77 pages K. Castillo http://arxiv.org/abs/2605.24616v2 2026-05-26T16:52:15Z

The chord-power integrals $I_k$ are classical integral-geometric functionals of a planar convex body, obtained by integrating powers of the chord length against the kinematic measure on the space of lines meeting the body. We establish a single-expression closed form for $I_2$ on an arbitrary triangle, involving logarithms symmetric in the sides, and derive two analytic consequences: a power-sum series representation, and a sharp isoperimetric-type inequality with explicit constant involving $\ln 3$, attained uniquely by the equilateral triangle. The set $\{I_0, I_1, I_2\}$ identifies a triangle up to congruence, complementing J. Gates's algebraic recognition via $\{I_0, I_1, I_5\}$ with the minimal index set $\{0, 1, 2\}$.

2026-05-23T15:00:20Z Sections 2 and 3 of this paper (the closed-form expression for I_2, of a triangle, the power-sum series representation, and the sharp inequality) were obtained earlier by Lothar Heinrich, "On Lower Bounds of Second-Order Chord Power Integrals of Convex Discs," Preprint 27/2009, Universität Augsburg. Section 4 (the recognition theorem for triangles from {I_0, I_1, I_2}) is not in Heinrich Mher Martirosyan Yerevan State University and American University of Armenia Ruben Sargsyan American University of Armenia http://arxiv.org/abs/2605.27165v1 2026-05-26T15:22:56Z

This paper addresses a novel weighted Riesz--Kolmogorov theorem and the extrapolation of multilinear compact operators in the context of weighted variable Lebesgue spaces. We establish the latter result via our Riesz--Kolmogorov theorem which yields a weighted interpolation theorem for multilinear compact operators in the variable Lebesgue setting. In proving this, we also show a weighted interpolation theorem in mixed-norm variable Lebesgue spaces. By means of our extrapolation result, we obtain new weighted compactness estimates for the commutators of multilinear $ω$-Calderón--Zygmund operators, multilinear fractional integrals and multilinear Fourier multipliers on weighted variable Lebesgue spaces. Our work generalizes several recent ones, including but not limited to those of Cao, Olivo and Yabuta in the setting of multilinear operators acting on the classical weighted Lebesgue spaces as well as the previous result by the authors in the setting of bilinear operators and variable Lebesgue spaces.

2026-05-26T15:22:56Z 48 pages Spyridon Kakaroumpas Stefanos Lappas http://arxiv.org/abs/2605.27119v1 2026-05-26T14:54:34Z

Let $n\in \mathbb N\cap[2,\infty)$. In this article, we show that there exists a bounded $C^1$ domain $Ω\subset \mathbb R^n$ such that, for any given $s\in(1,2)\setminus\{\frac32\}$, \begin{align*} \left[H_0^1(Ω),H^2(Ω)\cap H_0^1(Ω)\right]_{s-1} =H^s(Ω)\cap H_0^1(Ω)=H_0^s(Ω) \end{align*} with equivalent norms, but \begin{align*} \left[H_0^1(Ω),H^2(Ω)\cap H_0^1(Ω)\right]_{\frac12} \subsetneqq H^{\frac32}(Ω)\cap H_0^1(Ω), \end{align*} which provides a counterexample to Problem 3.3.19 of Kenig in [CBMS Regional Conf. Ser. in Math. 83, 1994]. As applications, we prove that for such a domain $Ω$ \begin{align*} H^2(Ω)\cap H_0^1(Ω)\subsetneqq D(-Δ_D) \end{align*} (the domain of the Dirichlet Laplacian operator $-Δ_D$ on $Ω$) and construct a solution of the homogeneous heat equation with zero Dirichlet boundary condition, which does not belong to $L^2((0,T);H^2(Ω)\cap H_0^1(Ω))$ for any given $T\in(0,\infty)$.

2026-05-26T14:54:34Z Xiaosheng Lin Dachun Yang Sibei Yang Wen Yuan Yangyang Zhang http://arxiv.org/abs/2605.27065v1 2026-05-26T14:16:06Z

We use the high-low method and wavepacket pruning to prove new small-cap decoupling estimates for the moment curve in $\mathbb{R}^4$. As an application, we verify a conjecture of Demeter regarding the $L^{12}$ square-root cancellation of exponential sums associated with the moment curve in $\mathbb{R}^4$. This provides a continuum of square-root cancellation estimates that connects the Vinogradov MVT in $\mathbb{R}^3$ with a result of Bourgain, related to improving the best-known estimate for the Lindelöf hypothesis.

2026-05-26T14:16:06Z 23 pages, 1 figure Jacob Glidewell http://arxiv.org/abs/2605.27034v1 2026-05-26T13:55:46Z

In this article, we investigate the range characterization for the spherical mean transform (SMT) of functions supported in the unit ball. In earlier works, in the case of odd dimensions, a set of differential conditions was obtained, whereas in the case of even dimensions, integral conditions were obtained. We prove that these conditions that are different based on the parity of dimension are, in fact, equivalent in odd dimensions. This equivalence shows that the integral conditions yield a unified simple range characterization for the SMT that is valid in both even and odd dimensions.

2026-05-26T13:55:46Z Pradipta Chatterjee Nisha Singhal Abhilash Tushir