-
Noncoherent MIMO Communications: Theoretical Foundation, Design Approaches, and Future Challenges
Authors:
Khac-Hoang Ngo,
Diego Cuevas,
Ruben de Miguel Gil,
Victor Monzon Baeza,
Ana Garcia Armada,
Ignacio Santamaria
Abstract:
Noncoherent communication is a promising paradigm for future wireless systems where acquiring accurate channel state information (CSI) is challenging or infeasible. It provides methods to bypass the need for explicit channel estimation in practical scenarios such as high-mobility networks, massive distributed antenna arrays, energy-constrained Internet-of-Things devices, and unstructured propagati…
▽ More
Noncoherent communication is a promising paradigm for future wireless systems where acquiring accurate channel state information (CSI) is challenging or infeasible. It provides methods to bypass the need for explicit channel estimation in practical scenarios such as high-mobility networks, massive distributed antenna arrays, energy-constrained Internet-of-Things devices, and unstructured propagation environments. This survey provides a comprehensive overview of noncoherent communication strategies in multiple-input multiple-output (MIMO) systems, focusing on recent advances since the early 2000s. We classify noncoherent communication schemes into three main approaches where CSI-free signal recovery is based on subspace detection (i.e., Grassmannian signaling), differential detection, and energy detection, respectively. For each approach, we review the theoretical foundation and design methodologies. We also provide comparative insights into their suitability across different channel models and system constraints, highlighting application scenarios where noncoherent methods offer performance and scalability advantages over traditional coherent communication. Furthermore, we discuss practical considerations of noncoherent communication, including compatibility with orthogonal frequency division multiplexing (OFDM), resilience to hardware impairments, and scalability with the number of users. Finally, we provide an outlook on future challenges and research directions in designing robust and efficient noncoherent systems for next-generation wireless networks.
△ Less
Submitted 29 May, 2025;
originally announced May 2025.
-
Many bounded versions of undecidable problems are NP-hard
Authors:
Andreas Klingler,
Mirte van der Eyden,
Sebastian Stengele,
Tobias Reinhart,
Gemma De las Cuevas
Abstract:
Several physically inspired problems have been proven undecidable; examples are the spectral gap problem and the membership problem for quantum correlations. Most of these results rely on reductions from a handful of undecidable problems, such as the halting problem, the tiling problem, the Post correspondence problem or the matrix mortality problem. All these problems have a common property: they…
▽ More
Several physically inspired problems have been proven undecidable; examples are the spectral gap problem and the membership problem for quantum correlations. Most of these results rely on reductions from a handful of undecidable problems, such as the halting problem, the tiling problem, the Post correspondence problem or the matrix mortality problem. All these problems have a common property: they have an NP-hard bounded version. This work establishes a relation between undecidable unbounded problems and their bounded NP-hard versions. Specifically, we show that NP-hardness of a bounded version follows easily from the reduction of the unbounded problems. This leads to new and simpler proofs of the NP-hardness of bounded version of the Post correspondence problem, the matrix mortality problem, the positivity of matrix product operators, the reachability problem, the tiling problem, and the ground state energy problem. This work sheds light on the intractability of problems in theoretical physics and on the computational consequences of bounding a parameter.
△ Less
Submitted 15 March, 2023; v1 submitted 24 November, 2022;
originally announced November 2022.
-
Statistical characterization of the chordal product determinant of Grassmannian codes
Authors:
Javier Álvarez-Vizoso,
Carlos Beltrán,
Diego Cuevas,
Ignacio Santamarıa,
Vit Tucek,
Gunnar Peters
Abstract:
We consider the chordal product determinant, a measure of the distance between two subspaces of the same dimension. In information theory, collections of elements in the complex Grassmannian are searched with the property that their pairwise chordal products are as large as possible. We characterize this function from an statistical perspective, which allows us to obtain bounds for the minimal cho…
▽ More
We consider the chordal product determinant, a measure of the distance between two subspaces of the same dimension. In information theory, collections of elements in the complex Grassmannian are searched with the property that their pairwise chordal products are as large as possible. We characterize this function from an statistical perspective, which allows us to obtain bounds for the minimal chordal product and related energy of such collections.
△ Less
Submitted 5 October, 2022;
originally announced October 2022.
-
Magic squares: Latin, Semiclassical and Quantum
Authors:
Gemma De las Cuevas,
Tim Netzer,
Inga Valentiner-Branth
Abstract:
Quantum magic squares were recently introduced as a 'magical' combination of quantum measurements. In contrast to quantum measurements, they cannot be purified (i.e. dilated to a quantum permutation matrix) -- only the so-called semiclassical ones can. Purifying establishes a relation to an ideal world of fundamental theoretical and practical importance; the opposite of purifying is described by t…
▽ More
Quantum magic squares were recently introduced as a 'magical' combination of quantum measurements. In contrast to quantum measurements, they cannot be purified (i.e. dilated to a quantum permutation matrix) -- only the so-called semiclassical ones can. Purifying establishes a relation to an ideal world of fundamental theoretical and practical importance; the opposite of purifying is described by the matrix convex hull. In this work, we prove that semiclassical magic squares can be purified to quantum Latin squares, which are 'magical' combinations of orthonormal bases. Conversely, we prove that the matrix convex hull of quantum Latin squares is larger than the semiclassical ones. This tension is resolved by our third result: We prove that the quantum Latin squares that are semiclassical are precisely those constructed from a classical Latin square. Our work sheds light on the internal structure of quantum magic squares, on how this is affected by the matrix convex hull, and, more generally, on the nature of the 'magical' composition rule, both at the semiclassical and quantum level.
△ Less
Submitted 7 October, 2022; v1 submitted 21 September, 2022;
originally announced September 2022.
-
Constrained Riemannian Noncoherent Constellations for the MIMO Multiple Access Channel
Authors:
Javier Álvarez-Vizoso,
Diego Cuevas,
Carlos Beltrán,
Ignacio Santamaria,
Vit Tucek,
Gunnar Peters
Abstract:
We consider the design of multiuser constellations for a multiple access channel (MAC) with K users, with M antennas each, that transmit simultaneously to a receiver equipped with N antennas through a Rayleigh block-fading channel, when no channel state information (CSI) is available to either the transmitter or the receiver. In full-diversity scenarios where the coherence time is at least T>= (K+…
▽ More
We consider the design of multiuser constellations for a multiple access channel (MAC) with K users, with M antennas each, that transmit simultaneously to a receiver equipped with N antennas through a Rayleigh block-fading channel, when no channel state information (CSI) is available to either the transmitter or the receiver. In full-diversity scenarios where the coherence time is at least T>= (K+1)M, the proposed constellation design criterion is based on the asymptotic expression of the multiuser pairwise error probability (PEP) derived by Brehler and Varanasi. In non-full diversity scenarios, for which the previous PEP expression is no longer valid, the proposed design criteria are based on proxies of the PEP recently proposed by Ngo and Yang. Although both the PEP expression and its bounds or proxies were previously considered intractable for optimization, in this work we derive their respective unconstrained gradients. These gradients are in turn used in the optimization of the proposed cost functions in different Riemannian manifolds representing different power constraints. In particular, in addition to the standard unitary space-time modulation (USTM) leading to optimization on the Grassmann manifold, we consider a more relaxed per-codeword power constraint leading to optimization on the so-called oblique manifold, and an average power constraint leading to optimization on the so-called trace manifold. Equipped with these theoretical tools, we design multiuser constellations for the MIMO MAC in full-diversity and non-full-diversity scenarios with state-of-the-art performance in terms of symbol error rate (SER).
△ Less
Submitted 2 September, 2022;
originally announced September 2022.
-
Halos and undecidability of tensor stable positive maps
Authors:
Mirte van der Eyden,
Tim Netzer,
Gemma De las Cuevas
Abstract:
A map $\mathcal{P}$ is tensor stable positive (tsp) if $\mathcal{P}^{\otimes n}$ is positive for all $n$, and essential tsp if it is not completely positive or completely co-positive. Are there essential tsp maps? Here we prove that there exist essential tsp maps on the hypercomplex numbers. It follows that there exist bound entangled states with a negative partial transpose (NPT) on the hypercomp…
▽ More
A map $\mathcal{P}$ is tensor stable positive (tsp) if $\mathcal{P}^{\otimes n}$ is positive for all $n$, and essential tsp if it is not completely positive or completely co-positive. Are there essential tsp maps? Here we prove that there exist essential tsp maps on the hypercomplex numbers. It follows that there exist bound entangled states with a negative partial transpose (NPT) on the hypercomplex, that is, there exists NPT bound entanglement in the halo of quantum states. We also prove that tensor stable positivity on the matrix multiplication tensor is undecidable, and conjecture that tensor stable positivity is undecidable. Proving this conjecture would imply existence of essential tsp maps, and hence of NPT bound entangled states.
△ Less
Submitted 16 January, 2023; v1 submitted 5 October, 2021;
originally announced October 2021.
-
Polynomial decompositions with invariance and positivity inspired by tensors
Authors:
Gemma De las Cuevas,
Andreas Klingler,
Tim Netzer
Abstract:
We present a framework to decompose real multivariate polynomials while preserving invariance and positivity. This framework has been recently introduced for tensor decompositions, in particular for quantum many-body systems. Here we transfer results about decomposition structures, invariance under permutations of variables, positivity, rank inequalities and separations, approximations, and undeci…
▽ More
We present a framework to decompose real multivariate polynomials while preserving invariance and positivity. This framework has been recently introduced for tensor decompositions, in particular for quantum many-body systems. Here we transfer results about decomposition structures, invariance under permutations of variables, positivity, rank inequalities and separations, approximations, and undecidability to real polynomials. Specifically, we define invariant decompositions of polynomials and characterize which polynomials admit such decompositions. We then include positivity: We define invariant separable and sum-of-squares decompositions, and characterize the polynomials similarly. We provide inequalities and separations between the ranks of the decompositions, and show that the separations are not robust with respect to approximations. For cyclically invariant decompositions, we show that it is undecidable whether the polynomial is nonnegative or sum-of-squares for all system sizes. Our work sheds new light on polynomials by putting them on an equal footing with tensors, and opens the door to extending this framework to other tensor product structures.
△ Less
Submitted 22 July, 2024; v1 submitted 14 September, 2021;
originally announced September 2021.
-
Quantum Information Theory and Free Semialgebraic Geometry: One Wonderland Through Two Looking Glasses
Authors:
Gemma De Las Cuevas,
Tim Netzer
Abstract:
We illustrate how quantum information theory and free (i.e. noncommutative) semialgebraic geometry often study similar objects from different perspectives. We give examples in the context of positivity and separability, quantum magic squares, quantum correlations in non-local games, and positivity in tensor networks, and we show the benefits of combining the two perspectives. This paper is an invi…
▽ More
We illustrate how quantum information theory and free (i.e. noncommutative) semialgebraic geometry often study similar objects from different perspectives. We give examples in the context of positivity and separability, quantum magic squares, quantum correlations in non-local games, and positivity in tensor networks, and we show the benefits of combining the two perspectives. This paper is an invitation to consider the intersection of the two fields, and should be accessible for researchers from either field.
△ Less
Submitted 8 February, 2021;
originally announced February 2021.
-
Classical spin Hamiltonians are context-sensitive languages
Authors:
Sebastian Stengele,
David Drexel,
Gemma De las Cuevas
Abstract:
Classical spin Hamiltonians are a powerful tool to model complex systems, characterised by a local structure given by the local Hamiltonians. One of the best understood local structures is the grammar of formal languages, which are central in computer science and linguistics, and have a natural complexity measure given by the Chomsky hierarchy. If we see classical spin Hamiltonians as languages, w…
▽ More
Classical spin Hamiltonians are a powerful tool to model complex systems, characterised by a local structure given by the local Hamiltonians. One of the best understood local structures is the grammar of formal languages, which are central in computer science and linguistics, and have a natural complexity measure given by the Chomsky hierarchy. If we see classical spin Hamiltonians as languages, what grammar do the local Hamiltonians correspond to? Here we cast classical spin Hamiltonians as formal languages, and classify them in the Chomsky hierarchy. We prove that the language of (effectively) zero-dimensional spin Hamiltonians is regular, one-dimensional spin Hamiltonians is deterministic context-free, and higher-dimensional and all-to-all spin Hamiltonians is context-sensitive. This provides a new complexity measure for classical spin Hamiltonians, which captures the hardness of recognising spin configurations and their energies. We compare it to the computational complexity of the ground state energy problem, and find a different easy-to-hard threshold for the Ising model. We also investigate the dependence on the language of the spin Hamiltonian. Finally, we define the language of the time evolution of a spin Hamiltonian and classify it in the Chomsky hierarchy. Our work suggests that universal spin models are weaker than universal Turing machines.
△ Less
Submitted 26 June, 2023; v1 submitted 5 June, 2020;
originally announced June 2020.
-
Cats climb entails mammals move: preserving hyponymy in compositional distributional semantics
Authors:
Gemma De las Cuevas,
Andreas Klingler,
Martha Lewis,
Tim Netzer
Abstract:
To give vector-based representations of meaning more structure, one approach is to use positive semidefinite (psd) matrices. These allow us to model similarity of words as well as the hyponymy or is-a relationship. Psd matrices can be learnt relatively easily in a given vector space $M\otimes M^*$, but to compose words to form phrases and sentences, we need representations in larger spaces. In thi…
▽ More
To give vector-based representations of meaning more structure, one approach is to use positive semidefinite (psd) matrices. These allow us to model similarity of words as well as the hyponymy or is-a relationship. Psd matrices can be learnt relatively easily in a given vector space $M\otimes M^*$, but to compose words to form phrases and sentences, we need representations in larger spaces. In this paper, we introduce a generic way of composing the psd matrices corresponding to words. We propose that psd matrices for verbs, adjectives, and other functional words be lifted to completely positive (CP) maps that match their grammatical type. This lifting is carried out by our composition rule called Compression, Compr. In contrast to previous composition rules like Fuzz and Phaser (a.k.a. KMult and BMult), Compr preserves hyponymy. Mathematically, Compr is itself a CP map, and is therefore linear and generally non-commutative. We give a number of proposals for the structure of Compr, based on spiders, cups and caps, and generate a range of composition rules. We test these rules on a small sentence entailment dataset, and see some improvements over the performance of Fuzz and Phaser.
△ Less
Submitted 29 May, 2020; v1 submitted 28 May, 2020;
originally announced May 2020.
-
Approximate tensor decompositions: disappearance of many separations
Authors:
Gemma De las Cuevas,
Andreas Klingler,
Tim Netzer
Abstract:
It is well-known that tensor decompositions show separations, that is, that constraints on local terms (such as positivity) may entail an arbitrarily high cost in their representation. Here we show that many of these separations disappear in the approximate case. Specifically, for every approximation error $\varepsilon$ and norm, we define the approximate rank as the minimum rank of an element in…
▽ More
It is well-known that tensor decompositions show separations, that is, that constraints on local terms (such as positivity) may entail an arbitrarily high cost in their representation. Here we show that many of these separations disappear in the approximate case. Specifically, for every approximation error $\varepsilon$ and norm, we define the approximate rank as the minimum rank of an element in the $\varepsilon$-ball with respect to that norm. For positive semidefinite matrices, we show that the separations between rank, purification rank, and separable rank disappear for a large class of Schatten $p$-norms. For nonnegative tensors, we show that the separations between rank, positive semidefinite rank, and nonnegative rank disappear for all $\ell_p$-norms with $p>1$. For the trace norm ($p = 1$), we obtain upper bounds that depend on the ambient dimension. We also provide a deterministic algorithm to obtain the approximate decomposition attaining our bounds. Our main tool is an approximate version of Carathéodory's Theorem. Our results imply that many separations are not robust under small perturbations of the tensor, with implications in quantum many-body systems and communication complexity.
△ Less
Submitted 14 August, 2021; v1 submitted 21 April, 2020;
originally announced April 2020.
-
Quantum magic squares: dilations and their limitations
Authors:
Gemma De las Cuevas,
Tom Drescher,
Tim Netzer
Abstract:
Quantum permutation matrices and quantum magic squares are generalizations of permutation matrices and magic squares, where the entries are no longer numbers but elements from arbitrary (non-commutative) algebras. The famous Birkhoff--von Neumann Theorem characterizes magic squares as convex combinations of permutation matrices. In the non-commutative case, the corresponding question is: Does ever…
▽ More
Quantum permutation matrices and quantum magic squares are generalizations of permutation matrices and magic squares, where the entries are no longer numbers but elements from arbitrary (non-commutative) algebras. The famous Birkhoff--von Neumann Theorem characterizes magic squares as convex combinations of permutation matrices. In the non-commutative case, the corresponding question is: Does every quantum magic square belong to the matrix convex hull of quantum permutation matrices? That is, does every quantum magic square dilate to a quantum permutation matrix? Here we show that this is false even in the simplest non-commutative case. We also classify the quantum magic squares that dilate to a quantum permutation matrix with commuting entries, and prove a quantitative lower bound on the diameter of this set. Finally, we conclude that not all Arveson extreme points of the free spectrahedron of quantum magic squares are quantum permutation matrices.
△ Less
Submitted 16 November, 2020; v1 submitted 16 December, 2019;
originally announced December 2019.
-
Tensor decompositions on simplicial complexes with invariance
Authors:
Gemma De las Cuevas,
Matt Hoogsteder Riera,
Tim Netzer
Abstract:
We develop a framework to analyse invariant decompositions of elements of tensor product spaces. Namely, we define an invariant decomposition with indices arranged on a simplicial complex, and which is explicitly invariant under a group action. We prove that this decomposition exists for all invariant tensors after possibly enriching the simplicial complex. As a special case we recover tensor netw…
▽ More
We develop a framework to analyse invariant decompositions of elements of tensor product spaces. Namely, we define an invariant decomposition with indices arranged on a simplicial complex, and which is explicitly invariant under a group action. We prove that this decomposition exists for all invariant tensors after possibly enriching the simplicial complex. As a special case we recover tensor networks with translational invariance and the symmetric tensor decomposition. We also define an invariant separable decomposition and purification form, and prove similar existence results. Associated to every decomposition there is a rank, and we prove several inequalities between them. For example, we show by how much the rank increases when imposing invariance in the decomposition, and that the tensor rank is the largest of all ranks. Finally, we apply our framework to nonnegative tensors, where we define a nonnegative and a positive semidefinite decomposition on arbitrary simplicial complexes with group action. We show a correspondence to the previous ranks, and as a very special case recover the nonnegative, the positive semidefinite, the completely positive and the completely positive semidefinite transposed decomposition.
△ Less
Submitted 17 December, 2019; v1 submitted 4 September, 2019;
originally announced September 2019.
-
Generalised ansatz for continuous Matrix Product States
Authors:
Maria Balanzó-Juandó,
Gemma De las Cuevas
Abstract:
Recently it was shown that continuous Matrix Product States (cMPS) cannot express the continuum limit state of any Matrix Product State (MPS), according to a certain natural definition of the latter. The missing element is a projector in the transfer matrix of the MPS. Here we provide a generalised ansatz of cMPS that is capable of expressing the continuum limit of any MPS. It consists of a sum of…
▽ More
Recently it was shown that continuous Matrix Product States (cMPS) cannot express the continuum limit state of any Matrix Product State (MPS), according to a certain natural definition of the latter. The missing element is a projector in the transfer matrix of the MPS. Here we provide a generalised ansatz of cMPS that is capable of expressing the continuum limit of any MPS. It consists of a sum of cMPS with different boundary conditions, each attached to an ancilla state. This new ansatz can be interpreted as the concatenation of a state which is at the closure of the set of cMPS together with a standard cMPS. The former can be seen as a cMPS in the thermodynamic limit, or with matrices of unbounded norm. We provide several examples and discuss the result.
△ Less
Submitted 26 June, 2020; v1 submitted 26 August, 2019;
originally announced August 2019.
-
Mixed states in one spatial dimension: decompositions and correspondence with nonnegative matrices
Authors:
Gemma De las Cuevas,
Tim Netzer
Abstract:
We study six natural decompositions of mixed states in one spatial dimension: the Matrix Product Density Operator (MPDO) form, the local purification form, the separable decomposition (for separable states), and their three translational invariant (t.i.) analogues. For bipartite states diagonal in the computational basis, we show that these decompositions correspond to well-studied factorisations…
▽ More
We study six natural decompositions of mixed states in one spatial dimension: the Matrix Product Density Operator (MPDO) form, the local purification form, the separable decomposition (for separable states), and their three translational invariant (t.i.) analogues. For bipartite states diagonal in the computational basis, we show that these decompositions correspond to well-studied factorisations of an associated nonnegative matrix. Specifically, the first three decompositions correspond to the minimal factorisation, the nonnegative factorisation, and the positive semidefinite factorisation. We also show that a symmetric version of these decompositions corresponds to the symmetric factorisation, the completely positive factorisation, and the completely positive semidefinite transposed factorisation, respectively. We leverage this correspondence to characterise the six decompositions of mixed states.
△ Less
Submitted 16 April, 2020; v1 submitted 8 July, 2019;
originally announced July 2019.
-
Separability for mixed states with operator Schmidt rank two
Authors:
Gemma De las Cuevas,
Tom Drescher,
Tim Netzer
Abstract:
The operator Schmidt rank is the minimum number of terms required to express a state as a sum of elementary tensor factors. Here we provide a new proof of the fact that any bipartite mixed state with operator Schmidt rank two is separable, and can be written as a sum of two positive semidefinite matrices per site. Our proof uses results from the theory of free spectrahedra and operator systems, an…
▽ More
The operator Schmidt rank is the minimum number of terms required to express a state as a sum of elementary tensor factors. Here we provide a new proof of the fact that any bipartite mixed state with operator Schmidt rank two is separable, and can be written as a sum of two positive semidefinite matrices per site. Our proof uses results from the theory of free spectrahedra and operator systems, and illustrates the use of a connection between decompositions of quantum states and decompositions of nonnegative matrices. In the multipartite case, we prove that any Hermitian Matrix Product Density Operator (MPDO) of bond dimension two is separable, and can be written as a sum of at most four positive semidefinite matrices per site. This implies that these states can only contain classical correlations, and very few of them. In contrast, MPDOs of bond dimension three can contain an unbounded amount of classical correlations.
△ Less
Submitted 11 November, 2019; v1 submitted 13 March, 2019;
originally announced March 2019.
-
Optimal bounds on the positivity of a matrix from a few moments
Authors:
Gemma de las Cuevas,
Tobias Fritz,
Tim Netzer
Abstract:
In many contexts one encounters Hermitian operators $M$ on a Hilbert space whose dimension is so large that it is impossible to write down all matrix entries in an orthonormal basis. How does one determine whether such $M$ is positive semidefinite? Here we approach this problem by deriving asymptotically optimal bounds to the distance to the positive semidefinite cone in Schatten $p$-norm for all…
▽ More
In many contexts one encounters Hermitian operators $M$ on a Hilbert space whose dimension is so large that it is impossible to write down all matrix entries in an orthonormal basis. How does one determine whether such $M$ is positive semidefinite? Here we approach this problem by deriving asymptotically optimal bounds to the distance to the positive semidefinite cone in Schatten $p$-norm for all integer $p\in[1,\infty)$, assuming that we know the moments $\mathbf{tr}(M^k)$ up to a certain order $k=1,\ldots, m$. We then provide three methods to compute these bounds and relaxations thereof: the sos polynomial method (a semidefinite program), the Handelman method (a linear program relaxation), and the Chebyshev method (a relaxation not involving any optimization). We investigate the analytical and numerical performance of these methods and present a number of example computations, partly motivated by applications to tensor networks and to the theory of free spectrahedra.
△ Less
Submitted 16 April, 2020; v1 submitted 28 August, 2018;
originally announced August 2018.
-
Continuum limits of Matrix Product States
Authors:
Gemma De las Cuevas,
Norbert Schuch,
David Perez-Garcia,
J. Ignacio Cirac
Abstract:
We determine which translationally invariant matrix product states have a continuum limit, that is, which can be considered as discretized versions of states defined in the continuum. To do this, we analyse a fine-graining renormalization procedure in real space, characterise the set of limiting states of its flow, and find that it strictly contains the set of continuous matrix product states. We…
▽ More
We determine which translationally invariant matrix product states have a continuum limit, that is, which can be considered as discretized versions of states defined in the continuum. To do this, we analyse a fine-graining renormalization procedure in real space, characterise the set of limiting states of its flow, and find that it strictly contains the set of continuous matrix product states. We also analyse which states have a continuum limit after a finite number of a coarse-graining renormalization steps. We give several examples of states with and without the different kinds of continuum limits.
△ Less
Submitted 30 November, 2018; v1 submitted 2 August, 2017;
originally announced August 2017.
-
Irreducible forms of Matrix Product States: Theory and Applications
Authors:
Gemma De las Cuevas,
J. Ignacio Cirac,
Norbert Schuch,
David Perez-Garcia
Abstract:
The canonical form of Matrix Product States (MPS) and the associated fundamental theorem, which relates different MPS representations of a state, are the theoretical framework underlying many of the analytical results derived through MPS, such as the classification of symmetry-protected phases in one dimension. Yet, the canonical form is only defined for MPS without non-trivial periods, and thus c…
▽ More
The canonical form of Matrix Product States (MPS) and the associated fundamental theorem, which relates different MPS representations of a state, are the theoretical framework underlying many of the analytical results derived through MPS, such as the classification of symmetry-protected phases in one dimension. Yet, the canonical form is only defined for MPS without non-trivial periods, and thus cannot fully capture paradigmatic states such as the antiferromagnet. Here, we introduce a new standard form for MPS, the irreducible form, which is defined for arbitrary MPS, including periodic states, and show that any tensor can be transformed into a tensor in irreducible form describing the same MPS. We then prove a fundamental theorem for MPS in irreducible form: If two tensors in irreducible form give rise to the same MPS, then they must be related by a similarity transform, together with a matrix of phases. We provide two applications of this result: an equivalence between the refinement properties of a state and the divisibility properties of its transfer matrix, and a more general characterisation of tensors that give rise to matrix product states with symmetries.
△ Less
Submitted 31 July, 2017;
originally announced August 2017.
-
Energy as a detector of nonlocality of many-body spin systems
Authors:
Jordi Tura,
Gemma De las Cuevas,
Remigiusz Augusiak,
Maciej Lewenstein,
Antonio Acín,
J. Ignacio Cirac
Abstract:
We present a method to show that low-energy states of quantum many-body interacting systems in one spatial dimension are nonlocal. We assign a Bell inequality to the Hamiltonian of the system in a natural way and we efficiently find its classical bound using dynamic programming. The Bell inequality is such that its quantum value for a given state, and for appropriate observables, corresponds to th…
▽ More
We present a method to show that low-energy states of quantum many-body interacting systems in one spatial dimension are nonlocal. We assign a Bell inequality to the Hamiltonian of the system in a natural way and we efficiently find its classical bound using dynamic programming. The Bell inequality is such that its quantum value for a given state, and for appropriate observables, corresponds to the energy of the state. Thus, the presence of nonlocal correlations can be certified for states of low enough energy. The method can also be used to optimize certain Bell inequalities: in the translationally invariant (TI) case, we provide an exponentially faster computation of the classical bound and analytically closed expressions of the quantum value for appropriate observables and Hamiltonians. The power and generality of our method is illustrated through four representative examples: a tight TI inequality for 8 parties, a quasi TI uniparametric inequality for any even number of parties, ground states of spin-glass systems, and a non-integrable interacting XXZ-like Hamiltonian. Our work opens the possibility for the use of low-energy states of commonly studied Hamiltonians as multipartite resources for quantum information protocols that require nonlocality.
△ Less
Submitted 1 May, 2017; v1 submitted 20 July, 2016;
originally announced July 2016.
-
NodIO, a JavaScript framework for volunteer-based evolutionary algorithms : first results
Authors:
Juan-J. Merelo,
Mario García-Valdez,
Pedro A. Castillo,
Pablo García-Sánchez,
P. de las Cuevas,
Nuria Rico
Abstract:
JavaScript is an interpreted language mainly known for its inclusion in web browsers, making them a container for rich Internet based applications. This has inspired its use, for a long time, as a tool for evolutionary algorithms, mainly so in browser-based volunteer computing environments. Several libraries have also been published so far and are in use. However, the last years have seen a resurg…
▽ More
JavaScript is an interpreted language mainly known for its inclusion in web browsers, making them a container for rich Internet based applications. This has inspired its use, for a long time, as a tool for evolutionary algorithms, mainly so in browser-based volunteer computing environments. Several libraries have also been published so far and are in use. However, the last years have seen a resurgence of interest in the language, becoming one of the most popular and thus spawning the improvement of its implementations, which are now the foundation of many new client-server applications. We present such an application for running distributed volunteer-based evolutionary algorithm experiments, and we make a series of measurements to establish the speed of JavaScript in evolutionary algorithms that can serve as a baseline for comparison with other distributed computing experiments. These experiments use different integer and floating point problems, and prove that the speed of JavaScript is actually competitive with other languages commonly used by the evolutionary algorithm practitioner.
△ Less
Submitted 7 January, 2016;
originally announced January 2016.
-
Fundamental limitations in the purifications of tensor networks
Authors:
G. De las Cuevas,
T. S. Cubitt,
J. I. Cirac,
M. M. Wolf,
D. Pérez-García
Abstract:
We show a fundamental limitation in the description of quantum many-body mixed states with tensor networks in purification form. Namely, we show that there exist mixed states which can be represented as a translationally invariant (TI) matrix product density operator (MPDO) valid for all system sizes, but for which there does not exist a TI purification valid for all system sizes. The proof is bas…
▽ More
We show a fundamental limitation in the description of quantum many-body mixed states with tensor networks in purification form. Namely, we show that there exist mixed states which can be represented as a translationally invariant (TI) matrix product density operator (MPDO) valid for all system sizes, but for which there does not exist a TI purification valid for all system sizes. The proof is based on an undecidable problem and on the uniqueness of canonical forms of matrix product states. The result also holds for classical states.
△ Less
Submitted 8 July, 2016; v1 submitted 17 December, 2015;
originally announced December 2015.
-
Simple universal models capture all classical spin physics
Authors:
Gemma De las Cuevas,
Toby S. Cubitt
Abstract:
Spin models are used in many studies of complex systems---be it condensed matter physics, neural networks, or economics---as they exhibit rich macroscopic behaviour despite their microscopic simplicity.
Here we prove that all the physics of every classical spin model is reproduced in the low-energy sector of certain `universal models'.
This means that (i) the low energy spectrum of the univers…
▽ More
Spin models are used in many studies of complex systems---be it condensed matter physics, neural networks, or economics---as they exhibit rich macroscopic behaviour despite their microscopic simplicity.
Here we prove that all the physics of every classical spin model is reproduced in the low-energy sector of certain `universal models'.
This means that (i) the low energy spectrum of the universal model reproduces the entire spectrum of the original model to any desired precision, (ii) the corresponding spin configurations of the original model are also reproduced in the universal model, (iii) the partition function is approximated to any desired precision, and (iv) the overhead in terms of number of spins and interactions is at most polynomial.
This holds for classical models with discrete or continuous degrees of freedom.
We prove necessary and sufficient conditions for a spin model to be universal, and show that one of the simplest and most widely studied spin models, the 2D Ising model with fields, is universal.
△ Less
Submitted 14 June, 2016; v1 submitted 23 June, 2014;
originally announced June 2014.
-
A quantum information approach to statistical mechanics
Authors:
Gemma De las Cuevas
Abstract:
We review some connections between quantum information and statistical mechanics. We focus on three sets of results for classical spin models. First, we show that the partition function of all classical spin models (including models in different dimensions, different types of many-body interactions, different symmetries, etc) can be mapped to the partition function of a single model. Second, we gi…
▽ More
We review some connections between quantum information and statistical mechanics. We focus on three sets of results for classical spin models. First, we show that the partition function of all classical spin models (including models in different dimensions, different types of many-body interactions, different symmetries, etc) can be mapped to the partition function of a single model. Second, we give efficient quantum algorithms to estimate the partition function of various classical spin models, such as the Ising or the Potts model. The proofs of these two results are based on a mapping from partition functions to quantum states and to quantum circuits, respectively. Finally, we show how classical spin models can be used to describe certain fluctuating lattices appearing in models of discrete quantum gravity.
△ Less
Submitted 20 December, 2013;
originally announced December 2013.
-
Purifications of multipartite states: limitations and constructive methods
Authors:
Gemma De las Cuevas,
Norbert Schuch,
David Pérez-García,
J. Ignacio Cirac
Abstract:
We analyze the description of quantum many-body mixed states using matrix product states and operators. We consider two such descriptions: (i) as a matrix product density operator of bond dimension D, and (ii) as a purification that is written as a matrix product state of bond dimension D'. We show that these descriptions are inequivalent in the sense that D' cannot be upper bounded by D only. The…
▽ More
We analyze the description of quantum many-body mixed states using matrix product states and operators. We consider two such descriptions: (i) as a matrix product density operator of bond dimension D, and (ii) as a purification that is written as a matrix product state of bond dimension D'. We show that these descriptions are inequivalent in the sense that D' cannot be upper bounded by D only. Then we provide two constructive methods to obtain (ii) out of (i). The sum of squares (sos) polynomial method scales exponentially in the number of different eigenvalues, and its approximate version is formulated as a Semidefinite Program, which gives efficient approximate purifications whose D' only depends on D. The eigenbasis method scales quadratically in the number of eigenvalues, and its approximate version is very efficient for rapidly decaying distributions of eigenvalues. Our results imply that a description of mixed states which is both efficient and locally positive semidefinite does not exist, but that good approximations do.
△ Less
Submitted 20 December, 2013; v1 submitted 8 August, 2013;
originally announced August 2013.
-
Reducing Spacetime to Binary Information
Authors:
Silke Weinfurtner,
Gemma De las Cuevas,
Miguel Angel Martin-Delgado,
Hans J. Briegel
Abstract:
We present a new description of discrete space-time in 1+1 dimensions in terms of a set of elementary geometrical units that represent its independent classical degrees of freedom. This is achieved by means of a binary encoding that is ergodic in the class of space-time manifolds respecting coordinate invariance of general relativity. Space-time fluctuations can be represented in a classical latti…
▽ More
We present a new description of discrete space-time in 1+1 dimensions in terms of a set of elementary geometrical units that represent its independent classical degrees of freedom. This is achieved by means of a binary encoding that is ergodic in the class of space-time manifolds respecting coordinate invariance of general relativity. Space-time fluctuations can be represented in a classical lattice gas model whose Boltzmann weights are constructed with the discretized form of the Einstein-Hilbert action. Within this framework, it is possible to compute basic quantities such as the Ricci curvature tensor and the Einstein equations, and to evaluate the path integral of discrete gravity. The description as a lattice gas model also provides a novel way of quantization and, at the same time, to quantum simulation of fluctuating space-time.
△ Less
Submitted 18 October, 2012;
originally announced October 2012.
-
Projective simulation for artificial intelligence
Authors:
Hans J. Briegel,
Gemma De las Cuevas
Abstract:
We propose a model of a learning agent whose interaction with the environment is governed by a simulation-based projection, which allows the agent to project itself into future situations before it takes real action. Projective simulation is based on a random walk through a network of clips, which are elementary patches of episodic memory. The network of clips changes dynamically, both due to new…
▽ More
We propose a model of a learning agent whose interaction with the environment is governed by a simulation-based projection, which allows the agent to project itself into future situations before it takes real action. Projective simulation is based on a random walk through a network of clips, which are elementary patches of episodic memory. The network of clips changes dynamically, both due to new perceptual input and due to certain compositional principles of the simulation process. During simulation, the clips are screened for specific features which trigger factual action of the agent. The scheme is different from other, computational, notions of simulation, and it provides a new element in an embodied cognitive science approach to intelligent action and learning. Our model provides a natural route for generalization to quantum-mechanical operation and connects the fields of reinforcement learning and quantum computation.
△ Less
Submitted 8 February, 2013; v1 submitted 19 April, 2011;
originally announced April 2011.
-
Quantum algorithms for classical lattice models
Authors:
G. De las Cuevas,
W. Dür,
M. Van den Nest,
M. A. Martin-Delgado
Abstract:
We give efficient quantum algorithms to estimate the partition function of (i) the six vertex model on a two-dimensional (2D) square lattice, (ii) the Ising model with magnetic fields on a planar graph, (iii) the Potts model on a quasi 2D square lattice, and (iv) the Z_2 lattice gauge theory on a three-dimensional square lattice. Moreover, we prove that these problems are BQP-complete, that is, th…
▽ More
We give efficient quantum algorithms to estimate the partition function of (i) the six vertex model on a two-dimensional (2D) square lattice, (ii) the Ising model with magnetic fields on a planar graph, (iii) the Potts model on a quasi 2D square lattice, and (iv) the Z_2 lattice gauge theory on a three-dimensional square lattice. Moreover, we prove that these problems are BQP-complete, that is, that estimating these partition functions is as hard as simulating arbitrary quantum computation. The results are proven for a complex parameter regime of the models. The proofs are based on a mapping relating partition functions to quantum circuits introduced in [Van den Nest et al., Phys. Rev. A 80, 052334 (2009)] and extended here.
△ Less
Submitted 13 April, 2011;
originally announced April 2011.
-
The U(1) Lattice Gauge Theory Universally Connects All Classical Models with Continuous Variables, Including Background Gravity
Authors:
Ying Xu,
Gemma De las Cuevas,
Wolfgang Dür,
Hans J. Briegel,
Miguel Angel Martin-Delgado
Abstract:
We show that the partition function of many classical models with continuous degrees of freedom, e.g. abelian lattice gauge theories and statistical mechanical models, can be written as the partition function of an (enlarged) four-dimensional lattice gauge theory (LGT) with gauge group U(1). This result is very general that it includes models in different dimensions with different symmetries. In p…
▽ More
We show that the partition function of many classical models with continuous degrees of freedom, e.g. abelian lattice gauge theories and statistical mechanical models, can be written as the partition function of an (enlarged) four-dimensional lattice gauge theory (LGT) with gauge group U(1). This result is very general that it includes models in different dimensions with different symmetries. In particular, we show that a U(1) LGT defined in a curved spacetime can be mapped to a U(1) LGT with a flat background metric. The result is achieved by expressing the U(1) LGT partition function as an inner product between two quantum states.
△ Less
Submitted 16 February, 2011; v1 submitted 11 October, 2010;
originally announced October 2010.
-
Mapping all classical spin models to a lattice gauge theory
Authors:
G. De las Cuevas,
W. Dür,
H. J. Briegel,
M. A. Martin-Delgado
Abstract:
In our recent work [Phys. Rev. Lett. 102, 230502 (2009)] we showed that the partition function of all classical spin models, including all discrete standard statistical models and all Abelian discrete lattice gauge theories (LGTs), can be expressed as a special instance of the partition function of a 4-dimensional pure LGT with gauge group Z_2 (4D Z_2 LGT). This provides a unification of models wi…
▽ More
In our recent work [Phys. Rev. Lett. 102, 230502 (2009)] we showed that the partition function of all classical spin models, including all discrete standard statistical models and all Abelian discrete lattice gauge theories (LGTs), can be expressed as a special instance of the partition function of a 4-dimensional pure LGT with gauge group Z_2 (4D Z_2 LGT). This provides a unification of models with apparently very different features into a single complete model. The result uses an equality between the Hamilton function of any classical spin model and the Hamilton function of a model with all possible k-body Ising-type interactions, for all k, which we also prove. Here, we elaborate on the proof of the result, and we illustrate it by computing quantities of a specific model as a function of the partition function of the 4D Z_2 LGT. The result also allows one to establish a new method to compute the mean-field theory of Z_2 LGTs with d > 3, and to show that computing the partition function of the 4D Z_2 LGT is computationally hard (#P hard). The proof uses techniques from quantum information.
△ Less
Submitted 14 April, 2010; v1 submitted 11 November, 2009;
originally announced November 2009.
-
Unifying all classical spin models in a Lattice Gauge Theory
Authors:
G. De las Cuevas,
W. Dür,
H. J. Briegel,
M. A. Martin-Delgado
Abstract:
We show that the partition function of all classical spin models, including all discrete Standard Statistical Models and all abelian discrete Lattice Gauge Theories (LGTs), can be expressed as a special instance of the partition function of the 4D Z_2 LGT. In this way, all classical spin models with apparently very different features are unified in a single complete model, and a physical relatio…
▽ More
We show that the partition function of all classical spin models, including all discrete Standard Statistical Models and all abelian discrete Lattice Gauge Theories (LGTs), can be expressed as a special instance of the partition function of the 4D Z_2 LGT. In this way, all classical spin models with apparently very different features are unified in a single complete model, and a physical relation between all models is established. As applications of this result, we present a new method to do mean field theory for abelian discrete LGTs with d>3, and we show that the computation of the partition function of the 4D Z_2 LGT is a computationally hard (#P-hard) problem. We also extend our results to abelian continuous models, where we show the approximate completeness of the 4D Z_2 LGT. All results are proven using quantum information techniques.
△ Less
Submitted 16 June, 2009; v1 submitted 18 December, 2008;
originally announced December 2008.
-
Completeness of classical spin models and universal quantum computation
Authors:
Gemma De las Cuevas,
Wolfgang Dür,
Maarten Van den Nest,
Hans J. Briegel
Abstract:
We study mappings between distinct classical spin systems that leave the partition function invariant. As recently shown in [Phys. Rev. Lett. 100, 110501 (2008)], the partition function of the 2D square lattice Ising model in the presence of an inhomogeneous magnetic field, can specialize to the partition function of any Ising system on an arbitrary graph. In this sense the 2D Ising model is sai…
▽ More
We study mappings between distinct classical spin systems that leave the partition function invariant. As recently shown in [Phys. Rev. Lett. 100, 110501 (2008)], the partition function of the 2D square lattice Ising model in the presence of an inhomogeneous magnetic field, can specialize to the partition function of any Ising system on an arbitrary graph. In this sense the 2D Ising model is said to be "complete". However, in order to obtain the above result, the coupling strengths on the 2D lattice must assume complex values, and thus do not allow for a physical interpretation. Here we show how a complete model with real -and, hence, "physical"- couplings can be obtained if the 3D Ising model is considered. We furthermore show how to map general q-state systems with possibly many-body interactions to the 2D Ising model with complex parameters, and give completeness results for these models with real parameters. We also demonstrate that the computational overhead in these constructions is in all relevant cases polynomial. These results are proved by invoking a recently found cross-connection between statistical mechanics and quantum information theory, where partition functions are expressed as quantum mechanical amplitudes. Within this framework, there exists a natural correspondence between many-body quantum states that allow universal quantum computation via local measurements only, and complete classical spin systems.
△ Less
Submitted 12 December, 2008;
originally announced December 2008.
