Search arXiv⌕ Search
Home/Archive/arXiv

arXiv · math/0608011

Convergence of algorithms for reconstructing convex bodies and directional measures

Richard J. Gardner·Markus Kiderlen·Peyman Milanfar
View original source ↗Read source document ↗Export metadata ↓

Abstract

We investigate algorithms for reconstructing a convex body $K$ in $\mathbb {R}^n$ from noisy measurements of its support function or its brightness function in $k$ directions $u_1,...,u_k$. The key idea of these algorithms is to construct a convex polytope $P_k$ whose support function (or brightness function) best approximates the given measurements in the directions $u_1,...,u_k$ (in the least squares sense). The measurement errors are assumed to be stochastically independent and Gaussian. It is shown that this procedure is (strongly) consistent, meaning that, almost surely, $P_k$ tends to $K$ in the Hausdorff metric as $k\to\infty$. Here some mild assumptions on the sequence $(u_i)$ of directions are needed. Using results from the theory of empirical processes, estimates of rates of convergence are derived, which are first obtained in the $L_2$ metric and then transferred to the Hausdorff metric. Along the way, a new estimate is obtained for the metric entropy of the class of origin-symmetric zonoids contained in the unit ball. Similar results are obtained for the convergence of an algorithm that reconstructs an approximating measure to the directional measure of a stationary fiber process from noisy measurements of its rose of intersections in $k$ directions $u_1,...,u_k$. Here the Dudley and Prohorov metrics are used. The methods are linked to those employed for the support and brightness function algorithms via the fact that the rose of intersections is the support function of a projection body.

Explore related subjects

math.STstat.TH

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Richard J. Gardner, Markus Kiderlen, Peyman Milanfar. 2006-08-01. Convergence of algorithms for reconstructing convex bodies and directional measures. https://doi.org/10.1214/009053606000000335

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

KEEP EXPLORING

Related papers

arXiv2026

Second-order PACF asymptotics and discrimination between fractional Gaussian noise and $\FARIMA(0,d,0)$

Fractional Gaussian noise and $\FARIMA(0,d,0)$ have the same long-memory pole $|θ|^{-2d}$ and hence the same leading PACF law $α(n)\sim d/n$. We show that this agreement breaks at the first non-universal order. For $0<d<1/2$, the pure fGn PACF satisfies $$ α_{\fGn}(n)=\frac d n+\frac{C_{\fGn}(d)}{n^2}+o(n^{-2}), \qquad C_{\fGn}(d)<d^2, $$ The proof uses the Bingham--Inoue--Kasahara representation, a phase-coefficient expansion for fGn, and a Hankel-operator perturbation argument. Thus the fGn spectral envelope is invisible at first order but visible in second-order finite prediction, explaining why short-memory order selection can differ when fGn data are fitted by FARIMA-type models.

math.ST↗
arXiv2026

U-centering as subset ANOVA: edge regression and higher-order theory

Unbiased squared distance covariance and the Hilbert-Schmidt independence criterion (HSIC) are fourth-order U-statistics, yet U-centering evaluates them from pairwise arrays in $O(n^2)$ operations. We show that U-centering is exactly least-squares residualization after fitting additive endpoint effects. This analysis of variance (ANOVA) interpretation explains the zero row sums and the normalization through residual degrees of freedom. The same geometry gives regression representations of dependence and two-sample statistics, exact permutation variances, and relations among pooled and regression mean squares. For arrays indexed by $r$-element subsets and $n\ge2r$, higher-order U-centering removes all lower-order subset effects and projects onto a space of dimension $\binom{n}{r}-\binom{n}{r-1}$. For fixed symmetric square-integrable kernels evaluated on independent and identically distributed (i.i.d.) paired observations, we derive the residual covariance matrix, exact mean-squared errors for estimating the highest-order Hoeffding components, unbiased positive semidefinite (PSD) covariance estimates, and moment formulas under independence and permutation. The normalized residual inner product equals a direct unbiased estimator involving up to $2r$ observations, but can be evaluated in $O(n^r)$ operations for fixed $r$. For four-argument matching kernels, three matrix products yield exactly unbiased estimators of a fourth spectral moment of kernel cross-covariance in $O(n^3)$ arithmetic and $O(n^2)$ storage. A numerical illustration distinguishes dependence structures with equal HSIC and different spectral concentration.

math.ST↗
arXiv2026

A Partial-Matching Proof of the Neyman--Pearson Lemma

Testing seeks to distinguish distributions, whereas matching seeks to identify their common mass. I show that this apparent opposition provides a direct proof of the Neyman--Pearson lemma. Maximal partial matching between the alternative distribution and a scaled null distribution separates them into a common component and two mutually singular residuals. An elementary dual problem then turns this separation into a testing rule: complementary slackness forces rejection on the alternative residual and non-rejection on the scaled-null residual, leaving freedom to randomize at the likelihood-ratio threshold. Thus the optimal test emerges from maximal matching rather than being proposed in advance. The matching profile also determines the optimal power envelope.

math.ST↗