Matches in SemOpenAlex for { <https://semopenalex.org/work/W2963709672> ?p ?o ?g. }
Showing items 1 to 77 of
77
with 100 items per page.
- W2963709672 startingPage "16" @default.
- W2963709672 abstract "Hrubes and Wigderson [Pavel Hrubes and Avi Wigderson, 2014] initiated the study of noncommutative arithmetic circuits with division computing a noncommutative rational function in the free skew field, and raised the question of rational identity testing. For noncommutative formulas with inverses the problem can be solved in deterministic polynomial time in the white-box model [Ankit Garg et al., 2016; Ivanyos et al., 2018]. It can be solved in randomized polynomial time in the black-box model [Harm Derksen and Visu Makam, 2017], where the running time is polynomial in the size of the formula. The complexity of identity testing of noncommutative rational functions, in general, remains open for noncommutative circuits with inverses. We solve the problem for a natural special case. We consider expressions in the free group algebra F(X,X^{-1}) where X={x_1, x_2, ..., x_n}. Our main results are the following. 1) Given a degree d expression f in F(X,X^{-1}) as a black-box, we obtain a randomized poly(n,d) algorithm to check whether f is an identically zero expression or not. The technical contribution is an Amitsur-Levitzki type theorem [A. S. Amitsur and J. Levitzki, 1950] for F(X, X^{-1}). This also yields a deterministic identity testing algorithm (and even an expression reconstruction algorithm) that is polynomial time in the sparsity of the input expression. 2) Given an expression f in F(X,X^{-1}) of degree D and sparsity s, as black-box, we can check whether f is identically zero or not in randomized poly(n,log s, log D) time. This yields a randomized polynomial-time algorithm when D and s are exponential in n." @default.
- W2963709672 created "2019-07-30" @default.
- W2963709672 creator A5003212467 @default.
- W2963709672 creator A5017977090 @default.
- W2963709672 creator A5054881747 @default.
- W2963709672 creator A5065561406 @default.
- W2963709672 date "2019-01-01" @default.
- W2963709672 modified "2023-10-17" @default.
- W2963709672 title "Efficient Black-Box Identity Testing for Free Group Algebras" @default.
- W2963709672 doi "https://doi.org/10.4230/lipics.approx-random.2019.57" @default.
- W2963709672 hasPublicationYear "2019" @default.
- W2963709672 type Work @default.
- W2963709672 sameAs 2963709672 @default.
- W2963709672 citedByCount "0" @default.
- W2963709672 crossrefType "proceedings-article" @default.
- W2963709672 hasAuthorship W2963709672A5003212467 @default.
- W2963709672 hasAuthorship W2963709672A5017977090 @default.
- W2963709672 hasAuthorship W2963709672A5054881747 @default.
- W2963709672 hasAuthorship W2963709672A5065561406 @default.
- W2963709672 hasConcept C114614502 @default.
- W2963709672 hasConcept C118615104 @default.
- W2963709672 hasConcept C121332964 @default.
- W2963709672 hasConcept C134306372 @default.
- W2963709672 hasConcept C136119220 @default.
- W2963709672 hasConcept C199360897 @default.
- W2963709672 hasConcept C202444582 @default.
- W2963709672 hasConcept C24890656 @default.
- W2963709672 hasConcept C2778355321 @default.
- W2963709672 hasConcept C33923547 @default.
- W2963709672 hasConcept C41008148 @default.
- W2963709672 hasConcept C68797384 @default.
- W2963709672 hasConcept C75190567 @default.
- W2963709672 hasConcept C90119067 @default.
- W2963709672 hasConcept C90559484 @default.
- W2963709672 hasConceptScore W2963709672C114614502 @default.
- W2963709672 hasConceptScore W2963709672C118615104 @default.
- W2963709672 hasConceptScore W2963709672C121332964 @default.
- W2963709672 hasConceptScore W2963709672C134306372 @default.
- W2963709672 hasConceptScore W2963709672C136119220 @default.
- W2963709672 hasConceptScore W2963709672C199360897 @default.
- W2963709672 hasConceptScore W2963709672C202444582 @default.
- W2963709672 hasConceptScore W2963709672C24890656 @default.
- W2963709672 hasConceptScore W2963709672C2778355321 @default.
- W2963709672 hasConceptScore W2963709672C33923547 @default.
- W2963709672 hasConceptScore W2963709672C41008148 @default.
- W2963709672 hasConceptScore W2963709672C68797384 @default.
- W2963709672 hasConceptScore W2963709672C75190567 @default.
- W2963709672 hasConceptScore W2963709672C90119067 @default.
- W2963709672 hasConceptScore W2963709672C90559484 @default.
- W2963709672 hasLocation W29637096721 @default.
- W2963709672 hasOpenAccess W2963709672 @default.
- W2963709672 hasPrimaryLocation W29637096721 @default.
- W2963709672 hasRelatedWork W1489844691 @default.
- W2963709672 hasRelatedWork W1518413206 @default.
- W2963709672 hasRelatedWork W1587951291 @default.
- W2963709672 hasRelatedWork W1652127109 @default.
- W2963709672 hasRelatedWork W1867119118 @default.
- W2963709672 hasRelatedWork W1995657699 @default.
- W2963709672 hasRelatedWork W2172695686 @default.
- W2963709672 hasRelatedWork W2277385696 @default.
- W2963709672 hasRelatedWork W2355254823 @default.
- W2963709672 hasRelatedWork W2626372708 @default.
- W2963709672 hasRelatedWork W2909832064 @default.
- W2963709672 hasRelatedWork W2951150993 @default.
- W2963709672 hasRelatedWork W2951442723 @default.
- W2963709672 hasRelatedWork W2954678234 @default.
- W2963709672 hasRelatedWork W2962985358 @default.
- W2963709672 hasRelatedWork W3037181742 @default.
- W2963709672 hasRelatedWork W3082847620 @default.
- W2963709672 hasRelatedWork W3102593879 @default.
- W2963709672 hasRelatedWork W3113087031 @default.
- W2963709672 hasRelatedWork W89770231 @default.
- W2963709672 isParatext "false" @default.
- W2963709672 isRetracted "false" @default.
- W2963709672 magId "2963709672" @default.
- W2963709672 workType "article" @default.