
We propose a convenient orthogonal basis of the Hilbert space for the
IzerginKorepin model (or the quantum spin chain associated with the
$A^{(2)}_{2}$ algebra). It is shown that the monodromymatrix elements acting
on the basis take relatively simple forms (c.f. acting on the original basis ),
which is quite similar as that in the socalled Fbasis for the quantum spin
chains associated with $A$type (super)algebras. As an application, we present
the recursive expressions of Bethe states in the basis for the IzerginKorepin
model.

By combining the algebraic Bethe ansatz and the offdiagonal Bethe ansatz, we
investigate the trigonometric SU(3) model with generic open boundaries. The
eigenvalues of the transfer matrix are given in terms of an inhomogeneous TQ
relation, and the corresponding eigenstates are expressed in terms of nested
Bethetype eigenstates which have welldefined homogeneous limit. This exact
solution provides basis for further analyzing the thermodynamic properties and
correlation functions of the anisotropic models associated with higher rank
algebras.

By combining the algebraic Bethe ansatz and the offdiagonal Bethe ansatz, we
investigate the supersymmetric tJ model with generic open boundaries. The
eigenvalues of the transfer matrix are given in terms of an inhomogeneous TQ
relation, and the corresponding eigenstates are expressed in terms of nested
Bethe states which have welldefined homogeneous limit. This exact solution
provides basis for further analyzing the thermodynamic properties and
correlation functions of the model.

The periodic $Z_n$Belavin model on a lattice with an arbitrary number of
sites $N$ is studied via the offdiagonal Bethe Ansatz method (ODBA). The
eigenvalues of the corresponding transfer matrix are given in terms of an
unified inhomogeneous $TQ$ relation. In the special case of $N=nl$ with $l$
being also a positive integer, the resulting $TQ$ relation recovers the
homogeneous one previously obtained via algebraic Bethe Ansatz.

We report an inconsistency found in probability theory (also referred to as
measuretheoretic probability). For probability measures induced by realvalued
random variables, we deduce an "equality" such that one side of the "equality"
is a probability, but the other side is not. For probability measures induced
by extended random variables, we deduce an "equality" such that its two sides
are unequal probabilities. The deduced expressions are erroneous only when it
can be proved that measuretheoretic probability is a theory free from
contradiction. However, such a proof does not exist. The inconsistency appears
only in the theory rather than in the physical world, and will not affect
practical applications as long as ideal events in the theory (which will not
occur physically) are not mistaken for observable events in the real world.
Nevertheless, unlike known paradoxes in mathematics, the inconsistency cannot
be explained away and hence must be resolved. The assumption of infinite
additivity in the theory is relevant to the inconsistency, and may cause
confusion of ideal events and real events. As illustrated by an example in this
article, since abstract properties of mathematical entities in theoretical
thinking are not necessarily properties of physical quantities observed in the
real world, mistaking the former for the latter may lead to misinterpreting
random phenomena observed in experiments with microscopic systems. Actually the
inconsistency is due to the notion of "numbers" adopted in conventional
mathematics. A possible way to resolve the inconsistency is to treat "numbers"
from the viewpoint of constructive mathematics.

The nested offdiagonal Bethe ansatz is generalized to study the quantum spin
chain associated with the $SU_q(3)$ Rmatrix and generic integrable
nondiagonal boundary conditions. By using the fusion technique, certain closed
operator identities among the fused transfer matrices at the inhomogeneous
points are derived. The corresponding asymptotic behaviors of the transfer
matrices and their values at some special points are given in detail. Based on
the functional analysis, a nested inhomogeneous TQ relations and Bethe ansatz
equations of the system are obtained. These results can be naturally
generalized to cases related to the $SU_q(n)$ algebra.

An orthogonal basis of the Hilbert space for the quantum spin chain
associated with the su(3) algebra is introduced. Such kind of basis could be
treated as a nested generalization of separation of variables (SoV) basis for
highrank quantum integrable models. It is found that all the monodromymatrix
elements acting on a basis vector take simple forms. With the help of the
basis, we construct eigenstates of the su(3) inhomogeneous spin torus (the
trigonometric su(3) spin chain with antiperiodic boundary condition) from its
spectrum obtained via the offdiagonal Bethe Ansatz (ODBA). Based on small
sites (i.e. N=2) check, it is conjectured that the homogeneous limit of the
eigenstates exists, which gives rise to the corresponding eigenstates of the
homogenous model.

The trigonometric su(n) spin chain with antiperiodic boundary condition
(su(n) spin torus) is demonstrated to be YangBaxter integrable. Based on some
intrinsic properties of the Rmatrix, certain operator product identities of
the transfer matrix are derived. These identities and the asymptotic behavior
of the transfer matrix together allow us to obtain the exact eigenvalues in
terms of an inhomogeneous TQ relation via the offdiagonal Bethe Ansatz.

We reveal a contradiction in measuretheoretic probability. The contradiction
is an "equation" $1/2 = 0$ with its two sides representing probabilities.
Unlike known paradoxes in mathematics, the revealed contradiction cannot be
explained away and actually indicates that measuretheoretic probability is
inconsistent. Appearing only in the theory, the contradiction does not exist in
the physical world. So practical applications of measuretheoretic probability
will not be affected by the inconsistency as long as "ideal events" in the
theory (which will never occur physically) are not mistaken for real events in
the physical world. Nevertheless, the inconsistency must be resolved.
Constructive mathematics can avoid such inconsistency. There is no
contradiction reported in constructive mathematics.

The IzerginKorepin model with general nondiagonal boundary terms, a typical
integrable model beyond Atype and without U(1)symmetry, is studied via the
offdiagonal Bethe ansatz method. Based on some intrinsic properties of the
Rmatrix and the Kmatrices, certain operator product identities of the
transfer matrix are obtained at some special points of the spectral parameter.
These identities and the asymptotic behaviors of the transfer matrix together
allow us to construct the inhomogeneous TQ relation and the associated Bethe
ansatz equations. In the diagonal boundary limit, the reduced results coincide
exactly with those obtained via other methods.

A number has the "collective" property if the number is the greatest lower
bound of a bounded, strictly decreasing sequence on the real line. We prove
that numbers with the collective property constitute an empty set.

We show that some mathematical results and their negations are both
deducible. The derived contradictions indicate the inconsistency of current
mathematics.
This paper is an updated version of arXiv:math/0606635v3 with additional
results and proofs.

We present a unified algebraic Bethe ansatz for open vertex models which are
associated with the nonexceptional
$A^{(2)}_{2n},A^{(2)}_{2n1},B^{(1)}_n,C^{(1)}_n,D^{(1)}_{n}$ Lie algebras.
By the method, we solve these models with the trivial K matrix and find that
our results agree with that obtained by analytical
Bethe ansatz. We also solve the $B^{(1)}_n,C^{(1)}_n,D^{(1)}_{n}$ models with
some nontrivial diagonal Kmatrices (one free parameter case) by the algebraic
Bethe ansatz.

(A pointbypoint response to a comment (quantph/0509130) on our paper
(quantph/0509089) is added as Appendix C. We find the comment incorrect.)
Einstein's criticism of the Copenhagen interpretation of quantum mechanics is
an important part of his legacy. Although most physicists consider Einstein's
criticism technically unfounded, we show that the Copenhagen interpretation is
actually incorrect, since Born's probability explanation of the wave function
is incorrect due to a false assumption on "continuous probabilities" in modern
probability theory. "Continuous probability" means a "probability measure" that
can take every value in a subinterval of the unit interval (0, 1). We prove
that such "continuous probabilities" are invalid. Since Bell's inequality also
assumes "continuous probabilities", the result of the experimental test of
Bell's inequality is not evidence supporting the Copenhagen interpretation.
Although successful applications of quantum mechanics and explanation of
quantum phenomena do not necessarily rely on the Copenhagen interpretation, the
question asked by Einstein 70 years ago, i.e., whether a complete description
of reality exists, still remains open.

We use factorized $L$ operator to construct an integrable model with open
boundary conditions. By taking trigonometic limit($\tau \to \sqrt{1}\infty$)
and scaling limit($\omega \to 0$), we get a Hamiltonian of a classical
integrable system. It shows that this integrable system is similar to those
found by Calogero et al.