Explicit non-free tensors

• URL: http://arxiv.org/abs/2503.22650v1
• Date: Fri, 28 Mar 2025 17:38:44 GMT
• Title: Explicit non-free tensors
• Authors: Maxim van den Berg, Matthias Christandl, Vladimir Lysikov, Harold Nieuwboer, Michael Walter, Jeroen Zuiddam,
• Abstract summary: We prove that non-free tensors exist in $mathbbCn otimes mathbbCn otimes mathbbCn$, where they are not generic.<n>We show that if a tensor $T$ is free, then there is a tensor $S$ in the GL-orbit closure of $T$, whose support is free and whose moment map image is the minimum-norm point of the moment polytope of $T$.
• Score: 3.1593341358400737
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Free tensors are tensors which, after a change of bases, have free support: any two distinct elements of its support differ in at least two coordinates. They play a distinguished role in the theory of bilinear complexity, in particular in Strassen's duality theory for asymptotic rank. Within the context of quantum information theory, where tensors are interpreted as multiparticle quantum states, freeness corresponds to a type of multiparticle Schmidt decomposition. In particular, if a state is free in a given basis, the reduced density matrices are diagonal. Although generic tensors in $\mathbb{C}^n \otimes \mathbb{C}^n \otimes \mathbb{C}^n$ are non-free for $n \geq 4$ by parameter counting, no explicit non-free tensors were known until now. We solve this hay in a haystack problem by constructing explicit tensors that are non-free for every $n \geq 3$. In particular, this establishes that non-free tensors exist in $\mathbb{C}^n \otimes \mathbb{C}^n \otimes \mathbb{C}^n$, where they are not generic. To establish non-freeness, we use results from geometric invariant theory and the theory of moment polytopes. In particular, we show that if a tensor $T$ is free, then there is a tensor $S$ in the GL-orbit closure of $T$, whose support is free and whose moment map image is the minimum-norm point of the moment polytope of $T$. This implies a reduction for checking non-freeness from arbitrary basis changes of $T$ to unitary basis changes of $S$. The unitary equivariance of the moment map can then be combined with the fact that tensors with free support have diagonal moment map image, in order to further restrict the set of relevant basis changes.

Related papers

• Monomer-dimer tensor-network basis for qubit-regularized lattice gauge theories [2.646330573001491]
  Traditional $mathrmSU(N)$ lattice gauge theories (LGTs) can be formulated using an orthonormal basis constructed from the irreducible representations (irreps) $V_lambda$ of the $mathrmSU(N)$ gauge symmetry. Here, we investigate finite-temperature confinement-deconfinement transitions in a simple qubit-regularized $mathrmSU(2)$ and $mathrmSU(3)$ gauge theory.
  arXiv  Detail & Related papers  (2025-02-20T01:06:39Z)
• Overcomplete Tensor Decomposition via Koszul-Young Flattenings [63.01248796170617]
  We give a new algorithm for decomposing an $n_times n times n_3$ tensor as the sum of a minimal number of rank-1 terms. We show that an even more general class of degree-$d$s cannot surpass rank $Cn$ for a constant $C = C(d)$.
  arXiv  Detail & Related papers  (2024-11-21T17:41:09Z)
• A Unified Framework for Uniform Signal Recovery in Nonlinear Generative Compressed Sensing [68.80803866919123]
  Under nonlinear measurements, most prior results are non-uniform, i.e., they hold with high probability for a fixed $mathbfx*$ rather than for all $mathbfx*$ simultaneously. Our framework accommodates GCS with 1-bit/uniformly quantized observations and single index models as canonical examples. We also develop a concentration inequality that produces tighter bounds for product processes whose index sets have low metric entropy.
  arXiv  Detail & Related papers  (2023-09-25T17:54:19Z)
• Families of Perfect Tensors [0.0]
  We compute parameterized families of perfect tensors in $(mathbbCd)otimes 4$ using exponential maps from Lie theory. We find explicit examples of non-classical perfect tensors in $(mathbbC3)otimes 4$.
  arXiv  Detail & Related papers  (2022-11-28T21:04:22Z)
• Quantized charge polarization as a many-body invariant in (2+1)D crystalline topological states and Hofstadter butterflies [14.084478426185266]
  We show how to define a quantized many-body charge polarization $vecmathscrP$ for (2+1)D topological phases of matter, even in the presence of non-zero Chern number and magnetic field. We derive colored Hofstadter butterflies, corresponding to the quantized value of $vecmathscrP$, which further refine the colored butterflies from the Chern number and discrete shift.
  arXiv  Detail & Related papers  (2022-11-16T19:00:00Z)
• Average-Case Complexity of Tensor Decomposition for Low-Degree Polynomials [93.59919600451487]
  "Statistical-computational gaps" occur in many statistical inference tasks. We consider a model for random order-3 decomposition where one component is slightly larger in norm than the rest. We show that tensor entries can accurately estimate the largest component when $ll n3/2$ but fail to do so when $rgg n3/2$.
  arXiv  Detail & Related papers  (2022-11-10T00:40:37Z)
• Near-Linear Time and Fixed-Parameter Tractable Algorithms for Tensor Decompositions [51.19236668224547]
  We study low rank approximation of tensors, focusing on the tensor train and Tucker decompositions. For tensor train decomposition, we give a bicriteria $(1 + eps)$-approximation algorithm with a small bicriteria rank and $O(q cdot nnz(A))$ running time. In addition, we extend our algorithm to tensor networks with arbitrary graphs.
  arXiv  Detail & Related papers  (2022-07-15T11:55:09Z)
• Monogamy of entanglement between cones [68.8204255655161]
  We show that monogamy is not only a feature of quantum theory, but that it characterizes the minimal tensor product of general pairs of convex cones. Our proof makes use of a new characterization of products of simplices up to affine equivalence.
  arXiv  Detail & Related papers  (2022-06-23T16:23:59Z)
• Asymptotic Tensor Powers of Banach Spaces [77.34726150561087]
  We show that Euclidean spaces are characterized by the property that their tensor radius equals their dimension. We also show that the tensor radius of an operator whose domain or range is Euclidean is equal to its nuclear norm.
  arXiv  Detail & Related papers  (2021-10-25T11:51:12Z)
• Stochastic behavior of outcome of Schur-Weyl duality measurement [45.41082277680607]
  We focus on the measurement defined by the decomposition based on Schur-Weyl duality on $n$ qubits. We derive various types of distribution including a kind of central limit when $n$ goes to infinity.
  arXiv  Detail & Related papers  (2021-04-26T15:03:08Z)
• Exact nuclear norm, completion and decomposition for random overcomplete tensors via degree-4 SOS [0.7233897166339269]
  We show that simple semidefinite programs inspired by degree $4$ SOS can exactly solve the tensor nuclear norm, tensor decomposition, and tensor completion problems on tensors with random asymmetric components. We show that w.h.p. these semidefinite programs can exactly find the nuclear norm and components of an $(ntimes ntimes n)$-tensor $mathcalT$ with $mleq n3/2/polylog(n)$ random asymmetric components.
  arXiv  Detail & Related papers  (2020-11-18T17:27:36Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.