System of Majorana zero modes with random infinite range interactions -- the Sachdev-Ye-Kitaev (SYK) model -- is thought to exhibit an intriguing relation to the horizons of extremal black holes in two-dimensional anti-de Sitter (AdS$_2$) space. This
connection provides a rare example of holographic duality between a solvable quantum-mechanical model and dilaton gravity. Here we propose a physical realization of the SYK model in a solid state system. The proposed setup employs the Fu-Kane superconductor realized at the interface between a three dimensional topological insulator (TI) and an ordinary superconductor. The requisite $N$ Majorana zero modes are bound to a nanoscale hole fabricated in the superconductor that is threaded by $N$ quanta of magnetic flux. We show that when the system is tuned to the surface neutrality point (i.e. chemical potential coincident with the Dirac point of the TI surface state) and the hole has sufficiently irregular shape, the Majorana zero modes are described by the SYK Hamiltonian. We perform extensive numerical simulations to demonstrate that the system indeed exhibits physical properties expected of the SYK model, including thermodynamic quantities and two-point as well as four-point correlators, and discuss ways in which these can be observed experimentally.
When magnetic field $B$ is applied to a metal, nearly all observable quantities exhibit oscillations periodic in $1/B$. Such quantum oscillations reflect the fundamental reorganization of electron states into Landau levels as a canonical response of
the metal to the applied magnetic field. We predict here that, remarkably, in the recently discovered Dirac and Weyl semimetals quantum oscillations can occur in the complete absence of magnetic field. These zero-field quantum oscillations are driven by elastic strain which, in the space of the low-energy Dirac fermions, acts as a chiral gauge potential. We propose an experimental setup in which the strain in a thin film (or nanowire) can generate pseudomagnetic field $b$ as large as 15T and demonstrate the resulting de Haas-van Alphen and Shubnikov-de Haas oscillations periodic in $1/b$.
Classification standards such as the Mammal Species of the World (MSW) aim to unify name usages at the global scale, but may nevertheless experience significant levels of taxonomic change from one edition to the next. This circumstance challenges the
biodiversity and phylogenetic data communities to develop more granular identifiers to track taxonomic congruence and incongruence in ways that both humans and machines can process, i.e., to logically represent taxonomic provenance across multiple classification hierarchies. Here we show that reasoning over taxonomic provenance is feasible for two classifications of primates corresponding to the second and third MSW editions. Our approach entails three main components: (1) individuation of name usages as taxonomic concepts, (2) articulation of concepts via human-asserted Region Connection Calculus (RCC-5) relationships, and (3) the use of an Answer Set Programming toolkit to infer and visualize logically consistent alignments of these taxonomic input constraints. Our use case entails the Primates sec. Groves (1993; MSW2 - 317 taxonomic concepts; 233 at the species level) and Primates sec. Groves (2005; MSW3 - 483 taxonomic concepts; 376 at the species level). Using 402 concept-to-concept input articulations, the reasoning process yields a single, consistent alignment, and infers 153,111 Maximally Informative Relations that constitute a comprehensive provenance resolution map for every concept pair in the Primates sec. MSW2/MSW3. The entire alignment and various partitions facilitate quantitative analyses of name/meaning dissociation, revealing that approximately one in three paired name usages across treatments is not reliable - in the sense of the same name identifying congruent taxonomic meanings. We conclude with an optimistic outlook for logic-based provenance tools in next-generation biodiversity and phylogeny data platforms.
Classifications and phylogenetic inferences of organismal groups change in light of new insights. Over time these changes can result in an imperfect tracking of taxonomic perspectives through the re-/use of Code-compliant or informal names. To mitiga
te these limitations, we introduce a novel approach for aligning taxonomies through the interaction of human experts and logic reasoners. We explore the performance of this approach with the Perelleschus use case of Franz & Cardona-Duque (2013). The use case includes six taxonomies published from 1936 to 2013, 54 taxonomic concepts (i.e., circumscriptions of names individuated according to their respective source publications), and 75 expert-asserted Region Connection Calculus articulations (e.g., congruence, proper inclusion, overlap, or exclusion). An Open Source reasoning toolkit is used to analyze 13 paired Perelleschus taxonomy alignments under heterogeneous constraints and interpretations. The reasoning workflow optimizes the logical consistency and expressiveness of the input and infers the set of maximally informative relations among the entailed taxonomic concepts. The latter are then used to produce merge visualizations that represent all congruent and non-congruent taxonomic elements among the aligned input trees. In this small use case with 6-53 input concepts per alignment, the information gained through the reasoning process is on average one order of magnitude greater than in the input. The approach offers scalable solutions for tracking provenance among succeeding taxonomic perspectives that may have differential biases in naming conventions, phylogenetic resolution, ingroup and outgroup sampling, or ostensive (member-referencing) versus intensional (property-referencing) concepts and articulations.
We study the energy flux carried by acoustic waves excited by convective motions at sub-photospheric levels. The analysis of high-resolution spectropolarimetric data taken with IMaX/Sunrise provides a total energy flux of ~ 6400--7700 Wm$^{-2}$ at a
height of ~ 250 km in the 5.2-10 mHz range, i.e. at least twice the largest energy flux found in previous works. Our estimate lies within a factor of 2 of the energy flux needed to balance radiative losses from the chromosphere according to Anderson & Athay (1989) and revives interest in acoustic waves for transporting energy to the chromosphere. The acoustic flux is mainly found in the intergranular lanes but also in small rapidly-evolving granules and at the bright borders, forming dark dots and lanes of splitting granules.
We have investigated a time series of continuum intensity maps and corresponding Dopplergrams of granulation in a very quiet solar region at the disk center, recorded with the Imaging Magnetograph eXperiment (IMaX) on board the balloon-borne solar ob
servatory Sunrise. We find that granules frequently show substructure in the form of lanes composed of a leading bright rim and a trailing dark edge, which move together from the boundary of a granule into the granule itself. We find strikingly similar events in synthesized intensity maps from an ab initio numerical simulation of solar surface convection. From cross sections through the computational domain of the simulation, we conclude that these `granular lanes are the visible signature of (horizontally oriented) vortex tubes. The characteristic optical appearance of vortex tubes at the solar surface is explained. We propose that the observed vortex tubes may represent only the large-scale end of a hierarchy of vortex tubes existing near the solar surface.
Electrons on the surface of a strong topological insulator, such as Bi2Te3 or Bi1-xSnx, form a topologically protected helical liquid whose excitation spectrum contains an odd number of massless Dirac fermions. A theoretical survey and classification
is given of the universal features, observable by the ordinary and spin-polarized scanning tunneling spectroscopy, in the interference patterns resulting from the quasiparticle scattering by magnetic and non-magnetic impurities in such a helical liquid. Our results confirm the absence of backscattering from non-magnetic impurities observed in recent experiments and predict new interference features, uniquely characteristic of the helical liquid, when the scatterers are magnetic.
Itinerant electrons in a two-dimensional Kagome lattice form a Dirac semi-metal, similar to graphene. When lattice and spin symmetries are broken by various periodic perturbations this semi-metal is shown to spawn interesting non-magnetic insulating
phases. These include a two-dimensional topological insulator with a non-trivial Z_2 invariant and robust gapless edge states, as well as dimerized and trimerized `Kekule insulators. The latter two are topologically trivial but the Kekule phase possesses a complex order parameter with fractionally charged vortex excitations. A charge density wave is shown to couple to the Dirac fermions as an effective axial gauge field.
A real-space formulation is given for the recently discussed exciton condensate in a symmetrically biased graphene bilayer. We show that in the continuum limit an oddly-quantized vortex in this condensate binds exactly one zero mode per valley index
of the bilayer. In the full lattice model the zero modes are split slightly due to intervalley mixing. We support these results by an exact numerical diagonalization of the lattice Hamiltonian. We also discuss the effect of the zero modes on the charge content of these vortices and deduce some of their interesting properties.
We propose a two-dimensional time-reversal invariant system of essentially non-interacting electrons on a square lattice that exhibits configurations with fractional charges e/2. These are vortex-like topological defects in the dimerization order par
ameter describing spatial modulation in the electron hopping amplitudes. Charge fractionalization is established by a simple counting argument, analytical calculation within the effective low-energy theory, and by an exact numerical diagonalization of the lattice Hamiltonian. We comment on the exchange statistics of fractional charges and possible realizations of the system.
