Related papers: The program for the transformation of atomic state…
Reduced-order models based on level-set methods are widely used tools to qualitatively capture and track the nonlinear dynamics of an interface. The aim of this paper is to develop a physics-informed, data-driven, statistically rigorous…
Preparing fractional quantum Hall (FQH) states represents a key challenge for quantum simulators. While small Laughlin-type states have been realized by manipulating two atoms or two photons, scaling up these settings to larger ensembles…
A systematic method for determining correlated wavefunctions of extended systems in the ground and excited states is presented. It allows to fully exploit the power of quantum-chemical programs designed for correlation calculations of…
We report on a method of light-shift engineering where an auxiliary laser is used to tune the atomic transition frequency. The technique is used to selectively load a specific region of an optical lattice. The results are explained by…
We present a novel way to manipulate ultra-cold atoms where four atomic levels are trapped by appropriately tuned optical lattices. When employed to perform quantum computation via global control, this unique structure dramatically reduces…
Temporal Logic (TL) can be used to rigorously specify complex high-level specification for systems in many engineering applications. The translation between natural language (NL) and TL has been under-explored due to the lack of dataset and…
We study the excited states of the pairing Hamiltonian providing an expansion for their energy in the strong coupling limit. To assess the role of the pairing interaction we apply the formalism to the case of a heavy atomic nucleus. We show…
The atomic cluster expansion (ACE) (Drautz, 2019) yields a highly efficient and intepretable parameterisation of symmetric polynomials that has achieved great success in modelling properties of many-particle systems. In the present work we…
The problem of the two-level atom laser is studied analytically. The steady-state solution is expressed as a continued fraction, and allows for accurate approximation by rational functions. Moreover, we show that the abrupt change observed…
We study the extension of our translationally invariant treatment of few-body nuclear systems to heavier nuclei. At the same time we also introduce state-dependent correlation operators. Our techniques are tailored to those nuclei that can…
Statistical learning algorithms are finding more and more applications in science and technology. Atomic-scale modeling is no exception, with machine learning becoming commonplace as a tool to predict energy, forces and properties of…
In theorem prover or SMT solver based verification, the program to be verified is often given in an intermediate verification language such as Boogie, Why, or CHC. This setting raises new challenges. We investigate a preprocessing step…
The augmented Lagrangiam method (ALM), widely used in quantum chemistry constrained optimization problems, is applied in the context of the nuclear Density Functional Theory (DFT) in the self-consistent constrained Skyrme…
In quantum logic spectroscopy (QLS), one species of trapped ion is used as a sensor to detect the state of an otherwise inaccessible ion species. This extends precision measurements to a broader class of atomic and molecular systems for…
Agent based modelling is a simulation method in which autonomous agents interact with their environment and one another, given a predefined set of rules. It is an integral method for modelling and simulating complex systems, such as…
Opto-electronic joint transform correlators (OJTCs) use a focal plane array (FPA) to detect the joint power spectrum (JPS) of two input images, projecting it onto a spatial light modulator (SLM) to be optically Fourier transformed. The JPS…
It has been verified that the linear programming (LP) is able to formulate many real-life optimization problems, which can obtain the optimum by resorting to corresponding solvers such as OptVerse, Gurobi and CPLEX. In the past decades, a…
Large Language Model (LLM)-based multi-agent systems rely on optimized collaboration topologies to balance performance and communication costs. However, current methods struggle with the inherent stability-extensibility trade-off and often…
Coherent control of motional degrees of freedom of ultracold atoms in optical lattices offers a promising route towards programmable quantum dynamics with massive particles. We propose and analyze a scheme for implementing coherent…
Several methods have been proposed in the literature to improve Free Electron Laser output by transforming the electron phase-space before entering the FEL interaction region. By utilising `beam by design' with novel undulators and other…