-
A self-consistent Hartree theory for lattice-relaxed magic-angle twisted bilayer graphene
Authors:
Mohammed M. Al Ezzi,
Liangtao Peng,
Zhengyu Liu,
Jonah Huang Zi Chao,
Gayani N. Pallewela,
Darryl Foo,
Shaffique Adam
Abstract:
For twisted bilayer graphene close to magic angle, we show that the effects of lattice relaxation and the Hartree interaction both become simultaneously important. Including both effects in a continuum theory reveals a Lifshitz transition to a Fermi surface topology that supports both a ``heavy fermion" pocket and an ultraflat band ($\approx 8~{\rm meV}$) that is pinned to the Fermi energy for a l…
▽ More
For twisted bilayer graphene close to magic angle, we show that the effects of lattice relaxation and the Hartree interaction both become simultaneously important. Including both effects in a continuum theory reveals a Lifshitz transition to a Fermi surface topology that supports both a ``heavy fermion" pocket and an ultraflat band ($\approx 8~{\rm meV}$) that is pinned to the Fermi energy for a large range of fillings. We provide analytical and numerical results to understand the narrow ``magic angle range" that supports this pinned ultraflat band and make predictions for its experimental observation. We believe that the bands presented here are accurate at high temperature and provide a good starting point to understand the myriad of complex behaviour observed in this system.
△ Less
Submitted 26 April, 2024;
originally announced April 2024.
-
Staged Specification Logic for Verifying Higher-Order Imperative Programs (Technical Report)
Authors:
Darius Foo,
Yahui Song,
Wei-Ngan Chin
Abstract:
Higher-order functions and imperative states are language features supported by many mainstream languages. Their combination is expressive and useful, but complicates specification and reasoning, due to the use of yet-to-be-instantiated function parameters. One inherent limitation of existing specification mechanisms is its reliance on only two stages: an initial stage to denote the precondition a…
▽ More
Higher-order functions and imperative states are language features supported by many mainstream languages. Their combination is expressive and useful, but complicates specification and reasoning, due to the use of yet-to-be-instantiated function parameters. One inherent limitation of existing specification mechanisms is its reliance on only two stages: an initial stage to denote the precondition at the start of the method and a final stage to capture the postcondition. Such two-stage specifications force abstract properties to be imposed on unknown function parameters, leading to less precise specifications for higher-order methods. To overcome this limitation, we introduce a novel extension to Hoare logic that supports multiple stages for a call-by-value higher-order language with ML-like local references. Multiple stages allow the behavior of unknown function-type parameters to be captured abstractly as uninterpreted relations; and can also model the repetitive behavior of each recursion as a separate stage. In this paper, we define our staged logic with its semantics, prove its soundness and develop a new automated higher-order verifier, called Heifer, for a core ML-like language.
△ Less
Submitted 2 July, 2024; v1 submitted 2 August, 2023;
originally announced August 2023.
-
Extended magic phase in twisted graphene multilayers
Authors:
D. C. W. Foo,
Z. Zhan,
Mohammed M. Al Ezzi,
L. Peng,
S. Adam,
F. Guinea
Abstract:
Theoretical and experimental studies have verified the existence of ``magic angles'' in twisted bilayer graphene, where the twist between layers gives rise to flat bands and consequently highly correlated phases. Narrow bands can also exist in multilayers with alternating twist angles, and recent theoretical work suggests that they can also be found in trilayers with twist angles between neighbori…
▽ More
Theoretical and experimental studies have verified the existence of ``magic angles'' in twisted bilayer graphene, where the twist between layers gives rise to flat bands and consequently highly correlated phases. Narrow bands can also exist in multilayers with alternating twist angles, and recent theoretical work suggests that they can also be found in trilayers with twist angles between neighboring layers in the same direction. We show here that flat bands exist in a variety of multilayers where the ratio between twist angles is close to coprime integers. We generalize previous analyses, and, using the chiral limit for interlayer coupling, give examples of many combinations of twist angles in stacks made up of three and four layers which lead to flat bands. The technique we use can be extended to systems with many layers. Our results suggest that flat bands can exist in graphene multilayers with angle disorder, that is, narrow samples of turbostatic graphite.
△ Less
Submitted 7 June, 2023; v1 submitted 29 May, 2023;
originally announced May 2023.
-
Tracing OCaml Programs
Authors:
Darius Foo,
Wei-Ngan Chin
Abstract:
This presentation will cover a framework for application-level tracing of OCaml programs. We outline a solution to the main technical challenge, which is being able to log typed values with lower overhead and maintenance burden than existing approaches. We then demonstrate the tools we have built around this for visualizing and exploring executions.
This presentation will cover a framework for application-level tracing of OCaml programs. We outline a solution to the main technical challenge, which is being able to log typed values with lower overhead and maintenance burden than existing approaches. We then demonstrate the tools we have built around this for visualizing and exploring executions.
△ Less
Submitted 10 April, 2023;
originally announced April 2023.
-
DECO2 An Open-source Energy System Decarbonisation Planning Software Including Negative Emissions Technologies
Authors:
Purusothmn Nair S. Bhasker Nair,
Raymond R. Tan,
Dominic C. Y. Foo,
Disni Gamaralalage,
Michael Short
Abstract:
The deployment of CO2 capture and storage (CCS) and negative emissions technologies (NETs) are crucial to meet the net-zero target by year 2050, as emphasised by the Glasgow Climate Pact. Over the years, several energy planning models have been developed to address the temporal aspects of carbon management. However, limited works have incorporated CCS and NETs for bottom-up energy planning at the…
▽ More
The deployment of CO2 capture and storage (CCS) and negative emissions technologies (NETs) are crucial to meet the net-zero target by year 2050, as emphasised by the Glasgow Climate Pact. Over the years, several energy planning models have been developed to address the temporal aspects of carbon management. However, limited works have incorporated CCS and NETs for bottom-up energy planning at the individual plant scale, which is considered in this work. The novel formulation is implemented in an open-source energy system software that has been developed in this work for optimal decarbonisation planning. The DECarbonation Options Optimisation (DECO2) software considers multiperiod energy planning with a superstructural model and was developed in Python with an integrated user interface in Microsoft Excel. The software application is demonstrated with two scenarios that differ in terms of the availabilities of mitigation technologies. Results demonstrated the potential of fuel substitutions for low-carbon alternatives in existing coal and natural gas power plants. Additionally, once NETs are mature and are available for commercial deployment, their deployment is crucial in aiding CO2 removal in minimal investment costs scenarios. Overall, the newly developed open-source software demonstrates the importance of determining the optimal deployment of mitigation technologies in meeting climate change targets for each period.
△ Less
Submitted 8 December, 2022;
originally announced December 2022.
-
A stabilization mechanism for many-body localization in two dimensions
Authors:
D. C. W. Foo,
N. Swain,
P. Sengupta,
G. Lemarié,
S. Adam
Abstract:
Experiments in cold atom systems see almost identical signatures of many body localization (MBL) in both one-dimensional ($d=1$) and two-dimensional ($d=2$) systems despite the thermal avalanche hypothesis showing that the MBL phase is unstable for $d>1$. Underpinning the thermal avalanche argument is the assumption of exponential localization of local integrals of motion (LIOMs). In this work we…
▽ More
Experiments in cold atom systems see almost identical signatures of many body localization (MBL) in both one-dimensional ($d=1$) and two-dimensional ($d=2$) systems despite the thermal avalanche hypothesis showing that the MBL phase is unstable for $d>1$. Underpinning the thermal avalanche argument is the assumption of exponential localization of local integrals of motion (LIOMs). In this work we demonstrate that addition of a confining potential -- as is typical in experimental setups -- allows a non-interacting disordered system to have super-exponentially (Gaussian) localized wavefunctions, and an interacting disordered system to undergo a localization transition. Moreover, we show that Gaussian localization of MBL LIOMs shifts the quantum avalanche critical dimension from $d=1$ to $d=2$, potentially bridging the divide between the experimental demonstrations of MBL in these systems and existing theoretical arguments that claim that such demonstrations are impossible.
△ Less
Submitted 18 February, 2022;
originally announced February 2022.
-
Evidence of many-body localization in 2D from quantum Monte Carlo simulation
Authors:
Ho-Kin Tang,
N. Swain,
D. C. W. Foo,
B. J. J. Khor,
G. Lemarié,
F. F. Assaad,
S. Adam,
P. Sengupta
Abstract:
We use the stochastic series expansion quantum Monte Carlo method, together with the eigenstate-to-Hamiltonian construction, to map the localized Bose glass ground state of the disordered two-dimensional Heisenberg model to excited states of new target Hamiltonians. The localized nature of the ground state is established by studying the participation entropy, local entanglement entropy, and local…
▽ More
We use the stochastic series expansion quantum Monte Carlo method, together with the eigenstate-to-Hamiltonian construction, to map the localized Bose glass ground state of the disordered two-dimensional Heisenberg model to excited states of new target Hamiltonians. The localized nature of the ground state is established by studying the participation entropy, local entanglement entropy, and local magnetization, all known in the literature to also be identifying characteristics of many-body localized states. Our construction maps the ground state of the parent Hamiltonian to a single excited state of a new target Hamiltonian, which retains the same form as the parent Hamiltonian, albeit with correlated and large disorder. We furthermore provide evidence that the mapped eigenstates are genuine localized states and not special zero-measure localized states like the quantum scar-states. Our results provide concrete evidence for the existence of the many-body localized phase in two dimensions.
△ Less
Submitted 3 May, 2022; v1 submitted 16 June, 2021;
originally announced June 2021.
-
Temporal fluctuation induced order in conventional superconductors
Authors:
Darryl Foo,
Gareth Conduit
Abstract:
Communal pairing in superconductors introduces variational freedom for Cooper pairs to share fermions. Temporal oscillations of the superconducting gap entropically drive communal pairing through the order by disorder phenomenology, stabilising a finite momentum space width of the superconducting gap that increases with interaction strength, creating a smooth evolution from the weakly interacting…
▽ More
Communal pairing in superconductors introduces variational freedom for Cooper pairs to share fermions. Temporal oscillations of the superconducting gap entropically drive communal pairing through the order by disorder phenomenology, stabilising a finite momentum space width of the superconducting gap that increases with interaction strength, creating a smooth evolution from the weakly interacting BCS state to the strongly interacting BEC state.
△ Less
Submitted 17 March, 2021;
originally announced March 2021.
-
Diffusion Monte Carlo study of a spin-imbalanced two-dimensional Fermi gas with attractive interactions
Authors:
D. C. W. Foo,
G. J. Conduit
Abstract:
We probe the superconducting gap in the zero temperature ground state of an attractively interacting spin-imbalanced two-dimensional Fermi gas with Diffusion Monte Carlo. A condensate fraction at nonzero pair momentum evidences a spatially non-uniform superconducting order parameter. Comparison with exact diagonalisation studies confirms that the nonzero condensate fraction across a range of nonze…
▽ More
We probe the superconducting gap in the zero temperature ground state of an attractively interacting spin-imbalanced two-dimensional Fermi gas with Diffusion Monte Carlo. A condensate fraction at nonzero pair momentum evidences a spatially non-uniform superconducting order parameter. Comparison with exact diagonalisation studies confirms that the nonzero condensate fraction across a range of nonzero fermion pair momenta is consistent with non-exclusive pairing between majority and minority fermions, an extension beyond FFLO theory.
△ Less
Submitted 29 October, 2019;
originally announced October 2019.
-
The Dynamics of Software Composition Analysis
Authors:
Darius Foo,
Jason Yeo,
Hao Xiao,
Asankhaya Sharma
Abstract:
Developers today use significant amounts of open source code, surfacing the need for ways to automatically audit and upgrade library dependencies, and giving rise to the subfield of Software Composition Analysis (SCA). SCA products are concerned with three tasks: discovering dependencies, checking the reachability of vulnerable code for false positive elimination, and automated remediation. The la…
▽ More
Developers today use significant amounts of open source code, surfacing the need for ways to automatically audit and upgrade library dependencies, and giving rise to the subfield of Software Composition Analysis (SCA). SCA products are concerned with three tasks: discovering dependencies, checking the reachability of vulnerable code for false positive elimination, and automated remediation. The latter two tasks rely on call graphs of application and library code to check whether vulnerability-specific sinks identified in libraries are used by applications. However, statically-constructed call graphs introduce both false positives and false negatives on real-world projects. In this paper, we develop a novel, modular means of combining call graphs derived from both static and dynamic analysis to improve the performance of false positive elimination. Our experiments indicate significant performance improvements.
△ Less
Submitted 30 September, 2019; v1 submitted 3 September, 2019;
originally announced September 2019.
-
Communal pairing in spin-imbalanced Fermi gases
Authors:
Darryl Foo,
Thomas Whitehead,
Gareth Conduit
Abstract:
A spin-imbalanced Fermi gas with an attractive contact interaction forms a superconducting state whose underlying components are superpositions of Cooper pairs that share minority-spin fermions. This superconducting state includes correlations between all available fermions, making it energetically favorable to the Fulde--Ferrell--Larkin--Ovchinnikov superconducting state. The ratio of the number…
▽ More
A spin-imbalanced Fermi gas with an attractive contact interaction forms a superconducting state whose underlying components are superpositions of Cooper pairs that share minority-spin fermions. This superconducting state includes correlations between all available fermions, making it energetically favorable to the Fulde--Ferrell--Larkin--Ovchinnikov superconducting state. The ratio of the number of up- and down-spin fermions in the instability is set by the ratio of the up- and down-spin density of states in momentum at the Fermi surfaces, to fully utilize the accessible fermions. We present analytical and complementary Diffusion Monte Carlo results for the state.
△ Less
Submitted 8 July, 2019; v1 submitted 24 June, 2019;
originally announced June 2019.
-
A one-piece 3D printed flexure translation stage for open-source microscopy
Authors:
James P. Sharkey,
Darryl C. W. Foo,
Alexandre Kabla,
Jeremy J. Baumberg,
Richard W. Bowman
Abstract:
Open source hardware has the potential to revolutionise the way we build scientific instruments; with the advent of readily-available 3D printers, mechanical designs can now be shared, improved and replicated faster and more easily than ever before. However, printed parts are typically plastic and often perform poorly compared to traditionally machined mechanisms. We have overcome many of the limi…
▽ More
Open source hardware has the potential to revolutionise the way we build scientific instruments; with the advent of readily-available 3D printers, mechanical designs can now be shared, improved and replicated faster and more easily than ever before. However, printed parts are typically plastic and often perform poorly compared to traditionally machined mechanisms. We have overcome many of the limitations of 3D printed mechanisms by exploiting the compliance of the plastic to produce a monolithic 3D printed flexure translation stage, capable of sub-micron-scale motion over a range of $8\times8\times4\,$mm. This requires minimal post-print clean-up, and can be automated with readily-available stepper motors. The resulting plastic composite structure is very stiff and exhibits remarkably low drift, moving less than $20\,μ$m over the course of a week, without temperature stabilisation. This enables us to construct a miniature microscope with excellent mechanical stability, perfect for timelapse measurements in situ in an incubator or fume hood. The ease of manufacture lends itself to use in containment facilities where disposability is advantageous, and to experiments requiring many microscopes in parallel. High performance mechanisms based on printed flexures need not be limited to microscopy, and we anticipate their use in other devices both within the laboratory and beyond.
△ Less
Submitted 22 July, 2016; v1 submitted 17 September, 2015;
originally announced September 2015.