arXiv subjects

Gerardo Ortiz

Publications and source records attributed to Gerardo Ortiz.

At least 73 records · Page 4Linked to original sources

arXiv2014

Majorana Flat Bands in s-Wave Gapless Topological Superconductors

We demonstrate how the non-trivial interplay between spin-orbit coupling and nodeless $s$-wave superconductivity can drive a fully gapped two-band topological insulator into a time-reversal invariant gapless topological superconductor supporting symmetry-protected Majorana flat bands. We characterize topological phase diagrams by a ${\mathbb Z}_2 \times{\mathbb Z}_2$ partial Berry-phase invariant, and show that, despite the trivial crystal geometry, no unique bulk-boundary correspondence exists. We trace this behavior to the anisotropic quasiparticle bulk gap closing, linear vs. quadratic, and argue that this provides a unifying principle for gapless topological superconductivity. Experimental implications for tunneling conductance measurements are addressed, relevant for lead chalcogenide materials.

cond-mat.supr-con↗

arXiv2014

Chiral phases of two-dimensional hard-core bosons with frustrated ring-exchange

We study the zero temperature phase diagram of two-dimensional hard-core bosons on a square lattice with nearest neighbour and plaquette (ring-exchange) hoppings, at arbitrary densities, by means of a hierarchical mean-field theory. In the frustrated regime, where quantum Monte Carlo suffers from a sign problem, we find a rich phase diagram where exotic states with nonzero chirality emerge. Among them, novel insulating phases, characterized by nonzero bond-chirality and plaquette order, are found over a large region of the parameter space. In the unfrustrated regime, the hierarchical mean-field approach improves over the standard mean-field treatment as it is able to capture the transition from a superfluid to a valence bond state upon increasing the strength of the ring-exchange term, in qualitative agreement with quantum Monte Carlo results.

cond-mat.str-el↗

arXiv2013

Repulsive Interactions in Quantum Hall Systems as a Pairing Problem

A subtle relation between Quantum Hall physics and the phenomenon of pairing is unveiled. By use of second quantization, we establish a connection between (i) a broad class of rotationally symmetric two-body interactions within the lowest Landau level and (ii) integrable hyperbolic Richardson-Gaudin type Hamiltonians that arise in (p_{x}+ip_{y}) superconductivity. Specifically, we show that general Haldane pseudopotentials (and their sums) can be expressed as a sum of repulsive non-commuting (p_{x}+ip_{y})-type pairing Hamiltonians. For the Laughlin sequence, it is observed that this problem is frustration free and zero energy ground states lie in the common null space of all of these non-commuting Hamiltonians. This property allows for the use of a new truncated basis of pairing configurations in which to express Laughlin states at general filling factors. We prove separability of arbitrary Haldane pseudopotentials, providing explicit expressions for their second quantized forms, and further show by explicit construction how to exploit the topological equivalence between different geometries (disk, cylinder, and sphere) sharing the same topological genus number, in the second quantized formalism, through similarity transformations. As an application of the second quantized approach, we establish a "squeezing principle" that applies to the zero modes of a general class of Hamiltonians, which includes but is not limited to Haldane pseudopotentials. We also show how one may establish (bounds on) "incompressible filling factors" for those Hamiltonians. By invoking properties of symmetric polynomials, we provide explicit second quantized quasi-hole generators; the generators that we find directly relate to bosonic chiral edge modes and further make aspects of dimensional reduction in the Quantum Hall systems precise.

cond-mat.str-el↗

arXiv2013

Fock Parafermions and Self-Dual Representations of the Braid Group

We introduce and describe in second quantization a family of particle species with $p=2,3,\dots$ exclusion and $θ=2π/p$ exchange statistics. We call these anyons Fock parafermions, because they are the particles naturally associated to the parafermionic zero-energy modes, potentially realizable in mesoscopic arrays of fractional topological insulators. Their second-quantization description entails the concept of Fock algebra, i.e., a Fock space endowed with a statistical multiplication that captures and logically correlates these anyons' exclusion and exchange statistics. As a consequence normal-ordering continues to be a well-defined operation. Because of its relevance to topological quantum information processing, we also derive families of self-dual representations of the braid group for any $p$, with the Gaussian representation being a special case. The self-dual representations can be realized in terms of local quadratic combinations of either parafermions or Fock parafermions, an important requisite for physical implementation of quantum logic gates.

cond-mat.stat-mech↗

arXiv2013

Geometry of Discrete Quantum Computing

Conventional quantum computing entails a geometry based on the description of an n-qubit state using 2^{n} infinite precision complex numbers denoting a vector in a Hilbert space. Such numbers are in general uncomputable using any real-world resources, and, if we have the idea of physical law as some kind of computational algorithm of the universe, we would be compelled to alter our descriptions of physics to be consistent with computable numbers. Our purpose here is to examine the geometric implications of using finite fields Fp and finite complexified fields Fp^2 (based on primes p congruent to 3 mod{4}) as the basis for computations in a theory of discrete quantum computing, which would therefore become a computable theory. Because the states of a discrete n-qubit system are in principle enumerable, we are able to determine the proportions of entangled and unentangled states. In particular, we extend the Hopf fibration that defines the irreducible state space of conventional continuous n-qubit theories (which is the complex projective space CP{2^{n}-1}) to an analogous discrete geometry in which the Hopf circle for any n is found to be a discrete set of p+1 points. The tally of unit-length n-qubit states is given, and reduced via the generalized Hopf fibration to DCP{2^{n}-1}, the discrete analog of the complex projective space, which has p^{2^{n}-1} (p-1)\prod_{k=1}^{n-1} (p^{2^{k}}+1) irreducible states. Using a measure of entanglement, the purity, we explore the entanglement features of discrete quantum states and find that the n-qubit states based on the complexified field Fp^2 have p^{n} (p-1)^{n} unentangled states (the product of the tally for a single qubit) with purity 1, and they have p^{n+1}(p-1)(p+1)^{n-1} maximally entangled states with purity zero.

quant-ph↗

arXiv2013

Discrete Quantum Theories

We explore finite-field frameworks for quantum theory and quantum computation. The simplest theory, defined over unrestricted finite fields, is unnaturally strong. A second framework employs only finite fields with no solution to x^2+1=0, and thus permits an elegant complex representation of the extended field by adjoining i=\sqrt{-1}. Quantum theories over these fields recover much of the structure of conventional quantum theory except for the condition that vanishing inner products arise only from null states; unnaturally strong computational power may still occur. Finally, we are led to consider one more framework, with further restrictions on the finite fields, that recovers a local transitive order and a locally-consistent notion of inner product with a new notion of cardinal probability. In this framework, conventional quantum mechanics and quantum computation emerge locally (though not globally) as the size of the underlying field increases. Interestingly, the framework allows one to choose separate finite fields for system description and for measurement: the size of the first field quantifies the resources needed to describe the system and the size of the second quantifies the resources used by the observer. This resource-based perspective potentially provides insights into quantitative measures for actual computational power, the complexity of quantum system definition and evolution, and the independent question of the cost of the measurement process.

quant-ph↗

arXiv2013

Multiband s-wave topological superconductors: role of dimensionality and magnetic field response

We further investigate a class of time-reversal-invariant two-band s-wave topological superconductors introduced in Phys. Rev. Lett. 108, 036803 (2012). We show how, in the presence of time-reversal symmetry, Z_2 invariants that distinguish between trivial and non-trivial quantum phases can be constructed by considering only one of the Kramers' sectors in which the Hamiltonian decouples into. We find that the main features identified in our original 2D setting remain qualitatively unchanged in 1D and 3D, with non-trivial topological superconducting phases supporting an odd number of Kramers' pairs of helical Majorana modes on each boundary, as long as the required $π$ phase difference between gaps is maintained. We also analyze the consequences of time-reversal symmetry-breaking either due to the presence of an applied or impurity magnetic field or to a deviation from the intended phase matching between the superconducting gaps. We demonstrate how the relevant notion of topological invariance must be modified when time-reversal symmetry is broken, and how both the persistence of gapless Majorana modes and their robustness properties depend in general upon the way in which the original Hamiltonian is perturbed. Interestingly, a topological quantum phase transition between helical and chiral superconducting phases can be induced by suitably tuning a Zeeman field in conjunction with a phase mismatch between the gaps. Recent experiments in doped semiconducting crystals, of potential relevance to the proposed model, and possible candidate material realizations in superconductors with $s_\pm$ pairing symmetry are discussed.

cond-mat.supr-con↗

arXiv2012

The Adiabatic Theorem for Quantum Systems with Spectral Degeneracy

By stating the adiabatic theorem of quantum mechanics in a clear and rigorous way, we establish a necessary condition and a sufficient condition for its validity, where the latter is obtained employing our recently developed adiabatic perturbation theory. Also, we simplify further the sufficient condition into a useful and simple practical test at the expenses of its mathematical rigor. We present results for the most general case of quantum systems, i.e., those with degenerate energy spectra. These conditions are of upmost importance to assess the validity of practical implementations of non-Abelian braiding and adiabatic quantum computation. To illustrate the degenerate adiabatic approximation, and the necessary and sufficient conditions for its validity, we analyze in depth an exactly solvable time-dependent degenerate problem.

quant-ph↗

arXiv2012

Arbitrary Dimensional Majorana Dualities and Network Architectures for Topological Matter

Motivated by the prospect of attaining Majorana modes at the ends of nanowires, we analyze interacting Majorana systems on general networks and lattices in an arbitrary number of dimensions, and derive various universal spin duals. Such general complex Majorana architectures (other than those of simple square or other crystalline arrangements) might be of empirical relevance. As these systems display low-dimensional symmetries, they are candidates for realizing topological quantum order. We prove that (a) these Majorana systems, (b) quantum Ising gauge theories, and (c) transverse-field Ising models with annealed bimodal disorder are all dual to one another on general graphs. As any Dirac fermion (including electronic) operator can be expressed as a linear combination of two Majorana fermion operators, our results further lead to dualities between interacting Dirac fermionic systems. The spin duals allow us to predict the feasibility of various standard transitions as well as spin-glass type behavior in {\it interacting} Majorana fermion or electronic systems. Several new systems that can be simulated by arrays of Majorana wires are further introduced and investigated: (1) the {\it XXZ honeycomb compass} model (intermediate between the classical Ising model on the honeycomb lattice and Kitaev's honeycomb model), (2) a checkerboard lattice realization of the model of Xu and Moore for superconducting $(p+ip)$ arrays, and a (3) compass type two-flavor Hubbard model with both pairing and hopping terms. By the use of dualities, we show that all of these systems lie in the 3D Ising universality class. We discuss how the existence of topological orders and bounds on autocorrelation times can be inferred by the use of symmetries and also propose to engineer {\it quantum simulators} out of these Majorana networks.

cond-mat.mes-hall↗

arXiv2012

Majorana modes in time-reversal invariant s-wave topological superconductors

We present a time-reversal invariant s-wave superconductor supporting Majorana edge modes. The multi-band character of the model together with spin-orbit coupling are key to realizing such a topological superconductor. We characterize the topological phase diagram by using a partial Chern number sum, and show that the latter is physically related to the parity of the fermion number of the time-reversal invariant modes. By taking the self-consistency constraint on the s-wave pairing gap into account, we also establish the possibility of a direct topological superconductor-to-topological insulator quantum phase transition.

cond-mat.supr-con↗

arXiv2011

Effective and exact holographies from symmetries and dualities

The theoretical basis of the phenomenon of effective and exact dimensional reduction, or holographic correspondence, is investigated in a wide variety of physical systems. We first derive general inequalities linking quantum systems of different spatial (or spatio-temporal) dimensionality, thus establishing bounds on arbitrary correlation functions. These bounds enforce an {\em effective} dimensional reduction and become most potent in the presence of certain symmetries. {\em Exact} dimensional reduction can stem from a duality that (i) follows from properties of the local density of states, and/or (ii) from properties of Hamiltonian-dependent algebras of interactions. Dualities of the first type (i) are illustrated with large-$n$ vector theories whose local density of states may remain invariant under transformations that change the dimension. We argue that a broad class of examples of dimensional reduction may be understood in terms of the functional dependence of observables on the local density of states. Dualities of the second type (ii) are obtained via {\em bond algebras}, a recently developed algebraic tool. We apply this technique to systems displaying topological quantum order, and also discuss the implications of dimensional reduction for the storage of quantum information.

cond-mat.stat-mech↗

arXiv2011

The Bond-Algebraic Approach to Dualities

An algebraic theory of dualities is developed based on the notion of bond algebras. It deals with classical and quantum dualities in a unified fashion explaining the precise connection between quantum dualities and the low temperature (strong-coupling)/high temperature (weak-coupling) dualities of classical statistical mechanics (or (Euclidean) path integrals). Its range of applications includes discrete lattice, continuum field, and gauge theories. Dualities are revealed to be local, structure-preserving mappings between model-specific bond algebras that can be implemented as unitary transformations, or partial isometries if gauge symmetries are involved. This characterization permits to search systematically for dualities and self-dualities in quantum models of arbitrary system size, dimensionality and complexity, and any classical model admitting a transfer matrix representation. Dualities like exact dimensional reduction, emergent, and gauge-reducing dualities that solve gauge constraints can be easily understood in terms of mappings of bond algebras. As a new example, we show that the (\mathbb{Z}_2) Higgs model is dual to the extended toric code model {\it in any number of dimensions}. Non-local dual variables and Jordan-Wigner dictionaries are derived from the local mappings of bond algebras. Our bond-algebraic approach goes beyond the standard approach to classical dualities, and could help resolve the long standing problem of obtaining duality transformations for lattice non-Abelian models. As an illustration, we present new dualities in any spatial dimension for the quantum Heisenberg model. Finally, we discuss various applications including location of phase boundaries, spectral behavior and, notably, we show how bond-algebraic dualities help constrain and realize fermionization in an arbitrary number of spatial dimensions.

cond-mat.stat-mech↗

arXiv2011

The Power of Discrete Quantum Theories

We explore the implications of restricting the framework of quantum theory and quantum computation to finite fields. The simplest proposed theory is defined over arbitrary finite fields and loses the notion of unitaries. This makes such theories unnaturally strong, permitting the search of unstructured databases faster than asymptotically possible in conventional quantum computing. The next most general approach chooses finite fields with no solution to x^2+1=0, and thus permits an elegant complex-like representation of the extended field by adjoining i=sqrt(-1). Quantum theories over these fields retain the notion of unitaries and --- for particular problem sizes --- allow the same algorithms as conventional quantum theory. These theories, however, still support unnaturally strong computations for certain problem sizes, but the possibility of such phenomena decreases as the size of the field increases.

quant-ph↗

arXiv2011

Dynamical critical scaling and effective thermalization in quantum quenches: the role of the initial state

We explore the robustness of universal dynamical scaling behavior in a quantum system near criticality with respect to initialization in a large class of states with finite energy. By focusing on a homogeneous XY quantum spin chain in a transverse field, we characterize the non-equilibrium response under adiabatic and sudden quench processes originating from a pure as well as a mixed excited initial state, and involving either a regular quantum critical or a multicritical point. We find that the critical exponents of the ground-state quantum phase transition can be encoded in the dynamical scaling exponents despite the finite energy of the initial state. In particular, we identify conditions on the initial distribution of quasi-particle excitation which ensure Kibble-Zurek scaling to persist. The emergence of effective thermal equilibrium behavior following a sudden quench towards criticality is also investigated, with focus on the long-time dynamics of the quasi-particle excitation. For a quench to a regular quantum critical point, this observable is found to behave thermally provided that the system is prepared at sufficiently high temperature, whereas thermalization fails to occur in quenches taking the system towards a multi-critical point. We argue that the observed lack of thermalization originates in this case in the asymmetry of the impulse region that is also responsible for anomalous multicritical dynamical scaling.

cond-mat.stat-mech↗

arXiv2011

Real-space renormalization group for the transverse-field Ising model in two and three dimensions

The two- and three-dimensional transverse-field Ising models with ferromagnetic exchange interactions are analyzed by means of the real-space renormalization group method. The basic strategy is a generalization of a method developed for the one-dimensional case, which exploits the exact invariance of the model under renormalization and is known to give the exact values of the critical point and critical exponent $ν$. The resulting values of the critical exponent $ν$ in two and three dimensions are in good agreement with those for the classical Ising model in three and four dimensions. This is the first example in which a real-space renormalization group on (2+1)- and (3+1)-dimensional Bravais lattices yields accurate estimates of the critical exponents.

cond-mat.stat-mech↗

arXiv2011

Quantum Computing over Finite Fields

In recent work, Benjamin Schumacher and Michael~D. Westmoreland investigate a version of quantum mechanics which they call "modal quantum theory" but which we prefer to call "discrete quantum theory". This theory is obtained by instantiating the mathematical framework of Hilbert spaces with a finite field instead of the field of complex numbers. This instantiation collapses much the structure of actual quantum mechanics but retains several of its distinguishing characteristics including the notions of superposition, interference, and entanglement. Furthermore, discrete quantum theory excludes local hidden variable models, has a no-cloning theorem, and can express natural counterparts of quantum information protocols such as superdense coding and teleportation. Our first result is to distill a model of discrete quantum computing from this quantum theory. The model is expressed using a monadic metalanguage built on top of a universal reversible language for finite computations, and hence is directly implementable in a language like Haskell. In addition to superpositions and invertible linear maps, the model includes conventional programming constructs including pairs, sums, higher-order functions, and recursion. Our second result is to relate this programming model to relational programming, e.g., a pure version of Prolog over finite relations. Surprisingly discrete quantum computing is identical to conventional logic programming except for a small twist that is responsible for all the ``quantum-ness.'' The twist occurs when merging sets of answers computed by several alternatives: the answers are combined using an "exclusive" version of logical disjunction. In other words, the two branches of a choice junction exhibit an "interference" effect: an answer is produced from the junction if it occurs in one or the other branch but not both.

quant-ph↗

arXiv2010

Quantum phase diagram of the integrable p_x+ip_y fermionic superfluid

We determine the zero temperature quantum phase diagram of a p_x+ip_y pairing model based on the exactly solvable hyperbolic Richardson-Gaudin model. We present analytical and large-scale numerical results for this model. In the continuum limit, the exact solution exhibits a third-order quantum phase transition, separating a strong-pairing from a weak-pairing phase. The mean field solution allows to connect these results to other models with p_x+ip_y pairing order. We define an experimentally accessible characteristic length scale, associated with the size of the Cooper pairs, that diverges at the transition point, indicating that the phase transition is of a confinement-deconfinement type without local order parameter. We show that this phase transition is not limited to the p_x+ip_y pairing model, but can be found in any representation of the hyperbolic Richardson-Gaudin model and is related to a symmetry that is absent in the rational Richardson-Gaudin model.

cond-mat.quant-gas↗

arXiv2010

Adiabatic Perturbation Theory and Geometric Phases for Degenerate Systems

We introduce an adiabatic perturbation theory for quantum systems with degenerate energy spectra. This perturbative series enables one to rigorously establish conditions for the validity of the adiabatic theorem of quantum mechanics for degenerate systems. The same formalism can be used to find non-adiabatic corrections to the non-Abelian Wilczek-Zee geometric phase. These corrections are relevant to assess the validity of the practical implementation of the concept of fractional exchange statistics. We illustrate the formalism by exactly solving a time-dependent problem and comparing its solution to the perturbative one.

quant-ph↗