1 citations · 1 across the 7 of their papers we have counts for
8 papers
On the asymptotic Makar-Limanov rank conjecture
SiZhuo Yan, Hao Shen, Jianting Yang
Let be an algebraically closed field of characteristic zero and let be a nonconstant polynomial in finitely many freely noncommuting variables. We prove the asymptotic…
Noncommutative Rational Sums of Squares in Free Algebras
Sizhuo Yan, Jianting Yang, Lihong Zhi
This paper introduces rational sums of squares for symmetric noncommutative polynomials in free algebras. Under the assumption that the polynomial admits a strictly positive scalar…
A Homogeneous Nullstellensatz for Joint Invariant Subspaces
Sizhuo Yan, Jianting Yang, Lihong Zhi
Jurij Volčič conjectured that a noncommutative polynomial belongs to the unital -algebra generated by finitely many noncommutative polynomials if and only if, for m…
Verifying Properties of Binary Neural Networks Using Sparse Polynomial Optimization
Jianting Yang, Srećko Ðurašinović, Jean-Bernard Lasserre +2
This paper explores methods for verifying the properties of Binary Neural Networks (BNNs), focusing on robustness against adversarial attacks. Despite their lower computational and…
The non-Archimedean Nirgendsnegativsemidefinitheitsstellensatz is not true
Hao Liang, Sizhuo Yan, Jianting Yang +1
Klep and Schweighofer asked whether the Nirgendsnegativsemide-finitheitsstellensatz holds for a symmetric noncommutative polynomial whose evaluations at bounded self-adjoint operat…
A Characterization of Perfect Strategies for Mirror Games
Sizhuo Yan, Jianting Yang, Tianshi Yu +1
We associate mirror games with the universal game algebra and use the *-representation to describe quantum commuting operator strategies. We provide an algebraic characterization o…
Sparse sum of Hermitian squares in group algebras of finite groups
Jianting Yang, Ke Ye, Lihong Zhi
Nonnegative elements in group algebras play a central role in harmonic analysis, operator algebras, and computational optimization. This paper investigates sparse sum-of-Hermitian-…
Computing sparse Fourier sum of squares on finite abelian groups in quasi-linear time
Jianting Yang, Ke Ye, Lihong Zhi
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 group…