Reconstructing geometric objects from the measures of their intersections with test sets

DOI10.1007/S00041-012-9256-ZzbMATH Open1309.28002arXiv1109.6169OpenAlexW2048135429MaRDI QIDQ485158FDOQ485158

Authors: Márton Elekes, Tamás Keleti, András Máthé 

Publication date: 9 January 2015

Published in: The Journal of Fourier Analysis and Applications (Search for Journal in Brave)

Abstract: Let us say that an element of a given family $A$ of subsets of $R^d$ can be reconstructed using $n$ test sets if there exist $T_1,\mathrm{...},T_{n}subset{R}^d$ such that whenever $A,BinA$ and the Lebesgue measures of $Acap{T}_i$ and $Bcap{T}_i$ agree for each $i=1,\mathrm{...},n$ then $A=B$. Our goal will be to find the least such $n$. We prove that if $A$ consists of the translates of a fixed reasonably nice subset of $R^d$ then this minimum is $n=d$. In order to obtain this result we reconstruct a translate of a fixed function using $d$ test sets as well, and also prove that under rather mild conditions the measure function $f_{K,heta}(r)=l{a}^{d-1}(KcapxinR{R}^d:<x,heta>=r)$ of the sections of $K$ is absolutely continuous for almost every direction $heta$. These proofs are based on techniques of harmonic analysis. We also show that if $A$ consists of the magnified copies $rE+t$ $(rge1,tin{R}^d)$ of a fixed reasonably nice set $Esubset{R}^d$, where $dge2$, then $d+1$ test sets reconstruct an element of $A$. This fails in $R$: we prove that an interval, and even an interval of length at least 1 cannot be reconstructed using 2 test sets. Finally, using randomly constructed test sets, we prove that an element of a reasonably nice $k$-dimensional family of geometric objects can be reconstructed using $2k+1$ test sets. A example from algebraic topology shows that $2k+1$ is sharp in general.

Full work available at URL: https://arxiv.org/abs/1109.6169

Recommendations

• scientific article; zbMATH DE number 2197941
• Reconstruction of measurable plane sets from their two projections taken in arbitrary directions
• A note on the reconstruction of sets of finite measure
• The reconstruction of uniquely determined plane sets from two projections
• Sets Uniquely Determined by Projections on Axes I. Continuous Case

zbMATH Keywords

Fourier transformRadon transformreconstructionconvex setLebesgue measureintersectionrandom construction

Mathematics Subject Classification ID

Length, area, volume, other geometric measure theory (28A75) Fourier and Fourier-Stieltjes transforms and other transforms of Fourier type (42A38) Fourier and Fourier-Stieltjes transforms and other transforms of Fourier type (42B10) Euclidean geometries (general) and generalizations (51M05) Absolutely continuous real functions in one variable (26A46)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• A first course in Sobolev spaces
• Title not available (Why is that?)
• Using the Borsuk-Ulam theorem. Lectures on topological methods in combinatorics and geometry. Written in cooperation with Anders Björner and Günter M. Ziegler
• Title not available (Why is that?)
• The density theorem and Hausdorff inequality for packing measure in general metric spaces
• Title not available (Why is that?)

Cited In (3)

• Title not available (Why is that?)
• Reconstruction up to isometries
• A note on the reconstruction of sets of finite measure

This page was built for publication: Reconstructing geometric objects from the measures of their intersections with test sets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q485158)