Robbins constant

In geometry, the mean line segment length is the average length of a line segment connecting two points chosen uniformly at random in a given shape. In other words, it is the expected Euclidean distance between two random points, where each point in the shape is equally likely to be chosen.

Even for simple shapes such as a square or a triangle, solving for the exact value of their mean line segment lengths can be difficult because their closed-form expressions can get quite complicated. As an example, consider the following question:

: ''What is the average distance between two randomly chosen points inside a square with side length 1?''

While the question may seem simple, it has a fairly complicated answer; the exact value for this is $\frac$.

Formal definition

The mean line segment length for an ''n''-dimensional shape ''S'' may formally be defined as the expected Euclidean distance , , ⋅, , between two random points ''x'' and ''y'',

: \mathbb E x-y\, \frac1\int_S \int_S \, x-y\, \,d\lambda(x) \,d\lambda(y)

where ''λ'' is the ''n''-dimensional Lebesgue measure.

For the two-dimensional case, this is defined using the distance formula for two points (''x''₁, ''y''₁) and (''x''₂, ''y''₂)

: $\frac1\iint_S \iint_S \sqrt \,dx_1 \,dy_1 \,dx_2 \,dy_2.$

Approximation methods

Since computing the mean line segment length involves calculating multidimensional integrals, various methods for numerical integration can be used to approximate this value for any shape.

One such method is the Monte Carlo method. To approximate the mean line segment length of a given shape, two points are randomly chosen in its interior and the distance is measured. After several repetitions of these steps, the average of these distances will eventually converge to the true value.

These methods can only give an approximation; they cannot be used to determine its exact value.

Formulas

Line segment

For a line segment of length , the average distance between two points is .

Triangle

For a triangle with side lengths , , and , the average distance between two points in its interior is given by the formula

: \frac \left \frac \ln\left( \frac \right) + \frac \ln\left( \frac \right) + \frac \ln\left( \frac \right) \right+ \frac + \frac + \frac + \frac,

where $s = (a+b+c)/2$ is the semiperimeter, and $s_i$ denotes $s-i$.

For an equilateral triangle with side length ''a'', this is equal to

: $\left(\frac\right)a \approx 0.364791843\ldots a.$

Square and rectangles

The average distance between two points inside a square with side length ''s'' is

: $\left(\frac\right) s \approx 0.521405433\ldots s.$

More generally, the mean line segment length of a rectangle with side lengths ''l'' and ''w'' is

: \frac\left \frac + \frac + d\left(3 - \frac - \frac\right) + \frac\left(\frac \ln \left(\frac\right) + \frac \ln \left(\frac\right) \right) \right/math>

where $d = \sqrt$ is the length of the rectangle's diagonal.

If the two points are instead chosen to be on different sides of the square, the average distance is given by

: $\left(\frac\right) s \approx 0.869009\ldots s.$

Cube and hypercubes

The average distance between points inside an ''n''-dimensional unit hypercube is denoted as , and is given as

: $\Delta(n) = \underbrace_ \sqrt \,dx_1 \cdots \,dx_n \,dy_1 \cdots \,dy_n$

The first two values, and , refer to the unit line segment and unit square respectively.

For the three-dimensional case, the mean line segment length of a unit cube is also known as Robbins constant, named after David P. Robbins. This constant has a closed form,

: $\Delta(3) = \frac + \frac + \frac.$

Its numerical value is approximately

Andersson et. al. (1976) showed that satisfies the bounds

: $\tfrac n^ \le \Delta(n) \le (\tfrac n)^ \sqrt.$

Choosing points from two different faces of the unit cube also gives a result with a closed form, given by,

:$\frac + \frac + \frac.$

Circle

The average distance between points on the circumference of a circle of radius ''r'' is

: $\frac r \approx 1.273239544\ldots r$

Disk and balls

The average distance between points inside a disk of radius ''r'' is

: $\fracr \approx 0.905414787\ldots r.$

For a three-dimensional ball, this is

: $\fracr \approx 1.028571428\ldots r.$

More generally, the mean line segment length of an ''n''-ball is

: $\frac\beta_n r$

where depends on the parity of ,

: $\beta_n = \begin\dfrac & (\text n)\\ \dfrac & (\text n)\end$

General bounds

Burgstaller and Pillichshammer (2008) showed that for a compact subset of the ''n''-dimensional Euclidean space with diameter 1, its mean line segment length ''L'' satisfies

: $L \le \sqrt \frac$

where denotes the gamma function. For ''n'' = 2, a stronger bound exists.

: $L \le \frac + \frac\sqrt + \frac\sqrt = 0.678442\ldots$

References

External links

*{{MathWorld, id=MeanLineSegmentLength, title=Mean Line Segment Length

Geometry