Tuesday, April 1, 2008

Geometry and algorithm

Geometry in some way is a phenomenon of spatial and structural organization of matters as a result of system optimization. For instance, soap bubbles or air bubbles (under water) are perfectly spherical in shape if there's no uneven disturbance. We all know well that the spheres are the result of the surface tension of the continuous soap membrane /water surrounding the air bubble in the latter example which tends to minimize the surface area.The hexagonal pattern in honeycomb is the other good example of optimized structural and spatial organization of materials for bees to build homes. Basically, all naturally emerged geometries are the most effective form for matters to exist and for dynamic systems to operate. Ineffective geometry emerges since we learn how to manipulate system willfully. That is when natural systems become artificial. Despite the invention of ineffective geometry by us, many other effective geometries are created by artificial processes such as alloy.

It is invalid to say all algorithms are related to geometry. Because there are algorithms dealing with formless tasks. However, because of the computational nature of algorithmic operations, most of them can always be expressed in geometrical language e.g. plotting graphs with numerical data. Algorithm is artitifical manipulations of matters and systems through systematic undertaking of procedures which are believed to have specific effects in specific context. The primitive idea about algorithm is methods by which people can get things done. In geometrical discussion, algorithm must be involved in creation or alteration of geometry based on the notion of algorithm as methods.
Let’s say we’re all university professors for a moment and we’re trying to figure out how to influence how the kids in our classroom are going to interact.

Let’s first try a seating chart:

Let’s assume for a moment that there are two major tendencies in the classroom: talkers and sleepers and that talkers have the ability to excite the students in the seats around them, while sleepers have the ability to dampen talkers into a little lecture nap session. The interactions are limited to the students directly surrounding the one under consideration. That map looks like this:

We can expect to change the outcome of the class by altering the initial condition.

Ok, let’s do some science on these kids. The point Peter made last week is that if we have a discrete set of inputs (512), we can generate a continuous set of outputs (length of class).

Let’s try turning this on its head. Scrap the seating chart. Sleepers and talkers mill about at will and interact as they please. The space of possible initial conditions for this kind of interaction is beyond what my modern computer can compute for beyond 23 students

– in other words it’s virtually continuous. The interactions over the course of class produce a discrete experience that might be somehow captured in numbers. If we can’t even thoroughly describe what might happen first, we certainly cannot say that if sally comes to class first, then it would follow that… We might begin to operate on the class by setting up rules, but the rules can’t be given by the possible combinations of student interactions, again the possible space is too large to quantify. The rules then become behavioral heuristics; such as if Sally isn’t acting cool, then don’t talk to Sally, rather than the possible combinations of black and white tiles. This doesn’t seem far from Game of Life, although I was thinking of more complex simulations, like the racial preference study.

The conclusion I draw from this is that this might be a way to classify these different programs capable of generating complexity. Do all of them have the same organs in different interrelationships?

Relative Discretion, Relative Complexity

In “Probable Geometries” Greg Lynn defines the joint concepts of discrete and continuous using Jackob Bernoulli’s 1713 description of discrete probability. Using the statistical analogy of a coin toss, Bernoulli states that a discrete system would include a coin, whose symmetry [and geometric form] permit the speculator to state in advance that the coin will almost always land on one of its two sides and thus almost always come to rest in a position that reveals only either a “head” or a “tail”. A continuous system, according to Lynn and Bernoulli, includes a coin which, due to certain deformations in its geometry, does not permit the speculator to state the possible positions in which the object might fall into rest in advance. Therefore, an experimental series must be performed to establish the frequency [or probability] of these possible positions.

To construct one such experiment, take a coin, a nickel as we know it today—Jefferson on one side, his home always his opposite, and inflate it from its centroid to form a perfect sphere. Jefferson and Monticello are deformed equally into two hemispheres connected along their equator by a seam—previously the sides of the original nickel cylinder—now similar to the make-up of a red rubber bouncy ball, less the red, rubber, bouncy. The nickel, once approximately the diameter of a marble, now, in sphere form, closer to the size of a bee-bee; as no alchemy has been performed here. No additional molecules have been added to the nickel in order to bring it to its new shape; both the original and the new nickel are equal in weight, mass, density and the like. The first penny when tossed performs as Bernoulli suspects while the second now rolls until finding a perfectly flat position on the ground and reveals, when viewed orthogonally in plan, most of Jefferson’s ponytail, “Liberty”, the mint date, along with “Unum”, the right third of Montec-E-L-L-O, the word “America” and the smooth shiny seam holding the two hemispheres together. The probability that the nickel will land to reveal exactly the same image again once in the next one-hundred tries is slim at best.

As a system we can understand Bernoulli’s analogy conceptually in architecture and in literature and in most other arts and soft sciences. As a physicist, however, I imagine that both of our nickels are either both discrete and/or both continuous. Both of the nickels are made up of atoms and are probably divisible as such; economically each is still divisible into 5 pennies; what is important, though, is that the difference between one and the other is their distinct formal qualities. Yet taste, smell, listen and other typical analyses all produce the conclusion that each is qualitatively the same. Neither is more or less continuous than the other. Yet Bernoulli, and Lynn, and myself continue to believe in the coin toss analogy. This has to do with the notion of relative discretion. Each system must be able to define, under its own pretense, its own discretion. Under this law a toroid may be considered discrete if it is the primitive geometry from which the system begins. Until acted on by forces; fluid, dynamic, or otherwise, the toroid will remain discrete and may serve as a constant against which all post-operative geometries within the same experiment may be measured. In this way the coffee cup may be considered continuous although the two geometries may contain the same number of vertices, edges, faces, etcetera.

In each of these models an operation is performed on the discrete to produce the continuous.

It would seem also that the notion of relative discretion may pertain to the algorithm itself. We have discussed at length the complexity produced by such simple rule based algorithms as cellular automata and Turing’s universal machine. Specific conversations in class have debated the actual complexity of the cellular automaton. During one particular session the argument was made that in each the CA and the UM, because the rules are stated before the experiment is begun, it would be conceivable that the result of each may be predicted with some certainty. The opposite side of the debate acknowledged that, while indeed the rules are known from the start, the aggregation of these simple rules cannot be predicted and that the only sure way to realize the results would be to run the algorithm. Again, statistically this must be true, although the complexity of the rule set will always have a direct relationship with the odds of predicting the outcome. The coin, for instance, must be tossed in order for us to know the result with 100% certainty. Before the coin is tossed, though, the speculator is given 50% odds. The CA must be predictable to some degree of certainty in the same way.


An analogy can be made to the game of blackjack which comes with its own set of rules. Similar to the rules of a cellular automaton the rules of blackjack are established at the start. These rules are largely Boolean—hit or stand—with some added complexity in split, double, and bust. Given three cards, the two in the speculators hand and the one dealer card shown, a single response is expected. The speculator’s hand includes an ace and a nine while the dealer shows a two—the speculator is expected to stand. The speculator has two eights while the dealer shows a nine—the speculator is expected to double his or her wager and hit. Although the chart would indicate that blackjack is significantly more complex than the coin toss, the pit boss knows that blackjack odds are always 42%. Tipped only slightly in his or her favor. Before each card is dealt the speculator knows what to do with each new circumstance and exactly what those new circumstances might be; the ability to count cards, where he or she is seated at the table, the size of the deck and other advantages may even help to bring these 42% odds closer to the 50% available at the coin toss. As discretion is relative so too is complexity and 42% can hardly be considered complex. This is not to say that complexity is not available in blackjack. It does suggest that the complexity must come from a secondary influence or a second level algorithm. Studying a full black jack table you will notice that the response of a speculator immediately to the right of the dealer will directly impact the game of the speculator to his or her right and so on around the table. It is not uncommon for tempers to flare if one speculator offers a response not specified by the given rule set. Such a response will spike the flow of the next player’s game, resulting in him or her receiving the card before or after the card they would have been dealt had the game been carried out by a computer alone. The possibility for this type of random operator asserts an open-endedness to the system and allows for the unpredictable result.

Similarly, Lynn uses the term incomplete to describe the random section method use by both Le Corbusier and Rem Koolhaas at Maison Citrohan and Tres Grande Bibliotheque, respectively, to produce probable geometries. In "Strategizing the Void" Koolhaas uses the terms regular and irregular.

“Imagine a building consisting of regular and irregular spaces, where the most important parts of the building consist of an absence of building. The regular is the storage, the irregular is the reading rooms, not designed, simply carved out. Could this formulation liberate us from the sad mode of simulating invention?”

Here a discrete system is established by regular floor plates and structural organizations and an algorithm is deployed for networking the system vertically through elevators and escalators. While the system is technically made continuous in this operation alone it is still relatively un-complex. A secondary, random operator, is then run through the system to “excavate where efficient”—thus producing the irregular.

A similar process can also be seen in Tschumi which he describes as Space/Event (Movement) and tests at Parc de la Villete. He includes the term movement but always secondarily and often removes it completely to say Event Space. A more indexical description of his theory would reorder the terms, space-movement-event. Here a discrete system is established with the construction of space. The movement of the user then activates the space to produce the event.

Knowns, Unknowns, and GPS

“…as we know, there are known knowns; there are things we know we know. We also know there are known unknowns; that is to say we know there are some things we do not know. But there are also unknown unknowns -- the ones we don't know we don't know."
-Donald Rumsfeld February 12 2002


It can be difficult to make high stress decisions because like Donald Rumsfeld we know there are knowns and unknowns. The algorithm articulates this by reflecting a series of choices like the branches of a tree with each decision starting at the same place but traveling its own path down one of many possible branches. The troubling issue is all the branches you can not travel down which may possible yield better results than the one you traveled. In considering the unknowns vastly outnumber the knowns it also looks to be almost impossible to make a good decision in terms of the statistical possiblies. This tree of possible choices poses a geometry to decision making as defined by it’s relation to the algorithm. Yet this proposes a model of decision making which is incompatible with the linear formation of time which always places one thing before or after another. The realization of how multiple situations could exist at this point of time makes time’s linearity seem tangible as any one of a series of possible outcomes could happen if the process was repeated enough. Time changes from a linear process to a recursive one within this model of understanding and it’s repetition becomes a way of abstracting a new truth or meaning through the algorithm and it’s resulting tree geometry. Time becomes nothing more than another variable with the larger decision process of the algorithm which is some foreign to the human condition.
I think this idea is present in this interview of Paul Virilio with John Armitage :

John Armitage: How do these developments relate to Global Positioning Systems (GPS)? For example, in The Art of the Motor (1995 [1993]), you were very interested in the relationship between globalisation, physical space, and the phenomenon of virtual spaces, positioning, or, 'delocalization'. In what ways, if any, do you think that militarized GPS played a 'delocalizing' role in the war in Kosovo?
Paul Virilio: GPS not only played a large and delocalizing role in the war in Kosovo but is increasingly playing a role in social life. For instance, it was the GPS that directed the planes, the missiles and the bombs to localised targets in Kosovo. But may I remind you that the bombs that were dropped by the B-2 plane on the Chinese embassy ? or at least that is what we were told ? were GPS bombs. And the B-2 flew in from the US. However, GPS are everywhere. They are in cars. They were even in the half-tracks that, initially at least, were going to make the ground invasion in Kosovo possible. Yet, for all the sophistication of GPS, there still remain numerous problems with their use. The most obvious problem in this context is the problem of landmines. For example, when the French troops went into Kosovo they were told that they were going to enter in half-tracks, over the open fields. But their leaders had forgotten about the landmines. And this was a major problem because, these days, landmines are no longer localized. They are launched via tubes and distributed haphazardly over the territory. As a result, one cannot remove them after the war because one cannot find them! And yet the ability to detect such landmines, especially in a global war of movement, is absolutely crucial. Thus, for the US, GPS are a form of sovereignty! It is hardly surprising, then, that the EU has proposed its own GPS in order to be able to localise and to compete with the American GPS. As I have said before, sovereignty no longer resides in the territory itself, but in the control of the territory. And localization is an inherent part of that territorial control. As I pointed out in The Art of the Motor and elsewhere, from now on we need two watches: a wristwatch to tell us what time it is and a GPS watch to tell us what space it is!
http://www.ctheory.net/articles.aspx?id=132 March 31 2008

It seems that both space and time both become variables within some larger series of decisions which determine who is in control? Are their landmines here? and will this place be bombed in five minutes? It also becomes of critical importance in how the algorithm is defined as whatever value system the algorithm identifies becomes the system by which space or geometry, time and their related decisions will be rationalized.

Geometry, Algorithm and Identical Snowflakes

‘’Several factors affect snowflake formation. Temperature, air currents, and humidity all influence shape and size. Dirt and dust particles can get mixed up in the water and affect crystal weight and durability. The dirt particles make the snowflake heavier, and can cause cracks and breaks in the crystal and make it easier to melt. Snowflake formation is a dynamic process. A snowflake may encounter many different environmental conditions, sometimes melting it, sometimes causing growth, always changing its structure’’. Geometry and geometry rules are what we use to describe, ‘dismantle’ the snowflake. If we were to describe the process of its formation, geometry wouldn’t help.

Geometry is what we use to describe its form but geometry has almost nothing to say about the way it is created, and formed. The formation of a snowflake is such a multi-parametric, non-linear process –an algorithm- that no matter how many times it is run, never will two identical snowflakes will be formed. We may consider two snowflakes as identical, maybe because our eyes can read/recognize/identify only major differences in shapes, disregarding the slight differences. But snowflakes are in fact always non-identical as they have varying precise number of water molecules and ‘’spin of electrons, isotope abundance of hydrogen and oxygen’’ [I ‘ve no idea what these are; I found it on a chemistry website].

Monday, March 31, 2008

Relationship between Algorithm and Geometry

Mathematics is the order, structure, logic, relationship and quantification of the language of numbers and symbols.

Geometry is a branch of mathematics - an architecture - relating to points, lines, angles, surfaces, and solids.

How does geometry operate on the properties of its architecture (points, lines, angles, surfaces, and solids)? Operations on geometric objects such as:

  • Boolean
  • Tessellation
  • Merging
  • Extending
  • Trimming
  • Triangulating
  • Tweening
  • Twinning
  • Tracing
  • Filling
  • Shadowing
  • Resizing
  • Extruding
  • Curve fitting
  • Interpolating
  • Extrapolating
  • Splining

Geometry operates (applies functions) on objects through a rule set – an algorithm.

How does one determine the characteristics (properties of its architecture) of a member of a geometric set? Determination of member characteristics such as:

  • Resultant numeric properties (size, location, etc.)
  • Comparative characteristics (max, min, difference, ratio, arrangement, etc.)
  • Set membership (shape, # of vertices, angle, symmetry, state, topology, any other)

Geometry computes object properties through a rule set – an algorithm.

RELATIONSHIP: Algorithm is the program which operates within the Geometry's architecture.

Algorithm and Geometry

Just until recently, the notion of space remained Cartesian. The determinant shift from high modernism to today’s notion of architecture is the replacement of the background with fixed ordinates and coordinates by a new notion of space and matter acting as a single entity. This turning point has modified architectural thoughts and designs and redefined architecture as a material fact.
The Cartesian paradigm has lost its influence on current architectural philosophy and the existence of its universal space is redefined as a material field of omnipresent difference. The universe, now a matter field, replaces the unchanging essences of a fixed field with interactive entities. Architecture incorporates speeds rather than movements and therefore becomes “as much matter and structure as it is atmosphere and effects.” (Atlas of Novel Tectonics, Resier + Umemoto, p.23)
Architecture involves assemblages of multiple models, surfaces, and materials, and therefore not continuous anymore but rather composed of several organizational models operating at different scales. Architecture must perform with a series of techniques in order to provide the right balance between material and force.
The notion of hierarchy in the modernist projects is currently used in an innovative way such that the order is not just constrained to the scale or to what lies above or below it. In fact, instead of processing in a top-down order from the general scheme to the specific detail, the new concept of hierarchy allows the particular to influence the universal and reciprocally. Indeed, inventive architectural organizations and effects emerge out of entities or wholes, which cannot be reduced to their parts, and become readable not as elements to a whole but as whole-whole relationships.
Typology is significant in the material practice and allows for a wide variety of architectural organization. When selecting a specific typology, a correlation between a rough typology and a practical or structural criteria is possible. Typology is therefore not just used as a mean of classification at the end of a process but also used in its rough state as a device during the design process. Typology is less a “codification” than it is the source for a method of controlled material expressions.
Geometry used to be thought by the modernist architect as an abstract regulator of the materials of construction and is now perceived as a notion that unites matter and material behaviors. In contrast to the prior concept of geometry as a regulator of the irrational or accidental state of matter, the latest theory “must be understood not as a supercession of measuring but as the interplay between intensive and extensive differences.” (Atlas of Novel Tectonics, Resier + Umemoto, p.74)


David Deutsch explains that quantum mechanics should not as a predictive tool but as an justification for how the world works. If we are to take quantum theory at its true value, we must come to the conclusion that our universe is “one of many in an ensemble of parallel universes” that physicists frequently call the “multiverse.” Deutsch believes that the photons in the two-slit experiment are prevented from falling on some parts of the film because they are being obstructed by invisible ''shadow'' photons from a parallel universe.
The “multiverse” version of quantum theory is one of the most developed theories od Deutsch along with theory of computation: the idea, developed by the mathematicians Alan Turing, Alonzo Church and others, that all material procedures can be simulated on a computer. Also essential is the theory of evolution and an “epistemology” (theory of knowledge) that takes science not as a human build but as an ever-improving diagram of the world.