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

DOI10.1007/S00041-012-9256-ZMaRDI QIDQ485158zbMATH OpenOpenAlexFDO

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)

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

Fourier transform Radon transform reconstruction convex set Lebesgue measure intersection random construction

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)

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}, ..., T_{n} s u b s e t R^{d}

such that whenever

A, B i n A

and the Lebesgue measures of

A c a p T_{i}

and

B c a p T_{i}

agree for each

i = 1, ..., 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, h e t a} (r) = l a^{d - 1} (K c a p x i n R R^{d} : < x, h e t a > = r)

of the sections of

K

is absolutely continuous for almost every direction

h e t a

. These proofs are based on techniques of harmonic analysis. We also show that if

A

consists of the magnified copies

r E + t

(r g e 1, t i n R^{d})

of a fixed reasonably nice set

E s u b s e t R^{d}

, where

d g e 2

, 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

2 k + 1

test sets. A example from algebraic topology shows that

2 k + 1

is sharp in general.

Recommendations

Cites work

Cited in

(3)

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)