# Evaluation Algorithm of Root Canal Shape Based on Steklov Spectrum Analysis.

1. IntroductionIn recent years, imaging technology represented by 3D digital geometry technology has widely been used in the medical field. The 3D model can display critical information such as the three-dimensional topological structure, geometric information, and anatomical structure of the lesion more intuitively. It lays a solid foundation for successive operations, such as simulating the operation, human-computer interaction, quantitative morphometry, and telemedicine [1]. Researchers have paid more and more attention to the issues of segmentation, registration, difference evaluation, and classification retrieval of 3D medical models. With the popularity of measurement tools represented by [mu]CT, the evaluation of anatomical structure before and after root canal preparation has become a hot topic in medical imaging [2-9].

The root canal is the part of the cavity in the middle of the tooth. The upper part of the cavity is broad, called the pulp cavity, and the lower part has a tubular structure from which the blood vessels of the dental nerve and the nutrient nerve are derived, as shown in Figure 1. In [10], Vertucci investigated 2,400 permanent teeth and categorized them into eight types. He studied the morphology and root canal of adult and established the evaluation criteria of treatment difficulty. From the point of view of dental anatomy, root canal cleansing and complete obturation with an inert filling material are very necessary when the root canal morphology of teeth is affected. Root canal therapy generally consists of three stages: root canal preparation, root canal disinfection, and root canal obturation. Root canal preparation is the critical step for root canal obturation therapy, including root canal cleaning and formation. Before root canal preparation, the location, length, shape, and number of root canal orifices need to be determined. Under the guidance of the dental operating microscope, ultrasonic root canal files and trumpet hand files are used to probe the root canal to the apical orifice. Root canals with small or blocked root canals should be cleaned and dredged with ethylenediaminetetraacetic acid (EDTA) or other solutions. Infected dentin should be removed and sterilized by root canal instruments to facilitate root canal obturation. The prepared root canals should contain the original root canal shape, retain the narrow part of the apex, and form the taper from the coronal to apical [3].

To improve the effect of root canal therapy, various root canal preparation systems have been developed to maintain the original morphology of root canal anatomy (including using different instruments and cooperating with different solutions to eliminate the smear layer of the root canal wall). The results before and after the operation among groups were tested by the significance test, such as Mann-Whitney U test [3,6,7,9]. With the development of medical imaging measurement technology such as CT, more and higher resolution image data can be collected, which boost more accurate instrument evaluation. [mu]CT is a nondestructive 3D imaging technology, which can clearly understand the internal microscopic structure of the sample. Hammad et al. [11] compared various instruments and considered that the root canal measurement results of the [mu]CT are consistent with the actual results. Kierklo et al. [6] evaluated the root canal preparation operation based on 2D data; that is, the cross-sectional images collected by the [mu]CT were compared before and after preparation. In [12], 3D models were reconstructed from images, and the volume and area of the model were used to evaluate the effect of preparation among different systems.

In the field of medical imaging, many studies of therapy evaluation are based on the idea of registration before comparison. As far as root canal models are concerned, there were many changes in the models before and after treatment, so the rigid registration method is unsuitable. The nonrigid registration method mainly includes two approaches based on geometric features or image statistics. Both of the two ideas need to extract features or statistical information from the model for registration. However, in most cases, it is difficult to obtain features accurately when the feature extraction is carried out between different models, or when the feature points are not distinct, and always accompanied by outliers. The outliners probably present immense barriers to the subsequent registration algorithm. Moreover, the geometric characteristics and the topology of the root canal model may change before and after preparation. It is also challenging to apply the idea of nonrigid registration to root canal preparation assessment.

Orstavik [3] summarized the evaluation methods of root canal shaping ability of various instruments, including X-ray parallel projection, Bramante model, cross-sectional section method, CT, and [mu]CT methods. The ideas of these methods are to obtain the volume, surface area, and transportation of root canal axis before and after preparation by integrating the slice images [13,14]. Specific methods are as follows:

(1) Divide teeth with high h into N equal parts at the interval of [delta] = h/N, then get images [{[I.sub.i]}.sup.N.sub.1]

(2) Measure the cavity area [S.sub.i] and the perimeter of the cavity of the root canal [l.sub.i] in [I.sub.i]

(3) Calculate the total surface area with S = [[summation].sup.N-1.sub.i=1] [delta][l.sub.i]

(4) Calculate volume with V = [[summation].sup.N.sub.i=1] [delta][S.sub.i]

(5) The deviation of the root canal center and the average distance of each cross-sectional cavity are calculated, respectively, after registration, as shown in Figure 2

Existing methods of root canal preparation evaluation have obvious drawbacks. First, the differences in permeability and taper of different root canals were submerged behind a single geometric quantity, which cannot distinguish the root canals with similar volume and significant shape difference (shown in Figure 3). Second, the overall geometry and complex topological structure of root canals are not taken into account. Third, the cavity morphology before and after treatment is often not considered. A large extent of transformation (irregular to ellipsoid-like) occurs, which may cause intolerable errors in both rigid and nonrigid registration algorithms.

Every root canal has its own individual shape. Accurate knowledge of the canal anatomy is a prerequisite for effective endodontic treatment [15,16]. At present, the evaluation of the various instruments in root canal therapy is generally based on reexamining the volume percentage of the void (POV) of the root canal. This method typically requires a more extended period and cost. Therefore, by measuring the model of root canal preparation, defining the "distance" between the shapes and calculating the distance between the current root canal and the idealized root canal according to the criteria conducive to the subsequent root canal obturation, it will be helpful to improve the efficiency of this work.

For the first time in [17], the method of studying geometric shape based on the spectrum was proposed. The paper answered the question of how much about the shape can be inferred from the knowledge of its geometry spectrum. By calculating the shape spectrum {[[lambda].sub.i]} and its eigenfunction {[[phi].sub.i]} as shown in Figure 4, the shape surface can be uniquely determined and vice versa in ordinary cases.

In recent years, with the development of 4G/5G technology and CT technology, as well as the unprecedented expansion of the accuracy and breadth of medical 3D data acquisition, more and more researchers pay attention to the massive data of medical geometry. On the contrary, the shape analysis paradigm, theory, and practice based on the geometric spectrum have gradually become a research hotspot [18-21]. Based on the works, the author proposed a novel method based on the geometric spectrum for root canal preparation treatment.

The spectrum of differential operator contains rich geometric and topological information of the shape, including curvature, area, and genus. The LBO spectrum and Steklov spectrum have the characteristics of independent of the coordinate system and scale. Although in rare high-dimensional manifolds, there may be different shapes sharing the same spectrum. However, in low-dimensional manifold cases (such as root canals), the geometry of the shape can be uniquely determined by its spectrum. The traditional shape spectrum is based on the intrinsic description of the Gauss curvature, which has an insufficient perception of concavity, convexity, and volume of shape, while the application of shape-based extrinsic geometric spectrum, such as Steklov spectrum, is increasing. It has gradually become a research hotspot [22-26].

In this work, we consider the problem of the root canal shape evaluation and investigate its relevance in a selection of literature from medical image and graphics. We propose a shape-aware evaluation method which is a precise evaluator for comparing different root canal preparation systems. Our key contributions can be summarized as follows:

Firstly, despite being highly nonlinear and hard to compute, we indicate for the first time that the mapping between a 3D model of the root canal and its Steklov spectrum is addressable with modern mathematical tools

Secondly, for the first time, an evaluation method of root canal shape based on an ideal root canal model is proposed, and an algorithm for generating an ideal root canal model is given

At last, we evaluate the root canal preparation effect by defining the reasonable distance depending on the histogram of the Gaussian curvature and the Steklov spectrum of root canal models

2. Related Research

In recent years, more and more attention has been paid to the evaluation method of therapy based on 3D model reconstruction from data collected by [mu]CT. The high-resolution characteristics of [mu]CT make it widely used in small-scale medical in vivo research. In [27], synchrotron radiation microcomputed tomography (SR[mu]CT) was evaluated concerning the 3D morphology of the rat spinal cord microvasculature. In [28], Wang et al. used parallel programming techniques to accelerate existing image reconstruction algorithms for 3D optoacoustic tomography. In [29], Kobayashi-Velasco et al. compared conebeam computed tomography (CBCT) with periapical radiograph (PR) in the diagnosis of alveolar and root fractures.

Also, more and more applications of [mu]CT in the evaluation of root canal therapy have been made. The purpose of root canal preparation is to clear the infected root canal anatomical space. Under ideal conditions, on the premise of keeping the centerline unchanged, the inner wall of the root canal should all be processed, and a better taper can be obtained to facilitate subsequent obturation. According to the different geometry of root canal preparation, the evaluation methods of root canal preparation can be divided into two categories.

The first category focuses on volume and area changes before and after root canal preparation. In [10], the root canal was segmented into the coronal third, middle third, and apical third. Scanning electron microscopy (SEM) was used to observe the removal of the smear layer; then the images before and after root canal preparation were calculated and compared, which was used to evaluate the therapy. In [4], the geometry of the root canals was described by three different mathematical models: the elliptical model, the 1-ring model, and the 3-ring model, and then a method for analyzing the geometric characteristics of root canals was realized. In [30], Berutti et al. compared the canal curvature and axis transportation after instrumentation with three different systems. In [31], the critical section images of the coronal third, middle third, and apical third before and after root canal preparation were analyzed and compared by several nickel-titanium systems. Anbu et al. [32] observed the efficacy of various technique to fill root canals using spiral computed tomography (SCT). Orhan et al. [2] used both [mu]CT and nano-CT to measure and analyze the volume ratio of filling voids at coronal third, middle third, and apical third and recommend that a voxel size of 11.2 [micro]m can be used as a reliable cutoff value in [mu]CT imaging.

The second category of the evaluation method focuses on the transportation of spatial centerline and the balance of periodontal dentin thickness. In [9,16], root canal deviation and central positioning (or transportation) ability were considered to be essential parameters for evaluating the quality of canal preparation. In [33,34], the thickness of the mesial and distal root canal wall was scanned and measured, respectively, and then the displacement and axial centrality of root canals in each group were calculated by using Gambill's formula. In in vivo cases, the coordinate systems of canal measured before and after the operation are not consistent in general. How to register the two root canals remains a problem to be solved. Because of the particularity of teeth, it is not feasible to use registration points in industrial scenes for registration.

There are two shortcomings in the above two methods: it significantly relies on knowledge and experience manipulators on understanding the geometry of the root canal. The accuracy and automation of the process are not high; the other is that the evaluation based on local sampling lacks a global shape assessment method suitable for subsequent obturation, so it is not conducive to accurately evaluate the quality of root canal preparation of various instruments.

3D shape comparison is a hotspot in the field of geometric analysis. In the field of manufacturing, it is often necessary to evaluate the accuracy of parts processing by shape comparison, such as blades and special-shaped bolts. In the medical field, the manufacture of porcelain fused to metal teeth and artificial bones also need to evaluate the difference of shape. In online massive shape retrieval scenarios, it is necessary to quickly match one or some kinds of shape according to certain retrieval conditions. In the interactive game industry, it is required to cluster and understand facial expressions. In [35], the mapping between two surfaces is expressed by the linear function map, and the difference between different shapes is evaluated by defining reference shapes. Fish et al. [36] introduced a meta-representation that represents the essence of a family of shapes. Handels and Hacker [37] extended the volume-based representation of organs to enable the 3D visualization of organs' shape variability in the atlas. In [38], a functional map between two shapes based on the multiscale Laplace-Beltrami operator (LBO) shape descriptor was proposed, and the difference between shapes was evaluated by the basis function family of the spectrum to avoid the NP-hard problem of the registration algorithm. In [39], the comparative shapes were embedded in canonical domains and evaluated.

Shape comparison methods can be categorized into three types: first, the corresponding relationship between shapes is established, and then the geometric comparison is made; the other is to compress the geometric and topological information of three-dimensional image into a scalar, i.e., shape similarity, by using some global or local shape descriptors; and the third is to evaluate the shape difference by defining a specific norm from the global perspective, such as [40]. These shape descriptors are all shape descriptors based on intrinsic geometry or geodesic equidistant transformation invariant. However, the intrinsic description of shape, such as the LBO spectrum, is unable to distinguish concave and convex shapes (Figure 5). The conicity, concavity, and convexity of root canal shape and the overall permeability are the key factors to evaluate the effect of treatment. Therefore, the extrinsic shape descriptor, which can capture volume difference, is suitable in the scenario. According to [41,42], the spectrum of the Steklov operator mapping the Dirichlet boundary to Neumann boundary is precisely extrinsic.

The problem of calculating the spectrum of the Steklov operator of shape is generally transformed to solving the boundary value problem of the partial differential equation (PDE). Because of the complexity and discontinuity of the boundary, it is almost impossible to obtain the analytic solution. Therefore, finding the weak solution of the equation is the only feasible choice. Solving the PDE on the discrete point cloud model by the spectral method is an effective way to improve the accuracy and convergence speed. The basic idea is to map the original PDE to an integral equation. By using the orthogonal and recursive formulas of the basis function, the weak solution problem of PDE is simplified to an integral equation and then converted to the eigenvalue problem of linear equations [43]. Therefore, the main obstacle is to select a fast convergent of the basis function family to calculate the shape spectrum for the root canal as a specific boundary condition.

The main contribution of this study is to overcome the shortcomings of the previous methods of evaluation of root canal preparation by surface area, volume, or eccentricity thickness of the central line. Based on strict mathematical theories, the proposed methods for comparing shape differences are given in terms of conicity, permeability, and smoothness of the whole root canal. This method does not require the establishment of calibration points for the shape of the root canal. This thought avoids the precondition that two shapes must share the same topological structure in previous algorithms and is very suitable for the shape comparison of the root canal. It also breaks through the problems of different CT sampling rates and inconsistent coordinates of in vivo data acquisition and evaluates root canal preparation more accurately and comprehensively.

3. Theoretical Analysis

3.1. Main Idea. Thanks to the excellent characteristics of the Steklov spectrum in describing concave and convex shapes and volume changes and its robustness in the calculation, the authors propose an algorithm of root canal treatment evaluation based on the shape difference of the Steklov spectrum. The overall idea is as follows:

(1) Firstly, the 3D models before and after root canal preparation [M.sub.0] and [M.sub.1] were acquired by [mu]CT.

(2) To synthesize the changes of a cross section of M0 and [M.sub.1] at the same height, the key cross section was selected, and the ideal root canal model [[??].sub.1] was generated by lofting.

(3) Calculate the Steklov shape spectrum of [M.sub.1] and [[??].sub.1], and then get the eigenvalues {[[lambda].sub.i]} and {[[mu].sub.j]}.

(4) Define the spectral distance Steklov spectrum discrete (SSD) to evaluate the difference. The distance is used to measure the shape difference between [M.sub.1] and [[??].sub.1] so as to evaluate the quality of root canal preparation.

3.2. Mathematical Model of the Steklov Spectrum. In the three-dimensional Euclidean space, the Steklov eigenvalue problem is defined as follows.

Let [OMEGA] [member of] [R.sup.3] be a compact Riemannian manifold, whose boundary [SIGMA] = [partial derivative][OMEGA] satisfies the Lipschitz condition. The Steklov equation is used to find the harmonic function u (x) and real number [lambda] [not equal to] 0. The Steklov problem on [OMEGA] is

[mathematical expression not reproducible], (1)

where [DELTA] = [[summation].sup.3.sub.i=1] [[partial derivative].sup.2]/[partial derivative][x.sup.2.sub.i] is the Laplace operator on functions on [OMEGA] and [partial derivative]u(x)/[partial derivative][??] is the outward derivative along [SIGMA]. In the second equation in equation (1), it can be interpreted as an eigenvalue problem that transforms the Dirichlet boundary condition into the Neumann boundary condition. It maps function f [member of] [C.sup.[infinity]]([SIGMA]) to Df = [[partial derivative].sub.n](Hf) [member of] [C.sup.[infinity]]([OMEGA]):

D : f [right arrow] [[partial derivative].sub.n](Hf), (2)

where D is the elliptic pseudodifferential operator of order one. Hf is the harmonic extension off on [OMEGA] and extends smoothly from the boundary to the interior of [OMEGA] [44,45]. The eigen-functions {[[phi].sub.1], [[phi].sub.2], ...,} corresponding to the eigenvalues constitutes the orthogonal basis in [L.sup.2]([SIGMA]) space. The trace of the eigen matrix formed by {[[phi].sub.i]} is closely related to the intrinsic geometry and the extrinsic geometry of the shape itself.

Let Tr([e.sup.-tD]) be the heat kernel of the operator [e.sup.-tD]: f [right arrow] u for the heat equation [[partial derivative].sub.t]u + Pu = 0, when t [right arrow] [0.sup.+], and there is an asymptotic expansion of Tr([e.sup.-tD]) [46]:

[mathematical expression not reproducible]. (3)

The coefficients [a.sub.0], [a.sub.1], ..., [a.sub.n-1], as well as [b.sub.0], [b.sub.1], ..., [b.sub.n-1], are the Steklov heat invariants which are determined by the Steklov spectrum. According to [26], when n = 3 and [OMEGA] [member of] [R.sup.3],

[a.sub.0](x) = 1/2[pi], (4)

[a.sub.1](x) = [K.sub.H](x)/4[pi], (5)

where [K.sub.H](x) is the mean curvature at x.

[a.sub.2](x) = 1/16[pi]([K.sub.H](x) + [R.sub.M](x)/6), (6)

where [R.sub.M](x) is the Gaussian curvature of boundary [SIGMA].

From equations (3) to (6), it can be seen that the mean curvatures reflecting the intrinsic geometry and the Gaussian curvature of the extrinsic geometry are determined by the Steklov spectrum.

In summary, by calculating the eigenvalues and eigen-functions of the Steklov operators, the intrinsic geometry and extrinsic geometry of shape can be transformed into the spectrum space for research, and then shape difference evaluation can be carried out. Our thought is based on PDE, which obtains the whole geometric structure from the boundary, which is a powerful mathematical tool for medical CT imaging and geological exploration imaging [47].

According to the literature [48], the Steklov spectrum and LBO spectrum of shape are invariant in isometric transformation. Moreover, it has strong robustness for model downsampling, and even nonuniform sampling has better immune effect for topological noise. What is more, the conjugate gradient descent method can be used to solve the above spectrum problem, and the running speed of the algorithm does not depend significantly on the number of edges and faces. The Steklov spectrum has good accuracy even for degenerated irregular meshes. Therefore, it is very beneficial to realize the fast evaluation of root canal shape difference.

3.3. Discussion on the Numerical Solution of the Steklov Spectrum. The numerical solution of PDE boundary value problems for high-dimensional manifolds, and two-manifold with higher genus often falls into local minima or diverges, leading to calculation failure. A series of thresholds or carefully adjusted penalty functions were often needed to intervene manually. The 3D topology and geometry of root canals are relatively fixed (tree-shaped cavity), gradually thinning from top to bottom. Therefore, it is possible to avoid the shortcomings of the general algorithm and improve the automaticity and accuracy of the algorithm by thoroughly combining this priori knowledge. Thus, the design of a particular shape difference evaluation algorithm based on relatively fixed root canal topology will be based on the conicity, permeability, and smoothness of the whole root canal shape. The shortcomings of the previous local and single geometric evaluation method were broken through to provide a more scientific and comprehensive assessment method for root canal preparation effect. The calculation method is deduced as follows.

The numerical solution is based on potential theory. The potential theory is a robust basis for solving mathematical and physical equations by using the integral equation method. By using the linear superposition principle and fundamental solutions, various forms of integral expressions are obtained. Then, by solving the boundary, the purpose of solving the definite solution problem of the differential equation corresponding to the physical problem is achieved.

In this paper, the boundary element method is used to solve the Steklov eigenvalue problem. This method is different from the finite element method, the variational method, and the radial basis function method. It has the characteristics of simplicity, fast convergence, and high accuracy. It is very suitable for the case of complex internal structure and gridding [49]. The basic idea of the boundary element method is that first, the differential equation is transformed into a boundary integral equation. After that, the discrete quadrature method is used for numerical calculation. In solving the discrete matrix elements of the integral equation, the solution needs to be obtained by a singular integral. In this paper, after derivation, the asymptotic expansion of the odd order can be obtained. When the accuracy can be achieved, the convergence speed of the eigenvalue problem can be significantly improved. At the same time, a posterior error estimate can be obtained based on residual estimation [50].

According to the potential theory of the differential equation, when y is a nonsingular point on [SIGMA], the Steklov eigenvalue problem can be converted to the following integral equation with the Green formula [51]:

1/2 u(x) = -[[integral].sub.[SIGMA]] [partial derivative]h(x, y)/[partial derivative][n.sub.y] u(y)d[s.sub.y] + [[integral].sub.[SIGMA]] h(x, y)v(y)d[s.sub.y], (7)

where v(x) = [partial derivative]u(x)/[partial derivative][n.sub.x] and [U.sup.*](y, x) = 1/(4[pi][absolute value of x - y]) is the fundamental solution of the following equation:

([L.sub.y]G)(x, y) = [[delta].sub.0](y - x), for x, y [member of] [R.sup.3]. (8)

Thus, the Steklov eigenvalue problem is transformed into the boundary element numerical calculation problem. The first term on the right-hand side of equation (7) is the double-layer potential, the second term is the single-layer potential, and the corresponding density functions are -u(y) and v(x).

According to the continuity of single-layer potential on the boundary, equation (7) still holds for x [member of] [SIGMA]. According to the discontinuity of the single-layer potential derivative and the nature of double-layer potential, the following relations can be obtained:

[partial derivative]u/[partial derivative]n = [V.sup.-1]([lambda]I + K)u, (9)

where V: [H.sup.1/2]([SIGMA]) [right arrow] [H.sup.1/2]([SIGMA]) is the single-layer potential operator.

(Vw)(x) = [[integral].sub.[SIGMA]][U.sup.*](x, y)w(y)d[s.sub.y], (10)

where [U.sup.*](y, x) = 1/(4[pi][absolute value of x - y]) is the fundamental solution of [DELTA]u(x) = 0. The integral operator V maps the density function w(x) to the potential distribution on [SIGMA].

K is the double-layer potential as follows:

u(x) = (Kv)(x) := [[integral].sub.y[member of][SIGMA][absolute value of y-x][greater than or equal to][epsilon]] [partial derivative][U.sup.*](x, y)/[partial derivative][n.sub.y] v(y)d[s.sub.y]. (11)

Since the right-hand side of equation (9) is not necessarily a positive definite matrix after being discretized into a matrix, the conjugate gradient method cannot be used to calculate its eigenvalues. According to [51], equation (9) can be transformed into another eigenvalue problem with the same solution through the Calderon projection:

[partial derivative]u(x)/[partial derivative]n = [D + ([sigma](x)I + [K.sup.*])[V.sup.-1]([sigma](x)I + K)]

x u(x) = [lambda]u(x), for x [member of] [SIGMA], (12)

[mathematical expression not reproducible], (13)

for almost x [member of] [SIGMA], [sigma](x) = 0.5 [51].

In equation (12), D is a hypersingular operator which is defined as

(Dv)(x) := -[[integral].sub.[SIGMA]] [[partial derivative].sup.2][U.sup.*](x, y)/[partial derivative][n.sub.x][partial derivative][n.sub.y] v(y)d[s.sub.y]. (14)

[K.sup.*]: [H.sup.-1/2]([SIGMA]) [right arrow] [H.sup.-1/2]([SIGMA]) is the adjoint double-layer potential, which is defined as the conormal derivative of V:

([K.sup.*]w)(x) = [[integral].sub.[SIGMA]] [partial derivative][U.sup.*](x, y)/[partial derivative][n.sub.x] w(y)d[s.sub.y]. (15)

The potential functions discussed above are integral operators, which are defined in both continuous space and infinite-dimensional function space. However, the root canal model is discretized, so these boundary operators should be further discretized into corresponding matrices which is discussed in Section 4.

3.4. Constructing an Ideal Root Canal Model as a Benchmark. The ideal model serves as a benchmark for the evaluation of preparatory effect. For clearing the inner wall of the root canal, facilitating subsequent obturation and minimizing the transportation of centerline of the root canal, the prepared root canals should have the following criteria:

(1) The central axis should be consistent with the original one

(2) The new cross section should be enlarged evenly on the basis of the old one to ensure that all the inner walls are treated evenly

(3) The volume of the cut inner cavity should be as small as possible on the premise of satisfying Step (2)

(4) The transition between sections should be as smooth as possible

Based on the four criteria, the second result is better than the first result in Figures 6(d) and 6(e).

Since most of the sections are nearly circular, we propose an ideal algorithm of root canal model generation based on the ideal inner diameter. The constructing steps are as follows:

(1) Assuming that the height of the root canal is h, a root canal is divided into three segments: coronal, middle, and apical from top to bottom with heights [h.sub.c], [h.sub.m], and [h.sub.a], respectively. For the coronal segment, three sections are intercepted at three heights of ([h.sub.c]/3) - a, ([h.sub.c]/3) and ([h.sub.c]/3) + a (a = 0.05[h.sub.c]). Also in the middle and apical segments, three sections each are intercepted in the same way as in coronal's. A total of three groups of 9 sections [{[S.sup.c.sub.i]}.sup.3.sub.i=1], [{[S.sup.m.sub.j]}.sup.3.sub.j=1], and [{[S.sup.a.sub.k]}.sup.3.sub.k=1] are obtained, and the set of boundary points of the sections are [{[P.sup.c.sub.i]}.sup.3.sub.i=1], [{[P.sup.m.sub.j]}.sup.3.sub.j=1] and [{[P.sup.a.sub.k]}.sup.3.sub.k=1] respectively.

(2) To calculate the ideal inner diameter of the section, the following formulas are used:

[r.sub.ideal](*) := [square root of (A(*)/[pi])], (16)

where A(*) represents the area of the given section.

(3) For each section, the average distance [bar.d](*) between the actual boundary and the ideal boundary is calculated by using the following formula:

[bar.d](*) := [[summation].sup.N.sub.i=1]([parallel][P.sub.m] - c(*)[parallel] - [r.sub.ideal](*))/N, (17)

where [p.sub.i] denotes the ith boundary point of the current section and c(*) is the barycentric coordinates of the boundary points of each section. N represents the number of boundary points of the current section. For each segment of the root canal, the cross section with the minimum [bar.d](*) is selected as the representative section of the segment. Obviously, when the section is circular, its [bar.d](*) equals zero exactly.

(4) In Step (3), the critical cross sections [S.sup.c], [S.sup.m], and [S.sup.a], of the three segments were obtained. The top section [S.sup.t] and the bottom section [S.sup.b] of the root canal can be achieved from the original model. The ideal root canal model can be generated by lofting in the order of [S.sup.t], [S.sup.c], [S.sup.m], [S.sup.a], and [S.sup.b].

4. Implementation of Algorithms

4.1. Spectrum Numerical Solution Algorithm. The potential operator is defined in infinite-dimensional function space, and the actual root canal model is a triangular mesh composed of finite points. In this paper, the Galerkin method is used to convert the continuous equation to weak form. Specifically, by defining the basis function, some constraints are imposed on the original function space [42]: finding [phi] [member of] [H.sup.d]([SIGMA]) in function space H, such as that for all u [member of] [H.sup.d]([SIGMA]), a([phi], u) = f(u) [member of] R, where a(*, *) represents a bilinear form, and it is also a bounded linear function. Therefore, for the weak form of single-layer [u.sub.n], it is expressed by a set of basis function {[e.sub.1], [e.sub.2], ..., [e.sub.n]}:

[u.sub.n] = [n.summation over (j=1)] a([e.sub.i], [e.sub.j])[u.sub.j]. (18)

Thus, the original integral problem on the whole boundary is transformed into the issue of solving weak form linear equations.

Let the discretized root canal model be M = (V, E, F). Substitute equation (18) into integral equations (equations (10), (11), (14), and (15)). These integral equations will be discretized into summation form and can be expressed in matrix form eventually.

Any piecewise linear hat function [[phi].sub.i]: [SIGMA] [right arrow] R on M equals one at their associated vertex and zero at all other vertices and is orthogonal at different subscripts. Therefore, any square integrable function [??] on M can be expressed as

[??] = [summation over (i)] [c.sub.i][[phi].sub.i], [c.sub.i] = [[integral].sub.[SIGMA]]<[[phi].sub.i], u>dx, [c.sub.i] [member of] R. (19)

Assume that w(x) [member of] [SIGMA] is the solution of

Vw(x) = f(x). (20)

Then, the weak form of equation (20) is

[<[phi], Vw>.sub.[SIGMA]] = [<[phi], f>.sub.[SIGMA]]. (21)

After [SIGMA] is discretized into the mesh M, w and f are also discretized into vectors , so the following linear system can be obtained:

Vw = Gf, (22)

where V = {[v.sub.ij]}, G = {[g.sub.ij]}, and

[mathematical expression not reproducible]. (23)

Similarly, the potential integral equations in equation (12) can be listed as a series of linear systems, namely,

D [right arrow] D = {[d.sub.ij]}, K [right arrow] K = {[k.sub.ij]}, [K.sup.*] [right arrow] [K.sup.*] = {[k.sup.*.sub.ij]}, (24)

where [d.sub.ij] is defined as

[mathematical expression not reproducible], (25)

and [n.sub.x] and [n.sub.y] denote the normal directions.

Also in equation (24), [k.sub.ij] is defined as

[mathematical expression not reproducible], (26)

where [k.sup.*.sub.ij] is defined as

[mathematical expression not reproducible]. (27)

From the above discussion, we then obtain that the Steklov eigenvalue problem on discrete meshes is

[D + (0.5I + [K.sup.*])[V.sup.-1] (0.5I + K)]u = [lambda]Gu. (28)

The matrices D, K, [K.sup.*], V, and G in equation (28) are symmetrical, and the summation and inverse matrices are symmetrical and positive definite matrices, which can be solved by using the conjugate gradient algorithm. Firstly, we rewrite equation (28) as follows:

[??][bar.U] - 0. (29)

In this paper, the PCG method is used to solve equation (29). The main idea is to transform the linear system (29) into equivalent functional optimization problems. In view of the convergence of the steepest descent method and the insufficiency of the conjugate gradient method depending on the distribution of eigenvalues, the incomplete Cholesky decomposition conjugate gradient (ICCG) method not only keeps the matrix sparse but also makes the preoptimized matrix approximate identity matrix. Therefore, the method accelerates the iteration process [52].

Assume that [L.sup.T]L is an approximate decomposition of A:

[??] = [L.sup.T]L + R, (30)

where R is a residual matrix and can be used to control the sparsity of L. Since the elements of L should ensure that the preoptimal matrix is effective, [L.sup.T]L is an approximate decomposition of A. This paper adopts the following strategies.

Referring to [53], if the element [[??].sub.ij] of [??] is not zero, then the element [l.sub.ij] of L is calculated with the complete Cholesky decomposition formula. Otherwise, if [[??].sub.ij] = 0, then let [l.sub.ij] = 0. After finding the incomplete decomposition of [??] (let L be nonsingular), [??] = [L.sup.T]L can be taken as the preoptimal matrix. Since L is not singular, [??] is symmetrically positive definite. Thus, the process of solving the linear system [??][bar.U] = 0 can be converted to solving the following two triangular matrix linear systems:

L[??] = 0, [L.sup.T][??] = [??]. (31)

In this work, heuristic strategies were used to detecting the convergence rate at different resolutions to determine the optimal sparse degree of the direction. The specific algorithm is as follows.

4.2. Root Canal Shape Evaluation Based on the Spectral Difference. In many kinds of literature, shape difference evaluation based on landmark points is the primary method, including geodesic distance based on point pairs and spectral distance based on point pairs. These methods require that there are well-matched points between two models to be compared, and registration is needed before comparison. Most of the shapes before and after root canal treatment have nonrigid deformation. It is almost impossible to find the corresponding points in the shape of the operation, so the above methods are not suitable for the problems studied in this paper.

In the related literature of shape differences, Ovsjanikov et al. [38] presented a novel representation of maps between pairs of shapes, and an energy measuring distortions induced by a map was defined on the function space to measure the difference of shapes. Huang et al. [54] proposed a pipeline for constructing an area-based shape difference operator on point clouds and showed numerically that the results are robust and informative.

Suppose the spectrum extracted from the two root canal models is [lambda] = {[[lambda].sub.i]} and [mu] = {[[mu].sub.i]}. A naive difference evaluation method is to calculate the Euclidean distance between [lambda] and [mu] as

[d.sub.s](M, [??]) = [[parallel][lambda] - [mu][parallel].sub.2]. (32)

However, the influence of different eigenvalues on shape is different since the first dozens of eigenvalues determined the shape.

Kac [17] proposed the spectral distance weighted by [i.sup.-1] but did not consider the influence factors of the regional characteristics of a specific shape.

Based on the spectral theory, we know that the low-frequency eigenvalue reflects the global geometry (that is, the high-frequency signal is cancelled in a flat place) and the high-frequency eigenvalue reflects the local geometry (resonance occurs at the end of the shape). This principle was used in document [19,21,55,56] to realize the interchange of gestures and details of multiple animated characters. Therefore, for each eigenvalue, its contribution to the difference between two shapes is proportional to the size of the variation range of the shape details. Intuitively, the curvature is the amount by which a geometric object such as a surface deviates from being a flat plane. The intensity of detail changes on the mesh can be quantified by the Gaussian curvature. The Gaussian curvature of the triangular mesh surface can be calculated by using the following formula:

[mathematical expression not reproducible], (33)

where x [member of] V and A(x) is the area of the 1-ring region centered on x. [[phi].sub.i] is the angle of one of the adjacent triangles. Examples of the Gaussian curvature are shown in Figure 7.

Accordingly, we propose a spectral difference evaluation algorithm based on Gaussian curvature statistical distribution. Suppose the mesh model of a root canal is M = (V, E, F), N (v) represent the number vertex in V. We select the first l eigenvalues in the spectrum to evaluate the shape difference. The spectral difference evaluation result d(M, N) can be calculated by using Algorithm 1.

Through the above algorithm, we can quantify the weight of the difference between two spectrums in the overall shape difference comprehensively. Therefore, we can get better experimental results.

5. Experiment and Results

Traditional evaluation indicators for the effectiveness of systems include volume and area difference, as well as the transportation of the root canal. In this paper, the conicity and permeability of root canals are evaluated from the spectral distance between shapes. To access the superiority of the algorithm, the accuracy and the robustness of the algorithm are evaluated.

5.1. Programming. This paper mainly deals with the numerical solution of the integral equation. The most crucial problem is to find the eigenvalues of a matrix, i.e., to solve large-scale sparse linear system. Therefore, we choose the popular eigen algorithm library to calculate. It provides a series of built-in solver libraries and encapsulates some external solver libraries, including LLT and LDLT used in this paper. The algorithm proposed in this paper was implemented through C++ programming with the hardware and software shown in Table 1.

5.2. Accuracy Evaluation

5.2.1. Comparison with LBO-Based Method. The Laplace-Beltrami operator is an intrinsic invariant operator whose spectrum also reflects the geometric and topological characteristics of some shapes, so it is often used for shape difference comparison, such as [57]. Most of the models processed by previous works are mesh models with low genus or high regularity. However, the mesh generated from the point cloud of the root canal obtained from [mu]CT is often of poor quality. Therefore, for some spectral methods with low robustness, there may be more problems in the aspect of accuracy.

In this paper, the Steklov spectrum method and LBO spectrum method are used to calculate three groups of root canal models, respectively, and the results are shown in Figure 8. Our algorithm has an apparent distinction between the apparent uneven root canal shape, the rough root canal, and the different topology, while the performance of the LBO method is not ideal. Therefore, we infer that our algorithm is more suitable for the root canal model with complex geometry and topology in these cases.

5.2.2. Comparison with Volume/Area Evaluation Method. Our method is to compare the prepared root canal with the idealized root canal and then calculate the overall geometric structure and topology. Shape difference based on the extrinsic spectrum accurately perceives the concavity and convexity of the shape. So our method is volume aware, area aware, and slice aware in real sense.

ALGORITHM 1: Shape evaluation based on spectral difference and Gauss curvature. (1) For all v in V (2) Calculate Gauss curvature k(x) (3) End for (4) Sort {k(x)}, then get [??] = [{[[??].sub.j]}.sup.N(x).sub.1], [m.sub.k] = [[??].sub.1] [less than or equal to] [[??].sub.2] [less than or equal to] ... [less than or equal to] [[??].sub.N(x)] = [M.sub.K]. (5) d [right arrow] ([M.sub.k] - [m.sub.k])/l (6) [I.sub.1] [union] [I.sub.2] [union] ... [union] [I.sub.i] [union] ... [union] [I.sub.l], where [I.sub.i] := [[m.sub.K] + (i - 1)d, [m.sub.K] + id] (7) For each [I.sub.i] (8) [r.sub.i] [right arrow] N([v.sub.i])/N(v), where [v.sub.i] = {v|K([v.sub.i]) [member of] [I.sub.i]} (9) End for (10) d [left arrow] 0 (11) For each [[lambda].sub.i] in [{[[lambda].sub.i]}.sup.l.sub.i] (12) d+ = [r.sub.i][([[lambda].sub.i] - [[mu].sub.i]).sup.2] (13) End for (14) d( M, N) [left arrow] d

To evaluate the comparative effect of SSD, we infer that the best root canal shape is the smallest distance from the ideal root canal shape in theory, and the best therapy result is obtained. In [32], spiral computerized tomography (SCT) was reported to be a useful tool in various in vivo and laboratory studies. It was concluded that with SCT, three-dimensional volume measurements are possible without sectioning specimens, thus avoiding loss of material.

Specifically, the comparative method is as follows: A total of 60 extracted first molars were allocated into three groups randomly. Each group was treated with one instrument, respectively. The effect of root canal preparation was evaluated by the literature [2,14,58], which was based on the percentage of void (POV). The lower the POV, the better the obturation effect.

The aim of this comparison is to assess the correctness of the volume and area evaluation method and our method. Statistical analysis was performed with ANOVA (Scheffe tests).

The results of experiments summarized in Table 2 show that there is no significant difference among the three groups of results obtained by the volume-based discriminant method, and the third group which is considered to be the best one is not consistent with the ground truth evaluation result. Therefore, the approach is considered to be unsuccessful.

The results obtained by the area-based discriminant method did not express a significant difference between the second and the third groups, and the best (second) group is also inconsistent with the ground truth evaluation result either.

The evaluation results of the SSD method have achieved good efficacy in two respects. First, only the SSD method is consistent with the ground truth evaluation result. Second, among the three methods, only SSD is capable of distinguishing the significant difference of System A from the other. Therefore, it can be concluded that the new method can evaluate the effect of root canal preparation comprehensively and accurately. Hence, the experiment achieves the desired purpose in the dataset.

5.3. Robustness Evaluation. In Figure 9, it shows an example of the robustness of our method to different sampling density. We compare the eigenvalues of a series of the root canal model with different resolution. It is observed that some geometric details in some regions are lost during the downsampling and the spectrum remains almost unaffected. According to the theory of the Steklov spectrum, the first dozens of eigenvalues and eigenfunctions are robust to downsampling for a mesh with 10k to 100k vertices. Moreover, the number of vertices is generally sufficient for shape difference evaluation.

6. Conclusions and Prospects

In this study, we addressed the problem of evaluating the operation result of a root canal by introducing a spectrum-based procedure called the Steklov spectrum distance, which measures the shape difference between the original shape and its ideal shape with its Steklov spectrum. We find it remarkable that the use of SSD simplifies the problem of evaluating the intrinsic and extrinsic difference between shapes, allowing to significantly improve the accuracy of standard pipelines comparing with the traditional volume-area literature. SSD appears to be a valuable tool to assess the efficacy of various root canal preparation systems.

Within the limitations of this study, one is that the error of SSD was seen in all groups, and it even diverges in the calculation of certain root canals. To solve these problems, we think that it can be optimized in two ways: one is to design a more expressive distance norm according to the specific shape of root canal; the other is to improve the numerical solution method of partial differential equation, using better presolver and matrix block parallel algorithm to improve the accuracy and efficiency of the algorithm. Another shortage to be improved is that, limited by the ^CT itself, this study can only be performed in vitro, rather than applied to direct clinical surgical evaluation. In the future, we will continue to consider the related research based on the data sources of high-speed acquisition of CT images in vivo.

https://doi.org/10.1155/2019/4830914

Data Availability

The reason why the authors choose not to disclose the data is that the research group is applying for patent at the same time, which may involve some intellectual property issues.

Conflicts of Interest

The authors declare that there are no conflicts of interest regarding the publication of this paper.

Acknowledgments

This work was supported by the National Science Foundation of China (nos. 51675106, 11772361, and U1601202) and by the Guangdong Provincial R&D Project (nos. 2018B090906002 and 2016A030308016).

References

[1] P. K. Saha, R. Strand, and G. Borgefors, "Digital topology and geometry in medical imaging: a survey," IEEE Transactions on Medical Imaging, vol. 34, no. 9, pp. 1940-1964, 2015.

[2] K. Orhan, R. Jacobs, B. Celikten et al., "Evaluation of threshold values for root canal filling voids in micro-CT and nano-CT images," Scanning, vol. 2018, Article ID 9437569, 6 pages, 2018.

[3] D. 0rstavik, "Obturation of root canals," in Endodontic Prognosis: Clinical Guide for Optimal Treatment Outcome, pp. 141-159, Springer, Berlin, Germany, 2017.

[4] M. Dannemann, M. Kucher, J. Kirsch et al., "An approach for a mathematical description of human root canals by means of elementary parameters," Journal of Endodontics, vol. 43, no. 4, pp. 536-543, 2017.

[5] A. Arias, F. Paque, S. Shyn, S. Murphy, and O. A. Peters, "Effect of canal preparation with TRUShape and vortex rotary instruments on three dimensional geometry of oval root canals," Australian Endodontic Journal, vol. 44, no. 1, 2017.

[6] A. Kierklo, Z. Tabor, M. Pawiiiska, and M. Jaworska, "A microcomputed tomography-based comparison of root canal filling quality following different instrumentation and obturation techniques," Medical Principles and Practice, vol. 24, no. 1, pp. 84-91, 2015.

[7] P. Murray, "Root canal obturation," in A Concise Guide to Endodontic Procedures, pp. 163-176, Springer-Verlag, Berlin, Germany, 2015.

[8] R. Gergi, N. Osta, G. Bourbouze, C. Zgheib, R. Arbab-Chirani, and A. Naaman, "Effects of three nickel titanium instrument systems on root canal geometry assessed by micro-computed tomography," International Endodontic Journal, vol. 48, no. 2, pp. 162-170, 2015.

[9] O. A. Peters and F. Paque, "Shaping the root canal system to promote effective disinfection," in Disinfection of Root Canal Systems, pp. 89-108, Wiley, Hoboken, NY, USA, 2014.

[10] F. J. Vertucci, "Root canal anatomy of the human permanent teeth," Oral Surgery, Oral Medicine, Oral Pathology, vol. 58, no. 5, pp. 589-599, 1984.

[11] M. Hammad, A. Qualtrough, and N. Silikas, "Evaluation of root canal obturation: a three-dimensional in vitro study," Journal of Endodontics, vol. 35, no. 4, pp. 541-544, 2009.

[12] Z. Metzger, R. Zary, R. Cohen, E. Teperovich, and F. Paque, "The quality of root canal preparation and root canal obturation in canals treated with rotary versus self-adjusting files: a three-dimensional micro-computed tomographic study," Journal of Endodontics, vol. 36, no. 9, pp. 1569-1573, 2010.

[13] A. M. Elnaghy and S. E. Elsaka, "Evaluation of root canal transportation, centering ratio, and remaining dentin thickness associated with ProTaper next instruments with and without glide path," Journal of Endodontics, vol. 40, no. 12, pp. 2053-2056, 2014.

[14] M. Stavileci, V. Hoxha, O. Gorduysus et al., "Evaluation of root canal preparation using rotary system and hand instruments assessed by micro-computed tomography," Medical Science Monitor Basic Research, vol. 21, pp. 123-130, 2015.

[15] B. Cleghorn, W. Christie, and C. Dong, "The root and root canal morphology of the human mandibular second premolar: a literature review," Journal of Endodontics, vol. 33, no. 9, pp. 1031-1037, 2007.

[16] C. Dobonagy, G. Keszthelyi, J. Szabo, P. Sulyok, G. Szabo, and J. Ledeczky, "A computerized method for mathematical description of three-dimensional root canal axis," Journal of Endodontics, vol. 26, no. 11, pp. 639-643, 2000.

[17] M. Kac, "Can one hear the shape of a drum?," The American Mathematical Monthly, vol. 73, no. 4, pp. 1-23, 1966.

[18] L. Cosmo, M. Panine, A. Rampini, M. Ovsjanikov, M. M. Bronstein, and E. Rodola, "Isospectralization, or how to hear shape, style, and correspondence," 2018, https://arxiv. org/abs/1811.11465.

[19] H. Laga, Y. Guo, H. Tabia, R. B. Fisher, and M. Bennamoun, 3D Shape Analysis: Fundamentals, Theory, and Applications, Wiley, Hoboken, NY, USA, 2018.

[20] K. Hildebrandt, C. Schulz, C. von Tycowicz, and K. Polthier, "Modal shape analysis beyond Laplacian," Computer Aided Geometric Design, vol. 29, no. 5, pp. 204-218, 2012.

[21] M. Reuter and M. Spagnuolo, "Discrete Laplace-Beltrami operators for shape analysis and segmentation," in Proceedings of the IEEE International Conference on Shape Modeling and Applications, Beijing, China, June 2009.

[22] A. Girouard and I. Polterovich, "Upper bounds for steklov eigenvalues on surfaces," Electronic Research Announcements in Mathematical Sciences, vol. 61, no. 19, pp. 77-85, 2017.

[23] W. Yu, M. Ben-Chen, I. Polterovich, and J. Solomon, "Steklov spectral geometry for extrinsic shape analysis," ACM Transactions on Graphics (TOG), vol. 38, no. 1, pp. 1-21, 2018.

[24] J. Liu, J. Sun, and T. Turner, "Spectral indicator method for a non-self adjoint steklov eigenvalue problem," 2018, https:// arxiv.org/abs/1804.02582.

[25] A. Girouard, R. S. Laugesen, and B. A. Siudeja, "Steklov eigenvalues and quasiconformal maps of simply connected planar domains," Archive for Rational Mechanics and Analysis, vol. 219, no. 2, pp. 903-936, 2016.

[26] I. Polterovich and D. A. Sher, "Heat invariants of the Steklov problem," The Journal of Geometric Analysis, vol. 25, no. 2, pp. 924-950, 2015.

[27] J. Hu, Y. Cao, T. Wu, D. Li, and H. Lu, "High-resolution three-dimensional visualization of the rat spinal cord microvasculature by synchrotron radiation micro-CT," Medical Physics, vol. 41, no. 10, p. 101904, 2014.

[28] K. Wang, C. Huang, Y.-J. Kao, C.-Y. Chou, A. A. Oraevsky, and M. A. Anastasio, "Accelerating image reconstruction in three-dimensional optoacoustic tomography on graphics processing units," Medical Physics, vol. 40, no. 2, Article ID 023301, 2013.

[29] S. Kobayashi-Velasco, F. C. S. Salineiro, I. O. Gialain, and M. G. P. Cavalcanti, "Diagnosis of alveolar and root fractures: an in vitro study comparing CBCT imaging with periapical radiographs," Journal of Applied Oral Science, vol. 25, no. 2, pp. 227-233, 2017.

[30] E. Berutti, G. Chiandussi, D. S. Paolino et al., "Canal shaping with waveone primary reciprocating files and ProTaper system: a comparative study," Journal of Endodontics, vol. 38, no. 4, pp. 505-509, 2012.

[31] J. Liu, J. Luo, L. Dou, and D. Yang, "CBCT study of root and canal morphology of permanent mandibular incisors in a Chinese population," Acta Odontologica Scandinavica, vol. 72, no. 1, pp. 26-30, 2014.

[32] R. Anbu, S. Nandini, and N. Velmurugan, "Volumetric analysis of root fillings using spiral computed tomography: an in vitro study," International Endodontic Journal, vol. 43, no. 1, pp. 64-68, 2010.

[33] O. A. Peters, A. Laib, P. Ruoegsegger, and F. Barbakow, "Three-dimensional analysis of root canal geometry by high-resolution computed tomography," Journal of Dental Research, vol. 79, no. 6, pp. 1405-1409, 2000.

[34] E. Berutti, D. S. Paolino, G. Chiandussi et al., "Root canal anatomy preservation of waveone reciprocating files with or without glide path," Journal of Endodontics, vol. 38, no. 1, pp. 101-104, 2012.

[35] M. Ovsjanikov, W. Li, L. Guibas, and N. J. Mitra, "Exploration of continuous variability in collections of 3D shapes," ACM Transactions on Graphics, vol. 30, no. 4, pp. 1-10, 2011.

[36] N. Fish, M. Averkiou, O. van Kaick, O. Sorkine-Hornung, D. Cohen-Or, and N. J. Mitra, "Meta-representation of shape families," ACM Transactions on Graphics, vol. 33, no. 4, pp. 1-11, 2014.

[37] H. Handels and S. Hacker, "A framework for representation and visualization of 3D shape variability of organs in an interactive anatomical atlas," Methods of Information in Medicine, vol. 48, no. 3, pp. 272-281, 2009.

[38] M. Ovsjanikov, M. Ben-Chen, J. Solomon, A. Butscher, and L. Guibas, "Functional maps," ACM Transactions on Graphics, vol. 31, no. 4, pp. 1-11, 2012.

[39] Y. Lipman and T. Funkhouser, "Mobius voting for surface correspondence," ACM Transactions on Graphics (TOG), vol. 28, no. 3, p. 72, 2009.

[40] R. M. Rustamov, M. Ovsjanikov, O. Azencot, M. Ben-Chen, F. Chazal, and L. Guibas, "Map-based exploration of intrinsic shape differences and variability," ACM Transactions on Graphics, vol. 32, no. 4, pp. 1-12, 2013.

[41] C. Canuto, M. Y. Hussaini, A. Quarteroni, and A. Thomas Jr., Spectral Methods in Fluid Dynamics, Springer Science & Business Media, Berlin, Germany, 2012.

[42] S. G. Mikhlin, Variational Methods in Mathematical Physics, American Institute of Physics, College Park, MD, USA, 1965.

[43] F. Auteri and L. Quartapelle, "Galerkin-Legendre spectral method for the 3D Helmholtz equation," Journal of Computational Physics, vol. 161, no. 2, pp. 454-483, 2000.

[44] M. Morse, "Harmonic extensions," Monatshefte Fur Mathematik, vol. 67, no. 4, pp. 317-325, 1963.

[45] G. Uhlmann, "Inverse problems: seeing the unseen," Bulletin of Mathematical Sciences, vol. 4, no. 2, pp. 209-279, 2014.

[46] P. B. Gilkey and G. Grubb, "Logarithmic terms in asymptotic expansions of heat operator traces," Communications in Partial Differential Equations, vol. 23, no. 5-6, pp. 777-792, 1998.

[47] H. Randolf, F. Theobald, and U. Norman, "X-ray based methods for non-destructive testing and material characterization," Nuclear Instruments and Methods in Physics Research Section A, vol. 591, no. 1, pp. 14-18, 2008.

[48] A. Girouard and I. Polterovich, "Spectral geometry of the Steklov problem," 2014, https://arxiv.org/abs/1411.6567.

[49] C. A. Brebbia, J. C. F. Telles, L. C. Wrobel, and S. Mukherjee, Boundary Element Techniques: Theory and Applications in Engineering, Springer-Verlag, Berlin, Germany, 1984.

[50] M. G. Armentano and C. Padra, "A Posteriori error estimates for the Steklov eigenvalue problem," Applied Numerical Mathematics, vol. 58, no. 5, pp. 593-601, 2008.

[51] O. Steinbach, "Boundary element methods," in Numerical Approximation Methods for Elliptic Boundary Value Problems, Springer, Berlin, Germany, 2008.

[52] G. H. Golub and C. F. Van Loan, Matrix Computations, Johns Hopkins University Press, Baltimore, MD, USA, 3rd edition, 1996.

[53] S. D. Matrix and N. J. Higham, "Analysis of the Cholesky decomposition of a semi-definite matrix," in Reliable Numerical Computation, pp. 161-185, Oxford University Press, Oxford, UK, 1990.

[54] R. Huang, F. Chazal, and M. Ovsjanikov, "On the stability of functional maps and shape difference operators," Computer Graphics Forum, vol. 37, no. 1, pp. 145-158, 2018.

[55] R. M. Rustamov, "Laplace-Beltrami eigenfunctions for deformation invariant shape representation," in Proceedings of the Fifth Eurographics Symposium on Geometry Processing, pp. 225-233, Barcelona, Spain, July 2007.

[56] M. M. Bronstein, "Intrinsic shape context descriptors for deformable shapes," in Proceedings of the Computer Vision and Pattern Recognition, pp. 159-166, Portland, OR, USA, June 2013.

[57] M. Reuter, F. E. Wolter, and N. Peinecke, Laplace-Beltrami Spectra as "Shape-DNA" of Surfaces and Solids, pp. 342-366, Butterworth-Heinemann, Oxford, UK, 2006.

[58] M. Naseri, A. Kangarlou, A. Khavid, and M. Goodini, "Evaluation of the quality of four root canal obturation techniques using micro-computed tomography," Iranian Endodontic Journal, vol. 8, no. 3, pp. 89-93, 2013.

Dongqing Wu, (1,2) Jian Gao [ID], (1) Xiaoli Hu [ID], (3) Zhengtao Xiao [ID], (1,4) Zhuwei Huang [ID], (3) Lanyu Zhang, (1) Xin Chen, (1) and Yunbo He (1)

(1) State Key Laboratory of Precision Electronic Manufacturing Technology and Equipment, Guangdong University of Technology, Guangzhou, 510006, China

(2) School of Computational Science, Zhongkai University of Agriculture and Engineering, Guangzhou, 510220, China

(3) Department of Operative Dentistry and Endodontics, Guanghua School of Stomatology, Hospital of Stomatology, Guangdong Provincial Key Laboratory of Stomatology, Sun Yat-Sen University, Guangzhou, Guangdong, 510055, China

(4) School of Electro-Mechanical Engineering, Guangdong Polytechnic of Industry and Commerce, Guangzhou, 510510, China

Correspondence should be addressed to Jian Gao; gaojian@gdut.edu.cn and Xiaoli Hu; huxiaol3@mail.sysu.edu.cn

Received 20 July 2019; Revised 29 August 2019; Accepted 4 September 2019; Published 3 November 2019

Academic Editor: Rafik Karaman

Caption: Figure 1: Root canal and dentin in the first premolar. (a) Root canal and dentin. (b) Left view. (c) Right view. (d) Four Dicoms for top to bottom.

Caption: Figure 2: Calculating volume and area from slice images. (a) Before canal preparation. (b) After canal preparation.

Caption: Figure 3: Five shapes with the same volume (intuitively, if shapes (a) to (d) were sorted from small to large in order of shape differences from the shape (e), the result is (c), (b), (a), and (d)).

Caption: Figure 4: Root canal and its eigenfunctions from the Laplace-Beltrami spectrum.

Caption: Figure 5: Inward and outward bumps on the cylinders.

Caption: Figure 6: Comparison of two results before and after root canal preparation. (a) Before preparation. (b) After preparation. (c) Compound root canal. (d) Result I at A-A (5x). (e) Result II at A-A (5).

Caption: Figure 7: An example of calculating the Gauss curvature of the root canal model.

Caption: Figure 8: Comparison of the Steklov spectrum and LBO spectrum of the root canal model. Yellow indicates the original root canal, and grey indicates the root canal after preparation in all graphs and charts.

Caption: Figure 9: Three root canal meshes represented with 10K (blue), 50K (red), and 100K (yellow) vertices share similar Steklov spectrums.

Table 1: Simulation environment. Hardware types Environment Info CPU Intel Core i7-3820QM CPU, 2.70 GHz dram DDR3 1600 MHz Hard drive 2.5" 7 mm 128 GB, 1TB, SCSI OS Microsoft Windows10 64 bit IDE Visual Studio 2012, C++ Interface design QT4.8 Dependency library VCGLIB/Meshlab 1.3/eigen3.0 Table 2: The evaluation comparison among volume method, area method, and our method for three systems (means [+ or -] SD, n = 20). System A Volume Mean volume of Before 3.68 [+ or -] 0.92 method root canal After 4.12 [+ or -] 0.29 ([mm.sup.3]) Diff. 0.44 (b) Area Mean area of Before 39 [+ or -] 3.2 method root canal After 37.2 [+ or -] 4.0 ([mm.sup.2]) Diff. -1.8 (a) Our Mean SSD of Before 5.9 [+ or -] 0.6 method root canal After 1.1 [+ or -] 0.2 (a) * Coronal 2.1 [+ or -] 0.4 (a) * Ground third truth Mean POV Middle 1.8 [+ or -] 0.2 (a) * result third Apical 3.5 [+ or -] 0.5 (a) * third System B Volume Mean volume of Before 5.02 [+ or -] 1.42 method root canal After 5.99 [+ or -] 2.01 ([mm.sup.3]) Diff. 0.89 (a) Area Mean area of Before 36.4 [+ or -] 3.3 method root canal After 34.9 [+ or -] 3.6 ([mm.sup.2]) Diff. -1.5 (a) Our Mean SSD of Before 6.5 [+ or -] 0.7 method root canal After 1.7 [+ or -] 0.3 (b) Coronal 3.8 [+ or -] 0.6 (b) Ground third truth Mean POV Middle 2.3 [+ or -] 0.5 (b) result third Apical 6.9 [+ or -] 0.8 (b) third System C Volume Mean volume of Before 4.18 [+ or -] 1.82 method root canal After 5.29 [+ or -] 1.12 ([mm.sup.3]) Diff. 1.11 (a) * Area Mean area of Before 33.6 [+ or -] 4.2 method root canal After 32.2 [+ or -] 3.2 ([mm.sup.2]) Diff. -1.9 (a) * Our Mean SSD of Before 7.8 [+ or -] 1.0 method root canal After 2.3 [+ or -] 0.3 (b) Coronal 2.9 [+ or -] 0.6 (b) Ground third truth Mean POV Middle 2.1 [+ or -] 0.5 (b) result third Apical 5.7 [+ or -] 0.9 (b) third Best Consistency with System performance ground truth system evaluation result Volume Mean volume of Before method root canal After System C F ([mm.sup.3]) Diff. Area Mean area of Before method root canal After System B F ([mm.sup.2]) Diff. Our Mean SSD of Before System A T method root canal After Coronal System A Ground third truth Mean POV Middle System A N/A result third Apical System A third * The minimum shape difference in three systems. Cells with the same letter in the superscript indicate no statistical significance between different instruments (ANOVA, Scheffe tests, P > 0.05).

Printer friendly Cite/link Email Feedback | |

Title Annotation: | Research Article |
---|---|

Author: | Wu, Dongqing; Gao, Jian; Hu, Xiaoli; Xiao, Zhengtao; Huang, Zhuwei; Zhang, Lanyu; Chen, Xin; He, Yun |

Publication: | Computational and Mathematical Methods in Medicine |

Geographic Code: | 9CHIN |

Date: | Nov 1, 2019 |

Words: | 10384 |

Previous Article: | Gastroscopic Panoramic View: Application to Automatic Polyps Detection under Gastroscopy. |

Next Article: | Molecular Subtypes Recognition of Breast Cancer in Dynamic Contrast-Enhanced Breast Magnetic Resonance Imaging Phenotypes from Radiomics Data. |

Topics: |