-
A Formal Proof of the Irrationality of $ζ(3)$ in Lean 4
Authors:
Junqi Liu,
Jujian Zhang,
Lihong Zhi
Abstract:
We present a formal proof of the irrationality of $ζ(3)$ in Lean 4, based on Beuker's method. In addition, we contribute to the Mathlib library by formalizing shifted Legendre polynomials and several key results in analytic number theory, addressing gaps in Lean's analytical capabilities. As part of the Prime Number Theorem project in Lean 4, we formalize the asymptotic behavior of the prime count…
▽ More
We present a formal proof of the irrationality of $ζ(3)$ in Lean 4, based on Beuker's method. In addition, we contribute to the Mathlib library by formalizing shifted Legendre polynomials and several key results in analytic number theory, addressing gaps in Lean's analytical capabilities. As part of the Prime Number Theorem project in Lean 4, we formalize the asymptotic behavior of the prime counting function, which is essential for proving the irrationality of $ζ(3)$.
△ Less
Submitted 28 February, 2025;
originally announced March 2025.
-
A Noncommutative Nullstellensatz for Perfect Two-Answer Quantum Nonlocal Games
Authors:
Tianshi Yu,
Lihong Zhi
Abstract:
This paper introduces a noncommutative version of the Nullstellensatz, motivated by the study of quantum nonlocal games. It has been proved that a two-answer nonlocal game with a perfect quantum strategy also admits a perfect classical strategy. We generalize this result to the infinite-dimensional case, showing that a two-answer game with a perfect commuting operator strategy also admits a perfec…
▽ More
This paper introduces a noncommutative version of the Nullstellensatz, motivated by the study of quantum nonlocal games. It has been proved that a two-answer nonlocal game with a perfect quantum strategy also admits a perfect classical strategy. We generalize this result to the infinite-dimensional case, showing that a two-answer game with a perfect commuting operator strategy also admits a perfect classical strategy. This result induces a special case of noncommutative Nullstellensatz.
△ Less
Submitted 24 January, 2025; v1 submitted 20 January, 2025;
originally announced January 2025.
-
Perfect Quantum Approximate Strategies for Imitation Games
Authors:
Hao Liang,
Tianshi Yu,
Lihong Zhi
Abstract:
We prove that an imitation game has a perfect quantum approximate strategy if and only if there exists a bi-tracial state on the minimal tensor product of two universal C${^*}$-algebras, which induces the perfect correlation. Moreover, we are trying to relate imitation games to the minimal tensor product of two universal C${^*}$-algebras and demonstrate that an imitation game has a perfect quantum…
▽ More
We prove that an imitation game has a perfect quantum approximate strategy if and only if there exists a bi-tracial state on the minimal tensor product of two universal C${^*}$-algebras, which induces the perfect correlation. Moreover, we are trying to relate imitation games to the minimal tensor product of two universal C${^*}$-algebras and demonstrate that an imitation game has a perfect quantum approximate strategy if and only if there exist a von Neumann algebra and an amenable tracial state on it, such that the perfect correlation can be induced by the tracial state. However, We encountered some difficulties regarding continuity in the proof process. In section 2 we get some results for special cases, and in section 3 we list our problems.
△ Less
Submitted 12 October, 2024;
originally announced October 2024.
-
Whitney Stratification of Algebraic Boundaries of Convex Semi-algebraic Sets
Authors:
Zihao Dai,
Zijia Li,
Zhi-Hong Yang,
Lihong Zhi
Abstract:
Algebraic boundaries of convex semi-algebraic sets are closely related to polynomial optimization problems. Building upon Rainer Sinn's work, we refine the stratification of iterated singular loci to a Whitney (a) stratification, which gives a list of candidates of varieties whose dual is an irreducible component of the algebraic boundary of the dual convex body. We also present an algorithm based…
▽ More
Algebraic boundaries of convex semi-algebraic sets are closely related to polynomial optimization problems. Building upon Rainer Sinn's work, we refine the stratification of iterated singular loci to a Whitney (a) stratification, which gives a list of candidates of varieties whose dual is an irreducible component of the algebraic boundary of the dual convex body. We also present an algorithm based on Teissier's criterion to compute Whitney (a) stratifications, which employs conormal spaces and prime decomposition.
△ Less
Submitted 7 June, 2024;
originally announced June 2024.
-
Unlabeled Sensing Using Rank-One Moment Matrix Completion
Authors:
Hao Liang,
Jingyu Lu,
Manolis C. Tsakiris,
Lihong Zhi
Abstract:
We study the unlabeled sensing problem that aims to solve a linear system of equations $A x =π(y) $ for an unknown permutation $π$. For a generic matrix $A$ and a generic vector $y$, we construct a system of polynomial equations whose unique solution satisfies $ Aξ^*=π(y)$. In particular, $ξ^*$ can be recovered by solving the rank-one moment matrix completion problem. We propose symbolic and numer…
▽ More
We study the unlabeled sensing problem that aims to solve a linear system of equations $A x =π(y) $ for an unknown permutation $π$. For a generic matrix $A$ and a generic vector $y$, we construct a system of polynomial equations whose unique solution satisfies $ Aξ^*=π(y)$. In particular, $ξ^*$ can be recovered by solving the rank-one moment matrix completion problem. We propose symbolic and numeric algorithms to compute the unique solution. Some numerical experiments are conducted to show the efficiency and robustness of the proposed algorithms.
△ Less
Submitted 25 May, 2024;
originally announced May 2024.
-
Two-step Newton's method for deflation-one singular zeros of analytic systems
Authors:
Kisun Lee,
Nan Li,
Lihong Zhi
Abstract:
We propose a two-step Newton's method for refining an approximation of a singular zero whose deflation process terminates after one step, also known as a deflation-one singularity. Given an isolated singular zero of a square analytic system, our algorithm exploits an invertible linear operator obtained by combining the Jacobian and a projection of the Hessian in the direction of the kernel of the…
▽ More
We propose a two-step Newton's method for refining an approximation of a singular zero whose deflation process terminates after one step, also known as a deflation-one singularity. Given an isolated singular zero of a square analytic system, our algorithm exploits an invertible linear operator obtained by combining the Jacobian and a projection of the Hessian in the direction of the kernel of the Jacobian. We prove the quadratic convergence of the two-step Newton method when it is applied to an approximation of a deflation-one singular zero. Also, the algorithm requires a smaller size of matrices than the existing methods, making it more efficient. We demonstrate examples and experiments to show the efficiency of the method.
△ Less
Submitted 24 January, 2024; v1 submitted 18 May, 2023;
originally announced May 2023.
-
The non-Archimedean Nirgendsnegativsemidefinitheitsstellensatz is not true
Authors:
Hao Liang,
Sizhuo Yan,
Jianting Yang,
Lihong Zhi
Abstract:
Klep and Schweighofer asked whether the Nirgendsnegativsemide-finitheitsstellensatz holds for a symmetric noncommutative polynomial whose evaluations at bounded self-adjoint operators on any nontrivial Hilbert space are not negative semidefinite. We provide an example to show the open problem has a negative answer.
Klep and Schweighofer asked whether the Nirgendsnegativsemide-finitheitsstellensatz holds for a symmetric noncommutative polynomial whose evaluations at bounded self-adjoint operators on any nontrivial Hilbert space are not negative semidefinite. We provide an example to show the open problem has a negative answer.
△ Less
Submitted 12 May, 2023; v1 submitted 10 March, 2023;
originally announced March 2023.
-
A Field-Theoretic View of Unlabeled Sensing
Authors:
Hao Liang,
Jingyu Lu,
Manolis C. Tsakiris,
Lihong Zhi
Abstract:
Unlabeled sensing is the problem of solving a linear system of equations, where the right-hand-side vector is known only up to a permutation. In this work, we study fields of rational functions related to symmetric polynomials and their images under a linear projection of the variables; as a consequence, we establish that the solution to an n-dimensional unlabeled sensing problem with generic data…
▽ More
Unlabeled sensing is the problem of solving a linear system of equations, where the right-hand-side vector is known only up to a permutation. In this work, we study fields of rational functions related to symmetric polynomials and their images under a linear projection of the variables; as a consequence, we establish that the solution to an n-dimensional unlabeled sensing problem with generic data can be obtained as the unique solution to a system of n + 1 polynomial equations of degrees 1, 2, . . . , n + 1 in n unknowns. Besides the new theoretical insights, this development offers the potential for scaling up algebraic unlabeled sensing algorithms.
△ Less
Submitted 4 November, 2024; v1 submitted 2 March, 2023;
originally announced March 2023.
-
A Characterization of Perfect Strategies for Mirror Games
Authors:
Sizhuo Yan,
Jianting Yang,
Tianshi Yu,
Lihong Zhi
Abstract:
We associate mirror games with the universal game algebra and use the *-representation to describe quantum commuting operator strategies. We provide an algebraic characterization of whether or not a mirror game has perfect commuting operator strategies. This new characterization uses a smaller algebra introduced by Paulsen and others for synchronous games and the noncommutative Nullstellensatz dev…
▽ More
We associate mirror games with the universal game algebra and use the *-representation to describe quantum commuting operator strategies. We provide an algebraic characterization of whether or not a mirror game has perfect commuting operator strategies. This new characterization uses a smaller algebra introduced by Paulsen and others for synchronous games and the noncommutative Nullstellensatz developed by Cimpric, Helton and collaborators. An algorithm based on noncommutative Gröbner basis computation and semidefinite programming is given for certifying that a given mirror game has no perfect commuting operator strategies.
△ Less
Submitted 11 May, 2023; v1 submitted 9 February, 2023;
originally announced February 2023.
-
Lower Bounds of Functions on Finite Abelian Groups
Authors:
Jiangting Yang,
Ke Ye,
Lihong Zhi
Abstract:
The problem of computing the optimum of a function on a finite set is an important problem in mathematics and computer science. Many combinatorial problems such as MAX-SAT and MAXCUT can be recognized as optimization problems on the hypercube $C_2^n = \{-1,1\}^n$ consisting of $2^n$ points. It has been noticed that if a finite set is equipped with an abelian group structure, then one can efficient…
▽ More
The problem of computing the optimum of a function on a finite set is an important problem in mathematics and computer science. Many combinatorial problems such as MAX-SAT and MAXCUT can be recognized as optimization problems on the hypercube $C_2^n = \{-1,1\}^n$ consisting of $2^n$ points. It has been noticed that if a finite set is equipped with an abelian group structure, then one can efficiently certify nonnegative functions on it by Fourier sum of squares (FSOS). Motivated by these works, this paper is devoted to developing a framework to find a lower bound of a function on a finite abelian group efficiently. We implement our algorithm by the SDP solver SDPNAL+ for computing the verified lower bound of $f$ on $G$ and test it on the MAX-2SAT and
MAX-3SAT benchmark problems from the Max-SAT competitions in 2009 and 2016. Beyond that, we also test our algorithm on random functions on $C_3^n$. These experiments demonstrate the advantage of our algorithm over previously known methods.
△ Less
Submitted 4 February, 2023;
originally announced February 2023.
-
The integral closure of a primary ideal is not always primary
Authors:
Nan Li,
Zijia Li,
Zhi-Hong Yang,
Lihong Zhi
Abstract:
In 1936, Krull asked if the integral closure of a primary ideal is still primary. Fifty years later, Huneke partially answered this question by giving a primary polynomial ideal whose integral closure is not primary in a regular local ring of characteristic $p=2$. We provide counterexamples to Krull's question regarding polynomial rings with any characteristics. We also find that the Jacobian idea…
▽ More
In 1936, Krull asked if the integral closure of a primary ideal is still primary. Fifty years later, Huneke partially answered this question by giving a primary polynomial ideal whose integral closure is not primary in a regular local ring of characteristic $p=2$. We provide counterexamples to Krull's question regarding polynomial rings with any characteristics. We also find that the Jacobian ideal $J$ of the polynomial $f = x^6 + y^6 + x^4 z t + z^3$ given by Briançon and Speder in 1975 is a counterexample to Krull's question. Let $V_1$ be the hypersurface defined by $f = 0$ and $V_2$ be its singular locus. Briançon and Speder proved that Whitney equisingularity does not imply Zariski equisingularity by showing that the pair $(V_1 \setminus V_2,\ V_2)$ satisfies Whitney's conditions around the origin but fails Zariski's equisingular conditions. We discover that the pair $(V_1 \setminus V_2,\ V_2)$ fails Whitney's conditions at the variety of the embedded prime of the integral closure $\bar{J}$, which means that $V_1$ is not Whitney regular along $V_2$. Moreover, we also show that Whitney stratification of this hypersurface is different from the stratification of isosingular sets given by Hauenstein and Wampler, which is related to Thom-Boardman singularity.
△ Less
Submitted 16 November, 2022; v1 submitted 30 October, 2022;
originally announced October 2022.
-
Sparse sum of Hermitian squares in group algebras of finite groups
Authors:
Jianting Yang,
Ke Ye,
Lihong Zhi
Abstract:
Non-negative elements in group algebras play a crucial role in the study of functions, measures and operators. This paper focuses on the sum of Hermitian squares (SOHS) of non-negative elements in group algebras of finite groups. We first prove that for a given non-negative element, the optimal solution of the convex relaxation of the sparse SOHS problem is precisely its square root. Then we propo…
▽ More
Non-negative elements in group algebras play a crucial role in the study of functions, measures and operators. This paper focuses on the sum of Hermitian squares (SOHS) of non-negative elements in group algebras of finite groups. We first prove that for a given non-negative element, the optimal solution of the convex relaxation of the sparse SOHS problem is precisely its square root. Then we propose a hierarchy for the sparse SOHS problem, and we analyze the error of the hierarchy with respect to two types of residuals. Notably, we prove that both errors decay exponentially. Moreover, we show that for one type of error, the decay rate is independent of the order of the group. For the other type, we demonstrate that the rate is also independent of the group order, provided that the group is cyclic or dihedral.
△ Less
Submitted 1 July, 2025; v1 submitted 17 July, 2022;
originally announced July 2022.
-
Extensions of S-Lemma for Noncommutative Polynomials
Authors:
Feng Guo,
Sizhuo Yan,
Lihong Zhi
Abstract:
We consider the problem of extending the classical S-lemma from commutative case to noncommutative cases. We show that a symmetric quadratic homogeneous matrix-valued polynomial is positive semidefinite if and only if its coefficient matrix is positive semidefinite. Then we extend the S-lemma to three kinds of noncommutative polynomials: noncommutative polynomials whose coefficients are real numbe…
▽ More
We consider the problem of extending the classical S-lemma from commutative case to noncommutative cases. We show that a symmetric quadratic homogeneous matrix-valued polynomial is positive semidefinite if and only if its coefficient matrix is positive semidefinite. Then we extend the S-lemma to three kinds of noncommutative polynomials: noncommutative polynomials whose coefficients are real numbers, matrix-valued noncommutative polynomials and hereditary polynomials.
△ Less
Submitted 4 July, 2022; v1 submitted 2 July, 2022;
originally announced July 2022.
-
Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time
Authors:
Jianting Yang,
Ke Ye,
Lihong Zhi
Abstract:
The problem of verifying the nonnegativity of a function on a finite abelian group is a long-standing challenging problem. The basic theory of representation theory of finite groups indicates that a function $f$ on a finite abelian group $G$ can be written as a linear combination of characters of irreducible representations of $G$ by $ f(x)=\sum_{χ\in \widehat{G}} \widehat{f} (χ)χ(x)$, where…
▽ More
The problem of verifying the nonnegativity of a function on a finite abelian group is a long-standing challenging problem. The basic theory of representation theory of finite groups indicates that a function $f$ on a finite abelian group $G$ can be written as a linear combination of characters of irreducible representations of $G$ by $ f(x)=\sum_{χ\in \widehat{G}} \widehat{f} (χ)χ(x)$, where $\widehat{G}$ is the dual group of $G$ consisting of all characters of $G$ and $ \widehat{f} (χ)$ is the Fourier coefficient of $f$ at $χ\in \widehat{G}$. In this paper, we show that by performing the fast (inverse) Fourier transform, we are able to compute a sparse Fourier sum of squares (FSOS) certificate of $f$ on a finite abelian group $G$ with complexity \if $\operatorname{O}\left(|G| \log(|G|)+\log(k_{\min})\operatorname{SDP}(2k_{\min})\right)$,\fi that is quasi-linear in the order of $G$ and polynomial in the FSOS sparsity \if $k_{\min}$\fi of $f$. Moreover, for a nonnegatvie function $f$ on a finite abelian group $G$ and a set $S \subset \widehat{G}$, we give a lower bound of the constant $M$ such that $f+M$ admits an FSOS supported on} $S$. We demonstrate the efficiency of the proposed algorithm by numerical experiments on various abelian groups of orders up to $10^7$. As applications, we also solve some combinatorial optimization problems and the sum of Hermitian squares (SOHS) problem \if on $\mathbb{T}^n$\fi by sparse FSOS.
△ Less
Submitted 26 October, 2023; v1 submitted 11 January, 2022;
originally announced January 2022.
-
Symmetric Tensor Decompositions On Varieties
Authors:
Jiawang Nie,
Ke Ye,
Lihong Zhi
Abstract:
This paper discusses the problem of symmetric tensor decomposition on a given variety $X$: decomposing a symmetric tensor into the sum of tensor powers of vectors contained in $X$. In this paper, we first study geometric and algebraic properties of such decomposable tensors, which are crucial to the practical computations of such decompositions. For a given tensor, we also develop a criterion for…
▽ More
This paper discusses the problem of symmetric tensor decomposition on a given variety $X$: decomposing a symmetric tensor into the sum of tensor powers of vectors contained in $X$. In this paper, we first study geometric and algebraic properties of such decomposable tensors, which are crucial to the practical computations of such decompositions. For a given tensor, we also develop a criterion for the existence of a symmetric decomposition on $X$. Secondly and most importantly, we propose a method for computing symmetric tensor decompositions on an arbitrary $X$. As a specific application, Vandermonde decompositions for nonsymmetric tensors can be computed by the proposed algorithm.
△ Less
Submitted 22 March, 2020;
originally announced March 2020.
-
On quantum Strassen's theorem
Authors:
Shmuel Friedland,
Jingtong Ge,
Lihong Zhi
Abstract:
Strassen's theorem circa 1965 gives necessary and sufficient conditions on the existence of a probability measure on two product spaces with given support and two marginals. In the case where each product space is finite Strassen's theorem is reduced to a linear programming problem which can be solved using flow theory. A density matrix of bipartite quantum system is a quantum analog of a probabil…
▽ More
Strassen's theorem circa 1965 gives necessary and sufficient conditions on the existence of a probability measure on two product spaces with given support and two marginals. In the case where each product space is finite Strassen's theorem is reduced to a linear programming problem which can be solved using flow theory. A density matrix of bipartite quantum system is a quantum analog of a probability matrix on two finite product spaces. Partial traces of the density matrix are analogs of marginals. The support of the density matrix is its range. The analog of Strassen's theorem in this case can be stated and solved using semidefinite programming. The aim of this paper is to give analogs of Strassen's theorem to density trace class operators on a product of two separable Hilbert spaces, where at least one of the Hilbert spaces is infinite dimensional.
△ Less
Submitted 28 July, 2020; v1 submitted 14 May, 2019;
originally announced May 2019.
-
On isolation of singular zeros of multivariate analytic systems
Authors:
Kisun Lee,
Nan Li,
Lihong Zhi
Abstract:
We give a separation bound for an isolated multiple root $x$ of a square multivariate analytic system $f$ satisfying that an operator deduced by adding $Df(x)$ and a projection of $D^2f(x)$ in a direction of the kernel of $Df(x)$ is invertible. We prove that the deflation process applied on $f$ and this kind of roots terminates after only one iteration. When $x$ is only given approximately, we giv…
▽ More
We give a separation bound for an isolated multiple root $x$ of a square multivariate analytic system $f$ satisfying that an operator deduced by adding $Df(x)$ and a projection of $D^2f(x)$ in a direction of the kernel of $Df(x)$ is invertible. We prove that the deflation process applied on $f$ and this kind of roots terminates after only one iteration. When $x$ is only given approximately, we give a numerical criterion for isolating a cluster of zeros of $f$ near $x$. We also propose a lower bound of the number of roots in the cluster.
△ Less
Submitted 18 May, 2023; v1 submitted 16 April, 2019;
originally announced April 2019.
-
Computing Simple Multiple Zeros of Polynomial Systems
Authors:
Zhiwei Hao,
Wenrong Jiang,
Nan Li,
Lihong Zhi
Abstract:
Given a polynomial system f associated with a simple multiple zero x of multiplicity μ, we give a computable lower bound on the minimal distance between the simple multiple zero x and other zeros of f. If x is only given with limited accuracy, we propose a numerical criterion that f is certified to have μ zeros (counting multiplicities) in a small ball around x. Furthermore, for simple double zero…
▽ More
Given a polynomial system f associated with a simple multiple zero x of multiplicity μ, we give a computable lower bound on the minimal distance between the simple multiple zero x and other zeros of f. If x is only given with limited accuracy, we propose a numerical criterion that f is certified to have μ zeros (counting multiplicities) in a small ball around x. Furthermore, for simple double zeros and simple triple zeros whose Jacobian is of normalized form, we define modified Newton iterations and prove the quantified quadratic convergence when the starting point is close to the exact simple multiple zero. For simple multiple zeros of arbitrary multiplicity whose Jacobian matrix may not have a normalized form, we perform unitary transformations and modified Newton iterations, and prove its non-quantified quadratic convergence and its quantified convergence for simple triple zeros.
△ Less
Submitted 11 March, 2017;
originally announced March 2017.
-
Lifts of Non-compact Convex Sets and Cone Factorizations
Authors:
Chu Wang,
Lihong Zhi
Abstract:
In this paper we generalize the factorization theorem of Gouveia, Parrilo and Thomas to a broader class of convex sets. Given a general convex set, we define a slack operator associated to the set and its polar according to whether the convex set is full dimensional, whether it is a translated cone and whether it contains lines. We strengthen the condition of a cone lift by requiring not only the…
▽ More
In this paper we generalize the factorization theorem of Gouveia, Parrilo and Thomas to a broader class of convex sets. Given a general convex set, we define a slack operator associated to the set and its polar according to whether the convex set is full dimensional, whether it is a translated cone and whether it contains lines. We strengthen the condition of a cone lift by requiring not only the convex set is the image of an affine slice of a given closed convex cone, but also its recession cone is the image of the linear slice of the closed convex cone. We show that the generalized lift of a convex set can also be characterized by the cone factorization of a properly defined slack operator.
△ Less
Submitted 31 December, 2014;
originally announced January 2015.
-
Semidefinite representations of non-compact convex sets
Authors:
Feng Guo,
Chu Wang,
Lihong Zhi
Abstract:
We consider the problem of the semidefinite representation of a class of non-compact basic semialgebraic sets. We introduce the conditions of pointedness and closedness at infinity of a semialgebraic set and show that under these conditions our modified hierarchies of nested theta bodies and Lasserre's relaxations converge to the closure of the convex hull of $S$. Moreover, if the PP-BDR property…
▽ More
We consider the problem of the semidefinite representation of a class of non-compact basic semialgebraic sets. We introduce the conditions of pointedness and closedness at infinity of a semialgebraic set and show that under these conditions our modified hierarchies of nested theta bodies and Lasserre's relaxations converge to the closure of the convex hull of $S$. Moreover, if the PP-BDR property is satisfied, our theta body and Lasserre's relaxation are exact when the order is large enough; if the PP-BDR property does not hold, our hierarchies convergent uniformly to the closure of the convex hull of $S$ restricted to every fixed ball centered at the origin. We illustrate through a set of examples that the conditions of pointedness and closedness are essential to ensure the convergence. Finally, we provide some strategies to deal with cases where the conditions of pointedness and closedness are violated.
△ Less
Submitted 24 February, 2014; v1 submitted 9 January, 2014;
originally announced January 2014.
-
A certificate for semidefinite relaxations in computing positive dimensional real varieties
Authors:
Yue Ma,
Chu Wang,
Lihong Zhi
Abstract:
For an ideal I with a positive dimensional real variety, based on moment relaxations, we study how to compute a Pommaret basis which is simultaneously a Groebner basis of an ideal J generated by the kernel of a truncated moment matrix and nesting between I and its real radical ideal. We provide a certificate consisting of a condition on coranks of moment matrices for terminating the algorithm. For…
▽ More
For an ideal I with a positive dimensional real variety, based on moment relaxations, we study how to compute a Pommaret basis which is simultaneously a Groebner basis of an ideal J generated by the kernel of a truncated moment matrix and nesting between I and its real radical ideal. We provide a certificate consisting of a condition on coranks of moment matrices for terminating the algorithm. For a generic delta-regular coordinate system, we prove that the condition is satisfiable in a large enough order of moment relaxations.
△ Less
Submitted 20 December, 2012;
originally announced December 2012.
-
Verified Error Bounds for Isolated Singular Solutions of Polynomial Systems
Authors:
Nan Li,
Lihong Zhi
Abstract:
In this paper, we generalize the algorithm described by Rump and Graillat, as well as our previous work on certifying breadth-one singular solutions of polynomial systems, to compute verified and narrow error bounds such that a slightly perturbed system is guaranteed to possess an isolated singular solution within the computed bounds. Our new verification method is based on deflation techniques us…
▽ More
In this paper, we generalize the algorithm described by Rump and Graillat, as well as our previous work on certifying breadth-one singular solutions of polynomial systems, to compute verified and narrow error bounds such that a slightly perturbed system is guaranteed to possess an isolated singular solution within the computed bounds. Our new verification method is based on deflation techniques using smoothing parameters. We demonstrate the performance of the algorithm for systems with singular solutions of multiplicity up to hundreds.
△ Less
Submitted 19 December, 2012;
originally announced December 2012.
-
Certificates of Impossibility of Hilbert-Artin Representations of a Given Degree for Definite Polynomials and Functions
Authors:
Feng Guo,
Erich L. Kaltofen,
Lihong Zhi
Abstract:
We deploy numerical semidefinite programming and conversion to exact rational inequalities to certify that for a positive semidefinite input polynomial or rational function, any representation as a fraction of sums-of-squares of polynomials with real coefficients must contain polynomials in the denominator of degree no less than a given input lower bound. By Artin's solution to Hilbert's 17th prob…
▽ More
We deploy numerical semidefinite programming and conversion to exact rational inequalities to certify that for a positive semidefinite input polynomial or rational function, any representation as a fraction of sums-of-squares of polynomials with real coefficients must contain polynomials in the denominator of degree no less than a given input lower bound. By Artin's solution to Hilbert's 17th problems, such representations always exist for some denominator degree. Our certificates of infeasibility are based on the generalization of Farkas's Lemma to semidefinite programming.
The literature has many famous examples of impossibility of SOS representability including Motzkin's, Robinson's, Choi's and Lam's polynomials, and Reznick's lower degree bounds on uniform denominators, e.g., powers of the sum-of-squares of each variable. Our work on exact certificates for positive semidefiniteness allows for non-uniform denominators, which can have lower degree and are often easier to convert to exact identities. Here we demonstrate our algorithm by computing certificates of impossibilities for an arbitrary sum-of-squares denominator of degree 2 and 4 for some symmetric sextics in 4 and 5 variables, respectively. We can also certify impossibility of base polynomials in the denominator of restricted term structure, for instance as in Landau's reduction by one less variable.
△ Less
Submitted 1 March, 2012;
originally announced March 2012.
-
Verified Error Bounds for Isolated Singular Solutions of Polynomial Systems: Case of Breadth One
Authors:
Nan Li,
Lihong Zhi
Abstract:
In this paper we describe how to improve the performance of the symbolic-numeric method in (Li and Zhi,2009, 2011) for computing the multiplicity structure and refining approximate isolated singular solutions in the breadth one case. By introducing a parameterized and deflated system with smoothing parameters, we generalize the algorithm in (Rump and Graillat, 2009) to compute verified error bound…
▽ More
In this paper we describe how to improve the performance of the symbolic-numeric method in (Li and Zhi,2009, 2011) for computing the multiplicity structure and refining approximate isolated singular solutions in the breadth one case. By introducing a parameterized and deflated system with smoothing parameters, we generalize the algorithm in (Rump and Graillat, 2009) to compute verified error bounds such that a slightly perturbed polynomial system is guaranteed to have a breadth-one multiple root within the computed bounds.
△ Less
Submitted 17 January, 2012;
originally announced January 2012.
-
The Minimum-Rank Gram Matrix Completion via Modified Fixed Point Continuation Method
Authors:
Yue Ma,
Lihong Zhi
Abstract:
The problem of computing a representation for a real polynomial as a sum of minimum number of squares of polynomials can be casted as finding a symmetric positive semidefinite real matrix (Gram matrix) of minimum rank subject to linear equality constraints.
In this paper, we propose algorithms for solving the minimum-rank Gram matrix completion problem, and show the convergence of these algorith…
▽ More
The problem of computing a representation for a real polynomial as a sum of minimum number of squares of polynomials can be casted as finding a symmetric positive semidefinite real matrix (Gram matrix) of minimum rank subject to linear equality constraints.
In this paper, we propose algorithms for solving the minimum-rank Gram matrix completion problem, and show the convergence of these algorithms. Our methods are based on the modified fixed point continuation (FPC) method. We also use the Barzilai-Borwein (BB) technique and a specific linear combination of two previous iterates to accelerate the convergence of modified FPC algorithms. We demonstrate the effectiveness of our algorithms for computing approximate and exact rational sum of squares (SOS) decompositions of polynomials with rational coefficients.
△ Less
Submitted 26 January, 2011; v1 submitted 30 November, 2010;
originally announced November 2010.
-
Computing Isolated Singular Solutions of Polynomial Systems: Case of Breadth One
Authors:
Nan Li,
Lihong Zhi
Abstract:
We present a symbolic-numeric method to refine an approximate isolated singular solution $\hat{\mathbf{x}}=(\hat{x}_{1}, ..., \hat{x}_{n})$ of a polynomial system $F=\{f_1, ..., f_n\}$ when the Jacobian matrix of $F$ evaluated at $\hat{\mathbf{x}}$ has corank one approximately. Our new approach is based on the regularized Newton iteration and the computation of approximate Max Noether conditions s…
▽ More
We present a symbolic-numeric method to refine an approximate isolated singular solution $\hat{\mathbf{x}}=(\hat{x}_{1}, ..., \hat{x}_{n})$ of a polynomial system $F=\{f_1, ..., f_n\}$ when the Jacobian matrix of $F$ evaluated at $\hat{\mathbf{x}}$ has corank one approximately. Our new approach is based on the regularized Newton iteration and the computation of approximate Max Noether conditions satisfied at the approximate singular solution. The size of matrices involved in our algorithm is bounded by $n \times n$. The algorithm converges quadratically if $\hat{\xx}$ is close to the isolated exact singular solution.
△ Less
Submitted 10 March, 2011; v1 submitted 31 July, 2010;
originally announced August 2010.
-
Computing rational points in convex semi-algebraic sets and SOS decompositions
Authors:
Mohab Safey El Din,
Lihong Zhi
Abstract:
Let ${\cal P}=\{h_1, ..., h_s\}\subset \Z[Y_1, ..., Y_k]$, $D\geq °(h_i)$ for $1\leq i \leq s$, $σ$ bounding the bit length of the coefficients of the $h_i$'s, and $Φ$ be a quantifier-free ${\cal P}$-formula defining a convex semi-algebraic set. We design an algorithm returning a rational point in ${\cal S}$ if and only if ${\cal S}\cap \Q\neq\emptyset$. It requires $σ^{\bigO(1)}D^{\bigO(k^3)}$…
▽ More
Let ${\cal P}=\{h_1, ..., h_s\}\subset \Z[Y_1, ..., Y_k]$, $D\geq °(h_i)$ for $1\leq i \leq s$, $σ$ bounding the bit length of the coefficients of the $h_i$'s, and $Φ$ be a quantifier-free ${\cal P}$-formula defining a convex semi-algebraic set. We design an algorithm returning a rational point in ${\cal S}$ if and only if ${\cal S}\cap \Q\neq\emptyset$. It requires $σ^{\bigO(1)}D^{\bigO(k^3)}$ bit operations. If a rational point is outputted its coordinates have bit length dominated by $σD^{\bigO(k^3)}$. Using this result, we obtain a procedure deciding if a polynomial $f\in \Z[X_1, >..., X_n]$ is a sum of squares of polynomials in $\Q[X_1, ..., X_n]$. Denote by $d$ the degree of $f$, $τ$ the maximum bit length of the coefficients in $f$, $D={{n+d}\choose{n}}$ and $k\leq D(D+1)-{{n+2d}\choose{n}}$. This procedure requires $τ^{\bigO(1)}D^{\bigO(k^3)}$ bit operations and the coefficients of the outputted polynomials have bit length dominated by $τD^{\bigO(k^3)}$.
△ Less
Submitted 15 October, 2009;
originally announced October 2009.
