Abstract
The Orbit problem is defined as follows: Given a matrix A∈ℚn×n and vectors x,y∈ℚn, does there exist a non-negative integer i such that A i x=y. This problem was shown to be in deterministic polynomial time by Kannan and Lipton (J. ACM 33(4):808–821, 1986). In this paper we place the problem in the logspace counting hierarchy GapLH. We also show that the problem is hard for C=L with respect to logspace many-one reductions.
Similar content being viewed by others
References
Allender E, Beals R, Ogihara M (1999) The complexity of matrix rank and feasible systems of linear equations. Comput Complex 8(2):99–126
Allender E, Ogihara M (1996) Relationships among PL, #L and the determinant. RAIRO Theor Inform Appl 30:1–21
Arvind V, Vijayaraghavan TC (2008) The orbit problem is in the GapL hierarchy. In: Proceedings of the 14th COCOON conference. LNCS, vol 5092. Springer, Berlin, pp 160–169. Also available as ECCC technical report TR08-52 (http://www.eccc.uni-trier.de)
Damm C (1991) DET=L#L. Informatik-Preprint 8, Fachbereich Informatik der Humboldt-Universitat zu Berlin
von zur Gathen J, Gerhard J (1999) Modern computer algebra. Cambridge University Press, Cambridge
Hesse W, Allender E, Barrington DAM (2002) Uniform constant-depth threshold circuits for division and iterated multiplication. J Comput Syst Sci 65(4):695–716
Hoang TM, Thierauf T (2003) The complexity of the characteristic and the minimal polynomial. Theor Comput Sci 295(1–3):205–222
Hoang TM, Thierauf T (2005) The complexity of the inertia and some closure properties of GapL. In: Proceedings of 20th IEEE conference on computational complexity, pp 28–37
Kannan R, Lipton R (1986) Polynomial-time algorithm for the orbit problem. J ACM 33(4):808–821
Schrijver A (1998) Theory of linear and integer programming. Wiley, New York
Toda S (1991) Counting problems computationally equivalent to computing the determinant. Technical report 91-07, Department of Computer Science, University of Electro-Communications, Tokyo, Japan
Valiant LG (1992) Why is boolean complexity theory difficult? In: Proceedings of the London Mathematical Society symposium on Boolean function complexity, pp 84–94. New York, NY, USA. Cambridge University Press, Cambridge
Vijayaraghavan TC (2008) Classifying certain algebraic problems using logspace counting classes. PhD Thesis, Institute of Mathematical Sciences, Chennai, India. http://www.cmi.ac.in/~vijay/thesis.html
Vinay V (1991) Counting auxiliary pushdown automata and semi-unbounded arithmetic circuits. In: CCC’91: Proceedings of 6th structure in complexity theory conference, pp 270–284
Author information
Authors and Affiliations
Corresponding author
Additional information
A preliminary version of this paper was presented at the COCOON 2008 conference (Arvind and Vijayaraghavan 2008).
Rights and permissions
About this article
Cite this article
Arvind, V., Vijayaraghavan, T.C. The orbit problem is in the GapL hierarchy. J Comb Optim 21, 124–137 (2011). https://doi.org/10.1007/s10878-009-9243-8
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10878-009-9243-8