{"id":{"repo_id":"mit","oai_identifier":"oai:dspace.mit.edu:1721.1/66029"},"canonical_url":"https://search.dev.ndltd.org/etd/mit/oai:dspace.mit.edu:1721.1/66029","repository":{"repo_id":"mit","name":"MIT","base_url":"https://dspace.mit.edu/oai/request"},"display":{"title":"Tensor rank : some lower and upper bounds","abstract":"The results of Strassen [25] and Raz [19] show that good enough tensor rank lower bounds have implications for algebraic circuit/formula lower bounds. We explore tensor rank lower and upper bounds, focusing on explicit tensors. For odd d, we construct field-independent explicit 0/1 tensors T : [n]d --> F with rank at least 2n td/ 2j + n - [theta](d Ig n). This improves the lower-order terms in known lower bounds for any odd d >/- 3. We also explore a generalization of permutation matrices, which we denote permutation tensors. We show, by applying known counting lower bounds. that there exist order-3 permutation tensors with super-linear rank as well as order-d permutation tensors with high rank. We also explore a natural class of permutation tensors, which we call group tensors. For any group G, we define the group tensor TdG : Gd --> F, by TdG(g1 .....gd) = 1 iff g1 ...gd = 1G. We give two upper bounds for the rank of these tensors. The first uses representation theory and works over \"large\" fields F, showing (among other things) that rankF(TdG) </-IGId/2 In the case that d = 3, we are able to show that rank(T3G) </- O(IGIw/2) </- O(IGIV1.19), where w is the exponent of matrix multiplication. The next upper bound uses interpolation and only works for abelian G, showing that over any field F that rank F(TdG) </- 0(IGI)1+1gd-1 IGI). In either case, this shows that many permutation tensors have far from maximal rank, which is very different from the matrix case and thus eliminates many natural candidates for high tensor rank. We also explore monotone tensor rank. We give explicit 0/1 tensors T : [n]d --> F that have tensor rank at most dn but have monotone tensor rank exactly nd-1 . This is a nearly optimal separation.","abstract_html":"The results of Strassen [25] and Raz [19] show that good enough tensor rank lower bounds have implications for algebraic circuit/formula lower bounds. We explore tensor rank lower and upper bounds, focusing on explicit tensors. For odd d, we construct field-independent explicit 0/1 tensors T : [n]d --&gt; F with rank at least 2n td/ 2j + n - [theta](d Ig n). This improves the lower-order terms in known lower bounds for any odd d &gt;/- 3. We also explore a generalization of permutation matrices, which we denote permutation tensors. We show, by applying known counting lower bounds. that there exist order-3 permutation tensors with super-linear rank as well as order-d permutation tensors with high rank. We also explore a natural class of permutation tensors, which we call group tensors. For any group G, we define the group tensor TdG : Gd --&gt; F, by TdG(g1 .....gd) = 1 iff g1 ...gd = 1G. We give two upper bounds for the rank of these tensors. The first uses representation theory and works over &quot;large&quot; fields F, showing (among other things) that rankF(TdG) &lt;/-IGId/2 In the case that d = 3, we are able to show that rank(T3G) &lt;/- O(IGIw/2) &lt;/- O(IGIV1.19), where w is the exponent of matrix multiplication. The next upper bound uses interpolation and only works for abelian G, showing that over any field F that rank F(TdG) &lt;/- 0(IGI)1+1gd-1 IGI). In either case, this shows that many permutation tensors have far from maximal rank, which is very different from the matrix case and thus eliminates many natural candidates for high tensor rank. We also explore monotone tensor rank. We give explicit 0/1 tensors T : [n]d --&gt; F that have tensor rank at most dn but have monotone tensor rank exactly nd-1 . This is a nearly optimal separation.","abstract_has_math":false,"creators":["Forbes, Michael Andrew"],"institution":"Massachusetts Institute of Technology","degree_name":null,"degree_level":null,"degree_discipline":null,"degree_department":"Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science.","school":null,"contributors":[],"advisors":["Scott Aaronson."],"committee_chairs":[],"committee_members":[],"year":2011,"date_issued":"2011","date_published":"2011","updated_at":"2026-07-22T22:22:14Z","subjects":["Electrical Engineering and Computer Science."],"languages":["eng"],"rights":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."],"rights_urls":["http://dspace.mit.edu/handle/1721.1/7582"],"identifier_entries":[]},"links":{"outbound_url":"http://hdl.handle.net/1721.1/66029","outbound_label":"Handle","outbound_source":"dc:identifier.uri"},"metadata_groups":[{"id":"people","label":"People","entries":[{"key":"dc:contributor.advisor","label":"Advisor","values":["Scott Aaronson."]},{"key":"dc:contributor.department","label":"Department","values":["Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science."]},{"key":"dc:contributor.other","label":"Dc Contributor Other","values":["Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science."]},{"key":"dc:creator","label":"Author","values":["Forbes, Michael Andrew"]}]},{"id":"academic_context","label":"Academic Context","entries":[{"key":"dc:date.accessioned","label":"Dc Date Accessioned","values":["2011-09-27T18:34:22Z"]},{"key":"dc:date.available","label":"Dc Date Available","values":["2011-09-27T18:34:22Z"]},{"key":"dc:date.issued","label":"Date","values":["2011"]},{"key":"dc:publisher","label":"Institution","values":["Massachusetts Institute of Technology"]},{"key":"dc:type","label":"Dc Type","values":["Thesis"]}]},{"id":"subjects_keywords","label":"Subjects and Keywords","entries":[{"key":"dc:subject","label":"Dc Subject","values":["Electrical Engineering and Computer Science."]}]},{"id":"language_rights","label":"Language and Rights","entries":[{"key":"dc:language.iso","label":"Language (ISO)","values":["eng"]},{"key":"dc:rights","label":"Dc Rights","values":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."]},{"key":"dc:rights.uri","label":"Rights URI","values":["http://dspace.mit.edu/handle/1721.1/7582"]}]},{"id":"identifiers","label":"Identifiers","entries":[{"key":"dc:identifier.uri","label":"Identifier URI","values":["http://hdl.handle.net/1721.1/66029"]}]},{"id":"additional","label":"Additional Metadata","entries":[{"key":"dc:description","label":"Description","values":["Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2011.","Cataloged from PDF version of thesis.","Includes bibliographical references (p. 59-61)."]},{"key":"dc:description.abstract","label":"Abstract","values":["The results of Strassen [25] and Raz [19] show that good enough tensor rank lower bounds have implications for algebraic circuit/formula lower bounds. We explore tensor rank lower and upper bounds, focusing on explicit tensors. For odd d, we construct field-independent explicit 0/1 tensors T : [n]d --> F with rank at least 2n td/ 2j + n - [theta](d Ig n). This improves the lower-order terms in known lower bounds for any odd d >/- 3. We also explore a generalization of permutation matrices, which we denote permutation tensors. We show, by applying known counting lower bounds. that there exist order-3 permutation tensors with super-linear rank as well as order-d permutation tensors with high rank. We also explore a natural class of permutation tensors, which we call group tensors. For any group G, we define the group tensor TdG : Gd --> F, by TdG(g1 .....gd) = 1 iff g1 ...gd = 1G. We give two upper bounds for the rank of these tensors. The first uses representation theory and works over \"large\" fields F, showing (among other things) that rankF(TdG) </-IGId/2 In the case that d = 3, we are able to show that rank(T3G) </- O(IGIw/2) </- O(IGIV1.19), where w is the exponent of matrix multiplication. The next upper bound uses interpolation and only works for abelian G, showing that over any field F that rank F(TdG) </- 0(IGI)1+1gd-1 IGI). In either case, this shows that many permutation tensors have far from maximal rank, which is very different from the matrix case and thus eliminates many natural candidates for high tensor rank. We also explore monotone tensor rank. We give explicit 0/1 tensors T : [n]d --> F that have tensor rank at most dn but have monotone tensor rank exactly nd-1 . This is a nearly optimal separation."]},{"key":"dc:description.degree","label":"Dc Description Degree","values":["S.M."]},{"key":"dc:title","label":"Title","values":["Tensor rank : some lower and upper bounds"]}]}],"canonical_facts":{"dc:contributor.advisor":["Scott Aaronson."],"dc:contributor.department":["Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science."],"dc:contributor.other":["Massachusetts Institute of Technology. Dept. of Electrical Engineering and Computer Science."],"dc:creator":["Forbes, Michael Andrew"],"dc:date.accessioned":["2011-09-27T18:34:22Z"],"dc:date.available":["2011-09-27T18:34:22Z"],"dc:date.issued":["2011"],"dc:description":["Thesis (S.M.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer Science, 2011.","Cataloged from PDF version of thesis.","Includes bibliographical references (p. 59-61)."],"dc:description.abstract":["The results of Strassen [25] and Raz [19] show that good enough tensor rank lower bounds have implications for algebraic circuit/formula lower bounds. We explore tensor rank lower and upper bounds, focusing on explicit tensors. For odd d, we construct field-independent explicit 0/1 tensors T : [n]d --> F with rank at least 2n td/ 2j + n - [theta](d Ig n). This improves the lower-order terms in known lower bounds for any odd d >/- 3. We also explore a generalization of permutation matrices, which we denote permutation tensors. We show, by applying known counting lower bounds. that there exist order-3 permutation tensors with super-linear rank as well as order-d permutation tensors with high rank. We also explore a natural class of permutation tensors, which we call group tensors. For any group G, we define the group tensor TdG : Gd --> F, by TdG(g1 .....gd) = 1 iff g1 ...gd = 1G. We give two upper bounds for the rank of these tensors. The first uses representation theory and works over \"large\" fields F, showing (among other things) that rankF(TdG) </-IGId/2 In the case that d = 3, we are able to show that rank(T3G) </- O(IGIw/2) </- O(IGIV1.19), where w is the exponent of matrix multiplication. The next upper bound uses interpolation and only works for abelian G, showing that over any field F that rank F(TdG) </- 0(IGI)1+1gd-1 IGI). In either case, this shows that many permutation tensors have far from maximal rank, which is very different from the matrix case and thus eliminates many natural candidates for high tensor rank. We also explore monotone tensor rank. We give explicit 0/1 tensors T : [n]d --> F that have tensor rank at most dn but have monotone tensor rank exactly nd-1 . This is a nearly optimal separation."],"dc:description.degree":["S.M."],"dc:identifier.uri":["http://hdl.handle.net/1721.1/66029"],"dc:language.iso":["eng"],"dc:publisher":["Massachusetts Institute of Technology"],"dc:rights":["M.I.T. theses are protected by copyright. They may be viewed from this source for any purpose, but reproduction or distribution in any format is prohibited without written permission. See provided URL for inquiries about permission."],"dc:rights.uri":["http://dspace.mit.edu/handle/1721.1/7582"],"dc:subject":["Electrical Engineering and Computer Science."],"dc:title":["Tensor rank : some lower and upper bounds"],"dc:type":["Thesis"]},"updated_at":"2026-07-22T22:22:14Z"}