Myfanwy Evans, Frank Lutz, Bernd Sturmfels
Alexander Heaton (TU)
1 January 2020 – 31 December 2020
We propose to develop novel algebraic geometry tools to analyze and understand the microstructure of materials. In particular, we intend to examine framework material structures and to develop the formalisation and fundamental concepts required to study these structures using computational algebra and real algebraic geometry. We begin with a family of instances generated using enumerative techniques from geometry and topology, and extend the available tools based on these case studies.
The overall goal of the project is the systematic analysis of framework microstructures from the perspective of real algebraic geometry. In particular, the concepts of periodicity of the structure and deformations of the structure will be rigorously defined and studied. We will study both framework materials as well as tensegrity materials, where the edge constraint equations are now inequalities. In frameworks, the edges are modelled as rigid bars that do not stretch or compress. However, we can view certain edges as cables, and allow them to stretch. For small perturbations the response should be linear according to Hooke’s law, and can be described by polynomial inequalities.
Practically, the study will be based around a particular set of basic material structures, namely vertices and edges connected in three-dimensional space. A given graph can be embedded into space in many ways. For each embedding, the mechanisms of the structure can be computed, but finding an embedding (or all embeddings) with specific properties is more difficult. The configuration space of these structures quickly becomes high-dimensional, and the configurations satisfying a specific property typically form a set with interesting geometry within this high-dimensional space. For example, configurations which admit nonnegative stresses on the edges that cancel at every vertex of the structure form an algebraic variety defined by (many) maximal minors of a rectangular incidence matrix. The emphasis is on the commonality of physical ideas of the structures alongside the algebraic varieties that parametrize the spatial realizations of the structure.
Code for using semidefinite programming, computational algebra, and numerical algebraic geometry accompanying the first article below is available at the following webpage: https://github.com/alexheaton2/tensegrity.
The article Nonlinear algebra with tensegrity frameworks describes tools from nonlinear algebra which can be used in the study of bar-and-joint and tensegrity frameworks. Methods from computational algebra, algebraic geometry, semidefinite programming, and numerical algebraic geometry are employed. https://arxiv.org/abs/1908.08392.
The article Epsilon local rigidity and numerical algebraic geometry explores the idea that although it is often difficult to certify that a given configuration is an isolated point on the real algebraic set described by the edge constraints of a bar-and-joint framework, it is possible to decide whether the connected component of that point lies entirely within a sphere of small radius. In this case we conclude that if the framework can flex, it cannot flex too far. https://arxiv.org/abs/2002.06154
Please insert any kind of pictures (photos, diagramms, simulations, graphics) related to the project in the above right field (Image with Text), by choosing the green plus image on top of the text editor. (You will be directed to the media library where you can add new files.)
(We need pictures for a lot of purposes in different contexts, like posters, scientific reports, flyers, website,…
Please upload pictures that might be just nice to look at, illustrate, explain or summarize your work.)
As Title in the above form please add a copyright.
And please give a short description of the picture and the context in the above textbox.
Don’t forget to press the “Save changes” button at the bottom of the box.
If you want to add more pictures, please use the “clone”-button at the right top of the above grey box.