Locked and Unlocked Chains of Planar Shapes

We extend linkage unfolding results from the well-studied case of polygonal linkages to the more general case of linkages of polygons. More precisely, we consider chains of nonoverlapping rigid planar shapes (Jordan regions) that are hinged together sequentially at rotatable joints. Our goal is to characterize the families of planar shapes that admit locked chains, where some configurations cannot be reached by continuous reconfiguration without self-intersection, and which families of planar shapes guarantee universal foldability, where every chain is guaranteed to have a connected configuration space. Previously, only obtuse triangles were known to admit locked shapes, and only line segments were known to guarantee universal foldability. We show that a surprisingly general family of planar shapes, called slender adornments, guarantees universal foldability: roughly, the distance from each edge along the path along the boundary of the slender adornment to each hinge should be monotone. In contrast, we show that isosceles triangles with any desired apex angle less than 90 degrees admit locked chains, which is precisely the threshold beyond which the inward-normal property no longer holds.Comment: 23 pages, 25 figures, Latex; full journal version with all proof details. (Fixed crash-induced bugs in the abstract.

Essays on Integer Programming in Military and Power Management Applications

This dissertation presents three essays on important problems motivated by military and power management applications. The array antenna design problem deals with optimal arrangements of substructures called subarrays. The considered class of the stochastic assignment problem addresses uncertainty of assignment weights over time. The well-studied deterministic counterpart of the problem has many applications including some classes of the weapon-target assignment. The speed scaling problem is of minimizing energy consumption of parallel processors in a data warehouse environment. We study each problem to discover its underlying structure and formulate tailored mathematical models. Exact, approximate, and heuristic solution approaches employing advanced optimization techniques are proposed. They are validated through simulations and their superiority is demonstrated through extensive computational experiments. Novelty of the developed methods and their methodological contribution to the field of Operations Research is discussed through out the dissertation

Discrete Geometry

The workshop on Discrete Geometry was attended by 53 participants, many of them young researchers. In 13 survey talks an overview of recent developments in Discrete Geometry was given. These talks were supplemented by 16 shorter talks in the afternoon, an open problem session and two special sessions. Mathematics Subject Classification (2000): 52Cxx. Abstract regular polytopes: recent developments. (Peter McMullen) Counting crossing-free configurations in the plane. (Micha Sharir) Geometry in additive combinatorics. (József Solymosi) Rigid components: geometric problems, combinatorial solutions. (Ileana Streinu) • Forbidden patterns. (János Pach) • Projected polytopes, Gale diagrams, and polyhedral surfaces. (Günter M. Ziegler) • What is known about unit cubes? (Chuanming Zong) There were 16 shorter talks in the afternoon, an open problem session chaired by Jesús De Loera, and two special sessions: on geometric transversal theory (organized by Eli Goodman) and on a new release of the geometric software Cinderella (Jürgen Richter-Gebert). On the one hand, the contributions witnessed the progress the field provided in recent years, on the other hand, they also showed how many basic (and seemingly simple) questions are still far from being resolved. The program left enough time to use the stimulating atmosphere of the Oberwolfach facilities for fruitful interaction between the participants

Growing machines

Thesis (Ph. D.)--Massachusetts Institute of Technology, School of Architecture and Planning, Program in Media Arts and Sciences, 2004.Includes bibliographical references.construction is developed in three dimensions. It is similarly shown that right-angled tetrahedrons, when folded from an edge-connected string, can generate any three dimensional structure where the primitive pixel (or voxel) is a rhombic hexahedron. This construction also suggests a concept of 3D completeness for assembly, somewhat analogous to the concept of Turing completeness in computation. In combination, these pieces of work suggest that a manufacturing system based on four tiles, with seven states per tile, is capable of self-replication of arbitrary 3D structure by copying, then folding, bit strings of those tiles where the desired structure is encoded in the tile sequence.Biological systems are replete with examples of high complexity structures that have "self assembled," or more accurately, programmatically assembled from many smaller, simpler components. By comparison, the fabrication systems engineered by humans are typically top down, or subtractive, processes where systems of limited complexity are carved from bulk materials. Self-assembly to date has resembled crystallization more than it has the programmatic assembly of complex or useful structures--these systems are information limited. This thesis explores the programming of self-assembling systems by the introduction of small amounts of state to the sub-units of the assembly. A six-state, kinematic, conformational latching component is presented that is capable of self-replicating bit strings of two shape differentiated versions of the same component where the two variants represent the 0 and 1 bits. Individual units do not assemble until a string is introduced to the assembly environment to be copied. Electro-mechanical state machine emulators were constructed. Operating on an air table, the units demonstrated logic limited aggregation, or error-preventing assembly, as well as autonomous self-replication of bit strings. A new construction was developed that demonstrates that any two dimensional shape composed of square pixels can be deterministically folded from a linear string of vertex-connected square tiles. This non-intersecting series of folds implies a 'resolution' limit of four tiles per pixel. It is shown that four types of tiles, patterned magnetically, is sufficient to construct any shape given sequential folding. The construction was implemented to fold the letters 'M I T' from sequences of the 4 tile types. An analogousSaul Thomas Griffith.Ph.D

An optimizational approach for an algorithmic reassembly of fragmented objects

In Cambodia close to the Thai border, lies the Angkor-style temple of Banteay Chhmar. Like all nearly forgotten temples in remote places, it crumbles under the ages. By today most of it is only a heap of stones. Manually reconstructing these temples is both complex and challenging: The conservation team is confronted with a pile of stones, the original position of which is generally unkown. This reassembly task resembles a large-scale 3D puzzle. Usually, it is resolved by a team of specialists who analyze each stone, using their experience and knowledge of Khmer culture. Possible solutions are tried and retried and the stones are placed in different locations until the correct one is found. The major drawbacks of this technique are: First, since the stones are moved continuously they are further damaged, second, there is a threat to the safety of the workers due to handling very heavy weights, and third because of the high complexity and labour-intensity of the work it takes several months up to several years to solve even a small part of the puzzle. These risks and conditions motivated the development of a virtual approach to reassemble the stones, as computer algorithms are theoretically capable of enumerating all potential solutions in less time, thereby drastically reducing the amount of work required for handling the stones. Furthermore the virtual approach has the potential to reduce the on-site costs of in-situ analysis. The basis for this virtual puzzle algorithm are high-resolution 3D models of more than one hundred stones. The stones can be viewed as polytopes with approximately cuboidal form although some of them contain additional indentations. Exploiting these and related geometric features and using a priori knowledge of the orientation of each stone speeds up the process of matching the stones. The aim of the current thesis is to solve this complex large-scale virtual 3D puzzle. In order to achieve this, a general workflow is developed which involves 1) to simplify the high-resolution models to their most characteristic features, 2) apply an advanced similarity analysis and 3) to match best combinations as well as 4) validate the results. The simplification step is necessary to be able to quickly match potential side-surfaces. It introduces the new concept of a minimal volume box (MVB) designed to closely and storage efficiently resemble Khmer stones.Additionally, this reduced edge-based model is used to segment the high-resolution data according to each side-surface. The second step presents a novel technique allowing to conduct a similarity analysis of virtual temple stones. It is based on several geometric distance functions which determine the relatedness of a potential match and is capable of sorting out unlikely ones. The third step employs graph theoretical methods to combine the similarity values into a correct solution of this large-scale 3D puzzle. The validation demonstrates the high quality and robustness of this newly constructed puzzle workflow. The workflow this thesis presents virtually puzzles digitized stones of fallen straight Khmer temple walls. It is able to virtually and correctly reasemble up to 42 digitized stones requiring a minimum of user-interaction

Combinatorics of the Permutahedra, Associahedra, and Friends

I present an overview of the research I have conducted for the past ten years in algebraic, bijective, enumerative, and geometric combinatorics. The two main objects I have studied are the permutahedron and the associahedron as well as the two partial orders they are related to: the weak order on permutations and the Tamari lattice. This document contains a general introduction (Chapters 1 and 2) on those objects which requires very little previous knowledge and should be accessible to non-specialist such as master students. Chapters 3 to 8 present the research I have conducted and its general context. You will find: * a presentation of the current knowledge on Tamari interval and a precise description of the family of Tamari interval-posets which I have introduced along with the rise-contact involution to prove the symmetry of the rises and the contacts in Tamari intervals; * my most recent results concerning q, t-enumeration of Catalan objects and Tamari intervals in relation with triangular partitions; * the descriptions of the integer poset lattice and integer poset Hopf algebra and their relations to well known structures in algebraic combinatorics; * the construction of the permutree lattice, the permutree Hopf algebra and permutreehedron; * the construction of the s-weak order and s-permutahedron along with the s-Tamari lattice and s-associahedron. Chapter 9 is dedicated to the experimental method in combinatorics research especially related to the SageMath software. Chapter 10 describes the outreach efforts I have participated in and some of my approach towards mathematical knowledge and inclusion.Comment: 163 pages, m\'emoire d'Habilitation \`a diriger des Recherche