Weighted Chui's conjecture

2026-03-05T14:51:45Z

The goals of this paper are threefold. First, we show that a counterpart of the Newman bound related to the Chui conjecture is valid in the case where the gradient of Coulomb potential is generated by arbitrary positive charges placed at the boundary of a unit ball. Second, we prove that our bound is sharp in the two-dimensional case. Finally, we discuss a related problem, where the unit charges are placed in the unit disc.

Littlewood, Paley and Almost-Orthogonality: a theory well ahead of its time

2026-03-05T12:27:01Z

Littlewood--Paley theory began with the classic paper of Littlewood and Paley (J.\ E.\ Littlewood, R.\ E.\ A.\ C.\ Paley, {\em Theorems on Fourier Series and Power Series}. J. Lond. Math. Soc. (1), {\bf 6} (1931), 230--33). We discuss this paper and its impact from a historical perspective. We include an outline of the results in the paper and their subsequent significance in relation to developments over the last century, and set them into the context of the current state of the art in harmonic analysis and beyond.

Uniqueness of the Canonical Reciprocal Cost

2026-03-05T12:19:31Z

We study a rigidity problem for functions $F:\R_{>0}\to\R_{\ge 0}$ that penalize deviation of a positive ratio from equilibrium $x=1$. Assuming (i) a d'Alembert-type composition law on $\R_{>0}$, and (ii) a single quadratic calibration at the identity (in logarithmic coordinates), we prove that $F$ is uniquely determined. The composition law implies the normalization $F(1)=0.$ The unique solution is called the canonical reciprocal cost, namely the difference between the arithmetic and geometric means of $x$ and its reciprocal. Our proof uses the logarithmic coordinates $H(t)=F(e^t)+1$, where the composition law becomes d'Alembert's functional equation on $\R$. The calibration provides the minimal regularity needed to invoke the classical classification of continuous solutions and fixes the remaining scaling freedom, selecting the hyperbolic-cosine branch. We also establish necessity of each assumption: without calibration the composition law admits a continuous one-parameter family, without the composition law the calibration does not determine the global form, and without regularity the composition law admits pathological non-measurable solutions. Finally, we establish a stability estimate for approximate solutions under bounded defect and characterize some properties of the canonical cost.

Sharp restriction estimates for some degenerate higher codimensional quadratic surfaces

2026-03-05T04:17:38Z

The Fourier restriction conjecture is a fundamental problem in harmonic analysis. In this paper, we investigate restriction estimates for degenerate higher codimensional quadratic surfaces and obtain sharp results for some types of degenerate cases. A major obstacle in establishing sharp restriction estimates is the failure of rescaling invariance, which is crucial for induction on scale to be effective. Motivated by the work of Guo and Oh (2022), we introduce a method, building on an iterative variant of the broad-narrow analysis, that does not heavily rely on induction on scale. To obtain suitable transversality conditions for this analysis and to derive desirable bounds for the broad part, we define a generalized notion of Jacobian, and establish its structural properties. These properties are proved using tools and techniques from both algebra and graph theory.

On the Hurwitz Stability of Hurwitz-Type Matrix Polynomials

2026-03-04T23:16:36Z

Every matrix polynomial $\mathbf{f}_n$ can be written in the form \[ \mathbf{f}_n(z)=\mathbf{h}(z^2)+z\,\mathbf{g}_n(z^2). \] The matrix polynomial $\mathbf{f}_{2m}$ is said to be of Hurwitz type if the expression $\mathbf{g}_{2m}(z)\mathbf{h}_{2m}^{-1}(z)$ admits a representation as a finite continued fraction with positive definite matrix coefficients. Similarly, the odd-degree matrix polynomial $\mathbf{f}_{2m+1}$ is of Hurwitz type if $\frac{1}{z}\mathbf{h}_{2m+1}(z)\mathbf{g}_{2m+1}^{-1}(z)$ has the same property. We derive an explicit form of the Bezoutian associated with Hurwitz-type matrix polynomials. Using this explicit form, we provide an explicit proof that Hurwitz-type matrix polynomials are Hurwitz matrix polynomials. In [52], the Hurwitzness of Hurwitz-type matrix polynomials was also studied. Finally, we propose an extension of the class of Hurwitz-type matrix polynomials by adding to a non--Hurwitz-type matrix polynomial another matrix polynomial so that the resulting matrix polynomial is of Hurwitz type.

Riesz energy deformation through insulated strips

2026-03-04T22:26:11Z

For compact sets in Euclidean space, Riesz energies whose exponents differ by $1$ are shown to arise as the endpoint cases of a one-parameter family of infinite-strip energies as the strip thickness increases from $0$ to $\infty$, under Neumann boundary conditions. An approach is suggested to a capacity conjecture of Pólya and Szegő.

Elliptic integral identities derived from Coxeter's integrals

2026-03-04T21:57:32Z

We revisit the classical integrals introduced by Coxeter, not to recalculate their well-known exact values, but to use them as a tool to derive elliptic integral identities. By embedding Coxeter's first integral into a one-parameter family $$ I(λ)=\int_{0}^{π/2} \arccos\!\left(\frac{\cosθ}{1+λ\cosθ}\right)\,dθ, $$ and differentiating with respect to the parameter $λ$, we show that the derivative $I'(λ)$ can be expressed as an elliptic-type integral. Integrating $I'(λ)$ between 0 and 2 yields the identity $$ \int_0^2 \int_0^{π/2} \frac{\cos^2θ} {(1+s\cosθ)\sqrt{(1+s\cosθ)^2-\cos^2θ}} \,dθ\, ds=A-B=\frac{π^2}{12}, $$ where $A$ and $B$ are the first two so-called Coxeter integrals $$ A = \int_0^{π/2} \arccos\!\left(\frac{\cosθ}{1+2\cosθ}\right) dθ, $$ and $$ B = \int_0^{π/2} \arccos\!\left(\frac{1}{1+2\cosθ}\right) dθ. $$ The derivative $I'(λ)$ can be expressed in terms of incomplete elliptic integrals of the first kind $F$ and of the third kind $Π$. This approach establishes a direct connection between classical Coxeter integrals and elliptic functions. The method highlights how well-known trigonometric integrals can serve as a bridge to explore properties and relations of elliptic integrals, offering new analytic insights beyond the original Coxeter evaluations.

Infinite quantum signal processing for arbitrary Szegő functions

2026-03-04T21:18:38Z

We provide a complete solution to the problem of infinite quantum signal processing for the class of Szegő functions, which are functions that satisfy a logarithmic integrability condition and include almost any function that allows for a quantum signal processing representation. We do so by introducing a new algorithm called the Riemann-Hilbert-Weiss algorithm, which can compute any individual phase factor independent of all other phase factors. Our algorithm is also the first provably stable numerical algorithm for computing phase factors of any arbitrary Szegő function. The proof of stability involves solving a Riemann-Hilbert factorization problem in nonlinear Fourier analysis using elements of spectral theory.

Extreme and exposed points of shift-invariant spaces generated by Gaussian kernel and hyperbolic secant

2026-03-04T16:51:56Z

We characterize the extreme and exposed points of the unit ball (with respect to the $L^1$-norm) in the shift-invariant space generated by the Gaussian function, as well as in the quasi shift-invariant space generated by the hyperbolic secant.

Polynomial-order oscillations in geometric discrepancy

2026-03-04T16:30:19Z

Let $C\subset\mathbb{R}^2$ be a convex body, and for a positive integer $N$, let $\mathcal{P}$ be a configuration of $N$ points in $[0,1)^2$. The discrepancy of $\mathcal{P}$ with respect to $C$ is defined by \begin{equation*} \mathcal{D}(\mathcal{P},\, C)=\sum_{\mathbf{p}\in\mathcal{P}}\sum_{\mathbf{n}\in\mathbb{Z}^2}\mathbf{1}_C(\mathbf{p}+\mathbf{n})-N|C|, \end{equation*} and one may estimate how $\mathcal{P}$ deviates from uniformity by averaging the latter quantity over a family of sets. When considering quadratic averages over translated and dilated copies of $C$, one gets the \textit{homothetic quadratic discrepancy} \begin{equation*} \mathcal{D}_2(\mathcal{P},\, C)=\int_{0}^{1}\int_{[0,1)^2}\left|\mathcal{D}( \mathcal{P},\,\boldsymbolτ+δC)\right|^2\,{\rm d}\boldsymbolτ\,{\rm d} δ. \end{equation*} We investigate the behaviour of the optimal \textit{homothetic quadratic discrepancy}, that is \begin{equation*} \inf_{\# \mathcal{P}=N} \mathcal{D}_2(\mathcal{P},\, C)\quad\text{as}\quad N\to+\infty. \end{equation*} Beck~\cite{MR915529} and Beck and Chen~\cite{MR1489133} showed that the optimal \textit{h.q.d.} of convex polygons has an order of growth of $\log N$, and more recently, Brandolini and Travaglini~\cite{MR4358540} proved that the optimal \textit{h.q.d.} of planar convex bodies with a $\mathcal{C}^2$ boundary has an order of growth of $N^{1/2}$. We show that, in general, a single order of growth for the optimal \textit{h.q.d.} need not exist. First, by an implicit geometric construction of $C$, we obtain prescribed oscillations between $\log N$ and $N^{1/2}$. Second, by a subtler design of $\partial C$ and via Fourier-analytic methods, we obtain prescribed polynomial-order oscillations in the range $N^α$ with $α\in(2/5,1/2)$.

Bilinear spherical maximal function on the Heisenberg group

2026-03-04T13:44:15Z

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.

Effective equidistribution of Galois orbits for mildly regular test functions

2026-03-04T13:23:14Z

In this paper we provide a detailed study on effective versions of the celebrated Bilu's equidistribution theorem for Galois orbits of sequences of points of small height in the $N$-dimensional algebraic torus, identifying the quantitative dependence of the convergence in terms of the regularity of the test functions considered. We develop a general Fourier analysis framework that extends previous results obtained by Petsche (2005), and by D'Andrea, Narváez-Clauss and Sombra (2017).

Asymptotic sharpness of a Nikolskii type inequality for rational functions in the Wiener algebra

2026-03-04T10:14:03Z

We establish the asymptotic sharpness of a Nikolskii type inequality proved by A. Baranov and R. Zarouf for rational functions $f$ in the Wiener algebra of absolutely convergent Fourier series, with at most $n$ poles, all lying outside the dilated disc $\frac{1}λ\mathbb{D}$, where $\mathbb{D}$ denotes the open unit disc and $λ\in[0,1)$ is fixed. More precisely, this inequality tells that the Wiener norm of such functions is bounded by their $H^{2}$-norm -- i.e., their norm in the Hardy space of the disc -- times a factor of order $\sqrt{\frac{n}{1-λ}}$. In this paper, we construct explicit test functions showing that this bound cannot be improved in general: the inequality is asymptotically sharp as $n\to\infty$, up to a universal constant, for every fixed $λ\in[0,1)$.

Dimensions of orthogonal projections of typical self-affine sets and measures

2026-03-04T09:58:45Z

Let $T_1,\ldots, T_m$ be a family of $d\times d$ invertible real matrices with $\|T_i\|<1/2$ for $1\leq i\leq m$. For ${\bf a}=(a_1,\ldots, a_m)\in {\Bbb R}^{md}$, let $π^{\bf a}\colon Σ=\{1,\ldots, m\}^{\Bbb N}\to {\Bbb R}^d$ denote the coding map associated with the affine IFS $\{T_ix+a_i\}_{i=1}^m$, and let $K^{\bf a}$ denote the attractor of this IFS. Let $W$ be a linear subspace of ${\Bbb R}^d$ and $P_W$ the orthogonal projection onto $W$. We show that for $\mathcal L^{md}$-a.e.~${\bf a}\in {\Bbb R}^{md}$, the Hausdorff and box-counting dimensions of $P_W(K^{\bf a})$ coincide and are determined by the zero point of a certain pressure function associated with $T_1,\ldots, T_m$ and $W$. Moreover, for every ergodic $σ$-invariant measure $μ$ on $Σ$ and for $\mathcal L^{md}$-a.e.~${\bf a}\in {\Bbb R}^{md}$, the local dimensions of $(P_Wπ^{\bf a})_*μ$ exist almost everywhere, here $(P_Wπ^{\bf a})_*μ$ stands for the push-forward of $μ$ by $P_Wπ^{\bf a}$. However, as illustrated by examples, $(P_Wπ^{\bf a})_*μ$ may not be exact dimensional for $\mathcal L^{md}$-a.e.~${\bf a}\in {\Bbb R}^{md}$. Nevertheless, when $μ$ is a Bernoulli product measure, or more generally, a supermultiplicative ergodic $σ$-invariant measure, $(P_Wπ^{\bf a})_*μ$ is exact dimensional for $\mathcal L^{md}$-a.e.~${\bf a}\in {\Bbb R}^{md}$.

Catching jumps of metric-valued mappings with Lipschitz functions

2026-03-04T09:22:35Z

It follows from recent results of V. Bakhtin, R. Oleinik, and the second named author that, given a metric space $\mathcal{X}$, a continuous map $γ\colon [a,b] \to \mathcal{X}$ is a map of bounded variation if and only if $f \circ γ$ is a function of bounded variation for every Lipschitz function $f\colon\mathcal{X} \to \mathbb{R}$. In this note, we show that the continuity assumption is of crucial importance: for many interesting examples of metric spaces there are no analogs of that characterization without the continuity assumption on $γ$. The interesting examples are: $\ell_2$, infinite metric trees, and Laakso-type spaces. However, for ultrametric spaces the said characterization holds without any continuity assumptions.