Scaling and full counting statistics of interference between independent fluctuating condensates Anatoli Polkovnikov, Boston University Collaboration: Ehud Altman-Weizmann Eugene Demler - Harvard Vladimir Gritsev - Harvard

Interference between two condensates. Interference between two condensates. d xTOF Free expansion: Andrews et. al. 1997

What do we observe? b) Uncorrelated, but well defined phases   int (x)  =0 Hanbury Brown-Twiss Effect xTOF c) Initial number state. No phases? Work with original bosonic fields: a)Correlated phases (  = 0) 

First theoretical explanation: I. Casten and J. Dalibard (1997): showed that the measurement induces random phases in a thought experiment. Experimental observation of interference between ~ 30 condensates in a strong 1D optical lattice: Hadzibabic et.al. (2004). Easy to check that at large N: The interference amplitude does not fluctuate! Interference amplitude squared. Observable!

Polar plots of the fringe amplitudes and phases for 200 images obtained for the interference of about 30 condensates. (a) Phase-uncorrelated condensates. (b) Phase correlated condensates. Insets: Axial density profiles averaged over the 200 images. Z. Hadzibabic et. al., Phys. Rev. Lett. 93, (2004).

1.Access to correlation functions. a)Scaling of  A Q 2  with L and : power-law exponents. Luttinger liquid physics in 1D, Kosterlitz-Thouless phase transition in 2D. b)Probability distribution W(A Q 2 ): all order correlation functions. 2.Direct simulator (solver) for interacting problems. Quantum impurity in a 1D system of interacting fermions (an example). 3.Potential applications to many other systems. This talk: Imaging beam L What if the condensates are fluctuating?

x z z1z1 z2z2 AQAQ Identical homogeneous condensates: Interference amplitude contains information about fluctuations within each condensate.

Scaling with L: two limiting cases Ideal condensates: L x z Interference contrast does not depend on L. L x z Dephased condensates: Contrast scales as L -1/2.

Formal derivation: Ideal condensate: L Thermal gas: L

Intermediate case (quasi long-range order). z 1D condensates (Luttinger liquids): L Repulsive bosons with short range interactions: Finite temperature:

Angular Dependence. q is equivalent to the relative momentum of the two condensates (always present e.g. if there are dipolar oscillations). z x(z1)x(z1) x(z2)x(z2) (for the imaging beam orthogonal to the page, is the angle of the integration axis with respect to z.)

Angular (momentum) Dependence. has a cusp singularity for K<1, relevant for fermions.

Two-dimensional condensates at finite temperature CCD camera x z Time of flight z x y imaging laser (picture by Z. Hadzibabic) Elongated condensates: L x >>L y.

The phase distribution of an elongated 2D Bose gas. (courtesy of Zoran Hadzibabic) Matter wave interferometry very low temperature: straight fringes which reveal a uniform phase in each plane “atom lasers” from time to time: dislocation which reveals the presence of a free vortex higher temperature: bended fringes S. StockS. Stock, Z. Hadzibabic, B. Battelier, M. Cheneau, and J. Dalibard: Phys. Rev. Lett. 95, (2005)Z. HadzibabicB. BattelierM. CheneauJ. Dalibard 0 

Observing the Kosterlitz-Thouless transition Above KT transition LyLy LxLx Below KT transition L x  L y Universal jump of  at T KT Always algebraic scaling, easy to detect.

Zoran Hadzibabic, Peter Kruger, Marc Cheneau, Baptiste Battelier, Sabine Stock, and Jean Dalibard (2006). integration over x axis X z z integration over x axis z x integration distance X (pixels) Contrast after integration middle T low T high T Interference contrast:

Exponent  central contrast high Tlow T T (K) “universal jump in the superfluid density” c.f. Bishop and Reppy Z. Hadzibabic et. al. Vortex proliferation Fraction of images showing at least one dislocation: 0 10% 20% 30% central contrast high T low T

Higher Moments. is an observable quantum operator Identical condensates. Mean: Similarly higher moments Probe of the higher order correlation functions. Nontrivial statistics if the Wick’s theorem is not fulfilled! Distribution function (= full counting statistics): Non-interacting non-condensed regime (Wick’s theorem):

1D condensates at zero temperature: Low energy action: Then Similarly Easy to generalize to all orders.

Changing open boundary conditions to periodic find These integrals can be evaluated using Jack polynomials ( These integrals can be evaluated using Jack polynomials (Fendley, Lesage, Saleur, J. Stat. Phys. 79:799 (1995)) Explicit expressions are cumbersome (slowly converging series of products).

Two simple limits: (also in thermal case) x z z1z1 z2z2 AQAQ Strongly interacting Tonks-Girardeau regime Weakly interacting BEC like regime.

Connection to the impurity in a Luttinger liquid problem. Boundary Sine-Gordon theory: Same integrals as in the expressions for (we rely on Euclidean invariance). P. Fendley, F. Lesage, H. Saleur (1995).

Experimental simulation of the quantum impurity problem 1.Do a series of experiments and determine the distribution function. T. Schumm, et. al., Nature Phys. 1, 57 (2005). Distribution of interference phases (and amplitudes) from two 1D condensates. 2.Evaluate the integral. 3.Read the result.

can be found using Bethe ansatz methods for half integer K. In principle we can find W: Difficulties: need to do analytic continuation. The problem becomes increasingly harder as K increases. Use a different approach based on spectral determinant: Dorey, Tateo, J.Phys. A. Math. Gen. 32:L419 (1999); Bazhanov, Lukyanov, Zamolodchikov, J. Stat. Phys. 102:567 (2001)

Evolution of the distribution function.

Universal asymmetric distribution at large K (  -1)/ 

Further extensions: is the Baxter Q-operator, related to the transfer matrix of conformal field theories with negative charge: Yang-Lee singularity 2D quantum gravity, non-intersecting loops on 2D lattice

Spinless Fermions. Note that K+K -1  2, so and the distribution function is always Poissonian. However for K+K -1  3 there is a universal cusp at nonzero momentum as well as at 2k f : There is a similar cusp at There is a similar cusp at 2k f Higher dimensions: nesting of Fermi surfaces, CDW, … Not a low energy probe!

Fermions in optical lattices. Possible efficient probes of superconductivity (in particular, d-wave vs. s-wave). Not yet, but coming! Rapidly rotating two dimensional condensates Time of flight experiments with rotating condensates correspond to density measurements Interference experiments measure single particle correlation functions in the rotating frame

Conclusions. 1.Analysis of interference between independent condensates reveals a wealth of information about their internal structure. a)Scaling of interference amplitudes with L or  : correlation function exponents. Working example: detecting KT phase transition. b)Probability distribution of amplitudes (= full counting statistics of atoms): information about higher order correlation functions. c)Interference of two Luttinger liquids: partition function of 1D quantum impurity problem (also related to variety of other problems like 2D quantum gravity). 2.Vast potential applications to many other systems, e.g.: a)Fermionic systems: superconductivity, CDW orders, etc.. b)Rotating condensates: instantaneous measurement of the correlation functions in the rotating frame. c)Correlation functions near continuous phase transitions. d)Systems away from equilibrium.

Consider slow tuning of a system through a critical point. tuning parameter tuning parameter gap    t,   0   t,   0 Gap vanishes at the transition. No true adiabatic limit! How does the number of excitations scale with  ? This question is valid for isolated systems with stable excitations: conserved quantities, topological excitations, integrable models. Universal adiabatic dynamics across a quantum critical point

Use a general many-body perturbation theory. Expand the wave-function in many-body basis. Substitute into Schrödinger equation.

Uniform system: can characterize excitations by momentum: Use scaling relations: Find:

Caveats: 1.Need to check convergence of integrals (no cutoff dependence) Scaling fails in high dimensions. 2.Implicit assumption in derivation: small density of excitations does not change much the matrix element to create other excitations. 3.The probabilities of isolated excitations: should be smaller than one. Otherwise need to solve Landau- Zeener problem. The scaling argument gives that they are of the order of one. Thus the scaling is not affected.

Simple derivation of scaling (similar to Kibble-Zurek mechanism): Breakdown of adiabaticity: From   t and we get  In a non-uniform system we find in a similar manner:

Example: transverse field Ising model. There is a phase transition at g=1. This problem can be exactly solved using Jordan-Wigner transformation:

Spectrum: Critical exponents: z= =1  d /(z +1)=1/2. Correct result (J. Dziarmaga 2005): Other possible applications: quantum phase transitions in cold atoms, adiabatic quantum computations, etc.