-
On the Convergence Analysis of Yau-Yau Nonlinear Filtering Algorithm: from a Probabilistic Perspective
Authors:
Zeju Sun,
Xiuqiong Chen,
Stephen S. -T. Yau
Abstract:
At the beginning of this century, a real time solution of the nonlinear filtering problem without memory was proposed in [1, 2] by the third author and his collaborator, and it is later on referred to as Yau-Yau algorithm. During the last two decades, a great many nonlinear filtering algorithms have been put forward and studied based on this framework. In this paper, we will generalize the results…
▽ More
At the beginning of this century, a real time solution of the nonlinear filtering problem without memory was proposed in [1, 2] by the third author and his collaborator, and it is later on referred to as Yau-Yau algorithm. During the last two decades, a great many nonlinear filtering algorithms have been put forward and studied based on this framework. In this paper, we will generalize the results in the original works and conduct a novel convergence analysis of Yau-Yau algorithm from a probabilistic perspective. Instead of considering a particular trajectory, we estimate the expectation of the approximation error, and show that commonly-used statistics of the conditional distribution (such as conditional mean and covariance matrix) can be accurately approximated with arbitrary precision by Yau-Yau algorithm, for general nonlinear filtering systems with very liberal assumptions. This novel probabilistic version of convergence analysis is more compatible with the development of modern stochastic control theory, and will provide a more valuable theoretical guidance for practical implementations of Yau-Yau algorithm.
△ Less
Submitted 9 May, 2024;
originally announced May 2024.
-
Convolutional Bayesian Filtering
Authors:
Wenhan Cao,
Shiqi Liu,
Chang Liu,
Zeyu He,
Stephen S. -T. Yau,
Shengbo Eben Li
Abstract:
Bayesian filtering serves as the mainstream framework of state estimation in dynamic systems. Its standard version utilizes total probability rule and Bayes' law alternatively, where how to define and compute conditional probability is critical to state distribution inference. Previously, the conditional probability is assumed to be exactly known, which represents a measure of the occurrence proba…
▽ More
Bayesian filtering serves as the mainstream framework of state estimation in dynamic systems. Its standard version utilizes total probability rule and Bayes' law alternatively, where how to define and compute conditional probability is critical to state distribution inference. Previously, the conditional probability is assumed to be exactly known, which represents a measure of the occurrence probability of one event, given the second event. In this paper, we find that by adding an additional event that stipulates an inequality condition, we can transform the conditional probability into a special integration that is analogous to convolution. Based on this transformation, we show that both transition probability and output probability can be generalized to convolutional forms, resulting in a more general filtering framework that we call convolutional Bayesian filtering. This new framework encompasses standard Bayesian filtering as a special case when the distance metric of the inequality condition is selected as Dirac delta function. It also allows for a more nuanced consideration of model mismatch by choosing different types of inequality conditions. For instance, when the distance metric is defined in a distributional sense, the transition probability and output probability can be approximated by simply rescaling them into fractional powers. Under this framework, a robust version of Kalman filter can be constructed by only altering the noise covariance matrix, while maintaining the conjugate nature of Gaussian distributions. Finally, we exemplify the effectiveness of our approach by resha** classic filtering algorithms into convolutional versions, including Kalman filter, extended Kalman filter, unscented Kalman filter and particle filter.
△ Less
Submitted 30 March, 2024;
originally announced April 2024.
-
Inverted repeats in coronavirus SARS-CoV-2 genome and implications in evolution
Authors:
Changchuan Yin,
Stephen S. -T. Yau
Abstract:
The coronavirus disease (COVID-19) pandemic, caused by the coronavirus SARS-CoV-2, has caused 60 millions of infections and 1.38 millions of fatalities. Genomic analysis of SARS-CoV-2 can provide insights on drug design and vaccine development for controlling the pandemic. Inverted repeats in a genome greatly impact the stability of the genome structure and regulate gene expression. Inverted repea…
▽ More
The coronavirus disease (COVID-19) pandemic, caused by the coronavirus SARS-CoV-2, has caused 60 millions of infections and 1.38 millions of fatalities. Genomic analysis of SARS-CoV-2 can provide insights on drug design and vaccine development for controlling the pandemic. Inverted repeats in a genome greatly impact the stability of the genome structure and regulate gene expression. Inverted repeats involve cellular evolution and genetic diversity, genome arrangements, and diseases. Here, we investigate the inverted repeats in the coronavirus SARS-CoV-2 genome. We found that SARS-CoV-2 genome has an abundance of inverted repeats. The inverted repeats are mainly located in the gene of the Spike protein. This result suggests the Spike protein gene undergoes recombination events, therefore, is essential for fast evolution. Comparison of the inverted repeat signatures in human and bat coronaviruses suggest that SARS-CoV-2 is mostly related SARS-related coronavirus, SARSr-CoV/RaTG13. The study also reveals that the recent SARS-related coronavirus, SARSr-CoV/RmYN02, has a high amount of inverted repeats in the spike protein gene. Besides, this study demonstrates that the inverted repeat distribution in a genome can be considered as the genomic signature. This study highlights the significance of inverted repeats in the evolution of SARS-CoV-2 and presents the inverted repeats as the genomic signature in genome analysis.
△ Less
Submitted 24 November, 2020;
originally announced November 2020.
-
Microwave Integrated Circuits Design with Relational Induction Neural Network
Authors:
Jie Liu,
Zhi-Xi Chen,
Wen-Hui Dong,
Xiao Wang,
Jia Shi,
Hong-Liang Teng,
Xi-Wang Dai,
Stephen S. -T. Yau,
Chang-Hong Liang,
**-Fa Feng
Abstract:
The automation design of microwave integrated circuits (MWIC) has long been viewed as a fundamental challenge for artificial intelligence owing to its larger solution space and structural complexity than Go. Here, we developed a novel artificial agent, termed Relational Induction Neural Network, that can lead to an automotive design of MWIC and avoid brute-force computing to examine every possible…
▽ More
The automation design of microwave integrated circuits (MWIC) has long been viewed as a fundamental challenge for artificial intelligence owing to its larger solution space and structural complexity than Go. Here, we developed a novel artificial agent, termed Relational Induction Neural Network, that can lead to an automotive design of MWIC and avoid brute-force computing to examine every possible solution, which is a significant breakthrough in the field of electronics. Through the experiments on microwave transmission line circuit, filter circuit and antenna circuit design tasks, strongly competitive results are obtained respectively. Compared with the traditional reinforcement learning method, the learning curve shows that the proposed architecture is able to quickly converge to the pre-designed MWIC model and the convergence rate is up to four orders of magnitude. This is the first study which has been shown that an agent through training or learning to automatically induct the relationship between MWIC's structures without incorporating any of the additional prior knowledge. Notably, the relationship can be explained in terms of the MWIC theory and electromagnetic field distribution. Our work bridges the divide between artificial intelligence and MWIC and can extend to mechanical wave, mechanics and other related fields.
△ Less
Submitted 3 January, 2019;
originally announced January 2019.
-
Whole genome single nucleotide polymorphism genoty** of Staphylococcus aureus
Authors:
Changchuan Yin,
Stephen S. -T. Yau
Abstract:
Next-generation sequencing technology enables routine detection of bacterial pathogens for clinical diagnostics and genetic research. Whole genome sequencing has been of importance in the epidemiologic analysis of bacterial pathogens. However, few whole genome sequencing-based genoty** pipelines are available for practical applications. Here, we present the whole genome sequencing-based single n…
▽ More
Next-generation sequencing technology enables routine detection of bacterial pathogens for clinical diagnostics and genetic research. Whole genome sequencing has been of importance in the epidemiologic analysis of bacterial pathogens. However, few whole genome sequencing-based genoty** pipelines are available for practical applications. Here, we present the whole genome sequencing-based single nucleotide polymorphism (SNP) genoty** method and apply to the evolutionary analysis of methicillin-resistant Staphylococcus aureus. The SNP genoty** method calls genome variants using next-generation sequencing reads of whole genomes and calculates the pair-wise Jaccard distances of the genome variants. The method may reveal the high-resolution whole genome SNP profiles and the structural variants of different isolates of methicillin-resistant S. aureus (MRSA) and methicillin-susceptible S. aureus (MSSA) strains. The phylogenetic analysis of whole genomes and particular regions may monitor and track the evolution and the transmission dynamic of bacterial pathogens. The computer programs of the whole genome sequencing-based SNP genoty** method are available to the public at https://github.com/cyinbox/NGS.
△ Less
Submitted 30 October, 2018;
originally announced October 2018.
-
Complete Weight Distribution and MacWilliams Identities for Asymmetric Quantum Codes
Authors:
Chuangqiang Hu,
Shudi Yang,
Stephen S. -T. Yau
Abstract:
In 1997, Shor and Laflamme defined the weight enumerators for quantum error-correcting codes and derived a MacWilliams identity. We extend their work by introducing our double weight enumerators and complete weight enumerators. The MacWilliams identities for these enumerators can be obtained similarly. With the help of MacWilliams identities, we obtain various bounds for asymmetric quantum codes.
In 1997, Shor and Laflamme defined the weight enumerators for quantum error-correcting codes and derived a MacWilliams identity. We extend their work by introducing our double weight enumerators and complete weight enumerators. The MacWilliams identities for these enumerators can be obtained similarly. With the help of MacWilliams identities, we obtain various bounds for asymmetric quantum codes.
△ Less
Submitted 29 October, 2018;
originally announced October 2018.
-
4d N=2 SCFT and singularity theory Part III: Rigid singularity
Authors:
Bingyi Chen,
Dan Xie,
Stephen S. -T. Yau,
Shing-Tung Yau,
Huaiqing Zuo
Abstract:
We classify three fold isolated quotient Gorenstein singularity $C^3/G$. These singularities are rigid, i.e. there is no non-trivial deformation, and we conjecture that they define 4d $\mathcal{N}=2$ SCFTs which do not have a Coulomb branch.
We classify three fold isolated quotient Gorenstein singularity $C^3/G$. These singularities are rigid, i.e. there is no non-trivial deformation, and we conjecture that they define 4d $\mathcal{N}=2$ SCFTs which do not have a Coulomb branch.
△ Less
Submitted 1 December, 2017;
originally announced December 2017.
-
4d N=2 SCFT from Complete Intersection Singularity
Authors:
Yifan Wang,
Dan Xie,
Stephen S. -T. Yau,
Shing-Tung Yau
Abstract:
Detailed studies of four dimensional N=2 superconformal field theories (SCFT) defined by isolated complete intersection singularities are performed: we compute the Coulomb branch spectrum, Seiberg-Witten solutions and central charges. Most of our theories have exactly marginal deformations and we identify the weakly coupled gauge theory descriptions for many of them, which involve (affine) D and E…
▽ More
Detailed studies of four dimensional N=2 superconformal field theories (SCFT) defined by isolated complete intersection singularities are performed: we compute the Coulomb branch spectrum, Seiberg-Witten solutions and central charges. Most of our theories have exactly marginal deformations and we identify the weakly coupled gauge theory descriptions for many of them, which involve (affine) D and E shaped quiver gauge theories and theories formed from Argyres-Douglas matters. These investigations provide strong evidence for the singularity approach in classifying 4d N=2 SCFTs.
△ Less
Submitted 20 June, 2016;
originally announced June 2016.
-
4d N=2 SCFT and singularity theory Part II: Complete intersection
Authors:
Bingyi Chen,
Dan Xie,
Shing-Tung Yau,
Stephen S. -T. Yau,
Huaiqing Zuo
Abstract:
We classify three dimensional isolated weighted homogeneous rational complete intersection singularities, which define many new four dimensional N=2 superconformal field theories. We also determine the mini-versal deformation of these singularities, and therefore solve the Coulomb branch spectrum and Seiberg-Witten solution.
We classify three dimensional isolated weighted homogeneous rational complete intersection singularities, which define many new four dimensional N=2 superconformal field theories. We also determine the mini-versal deformation of these singularities, and therefore solve the Coulomb branch spectrum and Seiberg-Witten solution.
△ Less
Submitted 26 April, 2016;
originally announced April 2016.
-
Time-dependent Hermite-Galerkin spectral method and its applications
Authors:
Xue Luo,
Shing-Tung Yau,
Stephen S. -T. Yau
Abstract:
A time-dependent Hermite-Galerkin spectral method (THGSM) is investigated in this paper for the nonlinear convection-diffusion equations in the unbounded domains. The time-dependent scaling factor and translating factor are introduced in the definition of the generalized Hermite functions (GHF). As a consequence, the THGSM based on these GHF has many advantages, not only in theorethical proofs, bu…
▽ More
A time-dependent Hermite-Galerkin spectral method (THGSM) is investigated in this paper for the nonlinear convection-diffusion equations in the unbounded domains. The time-dependent scaling factor and translating factor are introduced in the definition of the generalized Hermite functions (GHF). As a consequence, the THGSM based on these GHF has many advantages, not only in theorethical proofs, but also in numerical implementations. The stability and spectral convergence of our proposed method have been established in this paper. The Korteweg-de Vries-Burgers (KdVB) equation and its special cases, including the heat equation and the Burgers' equation, as the examples, have been numerically solved by our method. The numerical results are presented, and it surpasses the existing methods in accuracy. Our theoretical proof of the spectral convergence has been supported by the numerical results.
△ Less
Submitted 1 December, 2014;
originally announced December 2014.
-
On the quenching behavior of the MEMS with fringing field
Authors:
Xue Luo,
Stephen S. -T. Yau
Abstract:
The singular parabolic problem $u_t-\triangle u=λ{\frac{1+δ|\nabla u|^2}{(1-u)^2}}$ on a bounded domain $Ω$ of $\mathbb{R}^n$ with Dirichlet boundary condition, models the Microelectromechanical systems (MEMS) device with fringing field. In this paper, we focus on the quenching behavior of the solution to this equation. We first show that there exists a critical value $λ_δ^*>0$ such that if…
▽ More
The singular parabolic problem $u_t-\triangle u=λ{\frac{1+δ|\nabla u|^2}{(1-u)^2}}$ on a bounded domain $Ω$ of $\mathbb{R}^n$ with Dirichlet boundary condition, models the Microelectromechanical systems (MEMS) device with fringing field. In this paper, we focus on the quenching behavior of the solution to this equation. We first show that there exists a critical value $λ_δ^*>0$ such that if $0<λ<λ_δ^*$, all solutions exist globally; while for $λ>λ_δ^*$, all the solution will quench in finite time. The estimate of the quenching time in terms of large voltage $λ$ is investigated. Furthermore, the quenching set is a compact subset of $Ω$, provided $Ω$ is a convex bounded domain in $\mathbb{R}^n$. In particular, if the domain $Ω$ is radially symmetric, then the origin is the only quenching point. We not only derive the one-side estimate of the quenching rate, but also further study the refined asymptotic behavior of the finite quenching solution.
△ Less
Submitted 1 February, 2014;
originally announced February 2014.
-
On Classification of Toric Surface Codes of Low Dimension
Authors:
Xue Luo,
Stephen S. -T. Yau,
Mingyi Zhang,
Huaiqing Zuo
Abstract:
This work is a natural continuation of our previous work \cite{yz}. In this paper, we give a complete classification of toric surface codes of dimension less than or equal to 6, except a special pair, $C_{P_6^{(4)}}$ and $C_{P_6^{(5)}}$ over $\mathbb{F}_8$. Also, we give an example, $C_{P_6^{(5)}}$ and $C_{P_6^{(6)}}$ over $\mathbb{F}_7$, to illustrate that two monomially equivalent toric codes ca…
▽ More
This work is a natural continuation of our previous work \cite{yz}. In this paper, we give a complete classification of toric surface codes of dimension less than or equal to 6, except a special pair, $C_{P_6^{(4)}}$ and $C_{P_6^{(5)}}$ over $\mathbb{F}_8$. Also, we give an example, $C_{P_6^{(5)}}$ and $C_{P_6^{(6)}}$ over $\mathbb{F}_7$, to illustrate that two monomially equivalent toric codes can be constructed from two lattice non-equivalent polygons.
△ Less
Submitted 13 September, 2014; v1 submitted 1 February, 2014;
originally announced February 2014.
-
Hermite spectral method with hyperbolic cross approximations to high-dimensional parabolic PDEs
Authors:
Xue Luo,
Stephen S. -T. Yau
Abstract:
It is well-known that sparse grid algorithm has been widely accepted as an efficient tool to overcome the "curse of dimensionality" in some degree. In this note, we first give the error estimate of hyperbolic cross (HC) approximations with generalized Hermite functions. The exponential convergence in both regular and optimized hyperbolic cross approximations has been shown. Moreover, the error est…
▽ More
It is well-known that sparse grid algorithm has been widely accepted as an efficient tool to overcome the "curse of dimensionality" in some degree. In this note, we first give the error estimate of hyperbolic cross (HC) approximations with generalized Hermite functions. The exponential convergence in both regular and optimized hyperbolic cross approximations has been shown. Moreover, the error estimate of Hermite spectral method to high-dimensional linear parabolic PDEs with HC approximations has been investigated in the properly weighted Korobov spaces. The numerical result verifies the exponential convergence of this approach.
△ Less
Submitted 1 February, 2014; v1 submitted 13 June, 2013;
originally announced June 2013.
-
Denoising the 3-Base Periodicity Walks of DNA Sequences in Gene Finding
Authors:
Changchuan Yin,
Dongchul Yoo,
Stephen S. -T. Yau
Abstract:
A nonlinear Tracking-Differentiator is one-input-two-output system that can generate smooth approximation of measured signals and get the derivatives of the signals. The nonlinear tracking-Differentiator is explored to denoise and generate the derivatives of the walks of the 3-periodicity of DNA sequences. An improved algorithm for gene finding is presented using the nonlinear Tracking-Differentia…
▽ More
A nonlinear Tracking-Differentiator is one-input-two-output system that can generate smooth approximation of measured signals and get the derivatives of the signals. The nonlinear tracking-Differentiator is explored to denoise and generate the derivatives of the walks of the 3-periodicity of DNA sequences. An improved algorithm for gene finding is presented using the nonlinear Tracking-Differentiator. The gene finding algorithm employs the 3-base periodicity of coding region. The 3-base periodicity DNA walks are denoised and tracked using the nonlinear Tracking-Differentiator. Case studies demonstrate that the nonlinear Tracking-Differentiator is an effective method to improve the accuracy of the gene finding algorithm.
△ Less
Submitted 23 May, 2013;
originally announced May 2013.
-
Hermite spectral method to 1D forward Kolmogorov equation and its application to nonlinear filtering problems
Authors:
Xue Luo,
Stephen S. -T. Yau
Abstract:
In this paper, we investigate the Hermite spectral method (HSM) to numerically solve the forward Kolmogorov equation (FKE). A useful guideline of choosing the scaling factor of the generalized Hermite functions is given in this paper. It greatly improves the resolution of HSM. The convergence rate of HSM to FKE is analyzed in the suitable function space and has been verified by the numerical simul…
▽ More
In this paper, we investigate the Hermite spectral method (HSM) to numerically solve the forward Kolmogorov equation (FKE). A useful guideline of choosing the scaling factor of the generalized Hermite functions is given in this paper. It greatly improves the resolution of HSM. The convergence rate of HSM to FKE is analyzed in the suitable function space and has been verified by the numerical simulation. As an important application and our primary motivation to study the HSM to FKE, we work on the implementation of the nonlinear filtering (NLF) problem with a real-time algorithm developed in [17]. The HSM to FKE is served as the off-line computation in this algorithm. The translating factor of the generalized Hermite functions and the moving-window technique are introduced to deal with the drifting of the posterior conditional density function of the states in the on-line experiments. Two numerical experiments of NLF problems are carried out to illustrate the feasibility of our algorithm. Moreover, our algorithm surpasses the particle filter as a real-time solver to NLF.
△ Less
Submitted 1 February, 2014; v1 submitted 7 January, 2013;
originally announced January 2013.
-
Complete Real Time Solution of the General Nonlinear Filtering Problem without Memory
Authors:
Xue Luo,
Stephen S. -T. Yau
Abstract:
It is well known that the nonlinear filtering problem has important applications in both military and civil industries. The central problem of nonlinear filtering is to solve the Duncan-Mortensen-Zakai (DMZ) equation in real time and in a memoryless manner. In this paper, we shall extend the algorithm developed previously by S.-T. Yau and the second author to the most general setting of nonlinear…
▽ More
It is well known that the nonlinear filtering problem has important applications in both military and civil industries. The central problem of nonlinear filtering is to solve the Duncan-Mortensen-Zakai (DMZ) equation in real time and in a memoryless manner. In this paper, we shall extend the algorithm developed previously by S.-T. Yau and the second author to the most general setting of nonlinear filterings, where the explicit time-dependence is in the drift term, observation term, and the variance of the noises could be a matrix of functions of both time and the states. To preserve the off-line virture of the algorithm, necessary modifications are illustrated clearly. Moreover, it is shown rigorously that the approximated solution obtained by the algorithm converges to the real solution in the $L^1$ sense. And the precise error has been estimated. Finally, the numerical simulation support the feasibility and efficiency of our algorithm.
△ Less
Submitted 1 February, 2014; v1 submitted 4 August, 2012;
originally announced August 2012.
-
Classification of 3-dimensional isolated rational hypersurface singularities with C*-action
Authors:
Stephen S. -T. Yau,
Yung Yu
Abstract:
In the paper "Algebraic classification of rational CR structures on topological 5-sphere with transversal holomorphic S^1-action in C^4" (Yau and Yu, Math. Nachrichten 246-247(2002), 207-233), we give algebraic classification of rational CR structures on the topological 5-sphere with transversal holomorphic S^1-action in C^4. Here, algebraic classification of compact strongly pseudoconvex CR man…
▽ More
In the paper "Algebraic classification of rational CR structures on topological 5-sphere with transversal holomorphic S^1-action in C^4" (Yau and Yu, Math. Nachrichten 246-247(2002), 207-233), we give algebraic classification of rational CR structures on the topological 5-sphere with transversal holomorphic S^1-action in C^4. Here, algebraic classification of compact strongly pseudoconvex CR manifolds X means classification up to algebraic equivalence, i.e. roughly up to isomorphism of the normalization of the complex analytic variety V which has X as boundary. The problem is intimately related to the study of 3-dimensional isolated rational weighted homogeneous hypersurface singularities with link homeomorphic to S^5. For this, we need the classification of 3-dimensional isolated rational hypersurface singularities with a C*-action. This list is only available at the homepage of one of us. Since there is a desire for a complete list of this classification (cf. Theorem 3.3), we decide to publish it for the convenience of readers.
△ Less
Submitted 25 March, 2003;
originally announced March 2003.
-
Counterexample to boundary regularity of a strongly pseudoconvex CR submanifold: An addendum to the paper of Harvey-Lawson
Authors:
Hing Sun Luk,
Stephen S. -T. Yau
Abstract:
The purpose of this paper is to give a counterexample of Theorem 10.4 in [Ann. of Math. 102 (1975), 223-290]. In the Harvey-Lawson paper, a global result is claimed, but only a local result is proven. This theorem has had a big impact on CR geometry for almost a quarter of a century because one can use the theory of isolated singularities to study the theory of CR manifolds and vice versa.
The purpose of this paper is to give a counterexample of Theorem 10.4 in [Ann. of Math. 102 (1975), 223-290]. In the Harvey-Lawson paper, a global result is claimed, but only a local result is proven. This theorem has had a big impact on CR geometry for almost a quarter of a century because one can use the theory of isolated singularities to study the theory of CR manifolds and vice versa.
△ Less
Submitted 31 October, 1998;
originally announced November 1998.
-
Topological invariance of intersection lattices of arrangements in CP^2
Authors:
Tan Jiang,
Stephen S. -T. Yau
Abstract:
Let $\scr A^*=\{l_1,l_2,\cdots,l_n\}$ be a line arrangement in $\Bbb{CP}^2$, i.e., a collection of distinct lines in $\Bbb{CP}^2$. Let $L(\scr A^*)$ be the set of all intersections of elements of $A^*$ partially ordered by $X\leq Y\Leftrightarrow Y\subseteq X$. Let $M(\scr A^*)$ be $\Bbb{CP}^2-\bigcup\scr A^*$ where $\bigcup\scr A^*= \bigcup\{l_i\colon\ 1\leq i\leq n\}$. The central problem of t…
▽ More
Let $\scr A^*=\{l_1,l_2,\cdots,l_n\}$ be a line arrangement in $\Bbb{CP}^2$, i.e., a collection of distinct lines in $\Bbb{CP}^2$. Let $L(\scr A^*)$ be the set of all intersections of elements of $A^*$ partially ordered by $X\leq Y\Leftrightarrow Y\subseteq X$. Let $M(\scr A^*)$ be $\Bbb{CP}^2-\bigcup\scr A^*$ where $\bigcup\scr A^*= \bigcup\{l_i\colon\ 1\leq i\leq n\}$. The central problem of the theory of arrangement of lines in $\Bbb{CP}^2$ is the relationship between $M(\scr A^*)$ and $L(\scr A^*)$.
△ Less
Submitted 30 June, 1993;
originally announced July 1993.