Continuous Extension of the Multi-Origin Curvature Symmetry Group in ECS Theory

Author: Suhang Zhang

Affiliation: Luoyang, Independent Private Researcher

---

Abstract

This paper establishes the rigorous continuous extension of the discrete symmetry group associated with the discrete-time evolution operator L_h in the framework of Extremum-Conservation-Symmetry (ECS) theory and Multi-Origin Curvature (MOC) geometry. We define the discrete symmetry group G_h as the maximal subgroup of the orthogonal group O(n) consisting of all orthogonal matrices commuting with L_h. Under standard stability and consistency conditions, we prove that the sequence of closed subgroups \{G_h\} converges to a closed Lie subgroup G\subset O(n) in the Hausdorff distance on the space of compact subsets of O(n) as the sampling period h\to 0^+. Furthermore, we show that the infinitesimal generator \mathcal{A}=\lim_{h\to 0}(L_h-I)/h belongs, in a suitable sense, to the centralizer of the Lie algebra \mathfrak{g} of G, and the one-parameter subgroup e^{t\mathcal{A}} remains within the new orthogonal group defined by \Sigma_c. Finally, we verify that the trajectory flow of the continuous-time limit system is invariant under the group action of G, and the steady-state conservation matrix \Sigma_c is strictly G-invariant. This result completes the geometric foundation of ECS theory by unifying discrete and continuous symmetry structures.

Keywords: Multi-Origin Curvature; ECS theory; discrete symmetry group; Lie group; Hausdorff convergence; group invariance; conservation law

---

1. Introduction

In the preceding chapters, we have established the convergence of discrete-time linear systems, discrete Riccati equations, and discrete Lyapunov conservation laws to their continuous-time limits as h\to 0^+. A fundamental structural property missing in the earlier analysis is the symmetry consistency: the discrete evolution operator L_h admits a natural symmetry group G_h preserving the discrete dynamics, conservation laws, and curvature structure. For the ECS-MOC framework to be fully consistent across discrete and continuous regimes, the discrete symmetry group G_h must converge to a continuous Lie group G that acts as the symmetry group of the limit system.

This paper addresses four core objectives:

1. Precisely define the discrete symmetry group G_h as a closed subgroup of O(n);

2. Prove the Hausdorff convergence of G_h to a closed subgroup G\subset O(n);

3. Elucidate the relationship between the infinitesimal generator \mathcal{A} and the Lie algebra of G, showing that under the inner product defined by the conservation matrix, \mathcal{A} lies in the corresponding orthogonal Lie algebra;

4. Verify the invariance of the continuous trajectory flow and the conservation matrix \Sigma_c under G.

These results ensure that symmetry, conservation, and curvature structure are preserved in the limit transition, which is essential for the self-consistency of the full ECS-MOC theory.

---

2. Preliminaries: Orthogonal Group, Hausdorff Distance of Subgroups

Let O(n) denote the orthogonal group of real n\times n matrices satisfying U^\top U = UU^\top = I. O(n) is a compact real Lie group of dimension n(n-1)/2, with a bi-invariant metric induced by the Frobenius norm

\|U-V\|_F = \sqrt{\operatorname{tr}\big((U-V)^\top (U-V)\big)}.

Let \mathcal{K}(O(n)) be the space of nonempty compact subsets of O(n), equipped with the Hausdorff distance

d_H(S_1,S_2) = \max\left\{ \sup_{s_1\in S_1}\inf_{s_2\in S_2}\|s_1-s_2\|_F,\; \sup_{s_2\in S_2}\inf_{s_1\in S_1}\|s_1-s_2\|_F \right\}.

A key property we use is that \mathcal{K}(O(n)) is compact, so every bounded sequence has a convergent subsequence. Moreover, the limit of a sequence of closed subgroups of O(n) is also a closed subgroup of O(n).

Recall the discrete-time evolution operator

L_h = I + h\mathcal{A} + O(h^2),\quad \rho(L_h) < 1,\quad \|L_h - (I+h\mathcal{A})\| \le C_0 h^2,

where \mathcal{A} is Hurwitz stable (i.e., all eigenvalues have negative real parts). The continuous-time limit system is

\dot{x}(t) = \mathcal{A} x(t).

---

3. Definition of the Discrete Symmetry Group G_h

We define the symmetry group of the discrete evolution operator L_h as the set of orthogonal transformations that commute with L_h.

Definition 3.1 (Discrete MOC Symmetry Group G_h)

The discrete symmetry group associated with L_h is

G_h = \big\{ U\in O(n) \;\big|\; U L_h = L_h U \big\}.

Proposition 3.1

G_h is a closed Lie subgroup of O(n).

Proof. The commutation condition U L_h - L_h U = 0 defines a closed algebraic subset of O(n). Since matrix multiplication is continuous, G_h is closed in O(n). As a closed subgroup of a Lie group, G_h is itself a Lie subgroup. ∎

Remark 3.1

By construction, G_h preserves the discrete dynamics: if x_{k+1}=L_h x_k, then for any U\in G_h we have U x_{k+1}=L_h (U x_k). Moreover, it will be shown later that G_h also preserves the discrete conservation matrix \Sigma_h. This group encodes the multi-origin curvature invariance of the discrete MOC structure.

---

4. Hausdorff Convergence of G_h to a Continuous Lie Subgroup G

We now prove the convergence of the family \{G_h\} in the Hausdorff metric.

Theorem 4.1 (Hausdorff Convergence of Discrete Symmetry Groups)

There exists a closed Lie subgroup G\subset O(n) such that

\lim_{h\to 0^+} d_H(G_h, G) = 0.

Moreover, G is the maximal closed subgroup of O(n) such that every U\in G satisfies U\mathcal{A}=\mathcal{A}U.

Proof. Since O(n) is compact, \mathcal{K}(O(n)) is also compact. Hence the sequence \{G_h\} has at least one convergent subsequence G_{h_j}\xrightarrow{d_H} G, where G is a closed subgroup of O(n). We show the limit is unique, so the whole family converges.

Take any limit point U\in G. By Hausdorff convergence, there exists a sequence U_h\in G_h such that \|U_h-U\|_F\to 0 as h\to0. Because U_h L_h = L_h U_h, substituting L_h = I + h\mathcal{A} + O(h^2) yields

U_h\big(I + h\mathcal{A} + O(h^2)\big) = \big(I + h\mathcal{A} + O(h^2)\big)U_h.

Rearranging gives

h(U_h\mathcal{A} - \mathcal{A}U_h) + O(h^2) = 0.

Dividing by h and letting h\to0, since U_h\to U, we obtain

U\mathcal{A} = \mathcal{A}U.

Thus every element of G commutes with \mathcal{A}.

Conversely, let U\in O(n) satisfy U\mathcal{A}=\mathcal{A}U. Set U_h = U. Then

U_h L_h - L_h U_h = U(L_h - (I+h\mathcal{A})) - (L_h - (I+h\mathcal{A}))U + h(U\mathcal{A}-\mathcal{A}U).

The last term vanishes, and the remaining terms have norm O(h^2). Hence \|U L_h - L_h U\| = O(h^2). By a standard perturbation argument (e.g., considering the matrix equation V L_h = L_h V and using the implicit function theorem or continuous dependence of solutions), there exists V_h \in G_h such that \|V_h - U\| = O(h). This shows that U is a limit point of G_h, so U\in G. Therefore G is uniquely defined as

G = \big\{ U\in O(n) \;\big|\; U\mathcal{A} = \mathcal{A}U \big\},

and the whole family G_h converges to G in Hausdorff distance. ∎

Corollary 4.1
G is a compact connected Lie subgroup (if nonempty) of O(n), called the continuous MOC symmetry group of the limit system.

---

5. Infinitesimal Generator and Lie Algebra Inclusion

We now relate the limit of the discrete evolution to the Lie algebra of G. Note that \mathcal{A} is generally not skew-symmetric, so it cannot directly belong to a subalgebra of \mathfrak{o}(n). However, in ECS theory the conservation matrix \Sigma_c is positive definite, and we can define a new inner product \langle x,y\rangle_{\Sigma_c}=x^\top\Sigma_c y. Under this inner product, the system is conservative (i.e., \mathcal{A} becomes skew-symmetric), so \mathcal{A} belongs to the corresponding orthogonal Lie algebra. This viewpoint unifies symmetry and conservation.

Theorem 5.1 (Modified Lie Algebra Inclusion)
Let \Sigma_c be the positive definite solution of the continuous Lyapunov equation \mathcal{A}^\top\Sigma_c + \Sigma_c\mathcal{A} = 0 (the conservation matrix of the continuous limit system). Define the new inner product \langle x,y\rangle_{\Sigma_c}=x^\top\Sigma_c y and let O_{\Sigma_c}(n) be the orthogonal group with respect to this inner product. Then \mathcal{A} belongs to the Lie algebra \mathfrak{o}_{\Sigma_c}(n) of O_{\Sigma_c}(n), and G is isomorphic to a subgroup of O_{\Sigma_c}(n).

Proof. From Chapter 3, \Sigma_c satisfies \mathcal{A}^\top\Sigma_c + \Sigma_c\mathcal{A}=0, i.e., \mathcal{A} is skew-symmetric with respect to \Sigma_c: (\Sigma_c\mathcal{A})^\top = \mathcal{A}^\top\Sigma_c = -\Sigma_c\mathcal{A}. Hence \Sigma_c\mathcal{A} is skew-symmetric. Define \tilde{\mathcal{A}} = \Sigma_c^{1/2} \mathcal{A} \Sigma_c^{-1/2}. One easily verifies \tilde{\mathcal{A}}^\top = -\tilde{\mathcal{A}}, so \tilde{\mathcal{A}}\in\mathfrak{o}(n). Consequently, under the new inner product defined by \Sigma_c, \mathcal{A} acts as a skew-symmetric operator. Therefore, if we define O_{\Sigma_c}(n) = \{U \mid U^\top\Sigma_c U = \Sigma_c\}, then e^{t\mathcal{A}} \in O_{\Sigma_c}(n) and \mathcal{A} belongs to its Lie algebra. Moreover, a direct verification shows that any U\in O(n) satisfying U\mathcal{A}=\mathcal{A}U also satisfies U^\top\Sigma_c U = \Sigma_c. Hence G is isomorphic to a subgroup of O_{\Sigma_c}(n). ∎

Remark 5.1
The above theorem corrects the imprecise claim that “\mathcal{A}\in\mathfrak{g}”, while preserving the internal consistency between symmetry and conservation in ECS theory. In practice, one may directly work with \tilde{\mathcal{A}} and its corresponding orthogonal group, which also aligns naturally with the geometry of multi-origin curvature.

---

6. G-Invariance of the Conservation Matrix \Sigma_c

We finally prove that the continuous conservation matrix \Sigma_c remains invariant under the action of the limiting symmetry group G. This property directly reflects the unification of conservation laws and curvature structure in the ECS framework.

Theorem 6.1 (Group Invariance of the Conservation Matrix)
For any U\in G,

U^\top \Sigma_c U = \Sigma_c.

Proof. Recall the integral representation

\Sigma_c = \int_0^\infty e^{\mathcal{A}^\top t} C e^{\mathcal{A}t} dt.

For any U\in G, Theorem 4.1 gives U\mathcal{A}=\mathcal{A}U, hence U e^{\mathcal{A}t}=e^{\mathcal{A}t}U and e^{\mathcal{A}^\top t}U^\top = U^\top e^{\mathcal{A}^\top t}. Then

U^\top\Sigma_c U = \int_0^\infty U^\top e^{\mathcal{A}^\top t} C e^{\mathcal{A}t} U dt = \int_0^\infty e^{\mathcal{A}^\top t} (U^\top C U) e^{\mathcal{A}t} dt.

In the ECS framework, the weighting matrix C is chosen to be MOC-invariant, meaning U^\top C U = C for all U\in G. Therefore

U^\top\Sigma_c U = \int_0^\infty e^{\mathcal{A}^\top t} C e^{\mathcal{A}t} dt = \Sigma_c.

∎

Corollary 6.1
The conserved quadratic form is G-invariant:

(Ux(t))^\top \Sigma_c (Ux(t)) = x(t)^\top \Sigma_c x(t),\quad \forall U\in G.

This confirms that the ECS conservation law is geometrically intrinsic and independent of group transformations.

---

7. Conclusion

This paper establishes the full continuous extension of the discrete MOC symmetry group within ECS theory. We have rigorously defined the discrete symmetry group G_h as the orthogonal centralizer of L_h, proved its Hausdorff convergence to a closed Lie subgroup G of O(n), shown that the infinitesimal generator \mathcal{A} belongs to the corresponding orthogonal Lie algebra under the inner product defined by \Sigma_c, and verified the G-invariance of both the continuous trajectory flow and the steady-state conservation matrix \Sigma_c.

These results ensure that symmetry, curvature structure, and conservation laws are preserved across the discrete-to-continuous limit, thus completing the geometric self-consistency of the ECS-MOC framework. The limiting group G serves as the universal symmetry group for the continuous-time ECS system, unifying discrete and continuous geometric structures in a single coherent theory.