Bounds for graph regularity and removal lemmas

We show, for any positive integer k, that there exists a graph in which any equitable partition of its vertices into k parts has at least ck^2/\log^* k pairs of parts which are not \epsilon-regular, where c,\epsilon>0 are absolute constants. This bound is tight up to the constant c and addresses a question of Gowers on the number of irregular pairs in Szemer\'edi's regularity lemma. In order to gain some control over irregular pairs, another regularity lemma, known as the strong regularity lemma, was developed by Alon, Fischer, Krivelevich, and Szegedy. For this lemma, we prove a lower bound of wowzer-type, which is one level higher in the Ackermann hierarchy than the tower function, on the number of parts in the strong regularity lemma, essentially matching the upper bound. On the other hand, for the induced graph removal lemma, the standard application of the strong regularity lemma, we find a different proof which yields a tower-type bound. We also discuss bounds on several related regularity lemmas, including the weak regularity lemma of Frieze and Kannan and the recently established regular approximation theorem. In particular, we show that a weak partition with approximation parameter \epsilon may require as many as 2^{\Omega(\epsilon^{-2})} parts. This is tight up to the implied constant and solves a problem studied by Lov\'asz and Szegedy.Comment: 62 page

Testing formula satisfaction

We study the query complexity of testing for properties defined by read once formulae, as instances of massively parametrized properties, and prove several testability and non-testability results. First we prove the testability of any property accepted by a Boolean read-once formula involving any bounded arity gates, with a number of queries exponential in \epsilon and independent of all other parameters. When the gates are limited to being monotone, we prove that there is an estimation algorithm, that outputs an approximation of the distance of the input from satisfying the property. For formulae only involving And/Or gates, we provide a more efficient test whose query complexity is only quasi-polynomial in \epsilon. On the other hand we show that such testability results do not hold in general for formulae over non-Boolean alphabets; specifically we construct a property defined by a read-once arity 2 (non-Boolean) formula over alphabets of size 4, such that any 1/4-test for it requires a number of queries depending on the formula size

Infinite matrices may violate the associative law

The momentum operator for a particle in a box is represented by an infinite order Hermitian matrix $P$. Its square $P^2$ is well defined (and diagonal), but its cube $P^3$ is ill defined, because $P P^2\neq P^2 P$. Truncating these matrices to a finite order restores the associative law, but leads to other curious results.Comment: final version in J. Phys. A28 (1995) 1765-177

How does an interacting many-body system tunnel through a potential barrier to open space?

The tunneling process in a many-body system is a phenomenon which lies at the very heart of quantum mechanics. It appears in nature in the form of alpha-decay, fusion and fission in nuclear physics, photoassociation and photodissociation in biology and chemistry. A detailed theoretical description of the decay process in these systems is a very cumbersome problem, either because of very complicated or even unknown interparticle interactions or due to a large number of constitutent particles. In this work, we theoretically study the phenomenon of quantum many-body tunneling in a more transparent and controllable physical system, in an ultracold atomic gas. We analyze a full, numerically exact many-body solution of the Schr\"odinger equation of a one-dimensional system with repulsive interactions tunneling to open space. We show how the emitted particles dissociate or fragment from the trapped and coherent source of bosons: the overall many-particle decay process is a quantum interference of single-particle tunneling processes emerging from sources with different particle numbers taking place simultaneously. The close relation to atom lasers and ionization processes allows us to unveil the great relevance of many-body correlations between the emitted and trapped fractions of the wavefunction in the respective processes.Comment: 18 pages, 4 figures (7 pages, 2 figures supplementary information

Atom interferometry with trapped Bose-Einstein condensates: Impact of atom-atom interactions

Interferometry with ultracold atoms promises the possibility of ultraprecise and ultrasensitive measurements in many fields of physics, and is the basis of our most precise atomic clocks. Key to a high sensitivity is the possibility to achieve long measurement times and precise readout. Ultra cold atoms can be precisely manipulated at the quantum level, held for very long times in traps, and would therefore be an ideal setting for interferometry. In this paper we discuss how the non-linearities from atom-atom interactions on one hand allow to efficiently produce squeezed states for enhanced readout, but on the other hand result in phase diffusion which limits the phase accumulation time. We find that low dimensional geometries are favorable, with two-dimensional (2D) settings giving the smallest contribution of phase diffusion caused by atom-atom interactions. Even for time sequences generated by optimal control the achievable minimal detectable interaction energy $\Delta E^{\rm min}$ is on the order of 0.001 times the chemical potential of the BEC in the trap. From there we have to conclude that for more precise measurements with atom interferometers more sophisticated strategies, or turning off the interaction induced dephasing during the phase accumulation stage, will be necessary.Comment: 28 pages, 13 figures, extended and correcte

Harmonic generation by atoms in circularly polarized two-color laser fields with coplanar polarizations and commensurate frequencies

The generation of harmonics by atoms or ions in a two-color, coplanar field configuration with commensurate frequencies is investigated through both, an analytical calculation based on the Lewenstein model and the numerical ab initio solution of the time-dependent Schroedinger equation of a two-dimensional model ion. Through the analytical model, selection rules for the harmonic orders in this field configuration, a generalized cut-off for the harmonic spectra, and an integral expression for the harmonic dipole strength is provided. The numerical results are employed to test the predictions of the analytical model. The scaling of the cut-off as a function of both, one of the laser intensities and frequency ratio $\eta$, as well as entire spectra for different $\eta$ and laser intensities are presented and analyzed. The theoretical cut-off is found to be an upper limit for the numerical results. Other discrepancies between analytical model and numerical results are clarified by taking into account the probabilities of the absorption processes involved.Comment: 8 figure

Navigability is a Robust Property

The Small World phenomenon has inspired researchers across a number of fields. A breakthrough in its understanding was made by Kleinberg who introduced Rank Based Augmentation (RBA): add to each vertex independently an arc to a random destination selected from a carefully crafted probability distribution. Kleinberg proved that RBA makes many networks navigable, i.e., it allows greedy routing to successfully deliver messages between any two vertices in a polylogarithmic number of steps. We prove that navigability is an inherent property of many random networks, arising without coordination, or even independence assumptions

Jamming transition in a homogeneous one-dimensional system: the Bus Route Model

We present a driven diffusive model which we call the Bus Route Model. The model is defined on a one-dimensional lattice, with each lattice site having two binary variables, one of which is conserved (``buses'') and one of which is non-conserved (``passengers''). The buses are driven in a preferred direction and are slowed down by the presence of passengers who arrive with rate lambda. We study the model by simulation, heuristic argument and a mean-field theory. All these approaches provide strong evidence of a transition between an inhomogeneous ``jammed'' phase (where the buses bunch together) and a homogeneous phase as the bus density is increased. However, we argue that a strict phase transition is present only in the limit lambda -> 0. For small lambda, we argue that the transition is replaced by an abrupt crossover which is exponentially sharp in 1/lambda. We also study the coarsening of gaps between buses in the jammed regime. An alternative interpretation of the model is given in which the spaces between ``buses'' and the buses themselves are interchanged. This describes a system of particles whose mobility decreases the longer they have been stationary and could provide a model for, say, the flow of a gelling or sticky material along a pipe.Comment: 17 pages Revtex, 20 figures, submitted to Phys. Rev.