Minkowski addition

In geometry, the Minkowski sum of two sets of position vectors A and B in Euclidean space is formed by adding each vector in A to each vector in B:

$A+B=\{\mathbf {a} +\mathbf {b} \,|\,\mathbf {a} \in A,\ \mathbf {b} \in B\}$

The Minkowski difference (also Minkowski subtraction, Minkowski decomposition, or geometric difference)^[1] is the corresponding inverse, where ${\textstyle (A-B)}$ produces a set that could be summed with B to recover A. This is defined as the complement of the Minkowski sum of the complement of A with the reflection of B about the origin.^[2]

${\begin{aligned}-B&=\{\mathbf {-b} \,|\,\mathbf {b} \in B\}\\A-B&=(A^{\complement }+(-B))^{\complement }\end{aligned}}$

This definition allows a symmetrical relationship between the Minkowski sum and difference. Note that alternately taking the sum and difference with B is not necessarily equivalent. The sum can fill gaps which the difference may not re-open, and the difference can erase small islands which the sum cannot recreate from nothing.

${\begin{aligned}(A-B)+B&\subseteq A\\(A+B)-B&\supseteq A\\A-B&=(A^{\complement }+(-B))^{\complement }\\A+B&=(A^{\complement }-(-B))^{\complement }\\\end{aligned}}$

In 2D image processing the Minkowski sum and difference are known as dilation and erosion.

An alternative definition of the Minkowski difference is sometimes used for computing intersection of convex shapes.^[3] This is not equivalent to the previous definition, and is not an inverse of the sum operation. Instead it replaces the vector addition of the Minkowski sum with a vector subtraction. If the two convex shapes intersect, the resulting set will contain the origin.

$A-B=\{\mathbf {a} -\mathbf {b} \,|\,\mathbf {a} \in A,\ \mathbf {b} \in B\}=A+(-B)$

The concept is named for Hermann Minkowski.

Example

For example, if we have two sets A and B, each consisting of three position vectors (informally, three points), representing the vertices of two triangles in ${\textstyle \mathbb {R} ^{2}}$ , with coordinates

$A=\{(1,0),(0,1),(0,-1)\}$

and

$B=\{(0,0),(1,1),(1,-1)\}$

then their Minkowski sum is

$A+B=\{(1,0),(2,1),(2,-1),(0,1),(1,2),(1,0),(0,-1),(1,0),(1,-2)\},$

which comprises the vertices of a hexagon and its center.

For Minkowski addition, the zero set, ${\textstyle \{0\},}$ containing only the zero vector, 0, is an identity element: for every subset S of a vector space,

$S+\{0\}=S.$

The empty set is important in Minkowski addition, because the empty set annihilates every other subset: for every subset S of a vector space, its sum with the empty set is empty:

$S+\emptyset =\emptyset .$

For another example, consider the Minkowski sums of open or closed balls in the field ${\textstyle \mathbb {K} ,}$ which is either the real numbers ${\textstyle \mathbb {R} }$ or complex numbers ${\textstyle \mathbb {C} }$ . If ${\textstyle B_{r}:=\{s\in \mathbb {K} :|s|\leq r\}}$ is the closed ball of radius ${\textstyle r\in [0,\infty ]}$ centered at ${\textstyle 0}$ in ${\textstyle \mathbb {K} }$ then for any ${\textstyle r,s\in [0,\infty ]}$ , ${\textstyle B_{r}+B_{s}=B_{r+s}}$ and also ${\textstyle cB_{r}=B_{|c|r}}$ will hold for any scalar ${\textstyle c\in \mathbb {K} }$ such that the product ${\textstyle |c|r}$ is defined (which happens when ${\textstyle c\neq 0}$ or ${\textstyle r\neq \infty }$ ). If ${\textstyle r}$ , ${\textstyle s}$ , and ${\textstyle c}$ are all non-zero then the same equalities would still hold had ${\textstyle B_{r}}$ been defined to be the open ball, rather than the closed ball, centered at 0 (the non-zero assumption is needed because the open ball of radius 0 is the empty set). The Minkowski sum of a closed ball and an open ball is an open ball. More generally, the Minkowski sum of an open subset with any other set will be an open subset.

If ${\textstyle G=\{(x,1/x):0\neq x\in \mathbb {R} \}}$ is the graph of ${\textstyle f(x)={\frac {1}{x}}}$ and if and ${\textstyle Y=\{0\}\times \mathbb {R} }$ is the ${\textstyle y}$ -axis in ${\textstyle X=\mathbb {R} ^{2}}$ then the Minkowski sum of these two closed subsets of the plane is the open set ${\textstyle G+Y=\{(x,y)\in \mathbb {R} ^{2}:x\neq 0\}=\mathbb {R} ^{2}\setminus Y}$ consisting of everything other than the ${\textstyle y}$ -axis. This shows that the Minkowski sum of two closed sets is not necessarily a closed set. However, the Minkowski sum of two closed subsets will be a closed subset if at least one of these sets is also a compact subset.

Convex hulls of Minkowski sums

Minkowski addition behaves well with respect to the operation of taking convex hulls, as shown by the following proposition:

For all non-empty subsets

{\textstyle S_{1}}

and

{\textstyle S_{2}}

of a real vector space, the convex hull of their Minkowski sum is the Minkowski sum of their convex hulls:

\operatorname {Conv} (S_{1}+S_{2})=\operatorname {Conv} (S_{1})+\operatorname {Conv} (S_{2}).

This result holds more generally for any finite collection of non-empty sets:

$\operatorname {Conv} \left(\sum {S_{n}}\right)=\sum \operatorname {Conv} (S_{n}).$

In mathematical terminology, the operations of Minkowski summation and of forming convex hulls are commuting operations.^[4]^[5]

If ${\textstyle S}$ is a convex set then $\mu S+\lambda S$ is also a convex set; furthermore

$\mu S+\lambda S=(\mu +\lambda )S$

for every ${\textstyle \mu ,\lambda \geq 0}$ . Conversely, if this "distributive property" holds for all non-negative real numbers, ${\textstyle \mu }$ and ${\textstyle \lambda }$ , then the set is convex.^[6]

An example of a non-convex set such that ${\textstyle A+A\neq 2A.}$

The figure to the right shows an example of a non-convex set for which ${\textstyle A+A\subsetneq 2A.}$

An example in one dimension is: ${\textstyle B=[1,2]\cup [4,5].}$ It can be easily calculated that ${\textstyle 2B=[2,4]\cup [8,10]}$ but ${\textstyle B+B=[2,4]\cup [5,7]\cup [8,10],}$ hence again ${\textstyle B+B\subsetneq 2B.}$

Minkowski sums act linearly on the perimeter of two-dimensional convex bodies: the perimeter of the sum equals the sum of perimeters. Additionally, if ${\textstyle K}$ is (the interior of) a curve of constant width, then the Minkowski sum of ${\textstyle K}$ and of its 180° rotation is a disk. These two facts can be combined to give a short proof of Barbier's theorem on the perimeter of curves of constant width.^[7]

Applications

Minkowski addition plays a central role in mathematical morphology. It arises in the brush-and-stroke paradigm of 2D computer graphics (with various uses, notably by Donald E. Knuth in Metafont), and as the solid sweep operation of 3D computer graphics. It has also been shown to be closely connected to the Earth mover's distance, and by extension, optimal transport.^[8]

Motion planning

Minkowski sums are used in motion planning of an object among obstacles. They are used for the computation of the configuration space, which is the set of all admissible positions of the object. In the simple model of translational motion of an object in the plane, where the position of an object may be uniquely specified by the position of a fixed point of this object, the configuration space are the Minkowski sum of the set of obstacles and the movable object placed at the origin and rotated 180 degrees.

Numerical control (NC) machining

In numerical control machining, the programming of the NC tool exploits the fact that the Minkowski sum of the cutting piece with its trajectory gives the shape of the cut in the material.

3D solid modeling

In OpenSCAD Minkowski sums are used to outline a shape with another shape creating a composite of both shapes.

Aggregation theory

Minkowski sums are also frequently used in aggregation theory when individual objects to be aggregated are characterized via sets.^[9]^[10]

Collision detection

Minkowski sums, specifically Minkowski differences, are often used alongside GJK algorithms to compute collision detection for convex hulls in physics engines.

Algorithms for computing Minkowski sums

Planar case

Two convex polygons in the plane

For two convex polygons P and Q in the plane with m and n vertices, their Minkowski sum is a convex polygon with at most m + n vertices and may be computed in time O(m + n) by a very simple procedure, which may be informally described as follows. Assume that the edges of a polygon are given and the direction, say, counterclockwise, along the polygon boundary. Then it is easily seen that these edges of the convex polygon are ordered by polar angle. Let us merge the ordered sequences of the directed edges from P and Q into a single ordered sequence S. Imagine that these edges are solid arrows which can be moved freely while keeping them parallel to their original direction. Assemble these arrows in the order of the sequence S by attaching the tail of the next arrow to the head of the previous arrow. It turns out that the resulting polygonal chain will in fact be a convex polygon which is the Minkowski sum of P and Q.

Other

If one polygon is convex and another one is not, the complexity of their Minkowski sum is O(nm). If both of them are nonconvex, their Minkowski sum complexity is O((mn)²).

Essential Minkowski sum

There is also a notion of the essential Minkowski sum +_e of two subsets of Euclidean space. The usual Minkowski sum can be written as

$A+B=\left\{z\in \mathbb {R} ^{n}\,|\,A\cap (z-B)\neq \emptyset \right\}.$

Thus, the essential Minkowski sum is defined by

$A+_{\mathrm {e} }B=\left\{z\in \mathbb {R} ^{n}\,|\,\mu \left[A\cap (z-B)\right]>0\right\},$

where μ denotes the n-dimensional Lebesgue measure. The reason for the term "essential" is the following property of indicator functions: while

$1_{A\,+\,B}(z)=\sup _{x\,\in \,\mathbb {R} ^{n}}1_{A}(x)1_{B}(z-x),$

it can be seen that

$1_{A\,+_{\mathrm {e} }\,B}(z)=\mathop {\mathrm {ess\,sup} } _{x\,\in \,\mathbb {R} ^{n}}1_{A}(x)1_{B}(z-x),$

where "ess sup" denotes the essential supremum.

L^p Minkowski sum

For K and L compact convex subsets in ${\textstyle \mathbb {R} ^{n}}$ , the Minkowski sum can be described by the support function of the convex sets:

$h_{K+L}=h_{K}+h_{L}.$

For p ≥ 1, Firey^[11] defined the L^p Minkowski sum K +_p L of compact convex sets K and L in $\mathbb {R} ^{n}$ containing the origin as

$h_{K+_{p}L}^{p}=h_{K}^{p}+h_{L}^{p}.$

By the Minkowski inequality, the function h_{K+_pL} is again positive homogeneous and convex and hence the support function of a compact convex set. This definition is fundamental in the L^p Brunn-Minkowski theory.

Notes

^ Hadwiger, Hugo (1950), "Minkowskische Addition und Subtraktion beliebiger Punktmengen und die Theoreme von Erhard Schmidt", Mathematische Zeitschrift, 53 (3): 210–218, doi:10.1007/BF01175656, S2CID 121604732, retrieved 2023-01-12
^ Li, Wei (Fall 2011). GPU-Based Computation of Voxelized Minkowski Sums with Applications (PhD). UC Berkeley. pp. 13–14. Retrieved 2023-01-10.
^ Lozano-Pérez, Tomás (February 1983). "Spatial Planning: A Configuration Space Approach" (PDF). IEEE Transactions on Computers. C-32 (2): 111. doi:10.1109/TC.1983.1676196. hdl:1721.1/5684. S2CID 18978404. Retrieved 2023-01-10.
^ Theorem 3 (pages 562–563): Krein, M.; Šmulian, V. (1940). "On regularly convex sets in the space conjugate to a Banach space". Annals of Mathematics. Second Series. 41 (3): 556–583. doi:10.2307/1968735. JSTOR 1968735. MR 0002009.
^ For the commutativity of Minkowski addition and convexification, see Theorem 1.1.2 (pages 2–3) in Schneider; this reference discusses much of the literature on the convex hulls of Minkowski sumsets in its "Chapter 3 Minkowski addition" (pages 126–196): Schneider, Rolf (1993). Convex bodies: The Brunn–Minkowski theory. Encyclopedia of mathematics and its applications. Vol. 44. Cambridge: Cambridge University Press. pp. xiv+490. ISBN 978-0-521-35220-8. MR 1216521.
^ Chapter 1: Schneider, Rolf (1993). Convex bodies: The Brunn–Minkowski theory. Encyclopedia of mathematics and its applications. Vol. 44. Cambridge: Cambridge University Press. pp. xiv+490. ISBN 978-0-521-35220-8. MR 1216521.
^ The Theorem of Barbier (Java) at cut-the-knot.
^ Kline, Jeffery (2019). "Properties of the d-dimensional earth mover's problem". Discrete Applied Mathematics. 265: 128–141. doi:10.1016/j.dam.2019.02.042. S2CID 127962240.
^ Zelenyuk, V. (2015). "Aggregation of scale efficiency". European Journal of Operational Research. 240 (1): 269–277. doi:10.1016/j.ejor.2014.06.038.
^ Mayer, A.; Zelenyuk, V. (2014). "Aggregation of Malmquist productivity indexes allowing for reallocation of resources". European Journal of Operational Research. 238 (3): 774–785. doi:10.1016/j.ejor.2014.04.003.
^ Firey, William J. (1962), "p-means of convex bodies", Mathematica Scandinavica, 10: 17–24, doi:10.7146/math.scand.a-10510

References

Arrow, Kenneth J.; Hahn, Frank H. (1980). General competitive analysis. Advanced textbooks in economics. Vol. 12 (reprint of (1971) San Francisco, CA: Holden-Day, Inc. Mathematical economics texts. 6 ed.). Amsterdam: North-Holland. ISBN 978-0-444-85497-1. MR 0439057.
Gardner, Richard J. (2002), "The Brunn-Minkowski inequality", Bull. Amer. Math. Soc. (N.S.), 39 (3): 355–405 (electronic), doi:10.1090/S0273-0979-02-00941-2
Green, Jerry; Heller, Walter P. (1981). "1 Mathematical analysis and convexity with applications to economics". In Arrow, Kenneth Joseph; Intriligator, Michael D (eds.). Handbook of mathematical economics, Volume I. Handbooks in economics. Vol. 1. Amsterdam: North-Holland Publishing Co. pp. 15–52. doi:10.1016/S1573-4382(81)01005-9. ISBN 978-0-444-86126-9. MR 0634800.
Henry Mann (1976), Addition Theorems: The Addition Theorems of Group Theory and Number Theory (Corrected reprint of 1965 Wiley ed.), Huntington, New York: Robert E. Krieger Publishing Company, ISBN 978-0-88275-418-5 – via www.krieger-publishing.com/subcats/MathematicsandStatistics/mathematicsandstatistics.html
Rockafellar, R. Tyrrell (1997). Convex analysis. Princeton landmarks in mathematics (Reprint of the 1979 Princeton mathematical series 28 ed.). Princeton, NJ: Princeton University Press. pp. xviii+451. ISBN 978-0-691-01586-6. MR 1451876.
Nathanson, Melvyn B. (1996), Additive Number Theory: Inverse Problems and Geometry of Sumsets, GTM, vol. 165, Springer, Zbl 0859.11003.
Oks, Eduard; Sharir, Micha (2006), "Minkowski Sums of Monotone and General Simple Polygons", Discrete & Computational Geometry, 35 (2): 223–240, doi:10.1007/s00454-005-1206-y.
Schneider, Rolf (1993), Convex bodies: the Brunn-Minkowski theory, Cambridge: Cambridge University Press.
Tao, Terence & Vu, Van (2006), Additive Combinatorics, Cambridge University Press.
Mayer, A.; Zelenyuk, V. (2014). "Aggregation of Malmquist productivity indexes allowing for reallocation of resources". European Journal of Operational Research. 238 (3): 774–785. doi:10.1016/j.ejor.2014.04.003.
Zelenyuk, V (2015). "Aggregation of scale efficiency". European Journal of Operational Research. 240 (1): 269–277. doi:10.1016/j.ejor.2014.06.038.

External links

"Minkowski addition", Encyclopedia of Mathematics, EMS Press, 2001 [1994]
Howe, Roger (1979), On the tendency toward convexity of the vector sum of sets, Cowles Foundation discussion papers, vol. 538, Cowles Foundation for Research in Economics, Yale University
Minkowski Sums, in Computational Geometry Algorithms Library
The Minkowski Sum of Two Triangles and The Minkowski Sum of a Disk and a Polygon by George Beck, The Wolfram Demonstrations Project.
Minkowski's addition of convex shapes by Alexander Bogomolny: an applet
Wikibooks:OpenSCAD User Manual/Transformations#minkowski by Marius Kintel: Application
Application of Minkowski Addition to robotics by Joan Gerard
Demonstration of Minkowski additivity, convex monotonicity, and other properties of the Earth Movers distance

[1] Hadwiger, Hugo (1950), "Minkowskische Addition und Subtraktion beliebiger Punktmengen und die Theoreme von Erhard Schmidt", Mathematische Zeitschrift, 53 (3): 210–218, doi:10.1007/BF01175656, S2CID 121604732, retrieved 2023-01-12

[2] Li, Wei (Fall 2011). GPU-Based Computation of Voxelized Minkowski Sums with Applications (PhD). UC Berkeley. pp. 13–14. Retrieved 2023-01-10.

[3] Lozano-Pérez, Tomás (February 1983). "Spatial Planning: A Configuration Space Approach" (PDF). IEEE Transactions on Computers. C-32 (2): 111. doi:10.1109/TC.1983.1676196. hdl:1721.1/5684. S2CID 18978404. Retrieved 2023-01-10.

[4] Theorem 3 (pages 562–563): Krein, M.; Šmulian, V. (1940). "On regularly convex sets in the space conjugate to a Banach space". Annals of Mathematics. Second Series. 41 (3): 556–583. doi:10.2307/1968735. JSTOR 1968735. MR 0002009.

[5] For the commutativity of Minkowski addition and convexification, see Theorem 1.1.2 (pages 2–3) in Schneider; this reference discusses much of the literature on the convex hulls of Minkowski sumsets in its "Chapter 3 Minkowski addition" (pages 126–196): Schneider, Rolf (1993). Convex bodies: The Brunn–Minkowski theory. Encyclopedia of mathematics and its applications. Vol. 44. Cambridge: Cambridge University Press. pp. xiv+490. ISBN 978-0-521-35220-8. MR 1216521.

[6] Chapter 1: Schneider, Rolf (1993). Convex bodies: The Brunn–Minkowski theory. Encyclopedia of mathematics and its applications. Vol. 44. Cambridge: Cambridge University Press. pp. xiv+490. ISBN 978-0-521-35220-8. MR 1216521.

[7] The Theorem of Barbier (Java) at cut-the-knot.

[8] Kline, Jeffery (2019). "Properties of the d-dimensional earth mover's problem". Discrete Applied Mathematics. 265: 128–141. doi:10.1016/j.dam.2019.02.042. S2CID 127962240.

[9] Zelenyuk, V. (2015). "Aggregation of scale efficiency". European Journal of Operational Research. 240 (1): 269–277. doi:10.1016/j.ejor.2014.06.038.

[10] Mayer, A.; Zelenyuk, V. (2014). "Aggregation of Malmquist productivity indexes allowing for reallocation of resources". European Journal of Operational Research. 238 (3): 774–785. doi:10.1016/j.ejor.2014.04.003.

[11] Firey, William J. (1962), "p-means of convex bodies", Mathematica Scandinavica, 10: 17–24, doi:10.7146/math.scand.a-10510

[1]

[2]

[3]

[4]

[5]

[6]

[7]

[8]

[9]

[10]

[11]

Convex analysis and variational analysis
Basic concepts	Convex combination Convex function Convex set
Topics (list)	Choquet theory Convex geometry Convex metric space Convex optimization Duality Lagrange multiplier Legendre transformation Locally convex topological vector space Simplex
Maps	Convex conjugate Concave (Closed K- Logarithmically Proper Pseudo- Quasi-) Convex function Invex function Legendre transformation Semi-continuity Subderivative
Main results (list)	Carathéodory's theorem Ekeland's variational principle Fenchel–Moreau theorem Fenchel-Young inequality Jensen's inequality Hermite–Hadamard inequality Krein–Milman theorem Mazur's lemma Shapley–Folkman lemma Robinson–Ursescu Simons Ursescu
Sets	Convex hull (Orthogonally, Pseudo-) Convex set Effective domain Epigraph Hypograph John ellipsoid Lens Radial set/Algebraic interior Zonotope
Series	Convex series related ((cs, lcs)-closed, (cs, bcs)-complete, (lower) ideally convex, (Hx), and (Hwx))
Duality	Dual system Duality gap Strong duality Weak duality
Applications and related	Convexity in economics

Topological vector spaces (TVSs)
Basic concepts	Banach space Completeness Continuous linear operator Linear functional Fréchet space Linear map Locally convex space Metrizability Operator topologies Topological vector space Vector space
Main results	Anderson–Kadec Banach–Alaoglu Closed graph theorem F. Riesz's Hahn–Banach (hyperplane separation Vector-valued Hahn–Banach) Open mapping (Banach–Schauder) Bounded inverse Uniform boundedness (Banach–Steinhaus)
Maps	Bilinear operator form Linear map Almost open Bounded Continuous Closed Compact Densely defined Discontinuous Topological homomorphism Functional Linear Bilinear Sesquilinear Norm Seminorm Sublinear function Transpose
Types of sets	Absolutely convex/disk Absorbing/Radial Affine Balanced/Circled Banach disks Bounding points Bounded Complemented subspace Convex Convex cone (subset) Linear cone (subset) Extreme point Pre-compact/Totally bounded Prevalent/Shy Radial Radially convex/Star-shaped Symmetric
Set operations	Affine hull (Relative) Algebraic interior (core) Convex hull Linear span Minkowski addition Polar (Quasi) Relative interior
Types of TVSs	Asplund B-complete/Ptak Banach (Countably) Barrelled BK-space (Ultra-) Bornological Brauner Complete Convenient (DF)-space Distinguished F-space FK-AK space FK-space Fréchet tame Fréchet Grothendieck Hilbert Infrabarreled Interpolation space K-space LB-space LF-space Locally convex space Mackey (Pseudo)Metrizable Montel Quasibarrelled Quasi-complete Quasinormed (Polynomially Semi-) Reflexive Riesz Schwartz Semi-complete Smith Stereotype (B Strictly Uniformly) convex (Quasi-) Ultrabarrelled Uniformly smooth Webbed With the approximation property
Category

Fahrer / Team für die Suche eingeben:

Fahrer / Team für die Suche eingeben:

Langbahn Team – Weltmeisterschaft

Minkowski addition

Example

Convex hulls of Minkowski sums