Entropy and Integral Geometry on Motion Spaces

21/09/2014
Auteurs :
Publication MaxEnt 2014
OAI : oai:www.see.asso.fr:9603:11325
DOI :

Abstract

Entropy and Integral Geometry on Motion Spaces

Metrics

18
6
47.17 KB
 application/pdf
bitcache://a891a558e676beb2a3fcce27307c6a16c07cced4

License

Creative Commons None (All Rights Reserved)

Sponsors

Scientific sponsors

logo_smf_cmjn.gif
smai.png

Logistic sponsors

logo_cnrs_2.jpg
logo_supelec.png
logo-universite-paris-sud.jpg
logo_see.gif

Funding sponsors

bsu-logo.png
entropy1-01.png
<resource  xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
                xmlns="http://datacite.org/schema/kernel-4"
                xsi:schemaLocation="http://datacite.org/schema/kernel-4 http://schema.datacite.org/meta/kernel-4/metadata.xsd">
        <identifier identifierType="DOI">10.23723/9603/11325</identifier><creators><creator><creatorName>Gregory Chirikjian</creatorName></creator><creator><creatorName>Bernard Shiffman</creatorName></creator></creators><titles>
            <title>Entropy and Integral Geometry on Motion Spaces</title></titles>
        <publisher>SEE</publisher>
        <publicationYear>2014</publicationYear>
        <resourceType resourceTypeGeneral="Text">Text</resourceType><dates>
	    <date dateType="Created">Sat 30 Aug 2014</date>
	    <date dateType="Updated">Mon 2 Oct 2017</date>
            <date dateType="Submitted">Wed 19 Sep 2018</date>
	</dates>
        <alternateIdentifiers>
	    <alternateIdentifier alternateIdentifierType="bitstream">a891a558e676beb2a3fcce27307c6a16c07cced4</alternateIdentifier>
	</alternateIdentifiers>
        <formats>
	    <format>application/pdf</format>
	</formats>
	<version>34208</version>
        <descriptions>
            <description descriptionType="Abstract"></description>
        </descriptions>
    </resource>
.

Entropy and Integral Geometry on Motion Spaces Gregory S. Chirikjian, Bernard Shiffman∗ Department of Mechanical Engineering ∗ Department of Mathematics Johns Hopkins University gregc@jhu.edu, shiffman@math.jhu.edu May 16, 2014 Abstract Let X denote n-dimensional Euclidean space, let G denote the group of orientation- preserving rigid-body motions of X, and let Γ be a crystallographic (discrete co-compact) subgroup of G. In classical integral geometry, the Principal Kinematic Formula com- putes the integral [1, 3, 4] ∫ G χ(A ∩ gB)dg = n∑ i=0 cinµi(A)µn−i(B) (1) where χ(·) denotes the Euler-Poincar´e characteristic, dg is the Haar measure for G, cin are known real constants, µi(·) is the ith invariant curvature measure of a body bounded by a smooth, closed, orientable surface, and A and B are arbitrary smooth bodies in X. Moreover, when the bodies are convex, χ(·) can be replaced with the set indicator function, i(·). Under mild constraints on the bodies, an analogous formula holds for computing the volume in G corresponding to one convex body, B, moving inside another, C, without their bounding surfaces colliding [6]. Both formulas can be used together to compute the change in entropy of a freely moving convex body, B, moving inside a body, C, when an obstacle, A, is introduced in such a way that body B can circumvent it at any orientation without becoming jammed. This is true because if V denotes the volume of free motion, then the probability of finding the moving body in a feasible region of configuration space is 1/V , and the entropy is then S = log V , and the change in entropy resulting from the presence of an obstacle is ∆S = log V1(B, C) − log V2(A, B, C). We seek a formula analogous to (1) for the coset space Γ\G as a way to compute the entropy associated with all configurations of bodies arranged with crystallographic symmetry. This coset space is a smooth manifold of dimension n(n + 1)/2, but because Γ is not normal in G, Γ\G is not a group. Γ\G is called a motion space [2]. Though it is not a group, a mapping π : (Γ\G) × X → X can be defined for each Γg ∈ Γ\G and x ∈ X as π[Γg, x] . = (Γg)x = ∪ γ∈Γ γ · (g · x). We derive a formula for the volume in Γ\G corresponding to arrangements such that π[Γg, B] is a collision-free configuration of bodies. That is, we derive a closed-form 1 expression analogous to (1) for the integral V1 = ∫ FΓ\G i  (g · B) ∩ ∪ γ∈Γ−e (γ ◦ g) · B   dg where FΓ\G is a fundamental domain for the action of Γ on G, V1 is the volume in Γ\G corresponding to bodies in collision, and V2 = V (FΓ\G) − V1 is the volume of the free space. S(Γ, B) = log V2 is the entropy of all possible collision-free crystallographic arrangements of copies of body B with symmetry group Γ. Moreover, we use the derived formula to examine changes in entropy as a function of the shape and size of the body B, and we point toward applications in the emerging field of “geometric frustration” [5]. References [1] Chern, S.-S., “On the Kinematic Formula in the Euclidean Space of N Dimensions,” American Journal of Mathematics, Vol. 74, No. 1 (Jan., 1952), pp. 227-236. [2] Chirikjian, G.S., Yan, Y., “Mathematical Aspects of Molecular Replacement: II. Geometry of Motion Spaces,” Acta. Cryst. A (2012). [3] Klain, D.A., Rota, G.-C., Introduction to Geometric Probability, Cambridge Uni- versity Press, 1997. [4] Schneider, R., Weil, W., Stochastic and Integral Geometry, Springer-Verlag, Berlin, 2008. [5] Sadoc, J.-F., Mosseri, R., Geometrical Frustration, Cambridge University Press, 2006. [6] Yan, Y., Chirikjian, G.S., “Closed-form characterization of the Minkowski sum and difference of two ellipsoids,” Geometriae Dedicata (to appear) 2