On Hardy-Littlewood-Sobolev estimates for degenerate Laplacians

2026-04-16T09:52:49Z

We establish norm inequalities for fractional powers of degenerate Laplacians, with degeneracy being determined by weights in the Muckenhoupt class $A_2(\mathbb{R}^n)$, accompanied by specific additional reverse Hölder assumptions. This extends the known results for classical Riesz potentials. The approach is based on size estimates for the degenerate heat kernels. The approach also applies to more general weighted degenerate operators.

Projecting dynamical systems via a support bound

2026-04-16T09:52:10Z

For a polynomial dynamical system, we study the problem of computing the minimal differential equation satisfied by a chosen coordinate (in other words, projecting the system on the coordinate). This problem can be viewed as a special case of the general elimination problem for systems of differential equations and appears in applications to modeling and control. We give a bound for the Newton polytope of such minimal equation. Our bound depends on the dimension of the model and the degrees $d$ and $D$ of the polynomials defining the dynamics of the chosen coordinate and the remaining coordinates, respectively. We show that our bound is sharp if $d \leqslant D$ or the model is planar. We further use this bound to design an algorithm for computing the minimal equation following the evaluation-interpolation paradigm. We demonstrate that our implementation of the algorithm can tackle problems which are out of reach for the state-of-the-art software for differential elimination.

Uniform volume estimates and maximal functions on generalized Heisenberg-type groups

2026-04-16T07:25:55Z

On generalized Heisenberg-type groups $\mathbb{G}(2n,m,\mathbb{U},\mathbb{W})$, we give uniform volume estimates for the ball defined by a large class of Carnot-Carathéodory distances, and establish weak (1, 1) $O(C^m \, n)$-estimates for associated centered Hardy-Littlewood maximal functions, extending the results in \cite{BLZ25}. As a by-product, we establish uniformly volume doubling property on Heisenberg groups for a class of left-invariant Riemannian metrics.

On the Weighted Hardy Type Inequality for Functions from $W^1_p$ Vanishing on Small Parts of the Boundary

2026-04-16T06:10:39Z

A new weighted Hardy-type inequality for functions from the Sobolev space $W_{p}^{1}$ is proved. It is assumed that functions vanish on small alternating pieces of the boundary. The proved inequality generalizes the classical known weighted Hardy-type inequalities.

Arithmetic functions and learning theory

2026-04-15T23:37:49Z

We establish a connection between analytic number theory and computational learning theory by showing that the Möbius function belongs to a class of functions that is statistically hard to learn from random samples. Let $μ_R$ denote the restriction of the Möbius function to the squarefree integers in $\{1,\dots,R\}$. Using a recent lower bound of Pandey and Radziwiłł for the $L^1$ norm of exponential sums with Möbius coefficients, we prove that \[ \FR(μ_R) \gg R^{-1/4-ε} \] for every $ε>0$. We then show that, for a suitable absolute constant $c_0>0$, the class of $\{-1,1\}$-valued functions on the squarefree integers with Fourier Ratio at least $c_0$ has Vapnik--Chervonenkis dimension at least $cR$. It follows that any distribution-independent learning algorithm that succeeds uniformly on the class $\mathcal{H}_R(η_R)$ containing $μ_R$, where $η_R \to 0$, requires at least $Ω(R)$ samples. We also discuss a conditional improvement under a strong uniform bound for additive twists of the Möbius function, and we note that the same method applies to the Liouville function.

On the orthogonality of solutions for higher-order non-Hermitian difference equations

2026-04-15T21:22:17Z

In this paper we study higher-order difference equations which can be written as follows: $$ \mathbf{J} (y_0,y_1,...)^T = λ^N (y_0,y_1,...)^T, $$ where $\mathbf{J}$ is a $(2N+1)$-diagonal bounded banded matrix ($\mathbf{J}=(g_{m,n})_{m,n=0}^\infty$, $| g_{m,n} |< C$, $C>0$; and $g_{k,l}=0$ if $|k-l|>N$), $y_j$s are unknowns, $λ$ is a complex parameter, $N\in\mathbb{N}$. It is assumed that all $g_{k,k+N}$ and $g_{l-N,l}$ are nonzero. Two special cases are considered: \noindent \textit{Case A}: The matrix $\mathbf{J}$ is complex symmetric, i.e. $\mathbf{J} = \mathbf{J}^T$. \noindent \textit{Case B}: The matrix $\mathbf{J}$ is such that $g_{k,k+N}=1$, $k=0,1,2,...$. Notice that this condition can be attained by changing $y_j$s by their multiples. In both cases there exists a \textit{positive} matrix measure $M$ on a circle in the complex plane such that polynomial solutions satisfy some orthogonality relations. Namely, in case~A this is related to a $J$-orthogonality in the Hilbert space $L^2(M)$ ($J$ is a complex conjugation). In case~B we have a left $J$-orthogonality in $L^2(M)$. As a tool, a related matrix moment problem is studied. A complex rank-one perturbation of a free Jacobi matrix is discussed.

Energy, Polarization, and Separation of Greedy Sequences for Riesz and Green Kernels

2026-04-15T18:33:42Z

We investigate the asymptotic behavior of greedy $s$-Riesz and Green energy sequences $\{x_{n}\}_{n=1}^{\infty}$ on the unit sphere $\mathbb{S}^{d} \subset \mathbb{R}^{d+1}$, where each point $x_n$ is defined as the minimizer of the discrete potential generated by the preceding points $x_1, x_2, ..., x_{n-1}$. We show that the greedy sequence attains optimal growth behavior for the second-order term of the Green and Riesz $s$-energies when $d-2 \leq s < d$. The main idea is to establish the bounds on polarization using well-separation properties of the greedy configurations.

Bourgain-type projection theorems over finite fields

2026-04-15T17:27:43Z

We prove finite-field analogs of Bourgain's projection theorem in higher dimensions. In particular, for a certain range of parameters we improve on an exceptional set estimate by Chen in all dimensions and codimensions.

Coagulation equations with particle emission

2026-04-15T16:45:30Z

We present a model for sticky particles in which cluster sizes after a reaction have $\ell$ fewer total particles than the sum of their reactants. The finite particle system is modeled as a Markov process under a mean-field assumption for selecting reactants. The limiting kinetic equations form an infinite system of nonlinear differential equations similar to the Smoluchowski coagulation equations with multiplicative kernel. We show existence and uniqueness for systems whose cluster sizes are either bounded above or below by the emission size $\ell$. When clusters have at most $\ell$ particles, well-posedness can be extended until an exhaustion time in which certain cluster fractions vanish. For clusters with more than $\ell$ particles, we prove short-time well-posedness, along with explicit formulas for cluster sizes and moments. We also conduct numerical experiments which suggest these formulas hold until a gelation time, at which an infinite-sized cluster forms.

Contractive analytic self-mappings of the disc

2026-04-15T12:57:28Z

Analytic self-maps of the unit disc whose hyperbolic derivative is uniformly bounded by a constant smaller than one, are called contractive. We describe these maps in terms of their Aleksandrov-Clark measures and in terms of their inner-outer factorization. In addition, we show that contractive inner functions can be described in terms of a certain mixing property of its boundary values. We also present other results on the boundary behavior of contractive inner functions.

A probabilistic analogue of the Fourier extension conjecture

2026-04-15T12:46:04Z

We prove a probabilistic Fourier extension theorem that says Fourier extension holds when averaged over certain smooth Alpert multipliers. The proofs use smooth Alpert wavelets with the classical techniques of stationary phase and interpolation of L^2 and L^4 estimates. The correct L^4 bounds for resonant forms require an expectation over Alpert multipliers.

On the discrete Painlevé equivalence problem, non-conjugate translations and nodal curves

2026-04-15T12:14:25Z

We consider several examples of nonautonomous systems of difference equations coming from semi-classical orthogonal polynomials via recurrence coefficients and ladder operators, with respect to various generalisations of Laguerre and Meixner weights. We identify these as discrete Painlevé equations and establish their types in the Sakai classification scheme in terms of the associated rational surfaces. In particular, we find examples which come from different weights and share a common surface type $D_5^{(1)}$ but are inequivalent in two ways. First, their dynamics are generated by non-conjugate elements of $\widehat{W}(A_3^{(1)})$. Second, some of the examples have associated surfaces being non-generic in the sense of having nodal curves. The symmetries of these examples form subgroups of the generic symmetry group, which we compute. In particular, we find $(W(A_1^{(1)})\times W(A_1^{(1)}))\rtimes \mathbb{Z}/2\mathbb{Z}$. These examples give further weight to the argument that any correspondence between different weights and the Sakai classification should make use of the refined version of the discrete Painlevé equivalence problem, which takes into account not just surface type, but also the group elements generating the dynamics as well as parameter constraints, e.g. those corresponding to nodal curves.

Haar bases for multi-parameter twisted structures

2026-04-15T02:29:04Z

Motivated by the Cauchy--Szegő projections on a broad class of Siegel domains and the geometric quotient structures of nilpotent Lie groups observed by Nagel, Ricci, and Stein, we develop a martingale and Haar wavelet framework for twisted multi-parameter geometries. We introduce twisted dyadic filtrations and construct adapted Haar bases on Euclidean spaces $\mathbb{R}^{2m}$. Each of the resulting dyadic systems forms a complete orthonormal basis of $L^2(\mathbb R^{2m})$, and their union yields a tight frame with frame bound $3$. We establish $L^p$-equivalences for the associated discrete twisted Littlewood--Paley square functions. Furthermore, we extend this discrete real-variable theory to the non-abelian setting of a nilpotent Lie group of step two, $\mathscr{N}$, which serves as the Shilov boundary of certain fundamental Siegel domains. By projecting product fractal tiles from a lifting group of Heisenberg products, we define twisted dyadic shards and construct twisted nilpotent Haar frames. More precisely, we first introduce raw projected shards that reflect the quotient geometry, and then pass to analytic dyadic shards which are exactly rectifiable and remain uniformly comparable to the raw quotient structure in the relevant scale regimes. This yields a discrete framework adapted to twisted quotient geometries in both the Euclidean and nilpotent settings, providing a basic dyadic infrastructure for further developments in twisted real-variable theory.

Restriction and decoupling estimates for the hyperbolic paraboloid in $\mathbb{R}^3$

2026-04-14T18:09:08Z

We prove bilinear $\ell^2$-decoupling and refined bilinear decoupling inequalities for the truncated hyperbolic paraboloid in $\mathbb{R}^3$. As an application, we prove the associated restriction estimate in the range $p>22/7$, matching an earlier result for the elliptic paraboloid.

Uniqueness and non-uniqueness pairs for the fractional Laplacian

2026-04-14T17:31:02Z

We establish sufficient conditions on discrete subsets of $\mathbb{R}^d$ for them to form a uniqueness or a non-uniqueness pair for the fractional Laplacian. Specifically, assuming that $f=0$ on $Λ$ and that $(-Δ)^sf=0$ on $M$, where $Λ, M \subset \mathbb{R}^d$ are discrete, we find sufficient conditions on these sets that force $f$ to vanish identically, and we provide examples in which non-uniqueness occurs. Some of the ideas used in the proofs also extend to a broader class of multiplier operators.