Probing the geometry of the Laughlin state

It has recently been pointed out that phases of matter with intrinsic topological order, like the fractional quantum Hall states, have an extra dynamical degree of freedom that corresponds to quantum geometry. Here we perform extensive numerical studies of the geometric degree of freedom for the simplest example of fractional quantum Hall states -- the filling $\nu=1/3$ Laughlin state. We perturb the system by a smooth, spatially dependent metric deformation and measure the response of the Hall fluid, finding it to be proportional to the Gaussian curvature of the metric. Further, we generalize the concept of coherent states to formulate the bulk off-diagonal long range order for the Laughlin state, and compute the deformations of the metric in the vicinity of the edge of the system. We introduce a"pair amplitude"operator and show that it can be used to numerically determine the intrinsic metric of the Laughlin state. These various probes are applied to several experimentally relevant settings that can expose the quantum geometry of the Laughlin state, in particular to systems with mass anisotropy and in the presence of an electric field gradient.


Introduction
Fractional quantum Hall effect (FQHE) is the phenomenon where interacting electrons form many-body liquid phases in two spatial dimensions [1,2]. The best understood (and experimentally the most robust) of all such states is the 1 3 n = Laughlin state [3]. Phases in the FQHE display many interesting properties related to topological order [4] and fractionalization, for instance, their fundamental excitations carry fractional electric charges [3] and obey the fractional statistics when they are braided around one another [5]. The fundamental FQHE physics results from the combined effect of Coulomb interaction between electrons, and the Landau level quantization in strong magnetic fields that completely suppresses the kinetic energy of the electrons (for an introduction to FQHE physics see, e.g., [6][7][8][9]).
A traditional method that has played an important role in understanding many FQH states has been the formulation of first-quantized many-body wave functions for the ground states of the system at various filling fractions. This approach was pioneered by Laughlin [3] who proposed one such class of wave functions for the filling fractions m 1 2 1 ( ) n = + , m 1, 2, 3 = ¼ . In order to write down these wave functions, it is customary to assume that a two-dimensional electron gas (2DEG) that hosts the FQHE can be viewed as a continuum system in the infinite plane. Historically, this has lead to an additional assumption that the 2DEG is also rotationally invariant around the axis perpendicular to the plane of the 2DEG. Under these assumptions, the Laughlin wave function becomes a Jastrow polynomial that involves the products of z z i j ( ) -, where z is the complex 2D electron coordinate (see equation (3) below for an explicit form of the wave function). Because of rotational invariance, z is fixed to be x y i  (sign depending on the direction of the magnetic field). This type of wave functions has been microscopically very successful in modeling the exact ground state of the system computed numerically by diagonalizing the Coulomb interaction Hamiltonian. However, as variational wave functions, the Laughlin states are rather unusual because they lack any optimizing parameters. Although this surprising feature of the Laughlin states has been noted a long time ago, it is only very recently [10] that it has been appreciated that the Laughlin wave functions do indeed contain a variational parameter. In order to expose this parameter, one must lift the assumption of the rotational invariance of the system.
Because the Laughlin 1/3 state describes a gapped topological phase, i.e., a liquid which is robust to any local perturbations that do not close the gap of the system, its existence is not sensitive to the geometric details of the system. The basic physics of the Laughlin state is that it efficiently places electrons apart from one another, yet avoids breaking the translational symmetry in doing so. According to [10], we can thus characterize the Laughlin state in terms of fundamental droplets which are schematically illustrated in figure 1. Each droplet contains one electron in an area corresponding to 3 magnetic flux quanta (in general, for more complicated states at fillings p q n = , a droplet would contain q orbitals inhabited by p electrons). When the system is rotationally isotropic, the shape of the droplet is circular. However, in a more general setting ( figure 1(b)) the metric may be spatially dependent. For example, the 2DEG may be wrapped around a curved surface, the direction of the magnetic field may be slightly tilted at various points in space, etc. In these circumstances, it is natural to expect that the shape of the fundamental droplets will also vary depending on the location of their center. Therefore, the shape of the droplets is a hidden variational parameter that characterizes the Laughlin state and this parameter can be tuned to yield the best variational description of the actual ground state of the system.
Our cartoon of the fundamental droplets of the Laughlin state can be formalized into a phenomenological picture of the FQHE as a fluid of particle-flux composites with finite area. These composite particles are known as 'composite bosons' [11] or 'composite fermions' [12], depending on how many orbitals surround an electron. In general, the composites carry information about numbers p and q that define the filling fraction p q n = . Moreover, the occupancy pattern inside the droplet is also connected to the concept of 'topological spin' (which is also related to the 'shift' [13] when the quantum Hall state is placed on a sphere). The finite area of the droplet means that a metric (that of the guiding center defined below) is required to specify the shape. In addition to the shape, the guiding center metric is also related to spin. The deformation of the shape of the composite particle couples to spin, thus connecting topology and geometry. The fluctuations of the quantum metric and its coupling to spin gives rise to dynamics in the FQHE phases.
More precisely, in the full problem of a 2DEG in the magnetic field, one encounters, in fact, two distinct metrics. This can be seen as follows. The phase space for each particle confined to two dimensions in a transverse magnetic field consists of two sets of non-commuting real-space coordinates. The position of an electron can be separated into the cyclotron and the guiding center coordinates respectively as r R R hold. These are independent Hilbert spaces, in each of which the real-space coordinates do not commute with each other, leading to quantum fluctuations of the metric of each. The cyclotron coordinates are present in the term for kinetic energy. On the other hand, the guiding center coordinates are present in the interaction term.
One way to characterize the difference between integer quantum Hall effect (IQHE) [14,15] and FQHE is by the part of the Hilbert space in which the relevant dynamics takes place. For IQHE, the guiding center degrees of freedom are frozen because the LLs are fully filled, and the dynamics is governed by cyclotron coordinates. For FQHE, it is the opposite: the cyclotron degree of freedom is frozen by the strong magnetic field, and the dynamics is governed by the guiding center coordinates. The fluctuations of the guiding center metric give rise to phenomena such as the FQHE bulk neutral excitations in the long-wavelength limit [16]. The guiding-center metric is also related to the Hall viscosity [17][18][19][20][21][22].
Recently, anisotropy and geometry in FQHE systems have received much attention. Several papers have studied FQHE systems in curved spaces [23][24][25][26][27][28][29]. Transport coefficients have been calculated as a response to variations of spatial geometry [30][31][32]. Anisotropic metric has been connected to the band structure of materials giving rise to the FQHE [33][34][35][36], the tilting of the magnetic field [37] and the so-called nematic phases in higher Landau levels [38,39]. Anisotropic mass has been shown to affect the shape of the composite fermion surface [40]. In experiment, the anisotropy of the Fermi contour has been studied in GaAs quantum wells using an L-shaped Hall bar and periodic strain engineered using a grating of electron-beam resist [42][43][44]. Finally, there are recent proposals for experimental implementations of time-dependent external metric via acoustic crystalline waves [41].
In this paper, we study the geometric degree of freedom that characterizes the shape of the fundamental droplets of the Laughlin 1 3 n = state. We design several numerical experiments and probes that can be used to detect the fluctuations of this degree of freedom of FQHE states. For most of the calculations, we use the geometry of an open cylinder where the metric perturbation can be conveniently introduced, but our results are sufficiently general that they apply to any geometry. One advantage of the cylinder geometry is that all the singleparticle orbitals in momentum-space have the same shape, unlike the disk or the sphere. Therefore, spatially varying properties can be studied without interference from other geometrical effects. In section 2, we provide a self-contained review of the quantum Hall problem in the cylinder geometry. In section 3 we introduce the generalization of coherent states in the spirit of the fundamental droplets sketched in figure 1. We show that such generalized coherent states can be used to formulate an 'off-diagonal long range order' (ODLRO) parameter that is quantized at long distances for the Laughlin state at 1 3 n = , but vanishes for a compressible state at the same filling factor. We also study the squeezing of coherent states in the vicinity of an edge of the cylinder. In section 4 we spatially perturb the metric in a controlled and smooth way, and study the response of the FQH fluid. In agreement with analytical expectations, we find the response to be proportional to the Gaussian curvature of the perturbed metric. In section 5 we introduce a different operator-the 'pair amplitude' operator-and use it to measure the intrinsic geometry fluctuations of the Laughlin state when the mass tensor is anisotropic or the system is perturbed by an electric field gradient. Our conclusions are summarized in section 6.

Interacting electrons on a cylinder
We consider a 2DEG confined to the surface of a finite cylinder with radial magnetic field. We set the x-axis to be along the axis of the cylinder and y-axis to be the periodic direction. This is equivalent to working in the Landau gauge with vector potential Bxy A= . The momentum along the y-direction, k y , is a good quantum number. The single particle wave functions ('orbitals') have the form [7] L H is the magnetic length, H n is the Hermite polynomial and n 0, 1, 2 ... = labels the Landau levels. In the following, we restrict to the lowest Landau level (LLL) corresponding to n=0. The allowed values of k y are m L 2p , where L is the circumference of the cylinder and m is an integer that resolves the degeneracy within the LLL. We use a finite number of orbitals N orb , which implies that the size of the system along the x- In the LLL, the wave function k y f is then the product of a Gaussian along the x-axis centered at x ml L 2 and a plane wave along the y-axis. The value of N orb is set by the filling factor but also by the nature of the given state, due to the topological quantum number known as the 'shift' [13]. For example, for the 1 3 n = Laughlin state, N N 3 2 orb = gives the correct ground state. Note that the shift can be determined from the occupancy pattern of the fundamental droplet, which according to figure 1 is 100100 ... 1001001 for the Laughlin state.
The two relevant length scales at this stage are the magnetic length B ℓ , which sets the width of the wave function, and L, the circumference of the cylinder which controls the distance and hence the overlap between the single-particle wave functions. Henceforth, we set 1 B ℓ = . We are interested in solving for the ground state and possibly a few low-lying excited states of a system of N interacting electrons. This must be done numerically, and we resort to two techniques: exact diagonalization and density matrix renormalization group (DMRG). Exact diagonalization is an unbiased method of finding the eigenstates of the many-body Hamiltonian, but limited to small systems because of the exponential increase in size of the Hilbert space. DMRG [45] is a variational optimization over a class of 'weakly entangled' states known as 'matrix product states' [46][47][48]. In the past, DMRG has been applied to FQH systems in various geometries [49][50][51][52], but the convergence of the method was found to be the best for the cylinder geometry [53][54][55][56].
A useful point of departure for the study of FQHE phases are the ground states of model Hamiltonians that have high overlap with the ground state of the Coulomb interaction. For example, at 1 3 n = , it can be shown that the ground state for N 6, 7, , 12 = ¼ electrons interacting via Coulomb repulsion has 95%  overlap with the ground state of the following Hamiltonian: Note that this Hamiltonian is singular; however, once its matrix elements are evaluated between the singleparticle wave functions in equation (1), all divergences are automatically removed. The Fourier transform of H L , which is better known as the V 1 Haldane pseudopotential [57], is given by the first Laguerre polynomial. The ground state of the Hamiltonian in equation (2) can be analytically shown to have exactly zero energy [57]. In the infinite plane, the wave function of this ground state is the Laughlin state where z j denote complex coordinates of electrons in the 2D plane. Traditionally, one would write z x y i j j j = + , but note that this parametrization is only valid for a rotationally invariant system such that the contour of is also a valid choice, which for 1 a ¹ gives an elliptical contour of z 2 | | . The wave function L Y is believed to represent all fundamental aspects of the physics of an actual 1 3 n = state, even though the wave function of the physical system is far more complicated than equation (3). The reason is that L Y can be adiabatically connected to the ground state of the system with Coulomb interaction without closing the spectral gap [58].
Many finite-size studies focus only on model interactions such as the one above, which is reasonable since these ground states typically have high overlap with the physical ground state and in particular share the same topological properties. However, in order to account for all the details of the physical ground state, one needs to directly model the Coulomb interaction and its ground state separately. On a cylinder, the Coulomb interaction has to be implemented with care because of the infinities that arise from its long range nature. We next discuss this point in some detail.
The Fourier transform of the rotationally invariant Coulomb interaction in two-dimensions is V k where k k k x y 2 2 = + . Therefore, it can be written as Since there is no periodicity along the x-axis, the k x integral cannot be converted into a sum, in which case the singularity could be removed simply by ignoring the problematic term in the sum which has both k x =0 and k y =0. Instead, we use the following strategy that works in the continuum limit.
In the second quantized notation, the Hamiltonian for the Coulomb interaction reads The prime on the sum in equation The singularity appears when both β and k x become zero. At 0 b = , the interaction can be separated into a singular and non-singular part: Since the singular part is independent of all m i , we can discard it without affecting the eigenstates of the Coulomb Hamiltonian. However, doing this means that we are subtracting an arbitrary term from the energies of the eigenstates. Therefore, the ground state energy cannot be compared to that obtained from other geometries.
Another subtlety is that in order to model long-range interactions in an open system, we need a confining potential. This is because long-range interactions have a tendency to pile up the electrons near the edges, which can easily destroy the liquid ground state like the Laughlin state. For the model interaction H L which is of ultrashort range, no confinement is required. However, long range interactions such as the Coulomb do require a confining potential along the axis of the cylinder. In the absence of such confinement, electrons would lower their energy by moving symmetrically to the edges of the system, leading to reconstructed edges [59,60], similar to the behavior in the disk geometry.
We compared several confinement schemes in detail, including a simple parabolic confinement, Hartreetype confinement (in which the finite cylinder is considered to be embedded in an infinite one and the external uniform charge provides an effective confinement), and a co-axial sheet of charge. From these, we chose a simple parabolic one: which is the easiest to implement, yet sufficient to stabilize the FQH state depending on the value of a conf . Typically, finding the appropriate a conf to get the correct ground state will require some fine tuning. One way to check that the Coulomb ground state, C Y , at 1 3 n = is in the right phase is to calculate its overlap with the Laughlin wave function, Using the simple parabolic potential, we can obtain overlaps 90% > shown in figure 2. The overlap is high only in the narrow range of the confining potential, indicating that the confinement has to be finely tuned to obtain the desired FQHE ground state.
The confining potential is also a convenient way to induce topological phase transitions between FQHE hierarchy states such as 1 3 2 5 3 7   , etc. Imagine that we are in the thermodynamic limit when the cylinder is very long, but the density of electrons is just right to be in the 1 3 n = ground state. Once we start increasing the magnitude of the confining potential, the 1 3 n = state will display some rigidity to the perturbation because it is an incompressible fluid with a finite gap for all excitations. For sufficiently strong confinement, the ground state will become too squeezed and can no longer support the incompressible state. At this point, the state is gapless. Upon even further squeezing, the system will make a transition to a new gapped state which can be viewed as the condensate of the quasiparticles of the 1/3 state, i.e. the 2 5 n = hierarchy state. The scenario then repeats until we reach 3 7 n = state, etc. In a finite system, we can resolve the first transition between the members of the hierarchy states. Figure 3 shows the energy spectrum for 10 electrons as a function of the confinement parameter a conf in equation (8). The system contains N 28 orb = orbitals, which is enough to accomodate the Laughlin state for N=10 electrons. As the confinement increases, the electrons are effectively restricted to a smaller number of orbitals in the middle of the cylinder, thus effectively increasing the filling factor. Gaps between the ground state energy and the rest of the spectrum open and close at different confinement strengths. Gaps are present at a 0.017 conf = and a 0.028 conf = . These correspond to the FQHE states at 1/3 and 2/5. We can confirm the correct nature of the ground states, e.g., by looking at the occupation numbers in the bulk for the same value of the confinement but in a much larger system that can be studied with DMRG. The results for N=16 electrons in 46 orbitals are shown in figure 4. This plot shows that the number of orbitals with non-zero occupation result in the right fractional fillings, and the occupation numbers in the bulk indeed oscillate about the correct fractional values, 1/3 and 2/5. As the final outcome, for very large confinement, the Apart from the confinement potential, the circumference of the cylinder L is another tunable parameter. Its effect is two-fold: it modifies the matrix elements of the interaction potential, and also determines to what extent the edge effects penetrate into the bulk of the system. These effects are systematically studied in appendix A.

Coherent states and ODLRO
In this section, we introduce a generalization of coherent states which are used to formulate the off-diagonal long-range order [61] (ODLRO) of the 1 3 n = Laughlin state. The ODLRO is normalized in such a way that it approaches the value 1/3 for large distances if the system is the Laughlin state, while it decays to zero in a compressible phase at the same filling factor. This definition of the ODLRO naturally applies to the case when the system is anisotropic. We also show that it can be used as an indicator of local changes in the shape of fundamental droplets close to the edge of an open cylinder.  -) for N=16 electrons in N 46 orb = orbitals for Coulomb interaction with different confinement strengths obtained using DMRG (maximum number of states kept is 2500, discarded entropy is 10 −12 ). Also shown is the cumulative average of the occupation numbers, n m c á ñ which oscillates about the expected filling factor. Note that the actual filling for the finite size system is slightly higher than that in the infinite limit because of the shift [13].
The kinetic energy, corresponding to the cyclotron degree of freedom, for a single electron is given by where g ab is the cyclotron metric and a p are the canonical momenta. At high magnetic fields and for 1 n < , this cyclotron degree of freedom is frozen out and K is a constant when electrons are confined to the LLL. The remaining degrees of freedom are the guiding center operators R r , where ab  is the antisymmetric tensor of rank 2. Using the guiding center coordinates, we can define the raising and lowering (harmonic oscillator) operators b and b † in the usual way [9].
The coherent state z ( ) f r centered at a position x y i r =is an eigenstate of the lowering operator [8]: This coherent state can also be expressed as the LLL projection of the Dirac delta function [8]. Several coherent states, located at various points on the surface of the cylinder, are depicted in figure 5 (left). In the bulk, the states have circular symmetry and their intensity peaks at their centers. They get squeezed as they approach the x-edge, and wrap-around the periodic y-edge.
We can construct a more general family of coherent states parametrized by an integer m: where R  is the guiding-center coordinate vector. These states are still centered about the point ρ, but their intensity is spread over the concentric circle around ρ. The radius of the circle is fixed by m, and scales as m B l . The motivation for introducing the objects in equation (12) is that they will provide a mathematical description of our cartoon of the fundamental droplets in figure 1. As we mentioned earlier, the phenomenological picture of FQH states is that of a fluid being composed of droplets-the composites of particles and empty magnetic orbitals around them (i.e., their correlation holes). At filling factor p q n = , each droplet consists of p filled coherent states, and q−p empty ones. The occupation pattern inside the droplet determines the guiding-center 'spin' s p q p 2 ( ) = - [10]. A change in the occupation of the droplet requires a finite amount of energy which leads to the incompressibility of the FQHE state. Therefore, the essence of incompressibility is the finite expectation value for destroying the droplet at the origin and creating it at some point far away, similar in spirit to the conventional ODLRO [61]. The first discussion of ODLRO for the quantum Hall effect can be found in [62,63], while the first numerical studies of ODLRO in FQH states were performed in [64] and [65]. There it was shown that ODLRO exists for the filling fractions 1 3 n = and 2/5, and disappears when the incompressibility of the state is destroyed.
To mathematically define our generalized ODLRO, we need to introduce a projector onto a coherent state as follows: where L m is the mth Laguerre polynomial. Note that n m ( ) r  defined in the previous equation is indeed an operator because it contains the exponential of the guiding center coordinate, therefore it can be expressed in terms of the magnetic translation operators. By explicit diagonalization of n m ( ) r  we can verify that it has a single non-zero eigenvalue (that can be normalized to one), and another N 1 orbeigenvalues that are exactly zero (to numerical precision). This means that n m indeed acts as a valid projection operator. Note that we can only fix the normalization in the bulk of the system (in the vicinity of the edge the eigenvalue will deviate from one in a nonuniversal manner).
Using the projector n m we can define an ODLRO, C ( ) r , for the 1 3 n = state: where 0 Y denotes the ground state of the system for which the ODLRO is computed. The meaning of this definition is as follows. When n 0 acts on the ground state, n 0 0 ( ) r Y , it creates a particle in the m=0 coherent state centered at ρ. Next, we act on this state with n 1 (ˆ( )) r - . Since n 1 is a projection operator with eigenvalue 1, n 1 (ˆ( )) r - removes an electron from the m=1 state centered around the same ρ. (And similarly for n 2 (ˆ( )) r - .) Therefore, the resulting ( ) r Y is the ground state of the system where one electron is pinned at ρ, but there are no other electrons in states m=1, 2 around that point. Thus, ( ) r Y is the state with a fundamental droplet created at position ρ. The correlator C ( ) r then expresses the amplitude to create such a droplet at the origin and remove it from another point ρ.
We have computed the ODLRO according to equation (15) as a function of position in figure 6. We consider N e =9 electrons in N 25 orb = orbitals on the cylinder, and several types of interaction potentials. The Laughlin state in this figure is obtained as the ground state of the H L Hamiltonian. The Coulomb ground state is obtained for a tuned value of the confinement a conf where it has a large overlap with the Laughlin state. In these two cases, the ODLRO is trivially 1 (in our normalization) when 0 r = , but settles down to a value of ∼0.33 for large distances in the bulk of the system. In an infinite system, the plateau at 1/3 will persist for ; | | r  ¥ because our cylinder is finite, near the edge we observe a deviation from 1/3. For the ground state of the Coulomb interaction, the ODLRO has small oscillations, but still appears to approach 0.33.
Apart from the ODLRO when the system is in the Laughlin phase, we can also compute the ODLRO for the ground state perturbed away from the pure Coulomb interaction. This is conveniently done by softening the short-range component of the potential, i.e. H H Coulomb L l - . It is known that for sufficiently large λ the ground state becomes compressible [58]. In figure 6 we indeed see that the ODLRO drops rapidly to zero as λ is increased, indicating the destruction of the FQHE state. , refers to the Coulomb interaction from which some amount of short-range H L has been subtracted. The horizontal line marks 1/3 on the y-axis. (15) is that it naturally generalizes to the case of non-circular metric. Practically, the generalization of coherent states (and therefore ODLRO) for the non-Euclidean metric is done by redefining q g q q 17

One advantage of our formulation of the ODLRO in equation
ab a b 2 ( )  in equation (14). Note that the metric is the shape of the coherent state, which does not have to be Euclidean. For example, if the effective mass of the electrons (cyclotron metric) and the dielectric constant (guiding center metric) have different forms, the resulting metric of the droplets will be a compromise between the two that minimizes the energy [10,33,34]. In a real sample, the metric can in fact be continuously variable-the droplets simply assume a shape that lowers the overall energy of the liquid as much as possible.
As the guiding centers approach an edge of the system, the droplets will get squeezed, i.e., their local metric will deviate from the one in the bulk. This distortion can be measured using the operators n m ( ) r . For the 1 3 n = Laughlin state 0 Y with Euclidean metric g 0 everywhere, we observe that in the bulk n n n n 1. 18 This means that once we create an electron in the coherent state m=0 around some point, the physics of the Laughlin state takes care of preventing the occupation of the next two orbitals m=1, 2. In the bulk of the exact Laughlin state, the overlap in equation (18) is exactly equal to one; in the Coulomb ground state, it is close but not strictly equal to one because other electrons still have a small amplitude to enter the droplet already containing one electron. With this in mind, we propose that the optimum metric at some point ρ is given by varying the metric g so that the overlap of n n n g g g 2, 1, 0, 0 Y is maximized: g n n n n min 1 . 19 In figure 7, we show the results for the optimum metric g * obtained in this way for the Laughlin wave function for a system of N e =9 electrons. We make the approximation of keeping the off-diagonal element g xy of the metric 0 and only vary g xx (g g yy xx 1 = -). It is clear that the metric which determines the shape of the droplets deviates from 1 as the edge is approached from the bulk of the fluid. With this method, we are able to obtain a spatial map of the droplets as their shape varies throughout the fluid. Figure 7 also shows that the deviation in the metric near the edge is accompanied by a deviation in the electron occupation numbers from the bulk filling factor. In the next section, we introduce the theoretical prediction which relates the occupation numbers to the second gradient of the metric (equation (22)) in the bulk of the system.

Metric perturbation
In the previous section, we studied how the guiding-center metric varies over the surface of a system with open boundaries. In this section, we focus on the bulk of the system and vary the metric in a controlled way to measure the response of the 1 3 n = state. Figure 7. The occupation numbers for the Laughlin state of N e =9 electrons in N 25 orb = orbitals (blue, left y-axis), and the detected metric g * using equation (19) (red, right y-axis). Note that g * starts to deviate from the uniform value as the edge is approached from the bulk.
We generalize the V 1 Hamiltonian to accommodate a smoothly varying diagonal metric g g g diag , . We perturb the metric as g g g a bx 1 , exp 1, 21 keeping the off-diagonal elements zero. Parameters a b , g g are to be considered small, so that g xx varies smoothly and remains close to 1. This is equivalent to locally distorting the cylindrical surface as shown in figure 8. We make the simplifying assumption that We want to compare the actual response of the fluid density, that is, the metric-dependent occupation numbers n a b , m g g ( )to the theoretical prediction [10] (see also [16]) where s 1 =is the guiding center spin for the Laughlin state. We use DMRG to obtain the occupation numbers for systems with the spatially varying metric as in equation (21). We subtract the densities obtained for positive and negative values of a g in order to double the response (equation (22)) and thus make it easier to measure. In figure 9, we show the results for the density difference between a system with a g =0.05 and a 0.05 g =and compare with the theoretical result in equation (22). We see that the numerics have converged everywhere by reaching the system size N e =20 electrons. We note that theory accurately reproduces the numerical data to the leading order, although some visible deviations exist in the form of secondary peaks away from the perturbation site. Those features are not captured by equation (22) but we expect them to accounted for by O g 2 ( ) d terms. Given the near convergence of the numerical results for larger sizes, a more complete calculation of the density fluctuation extending beyond linear response merits further investigation.
We can also use the metric-detection technique we developed in the previous section (equation (19)) to check if we can deduce the spatial variation of the metric from the wave function. Figure 10 shows the optimum metric obtained by minimizing the value of the right-hand side of equation (19) for a system of N=8 and 9 electrons. The metric detected by this method from the ground state of the Hamiltonian in equation (19) Figure 8. We perturb the system by a spatially dependent metric deformation (equation (21)) which can be viewed as distorting the cylinder.
i.e., all even pair amplitudes must vanish because of Fermi antisymmetry, and among the odd ones 1 h also vanishes (which is the special property of the Laughlin state), but higher odd ones ( 5 h , 7 h , etc) are in general nonzero. If we take instead Ψ to be the Coulomb ground state at 1 3 n = (with a large overlap with the Laughlin state), 1 h is no longer strictly zero, but it is still much smaller , , . Having introduced the operators P M , we now show that they can be used to measure the intrinsic geometry of any state. The pair amplitude operators are more convenient than ODLRO operators because they respect the symmetry of the system, i.e., we can restrict to blocks of the Hilbert space corresponding to fixed total momentum along the cylinder. Similarly to ODLRO operators, the next step is to generalize P M to measure the intrinsic geometry of a state at various points p. The generalized pair amplitude operator for a general diagonal metric g diag , 1 [ ] a a = is given by Notice that the dominant effect of the metric is to 'squeeze' the Gaussian factor, which is similar to varying the aspect ratio of the cylinder. One can easily verify that this expression reduces to the correct one for M=1, describing the Hamiltonian for the anisotropic Laughlin state [33]: We are now in position to demonstrate how the operator P M, a can be used to measure the intrinsic anisotropy of a state. As a consistency check, we first measure the geometry of an anisotropic Laughlin state obtained by diagonalizing the Hamiltonian in equation (30). We fix a value 1.5 * a = and indeed find that the Hamiltonian (30) has a zero-energy ground state L * Y a . Next, we take this L * Y a , and evaluate the expectation value That is, we compute the expectation value of the pair amplitude M=1 operator in the previously obtained ground state. This expectation value is a function of two parameters, p and α. For simplicity, we fix p to be in center of the cylinder (corresponding to the bulk of the system), and vary α. The expectation value as a function of α is plotted in figure 11. The plot shows a deep minimum for exactly * a a = . This calculation demonstrates that our pair amplitude operator has detected that the intrinsic metric of the state is exactly the one given by the anisotropy that was explicitly used as an input for the calculation.
After this necessary consistency check, we can study more complicated cases, for example the Coulomb interaction at 1 3 n = . We compute P P p a as we change p, a. The results are shown in figure 12. We see that even though the Coulomb interaction is isotropic, because we have an open cylinder, there are fluctuations in the metric of the state as we move p along the axis of the cylinder. In this case even the bulk metric is not fully isotropic because of the finite size of the system and the long-range nature of the interaction potential. As we mentioned earlier, since this method is defined in orbital space, it is not expected to work correctly at the edge of the system because of strong constraints on the occupation of one-body orbitals arising from the Jack polynomial structure of the Laughlin state [71]. This issue does not arise for fully periodic boundary conditions (torus). Next, we consider Coulomb interaction combined with mass anisotropy. By this we mean that the mass anisotropy appears in the form factor resulting from single-particle wave functions, but the interaction Fourier transform, V(q), remains isotropic (similar to [33,34]). Now that there is a mismatch between the metric in V(q) and the Gaussian envelope e q 2 2 ¢ -, the state needs to optimize between them. Similar to our previous experiment, we fix * a in the above, and use our operator to see what metric the state itself will pick. Figure 13 shows a plot of the detected metric in the bulk versus the input metric. In agreement with earlier results [33], we   find the optimal metric lies between the mass metric and the interaction metric, though the exact values slightly differ because of different boundary conditions.

Conclusions
We have used various numerical techniques to characterize the intrinsic metric of the 1 3 n = Laughlin state based on its description in terms of particle-hole composites (figure 1). We have shown that this picture allows one to define an ODLRO for the Laughlin state, which is also sensitive to local deviations of the metric near the edge of the system. Furthermore, using the pseudopotential Hamiltonian of the Laughlin state, we have measured the response of the Laughlin state to the smooth deformations of the background metric in which it is embedded, finding good agreement with analytical expectations. Finally, we have introduced a generalized pairamplitude operator and showed that it can be used to detect the metric of the Laughlin state when the host system has anisotropic band mass. Our calculations have been implemented in the cylinder geometry, but they are sufficiently general and directly apply to incompressible states at other filling fractions and with other types of boundary conditions (for example, disk or torus).
As we mentioned in the Introduction, the fundamental role of quantum geometry in FQHE has been the subject of several recent theoretical papers [10,24,25,27]. Moreover, recent experiments on GaAs quantum wells [42][43][44] have measured the anisotropy of the Fermi contour in the case of the compressible 1 2 n = state. In these experiments, anisotropy is induced by the tilting of the magnetic field, which is unfortunately rather complicated to model theoretically [38]. A simpler way to induce anisotropy is to vary the band mass tensor [33,34]. This may be relevant for certain materials like AlAs, but inducing local metric variations in this way may still prove challenging. We note that non-uniform in-plane electric field has the effect of changing the metric in qualitatively the same way as mass anisotropy (see appendix B). Therefore, applying the gradient of an electric field may be a more convenient way in practice to measure the local density response of FQH states to a nonuniform metric.
The circumference L of the cylinder is a non-trivial tunable parameter describing the system. It sets the distance, L 2p , between the centers of orbitals along the x-axis, which has an effect on the interaction matrix elements. Additionally, this will also determine the number of orbitals which are affected by the edge.
To see this, let us start with a toy system consisting of only two electrons on the cylinder. The spectrum for the short-range H L is shown in figure A1 for different values of the aspect ratio, A=L/H. At each value of the momentum in an infinite cylinder, we would expect one eigenvalue at non-zero energy (corresponding to the electrons in nearest or next-nearest orbitals) and the rest to be zero.
For A=1, the non-zero eigenvalue is constant in the bulk but approaches zero at momenta which place both electrons near the edge of the system. The number of orbitals for which the energy deviates from its constant value in the bulk can be taken as an indicator of the penetration depth of the edge effect. For A 1 > , more orbitals are affected by the edge because the distance between orbitals ( L 2p ) decreases. For A 1 < , the non-zero eigenvalue starts to oscillate between two fixed values. (See, in particular, the data for A=0.2 in figure  A1.) This indicates that the symmetry of a ground state with several electrons will also change from that of a uniform liquid for A 1  . Previous work has shown that in the extreme limit of A 1  and A 1  , the FQH liquid is no longer possible [67]. This is intuitively clear since the FQHE is a two-dimensional phenomenon. We show the different natures of the ground state at extreme values of the order parameter in figure A2 . When L is very small, we are in the Tao-Thouless limit [69,70] and obtain a one-dimensional charge density wave. The leading order of the electron-electron interaction is then electrostatic in nature.
When L is large, we reach the conformal limit, in which the wave function can be defined through the coefficients of the Jack polynomials [71] alone without requiring any surface-dependent normalization factors. This limit is simple for analytical calculations; however, it does not give the right occupation numbers in the bulk. Only when A is close to 1 can a quantum Hall liquid be recognized with occupation numbers close to 1/3 in the bulk.
Since the Hall effect is essentially a two-dimensional phenomenon, confining to one-dimension as in the hoop limit or the Tao-Thouless limit does not give the right physics. The ground state in the Tao-Thouless limit breaks translational symmetry. While the hoop limit ground state does not break translational symmetry, all geometrical information is lost and there is no meaning to individual orbitals any more since they are all on top of each other. Therefore several of its properties are also different from a usual FQHE state [68].

Appendix B. Electric field gradient
Here we show that the gradient of an electric field can be used to induce the anisotropic metric in a way that is very similar to the the mass anisotropy.   ). We see that the leading order effect of the electric field gradient is coming from the denominator of the Gaussian and is very similar to mass anisotropy (compare with equation (30)). The two effects are of course not identical because of the extra single-particle terms in the electric field case. However, one can empirically establish that the effect of extra terms is small. We have verified that the method of pair amplitude operators detects roughly the same value of the input electric field, similar to the anisotropy calculation in figure 11.