Source author record

Jacob Cook

Jacob Cook appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

Catalog footprint

What is connected

7works
7topics
4close collaborators

Actions

Connect this record

Log in to claim

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Published work

7 published item(s)

preprint2022arXiv

Moiré Modulated Lattice Strain and Thickness-Dependent Lattice Expansion in Epitaxial Ultrathin Films of PdTe$_2$

We report the epitaxial growth of PdTe$_2$ ultrathin films on topological insulator Bi$_2$Se$_3$. A prominent Moiré pattern was observed in STM measurements. The Moiré periodicity increases as film thickness decreases, indicating a lattice expansion of epitaxial PdTe$_2$ thin films with lower thicknesses. In addition, our simulations based on Moiré Metrology reveal uniaxial lattice strains at the edge of PdTe$_2$ domains, and anisotropic strain distributions throughout the Moiré supercell with a net change in lattice strain up to ~2.9%. Our DFT calculations show that this strain effect leads to a narrowing of the band gap at $Γ$ point near the Fermi level. Under a strain of ~2.8%, the band gap at $Γ$ closes completely. Further increasing the lattice strain makes the band gap reopen and the order of conduction band and valence bands inverted in energy. The results offer a proof of concept for constructing quantum grids of topological materials under the modulation of Moiré potentials.

preprint2021arXiv

Dirac Fermion Cloning, Moir$\bf{é}$ Flat Bands and Magic Lattice Constants in Epitaxial Monolayer Graphene

Tuning interactions between Dirac states in graphene has attracted enormous interest because it can modify the electronic spectrum of the two-dimensional material, enhance electron correlations, and give rise to novel condensed-matter phases such as superconductors, Mott insulators, Wigner crystals and quantum anomalous Hall insulators. Previous works predominantly focus on the flat band dispersion of coupled Dirac states from different graphene layers. In this work, we propose a new route to realizing flat band physics in monolayer graphene under a periodic modulation from substrates. We take gaphene/SiC heterostructure as a role model and demonstrate experimentally the substrate modulation leads to Dirac fermion cloning and consequently, the proximity of the two Dirac cones of monolayer graphene in momentum space. Our theoretical modeling captures the cloning mechanism of Dirac states and indicates that flat bands can emerge at certain magic lattice constants of substrate when the period of modulation becomes nearly commensurate with the $(\sqrt{3}\times\sqrt{3})R30^{\circ}$ supercell of graphene. The results show that the epitaxial monolayer graphene is a promising platform for exploring exotic many-body quantum phases arising from interactions between Dirac electrons.

preprint2021arXiv

Giant Topological Hall Effect in van der Waals Heterostructures of CrTe2/Bi2Te3

Discoveries of interfacial topological Hall effect (THE) provide an ideal platform for exploring physics arising from the interplay between topology and magnetism. The interfacial topological Hall effect is closely related to the Dzyaloshinskii-Moriya interaction (DMI) at interface and topological spin textures. However, it is difficult to achieve a sizable THE in heterostructures due to the stringent constraints on the constituents of THE heterostructures such as strong spin-orbit coupling (SOC). Here we report the observation of a giant THE signal of 1.39 $μΩ\cdot$cm in the van der Waals heterostructures of CrTe2/Bi2Te3 fabricated by molecular beam epitaxy, a prototype of two-dimensional (2D) ferromagnet (FM)/topological insulator (TI). This large magnitude of THE is attributed to an optimized combination of 2D ferromagnetism in CrTe2, strong SOC in Bi2Te3, and an atomically sharp interface. Our work reveals CrTe2/Bi2Te3 as a convenient platform for achieving large interfacial THE in hybrid systems, which could be utilized to develop quantum science and high-density information storage.

preprint2021arXiv

Thermodynamic constraints on the assembly and diversity of microbial ecosystems are different near to and far from equilibrium

Non-equilibrium thermodynamics has long been an area of substantial interest to ecologists because most fundamental biological processes, such as protein synthesis and respiration, are inherently energy-consuming. Microbial communities are a natural system to decipher this mechanistic basis because their interactions in the form of substrate consumption, metabolite production, and cross-feeding can be described explicitly in thermodynamic terms. Previous work has considered how thermodynamic constraints impact competition between pairs of species, but restrained from analysing how this manifests in complex dynamical systems. To address this gap, we develop a thermodynamic microbial community model with fully reversible reaction kinetics, which allows direct consideration of free-energy dissipation. This also allows species to interact via products rather than just substrates, increasing the dynamical complexity, and allowing a more nuanced classification of interaction types to emerge. Using this model, we find that community diversity increases with substrate lability, because greater free-energy availability allows for faster generation of niches. Thus, more niches are generated in the time frame of community establishment, leading to higher final species diversity. We also find that allowing species to make use of near-to-equilibrium reactions increases diversity in a low free-energy regime. In such a regime, two new thermodynamic interaction types that we identify here reach comparable strengths to the conventional (competition and facilitation) types, emphasising the key role that thermodynamics plays in community dynamics. Our results suggest that accounting for realistic thermodynamic constraints is vital for understanding the dynamics of real-world microbial communities.

preprint2020arXiv

Thermodynamics of switching in multistable non-equilibrium systems

Multistable non-equilibrium systems are abundant outcomes of nonlinear dynamics with feedback but still relatively little is known about what determines the stability of the steady states and their switching rates in terms of entropy and entropy production. Here, we will link fluctuation theorems for the entropy production along trajectories with the action obtainable from the Freidlin--Wentzell theorem to elucidate the thermodynamics of switching between states in the large volume limit of multistable systems. We find that the entropy production at steady state plays no role, but the entropy production during switching is key. Steady-state entropy and diffusive noise strength can be neglected in this limit. The relevance to biology, ecological, and climate models is apparent.

preprint2016arXiv

Classifying the provably total set functions of KP and KP(P)

This article is concerned with classifying the provably total set-functions of Kripke-Platek set theory, KP, and Power Kripke-Platek set theory, KP(P), as well as proving several (partial) conservativity results. The main technical tool used in this paper is a relativisation technique where ordinal analysis is carried out relative to an arbitrary but fixed set x. A classic result from ordinal analysis is the characterisation of the provably recursive functions of Peano Arithmetic, PA, by means of the fast growing hierarchy [10]. Whilst it is possible to formulate the natural numbers within KP, the theory speaks primarily about sets. For this reason it is desirable to obtain a characterisation of its provably total set functions. We will show that KP proves the totality of a set function precisely when it falls within a hierarchy of set functions based upon a relativised constructible hierarchy stretching up in length to any ordinal below the Bachmann-Howard ordinal. As a consequence of this result we obtain that IKP + forall x,y (x in y or x not in y) is conservative over KP for forall-exists-formulae, where IKP stands for intuitionistic Kripke-Platek set theory. In a similar vein, utilising [56], it is shown that KP(P) proves the totality of a set function precisely when it falls within a hierarchy of set functions based upon a relativised von Neumann hierarchy of the same length. The relativisation technique applied to KP(P) with the global axiom of choice, AC-global, also yields a parameterised extension of a result in [58], showing that KP(P) + AC-global is conservative over KP(P) + AC and CZF + AC for Pi_2 in powerset statements. Here AC stands for the ordinary axiom of choice and CZF refers to constructive Zermelo-Fraenkel set theory.

preprint2016arXiv

Ordinal analysis of intuitionistic power and exponentiation Kripke Platek set theory

Until the 1970s, proof theoretic investigations were mainly concerned with theories of inductive definitions, subsystems of analysis and finite type systems. With the pioneering work of Gerhard Jaeger in the late 1970s and early 1980s, the focus switched to set theories, furnishing ordinal-theoretic proof theory with a uniform and elegant framework. More recently it was shown that these tools can even sometimes be adapted to the context of strong axioms such as the powerset axiom, where one does not attain complete cut elimination but can nevertheless extract witnessing information and characterize the strength of the theory in terms of provable heights of the cumulative hierarchy. Here this technology is applied to intuitionistic Kripke-Platek set theories IKP(P) and IKP(E), where the operation of powerset and exponentiation, respectively, is allowed as a primitive in the separation and collection schemata. In particular, IKP(P) proves the powerset axiom whereas IKP(E) proves the exponentiation axiom. The latter expresses that given any sets A and B, the collection of all functions from A to B is a set, too. While IKP(P) can be dealt with in a similar vein as its classical cousin, the treatment of IKP(E) posed considerable obstacles. One of them was that in the infinitary system the levels of terms become a moving target as they cannot be assigned a fixed level in the formal cumulative hierarchy solely based on their syntactic structure. As adumbrated in an earlier paper, the results of this paper are an important tool in showing that several intuitionistic set theories with the collection axiom possess the existence property, i.e., if they prove an existential theorem then a witness can be provably described in the theory, one example being intuitionistic Zermelo-Fraenkel set theory with bounded separation.