https://arxiv.org/api/AWkM5ogyuwLdBI58d268HKDRKJo 2026-06-18T14:29:13Z 25088 300 15 http://arxiv.org/abs/2605.09809v1 2026-05-10T23:11:51Z

In this paper, we determine the sharp \((p,q)\) range for \(L^p\)--\(L^q\) bounds of convolution operators \(f\mapsto μ*f\) associated with fractal measures \(μ\in \mathcal P_{α,β}(\mathbb R^d)\), namely, compactly supported Borel probability measures satisfying the \(α\)-Frostman condition \[ μ(B(x,ρ)) \lesssim ρ^α, \qquad \forall (x,ρ)\in \mathbb R^d\times (0,1), \] and the \(β/2\)-Fourier decay condition \[ |\widehatμ(ξ)| \lesssim |ξ|^{-β/2}, \qquad \forall ξ\in\mathbb R^d. \] Sharpness is established by constructing measures satisfying these conditions together with a suitable lower regularity condition. Modifications of the same constructions also refine previous sharpness results for the \(L^2\) restriction estimate of Mockenhaupt--Mitsis--Bak--Seeger by producing, in every dimension and in both the geometric \((α\geβ)\) and non-geometric \((β>α)\) regimes, a single measure in \(\mathcal P_{α,β}(\mathbb R^d)\) for which the corresponding threshold exponent is sharp.

2026-05-10T23:11:51Z 61 pages, 3 figures Sanghyuk Lee Sungchul Lee http://arxiv.org/abs/2604.03934v2 2026-05-10T15:15:49Z

Let $Λ$ be a set and $\mathbb{F}$ a field. Suppose that $K,Q:Λ^2\to\mathbb{F}$ are two functions such that for any $n\in\mathbb{N}$ and $x_1,x_2,\ldots,x_n\inΛ$, the determinants of matrices $(K(x_i,x_j))_{1\leq i,j\leq n}$ and $(Q(x_i,x_j))_{1\leq i,j\leq n}$ agree. We study to what extent $K$ and $Q$ must be related by two canonical transformations corresponding to diagonal similarity and transposition. In the symmetric case, this relation holds without further assumptions (see [Marco Stevens, Equivalent symmetric kernels of determinantal point processes, RMTA, 10(03):2150027, 2021]), while in general it fails. In [Harry Sapranidis Mantelos, Determinantally equivalent nonzero functions, Discrete Mathematics, 349(6):115021, 2026], it was shown that the relation remains valid under a natural $2\times 2$ determinantal condition (property $\mathcal{D}$), together with the additional assumption that both functions are nowhere vanishing. We prove that the 'nowhere vanishing' assumption can be removed entirely, and that property $\mathcal{D}$ alone provides the correct and complete structural mechanism governing the problem. In particular, this shows that the nowhere-zero assumption is not intrinsic to the problem, but rather an artefact of the specific method. The proof is entirely combinatorial and avoids linear algebra, relying on an analysis of permutations in the definition of a determinant as cycles in a graph; in particular, it requires new arguments to handle the breakdown of the identities used in \cite{mantelos2026determinantally}, which are crucial to the method therein. In the 'finite $Λ$' case, this also yields a new approach to the classical matrix problem of [Raphael Loewy, Principal minors and diagonal similarity of matrices, Linear Algebra and its Applications 78 (1986), 23--64], thereby revealing an underlying combinatorial structure.

2026-04-05T02:22:37Z Revised exposition and restructuring of sections. 35 pages, 9 figures Harry Sapranidis Mantelos http://arxiv.org/abs/2506.06885v2 2026-05-10T12:32:43Z

We define a thin category $\mathrm{Dim}^+$ of dimension shifts and a category $\mathrm{RadMeas}$ of positive Radon measures with Radon--Nikodym density morphisms. We classify scaling-covariant functors $\mathrm{Dim}^+\to\mathrm{RadMeas}$ whose morphisms are given by homogeneous densities. Gaussian normalization selects a unique functor with values $ dμ_x(u)=\frac{π^{x/2}}{Γ(x/2)}u^{x/2-1}\,du. $ Its morphism component yields the radial-integration transport $ R(x,r)=\frac{π^rΓ(x/2)}{Γ(x/2+r)}, $ while the unit-interval observable recovers the Euclidean ball-volume formula $ V(x)=\frac{π^{x/2}}{Γ(x/2+1)}. $ The two transports differ by the multiplicative coboundary of $β(x)=x$, identified with the categorical dimension of the standard object in Deligne's interpolation category $\mathrm{Rep}(O_t)$.

2025-06-07T18:27:00Z 10 pages. Substantial revision and conceptual reorganization of a previous version. Companion analytic paper: "Radial Integration and Ball Volume in Continuous Dimension" (arXiv:2605.04351) Andreu Ballus Santacana http://arxiv.org/abs/2505.00556v2 2026-05-10T11:14:33Z

We show that there is an additive $F_σ$ subgroup $A$ of $\mathbb{R}$ and $x \in \mathbb{R}$ such that $\mathrm{dim_H} (A) = \frac{1}{2}$ and $A + x A =\mathbb{R}$. However, if $A \subseteq \mathbb{R}$ is a subring of $\mathbb{R}$ and there is $x \in \mathbb{R}$ such that $A + x A =\mathbb{R}$, then $A =\mathbb{R}$. Moreover, assuming the continuum hypothesis (CH), there is a subgroup $A$ of $\mathbb{R}$ with $\mathrm{dim_H} (A) = 0$ such that $x \not\in \mathbb{Q}$ if and only if $A + x A =\mathbb{R}$ for all $x \in \mathbb{R}$. A key ingredient in the proof of this theorem consists of some techniques in recursion theory and algorithmic randomness. We believe it may lead to applications to other constructions of exotic sets of reals. Several other theorems on measurable, and especially Borel and analytic subgroups and subfields of the reals are presented. We also discuss some of these results in the $p$-adics.

2025-05-01T14:31:57Z Jinhe Ye Liang Yu Xuanheng zhao http://arxiv.org/abs/2512.08676v2 2026-05-10T09:11:18Z

Raimi's classical theorem establishes a partition of the natural numbers with a remarkable unavoidability property: for every finite coloring of $\mathbb{N}$, there is a color class whose translate meets both parts of the partition in infinitely many points. Recently, Kang, Koh, and Tran have extended this phenomenon to the circle group, proving that there exists a measurable partition of the circle such that every finite measurable cover admits a rotation whose image meets each part of the partition in positive measure. This paper shows that this phenomenon extends beyond compact abelian groups to a wide class of non-group geometric surfaces that still exhibit \textit{a hidden one-dimensional symmetry}. Specifically, we establish analogs of Raimi's theorem for three families of surfaces (with their natural surface measures): the unit sphere $S^{n-1} \subset \mathbb{R}^n$, rotational power surfaces (such as cones and paraboloids), and circular cylindrical surfaces. The common feature is that each of these surfaces carries a natural measure-preserving action of the circle group by rotation in a fixed plane and admits a measurable trivialization as a product $C \times Y$. This circle-bundle structure allows the measurable Raimi partition on the base circle to be lifted to an unavoidable partition on the manifold. Our approach is unified through a general circle-bundle theorem, which reduces all three geometric cases to verifying suitable equivariance and product disintegration properties of the surface measure.

2025-12-09T14:57:45Z 16 pages Dung The Tran http://arxiv.org/abs/2511.11283v2 2026-05-10T07:01:14Z

We survey old and new conjectures and results on various types of spherical maximal functions, emphasizing problems with a fractal dilation set.

2025-11-14T13:18:00Z 33 pages, 3 figures. Expanded version to appear Joris Roos Andreas Seeger http://arxiv.org/abs/2605.09336v1 2026-05-10T05:17:28Z

We establish new Strichartz estimates for orthonormal systems on compact Riemannian manifolds in the non-sharp admissible region of exponents, covering wave, Klein-Gordon, and fractional Schrödinger equations. Our approach combines the result of Wang-Zhang-Zhang \cite{wang2025strichartz} on the sharp admissible line with a Lieb-Sobolev inequality derived from a recent Cwikel estimate due to Sukochev-Yang-Zanin \cite{sukochev2025singular}, along with an alternative globalization method based on localized weak Lorentz estimates. Our results extend the Euclidean results of Bez-Hong-Lee-Nakamura-Sawano \cite{bez2019strichartz} and Bez-Lee-Nakamura \cite{bez2021strichartz}, as well as the classical single-function estimates on manifolds due to Kapitanski \cite{kapitanski1989some}, Burq-Gérard-Tzvetkov \cite{MR2058384}, and Dinh \cite{dinh2016strichartz}.

2026-05-10T05:17:28Z 31 pages Hongzhou Ji Liping Xu An Zhang http://arxiv.org/abs/2601.18768v3 2026-05-09T22:13:22Z

We establish two inequalities in real inner product spaces. The first is a multiplicative strengthening of the classical Hornich-Hlawka inequality: for all vectors $x, y, z$ in a real inner product space $H$ \[ \|x\|\,\|y\| + \|z\|\,\|x+y+z\| \;\geq\; \|x+z\|\,\|y+z\|. \] We provide a complete characterization of the equality cases in terms of the linear dependence of $x,y,z$, and explicit conditions on their Gram matrix, showing in particular that equality occurs only in flat (at most two-dimensional) configurations. We also show that this inequality implies the classical Hornich-Hlawka inequality, thereby establishing a strict hierarchy between the two. The second result is a parametric inequality derived from the positive semidefiniteness of Gram matrices: for all $x,y,z \in H$ and $α, β, γ\in \mathbb{R}$, \[ α^2\|x\|^2\langle y,z\rangle^2 + β^2\|y\|^2\langle x,z\rangle^2 + γ^2\|z\|^2\langle x,y\rangle^2 + 2(αβ+ αγ+ βγ)\langle x,y\rangle\langle x,z\rangle\langle y,z\rangle \;\geq\; 0. \] Optimizing over the parameters yields sharp inequalities relating the pairwise inner products and norms of three vectors, which can be viewed as reverse inequalities to the Gram determinant inequality $\det G \geq 0$. As a special case, this recovers and strengthens the classical Cauchy-Schwarz inequality.

2026-01-26T18:38:18Z The text has been polished in the new version. 11 pages Nizar El Idrissi Hicham Zoubeir http://arxiv.org/abs/2507.21006v2 2026-05-09T15:39:51Z

Symmetry is a key property of numerical methods. The geometric properties of symmetric schemes make them an attractive option for integrating Hamiltonian systems, whilst their ability to exactly recover the initial condition without the need to store the entire solution trajectory makes them ideal for the efficient implementation of Neural ODEs. In this work, we present a Hopf algebraic approach to the study of symmetric B-series methods. We show that every B-series method can be written as the composition of a symmetric and "antisymmetric" component, and explore the structure of this decomposition for Runge-Kutta schemes. A major bottleneck of symmetric Runge-Kutta schemes is their implicit nature, which requires solving a nonlinear system at each step. By introducing a new set of order conditions which minimise the antisymmetric component of a scheme, we derive what we call Explicit and Effectively Symmetric (EES) schemes -- a new class of explicit Runge-Kutta schemes with near-symmetric properties. We present examples of second-order EES schemes and demonstrate that, despite their low order, these schemes readily outperform higher-order explicit schemes such as RK4 and RK5, and achieve results comparable to implicit symmetric schemes at a significantly lower computational cost.

2025-07-28T17:19:07Z 27 pages, 3 figures Daniil Shmelev Kurusch Ebrahimi-Fard Nikolas Tapia Cristopher Salvi http://arxiv.org/abs/2412.02908v2 2026-05-09T12:23:58Z

We present explicit representations in terms of hypergeometric functions for the scaling functions in the $C^0$ orthogonal multiresolution analyses associated with piecewise continuous polynomials. Closed formulas for the Mellin transform of these functions as well as their Fourier transforms are derived. Some new multiresolution analyses whose scaling functions have coefficients that are rational numbers are introduced and discussed.

2024-12-03T23:27:10Z Lidia Fernández Jeffrey S. Geronimo Plamen Iliev http://arxiv.org/abs/2605.08818v1 2026-05-09T09:10:19Z

Let $n,m\ge 1$, $α\in(0,1)$, and $β\ge 0$. For the Grushin-type operator \[ L=-\nabla_x\!\cdot\!\bigl(|x|^{2α}\nabla_x\bigr)+|x|^{2β}Δ_y \qquad \text{on } \mathbb R^n\times \mathbb R^m, \] we prove the isoperimetric inequality on the associated Grushin space. Equivalently, if \[ Q=\frac{n+m(β+1-α)}{1-α}, \] then \[ |Ω|^{\frac{Q-1}{Q}}\le C\,P(Ω) \] for every smooth bounded domain $Ω\subset \mathbb R^{n+m}$.

2026-05-09T09:10:19Z 12pages Dangyang He http://arxiv.org/abs/2508.08156v5 2026-05-09T05:51:24Z

This paper is devoted to the existence of anisotropic Minkowski content and anisotropic outer Minkowski content. Our result is that the Minkowski content of the topological boundary of a given set of finite perimeter $E$ coincides with the perimeter of $E$ if and only if the anisotropic Minkowski content of the topological boundary of $E$ coincides with half of the sum of the anisotropic perimeter of $E$ and the anisotropic perimeter of the complement of $E.$ As a consequence, we find that the existence of anisotropic outer Minkowski content of a given set of finite perimeter and its complement ensures the existence of outer Minkowski content of the set and its complement.

2025-08-11T16:32:16Z Filip Fryš http://arxiv.org/abs/2601.22681v2 2026-05-09T05:48:35Z

This paper investigates the existence of the anisotropic lower-dimensional Minkowski content. We establish that the $C$-anisotropic $k$-dimensional Minkowski content of a $k$-rectifiable compact set always exists and coincides with a specific functional that depends naturally on $C$. We further show that the same conclusion holds for countably $\mathcal{H}^k$-rectifiable compact sets, provided that the so-called \emph{AFP-condition} is satisfied. In addition, we discuss how the existence of the $C$-anisotropic $k$-dimensional Minkowski content for a countably $\mathcal{H}^k$-rectifiable compact set depends on the choice of $C$.

2026-01-30T07:53:34Z Filip Fryš http://arxiv.org/abs/2605.08491v1 2026-05-08T21:09:49Z

Davydov, Moldavskaya, and Zitikis introduced local indices for quantifying the lack of convexity of a \(C^2\) function by measuring the nuclear-norm distance of its Hessian from the cone of positive semidefinite matrices. This paper develops a local analogue for functions of class \(C^{1,1}\). At a point \(x\), the classical Hessian is replaced by the Clarke-type generalized Hessian set \(\Hess(h;x)\), defined as the closed convex hull of limiting Hessians at nearby twice differentiability points. Evaluating the same spectral functional over \(\Hess(h;x)\) gives an interval-valued local nonconvexity index whose lower and upper endpoints represent, respectively, the least and greatest visible second-order nonconvexity at \(x\). The construction reduces to the original smooth index when \(h\in C^2\), vanishes for convex \(C^{1,1}\) functions, is invariant under orthogonal changes of variables, satisfies a subadditivity inequality for the upper endpoint under sums, and is upper semicontinuous in its upper endpoint. We also relate the upper endpoint to a pointwise weak-convexity curvature modulus and give explicit \(C^{1,1}\setminus C^2\) examples. The paper is deliberately local in scope: it proposes a scalar diagnostic extracted from generalized Hessian sets, not a replacement for the richer second-order variational theory of nonsmooth convexity.

2026-05-08T21:09:49Z Marina Palaisti http://arxiv.org/abs/2605.07787v1 2026-05-08T14:25:36Z

We introduce a theory of orthogonal polynomials on the unit sphere of the quaternions based on the notion of a $q$-positive measure (which originated in a work of Alpay, Colombo, the second author and Sabadini). The results we extend to this setting include the Szegő recurrences, the Zeros Theorem for orthogonal polynomials, the Szegő--Verblunsky theorem, and Baxter's theorem; to obtain these results, we utilise the Verblunsky coefficients (or Schur parameters) of Alpay, Colombo and Sabadini and a number of established results in the matricial setting. Our approach also requires matrix-valued analogues of Schur's recurrences for the coefficients of a Schur function and of Verblunsky's formula for the moments of a measure, which appear to be new.

2026-05-08T14:25:36Z Connor J. Gauntlett David P. Kimsey