miscellanea - csgb · local stereology. · karlsson, lm & c-o (1997) j microsc (oxford) 186,...
TRANSCRIPT
![Page 1: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/1.jpg)
CEN
TR
E FO
R S
TO
CH
AS
TIC
GE
OM
ET
RY
AN
D A
DVA
NC
ED B
IOIM
AG
ING
MISCELLANEALu
isM
.Cru
z-O
rive
Cou
rse
onR
ecen
tres
ults
onst
ereo
logy
(par
tI)
Mis
cella
nea
No.
04,J
anua
ry20
12
![Page 2: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/2.jpg)
Recent results on stereology
Luis M. Cruz–Orive
Department of Mathematics, Statistics and ComputationUniversity of Cantabria, E–Santander
University of DK-Aarhus, 14–15.12.2011.
Part I
1. Classical construction of motion invariant test probes. Croftonformulae. Applications to stereology. Exercise 1.
2. Motion invariant test lines in 3 . Invariator construction. Applications to stereology. Exercise 2.
3. Case of a convex particle. Surface area in terms of the flower set.
![Page 3: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/3.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Classical construction of motion invariant test probes.Crofton formulae. Applications to stereology.
Invariant test probes in : Buffon’s needle problem
George Louis Leclerc,Comte de Buffon (1707-1788)
Buffon’s needle problem (1777)
1
![Page 4: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/4.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
h l
lh
2
![Page 5: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/5.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
z
Ot x
L12 (z, t )L1
2 (z, t )
L12 (0, t )
z
O
t x
L12 (z, t ) = L1
2 (0, t ) + z
Invariant density for straight lines in :
For straight lines hitting a disk of diameter , the joint probability element of is,
3
![Page 6: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/6.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Buffon-Steinhaus estimation of curve length in . Preliminaries
Yyi
length (Y ) = B length ( ) = yi bi
• Rectifiable curve:
• Target:
straight line segment, length
length
4
![Page 7: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/7.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
t
b
z = 0
z = b cos t
O
21
Buffon’s answer,
Apply the Monotone Convergence Theorem (Beppo Levi) (e.g. Bogachev, V.I. (2007) Measure Theory, Vol.1):
(Voss, F. (2005) Diplomarbeit, Univ. D-Ulm).
5
![Page 8: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/8.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Buffon-Steinhaus test system
Y
O
z t
Y
h
O
tJ0, t
hz
Jk, t
L (0, t )12
z + τk,t
Λ z, t
• Choose an isotropic orientation using , e.g. .
• On , fix a fundamental half open segment (’tile’) of length . Construct the partition ,
where and is a translation of modulus along which brings the tile to coincide
with leaving the partition invariant for each and .
• Independently of choose a uniform random point , namely with , e.g.
.
• The system of parallel straight lines
is a test system of parallel straight lines with motion invariant density.
6
![Page 9: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/9.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Buffon-Steinhaus estimation of curve length in
Next, apply a particular version of Santalo’s theorem for test systems (Santalo, L.A. (1976) Integral Geometry and
Geometric Probability, Ch. 8),
k;t
0;t
0;t
Recalling that ,
from which we can write an unbiased point estimator of the curve length in terms of known constants and the
observed intersection count,
7
![Page 10: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/10.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Invariant test lines and planes in
θS 2
+
t
OO
L13 (z, t )
z
t
L23 (0, t )
t
z
O
L23 (z, t )
8
![Page 11: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/11.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Estimation of surface area and volume with test lines in . Preliminaries
O
z
a
t
sL1
3 (z, t )
L23 (0, t )
IUR test line
B2,t B3 ∩ L23 (0, t ):=
O
z
a
t
L13 (z, t )
L23 (0, t )
IUR test line
v
• surface element of area
• volume element of volume ,
31
2+
2 2+
31
2+
2 2+
9
![Page 12: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/12.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Estimation of surface area and volume with the Fakir Probe
az
Λ z, t
J0,tz
Y
Fakir probe Λ z, t
Making successive use of the Monotone Convergence Theorem and of Santalo’s Theorem, the surface area and
the volume of a bounded subset can be expressed as follows,
from which the corresponding unbiased point estimators are straightforward.
10
![Page 13: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/13.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
An equivalence
L23
L12
L13
L2[1]3
α
By virtue of the Petkantschin-Santalo identity, a motion invariant straight line in is equivalent to a motion
invariant straight line within a motion invariant plane:
11
![Page 14: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/14.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Application: IUR test lines on isotropic Cavalieri sections
Td
With the preceding results, application of Santalo’s Theorem leads to the following representations,
12
![Page 15: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/15.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Estimation of volume and surface area with test planes in . Preliminaries
Oh /2
z
t
v
Oh /2
z
t
s
L23 (z, t ) L2
3 (z, t )
• volume element of volume ,
• surface element of area
32
2+
2+
32
2+
2+
13
![Page 16: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/16.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Estimation of surface area and volume with the isotropic Cavalieri design
TT
d
Making successive use of the Monotone Convergence Theorem and of Santalo’s Theorem,
and
are unbiased estimators of the surface area and the volume of a bounded subset , respectively. Further,
if the sections are analysed with an IUR square grid test system of size , then the corresponding two-stage
unbiased estimators read,
and
14
![Page 17: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/17.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
An aid to the isotropic Cavalieri design: The antithetic isector
15
![Page 18: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/18.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
The invariator principle and its applications
Invariator construction of a motion invariant test line in
L13 (z, t )
L23 (0, t )
t
dz Or
dαO
dz
dα
r
t
L23 (0, t )
L12 (z ; t )
O
z
t
L12 (z ; t )
Pivotal point, O
Pivotal plane, L23 (0, t )
p-line
Thus, the invariator principle states that a point-weighted test line (= a p-line) on a pivotal plane is
equivalent to a test line with a motion invariant density in three dimensional space.
16
![Page 19: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/19.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Probability element for a p-line
θ
S2+
t
O
Isotropic orientation Classical construction Invariator alternative
θ
S2+
t
Op-line
O
L 13(0, t )
L12(z ; t )
z
IUR test line
p-line
O
L 13(0, t )
L12(z ; t )
z
IUR test line
Isotropic orientation Classical construction Invariator alternative
O
L13 (0, t )
L13 (z, t )
L23 (0, t )z
a
B3
B2,t
IUR test line
Pivotal plane
classical,
invariator,
17
![Page 20: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/20.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Surface area and volume with a p-line
YO
L23 (0, t )
O
L13 (0, t )
a
z
L(z, t )
I (z, t )
Crofton formulae:
2+ 2;t
where number of intersections
2+ 2;t
where intercept length
18
![Page 21: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/21.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Surface area and volume with the Invariator Test Grid
Invariator gridp-line (invariatorprinciple)
Fakir probe (classical motioninvariant test lines)
a
z
O
Implementation of the invariator grid
19
![Page 22: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/22.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Application: rat brain surface area and volume with the Invariator(Cruz-Orive LM, Ramos-Herrera ML & Artacho-Perula E (2010) J. Microscopy)
Magnetic Resonance Imaging
5
6
7
a b
c
Unbiased estimators (with square grid generator of tile area a ) for each brain:
20
![Page 23: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/23.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Classical isotropic Cavalieri design with antithetic arrangement
T
d
One stage UE’s:
Two stage UE’s (with square grid of size d to measure the sections):
21
![Page 24: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/24.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Application to rat brain (contd.)
Exhaustive MRI isotropic Cavalieri series of brain #5 with antithetic
arrangement of the two brain hemispheres. Slice thickness = 1.2 mm.
5 mm
5 mm
21
3 4 6 75 8 9
10 11 13 1412 15 16
17 18 20 2119 22 23
24 25 27 2826 29 30
1 cm
In this brain the approximately equatorial section #14 was used for the invariator.
Sections {7, 10, 13, 16, 19, 22} constitute a systematic subsample of period T = 3.6 mm.
22
![Page 25: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/25.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Rat brain surface area and volume: results
Tot
al b
rain
sur
face
are
a, m
m2
0
500
1000
1500
2000
2500
’Exact’ Invariator Tot
al b
rain
vol
ume,
mm
3
0
500
1000
1500
2000
2500
3000
’Exact’ Invariator
’Exact’ := One stage estimators from isotropic Cavalieri series.
In this way the biological variance among brains could be estimated fairly accurately.
Subtraction of the biological variance from the observed variance of the invariator
data yielded a mean individual invariator of about 30% for both and .
Conclusion: Use the invariator for cell populations, say, rather than individual organs.
23
![Page 26: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/26.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
The Pivotal Tessellation
24
![Page 27: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/27.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
The Poisson Pivotal Tessellation
O O
For a connected region from the intersection of a Poisson pivotal tessellation with a disk of radius we have,
Mean number of vertices, or of sides
Mean boundary length
Mean area
INTERPRETATION ?
(Cruz-Orive (2009) IAS 28, 63–67.)
25
![Page 28: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/28.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Case of a convex particle: Surface area from the ’FLOWER’ of a pivotal section
Support set (’flower’ )Pivotal section
O
L23 (0, t )
Y
O
Ht
L12 (z; t )
z
Flower of the convex pivotal section :
with probabilitywith probability
26
![Page 29: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/29.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Interlude: A duality
Y
tY ′
Y convex
H t
Y
O O
Cauchy projection formula
EI
IIS (∂Y ) = 4 tA(Y ′)
Flower formula
EI
IIS (∂Y ) = 4 tA(H )
27
![Page 30: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/30.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Special case: Surface area of a triaxial ellipsoid
Y
O
Flowers of identical areas if l is fixed
m
M
Ol
Pivotalsection
O
H t
l l l l
Remark:
convex.
28
![Page 31: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/31.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
Volume of an arbitrary particle via the mean WEDGE volume
ω
r
h (ω; t )
xO
L (r, ω; t )
Pivotal section
ω
L (r, ω; t )
r
O
x
W (ω; t )
Wedge set
π /4O
t
Hint of proof. Use Crofton’s formula with ,
2+
But the integral
can be interpreted as the volume of a well defined 45 ’ WEDGE SET’ . The result follows if, or each pivotal
section, i.e. for each , we set
29
![Page 32: MISCELLANEA - CSGB · Local Stereology. · Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121±132. · Santal o, LA (1976) Integral Geometry and Geometrical Probability · Varga](https://reader034.vdocuments.us/reader034/viewer/2022052612/5f0b440b7e708231d42faa00/html5/thumbnails/32.jpg)
STEREOLOGY COURSE Luis M. Cruz-Orive
References
• Baddeley A and Jensen EBV (2005) Stereology for Statisticians.
• Calka P (2003) Adv. Appl. Prob. 35, 863–870.
• Calka P (2009) Personal communication.
• C-O (2002) Mathematicae Notae XL1, 49–98.
• C-O (2005) J Microsc (Oxford) 219, 18–28.
• C-O (2008) Image Anal Stereol 27, 17–22.
• C-O (2009) Image Anal Stereol 28, 63–67.
• C-O (2011) J Microsc (Oxford) 243, 86–102.
• C-O, Ramos-Herrera ML & Artacho-Perula (2010) J Microsc (Oxford) 240, 94–110.
• Gual-Arnau X & C-O (2009) Diff Geom Appl 27, 124–128.
• Gual-Arnau X., C-O & Nuno-Ballesteros JJ (2010) Adv Appl Math 44, 298–308.
• Jensen EBV (1998) Local Stereology.
• Karlsson, LM & C-O (1997) J Microsc (Oxford) 186, 121–132.
• Santalo, LA (1976) Integral Geometry and Geometrical Probability
• Varga O (1935) Math Zeitschrift 40, 387–405.
30