Mutual Annihilation of Tiles

2026-03-23T09:19:30Z

We prove that if the zero set of the Fourier transform of $A\subseteq\mathbb Z_n\times\mathbb Z_n$ contains an element of prime power order, then there is an equi-distribution relation in subsets of $A$ with respect to certain hyperplanes. With this we further show that if $A$ is a tiling complement of the subgroup generated by $(p,0)$ and $(0,p)$ in $\mathbb Z_{p^m}\times\mathbb Z_{p^m}$, then the zero set of its Fourier transform is disjoint with the orthogonal rotation of $A$. These results are motivated by a casual observation in $\mathbb Z_{p^2}\times\mathbb Z_{p^2}$.

Slowly decaying Rajchman measures and a restriction theorem for the Fourier transform at the limit case of zero Fourier dimension

2026-03-23T07:13:42Z

In this article we prove the existence of sets $E \subseteq \mathbb{R}$ of zero Fourier dimension such that it is possible to restrict the Fourier transform to $E$ on a certain non-trivial range $[1,\tilde{p})$ with $1<\tilde{p}<2$. This builds upon Mockenhaupt's Restriction Theorem; while this theorem could only be applied to sets of positive Fourier dimension, we show that the existence of a measure with polylogarithmic Fourier decay combined with full Hausdorff dimension 1 on the real line is enough to guarantee restriction. In order to achieve this, we combine two different tools: a modification of a construction from a recent work of Li and Liu to produce a set with specific Hausdorff and Fourier dimensions, and a generalization of the Stein-Tomas-Mockenhaupt Restriction Theorem.

Singularity for graph-directed conjugate equations indexed by a two-vertex digraph

2026-03-23T03:45:16Z

We study graph-directed conjugate functional equations on the unit interval indexed by the complete digraph with self-loops on two vertices. We focus on the singularity and regularity of the solutions for compatible systems of weak contractions. First, we show that both solutions are singular in the affine case unless the two systems coincide; second, we obtain a dichotomy between singularity and smoothness for a class of linear fractional systems; and finally, we give a sufficient condition for singularity in a non-linear setting.

Determinantal Formulas for Rational Perturbations of Multiple Orthogonality Measures

2026-03-23T01:23:27Z

Given multiple orthogonal polynomials on the real line with respect to a system $\bmμ = (μ_1,\ldots,μ_r)$, we investigate multiple orthogonal polynomials associated with any rational perturbation of the form $$ \widetilde{\bmμ}=\Big(\frac{Φ_1}{Ψ_{1}} μ_1,\dots,\frac{Φ_r}{Ψ_r}μ_r\Big), $$ for any polynomials $Φ_1,\dots,Φ_r$ and $Ψ_1,\dots,Ψ_r$. We derive the analogues of Uvarov's determinantal formula for the multiple orthogonal polynomials of type I and type II for $\widetilde{\bmμ}$ and establish necessary and sufficient condition for normality of the indices. The result allows the polynomials $\{Φ_j,Ψ_j\}_{j=1}^r$ to be arbitrary and permits the addition of finitely many point masses to each of the measures $μ_j$. Moreover, the measures $μ_j$ may be taken as quasi-definite linear functionals, which is of interest even in the case $r=1$.

Zeros of Laurent multiple orthogonal polynomials on the unit circle

2026-03-23T01:05:52Z

We investigate two distinct formulations of Laurent multiple orthogonal polynomials on the unit circle, introduced in arXiv:2410.12094 and arXiv:2601.04783 respectively. For the first formulation, we prove that all zeros lie strictly within the complex open unit disk for any Angelesco or AT system. For the second formulation, we establish normality of all indices of the form $(\bm{n};\bm{n})$, $(\bm{n}+\bm{e}_j;\bm{n})$, and $(\bm{n};\bm{n}+\bm{e}_j)$ for any Angelesco or AT system, thereby enabling the full application of the Szegő mapping and Geronimus relations from arXiv:2601.04783 in the multiple orthogonality setting.

Spectral synthesis on Riemannian manifolds

2026-03-22T23:45:32Z

We study spectral synthesis for measures supported on thin subsets of compact Riemannian manifolds. We prove that under natural non-concentration conditions, such measures admit quantitative spectral synthesis, with explicit stability bounds. We show that this phenomenon depends strongly on the underlying geometry. On the torus, synthesis holds under broad assumptions, while on the sphere we establish rigidity results demonstrating that synthesis can fail in a sharp sense. As consequences, we obtain quantitative approximation results and uncertainty principles for functions with thin spectral support. These results provide a unified framework connecting spectral synthesis, geometric structure, and stability on compact manifolds.

Approximating the coefficients of the Bessel functions

2026-03-22T21:59:09Z

We determine equivalent conditions between the asymptotic coefficients of the Bessel generating functions of a sequence of probability measures and the asymptotic expected values of power sums when their inputs are sampled from these measures. We establish these conditions over the $|θN| \rightarrow\infty$ regime for the type A and D root systems and over the $|θ_0 N|\rightarrow \infty, \frac{θ_1}{θ_0 N}\rightarrow c\in\mathbb{C}$ regime for the type BC root system. We also establish equivalent conditions over the $θN \rightarrow c\in\mathbb{C}$ regime for the type A and D root systems and over the $θ_0 N\rightarrow c_0\in\mathbb{C}, \frac{θ_1}{θ_0 N}\rightarrow c_1\in\mathbb{C}$ regime for the type BC root system that generalize existing results. Furthermore, we determine the asymptotics of the coefficients of the Bessel functions over the regimes that we have mentioned.

Entropy rates in the dimension theory of self-similar measures

2026-03-22T21:17:48Z

This is a survey paper on the dimension theory of self-similar measures on the real line focusing on the role of entropy rates.

Functions of pairs of commuting self-adjoint operators under relatively bounded perturbations

2026-03-22T18:23:55Z

We study the behaviour of functions of pairs of commuting self-adjoint operators under perturbations by relatively bounded operators. We obtain analogs of our earlier results for functions of a single self-adjoint operator under relatively bounded perturbations. The main tool is double operator integrals

Bidiagonal Factorization of Banded Recursion Matrices for Mixed-Type Multiple Orthogonal Polynomials

2026-03-22T18:06:56Z

Given a banded matrix $\mathscr{T}_N$ with $p$ subdiagonals and $q$ superdiagonals arising from the Gauss--Borel factorization $\mathscr{M}_N = \mathscr{L}_N^{-1}\mathscr{U}_N^{-1}$ of a moment matrix, this paper constructs explicitly its bidiagonal factorization \[ \mathscr{T}_N = L_1 \cdots L_p\, U_q \cdots U_1. \] Bidiagonal factorizations of this type are central to the study of oscillatory banded matrices and to the spectral Favard theorem for multiple orthogonal polynomials The factorization is obtained via Christoffel transformations of the moment matrix. Provided that the perturbed moment matrices $\mathscr{M}_{N,(b,0)}$ and $\mathscr{M}_{N,(0,a)}$ admit a Gauss--Borel factorization, each bidiagonal factor is a quotient of the corresponding Gauss--Borel factors: \[ U_b = \mathscr{U}_{N,(b,0)}^{-1}\mathscr{U}_{N,(b-1,0)}, \qquad L_a = \mathscr{L}_{N,(0,a-1)}\mathscr{L}_{N,(0,a)}^{-1}. \] Explicit Christoffel-type formulas for the entries of the bidiagonal factors are then derived in terms of certain tau-determinants evaluated at the origin: \[ U_{b,n} = -\frac{τ^B_{b-1,n}\,τ^B_{b,n+1}} {τ^B_{b-1,n+1}\,τ^B_{b,n}}, \qquad L_{a,n+1} = -\frac{τ^A_{a-1,n+2}\,τ^A_{a,n}} {τ^A_{a-1,n+1}\,τ^A_{a,n+1}}. \] As an illustration, the theory is applied to the recurrence matrices of multiple Hahn orthogonal polynomials. For two weights the tetradiagonal case is handled via contiguous hypergeometric relations; for three weights, i.e. the pentadiagonal case, the direct hypergeometric representations are required. In both cases fully explicit bidiagonal factorizations are obtained.

A sharp logarithmic condition for the Hardy operator on $L^{1}(0,\infty)$ and $\ell^1$

2026-03-22T14:15:33Z

The Hardy operator is not bounded on the space of integrable functions on the positive half-line and its discrete counterpart on summable sequences. we introduce a modified Hardy operator obtained by subtracting a natural corrective term, and characterize the largest subspace of integrable functions on which this modified operator maps into integrable functions. The sharp condition is a logarithmic integrability (summability) requirement whose weight reflects obstructions on both small and large scales.

Bilinear spherical maximal function on the Heisenberg group

2026-03-22T13:04:09Z

We introduce the bilinear Nevo-Thangavelu spherical means on the Heisenberg group $\mathbb{H}^n,$ and derive $L^{p_1}(\mathbb{H}^n) \times L^{p_2}(\mathbb{H}^n) \to L^{p}(\mathbb{H}^n)$ estimates for the single-scale bilinear averaging operators, the (full) bilinear Nevo-Thangavelu maximal operator and finally for the bilinear lacunary maximal operator on $\mathbb{H}^n; n \geq 2$. Our result for the full maximal operator is sharp. The principal tools in our analysis include newly developed estimates for single-scale bilinear averages, Hopf's maximal ergodic theorem, and a $T^*T$ argument adapted to this setting.

On Tiling and Spectral Sets in $\mathbb Z_{p^2}\times\mathbb Z_{p^2}$

2026-03-22T09:48:49Z

Let $p$ be a prime number, it is shown that tiling and spectral sets coincide in $\mathbb Z_{p^2}\times\mathbb Z_{p^2}$ by considering equivalently symplectic spectral pairs. The main approach is still to analyze the zero set of the Fourier transform. The zero set of the symplectic Fourier transform differs from the zero set of the usual Fourier transform by an orthogonal rotation, but using the symplectic Fourier transform allows more freedom when applying change of basis. Some auxiliary results concerning tiling sets and spectral sets of sizes $p$ and $p^{2m-1}$ in $\mathbb Z_{p^m}\times\mathbb Z_{p^m}$ are also presented.

Frames and Bases of Translates of Signals on Undirected Graphs

2026-03-22T02:41:21Z

We study a shift invariant space on an undirected graphs $G$ having $N$ vertices. We obtain a characterization theorem for a system of generalized translates $\{T_{i}g : 1\leq i\leq N\}$, for $g\in C^N$, to form an orthonormal basis. Moreover, we find a necessary and sufficient condition for the system $\{T_{i}g : 1\leq i\leq m\}$, $m\leq N$, to form a linearly independent set and an orthonormal set. Further, we obtain a characterization result for a system of generalized translates which is generated by multiple generators $g_{1},...,g_{M}$ to form a frame for $C^N$. In particular, we deduce similar results for the system $\{T_{i}M_{s}g : 1\leq i,s\leq N\}$ with modulation $M_{s}$ and the spectral graph wavelet system. We also provide an illustration for the spectral graph wavelet system.

From tug-of-war to Brownian Boost: explicit ODE solutions for player-funded stochastic-differential games

2026-03-22T01:47:30Z

Brownian Boost is a one-parameter family of stochastic differential games played on the real line in which players spend at rates of their choosing in an ongoing effort to influence the drift of a randomly diffusing point particle~$X$. One or other player is rewarded, at time infinity, according to whether~$X$ tends to plus or minus infinity. Each player's net receipt is the final reward (only for the victor) minus the player's total spend. We characterise and explicitly compute the time-homogeneous Markov-perfect Nash equilibria of Brownian Boost, finding the derivatives of the players' expected payoffs to solve a pair of coupled first-order non-linear ODE. Brownian Boost is a high-noise limit of a two-dimensional family of player-funded tug-of-war games, one of which was studied in~\cite{LostPennies}. We analyse the discrete games, finding them, and Brownian Boost, to exemplify key features studied in the economics literature of tug-of-war initiated by~\cite{HarrisVickers87}: a battlefield region where players spend heavily; stakes that decay rapidly but asymmetrically in distance to the battlefield; and an effect of discouragement that makes equilibria fragile under asymmetric perturbation of incentive. Tug-of-war has a parallel mathematical literature derived from~\cite{PSSW09}, which solved the scaled fair-coin game in a Euclidean domain via the infinity Laplacian PDE. By offering an analytic solution to Brownian Boost, a game that models strategic interaction and resource allocation, we seek to build a bridge between the two tug-of-war literatures.