
The concept of open weak CAD is introduced. Every open CAD is an open weak
CAD. On the contrary, an open weak CAD is not necessarily an open CAD. An
algorithm for computing projection polynomials of open weak CADs is proposed.
The key idea is to compute the intersection of projection factor sets produced
by different projection orders. The resulting open weak CAD often has smaller
number of sample points than open CADs. The algorithm can be used for computing
sample points for all open connected components of $ f\neq0$ for a given
polynomial $f$. It can also be used for many other applications, such as
testing semidefiniteness of polynomials and copositive problems. In fact, we
solved several difficult semidefiniteness problems efficiently by using the
algorithm. Furthermore, applying the algorithm to copositive problems, we find
an explicit expression of the polynomials producing open weak CADs under some
conditions, which significantly improves the efficiency of solving copositive
problems.

We prove that rationally connected CalabiYau $3$folds with kawamata log
terminal (klt) singularities form a birationally bounded family, or more
generally, rationally connected $3$folds of $\epsilon$CY type form a
birationally bounded family for $\epsilon>0$. Moreover, we show that the set of
$\epsilon$lc log CalabiYau pairs $(X, B)$ with coefficients of $B$ bounded
away from zero is log bounded modulo flops. As a consequence, we deduce that
rationally connected klt CalabiYau $3$folds with mld bounded away from $1$
are bounded modulo flops.

Let $(X,\Delta)$ be a log pair over $S$, such that $(K_X+\Delta)$ is nef
over $S$. It is conjectured that the intersection of the nonklt locus of
$(X,\Delta)$ with any fiber $X_s$ has at most two connected components. We
prove this conjecture in dimension $\leq 4$ and in arbitrary dimension assuming
the termination of klt flips.

We show that the log canonical threshold polytopes of varieties with log
canonical singularities satisfy the ascending chain condition.

We show Fujita's spectrum conjecture for $\epsilon$log canonical pairs and
Fujita's log spectrum conjecture for log canonical pairs. Then, we generalize
the pseudoeffective threshold of a single divisor to multiple divisors and
establish the analogous finiteness and the DCC properties.

In this paper, we study the relationship between iterated resultant and
multivariate discriminant. We show that, for generic form $f(X_n)$ with even
degree $d$, if the polynomial is squarefreed after each iteration, the
multivariate discriminant $\Delta(f)$ is a factor of the squarefreed iterated
resultant. In fact, we find a factor $Hp(f,[x_1,\ldots,x_n])$ of the
squarefreed iterated resultant, and prove that the multivariate discriminant
$\Delta(f)$ is a factor of $Hp(f,[x_1,\ldots,x_n])$. Moreover, we conjecture
that $Hp(f,[x_1,\ldots,x_n])=\Delta(f)$ holds for generic form $f$, and show
that it is true for generic trivariate form $f(x,y,z)$.

A new projection operator based on cylindrical algebraic decomposition (CAD)
is proposed. The new operator computes the intersection of projection factor
sets produced by different CAD projection orders. In other words, it computes
the gcd of projection polynomials in the same variables produced by different
CAD projection orders. We prove that the new operator still guarantees
obtaining at least one sample point from every connected component of the
highest dimension, and therefore, can be used for testing semidefiniteness of
polynomials. Although the complexity of the new method is still doubly
exponential, in many cases, the new operator does produce smaller projection
factor sets and fewer open cells. Some examples of testing semidefiniteness of
polynomials, which are difficult to be solved by existing tools, have been
worked out efficiently by our program based on the new method.

Let $\xx_n=(x_1,\ldots,x_n)$ and $f\in \R[\xx_n,k]$. The problem of finding
all $k_0$ such that $f(\xx_n,k_0)\ge 0$ on $\mathbb{R}^n$ is considered in this
paper, which obviously takes as a special case the problem of computing the
global infimum or proving the semidefiniteness of a polynomial.
For solving the problems, we propose a simplified Brown's CAD projection
operator, \Nproj, of which the projection scale is always no larger than that
of Brown's. For many problems, the scale is much smaller than that of Brown's.
As a result, the lifting phase is also simplified. Some new algorithms based on
\Nproj\ for solving those problems are designed and proved to be correct.
Comparison to some existing tools on some examples is reported to illustrate
the effectiveness of our new algorithms.

Quantifier elimination of positive semidefinite cyclic ternary quartic forms
is studied in this paper. We solve the problem by the theory of complete
discrimination systems, function \RealTriangularize in Maple15 and the
socalled Criterions on Equality of Symmetric Inequalities method. The
equivalent simple quantifierfree formula is proposed and is difficult to
obtain automatically by previous methods or quantifier elimination tools.