Related papers: A semiampleness criterion
We prove a gluing theorem which allows to construct an ample divisor on a rational surface from two given ample divisors on simpler surfaces. This theorem combined with the Cremona action on the ample cone gives rise to an algorithm for…
In this paper, we introduce multiplicative semiderivation and we investigate the commutativity of semiprime rings satisfying certain conditions and identities involving multiplicative semiderivations on a nonzero ideal I of a ring R.
We prove a semisimplicity criterion for a large class of algebras by a new method. This can be applied to Brauer, BMW, and $q$-Brauer algebras.
A positive integer $n$ is practical if every $m \leq n$ can be written as a sum of distinct divisors of $n$. One can generalize the concept of practical numbers by applying an arithmetic function $f$ to each of the divisors of $n$ and…
This short article is aimed at educators and teachers of mathematics.Its goal is simple and direct:to explore some of the basic/elementary properties of proper rational numbers.A proper rational number is a rational which is not an integer.…
We study the connectedness of the real locus of smooth geometrically rational Fano threefolds and prove a sufficient criterion of $\mathbb{R}$-rationality.
We introduce a new notion of regularity of an estimator called median regularity. We prove that uniformly valid (honest) inference for a functional is possible if and only if there exists a median regular estimator of that functional. To…
We give a criterion for a quasi-ordinary polynomial to be irreducible. The criterion is based on the notion of approximate roots and that of generalized Newton polygons.
For any semiring, the concept of k-congruences is introduced, criteria for k-congruences are established, it is proved that there is an inclusion-preserving bijection between k-congruences and k-ideals, and an equivalent condition for the…
Recently in Reference [ quant-ph/0202121] a computational criterion of separability induced by greatest cross norm is proposed by Rudolph. There, Rudolph conjectured that the new criterion is not weaker than positive partial transpose…
We establish a criterion for a complex number to be algebraic over Q of degree at most two. It requires that, for any sufficiently large real number X, there exists a non-zero polynomial with integral coefficients, of degree at most two and…
A rational triangle is a triangle with sides of rational lengths. In this short note, we prove that there exists a unique pair of a rational right triangle and a rational isosceles triangle which have the same perimeter and the same area.…
Given a nonnegative matrix M with rational entries, we consider two quantities: the usual positive semidefinite (psd) rank, where the matrix is factored through the cone of real symmetric psd matrices, and the rational-restricted psd rank,…
In this paper, we gave some explicit relations between absolute and relative Gromov-Witten invariants. We proved that a symplectic manifold is symplectic rationally connected if it contains a positive divisor symplectomorphic to $P^n$.
A new understanding of the notion of regularizer is proposed. It is argued that this new notion is more realistic than the old one and better fits the practical computational needs. An example of the regularizer in the new sense is given. A…
We show the existence of prime divisors computing minimal log discrepancies in positive characteristic except for a special case. Moreover we prove the lower semicontinuity of minimal log discrepancies for smooth varieties in positive…
Employing a recently proposed separability criterion we develop analytical lower bounds for the concurrence and for the entanglement of formation of bipartite quantum systems. The separability criterion is based on a nondecomposable…
A semi-process is an analog of the semi-flow for non-autonomous differential equations or inclusions. We prove an abstract result on the existence of measurable semi-processes in the situations where there is no uniqueness. Also, we allow…
Let $C$ be a smooth genus one curve described by a quartic polynomial equation over the rational field $\mathbb Q$ with $P\in C(\mathbb Q)$. We give an explicit criterion for the divisibility-by-$2$ of a rational point on the elliptic curve…
We present criteria for deciding whether a bivariate rational function in two variables can be written as a sum of two (q-)differences of bivariate rational functions. Using these criteria, we show how certain double sums can be evaluated,…