Source-linked AI summary
Marcinkiewicz-Zygmund inequalities for hemispherical $t$-designs
Chao Li, Xiaojun Chen
TL;DR
Hemispherical designs pose a challenge because spherical harmonics and classical L1 Marcinkiewicz-Zygmund inequalities do not transfer directly to the hemisphere. The paper develops new polynomial characterizations and inequalities, and proves that designs exist for every n ≥ C_d t^d.
Problem
Sphere-based auxiliary results do not directly extend to the hemisphere because spherical harmonics are not orthogonal there and classical L1 Marcinkiewicz-Zygmund inequalities do not hold.
Source: §1 · p. 3Method
The paper introduces new hemisphere polynomials and equivalent design conditions, proves L1 Marcinkiewicz-Zygmund inequalities for even and odd spherical polynomials, and uses them to establish existence bounds.
Source: §1 · p. 3, §6 · p. 15Results
For every n ≥ C_d t^d, a hemispherical t-design with n points exists, where C_d depends only on d.
Source: §1 · p. 3Takeaways & Limitations
The existence bound applies to equal-weight hemispherical cubature rules exact for polynomials up to degree t.
Source: §1 · p. 3The existence result concerns the upper hemisphere and requires n ≥ C_d t^d.
Source: §1 · p. 3, §4 · p. 12
Abstract
from arXiv · showhide
In this paper, we introduce a new set of $\mathbb{L}_2$-orthogonal polynomials on the hemisphere $\mathbb{S}^d_+:=\{\mathbf{x}\in\mathbb{R}^{d+1}:\|\mathbf{x}\|=1, \mathbf{x}\cdot\mathbf{e}_{d+1}\geq0\}$ and establish $\mathbb{L}_1$ Marcinkiewicz-Zygmund inequalities on the hemisphere for even and odd spherical polynomials. Hemispherical $t$-designs provide equal weight cubature rules on the hemisphere which are exact for polynomials up to degree $t$. We propose variational characterizations of hemispherical $t$-designs by the $\mathbb{L}_2$-orthogonal polynomials. Moreover, based on the Marcinkiewicz-Zygmund inequalities and the $\mathbb{L}_2$-orthogonal polynomials, we prove that for each $n\geq C_d t^d$, there exists a hemispherical $t$-design on the hemisphere with $n$ points, where $C_d$ is a constant depending only on $d$.
1 Introduction
The introduction explains why sphere-based tools do not directly extend to hemispherical designs, then presents new polynomial characterizations and inequalities. It states an existence bound for designs with n points when n ≥ C_d t^d.
1 Introduction
- Hemispherical t-designs are equal-weight cubature rules exact for polynomials up to degree t.The introduction frames their construction as a point-distribution problem on a sphere subset, with applications in sampling and approximation.Source: §1 · pp. 1–2
- The paper introduces new L2-orthogonal polynomials and equivalent conditions for hemispherical designs, then proves L1 inequalities for even and odd spherical polynomials.These results are used to establish asymptotic bounds for hemispherical designs.Source: §1 · pp. 2–3
- For every n ≥ C_d t^d, hemispherical t-designs with n points exist, where C_d depends only on d.This sharpens the earlier statement that such designs exist for all sufficiently large n.Source: §1 · p. 3
- Spherical harmonics are not orthogonal on hemispheres, and classical L1 Marcinkiewicz-Zygmund inequalities do not hold there.Consequently, the cited sphere-based auxiliary results cannot be directly extended to the hemisphere.Source: §1 · p. 3
2 Equivalent conditions for hemispherical t-designs
The section introduces polynomials orthonormal on the hemisphere and uses them to characterize hemispherical t-designs. It also sets notation for even and odd spherical polynomials.
2.1 Notation
- The notation section distinguishes even and odd spherical-polynomial spaces and introduces spherical polar coordinates and surface measure.It also defines the natural-number sets N and N_0.Source: §2.1 · p. 4
2.2 Polynomials on the hemisphere
- Because spherical harmonics are not orthogonal on subsets of the sphere, the authors define new polynomials that are L2-orthonormal on the hemisphere.The construction first applies Gram–Schmidt to define orthogonal polynomials on [0, 1].Source: §2.2 · p. 4
2.3 Equivalent conditions for hemispherical t-designs
- A hemispherical t-design is characterized by vanishing sums of the new polynomials over its nodes for degrees 1 through t.The section gives equivalent conditions for designs using these polynomials.Source: §2.3 · pp. 6–7
3 Marcinkiewicz-Zygmund inequalities on the hemisphere
The section establishes L1 Marcinkiewicz-Zygmund inequalities on the hemisphere for even and odd spherical polynomials, using equal-area partitions. It also applies the inequalities to polynomial gradients.
3.1 Equal area partitions
- For any n, the hemisphere admits an equal-area partition into n regions with bounded partition norm, with dimension-dependent bounds.The partition construction is recursive and zonal.Source: §3.1 · p. 7
3.2 Marcinkiewicz-Zygmund inequalities on Sd
- The section proves L1 Marcinkiewicz-Zygmund inequalities on the hemisphere for even and odd spherical polynomials under a partition-size condition.Theorem 3.2 states the inequalities for points chosen one per region of an equal-area partition.Source: §3.2 · p. 10
- The inequalities are applied to Riemannian gradients of even and odd spherical polynomials.A corollary treats point choices from equal-area regions and even polynomials of degree at most t+1.Source: §3.2 · p. 11
4 Optimal asymptotic bounds for hemispherical t-designs
The section establishes asymptotic existence of hemispherical t-designs by combining Marcinkiewicz-Zygmund inequalities with a construction based on equal-area partitions and evolving points.
4 Optimal asymptotic bounds for hemispherical t-designs
- The section applies the hemisphere’s L1 Marcinkiewicz-Zygmund inequalities to establish optimal asymptotic bounds for hemispherical t-designs.Source: §4 · p. 12
- The construction starts from an equal-area partition and defines point trajectories through a differential equation with an initial condition.The trajectories are stated to have continuous solutions in both the polynomial parameter and the evolution variable.Source: §4 · p. 12
- For n ≥ C_d t^d, the construction produces a hemispherical t-design with n points, establishing the stated asymptotic bound.Theorem 4.1 gives a parameter whose transformed points form the design.Source: §4 · pp. 12, 14
- At the selected parameter, applying T to the evolved points yields a hemispherical t-design.Theorem 4.1 states that the resulting n transformed points form the design.Source: §4 · p. 14
5 Examples
The examples present hemispherical 3-designs with 8 and 16 points; rotations of either set about the z-axis remain hemispherical 3-designs.
5 Examples
- The 16-point example matches the cited (t + 1)^2 count for t = 3.Source: §5 · p. 15
- Any rotation of either example about the z-axis is also a hemispherical 3-design.Source: §5 · p. 15
- The examples include a hemispherical 3-design with 8 points and another with 16 points.Both are shown in Fig. 1.Source: Figure 1 · p. 15, §5 · p. 15
6 Conclusion
The conclusion recaps the paper’s polynomial and inequality contributions and their use in establishing asymptotic bounds for hemispherical t-designs.
6 Conclusion
- The paper introduces a new set of spherical polynomials on the hemisphere and an equivalent condition for hemispherical t-designs.Source: §6 · p. 15
- It proves L1 Marcinkiewicz-Zygmund inequalities on the hemisphere for even and odd spherical polynomials.Source: §6 · p. 15
- The paper uses the inequalities and new polynomials to establish asymptotic bounds for hemispherical t-designs.Source: §6 · p. 15