Abstract
The best known manifestation of the FermiDirac statistics is the Pauli exclusion principle: no two identical fermions can occupy the same oneparticle state. This principle enforces highorder correlations in systems of many identical fermions and is responsible for a particular geometric arrangement of trapped particles even when all mutual interactions are absent. These geometric structures, called Pauli crystals, are predicted for a system of N identical atoms trapped in a harmonic potential. They emerge as the most frequent configurations in a collection of singleshot pictures of the system. Here we study how fragile Pauli crystals are when realistic experimental limitations are taken into account. The influence of the number of singleshots pictures available to analysis, thermal fluctuations and finite efficiency of detection are considered. The role of these sources of noise on the possibility of experimental observation of Pauli crystals is shown and conditions necessary for the detection of the geometrical arrangements of particles are identified.
Introduction
Ultracold atoms provide an ideal playground for simulating not only various manybody quantum systems^{1,2,3,4,5,6}, but also for studies of fewbody physics^{7}. Unprecedented progress in controlling and monitoring of ultracold atoms opens a whole world of new possibilities. For example controlled fewbody systems with sufficiently suppressed atom number fluctuations can be achieved in the Mott insulating phase of a lattice system via singlesite addressing techniques^{8}. Alternatively, deterministic preparation of a fewbody system is possible in a single microtrap^{9,10}. Small systems of 1–10 fermionic atoms can be prepared in welldefined quantum states with high fidelity.
Recently developed singlesite fluorescence imaging technique is a major breakthrough in monitoring of manybody systems^{11,12,13,14,15,16,17,18}. This great imaging techniques can simultaneously determine positions of all individual atoms in optical lattices with singlesite resolution^{12,13}. Snapshots of the atomic ensemble within a single isolated trap could harbor many crucial information about the system. Very important in this respect are higherorder spatial correlations, which are elusive to oneparticle detection, but can be revealed from the Nbody probability density^{19,20,21,22}. One of the best examples is recent experiment^{22} in which the detection of spontaneous selforganized ordering in Rydberg manybody systems created in a BoseEinstein condensate has been shown by comparing many singleshot pictures of the system.
Experimental progress challenges theory. Quantum manybody systems observed with singleparticle resolution attract interest of physicists because they give access to information which is not accessible not only to the most common onebody measurements, but also to twopoint correlations. Examples of processes whose understanding requires description going beyond twopoint correlations are quite numerous. They include for instance the seminal paper^{23}, where appearance of interference fringes in the course of Nbody detection is shown. On contrary, no interference is seen in the onebody picture. Similarly, solitons emerge from a type II excited state of a onedimensional system of bosons interacting via shortrange potential described by the LiebLiniger model^{24}. The solitons appear as a result of highorder correlations in the system and can be uncovered in a singleshot detection of many atoms. The work in^{25} has demonstrated how to simulate singleshot experiments of general ultracold bosonic systems based on numerical solutions of the manybody Schrödinger equation. Simulations of timedependent singleshot pictures monitoring manybody dynamics revealing the appearance of fluctuating vortices in attractive BEC were suggested^{26}.
In this paper we investigate yet another example of high order correlations in a fewbody system. The correlations we are interested in are solely due to the quantum statistics and indistinguishability. Indistinguishable nature of identical particles leads to very important consequences in quantum physics. It inherently imposes correlations between particles, even in absence of any mutual interactions. It turns out that when many identical fermions at zerotemperature are trapped within an external twodimensional harmonic trap, the particles orient themselves in a striking fashion unveiling specific geometric structures, called Pauli crystals. We have shown recently how to extract these geometric structures from multiple singleshot pictures of the manybody system^{27}. Suitable analysis of a large number of data gives clear, unequivocal picture of Pauli crystals. There is a question, however, how much the observed images are deteriorated by various experimental imperfections and if the existence of Pauli crystal can be verified experimentally. Very recently analogous Pauli structures has been reported^{28}. They were obtained by substituting Pauli principle with a “interaction potential”.
It was pointed by Wigner^{29} that energy of ultradilute electron gas at zerotemperature is dominated by the Coulomb interactions and then electrons arrange themselves in a “Wigner crystal” structures. Similarly, ions trapped in a harmonic potential form “Coulomb crystals”^{30}  the structures of Wigner crystal geometry. For larger number of atoms, \(N\ge 8\), the Pauli crystals differ from Wigner and Coulomb crystals. Therefore, it is clear that mutual interactions lead to different arrangements. Therefore, it is interesting to study the crossover effects and transition from Pauli to Coulomb crystals. It requires, however, a detailed knowledge of the Nbody wavefunction of interacting system and is beyond the scope of this paper.
A singleshot measurement via fluorescence microscope can determine the spatial configuration of N atoms. Detection of Pauli crystals from singleshot measurement’s outcomes may, however, be challenging. In a singleshot the positions of Natoms can be obtained but the outcome of such detection is unpredictable because of probabilistic nature of quantum mechanics. It is different in every realization. Therefore it is very difficult to notice any geometric arrangement of atoms. But the most frequent ones might be quite similar^{27}. In fact Nbody probability density has a maximum for a certain arrangement of fermionic atoms – Pauli crystals. One can expect that in a collection of Nparticle pictures, there are many such results where atoms occupy positions “around” vertexes of a Pauli crystal. Uncertainties of the positions due to quantum shottoshot fluctuations causes the crystal vertexes to be spatially extended even at zero temperature. Moreover, there are several other practical constrains that might lead to additional smearing of crystal vertexes. These are thermal fluctuations, limited number of singleshot experiments, and imperfections due to atom number fluctuation in the measured ensemble of singleshot pictures. All these imperfections may even cause the crystalline structures to be beyond the experimental reach. The present paper provides careful examination of a role of these fluctuations to understand if Pauli crystals can be observed. We take into account practical constraints mentioned above. It is shown below that the geometry of the Pauli crystals remains seen even if it is diffused by some amount of experimental noise. The noise however, has to be rather small.
The model
We consider noninteracting polarized fermions trapped in a twodimensional isotropic harmonic potential with the frequency \({\omega }_{x}={\omega }_{y}=\omega \). The singleparticle quantum state, \({\psi }_{nm}(x,y)\), bound in the 2D harmonic trap is given by
where \({ {\mathcal H} }_{n}\) is the \({n}^{th}\) Hermite polynomial, \({\mathscr{N}}={{\mathrm{(2}}^{n+m}n!m!\sqrt{\pi })}^{1/2}\) is the normalization constant. Quantum numbers n and m enumerate excitations in the x and y direction, respectively. We use natural harmonic oscillator units, \({a}_{0}=\sqrt{\hslash /M\omega }\), where M is the mass of the particle. The singleparticle energy corresponding to the quantum state \({\psi }_{mn}\) is \({E}_{mn}=(m+n+\mathrm{1)}\hslash \omega \), and each of these energy levels are \((m+n+\mathrm{1)}\)fold degenerate.
In the Nbody ground state all identical fermionic atoms occupy the lowest available singleparticle quantum states up to the Fermi energy. This is due to the Pauli exclusion principle, which prohibits them from occupying the same quantum state. The ground state is not uniquely defined if the number of states at the Fermi level exceeds the number of particles which have to be located there. However, in particular cases when N = 1, 3, 6, 10, 15, …, the manybody ground state of the corresponding system is nondegenerate. Obviously, geometry of Pauli crystals is characteristic of a given state. If energy does not specify uniquely the state we have a variety of different states and geometric configurations corresponding to a given energy. Nonzero temperature resolves this issue. All states of the same energy contribute with equal weights to the thermal density matrix. Here, for a simplicity, we limit our discussion to isotropic trap and fully occupied Fermi surface.
The ground state energy is the sum of single particles energies of the occupied states, \({ {\mathcal E} }_{0}^{N}/\hslash \omega ={\sum }_{i}^{N}({m}_{i}+{n}_{i}+\mathrm{1)}\). Note that any two given sets of \(({m}_{i},{n}_{i})\) associated with a singleparticle orbital cannot be identical since the manybody ground state wavefunction, \({{\rm{\Psi }}}_{0q}^{N}({{\bf{r}}}_{1},{{\bf{r}}}_{2},\ldots ,{{\bf{r}}}_{N})\), is obtained by imposing antisymmetrization, via the Slater determinant, of the occupied singleparticle states. The subscript \(q\) in \({{\rm{\Psi }}}_{0q}^{N}\) accounts for the degeneracy of the Nbody ground state. The probability, \({{\mathscr{P}}}_{q}^{N}\), of finding particles at \(({{\bf{r}}}_{1},{{\bf{r}}}_{2},\ldots ,{{\bf{r}}}_{N})\) when the system is in the ground state is:
The maximum of \({{\mathscr{P}}}_{q}^{N}\), Eq. (2), can be easily obtained. For example it can be found by employing the MonteCarlo algorithm^{31}, where starting from a randomly chosen initial configuration, another configuration is proposed by shifting the atom positions. The move is accepted if the configuration is more probable than the previous one.
It turns out that, as it has been shown in^{27}, the most probable arrangement of atoms manifest unique geometrical structures at zero temperature. These configurations for N = 3, 6, 10, and 15 are shown in Fig. 1. Three atoms orient themselves at the vertexes of an equilateral triangle. A twoshell structure is noticed for N = 6 with a single atom positioned at the trap center, representing the first (innermost) shell, and the second shell formed by five atoms arranged in a pentagon. N = 10 configuration exhibits a twoshell structure with a triangle and a heptagon, respectively, forming the inner and outer shells. A third shell emerges for N = 15 atoms, where one atom occupies the trap center, and equally spaced five and nine atoms form the second, and the third (outermost) shell. It can be seen that the relative orientations of the shells are rigid with respect to each other. However each structure as a whole can be rotated without affecting the value of \({{\mathscr{P}}}_{q}^{N}\).
Image processing
We assume here that positions of atoms occupying the harmonic trap can be determined with high resolution, larger then their separation which is of the order of oscillator unit of length. This assumption is quite optimistic at this moment. At present the resolution of atomic fluorescence microscopes is higher than the lattice spacing and one can distinguish atoms at different sites. It is not possible however, to resolve positions of atoms residing in the same site. To overcome this problem atoms ought to be released prior to detection of their positions. Only after some expansion the atoms can be distinguished. Ballistic expansion however, does not change the geometry of the initial arrangement. For the harmonic confinement expansion does not disturb geometry of the system, it results in scaling of all distances and we ignore it in the following analysis.
As an outcome of an instantaneous picture of all atoms in their ground state we get a set of N position vectors. But this outcome is totally unpredictable due to the probabilistic nature of quantum mechanics. Consequently, configurations emerging out of different realizations are different and each of them is unpredictable. Therefore a single picture of Nbody system cannot reveal the geometric configurations of particles predicted by using the probability distribution. The natural strategy could be to repeat the experiment with the same initial state and combine all outcomes of the measurements to form a histogram of atomic positions in 2Dplane. Surprisingly enough, the histogram of repeated measurements does not help too. It gives a one particle density, not the Nparticle correlation function.
Indeed, the histogram of L simultaneously repeated measurements of positions \({x}_{i}^{s}\) of N atoms is defined as:
where index s refers to different measurements. The function \(\delta ({\bf{x}}{\bf{X}})\) is equal to one if the position x of a particle coincides with the position of a detector located at X with an accuracy \({\rm{\Delta }}\), i.e. if a particle is found in a volume \(V={{\rm{\Delta }}}^{2}\) around X. In an opposite case, the function \(\delta ({\bf{x}}{\bf{X}})\) vanishes. Obviously, \(H({\bf{X}})\) is proportional to a quantummechanical oneparticle probability distribution. This can be seen by changing the order of summation. The histogram has no information about correlations of particles’ positions because summation over configurations can be done independently for every particle. This erases information about relative positions of particles and a geometry the system.
If we have no information about the system at hand as well as about its symmetries, then we have to refer to conditional probabilities. Prior to processing the outcomes of measurement it is useful to shift every configuration and locate its geometric center at the center of coordinates system. This way the quantum uncertainty of the center of mass position is eliminated. The algorithm of finding the most probable configuration is based on postselection and can be divided into three steps. (i) Having collection of single shot pictures one has to find histogram of configurations, i.e. the oneparticle probability density, and determine its maximum. (ii) In the next step a conditional probability should be found assuming the first particle to be positioned at the oneparticle density maximum (or better within a preset distance, \(\varepsilon \) to the maximum). To this end, in a postselection procedure, we collect only these singleshots which meet the above criterion. Histogram of theses configurations gives the twopoint conditional probability density. (iii) Assuming the third particle’s position to be located at this maximum, we can repeat the postselection procedure and construct the threepoint conditional probability. The whole procedure has to be repeated until all N maxima are found. In case when there are several local maxima of a conditional probability, one should choose a global maximum if such exists, or any of the equivalent maxima.
To illustrate this procedure based on conditional probabilities, in Fig. 2 we show results of consecutive steps described above for \(N=3\) atoms. In the first panel (a) the one particle probability density, after eliminating the center of mass uncertainty, is shown. Because of this elimination the density has a minimum at the center and reaches a maximal value on a ring. Then we select one point on the ring and keep only the pictures in which there is a particle at a distance smaller then \(\varepsilon \) from the selected point. In Fig. 2, we set \(\varepsilon =0.2\). Obtained this way twopoint conditional probability density is shown in panel (b). Two equal maxima are visible. In the third panel (c) we show threepoint conditional probability obtained via postselection. The Pauli crystal – configuration maximizing the threebody probability density, can be seen. In expeiment in ^{40}K ultracold system^{32}, only twopoint correlation functions have been observed so far, but higher order correlations are also within experimental reach.
The above procedure is very wasteful if the system has some symmetries. Many measurements might be removed from a collection of pictures only because they differ by a symmetry transformation. In Fig. 2(a) some \(L={10}^{7}\) snapshots are taken, while the procedure leading to Fig. 2(c) left only about \(7\times {10}^{4}\) snapshots. The system we study has some symmetry and we will use another procedure of image processing^{27}. Let us note that in every measurement the rotational symmetry of the oneparticle density is broken differently. Each measured configuration represents a whole class of configurations which differ by a symmetry transformation only. We want to take advantage of these symmetries and compare all singleshot pictures, to the one maximizing the Nbody probability. Here we assume that knowing the system at hand we know the geometrical arrangement at zero temperature, i.e., the geometry of the Pauli crystal, the vertexes of which are assumed to be positioned at \({\{{{\bf{r}}}_{0}\}}_{N}=\{{{\bf{r}}}_{01},{{\bf{r}}}_{02},\ldots ,{{\bf{r}}}_{0N}\}\). The latter can be obtained on the theoretical ground. All singleshot outcomes \({\{{\bf{x}}\}}_{N}=\{{{\bf{x}}}_{1},{{\bf{x}}}_{2},\ldots ,{{\bf{x}}}_{N}\}\) corresponding to a particular measured realization are compared then to the pattern after some previous preprocessing  a symmetry transformation.
As we will not pay attention to a particular enumeration of particles, the only relevant symmetry operation is rotation around the trap center. To eliminate the quantum uncertainty of the center of mass and to concentrate on the relative positions of particles we shift the center of mass of every chosen configuration to the origin of the coordinate system, \({\bf{x}}{\text{'}}_{i}={{\bf{x}}}_{i}{{\bf{x}}}_{cm}\) where \({{\bf{x}}}_{cm}=\mathrm{(1}/N){\sum }_{i=1}^{N}{{\bf{x}}}_{i}\). For simplicity we skip the ‘ prime’ symbol in the following.
Quantitative comparison of a particular snapshot to the pattern has to be based on a definition of the distance between the snapshot and the pattern. We will simply use the angular distance (squared) between particles of the pattern and the snapshot. It works well in our case. First, we reenumerate all particles to order them according to increasing azimuthal angle, \({\varphi }_{i}\), within every shell, separately. We do the same for the pattern. At this step we use polar coordinates, \({{\bf{x}}}_{i}=({d}_{i},{\varphi }_{i})\) for positions of the atoms, and \({{\bf{r}}}_{0i}=({\rho }_{i},{\beta }_{i})\) for the atoms in the pattern. After such ordering, assigning of the snapshot particles to the vertexes of the pattern is straightforward: the first particle from the snapshot is assign to the first in the pattern, the second to the second, etc. The distance between the given configuration and the pattern is then:
Single snapshot breaks the rotational symmetry of the system, in a different way in every realization. Therefore we rotate every single shot configuration by an angle \(\alpha \) in the \(xy\) plane, \({{\bf{x}}}_{i}(\alpha )={ {\mathcal R} }_{\alpha }({{\bf{x}}}_{i})\) to minimize the distance between the snapshot and the pattern. Thus, the optimal angle of rotation, \({\alpha }_{{\rm{opt}}}\) is given by:
where \({ {\mathcal R} }_{\alpha }\) represents the rotational operator. The maximal rotation angle, \({\alpha }_{{\rm{\max }}}\), is fixed to be \(2\pi /k\) for the system with kfold axis of symmetry. Similar preprocessing was used in^{22} to show a geometric arrangement of Rydberg atoms in a condensate.
The preprocessing described above attempts to fit every singleshot picture of the system to the Pauli crystal. The transformation used does not change the geometry of the system. The only result of the preprocessing procedure is to transform the coordinates of particles, from the original \({\{{{\bf{x}}}^{s}\}}_{N}\) to the final \({\{{{\bf{x}}}^{s}({\alpha }_{opt}^{s})\}}_{N}\). The histogram of these optimally adjusted configurations, \(C({\bf{X}})\):
preserves all information about correlations between individual particles. Index s refers to different measurements.
The procedure described above takes advantage of the system symmetries. It is very effective and allows to use all available data in the final analysis, Eq. (6).
Role of experimental imperfections
No experiment is perfect. We have identified several sources of noise that can influence the visibility of Pauli crystals and even destroy completely the possibility of detection. First of all any experiment can give only a finite number of single shot outcomes. Evidently the larger the number of repetitions of the experiment, the histogram of configurations detected becomes closer to the theoretical predictions based on quantum mechanics. The noise related to a finite number of measurements is related to statistical nature of the theory.
Finite temperature is another source of noise. If the system is in a thermal state with temperature above zero then some of the atoms occupy excited state of the trap with probability determined by the temperature. All states contributing to the thermal density matrix of the system have different geometry. Nonzero temperature leads to configuration“mixing” of different geometries with thermal weights. Thermal fluctuations cause flattening of the probability distribution of different configurations, and consequently, nonzero temperature leads to additional spreading of the particle’ positions.
Another source of noise comes form imperfect detection. Previous discussion assumes that the detection is ideal – all particles are detected in every single shot measurement with 100% efficiency. Evidently this is an idealization, in a real experiment we expect to find different numbers of particles in a collection of single shot pictures. There are two main sources of these shot to shot fluctuations. One stems from imperfect detection efficiency, the second one is a result of fluctuations of particle number in the system. The number of particles varies form shot to shot due to the destructive character of measurement and imperfect preparation of the initial state. Post selection has to be applied in order to keep the desired number of atoms N in each analyzed picture. But even then we cannot be sure that initial system was composed of the same number of atoms as seen in the picture. Imperfect detection can add admixture of configurations that originally correspond to larger number of atoms. In this respect this is similar to the effect of nonzero temperature.
Number of singleshot experiments
We start with analysis of the influence of finite number of single shot outcome on the visibility of Pauli crystals. We assume that the histogram \(C({\bf{X}})\) (Eq. (6))  the configuration probability density represents a typical output of the experiment. The configuration probability density is a result of L independent measurements of positions of N atoms performed on a system trapped in a twodimensional harmonic trap. Its contrast strongly depends on the number of singleshot pictures subject to analysis.
Let us first look at the zero temperature case. In Fig. 3 we show the histogram of configurations \(C({\bf{X}})\) for \(N=3\) and \(N=6\) atoms for various number of snapshot pictures L. For large L the structures visible there can be immediately compared with the most probable configurations obtained by maximizing the Nparticle probability (see Fig. (1a) and (1b)). Although quantum uncertainty causes considerable smearing of the crystal vertexes, the singleshell Pauli crystal structure for three atoms and the doubleshell structure for six atoms are clearly manifested. Smearing of the vertices signifies shotto shot deformations of the observed configurations but the underlying geometry is preserved. One can see that the contrast in the figure substantially deteriorates with decreasing number of configuration analyzed. For \(L=1000\) which from experimental point of view seems to be the most realistic case, some signatures of geometric configurations are still noticeable, although the resulting histogram of \(C({\bf{X}})\) shows huge pointtopoint fluctuations.
Temperature
At finite temperature individual particles can access higher energy levels due to thermal fluctuations. Let us denote the Nbody energies by \({\varepsilon }_{\alpha }^{N}\), where α enumerates consecutive eigenenergies. The manybody state \({{\rm{\Psi }}}_{\alpha q}^{N}({{\bf{r}}}_{1},{{\bf{r}}}_{2},\ldots ,{{\bf{r}}}_{N})\) is obtained by imposing antisymmetrization via Slater determinant of the occupied single particle orbitals. The subscript q in \({{\rm{\Psi }}}_{\alpha q}\) accounts for the degeneracy of the \({\alpha }^{th}\) Nbody energy state. The probability, \({\mathscr{Z}}(N,T)\), of finding particles at \({{\bf{r}}}_{1},{{\bf{r}}}_{2},\ldots ,{{\bf{r}}}_{N}\) at a finite temperature T is given by
where \({d}_{\alpha }\) is the number of degenerated states corresponding to the \({\alpha }^{th}\) energy level, and \({\kappa }_{B}\) is the Boltzmann constant. At low temperatures, the contribution to \({{\mathscr{P}}}_{N}\) from highly excited states is negligible. Consequently, for practical purpose of numerical computation, we adjust the cutoff in the weighted sum running over the index \(\alpha \) in Eq. (7). In this work, we consider all manybody eigenstates below the cutoff energy, \({\varepsilon }_{c}\), which is set to \({\varepsilon }_{c}={ {\mathcal E} }_{0}^{N}+6\hslash \omega \), where \({ {\mathcal E} }_{0}^{N}\) is the manybody ground state energy.
As the temperature increases, the crystalline structures are getting ‘deformed’ not only because of quantum uncertainty of particles’ positions but also because of thermal fluctuations resulting from ‘admixtures’ of contributions of excited states to the manybody density matrix, Fig. 4. High order spatial correlations in excited states are different from those in the ground state, so the geometry of the configuration maximizing the probability is also modified. All these effects result in an increase of the spatial extensions of the Pauli crystal vertexes or in a change of their geometry, finally in total melting of the structures. Figure 4 shows \(C({\bf{X}})\) for N = 3, and N = 6 at \({\kappa }_{B}T/\hslash \omega =\mathrm{0,0.5,1.0}\), and 1.5. Although the singleshell Pauli crystal structure for three atoms remains visible at finite temperatures considered here, the distinction between two shells is blurred for \(N=6\) at finite temperatures (\({\kappa }_{B}T/\hslash \omega > 0.5\)), as thermal fluctuations cause significant overlapping between atom positions from the inner and outer shells. The outer shell structure, however, can still be resolved for \(N=6\). Here the uncertainty in atomic positions remain smaller than the interatomic separation.
As a result of thermal fluctuations, positions of atoms form a kind of finite size spots around vertexes maximizing the probability, see Figs (3, 4). Characteristic size of these spots can be estimated by the average distance of the atoms located at \({{\bf{x}}}_{i}({\alpha }_{opt})\) to the nearest vertex of the pattern situated at \({{\bf{r}}}_{\mathrm{0,}i}\), i.e. \({\mathscr{D}}({{\bf{x}}}_{i}({\alpha }_{opt}),{{\bf{r}}}_{\mathrm{0,}i})\). We average the distance over all single shot configurations and all particles of the system:
The meandistance monotonically increases with temperature for N = 3 and 6 (see Fig. 5(a)). In this figure we show the ‘diameter’ of the vertex spot, 2D, as a function of temperature. By a horizontal line we show characteristic separation between vertexes of the Pauli crystal. Melting temperature can be estimated as the temperature at which the separation between vertexes is equal to the diameter of the spot area around the vertex.
In a case of \(N=3\) this temperature is about \({T}_{c}(N=\mathrm{3)}\approx 1.38\hslash \omega \). Note however, that the area occupied by atoms around the vertex of the Pauli crystal is strongly elongated in the radial direction, so the average diameter 2D is a kind of average linear extension of the vertex. The geometric structures for \(N=3\) are still well resolved at temperatures larger than \({T}_{c}(N=\mathrm{3)}\), Fig. 4. In the case of \(N=6\) particles, the spots have a more regular shape. The distances between atoms in the outer shell are larger then their distance to the center. Therefore, with increasing temperature the outer shell structure is still visible while the inner shell (in this case reduced to one atom only) melts and the central spot overlaps with outer shell spots. The horizontal line in Fig. 5), indicating the radius of the outer shell, crosses the diameter of the spot at the melting temperature \({T}_{c}(N=\mathrm{6)}\approx 0.7\hslash \omega \). At this temperature only the outer shell structure of the Pauli crystal can be visible, while the inner shell is smeared out. These simple estimations show that for larger number of atoms the Pauli crystal structures are not well resolved and to a large extend are hidden by thermal fluctuations.
Atom number fluctuation
Previous discussion assumed perfect detection – all particles are detected in every single shot measurement with 100% efficiency. Evidently this is an idealization, in what follows we will consider the effect of an imperfect detection on images obtained. In fact in the real system we might expect to find a different number of particles in a collection of single shot pictures. These shot to shot fluctuations result both from imperfect detection efficiency and from fluctuations of the initial state. Each measurement destroys the system, repetition of experiment requires preparation of the initial state again. This preparation is not ideal, the number of atoms can differ in various realizations. Direct inspection of pictures and post selection allows to keep for further analysis only these pictures in which the desired number of atoms N is visible. But it does not mean that initial system was composed of N atoms. If the probability of notdetecting a particle is \(\eta \), (detection efficiency is \(1\eta \)) the observed configuration of N atoms is randomly selected from the following probability density distribution:
where \({{\mathscr{Z}}}_{T}(NN+{N}_{1})\) is a reduced Nparticle probability density of \(N+{N}_{1}\)body system at temperature T:
where \({N}_{m}\) is a maximal number of atoms in the system. A single shot picture of Natoms might not correspond a particular realization of Nbody system, but can represent a Nbody subsystem of \((N+{N}_{m})\) atoms. \({N}_{m}\) atoms can be simply missing in a picture. We will not consider general case here but we assume that the detection efficiency is close to one, \(1\eta =0.9\). Therefore we can limit the summation in Eq. (9) to \({N}_{m}=1\), i.e. we assume that at most one atom is missing in the picture, and with the probability \(1/\mathrm{(1}+\eta )\approx 0.91\) the studied system was composed of N atoms, and with probability \(\eta /\mathrm{(1}+\eta )\approx 0.09\) our system was composed of \(N+1\) atoms:
We studied numerically the role of finite detection efficiency using example of three and six particles. In Fig. 6 we present a case with finite temperature T such that \({\kappa }_{B}T/\hslash \omega =1\). The number of single shots was rather small, 10^{3}. Figure 6 shows that the Pauli crystal structure is robust to fluctuations caused not only by the temperature but by fluctuation of number of particles too. We assumed high efficiency of detection, having in mind fluorescence microscopes used for this purposes. The fluorescence signal is rather strong as it results from a resonant process and scattering of about tenshundred of photons. For the detection efficiency considered here the admixture of configurations corresponding to different number of particles is small and does not lead to essential modifications of the observed structures. It contributes to noise, however, in the range of parameters of interest, the most important contribution to the noisy background comes from thermal fluctuations.
Discussion
We studied here possibilities of detecting the geometric structure formed by a small number of identical fermions. Because of their high symmetry the structures are called Pauli crystals. We concentrated on the robustness of these structures in order to verify if they can be detected in real experiments. In order to do this we included such factors as nonzero temperature and finite detection probability. Obviously both factors, as well as all other possible noise can reduce the visibility of the structures. Our calculations impose quite stringent but realistic limitations on the noise: temperature smaller than \(0.5\hslash \omega \) and efficiency of detection not worse then 0.9. We show that under such conditions a geometry of Pauli crystals remains seen even when being diffused by noise. Visibility of Pauli crystals strongly depends on the number of singleshot pictures available for preprocessing. At least 10^{3} copies is needed, however the larger the number the visibility gets better.
It should be noted that direct observation of particle positions in case of particles in an optical trap is not possible. This does not depend on the particle statistics or whether they form a Pauli crystal or other geometrical structure. The reason is that distances between the particles are too small to be resolved by a direct observation. The way to measure particle positions is to allow for free expansion of the particles following removal of the trapping potential. Individual particles are detected after sufficiently long expansion. In this way the measurement of particle positions reduces in fact to measurement of particle momenta in the original configuration. The transformation between the original position distribution and measured momentum distribution does not introduce noise. Therefore the Pauli crystal should be visible both in the position and momentum distribution. The transformation between position and momenta representation of the wavefunction is done via Fourier transformation. This transformation does not change the form of harmonic oscillator wavefunctions (Hermite polynomials). Ballistic expansion introduces a simple scaling in all distances.
Our calculations show the level of experimental difficulties on the way to observe Pauli crystals. We hope that they will encourage experimental groups to face the challenge.
Methods
For generating ensemble of random configurations according to their Nbody density profile, we use the Metropolis algorithm^{31}. The random configurations are picked from a random Markov walk in the configuration space. Let p be the transition probability defined as the ratio of probabilities of a trial configuration, \(\{{\bf{Y}}\}\), and a given configuration, \(\{{\bf{X}}\}\): \(p={\mathscr{P}}(\{{\bf{Y}}\})/{\mathscr{P}}(\{{\bf{Y}}\})\), where \({\mathscr{P}}\) is N body probability distribution, and configurations \(\{{\bf{X}}\}\) and \(\{{\bf{Y}}\}\) describe positions of N particles. The trial configuration is accepted if it is more probable, \(p > 1\). If \(p < 1\), the member of the ensemble is chosen probabilistically, it is the new or the old one. Decision is made, depending on the value of random number \(r\in \mathrm{[0:1]}\) selected from the uniform probability distribution. The trial configuration is accepted to the ensemble if \(r < p\), the “old” configuration is included again if \(r > p\). The members of this Markov chain are subject to the probability distribution \({\mathscr{P}}\) in the limit of infinite chain. Finite chains converge towards the probability \({\mathscr{P}}\), the rate of convergence is the best if on average every second trial configuration is accepted to the chain.
References
 1.
Bloch, I., Dalibard, J. & Zwerger, W. Manybody physics with ultracold gases. Rev. Mod. Phys. 80, 885 (2008).
 2.
Jaksch, D., Bruder, C., Cirac, J. I., Gardiner, C. W. & Zoller, P. Cold bosonic atoms in optical lattices. Phys. Rev. Lett. 81, 3108 (1998).
 3.
Greiner, M., Mandel, O., Esslinger, T., Hansch, T. W. & Bloch, I. Quantum phase transition from a superfluid to a Mott insulator in a gas of ultracold atoms. Nature 415, 39 (2002).
 4.
Jördens, R., Strohmaier, N., Günter, K., Moritz, H. & Esslinger, T. A Mott insulator of fermionic atoms in an optical lattice. Nature 455, 204 (2008).
 5.
Lewenstein, M. et al. Ultracold atomic gases in optical lattices: mimicking condensed matter physics and beyond. Adv. Phys. 56, 243 (2007).
 6.
Lewenstein, M., Sanpera, A. & Ahufinger, V. Ultracold Atoms in Optical Lattices: Simulating quantum manybody systems (Oxford University Press, Oxford, 2012).
 7.
Blume, D. Fewbody physics with ultracold atomic and molecular systems in traps. Rep. Prog. Phys. 75, 046401 (2012).
 8.
Weitenberg, C. et al. Singlespin addressing in an atomic Mott insulator. Nature 471, 319 (2011).
 9.
Serwane, F. Deterministic preparation of a tunable fewfermion system. Science 332, 6027 (2011).
 10.
Wenz, A. N. et al. From few to many: Observing the formation of a Fermi sea one atom at a time. Science 342, 457 (2013).
 11.
Bakr, W. S., Gillen, J. I., Peng, A., Fölling, S. & Greiner, M. A quantum gas microscope for detecting single atoms in a Hubbardregime optical lattice. Nature 462, 74 (2009).
 12.
Bakr, W. S. et al. Probing the superfluid to Mott insulator transition at the singleatom level. Science 329, 547 (2010).
 13.
Sherson, J. F. et al. Singleatomresolved fluorescence imaging of an atomic Mott insulator. Nature 467, 68 (2010).
 14.
Cheuk, L. W. et al. Quantumgas microscope for fermionic atoms. Phys. Rev. Lett. 114, 193001 (2015).
 15.
Parsons, M. F. et al. SiteResolved Imaging of Fermionic^{6} Li in an Optical Lattice. Phys. Rev. Lett. 114, 213002 (2015).
 16.
Haller, E. et al. Singleatom imaging of fermions in a quantumgas microscope. Nat. Phys. 11, 738 (2015).
 17.
Edge, G. J. A. et al. Imaging and addressing of individual fermionic atoms in an optical lattice. Phys. Rev. A 92, 063406 (2015).
 18.
Cheuk, L. W. et al. Observation of 2D fermionic Mott insulators of ^{40} K with singlesite resolution. Phys. Rev. Lett. 116, 235301 (2016).
 19.
Andrews, M. R. et al. Observation of interference between two Bose condensates. Science 275, 637 (1997).
 20.
Castin, Y. & Dalibard, J. Relative phase of two BoseEinstein condensates. Phys. Rev. A 55, 4330 (1997).
 21.
Hofferberth, S., Lesanovsky, I., Fischer, B., Verdu, J. & Schmiedmayer, J. Radiofrequencydressedstate potentials for neutral atoms. Nat. Phys. 2, 710 (2006).
 22.
Schauss, P. et al. Crystallization in Ising quantum magnets. Science 347, 1455 (2015).
 23.
Javanainen, J. & Yoo, S. M. Quantum phase of a BoseEinstein condensate with an arbitrary number of atoms. Phys. Rev. Lett. 76, 161 (1996).
 24.
Syrwid, A. & Sacha, K. LiebLiniger model: Emergence of dark solitons in the course of measurements of particle positions. Phys. Rev. A 92, 032110 (2015).
 25.
Sakmann, K. & Kasevich, M. Single shot simulations of dynamic quantum manybody systems. Nat. Phys. 12, 451 (2016).
 26.
Goldman, N., Budich, J. C. & Zoller, P. Topological quantum matter with ultracold gases in optical lattices. Nat. Phys. 12, 639 (2016).
 27.
Gajda, M., Mostowski, J., Sowiński, T. & Kotur, M. Z. Single shot imaging of trapped Fermi gas. Europhys. Lett. 115, 20012 (2016).
 28.
Batle, J. et al. Pauli structures arising from confined particles interacting via a statistical potential. Annals of Physics 384, 11 (2017).
 29.
Wigner, E. On the Interaction of electron in metals. Phys. Rev. 46, 1002 (1934).
 30.
Mostowski, J. & Gajda, M. Lightscattering by trapped ions. Acta Phys. Polon. 67, 783 (1985).
 31.
Metropolis, N., Rosenbluth, A. W., Rosenbluth, M. N. & Teller, A. H. Equation of state calculations by fast computing machines. J. Chem. Phys. 21, 1087 (1953).
 32.
Cheuk, L. W. et al. Observation of spatial charge and spin correlations in the 2D FermiHubbard model. Science 353, 1260 (2016).
Acknowledgements
The authors thank Immanuel Bloch for discussion. MG and DR acknowledge support from the EU Horizon 2020FET QUIC 641122. TS acknowledges financial support from the (Polish) National Science Center Grant No. 2016/22/E/ST2/00555.
Author information
Affiliations
Contributions
D.R., J.M., T.S., M.Z.K., and M.G. equally contributed to the idea of the paper and discussions of results. D.R. was responsible for numerical calculations and for the figures. All authors participated in writing the paper.
Corresponding author
Ethics declarations
Competing Interests
The authors declare that they have no competing interests.
Additional information
Publisher's note: Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Open Access This article is licensed under a Creative Commons Attribution 4.0 International License, which permits use, sharing, adaptation, distribution and reproduction in any medium or format, as long as you give appropriate credit to the original author(s) and the source, provide a link to the Creative Commons license, and indicate if changes were made. The images or other third party material in this article are included in the article’s Creative Commons license, unless indicated otherwise in a credit line to the material. If material is not included in the article’s Creative Commons license and your intended use is not permitted by statutory regulation or exceeds the permitted use, you will need to obtain permission directly from the copyright holder. To view a copy of this license, visit http://creativecommons.org/licenses/by/4.0/.
About this article
Cite this article
Rakshit, D., Mostowski, J., Sowiński, T. et al. On the observability of Pauli crystals in experiments with ultracold trapped Fermi gases. Sci Rep 7, 15004 (2017). https://doi.org/10.1038/s41598017149522
Received:
Accepted:
Published:
Further reading

Observation of Pauli Crystals
Physical Review Letters (2021)

Pauli Crystals–Interplay of Symmetries
Symmetry (2020)

Statistical Interaction Description of Pauli Crystals in 2D Systems of Harmonically Confined Fermions
Annalen der Physik (2019)
Comments
By submitting a comment you agree to abide by our Terms and Community Guidelines. If you find something abusive or that does not comply with our terms or guidelines please flag it as inappropriate.