-
Solving one-body ensemble N-representability problems with spin
Authors:
Julia Liebert,
Federico Castillo,
Jean-Philippe Labbé,
Tomasz Maciazek,
Christian Schilling
Abstract:
The Pauli exclusion principle is fundamental to understanding electronic quantum systems. It namely constrains the expected occupancies $n_i$ of orbitals $\varphi_i$ according to $0 \leq n_i \leq 2$. In this work, we first refine the underlying one-body $N$-representability problem by taking into account simultaneously spin symmetries and a potential degree of mixedness $\boldsymbol w$ of the $N$-…
▽ More
The Pauli exclusion principle is fundamental to understanding electronic quantum systems. It namely constrains the expected occupancies $n_i$ of orbitals $\varphi_i$ according to $0 \leq n_i \leq 2$. In this work, we first refine the underlying one-body $N$-representability problem by taking into account simultaneously spin symmetries and a potential degree of mixedness $\boldsymbol w$ of the $N$-electron quantum state. We then derive a comprehensive solution to this problem by using basic tools from representation theory, convex analysis and discrete geometry. Specifically, we show that the set of admissible orbital one-body reduced density matrices is fully characterized by linear spectral constraints on the natural orbital occupation numbers, defining a convex polytope $Σ_{N,S}(\boldsymbol w) \subset [0,2]^d$. These constraints are independent of $M$ and the number $d$ of orbitals, while their dependence on $N, S$ is linear, and we can thus calculate them for arbitrary system sizes and spin quantum numbers. Our results provide a crucial missing cornerstone for ensemble density (matrix) functional theory.
△ Less
Submitted 2 December, 2024;
originally announced December 2024.
-
Natural orbitals and their occupation numbers for free anyons in the magnetic gauge
Authors:
Jerzy Cioslowski,
Oliver M. Brown,
Tomasz Maciazek
Abstract:
We investigate the properties of natural orbitals and their occupation numbers of the ground state of two non-interacting anyons characterised by the fractional statistics parameter $α$ and confined in a harmonic trap. We work in the boson magnetic gauge where the anyons are modelled as composite bosons with magnetic flux quanta attached to their positions. We derive an asymptotic form of the weak…
▽ More
We investigate the properties of natural orbitals and their occupation numbers of the ground state of two non-interacting anyons characterised by the fractional statistics parameter $α$ and confined in a harmonic trap. We work in the boson magnetic gauge where the anyons are modelled as composite bosons with magnetic flux quanta attached to their positions. We derive an asymptotic form of the weakly occupied natural orbitals, and show that their corresponding (ordered descendingly) occupation numbers decay according to the power law $n^{-(4+2α)}$, where $n$ is the index of the natural orbital. We find remarkable numerical agreement of the theory with the natural orbitals and their occupation numbers computed from the spectral decomposition of the system's wavefunction. We explain that the same results apply to the fermion magnetic gauge.
△ Less
Submitted 10 February, 2024; v1 submitted 25 September, 2023;
originally announced September 2023.
-
Extending the planar theory of anyons to quantum wire networks
Authors:
Tomasz Maciazek,
Mia Conlon,
Gert Vercleyen,
J. K. Slingerland
Abstract:
The braiding of the worldlines of particles restricted to move on a network (graph) is governed by the graph braid group, which can be strikingly different from the standard braid group known from two-dimensional physics. It has been recently shown that imposing the compatibility of graph braiding with anyon fusion for anyons exchanging at a single wire junction leads to new types of anyon models…
▽ More
The braiding of the worldlines of particles restricted to move on a network (graph) is governed by the graph braid group, which can be strikingly different from the standard braid group known from two-dimensional physics. It has been recently shown that imposing the compatibility of graph braiding with anyon fusion for anyons exchanging at a single wire junction leads to new types of anyon models with the braiding exchange operators stemming from solutions of certain generalised hexagon equations. In this work, we establish these graph-braided anyon fusion models for general wire networks. We show that the character of braiding strongly depends on the graph-theoretic connectivity of the given network. In particular, we prove that triconnected networks yield the same braiding exchange operators as the planar anyon models. In contrast, modular biconnected networks support independent braiding exchange operators in different modules. Consequently, such modular networks may lead to more efficient topological quantum computer circuits. Finally, we conjecture that the graph-braided anyon fusion models will possess the (generalised) coherence property where certain polygon equations determine the braiding exchange operators for an arbitrary number of anyons. We also extensively study solutions to these polygon equations for chosen low-rank multiplicity-free fusion rings, including the Ising theory, quantum double of Z2, and Tambara-Yamagami models. We find numerous solutions that do not appear in the planar theory of anyons.
△ Less
Submitted 9 October, 2024; v1 submitted 16 January, 2023;
originally announced January 2023.
-
Can one hear a matrix? Recovering a real symmetric matrix from its spectral data
Authors:
Tomasz Maciążek,
Uzy Smilansky
Abstract:
The spectrum of a real and symmetric $N\times N$ matrix determines the matrix up to unitary equivalence. More spectral data is needed together with some sign indicators to remove the unitary ambiguities. In the first part of this work we specify the spectral and sign information required for a unique reconstruction of general matrices. More specifically, the spectral information consists of the sp…
▽ More
The spectrum of a real and symmetric $N\times N$ matrix determines the matrix up to unitary equivalence. More spectral data is needed together with some sign indicators to remove the unitary ambiguities. In the first part of this work we specify the spectral and sign information required for a unique reconstruction of general matrices. More specifically, the spectral information consists of the spectra of the $N$ nested main minors of the original matrix of the sizes $1,2,\dots,N$. However, due to the complicated nature of the required sign data, improvements are needed in order to make the reconstruction procedure feasible. With this in mind, the second part is restricted to banded matrices where the amount of spectral data exceeds the number of the unknown matrix entries. It is shown that one can take advantage of this redundancy to guarantee unique reconstruction of {\it generic} matrices, in other words, this subset of matrices is open, dense and of full measure in the set of real, symmetric and banded matrices. It is shown that one can optimize the ratio between redundancy and genericity by using the freedom of choice of the spectral information input. We demonstrate our constructions in detail for pentadiagonal matrices.
△ Less
Submitted 17 August, 2021; v1 submitted 3 June, 2021;
originally announced June 2021.
-
Designing locally maximally entangled quantum states with arbitrary local symmetries
Authors:
Oskar Słowik,
Adam Sawicki,
Tomasz Maciążek
Abstract:
One of the key ingredients of many LOCC protocols in quantum information is a multiparticle (locally) maximally entangled quantum state, aka a critical state, that possesses local symmetries. We show how to design critical states with arbitrarily large local unitary symmetry. We explain that such states can be realised in a quantum system of distinguishable traps with bosons or fermions occupying…
▽ More
One of the key ingredients of many LOCC protocols in quantum information is a multiparticle (locally) maximally entangled quantum state, aka a critical state, that possesses local symmetries. We show how to design critical states with arbitrarily large local unitary symmetry. We explain that such states can be realised in a quantum system of distinguishable traps with bosons or fermions occupying a finite number of modes. Then, local symmetries of the designed quantum state are equal to the unitary group of local mode operations acting diagonally on all traps. Therefore, such a group of symmetries is naturally protected against errors that occur in a physical realisation of mode operators. We also link our results with the existence of so-called strictly semistable states with particular asymptotic diagonal symmetries. Our main technical result states that the $N$th tensor power of any irreducible representation of $\mathrm{SU}(N)$ contains a copy of the trivial representation. This is established via a direct combinatorial analysis of Littlewood-Richardson rules utilising certain combinatorial objects which we call telescopes.
△ Less
Submitted 28 April, 2021; v1 submitted 8 November, 2020;
originally announced November 2020.
-
Universal properties of anyon braiding on one-dimensional wire networks
Authors:
Tomasz Maciążek,
Byung Hee An
Abstract:
We demonstrate that anyons on wire networks have fundamentally different braiding properties than anyons in 2D. Our analysis reveals an unexpectedly wide variety of possible non-abelian braiding behaviours on networks. The character of braiding depends on the topological invariant called the connectedness of the network. As one of our most striking consequences, particles on modular networks can c…
▽ More
We demonstrate that anyons on wire networks have fundamentally different braiding properties than anyons in 2D. Our analysis reveals an unexpectedly wide variety of possible non-abelian braiding behaviours on networks. The character of braiding depends on the topological invariant called the connectedness of the network. As one of our most striking consequences, particles on modular networks can change their statistical properties when moving between different modules. However, sufficiently highly connected networks already reproduce braiding properties of 2D systems. Our analysis is fully topological and independent on the physical model of anyons.
△ Less
Submitted 10 November, 2020; v1 submitted 2 July, 2020;
originally announced July 2020.
-
Geometric presentations of braid groups for particles on a graph
Authors:
Byung Hee An,
Tomasz Maciazek
Abstract:
We study geometric presentations of braid groups for particles that are constrained to move on a graph, i.e. a network consisting of nodes and edges. Our proposed set of generators consists of exchanges of pairs of particles on junctions of the graph and of certain circular moves where one particle travels around a simple cycle of the graph. We point out that so defined generators often do not sat…
▽ More
We study geometric presentations of braid groups for particles that are constrained to move on a graph, i.e. a network consisting of nodes and edges. Our proposed set of generators consists of exchanges of pairs of particles on junctions of the graph and of certain circular moves where one particle travels around a simple cycle of the graph. We point out that so defined generators often do not satisfy the braiding relation known from 2D physics. We accomplish a full description of relations between the generators for star graphs where we derive certain quasi-braiding relations. We also describe how graph braid groups depend on the (graph-theoretic) connectivity of the graph. This is done in terms of quotients of graph braid groups where one-particle moves are put to identity. In particular, we show that for $3$-connected planar graphs such a quotient reconstructs the well-known planar braid group. For $2$-connected graphs this approach leads to generalisations of the Yang-Baxter equation. Our results are of particular relevance for the study of non-abelian anyons on networks showing new possibilities for non-abelian quantum statistics on graphs.
△ Less
Submitted 26 June, 2020;
originally announced June 2020.
-
Non-abelian anyons on graphs from presentations of graph braid groups
Authors:
Tomasz Maciążek
Abstract:
The aim of this paper is to analyse algorithms for constructing presentations of graph braid groups from the point of view of anyonic quantum statistics on graphs. In the first part of this paper, we provide a comprehensive review of an algorithm for constructing so-called minimal Morse presentations of graph braid groups that relies on discrete Morse theory. Next, we introduce the notion of a phy…
▽ More
The aim of this paper is to analyse algorithms for constructing presentations of graph braid groups from the point of view of anyonic quantum statistics on graphs. In the first part of this paper, we provide a comprehensive review of an algorithm for constructing so-called minimal Morse presentations of graph braid groups that relies on discrete Morse theory. Next, we introduce the notion of a physical presentation of a graph braid group as a presentation whose generators have a direct interpretation as particle exchanges. We show how to derive a physical presentation of a graph braid group from its minimal Morse presentation. In the second part of the paper, we study unitary representations of graph braid groups that are constructed from their presentations. We point out that algebraic objects called moduli spaces of flat bundles encode all unitary representations of graph braid groups. For $2$-connected graphs, we conclude the stabilisation of moduli spaces of flat bundles over graph configuration spaces for large numbers of particles. Moreover, we set out a framework for studying locally abelian anyons on graphs whose non-abelian properties are only encoded in non-abelian topological phases assigned to cycles of the considered graph.
△ Less
Submitted 4 September, 2019;
originally announced September 2019.
-
Implications of pinned occupation numbers for natural orbital expansions. II: Rigorous derivation and extension to non-fermionic systems
Authors:
Tomasz Maciążek,
Adam Sawicki,
David Gross,
Alexandre Lopes,
Christian Schilling
Abstract:
We have explained and comprehensively illustrated in Part I that the generalized Pauli constraints suggest a natural extension of the concept of active spaces. In the present Part II, we provide rigorous derivations of the theorems involved therein. This will offer in particular deeper insights into the underlying mathematical structure and will explain why the saturation of generalized Pauli cons…
▽ More
We have explained and comprehensively illustrated in Part I that the generalized Pauli constraints suggest a natural extension of the concept of active spaces. In the present Part II, we provide rigorous derivations of the theorems involved therein. This will offer in particular deeper insights into the underlying mathematical structure and will explain why the saturation of generalized Pauli constraints implies a specific simplified structure of the corresponding many-fermion quantum state. Moreover, we extend the results of Part I to non-fermionic multipartite quantum systems, revealing that extremal single-body information has always strong implications for the multipartite quantum state. In that sense, our work also confirms that pinned quantum systems define new physical entities and the presence of pinnings reflect the existence of (possibly hidden) ground state symmetries.
△ Less
Submitted 30 August, 2019;
originally announced August 2019.
-
Non-abelian Quantum Statistics on Graphs
Authors:
Tomasz Maciążek,
Adam Sawicki
Abstract:
We show that non-abelian quantum statistics can be studied using certain topological invariants which are the homology groups of configuration spaces. In particular, we formulate a general framework for describing quantum statistics of particles constrained to move in a topological space $X$. The framework involves a study of isomorphism classes of flat complex vector bundles over the configuratio…
▽ More
We show that non-abelian quantum statistics can be studied using certain topological invariants which are the homology groups of configuration spaces. In particular, we formulate a general framework for describing quantum statistics of particles constrained to move in a topological space $X$. The framework involves a study of isomorphism classes of flat complex vector bundles over the configuration space of $X$ which can be achieved by determining its homology groups. We apply this methodology for configuration spaces of graphs. As a conclusion, we provide families of graphs which are good candidates for studying simple effective models of anyon dynamics as well as models of non-abelian anyons on networks that are used in quantum computing. These conclusions are based on our solution of the so-called universal presentation problem for homology groups of graph configuration spaces for certain families of graphs.
△ Less
Submitted 10 October, 2019; v1 submitted 7 June, 2018;
originally announced June 2018.
-
Asymptotic properties of entanglement polytopes for large number of qubits
Authors:
Tomasz Maciążek,
Adam Sawicki
Abstract:
Entanglement polytopes have been recently proposed as the way of witnessing the SLOCC multipartite entanglement classes using single particle information. We present first asymptotic results concerning feasibility of this approach for large number of qubits. In particular we show that entanglement polytopes of $L$-qubit system accumulate in the distance $\frac{1}{2\sqrt{L}}$ from the point corresp…
▽ More
Entanglement polytopes have been recently proposed as the way of witnessing the SLOCC multipartite entanglement classes using single particle information. We present first asymptotic results concerning feasibility of this approach for large number of qubits. In particular we show that entanglement polytopes of $L$-qubit system accumulate in the distance $\frac{1}{2\sqrt{L}}$ from the point corresponding to the maximally mixed reduced one-qubit density matrices. This implies existence of a possibly large region where many entanglement polytopes overlap, i.e where the witnessing power of entanglement polytopes is weak. Moreover, the witnessing power cannot be strengthened by any entanglement distillation protocol as for large $L$ the required purity is above current capability.
△ Less
Submitted 4 January, 2018; v1 submitted 15 June, 2017;
originally announced June 2017.
-
Quantum marginals from pure doubly excited states
Authors:
Tomasz Maciazek,
Valdemar Tsanov
Abstract:
The possible spectra of one-particle reduced density matrices that are compatible with a pure multipartite quantum system of finite dimension form a convex polytope. We introduce a new construction of inner- and outer-bounding polytopes that constrain the polytope for the entire quantum system. The outer bound is sharp. The inner polytope stems only from doubly excited states. We find all quantum…
▽ More
The possible spectra of one-particle reduced density matrices that are compatible with a pure multipartite quantum system of finite dimension form a convex polytope. We introduce a new construction of inner- and outer-bounding polytopes that constrain the polytope for the entire quantum system. The outer bound is sharp. The inner polytope stems only from doubly excited states. We find all quantum systems, where the bounds coincide giving the entire polytope. We show, that those systems are: i) any system of two particles ii) $L$ qubits, iii) three fermions on $N\leq 7$ levels, iv) any number of bosons on any number of levels and v) fermionic Fock space on $N\leq 5$ levels. The methods we use come from symplectic geometry and representation theory of compact Lie groups. In particular, we study the images of proper momentum maps, where our method describes momentum images for all representations that are spherical.
△ Less
Submitted 24 December, 2017; v1 submitted 15 May, 2017;
originally announced May 2017.
-
Multipartite quantum correlations: symplectic and algebraic geometry approach
Authors:
A. Sawicki,
T. Maciążek,
M. Oszmaniec,
K. Karnas,
K. Kowalczyk-Murynka,
M. Kuś
Abstract:
We review a geometric approach to classification and examination of quantum correlations in composite systems. Since quantum information tasks are usually achieved by manipulating spin and alike systems or, in general, systems with a finite number of energy levels, classification problems are usually treated in frames of linear algebra. We proposed to shift the attention to a geometric description…
▽ More
We review a geometric approach to classification and examination of quantum correlations in composite systems. Since quantum information tasks are usually achieved by manipulating spin and alike systems or, in general, systems with a finite number of energy levels, classification problems are usually treated in frames of linear algebra. We proposed to shift the attention to a geometric description. Treating consistently quantum states as points of a projective space rather than as vectors in a Hilbert space we were able to apply powerful methods of differential, symplectic and algebraic geometry to attack the problem of equivalence of states with respect to the strength of correlations, or, in other words, to classify them from this point of view. Such classifications are interpreted as identification of states with `the same correlations properties' i.e. ones that can be used for the same information purposes, or, from yet another point of view, states that can be mutually transformed one to another by specific, experimentally accessible operations. It is clear that the latter characterization answers the fundamental question `what can be transformed into what \textit{via} available means?'. Exactly such an interpretations, i.e, in terms of mutual transformability can be clearly formulated in terms of actions of specific groups on the space of states and is the starting point for the proposed methods.
△ Less
Submitted 25 March, 2019; v1 submitted 12 January, 2017;
originally announced January 2017.
-
Homology groups for particles on one-connected graphs
Authors:
Tomasz Maciążek,
Adam Sawicki
Abstract:
We present a mathematical framework for describing the topology of configuration spaces for particles on one-connected graphs. In particular, we compute the homology groups over integers for different classes of one-connected graphs. Our approach is based on some fundamental combinatorial properties of the configuration spaces, Mayer-Vietoris sequences for different parts of configuration spaces a…
▽ More
We present a mathematical framework for describing the topology of configuration spaces for particles on one-connected graphs. In particular, we compute the homology groups over integers for different classes of one-connected graphs. Our approach is based on some fundamental combinatorial properties of the configuration spaces, Mayer-Vietoris sequences for different parts of configuration spaces and some limited use of discrete Morse theory. As one of the results, we derive a closed-form formulae for ranks of the homology groups for indistinguishable particles on tree graphs. We also give a detailed discussion of the second homology group of the configuration space of both distinguishable and indistinguishable particles. Our motivation is the search for new kinds of quantum statistics.
△ Less
Submitted 30 June, 2016; v1 submitted 10 June, 2016;
originally announced June 2016.
-
The probability distribution of spectral moments for the Gaussian beta-ensembles
Authors:
Tomasz Maciążek,
Christopher H. Joyner,
Uzy Smilansky
Abstract:
We derive the joint probability distribution of the first two spectral moments for the G$β$E random matrix ensembles in N dimensions for any N. This is achieved by making use of two complementary invariants of the domain in $\mathbb{R}^N$ where the spectral moments are defined. Our approach is significantly different from those employed previously to answer related questions and potentially offe…
▽ More
We derive the joint probability distribution of the first two spectral moments for the G$β$E random matrix ensembles in N dimensions for any N. This is achieved by making use of two complementary invariants of the domain in $\mathbb{R}^N$ where the spectral moments are defined. Our approach is significantly different from those employed previously to answer related questions and potentially offers new insights. We also discuss the problems faced when attempting to include higher spectral moments.
△ Less
Submitted 25 December, 2015; v1 submitted 13 October, 2015;
originally announced October 2015.
-
On the phase diagram of the anisotropic XY chain in transverse magnetic field
Authors:
Tomasz Maciążek,
Jacek Wojtkiewicz
Abstract:
We investigate an explicite formula for ground state energy of the anisotropic XY chain in transverse magnetic field. In particular, we examine the smoothness properties of the expression, given in terms of elliptic integrals. We confirm known 2d-Ising type behaviour in the neighbourhood of certain lines of phase diagram and give more detailed information there, calculating a few next-to-leading e…
▽ More
We investigate an explicite formula for ground state energy of the anisotropic XY chain in transverse magnetic field. In particular, we examine the smoothness properties of the expression, given in terms of elliptic integrals. We confirm known 2d-Ising type behaviour in the neighbourhood of certain lines of phase diagram and give more detailed information there, calculating a few next-to-leading exponents as well as corresponding amplitudes. We also explicitly demonstrate that the ground-state energy is infinitely differentiable on the boundary between ferromagnetic and oscillatory phases.
△ Less
Submitted 4 September, 2015; v1 submitted 20 September, 2014;
originally announced September 2014.
-
Critical points of the linear entropy for pure L-qubit states
Authors:
Tomasz Maciazek,
Adam Sawicki
Abstract:
We present a substancially improved version of the method proposed in Sawicki et al (2012, 2014) for finding critical points of the linear entropy for L-qubit system. The new approach is based on the corespondance between momentum maps for abelian and non-abelian groups, as described in Kirwan (1984). The proposed method can be implemented numerically much easier than the previous one.
We present a substancially improved version of the method proposed in Sawicki et al (2012, 2014) for finding critical points of the linear entropy for L-qubit system. The new approach is based on the corespondance between momentum maps for abelian and non-abelian groups, as described in Kirwan (1984). The proposed method can be implemented numerically much easier than the previous one.
△ Less
Submitted 7 January, 2015; v1 submitted 9 July, 2014;
originally announced July 2014.
-
How many invariant polynomials are needed to decide local unitary equivalence of qubit states?
Authors:
Tomasz Maciazek,
Michał Oszmaniec,
Adam Sawicki
Abstract:
Given L-qubit states with the fixed spectra of reduced one-qubit density matrices, we find a formula for the minimal number of invariant polynomials needed for solving local unitary (LU) equivalence problem, that is, problem of deciding if two states can be connected by local unitary operations. Interestingly, this number is not the same for every collection of the spectra. Some spectra require le…
▽ More
Given L-qubit states with the fixed spectra of reduced one-qubit density matrices, we find a formula for the minimal number of invariant polynomials needed for solving local unitary (LU) equivalence problem, that is, problem of deciding if two states can be connected by local unitary operations. Interestingly, this number is not the same for every collection of the spectra. Some spectra require less polynomials to solve LU equivalence problem than others. The result is obtained using geometric methods, i.e. by calculating the dimensions of reduced spaces, stemming from the symplectic reduction procedure.
△ Less
Submitted 28 May, 2013; v1 submitted 16 May, 2013;
originally announced May 2013.
