We introduce HepLean, an open-source project to digitalise definitions, theorems, proofs, and calculations in high energy physics using the interactive theorem prover Lean 4.
High Energy Physics - Phenomenology Logic in Computer Science High Energy Physics - Theory
Neural operators can learn nonlinear mappings between function spaces and offer a new simulation paradigm for real-time prediction of complex dynamics for realistic diverse applications as well as for system identification in science and engineering.
Computational Physics
The Schwinger limit could be approached by focusing to its diffraction limit the light reflected by a plasma mirror irradiated by a multi-petawatt laser.
Plasma Physics
It allows for obtaining an effective "local" band structure by performing partial integration over the wavefunctions, e. g., the unfolded band structure with layer-projection for interfaces and the weighted band structure in the vacuum for slabs.
Materials Science Computational Physics
One of the prevailing challenges in Computational Fluid Dynamics is accurate simulation of two-phase flows involving heat and mass transfer across the fluid interface.
Fluid Dynamics
Since the early 2000s there has existed the meme that "DOOM can run on anything".
Popular Physics
Results: Koma was compared to two well-known open-source MRI simulators, JEMRIS and MRiLab.
Medical Physics
An important building block for many quantum circuit optimization techniques is pattern matching, where given a large and a small quantum circuit, we are interested in finding all maximal matches of the small circuit, called pattern, in the large circuit, considering pairwise commutation of quantum gates.
Quantum Physics Data Structures and Algorithms
We introduce XDiag, an open-source software package designed to combine advanced and efficient algorithms for ED with and without symmetry-adapted bases with user-friendly interfaces.
Strongly Correlated Electrons Computational Physics
This paper presents ``Stim", a fast simulator for quantum stabilizer circuits.
Quantum Physics