https://arxiv.org/api/3oIWelK0oylP6/C3YUUD6sZFEMc 2026-06-13T21:26:10Z 25056 135 15 http://arxiv.org/abs/2412.13593v3 2026-05-26T13:37:08Z

We consider again a classical theorem relating capacities and algebraic integers and the question of the simultaneous approximation of $ n-1$ different complex numbers by conjugate algebraic integers of degree $n$.

2024-12-18T08:17:46Z Thérèse Fallièro LMA http://arxiv.org/abs/2605.26011v2 2026-05-26T11:41:21Z

We prove a nonterminating well-poised basic $q$-Taylor expansion with complementary remainders for a two-basis infinite-product kernel implicitly proposed by the second author in \cite[Sec.~5]{Schlosser2008}. The well-poised parameter $c$ gives the rational $p=0$ basis, while the elliptic nome $p$ is a separate deformation; the infinite expansions treated here are specific to the basic case. We compute the two Taylor coefficient families and show that each one-family Taylor remainder tends to the complementary basis contribution. The proof uses the well-poised Cooper formula, Jackson's terminating ${}_8φ_7$ summation, Rogers' ${}_6φ_5$ summation, and theta interpolation, but not Bailey's nonterminating ${}_8φ_7$ summation, which is recovered as a consequence. We also record two quadratic one-family examples and discuss a multi-kernel outlook.

2026-05-25T16:29:46Z 31 pages; second quadratic one-family example added; paper further polished Abdulhafeez A. Abdulsalam Michael J. Schlosser http://arxiv.org/abs/2602.18163v2 2026-05-26T11:10:44Z

In this paper, we study problems related to harmonic analysis on hypersurfaces in $\mathbb{R}^4 $ with zero Gaussian curvature and given as graphs of polynomial functions. We derive sharp uniform estimates with respect to the direction of frequencies for the Fourier transform of measures supported on such hypersurfaces. Additionally, we study the $L^p$-boundedness problem of maximal operators associated with hypersurfaces. We determine the exact value of the boundedness exponent in terms of the heights of these hypersurfaces.

2026-02-20T11:57:29Z Isroil A. Ikromov Gayrat Toshpulatov http://arxiv.org/abs/2508.02787v2 2026-05-26T11:09:48Z

This paper is devoted to the study of a convolution structure denoted by $*_α$, which is defined via the Hartley--Bessel transform. This concept was introduced in a recent work by F. Bouzeffour [\emph{J. Pseudo-Differ. Oper. Appl.}, 2024;15, Article 42]. We establish an analog of the Hausdorff--Young inequality for the Hartley--Bessel transform and convolution operator $*_α$. This leads to the convolution $*_α$ being uniformly bounded on the dual space. Moreover, in some special cases, our results yield a better upper bound coefficient for the convolution $*_α$ than those previously obtained by Bouzeffour's result in [Theorem 4.4, \emph{J. Pseudo-Differ. Oper. Appl.}, 2024;15, Article 42]. Finally, we apply the convolution structure $*_α$ to study the solvability of a particular class of integral equations and provide a priori estimates for solutions under appropriate conditions.

2025-08-04T18:01:12Z 10 pages, accepted by Integral Transforms Spec. Funct Integral Transforms and Special Functions. Published online: 25 May 2026 Trinh Tuan 10.1080/10652469.2026.2678565 http://arxiv.org/abs/2601.10950v3 2026-05-26T10:47:40Z

This paper introduces specular differentiation, which generalizes Gâteaux and Fréchet differentiation in normed vector spaces. We investigate its fundamental theoretical properties and establish weak forms of the Mean Value Theorem and Fermat's Theorem in the specular sense. Finally, we identify a distinguished element of the Fréchet subdifferential of a convex function through specular differentiation.

2026-01-16T02:34:19Z 24 pages. This paper is part of a split of the previous preprint arXiv:2601.10950v1, and addresses its theoretical foundations Kiyuob Jung http://arxiv.org/abs/2511.13512v3 2026-05-26T10:25:29Z

We consider a random walk on a homogeneous space $G/Λ$ where $G$ is a non-compact simple Lie group and $Λ$ is a lattice. The walk is driven by a probability measure $μ$ on $G$ whose support generates a Zariski-dense subgroup. We show that the random walk equidistributes towards the Haar measure unless it is trapped in a finite $μ$-invariant set. Moreover, under arithmetic assumptions on the pair $(Λ, μ)$, we show the convergence occurs at an exponential rate, tempered by the obstructions that the starting point may be high in a cusp or close to a finite orbit. The main challenge is to show that the dimensional properties of a given probability distribution on $G/Λ$ improve under convolution by $μ$. For this, we develop a new method, which combines a dimensional interpolation result and a dimensional increase alternative. This approach allows us to bypass inherent geometric obstructions. To show dimensional interpolation, we establish a general subcritical projection theorem under optimal non-concentration assumptions on the projector, and a corresponding submodular inequality for irreducible representations which allows its application to random walks. Both are of independent interest. The dimensional increase alternative aligns with the spirit of Bourgain's projection theorem. It is fine-tuned for random walks and has the advantage of being valid in situations lacking transversality.

2025-11-17T15:47:26Z 67 pages. Minor revision Timothée Bénard Weikun He http://arxiv.org/abs/2605.26033v2 2026-05-26T09:10:23Z

We develop the theory of lattice point counting on connected and simply connected nilpotent Lie groups of step-two, endowed with the parabolic type dilation and a family of homogeneous norms $ \mathcal{N}_{α,M}(x, t)=\left(|M_1x|^α+ |M_2t|^{α/ 2}\right)^{1 / α}$ adapted to the dilation structure, where $α>0$ and $M_1,M_2$ are invertible matrices. With appropriate notions of lattices, the domains to be counted are balls associated to these norms, and explicit counting discrepancy estimates are deduced for all possible dimensions and all $α>0$. The bounds are sharp when the group center is unidimensional and $α=2$, in certain rational sense. Our study also generalizes and even quantitively improves previous results on Heisenberg groups obtained by Garg--Nevo--Taylor \cite[\textit{Ann. Inst. Fourier}, 2015]{GNT15}: (i) In dimension $5$, the exponent of logarithmic factor is lowered from $2/3$ to ${1}/{3}$ if $α\in(3,4) $ or $α=1$; and the factor $\log ^{2/3} R $ is dropped if $α=4$ (i.e., the Cygan--Korányi norm case) or $α\in(2,3]$. (ii) In dimension $3$, the estimation is upgraded from $O_ε(R^{ 5/2+ε})$ to $O(R^{2}\log^{ 1/2} R)$ for $α=1$, and to $O(R^{{19}/{8}})$ for $α\in (1,2)$; and the factor $\log R$ is removed for $α>4$. Moreover, as a byproduct, we extend the lattice counting near Heisenberg spheres, recently considered by Campolongo--Taylor \cite[\textit{Matematica}, 2023]{CT23} and Srivastava--Taylor \cite[\textit{J. Fourier Anal. Appl.}, 2026]{ST26}, to the above step-two group setting with arbitrary dimensional group center, where some quantitive improvements are also attained. Our method relies upon Poisson's summation formulas, oscillatory integral estimates and asymptotic properties as well as recursion formulas of Bessel functions.

2026-05-25T17:01:32Z 43 pages; comments are welcome Sheng-Chen Mao http://arxiv.org/abs/2605.26709v1 2026-05-26T08:50:49Z

We show that the Wirtinger criterion cannot be used to investigate the frame set conjecture for the first Hermite function. More generally, for odd functions, it cannot determine regions of the frame set with density less than 2.

2026-05-26T08:50:49Z 6 pages, 17 references, to appear in "Results in Applied Mathematics" Results in Applied Mathematics, 30:100719, 2026 Markus Faulhuber 10.1016/j.rinam.2026.100719 http://arxiv.org/abs/2409.03300v4 2026-05-26T03:37:21Z

We consider a random walk on a homogeneous space $G/Λ$ where $G$ is $\mathrm{SO}(2,1)$ or $\mathrm{SO}(3,1)$ and $Λ$ is a lattice. The walk is driven by a probability measure $μ$ on $G$ whose support generates a Zariski-dense subgroup. We show that for every starting point $x \in G/Λ$ which is not trapped in a finite $μ$-invariant set, the $n$-step distribution $μ^{*n}*δ_{x}$ of the walk equidistributes toward the Haar measure. Moreover, under arithmetic assumptions on the pair $(Λ, μ)$, we show the convergence occurs at an exponential rate, tempered by the obstructions that $x$ may be high in a cusp or close to a finite orbit. Our approach is substantially different from that of Benoist-Quint, whose equidistribution statements only hold in Cesàro average and are not quantitative, that of Bourgain-Furman-Lindenstrauss-Mozes concerning the torus case, and that of Lindenstrauss-Mohammadi-Wang and Yang about the analogous problem for unipotent flows. A key new feature of our proof is the use of a new phenomenon which we call multislicing. The latter is a generalization of the discretized projection theorems à la Bourgain and we believe it presents independent interest.

2024-09-05T07:10:19Z 76 pages, accepted to Annals of Math Timothée Bénard Weikun He http://arxiv.org/abs/2412.07932v3 2026-05-25T19:26:35Z

Given a second-order, holomorphic, linear differential equation $Lf=0$ on a punctured Riemann surface, we say that its monodromy group $G\subset\operatorname{GL}(2,\mathbb{C})$ is `unitary' if it preserves a non-degenerate Hermitian form $H$ on $\mathbb{C}^2$ under the action $g\circ H=g^\dagger H g$. In the present work, we give two sets of necessary and sufficient conditions for a monodromy group $G\subset\operatorname{GL}(2,\mathbb{C})$ to be unitary. First, in the case that the natural representation of $G$ on $\mathbb{C}^2$ is irreducible, we show that unitarity is equivalent to a set of easily-verified trace conditions on local monodromy matrices; in the case that the representation is reducible, we show that $G$ is unitary if and only if it is contained in one of two model subgroups of $\operatorname{GL}(2,\mathbb{C})$. Second, we show that unitarity is equivalent to a criterion on the real dimension of the algebra $A$ generated by a rescaled group $G'\subset\operatorname{SL}(2,\mathbb{C})$: that $\dim(A)=1$ if $G\subset S^1$ is scalar, $\dim(A)=2$ if $G$ is abelian, $\dim(A)=3$ if $G$ is non-abelian but its action on $\mathbb{C}^2$ is reducible, and $\dim(A)=4$ otherwise. Our results directly extend the recent work of Adachi (2022, 2024), which treated Fuchsian equations with irreducible monodromy representation on the punctured Riemann sphere. We leverage these results to provide evidence that the spectrum of any Darboux operator should belong to a perturbed, squared lattice in the plane, extending a conjecture of Frits Beukers (2007). Our work makes progress towards characterizing the spectra of second-order operators on Riemann surfaces, and in particular, towards answering the \emph{accessory parameter problem} for Darboux equations.

2024-12-10T21:28:05Z 31 pages, 3 figures. Reupload based on referee comments David Darrow Eric Chen Alex Zitzewitz http://arxiv.org/abs/2605.26281v1 2026-05-25T19:06:36Z

This paper has a threefold aim. On the one hand, we provide a complete description of Laguerre-Hahn forms of class zero. This fills a gap in the literature: more precisely, up to an affine change of variables, there are ten families, including two new ones analogous to the Bessel classical family. On the other hand, we establish the structure relations for all these families, correcting those that have previously been reported in the literature. At last, as an application, using an algorithm previously obtained, with the aid of symbolic computations, we derive four new structure relations and a new fourth-order differential equation for one of the new families analogous to Bessel.

2026-05-25T19:06:36Z 34 pages Mohamed Khalfallah Pascal Maroni Zélia da Rocha http://arxiv.org/abs/2605.26264v1 2026-05-25T18:46:59Z

We establish uncertainty principles on compact Riemannian manifolds without boundary by combining restriction estimates for orthonormal systems with spectral projection bounds for Laplace-Beltrami and Schrödinger operators. Our results relate the size of the support of spectrally localized functions to the cardinality of the underlying spectral cluster and to Fourier-ratio type quantities. We obtain analogues for Schrödinger operators with singular potentials belonging to Kato and scaling-critical classes. As an application, we prove uniqueness results for recovery from incomplete spectral data on compact manifolds. Under curvature assumptions, including nonpositive and negative sectional curvatures, we also prove logarithmically improved uncertainty principles associated with shrinking spectral windows.

2026-05-25T18:46:59Z Alex Iosevich Chamsol Park http://arxiv.org/abs/2209.08186v2 2026-05-25T18:05:52Z

Orthogonal polynomials with respect to the weight function $w_{β,γ}(t) = t^β(1-t)^γ$, $γ> -1$, on the conic surface $\{(x,t): \|x\| = t, \, x \in \mathbb{R}^d, \, t \le 1\}$ are studied recently, and are shown to be eigenfunctions of a second order differential operator $\mathcal{D}_γ$ when $β=-1$. We extend the setting to the Sobolev inner product, defined as the integration of the $s$-th normal derivative $\mathfrak{D} = \frac{\mathrm{d}}{\mathrm{d} t} - t^{-1} \langle x, \nabla_x\rangle$ of the cone with respect to $w_{β+s,0}$ over the conic surface, plus a sum of integrals over the rim of the cone. Our main results provide an explicit construction of an orthogonal basis and a formula for the orthogonal projection operators; the latter is used to exploit the interaction of differential operators and the projection operator, which allows us to study the convergence of the Fourier orthogonal series. The study can be regarded as an extension of the orthogonal structure to the weight function $w_{β, -s}$ for a positive integer $s$. It shows, in particular, that the Sobolev orthogonal polynomials are eigenfunctions of $\mathcal{D}_γ$ when $γ= -1$.

2022-09-16T22:27:34Z A differential operator $\mathfrak{D}$ is introduced to fix an ambiguity about derivatives on the conic surface Lidia Fernandez Teresa Perez Miguel Pinar Yuan Xu http://arxiv.org/abs/2605.14732v2 2026-05-25T15:27:56Z

For a classical weight function $ρ$ defined on a simply connected open subset $Ω$ of $\mathbb{R}^2$ (either bounded or unbounded) with piecewise $C^1$ boundary, we prove density and compact embedding of a matrix-weighted Sobolev space in the weighted Lebesgue space $L^2(Ω,\, ρ)$. As an application, we investigate via a variational method, eigenvalue problem for a degenerate Helmholtz operator on triangle.

2026-05-14T11:56:10Z M. K. Nangho B. J. Nkwamouo J. L. Woukeng http://arxiv.org/abs/2506.16195v2 2026-05-25T15:16:18Z

In this paper we present a criteria to obtain interpolations formulas in terms of the sequence $\left(\{T_n(f)(Nm)\}\}_{m\in\mathbb{Z}}\right)_{n=1}^N$, where $f$ are functions whose Fourier transform is supported in $[-1/2,1/2]$, and $T_n$ are certain Fourier multiplier operators. We also discuss applications and also prove that our results recover several classical formulas.

2025-06-19T10:24:06Z 23 pages - Changes: The main results of the paper now cover sets of stable sampling and not only interpolating sets Iker Gardeazabal-Gutiérrez Mateus Sousa