-
Minimal Quantum Circuits for Simulating Fibonacci Anyons
Authors:
Sary Bseiso,
Joel Pommerening,
Richard R. Allen,
Steven H. Simon,
Layla Hormozi
Abstract:
The Fibonacci topological order is the prime candidate for the realization of universal topological quantum computation. We devise minimal quantum circuits to demonstrate the non-Abelian nature of the doubled Fibonacci topological order, as realized in the Levin-Wen string net model. Our circuits effectively initialize the ground state, create excitations, twist and braid them, all in the smallest…
▽ More
The Fibonacci topological order is the prime candidate for the realization of universal topological quantum computation. We devise minimal quantum circuits to demonstrate the non-Abelian nature of the doubled Fibonacci topological order, as realized in the Levin-Wen string net model. Our circuits effectively initialize the ground state, create excitations, twist and braid them, all in the smallest lattices possible. We further design methods to determine the fusion amplitudes and braiding phases of multiple excitations by carrying out a single qubit measurement. We show that the fusion channels of the doubled Fibonacci model can be detected using only three qubits, twisting phases can be measured using five, and braiding can be demonstrated using nine qubits. These designs provide the simplest possible settings for demonstrating the properties of Fibonacci anyons and can be used as realistic blueprints for implementation on many modern quantum architectures.
△ Less
Submitted 1 August, 2024; v1 submitted 31 July, 2024;
originally announced July 2024.
-
Straightening Out the Frobenius-Schur Indicator
Authors:
Steven H. Simon,
Joost K. Slingerland
Abstract:
The Frobenius-Schur indicator is a parameter $κ_a=\pm 1$ assigned to each self-dual particle $a$ in a TQFT. If $κ_a$ is negative then straightening out a timelike zig-zag in the worldline of a particle of type $a$ can incur a minus sign and in this case the amplitude associated with the diagram is not invariant under deformation. This has caused some confusion about the topological invariance of e…
▽ More
The Frobenius-Schur indicator is a parameter $κ_a=\pm 1$ assigned to each self-dual particle $a$ in a TQFT. If $κ_a$ is negative then straightening out a timelike zig-zag in the worldline of a particle of type $a$ can incur a minus sign and in this case the amplitude associated with the diagram is not invariant under deformation. This has caused some confusion about the topological invariance of even simple theories to space-time deformations. We clarify that, given a TQFT with negative Frobenius-Schur indicators, there are two distinct conventions commonly used to interpret a spacetime diagram as a physical amplitude, only one of which is isotopy invariant. We clarify in what sense TQFTs based on Chern-Simons theory with negative Frobenius-Schur indicators are isotopy invariant, and we explain how the Frobenius-Schur indicator is intimately linked with the need to frame world-lines in Chern-Simons theory. Further, in the non-isotopy-invariant interpretation of the diagram algebra we show how a trick of bookkeeping can usually be invoked to push minus signs onto the diagrammatic value of a loop (the "loop weight"), such that most of the evaluation of a diagram does not incur minus signs from straightening zig-zags, and only at the last step minus signs are added. We explain the conditions required for this to be possible. We then further examine what is required in order for a theory to have full isotopy invariance of planar spacetime diagrams, and discover that, if we have successfully pushed the signs from zig-zags onto the loop weight, the only possible obstruction to this is given by an object related to vertices, known as the "third Frobenius-Schur indicator". We finally discuss the extent to which this gives us full isotopy invariance for braided theories.
△ Less
Submitted 30 August, 2022;
originally announced August 2022.
-
Excitations in the Higher Lattice Gauge Theory Model for Topological Phases III: the (3+1)-Dimensional Case
Authors:
Joe Huxford,
Steven H. Simon
Abstract:
In this, the third paper in our series describing the excitations of the higher lattice gauge theory model for topological phases, we will examine the 3+1d case in detail. We will explicitly construct the ribbon and membrane operators which create the topological excitations, and use these creation operators to find the pattern of condensation and confinement. We also use these operators to find t…
▽ More
In this, the third paper in our series describing the excitations of the higher lattice gauge theory model for topological phases, we will examine the 3+1d case in detail. We will explicitly construct the ribbon and membrane operators which create the topological excitations, and use these creation operators to find the pattern of condensation and confinement. We also use these operators to find the braiding relations of the excitations, and to construct charge measurement operators which project to states of definite topological charge.
△ Less
Submitted 17 February, 2024; v1 submitted 20 June, 2022;
originally announced June 2022.
-
Excitations in the Higher Lattice Gauge Theory Model for Topological Phases II: The (2+1)-Dimensional Case
Authors:
Joe Huxford,
Steven H. Simon
Abstract:
In this work, the second paper of this series, we study the 2+1d version of a Hamiltonian model for topological phases based on higher lattice gauge theory. We construct the ribbon operators that produce the point-like excitations. These ribbon operators are used to find the braiding properties and topological charge carried by the point-like excitations. The model also hosts loop-like excitations…
▽ More
In this work, the second paper of this series, we study the 2+1d version of a Hamiltonian model for topological phases based on higher lattice gauge theory. We construct the ribbon operators that produce the point-like excitations. These ribbon operators are used to find the braiding properties and topological charge carried by the point-like excitations. The model also hosts loop-like excitations, which are produced by membrane operators. By considering a change of basis, we show that, in certain cases, some loop-like excitations represent domain walls between patches corresponding to different symmetry-related ground states, and we find this symmetry. We also map the higher lattice gauge theory Hamiltonian to the symmetry enriched string-net model for symmetry enriched topological phases (SETs) described by Heinrich, Burnell, Fidkowski and Levin [Phys. Rev. B, 94, 235136 (2016)], again in a subset of cases.
△ Less
Submitted 12 February, 2024; v1 submitted 11 April, 2022;
originally announced April 2022.
-
Excitations in the Higher Lattice Gauge Theory Model for Topological Phases I: Overview
Authors:
Joe Huxford,
Steven H. Simon
Abstract:
In this series of papers, we study a Hamiltonian model for 3+1d topological phases, based on a generalisation of lattice gauge theory known as "higher lattice gauge theory". Higher lattice gauge theory has so called "2-gauge fields" describing the parallel transport of lines, just as ordinary gauge fields describe the parallel transport of points. In the Hamiltonian model this is represented by ha…
▽ More
In this series of papers, we study a Hamiltonian model for 3+1d topological phases, based on a generalisation of lattice gauge theory known as "higher lattice gauge theory". Higher lattice gauge theory has so called "2-gauge fields" describing the parallel transport of lines, just as ordinary gauge fields describe the parallel transport of points. In the Hamiltonian model this is represented by having labels on the plaquettes of the lattice, as well as the edges. In this paper we summarize our findings in an accessible manner, with more detailed results and proofs to be presented in the other papers in the series. The Hamiltonian model supports both point-like and loop-like excitations, with non-trivial braiding between these excitations. We explicitly construct operators to produce and move these excitations, and use these to find the loop-loop and point-loop braiding relations. These creation operators also reveal that some of the excitations are confined, costing energy to separate. This is discussed in the context of condensation/confinement transitions between different cases of this model. We also discuss the topological charges of the model and use explicit measurement operators to re-derive a relationship between the number of charges measured by a 2-torus and the ground-state degeneracy of the model on the 3-torus. From these measurement operators, we can see that the ground state degeneracy on the 3-torus is related to the number of types of linked loop-like excitations.
△ Less
Submitted 4 November, 2023; v1 submitted 16 February, 2022;
originally announced February 2022.
-
Classical Dimers on Penrose Tilings
Authors:
Felix Flicker,
Steven H. Simon,
S. A. Parameswaran
Abstract:
We study the classical dimer model on rhombic Penrose tilings, whose edges and vertices may be identified with those of a bipartite graph. We find that Penrose tilings do not admit perfect matchings (defect-free dimer coverings). Instead, their maximum matchings have a monomer density of $81-50\varphi\approx 0.098$ in the thermodynamic limit, with $\varphi=\left(1+\sqrt{5}\right)/2$ the golden rat…
▽ More
We study the classical dimer model on rhombic Penrose tilings, whose edges and vertices may be identified with those of a bipartite graph. We find that Penrose tilings do not admit perfect matchings (defect-free dimer coverings). Instead, their maximum matchings have a monomer density of $81-50\varphi\approx 0.098$ in the thermodynamic limit, with $\varphi=\left(1+\sqrt{5}\right)/2$ the golden ratio. Maximum matchings divide the tiling into a fractal of nested closed regions bounded by loops that cannot be crossed by monomers. These loops connect second-nearest neighbour even-valence vertices, each of which lies on such a loop. Assigning a charge to each monomer with a sign fixed by its bipartite sublattice, we find that each bounded region has an excess of one charge, and a corresponding set of monomers, with adjacent regions having opposite net charge. The infinite tiling is charge neutral. We devise a simple algorithm for generating maximum matchings, and demonstrate that maximum matchings form a connected manifold under local monomer-dimer rearrangements. We show that dart-kite Penrose tilings feature an imbalance of charge between bipartite sub-lattices, leading to a minimum monomer density of $\left(7-4\varphi\right)/5\approx 0.106$ all of one charge.
△ Less
Submitted 3 October, 2019; v1 submitted 7 February, 2019;
originally announced February 2019.
-
Entanglement subspaces, trial wavefunctions, and special Hamiltonians in the fractional quantum Hall effect
Authors:
T. S. Jackson,
N. Read,
S. H. Simon
Abstract:
We consider spaces of trial wavefunctions for ground states and edge excitations in the fractional quantum Hall effect that can be obtained in various ways. In one way, functions are obtained by analyzing the entanglement of the ground state wavefunction, partitioned into two parts. In another, functions are defined by the way in which they vanish as several coordinates approach the same value, or…
▽ More
We consider spaces of trial wavefunctions for ground states and edge excitations in the fractional quantum Hall effect that can be obtained in various ways. In one way, functions are obtained by analyzing the entanglement of the ground state wavefunction, partitioned into two parts. In another, functions are defined by the way in which they vanish as several coordinates approach the same value, or by a projection-operator Hamiltonian that enforces those conditions. In a third way, functions are given by conformal blocks from a conformal field theory (CFT). These different spaces of functions are closely related. The use of CFT methods permits an algebraic formulation to be given for all of them. In some cases, we can prove that there is a ground state, a Hamiltonian, and a CFT such that, for any number of particles, all of these spaces are the same. For such cases, this resolves several questions and conjectures: it gives a finite-size bulk-edge correspondence, and we can use the analysis of functions to construct a projection-operator Hamiltonian that produces those functions as zero-energy states. For a model related to the N=1 superconformal algebra, the corresponding Hamiltonian imposes vanishing properties involving only three particles; for this we determine all the wavefunctions explicitly. We do the same for a sequence of models involving the M(3,p) Virasoro minimal models that has been considered previously, using results from the literature. We exhibit the Hamiltonians for the first few cases of these. The techniques we introduce can be applied in numerous examples other than those considered here.
△ Less
Submitted 13 August, 2013; v1 submitted 19 March, 2013;
originally announced March 2013.
-
Correlators of N=1 Superconformal Currents
Authors:
Steven H. Simon
Abstract:
We give an explicit expression for the M-point correlator of the superconformal current in two dimensional N=1 superconformal field theories.
We give an explicit expression for the M-point correlator of the superconformal current in two dimensional N=1 superconformal field theories.
△ Less
Submitted 10 March, 2009; v1 submitted 7 November, 2008;
originally announced November 2008.
-
Capacity of Differential versus Non-Differential Unitary Space-Time Modulation for MIMO channels
Authors:
Aris L. Moustakas,
Steven H. Simon,
Thomas L. Marzetta
Abstract:
Differential Unitary Space-Time Modulation (DUSTM) and its earlier nondifferential counterpart, USTM, permit high-throughput MIMO communication entirely without the possession of channel state information (CSI) by either the transmitter or the receiver. For an isotropically random unitary input we obtain the exact closed-form expression for the probability density of the DUSTM received signal, w…
▽ More
Differential Unitary Space-Time Modulation (DUSTM) and its earlier nondifferential counterpart, USTM, permit high-throughput MIMO communication entirely without the possession of channel state information (CSI) by either the transmitter or the receiver. For an isotropically random unitary input we obtain the exact closed-form expression for the probability density of the DUSTM received signal, which permits the straightforward Monte Carlo evaluation of its mutual information. We compare the performance of DUSTM and USTM through both numerical computations of mutual information and through the analysis of low- and high-SNR asymptotic expressions. In our comparisons the symbol durations of the equivalent unitary space-time signals are both equal to T, as are the number of receive antennas N. For DUSTM the number of transmit antennas is constrained by the scheme to be M = T/2, while USTM has no such constraint. If DUSTM and USTM utilize the same number of transmit antennas at high SNR's the normalized mutual information of the differential and the nondifferential schemes expressed in bits/sec/Hz are asymptotically equal, with the differential scheme performing somewhat better, while at low SNR's the normalized mutual information of DUSTM is asymptotically twice the normalized mutual information of USTM. If, instead, USTM utilizes the optimum number of transmit antennas then USTM can outperform DUSTM at sufficiently low SNR's.
△ Less
Submitted 12 December, 2005;
originally announced December 2005.
-
Capacity and Character Expansions: Moment generating function and other exact results for MIMO correlated channels
Authors:
Steven H. Simon,
Aris L. Moustakas,
Luca Marinelli
Abstract:
We apply a promising new method from the field of representations of Lie groups to calculate integrals over unitary groups, which are important for multi-antenna communications. To demonstrate the power and simplicity of this technique, we first re-derive a number of results that have been used recently in the community of wireless information theory, using only a few simple steps. In particular…
▽ More
We apply a promising new method from the field of representations of Lie groups to calculate integrals over unitary groups, which are important for multi-antenna communications. To demonstrate the power and simplicity of this technique, we first re-derive a number of results that have been used recently in the community of wireless information theory, using only a few simple steps. In particular, we derive the joint probability distribution of eigenvalues of the matrix GG*, with G a semicorrelated Gaussian random matrix or a Gaussian random matrix with a non-zero mean (and G* its hermitian conjugate) . These joint probability distribution functions can then be used to calculate the moment generating function of the mutual information for Gaussian channels with multiple antennas on both ends with this probability distribution of their channel matrices G. We then turn to the previously unsolved problem of calculating the moment generating function of the mutual information of MIMO (multiple input-multiple output) channels, which are correlated at both the receiver and the transmitter. From this moment generating function we obtain the ergodic average of the mutual information and study the outage probability. These methods can be applied to a number of other problems. As a particular example, we examine unitary encoded space-time transmission of MIMO systems and we derive the received signal distribution when the channel matrix is correlated at the transmitter end.
△ Less
Submitted 27 September, 2005;
originally announced September 2005.
-
Eigenvalue Density of Correlated Complex Random Wishart Matrices
Authors:
Steven H. Simon,
Aris L. Moustakas
Abstract:
Using a character expansion method, we calculate exactly the eigenvalue density of random matrices of the form M^\dagger M where M is a complex matrix drawn from a normalized distribution P(M) ~ exp(-\Tr(A M B M^\dagger) with A and B positive definite (square) matrices of arbitrary dimensions. Such so-called ``correlated Wishart matrices'' occur in many fields ranging from information theory to…
▽ More
Using a character expansion method, we calculate exactly the eigenvalue density of random matrices of the form M^\dagger M where M is a complex matrix drawn from a normalized distribution P(M) ~ exp(-\Tr(A M B M^\dagger) with A and B positive definite (square) matrices of arbitrary dimensions. Such so-called ``correlated Wishart matrices'' occur in many fields ranging from information theory to multivariate analysis.
△ Less
Submitted 20 January, 2004;
originally announced January 2004.
