Abstract
A spectral geometry utility awareness, with specific reference to isospectralisation and art painting analytics, is permeating the academy today, with special interest in its ability to foster interfaces between a range of analytical quantitative disciplines and art, exhibiting popularity in, for example, computer engineering/image processing and GIScience/spatial statistics, among other subject areas. This paper contributes to the emerging literature about such mathematized interdisciplinarities and synergies. It more specifically extends the matrix algebra based 2-D Graph Moranian operator that dominates spatial statistics/econometrics to the 3-D Riemannian manifold sphere whose analysis the general Graph Laplacian (i.e. Laplace-Beltrami) operator monopolizes today. One conclusion is that harmonizing the use of these two operators offers a way to expand knowledge and comprehension. Another is a continuing demonstration that the understanding and analysis of art sculptures dovetails with mathematics-art studies.
Acknowledgements
Daniel A. Griffith is an Ashbel Smith Professor of Geospatial Information Sciences.
Disclosure statement
No potential conflict of interest was reported by the author(s).
Statements and declarations
The author did not receive support from any organization for this work. The author further certifies that he has no affiliations with or involvement in any organization or entity with any financial or non-financial interest in the subject matter or materials discussed in this paper. Finally, the datasets generated and/or analyzed during the study summarized in this paper are available from the corresponding author by reasonable request; a number of the source datasets also are retrievable from online depositories cited in this paper.
Notes
1 The spatial statistics/econometrics literature notation almost universally symbolizes this matrix with C, and its row-standardized Laplacian companion with W.
2 The Laplace-Beltrami operator based upon an unbounded equilateral triangle mesh essentially is a scalar multiple of this Laplacian matrix (Xu, Citation2004; Wu et al., Citation2010).
3 They disagree about the spatial autocorrelation portrayal of numerous regular square tessellation eigenvectors, based upon either a rook or a queen definition of adjacency, both of which extract exactly the same eigenvectors.
4 See https://github.com/alecjacobson/common-3d-test-models, https://github.com/MPI-IS/mesh/blob/master/data/unittest/sphere.obj, https://cims.nyu.edu/gcl/datasets.html, https://www.cs.cornell.edu/courses/cs4620/2015fa/assignments/a1/a1mesh.html, https://people.sc.fsu.edu/~jburkardt/data/obj/obj.html, http://graphics.stanford.edu/data/3Dscanrep/, https://www.cs.cmu.edu/~kmcrane/Projects/ModelRepository/, https://github.com/yig/graphics101-meshes/tree/master/examples, and https://archive.lib.msu.edu/crcmath/math/math/t/t200.htm.
5 Many digitized surfaces are too large, with many tens- or hundreds-of-thousands, or millions of vertices (e.g. bunny, n = 35,947; https://github.com/alecjacobson/common-3d-test-models/blob/master/data/stanford-bunny.obj), for convenient exploratory work. Others do not constitute a single complete graph, being composed of several subset graphs; e.g. the following 3-D digitized teapot retrieved from the internet consists of a handle-pot-spout (6,072 vertices and 12,151 triangles) and a disconnected lid (1,778 vertices and 3,552triangles):
A merged operator for the two distinct complete graphs interlaces their eigenfunctions, compromising Riemannian manifold reconstruction using eigenvectors.
6 GR = α – [(n–1)/n] MC (Griffith, Citation1993, p. 23) E(GR) = E(α) – [(n–1)/n E(MC) [substituting the well-known quantities for E(GR) and E(MC)] 1 = E(α) – [(n–1)/n][–1/(n–1)] E(α) = (n–1)/n, where E denotes the expected value operator. E(α), the same initial coefficient of MC, asymptotically converges on 1.
7 For example, Figure entries allude to the following curve-fitting approximations, calculated with nonlinear regression, where the pseudo-R2 is the squared correlation between predicted and observed values (e.g. Christensen, Citation2007):
Figure d: λGR ≈ 0.68 + 1.19[LN(1.31 – λMC)/ (1.01 + λMC)1.78][1 + 1.51λMC – 0.98] , pseudo-R2 = 0.9977, where the noninteger exponent 1.78 merits further study to determine whether or not it has some specific meaning (it seems to seek to account for the two plotted outlier values positioned in the upper left corner of Quadrant II),
Figure e: λGR ≈ 0.94 – 3.80λM + 0.51 – 0.37, R2 = 0.9920,
Figure f: λGR ≈ 1.32 + 0.36LN(1.52 – λMC) – 1.19LN(1.52 + λMC), pseudo-R2 = 0.9990,
Figure g: λGR ≈ 1.542 + 0.63LN(2.02 – λMC) – 1.41LN(2.02 + λMC), pseudo-R2 = 0.9996,
Figure h: λGR ≈ 1.65 + 0.76LN(2.30 – λMC) – 1.56LN(2.30 + λMC), pseudo-R2 = 0.9996,
Figure i: λGR ≈ –3.83 + 2.91LN(4.90 – λMC) – 0.24LN(0.55 + λMC), pseudo-R2 = 0.9999,