Source author record

Zongsheng Gao

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

5works
4topics
3close collaborators

Published work

5 publications

preprint2013arXiv

A novel weighting scheme for random kk-SAT

Consider a random kk-CNF formula Fk(n,rn)F_{k}(n, rn) with nn variables and rnrn clauses. For every truth assignment σ∈{0,1}nσ\in \{0, 1\}^{n} and every clause c=ℓ1∨⋯∨ℓkc=\ell_{1}\vee\cdots\vee\ell_{k}, let d=d(σ,c)d=d(σ, c) be the number of satisfied literal occurrences in cc under σσ. For fixed β>−1β>-1 and λ>0λ>0, we take ω(σ,c)=0ω(σ, c)=0, if d=0d=0; ω(σ,c)=λ(1+β)ω(σ, c)=λ(1+β), if d=1d=1 and ω(σ,c)=λdω(σ, c)=λ^{d}, if d>1d>1. Applying the above weighting scheme, we get that if Fk(n,rn)F_{k}(n, rn) is unsatisfiable with probability tending to one as n→∞n\rightarrow\infty, then r≥2.83,8.09,18.91,40.81,84.87r\geq2.83, 8.09, 18.91, 40.81, 84.87 for k=3,4,5,6k=3, 4, 5, 6 and 7,7, respectively.

preprint2011arXiv

Characterizations of operator order for k strictly positive operators

Let Ai (i=1,2,...,k)A_{i}\ (i=1, 2, ..., k) be bounded linear operators on a Hilbert space. This paper aims to show characterizations of operator order Ak≥Ak−1≥...≥A2≥A1>0A_{k}\geq A_{k-1}\geq...\geq A_{2}\geq A_{1}>0 in terms of operator inequalities. Afterwards, an application of the characterizations is given to operator equalities due to Douglas's majorization and factorization theorem.

preprint2011arXiv

Further development of positive semidefinite solutions of the operator equation ∑j=1nAn−jXAj−1=B\sum_{j=1}^{n}A^{n-j}XA^{j-1}=B

In \cite{Positive semidefinite solutions}, T. Furuta discusses the existence of positive semidefinite solutions of the operator equation ∑j=1nAn−jXAj−1=B\sum_{j=1}^{n}A^{n-j}XA^{j-1}=B. In this paper, we shall apply Grand Furuta inequality to study the operator equation. A generalized special type of BB is obtained due to \cite{Positive semidefinite solutions}.

preprint2011arXiv

Operator inequalities dealing with operator equations

In this paper, we study the existence of solutions of some kinds of operator equations via operator inequalities. First, we investigate characterizations of operator order A⩾B>0A\geqslant B >0 and chaotic operator order log A⩾A \geqslant log BB for positive definite operators AA, BB in terms of operator equations, and generalize the results in \cite{CSLin}. Then, we introduce applications of complete form of Furuta inequality in operator equations. Some kinds of operator equations are researched and related characterizations of solutions are proved.

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.