This paper was converted on www.awesomepapers.org from LaTeX by an anonymous user.
Want to know more? Visit the Converter page.

Fractal dimension and topological invariants as methods to quantify complexity in Yayoi Kusama’s paintings

Elsa de la Calleja Instituto de Investigaciones en Materiales, Facultad de Ingeniería, Universidad Nacional Autónoma de México, Av. Universidad 3000, Ciudad de México, 04510, México    Roberto Zenit [email protected] Instituto de Investigaciones en Materiales, Facultad de Ingeniería, Universidad Nacional Autónoma de México, Av. Universidad 3000, Ciudad de México, 04510, México School of Engineering, Brown University, 184 Hope St, Providence, RI 02912, USA
Abstract

Intricate patterns in abstract art many times can be wrongly characterized as being complex. Complexity can be an indicator of the internal dynamic of the whole system, regardless of the type of system in question, including art creation. In this investigation, we use two different techniques to objectively quantify complexity in abstract images: the fractal dimension and the value of the Betti numbers. We first validate our technique by considering synthetic images with a random distribution of dots, to then apply it to a series of ‘Net obsession’ paintings by Yayoi Kusama. Surprisingly, we found that although the fractal dimension of her works in this series is comparable to those by Jackson Pollock in his dripping period, which could indicate a high level of complexity, the value of the Betti numbers do show disconnectedness and not high complexity. This is intuitively in agreement with the visual assessment of such works.

I Introduction

The symmetry, complexity or periodicity of irregular spatial-temporal patterns could be characterized as beautiful. For many years, numerous investigations have tried to characterize the dynamical processes that lead to the creation of such patterns. Structural properties in many complex systems are the final manifestations of the internal dynamics. Through measures such as connectivity, porosity, texture, roughness, symmetry or temporal correlations to name a few, the complexity of systems can be characterized Ball (2016); Barnsley (1993); Mandelbrot (1982); Etzenhouser et al. (1998); Daccord et al. (1986); Goodchild and Mark (1987). Nature produces many examples of complex patterns Caballero et al. (2012); Barnsley (1993); Andrienko (2018). Some investigations have tried to described the dynamics behind natural complexities, many of which are visual: for example Turing patterns Caballero et al. (2012), symmetries, textures and patterns of marine invertebrates Ball (2016), etc.

Art, of course, is full of complexity but its objective quantification is not trivial. Some studies have quantified particular characteristics of abstract paintings. For instance, Naumis et al. Aragón et al. (2008) evaluated the turbulent luminance of van Gogh paintings, Mekler et al. Martínez-Mekler et al. (2009) measured size-ordered distributions in Vasili Kandinsky. The physical process leading to the emergence of complex patterns in the David A. Siqueiros accidental painting technique Palacios et al. (2019) and in Jackson Pollock’s drip paintings Zetina et al. (2015) have been studied by our group. The fractal dimension of artworks has been widely used to assess the degree of complexity Mureika and Taylor (2013); Taylor et al. (1999); de la Calleja et al. (2016); Redies et al. (2007); Palacios et al. (2019); Zetina et al. (2015). This attempt has created a renewed interest in the subject and opens a new area of study Abbot (2006); Coddington et al. (2008), even if their validity and extend of applicability have been questioned Jones-Smith and Mathur (2006); Jones-Smith et al. (2009). Despite these efforts, a general consensus on the appropriate mathematical tools to quantify the complexity of abstract art has not been reached.

In this report, the complexity of an image is evaluated using those two different mathematical approaches: fractal dimension and Betti numbers. Both measures are used to characterize structural properties as geometry, symmetry, non-regularity, dimensionality and connectivity of a set. Felix Hausdorff developed the mathematical description for Mandelbrot’s sets better known as fractals Mandelbrot (1982). It is well accepted that the Hausdorff-Besicovitch fractal dimension is the usual parameter to characterize irregular spatial-temporal patterns as a result of temporal or spatial evolution of the elements of the system Mecke (1996); Ball (2016); Forsythe et al. (2011). On the other hand, the modern formulation of the theory of algebraic topology Mac Lane (1986) is also a powerful tool to analyze complexity in many systems by using the value of topological invariants, the so-called Betti numbers Pranav et al. (2017); Gerarld (1990); de la Calleja and Zenit (2017); de la Calleja et al. (2016). Despite being widely used in many other areas to quantify structural properties Kosterlitz and Thouless (1973); Gottsche (1990); Spånslätt et al. (2005); Kondic et al. (2012); Xia and Wei (2014), the use of topological invariants as a measure of complexity has not been used much for the case of art. Recently, the Betti numbers of abstract expressionist artworks were computed and used as a measure of complexity de la Calleja and Zenit (2017), with promising results to be applied in other cases.

To validate our proposed methodology to quantify complexity we first apply it to sets of black and white synthetic abstract images formed by randomly adding adding dots (or lines) in a two-dimensional empty area. The advantage of using black-white two-dimensional images allows applying the technique without any previous image processing. Then, the same methodology was used to measure the complexity in Yayoi Kusama’s artworks. Her work is characterized by the use of regular dots patterns. Some critics have cataloged such periodic distribution of dots and nets as ‘simple’. The analysis of Kussama’s works is of particular importance because we found that their fractal dimension hold similar values as other abstract paintings, such as Pollock’s; however, the value of the Betti numbers indicate a lack of connectivity and not necessarily complexity. Hence, we show that the fractality of an image cannot be used alone to quantify complexity. Furthermore, our results indicate that complexity is not related to the visual appreciation of the image.

II Mathematical parameters to quantify complexity

To investigate the complexity in abstract images, two methods were considered to assess the structural properties of images: the fractal dimension and the value of topological invariants. Both procedures have been used in many cases from spatial distribution of galaxies to music Pranav et al. (2017); Barnsley (1993); Bigerelle and Iost (2000). In this study these mathematical parameters were calculated for a set of synthetic abstract images composed with dots or lines. As a result, two different measures were obtain for a given image. This allows us to compare and contrast the structural properties of the images. Evidently, in the art world the painting composition contains multiple components, such as dense lines, layers of paint overlay, cluster nodes, voids, or shapes and shadows. And many of those objects live in a three dimensional space.

II.1 The Betti numbers, βi\beta_{i}

To sustain the characterization of the connectivity of abstract images using topological invariants, a brief introduction is presented here. Algebraic topology is the branch of mathematics that studies topological spaces Milnor (1963); Munkres (1984); Edelsbrunner and Harer (2010). The formalism allows the formulation of statements about topological spaces into the language of group theory, offering substantial flexibility and a deeper understanding of spatial structure and connectivities Pranav et al. (2017). A topological space is characterized by its invariants, which are numbers that remain unchanged under a homeomorphic transformation Gerarld (1990); Spanier (1966). All homology groups are vector spaces, their dimension is the number of independent ii-dimensional cycles in a topological space. This is the formal definition for the Betti numbers βi\beta_{i}, where i=0,1,2,,di=0,1,2,...,d Betti (1871); Edelsbrunner and Harer (2010). The Betti numbers provide the general description of structural topology in systems or sets where the mass distribution play a relevant role.

The description of the boundaries of holes Munkres (1984) allow the characterization of the connectivity of set in a space. For a two dimensional space, only the two Betti numbers can be defined: β0\beta_{0} measures the number of simply-connected objects, path-connected or isolated components of X; and β1\beta_{1} counts the number of loops enclosing independent tunnels, it means the number of holes within the simply-connected spaces or the μ\mu-dimensional holes in X. By taking into consideration this reduced definition, we used the values of these two numbers to assess to the topological properties on abstract images and quantify their complexity.

II.2 The fractal dimension

A fractal object can be considered as an irregular set taking by reference the irregularity in classical geometry. No matter how much the set is magnified, smaller and smaller irregularities become visible Mandelbrot (1982); Gerarld (1990). Roughly speaking, there are similar features on fractal objects: (i) self-similarity; (ii) recursive procedure for its construction; (iii its size is not quantified by the usual measures such as length; (iv) the object has a fine structure, which contains details at arbitrarily small scales; and some others Falconer (2014). Taking into account the above characteristics the fractal dimension is not a topological invariant property, since fractal objects are not homeomorphic Mandelbrot (1982); Gerarld (1990); Harewicz and Wallman (1941); Taylor and Tricot (1985); Taylor (1986); Falconer (1987); Hilton (1988). Mandelbrot Mandelbrot (1982) defined a fractal as a set in which the Hausdorff-Besicovitch dimension exceed the topological dimension.

Briefly, the formalism used consist of given a non-empty space of n-dimensional Euclidean space, the box counting fractal dimension can be calculated by the general equation N(S)=(ϵ/ϵ0)f(α)N(S)=(\epsilon/\epsilon_{0})^{-f(\alpha)} for small ϵ\epsilon where N(S)N(S) is the number of boxes used to cover the set SS, ϵ\epsilon is the size of the box and ϵ0\epsilon_{0} as the minimum size of box. The measure of fractal dimension is compute with a digital binarized image which is divided into pieces of size ϵ\epsilon. Halsey et al. Halsey et al. (1986) defined Pi,QQϵi/ϵ0αQP_{i,Q}^{Q}\sim\epsilon_{i}/\epsilon_{0}^{\alpha Q} as the probability to visit a site in different scaling indices QQ, specifically, the number of times that α\alpha in Pi,qP_{i,q} takes a value between α\alpha^{\prime} and dαd\alpha^{\prime} defined as dαρ(α)ϵf(α)d\alpha^{\prime}\rho(\alpha^{\prime})\epsilon^{-f(\alpha^{\prime})} where f(α)f(\alpha^{\prime}) is a continuous function. The fractal dimension for all the scaling indices can be evaluated

DQ=11Qlimϵ0lni=1N(ϵ)[P(i,Q)]Qln(ϵ/ϵ0)D_{Q}=\frac{1}{1-Q}\lim_{\epsilon\rightarrow 0}\frac{ln\sum_{i=1}^{N(\epsilon)}[P_{(i,Q)}]^{Q}}{ln(\epsilon/\epsilon_{0})} (1)

As Q represents different scaling indices, we can define

i=1N(ϵ)[P(i,Q)]Q=𝑑αρ(α)ϵf(α)+Qα\sum_{i=1}^{N(\epsilon)}[P_{(i,Q)}]^{Q}=\int d\alpha^{\prime}\rho(\alpha^{\prime})\epsilon^{-f(\alpha^{\prime})+Q\alpha^{\prime}} (2)

where the Lipschitz-Hölder exponent αi\alpha_{i}, characterizes the singularity strength in the ith box and quantifies the distribution of complexity in an spatial location. There are similar definitions of fractal dimension, and several techniques to measure it. To mention a few: the box-counting method Barnsley (1993), Hausdorff measure Falconer (2014), Packing dimension Gerarld (1990); Xiao (1997), fractal spectrum Chhabra and Jensen (1989) on some others. Nevertheless, the methods are based on equivalent definitions of fractal dimension. In this report the fractal spectrum with the box-counting method is used to quantify the fractality on the sets Chhabra and Jensen (1989).

III Methods and Methodology

In this work we evaluate the complexity of synthetic abstract images considering the values of the fractal dimension and the Betti numbers. The procedure to calculate complexity was the following: series of synthetic abstract images were produced using a script written with a Matlab©\copyright. Two kind of images were tested: dots and lines. In both cases a predetermined number of black objects (dots or lines) were placed randomly within a rectangular blank space. To ensure repeatability, at least three images were produced for each condition. By progressively adding dots or lines on the given area, the black area increases as dots or lines overlap. The area size was kept fixed for all cases. For the case of dots, three series were constructed with dots of three mean diameters: D1=0.01D_{1}=0.01, D2=0.02D_{2}=0.02 and D3=0.03D_{3}=0.03. The dot size distribution has a standard deviation of 10% of the mean diameter. For the case of lines objects of fixed length, L=0.1L=0.1, were placed randomly in the space with a random orientation. Three series were generated by changing the thickness of the lines, obtained series of T1=0.1,T2=0.3T_{1}=0.1,T_{2}=0.3, and T3=0.5T_{3}=0.5. The mass distribution of dots or lines on the blank space did not have any distribution preference, hierarchical aggregation or imposed self-similarity. Typical images generated with dots are shown in Fig.1.

Refer to caption
Figure 1: Typical synthetic abstract images generated with random distribution of dots.

III.1 Measuring complexity

The synthetic abstract images were binarized with the use of the free software ImageJ Schneider et al. (2012). The fractal dimension of each image was calculated with the FracLac plug-in Chhabra and Jensen (1989); Chhabra et al. (1989). The software calculates the spectrum f(α)f(\alpha) of an ordinary uniform set which is a single point on the f(α)αf(\alpha)-\alpha plane. If the set has fractal characteristics, it shows a line of consecutive points for Q0Q\geq 0 that starts on the left side of the spectrum climbing up to the maximum value Halsey et al. (1986); Hentschel and Procaccia (1983); Schneider et al. (2012). The maximum value for the generalized dimension corresponds to Q=0Q=0. The maximum value was taken as the fractal dimension. The Betti numbers were measured with the software Chomp cho (2016, accessed 10/27/2020). The algorithm of this software calculates the local elementary reductions and collapses to compute the homology of the images. The software calculates the first two Betti numbers, β0\beta_{0} number, and β1\beta_{1} number. The black objects over a blank background can be broadly related to the connectivity among dots or lines and β1\beta_{1} number indicates empty spaces corresponding to the number of holes in the image.

IV Results for synthetic images

As mentioned previously, the aim of this report is to analyze the complexity of synthetic abstract images by measuring their fractal dimension and the value of their two Betti numbers. The case of synthetic images composed by dots is presented and analysed here. The case for lines shows qualitatively similar results; hence, it is presented in Appendix A. By observing the changes in fractal dimension and Betti numbers as the number of dots increases we can evaluate how the complexity evolves. We use ‘simple’ distributions of dots motivated by our interest to evaluate the complexity of paintings by Japanese avant-garde artist Yayoi Kusama. In 1959, she created Infinity Nets, a 10 meters paint with meticulously inscribed patterns suggestive of a white net, over a slightly darker grayish-white background. Her work has been compared to Jackson Pollock’s Nakajima (2006); Sydney (1958). Visually, it is evident that the two artists’ abstract expressionists works are significantly different. However, as shown below, our measurements of their fractal properties suggest that their paintings have similar structural properties.

IV.1 Fractal dimension of synthetic images

Figure 2(a) shows the fractal dimension f(α)f(\alpha) of the three series of abstract images computed with different sizes D1,D2,D3D_{1},D_{2},D_{3} (black squares, red dots and blue triangles, respectively) as a function of the number of dots, NdN_{d}. The fractal dimension was measured for images containing from from 22 to 25002500 dots. Since the area of the image is constant, an increase of the number of dots increases the density. Note also that in these images, the dots are placed randomly and can overlap. The fractal dimension gradually increases from 0.650.65 as the number of dots increases. A maximum fractal dimension of almost 2.02.0 is reached at an certain number of dots, which depends on the dot size. These maximum and minimum fractal dimension values are expected Lesmoir-Gordon et al. (2000). After the fractal dimension reaches a maximum, its value decreases as the number of dots continues to increase. This is a consequence of the image becoming entirely populated with dots. Typical examples of images for the largest fractal dimension (and below and above) are shown in Figs. 2 (b), (c) and (d)

Refer to caption
Refer to caption
(a) f(α)1.5,Nd=100f(\alpha)\approx 1.5,N_{d}=100
Refer to caption
(b) f(α)1.7,Nd=500f(\alpha)\approx 1.7,N_{d}=500
Refer to caption
(c) f(α)1.5,Nd=2000f(\alpha)\approx 1.5,N_{d}=2000
Figure 2: (a) The fractal dimension f(α)f(\alpha) as a function of number of dots, NdN_{d}, for a fixed surface area, for three different drop diameters, D1,D2,D3D_{1},D_{2},D_{3} (black squares, red dots, and blue triangles respectively). (b,c,d) Typical images showing different values f(α)f(\alpha), below, at and above the maximum value for D2D_{2}=0.02.

IV.2 The Betti numbers of synthetic images

Refer to caption
Refer to caption
Refer to caption
(a) β0/β1>1,Nd=200\beta_{0}/\beta_{1}>1,N_{d}=200
Refer to caption
(b) β0/β11,Nd=500\beta_{0}/\beta_{1}\approx 1,N_{d}=500
Refer to caption
(c) β0/β1<1,Nd=1500\beta_{0}/\beta_{1}<1,N_{d}=1500
Figure 3: (a) The value of β0\beta_{0} (fill symbols) and β1\beta_{1} (empty symbols) as a function of NdN_{d}; (b) ratio β0/β1\beta_{0}/\beta_{1} as a function of NdN_{d} for the three different diameters D1D_{1}, D2D_{2}, D3D_{3} (black squares, red circles and blue triangles respectively); (c,d,e) typical images showing different values of β0/β1\beta_{0}/\beta_{1} for D2D_{2}=0.02.

The complexity characterized by the value of the Betti numbers is displayed in Fig. 3(a). The value of the β0\beta_{0}, shown as filled symbols in the figure, first increases with the number of dots since it measures the topological connectivity. As more dots are added, each new dot represents a simple-connected region, which indicates the linear increase of β0\beta_{0}. As NdN_{d} increases overlap begins to occur, and the new dots do not create new simply-connected regions; hence, the rate if increased of β0\beta_{0} slows down until a maximum value is observed. The maximum depends both on the number of drops and the the drop diameter. As the area of the image is progressively covered by drops, the value of β0\beta_{0} decreases: the new dots begin to fill space that connects regions leading to a decrease of β0\beta_{0}. When the dots fill almost completely the area of interest, the number of connections is again 11 that is counted as one continuous set. For larger drops, the area is filled with fewer dots and the maximum is reached quickly. Conversely, the number of holes, quantified by the value if the β1\beta_{1} number (empty symbols in the figure) starts from zero. When the dots are sparse and no overlaps occur, the simply-connected regions do not have any voids leading to a small value of β1\beta_{1}. But as overlaps become more frequent as the number of dots increases, some holes appear resulting in higher β1\beta_{1} values. As even more dots are added, the number of holes reaches a maximum value because too many overlaps will lead to the new dots filling up the holes. As with β0\beta_{0} number, when the dots fill the area of interest, β1\beta_{1} number again approaches 0.

De la Calleja et. al de la Calleja and Zenit (2017) argued that images for which β0β1\beta_{0}\approx\beta_{1} had the maximum complexity. In other words, the images had as many connected regions as holes. To evaluate this criteria for the present images, Fig. 3 (b) shows the ratio β0/β1\beta_{0}/\beta_{1} as a function of NdN_{d}. In the figure, the ratio β0/β1\beta_{0}/\beta_{1} decreases as NdN_{d} increases crossing a value of 1 at a certain number of dots, that depends on the size of dot diameter. As NdN_{d} increases, the ratio contonues to decrease; for much large NdN_{d} values the ratio appears to increase again.. Typical images for β0/β1\beta_{0}/\beta_{1} smaller, equal and larger than unity are shown in Figs. Fig. 3 (c), (d) and (e), respectively. At first sight, the visual appearance of the images and their apparent complexity seems to be in agreement with the images shown in Figs. 2 (b), (c) and (d), as the fractal dimension crosses through a maximum value. However, the number of dots at which the maximum fractal dimension occurs and at which β0/β11\beta_{0}/\beta_{1}\approx 1 is not the same. Also, the ratio β0/β1\beta_{0}/\beta_{1} evolves from a high to small value, crossing through the point of maximum complexity, while maximum complexity from the fractal dimension is located at the maxium of f(α)f(\alpha).

A similar analysis was conducted for the case of straight lines, extending the study first used by De la Calleja et. al de la Calleja and Zenit (2017). The results for the case of lines hold the same qualitative behavior but the values at which the maximum complexity is reached depend on the length and thickness of the lines. These results are presented in detail and discussed in Appendix A.

V Complexity of Yayoi Kusama’s infinity net

Yayoi Kusama is an international avant-garde Japanese artist. Her ‘net painting’ style has been deemed as her most prototypical obsessional art Pollock (2006). Some critics have interpreted her style as ‘culturally specific’, ‘historically feminine’ and ‘subjective painting without image’ Pollock (2006). The art of the so-called queen of Polka Dots is characterized by constructions of by consecutive dots. The world-wide success of her recent Infinity Rooms, has made Yayoi Kusama one of the most recognizable and admired contemporary artists.

Kusama’s paintings have evolved significantly from simple stylistic observations in the 1950s to pure and personal expression of her mental illness in the 1990s Nakajima (2006). Technically, Kusama’s brushstrokes are very thick and do not seem to finish.

Considering the technique describe above, we analyse Kusama’s artworks in a more objective manner. In order to quantify the complexity of Kusama’s infinity net style, 3030 paintings were selected. A complete list of these works is included in Appendix B. Most of the artworks used here are from the following collections: Dot’s obsession Kusama (2019, accessed 10/27/2020a), Infinity Nets Kusama (2013), My eternal soul Shimbun et al. (2017) and Silkscreens from 2009 Kusama (2019, accessed 10/27/2020b). The specific images were selected by considering the appearance of the characteristic repeated dot pattern and the absence, as much as possible, of figurative expressions or objects. The analysis of complexity in pieces of art is possible because of the two dimensional nature of the paintings. Although it is, in principle, possible to extend our proposal to 3-dimensional spaces it was not attempted.

Figure 4 show four of the most iconic Kusama’s artworks: (a)(a) No. Red B (1960), (b)(b) Pumpkin Yellow T (1992), (c)(c) Infinity Nets Yellow (1960) and, (d)(d) Untitled (1967) Abrams (2018, accessed 10/27/2020). The pieces of art of Kusama are full of the symmetric and irregular distribution of dots which apparently are a result of simple compositions. However, our results provide compelling evidence that this fact is questionable.

Refer to caption
Refer to caption
Figure 4: Four of the most representative Kusama’s paintings. (a)(a) No. Red B (1960), (b)(b) Pumpkin Yellow T (1992), (c)(c) Infinity Nets Yellow (1960) and, (d)(d) Untitled (1967). Images used with permission from the Yayoi Kusama Foundation.

The fractal dimension f(α)f(\alpha) for the selected set of paintings is shown in Figure 5. As can be observed, the fractality of the Kusama’s artworks is between 1.7<f(α)<1.91.7<f(\alpha)<1.9, with a mean value of f(α)=1.8285f(\alpha)=1.8285 (dashed black line). These range of fractal dimension is in good correspondence with other abstract images with a high density of dots with the smallest diameter as we observed in Figure 2. Also, Kusama’s artworks fractal dimensions can be compared with those for other abstract expressionisms de la Calleja et al. (2016). Interenstingly. the fractality of the art pieces of Yayoi Kusama evaluated in this report have values similar to those calculated for Jackson Pollock’s paintings Taylor et al. (1999); de la Calleja et al. (2016). This result suggests that the despite the obvious differences in style and composition the complexity of Kusama’s paintings, using this metric, is similar to that of Pollock’s.

Refer to caption
Figure 5: The fractal dimension of Kusama’s paintings. The paintings considered are shown in Tables 1 and 2 in Appendix B. The dashed line shows the mean value of f(α)f(\alpha)

Now, to complete the complexity characterization of Kusama’s paintings we proceed to calculate the values of the Betti numbers. To do this, the images are binarized choosing a threshold level following ordinary image processing techniquesSchneider et al. (2012). The value of β0\beta_{0} number quantifies the connectivity of a set and, while the value of β1\beta_{1} number counts the holes. Figure 6 (a) show the Betti numbers for Kusama’s paintings listed in Appendix B. Note that both β0\beta_{0} and β1\beta_{1} are normalized with the area of each painting (A), to allow comparison between works of different sizes. The mean value of β0\beta_{0} (brown dashed line) and the mean value of β1\beta_{1} number (green dashed line) are also shown. In general, we find that β0>β1\beta_{0}>\beta_{1} There is expected since the Kusama’s dots are mostly disconnected, each one of them represents a single connected domain with would lead to a high β0\beta_{0} value. Since there are few overlaps, only a few holes appear, therefore one would expect the images to have low β1\beta_{1} values. This, of course, is not always the case. In many instances the high density of dots are in balance with the number of holes.

We have conjectured that a high image complexity corresponds to cases when the number of connected regions is roughly the same as the number of holes, β0β1\beta_{0}\sim\beta_{1} de la Calleja et al. (2016). Fig.6(b)(b) shows the ratio β0/β1\beta_{0}/\beta_{1} of all the works analyzed here. Overall, it is clearly observed that β0>β1\beta_{0}>\beta_{1}. This is good agreement with can be deduced from the visual inspection of the paitings: dispersed non-overlapping points do not lead to the formation of many holes. Of all the works, only 1/3 of them a value of β0/β1\beta_{0}/\beta_{1} close to unity. Hence, from this metric the complexity of Kusama’s paintings seems to be smaller. This observation is in sharp contrast with what was concluded from the fractal dimension analysis. It is also interesting to note that for the case of Pollock’s paintings, the ratio β0/β1\beta_{0}/\beta_{1} was closed to unity, at least for works close to the dripping period.

Refer to caption
Refer to caption
Figure 6: (a) Betti numbers per unit area of Kusama’s paintings, list in Appendix B. Black circles: β0\beta_{0}; red circles, β1\beta_{1}. The black dashed line shows the mean value of β0/A\beta_{0}/A and the red dashed line show the mean value of β1/A\beta_{1}/A. (b)(b) the ratio β0/β1\beta_{0}/\beta_{1} for the same paintings. The solid line shows the mean value.

VI Discussion and Conclusion

The fractal dimension and Betti numbers can both be used to characterize complexity with a non-predictable structure. Fractal properties are present in a wide and extend the number of objects. While the fractal dimension measures certain spectral properties of an image, the Betti numbers quantify the topological shape. As demonstrated above, they can both provide a metric for complexity of abstract images. One interesting aspect conclusion drawn from this study was that, although Kusama’s art works have fractal dimensions comparable to other abstract paintings, the value of the Betti numbers are strikingly different.

The analysis of image complexity is a useful non-invasive technique to characterize artworks. With the analysis presented here we demonstrate that it is possible to capture essential information about painting styles. Yayoi Kusama has painted many pieces with dots, and her influence and impact have been significant. Kusama’s paintings are created with consecutive and order distribution of dots. From our analysis, the fractality of Kusama’s art indicates high complexity while the value of the topological invariants show more homogeneous textures with a high degree of dispersiveness. Hence, we can conclude the complexity of Kusama’s art work has a richer depth than that observed for other abstract painters, including Jackson Pollock.

VI.1 Acknowledgments

The support of DGAPA-PAPIIT-UNAM (grant number IN108016) and ACT-FONCA (grant number 04S.04.IN.ACT.038.18) are greatly acknowledged. We thank the Yayoi Kusama foundation for their kind permission to use the images of the art works.

References

  • Ball [2016] P. Ball. Patterns in Nature: Why the Natural World Looks the Way it Does., volume 1. The University of Chicago Press, 2016.
  • Barnsley [1993] M. F. Barnsley. Fractals Everywhere, volume 1. Academic Press Profesional, United Sates of America, 1993.
  • Mandelbrot [1982] B. B. Mandelbrot. The fractal geometry of Nature. W. H. Freeman and Company, 1th edition, 1982.
  • Etzenhouser et al. [1998] M. J. Etzenhouser, M. K. Owens, D. E. Spalinger, and S. B. Murden. Foraging behavior of browsing ruminants in a heterogeneous landscape. Lands. Ecol., 13:55, 1998.
  • Daccord et al. [1986] G. Daccord, J. Nittmann, and H. E. Stanley. Radial viscous fingers and diffusion-limited aggregation: Fractal dimension and growth sites. Phys. Rev. Lett., 56:336, 1986.
  • Goodchild and Mark [1987] M. F. Goodchild and D. M. Mark. The fractal nature of geographic phenomena. Ann. Assoc. Am. Geograph., 77:2:265–278, 1987.
  • Caballero et al. [2012] L. Caballero, M. Benitez, E. R. Alvarez‐Buylla, S. Hernandez, A. V. Arzola, and G. Cocho. An epigenetic model for pigment patterning based on mechanical and cellular interactions. J. Exp. Zool. B Mo.l Dev. Evol., 318:209–223, 2012.
  • Andrienko [2018] D. Andrienko. Introduction to liquid crystals. J. Mol. Liq., 267:520–541, 2018.
  • Aragón et al. [2008] J. Aragón, G. G. Naumis, M. Bai, M. Torres, and P. Maini. Turbulent luminance in impassioned van gogh paintings. J. Math. Imaging Vis, 30:275–283, 2008.
  • Martínez-Mekler et al. [2009] G. Martínez-Mekler, R. A. Martínez, M. B. del Río, R. Mansilla, P. Miramontes, and G. Cocho. Universality of rank-ordering distributions in the arts and sciences. PLoS ONE, 4:e4791, 2009.
  • Palacios et al. [2019] B. Palacios, A. Rosario, M. M. Wilhelmus, S. Zetina, and R. Zenit. Pollock avoided hydrodynamic instabilities to paint with his dripping technique. PLoS ONE, 14(10):e0223706, 2019.
  • Zetina et al. [2015] S. Zetina, F. A. Godinez, and R. Zenit. A hydrodynamic instability is used to create aesthetically appealing patterns in painting. PLoS ONE, 10(5):e0126135, 2015.
  • Mureika and Taylor [2013] J. R Mureika and R. P. Taylor. The abstract expressionists and les automatistes: A shared multi-fractal depth? Sign. Proc., 93:573–578, 2013.
  • Taylor et al. [1999] R. P. Taylor, A.P Micolich, and D. Jonas. Fractal analysis of Pollock’s drip paintings. Nature, 399:422, 1999.
  • de la Calleja et al. [2016] E. M. de la Calleja, Cervantes F., and de la Calleja J. Order-fractal transitions in abstract paintings. Annals of Physics, 371:313–322, 2016.
  • Redies et al. [2007] C. Redies, J. Hasenstein, and J. Denzler. Fractal-like image statistics in visual art: similarity to natural scenes. Spat. Vis., 21:137–148, 2007.
  • Abbot [2006] A. Abbot. Fractals and art: In the hands of a master. Nature, 439:648–650, 2006.
  • Coddington et al. [2008] J. Coddington, J. Elton, D. Rockmore, and Y. Wang. Multifractal analysis and authentication of Jackson Pollock paintings. Proc. SPIE, D.G. Stork and J. Coddington, eds., 6810:F1–F12, 2008.
  • Jones-Smith and Mathur [2006] Katherine Jones-Smith and Harsh Mathur. Fractal analysis: Revisiting pollock’s drip paintings. Nature, 444:E9–E10, 2006.
  • Jones-Smith et al. [2009] Katherine Jones-Smith, Harsh Mathur, and Lawrence M. Krauss. Drip paintings and fractal analysis. Phys. Rev. E, 79:046111, Apr 2009. doi: 10.1103/PhysRevE.79.046111.
  • Mecke [1996] K. R. Mecke. Morphological characterization of patterns in reaction-diffusion systems. Phys. Rev. E, 53:4794–4800, 1996.
  • Forsythe et al. [2011] A. Forsythe, M. Nadal, C. J. Sheehy, N. Cela-Conde, and M. Sawey. Predicting beauty: Fractal dimension and visual complexity in art. Brit. J. Psychol., 102:49–70, 2011. doi: https://doi.org/10.1348/000712610X498958.
  • Mac Lane [1986] S. Mac Lane. Topology becomes algebraic with vietoris and noether. Journal of Pure and Applied Algebra, 39:305–307, 1986.
  • Pranav et al. [2017] P. Pranav, H. Edelsbrunner, R. van de Weygaert, G. Vegter, M. Kerber, B. J. T. Jones, and M. Wintraecken. The topology of the cosmic web in terms of persistent betti numbers. Month. Not. Roy. Astronom. Soc., 465:4281–4310, 2017.
  • Gerarld [1990] A. E. Gerarld. Measure, topology and fractal geometry. Springer, New York, 1th edition, 1990.
  • de la Calleja and Zenit [2017] Elsa M. de la Calleja and Roberto Zenit. Topological invariants can be used to quantify complexity in abstract paintings. Knowledge-Based Systems, 126:48 – 55, 2017. doi: https://doi.org/10.1016/j.knosys.2017.03.030.
  • Kosterlitz and Thouless [1973] J.M. Kosterlitz and D. J. Thouless. Ordering, metastability and phase transitions in two-dimensional systems. J. Phys. C Solid State, 6:1181–1203, 1973.
  • Gottsche [1990] L. Gottsche. The Betti numbers of the Hilbert scheme of points on a smooth projective surface. Math. Ann., 286:193–208, 1990.
  • Spånslätt et al. [2005] C. Spånslätt, E. Ardonne, J. C. Budich, and T .H. Hansson. Topological aspects of pi-phase winding junctions in superconducting wires. J. Phys.: Condens. Matter, 27:405701, 2005.
  • Kondic et al. [2012] L. Kondic, A. Goullet, C. S. O’Hern, M. Kramar, K. Mischaikow, and R. P. Behringer. Topology of force networks in compressed granular media. Europhy. Lett., 97:54001–54007, 2012.
  • Xia and Wei [2014] K. Xia and G.W. Wei. Persistent homology analysis of protein structure, flexibility and folding. Int. J. Numer. Method. Biomed. Eng., 30:814–844, 2014.
  • Bigerelle and Iost [2000] M. Bigerelle and A. Iost. Fractal dimension and classification of music. Chaos, Solitons &\& Fractals., 11:2179–2192, 2000.
  • Milnor [1963] J. Milnor. Morse Theory, Annals of mathematics studies., volume 1. Princeton Univ. Press., 1963.
  • Munkres [1984] J. Munkres. Elements of Algebraic Topology, Advanced book classics., volume 1. Perseus Books, New York City, NY, 1984.
  • Edelsbrunner and Harer [2010] H. Edelsbrunner and J. Harer. Computational Topology: An Introduction, Applied mathematics, volume 1. American Mathematical Society, Providence, RI, 2010.
  • Spanier [1966] E. H. Spanier. Algebraic topology. Springer Verlag Press, New York, 1th edition, 1966.
  • Betti [1871] E. Betti. Sopra gli spazidi unnumero qualunquedi dimensioni. Ann. Math. Pura Appl., 2/4:140–158, 1871.
  • Falconer [2014] K. J. Falconer. Fractal Geometry. Wiley, 3th edition, 2014.
  • Harewicz and Wallman [1941] W. Harewicz and H. Wallman. Dimension theory. Princeton University Press., 1th edition, 1941.
  • Taylor and Tricot [1985] S. J. Taylor and C. Tricot. Packing measure and its evaluation for a brownian path. Trans. Amer. Math. Soc., 288:679–699, 1985.
  • Taylor [1986] S. J. Taylor. The measure theory of random fractals. Math. Proc. Camb. Phil. Soc., 100:383–406, 1986.
  • Falconer [1987] K. J. Falconer. The Hausdorff dimension of some fractals and attractors of overlapping construction. J. Statist. Phys., 47:123–132, 1987.
  • Hilton [1988] P. Hilton. A brief, subjective history of homology and homotopy theory in this century. Mathematics Magazine., 60:282–291, 1988.
  • Halsey et al. [1986] T. C. Halsey, M. H. Jensen, L. P. Kadanoff, I. Procaccia, and B. I. Shraiman. Fractal measures and their singularities: The characterization of strange sets. Phys. Rev. A, 33:1141, 1986.
  • Xiao [1997] Y. Xiao. Packing dimension of the image of fractional brownian motion. Statistics and Probability Letters, 33:379–387, 1997.
  • Chhabra and Jensen [1989] A. Chhabra and R. V. Jensen. Direct determination of the f(α\alpha) singularity spectrum. Phys. Rev. lett., 62(52):1327, 1989.
  • Schneider et al. [2012] Caroline A. Schneider, Wayne S. Rasband, and Kevin W. Eliceiri. NIH image to ImageJ: 25 years of image analysis. Nature Meth., 9:671–675, 2012.
  • Chhabra et al. [1989] A. B. Chhabra, C. Meneveau, R. V. Jensen, and K. R. Sreenivasan. Direct determination of the f(α\alpha) singularity spectrum and its application to fully developed turbulence. Phys. Rev. A., 40:5284, 1989.
  • Hentschel and Procaccia [1983] G. E. Hentschel and I. Procaccia. The infinite number of generalized dimensions of fractals and strange attractors. Physica D: Nonlinear Phenomena, 8:435–444, 1983.
  • cho [2016, accessed 10/27/2020] Computational Homology Project, 2016, accessed 10/27/2020. URL http://chomp.rutgers.edu/index.html.
  • Nakajima [2006] I. Nakajima. Yayoi kusama between abstraction and pathology. In Griselda Pollock, editor, Psychoanalysis and the Image: Transdisciplinary Perspectives, chapter 5. Blackwell Publishing Ltd, Hoboken, NJ, 2006.
  • Sydney [1958] T. Sydney. In the galleries: Yayoi Kusama. Arts Mag., 34:56, 1958.
  • Lesmoir-Gordon et al. [2000] Nigel Lesmoir-Gordon, Will Rood, Ralph Edney, and Richard Appignanesi. Introducing Fractal Geometry. Icon Books, Duxford, Lanham, 2000.
  • Pollock [2006] G. Pollock. Psychoanalysis and the Image: Transdisciplinary Perspectives. Blackwell Publishing Ltd, The address, 2006.
  • Kusama [2019, accessed 10/27/2020a] Y. Kusama. Dot obsession collection, 2019, accessed 10/27/2020a. URL http://yayoi-kusama.jp/.
  • Kusama [2013] Y. Kusama. Infinity Net: The Autobiography of Yayoi Kusama. Tate Publishing, London, United Kingdom, 2013.
  • Shimbun et al. [2017] A. Shimbun, M. Yusuke, A. Tatehata, and N. Yoneda. Yayoi Kusama: My Eternal Soul. National Art Center, Tokyo, 1th edition, 2017.
  • Kusama [2019, accessed 10/27/2020b] Y. Kusama. Silkscreens 2009, 2019, accessed 10/27/2020b. URL https://www.roslynoxley9.com.au/exhibition/selected-works-silkscreens/vyft4.
  • Abrams [2018, accessed 10/27/2020] Amah-Rose Abrams. Top Ten Most Expensive Yayoi Kusama Works at Auction, 2018, accessed 10/27/2020. URL https://news.artnet.com/market/yayoi-kusama-auction-prices-391592.
  • Kaniichi [1988] Uno Kaniichi. Kyosei to Uchu (the castration and the cosmos). Bijutsu Techo, 40(599):118–126, 1988.

Appendix A Synthetic images with lines

De la Calleja et. al de la Calleja and Zenit [2017] reported the complexity of abstract images composed of rigid lines varying the length and the thickness. In the present case, we are interested in the effect of changing the line thickness. To evaluate the complexity abstract images were generated using the same script written in Matlab. The procedure to generate images with rigid lines in the three different thickness was the same as the one used with dots. Black rigid lines were generated to fill a fixed black space. Three different thickness were computed T1=0.1T_{1}=0.1, T2=0.3T_{2}=0.3 and T3=0.5T_{3}=0.5. The lines were randomly distributed on the space. We follow the same methodology to evaluate the complexity of images generated with dots, but applied to images with lines. The fractal dimension (f(α)f(\alpha)) and Betti numbers were calculated.

Refer to caption
Figure 7: Typical synthetic abstract images generated with random distribution of lines.

The fractal dimension f(α)f(\alpha) as a function of the number of lines (NLN_{L}) is presented in Fig. 8. The fractal dimension start from a value of unity for a single line, as expected. As more lines are added, the dimension decreases slightly to soon after increase again. As more lines are added, the space is filled rapidly which leading to a maximum fractal dimension of about 1.8. This is observed for the the three thicknesses, but the maxium is reached at different NLN_{L}. After the maximum value of fractal dimension is reached, which means that the empty space is fill with lines the fractal dimension decreases agian. The Betti numbers obtained for the same images are shown in Fig. 9. The results of β0\beta_{0} of images with lines are presented in (a)(a). The connectivity of lines is reached rapidly with a low number of lines and this behavior is observed on images computed with the three thicknesses. β0\beta_{0} collapse to almost 11 from images with 20002000 lines. This is because as the number of lines increases, they connected and overlapped between them and form one set. In Fig. 9 (b) the behavior of β1\beta_{1} is shown, which measures the number of empty spaces of a set. Images generated with thin lines (T1T_{1}) reached a high number of holes. Contrary to the cases when the lines are thick. In those cases, the empty space is filled rapidly with a low number of lines. We have argued that a high level of complexity is obtained when β0β1\beta_{0}\sim\beta_{1}. In Fig. 9 (c) the ratio β0/β1\beta_{0}/\beta_{1} is shown as a fucntion of NLN_{L}. It shows that the maximum complexity obtained from images with three different thicknesses occurs at approximately the same number of lines NL100N_{L}\approx 100 independently of the line thickness.

Refer to caption
Figure 8: The Fractal dimension f(α)f(\alpha) reaches rapidly almost a value of 2.02.0. It happens for the three thickness T1,T2,T3T_{1},T_{2},T_{3} (black squares, red dots, and blue triangles respectively).
Refer to caption
Figure 9: In (a)(a) is presented that high connectivity measured with β0\beta_{0} on abstract images generated with lines is reached with a low number of lines on the three different thickness: T1T_{1}, T2T_{2} and T3T_{3} (black squares, red dots, and blue triangles respectively). (b)(b) exhibits the complexity measured by the number of holes obtained from the overlapped lines on the images. Images constructed with thin lines (black squares) exhibit the highest value of β1\beta_{1}. In (c) the ratio β0/β1\beta_{0}/\beta_{1} of abstract images generated with lines of three different thickness shows a decrease of complexity when the images contain a high number of lines.

Appendix B Kusama’s paintings

The body of work by Yayoi Kusama is vast. Many of her paintings have been exposed in important galleries around the world, including performances and pieces were the public can interact with the artwork. Among them ‘Net painting’ has been considered to be her most prototypical example of ‘obsessional art’.

In Yayoi Kusama’s own words: ‘My life, a dot, namely, one among millions of particles. It was in 1959 that I gave my manifesto that [my art] obliterates myself and others with the void for a net woven with an astronomical accumulation of dots’. Since the end of the 1950s, Kusama has produced a many artworks under different titles, different sizes, color schemes but with an apparently repetitive pattern: infinity nets.

The ‘self-obliteration’ of Kusama’s words appear as the extreme opposite of the ‘action painting’. During the painting process, her brush does not leave the canvas, in sharp contrast to Pollock’s free-hand action Palacios et al. [2019].

At first sight, Kusama’s paintings may appear to be simple monotonous patterns of a net. However, the monotonous look may prompt various associations with the obsessions of the artist. The ideological, social, and physiological aspects of Kusama’s art, have been discussed in diverse forums. Kaniichi Kaniichi [1988] discusses the negation of action painting and posses the question: can the practice of ‘Net’ production be a feminine alternative to the masculine staging of ‘action’ as she appeared to produce the ‘opposite’ of Pollock type paint?

In Net painting, the act of painting is austerely restrained to minimal action. If action painting is a trace of a progressive ‘cutting off’ of the body of the painting, net painting might suggest a ‘touching’ without harming. Pollock’s action is oriented to detach the artist form the body of the painting; Kusama’s continuous painting aspires to produce contiguity with her object Nakajima [2006].

our results show that despite having contrastingly different styles and approach to painting, Kusama and Pollock have similar values of complexity evaluated with fractal dimension. However, if are the Betti number the parameter of characterization, Kusama’s work shows low level of complexity.

Paint Year Name Size Source
1 1960 White No. 28 147.6x111.1
https://www.christies.com/
lotfinder/Lot/yayoi-kusama-b-1929-
white-no-28-5846063-details.aspx
2 1998 Sunlight 59.7x47.8
http://www.artnet.com/artists/
yayoi-kusama/sunlight-EzrsqLuca
Tdm45F84jNNgA2
3 1960 Infinity nets 73x91.1
https://www.artsy.net/artwork/
yayoi-kusama-infinity-nets-1960-1
4 1992 Pumpkin (Yellow T) 72.3x60.4
https://www.artsy.net/artwork/
yayoi-kusama-pumpkin-yellow-t
5 1988 Petals 53x45
https://www.phillips.com/detail/
yayoi-kusama/UK010612/143
6 1988
Waves on the
Hudson River
45.5x38
https://www.mutualart.com/Artwork/
Waves-on-the-Hudson-River/
3D6A54B3E798DCD0
7 2009
Night Ripples
[TOWSS]
130.3x162
https://www.roslynoxley9.com.au/
artwork/yayoi-kusama-
night-ripples-towss-0/33-14041
8 2006 A Flowing River 162x130.3
https://www.roslynoxley9.com.au/
exhibition/selected-works-
silkscreens/vyft4
9 1953 Waves 26.4x33
http://www.artnet.com/artists/
yayoi-kusama/waves-
W2Lf-D1xCrZ_Wy1IEBlFrg2
10 1960
Yellow net
(Infinity)
240x294.6
https://www.nga.gov/collection
/art-object-page.124183.html
11 2011 Infinity nets LNXA 97x130.3
https://www.phillips.com/detail/
YAYOI-KUSAMA/UK010612/139
12 1986 Mountain country 38x45.7
http://www.barbaramathesgallery.
com/exhibition/yayoi-kusama-
from-here-to-infinity/selected-works/3
13 1992
The sky in the
evening glow
(Red rain)
161.9x227.3
https://guyhepner.com/product/
rain-evening-glow-yayoi-kusama/
14 1988 Passage of the wind 53.3x45.7
https://www.artsy.net/artwork/
yayoi-kusama-passage-of-the-wind
15 2011 Red dots 100x100
https://www.christies.com/
lotfinder/Lot/yayoi-kusama-b-1929-
red-dots-6191623-details.aspx
Table 1: List of Yayoi Kusama’s art works used in this investigation, part I.
Paint Year Name Size Source
16 2017
I want to live
forever
194x194
https://www.cobosocial.com/dossiers/
yayoi-kusama-a-dot-in-the-universe/
17 2009
Standing on the
riverbank of my
hometown
145.5x112
https://www.victoria-miro.com/
exhibitions/427/works/f05e6aa9496d58
18 2007
Birth, Ageing,
Sickness and Death
[QXPAT]
130.3x162
https://ocula.com/art-galleries/
victoria-miro-gallery/artworks/
yayoi-kusama/birth-ageing-
sickness-and-death-qxpat//
19 2014
Infinity dots
(EFY)
130.3x97
https://ocula.com/art-galleries/
victoria-miro-gallery/artworks/
yayoi-kusama/infinity-dots-(efy)
20 2014
Infinity-Dots
[HOFS]
130.3x97
https://ocula.com/art-galleries/
victoria-miro-gallery/artworks/
yayoi-kusama/infinity-dots-hofs/
21 1994 Yellow threes 162.1x390
https://www.fronterad.com/
yayoi-kusama-una-delicada-locura/
22 2008
Infinity nets
[OWTWQB]
162x130.3
https://ocula.com/art-galleries/
roslyn-oxley9/artworks/yayoi-kusama/
infinity-nets- owtwqb/
23 1991 The Galaxy 61x91.4
https://www.phillips.com/detail/
yayoi-kusama/NY010117/20
24 2009
Late night Chat
is Filled with
Dreams
162x162
http://amorartinfo.blogspot.com/2012/08/
yayoi-kusama-un-mundo-de-pesadillas.html
25 2001
When the soul
bursts into flames
82x62.5x21
https://www.roslynoxley9.com.au/
artists/49/ YayoiKusamaYayoi_{K}usama/516/39817/
26 1967 Untitled 101.6x127
https://www.artsy.net/article/
artsy-editorial-6-works-explain-yayoi-
kusamas-rise-art-stardom
27 2013 Infinity Nets PEAA 100X100
https://www.artsy.net/artwork/
yayoi-kusama-infinity-nets-peaa
28 1967 Untitled 40.6x45.7
https://ackland.org/files/2020/04/
Kusama-Exhibition-Text-and-Images.pdf
29 2014 All the eternal love 194x194
https://www.briefltd.com/yayoi-kusama/
30 2010 Endless life of people 40.6x40.6
https://www.artsy.net/artwork/
yayoi-kusama-endless-life-of-people-6
Table 2: List of Yayoi Kusama’s art works used in this investigation, part II.