Skip to main content

On the Expressive Power of Read-Once Determinants

  • Conference paper
  • First Online:
Fundamentals of Computation Theory (FCT 2015)

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 9210))

Included in the following conference series:

  • 645 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. 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)

    Google Scholar 

  2. von zur Gathen, J.: Feasible arithmetic computations: valiant’s hypothesis. J. Symbolic Comput. 4, 137–172 (1987)

    Article  MathSciNet  MATH  Google Scholar 

  3. James, F.: Geelen an algebraic matching algorithm. Combinatorica 20(1), 61–70 (2000)

    Article  MathSciNet  MATH  Google Scholar 

  4. 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)

    Article  MathSciNet  MATH  Google Scholar 

  5. Ivanyos, G., Karpinski, M., Saxena, N.: Deterministic polynomial time algorithms for matrix completion problems. SIAM J. Comput. 39(8), 3736–3751 (2010)

    Article  MathSciNet  MATH  Google Scholar 

  6. 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)

    Chapter  Google Scholar 

  7. Jansen, M.J., Qiao, Y., Sarma, J.: Deterministic identity testing of read-once algebraic branching programs, Electron. Colloquium Comput. Complexity (ECCC), 17:84 (2010)

    Google Scholar 

  8. Jerrum, M., Snir, M.: Some exact complexity results for straight-line computations over semirings. J. ACM 29(3), 874–897 (1982)

    Article  MathSciNet  MATH  Google Scholar 

  9. Mignon, T., Ressayre, N.: A quadratic bound for the determinant and permanent problem. Int. Math. Res. Not. 2004, 4241–4253 (2004)

    Article  MathSciNet  MATH  Google Scholar 

  10. Nisan, N.: Lower bounds for noncommutative computation. In: Proceedings of 23rd ACM Symposium on Theory of Computing, pp. 410–418 (1991)

    Google Scholar 

  11. Nisan, N., Wigderson, A.: Lower bounds on arithmetic circuits via partial derivatives. Comput. Complexity 6(3), 217–234 (1997)

    Article  MathSciNet  MATH  Google Scholar 

  12. Shpilka, A., Wigderson, A.: Depth-3 arithmetic formulae over fiel ds of characteristic zero. J. Comput. Complexity 10(1), 1–27 (2001)

    Article  MathSciNet  MATH  Google Scholar 

  13. Valiant, L.: Completeness classes in algebra. In: Technical report CSR-40-79, Department of Computer Science, University of Edinburgh, April 1979

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to N. R. Aravind .

Editor information

Editors and Affiliations

Rights and permissions

Reprints 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)

Publish with us

Policies and ethics