We show that one can reconstruct the shape of a room with planar walls from the first-order echoes received by four non-planar microphones placed on a drone with generic position and orientation. Both the cases where the source is located in the room and on the drone are considered. If the microphone positions are picked at random, then with probability one, the location of any wall is correctly reconstructed as long as it is heard by four microphones. Our algorithm uses a simple echo sorting criterion to recover the wall assignments for the echoes. We prove that, if the position and orientation of the drone on which the microphones are mounted do not lie on a certain set of dimension at most 5 in the 6-dimensional space of all drone positions and orientations, then the wall assignment obtained through our echo sorting criterion must be the right one and thus the reconstruction obtained through our algorithm is correct. Our proof uses methods from computational commutative algebra.We show that one can reconstruct the shape of a room with planar walls from the first-order echoes received by four non-planar microphones placed on a drone with generic position and orientation. Both the cases where the source is located in the room and on the drone are considered. If the microphone positions are picked at random, then with probability one, the location of any wall is correctly reconstructed as long as it is heard by four microphones. Our algorithm uses a simple echo sorting criterion to recover the wall assignments for the echoes. We prove that, if the position and orientation of the drone on which the microphones are mounted do not lie on a certain set of dimension at most 5 in the 6-dimensional space of all drone positions and orientations, then the wall assignment obtained through our echo sorting criterion must be the right one and thus the reconstruction obtained through our algorithm is correct. Our proof uses methods from computational commutative algebra.
References:
-
•M. Boutin, G. Kemper, “A Drone Can Hear the Shape of a Room,”,” SIAM J. on Applied Algebra and Geometry, 4:1(2020), 123–140. (arXiv version, PDF)
-
•K.S. Cohen, “Drones Can Determine the Shape of a Room by Listening,” SIAM Nugget, Feb 6 (2020).
Code:
-
•Shape from Echoes MAGMA Code, Purdue University Research Repository, published on 01 Feb 2019, doi:10.4231/Q3AN-YR91.
Press Coverage:
-
• Press release from TU Munich, with accompanying video,
-
• Mirage News article (in German)
-
• Siecle Digital article (in French)
-
• Phys dot org article
-
• ...