A Unified Methodology for Real and Complex Zeros of Zero-dimensional Ideals
نویسندگان
چکیده
In this paper we propose a unified methodology for computing the set VK(I) of complex (K = C) or real (K = R) roots of an ideal I ⊆ R[x], assuming VK(I) is finite. We show how moment matrices, defined in terms of a given set of generators of the ideal I, can be used to (numerically) find not only the real variety VR(I), as shown in the authors’ previous work, but also the complex variety VC(I), thus leading to a unified treatment of the algebraic and real algebraic problems. In contrast to the real algebraic version of the algorithm, the complex analogue only uses basic numerical linear algebra because it does not require positive semidefiniteness of the moment matrix and so avoids semidefinite programming techniques. The links between these algorithms and other numerical algebraic methods are outlined and their stopping criteria are related.
منابع مشابه
A Unified Approach to Computing Real and Complex Zeros of Zero-dimensional Ideals
In this paper we propose a unified methodology for computing the set VK(I) of complex (K = C) or real (K = R) roots of an ideal I ⊆ R[x], assuming VK(I) is finite. We show how moment matrices, defined in terms of a given set of generators of the ideal I, can be used to (numerically) find not only the real variety VR(I), as shown in the authors’ previous work, but also the complex variety VC(I),...
متن کاملZero sets in pointfree topology and strongly $z$-ideals
In this paper a particular case of z-ideals, called strongly z-ideal, is defined by introducing zero sets in pointfree topology. We study strongly z-ideals, their relation with z-ideals and the role of spatiality in this relation. For strongly z-ideals, we analyze prime ideals using the concept of zero sets. Moreover, it is proven that the intersection of all zero sets of a prime ideal of C(L),...
متن کاملA Methodology for Unified Assessment of Physical and Geographical Dependencies of Wide Area Measurement Systems in Smart Grids
Wide Area Measurement Systems (WAMS) enable real time monitoring and control of smart grids by combining digital measurement devices, communication and control systems. As WAMS consist of various infrastructures, they imply complex dependencies among their underlying systems and components of different types, such as cyber, physical and geographical dependencies. Although several works exist in...
متن کاملINTERSECTION OF ESSENTIAL IDEALS IN THE RING OF REAL-VALUED CONTINUOUS FUNCTIONS ON A FRAME
A frame $L$ is called {it coz-dense} if $Sigma_{coz(alpha)}=emptyset$ implies $alpha=mathbf 0$. Let $mathcal RL$ be the ring of real-valued continuous functions on a coz-dense and completely regular frame $L$. We present a description of the socle of the ring $mathcal RL$ based on minimal ideals of $mathcal RL$ and zero sets in pointfree topology. We show that socle of $mathcal RL$ is an essent...
متن کاملZero elements and $z$-ideals in modified pointfree topology
In this paper, we define and study the notion of zero elements in topoframes; a topoframe is a pair $(L, tau)$, abbreviated $L_{ tau}$, consisting of a frame $L$ and a subframe $ tau $ all of whose elements are complemented elements in $L$. We show that the $f$-ring $ mathcal{R}(L_tau)$, the set of $tau$-real continuous functions on $L$, is uniformly complete. Also, t...
متن کامل