Abstract
We introduce and study the notion of read-k projections of the determinant: a polynomial \(f \in \mathbb {F}[x_1, \ldots , x_n]\) is called a read-k projection of determinant if \(f=det(M)\), where entries of matrix M are either field elements or variables such that each variable appears at most k times in M. A monomial set S is said to be expressible as read-k projection of determinant if there is a read-k projection of determinant f such that the monomial set of f is equal to S. We obtain basic results relating read-k determinantal projections to the well-studied notion of determinantal complexity. We show that for sufficiently large n, the \(n \times n\) permanent polynomial \(Perm_n\) and the elementary symmetric polynomials of degree d on n variables \(S_n^d\) for \(2 \le d \le n-2\) are not expressible as read-once projection of determinant, whereas \(mon(Perm_n)\) and \(mon(S_n^d)\) are expressible as read-once projections of determinant. We also give examples of monomial sets which are not expressible as read-once projections of determinant.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Similar content being viewed by others
References
Cai, J.-Y., Chen, X., Li, D.: A quadratic lower bound for the permanent and determinant problem over any characteristic \(\ne 2\). In: 40th Annual ACM Symposium on Theory of computing, pp. 491–498 (2008)
von zur Gathen, J.: Feasible arithmetic computations: valiant’s hypothesis. J. Symbolic Comput. 4, 137–172 (1987)
James, F.: Geelen an algebraic matching algorithm. Combinatorica 20(1), 61–70 (2000)
Grigoriev, D., Razborov, A.A.: Exponential lower bounds for depth 3 arithmetic circuits in algebras of functions over finite fields. Appl. Algebra Eng. Commun. Comput. 10(6), 465–487 (2000)
Ivanyos, G., Karpinski, M., Saxena, N.: Deterministic polynomial time algorithms for matrix completion problems. SIAM J. Comput. 39(8), 3736–3751 (2010)
Jansen, M.: Lower bounds for the determinantal complexity of explicit low degree polynomials. In: Frid, A., Morozov, A., Rybalchenko, A., Wagner, K.W. (eds.) CSR 2009. LNCS, vol. 5675, pp. 167–178. Springer, Heidelberg (2009)
Jansen, M.J., Qiao, Y., Sarma, J.: Deterministic identity testing of read-once algebraic branching programs, Electron. Colloquium Comput. Complexity (ECCC), 17:84 (2010)
Jerrum, M., Snir, M.: Some exact complexity results for straight-line computations over semirings. J. ACM 29(3), 874–897 (1982)
Mignon, T., Ressayre, N.: A quadratic bound for the determinant and permanent problem. Int. Math. Res. Not. 2004, 4241–4253 (2004)
Nisan, N.: Lower bounds for noncommutative computation. In: Proceedings of 23rd ACM Symposium on Theory of Computing, pp. 410–418 (1991)
Nisan, N., Wigderson, A.: Lower bounds on arithmetic circuits via partial derivatives. Comput. Complexity 6(3), 217–234 (1997)
Shpilka, A., Wigderson, A.: Depth-3 arithmetic formulae over fiel ds of characteristic zero. J. Comput. Complexity 10(1), 1–27 (2001)
Valiant, L.: Completeness classes in algebra. In: Technical report CSR-40-79, Department of Computer Science, University of Edinburgh, April 1979
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2015 Springer International Publishing Switzerland
About this paper
Cite this paper
Aravind, N.R., Joglekar, P.S. (2015). On the Expressive Power of Read-Once Determinants. In: Kosowski, A., Walukiewicz, I. (eds) Fundamentals of Computation Theory. FCT 2015. Lecture Notes in Computer Science(), vol 9210. Springer, Cham. https://doi.org/10.1007/978-3-319-22177-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-319-22177-9_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-22176-2
Online ISBN: 978-3-319-22177-9
eBook Packages: Computer ScienceComputer Science (R0)