Related papers: Bose-Einstein Condensation in Satisfiability Probl…
The theory of resonant generation of nonground-state Bose-Einstein condensates is extended to Bose-condensed systems at finite temperature. The generalization is based on the notion of representative statistical ensembles for Bose systems…
We present a numerical study of a trapped binary Bose-condensed gas by solving the corresponding Hartree-Fock equations. The density profile of the binary Bose gas is solved with a harmonic trapping potential as a function of temperature in…
Boolean satisfiability is a propositional logic problem of interest in multiple fields, e.g., physics, mathematics, and computer science. Beyond a field of research, instances of the SAT problem, as it is known, require efficient solution…
We discuss Bose-Einstein condensation in harmonic traps where the confinement has undergone a splitting along one direction. We mostly consider the 3D potentials consisting of two cylindrical wells separated a distance 2a along the z-axis.…
This article presents a study of the grand canonical Bose-Einstein (BE) statistics for a finite number of particles in an arbitrary quantum system. The thermodynamical quantities that identify BE condensation -- namely, the fraction of…
An analytical insight into the symmetry breaking mechanisms underlying the transition from Josephson to self-trapping regimes in Bose-Einstein condensates is presented. We obtain expressions for the ground state properties of the system of…
We present a novel application of the Kramers-Wannier duality on one of the most important problems of computer science, the Boolean satisfiability problem (SAT). More specifically, we focus on sharp-SAT or equivalently #SAT - the problem…
We prove rigorously the occurrence of zero-mode Bose-Einstein condensation for a class of continuous homogeneous systems of boson particles with superstable interactions. This is the first example of a translation invariant continuous…
The satisfiability problem is known to be $\mathbf{NP}$-complete in general and for many restricted cases. One way to restrict instances of $k$-SAT is to limit the number of times a variable can be occurred. It was shown that for an…
Constraint satisfaction problems (CSPs) models many important intractable NP-hard problems such as propositional satisfiability problem (SAT). Algorithms with non-trivial upper bounds on running time for restricted SAT with bounded clause…
Using methods and ideas from statistical mechanics, we propose a simple method for obtaining rigorous upper bounds for satisfiability transition in random boolean expressions composed of N variables and M clauses with K variables per…
In the theory of Bose-condensed systems, there exists the well known problem, the Hohenberg-Martin dilemma of conserving versus gapless approximations. This dilemma is analysed and it is shown that it arises because of the internal…
In this paper we explore whether or not deep neural architectures can learn to classify Boolean satisfiability (SAT). We devote considerable time to discussing the theoretical properties of SAT. Then, we define a graph representation for…
The occurrence of phase fluctuations due to thermal excitations in Bose-Einstein condensates (BECs) is studied for a variety of temperatures and trap geometries. We observe the statistical nature of the appearence of phase fluctuations and…
A one-dimensional Bose-Einstein condensate may experience nonlinear periodic modulations known as "cnoidal waves". We argue that such structures represent promising candidates for the study of supersolidity-related phenomena in a…
One-particle reduced density matrix functional theory would potentially be the ideal approach for describing Bose-Einstein condensates. It namely replaces the macroscopically complex wavefunction by the simple one-particle reduced density…
We have observed Bose-Einstein condensation of an atomic gas in the (quasi-)uniform three-dimensional potential of an optical box trap. Condensation is seen in the bimodal momentum distribution and the anisotropic time-of-flight expansion…
In this work we analyze a non--interacting one dimensional polymer Bose--Einstein condensate in an harmonic trap within the semiclassical approximation. We use an effective Hamiltonian coming from the polymer quantization that arises in…
We study a quantum Boltzmann-Condensation system that describes the evolution of the interaction between a well formed Bose-Einstein condensate and the quasi-particles cloud. The kinetic model is valid for a dilute regime at which the…
The number of atoms in Bose-Einstein condensate determines the scale of experiments that can be performed, making it crucial for quantum simulations. Optimization of the number of atoms in the condensate is a complex problem which could be…