Paraxial Ocular Measurements and Entries in Spectral and Modal Matrices: Analogy and Application

Lensometers and keratometers yield powers along perpendicular meridians even if the principal meridians of the lens and the cornea are oblique. From each such instrument, multiple raw data represented on optical crosses require conversion to determine elementary statistics. Calculations for research decisions need to be authentic. Principles common to meridians generalize formulaic methods for oblique meridians. Like a lens or a cornea, matrix latent quantities are represented on a matrix cross. Our problem is to determine the matrix whose cross represents quantities on the optical cross. All measurements on an optical cross that include corneal and lens powers and oblique meridians can be considered. Once determined, a portfolio of matrix calculations applies and is justified for ophthalmic calculation. Matrices can be unique and, like a cornea before it is measured, contain latent observations. Asymmetric power component matrices quantify a deviation of a corneal surface from smoothness and toricity. Entries may identify those measurements causing irregular astigmatism that may stem from surgical or other external intervention. Irregular astigmatism is detected primarily from significant measurements in the paraxial range. Measurements are assimilated with matrix factors in a holistic way in order to support choices with calculations and statistics.


Introduction
Paraxial ocular measurements take on a format with standardized, clearly formulated rules for processing when represented by eigenvalues and eigenvectors of some array. Distinct principal powers and meridians, real or complex conjugate, are used to obtain a unique real array holistically. The reverse process determines eigenvalues and eigenvectors of a given dioptric power array that represent principal powers and meridians. From the equations that ensure unique arrays we show that coincident real principal powers can yield multiple arrays. On the small zone of the cornea sampled with a keratometer near an entrance pupil, we model the primary contribution to irregular astigmatism. We use matrix properties to show unequivocally how an angle not 90 ∘ and not 0 ∘ between meridians and the length of the interval of Sturm in dioptres are paraxial contributors to this effect.
Among other measurements, typical keratometric data are placed in a format to determine relevant statistics (impossible in the raw form). The paper is set within the context of linear optics and concerns only first-order effects.
An effective difference in the power along principal meridians of the refracting media will be detected as astigmatism in an eye. The refraction may be compensated along meridians of greater and lesser power, at right angles to one another for continuous surfaces. Powers along other meridians are then simultaneously offset except in cases where the continuity of the surface element is compromised. Greatest and least powers, called principal powers (initially assumed to be distinct) and the directions of their meridians from, say, a keratometer, are analogous to eigenvalues and eigenvectors of data arrays [1], respectively, (see numerical Example 2 and the optical cross in Figure 1). Matrices and their elements may be used to monitor continuity of paraxial surface elements and disclose information for all meridians. Matrices are compact and complete and represent heterogeneity particularly for oblique meridians on the cornea. Linear algebra in standard texts [2][3][4] is applied to fields that include medical imaging, engineering and in ophthalmic literature [1,[5][6][7][8], where eigenvalues and eigenvectors often represent observable and measureable quantities.
Principal meridians at right angles produce regular astigmatism that is correctable with a spherocylindrical lens [9,10]. Principal meridians of highly toric surfaces separated by an angle significantly less or greater than 90 ∘ may cause irregular astigmatism to manifest. Careful measurements made separately for the two principal meridians are not usually exactly perpendicular. See Figure 2. This may not imply significant irregular astigmatism. Measurement errors are likely to be more significant than irregular astigmatism for spherocylindrical surfaces. Patients with irregular astigmatism may measure a loss of spectacle-corrected visual acuity. In keratometry distorted focused mires are among the other simpler signs. In addition to the orientation of the principal meridians, different parts of the same meridian can have different curvatures across an entrance pupil of the eye [11]. Thus irregular astigmatism may be attributed to patients with substantial irregular corneal surface elements. Significant irregular astigmatism is uncommon and could be related to a scarred cornea, pterygium [12], and surgical procedures. Eigenvectors and eigenvalues vary from surface element to element across an entrance pupil.
Spherocylindrical lenses, perpendicular meridians, and symmetric matrices [5,13] facilitate calculations of prismatic effect as well as the power of obliquely crossed lenses. In the obliquely crossed lens problem, the sphere, cylinder, and axis of the equivalent lens were extracted (see numerical Example 2 and Figure 1) from a matrix [5,13] with a particular modus operandi that made use of the invariance of the trace and determinant of the power matrix similarity transform. In previous work [14] each principal meridian on the front surface of a cornea was independently aligned with the focused mires of a keratometer. In this paper, we integrate optical crosses and labels with the geometrical picture of eigenvectors and eigenvalues of matrices in Figure 1, whenever we place principal clinical observations in spectral matrices and coordinates of the axes of an optical cross in corresponding modal matrices. In a majority of cases, the integration allows modal and spectral matrices to be multiplied and converted holistically to the power matrix. Characteristic equations and their linearity, partially exploited in previous work [14], explicitly generalize decisions on the uniqueness of the matrix, how modal and spectral matrices are compromised and why one can obtain many matrices. We start from a geometric picture in a general way to obtain a power matrix. We refer to [15] and references cited therein.
Measurements of paraxial phenomena along principal meridians, separate or coincident, (or selected complex conjugate ones) and their analogues generated from a matrix in Figure 1 are considered exclusively. Matrices quantify heterogeneity in the physiological optics of the local eye and vision correction. Among measurements, this common thread serves to determine their matrices that can separate regular from irregular astigmatism. Matrices can now be determined for principal meridians of arbitrary location for an astigmatic eye and various medical and engineering fields. We show that the initial contributor to irregular astigmatism on a cornea is principal meridians that are significantly nonperpendicular and which specialist equipment is probably capable of resolving in the best way. This paper justifies calculations with ophthalmic variables and measurements, characteristic of some matrix, in the paraxial domain. Scalar data sets emanating from computer software in specialist clinics sample global corneal properties.
In this paper, the power matrix from meridians of arbitrary orientation is written as a sum of a symmetric and an antisymmetric matrix [2,16,17]. The symmetric matrix represents a paraxial power component with perpendicular meridians for the continuous surface portion. The asymmetric component independently represents the deviation from toricity or smoothness of a cornea following, for example, surgical intervention or abnormal growth owing to a dusty windy environment. From this we confirm that distinct keratometer powers along significantly oblique meridians Computational and Mathematical Methods in Medicine 3 contribute to irregular astigmatism. Corneal power for rectangular meridians is augmented by paraxial asymmetric power in (7).
Gaussian optics is often referred to as the optics of perfect optical systems. First-order equations can be derived by reducing the exact trigonometrical expressions for ray paths to the limit when the angles and ray heights involved approach zero. These equations are completely accurate for a small region, known as the paraxial region. A well-corrected optical system will follow the first-order expressions almost exactly. The first-order image positions and sizes provide a convenient reference from which to measure departures from perfection. In addition, the paraxial expressions are linear and are much easier to use than the trigonometrical equations [18]. Figure 1 represents arbitrarily chosen matrix characteristics on the upper half-plane on the page tangent to and symbolic of a surface (vertex O) where the refraction of rays is thought to take place.

Method
Measurements are formatted and tools developed to make valid calculations. A paraxial element of a cornea or an ophthalmic lens, appropriately stopped, and a matrix both have latent characteristics. We reconcile measurements in physiological optics with matrix characteristics in linear algebra so that calculations may be made. The outputs from a keratometer or a lensometer are very closely related to eigenvalues and eigenvectors of an appropriate matrix. An entire portfolio of matrix calculations is fully justified and applies to ophthalmic quantities. Principal powers and principal meridians are associated with eigenvalues and eigenvectors and determine a matrix.
Let 2 × 2 matrix A multiply nonzero vectors u and v; then new vectors Au and Av result. If the vector Au has the same direction as u (and Av has the same direction as v but different from u), then u and v are called eigenvectors of A. They satisfy [2,3] Au = u + 0v, where and are real scalars called eigenvalues of real A associated with real u and v, respectively. When . We now facilitate calculations with data on an optical cross. Using matrix multiplication, we combine vector equations (1) into a single matrix equation: Matrix A operates on an array (u v) of eigenvector columns. Since ( ̸ = 0 ̸ = ), the array (u v) is nonsingular and we write Matrix A is expressed as a product of matrices multiplied in the order shown that contain measurements on a power cross and one factor matrix is the inverse of the other. The columns u and v in the matrix (u v) define the arms of the optical cross or the principal meridians as in Figure 1.
Eigenvector matrix (u v) is also called a modal matrix [4].
In the first column in the central matrix is the eigenvalue that is associated with the column u in the matrix (u v). The central matrix in (3), with principal powers on the diagonal, is called an eigenvalue matrix or spectral matrix. Equation (3) is known as eigenvalue decomposition or matrix similarity transform [2,14]. It is valid since u and v are independent [2] for ̸ = 0 ̸ = and whether u and v are perpendicular or not. Vectors u and k in Figure 1 are analogous to the directions of principal meridians. These may be meridians of the anterior corneal surface for which powers and curvatures are maxima and minima. They could also be directions for which radii of curvature are extreme. These corresponding principal quantities, all determined with procedures or instrumentation, are represented by eigenvalues , of A. Matrices A with ̸ = 0 ̸ = are unique and nonsingular but later, in this paper, we discuss the effect of relaxing this constraint on uniqueness. Application to an anterior cornea is now discussed and its irregular paraxial surface is quantified.
A generalized corneal reading [19] is where distinct principal powers and are associated with their respective meridians at angles and directed along units u and v on an optical cross like that in Figure 1, where O is at an entrance pupil centre. The components ‖ , ⊥ and V ‖ , V ⊥ called direction cosines of u and k along principal meridians are which has no particular units. In Figure 1 angles shown are restricted to the range (0, 180 ∘ ] which make this representation of the principal meridians as vectors unique ( ̸ = ). Together with (5), Equation (3) becomes Given principal powers and corresponding meridians, the power matrix was obtained by different calculations for each of the four entries [19]. Principal data in the spectral matrix and column vectors along corresponding meridians in the modal matrix (u v) and these factors are multiplied as in (6) to yield a power A. For meridians to coincide = and an essential singularity exists in (6). The dependence of u and v ( = ) clearly implies that a matrix (ces) in (1) has reduced rank compared to their order. Thus A is only unique when ̸ = ( ̸ = 0 ̸ = ). This aspect is considered later. We denote the transpose of A by A . We multiply the matrices in (6) and write the product A as a sum of two matrices [2]: with given by which is a symbol in common with (17) in [16], ̸ = . Astigmatism for the anterior cornea is regular when perpendicular principal meridians emerge as they do when is zero and A is symmetric. On irregular astigmatism, we plot the trigonometric factor in (8) which is seen not to exist when = .
The curve shows greater sensitivity to change for angles less than approximately 40 ∘ and greater than approximately 140 ∘ . In the approximate range from 60 ∘ to 120 ∘ the trigonometric factor attenuates . Outside this range the trigonometric factor amplifies . When → irregular astigmatism occurs and → −∞. The matrix ( 0 1 −1 0 ) expresses irregular astigmatism of a unique amount ( ̸ = ) given in (8) on an irregular anterior cornea confirmed from the eigenvectors belonging to A. As in [9,10,20], (8) ascribes irregular astigmatism to distinct principal powers along meridians that are significantly offperpendicular or off-parallel detected on a small zone on a cornea. One needs to sample larger corneal zones to detect the other contributors. Figure 2 shows that asymmetric power is zero when − = 90 ∘ . Equations (7) show that regular astigmatism can exist whether irregular (asymmetric) astigmatism is zero (meridians are perpendicular) or not.
Where principal meridians are not 90 ∘ apart, associated loss of spectacle-corrected vision represents one of the most serious and frequent complications of corneal refractive surgery [10]. If = , regular astigmatism is zero and the irregular astigmatism equation (8) is zero irrespective of meridian location. The matrix in (7) applies and becomes which describes a spherical paraxial surface. Equation (8) is valid for all surfaces, where − is the length in dioptre of the interval of Sturm on a number line of principal powers and ( − ) is the angle between principal meridians. Firstorder optics and paraxial analysis are tools with which we consider small corneal zones for irregular astigmatism and its simplest cause. For a given surface, the angle ( − ) remains unchanged as the surface rotates; and are now mutually dependent and as the surface rotates, + in the symmetric part in (7) assumes new values. Suppose that = + 90 ∘ , then the second matrix in (7) is a null matrix and the first matrix for perpendicular meridians becomes ) .
Driven by redness, irritation, and tearing in hot, dry sunny environments, a pterygium can grow on the conjunctiva onto the clear cornea and changes in axis and power of astigmatism may be detected. Depending on the progression of growth, the pterygium may cause the anterior surface to vary [12] irregularly of which the irregular astigmatism in (8) is a processed measure. Topography should confirm the nature of the local or general variation of the corneal surface and irregular astigmatism should be diagnosed (outside of the paraxial) by different segments of the same meridian having different powers [9,10,20]. When the cornea heals after refractive laser surgery and leaves a discontinuous anterior surface, irregular astigmatism may manifest. An antisymmetric dioptric power matrix quantifies the power of the significantly uneven surface created by the laser. A hypothetical rough surface with power quantified in exactly the same way is described in [21].
Computational and Mathematical Methods in Medicine 5 Wherever the spectral matrix is diagonal, ̸ = ̸ = 0, we ensure (i) the independence of the u and v, (ii) det (u v) ̸ = 0, (iii) the uniqueness of matrix A, and (iv) det(A) ̸ = 0. Transpose the system of (1) and (3) and let the unknown A = ( 11 12 21 22 ). Then where the matrices (u v) and diag( , ) known from clinical measurements are full rank. Suppose ̸ = 0 ̸ = is no longer valid. Spectral matrix in (11) becomes a scalar matrix. Rank of (u v) is now reduced and u + v = 0 for scalar ̸ = 0. det(A) = 0 when = 0. Equation (11) becomes the identical, equivalent equation A single equation (12) in two unknown column vectors has multiple solutions for A. Denominators in components in [14] and entries of antisymmetric A are zero in (7) and (8) when u + v = 0. One may consider the generalized inverse of (− v v) or determine eigenvectors for powers of A, called power vectors; they form a complete basis for a matrix in which there are fewer linearly independent eigenvectors than eigenvalues [5]. Particular ambiguous 2 × 2 real matrices with parallel eigenvectors predicted in (12) may be found in [14,19]. Given a vector x with complex entries. Then x denotes the complex conjugate of x. Suppose that 2 × 2 real A can multiply x. Then If is an eigenvalue of A and x is a corresponding eigenvector, then Hence is also an eigenvalue of A, with x a corresponding eigenvector. If a real 2 × 2 matrix has eigenvalues that are complex, the corresponding eigenvectors are also complex and the eigenpairs are complex conjugates. Suppose that = − and x = u − v . Then The other eigenvalue is = + with eigenvector x = u + k .

Consider
x + x = 2u, Independent u, v and scalars a, b are real. When = 0, (17) reduces to (1) when eigenvalues are equal. In numerical Example 3 we explain how one complex eigenpair ( , x) produces real matrix factors C and P of a real dioptric power matrix A using the theory above.
When the matrix on the right hand side in (7), called L, premultiplies real vectors, products are all vectors rotated clockwise and perpendicular to the real vectors. Products with eigenvectors are parallel to the complex vectors mentioned with complex eigenvalues below. The characteristic equation of L is 2 + 1 = 0. Spectral matrix of the antisymmetric L is ( 0 0 − ) and its orthogonal modal matrix is (1/ √ 2) ( − 1 1 ). From this matrix, the meridians at an angle satisfy tan = or − which has no real or complex solution. Thus meridians where principal powers are 1 = and 2 = − do not exist.

Examples
We now illustrate the concepts considered in our paper by discussing three numerical examples. Example 1. Suppose that a lens surface has a principal meridian at an angle whose tangent is 12/5 in Figure 1(a) and the other principal meridian is at an angle whose tangent is 8/-15 in Figure 1(b) with powers 4 D and -7 D, respectively. Determine the power matrix of the surface using the eigenvalue decomposition.
Solution. The meridians are not perpendicular ((12/5) × (8/−15) ̸ = −1) so that both meridians and their principal powers specify the surface. The components of the first meridian in Figure 1 which is the sum of the two matrices as in (7) A = ( Dioptric power A of the surface has been expressed as a sum of symmetric and antisymmetric matrices. The symmetric matrix includes regular astigmatism. The nonzero entries in the antisymmetric matrix indicate that the principal meridians of the lens surface are not perpendicular. This is not a spherocylindrical surface. We identify a surface with antisymmetric power -21/40 D which may compensate for irregular corneal astigmatism [22]. It is a component that most lens manufacturers will endeavour to minimize by making principal meridians perpendicular as it is believed to divert illumination energy away from the focal point in the eye. Solution (see [2]). Principal meridians along eigenvectors u, v in Figure 1 The determinant of coefficient matrix (A − I) is zero when and the coefficient matrix is singular. The principal meridian u, where the principal power is 44 D, is any multiple of u = ( 1 √3 ) and is plotted in Figure 1(a). Our meridian is then parallel to a unit vector ( 1/2 √3/2 ) with = arctan √3 = 60 ∘ , where is the angle seen in Figure 1(a). The meridian, where the principal power is 42 D, is along a vector that is any multiple of k = ( −2−√3 1 ). This meridian is plotted in Figure 1(b), where = arctan (−2 + √3) = 165 ∘ . Thus a power "cross" along meridians is not perpendicular as shown in Figure 1(b).
Using ( Arctan (−1/4) and √(4 2 + 1 2 ) are the principal argument and modulus of the complex eigenvalue . Any vector that matrix C operates on rotates this vector through an angle (tan = −1/4) and scales it by a factor √(4 2 + 1 2 ). Consider Computational and Mathematical Methods in Medicine 7 According to (17), the real factors that make up a power A are PCP −1 and say, as with (7). The components in eigenvectors x and x yield angles for which tan = 1/(1 − ) and 1/(1 + ) that define meridians. Conjugate angles in radians are (Mathematica) The angles made by complex eigenvectors are not unique. Principal angles for meridians are the conjugate pair = 31.7 ± 23.0 measured in degrees.

Discussion
Real and imaginary parts of a complex principal power became entries in a scaled rotation matrix. Real distinct principal powers denoted on a power-cross became entries in a diagonal matrix. Coordinates of corresponding meridians, real and complex, were written as corresponding columns of unit vectors (as in Figure 1) in a modal matrix. The mentioned matrices, whose entries can be used to draw Figure 1, are factors of a power matrix. These matrix factors, with their entries from measurements, observations, or postulates, were multiplied as set down in (3), (17). Equation (7) determines the symmetric and antisymmetric dioptric power matrix. We showed how to switch holistically from principal meridional to expressions of dioptric power (in (6)) and back (in detail in numerical Example 2) using the decomposition for dioptric power matrices with real distinct eigenvalues (principal powers) and complex principal powers and meridians with real matrices. The direct and inverse procedures in this paper are attainable from each other and generalize particular content in [5,13,14,19]. We also determined a matrix for principal powers that were equal irrespective of their meridians. Principal meridians that may not necessarily be perpendicular and associated matrices that may not necessarily be symmetric were shown to be unique when principal powers were distinct. Equations which ensured uniqueness had multiple solutions for identical principal powers.
Our methods are applicable to ophthalmic systems that include lenses, surfaces of a lens or cornea, lens effectivity, magnification, and retinoscopy along meridians and various medical and engineering fields, where matrices are generally symmetric and of higher order. Resolution of the power matrix into a sum of symmetric and antisymmetric matrices allowed us to consider a potential deviation of a corneal surface from smoothness and toricity. This, with other signs, may identify the measurements contributing to irregular astigmatism that may be a result of surgical or other external intervention.
Meridians and the dioptric power matrix demonstrated the techniques and three numerical examples yielded results that were generally valid. In the first example two principal powers and corresponding nonperpendicular components of vectors along meridians of a lens surface were given. Eigensystems containing entries modified from the given measurements were multiplied as an eigenvalue decomposition to yield an antisymmetric dioptric power matrix. In the second numerical example, an antisymmetric power matrix was given. Principal powers and corresponding meridians that were not perpendicular (although the methods are valid if meridians are perpendicular) were produced for the surface as the eigenvalues and eigenvectors of the given matrix. Principal meridians and powers are analogous to the eigenvectors and eigenvalues indicated in Figure 1. The given matrix was factorized into modal and spectral matrices containing observable quantities as entries. The irregular power on the cornea was determined. In the third example two complex conjugate eigenvalues and corresponding nonorthogonal complex conjugate eigenvectors of a lens surface with a real matrix were given. An eigenpair, thought to represent observations, was used to determine real factors that were matrices multiplied to yield the real antisymmetric dioptric power matrix that is the same as that from matrix decomposition with complex factors. The matrix is unique as its complex conjugate eigenvalues are always distinct.

Conclusion
Our paper is fundamental, universal yet paraxial and assimilates measurements with matrices and their factors in a holistic way to support decisions with calculations and statistics. The point of departure is Figure 1 and a set of linear equations (1) whose solution is unique for real distinct meridians. These form the majority of cases for real clinical measurements. A relaxation of these constraints reduces the rank of matrices and compromises uniqueness of the solution of linear equations (1). We have calculated a paraxial contribution to a polynomial expansion of aberrations [23] for irregular astigmatism. A number of everyday phenomena have our method as basis. Its particular innovation and distinction is that irregular astigmatism (a third order aberration) is screened primarily with keratometric measurements. Elegant, costly software and hardware investigations accompanying corneal topography and wavefront sensors should follow on referral [24]. This paper weds arrays with every possible optometric measurement that can be represented on an optical cross and is not specific to corneal or lens powers like previous related work. The paraxial component of power that expresses the deviation from smoothness and toricity following surgical intervention or abnormal corneal growth owing to a dusty windy environment is defined here. Our work forms a solid basis for future work.