Artsy Pseudo-Hamiltonian Tours

Year: 2024 Authors: Karl Schaffer; Mitchell J. Nathan

Core claim

Pseudo-Hamiltonian tours provide a shared mathematical structure linking movement, visual art, and design, especially for embodied mathematics explorations.

Topics

star polygons, pseudo-Hamiltonian tours, embodied mathematics, polyrhythms, kinesthetic activities

Domains

graph theory, modular arithmetic, cycle graphs, combinatorics, topology, dance, music, craft

Methods

symbolic notation, modular labeling, kinesthetic workshop, example analysis, graph generalization

Media

playground balls, rubber balls, thread, lace shirtwaist buttons, circular formations

Paper text

The text below is the locally extracted OCR/Markdown version of the paper. Raw PDF files remain local and are not published here.

Karl Schaffer, Mitchell J. NathanAddress: 1 Scotts Valley, California, USA; DanceAndMath@gmail.com E-mail: karschaffer@ucd.edu

Abstract

A variation on Hamiltonian cycles in graphs are found in—or can be applied to—designs in a variety of art forms such as dance and educational kinesthetic activities, polyrhythms, lace shirtwaist buttons, paths of billiard balls in polygons, Celtic knots, and string figures. We examine a variety of what may be idiomatically called pseudo—Hamiltonian tours, but which we are describing as {n/(a_{1}, a_{2}, a_{3},…, a_{n}) designs. We suggest some applications, with special attention to their use in embodied mathematics movement explorations. These designs can help provide crossover points for visual and movement artists and mathematicians to make connections between their fields.

Introduction

What might a game with playground balls, partner dances, polyrhythms, billiard ball paths, Celtic knots, string figures, and lace shirtwaist buttons have in common? These all may incorporate designs that pop up in a variety of arts and arts oriented activities. Appearances of the designs in dance involve the location of dance partners in a circular formation, as partners travel around the circle. Or in circular displays of polyrhythms. We may see a correspondence between certain billiard ball patterns, Celtic knots, and geometric string figures. The designs display connections to recently explored variations on Hamiltonian tours in graphs. We will examine several of these designs and suggest further explorations. They may aid artists and mathematicians in developing sometimes surprising connections between their fields.

Ball Passing Problems

In November 2022, the first author was resident for a week at the University of Wisconsin—Madison, in an NSF funded project collaborating with the second author, working together on exploring kinesthetic activities that involve mathematical problem solving. Our goal was to explore aspects of rhythmic movement patterns and their relation to mathematical thinking and learning. The collaboration initially consisted of weekly one-hour Zoom meetings, and the week in Madison included daily meetings Monday through Thursday plus a day and a half workshop for approximately ten participants on Friday, Oct. 28 and Saturday, Oct. 29, 2022. We also met several times with Michelle Ramos, dance faculty member in the UW Dance Department and planned a visit by workshop participants to her Friday ballet class.

Our discussions and workshop activities included explorations of two types of rhythmic composition: the decomposition of rhythmic structures according to the lengths of component sections of a rhythm, and the creation of polyrhythmic patterns that overlay two periodic patterns. In the Saturday workshop we engaged in a ball passing game that kinesthetically employs structures found in polyrhythms. The ball-passing activity led to interesting mathematical and movement explorations and problem-solving, and included examinations of symbolic and algebraic forms for representing the activity. That activity had participants standing in a circle periodically passing and bouncing rubber playground balls around the circle, while keeping track of who were the starting and ending participants as the passes proceeded.

The ball passing activity shares mathematical connections with certain mathematical properties of n-cycles called star polygons that also appear in polyrhythms [10, ch.2]. Suppose ten participants stand equally spaced in a circular formation as shown in Figure 1(a), with participants labeled 0 through 9, the so-called least residues mod 10, around the circle. In this modular arithmetic labeling scheme participant 0 could equally be called participant 10. Participant 0 begins passing a ball to the second person clockwise, number 2, and participants continue passing to the second person clockwise. Note that the ball returns to 0 after five

Schaffer and Nathan

passes. At the same time person 5, for example, might similarly pass a second ball 2 participants clockwise. Two interlocking pentagonal paths of the balls are created. Together these are called the (compound) star polygon, using what is known as Schlafli notation. Every vertex has degree 2 in such a configuration. Figure 1(b) shows the star polygon, in which the ball is passed 3 participants clockwise on each pass. In the sequence that one ball reaches each participant, while the creates disjoint pentagonal paths, one to the even numbered participants, the other to the odd numbers. These patterns are well known and are described by the following proposition utilizing the greatest common divisor (gcd) of the number of participants and the number of participants forward for each pass, [2, pp. 36-38]. We use directed edges shown by arrows in our discussion, though we often leave out the arrowheads if the sequence is clear.

img-0.jpeg (10/(2)) (a)

img-1.jpeg (10/(3)) (b)

img-2.jpeg (10/(1,3)) (c)

img-3.jpeg (10/(1,2)) (d) Figure 1: (a) and (b) star polygons. (c), (d), and (e) use an extension of the Schlafli notation in which edges alternately jump 1 then 3 places; 1 then 2 places; and 1, 8, and 4 places, clockwise respectively. We use thick blue, medium thickness red, and thin brown edges in (c), (d), and (e) for better visibility.

img-4.jpeg (10/(1,8,4)) (e)

Proposition 1. The star polygon using the vertices of the regular -gon is composed of copies of disjoint regular - gons. Each such polygon circles the -gon’s center times, where is the least common multiple of and , and is their greatest common divisor.

We will discuss a generalization of star polygons using an extension of Schlafli notation that we are calling designs. Care needs to be taken in the definitions of these concepts. We identify and label the vertices of with the cyclic group , the integers modulo , where those vertices are equally spaced clockwise from 0 to around a circle. We define a directed edge between two vertices and of as the edge from vertex to vertex . We say the weight of the edge is the element of the set of residues mod , , that is congruent to (mod ). Intuitively, this is the number of vertices from to inclusive around in the clockwise direction. We will not include a loop or single edge of weight zero from a vertex to itself in our discussion, though the sum of the weights of a circuit with more than one edge derived from may be congruent to zero, mod . For calculations involving the vertices we will freely use modular arithmetic and if a vertex label is we will simply call that vertex , though it may be convenient at times to use another integer congruent to , mod .

Definition. Letting we define the design to be a sequence of directed edges between vertices of of weights in the order that starts at a given vertex, often 0, and repeats the sequence until the edge with weight first terminates at the starting vertex.

Note that the vertices of are those of though may or may not include directed edges belonging to the cycle . The collection of these directed edges derived from form a multigraph in which two vertices may be connected by more than one edge. If the design is called on to repeat an edge from vertex to then that requires a new edge since forms what is known as a circuit in graph theory, in that it is a closed walk that may repeat vertices but not edges. We may also freely substitute an edge weight by another integer congruent to , mod . It may be more convenient, for example, to refer to the edge in from 0 to 8 as the edge of weight , since and it may be easier to

Artsy Pseudo-Hamiltonian Tours

visualize an edge going two steps counterclockwise rather than one going eight steps clockwise. Similarly, the directed edge from 8 to 0 in will have the weight 2.

In Figures 1 (c), (d), and (e) the design may represent passes of a ball along edges of alternating weights clockwise around . For example, indicates that the sequence of passes or edges clockwise around starting at 0 is 1,3,1,3,1,3,…, This corresponds to the new idea the paper [8] introduces as a (1,3)-step Hamiltonian cycle or tour of the 10-cycle . Each vertex in is visited once by this cycle. Yet we do not include in this design every pass or edge of weight 1 or 3, for example the weight 3 edge from vertex 2 to 5. Here the thick blue weight 1 edges make up a “perfect matching” in which each vertex has degree 1. The thinner red weight 3 edges are also a perfect matching, and in fact this partition into two perfect matchings is characteristic of every cycle or design that visits each vertex exactly once in any graph with an even number of vertices.

Figure 1(d) is a design. Its seventh edge ends at vertex 0 and has weight 1. However, for its sequence of edges to first end at 0 with an edge of weight 2 so it then seamlessly continues with an edge of weight 1, visits each vertex twice; we denote this design as an example of a (1,2)-step double- or 2-Hamiltonian tour of the vertices of . Figure 1(e) is an example of a design or a (1,8,4)-step triple- or 3-Hamiltonian tour of which visits each vertex three times.

Definition. An -step -Hamiltonian tour is a sequence of edges between the vertices of of weights that repeats that sequence until the edge with weight first terminates at the starting vertex and such that this circuit visits each of the vertices of times.

An -step -Hamiltonian tour may also be called a pseudo-Hamiltonian tour [1], though we are also using the adjective pseudo idiomatically to indicate designs that generate configurations of general artistic interest.

The paper [8] introduces and explores these concepts in all connected graphs , not only cycles as in this paper; it assigns the edges and the same weights, namely the graphical distance between and in , which is the number of edges in the shortest path in between them. Thus in that framework both edges (0,8) and (8,0) in have weights 2. A result is that in [8] there are no edges at all with weights 8 between vertices of since the maximum graphical distance between the vertices of is 5.

In our Madison workshop we complicated the passing rules to create problem solving that combined kinesthetic whole body engagement with mathematical concepts. The goal was to kinesthetically embody the simultaneous playing of two periodic rhythmic patterns with distinct periods that form a polyrhythm. For example, in one exercise, shown in Figure 2(a), Erica began a sequence of passes of the red ball three participants clockwise while Andrea began a sequence passing the blue ball two participants clockwise, both with the same tempo so the passes of the two balls occurred together. This duplicates a polyrhythm in which 2 beat and 3 beat rhythms are played against an overall 5 beat pattern, with distinct starting down beats for the 2s and 3s. When might the balls, or down beats, arrive at the same person at the same time? Participants used the following four methods to successfully answer this question, but also to consider other mathematical or movement ideas that might arise:

  1. Simply trying it and seeing what happened and what skills were necessary (for example, if the balls seemed likely to hit in the air, we bounced one and threw the other over it!)
  2. Tabulating a list of people the balls reached on each pass, see Table 1.
  3. Drawing diagrams like Figure 2(a); the small diagrams help us predict when the balls might collide!
  4. Using modular arithmetic to solve the problem symbolically: Letting represent the number of passes needed for the two balls to reach the same person, and assuming the positive direction around the circle or pentagon is clockwise, note that balls start at vertices 0 and 1 and that . Here we use the multiplicative inverse in which since :

173

Schaffer and Nathan

[Subtract from both sides]

[Multiply both sides by ]

This problem has a standard mathematical solution involving linear congruences in modular arithmetic. If the blue ball starts at person and is passed clockwise participants on each pass, and the red ball starts at person and is passed clockwise participants on each pass, in an person circle, then the congruence equation has solutions given by the following proposition. See for example [3, ch. 5.2].

Proposition 2. The linear congruence has solutions, mod , if and only if is a divisor of . We then solve:

by finding

with solutions (mod ), for

img-5.jpeg

img-6.jpeg (a)

img-7.jpeg

img-8.jpeg

img-9.jpeg Figure 2: (a) blue edge and red edge designs meet at vertex 3. (b) red edge and blue edge designs meet at vertex 2. (Names are those of the actual participants.)

img-10.jpeg (b)

img-11.jpeg

img-12.jpeg

img-13.jpeg

Table 1: and passing patterns.

Pass number:01234
Person holding blue ball at end of pass:AndreaMitchMichaelEricaKarl
Vertex of blue ball at end of pass02413
Person holding red ball at end of pass:EricaMichaelMitchAndreaKarl
Vertex of red ball at end of pass14203

Artsy Pseudo-Hamiltonian Tours

For example, in Figure 2(a), , , , , , , (mod 5). An example that might be visualized using a decagon (not shown) is , , , , , , (mod 5), and or 8 (mod 10). (When we use the = symbol here instead of we are usually restricting discussion to plus or minus the “residues,” mod , which are the non-negative integers from 0 to .)

We can easily characterize designs that create -step Hamiltonian tours that visit each vertex once in . For example, pick two odd numbers, say 3 and 5. Then pick a third number, say 10, such that the . Then will be a -step Hamiltonian tour in . See Figure 3(c) which is a plan for a ten-finger string figure based on a billiard ball artwork modeling a periodically bouncing ball in a regular pentagon where angle of incidence equals angle of reflection created by Diana Davis [5]. This design pattern generalizes to include designs:

Theorem 1. Label the vertices of using the residues, mod , . Then is an -step Hamiltonian tour of if and only if the following conditions hold: 1. .

  1. The sums are distinct, mod .

For a proof with examples and further results, see the Supplement to this paper in the Bridges Archives.

In the Madison workshop we investigated the following problem connected to -step Hamiltonian cycles. Six participants, shown in Figure 2(b), again passed playground balls in unison, but each ball was passed using an alternating sequence of participant skips. The red ball, shown by the red arrows, was passed starting at vertex 1, by Erica, using the pass sequence 3, 2, 3, 2, … The blue ball was passed starting at vertex 2, by Mitch, using the sequence 4, 3, 4, 3, … Note that we might also interpret a pass of as equivalent to , since . We asked when, if at all, do the balls return to the starting person? When, if at all, do they arrive simultaneously at the same person? What mathematical and movement ideas might we observe and employ? Again, we first simply tried performing the pattern, becoming more adept at the movement task as we worked. Table 2 shows the locations of the balls after each pass. Algebraic linear congruence methods also allow us to calculate when the two patterns send the balls to the same person at the same time or when they begin a repetition of the pattern — see the explanation in the Supplement to this paper. Both balls arrive at the same person at the end of passes for any non-negative integer .

Table 2: and passing patterns.

Total number of passes0123456789101112131415161718
Vertex of red ball1403524130251403524
Vertex of blue ball2031425304152031425

Table 3 shows the results of experiments using two ball passing patterns chosen from , , , and , one of which is started at position 0 and the other at position 1 in a 6-person circle. An symbol indicates the balls never meet at the same person. The notation (mod ) indicates the balls reach the same person at the end of pass (mod ).

Table 3: Several combined alternating patterns for 6-person circle.

Start at 0 → Start at 1↓{6/(2,3)}{6/(3,2)}{6/(4,3)}{6/(3,4)}
{6/(2,3)}1 (mod 2)1 (mod 6)
{6/(3,2)}
{6/(4,3)}5 (mod 6)
{6/(3,4)}5 mod 61 (mod 2)

What movement skills and maneuvers are necessary? What connections do participants make between the embodied activity and the mathematical concepts — or rhythmic or other artistic patterns? What patterns

Schaffer and Nathan

are discernable for distinct numbers of participants, different starting positions, and varied patterns? These questions could make engaging embodied math investigations in a variety of courses.

Polyrhythms, Circular Dance Patterns, Celtic Knots, and String Figures

Graphs with the undirected edges of Figures 1(a), (b), (d), and (e) are known as circulant graphs in which vertices are labelled , such that if vertices and (mod ) are joined by an edge then so are all vertices and (mod ). These circulant graphs are often used to display polyrhythms. Figure 1(a) may be seen as a two-beat rhythmic pattern played over a ten-beat rhythm, the two-beat pattern forming two disjoint pentagons, one starting on an even vertex (even vertex beats might be considered the down beats of the ten-beat pattern), the other on an odd vertex. Figure 1(b) might show a three-beat rhythm played against a ten-beat rhythm. Figure 1(d) shows a three-beat rhythm, each bar of which is composed of 1 beat plus 2 more beats; it circles the diagram times before beginning again at the starting point zero.

Figure 1(e) exemplifies a difference between the use of these figures to represent kinesthetic versus rhythmic patterns. Since (mod 10), a ball passing or dance partner switching routine might have the mover (the ball or the dancer) move clockwise places on each phrase and thus circle the figure 3 times before beginning to repeat the pattern. As a rhythmic phrase, each phrase represents beats, so the figure illustrates a polyrhythm combining 13 beat and 10 beat simple rhythms. Thus the 13 beat phrase begins its polyrhythmic pattern again with respect to the 10-beat phrase after “circling” the 10-beat 10-cycle times.

These designs are also very simple versions of possible juggling patterns. However, each juggler would most likely pass juggling implements on each beat, and jugglers do not typically limit themselves to circular formations. The designs may represent paths dance partners take in circular dance formations, in which case every position may also represent a partner about to move to a new position on each musical phrase. For discussion of connections between juggling patterns and partner dance switching often using polygon patterns, see [13], which mentions, for example, the dance Bingo that uses an pattern. In [9] Christine von Renesse details classroom activities exploring partner paths of the form and mentions having also explored the pattern with math and movement classes in the Salsa Rueda dance form. She also suggests investigating dance patterns. Folk dance mixers are sometimes simple, having partners move one person clockwise or counterclockwise in the circle to find new partners, but often involve randomness in how dancers move to the next partner. An interesting further exploration would be to catalogue those mixers that use repeating but complex patterns.

img-14.jpeg (a)

img-15.jpeg (b)

img-16.jpeg (c) Figure 3: (a) Ball passing pattern Celtic knot ; or six dancers following arrows. (b) Six dancers following and patterns, or 2-ball passing. (c) string figure. (d) String loop octahedron and “bouquet” from which it is derived.

img-17.jpeg (d)

Connections can also be made between Celtic and other knots, ball passing (or juggling) patterns, and string figures. Figure 3(a) is a popular Celtic knot sometimes known as a Celtic Love Knot due to the interlocking heart shapes. It could also represent a ball passing pattern for six participants, following the

Artsy Pseudo-Hamiltonian Tours

arrows, of , with the ball starting at position 0. Figure 3(b) is a well-known Celtic knot which is a variation on the Triquetra or Trinity knot. It could represent a ball passing pattern for six participants and two balls, one ball starting at position 0 and following a pattern, the other starting at position 1 and following a pattern. Or it might represent the movements of six pairs of dance partners in which six of the partners remain static in positions 0 through 5, while three of their partners move 2 positions counterclockwise to new partners and three other partners move 2 positions clockwise to new partners. Figure 3(a) could also represent a circular partner dance for six pairs of dancers, with dancers following the arrows to the next partner. In all these designs of dance paths, the under curves precede over curves in time. See [12] for a description of how the undercurve/overcurve features determine how they may be performed, and for the connections to knot theory and other topological concepts.

String figures, designs usually created on the fingers and hands with a small loop of string, have extremely ancient and surprisingly worldwide origins. Figure 3(c) shows a design for a string figure, made up of a single unknotted loop, in which the ten fingers of two hands are the vertices. It is meant to duplicate as closely as possible a design by Diana Davis titled “A Celtic-knotted periodic path on a pentagon billiard table” exhibited at the Bridges Math and Art conference 2023, see [5]. This string figure is the unknot rather than Davis’s alternating Celtic knot. A video showing its construction is at [14]. Instructions for , , and string figures are at [11] along with a video at [4, “Making Stars”]. Figure 3(d) shows a design. It duplicates the design of a three-person string loop octahedron. Each vertex is held by one hand; see a video at [4, “String Quartet”] showing how it is created. This can also be seen as the “derived graph” of the two-petal “bouquet” in the lower left of Figure 3(d) using methods of topological graph theory [6, pg. 60]. In fact the designs can be understood as the application of bouquets with weights assigned in used to derive these designs. Figure 3(d) might also be a design for six dancers who each move through each of the six positions, again in which under curves precede over curves, or for ball passing or juggling patterns. Here are instructions for making the string figure:

  1. Use a loop of length about 30 inches.
  2. Start with the loop on both palms held by thumb and ring fingers of each hand.
  3. Lt index finger hooks rear ring string from above and shares loop with Rt index.
  4. Lt pinky hooks ear thumb string from above and shares loop with Rt pinky.
  5. Lt middle hooks rear pinky string from above and shares loop with Rt middle.
  6. Adjust figure on hands so loops on fingers are as equidistant as possible.

(For string figure help consult string figure vocabulary lessons at isfa.org!)

One further entertaining application of these ideas involves the long history of puzzles centered on finding Hamiltonian tours of rectangular boards by chess pieces that alternate between moves of two pieces, for example between knight and bishop moves [7, 15].

Shirt Lace Buttons

img-18.jpeg Figure 4: Shirt lace buttons by Laurel Shastri exhibiting several of the patterns.

The shirt lace buttons created by Laurel Shastri and shown in Figure 4 exhibit some of the and patterns we have been describing above [16]. For example, the third button from the left shows a regular 7-gon together with a star polygon. But it could also be considered (and constructed) as a design since both polygons are built with yellow thread.

Schaffer and Nathan

Summary and Conclusions

Many art forms utilize designs described here as pseudo-Hamiltonian graph tours, and tabulating more examples and explanations of their connections could make a useful project. Further mathematical explorations of -step -Hamiltonian tours of the cycle and their applications in various art and movement forms would be a useful and engaging investigation. Knowledge about them could also inform aesthetic decisions in a variety of art forms.

Acknowledgements

We thank the reviewers for many helpful suggestions. This work was partially funded by NSF-EHR-DUE, Grant #1835409.

References

[1] L. Babel and G.J. Woeginger. “Pseudo-Hamiltonian Graphs.” Acta Cybernetica 14, 2000, pp. 553–567. [2] H.S.M Coxeter. Introduction to Geometry, second edition. John Wiley and Sons, 1969. [3] K.-D. Crisman. Number Theory: In Context and Interactive. 2023. https://math.gordon.edu/ntic/. [4] G. Csicsery. MathDance.org. Short films on string polyhedra with Scott Kim and Karl Schaffer. 2009. http://mathdance.org/html/CsicseryShortFilms.html. [5] D. Davis. “A Celtic-knotted periodic path on a pentagon billiard table.” Bridges Halifax 2023 Art Exhibition Catalog, https://gallery.bridgesmathart.org/exhibitions/2023-bridges-conference/diana-davis. [6] J.L. Gross and T.W. Tucker. Topological Graph Theory. Dover Publications, 1987. [7] G. Jelliss. Mayhematics.com. Knight’s Tour Notes. 2023. https://www.mayhematics.com/t/t.htm. [8] G.-C. Lau, S.-M. Lee, K. Schaffer, and S.-M. Tong. “On (a,b)-step Hamiltonian Graphs.” 2024, in progress. https://movespeakspin.com/pdf/2024_01_31_a_b__Step_Hamiltonian_Graphs.pdf. [9] C. von Renesse. “Salsa Rueda Dancing and Mathematics.” Bridges Conference Proceedings, online, Aug. 1–5, 2020, pp. 513–516. https://archive.bridgesmathart.org/2020/bridges2020-513.html#gsc.tab=0. [10] K. Schaffer, E. Stern, and S. Kim. Math Dance. MoveSpeakSpin, 2001. [11] K. Schaffer. “The Nine-Pointed Star String Figure.” Gathering for Gardner Nine Exchange Book, 2010. http://www.mathdance.org/pdf/KSMathDance/9-Pointed%20Star.pdf. [12] K. Schaffer. “Dancing Topologically.” Bridges Conference Proceedings, online, Aug. 1–3, 2021, pp. 79–86. https://archive.bridgesmathart.org/2021/bridges2021-79.html#gsc.tab=0. [13] K. Schaffer. “Juggling Dancers: Passing Props and Partner Paths.” Bridges Conference Proceedings, Helsinki and Espoo, Finland, Aug. 1–5, 2022, pp. 229–236. https://archive.bridgesmathart.org/2022/bridges2022-229.pdf. [14] K. Schaffer. (3,5)-step Hamiltonian tour of the ten-cycle string figure. 2024. https://vimeo.com/908124924/4d38d058b9?share=copy. [15] K. Schaffer. “Jekyll and Hyde Chess Tours.” Gathering for Gardner 15 Gift Exchange Archive, 2024, submitted. https://g4gexchangearchive.omeka.net/collection-tree. [16] L. Shastri. “The Story of How We Met, and Look! Pretty Buttons!” Bridges Richmond 2024 Art Exhibition Catalog, Richmond, Virginia, USA, Aug. 1–5, 2024. https://gallery.bridgesmathart.org/exhibitions/bridges-2024-exhibition-of-mathematical-art/laurel-shastri.

0 items under this folder.