-
A toolbox of spin-adapted generalized Pauli constraints
Authors:
Julia Liebert,
Yannick Lemke,
Murat Altunbulak,
Tomasz Maciazek,
Christian Ochsenfeld,
Christian Schilling
Abstract:
We establish a toolbox for studying and applying spin-adapted generalized Pauli constraints (GPCs) in few-electron quantum systems. By exploiting the spin symmetry of realistic $N$-electron wave functions, the underlying one-body pure $N$-representability problem simplifies, allowing us to calculate the GPCs for larger system sizes than previously accessible. We then uncover and rigorously prove a…
▽ More
We establish a toolbox for studying and applying spin-adapted generalized Pauli constraints (GPCs) in few-electron quantum systems. By exploiting the spin symmetry of realistic $N$-electron wave functions, the underlying one-body pure $N$-representability problem simplifies, allowing us to calculate the GPCs for larger system sizes than previously accessible. We then uncover and rigorously prove a superselection rule that highlights the significance of GPCs: whenever a spin-adapted GPC is (approximately) saturated - referred to as (quasi)pinning - the corresponding $N$-electron wave function assumes a simplified structure. Specifically, in a configuration interaction expansion based on natural orbitals only very specific spin configuration state functions may contribute. To assess the nontriviality of (quasi)pinning, we introduce a geometric measure that contrasts it with the (quasi)pinning induced by simple (spin-adapted) Pauli constraints. Applications to few-electron systems suggest that previously observed quasipinning largely stems from spin symmetries.
△ Less
Submitted 21 February, 2025;
originally announced February 2025.
-
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.
-
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.
-
Repulsively diverging gradient of the density functional in the Reduced Density Matrix Functional Theory
Authors:
Tomasz Maciążek
Abstract:
The Reduced Density Matrix Functional Theory (RDMFT) is a remarkable tool for studying properties of ground states of strongly interacting quantum many body systems. As it gives access to the one-particle reduced density matrix of the ground state, it provides a perfectly tailored approach to studying the Bose-Einstein condensation or systems of strongly correlated electrons. In particular, for ho…
▽ More
The Reduced Density Matrix Functional Theory (RDMFT) is a remarkable tool for studying properties of ground states of strongly interacting quantum many body systems. As it gives access to the one-particle reduced density matrix of the ground state, it provides a perfectly tailored approach to studying the Bose-Einstein condensation or systems of strongly correlated electrons. In particular, for homogeneous Bose-Einstein condensates as well as for the Bose-Hubbard dimer it has been recently shown that the relevant density functional exhibits a repulsive gradient (called the Bose-Einstein condensation force) which diverges when the fraction of non-condensed bosons tends to zero. In this paper, we show that the existence of the Bose-Einstein condensation force is completely universal for any type of pair-interaction and also in the non-homogeneous gases. To this end, we construct a universal family of variational trial states which allows us to suitably approximate the relevant density functional in a finite region around the set of the completely condensed states. We also show the existence of an analogous repulsive gradient in the fermionic RDMFT for the $N$-fermion singlet sector in the vicinity of the set of the Hartree-Fock states. Finally, we show that our approximate functional may perform well in electron transfer calculations involving low numbers of electrons. This is demonstrated numerically in the Fermi-Hubbard model in the strongly correlated limit where some other approximate functionals are known to fail.
△ Less
Submitted 19 October, 2021; v1 submitted 29 March, 2021;
originally announced March 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.
-
Implications of pinned occupation numbers for natural orbital expansions. I: Generalizing the concept of active spaces
Authors:
Christian Schilling,
Carlos L. Benavides-Riveros,
Alexandre Lopes,
Tomasz Maciążek,
Adam Sawicki
Abstract:
The concept of active spaces simplifies the description of interacting quantum many-body systems by restricting to a neighbourhood of active orbitals around the Fermi level. The respective wavefunction ansatzes which involve all possible electron configurations of active orbitals can be characterized by the saturation of a certain number of Pauli constraints $0 \leq n_i \leq 1$, identifying the oc…
▽ More
The concept of active spaces simplifies the description of interacting quantum many-body systems by restricting to a neighbourhood of active orbitals around the Fermi level. The respective wavefunction ansatzes which involve all possible electron configurations of active orbitals can be characterized by the saturation of a certain number of Pauli constraints $0 \leq n_i \leq 1$, identifying the occupied core orbitals ($n_i=1$) and the inactive virtual orbitals ($n_j=0$). In Part I, we generalize this crucial concept of active spaces by referring to the generalized Pauli constraints. To be more specific, we explain and illustrate that the saturation of any such constraint on fermionic occupation numbers characterizes a distinctive set of active electron configurations. A converse form of this selection rule establishes the basis for corresponding multiconfigurational wavefunction ansatzes. In Part II, we provide rigorous derivations of those findings. Moroever, we extend our results 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 28 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.
-
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.
