Searcharxiv⌕ Search

arXiv · 2609.40210

Positive cubature on $S^2$:low-degree rigidity and uniform bounds

Abstract

Let \(N_t\) denote the least number of nodes in a positive cubature formula of degree \(t\) on \(S^2\). We prove that a formula of degree \(2m+1\) cannot have exactly \((m+1)(m+2)+1\) nodes for any \(m\ge2\). Excluding equality in the Fisher bound then gives \[ N_{2m+1}\ge (m+1)(m+2)+2 \] for \(m\ge3\), and known constructions yield the exact values \(N_7=22\) and \(N_9=32\). For general odd degrees, positive circle measures on Lobatto latitudes give an upper bound with quadratic coefficient \(13/8\), parity-dependent linear terms, and an \(O(m^{2/3})\) remainder. We determine the sharp constant \(49\sqrt[3]{3}/72\) for the scalar remainder in this construction. Lower bounds are obtained from continuous weighted LP--Turán inequalities and radial caps whose Helmholtz companions are nonnegative measures. We prove that the cap functional admits a maximizer at each fixed admissible support radius and derive explicit finite-degree lower bounds by a positivity-preserving transfer to the sphere.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Zhuo Cheng, Deyu Yu. 2026-09-30. Positive cubature on $S^2$:low-degree rigidity and uniform bounds. https://arxiv.org/abs/2609.40210

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A power series expansion of the Wilf function

In this work, the author employs the Faà di Bruno formula, identities for the partial Bell polynomials, two combinatorial identities, and the (logarithmically) complete monotonicity of generating functions for several integer sequences, together with the Wronski theorem, to investigate a collection of analytic and combinatorial structures. The study establishes Taylor series expansions for various functions involving the inverse (hyperbolic) tangent function and derives the Maclaurin expansion of the Wilf function, a composite of the inverse tangent, square root, and exponential functions. The coefficients in this expansion are expressed in terms of Stirling numbers of the second kind, and their generating functions, limits, positivity, monotonicity, and logarithmic convexity are analyzed. The paper further presents closed-form formulas for special values of the Gauss hypergeometric function and for certain partial Bell polynomials, along with several infinite series representations of the circular constant and related sequences. An asymptotic rational approximation to the circular constant is recovered, and connections among several integer sequences are established via determinants.

math.CO↗

From finding a spanning subgraph $H$ to an $H$-factor

A typical Dirac-type problem in extremal graph theory is to determine the minimum degree threshold for a graph $G$ to have a spanning subgraph $H$, e.g. the Dirac theorem. A natural follow-up problem is to seek an $H$-factor, which is a spanning set of vertex-disjoint copies of $H$. In this short note, we present a method for obtaining an upper bound on the minimum degree threshold for an $H$-factor from one for finding a spanning copy of $H$. As an application, we prove that, for all $\varepsilon>0$ and sufficiently large $\ell$, any oriented graph $G$ on $\ell m$ vertices with minimum semi-degree $δ^0(G) \ge (3/8+ \varepsilon )\ell m$ contains a $C_\ell$-factor, where $C_\ell$ is an arbitrary orientation of a cycle on $\ell$ vertices. This improves a result of Wang, Yan and Zhang.

math.CO↗

Localized Erdős-Pósa Property for Subdivisions

For a graph $H$, we say that $H$ has the Erdős-Pósa property for subdivisions with function $f$, if, for every nonnegative integer $k$ and every graph $G$, either $G$ contains (as a subgraph) $k+1$ pairwise vertex-disjoint subdivisions of $H$ or there exists a set $X\subseteq V(G)$ such that $G\setminus X$ contains no $H$-subdivision and $|X|\leq f(k)$. We show that every connected graph $H$ that has the Erdős-Pósa property for subdivision also satisfies a localized version of the Erdős-Pósa property, as follows. Let $H$ be a connected graph that has the Erdős-Pósa property for subdivisions with function $f$, and let $G$ be a graph that does not contain $k+1$ vertex-disjoint subdivisions of $H$. We demonstrate the existence of a set of at most $k$ vertex-disjoint subdivisions of $H$ in $G$ such that in their union, we can find a set $X$ with the property that $G \setminus X$ contains no $H$-subdivision and $|X| \leq 2^{f(k)}mk -k(m-n)$ where $n$ and $m$ are the number of vertices and edges.

math.CO↗