Searcharxiv⌕ Search

arXiv subjects

Ki Hang Kim

Publications and source records attributed to Ki Hang Kim.

4 recordsLinked to original sources
arXiv2005

Factorization of polynomials in one variable over the tropical semiring

We show factorization of polynomials in one variable over the tropical semiring is in general NP-complete, either if all coefficients are finite, or if all are either 0 or infinity (Boolean case). We give algorithms for the factorization problem which are not polynomial time in the degree, but are polynomial time for polynomials of fixed degree. For two-variable polynomials we derive an irreducibility criterion which is almost always satisfied, even for fixed degree, and is polynomial time in the degree. We prove there are unique least common multiples of tropical polynomials, but not unique greatest common divisors. We show that if two polynomials in one variable have a common tropical factor, then their eliminant matrix is singular in the tropical sense. We prove the problem of determining tropical rank is NP-hard.

math.CO↗
arXiv2000

Decidability of the isomorphism problem for stationary AF-algebras and the associated ordered simple dimension groups

The notion of isomorphism of stable AF-C*-algebras is considered in this paper in the case when the corresponding Bratteli diagram is stationary, i.e., is associated with a single square primitive nonsingular incidence matrix. C*-isomorphism induces an equivalence relation on these matrices, called C*-equivalence. We show that the associated isomorphism equivalence problem is decidable, i.e., there is an algorithm that can be used to check in a finite number of steps whether two given primitive nonsingular matrices are C*-equivalent or not.

math.OA↗
arXiv1999

Non-stationarity of isomorphism between AF algebras defined by stationary Bratteli diagrams

We first study situations where the stable AF-algebras defined by two square primitive nonsingular incidence matrices with nonnegative integer matrix elements are isomorphic even though no powers of the associated automorphisms of the corresponding dimension groups are isomorphic. More generally we consider neccessary and sufficient conditions for two such matrices to determine isomorphic dimension groups. We give several examples.

math.OA↗