34 citations · 63 across the 7 of their papers we have counts for
7 papers
Path methods for strong shift equivalence of positive matrices
Mike Boyle, K. H. Kim, F. W. Roush
In the early 1990's, Kim and Roush developed path methods for establishing strong shift equivalence (SSE) of positive matrices over a dense subring U of the real numbers R. This pa…
Counterexample to the Hodge Conjecture
K. H. Kim, F. W. Roush
We construct a K3 surface whose transcendental lattice has a self-isomorphism which is not a linear combination of self-isomorphisms over which preserve cup products u…
Kapranov rank vs. tropical rank
K. H. Kim, F. W. Roush
We show that determining Kapranov rank of tropical matrices is not only NP-hard over any infinite field but also if solving Diophantine equations over the rational numbers is undec…
Factorization of polynomials in one variable over the tropical semiring
Ki Hang Kim, Fred W. Roush
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…
Decidability of the isomorphism problem for stationary AF-algebras and the associated ordered simple dimension groups
Ola Bratteli, Palle E. T. Jorgensen, Ki Hang Kim +1
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…
The Williams Conjecture is false for irreducible subshifts
Ki Hang Kim, Fred W. Roush
We show the Williams Conjecture is false for irreducible shifts of finite type by examining relative sign-gyration numbers of conjugacies between shifts with no points of period on…