# Questions tagged [integral-geometry]

The tag has no usage guidance.

45 questions
Filter by
Sorted by
Tagged with
86 views

(UPDATED for rapid decay considerations + new question) In dimension 2, the Radon transform range theorem states that a rapidly decaying (Schwartz) function $g(t,\theta)$ can be represented as a ...
74 views

### The mean along the eccentric anomaly of an ellipse log distance to a point within the ellipse

Conjecture. Let $$f(r,\alpha,p, \theta) = \ln\left(\left(r\sin\alpha-\sin\theta\right)^{2}\left(1-p\right)^{2}+\left(r\cos\alpha-\cos\theta\right)^{2}\left(1+p\right)^{2}\right).$$ Then for any ...
83 views

### Radon transform on complex Grassmannians

Let $Gr_{i,n}$ denote the Grassmannian of complex linear $i$-dimensional subspaces in the Hermitian space $\mathbb{C}^n$. Let $1\leq i<n/2$. Consider the Radon transform between space of functions ...
257 views

### Kinematic formula for Euler characteristic

Is there a formula for $\int \chi(K \cap gL) \: dg$ (where $\chi$ is Euler characteristic) analogous to the kinematic formula for $\int \mu(K \cap gL) \: dg$ (where $\mu$ is Lebesgue measure)? In both ...
117 views

140 views

### A problem on real analysis related to Hilbert's fourth problem

This is an extensive re-write of a question I deleted and which had basically the same title. Identify the cylinder $S^1 \times \mathbb{R}$ with the space of (co)oriented lines in the plane by ...
109 views

### Does this formula for caliper diameter hold for concave polyhedra?

I recently asked on MathOverflow and also asked several people I know to prove the following: How do I prove that the average caliper diameter of the polyhedron across all possible rotations is ...
255 views

### Integral representations of finite groups and lattice point geometry

See the edit at the bottom (April 2021) This contains both a reference request, and a specific problem. Let $K$ be a finite group, and let $\theta: K \to {\rm GL}(d,{\bf Z})$ be a (faithful) group ...
445 views

223 views

### Invertibility of an inverse problem

Let $p$ be a scalar field $p: \mathbb R^n \to \mathbb R$. I encountered the problem of reconstructing an unknown density $p$ from its integral values $$I(t,z) = \int_{V_t} p(x) dS$$ along a one-...
114 views

### Probability that a random projection doesn't reduce the distance of a point from a subspace too much

Consider the natural uniform measure (is it called the Haar measure?) on the set of $(n-k)$-dimensional subspaces of $R^n$. We are given a $d$-dimensional affine subspace $U$ (think of $d, k \ll n$; ...
1k views

### Random points on the unit sphere

Suppose you have $n$ points picked uniformly at random on the surface of $\mathbb{S}^d,$ and let the volume of the convex hull of these points be $V_{n, d}.$ Clearly, $V_{n, d}$ converges to the ...
805 views

### Idea and intuition behind Penrose transform

I would like to know what a Penrose transform is, or more precisely, what is it intended to be - I'm interested in ideas, intuition and some examples of application. My knowledge of differential ...
249 views

### boundary density of the Von Koch flake

Given a measurable set $K\subset \mathbb{R}^d$ we consider the occupation ratio $$f_r(x)=vol(K\cap B(x,r))/r^d$$ and especially the asymptotics when $r\to 0$. When $K$ has a fractal boundary and $x$ ...
193 views

### Reconstructing set of points from one-dimensional images

Consider a set of $N$ points in $n$-dimensional space, i.e. \begin{align*} \{x_1, \dots, x_N\} \subset \mathbb R^n. \end{align*} Let us be given a finite family of non-injective matrices \begin{...
187 views

### Partial recovery from Radon transform

Let $f : \mathbb R^3 \to \mathbb R$ be an integrable function. Let $\eta$ be a one-dimensional subspace of $\mathbb R^3$. We denote $p+\eta$ the affine subspace (a line) which is obtained by ...
129 views

### Generalized Radon transform (Relaxed sufficient condition for invertibility)

The generalized Radon transform maps a function $f \in L^1(\mathbb R^n)$, usually interpreted as a density of an object, to its integral value over an $(n-1)$-dimensional affine subspace. To be more ...
234 views

### “Limited angle” in n-dimensional Radon transform?

The Radon transform in two-dimensions is well studied. It maps a sufficiently nice function $f: \mathbb R^2 \to \mathbb R$ to its line integral along a certain line $L$, i.e. \begin{align*} Rf(L)...
228 views

299 views

### Reference wanted for application of Parametric Transversality

Let $\hbox{Aff(}k,n)$ be the space of $k$-dimensional affine subspaces of $R^n$. The group of Euclidean isometries of $R^n$ (the semi-direct product of rotations and translation) acts transitively on ...
430 views

3k views

### Ellipse naturally associated with a polygon

My colleagues and I have stumbled onto a way to associate an ellipse, or equivalently a positive definite symmetric matrix, to a polygon that is different from other better known ways. We want to know ...
536 views

### If $K$ and $L$ are compact convex sets with smooth boundary, does their union have piecewise-smooth boundary?

Clarification: by "piecewise", I mean a finite number of pieces. I'm sure this must be true, but my search for a citation was in vain (although I did learn the new term "polyconvex"). Thanks!
### What are sufficient conditions on $f, g : \mathbb{R}^n \to \mathbb{R}$ such that $\{x : f(x) \geq t \} \cup \{ x : g(x) \geq u\}$` has piecewise-smooth boundary?
What are sufficient conditions on $f, g : \mathbb{R}^n \to \mathbb{R}$ such that $\{x : f(x) \geq t \} \cup \{ x : g(x) \geq u\}$ has piecewise-smooth boundary? Some remarks: I don't mind if the ...
Given an algebraic map $f: B^d \to \mathbb{R}$, from the unit ball of dimension $d$ to the real, let $Y = f^{-1}(0)$. Then it is always possible to find a smaller ball $B_r \subset B^d$ not ...