Dirac and Weyl semimetals both exhibit arc-like surface states. However, whereas the surface Fermi arcs in Weyl semimetals are topological consequences of the Weyl points themselves, the surface Fermi arcs in Dirac semimetals are not directly related to the bulk Dirac points, raising the question of whether there exists a topological bulk-boundary correspondence for Dirac semimetals. In this work, we discover that strong and fragile topological Dirac semimetals exhibit one-dimensional (1D) higher-order hinge Fermi arcs (HOFAs) as universal, direct consequences of their bulk 3D Dirac points. To predict HOFAs coexisting with topological surface states in solid-state Dirac semimetals, we introduce and layer a spinful model of an
Two-dimensional (2D) Dirac states with linear dispersion have been observed in graphene and on the surface of topological insulators. 2D Dirac states discovered so far are exclusively pinned at high-symmetry points of the Brillouin zone, for example, surface Dirac states at
- Publication Date:
- NSF-PAR ID:
- 10381741
- Journal Name:
- Nature Communications
- Volume:
- 13
- Issue:
- 1
- ISSN:
- 2041-1723
- Publisher:
- Nature Publishing Group
- Sponsoring Org:
- National Science Foundation
More Like this
-
Abstract s –d -hybridized quadrupole insulator (QI). We develop a rigorous nested Jackiw–Rebbi formulation of QIs and HOFA states. Employing ab initio calculations, we demonstrate HOFAs in both the room- (α ) and intermediate-temperature (α ″ ) phases of Cd3As2, KMgBi, and rutile-structure ( -) PtO2.$$ \beta ^{\prime} $$ -
Abstract Broken symmetries in topological condensed matter systems have implications for the spectrum of Fermionic excitations confined on surfaces or topological defects. The Fermionic spectrum of confined (quasi-2D)3He-A consists of branches of chiral edge states. The negative energy states are related to the ground-state angular momentum,
, for Cooper pairs. The power law suppression of the angular momentum, for , in the fully gapped 2D chiral A-phase reflects the thermal excitation of the chiral edge Fermions. We discuss the effects of wave function overlap, and hybridization between edge states confined near opposing edge boundaries on the edge currents, ground-state angular momentum and ground-state order parameter of superfluid3He thin films. Under strong lateral confinement, the chiral A phase undergoes a sequence of phase transitions, first to a pair density wave (PDW) phase with broken translational symmetry at . The PDW phase is described by a periodic array of chiral domains with alternating chirality, separated by domain walls. The period of PDW phase diverges as the confinement length . The PDW phase breaks time-reversal symmetry, translation invariance, butmore » -
Abstract The valley Zeeman physics of excitons in monolayer transition metal dichalcogenides provides valuable insight into the spin and orbital degrees of freedom inherent to these materials. Being atomically-thin materials, these degrees of freedom can be influenced by the presence of adjacent layers, due to proximity interactions that arise from wave function overlap across the 2D interface. Here, we report 60 T magnetoreflection spectroscopy of the A- and B- excitons in monolayer WS2, systematically encapsulated in monolayer graphene. While the observed variations of the valley Zeeman effect for the A- exciton are qualitatively in accord with expectations from the bandgap reduction and modification of the exciton binding energy due to the graphene-induced dielectric screening, the valley Zeeman effect for the B- exciton behaves markedly different. We investigate prototypical WS2/graphene stacks employing first-principles calculations and find that the lower conduction band of WS2at the
valleys (the band) is strongly influenced by the graphene layer on the orbital level. Specifically, our detailed microscopic analysis reveals that the conduction band at theQ point of WS2mediates the coupling between and graphene due to resonant energy conditions and strong coupling to the Dirac cone. Thismore » -
Abstract A study of possible superconducting phases of graphene has been constructed in detail. A realistic tight binding model, fit to ab initio calculations, accounts for the Li-decoration of graphene with broken lattice symmetry, and includes
s andd symmetry Bloch character that influences the gap symmetries that can arise. The resulting seven hybridized Li-C orbitals that support nine possible bond pairing amplitudes. The gap equation is solved for all possible gap symmetries. One band is weakly dispersive near the Fermi energy along Γ →M where its Bloch wave function has linear combination of and$${d}_{{x}^{2}-{y}^{2}}$$ d xy character, and is responsible for and$${d}_{{x}^{2}-{y}^{2}}$$ d xy pairing with lowest pairing energy in our model. These symmetries almost preserve properties from a two band model of pristine graphene. Another part of this band, alongK → Γ, is nearly degenerate with uppers band that favors extendeds wave pairing which is not found in two band model. Upon electron doping to a critical chemical potentialμ 1 = 0.22eV the pairing potential decreases, then increases until a second critical valueμ 2 = 1.3 eV at which a phase transition to a distorteds -wave occurs. The distortion ofd - or s-wave phases are a consequence of decoration which is not appear in two band pristine model. In the pristine graphene these phases convert to usuald -wave or extendeds -wave pairing. -
Abstract In a Merlin–Arthur proof system, the proof verifier (Arthur) accepts valid proofs (from Merlin) with probability 1, and rejects invalid proofs with probability arbitrarily close to 1. The running time of such a system is defined to be the length of Merlin’s proof plus the running time of Arthur. We provide new Merlin–Arthur proof systems for some key problems in fine-grained complexity. In several cases our proof systems have optimal running time. Our main results include:
Certifying that a list of
n integers has no 3-SUM solution can be done in Merlin–Arthur time . Previously, Carmosino et al. [ITCS 2016] showed that the problem has a nondeterministic algorithm running in$$\tilde{O}(n)$$ time (that is, there is a proof system with proofs of length$$\tilde{O}(n^{1.5})$$ and a deterministic verifier running in$$\tilde{O}(n^{1.5})$$ time).$$\tilde{O}(n^{1.5})$$ Counting the number of
k -cliques with total edge weight equal to zero in ann -node graph can be done in Merlin–Arthur time (where$${\tilde{O}}(n^{\lceil k/2\rceil })$$ ). For odd$$k\ge 3$$ k , this bound can be further improved for sparse graphs: for example, counting the number of zero-weight triangles in anm -edge graph can be done in Merlin–Arthur time . Previous Merlin–Arthur protocols by Williams [CCC’16] and Björklund and Kaski [PODC’16] could only count$${\tilde{O}}(m)$$ k -cliques in unweighted graphs, and had worse running times for smallk .Computing the All-Pairsmore »
Certifying that an
n -variablek -CNF is unsatisfiable can be done in Merlin–Arthur time . We also observe an algebrization barrier for the previous$$2^{n/2 - n/O(k)}$$ -time Merlin–Arthur protocol of R. Williams [CCC’16] for$$2^{n/2}\cdot \textrm{poly}(n)$$ SAT: in particular, his protocol algebrizes, and we observe there is no algebrizing protocol for$$\#$$ k -UNSAT running in time. Therefore we have to exploit non-algebrizing properties to obtain our new protocol.$$2^{n/2}/n^{\omega (1)}$$ Certifying a Quantified Boolean Formula is true can be done in Merlin–Arthur time
. Previously, the only nontrivial result known along these lines was an Arthur–Merlin–Arthur protocol (where Merlin’s proof depends on some of Arthur’s coins) running in$$2^{4n/5}\cdot \textrm{poly}(n)$$ time.$$2^{2n/3}\cdot \textrm{poly}(n)$$ n integers can be done in Merlin–Arthur time , improving on the previous best protocol by Nederlof [IPL 2017] which took$$2^{n/3}\cdot \textrm{poly}(n)$$ time.$$2^{0.49991n}\cdot \textrm{poly}(n)$$